Let g be (-3 + 2)*1 - c. Let j be (-1 - (-1 + 1))*g. Is 1/32 < j?
False
Let u = -1546 + 109764/71. Let r = -24229 + 24228. Which is greater: u or r?
u
Let l(s) = 2*s**3 + 5*s**2 - s - 2. Let p be l(2). Let z be 8/p + 3/(-12). Which is smaller: -2/1975 or z?
-2/1975
Suppose -102 = 8*y - 21*y - 882. Which is bigger: y or -784/13?
y
Suppose -15*s - 87 = -18*s. Let c = s + -32. Let i be 0 - (0/3)/c. Is 2/7 < i?
False
Suppose -49*a - 98 = -49. Let y be 0 - (-2 - -4)/(-12). Is a at least as big as y?
False
Let a be 195489/28 + 3/12. Let q = -90721/13 + a. Which is greater: q or 3?
q
Let y = 8 - 8. Suppose -5*s + 2*s = y. Suppose l + 44 = 5*l + u, u = s. Is l less than 10?
False
Let n = 18331 + -7273. Is n >= 11057?
True
Let h = -406 + 406.04. Let d = -11 + 29. Suppose -13*p + 20 = -d*p. Which is smaller: p or h?
p
Let f = 690 + -691. Is f >= -7/626?
False
Let w be ((-30)/(-9))/(6/234*-1). Let m be 104/w*5/14. Which is bigger: m or 0.07?
0.07
Suppose 11*d - 2595 = 2*n + 10*d, 4*n + 5195 = 3*d. Is n less than -1295?
False
Suppose 0 = -26*q + 110 - 344. Let i be q/27*-15 + 8. Which is bigger: i or -5?
i
Let t(v) = 3*v**2 - 50*v - 402. Let p be t(-7). Which is greater: 111 or p?
111
Let v be (-2)/8 - (-14)/(-8). Let f be 2/7 - 54216/126. Let n = 434 + f. Is n at least as big as v?
True
Suppose 3*w = 3*c - 3, 2*c + 2*w - 3*w - 6 = 0. Is 2592 smaller than c?
False
Let f(v) = 12*v - 849. Let w be f(32). Is w <= 7?
True
Let t = -587 - -583. Let r be (2/(-12))/(t/3144). Do r and 395/3 have different values?
True
Suppose 5*a = -3*r - 2*r + 25, 20 = 4*a - r. Suppose -p - a*j - 6 = 147, 0 = 5*p + 2*j + 765. Which is bigger: -154 or p?
p
Let l be (27250/(-70))/(21/147 + 12/14). Do -390 and l have the same value?
False
Let b = 818 - 1195. Let n = b - -16. Does -361 = n?
True
Let g = 887 - 287. Suppose -74*n + 49*n + g = 0. Suppose 3*q - 5*b - 82 = 0, -q = 2*q + 5*b - 62. Is q <= n?
True
Suppose -8*l - 15 = -13*l. Suppose 3*h + 9 = -4*x + x, l*x + 2*h = -9. Let n be x/(-9)*(-1 - 11). Is n equal to -5?
False
Let u = -2.7325 - -2.69. Is u >= 6/5?
False
Let y(j) = 18*j**3 + 4*j**2 - 4*j. Let q be y(1). Let s(z) = -z**3 + 16*z**2 + 36*z + 22. Let m be s(q). Is 15 < m?
True
Suppose -124 - 14 = -s. Suppose 3*a = 4*u + 93, 5*a - 2*u - s = -u. Let b = a - -3. Is 30 less than or equal to b?
True
Suppose -14*v + 723 + 1867 = 0. Which is smaller: v or -0.02?
-0.02
Let d = 926 - 1194. Let q be (d/(-10))/((-66)/10 - -7). Is 67 > q?
False
Let z be (1 + 0 + -3)*-5. Suppose 4*c = 5*o - 21, -2*c - o + z = 3*c. Suppose 0 = 4*b + 3*w - 13, 3*w - c = b - 8. Is 4 < b?
False
Let s be 4/18 - 17*(-10)/45. Let n(z) = -z**3 + 5*z**2 - 6*z + 9. Suppose -4*y + 4 = -12. Let d be n(y). Is s != d?
True
Let f = -838/33 + -10891/165. Which is bigger: f or -91?
-91
Let h be 6 - (2/(-10))/(4/(-20)). Suppose h*z = -3*y + 112, 56 = 5*z + 5*y - 54. Suppose 5*t + 2*q = -25, t - z = 5*t + q. Are -7 and t equal?
True
Let k = -0.226 - 2.524. Let x = 3 + k. Which is bigger: -1 or x?
x
Let k be 6/(-24048)*(-1048)/18. Let f = -44/19 + 22082/9519. Let z = k + f. Is 1 at least as big as z?
True
Let y(b) = 134*b**2 - 26*b + 293. Let u be y(10). Do u and 13434 have different values?
True
Let z(c) = -2*c**2 + 52*c + 1625. Let j be z(-45). Which is bigger: -4766 or j?
j
Suppose -1248 = 11*w + 1095. Which is bigger: w or -423/2?
-423/2
Let r(x) = x**2 + 3*x - 3. Let b be 3 + -5 + -2 + (-1 - 0). Let v be r(b). Let h be 0 + 138/v + (-8)/(-28). Is 19 not equal to h?
True
Suppose 3*f - 2*w + 659 = 2*w, 0 = 3*f + 5*w + 614. Is -3 less than or equal to f?
False
Let g = -435919/321 - -1358. Let m(o) = o**3 - 8*o**2 + 76*o - 384. Let p be m(6). Which is greater: g or p?
p
Let n be 1 - (25195 - 2) - 4. Let b be n/(-14) - -2 - 0. Let m = b + -1806. Which is bigger: -3 or m?
-3
Suppose -5*f + 56 = 4*p, -11*p - 76 = -4*f - 9*p. Which is bigger: -8 or f?
f
Let t = -128372908/809 + 158681. Is -1 > t?
False
Let l = 9119 + -9201. Let x be 2792/(-34) - (-36)/306. Is x at most l?
True
Let b(d) = -d**2 - 5*d + 9. Let v be b(-4). Let a(g) = -g**2 + 39*g + 89. Let f be a(41). Is f greater than or equal to v?
False
Suppose -2*c + 60 = -128. Let u(f) = 92*f**3 + 2*f**2 - 3*f + 2. Let r be u(1). Is c <= r?
False
Let w = -3023 - -3023. Let r = -4.7 + 5.75. Is r != w?
True
Suppose -3*p + 77 = -6*p - 5*g, 6*p + g = -118. Which is smaller: p or -161/9?
p
Let y be (4/14)/((9/14)/9). Let s be y*4/8*-11. Let f = -12 - s. Is 9 greater than f?
False
Let w = -4633.1 - -4626. Is w at least as big as -2?
False
Let j be 2/14 + 3289/(-483). Let c = -17 - -10. Is c < j?
True
Suppose -5*t - 9 - 51 = 0. Let s be t/(-27)*2/8. Let l(m) = -3*m**3 - 59*m**2 + 111*m + 566. Let h be l(-21). Is s at least h?
True
Let u = 9/1286 + -7779/9002. Is u bigger than -2/115?
False
Let s = 6574.22 - 6574. Let q = 0.3 + -1.3. Which is smaller: q or s?
q
Let p = 1263 + -1263.2. Which is greater: p or -53.9?
p
Let t = 1316819/12 + -109522. Let p = t + -213. Is p bigger than 6/7?
False
Let o be (-4)/(-50) + (-50080)/1000. Which is smaller: -45 or o?
o
Let c = -3.4 + 3. Let y = -15972 + 15907. Which is greater: c or y?
c
Suppose -21*m + 7*m + 2240 = -42*m. Which is greater: m or -45?
-45
Suppose 624 = -9*s + s. Let n = s - -71. Let t be 18/(21/n) + 0 + 0. Which is bigger: -5 or t?
-5
Suppose -429*d + 3720 = -274*d. Suppose j - 4 + 2 = 0. Suppose 0 = -j*f + 4 + 42. Which is bigger: f or d?
d
Suppose 2*h - 3*o + 547 = -8*o, -2*h - 539 = -3*o. Suppose 153 = -2*v - 2*c - 397, 5*c = 4*v + 1073. Which is bigger: h or v?
h
Let m = -4042 + 4042. Is m at most as big as -24/323?
False
Let b be (1 + -1)/(4 - 5). Suppose 5 = 3*v - 9*z + 10*z, b = 3*v - 2*z + 10. Which is bigger: v or -12/53?
v
Let x(v) = v**2 + 11*v + 12. Let k be 2 - ((-16)/(-10))/((-8)/(-60)). Let o be x(k). Is o bigger than -34?
True
Let b(x) = 22*x + 1253. Let y be b(-57). Is y > -0.591?
False
Let i = 7275 + -7278. Let c = 0.29 - 36.29. Which is smaller: i or c?
c
Suppose 0 = -7*u - 2*u + 540. Suppose -6*n = 6*n - u. Suppose -n*z - 100 = 5*z. Does z = -11?
False
Let b be (88 - -35) + (4 - -2). Suppose 17*n - 18*n = -b. Which is smaller: n or 128?
128
Let p = -487/3 + 165. Let t = 18472 + -18469. Which is greater: t or p?
t
Let p(w) = -104*w - 16602. Let g be p(-140). Which is smaller: -4/5 or g?
g
Let n(q) = -471*q + 2537. Let x be n(6). Are x and -288 non-equal?
True
Let c = 22574 - 22161. Is 414 >= c?
True
Let d = -186 - -198. Let n = 11 - 11. Suppose -48 = -n*q + d*q. Do -8/3 and q have the same value?
False
Let v = -19873 + 19915. Which is smaller: v or 64?
v
Suppose 5*g = 4*g - 5, -3*t + 28 = -2*g. Let s be (-40)/(-12) + (8/t)/(-4). Suppose s*d = -y + 15, -2*d - 49 + 3 = -2*y. Are y and 23 unequal?
True
Suppose 28 = 2*y + 20. Suppose 7 = y*j + u + 28, 0 = -4*j - 3*u - 23. Let h = 6 + j. Is h smaller than -1/6?
False
Let j = -22564.19 - -22565. Is -1/2 at most j?
True
Let v be 110 + 4/12 + 4/6. Suppose 0 = -3*y - 66 + v. Suppose 3 = 18*d - y*d. Is 1/87 greater than d?
False
Suppose -93*d = -120*d - 47736. Which is smaller: d or -1766?
d
Let j(b) = 3*b**3 - 14*b**2 - 17*b - 80. Let f be j(-6). Is -1134 greater than f?
False
Suppose -467 = 72*g + 19693. Which is greater: g or -287?
g
Let o = -77181767/51 + 1513882. Let r = o - 514. Let h(u) = u - 1. Let t be h(2). Which is greater: r or t?
t
Let h(u) = 3*u**2 + 23*u + 2. Let i be h(-7). Let p be 6 - 2 - -1 - (-39)/i. Suppose 3*g = -5 + 11. Which is smaller: p or g?
p
Let o be 1 + -1 + (-3348)/(-9). Suppose -558*c = -556*c - 2, 2*f = -2*c + 748. Does o = f?
False
Let f = -7 - -9. Let p be f/(-2)*1 + (-21)/(-9). Let h = 22/21 - p. Which is smaller: h or -2/5?
-2/5
Let h be (56/(-6))/((-36)/54). Suppose -h*c - 891 = 131. Are -73 and c nonequal?
False
Let p = 0.0705 + 10.9685. Let z = p - 0.039. Let f = z - 11. Which is smaller: f or 2/15?
f
Let k(m) be the second derivative of m**4/12 - 9*m**3/2 - 17*m**2 + 30*m. Let o be k(20). Let h be (3/(-3) - 2)/(o/(-4)). Which is smaller: h or -3?
-3
Let k = 28.81 - 28.54. Which is greater: k or -24/11?
k
Let y = 186 + -56728/305. Suppose -9*j - 5*i = -8*j - 20, -3*i - 16 = -5*j. Suppose 5 - j = 4*d. Is y at most as big as d?
False
Let z = -4882 + 4229. Is z > -649?
False
Let h be (2 - (-4100)/(-35))*126/54. Is -270 smaller 