 -0.01 + -0.6. Let i = -166025 - -166026. Is i at least q?
True
Suppose 2*w + 18 = -2*u, -6*u - 2*w - 31 = -3*u. Let q = u + 31. Let d be (-4)/q - 7/9. Is d at least -1/13?
False
Suppose -9*d + 1812 = -5*d. Let t be (-2 - -1)*3/d. Which is smaller: -1 or t?
-1
Let g = -0.6411 - -83.6411. Are -26 and g equal?
False
Let w(t) = 3242*t - 3254. Let d be w(1). Let v be 17*(-15)/24 - 0. Is v greater than d?
True
Let q = -158 + 136. Let s be (2/(-109))/(q/(-33)). Which is bigger: s or 0?
0
Let g = -17938 + 17746. Which is smaller: g or 0.4?
g
Let b be ((-2262)/117)/((-4)/(-66)) + 10. Which is bigger: b or -308?
-308
Let v(r) = -r**3 - 4*r**2 - r + 4. Let b = 19 - 22. Let f be v(b). Let d = -1233.4 - -1232. Is d at most as big as f?
False
Let u(y) = -y - 21. Let n be u(6). Let i = n + 33. Let a = i + -6. Is a < -11?
False
Let v = -9393 - -9407. Do 265 and v have the same value?
False
Let f be (-3)/(-12)*(-3 - 212/(-60)). Suppose 0 = -39*m + 37*m. Is f <= m?
False
Let d be (-2)/(-4)*(12/3 - 42). Let a(g) = 7*g + 134. Let w be a(d). Is w at least as big as 17/14?
False
Suppose 3*w - 87 = 6*s - 8*s, -2*w = -10. Suppose 32*y - 33116 = -s*y. Is y bigger than 487?
False
Let b(h) = -h**2 - 17*h - 33. Let i be b(-17). Let x = i - -25. Let s be 3 + (-4)/x*-8. Which is smaller: 1/4 or s?
s
Let p = 41/11 - -4145/33. Is 130 at least as big as p?
True
Let l = 9601 - 163213/17. Let v be 0/(-1) + (3 - 3). Which is smaller: l or v?
v
Let q(f) = -f + 25. Let i be q(28). Let l be 6/135*(84/20 - 3). Is l less than or equal to i?
False
Let k = 54 - 36. Suppose -k = -5*i - 58. Let w be ((-2)/8)/(6/i). Which is smaller: w or -1/14?
-1/14
Let j = -1030 - -1034. Suppose 0 = 5*c - 2*p + 1 + 10, j*c = 5*p - 19. Is c not equal to 2/171?
True
Suppose -6*a = 152 - 404. Let d be (a/(-4))/(-7) + (-317)/214. Is 1 <= d?
False
Let u = -0.3 + 0.8. Let v = 2.5 - u. Let w = 1572/71 + -26298/1207. Which is smaller: w or v?
w
Let m be (-3)/(-20) + (-787220)/2800. Which is smaller: m or -2.1?
m
Suppose d + 759 = -4*k - 432, 0 = -4*k - 4*d - 1188. Which is bigger: -256 or k?
-256
Let l(q) = 2*q - 4. Let j = 3 - 1. Let i be (j + (-6)/(-9))/(8/12). Let m be l(i). Is m != -4?
True
Let f be -12 + 12 + 91/(-35)*5. Which is greater: f or 47/7?
47/7
Let b = -84 + 73. Let p be 1/4 + b/44. Is 7/5 <= p?
False
Let r = -122 + 93. Let c = r + 119. Let z = c - 90.019. Do z and -1 have the same value?
False
Let x(f) = -f**3 - 6*f**2 - 7*f - 51. Suppose -2*z - 9 = 2*q - q, -5*q = 5*z + 20. Let c be x(z). Do -39 and c have the same value?
False
Let c be -59 + (-224)/(-16)*-1. Is -75 != c?
True
Let r = -22693 + 114459/5. Let p = 174 - r. Is p greater than or equal to -26?
True
Suppose -2331 = -1376*w + 1379*w. Let j = w + 3904/5. Is -2/9 at most j?
True
Let v(p) = -p**2 + 5*p + 4. Let z be v(6). Let k be ((-1)/1)/(2/z). Let m = -112/2409 + 7451/4818. Is m greater than or equal to k?
True
Let p be (-178)/3204 - 74/(-36). Which is smaller: 73/33 or p?
p
Suppose 166*x + 1181789 - 181909 = -114*x. Which is bigger: -1 or x?
-1
Let x = 46.976 + -47. Let y = x - -5.024. Let s = -20 - -20. Which is greater: s or y?
y
Let k(u) = -21*u - 165. Let f be k(-9). Suppose 5*j = -f*j - 754. Let y = 0.4 + -0.3. Which is smaller: j or y?
j
Suppose -30*v + 9*v + 567 = 0. Let d be ((-20)/6)/(16/(-120)). Is v less than or equal to d?
False
Let w be -5 - (89 + 12 - ((-3)/1 - -2)). Which is smaller: -851/8 or w?
w
Let x be -1 - 129/(-9) - -4. Suppose 4*d + 18 = 7*d. Let n be 4/((-1)/(-6)*d/4). Is x at least n?
True
Let b = 0.038 + -2.938. Let c = -2.5 - b. Suppose 2 - 4 = 2*n. Which is bigger: n or c?
c
Suppose 0 = -4*a + 13 - 69. Let i be -1*((-2)/(-7) - (-6)/a). Is 0 equal to i?
False
Let g(a) = a**3 - 6*a**2 - 6*a - 8. Let i be g(7). Let o be (-1470)/882*i/(-5)*-3. Which is greater: o or 3/311?
o
Let y = -19492 + 1929692/99. Which is greater: -0.04 or y?
-0.04
Suppose -y = -f - 2, -5*y + 2470*f = 2464*f - 21. Let u = 58 - 40. Suppose u = -p - p. Does p = y?
True
Let i = 22 + -21. Let t = i + -3. Let o = -14.53 - -14.5. Is o >= t?
True
Let c = -608 - -361. Let a = c - -241.3. Which is smaller: a or -2?
a
Suppose 147*c - 64*c = -109*c - 267264. Is c greater than -1391?
False
Let m(q) = q**3 - 10*q**2 - 45*q + 396. Let f be m(11). Which is smaller: f or 722/35?
722/35
Let t = 7841 + -7905. Which is greater: 73 or t?
73
Suppose -6*l + 68 = -10*l. Suppose 3*o + 4*q + 8 - 10 = 0, -4*q = 4*o + 4. Which is smaller: l or o?
l
Let a be 4/(-8)*6 + 23. Suppose 2*h + 4*p + 0*p = 18, 5*p - a = 0. Which is greater: 49 or h?
49
Let x(n) = -n**3 + 6*n**2 + 7*n - 38. Let y be x(6). Suppose -y*o = -20, -p + 20 + 143 = 5*o. Does 138 = p?
True
Let r = 1796 - 1792. Let b = 8 + -4. Suppose 2*a - 6 = -2*j, -j - 1 = b*a - r. Which is bigger: j or 23/6?
23/6
Let l = 15759 - 15759. Which is bigger: -4/1445 or l?
l
Let n = -18336 + 165562/9. Let c = 59 - n. Are -1 and c equal?
False
Let v = -3883 - -5116. Which is smaller: 1231 or v?
1231
Let d be 1/((-20)/22) + (-414)/(-690). Which is greater: d or 162?
162
Let u(j) = j**3 + 6*j**2 + 4*j + 4. Let n be u(-5). Suppose 1 = 2*v + n. Let r(m) = -m**3 + 3*m**2 - 18*m + 21. Let c be r(2). Is v at most as big as c?
False
Let z = -1/17 + -147/391. Suppose -2*c = 6*j - 8, -15*c + 16*c + 2 = 3*j. Is z < c?
True
Let p(l) = -l**2 + 8*l - 8. Let c be p(7). Let z be (110/(-35))/c + -4. Let j = -26 + 30. Which is smaller: z or j?
z
Let n be 12/((-12)/(-3)) + 8. Let w(y) = 2*y**2 - 23*y + 9. Let t be w(n). Let z be (-3)/(t/(-4)*92). Are 1 and z unequal?
True
Suppose -l - 3*c = -10, l + 15*c = 10*c + 16. Which is smaller: -305 or l?
-305
Let d = -131 + 134. Let k be d*(-4)/6*-12. Suppose j - k = -0*j + 3*h, 0 = -5*j - h + 56. Is j at least as big as 14?
False
Let z = -39 + 75. Let a = -119.3 - -83.3. Let s = a + z. Do s and -0.12 have the same value?
False
Let z = -1.6 + 3. Suppose -29*c + 26*c - 3*n - 24 = 0, 0 = 2*c - 5*n - 26. Is c != z?
True
Let g be (-45)/108 - (-2)/3. Suppose 2 = -l - 0*l. Let h be (-40)/50*l/8. Which is smaller: h or g?
h
Suppose 43794 = 28*h - 20718. Is 2303 at least h?
False
Let s(q) = q**2 + 47*q - 214. Let w be s(-51). Let a = -6 - -5.99. Which is bigger: a or w?
a
Let v be -4 + 3 + -3*1. Let y be (-11)/(-60) + 1/v. Let c = 8015 + -8014. Which is smaller: y or c?
y
Let r = 5/22 - -20/33. Let n = 137 - 127. Suppose n*a + 14 - 24 = 0. Which is smaller: r or a?
r
Let g be 0/(-6) - (58 - 0). Let x = g + 56. Let p be ((-1)/(-1) + x)*24/45. Which is smaller: 0 or p?
p
Let k be (-2)/((-4380)/(-6053515)) + 1/6. Let w = 2764 + k. Let h = 3 + -3. Which is bigger: w or h?
w
Let b = -1.3623 + 1.3623. Which is smaller: b or 567/16?
b
Let o = 49712/73 - 681. Suppose 5*r - 8 = -2*d + 3*r, 4*r - 16 = -d. Let n be 4/(-12)*3*d. Is o at least n?
False
Suppose 64805 = 55*y + 253071 + 88164. Which is greater: -5025 or y?
-5025
Suppose 2*r - 2 = 2*x, 5*r - 32 = -52. Do -18 and x have the same value?
False
Let a = -19.664 + -0.236. Let n = a - -20.1. Do -0.2 and n have different values?
True
Let d = -509.753 + 510. Let h = 0.347 - d. Do 49 and h have different values?
True
Let j = 770 + -768. Let s be j/(-10) + ((-4378)/(-55))/(-2). Which is greater: -161/4 or s?
s
Suppose -186 + 18 = -2*b. Let z be (-4)/(-18)*b + -3. Which is greater: 16 or z?
16
Let h(b) = 39*b + 2. Let i be h(2). Suppose -2*s = 3*s - i. Let g = 59.1 + -59. Is s <= g?
False
Let n = 0.3 - 1.3. Let o = 42 - 34. Suppose -o = 3*h + 5*a, 39 = -4*h - 0*h - a. Is n >= h?
True
Let t be (-18)/3 + 3 - (-6 - -1). Suppose -9*u + 7 = -t*u. Is u at most as big as 13/10?
True
Suppose s = 3 + 1. Let w be 0/((-28)/(-12) + s/6). Suppose 0 = -2*r - w*r. Which is bigger: r or 9?
9
Suppose -z = -3*z + 24. Suppose -3*b = -3*c + 12, -z = 3*c - 8*c + 3*b. Suppose -8*p + 4*p - 260 = c. Is -66 > p?
False
Let z = -8.1 - -5.22. Let c = z - 0.32. Let f = 3.4 + c. Are -4 and f equal?
False
Let j = 28 + -25. Let q be j/(-1) - (7 + -10). Suppose t = 1, q = -4*x - x + 5*t - 65. Which is smaller: -14 or x?
-14
Suppose 44*p = 8155 + 2185. Is p greater than 0.4?
True
Let a be 2/10*3*-5. Suppose -5*l - 4*r + 16 = 0, 5*l = r + 2*r + 23. Suppose -14 = 4*b - 3*m + 6, m = -l*b - 36. Are b and a equal?
False
Suppose 4*l - 30 = -0*l + 2*h, 4*l + 5*h = -5. Suppose l - 26 = -7*m. Suppose m*