 is greater: 0.01 or i?
i
Let f = 3/94 - 297/470. Is -4 at most as big as f?
True
Let l(a) = -a**3 - 3*a**2 + 5*a + 4. Let u be l(-4). Let r be (-6)/(-10) - (1 + -1). Which is smaller: u or r?
u
Let m = 0.3 - 0.8. Let z = 0.5 + m. Let x = z + 0. Which is bigger: x or -1/5?
x
Let w be (2 - 4)*(-8)/76. Is w equal to -1?
False
Let o be (-2 - 14/(-6))/1. Suppose 0 = 2*t - 0*z - z + 7, 4 = t + z. Which is bigger: o or t?
o
Suppose -5*a = 3*t - t - 9, -3 = -3*a. Let q = -32 - -51. Let o = q - 18.8. Is t bigger than o?
True
Suppose -2*x - 30 = -8*x. Are -2 and x equal?
False
Suppose 0 = 5*s - 3 + 8. Suppose 5*v = 3*v - 30. Let z be v/(-54) + (-5)/30. Which is smaller: z or s?
s
Let q be (-3 + 2)*1*1. Let m be q - (-22)/(-18) - -2. Which is bigger: 0 or m?
0
Let p = -3 + -6. Suppose k + 5 = 3*a, -2*k + 2 - 5 = a. Is a greater than p?
True
Suppose -2*c = 1 + 5. Let m = 5 + c. Let p be 1/(14/20) - m. Which is greater: -2 or p?
p
Suppose -4*j - j - 5 = 0. Let o = j + 1. Let b be 6/8*(-4 - o). Which is bigger: -1 or b?
-1
Suppose -5*y + 103 - 38 = 0. Suppose -5*k - 7 = 3, -y = 3*s + 5*k. Let h be 19 + -15 - (-31)/(-7). Which is bigger: s or h?
h
Suppose 5*i - 160 = 2*k, -3*i - 4*k - 96 = -6*i. Do 32 and i have the same value?
True
Let a = 3204/11 + -291. Are 0 and a equal?
False
Let u = 11 - 8. Suppose u*t = -0*t. Are t and 4/5 non-equal?
True
Let c = 1.9 - 1.8. Let i = c - -1.9. Is i less than or equal to 1?
False
Let t = 0 + 1. Let a = -67 + 467/7. Is a bigger than t?
False
Suppose -5*o - 23 - 2 = 0. Let n be 8/o*(-5)/2. Is n != 4?
False
Let c = 8 - 1. Suppose -c = 5*i - 2. Is i at least 3?
False
Suppose -3*d - t - 4*t + 45 = 0, 5*d + 5*t = 85. Suppose 0*i = 5*i + d. Which is greater: i or -3?
-3
Let a(i) = -11*i**2 + i + 2. Let l be a(-3). Let p be (-2)/(-16) + l/544. Is 1 at least p?
True
Let p(x) = -x**2 - 10*x + 14. Let q be p(-12). Let o be (q/6)/((-3)/99). Let s be 21/o - (-18)/(-99). Do s and -1 have the same value?
False
Let q = 0.1 + -0.2. Let n = 0.02 + 0.48. Let m = -0.7 + n. Which is smaller: q or m?
m
Let s = 13.94 - 14. Let n = 2 - 2.1. Which is smaller: s or n?
n
Let m = 56 - 61. Is m less than or equal to -0.4?
True
Let y be (-20)/16*78/(-45). Let f = y + -28/15. Let q = 3 - 2. Are f and q equal?
False
Let c(i) = -i - 2. Let f = 5 + -5. Let u be c(f). Let a(x) = -x + 4. Let w be a(6). Is u > w?
False
Let n = 6 - 6. Let i be 43/(-102) + 3/9. Let f = i + -45/68. Is f at least as big as n?
False
Let t(h) = 3*h**2 - 2*h + 1. Let d be t(1). Suppose -3 = -d*z - z. Is z bigger than 3?
False
Let s be (-4)/14 + (-132)/28. Let w = s + 6. Which is greater: w or 5/6?
w
Let b = -43 + 44. Which is greater: -21 or b?
b
Let q = 35/2 + -15. Let p(k) = k**3 - 10*k**2 + k - 10. Let g be p(10). Is g not equal to q?
True
Suppose 3*p - 2 = 4*h, -5*h + 2*p - 4 = 2. Let r be ((-1)/2)/((-1)/6). Let d be (h/r)/((-52)/12). Which is smaller: 0 or d?
0
Suppose 5 = -3*g - 4. Let u = -1 - g. Suppose -a + 3*n = -u*a + 9, 0 = a - 5*n + 15. Is -1 equal to a?
False
Let l = 5 - 1. Suppose -b + 2*b = l. Suppose -u - 2 = 0, 0*v + 3*u = -b*v - 22. Is v != -3?
True
Let h = -60 + 56. Are 0 and h unequal?
True
Suppose -2*v = 3*v. Let k be (2/10)/((-85)/50*3). Is k < v?
True
Let c(g) = 6*g**2 + 3*g + 2. Let x be c(-2). Let w be x/(-6)*6/38. Let a = -13/133 - w. Which is smaller: a or 1?
a
Let a(d) be the third derivative of -d**6/720 - d**5/15 + d**4/6 + d**2. Let f(s) be the second derivative of a(s). Let p be f(-8). Which is bigger: 2 or p?
2
Let m be 236/6 - 4/(-6). Let s be 16/m*10*-1. Suppose 5*t - l = -11 - 13, 2*t = -5*l - 15. Which is bigger: s or t?
s
Suppose -3*j + y - 11 = -32, -3*j - 2*y = -12. Suppose -5*d + 1 = j. Which is smaller: d or -2/9?
d
Let f = 6 + -4. Let q be f/(-4) - (-26)/100. Let k = q + -7/75. Which is greater: k or -3/4?
k
Let i be (-14 + -2)*1/2. Let v = 5 + i. Let b be (-1 - -1)*(v + 2). Which is smaller: -1 or b?
-1
Suppose 0*u - 27 = -4*o - 3*u, -3*u + 21 = 3*o. Let y be (-11)/o + 6 + -4. Which is greater: y or 0?
y
Suppose 0 = 2*t + 2. Let n(j) = -6*j**2 + 1. Let i be n(-1). Let l be i/3 - 2/(-3). Are l and t nonequal?
False
Let m = 381 + -801/2. Let a = m - -19. Is 7 < a?
False
Let u = 0.24 - 0.34. Which is bigger: u or 18?
18
Let t = 1.08 + -0.7. Let d = t - 0.1. Let w = -0.2 + d. Is w <= -1/2?
False
Let l be -1 + -1 - (-2 - 0). Let p be -3 - (-4)/((-8)/(-18)). Let c be (-2)/p*9/12. Do l and c have the same value?
False
Let c = -1.8 - -1.8. Which is smaller: c or -12?
-12
Suppose -4*w = 3*d - 19, -w + 26 = 3*d + 2*d. Let x(k) = 2*k**2 + 0*k**2 + 0*k**2. Let n be x(w). Is 1 smaller than n?
True
Suppose 5*m + 0*u = -u + 182, 4*u - 173 = -5*m. Which is greater: m or 34?
m
Suppose -3*x = -x - 4*q - 16, -20 = x + 5*q. Let j = -12 - -21. Suppose -5*g = -4 + j. Which is bigger: x or g?
x
Let c be 2/((-5)/(-4) + -1). Let p(t) = -t**2 + 10*t - 10. Let x be p(c). Let h be 4/(-10) - x/(-15). Is h at most as big as -2/11?
False
Let l(c) = -c**3 + 8*c**2 - 7*c - 4. Let t be l(7). Let s = t - -13. Suppose 5*j + 38 = q + 15, -3*j - s = -3*q. Which is bigger: -3 or q?
q
Let f be (0 + -11 - -3)/1. Is f bigger than -9?
True
Let d be (-4)/(-8) + (-17)/(-2). Let b be (-2 - 1)*(-6)/d. Let g = 6 + -3. Which is bigger: g or b?
g
Let w = -148 + 150. Let l = 3 - 1. Are w and l equal?
True
Let q = 40 + 109. Is q <= 149?
True
Suppose p + 20 = -5*z, -5*p - 6 = -3*z + 10. Is -4 <= p?
False
Let v = 24 + -22. Is 4 bigger than v?
True
Let i be (6/5)/(6/(-15)). Let s(p) = -p**2 + 3. Let l be s(3). Is i < l?
False
Let x = -41 - -13. Let j be (x/12 + 3)*3. Is j <= 2?
True
Suppose -4*x = -4*z + 172, -2*z + 3*z + 3*x - 51 = 0. Which is smaller: z or 44?
44
Suppose -5*c + 0*s = -3*s - 21, -s - 11 = -3*c. Suppose y - 6*y + v = -17, 0 = c*v - 9. Which is smaller: y or 3?
3
Suppose -2*k = -5*n - 27, 2*k + 3 = -n - 0. Which is bigger: n or -4?
-4
Suppose -4*c - 3*z = 3, -z + 2*z = -1. Let p = 638277/7 + -90899. Let g = -283 + p. Which is smaller: g or c?
c
Let c = 257/42 - 5657/1008. Let k = 1/16 - c. Is k >= 1?
False
Let z(c) = -119*c - 4. Let g be z(-1). Which is smaller: 116 or g?
g
Let u be 16 + (-2 - -1) - 0. Suppose 0 = 13*h - 17*h. Suppose h = -0*x + 5*x - u. Is x less than 3?
False
Let f = 12 - 11.97. Let b = -0.4 + 0.37. Let o = b + f. Which is bigger: 0.2 or o?
0.2
Let i = 301/10 - 30. Which is smaller: -1/2 or i?
-1/2
Let t be (1 + 2)/(6/4). Let h be (-3)/(t - -1)*-10. Let z be (-2)/h*-2*-1. Which is smaller: 0 or z?
z
Suppose -2*v - 2*v + 8 = 0. Let o = -4 + v. Suppose 2*i + q + 7 = -2*i, 3*i = -3*q + 6. Which is smaller: o or i?
i
Let r(i) = 2*i**3 + 20*i**2 - 20*i + 23. Let z be r(-11). Is -3/28 bigger than z?
False
Suppose -4 + 69 = -5*w. Which is smaller: w or -25/2?
w
Suppose 4*g - 17 = -5*t, 2*g + 5*t - 15 = -4. Suppose -90 = -n + g*n. Let v be 39/n - 4/(-6). Does v = 1?
False
Let w = -297 - -5641/19. Which is greater: 0 or w?
0
Suppose 2*g = 14 + 14. Which is smaller: g or 15?
g
Suppose -h = 0, 15*h - 10*h = 5*q - 10. Is -41 > q?
False
Suppose 6*a + 5 = 29. Suppose -3*y - z = 41, -a*y + z = 6 + 37. Is -11 at least y?
True
Let s be 1 + 76/(-24) - 0. Which is greater: -2 or s?
-2
Suppose 0 = 4*f - 5*f. Suppose 0 = -c - f + 3. Suppose -3*r = c - 0. Which is bigger: 0 or r?
0
Suppose h = -h + 8. Let x(d) = 2*d**2 - 7*d + 4. Let f be x(h). Do f and 8 have the same value?
True
Let o be (5/(20/16))/1. Let j be (-8)/(-10) + 0/o. Is 2 smaller than j?
False
Let u = 438 + -5255/12. Suppose -5*r + 13 = -2*y - 2*y, 0 = -3*r + y + 5. Which is bigger: r or u?
r
Let q = 0.3 - -0.7. Let s = -12 - -13. Is s != q?
False
Suppose -w = 2*w - 2*p, -2*w - p = -7. Suppose 16 = u + 4*h, -h + 9 = 3*u - w*h. Suppose -s = u*v + 3, 6*v - s - 3 = v. Which is bigger: v or 1/4?
1/4
Let k be -4 + (-2 - 0) + 2. Let d be -1 + 1 + 4 + k. Let x(g) = -g**3 + 3*g**2 + g - 2. Let c be x(3). Is d less than c?
True
Let q(c) = c**2 + 6*c - 4. Let n be q(-9). Suppose 0 = -21*b + n*b + 6. Are -6 and b equal?
False
Let s be -7 + 10 + 0/2. Suppose v + 0*v = -s. Is -3 greater than v?
False
Let f be 52/(-39) + 4/6. Is -5 at least f?
False
Let t(r) = 0*r - 1 - r + r - r. Let f(u) = u + 2. Let a(b) = -3*f(b) - 4*t(b). Let i be a(2). Which is bigger: -1/2 or i?
i
Let a = 34 - 24. Which is smaller: 2 or a?
2
Let n 