/18 - 1/(-3). Is g less than f?
False
Let l be 2/(-4)*(-14 + -6). Suppose 3*m + 2*m = -5*r - l, -3*r + m = -10. Suppose -22 = r*q + 4*d, -2*d - 3*d - 25 = 0. Is -4/9 not equal to q?
True
Suppose -2075 + 1261 = 10*j + 2326. Which is smaller: j or -320?
-320
Let g be (6/4)/(24/128). Let x be (-604)/(-16) + 2/g. Is 37 greater than x?
False
Let o be 2/(6/(24/8)). Is o equal to -1/431?
False
Let y(m) = m**3 + 4*m**2 - 1. Let u be y(-4). Let h = -48 + 54. Let c be (7 - h)/((-34)/(-12)). Which is bigger: c or u?
c
Suppose 8 = -4*a, -2*w + 3*a = 2*w + 62. Let t = -13 + -27. Let p = -56 - t. Is p != w?
True
Let h(b) be the second derivative of -2*b**3/3 - 17*b**2 + 9*b. Let w(p) = 20*p + 70. Let u be w(-4). Let d be h(u). Which is greater: 39/7 or d?
d
Suppose -4*k + 168*f = 163*f - 371, 4*k = 4*f + 364. Is 65 less than or equal to k?
True
Let m = 1177 + -1176. Which is smaller: 1/1965 or m?
1/1965
Let b be 0*5/10 + 10. Suppose -b*r = -613 + 183. Which is smaller: 42 or r?
42
Let q be (1184/60)/((-4)/12). Let d = q + 29303/495. Is 0 at least d?
True
Let o = -147 + 145. Let q be (o + 13/2)*6. Which is bigger: 29 or q?
29
Let o = -8245 + 8255. Which is smaller: 64/7 or o?
64/7
Let w = 299 + -290. Let p be (-7)/6 + w + 143/(-22). Which is smaller: 0 or p?
0
Let b = -75 + 81. Let o(w) = -11*w + 68. Let c be o(b). Let r be (-10)/(-48)*c - (-2 - -3). Is -2 >= r?
False
Let v(p) = p**3 + 4*p**2 - 37*p - 85. Let g be v(-4). Are 104 and g unequal?
True
Let h = 131 - 127. Let j be h + (-170)/(-178) + -5. Which is smaller: 0 or j?
j
Let m be (-4)/18 + 58/18. Suppose 2*o = 67 + m. Let s(v) = v**3 + 3*v**2 - 65*v - 64. Let a be s(-9). Is a >= o?
True
Let a = -0.027216 + 0.327216. Let v = 5/221 - 3/17. Is a less than v?
False
Let s be (-3 - (0 + -5))/(14/16). Let m be (-63)/(-210) - (-34)/20. Which is smaller: m or s?
m
Suppose -2*a - 4*v = 4, 3*v = -a + 5*a - 36. Let z(w) = -40*w - 12. Let r(o) = -16*o - 5. Let c(m) = 12*r(m) - 5*z(m). Let q be c(a). Is 49 < q?
False
Let v(k) = 5*k + 1. Let m be v(3). Suppose -14*x = -3*y - 18*x + 62, 4*y = x + 51. Is y at least m?
False
Let s(j) = 7*j - 1. Let f be (27/(-12))/3 + 115/20. Let x be s(f). Which is smaller: 36 or x?
x
Let k be (4/(-12))/(-14 - 492/(-36)). Is -1/469 <= k?
True
Let w be (-9042)/(-15) + 72/(-90). Let m = w + -608. Suppose 24 = -5*u + u. Is u at least m?
True
Let a(v) = -109*v**2 + 261*v - 68. Let z be a(12). Is -12632 not equal to z?
False
Let v = -2519/7566 + -1/2522. Is v < -1075/2?
False
Let z = 42.46 + -39.5. Let x = z + -4.96. Which is greater: -0.56 or x?
-0.56
Let k be 2480/6*114/95. Let i = k - 251. Which is greater: i or 246?
246
Let f = -83/555 + 3/185. Which is smaller: f or 0?
f
Suppose -9*o = -30*o - 84. Let y be ((-7 - -7)/o)/1. Is y greater than -2/933?
True
Let z be (-3 + 448/150)*-127202. Let h = -1696 + z. Suppose -42*u + 37*u + 4*q = 19, -26 = 4*u - 5*q. Is u smaller than h?
False
Let o be (-1270)/(-254) + 6*-1. Which is smaller: -4/5629 or o?
o
Let u = -5.25089 + 5.15089. Let o = -9 + -5. Let f = o - -17.7. Which is smaller: f or u?
u
Let j be 475/(-114)*6/4860. Which is smaller: j or 0?
j
Let z be -12 + 752/64 + -59*6/(-8). Which is greater: z or 49?
49
Suppose 10*s = -8*s + 540. Let q be (-21)/30 + (-3)/s. Is 0.022 greater than or equal to q?
True
Let f = 14270 + -14073. Is 2578/13 equal to f?
False
Let j = -19/267 - -2746/72357. Is j at most as big as 1?
True
Suppose -a = -3*x - 2344, a - 3124 = -35*x + 39*x. Which is smaller: x or -2341/3?
-2341/3
Suppose 0 = 3*s, 5*w - 3*s + 0*s = -7*s + 840. Is -2/33 > w?
False
Let u be (4/18*2/(-4))/((-67)/(-147333)). Which is bigger: u or -245?
u
Let u = -89 - -55. Let a = -6 - u. Is 55/2 at most a?
True
Let z(t) = 9*t**2 + 29*t - 5. Let x(y) = -y**2 - 2*y + 1. Let q(h) = -24*x(h) - 3*z(h). Let s be q(-12). Which is smaller: s or 77/3?
77/3
Let x = -240.8 + 277.8. Which is smaller: x or -110?
-110
Let z be (-26)/4*-4 - 13/13. Suppose 5*k + 3*a + z = 8*a, 4*k - 3*a + 16 = 0. Is k less than or equal to -15?
False
Let t = 95 - -36. Let h = 84 - t. Which is greater: 2/5 or h?
2/5
Let s = 8759 - 11913. Are s and -3153 equal?
False
Let u(x) = -3*x + 7. Suppose 0 = -3*w - 4*f - 9, 0 = -2*w + 4*f + 6 + 8. Let i be u(w). Let r be (i + -2)*(12/(-8) + 4). Which is greater: r or 14/3?
r
Let b = 2831 + -2832. Let j = 193 - 105. Suppose -106 = 3*x - 2*w, -4*x + j = -3*w + 230. Are x and b equal?
False
Let h = -77.792 - -18.12. Let q = 0.328 - h. Which is smaller: q or 0?
0
Let b(z) = 292*z - 55. Let u be b(-10). Let q = u + 11799/4. Is q less than -26?
False
Let s = -2209 - -2208.93. Which is greater: -80/7 or s?
s
Let i be 133310/90 - (-6)/(-27). Is i < 1480?
False
Let t = -1548621/12662 - -1590/13. Which is smaller: 1 or t?
t
Let s = -1601 - -1602. Which is greater: s or 6/353?
s
Let n = -2 - -2. Suppose n = 8*f - 11*f + 9. Suppose -4*m - 34 = 2*y, m + 4 - 69 = f*y. Which is smaller: -23 or y?
-23
Let s = -1048 + 1043. Is -146/27 at least s?
False
Let b(f) = -2*f**2 + 26*f + 23. Let k be b(13). Let o = k + -343. Is o < -320?
False
Let m be ((-119)/68)/(18/(-16)). Suppose 5*x + 2 - 17 = 0. Suppose -5*g - x*c - 9 = 1, -4*c = g + 19. Is m greater than or equal to g?
True
Suppose -4*c - 5 = -5*c. Suppose 6*q + 217 = -c. Let h = q + 17. Is -18 < h?
False
Let t be (-99)/(-110) - -7*4/(-56). Is 1/48 greater than t?
False
Suppose 5*h + 6 = 7*h. Let q be (((-1434)/(-20))/h)/((-24)/(-16)). Let u = -83/5 + q. Which is bigger: u or -1/36?
-1/36
Let s = 841 - 1417. Which is greater: s or 2?
2
Suppose -19*v = -25*v. Suppose 5*g - 5*q - 2 + 17 = 0, v = 5*q. Suppose 0 = -3*b - 2*b. Which is greater: b or g?
b
Let l = -16308 - -16309.27. Is l at least as big as 0.69?
True
Let y = -423601/7 - -60349. Which is bigger: y or -165?
-165
Suppose -249*x - i - 12 = -254*x, -5*x = -2*i - 19. Do 3/7810 and x have the same value?
False
Let a = -45 - -54. Suppose x = 3*s + 2, -s - 4 = 12*x - a*x. Let z = 23 - 26. Which is smaller: x or z?
z
Let q(g) = -2*g + 9. Let b be q(-6). Let a be (90/b)/((-14)/(-49)). Is 74/5 smaller than a?
True
Let d = -3549 - -3590. Which is smaller: 39 or d?
39
Let j = 237 - -469. Let l = -8473/12 + j. Which is smaller: 1 or l?
l
Let k(m) be the second derivative of m**5/20 - m**4/4 + 5*m**3/6 - 5*m**2/2 - 11*m. Let w be k(3). Suppose 11*v = w*v - 1. Is v equal to -1/13?
False
Let h = 83 + -44. Suppose 2*o - 2 = 0, -4*a - 3*o + 7 = -8*o. Suppose -3*v + h = -0*g - 3*g, -12 = a*v. Which is smaller: g or -19?
-19
Let u(a) = 1127*a - 2277*a + 1124*a + 1. Let w be u(0). Let s = -0.05 - 6.95. Is w at least s?
True
Let j = 2691 - 2430.036. Let l = j - 261. Which is bigger: -2 or l?
l
Suppose 3*k - 7 = 2, 3*b - 21 = -5*k. Let g be (-6)/(-1 + 68/152*b). Is 59 < g?
False
Let f = -89 + -279. Let q = -368.2 - f. Which is smaller: q or 2/7?
q
Let h = 18.3 + -21.7. Let u = 6.4 + h. Is u greater than or equal to 0.4?
True
Let c = -11 + 2.5. Let r = c - -6.3. Let q = r + 2.17. Is -3 less than or equal to q?
True
Let t = 6.47 - 84.47. Let w = 129 - 50. Let z = t + w. Is z < 39?
True
Let n = 19996 - 19980.853. Let x = n - -0.253. Is 0 at most x?
True
Let s = 7/848 + -543/14416. Which is bigger: 5/4 or s?
5/4
Let a be ((-39)/(-5343))/((-2)/(-4)). Is 4 greater than or equal to a?
True
Let f(d) = 30*d**2 - 6*d - 9. Let q = 84 + -88. Let y be f(q). Let w = y + -13363/27. Are w and 0 non-equal?
True
Let s = 291 - 291. Suppose -4*m + 3*l = 46, -54 = 4*m - s*l + l. Is -11 greater than m?
True
Let a = -673/5 - -135. Let u = 11176 - 11176. Is u at most as big as a?
True
Let f = 6.3 + -6. Let u = 147895 + -147894.5. Which is smaller: u or f?
f
Let t = 0 + -12. Suppose o + 0 - 3 = 0, -2*j + 4*o = 8. Suppose -5*h - 2*m = -0*h + 60, j*m + 10 = 0. Is t greater than or equal to h?
False
Suppose -5*l - x + 5*x = 8, -4*x + 8 = 2*l. Let y(n) = 21*n - 17. Let f be y(2). Suppose 5*c - 2*v = f, 2*c - v = 4*v + 31. Is c not equal to l?
True
Let b be -2 - (2 - 842/212). Suppose -271 = 7*g - 19. Let u be ((-9)/24)/((-27)/g)*0. Which is greater: b or u?
u
Let r = -2818.91 - -2819. Are r and 65 equal?
False
Let b(h) = -7897*h - 10. Let m be b(-3). Let p be m/51 - 2/(-3). Let j be p/1764 - (-2)/(-8). Which is smaller: j or -1?
-1
Let p(y) = y**2 - 2*y - 22. Let m be p(5). Let c be 1*(-254)/4 - (m 