se b - 13 = -u. Is -4 at most b?
True
Let i(s) = -s**3 - s - 5. Let p be i(0). Suppose v - 20 = d, -5*v = -3*d - 68 - 28. Suppose 16 = -4*a - 4*h, v = -5*a + 4*h - 2. Is a < p?
False
Let q(f) = -f**2 - 28*f + 235. Let o be q(-35). Do -48 and o have the same value?
False
Let x(d) = -d + 2. Let z be x(3). Let c = -21328/17 - -1254. Which is greater: z or c?
c
Let h = -34649/4 + 8567. Let j = -95 - h. Is -8.1 at least j?
False
Let p(n) = -10*n + 133. Let x be p(24). Is x < -110?
False
Let m = 2/391 - -3493/5083. Which is greater: m or 2?
2
Let n be (-11)/(((-375)/(-40))/(-5) + 2). Is 3 greater than n?
True
Let d(w) = -w**3 - 4*w**2 + 24*w + 13. Let g be d(7). Is -358 > g?
False
Let x be (-112)/(-448) + (-33)/(-52). Is x less than or equal to 0?
False
Suppose 0 = 3*c - 5*t - 31, c + 1 = -t - 2. Suppose c*a - 8 = -2. Suppose -4*q = -4*k - 16, -6*k = -5*k + 3*q - 16. Which is bigger: a or k?
a
Let h(a) = a**2 + 6*a - 2. Let d be h(-8). Let u(b) = b - 4*b - 9 - 5*b + 0*b. Let s be u(-3). Which is bigger: s or d?
s
Let q(s) = s**3 + 11*s**2 + 8*s - 2. Let o be q(-10). Let w = 5 - o. Let h = 14 + w. Is h equal to -1/3?
False
Let f be (-3 + -4 + (13 - 5))*1. Which is greater: 1/586 or f?
f
Suppose 2*t = -3*t + 100. Let g be (5 + -1 - 3)*t. Is 20 less than g?
False
Let n be (-7)/9 - 18/81. Let f be (-8)/(-492)*(-1 - -10). Which is smaller: f or n?
n
Let z be 3460/(-30)*6/4. Let y = z + 78. Let p = y - -664/7. Which is greater: 0 or p?
0
Let h(t) = -t**3 + 5*t**2 - t + 7. Let k be h(5). Let z = -28.021 + 28. Let r = 0.621 + z. Is k >= r?
True
Let t(s) = s**3 + 8*s**2 - 10*s - 7. Let v be t(-9). Let f be ((-20)/(-8) + -1)*v. Suppose 5*u = -4*m + 41, 2*u - 26 = -m - f*m. Which is smaller: 4 or u?
4
Let a = -356 + 367. Which is greater: a or 2/17?
a
Let b(t) = -243*t + 8. Let f be b(2). Is -478 smaller than f?
False
Let j = -39 - -27. Which is smaller: j or 0?
j
Let i(d) = -d**2 + 4*d + 5. Let r be i(6). Suppose 4*x + 8 + 20 = 0. Let o = r - x. Are o and -4/7 equal?
False
Let o = 125/532 + 2/133. Which is greater: 63 or o?
63
Suppose 311*z = 310*z + 4*v + 9, 0 = 4*z - 5*v + 8. Let k(b) be the first derivative of -b**3/3 + b**2 - b - 1. Let p be k(1). Is p > z?
True
Let t be 309/(-18) + (-2)/(-12). Suppose -49*q = -51*q - 34. Is q < t?
False
Let f = -3551/627 + -2/627. Are f and -5 equal?
False
Let n be (-8)/(-24) - 58/(-6). Suppose 3*m + n = 22. Suppose 5*u - m*f + f - 21 = 0, f = 2*u - 8. Is u at least 0?
True
Let b(y) = 5*y - 7. Let j be 4/(-10) - (-27)/5. Let v be b(j). Which is greater: 17 or v?
v
Let u = 949/385 - 5/77. Let o be (-2 + 1)*33/132. Is o less than or equal to u?
True
Suppose -5 = 3*i - 4*i. Suppose 3*b - i*r - 60 = 0, 0*r = -b + 4*r + 20. Is b bigger than 21?
False
Let j = 872 - 877. Does -27 = j?
False
Let x = -18.48 + 17.1. Let d = x + -0.12. Let i = 0.5 + d. Do i and -0.1 have the same value?
False
Let d(t) be the first derivative of t**4/4 + 19*t**3/3 + 9*t**2 + 6*t + 11. Let u be d(-18). Which is smaller: u or 39/7?
39/7
Let v be -429*(-3 + (-25)/(-8)). Let w = v - -1969/40. Suppose 2*z + 6 = 3*j + 17, 3*j + z = -8. Which is greater: j or w?
j
Let s = -166 - -358. Which is greater: s or 194?
194
Suppose 0 = -4*x + 7 + 201. Let u = 261/5 - x. Let y be (-39)/60 - 4/(-10). Is u less than or equal to y?
False
Let t be (-972)/24*(-8)/12. Are t and 80/3 nonequal?
True
Let i(m) be the third derivative of m**6/120 + m**5/20 - m**4/24 + m**3/6 + 3*m**2. Let j be i(-3). Suppose -j*c = -2 - 14. Is 3 < c?
True
Let k = 114 + -266. Which is smaller: k or -301/2?
k
Suppose 2*m - 5 = -3*m. Suppose -7*j + 6*j = -15. Suppose -j = 5*x - 5*f, -5*x + 4*f - 7 - 4 = 0. Is m less than x?
False
Let x = 14 + -8. Let w(c) = c**2 + 4*c + 2*c - x - c. Let a be w(-5). Are -6 and a equal?
True
Let m be (-1 - -1) + (-176)/(-16). Let q(z) = z**3 - 10*z**2 - 9*z - 14. Let l be q(m). Let j be l/6 + (-6)/18. Is 2/19 equal to j?
False
Let j be -6*(-2 + 5)/(-18)*3. Let w be 2/7*-1 - j/14. Which is greater: w or -37?
w
Suppose 17*x - 1767 = -14*x. Is 0 less than x?
True
Suppose 2*v + 4*m = -4, -3 + 1 = v - 3*m. Let u be (-15)/(v/(2/12*8)). Is u less than 69/7?
False
Suppose 23 = 5*y + s, 2*y + 2*s - 4*s = 14. Let x be 4/(-6)*(-12)/(-8) - -3. Suppose y*k + 4*b - 43 = -0*k, -x*k - 3*b = -13. Do 11 and k have different values?
False
Let i = 5 - 4. Let a = 5 - i. Are 1/6 and a unequal?
True
Let s = -25 + 25.38. Let i = -0.02 - s. Which is smaller: i or -1?
-1
Let q = 0.1 - 0.5. Let p = 11.9 - 18.9. Is p bigger than q?
False
Suppose 6*y - 91 = 419. Let a = -56 + y. Let p = a + -16. Which is smaller: 14 or p?
p
Suppose 0 = h - 212 + 177. Are 34 and h equal?
False
Let c be 4*(-7)/(-14)*(-1)/(-2). Which is smaller: -3/376 or c?
-3/376
Suppose -40*v + 30 = -34*v. Let r be (1 + -6)*(9/v + -1). Which is smaller: r or -37/7?
-37/7
Let h(z) = -z**2 - 7*z - 7. Let v be h(-6). Let r = 224/9 + -6943/45. Let b = r - -129. Which is greater: v or b?
b
Let z = -9 + 46. Suppose 2*o - z = -3*m, 31 + 18 = 2*o - m. Does o = 23?
True
Let z = -72 - -87. Suppose 0*h + 43 = -5*h - 4*v, 3*h - 3*v = -z. Is h at least as big as -58/7?
True
Suppose -5*x = -x - 44. Suppose -494 - 1234 = -12*l. Suppose -38*f + 26*f = -l. Which is smaller: f or x?
x
Let p = 367/679 + 3/97. Let t be 14/4*(-8)/(-70). Which is smaller: t or p?
t
Let o be (4 - 51/12) + (-943)/(-3676). Which is smaller: o or -1?
-1
Let r be (-1)/((-10)/4 - -3). Let h = 10 + r. Suppose 0 = 7*j - 11*j - h. Is j greater than or equal to -9/5?
False
Let u = 3 + -15/7. Let f(w) = w - 10. Suppose 0 = o + 3*o - 40. Let x be f(o). Which is smaller: x or u?
x
Let u = -20 - -31.2. Let v = u - 8. Let b = v - 3.4. Is b bigger than 0?
False
Suppose 2*f = f + 2*p - 10, -3*f - p - 9 = 0. Let b(i) = -i**2 - 2*i + 4. Let y be b(f). Do y and -0.2 have different values?
True
Let u(w) = 5*w**3 + w**2 - 9*w + 8. Let q be u(4). Let b = q + -1223/4. Is 2 smaller than b?
True
Suppose -m = -15 + 9. Let t(w) = 3*w**2 + 2*w. Let l(c) = -c**2 + c. Let a(f) = 4*l(f) + t(f). Let y be a(m). Which is smaller: -2/17 or y?
-2/17
Suppose -3*x + 385 = -4*c - c, 0 = x + 4*c - 151. Let h = 134 - x. Suppose 3*n - n = -2. Is h > n?
False
Let h = -15 - -28. Suppose 3*i - n + 18 = 2*n, h = -3*i + 4*n. Let m = i + 16. Is 5 > m?
False
Let b = -16 - -24. Let o(s) be the first derivative of -s**2 - 7*s - 3. Let z be o(-7). Is z greater than or equal to b?
False
Let s be (-409)/(-12) - ((-12)/(-16))/1. Which is smaller: s or 33?
33
Let q be (-63)/(-6)*2 + 0. Suppose 66*o = 26*o + 840. Are o and q equal?
True
Let q = -46 + 0. Are q and -46 equal?
True
Suppose 98 = 3*i - 40. Suppose 4*k + i = y, 0 = -3*k + k + 4*y - 16. Do -45/4 and k have different values?
True
Suppose -1 + 9 = -2*b. Let h be (-15)/(-6) - 2/b. Let q(u) = u**3 - 2*u**2 - 2*u - 4. Let i be q(h). Is i at least as big as -1?
True
Suppose -2*s - 3*a = 2*a, 4*a = 0. Suppose 5*x + 20 = 3*z, -2*z - 11*x + 10 = -15*x. Suppose s = k - 14 + z. Which is bigger: 3/11 or k?
3/11
Suppose 0 = -c + 11 + 4. Suppose -o - 2*o - c = -z, -5 = 2*z + o. Suppose z*x + 2*x + 4 = 0. Which is smaller: -7/3 or x?
-7/3
Let o = 1016 - 894. Which is greater: o or 124?
124
Let t(k) = k**3 - 6*k**2 - 5*k - 12. Let u be t(6). Let n = u - -37. Is -1/4 at least n?
True
Suppose 0 = -165*c + 161*c - 644. Which is greater: c or -158?
-158
Let w be 1 - (-2 + (-42)/3). Suppose 5*l = -3*r - w, 0*l + 5*l = -2*r - 13. Suppose -b + 0*b = 3. Which is greater: b or r?
b
Let w be (-4)/6*-1 - 1. Let s(x) = 5*x**2 - x + 2. Let k be s(1). Suppose -k*b = -5*b. Which is smaller: b or w?
w
Suppose -4*l - 58 = 3*d - 0*l, 5*d + 2*l + 78 = 0. Let a(k) = -k**3 - 14*k**2 + k + 15. Let n be a(d). Which is smaller: n or 6?
n
Let f = -1649 + 1649. Is -0.31 at most as big as f?
True
Let z = 29.69 - 9.79. Which is smaller: -0.05 or z?
-0.05
Suppose 0 = -2*q - 2. Let o = 4 - 7. Let u be (o - 4/(-2))/q. Do u and 1 have different values?
False
Let r be -4*((-1)/4 - 0). Let a = -743/22 - -47/11. Let x = -299/10 - a. Is r equal to x?
False
Let c = 32 + -25. Suppose -c + 25 = -w. Let y = w - -18. Which is smaller: -4 or y?
-4
Let m = -391.219 - 0.781. Which is smaller: -2/7 or m?
m
Let p be 44/(-176) + (-42)/(-8). Does p = 5?
True
Let d(z) = z**3 + 5*z**2 - 11*z - 59. Let u be d(-4). Does 1/