be j(15). Is s != 5/9?
True
Let v = 3 - -4. Let t = 8 - 4. Suppose t*k = v - 19. Is k at least as big as -5/2?
False
Let k(l) = -2*l**2 - 5*l + 4. Suppose 0 = 5*b + 4 + 16. Let i be k(b). Let j(w) = w**2 + 8*w + 1. Let u be j(i). Is -2/9 > u?
False
Let m be -1 + (-8)/(-4)*1. Let o be m/(-2) + 3 + (-26)/10. Is o greater than -0.1?
False
Let m = 10 + -6. Suppose -5*a - 3 = -w, 0 = m*a + 2*w - 7*w + 15. Let t = -3/130 - 1/13. Which is smaller: t or a?
t
Let g be (-10)/8*22/(-10). Are g and 5 equal?
False
Suppose -7*b + 3427 = -5*z - 9*b, 2041 = -3*z - 5*b. Which is bigger: -685 or z?
-685
Let i(j) = -j**3 + 23*j**2 + 32*j - 19. Let m be i(24). Is 172 equal to m?
False
Let z be (-55 - -56)*(2 - (-16)/(-9)). Does -0.51 = z?
False
Let o = 0.0275 - -45.9825. Let k = o + -46. Which is smaller: k or -0.3?
-0.3
Let b = 37 + -9. Let a = -22 + b. Let t(g) = g**2 - 8*g + 4. Let l be t(8). Which is bigger: l or a?
a
Suppose -9*p - 84 + 12 = 0. Let u = p - -9. Which is bigger: u or 1/10?
u
Let v = 235/4 - 4927/84. Let u = -20 - -27. Suppose u*h - 8 = 3*c + 2*h, 4*h = -4*c. Which is smaller: v or c?
c
Suppose 3*a - h + 10 - 1 = 0, -3*a + 5*h - 9 = 0. Let k be (2/a)/(3100/(-444) + 7). Which is bigger: k or -38?
k
Let d be 32/(-210) + (10 - 1976/195). Which is greater: d or -2.04?
d
Let z = 2647.09 + -2624. Let a = -22.953 + -0.047. Let m = a + z. Which is greater: 0 or m?
m
Suppose 0 = -5*w - 27 - 13. Let q(c) = c**3 + 15*c**2 + c + 18. Let h be q(-15). Let l be h/21 + 284/(-28). Is l >= w?
False
Let j = 1321/684 + -35/18. Which is smaller: 1 or j?
j
Let o be (-2)/6*(-1 + -2). Suppose 3*g + 5*n + 26 - 1 = 0, 3*g - 5*n = -65. Let m be (-6 - -3)/g*-1. Is m < o?
True
Let b = -374.1 - -374. Is b less than or equal to 0.25?
True
Let n be (-4)/(-38) + 9216/1254 + -6. Which is smaller: 0 or n?
0
Let l be (-25)/(-70)*(-8)/(-10). Let w(q) = -q - 8. Let v be w(-9). Which is greater: l or v?
v
Let x(d) = -d + 10. Let r be x(8). Suppose -3*t + 9 = r*c, c + t - 6 = -t. Is -1/30 greater than or equal to c?
False
Let y(t) = t**2 - 20*t. Let k be y(20). Let u be (-9 + 13)*((-1)/(-38) - k). Which is bigger: u or 1?
1
Suppose -12 = 5*i - 32. Suppose -3*c + 52 = -14. Let q = 26 - c. Does q = i?
True
Let i(s) = s**3 - 13*s**2 + 13*s - 6. Suppose 72 = p + 4*p + 3*g, -g - 44 = -4*p. Let b be i(p). Is b bigger than 7?
False
Let t = 141 + -138. Is t equal to -0.18?
False
Let z = -41.963 - 0.037. Let x = z - -37. Is x >= 0.4?
False
Let y be 2/(-4)*66/3. Let a = y - -11. Suppose r + 2*r - 3 = a. Is 2/13 > r?
False
Suppose -9*g + 4 = -13*g. Let l be -12*g/8*126/7. Is 25 at least l?
False
Let m(i) = -i**3 + 13*i**2 + 10. Let d = 29 - 26. Suppose o + 0*o = 4*h - d, 3*o = -2*h + 47. Let n be m(o). Is n at most 9?
False
Let o(x) = -4*x**2 + 12*x - 7. Let z(s) = -10*s + 12 - 3*s - 5 + 5*s**2. Let t(d) = -4*o(d) - 3*z(d). Let j be t(8). Which is greater: j or -4/7?
-4/7
Let t = 2469 + -76528/31. Are t and 0 equal?
False
Let w(o) = -o - o + 16 + 3*o. Let a(v) = 14*v + 110. Let n be a(-9). Let p be w(n). Are -2/9 and p equal?
False
Let r = -54 - -59/2. Which is bigger: -24 or r?
-24
Let u be (-2)/(-3) - (-16)/3. Let v be 1 - 3*1/u. Which is bigger: v or -3?
v
Let q = -1.8 - 0.2. Let r = 2.1 + q. Let u = 42.52 - 40.82. Is u >= r?
True
Let w = 751/7 - 107. Let k = -1.3 - 17.7. Let t = k + 25. Is w at most as big as t?
True
Let y be (-2)/3*3*2. Let l be (2 + y)*(-2)/((-12)/(-9)). Is 12/7 at most l?
True
Suppose 21 = 5*n + 1, -2*n + 36 = -h. Let s = 26 + h. Are s and -2/5 equal?
False
Let k be (15/12)/((-2)/(-48)). Let r = 181 + -151. Is r >= k?
True
Let i = -0.01 - 1.99. Let v be 2/10 + 2/((-3420)/522). Which is bigger: v or i?
v
Let p = -18.6 + 23. Let k = p + -2.4. Let c = 1 + 0. Do k and c have different values?
True
Suppose 3*o - g - 1 = 0, 4*o + g = -4*g - 5. Suppose 0 = -4*b + 3 + 9. Suppose o*q = b*q - 45. Is -1 equal to q?
False
Suppose 8*j - 6*j = 430. Suppose 5*i - j = 3*g, 6*i - 5*g = 2*i + 185. Suppose i = -5*b + 4*l, 0*b + 4*l - 8 = -3*b. Which is smaller: b or -8?
-8
Suppose -71 = -f - 72. Is 7/48 at most f?
False
Suppose i = 12 + 15. Let g = i + -25. Suppose 0 = -5*o + 7 - g. Which is smaller: -2/11 or o?
-2/11
Let t = -2 - -22. Suppose 5*q - 38 = 72. Which is greater: q or t?
q
Let w be (-3)/(-4 + (-3)/(12/14)). Which is bigger: w or -0.037?
w
Let c = -0.16 - -0.35. Let u = -1.61 - c. Let t = u + 1.6. Which is smaller: t or -1/4?
-1/4
Suppose -3*v - 2*n + 2 = 0, v = -v - n + 2. Let y be 8/4 - (-1 + v). Let i = 0.01 - -24.99. Which is smaller: i or y?
y
Let s be -1 - 21/9 - -2. Let m = 0.477 + -0.177. Is m smaller than s?
False
Let t = 18 - 13. Let g(m) = -2*m + 8. Let x be g(9). Let c = -4 - x. Which is smaller: t or c?
t
Let a = -104 - -203. Suppose -m = 8*m + a. Are -11 and m nonequal?
False
Let p be 32/6*(-15)/(-4). Suppose -p = 5*n - 0. Let m be n/21 - (-1)/(-7). Which is smaller: 7 or m?
m
Suppose -2*v + 12 = -5*t, -v + 3*t = 2*t - 3. Suppose 0 = b - 5, -p - 22 = -0*b - 2*b. Let h be (v - p/(-9))*33. Is h at most -11?
True
Let z = -58.015 - -58. Let w = z + -0.785. Let p be (-4)/(-6) + 3/(-9). Which is smaller: w or p?
w
Let f = -2.8 + 3. Let s be 1/((-4)/(4 - -108)). Let x be 56/588*s/6. Which is bigger: x or f?
f
Suppose -7*f = -3*f - 20. Let a(i) = i - 4. Let z be a(5). Suppose z + 17 = 3*t. Which is smaller: f or t?
f
Let g = -284 + 261. Is -23 less than or equal to g?
True
Let r = 109 - -1239. Let l = 79534/59 - r. Do l and -1 have the same value?
False
Suppose 3*a = -2*q - 9, -4*q + 12 = -4*a + 20. Is 1/35 less than or equal to a?
False
Let i = -2/547 + -960/36649. Is 0 != i?
True
Suppose -17*a = -16*a - 85. Is a greater than 85?
False
Let u = -17.8 + 10.1. Let x = u - 1.3. Let p = 9.1 + x. Is 9 greater than or equal to p?
True
Suppose -2*k - 1 = 5. Let g(r) = r**3 + 4*r**2 + r. Let a be g(k). Which is smaller: 3 or a?
3
Let a(l) = l + 2. Suppose w - 8 = 5*n, -2*w + 2*n = 5*n + 10. Let z be a(w). Is -2/3 less than z?
True
Let p(c) = -2*c**2 - 24*c + 43. Let u be p(2). Which is greater: u or -12?
-12
Let p be (-2)/(-4) - 7/(-2). Suppose -3*i = 4*b - 31, 9*b - p*b = -5*i + 55. Let r be 12/1 + 0 + 1. Is r at most i?
True
Let x be (-4)/14 - (4 + (-130)/14). Suppose -x*a - 2*j = -3*j - 30, 0 = 3*a - 2*j - 11. Do a and 25/3 have the same value?
False
Let z be (-2)/3*(-2)/2. Let d be ((-16)/(-12) - -2) + (-12)/3. Which is smaller: z or d?
d
Let r = -0.0134 + -1.2066. Which is greater: 0.2 or r?
0.2
Let c(x) = -6*x**2 + 5*x + 9. Let z be c(5). Let r = 113 + z. Is r not equal to 0.6?
True
Let z be (2 - 24/9) + 80/(-15). Let s be (-1 + 0)/(15/z - -2). Suppose -a - 3*a + 8 = 0. Is a at most as big as s?
True
Suppose 0 = -0*d - 5*d - 55. Let g = 9 + -10. Let q(f) = 9*f - 1. Let a be q(g). Which is smaller: a or d?
d
Suppose -3956 = 3*y - 950. Let w be (-3)/15 + -2 + y/(-435). Is w > -1?
True
Let t be (-2)/(-9) - (-144)/81. Let j be ((t/2)/1)/(-1). Is -9/8 less than j?
True
Let c = -538 + 699. Is c less than or equal to 0?
False
Let a(m) = m**2 + 6*m + 9. Let o be a(-3). Suppose o = 3*u, 30 = 2*q + q - 5*u. Do q and 6 have the same value?
False
Let r(f) = -f**2 + 20*f + 340. Let z be r(30). Let p be 1/(-3)*(-1 + 3). Which is smaller: p or z?
p
Let t be 76/(-5282)*(-1)/67. Which is smaller: t or 0?
0
Let j = -39 + 39. Suppose 4*i = -5*g, j = 4*g - i + 4*i. Is g at most 2/119?
True
Let g = -165 - -110. Let y be 2/(-11) + (-10)/g. Let w = -11 + 11.5. Do w and y have the same value?
False
Let q = 714 + -711. Which is smaller: q or 0.0236?
0.0236
Let x be 5883/9920 + (-2)/5. Let f = -250327/2331200 - x. Let l = f - -16/47. Which is bigger: l or 0?
l
Let v = -3.23 - -7.23. Which is greater: -2 or v?
v
Suppose 2*n - 24 = -18. Are n and 8/5 nonequal?
True
Suppose 5*j = 11 + 9. Let z be -4 - (-12)/j - 3. Is -2 bigger than z?
True
Let m be (3/(-44))/((-6)/(-386)). Let n be 1/(-5) + (-633)/(-165). Let y = m + n. Is -1 != y?
True
Let u be (-339)/2 + 6/4. Let s = 75 + u. Let t be -2*(-3 - 282/s). Is 1 at most as big as t?
False
Let y = 0.256 - 3.256. Which is smaller: -2/11 or y?
y
Let u be (-16)/((-39)/249*-1). Let y = u + 102. Which is greater: 1 or y?
1
Let h = -35.2 - -37.2. Which is bigger: h or -1/145?
h
Let r(p) = 3*p - 27. Let m be r(8). Let d = 17/7 + m. Which is bigger: 0 or d?
0
L