alse
Let z = -102 + 83. Let t = 40 + 50. Suppose -4*n - t = n. Does n = z?
False
Suppose -k + 3*k - 8 = 0. Let h = -15/4 + k. Let a = -49/4 - -351/28. Are a and h equal?
False
Let w be (-2010)/(-300) - (-1)/(1/(-7)). Is w > -27?
True
Let l = -309.4 + 309. Which is smaller: l or -62?
-62
Suppose 3*b + 488 + 616 = 0. Is -368 at least b?
True
Let m = -17553/16 - -1097. Which is smaller: m or -1?
-1
Let h = 10 + -22. Let n = -10 - h. Suppose -u - n*u - 27 = 0. Is u <= -9?
True
Let s(c) = -c**3 - 22*c**2 + 50*c + 65. Let y be s(-24). Is y at least 17?
True
Let j be (-70)/7*(-1)/(-2). Let c be 6/10*(j - 0). Let l be (-26)/30 + c/9. Is l equal to -2?
False
Let o be 2/4 - (-45)/6. Let y(s) = 4*s - 37. Let b be y(o). Which is smaller: -4 or b?
b
Let q = -91 - -43. Let c = q - -48.3. Which is smaller: c or 2/7?
2/7
Suppose 7*j - 10 = 2*j. Suppose -j = -k - 3*l - 4, l + 2 = 0. Which is smaller: k or -1?
-1
Let z = -5 - -5.02. Let a = -131.9 + 132. Is z less than a?
True
Suppose 0 = -2*k - 0*k + 3*p + 63, -2*k + 60 = -4*p. Suppose -7*d + k = 99. Let m(y) = -y**3 + 11*y**2 - y + 2. Let r be m(11). Does r = d?
True
Suppose 252 = -3*b - 3*p - 402, -1140 = 5*b - 5*p. Is -222 less than b?
False
Suppose 0 = -3*d - 4*u + 11 + 9, -3*d + 4*u - 20 = 0. Suppose -5*y - 275 = -0*y. Let v = 56 + y. Which is bigger: v or d?
v
Suppose 0 = -5*h - s - 5, -3*s + 4*s + 5 = 4*h. Let k be -4 - (-6194)/1638 - h. Let t = k - 1/273. Is -2/7 at least t?
False
Let v be 7 + ((-84)/18 - -2)*90. Which is smaller: 0.1 or v?
v
Let w be (-13)/(39/18)*1/(-2). Suppose -w + 9 = -6*n. Which is greater: 3/8 or n?
3/8
Let d = -18.2 + -5.8. Let g = d - -51. Are -1 and g equal?
False
Suppose -119 = -26*s + 25*s. Let d = s - 128. Let f = 1 - 1.1. Does f = d?
False
Let o(f) = -f + 19. Let a be o(18). Suppose 2*w = 35 - a. Is w greater than 17?
False
Let i = -430.09 - -430. Which is greater: i or 0?
0
Suppose 6*a = 255 - 2409. Which is smaller: -358 or a?
a
Suppose -2504 = 39*i + 655. Is i greater than or equal to -76?
False
Let r be (4/3 - 2)/(-8). Let k = r + -1/3. Let a = 0.07 + -0.07. Which is smaller: a or k?
k
Let k(o) = o + 16. Let d be k(-12). Suppose -u + 3 = 0, -d*l - u + 4 + 11 = 0. Which is greater: l or 9/4?
l
Let s be (0 - 1)*(-6 + 1). Let o = -8 - -10. Suppose -5*z + o*g - 9 + 31 = 0, 4*g + 4 = 0. Which is smaller: z or s?
z
Let f be (-12)/(-11)*41/(-3). Let a = 15 + f. Let b be 69/(-63) - 16/(-168). Are b and a non-equal?
True
Let g = -489 - -470.95. Let i = g + 18. Are i and -1/4 equal?
False
Let f be (-33)/(-2) - (13/(-2) - -7). Is f greater than or equal to 16?
True
Let q = -83 + -30. Let r = q + 114. Is -36 smaller than r?
True
Suppose -5*o = -4*z + 69, -z + 0*z = 4*o + 9. Suppose 4*b - z = 9. Suppose -5 - 19 = -3*q - b*g, 0 = -5*q + g + 12. Are 3/2 and q nonequal?
True
Suppose -4*v - 44 = 68. Let z = -32 - v. Let w(k) = -k**2 + 3*k - 3. Let x be w(2). Is z less than x?
True
Let t = -39.2 + 32.2. Let d = 3/25 - -19/50. Which is greater: d or t?
d
Let c = 120 + -121. Let a(k) = k**2 + 8*k - 5. Let t be a(-8). Which is smaller: t or c?
t
Let t(y) = y**2 + 10 + y**2 + 6*y - 8*y. Let r be t(-7). Let o = r + -608/5. Is -1/7 > o?
False
Suppose 95*z - 552 = -172. Suppose -2*g = -6*g + 32. Is z at most as big as g?
True
Let f(y) = -y**3 + 10*y**2 - 10*y + 9. Let p be f(6). Let d = -204919/6 - -34061. Let n = p + d. Which is bigger: n or 2?
2
Suppose 4 = -3*n + 37. Let m be n + -10 - (-114)/(-111)*1. Which is smaller: -1 or m?
-1
Let d = -13 - 46. Is d at most as big as -5?
True
Suppose 2 = b + 3. Let l = 562/5 - 112. Which is bigger: b or l?
l
Let s = 35 - 36.6. Let v = s + 1.7. Is 1 at most as big as v?
False
Let i be (10/(-15)*1)/((-48)/18). Let p = -0.89 + -3.21. Let s = p + 0.1. Are s and i equal?
False
Let m = -9 + 13. Suppose -w = -m*c + 51, -c = -4*w - 6 - 18. Suppose -t - a = 0, 3*a - a - c = 4*t. Which is smaller: -4/5 or t?
t
Let i = -4459/8 + 552. Let y = i + 83/16. Which is greater: 0 or y?
0
Let n(t) = -3*t + 8. Let r(g) = -4*g + 7. Let h(w) = 5*n(w) - 4*r(w). Let s be h(-8). Suppose -5*k + 6 = -4*z, -5*k = -4*z - k - s. Which is bigger: z or 3?
3
Let l be (2/(-6))/(3/(-27)). Suppose 4*a = -5 - l. Are 2 and a equal?
False
Suppose -6 = 3*q, 4*g - 8*q = -3*q + 6. Let a = 0 + g. Let y = -1991/17 - -117. Which is bigger: a or y?
y
Let z = 20.36 + -5.98. Let a = z + -14. Which is smaller: a or -1?
-1
Suppose 6*l - 57 = 3*l. Let z(q) = -2*q**2 - 10*q - 7. Let w be z(-4). Are l and w nonequal?
True
Suppose 0 = -o - 4*u - 8 - 11, u - 8 = 4*o. Let q be o + (-10)/(-25) + (-466)/(-160). Which is smaller: 1 or q?
q
Let d be -1*(-3)/(-15)*0. Do 3/232 and d have different values?
True
Let g(p) = -p**2 + p - 5. Let y be g(5). Let k = -382 - -358. Which is smaller: y or k?
y
Let p = 2.782 + -0.782. Suppose -3*a - 42 = -2*f - 4*a, 5*f - 107 = -3*a. Is f equal to p?
False
Let t(x) = -26*x - 77. Let z be t(-3). Is -72 less than z?
True
Let m(q) = -18*q + 2. Let h be m(-11). Let c = h + -2395/12. Which is bigger: 0 or c?
c
Suppose -5*d + j = -50, -j - 28 = -3*d + 2. Suppose b - c - 3 = -1, b + 2*c + d = 0. Which is smaller: b or 0?
b
Let j = -38 - -27. Suppose -1956 = a - 1944. Let v = j - a. Is v less than 0?
False
Let s = -137 + 133. Which is greater: s or 3.6?
3.6
Let w(o) = 3 + 10*o - 4 - 6 - 10. Let s be w(3). Is s >= -1?
True
Let n be (-10)/(-50) + 4/(-5). Which is smaller: n or -35?
-35
Let j be (0 - 21) + 21 + 0/(-1). Is -1/339 bigger than j?
False
Let g = -3 + 11. Let m be 6*1*(-4)/g. Let j be ((-2)/(-6))/(10/(-60)). Is j bigger than m?
True
Let y = 12635550/847 - 14918. Is y less than 0?
False
Let w = 43 + -35. Let g = w - 11. Is -4 bigger than g?
False
Let l = -5609 - -3050. Is l at least -2559?
True
Let j(o) = -2*o**3 - 22*o**2 + o - 86. Let s be j(-11). Which is greater: -85 or s?
-85
Let z = -367 + 188. Are z and -178 unequal?
True
Let o = -43 - -42. Let d be o/(-5) + 1/5*-1. Is 0 at most as big as d?
True
Let v be 78/260 + (-8)/10. Does v = 15.3?
False
Let o be -2 - (148/(-25) + 4). Let k(l) = 1. Let i(r) = -r - 2. Let x(q) = -i(q) - 5*k(q). Let u be x(4). Which is smaller: u or o?
o
Suppose 4*x + 0*x = -48. Let d be (1/3)/(52/39). Is d >= x?
True
Let t = -2083/15 - -139. Let n = 7/15 - t. Let c be (-6)/(-4)*(-10)/(-18). Which is bigger: n or c?
c
Let n be 20/15*15/20. Which is smaller: -1/420 or n?
-1/420
Let b = -1.5315 + 0.1615. Which is greater: b or 0.3?
0.3
Let x = 123 - 103. Let h = x + -461/23. Which is smaller: h or 0?
h
Suppose 10*l - 7*l = -4*j - 2343, 5*j + 781 = -l. Which is greater: -780 or l?
-780
Let y = -320/3 - -107. Let q = 21.19 + -0.19. Which is greater: q or y?
q
Let f = 92.097 - 92. Let i = f - 0.297. Is i > 2/13?
False
Suppose -4*l + 44 = 4*b, 2*b + 26 = -3*l + 4*l. Is 16 < l?
False
Let l be (-504)/(-112)*(-4)/42. Let i = -69 + 66.1. Let k = i - 0.1. Which is greater: k or l?
l
Let z = -52.75 - -52. Let n = z + 0.49. Is n at most 0.2?
True
Let p = 68.694 - -0.306. Which is smaller: p or -0.1?
-0.1
Suppose -3*p + 54 = 264. Let u = p - -281/4. Which is smaller: u or 0.5?
u
Let l = 24 - 3. Suppose l*y = 18*y. Which is greater: -0.23 or y?
y
Let u = -4/5057 - 449597/601783. Let c = u + 20/17. Which is smaller: c or 3?
c
Let x = 45 - 45. Suppose 2*n - 18 = -4*w, x*n - 4*w = -n - 15. Which is smaller: 3 or n?
n
Let n = -0.0284 - -16.5684. Let v = n + -16. Let k = 0.04 - v. Is k at least as big as 2?
False
Let v = -596017/25113 - -14/2283. Which is smaller: v or -24?
-24
Let z = -52/41 - -4825/3772. Do z and -1 have the same value?
False
Let i = -111 + 111.057. Let t = i - -0.213. Let y = 1.27 - t. Which is bigger: 3 or y?
3
Let f be 22/(-11)*(-2 + (-2)/(-4)). Let s(z) = -z**3 + 3*z**2 + 6*z - 5. Let a be s(4). Is f less than a?
False
Let r = -3 - -2.8. Let t be 822/(-30) + 4/10. Let w be (-4)/(-8)*(-6)/t. Are r and w equal?
False
Let k(i) be the third derivative of -i**6/120 + i**3/6 + 5*i**2. Let j be k(1). Let c be (6 - -2)/4 + j. Is c greater than or equal to 5?
False
Let o = 1427948283/1108570 - 362/32605. Let t = 1288 - o. Suppose -5*u = -8*u. Is u not equal to t?
True
Let w be 20/6*(-6)/4. Let z be 3/w + (-55)/(-50). Let x = -0.04 - 0.17. Is x < z?
True
Suppose 4*k + 2*v - 102 = 0, 6*v + 81 = 4*k + v. Suppose -6 = 5*g + k. Let o be -5 - (5/(-10))/((-