pose 0 = -47*b - 2*b + 28665. Suppose -10*j + 2495 - b = 0. Are j and 191 unequal?
False
Let z = -137979 - -106933749/775. Which is bigger: z or -1?
z
Let i be 38/14 + (1 - 4) - (-14000)/(-1764). Suppose t + x + 3 = -3*x, 3*x - 24 = 3*t. Which is smaller: t or i?
i
Let n be (-2)/(-2) + 0/(-1). Suppose 214 = 2*v - h - 184, 0 = 2*v + 5*h - 434. Let k be (13/(-26))/((v/(-4))/n). Is k not equal to 0?
True
Let f be 2 + (-26)/(-11) - 0. Let s = 3962/913 - f. Let i be 104/168 + (-384)/(-28) + -14. Is i equal to s?
False
Let l be 210*((-2)/11 - 285/(-418)). Let d = l - 86. Suppose -2*h + 4*h + 4*z = 40, -5*h = -z - 100. Which is bigger: h or d?
h
Suppose 42*t - 27 = 45*t. Let z be 3/2*(6/t)/1. Let p be (-5 + (-230)/(-45))*z. Which is greater: 0 or p?
0
Suppose 4*v + 4 = 0, -5*v - 30 + 26 = -t. Which is smaller: t or -67/81?
t
Let k(l) = -16*l + 1201. Let j be k(75). Is j greater than 1/13918?
True
Let o = -34235/621624 + -5/3512. Is o < -1?
False
Suppose 0 = 32*z - 21*z - 66. Suppose 9*d - 11*d = -z, -5*b = 2*d - 2351. Is b at least 470?
False
Suppose 6*a = -33 + 369. Let p be 8/20*40/a. Which is smaller: 236 or p?
p
Suppose -11*u + 16 = 5. Let z be 3 - (5/5 - u). Is -0.01 >= z?
False
Let o = 2604.9 + -2607.867. Is o equal to 6?
False
Let n = -101 + 111. Suppose h + n = -4*h. Let v be (-9)/((-75)/(-10) - -3). Is v != h?
True
Suppose 2093 = -140*w + 147*w. Let u = w + -299. Which is greater: u or -2/273?
u
Let z(w) = 3*w**2 - 59*w - 586. Let d be z(-8). Is d < 82?
True
Let c = 127 - 150. Is 38/5 less than or equal to c?
False
Suppose 0 = -22*h + 18*h + 108. Let i = 742 - 716. Is h != i?
True
Suppose 17*x - 6079 = 5022. Is 658 at least x?
True
Let v be (332/(-2158))/((-4)/26) + (1 - 3). Let h = -57997/40 - -1450. Which is greater: v or h?
h
Let p(j) = 21*j**2 - 3*j - 8. Let v be p(5). Suppose 3*b - 3*t - 806 = v, 2*b + t - 872 = 0. Is 435 equal to b?
False
Let q be (-7 - (5 - 13)) + -36. Let t(h) = h**2 + 31*h - 120. Let u be t(q). Which is smaller: u or 10?
10
Let r be (-3)/(-39) + 30747/481. Suppose 6*g - 2*z = 2*g + 258, 2*g - 133 = -3*z. Are g and r nonequal?
True
Let t(r) be the second derivative of r**4/12 - 5*r**3/6 - 13*r**2 + 6*r. Let h be t(9). Which is smaller: h or 9?
9
Let t = -242 - -216. Let l be 0 + -2 + t + 29. Is 1/47 bigger than l?
False
Suppose 12 = 4*q, -53269 - 29405 = -3*b - 3*q. Let l = b + -4436337/161. Is l < -1?
False
Let i(h) = 0*h**2 + 15*h + 0*h**2 + 11*h + h**3 - 35*h + 9. Let k be i(2). Are k and 2/357 equal?
False
Suppose 5*x + 8*x = 416. Let y = x - 33. Let a = 1166 - 52474/45. Which is greater: a or y?
a
Let s = 1.17744 - 0.17744. Let u = 6.2 + -6.233. Is s smaller than u?
False
Let c = 3051 - 12205/4. Which is smaller: c or -1296?
-1296
Suppose -9 = -d + 2*z + 27, -d + 3*z = -35. Let q = 40 - d. Let u be 270/24*q*2/(-40). Which is greater: 0 or u?
0
Let t = 1207.6 + -1005.6. Which is smaller: 2/11 or t?
2/11
Let k be (-108 - -119)/(-1 - 20/(-18)). Which is bigger: k or 1095/11?
1095/11
Suppose -119 - 281 = 16*l. Let t be 20/l*(3 - 283). Which is smaller: t or 225?
t
Let q be 4/(13/(14 + 12)). Is -17 > q?
False
Suppose 24*t = 22*t - 40383986. Let i = -1054143185965/52206 - t. Let m = i + 3/791. Is m at most 0?
False
Let h = -4418/5 + 4421/5. Which is smaller: -13 or h?
-13
Let q(x) = -4*x + 54. Let c(f) = -10*f + 163. Let m(s) = 3*c(s) - 8*q(s). Let v be m(-27). Is 2.8 not equal to v?
True
Let w = -34 + 47. Suppose -r = -t + 9, -t = 3*r + 4*t - w. Let x be 4 + r + (-12)/(-18). Is x >= 0.03?
True
Let y(u) = u**3 - 65*u**2 + 141*u - 945. Let p be y(63). Do p and -7/824 have the same value?
False
Let g be 262*2*(-55)/352*-4. Let b = -349 + g. Suppose -2*z - z = 66. Which is bigger: b or z?
b
Suppose -2*i - 213 + 193 = 0. Let c be (i - 2/(-2))/((-216)/(-288)). Let b = 0.11 + -0.01. Does b = c?
False
Let o = 34 - 135/4. Let p = 178.05 + -0.05. Let f = p - 180. Which is smaller: f or o?
f
Suppose 4 = -v, 4*m - 566 + 106 = 2*v. Suppose -21*l = -23*l + 220. Let k = l - m. Is k <= 3?
True
Let p be ((-65 + -1)*2/56)/((-15)/80). Is -0.13 bigger than p?
False
Let z = 127571 - 633052/5. Which is greater: 960 or z?
z
Let h = -189/208 + 600415/661232. Let q = h - 200273/6358. Which is greater: -32 or q?
q
Let i be -216*(-24)/20 + (-6)/(-5)*-1. Is i greater than 3?
True
Suppose -2*u + 16 = m, -2*m - 93 = -2*u - 83. Which is bigger: -394 or m?
m
Let w(z) be the first derivative of -13/2*z**2 + 11 + 1/3*z**3 - 20*z. Let g be w(14). Which is smaller: -20/3 or g?
-20/3
Let w(x) = 7*x + 7. Let t be w(-5). Suppose 46*i - 41*i = 1030. Suppose -178 + i = -k. Is k smaller than t?
False
Let t be (-88)/(-11) - (5 + 1). Suppose 0 = 6*l - 7*l - 5*n + 59, 2*l = -t*n + 94. Which is smaller: l or 46?
l
Let j = 11327 - 27160. Is j less than or equal to -15834?
False
Suppose 5 = k - 2*f, 4*k - 2*f - 32 = -0. Let l(t) = -t**3 + 9*t**2 + 3*t - 20. Let u be l(k). Suppose -5*o = -23 - u. Which is bigger: o or 50/7?
50/7
Let v be 12*(-3 - 27/(-12)). Let f = -8 - v. Let b = -1251/2 + 626. Is f smaller than b?
False
Let d = 33 + -28. Suppose 4*u = -12, d*g + 3 = -3*u - 1. Suppose 8*v - g = -9. Which is bigger: v or 5/14?
5/14
Suppose -15*n = -1553 + 398. Suppose -h = 82 - n. Is 1 greater than or equal to h?
True
Let g be 12077/2574 - (7/2 + -2). Let p = g + -46/99. Which is smaller: p or 0?
0
Let a(z) = -2*z**3 + 17*z**2 + 15*z - 7. Let c be a(-4). Is c >= 336?
False
Let i(q) = 125*q + 2897. Let z be i(-25). Is z at most 12?
True
Suppose -6*p - 8*p = 8*p + 15*p. Are p and 2/339 unequal?
True
Suppose 0 = -2*b - 3*b - 2255. Let c(z) = -13*z**2 - 16*z - 80. Let d be c(-6). Is b bigger than d?
True
Let v = -11999 - -12046. Which is bigger: 113 or v?
113
Let l be 3 + -1 + 648 + 900/30 + -27. Which is smaller: l or 652?
652
Let f be (0*(-4)/12)/(-1 + 2). Suppose 5*o + 9 = -2*v, -o + 2*o - 4*v + 15 = f. Let z be -1 - (60/35 - 3). Which is bigger: z or o?
z
Let r = -39290000/2593 + 45457/3. Is -1 less than or equal to r?
True
Let o = -1026/973 - -114345/139. Is 822 bigger than o?
True
Let g = -6.34 + -23.76. Let k = -24.1 - g. Which is bigger: k or -0.06?
k
Suppose 3*g + 9*l - 5*l = 35, -3*g + l = -40. Suppose -g = 11*p - 10*p. Is p > 3?
False
Let h = 1505 + -19577/13. Let o(t) = 4*t + 1. Let i(q) = q. Let j(v) = 5*i(v) - o(v). Let w be j(-1). Which is greater: w or h?
h
Suppose -4*n - 2*m = -6*m + 1004, 2*m = -5*n - 1234. Let h = 36 + n. Which is greater: -211 or h?
-211
Let u(p) = -16*p - 231. Let r be 30/54*-33 - 1/(-3). Let k be u(r). Which is greater: 54 or k?
k
Let j = 119 + -118.8. Let c = 360.5 + -298. Let o = -62 + c. Which is bigger: j or o?
o
Let s be 2/3*(-3)/5. Let w = -66186 + 66157. Are s and w non-equal?
True
Suppose -10*d + 5094 = -12186. Suppose 76*v + d = 68*v. Which is greater: -215 or v?
-215
Let k be 25 + (-1 - (-2 - 1)) + -4. Let t = k - -22. Let m be -3 + 2/((-6)/t). Which is greater: m or -3?
-3
Let c(x) = x**3 - x**2 - 2*x - 12. Let l be c(8). Suppose 16*d - 30*d = l. Suppose 3*o + 93 = -0*o. Which is smaller: o or d?
o
Let q = -2072.7 + 2072.96. Which is smaller: -239 or q?
-239
Let n = 489 - 490. Let d = 19271/5 - 3842. Let b = -813/65 + d. Are n and b equal?
False
Let r = -10700 - -7331. Is -3368 at least as big as r?
True
Let u = 226/15 + -128/3. Let s = u + 28. Suppose -2*w = -0*w. Is w < s?
True
Let v be (-182)/(-104)*80/(-168). Is 158 at most v?
False
Let w be (94536/(-1414))/(3/63). Is w equal to -1404?
True
Suppose -5*n + 2*r = -222, 0 = 7*n - 8*n - r + 36. Let p be 3/3 + (2 - -14). Suppose 0 = p*a - 15*a - 82. Is a >= n?
False
Let l(c) = 2*c**3 - 92*c**2 + 69*c - 879. Let z be l(40). Is -17320 less than z?
True
Let w = 23 - 19. Let n = -21/533 - 433245/2132. Let p = n - -206. Which is smaller: p or w?
p
Let g = 6 - 86. Let o be (3 + -6)*(g/(-15) - 4). Is o at least 0.02?
False
Let j(p) = 16*p + 16. Let f be j(-5). Let h be (-3)/((-75)/10)*(f - 1). Let u = -27 - h. Is -4 > u?
False
Let i = -1087 - -619. Let n be 6/(-15) - i/(-30). Which is greater: n or -14?
-14
Let s be (16 - 8 - -3) + -14. Does 40 = s?
False
Let s = -1 - -2. Let x(o) = 13*o - 804. Let h be x(63). Let k be 1281/(-610)*h/(-36). Which is smaller: s or k?
k
Let x = 140885337/3251 + -43336. Which is smaller: x or 1?
x
Let q be 1/5*(2 - 0). Let u(b) be the third de