at least as big as o?
False
Let r(j) = -12*j - 36. Let k be r(-6). Let t be ((-2)/60)/((-4)/k). Is -1 greater than t?
False
Let t = -1 + 1. Let c be (-12 - (2 - -2))/(-1). Suppose y - c = -18. Which is smaller: t or y?
y
Let k = -729 - -730. Is 3.84 <= k?
False
Let v = 11 - -4. Let t = 19 - v. Suppose -t*r + 2 = 2*y, -2*r = -5*r + 2*y - 9. Are 1/14 and r unequal?
True
Let m be (1 + 6/4)*(-48)/222. Which is greater: m or -2?
m
Let g = -273 - -1367/5. Which is bigger: g or -206?
g
Let a be 15/3*(-2)/5. Let l = -48.2 - 10.9. Let d = l - -60. Which is greater: d or a?
d
Let b(r) = 107*r**2 + 1. Let l be b(1). Let m be -2 - -4 - l/9. Suppose -2*s + 2*y = -s + 3, 0 = s + y + 12. Which is greater: m or s?
s
Let f = -206 + 209. Is f less than -17?
False
Suppose 0 = -7*s + 66 - 584. Let r = s + 74. Which is smaller: r or -2/19?
-2/19
Let f = 105.2 + -112. Let r = 0.2 - f. Let j = 1.9 - 2. Is r at most j?
False
Let h = 16.9317 + 0.0683. Which is greater: 18 or h?
18
Let u be (-1848)/70 + (-3)/5. Do 15 and u have different values?
True
Suppose 77*s - 79*s = -12. Let z = -7 - -12. Is z > s?
False
Suppose 0*s + 2 = -2*i - s, 4*s = -5*i - 8. Let k be -5*(-8)/10*-8. Let j be (-12)/(-16) + 22/k. Is j equal to i?
False
Let d be (-4)/22 - (-16332)/44. Let w = d + -3713/10. Is -1 at most as big as w?
True
Let f be (-1)/((-5)/(-230)*-2). Is 22 at least f?
False
Let i be ((-28)/758)/7*1. Is 0 bigger than i?
True
Let a = -681 - -652. Is -18 at most as big as a?
False
Let y = 49.9 + -52. Let w = 54 - 55. Is w greater than y?
True
Let u = 19/9 - 22/9. Is 4/141 <= u?
False
Suppose -80 = 4*s + 24. Let w = -39 - s. Is -13 less than or equal to w?
True
Let a = 6.85 + -3.802. Let j = a + -0.048. Let i = 0.1 - 0.2. Does j = i?
False
Suppose 584*s - 582*s = 0. Let m = 0 + 0. Is m at most as big as s?
True
Let z(o) = o - 1. Let s be z(5). Let l(t) = -t + 2. Let u be l(-3). Suppose 3*g + 2 = -i + u, 2*i = -s*g + 4. Which is smaller: g or 1/6?
1/6
Let s be (20/(-8) + 3)*-10. Let p = 0 - s. Suppose -1 - p = 2*k. Which is bigger: k or -6?
k
Let v = -739 - -558. Which is smaller: -359/2 or v?
v
Suppose 3 + 3 = -3*y. Let d = -43 - -43. Let g = y + d. Do -2 and g have different values?
False
Let v = 34 - 33. Let l be v*(-244)/20 + -5. Are -16 and l equal?
False
Suppose -17 = 2*q - 13. Let r(p) = 9*p - 4. Let s be r(6). Let u be q/(-4) + (-5)/s. Do u and 0.1 have the same value?
False
Let j = 11200/3 - 40510394/10851. Is 0 bigger than j?
False
Let u = 22/89 - 766/4539. Which is smaller: 0 or u?
0
Let x = -13 + 19. Suppose -5*r = 4*l - 0*r - 20, 20 = 4*l - 4*r. Suppose -a + 5*c = x, -l*c + 10 = -2*a - 3*a. Is a less than or equal to -1?
True
Let g = -147.1 - -147. Which is smaller: 0.0186 or g?
g
Suppose -3*f + 12 + 6 = 0. Suppose 3*r + f + 0 = 0. Let w = r - 1. Which is smaller: w or -11/3?
-11/3
Suppose -4*w - 4 = 8. Let b be w*(-12)/(-9) - -4. Does 4/5 = b?
False
Let a = 0.13 + -0.23. Let v = -2.6 - 7.4. Let y = -17 - v. Which is bigger: y or a?
a
Let c be (-30)/1080*156/(-16). Which is bigger: -1 or c?
c
Suppose -h - 4*x = -18, 5*h = -3*x + 137 + 4. Let u be (-4)/3*h/140. Let t be (9 + -9)/(2*1). Is t != u?
True
Let t = -0.66 - -0.96. Which is smaller: t or 1/53?
1/53
Suppose 3*j - 8 = 7. Suppose -5*a - 15 = -j*i, 0*a + 3*i - 8 = 4*a. Let f be 44/(-80)*(-5)/(-5)*-4. Which is greater: a or f?
f
Let v be 10 - (-20 - 18/(-3)). Is v bigger than 0?
True
Let t(j) = j**2 + 8*j + 6. Let x be 6/(-24) - 1/(-4). Suppose x = 7*w - 4*w + 24. Let f be t(w). Is f at most -0.2?
False
Let l be ((-366)/5)/(-2 + 209/(-110)). Is l at most 19?
True
Suppose -9*a + 4*a - 2*u + 777 = 0, -161 = -a + u. Which is greater: 0.2 or a?
a
Let v be ((-6)/9)/((4/(-30))/1). Suppose 2*q = p + 6, -2*p + 6 = -3*q + v*q. Let h = 1 - 2. Is p at most h?
False
Let i = 107.03 + 0.97. Let c = 107.956 - i. Is -2/5 greater than or equal to c?
False
Suppose 0 = -5*x + 3*x + 446. Suppose -3*l + x = -4*s, -5*s - 43 = 5*l + 227. Let q be 163/s - 3/(-1). Is 1 equal to q?
False
Let l = -12.133 - -11.06. Let r = -0.073 - l. Is 3 at most as big as r?
False
Suppose -163 = -4*y + 5*h, 4*h + 46 = y + h. Which is bigger: -1/4 or y?
y
Let j be 28/126 - (-3165)/(-27) - -2. Is -118 at least j?
False
Let b = 1109 - 1107. Is b greater than -1/36?
True
Suppose 1 = -v - 0*v. Suppose 5 = 6*q + 29. Let l be (q/(-14))/((-7)/(147/(-36))). Is v greater than or equal to l?
False
Let w = 3.3 + -3.4. Let h = -4.6 - -4. Let m = h - w. Which is greater: m or 0.1?
0.1
Let v(h) = -h**3 + 33*h**2 - 36*h + 129. Let z be v(32). Let m be (-2)/56 - (-1)/(-4). Which is greater: m or z?
z
Let p = 0.7 + -3.7. Let u = 10.3 + -1.3. Let d = -9 + u. Is d >= p?
True
Suppose -c - 3*c + 8 = 2*p, 3*p - 42 = 4*c. Suppose -5*f - v - v = -14, 3*v = -2*f + p. Suppose -3*n + 4*n = -f. Is n at least as big as -6?
True
Let b be 2/(-4)*(2 + (-12 - -6)). Which is smaller: b or 23/17?
23/17
Let q = -1540 + 1788. Which is smaller: 251 or q?
q
Let f = -570 + 565. Which is smaller: f or -0.3?
f
Let a be (-2 + (-1 - -2))*-8. Let f be ((-12)/a)/(-2*9/12). Is -2/9 < f?
True
Suppose 4*n - 2 = 6*n. Let g = -2120/2659 - -720681/3108371. Let u = -1/167 + g. Which is bigger: u or n?
u
Let v be (-2)/(-6) + (-3)/3. Let g = -53 - -79. Let y = -26.1 + g. Is v less than y?
True
Let j = 1707 + -1196. Is 512 at least as big as j?
True
Let x(k) be the first derivative of k**3/3 + 3*k**2 - 4*k - 15. Let b be x(-8). Which is smaller: b or 13?
b
Suppose -19*n + 34 = -80. Which is smaller: 3 or n?
3
Let u be 1/1716*13*(-18)/4. Suppose 6 = 2*x - 4*a, a + 12 = -4*x - 3*a. Is x at least as big as u?
False
Let l = 58 + -56. Let b = 1 - 1. Let k = b + 3. Is l at most as big as k?
True
Let b = 825/602 - -5/86. Let r(f) = -f + 7. Let d be r(5). Is b greater than d?
False
Let x(u) = u**2 - 7*u + 5. Let d be x(6). Let o be 1/((-4)/(-4))*d. Let s be (-2)/o*20/(-56). Is 0 smaller than s?
False
Let t = -2.42 + 2. Let a be (14/112*-2)/(-1). Which is greater: t or a?
a
Let h be (-17)/51 - 2/(-15). Is h <= 6/7?
True
Let r(t) be the second derivative of -t**5/20 + 5*t**4/6 - 2*t**3 + 5*t**2 - t. Let i be r(9). Let l be (35 + i)*(-1)/(-3). Which is bigger: l or 2?
l
Let m(g) = -3*g + 50. Let s be m(17). Are s and -1 unequal?
False
Let m(l) = 2*l - 18. Let j be m(5). Let u be (-371)/1260 - 2/j. Is u at most as big as 1?
True
Let v be (-2698)/674 - (-104)/26. Which is bigger: 1 or v?
1
Let x(i) = -i**3 + 8*i**2 - 2*i + 5. Let k be x(6). Let h(w) = -95*w - 3259. Let z be h(-35). Is z at least k?
True
Let m(u) = u**3 + 32*u**2 + 0*u + 0*u - 27*u**2 - 6*u + 8. Let c be m(-6). Which is smaller: 10 or c?
c
Let j be 285/(-33) - (2 + 4)/(-1). Which is greater: j or -4?
j
Suppose d = -3*d + 28. Suppose 0 = 28*f - 25*f. Suppose 0 = -2*i + 2*x - f + 8, i + 5*x = 10. Which is bigger: d or i?
d
Let m be 15/2*(-232)/(-87). Suppose n - 33 = -m. Is 15 less than n?
False
Let c be (4/2)/(-8)*(0 + -6). Which is smaller: 0 or c?
0
Let i = -2098.054 + 2103. Let u = -0.054 - i. Which is bigger: u or 2/5?
2/5
Let q = 2612 + -2612. Is q not equal to -5/8?
True
Let j be 7/6*((-76)/(-91) + 0). Let k = j - 4/13. Are k and -3 nonequal?
True
Let h = -137 - -138. Do -1/22 and h have different values?
True
Let z = -26.2 + 26. Let i = 0.2 + z. Is i greater than or equal to 0.1?
False
Suppose 4*y = -2*v + 22, 2*v + 2*y + 3*y = 25. Let k(x) = -x**2 - 2*x + 1. Let l be k(-2). Which is bigger: v or l?
v
Let u(g) = 182*g - 1073. Let f be u(9). Is f equal to 563?
False
Let o(g) = 6*g + 6. Let q be o(-5). Let p be (-4)/(q/15)*-44. Let a be -3*1 - 290/p. Which is smaller: a or 0?
a
Let h = -13.9 - -8.6. Let m = 33.3 + h. Let b = m - 27.4. Is -2 >= b?
False
Let v = 1106 + -1131. Are v and 0.2 equal?
False
Suppose 3*c = -4*x + 70, 0*x + 2*x - 2*c = 42. Suppose -3*m = -3*t + 6, -3*t + 6 + 1 = -2*m. Let o be x/(-3) + 1/t. Is o less than or equal to -6?
True
Let z = 127 - 127.11. Which is greater: -3/8 or z?
z
Let o(f) = -f**2 + 15*f + 9. Let w be o(15). Suppose 0 = -m + w - 8. Let t = 47 + -45. Is t greater than m?
True
Let t = 1627/12 - 541/4. Suppose -3*o - 5 = 2*o. Which is greater: t or o?
t
Let g be (19/(-5))/((-10)/50 + 0). Which is smaller: 22 or g?
g
Let i = -19022 + 10785479/567. Is i at least 1?
False
Suppose -w + 3*o - 12 = 0, o = -w - 4*o - 12. Wh