 c smaller than -2?
False
Let h = 12954 - 11417. Is h at least as big as 1541?
False
Let j = -2042.5 + 2042.4. Is 19979 greater than j?
True
Let f be ((-12)/10)/((-6)/30) + 45577/(-714). Which is bigger: -57 or f?
-57
Let z = -15682.9 + 15683. Do z and -1545 have the same value?
False
Let w be (77/1001 - (-1853)/(-91))*63/9. Suppose 3*l + 296 = -130. Is w != l?
False
Let z = -1/180 + -1069/1980. Which is bigger: 79 or z?
79
Let g = -3 - 0. Let f = 132808 - 132816. Which is greater: f or g?
g
Let c = 4 + -3. Suppose 273 = -10165*g + 10162*g. Is c >= g?
True
Let h be ((-6)/4)/(4/(-8)). Let q be -4 + (h - 140/25). Let g(d) = 2*d**3 + 48*d**2 - 51*d - 32. Let v be g(-25). Is v bigger than q?
False
Let o(h) = 9*h + 19*h - 5 + 23*h + 0 - 52*h. Suppose p + 4 = 5*x - 2, p + 4*x = -6. Let j be o(p). Is 7/8 at most j?
True
Let l = 7231 - 9829. Which is greater: l or -2597?
-2597
Let v = 563.946 + 0.054. Let g = 564 - v. Let p = 47/13 + -815/247. Which is smaller: g or p?
g
Let i(v) = v**3 + 2*v**2 - 3*v - 5. Let g be i(-4). Let d = 25 + g. Suppose -5*b - 2*m = -d*m, -m = 3*b - 1. Is 8 >= b?
True
Suppose 144*k + 4783 = -2*k - 35. Is 10/13 >= k?
True
Let d = 5.7 - 5.612. Let y = d + 39.112. Let z = y + -8.2. Is -1 > z?
False
Let q = 2.05 + 0.05. Let s = -1.0327 - -5.0327. Is q not equal to s?
True
Let v be (112 + 1)/((-103)/721). Is v != -789?
True
Let q(x) = -8*x - 292. Let u be q(-38). Suppose 9 = b - 0. Let v = 20 - b. Is v equal to u?
False
Let v be ((-3)/(-114)*-1)/(273/7668). Let u = v - 4/133. Which is smaller: u or 7?
u
Let n = -23 + 23. Let z be -1*(n + -5) + (-111)/11. Which is bigger: z or -2/7?
-2/7
Let q = 0.029 + 27.971. Let t = 90.72 + 629.18. Let j = t + -720. Are q and j equal?
False
Let n = -5438/143 + -504/11. Which is bigger: -84 or n?
n
Let o(i) = -55*i - 4758. Let t be o(-54). Is -1788 greater than or equal to t?
True
Let p = -16019/16755006 + -11/7881. Which is smaller: -1 or p?
-1
Let a = 43 + -43.13. Let f = 2.17 - a. Let o = f - 2.4. Do 0 and o have the same value?
False
Suppose 5*c - 3*g = -397, -2*c - 146 = 3*g - g. Let b = c + -341. Is -418 < b?
False
Let c be (3 + (3 - -95))*-7*(-9)/1197. Which is greater: 6 or c?
6
Suppose 0*t - 3*t = -t. Suppose 2*c - 11 = u, t*c + 2 = 3*u + c. Which is bigger: -1/102 or u?
-1/102
Let p(b) = 8*b - 24. Suppose 2*i + 9 = 5*z - 6, 5 = 3*i - 2*z. Let g be p(i). Is 4 != g?
True
Let i(g) = g**2 + 16*g - 10. Let j be i(-18). Suppose 4*s - 3*z = 2*z - 10, -3*s - 5*z = -10. Let x(h) = -h**2 + 26. Let m be x(s). Is j != m?
False
Let n = -0.144 + 3.204. Let j = -0.06 + n. Let l(f) = -4*f**2 + 35*f - 2. Let m be l(0). Is m bigger than j?
False
Let n = 194.5813 + -0.1813. Let r = n + -244. Let s = r - -50. Are s and -2 equal?
False
Let i = -820/113 - -736615/101587. Are 0 and i equal?
False
Let n = -93 + 152. Let t = n + -67. Is 0.9 greater than or equal to t?
True
Suppose -2*y - 11 + 19 = 0. Let p be y - 4/48*10. Does p = 3?
False
Let j be (82/10 + -9)/(2/(-1565)). Suppose -2*l + 4*h - 894 = 358, -l - 2*h = j. Which is greater: l or -0.1?
-0.1
Let g = 8.42 - -1.68. Let j = -50 - -49. Is g < j?
False
Let d = -73462.9 - -73463. Let t(u) = 50*u**2 - 3*u + 3. Let l be t(2). Which is bigger: d or l?
l
Suppose 18*o = 1879 - 475. Suppose -37 = -23*d + o. Is 13 >= d?
True
Suppose 95*p - 171 - 399 = 0. Is p at most as big as -0.015?
False
Let p be -4*7117/86196 + (-1)/(-3). Let k(u) = u**2 + 3*u - 3. Let a be k(-4). Is a >= p?
True
Suppose -80 = -h + 3*q - 88, -h - 12 = -5*q. Let n(y) = y - 2. Let v be n(4). Suppose -v*i + 0 = -2. Does i = h?
False
Let k = 3931.9 + -4115. Let v = k - -182. Which is bigger: 12 or v?
12
Let p(m) = -161 + 25*m + 27*m - 38*m - 13 + 21. Let d be p(12). Let l = 213/4 + -151/4. Are l and d non-equal?
True
Let t = 14 - 8. Suppose p + t = -16. Let k = 42 + p. Which is greater: k or 21?
21
Let j be 42/((-24)/(-11) - 2). Let u be (1239 - 1008) + 3 + 1 + -3. Which is greater: u or j?
u
Let r = 1648 - 14834/9. Which is greater: r or 195.5?
195.5
Let o = -1.1683 - 0.5317. Is 127 smaller than o?
False
Suppose 0 = 3*c - 39. Let r(y) = 12*y + 13 + 15*y**2 - 37*y**2 + 21*y**2. Let g be r(c). Is -2/19 != g?
True
Let i(f) = 39*f**2 + 47*f + 28. Let t be i(-7). Do t and 1609 have the same value?
False
Suppose 167*b + 178*b - 26 = 371*b. Let t = -5757/35 - -329/2. Which is smaller: t or b?
b
Let p = 243788 + -243853. Suppose -o + 0 = 6. Which is greater: o or p?
o
Let q(f) = 2*f**3 - 2*f**2 - 2. Let k(z) = z + 15. Let n be k(-13). Let y be q(n). Let a be y/(-120) - 1/(-5). Which is greater: a or 0?
a
Let a = 8 - -0.6. Let j = 8.8 - a. Is j equal to -13/9?
False
Suppose 729 = -11*s - 1416. Let z = s + 250. Which is smaller: 54 or z?
54
Let l be 625/100*24/15. Let o(h) = -h**2 + 12*h - 21. Let z be o(l). Is 1/17 != z?
True
Suppose 2*l = 8*t - 62, 7*l - 12*l - t - 8 = 0. Is 47 less than or equal to l?
False
Let h = 3727 - 3724. Which is greater: h or -38/23?
h
Let c(o) = -o**2 - 64*o + 6748. Let l be c(83). Is l at least as big as -5450?
False
Let x be ((-567)/84)/(1/16*-3). Let z be (624/x)/(3/(-9)). Let p = z + 39. Is p equal to -11?
False
Let g = 80 - 81. Let d be 4 - g - (22/(-4719) + 5). Is -0.2 at most d?
True
Suppose -11*r + 2777 = 585 - 1647. Is r greater than or equal to 349?
True
Let u(v) = 4*v + 4*v + 3*v - 2*v**2 - 6. Let q be u(5). Let n be q - (3 + -3)/3. Which is smaller: n or 1?
n
Let o(k) = k**3 - 19*k**2 - 13*k + 32. Let b be o(20). Suppose 5*i - 378 - b = 0. Is i < 109?
False
Let b be (-1 + (-2 - (-12)/2))*15/36. Is b less than 2/243?
False
Let u = 999194/111 + -9002. Is u equal to -1/4?
False
Let b = -1907 + 2941. Let g be (8/(-12))/(b/(-33)). Which is bigger: g or 1?
1
Let r be (-460)/(-138)*(-1500)/56. Which is bigger: -90 or r?
r
Let f(a) = 4*a**2 + 67*a + 850. Let m be f(-24). Which is bigger: 1549 or m?
1549
Let s be (-7 - 3)*(2 + -1). Let c = -37 + s. Let r(f) = f**2 + 448*f - 6041. Let h be r(13). Is h at least c?
False
Let y be 3350/20*84/30. Let i = -733 + y. Which is greater: i or -263?
-263
Suppose -32*v + 406 = -61*v. Let y(g) = -g - 2. Let m be y(6). Let q be (3 + 17)*m/10. Which is bigger: v or q?
v
Let o be 16/12 + 2 + 35855/(-15). Which is smaller: -2385 or o?
o
Let k = -44 + 3. Let c = -38 - k. Let z be 115/15*c/4. Is z at most 5?
False
Let c be (-384)/(-48) - ((-1864)/(-590) - -5). Which is smaller: c or -1?
-1
Let n = 5827.9 + -5311. Let x = n + -517. Are -19/7 and x unequal?
True
Let l(v) = 5*v**3 - 5*v**2 - 23*v - 9. Let u(h) = -14*h**3 + 16*h**2 + 68*h + 29. Let i(t) = 17*l(t) + 6*u(t). Let p be i(-11). Which is bigger: p or -165?
-165
Let d = 49686 + -49616.038. Let y = 44 + -43.962. Let o = d + y. Which is smaller: o or 0?
0
Let r = -4487 - -6190. Which is smaller: -0.1 or r?
-0.1
Suppose 2*z - 404 = 3*x, -126 = -51*x + 52*x - 5*z. Is x <= -0.25?
True
Suppose -127*d + 123*d = 68, -4*x - 29 - 122 = -d. Let j = -4 + -32. Which is greater: j or x?
j
Let p(w) = 2*w**2 + 5*w - 7. Let c be p(-6). Suppose 45 = 30*b - c*b. Which is greater: b or -12?
b
Suppose 7*y - 9*y = 74. Let k = 19 + y. Let c = -43 + 26. Are k and c equal?
False
Let t be 41/8 - 11/88. Suppose 6 = 4*n - 5*d, -3*d - 15 = t*n + 2*d. Which is smaller: n or 2/143?
n
Let c be 1068782/(-1023)*6/(-4). Let r = c + -1567. Suppose -4*y - 4 = 4*w, 2 = -3*y - y - 2*w. Which is bigger: y or r?
r
Let l(h) = -12*h + 80. Let r be l(7). Let k be 696/(-36)*3*2/r. Which is smaller: 28 or k?
28
Let f(t) = 2*t**2 - 70*t + 27. Let a be f(35). Let r be 4/(-18) + (-6)/a*827. Is -2/9 greater than r?
True
Let y(h) = 7*h**3 - 234*h**2 - 135*h - 33. Let q be y(34). Let f be 0 - (1087/1089 - 1). Which is smaller: q or f?
f
Suppose 2*g = -x - 10 + 2, 5*g = -x - 23. Suppose x*p - 8 = 2*q, -8 = -2*p - q + 5*q. Let l be 4/40*p*1. Are -1 and l unequal?
True
Let w be ((-6)/4)/(12/(-8)). Let d be -13*13/1521 - (-85)/603. Which is smaller: d or w?
d
Let s be 21/(588/8) + 1487*24/42. Are s and 850 equal?
True
Suppose -25*x = 6*x - 124. Let l be 21846/(-43164) + 2/x. Which is smaller: 0 or l?
l
Let m be (9/(-10))/((-408)/(-2295)). Which is greater: m or -5?
-5
Let q(r) = r**3 - 21*r**2 - 76*r + 214. Let f be q(24). Do 133 and f have the same value?
False
Let j = 51 + -74. Let h = -83 + j. Which is smaller: h or 2?
h
Let u = 0.37 