d
Let s = -4 - -3.8. Let y = 483 - 2407/5. Which is greater: s or y?
y
Let r = 0.04 + -0.16. Let c = 6.4 + -25.4. Let g = 18 + c. Is r at most as big as g?
False
Suppose -5*a + f = -1, 2*f = -a + 4*f + 2. Let r = 4.06 + 0.84. Let i = r + -5. Which is bigger: a or i?
a
Suppose n + 15 = -5*l, n - 3*l + 7 = -0*l. Suppose -w = 2*t + 4*w + 21, 0 = -4*w - 20. Which is smaller: t or n?
n
Suppose -4*x = -0*x - 16. Let u = -13 - x. Which is smaller: -18 or u?
-18
Let u = -0.13 - 35.87. Let p = u - -36.2. Is -11 != p?
True
Let s = -93 + 91.1. Let m = s - -5.9. Which is smaller: 10 or m?
m
Let q = 12 - 12. Suppose q = -3*l + 5 - 2. Let z = -3 - l. Is -4 greater than or equal to z?
True
Let l = 27 + -62. Let g = -33 - l. Is -9/4 <= g?
True
Let k = 766 - 765. Which is greater: k or -472?
k
Let w = -0.162 - -0.322. Is -0.05 at most as big as w?
True
Let v = 21.661 + -0.661. Is -0.01 greater than or equal to v?
False
Let m be 6/(-159)*(-4)/(-224)*4. Which is smaller: 1/4 or m?
m
Let y be 4/(-6) - 95/15. Let x(w) = w**3 + 8*w**2 + 5*w - 8. Let m be x(y). Suppose 5*r + 2 = m*r. Which is smaller: 4 or r?
r
Let d = 28 + -27.14. Let a = d - -8.14. Which is bigger: 3 or a?
a
Let t = 0.05 - -0.75. Let h = 0.2 + t. Let d = 303 - 307. Which is greater: h or d?
h
Let s be (-13 - (-10888)/816) + 3/(-6). Which is greater: s or -1?
s
Let s = -5.12 + 4.842. Which is bigger: s or 0?
0
Let z = 90 + -88. Suppose 2*y - 22 = 4*s, -2*y + z*s = 2*y - 14. Is y equal to 2?
False
Let y be (-2 - 6/(-4))/((-10)/20). Let l be -2 - (y + -5) - 9. Is -3 greater than l?
True
Let p = -118/5 - -351/10. Is p != 2/15?
True
Let n = -60 - 4. Let v = 64.3 + n. Which is greater: v or -3/5?
v
Let t = 3107/10 + -311. Let y = 0 - -1. Let b be (y - 0)*(-2)/(-2). Which is smaller: b or t?
t
Suppose -157 + 1243 = -6*s. Is -182 equal to s?
False
Suppose 0 = 5*q + 14 - 39. Suppose 5*a + 3*r = -271, -q*a + 158 = r + 435. Let c be a/(-102) + (-6)/(-51). Which is bigger: c or 1?
1
Let z(d) = -6*d - 25. Let a be z(-5). Suppose 0*x + 4*x = 2*w - 64, a*x - 4*w = -77. Is -17 > x?
False
Let d(h) be the first derivative of 3*h**2/2 - 4*h - 7. Let m be d(3). Suppose -m = -3*g - 2. Is g at most 3?
True
Let t(n) = n**3 - 2*n**2 + 1. Let r be t(1). Suppose r = -5*x + 6*x. Let v be 4/(-12) + 2/5. Which is smaller: x or v?
x
Let n = 10 - 33. Is -15 at least as big as n?
True
Suppose w = -9 + 70. Suppose 0 = 4*r - w + 1. Suppose -5*m - r = 4*z, 0*m + 3 = -z - 2*m. Is z <= -4?
True
Suppose 6*p = 2*p + 20. Suppose -j = -p*j - 8. Let k = -717/286 - -51/26. Is j at least k?
False
Suppose 0 = 2*l, b = -2*l + 7*l + 5. Suppose u - b*u = 280. Is -70 > u?
False
Let b = 1520 - 1494. Is 6 at most b?
True
Suppose 0 = -4*g - 5*h + 32, 4*g + 255 - 251 = 4*h. Let v be 6/2 - 2*-1. Which is smaller: g or v?
g
Suppose -3*z - 4 - 2 = 0. Let t(j) = 2*j - 12. Let d be t(7). Suppose -d*u - 2*x = -x + 6, -5*x = -4*u + 2. Is u at most as big as z?
True
Let r(d) = d**3 + 5*d**2 - 9*d + 20. Let i be r(-7). Is -73/5 < i?
False
Let r = 1 + -67. Is -66 smaller than r?
False
Let z be (-1)/((-889)/(-8000)) + 9. Which is smaller: -1 or z?
-1
Suppose 8*o - 3*o = 15, -4*l + 213 = 3*o. Suppose -2*v = -0*v + 2*g + 24, -l = 3*v - 2*g. Is v at most -12?
True
Suppose -18 = -2*b + 3*t, 4*b + t + 4*t = 36. Suppose 0 = -b*o + 5*o. Suppose 0 = -2*r - 3*c + 18, r + 0*c - c - 9 = o. Is r at least as big as 10?
False
Let i = 2 - 1. Let g = -64 + 17. Let y = g + 50. Is y at most i?
False
Suppose -3*p = 4*x + 10, 0 = 17*p - 12*p - 5*x + 5. Let f = -13.2 + 15. Let w = f - -0.2. Which is bigger: w or p?
w
Let b = 19 - 19. Suppose -5*s + 3*z + 207 = 0, 2*s + b*s - 3*z - 81 = 0. Let u be (4/(-3))/(28/s). Which is bigger: u or -3/5?
-3/5
Let o = -417212 - -173142751/415. Let s = o + -4/83. Suppose -6 = 4*v - v. Which is greater: s or v?
s
Let y = -133.8 - -25.8. Let x = y - -121. Do x and -2 have the same value?
False
Let j be 106/27*41/((-287)/210). Which is greater: j or -119?
j
Suppose 3*k - 2*z = 1 + 4, 0 = -3*z - 12. Let m = -410 + 414. Is k less than or equal to m?
True
Let n = 40 + -52. Let p = 3 + 1. Suppose p*q = -2*f - 50, -2*q + 0*f = 3*f + 31. Is n at most q?
True
Let b = 1913/7 + -274. Let y be 63/3 + -2*2. Suppose 4*o + y - 13 = 0. Which is smaller: o or b?
o
Suppose -5*j = 4*u + 30, -5*u = 20*j - 17*j + 31. Which is greater: u or -77/15?
u
Let k(a) = 2*a + 2. Let s be k(3). Suppose 0 = s*d - 2*d + 48. Is d smaller than -8?
False
Suppose 12 = -5*k - 4*c, 10*k + 12 = 7*k - 4*c. Do k and -3/187 have different values?
True
Let b = -10 - -17. Let o = 12 - b. Let d = -7321 - -7328. Which is smaller: o or d?
o
Let o = -3.484 + 3.5. Let c = o - 0.006. Does -1/3 = c?
False
Let a = 337 - 202. Let m = -132 + a. Which is smaller: -1/28 or m?
-1/28
Let u(a) = a**3 - 14*a**2 - 9*a + 48. Suppose -84 = -124*c + 118*c. Let r be u(c). Which is smaller: -80 or r?
-80
Let n(j) = j**3 - 8*j**2 + 7*j - 6. Let c be n(7). Let w be (8/6 - 2) + 44/c. Is w <= -1?
True
Let m = -929/33580 + 3/292. Is 0 greater than m?
True
Let w = -0.0357 - 0.9643. Let r be (-8)/(-26)*30/2. Let i = r + -154/39. Is w bigger than i?
False
Suppose 2 = 2*t - 18. Suppose 3*r - 2*k - 13 = 21, 2*k + 4 = 0. Is t <= r?
True
Suppose -661 + 141 = 5*o. Let y = -106 - o. Which is bigger: y or -9/8?
-9/8
Let s = 31 + -32. Let u be 1*s*0/6. Does 0.4 = u?
False
Let j(x) be the second derivative of -x**4/12 + 3*x**3 + 17*x**2/2 + 8*x. Let q be j(19). Which is smaller: -1 or q?
q
Let n(f) = 4*f + 1. Let h be n(1). Let d be h/1 - (2 + -1). Suppose v - 4 = -4*q + 9, -2*v + 10 = 0. Are q and d equal?
False
Let c = 2/635 + -1919/4445. Let j = 12.2 + -12.1. Which is smaller: j or c?
c
Let n = 9 + -9.12. Let v = 0.97 + -0.09. Let g = v - n. Is -5 smaller than g?
True
Let b be (8/430)/(4 - (-132)/(-30)). Is 9 < b?
False
Let g = -1/185 + 608/9805. Which is greater: -1 or g?
g
Let y(n) = -n**2 + 9*n - 8. Let b = -15 - -27. Let g(o) = o - 4. Let i be g(b). Let v be y(i). Which is greater: 2/23 or v?
2/23
Let f = -114.884 + 115. Let m = f - -17.884. Are -1 and m equal?
False
Let x(p) = p**2 - 2*p - 12. Let g be x(4). Is g != -3?
True
Let j = 24 + -24.4. Let w = 53 + -47. Which is greater: j or w?
w
Let h = -1.5 - -0.5. Let w = h - -1.7. Is 1/2 bigger than w?
False
Let p be (36/(-15))/(5/(-25)). Suppose -y = 5*i - 227, 2*y = -i + 13 + 36. Suppose -i = -5*m + 5*l - 0*l, -61 = -5*m - 3*l. Which is smaller: p or m?
m
Suppose g - 56 = -3*k, 5*k - 4*g - 82 = -0*g. Let t = k - 27. Is t greater than or equal to -9?
True
Let m(x) = -x**2 + 8. Let p be m(0). Let c be -3 + 5/p*4. Let v = 1.02 + -1. Which is bigger: c or v?
v
Let q(g) = -g**2 - g + 1. Let i be q(-2). Let v be 18/(-8) + (-2)/i. Suppose -5 + 1 = -4*m. Is v at most as big as m?
True
Let n = 1/101295043 - -446759052185325/1418130602. Let x = 315432 - n. Let j = x + -398. Which is smaller: j or 1?
j
Let c = 491 + -490. Which is smaller: 11/23 or c?
11/23
Let n = -12/37 - -1114/3663. Is n != 1/3?
True
Let s = 5.2 - 4.5. Do s and -13 have the same value?
False
Let c = 11 + -20. Is -7 != c?
True
Let o = 0.12 - 0.08. Let h = -10.96 - o. Which is bigger: h or 0?
0
Let b(p) = -p**3 + 22*p**2 - 22*p + 21. Let n be b(21). Let x = 133033/105 + -1267. Is x at most as big as n?
True
Let a = -3.02 + 0.02. Let b = -67.53 + 67.38. Which is greater: a or b?
b
Let d be 11/(-55) + 252/10. Let j = 24 - d. Is 1/25 > j?
True
Suppose -32*w - 173 = 787. Does -11 = w?
False
Suppose 0 = 19*s - 6*s - 286. Is 22 greater than s?
False
Let d = 422 - 650. Let r = 161 + d. Let s = -271/4 - r. Which is greater: -2 or s?
s
Let n = 63.51 + -64. Let d = n - -0.59. Is -2.4 smaller than d?
True
Let c(o) = o**3 - 12*o**2 - 12*o + 2. Let z be c(13). Let s be ((-48)/(-10))/(6/z). Let b be (-3 - (-32)/s)/(-2). Which is bigger: 2/5 or b?
2/5
Let x be (6/(-4))/((27/156)/3). Let c = x + 32. Do c and 5 have the same value?
False
Let y be ((-32)/360)/(3/50). Let z = 298/189 + y. Is 2/5 at most as big as z?
False
Let f = -314 - -489. Which is smaller: f or 873/5?
873/5
Let y = 39.2 + 9.8. Let p = y + -104. Is 0 <= p?
False
Let s(b) = 2*b**2 - 2*b + 3. Let a be (-9)/3*4/(-6). Let x be s(a). Let t(y) = -y - 5. Let i be t(-12). Do x and i have different values?
False
Let y(x) = -13*x. Let a be y(0). Is a at least -2/25?
Tru