ss than h?
False
Let r = -21023 - -12214366/581. Which is greater: 0 or r?
r
Let l = -6.95 + -0.05. Let m = -8.2 - l. Let a = -1.3 - m. Do 0 and a have different values?
True
Suppose -5*t + 273 = 23. Let s = 49 - t. Which is bigger: 1/16 or s?
1/16
Suppose 0 = -c + 5*c - 4. Let q = -239 + 243. Which is greater: c or q?
q
Let w be (8/(-295))/(51/15 + -4). Which is bigger: 1 or w?
1
Let l = -279.5 + 275.5. Which is bigger: l or 80?
80
Let t be 2/(-4) + (-67329)/(-162). Let p = 416 - t. Which is greater: p or 0.1?
p
Let y = 0.83 + -0.39. Which is smaller: y or -3?
-3
Let b(u) = -u - 18. Let y be b(-20). Suppose 7 = y*f + 33. Are -14 and f nonequal?
True
Let l be 2 - 0 - 2565/1290. Suppose -5 = -3*j + 2*x - 1, -2*x = -2*j + 4. Is l at most as big as j?
False
Let n be (-1)/(-5) + (-56)/5. Let v = 13 + n. Let a be v/(6/(-5)) - -2. Which is smaller: 1 or a?
a
Let b = 1085 + -1125. Which is bigger: b or -45?
b
Let k = -96 + 97. Suppose u + k = 3*n, -2*n = 3*u + 6 - 3. Which is bigger: 1/53 or u?
1/53
Let c be 3 + 1*13/(-1). Let o(n) = n**2 + 10*n + 6. Let b be o(c). Suppose -t - t + 7 = -5*r, -2*t = -4*r - b. Is t at least 0?
True
Suppose -2*y - 28 = 4*v, 0*v + 10 = -2*v - 3*y. Let f be ((-24)/v)/((-2)/10). Which is greater: f or -13?
-13
Let s = 409/132 + -37/12. Let c = s + -1063/462. Is -3 >= c?
False
Let i = -3881/5453 - 2/779. Is i equal to 0?
False
Suppose -1 = 4*b - 5*q, 2*b - 6*q + 13 = -q. Let a be 2 + 0 + (-6)/(b - 0). Which is smaller: -1 or a?
-1
Let a = -76.36 - -79. Let u = -0.36 - a. Does 7 = u?
False
Let w = -27/10 + 489/70. Which is bigger: w or 5?
5
Let o be (-1)/53*-1*2. Let t(f) = -f**3 + 10*f**2 + 11*f + 1. Suppose 2*j - 5 = 17. Let w be t(j). Is o less than w?
True
Let x = 0.06 + 0.94. Let b = x + -1.2. Which is bigger: b or 0.11?
0.11
Suppose -4*l + 19 = -5. Let c be (l/(-5))/(14/35). Let g = 4 - c. Is 7 at most as big as g?
True
Let h = 9 + -11. Let q = 11 - h. Let i be q/(-3) + (-2)/3. Is i smaller than -6?
False
Let t(d) be the first derivative of -d**4/2 + 3*d**3 + 5*d**2/2 + 3*d + 4. Let g be t(5). Suppose 0 = 2*u + 2 - 12, 0 = g*i + u + 13. Is i at most as big as -7?
False
Suppose -14 = 3*n - x, -2*x = 5*n - 6*x + 35. Which is smaller: -1 or n?
n
Let b = 322 - 343. Let d be ((-6)/(-4))/((-9)/(-4)). Which is greater: b or d?
d
Let o = 1 + -1.07. Is o bigger than 0.8?
False
Let r = -2 - -1. Let j be ((-5)/(-4) - 1) + (-1995)/4332. Is j greater than or equal to r?
True
Let d = 50.1 + -50. Let x = 0.29 - 0.4. Is d equal to x?
False
Suppose -26 = -5*o - 1. Suppose 2*h + 0*f - 2*f - 116 = 0, 3*h - 174 = -o*f. Suppose 0 = 4*c - 5 - 3, -3*c - h = -4*m. Is 15 less than m?
True
Let v = 51.28 - 0.28. Let j = v + -50. Let s = 0 - 0.1. Which is greater: s or j?
j
Suppose -6*b = -b. Suppose b*z - 36 = -2*z. Let x be ((-24)/(-32))/(z/(-16)). Is x bigger than -2?
True
Let o(c) = 86*c**2 + 48*c + 47. Let s be o(-1). Do s and 87 have different values?
True
Let k = 11 - 39. Suppose 108 = 248*r - 252*r. Is k less than r?
True
Let b = 3.6 - 9.6. Which is smaller: b or -1?
b
Let m be (-52)/14 + 4 + 208/350. Which is smaller: 1 or m?
m
Suppose 46 - 274 = 12*q. Which is smaller: -5 or q?
q
Let v = -72493 - -314112171/4333. Is 1 < v?
False
Suppose 3*d - 6 = s, 8*d - 3*d + 4 = -3*s. Which is greater: d or -2/2959?
d
Suppose -2*a - 5 = 3*u, 3*a = -2*u - 2*u - 7. Let g be (-9)/(-21)*(5 + -7). Which is bigger: a or g?
g
Let j = -302 - -193. Is -109 smaller than j?
False
Suppose -21 + 28 = 7*s. Which is bigger: -1.5 or s?
s
Let z = -721952/5 + 143810. Let d = -578 - z. Which is greater: d or 1?
d
Suppose 3*y - 34 = u, -5*u + 37 = 3*y + 9. Which is greater: y or 13?
13
Let n = 2 - 1.6. Let z = 0.347 + 12.653. Which is smaller: n or z?
n
Let a(j) = j - 23. Let m be a(11). Let y be m/(-4) + 209/(-70). Which is smaller: 1 or y?
y
Let g(c) be the first derivative of -c**3/6 + 2*c**2 + 8*c - 2. Let x(l) be the first derivative of g(l). Let b be x(5). Is -2 smaller than b?
True
Suppose 2*z = -5*v + 54, 6*v - 2*v - 5*z = 63. Let t be (v + 3)*(-4)/(-12). Which is smaller: 3 or t?
3
Let o be (-25)/(-40) + 2*(-6)/12. Which is smaller: 14 or o?
o
Suppose -15*u = -11*u + 272. Is -65 at least as big as u?
True
Let q = -23.8 - -17. Let v = 4.8 + q. Let o = -131/2 - -64. Which is bigger: o or v?
o
Suppose 2*t + 104 = -3*m - 3*t, 0 = -2*m - 5*t - 76. Let b = -28 - m. Suppose 11*j - 6*j - 5 = b. Are 1/6 and j non-equal?
True
Let b = -320.4 - -30.4. Which is smaller: 1/2 or b?
b
Let x = -26 - -40. Let i = 3.9 - 19.9. Let s = x + i. Is 0.6 at most s?
False
Suppose 5*b - 22 = 4*v, 2*v - 4*v - 2*b = 20. Let h be -1*(1 - v/(-7)). Let y(p) = -p**2 + 40*p + 1450. Let i be y(-23). Is h > i?
False
Let o = 175.1 - 175.3. Is 1/2 not equal to o?
True
Suppose 2*a - d - 2 - 1 = 0, 4*a + 3*d = 21. Suppose -a*h + 26 = -31. Is 3 not equal to h?
True
Let s = -1.692 - -1.36. Let z = s + 0.032. Are 2 and z nonequal?
True
Let s = -0.614 + 0.604. Is 133 smaller than s?
False
Let u = 84 - 67. Suppose 3*z + 1 = 2*z + w, -5*w + u = -2*z. Which is smaller: z or -2?
-2
Let c = 42 - 48. Suppose 2*a + 2*f + 4 = -0*a, 3*a = -f + 4. Suppose 2 = -x - a. Are c and x nonequal?
True
Let v be 6*(-2)/(-18)*6. Suppose i = 12 - v. Suppose -3*b = 5*r + 17, -2*r + i - 19 = -3*b. Is b < 0?
False
Let p = -0.12 - -0.02. Let j = 2 + -2.09. Let r = j - p. Is -0.1 smaller than r?
True
Let v = 1699 - 1898. Which is greater: v or 2?
2
Let j be ((-22)/(-8))/(180/(-6436)). Let u = j + 1111/20. Let q = u + 43. Is -1 smaller than q?
True
Let i(f) = f**3 + 5*f**2 + 7*f + 2. Let h be i(-5). Let l = -20 - -28. Let v be (-6)/h - l/44. Is 4/13 equal to v?
False
Suppose -19*o = 5*o - 5688. Is 237 equal to o?
True
Let i be -1 + 2 - (-5)/(100/755). Are 38 and i nonequal?
True
Suppose 3*b + i + 1594 = 0, -351 - 175 = b + 3*i. Which is smaller: b or -534?
-534
Let s be 0 + 0 - (-8)/112*12. Is 4 less than or equal to s?
False
Let j be (-1)/(-9)*(1 + 0). Suppose 36 - 6 = 5*o - 5*q, 3*q = 5*o - 20. Suppose 0*v = v - o. Which is bigger: v or j?
v
Suppose 2414 = -10*g + 5*g - 3*r, -5*g + 5*r - 2390 = 0. Which is greater: g or -479?
-479
Let q be (18/(-4) + 4)*1. Let l = 5 - -7. Let n be 3/l - (-4)/112. Are q and n nonequal?
True
Let h = 0.6 - 0.9. Let p = 0.3 + h. Let o = 77 + -78. Which is bigger: p or o?
p
Let o = -57/10 + 11/2. Let z(b) = 32*b + 545. Let d be z(-17). Which is greater: o or d?
d
Let g = -59 - -59.69. Let d = 0.89 - g. Is -13 smaller than d?
True
Let j be (1 + (-32 - -1))/(4/(-12)). Let b be (-26)/(-10) - (-36)/j. Let q be (-2)/(-6) - 2/(-3). Is q > b?
False
Suppose -6 = 2*q + 6*v - 8*v, v - 3 = 0. Which is smaller: q or -7/5?
-7/5
Let q be (-32)/(-2)*((-165)/(-22))/5. Which is smaller: q or 23?
23
Let d = -7 - -10. Suppose 19 - 4 = d*x. Suppose 0 = m - 2*o + 15, -4*m - o - x = 2*o. Is -6 greater than m?
False
Suppose 2*v = -3 + 11. Suppose 22 = 3*s + 2*i, 5*s + 2*i - 27 = 11. Let g be 36/s - (-2)/4. Which is smaller: v or g?
v
Let j(q) = 3*q**2 + 2*q. Suppose 5*n - 14 = 3*i, -5*i - 5 - 6 = 4*n. Let r be j(n). Let w = -6 - -8. Which is smaller: w or r?
w
Let x = -1951 + 1951. Let f be (-1)/5 + 46/5. Let h be (f/6)/((-1)/2). Which is greater: x or h?
x
Let q be (-1)/(3 + (-150)/51). Let h = q + 29. Let c be (9/(-30))/(h/10). Is 1 <= c?
False
Let m(q) = -q**2 - 11*q + 14. Let o be m(-12). Suppose -2*y + 2*i + o = i, 20 = 4*y + 2*i. Is 3 >= y?
True
Let t be (6/9)/(40/(-9915)). Let h = t - -166. Is -1 not equal to h?
True
Let t = -5 - 19. Let w = t - -17. Let v be 15*(-2 + w/(-5)). Is -9 < v?
False
Suppose 3*b + 1 = 4. Suppose 2*t = 3*n + b, -2*t + n - 6*n = 7. Which is smaller: t or -1.1?
-1.1
Let o be (9/25)/(12/32). Is o less than -3?
False
Suppose -3*o - 8*x + 3*x - 440 = 0, -436 = 3*o + 4*x. Which is smaller: -146 or o?
-146
Let i be (-3 - -3)*(-2 + (-10)/(-4)). Suppose -9*h + 139 + 68 = i. Let m = -4/21 + -1/7. Are h and m nonequal?
True
Let b = -109 + 55.8. Let q = b + 53. Which is smaller: 0.03 or q?
q
Let g = -91 + 367/4. Let l be (-2 + (1 - -1))*1. Suppose -y - 3 + 4 = l. Is g less than y?
True
Suppose -3 = -2*h - 1, 0 = 3*t + 4*h - 1. Which is smaller: t or -3/218?
t
Let d be (6/2 - 8)*(-7 + 4). Suppose -d*q + 12*q - 78 = 0. Do q and -26 have the same value?
True
Suppose 139 = -7*s + 503. Let h = 49 - s. Is