e
Suppose -4*u - 22 = -o, 0*u - 7 = u - o. Suppose 0 = -4*k + k - 63. Let c = 17 + k. Which is smaller: c or u?
u
Let x = 91 + -83. Is 8 at least x?
True
Let q = 10.2 - 10.4. Is q greater than -0.64?
True
Let t be -6 - -29 - (-6 + 2). Let i = t - 25. Let s = i + -1. Is 1/29 < s?
True
Let h = -231/2510 + -2/251. Which is bigger: -16 or h?
h
Let r = -30 + 39. Let i be r/27 + (-16)/(-6). Which is smaller: i or 10/3?
i
Let s(x) = 5*x + 100. Let a be s(-21). Is a at least as big as -11/3?
False
Suppose 3*m = -2*l + 8*m + 1165, -5*m = -5*l + 2935. Is l equal to 1177/2?
False
Let r = -28 - -22. Let t(f) = f**3 - 6*f**2 + f + 6. Let d be t(5). Let v = 9 + d. Is r >= v?
False
Let j be (-2)/6 - 470/(-330). Let v(l) be the first derivative of -l**3/3 - l**2/2 + 6*l + 7. Let x be v(-3). Which is smaller: x or j?
x
Let o be -1 + 4 - (-4 - -2). Suppose 0 = o*z - 2*z - 12. Let q = -15 + 29/2. Is z at most q?
False
Let h(f) = f**3 - 10*f**2 - 11*f + 15. Let a be h(11). Let r = a - -10. Let z be (30/r)/((-9)/60). Is z smaller than -9?
False
Let x = 389 - 389.1. Which is greater: x or -2/653?
-2/653
Let y = -1.18 + 1.28. Which is bigger: y or -10?
y
Let a be (-18)/(-99) + 1 + (-100)/66. Let t = 31 - 51. Let i = t + 30. Does a = i?
False
Let k be (444/(-8))/((-516)/(-208) + -3). Which is smaller: k or 107?
k
Suppose 4*z - 5*z - 35 = 0. Let q be (-430)/z - (-12)/(-3). Let j = -383/42 + q. Is -1 smaller than j?
True
Let f(s) be the third derivative of s**6/120 - 3*s**5/20 + s**4/3 + s**3/2 + 12*s**2. Let h be f(8). Which is greater: h or 0?
h
Let k = 3015 + -14969/5. Is 22 < k?
False
Suppose 5*d + 2*w + 7 = -0, 4*w + 9 = -5*d. Is d smaller than 25/17?
True
Let n(t) = -t**2 + 16*t - 57. Let c be n(9). Which is greater: c or -8?
c
Let a be (-2 - 35/(-14)) + 1409/(-3192). Let j = -1/168 + a. Which is greater: j or -4?
j
Suppose -5 - 30 = -5*l. Suppose -4*c = -l + 27. Is 0 less than or equal to c?
False
Let c = -562/99 + 16/11. Which is greater: -3 or c?
-3
Suppose f + 120 = 4*k, 28*f = -3*k + 31*f + 90. Which is smaller: -0.03 or k?
-0.03
Let f(h) = 13*h**2 + 23*h + 144. Let x be f(-8). Is 792 less than x?
False
Let l be 2/(-26 + 12/(-4)). Suppose 0*s = -3*s - 6*s. Which is smaller: s or l?
l
Let s = -0.135 + -104.865. Is 0.2 less than s?
False
Let n = -260 + 258. Suppose 5*b + 5 = -10. Is b >= n?
False
Let b = 1291.1 - 1349. Let h = b + 58. Are h and -27 non-equal?
True
Suppose 0 = 133*m - 125*m + 8. Let l = -16/79 - -18/79. Which is bigger: m or l?
l
Suppose 0 = z + 39 - 43. Let m be 2/16*2 + (-1)/z. Which is bigger: m or 3/4?
3/4
Suppose -64 = 2*f - 6*f. Let h be (-2)/(-72) - (0 - (-4)/f). Is -0.05 <= h?
False
Let c = 1262949413734747870/7913947 - 2310146416361985895519279129061/14475937121906465673. Let k = 10/170966241 - c. Let p = k + 2/2469. Are p and 1 non-equal?
True
Let x(d) = -12*d**2 + 1. Let t be x(1). Let p = t + 23. Let b be (-3)/(p/(-10)) + -3. Which is smaller: b or -2?
-2
Let o = -1.9 + 2. Let k = -135.64 - -44.64. Which is bigger: k or o?
o
Suppose -34 = -15*c + 11. Suppose o = 4*m + 3, 4*m - c*o = o. Which is smaller: m or -3/34?
m
Let y(q) = q**3 - 3*q**2 - 12*q + 7. Let v be y(5). Let a be (5336/668 - 5) + v. Is a at most as big as 1?
True
Suppose 10 = a + 3*a + 2*s, -a = -2*s. Suppose -r + 0*r + 4*h = -3, -12 = -2*r + a*h. Which is bigger: r or 20/3?
r
Suppose 4*p + r = 6*p - 53, 81 = 3*p - r. Which is smaller: p or 39?
p
Let r be (-3)/(-11) + 962/143. Do r and 7 have the same value?
True
Let t = 223 + -223.1. Which is smaller: t or -8?
-8
Suppose -v + 17 = -5*o, -5*v + 3*v = 2*o + 2. Suppose 0*y = v*y + 2*y. Which is smaller: -1/16 or y?
-1/16
Let d = -5599/13 + 431. Which is smaller: -0.2 or d?
-0.2
Suppose 5*p = -a + 12, 2*p = 3 + 1. Let o be (-140)/(-44) + (-1 - a). Which is greater: -2/9 or o?
o
Let f = 1063/876 + 8/219. Is f smaller than 1?
False
Let m = -2231/6 + 1114/3. Is m smaller than 1/61?
True
Let a = -210 + 208.56. Let y = a - -1.54. Let c = -0.2 - 0.8. Which is smaller: c or y?
c
Let o be (-2)/(2/(-28)*-26). Is -2 at least as big as o?
False
Let n = 1015 - 997. Let t(v) = v**2 - 4*v - 2. Let s be t(7). Are n and s equal?
False
Let j be ((-1687)/(-140) + 9/(-12))*2. Is 24 at most j?
False
Let k = 13.06 - 407.06. Which is greater: k or 0.1?
0.1
Let f(o) = 8*o + 2. Let w be f(3). Let j = 35 - w. Suppose -5*b = 2*z - j + 31, 0 = 4*z - b. Are 0 and z non-equal?
True
Let w be (-23)/(-11) - (1 + 0). Let m(l) = -5*l**2 - 1. Let t(x) = -9*x**2 + x - 2. Let s(c) = 7*m(c) - 4*t(c). Let p be s(4). Is w at most as big as p?
False
Suppose 8*i - 5*i = -24. Let z = i + 15/2. Let u = -4 - -4. Which is bigger: u or z?
u
Let x = 85 + -85. Which is bigger: x or -1/90?
x
Let t = 76/3 - 24. Suppose -3*z = -5*p - 14 - 6, 0 = -2*z - 4*p - 16. Does z = t?
False
Let c be (1344/189)/16 - (-386)/(-18). Which is greater: -15 or c?
-15
Let h = -226/7 + 32. Let l(j) = j**3 + j**2. Let x be l(0). Let u = 1 + x. Is h >= u?
False
Let a be (1 + -1)/(-3) + 2 + -3. Let k be (8/(-22))/(-8 + 6). Which is smaller: a or k?
a
Let s be 8/28 + 204/(-273). Suppose -u - u = -6. Let a be 4/u + 3/(-9). Which is smaller: a or s?
s
Let y(b) = -b + 15. Let i be y(15). Let r be (-1 + i)*(-6 + (-138)/(-24)). Let x = 97/5 + -19. Is x smaller than r?
False
Suppose -b = b + 22. Let f = b + 12. Suppose a - 3*n + 11 = 0, -3*a + 2*n - f = 4. Which is greater: -3 or a?
a
Let j = 0.1 + 0.9. Let w = 665 - 678. Which is bigger: w or j?
j
Let k = 133 + -62. Suppose 32 = -k*n + 75*n. Let t = 587 + -1739/3. Which is greater: n or t?
n
Let l be (1 + -1)*(-4)/(-12). Suppose l = t - 4*t - 6. Let w be t/(-4) + (-57)/(-6). Is w bigger than 9?
True
Let z(p) = p**3 + p**2 - p. Let b(y) = -3*y**3 + 6*y**2 + 15*y + 13. Let t(i) = -b(i) - 4*z(i). Let m be t(-9). Suppose -m*g = 36 + 9. Is g > -8?
False
Let a = -219 + 218.7. Which is smaller: 3 or a?
a
Let r be (-3 - (-262)/87)/(23/(-18)). Let m = r + -1/29. Is m equal to -1?
False
Suppose 4 = 2*q, -3*b = 4*q - 16 - 1. Let z(i) = -i**3 + 10*i**2 + 10*i + 16. Let n be z(11). Suppose b*w = 0, -y + n = -4*w - 1. Is 4 not equal to y?
True
Let j = 16 + -21. Let g = 2 + -1. Let y = g - 1. Is y at least j?
True
Let i(s) = -s + 2. Let g be i(-2). Let w be (16/3)/(-5*(-2)/6). Is g greater than w?
True
Suppose -2*r = 5*r - 91. Let n be 17/68 + r/(-4). Which is bigger: -7/4 or n?
-7/4
Let f = 213.7 + -214.3. Let s = -2 + 2.01. Which is greater: f or s?
s
Let g = 23 - 22. Let h = 4283/11 + -389. Is g at least as big as h?
True
Let n = 28 - 33. Let i be (1/1)/(n/65). Is i >= -25/2?
False
Suppose -6 + 15 = -3*w. Let b(i) = 3*i + i + 4 + i - 3*i. Let j be b(w). Is 3 <= j?
False
Let a(g) = -g**3 - 4*g**2 + 5*g + 6. Let m be a(-5). Let q(f) = -f**2 + 7*f - 4. Let x be q(m). Suppose 0 = x*j - 3 - 5. Is 5 greater than or equal to j?
True
Suppose -5*t + 5*j = 5, 4*t = -t - 3*j - 21. Let i be -16 - -3 - (-1 - t). Which is bigger: -13 or i?
-13
Let f(k) = -k**2 + 13*k - 4. Let h(n) = 16*n - 5. Let y be h(5). Suppose 5*r - 5*b = y, 4*r = -0*r + 3*b + 57. Let l be f(r). Is l at least 3?
True
Let h = -1001 - -927. Which is smaller: h or -68?
h
Let k(u) = 3*u**2 - u + 2. Let b be k(1). Let l be 0 - ((-39)/(-90) - b/(-24)). Which is smaller: l or -2/9?
l
Let z be -11*(-2 + (-3 - -4)). Let v be z + -4 + 4 + 1. Does 12 = v?
True
Suppose -4 - 17 = g. Suppose 2*j + 2*j + 7 = -x, -3*x - j = 43. Let m = g - x. Is -6 smaller than m?
False
Let l = 52.76 + -60.1. Let z = -0.34 - l. Do -1 and z have different values?
True
Let f = -12/19 + 718/1197. Is f at least as big as 0?
False
Let b = 27 + -24. Let i(j) = -j**3 - 3*j**2 + j + 5. Let y be i(-3). Which is smaller: b or y?
y
Let p = 191 + -190. Is p != -124?
True
Suppose -4*b = v - 6*v + 13, -3*b - 1 = -2*v. Suppose b*o = 11 + 1. Suppose 3*m - 7*m = o. Which is greater: m or 2/19?
2/19
Let a be (-2)/(-8) + 236/16. Let h be a/5*(-2)/13. Do h and -1 have different values?
True
Let g(z) = z + 7. Let s be g(-7). Let d be (-4)/20 - (-48)/(-10). Let w(q) = -q**3 - 5*q**2 - q - 5. Let h be w(d). Is s at least as big as h?
True
Let m = -1.48 + 1.6. Let v = m + -0.03. Let i = v - -0.91. Is 5 < i?
False
Let r(o) = -o - 22. Let p be r(-23). Let m be (-2 + (-8)/4)*p. Is m at least as big as -4?
True
Let k(q) = -q**3 - 6*q**2. Let r be k(-6). Let o 