52 + 0.32. Let n = f + -57.84. Let o = -56 - n. Is o at most 24?
True
Suppose 0 = -7*i - 686 - 1799. Let f = i + 496. Which is greater: 142 or f?
142
Let x be (-6)/12 + (-1035)/6. Let m = -171 - x. Which is bigger: 38/25 or m?
m
Let r be 2/(-2)*-6*(-960)/15. Let x = r + 244. Is x not equal to -139?
True
Let t be ((-150)/(-15))/(10/4). Let p be ((-120)/32 + t)/(-1). Let j = -0.3 + 0.26. Which is smaller: p or j?
p
Let a(s) = -13*s - 4. Let k be a(-1). Let z be (-3 + (0 - 1))/k. Let m = 66 + -129/2. Which is smaller: z or m?
z
Let u = -8938 - -8962. Let w(d) = -7*d - 12. Let j be w(-5). Is j >= u?
False
Suppose 0 = 5*d - 3*r - 6 - 14, 4*d + 2*r = 16. Suppose 13*x - 102 = -d*x. Which is greater: 17 or x?
17
Let b(c) = 270*c + 1218. Let x be b(-11). Which is smaller: x or -1755?
-1755
Suppose -3*b = -2*i + 22, -i - 9 = b - 2*i. Let c be (b/10)/((-12350)/1370 + 9). Which is greater: 26 or c?
c
Suppose 2*o - 6046 = 7*h, -7*o = -9*o - 2. Is -866 at most h?
True
Suppose 2*o + 2*o + 208 = 0. Suppose -4*z + 2*c = 236, 3*z + 267 - 115 = -c. Is o >= z?
True
Let u be (-3076)/2307*(-1)/((-32)/13). Is u at least as big as -1?
True
Let n be ((-13)/(-2))/(4/8). Let x be 15/2*(7 + -1). Let g = x - 32. Does g = n?
True
Let o(c) = c**3 + 4*c**2 - 2*c - 3. Let g be o(-4). Suppose -g*q + 9 + 11 = 0. Let v(f) = 26*f + 82. Let r be v(-3). Is r bigger than q?
False
Let b be (-8)/16*3/((-6)/(-4)). Let r be (20/16*1*44)/b. Let l = r - -59. Is l less than 20/7?
False
Let r(s) = -s**2 + 24*s - 23. Let c be (-18)/(-12)*552/(-9). Let m be c*((-36)/16 + 2). Let w be r(m). Which is smaller: w or -1/43?
-1/43
Suppose -460*s + 456*s - 2*v - 16 = 0, 2*s + 24 = -3*v. Which is smaller: -3725 or s?
-3725
Let b = 41169 + -41168.9. Suppose -5*n - 20 = 0, -4*n = -k + n - 9. Which is smaller: k or b?
k
Let g = -14051/6 + 2341. Which is smaller: 86 or g?
g
Let v = 0.00341 + 2.03559. Let s = -30 + 29.961. Let p = s + v. Which is greater: -1 or p?
p
Let f be 624/(-1872) + (-3)/(9/(-46)). Is 18 at most as big as f?
False
Suppose v + 8 = -v. Suppose 3*g + 2*q - 19 = 0, -5*g + 8*g = 4*q + 7. Suppose -30 = g*c - 2*o, -3*o + 32 = -3*c + o. Do v and c have the same value?
True
Let t = 2315 + -2362. Let w be 192/42 - (-3)/7. Suppose w*q + 86 = -154. Which is smaller: q or t?
q
Let p be (-11)/(-3) + 2/6. Suppose -p*h - 52 = -0*h. Let t(m) = m**3 + 6*m**2 + 42*m + 609. Let d be t(-9). Is h bigger than d?
False
Let t = -1847 - -1846. Is t >= -4/1199?
False
Let v be -1 - (-9)/(2025/(-288)). Which is bigger: 0 or v?
0
Suppose 22*g + 114 = 158. Let h(q) = -16*q. Let p be h(-4). Suppose 73 = -5*v - 4*n - 51, -g*v = -2*n + p. Which is bigger: -27 or v?
-27
Let k be 19 - 20 - (-2 - 0/(-3)). Let q be (-86)/(-180) - (-3)/6 - 1. Which is bigger: k or q?
k
Let q = 534 - 532.12. Let l = -1.58 + q. Is l at most 0?
False
Let b be (-200)/(-14) - 18/63. Let r(p) = -p**2 + 17*p + 7. Let j be r(b). Let f = -50 + j. Is f at least as big as -1/11?
False
Let i(c) = 3*c + 16. Let q be i(3). Let n = -26 + q. Let o = -763/124 - -25/4. Is n != o?
True
Suppose 3*n + 74 = -0*t - 4*t, 3*t + 43 = 4*n. Let i be 2*-2 - (t + 34). Suppose -16 = -0*w + w + c, 0 = 2*w + 5*c + 20. Which is smaller: w or i?
i
Let f be 9 + 2 + 4 + -9. Suppose -8*o = x - 3*o + 1, 34 = 4*x + o. Let c(q) = q**3 - 11*q**2 + 16*q + 28. Let d be c(x). Which is bigger: d or f?
d
Let g be ((-2751882)/(-125076) - 22)*(2 - (-6)/(-5)). Which is bigger: g or -1?
g
Suppose -4*m + 177 - 153 = 0. Let t be (m + 6/(-4))/((-2)/(-4)). Which is bigger: t or 91/9?
91/9
Let l = -117 - -211. Let y be (2/l)/((-208)/(-32)). Which is bigger: y or 1?
1
Suppose 60*o - 50 = 5*b + 65*o, 6 = -2*o. Suppose 39 = -0*m - 3*m + 5*g, -2*g + 65 = -5*m. Do b and m have the same value?
False
Let w(i) be the second derivative of 19*i**5/10 - i**4/6 - 5*i**3/6 - i**2/2 - 8*i. Let k be w(-2). Let q = k + 1823/6. Are 1 and q nonequal?
True
Let b(l) = l**3 + 4*l - 3. Let d be b(2). Let k be ((-24)/32)/((-5)/88). Do d and k have the same value?
False
Suppose 4*q - 748 - 4873 = 3*c, -q + 1384 = -5*c. Suppose 2*d = p - 455, -5*d + 3*p + 270 = q. Which is greater: d or -225?
-225
Let w be 17 - (340/17 - 3). Is 22/105 equal to w?
False
Suppose 3*j - 11 = h, -6*j = -4*j + 5*h + 4. Let u be (1 - j)*(-1)/(-2) - -31. Suppose -2*s + 58 = -0*s. Which is smaller: u or s?
s
Let f(p) = -3*p**2 - 16*p - 4. Let b be f(-5). Let k be ((-19)/(-3) - 4/(-6))/b. Suppose -k*g - 30 - 131 = 0. Which is bigger: g or -22?
-22
Suppose 12038*y - 11634*y = 6868. Let c(l) = 4*l**2 - l + 1. Let a be c(2). Is y bigger than a?
True
Let o = 66 - 141. Let h = o - -72. Let n be (213/12 + -4)/(h/12). Which is smaller: -54 or n?
n
Let f = -27.3 + 70.3. Is f bigger than -23?
True
Let z = 3392/11 + -138984/451. Let d = 4 - 5. Is z equal to d?
False
Let h be 28/(-4) + 1040 + 5. Suppose 14*w + 338 - h = 0. Let p be -1 + 51 + (-1)/(-1). Which is bigger: p or w?
p
Let q = -186.81 + 187.51. Which is greater: q or 1205?
1205
Let y(v) = 7*v + 2. Let z be y(-4). Let q = -15/1496 + -110659/4488. Which is smaller: z or q?
z
Suppose 2*r - 3*r = -1. Let d be (10/15)/(r/(-12)). Let a be (5 - (-20)/d)*(-2)/10. Is a greater than -2?
True
Let z = -2974 + 3072. Which is smaller: z or 96?
96
Let t = 794 + -793.272. Let g = t + 6.772. Are 2 and g non-equal?
True
Let m = -14.2 + -4.6. Let s = -28.8 - m. Let v = -0.1 - -0.3. Is v less than s?
False
Let q be (2/22520)/(2 - (-98592)/(-48855)). Let z = q + 4/1689. Is z not equal to -1?
True
Suppose -113*z + 4335 - 7947 = 4637. Is -1111/15 != z?
True
Let k = -284.38 + 282. Let x = 0.0549 - 0.0549. Which is smaller: k or x?
k
Let i be (-6)/(-24)*20 + -5. Suppose 15 = -3*r + o, -3*r - 8*o + 10*o - 15 = i. Let b(z) = -7*z - 1. Let p be b(1). Is r at least p?
True
Let l = -14405 - -15072. Is 671 equal to l?
False
Let z = 19992 - 18695. Is 1300 > z?
True
Let u(r) = r**2 + 6*r - 67. Let b be u(-12). Let f be b/(-10)*1 + (-58)/(-20). Do f and 1 have different values?
True
Let c be 165/385 - (2386/14 - 2). Let d be 281/1148 + 7*6/c. Which is greater: -1 or d?
d
Suppose 0 = i + 7 - 55. Let q = -37 + i. Let f = -11 + q. Which is greater: f or -1/41?
f
Let b = 22050.7 + -22051. Which is greater: b or -73?
b
Let n be 4709/(-949) - (-2 - -4)*350/(-140). Is 1 greater than n?
True
Let z be (-2)/((-10)/(-55) + (-144)/308). Let j be -34 + ((-42)/(-7) - z). Let a(t) = -t**2 + 4*t + 2. Let r be a(5). Which is greater: j or r?
r
Let s = -63 - -61. Let k be s/16*-4*(-97)/(-3). Let f = k + -41/3. Does 3 = f?
False
Suppose -2208 + 2182 = w. Which is smaller: w or 1/3?
w
Let q = 172 - 163. Suppose -q*n + 418 + 1373 = 0. Which is bigger: 200 or n?
200
Let u = 209.02 + -212. Let s = u - -60.98. Is 0.4 smaller than s?
True
Let x = -13/3253 - -2189412/35783. Which is bigger: 1/3 or x?
x
Let x be (21/(-49))/(18/12594). Is x less than or equal to -299?
True
Let x = 1 - 1. Let s(g) = 2*g**2 + 26*g + 19. Let z be s(-13). Suppose z*r = -32*r + 51. Is x greater than or equal to r?
False
Let a be -230*6/(-75) - (60/25 - 2). Is 496/29 smaller than a?
True
Let z(o) = o**3 - o**2 - 21*o + 43. Let i be z(-5). Which is greater: -50/29 or i?
-50/29
Let g(z) = z + 18. Let x be g(-14). Suppose s = -5*k + x*s + 47, 0 = 2*k + s - 10. Are -29 and k nonequal?
True
Let l(j) be the third derivative of -j**4/3 + 257*j**3/6 + 94*j**2. Let n be l(38). Is n smaller than -45?
True
Let i = 7031 - 11591. Is -4558 smaller than i?
False
Let u be (4/(-9))/((-4)/(-6)). Let o be ((-600)/45)/(1/3). Let x = o - -39. Which is smaller: x or u?
x
Let s = -0.048 - -16.348. Let m = 16.7 - s. Let a = 0.5 + -0.4. Which is smaller: a or m?
a
Let r = 70 + -65. Let i = r - -13. Let x be (1 + 31/2)*i/9. Are x and 33 equal?
True
Let k = -235 + 234. Which is greater: k or -4/1857?
-4/1857
Let v = -39299 + 236417/6. Is v not equal to 104?
True
Let j = -14 - -5. Let o(r) = 2*r**2 - 18*r + 12. Let z be o(12). Let v be (315/z)/((-54)/128). Is v less than or equal to j?
False
Suppose 0*i - 2*i + 106 = 5*j, -116 = -5*j + 3*i. Suppose 29*s = j*s. Let q be 266/(-68) + 1 + (3 - 0). Are q and s unequal?
True
Let v = -39835/393722263 - 2/54329. Is v >= 1?
False
Let j(w) = 2*w + 2. Let p be j(3). Suppose 5*n = 6*h - p*h + 65, -3*h = 0. Which is smaller: 15 or n?
n
Let m be (382/(-2865))/((-4