t a = 0.06 + u. Does h = a?
False
Let z = -143 + 150. Does 9 = z?
False
Suppose 5*o - 29 = -5*t - 4, 2*o + 14 = 4*t. Which is bigger: 2/119 or o?
o
Let j = -62 - -42. Is -20 > j?
False
Let h = 0.04 + 0.06. Let f = h - -0.1. Which is greater: 1 or f?
1
Let r be 3 + 0/(-1 + 2). Suppose 8 = 4*d, 3*m - 4*m = -3*d - 12. Let n be r/4*(-4)/m. Which is bigger: -2 or n?
n
Let c be (-166)/(-9)*88444/(-16). Let x = c + 101989. Let g = x + -65/2. Which is smaller: g or 0?
0
Let k = 237 - 405. Let s be k/(-77) - 2/11. Is 3/5 < s?
True
Let g = -85/56 - -19/8. Let w = g + -5/14. Which is greater: w or 0?
w
Let b(v) = -v**2 + 9*v - 6. Let i be b(9). Let q be 1*2 + 6 + i. Which is bigger: 3 or q?
3
Let k = -19 - -18. Is k less than -1/35?
True
Let y = -0.1 + 1.1. Let u = -6 - 0. Let w be ((-3)/21)/((-2)/u). Is y greater than w?
True
Let z = -27 - -18. Suppose 234*f - 237*f = 24. Which is bigger: z or f?
f
Let y = 8 + 20. Is 29 at least y?
True
Let k be (1/6)/(4/(-6)). Which is smaller: k or 2/13?
k
Let n = -3/43 - 71/215. Let i = 0.12 - -4.88. Which is smaller: n or i?
n
Let k be (3/(-9))/((-2)/24). Suppose 4*y - k = 2*y. Let u be (8/20)/((-2)/y). Which is greater: 1 or u?
1
Let k = 4 - 6. Suppose 0*w + 11 = -4*l - 3*w, -2*w - 4 = l. Let q be l/2*1 - 1. Do k and q have the same value?
True
Let s be -3*3/(-9) + 0. Let h be 1/(-1 + (-12)/(-9)). Suppose h*i = -0*i. Are s and i unequal?
True
Suppose 4*p = 3*b - 8*b + 8, -3*b + 4*p = 8. Let t = b - 3. Let z be 2/t*2/(-4). Is 0 bigger than z?
False
Let o = -1.67 - -1.7. Let k = o - 1.03. Are k and 0 nonequal?
True
Let p = -72 - -58. Is p at least as big as -15?
True
Let r be 27/29 + (-3 - -2). Which is bigger: r or 1/3?
1/3
Let c be (6/8)/((-258)/16). Let u = 4 + -4. Is c not equal to u?
True
Let t = -47 + 69. Let y = -22.2 + t. Let o = 0.1 + -0.2. Which is bigger: y or o?
o
Let q be 3 - (-2)/((-2)/3). Which is smaller: q or -2/9?
-2/9
Let q be 10737/(-180) + (-4)/(-10). Let h = -59 - q. Which is bigger: -3 or h?
h
Let p = 49.08 + -49. Which is bigger: 2/5 or p?
2/5
Let y = 14.3 - 15. Let p = y - 1.3. Which is greater: p or 0.2?
0.2
Suppose 2*o + 364 = -2*o + 4*f, -291 = 3*o + 3*f. Is -94 <= o?
True
Let p be ((-6)/9)/((-4)/6). Let u be 3/(-2 - p) + 0. Which is bigger: u or -2/23?
-2/23
Let b = 12 + 22. Suppose 0 = 3*g + b - 13. Is -8 at least g?
False
Let x(i) = -i**2 - 18*i - 11. Let k be x(-17). Which is smaller: k or 7?
k
Let p = -11 - -57/5. Which is smaller: p or -2/5?
-2/5
Let v = 23 - 9. Let t be (0 + -1)*2/v. Let y = t - -11/28. Which is bigger: 3 or y?
3
Let b be 3/(-2)*(-6)/9. Let g = -203/5 + 41. Is g != b?
True
Suppose -2*w - 4 = -w - 3*l, -2*l + 59 = -5*w. Which is smaller: w or -12?
w
Suppose 0 = -8*d + 5 + 3. Let k be 6*3/6 + -2. Is d at least as big as k?
True
Let y = -25 - -24. Suppose 4*h - f = -2*f + 4, -5*f = 2*h - 20. Is h smaller than y?
False
Suppose 3*m + 54 + 54 = 0. Is -34 not equal to m?
True
Let b = 0.2 + 0.3. Let z = b - 0.5. Is 2/3 at least as big as z?
True
Let c(o) = o**3 - 13*o**2 - o + 18. Let f be c(13). Suppose -5*p + 20 = 5*g, -f*g + 2*p + 11 = 4*p. Is 1 at least as big as g?
True
Let z be 12/30*20/48. Let n(k) = -k - 5. Let s be n(-5). Is z > s?
True
Let w = -29 + 21. Let m be 3 - ((-42)/w - 3). Are m and 2 unequal?
True
Let b = 1453/3 + -489. Which is bigger: -4 or b?
-4
Suppose -12 = -5*y + a + 3*a, 4*a + 12 = 3*y. Let t = -0.3 - 0.7. Let g = 0 - t. Is y smaller than g?
True
Let y = 0.028 - 1.018. Let r = y + 1. Let f = r + 0.29. Is 0.2 at least f?
False
Suppose -4*n = -3*n - 3. Is n less than or equal to 6?
True
Suppose -2*o + m - 2 = -2*m, 0 = 3*o + 3*m - 12. Suppose -o*u = 2*u. Let s be -4*1*3/(-90). Which is bigger: u or s?
s
Let x = 11 + -7. Suppose -5*b - 16 = x*m, -m = -b + 6*b + 19. Let o = -7/3 - -3. Which is smaller: o or m?
o
Let o be (2 + (-7)/2)*154. Let k be 2/(-11) + (-141)/o. Which is bigger: 0.1 or k?
k
Let v be (4/378*-3)/((-14)/(-6)). Are 0 and v equal?
False
Let c be ((-1)/28*-4)/3. Is -1 smaller than c?
True
Suppose -9*q = -57 - 69. Is 1 at most as big as q?
True
Let z = 0.4 + 0.1. Let f = 2.4 + -1.9. Let j = z - f. Is -0.2 >= j?
False
Suppose -132 = -6*r - 42. Which is greater: r or 14?
r
Let b = 181703/156 - 6985/6. Let q = -2/13 - b. Which is bigger: q or 0?
0
Let o = 83 + -59. Which is greater: 23 or o?
o
Suppose 0 = -5*t + 5 - 0. Let o be (-21)/40 + 2/5. Which is smaller: o or t?
o
Let y be (3 - (3 + -8))*1. Let j be (-8)/(y/(-2))*-1. Which is bigger: 1 or j?
1
Let u be 26/(-39) + (-67)/3. Which is greater: u or 1/6?
1/6
Suppose 9*d = 11*d. Does -1 = d?
False
Let o = -320/3 - -106. Let g = 0.3 + -0.1. Let v = g + 0. Is v >= o?
True
Let s be (-2)/(-5) + 56/(-190). Let n = -5 + 5. Which is smaller: n or s?
n
Let g = 0.3 - -6.7. Let y = -5.93 + -0.07. Let r = y + g. Which is smaller: r or -0.1?
-0.1
Let m = 314/3 - 110. Is -4 less than m?
False
Let y = -5 - -5. Let u be (-164)/(-78) + (-2)/1. Let t = u + -17/39. Do y and t have the same value?
False
Let q(h) = 2*h**2 + 6*h + 5. Let y be q(-3). Let d be (-28)/(-70) - 2/y. Let v = 2/59 + -144/767. Do d and v have different values?
True
Let r(p) = -2*p**2 - 4*p - 2. Let t be r(-2). Which is smaller: -4 or t?
-4
Let i(v) = -4*v**2 - 3 + 2*v**2 - 7*v - 4 + v**2. Let n be i(-6). Which is smaller: 2/41 or n?
n
Let t = 0 + -0.6. Let x = 0.5 + t. Let a = -0.26 - 5.74. Is x less than or equal to a?
False
Let y = -0.026 + -2.074. Let a = y + 2. Is 2/5 <= a?
False
Let h = 0.2 + -0.2. Let i(d) = -d**3 - 4*d**2 - 4*d + 7. Let n be i(-4). Suppose 5*x + 8 = n. Is x != h?
True
Let b(p) = p**3 - 18*p**2 - 3*p + 23. Let g be b(18). Are g and -31 equal?
True
Let s(g) = -g**3 - 10*g**2 + 15*g + 3. Let j be s(-11). Is j at most as big as -41?
True
Let l = -11 - -19. Let s = -8 + l. Are s and 0.3 equal?
False
Let z = -44/7 - -734/119. Let w(h) = -h**3 - 13*h**2 + 13*h - 14. Let y be w(-14). Is y greater than or equal to z?
True
Let t(w) = -w**3 - 9*w**2 - 15*w - 6. Let s be t(-7). Which is greater: 1/8 or s?
s
Let u be 3 - (17/4)/(30/(-24)). Is u greater than or equal to 7?
False
Let r be 0 - -1 - (-64)/(-4). Is r at most as big as -15?
True
Let z = -19/105 + -2/105. Which is bigger: z or -15?
z
Suppose 0*y = -5*y. Let m(i) = -11*i + 10. Let a(f) = -5*f + 5. Let r(x) = -13*a(x) + 6*m(x). Let o be r(-4). Which is smaller: y or o?
o
Let g be (-1)/((-47)/(-2) + 1). Which is bigger: g or 1?
1
Let z = -0.9 - 0.1. Which is smaller: -2 or z?
-2
Let c = 2/399 + -4434/133. Let r = -34 - c. Which is smaller: -2 or r?
-2
Suppose 0 = a + 26 - 10. Let z be -25*(a/10 + 2). Let b = z + 6. Is b greater than -3?
False
Let g(z) = z**3 - z**3 - 2*z**2 - 1 + 0*z + z + z**3. Let y be g(2). Which is smaller: 2/13 or y?
2/13
Let r = -11 - -9. Suppose u = -1 + 5. Suppose 0 = -u*b - 10 - 2. Which is smaller: r or b?
b
Suppose -2*h = -h - 20. Suppose 0 = y + 4*i - 20, -3*y + 0*y = 2*i - h. Let u(o) = o**3 - 21*o**2 - 21*o - 18. Let q be u(22). Are y and q nonequal?
False
Suppose 0 = -5*n + 62 - 12. Let o = n - 3. Suppose -3*t = -o*t - 8. Which is smaller: -1 or t?
t
Let v = -3 - -6. Let n(c) = -8*c**3 - c**2 - c - 1. Let j be n(-1). Suppose -2*b + 10 = -2*t, -4*b + j*t - 4*t + 17 = 0. Is b equal to v?
False
Suppose -5*h - 25 = p, 3*h + 5*p - 13 = h. Let o = h + 8. Is 2 at least o?
True
Let y be (-6)/33 - 70/(-22). Let g = y + -3. Let v = 11 - 13. Is g > v?
True
Let g be (-4)/(-16) + 17/12. Let v(i) = -i**3 - i**2 + 2*i + 2. Let l(r) = r**3 + 8*r**2 - 2. Let o be l(-8). Let d be v(o). Is g at most as big as d?
True
Suppose -x - 4*x - 3*j - 15 = 0, 5*x + 2*j = -10. Which is bigger: -1/29 or x?
x
Suppose 12 = 2*g + 2*g. Let m be 1 - g/3 - -1. Which is greater: m or 0.1?
m
Let c = -0.5 - -3.5. Let s = -13 - -11. Let j = -4 - s. Is c greater than j?
True
Let g = 1492/9 + -166. Do -2 and g have the same value?
False
Let s = -9 + 10. Let t be 4/10 + 4/(-15). Which is smaller: s or t?
t
Let u = -1.09 + 1. Let t = u - 0.91. Does t = 2/3?
False
Let b be (-6)/10 + 3/5. Is b less than or equal to 14/11?
True
Suppose -2*k + 1 = 5*u, 0*u - u = 3*k + 5. Is u smaller than 3/7?
False
Suppose 3*k + 26 = 5. Which is bigger: k or -6?
-6
Let b = -12 + 7. Let v be ((-2)/(-4))/(b/(-10)). Let p be (4/8)/(v/2). Which is greater: p or 4/7?
p
Let i = -1409/21 + 67. Does i =