s greater: b or 117?
117
Suppose 0 = 3*h - r - 7762, -29*h + 30*h - 2580 = 4*r. Let u be (-4)/(-16) + h/(-10480). Which is bigger: 0 or u?
u
Let l = -20 + 40. Let x(c) = c**3 - 10*c**2 + 6*c - 20. Let a be x(9). Let r = 67 + a. Is r at most l?
True
Let h = -0.21 + 0.21. Suppose 5*l - 11*l = 54. Let r be ((-2)/(-22))/(-2 + l/(-5)). Which is smaller: r or h?
r
Let g = 13072 - 26209. Which is smaller: g or -13136?
g
Let h = -0.456 - -0.456. Let m = -1.3 + -13.7. Let g = -14 - m. Which is bigger: h or g?
g
Let w be (372/64)/(1/(-2)). Let a = 15534 + -15546. Which is greater: a or w?
w
Let z = -8855 - -8995. Which is smaller: 139 or z?
139
Suppose -3*x - 4 = -1, -2*i + 5*x = -53. Let t be (20/i)/(24 - 22). Which is smaller: 0 or t?
0
Let b be (20 - 23) + (-1 - 57). Let w be (((-270)/21)/15)/(2/140). Is w at least as big as b?
True
Let v be 2/(12/(-52)*2/3). Let w be ((-4)/(-30)*3)/(v/5). Is 0 != w?
True
Let r(p) = p**2 + 39*p + 115. Let o be r(-38). Do 30 and o have the same value?
False
Let u = 20826521/621 + -33537. Is u at least 0?
True
Let n(w) = w**3 - 27*w**2 + 108*w + 13. Let c be n(5). Is 132.9 >= c?
True
Let q be 239/20 + 213/4260. Is 270/23 > q?
False
Let m(y) = -y**2 + 6*y - 1. Let q be m(5). Let s be (260 + -237 - (-6362)/(-286)) + (-2)/(-13). Which is smaller: s or q?
s
Let k be 1*83*(-110)/30*-3. Are k and -2 equal?
False
Suppose 4*u = -2*n - 52, 4*u - n - n + 52 = 0. Let t = -8 + u. Let x be 1/(91/52 - 79/44). Which is greater: t or x?
t
Let l(p) = 3*p**3 - 12*p**2 + 22*p - 23. Let r be l(4). Is 48 bigger than r?
False
Let b be (-2)/3*(-6)/(-190). Let n = 362.89 - 360.89. Is b greater than or equal to n?
False
Let t(x) = x**2 - 14*x - 12. Let a be t(15). Suppose a*d = -3 - 30. Let p = 12 + d. Which is smaller: -1/77 or p?
-1/77
Let x(b) = b**3 - 4*b**2 + 1. Let c be x(4). Suppose 3*s + 21*s - 960 = 0. Let u be (-2 + -1)*s/270. Which is bigger: u or c?
c
Suppose -5*q + 2*q - 4*b = -3080, -2052 = -2*q - 3*b. Let k be 7/84 + (-38)/q. Is 8 smaller than k?
False
Let p be (2 + 1 - 5) + (437/38 - 9). Let q = 106.911 + 0.089. Is p at most as big as q?
True
Let v be 1545*2*((-1100)/280)/11. Which is greater: v or -1105?
v
Suppose -466*j - 155*j + 4523985 = 0. Are 7283 and j equal?
False
Let j = 4195 + -4192. Which is smaller: j or -110?
-110
Suppose -3*f - 3 = 0, 3*t - t - 2*f - 2 = 0. Suppose -2*x = -t*p + p + 3, 0 = -x - p. Let h = -3 + 20. Which is smaller: h or x?
x
Let a(f) = -f**2 + 8*f + 53. Let y be a(6). Let k = -65 + y. Do k and 1/24 have the same value?
False
Let i be ((-71)/66)/((-5)/((-105)/28)). Let g = -11/8 + i. Let f = g - -478/209. Which is smaller: f or 0?
0
Suppose -4*o + 2*c = 122, 941 - 1131 = 5*o + 5*c. Let l be ((-56)/(-12))/((-2)/15). Which is bigger: l or o?
o
Suppose 60 = -14*g + 4. Let v be (5 - 1) + -2 - g. Let x be 4/(v + -2) + -17. Is x equal to -15?
False
Let b = 2.2177 - 2.2477. Is b at most as big as 490?
True
Let n be (-690)/(-276)*1*2/(-5). Is -1/2863 less than or equal to n?
False
Let w be 361/(-133) + 1*2/(-7). Let s be (-70)/6 + ((-3)/w)/(-3). Let g be s/(3 - 6) + -8. Which is greater: -5/2 or g?
-5/2
Let x = -511 + 515.28. Let n = -3.78 + x. Which is smaller: n or -13?
-13
Let y be 42/(-35)*(-50)/3*330/(-30). Let p = 9 - 229. Is y less than or equal to p?
True
Let p = -4447 - -22412/5. Let c = -5477/155 + p. Let g = c + 23/124. Which is bigger: g or -0.6?
g
Let c = -0.2539 + -1353.7461. Is -1 bigger than c?
True
Let r = 0.5 + 0.5. Let n = 1 - r. Let m = 20547 - 20546. Which is smaller: n or m?
n
Let y = -82626 - -42423. Let a = y + 201643/5. Let o = a - 126. Which is smaller: o or 24?
o
Let l = 0.991 + -442.991. Let a = l - -418. Which is smaller: a or -9?
a
Let i = 225.7 + -210.7. Which is greater: -3 or i?
i
Suppose 70*f + 56 = 74*f. Let w be ((-116)/8 - 3)*f/(-35). Which is greater: 8/5 or w?
w
Let y = -50461/6 + 8390. Which is smaller: y or -21?
-21
Suppose -23968 = -70*i - 7168. Which is bigger: i or 244?
244
Let t = -351.42 + -2.58. Let d = t + 353. Which is greater: d or 253?
253
Let z = 69 - 42. Let f = 26.964 - z. Let o = -0.464 + f. Which is bigger: -1/3 or o?
-1/3
Let y be (-5 - 1)*((-3)/6)/1. Suppose k - 14*m + 12*m = 1, y*m = -4*k - 18. Do k and 42 have the same value?
False
Let v = -513192/11 - -46720. Let m = -9904/143 + v. Which is greater: -3 or m?
-3
Let i be (-1)/2*(-27 - -7 - -20). Is -1/11406 smaller than i?
True
Let s(n) be the second derivative of -2*n**3/3 - 2*n**2 - 23*n. Let m be s(2). Is -11 at least as big as m?
True
Let z = 1/25986 - 6106733/597678. Let j = z - 3619/69. Is j less than or equal to -63?
False
Suppose -238 = 17*k + 282 + 160. Are -88 and k equal?
False
Let t(n) = 26*n - 63. Let b(r) = 9*r**3 + 3*r - 1. Let f be b(1). Let h be t(f). Is 222 less than h?
True
Let y(c) = 4*c + 47. Let a be y(-11). Suppose -2*p = 4*m - 120, 0 = 5*m - 6*p + a*p - 128. Suppose -27 = -0*g - g. Is m less than g?
False
Let z be 213/(-1) + ((-2)/16 - 2/(-16)). Is z less than -10?
True
Let q be (-2)/((-16)/(-6)) - (-25 + (-167134)/(-6072)). Which is smaller: -4 or q?
-4
Suppose -1140 - 118 = 17*t. Let k(z) = z**2 - 13*z - 11. Let q be k(-5). Let h = q + t. Is h smaller than -9?
False
Let a = -4599 - -4615. Is a less than or equal to 31?
True
Let s be (-10 - -9) + 9/5. Let g = s - 27/40. Let t be (4 - 4)/(-17 + 18). Is t at most as big as g?
True
Let g(a) = 2*a**3 + 170*a**2 - 17*a + 39. Let i be g(-85). Which is smaller: 5941/4 or i?
i
Let m = -4.1 + 4.2. Do m and 523 have different values?
True
Suppose 0 = 21*z - 4*z + 153. Suppose -35 = -4*p + 5*j, 2*p + 5*j + 25 = 4*p. Suppose -f = -p*f - 28. Is z equal to f?
False
Let a(q) = q - 14. Suppose 23 = 5*z + 3. Suppose 0 - 27 = -2*v + 5*c, v + z*c - 7 = 0. Let i be a(v). Is i smaller than -3?
False
Suppose -t + 3*t = 30. Let c(p) = -p**2 + 40*p - 24. Suppose 551 - 122 = 11*z. Let j be c(z). Is t at most j?
True
Let t(x) = x - 19. Let l be t(18). Which is greater: -40/1029 or l?
-40/1029
Let m be ((-51337)/(-33) + -8)/(27233/12). Let u = m - 78/113. Is u bigger than 0?
False
Suppose 5 + 67 = -2*m. Let o = -39 - m. Let w be o/(9/(-6))*3/(-141). Are -1 and w equal?
False
Suppose -274*b + 281*b + 28371 = 0. Which is smaller: -4051 or b?
b
Let m be 4/10 + 7/(17640/(-76218)). Let s = -103/28 - m. Let l = 51/2 - s. Are l and 4 equal?
False
Let i(f) = f**3 + 4*f**2 - 12*f + 1. Let k be i(-6). Let p be (-8)/10*(3 - 43)*k. Let q = p + -23. Is 9 at most as big as q?
True
Let i = 57 - 44. Let d = 16 - i. Suppose -d*p = -0*p + 39. Which is smaller: -16 or p?
-16
Let s = 4864.9 + -4865. Which is smaller: 1968 or s?
s
Let f be (-260)/(-825) - (-1)/(33/(-6)). Suppose 4*v - 40 = -4*d - 44, 2*v + 5*d = 4. Which is smaller: f or v?
v
Let q = 17299 - 50113/3. Which is smaller: q or 594?
594
Let w = 183 - 4943/27. Let t = 363 + -389. Let m(r) = r**2 + 21*r - 129. Let o be m(t). Is w > o?
False
Let s = 814.939 - 815.5. Is s greater than or equal to -1?
True
Suppose 31*g - 49*g + 54 = 0. Let z = 12229/2 - 23047/4. Let b = z - 351. Which is smaller: b or g?
b
Let s = -1601 - -1601. Do s and -2658 have the same value?
False
Let s = 24.61 - -0.39. Suppose 5*y + 3*q = 574, 2*y - 242 = 4*q + q. Let p = 231/2 - y. Is p at most s?
True
Suppose -5*y = -2*j - 0*y - 7, 0 = 2*j + 2*y - 14. Suppose 26 = j*o - 2. Is o greater than or equal to 9?
False
Let i = 1885 - 1885. Is 1.4 at least i?
True
Suppose -9*h + 5*h + 5 = 3*o, 5*h + 2*o - 8 = 0. Suppose -c - h = 2*u, -6*u + 7*u = -c - 4. Is c smaller than -7?
False
Let u = -190 - -190. Is 1334 less than or equal to u?
False
Suppose 0 = -9*r + 911 + 5029. Let h = 804 - r. Do 144 and h have different values?
False
Suppose 0 = -5*f - 3*a + 2511, -4*f = -a - 825 - 1194. Let z be 1256/5*((-4 - -4) + -2). Let x = z + f. Which is greater: x or -2?
x
Let u be 1 + 0 + -2 + 0. Suppose -o - 4*o - 5 = 0, -29 = -5*k + 4*o. Suppose 0 = 4*g + k + 3, 3*v = 4*g - 4. Is v smaller than u?
True
Let g = 720 + -421. Are g and 302 non-equal?
True
Let n = 3235 - 3223. Is n > 178/15?
True
Let n be -1*(3 - (-14 - -6)). Which is smaller: 25 or n?
n
Suppose 4*l - 4*f + 59424 = 0, -l - 1105*f + 1103*f = 14838. Which is smaller: -14849 or l?
l
Let u = -16525 - -16529. Is -908 smaller than u?
True
Let h(x) = -10*x - 257. Let d(t) = -9*t - 257. Let s(i) = 