: r or -8?
r
Let t = -21.87 + -0.13. Let k = t + 22. Let u = 0.2 - -1.8. Is u at least as big as k?
True
Let o(f) = f + 10. Suppose -34*x = -32*x + 18. Let p be o(x). Let q = 4507/6 - 749. Are q and p equal?
False
Let k be (1 - -3)*1/42*2. Let r = 3158/7 - 452. Let i = k + r. Are -6/5 and i non-equal?
True
Let x = -114 + 122. Let t be (100/x)/(-2 + (-6)/(-4)). Let m = -56 + t. Is m greater than -82?
True
Let n = -1.09 - -102.09. Let b = n + -92.4. Which is bigger: b or 2/5?
b
Let b(a) = -6*a**3 - a**2 + 1. Suppose -6 = 14*l - 8*l. Let o be b(l). Suppose 4*z = -i + o, -3*i - 4 = 2*z + i. Is z != 5?
True
Let k = 288 + -293. Let z = 20 - 20.8. Is z smaller than k?
False
Let q(m) = -129*m**2 - 155*m + 9. Let j be q(-7). Is j at least as big as -5229?
True
Let r = -9 - -62. Suppose -x + 5*d = -2*x + 14, 4*d = -3*x + r. Are x and 20 equal?
False
Suppose 68*u - 75 = 63*u. Let x(l) = -2*l**3 + 32*l**2 - 36*l + 6. Let m be x(u). Which is smaller: m or -83?
m
Let q = -100094 - -100095. Let w be 2/(-5) - (-8)/70. Is w less than q?
True
Let p = -1 - -5/4. Is -2417 smaller than p?
True
Let k = -112911/17500 + 9/4375. Is -6 at least k?
True
Suppose 52*z = 66*z + 20146. Which is smaller: -1440 or z?
-1440
Suppose -4*q - 181 + 301 = 0. Suppose -2*s + q + 106 = 0. Let l = 76 - s. Is l < 4?
False
Let g = 73 - -47. Suppose -6*w + w = g. Suppose -3929 - 451 + 263 = 179*f. Which is smaller: w or f?
w
Suppose -47*z + 1269 = -38*z. Let h = -142 + z. Let g = 20 - 19.89. Is g > h?
True
Let k be 34/14 - (-8)/14. Suppose 3*h + 5*c = 2, 4*h + 4*c = k + 5. Suppose h + 16 = -10*z. Is z less than or equal to 19?
True
Let o(v) = -12*v**2 - 3*v - 2. Let r be o(-2). Let p(f) = -f**3 - 19*f**2 + 40*f + 716. Let t be p(-19). Is r bigger than t?
False
Let x = 4360822829/23205 + -187926. Which is smaller: x or -1?
-1
Let k be (2/(-42))/(3/(-18)). Suppose -15*a = -11*a - 48. Suppose -s + 11 = -a*s. Is s greater than or equal to k?
False
Let q = -42216/11 - -36938978/9625. Suppose 0 = -4*f + 6*f. Is q greater than or equal to f?
False
Let d = 43 + -39. Suppose -62 = d*s - 38. Let w(h) = -6*h - 35. Let q be w(s). Is q greater than -24?
True
Let h = 29 - 89. Suppose -a = -w - 57, -4*a = -w - a - 49. Let n = w - h. Which is greater: 73/5 or n?
73/5
Let d = -10793 - -10792. Do d and -2/34553 have the same value?
False
Let s(i) = i**2 - 42*i - 564. Let m be s(-44). Which is smaller: m or 3221?
m
Let m(j) = -j**3 + 12*j**2 - 27*j - 33. Let f be m(8). Suppose -30 = -f*l - 37. Which is smaller: l or 3/47?
l
Let t = 7 - 4. Suppose 4*b - t = b. Let d = 0.0795 - 0.4795. Is b equal to d?
False
Let r = 30 - -154. Let m be (-612)/r - -3 - 3/(-6). Let w = m + -9/184. Which is smaller: -2 or w?
-2
Let z be (10 + 4)/(1*(-4)/28). Are z and -22 non-equal?
True
Suppose -2*j - 3465 = 3*b - 894, 2*j + 5*b = -2569. Which is smaller: j or -1288?
-1288
Suppose -4*c = 5*f + 33211, 2*f - 30*c = -34*c - 13294. Is f >= -6638?
False
Let a = -267.746 - -268. Let c = -1804.996 - -1805. Let o = a - c. Which is bigger: o or 1/2?
1/2
Suppose 2*c - 1 + 3 = 0. Let o be 1/((-1)/((-6)/81) - c). Let b(s) = s + 7. Let x be b(-6). Which is bigger: o or x?
x
Suppose -7*i = -3*i - 92. Let c = i - 23. Suppose c = -8*w + 9*w + 31. Is -30 bigger than w?
True
Let l = 56 - 54. Let u be (3 - (1 - -1))*l. Suppose -6*v + u*v = -v. Is -2/57 smaller than v?
True
Let z(v) = v**3 - 32*v**2 - 14*v + 55. Let i be z(32). Which is smaller: i or -397?
-397
Suppose t - 74 = -2*b - 75, 5*t - 3 = -2*b. Which is bigger: 460 or t?
460
Let c = 388 - 2339/6. Let a = -43596 - -43593. Which is greater: a or c?
c
Let n = 57.0447 + -0.0447. Let x = 0.35 + 56.05. Let r = n - x. Do r and 6 have the same value?
False
Let f = 9.2 + -9.03. Let u = -21 - -29. Suppose -3*z - 2*b = 2*z + 3, 2*b + u = 0. Is f bigger than z?
False
Let t(k) = -4*k**2 + 132*k - 129. Let p be t(32). Which is smaller: 12/107 or p?
p
Suppose -131*y = -115*y - 3536. Let q = -72 + y. Is 151 equal to q?
False
Let f = -0.9 - 0.1. Suppose -23*h - 22*h = -37*h - 128. Is f smaller than h?
True
Let q = 354 + -229. Let l = q + -235/2. Let r = 587/78 - l. Which is smaller: 0 or r?
0
Let d = -43094/1333 - -974/43. Is -11 bigger than d?
False
Let u = 462.7 - 467.639. Let h = -0.839 - u. Is -2 at least h?
False
Let v be ((-9)/(-27))/(3 - (-6378)/(-2128)). Is 118 > v?
False
Let n be (-1155)/(360/(-105) - -3). Is n >= 2695?
True
Let g = -62/17 - 511/51. Let i = 40/3 + g. Which is bigger: i or 0.01?
0.01
Let d be (-1 - 3/1)*2. Let b be -17 + -19 + 19 + 2. Is d greater than b?
True
Let p(o) = -o + 5 - 3*o**2 + 1 + 0*o. Let l be 31 + -30 - (-1 + 0). Let w be p(l). Do w and -7 have different values?
True
Suppose -3*m - 15 = -114. Let p = 20 - m. Let z(x) = -x**3 + 8*x**2 + 2*x - 29. Let h be z(8). Is h > p?
False
Suppose 2*s + 5*g + 113 = 0, -6 = 2*g + 4. Let y = s - -130/3. Which is greater: 16 or y?
16
Let j be 4 + ((-50)/14 - 6/14). Let l be j*3*(-3)/(-36). Which is bigger: -32/23 or l?
l
Suppose -99*b - 3315 = -161*b + 79*b. Is -586/3 equal to b?
False
Suppose -5*f + 2 = p, -3*p = -2*f + 5*f + 6. Let x be 4 + 2 + p + 526/(-174). Which is bigger: x or -1?
x
Let w = -0.0608 - -366.0608. Let r = 366.2 - w. Which is greater: 43 or r?
43
Let f = -1789 - -1694. Which is greater: -91 or f?
-91
Let w = 4 - -84. Suppose -23 - w = -i. Let z(x) = -x**3 - 3*x**2 - 10*x - 57. Let y be z(-6). Is y smaller than i?
False
Let p be 682/(-110) + 174/145. Let f be (-3)/12 + 6/(-40). Is p not equal to f?
True
Suppose 3*z - z = 74. Suppose 183*n - 177*n = 264. Let x = z - n. Is -4 less than or equal to x?
False
Let m(g) = 3*g**3 - g - 1. Let c be m(-1). Let q = -237026/128375 - -2/9875. Is q < c?
False
Suppose 5*b = 4*s - 0*b - 210, 0 = 2*s - b - 114. Suppose 51 - 295 = -4*d. Is d >= s?
True
Let h = -44 + 41. Let q be h + 86/7 - 2. Suppose 5*n - 11 = 24. Which is smaller: q or n?
n
Let f be (348/20)/((-3)/15). Suppose -27*h - 1339 = 1010. Is f equal to h?
True
Let j = 212 - 274.2. Let u = 63.2 + j. Is 18 at most as big as u?
False
Suppose 4*p - 2735*r = -2734*r + 2464, -3*p + 1870 = 2*r. Which is smaller: p or -10/9?
-10/9
Let u = -1.32824 - -0.32824. Which is smaller: 7534 or u?
u
Suppose -525 = 2*d + 309. Let g = -391 - d. Suppose 2*s = -0*s + 4*a + 62, a = -2. Which is smaller: g or s?
g
Let x = 8914 + -2604. Are 0 and x non-equal?
True
Let f(d) = 35*d**2 - 5*d + 2. Let g be f(4). Let q = -2147/4 + g. Do q and 5 have different values?
True
Let o(z) = z**2 - 105*z + 932. Let r be o(10). Is r bigger than -16?
False
Let d = 1.7705 + -2.4705. Which is smaller: -0.912 or d?
-0.912
Suppose 5*u + 101 = 4*y, -y + 4*u + 26 = 9. Let q = -27/8 - -269/8. Is q equal to y?
False
Let p be 3/10 - 1197/3990. Which is greater: -663 or p?
p
Suppose 18*p = -2857 - 4649. Which is smaller: p or -414?
p
Let g be 2 - -27*6/(-234). Let k = -127/117 + g. Is -18 at most as big as k?
True
Let w = -233 - -2275. Which is greater: 2041 or w?
w
Let q be ((-6)/24 - 17685/36)*-2. Which is greater: q or 3929/4?
q
Let c(p) = p**3 + p**2 + p + 23477. Let f be c(0). Let n = f - 116747/5. Let b = n - 128. Which is greater: 0.2 or b?
0.2
Let w = 1698 - 33939/20. Suppose -108*u = -106*u + 3*c + 6, c = 2*u - 2. Which is smaller: u or w?
u
Suppose -65*x - 166420 = -23*x + 11*x. Is x greater than -3141?
True
Let r(y) be the third derivative of -y**6/120 - y**5/10 + 31*y**4/24 - 2*y**3 - 109*y**2. Let a be r(4). Is a > -47?
False
Let n be ((-232)/16)/29 + (-2)/4. Suppose 3*f = f - 6. Let i be (f/(-2*24))/1. Is n equal to i?
False
Suppose -3*n + 84 = -5*g + 82, 5*n - 2*g + 3 = 0. Is -1/10 at most n?
False
Suppose 19*u - 25 = 14*u. Suppose -4*y + 16 = 0, u*a - y + 20 = a. Which is greater: a or 0?
0
Let h be (68/(-12))/((-74)/12). Let w = h - 1270/1221. Suppose -3*p = -31*g + 27*g - 15, 5*p + 5*g + 10 = 0. Which is smaller: w or p?
w
Let m(f) = f**2 + 18*f + 33. Suppose -5*t = 5*c + 54 - 4, -2*c - 15 = t. Let i(a) = 2*a - 4. Let u be i(t). Let s be m(u). Are s and -23 non-equal?
False
Suppose -2284 = 11*q - 2966. Which is smaller: q or 19?
19
Let c = 6489 + -6496.1. Are c and -2/5 equal?
False
Let k(q) = 4*q + 15. Let a be k(-9). Let l be (-3)/((-4)/48*a). Let v(r) = -7*r - 17. Let g be v(-2). Is g at most as big as l?
True
Let n be 1/3*(3 + (-66)/55). Which 