Let s = 4.32 + 83.68. Is s smaller than -1?
False
Suppose -30*b = -28*b - 210. Is b bigger than 103?
True
Let v = 671 + -669. Is -34 greater than v?
False
Suppose -3*f - p - 6 = 0, -5*f + 4*p - 1 + 8 = 0. Suppose -2*t - 2*t + 48 = 0. Which is smaller: f or t?
f
Suppose 9*f = 4*f + 4*m - 20, 0 = f - 5*m + 25. Let w be (-2 - -3)*(-1 - f). Suppose -4*d - 2*k + 14 = 0, -4*d + 11 = -2*d - 3*k. Is d <= w?
False
Let c = -670 + 492. Do c and 1/4 have the same value?
False
Let s be 372/11 - 2/(-11). Let k = -36 + s. Is k equal to -5?
False
Let m = 4.363 + 0.037. Let a = m + 5.6. Which is smaller: 1 or a?
1
Let h = 6.3 + -6. Let r = -47.9 - 0.1. Let o = -48 - r. Which is smaller: o or h?
o
Let h be -2*6/(-4)*3. Let n = h - 5. Suppose 0 = -4*y + 3*y + n. Are y and 0 unequal?
True
Suppose 11 + 269 = 4*u - z, 2*z + 347 = 5*u. Suppose 2*m + j = 261, -5*j - 301 = -3*m + u. Let k = m - 901/7. Is k > 2/13?
True
Let l be 2 - (1 + 8/(-4)). Suppose -c - 8 = l*c. Suppose 23*w = 22*w. Which is greater: w or c?
w
Let g be 15*(4452/180 + (-8)/6). Is 353 at least g?
True
Let i = -69 + 79. Let p be 25/(-105)*4/i + 0. Is p not equal to 2?
True
Let x(c) = -189*c + 65. Let y be x(6). Is y >= -1069?
True
Suppose -7 - 69 = -2*g. Let u = -25298 + 25337. Is u smaller than g?
False
Let v = 62858.013 - 62891. Let x = v - 0.013. Which is bigger: -1 or x?
-1
Let x be (42/(-35))/(4/130). Is -41 bigger than x?
False
Suppose 20 = 4*j, -y = 3*j - j - 3. Let r = 2 + -9. Is r bigger than y?
False
Let o = -646021/44 + 14683. Let x = -5/11 + o. Which is smaller: x or -2.2?
-2.2
Suppose 5*s + 42 = -3. Let a be (-6)/s*(-3)/2. Let j be 112/(-192) - 6/(-8). Which is greater: j or a?
j
Let h = 288 - 298. Let j(q) = -2*q**2 - q - 2. Let a be j(-2). Which is bigger: h or a?
a
Let a(r) = r**3 - 22*r**2 + 104*r - 7. Let x be a(14). Is x < -120?
False
Let n = 8 - 6. Let a be -15 + 19 + (66/(-16))/1. Is n at most as big as a?
False
Suppose -5*y - 16 = -y, 5*y = -a - 28. Let f be (-2)/((-1)/1*a). Is f at most 1/20?
True
Let y = 440 - 443. Let i be (-13)/6 + 3/18. Which is bigger: y or i?
i
Let s(u) = -u**3 + 8*u**2 - u - 4. Let i = -33 + 41. Let m be s(i). Which is greater: m or -14?
m
Let a(u) = -u - 5. Let x be a(-5). Let j be 1/3*x - -40. Suppose 0 = 11*d - 15*d + j. Which is smaller: d or 9?
9
Let k = 19 - 8. Let o = 2 - 1.9. Which is smaller: k or o?
o
Let l(t) = t**2 - 2*t - 4. Let q be l(5). Let o(c) = 1973 - 13*c - 3*c - 1979. Let h be o(-1). Which is smaller: q or h?
h
Let f be 3 + (-167968)/(-498) + 1. Let p = f + -1024/3. Do p and 0 have the same value?
False
Let v(g) = g + 4. Let z be v(5). Let o = 11 - z. Let l be (5/(-3))/(o/6). Is -6 at least l?
False
Let o(g) = 31*g. Let b be o(1). Suppose 3*t - b = -5*u, -4*t - 4*u + 49 - 21 = 0. Suppose -t*m - 2 = 4. Is -3 less than m?
False
Let b = 4 - 2. Let s be (18/(-21))/(b*1). Let w be (1/1)/(22/(-22)). Is s greater than w?
True
Suppose 0 = -4*u - z - 16, 5*u = -5*z + 4*z - 21. Let w(s) = -s**3 - 13*s**2 + s + 11. Let m be w(-13). Which is smaller: m or u?
u
Let a be 10222/(-35376) - (1 - 8/6). Let k = 2/737 - a. Which is smaller: -1 or k?
-1
Let t(m) = m - 12. Let r(g) = 2*g - 24. Let u(y) = -3*r(y) + 7*t(y). Let z be u(12). Let n be 2/(2 - z - 4). Is 2/85 at least as big as n?
True
Let j = -67 - -52. Is -95/6 > j?
False
Let c be ((-72)/(-60))/((-6)/20). Let i be 1/6*c - 2/(-3). Are -1/106 and i equal?
False
Let c = 470 - 557. Which is smaller: c or -89?
-89
Let z = -407 - -416. Which is greater: -17 or z?
z
Let v = 652 + -649. Which is smaller: 34/11 or v?
v
Let q = -516 + 515.76. Is q greater than -3/8?
True
Let t = 2.37 + 0.13. Let o = t - -11. Let i = o - 14. Which is smaller: i or 0?
i
Let j(d) = -d**2 - 7*d. Let s be j(-8). Are s and -16 non-equal?
True
Let o(s) = -s**2 - 13*s + 6. Let r be o(-11). Suppose r = 3*t - 29. Is -1/3 at most as big as t?
True
Let o be (-3213)/36 + 1/4. Which is bigger: 0.1 or o?
0.1
Let z = 77 + -236. Are 1/5 and z equal?
False
Let v(b) = b**2 - 9*b - 10. Let x be v(10). Let r = -6 - -5. Let n be (-4)/(-5)*r/(-2). Which is greater: x or n?
n
Suppose -2*n + 0 + 4 = 0. Suppose 0*g - n*g = 8. Let h be ((-12)/(-5) + -2)*-5. Are h and g non-equal?
True
Let g = -5546/69139 + -2/1411. Which is smaller: g or 0?
g
Let p be (-10)/15*183/(-88). Let g = p + -18/11. Let m = 19 + -22. Which is smaller: g or m?
m
Suppose -12*a - 17 = 5*a. Let o = 42755/651 - 197/3. Which is smaller: o or a?
a
Let u = 7 + -11. Let k be (1 + (-12)/9)*-15. Suppose 3*z - 4*x - 6 = 0, z + 4 = k*z - 4*x. Is z less than u?
False
Let b = -67 + 67. Which is smaller: 20/17 or b?
b
Let w be (-10)/(-14) - (-2)/7. Let y be (-39)/(-26) + 82/(-60). Which is smaller: y or w?
y
Let m = 2 + -2. Suppose m = 2*b - 3*b - h + 7, 3*b - 2*h - 46 = 0. Suppose 0 = -33*v + 27*v + 72. Do b and v have the same value?
True
Let g be 1 + -3 - (-1)/(-2). Suppose x + 4 + 0 = 0. Which is smaller: x or g?
x
Let s = 362 - 379. Let p = 1.6 - -0.4. Is s at most p?
True
Let f = -747 - -748. Let h be (-24)/(-10) - 2/5. Which is smaller: f or h?
f
Let g = -47/63 + 2/63. Are g and -1 unequal?
True
Let o(a) = -a**3 + 9*a**2 + 29*a - 9. Let i be o(12). Let l = i + 77. Is l != -18?
True
Let q(v) = -2*v**3 - 5*v**2 - 30*v - 55. Let s be q(-2). Which is bigger: 10/33 or s?
s
Let y be (-2)/3*(-12)/8. Let f = 2 - y. Is 1 at least as big as f?
True
Suppose 4*i + 17 = 25. Let k be (680/(-25))/8 + 1 + 3. Which is greater: i or k?
i
Suppose 640*a - 428 = 642*a. Is -213 equal to a?
False
Suppose -l + 3*n = -8 - 4, 0 = -3*l + 5*n + 20. Let c be 0 + (11 - 4) + -3. Let a be c/6*(-6)/(-94). Which is smaller: a or l?
l
Let h = -86.121 + 86. Let r = h + 0.021. Which is bigger: 57 or r?
57
Suppose 0 = 4*k - 24. Suppose -4 - k = -5*w. Which is smaller: w or -5?
-5
Let n = -118.9 - -120. Let g = -26 + 29. Which is greater: g or n?
g
Let b be (-3 - -3)/5 + 0. Suppose j + 29 = -5*v, -j - 2*v - 14 = -b*j. Which is smaller: j or -10?
-10
Suppose 3*r + 5*r + 440 = 0. Let x = r + 25. Is 1 at least x?
True
Let m be (-4)/18 - 141/(-27). Suppose 4*r + 2*z = -2*z, -m*r = -3*z. Suppose r = q - 3 - 4. Which is bigger: q or 6?
q
Suppose -g + 0*q + 5 = -2*q, 0 = 5*g - 4*q - 7. Let x be 1*(-12)/(-3) + (-126)/411*13. Which is greater: g or x?
x
Suppose -8*x = -4*x - 132. Let n be ((-6)/4)/3*0. Let b be n + (-3 - (-135)/x). Which is bigger: b or 1?
b
Let y be 37/6 + (-2)/12. Suppose 5*x - y*x = 0. Let r(o) = o**3 + 5*o**2 - 6*o + 4. Let b be r(-6). Which is bigger: x or b?
b
Let o be -3*(-3)/6*8/6. Is 0 less than o?
True
Let w be (-63)/54*3/84*18. Let o be (0 - -4)/((-8)/(-12)). Let t(r) = r**2 - 7*r + 4. Let c be t(o). Which is greater: c or w?
w
Suppose h + 44 = -3*h. Let l be (-2)/8 + h/4. Do -3 and l have different values?
False
Let d be -3 + 1*(-2 - -6). Do d and 6/145 have the same value?
False
Let s = -5561/1939 + 3/277. Which is smaller: -4 or s?
-4
Suppose 26 = -10*y + 16. Do y and 4/301 have different values?
True
Suppose -v - 19 = g + g, -109 = 5*v - 4*g. Suppose -4*i + i + 39 = -2*d, 0 = -i + 1. Is v smaller than d?
True
Let v = 0.2077 + -0.1077. Which is smaller: v or -0.32?
-0.32
Suppose 8*b = 3*b + 10, 3*b = 3*t - 255. Which is smaller: t or 86?
86
Let c be -1 - (0 - 1) - 8. Let w be c/(-21) - (-4)/14. Let q = -4673/9354 + -2/4677. Is q equal to w?
False
Suppose -m + 4 = m + 2*u, 5*u = 3*m + 10. Suppose m = 2*y + y + 297. Let x = y - -791/8. Is -1/4 != x?
True
Let v = -75 + 116. Is -0.19 smaller than v?
True
Suppose 0 = -t + 4*z - 41, 0*t - 4*t - 5*z = 59. Let s be 71/t + 2/(-7). Is 0 < s?
False
Suppose -24*l + 330 = -57*l. Suppose -22 = 3*w - q, -2*w - 2*q - 22 = 3*w. Is w less than or equal to l?
False
Suppose c - 62 = -4*r - 0*c, 0 = 2*r - 2*c - 36. Suppose -6*f = -14*f + r. Is 17 < f?
False
Let v = 2199 + -10684/5. Suppose -r - 3*s - 66 = -2*s, 5*r + 318 = -2*s. Let x = r + v. Are x and 1 unequal?
True
Let a = 105 - 106. Do -1/29 and a have different values?
True
Let w = 32 + -53. Let u = w + 15. Which is smaller: u or -8?
-8
Let l = 1220/9 - 2485/18. Let p = -1929763/98 - -19691. Let k = -2/49 + p. Is l equal to k?
False
Let k(a) be the second derivative of a**3/6 - a**2 + 6*a. Let g be k(6). Is g > 11/3?
True
Suppose 0 = 2*z + 3*z + 45. Let h = z + 8. Let x be (4/(-25) + 0)/((-110)/(-25)). Whi