. Which is bigger: t or -17?
-17
Let x(t) = -3*t**3 + 18*t**2 + t - 7. Let b be x(6). Let p be (-122)/280 + (-4)/(-14). Which is bigger: b or p?
p
Let a(d) = -d**2 + 12. Suppose 3*m + l = 3, 2*l + 0 = 6. Let w be a(m). Let o be 99/204 - 3/w. Which is bigger: o or 1?
1
Let r(l) = l**3 + 8*l**2 + 25*l - 8. Let f be r(-6). Is f <= -80?
True
Let g = -1.049 + 0.849. Let m(j) = 8*j + 0*j**2 + 3*j**2 + 8 - 2*j**2. Let v be m(-7). Is g smaller than v?
True
Suppose -39*l - 21 = -60*l. Which is bigger: l or 1/32?
l
Let l(a) = a + 5. Let k be l(-14). Let p be ((-24)/(-44))/3 - k/11. Are p and 3/5 unequal?
True
Let n be (-12496)/497 - (-11 + 0). Is -14 >= n?
True
Let d(r) = r**3 - 5*r**2 + r + 4. Let c(b) = -6*b**3 + 3*b + 2. Let m be c(-1). Let j be d(m). Is 7 bigger than j?
False
Let a = -856 - -1354. Is 498 greater than or equal to a?
True
Suppose -7*r = -13 - 36. Suppose 0 = r*w - 4 + 11. Is -12/7 smaller than w?
True
Let y = 24 - 23. Let b = -0.136 + -85.864. Is y smaller than b?
False
Let x = 273 - 385. Are -112 and x equal?
True
Let u be 6*1/4*2. Suppose -6 = -u*i - 3. Which is smaller: -2/7 or i?
-2/7
Let k = -134 - -56. Are -78 and k equal?
True
Let v be 4/(-6) - (-6)/9. Let x = 3 + -6. Let q be (x/(-3) - 1) + -2. Which is bigger: q or v?
v
Let y = 221 - 221. Is -2/703 equal to y?
False
Let z = 9 - 18. Suppose -3 = 3*s - 3*n - 45, 0 = 3*s + 2*n - 27. Let b = s + z. Is 3 < b?
False
Let j(l) = -2*l**3 - 21*l**2 - 73*l + 17. Let p be j(-9). Is 431 != p?
False
Suppose -364 = 16*t - 12*t. Does -91 = t?
True
Suppose -s - g + 17 = -6*g, -56 = -5*s - 4*g. Suppose -x = -s*x - 55. Are x and -5 unequal?
False
Suppose -513 = -25*m + 1012. Which is smaller: m or 66?
m
Suppose 116 = -12*p + 92. Is 44 bigger than p?
True
Let j = -392 + 367. Is -25 > j?
False
Let o(j) = 2*j - 15. Let q be o(12). Let m(i) = -i**2 + 9*i - 1. Let g be m(q). Let h be -6 - -4 - (g + -1). Are h and 2/23 nonequal?
True
Suppose 2*v + n - 17 = 0, n + 3 = -0. Let k be (6/2)/((-9)/(-30)). Is v less than k?
False
Let v be 10/25 - (-96)/(-15). Let f be (v + 0)*4/(-7). Is f < 4?
True
Let n(z) = -2*z - 5. Let b be n(-4). Let t = -155 + 155.1. Which is smaller: t or b?
t
Suppose c - 6 - 24 = 0. Suppose -b - b = -c. Suppose 5*x = -19*x + 384. Which is smaller: b or x?
b
Suppose 42 = 2*u + u. Let v be 1/4*8/u. Let c(i) = i**3 - 8*i**2 - 2*i + 16. Let d be c(8). Which is smaller: d or v?
d
Let g = 39 - 24. Suppose -j - g = 2*j. Is -4 > j?
True
Let v be (-54)/(-7) + (120/42)/10. Which is greater: -4 or v?
v
Suppose 4*g + 4 + 8 = 0, -4*o + 102 = -2*g. Let s be 50/24 - 18/o. Is s smaller than 2/7?
False
Suppose -5*a - 4555 - 175 = 0. Let l = 5651/6 + a. Is -5 greater than l?
False
Let s(r) = -r**2 - 11*r + 3. Let d be s(-11). Suppose 5*v + 4*w - 25 = 23, -d*v + 16 = -4*w. Which is smaller: 0.1 or v?
0.1
Let c = -0.0945 - -0.1845. Is c smaller than 9/2?
True
Let o = 0.31 + -0.21. Let i = -16.9 - -15. Let r = i - o. Which is greater: 1 or r?
1
Let n(a) = -a + 16. Let d be n(15). Let s be 18 + -13 - 1/d. Let f = s - 5. Is 2/11 > f?
True
Suppose a + 2 = 0, 0 = 6*n - 4*n + 3*a + 4. Suppose -5*q = 3*s - 4*s - 116, s = -q + 22. Let x = q - 1359/59. Which is greater: x or n?
n
Suppose 227 + 75 = 2*u. Is u <= 150?
False
Suppose 13 = 3*y + r, 5*r + 22 = y - 9. Suppose 2*s + 12 + y = 0. Let a = s - -11. Are 2 and a unequal?
False
Let a be (-20)/25 + 14/5. Suppose a*x + 12 = x. Which is bigger: x or -10?
-10
Let q = 3 + -3.03. Let s = q - -0.1. Let v be (-3)/(-4) - (1 - (-18)/(-24)). Which is smaller: s or v?
s
Let y(i) = -2*i - 6. Let m be (6 - 12)/((-6)/8*-2). Let l be y(m). Which is greater: l or 6?
6
Suppose 16 = 14*o - 10*o. Suppose 0 = -a - 3, -o*y - 3*a - 13 = -4. Are y and 1/14 equal?
False
Suppose -15 + 2 = -l. Suppose 18 + 10 = -7*q. Let d be 3 + q + l/9. Which is smaller: d or -0.3?
-0.3
Suppose 0 = 2*m + 10 + 8. Let u = m - 35. Which is bigger: -45 or u?
u
Let u = -7177/4064 + 55/32. Which is smaller: -1 or u?
-1
Let x = 89024876/701 - 126997. Let j = x - -1042639/8412. Let f = j - 124. Is f > 1?
False
Suppose -6 = 3*a - 27. Suppose 3*u - a*u = 4. Which is bigger: u or 2/39?
2/39
Let k be (-140)/(-14) - 8/2. Let r = 3 + -4. Let z be -3*((-3)/(-27))/r. Do k and z have different values?
True
Suppose 0 = -6*v - 57 + 57. Is v not equal to 8/17?
True
Let t(u) = 34*u - 25. Let y be t(2). Is y >= 43?
True
Let h(x) = x**3 - 15*x**2 + 14*x + 1. Suppose 4*b - 52 = -4*j, -4*b + 12 = -j + 30. Let n be h(j). Which is greater: 21 or n?
21
Let g(v) = v**3 - v**2. Let w be (1 - 3) + -2 + 4. Let f be g(w). Which is bigger: f or 29?
29
Suppose 3*s = 5 + 1. Let u be 10/14 + (-2)/(-7). Let a be u/(45/54 + (-1)/3). Does s = a?
True
Let l = -119/11 + 7303/671. Which is smaller: l or -1?
-1
Let d be 4/(-6)*6/(-4). Let x = -1 - 1. Let v = d + x. Which is smaller: v or -4/9?
v
Suppose 2*w - 4302 = -4*v, 5379 = v + 4*v + 4*w. Is v greater than or equal to 1075?
True
Let s = 1025/1716 + -7/12. Which is smaller: s or -1?
-1
Let j = 22274/29 - 768. Let d = -20 + 37. Let m = d - 16. Which is greater: j or m?
m
Let u = -774 - -785. Are u and 5 non-equal?
True
Let s = 12 - 9. Let f(z) = 6*z**2 - 2*z + 1. Let q be f(s). Let b be (-14)/q - 2/(-7). Which is bigger: b or 1?
1
Suppose 0 = 10*z - 257 + 7. Is 25 less than z?
False
Let w(o) = o**3 + 9*o**2 - 13*o - 16. Let g be w(-10). Is 83/6 less than or equal to g?
True
Let n = 5 + -5. Suppose 3*f + f = n. Let t be (-1)/3 + (-1)/(-21). Is f at least t?
True
Suppose 4*g + 31*a - 34*a = -10, g + 2*a = 3. Is -1/71 >= g?
True
Let u be 2/(-5) - (-34)/10. Suppose 293 - 349 = -14*n. Which is smaller: u or n?
u
Let x = 1303014818 + -272329479578/209. Let u = x + -2954. Is 1 smaller than u?
False
Suppose 4*m - 5 + 3 = 5*d, 3*d = -2*m - 10. Which is bigger: -5/9 or d?
-5/9
Suppose 0 = -4*t + 7*t. Let y(j) = j**2 + 3*j + 2. Let r be y(-4). Let o be r/15 + (-4)/5. Is o at least as big as t?
False
Suppose 4*v - s - 11 = 0, 0 = -v - 25*s + 24*s - 1. Suppose -2*a = 6 - 2. Let t be a/2 + 20/18. Which is smaller: v or t?
t
Let h be 2 + -136 - 4 - (-9 + 6). Let k(o) = o + 1. Let t be k(-4). Let y be 10/6*t/h. Which is smaller: 1 or y?
y
Suppose 5*j = 7*j - 80. Suppose 3*t + 0*t + 35 = -a, -2*a - j = 3*t. Suppose 3*p + 8 = -2*o, 2*o = o + p - 14. Do o and t have the same value?
True
Let w(j) = -j**2 - 7*j - 6. Suppose -13 = -2*t - 0*t - 5*f, 4*f - 2 = -3*t. Let x be w(t). Suppose 18 - 30 = -12*i. Which is bigger: x or i?
i
Let k = 17 + -118/7. Let r(f) = f**3 + 24*f**2 - 54*f - 52. Let y be r(-26). Which is smaller: y or k?
y
Suppose -5*l + 5 = 0, -6*l + 9*l = -4*x + 195. Is x > -4?
True
Let g(l) = -l**2 + 28*l + 106. Let q be g(17). Is q smaller than 293?
False
Suppose 2*g = -3*g + 2*w - 2, 0 = 2*g + 2*w - 2. Let h be ((-6)/(-2))/3*0 + 1. Let c be (h - 1) + (-30)/(-345). Are g and c equal?
False
Let l = 155 - 156. Let m be (-5)/3 - 6/(-18). Which is bigger: m or l?
l
Let y = 28.58 + 0.42. Let z = 30 - y. Do z and 1.1 have the same value?
False
Let n = -43 + 44. Let l be (-333)/171 + 2/n. Which is bigger: 0.1 or l?
0.1
Let y = 256 - 251. Which is greater: y or 10?
10
Let t = -40 + 40.01. Let m = -0.1 - 3.9. Let b = m + 2. Which is bigger: t or b?
t
Let o(n) = 11*n + 17. Let g be o(7). Let d = 129 - g. Which is smaller: 34 or d?
34
Let u be (-5766)/24 - 4/(-16) - -5. Which is smaller: -2/9 or u?
u
Suppose -71*h + 70*h = -1. Which is smaller: -1/9 or h?
-1/9
Let z(q) = -7*q + 58. Let m be z(7). Is 20 < m?
False
Suppose 16*i = 15*i - 39. Suppose -16*b + 8*b = 296. Is b greater than i?
True
Let v be (-15)/12 + 2655/60. Is 1 > v?
False
Let z = 596/63 - 80/9. Let v be (-114)/(-1539) - (-104)/54. Is z < v?
True
Suppose 3*v + 97 = 94. Are -1/522 and v unequal?
True
Let z be 19/(-75) + (-5)/(-15). Let q = 12/25 - z. Is q > 2?
False
Let m(h) be the second derivative of -h**4/12 + 2*h**3/3 + 6*h**2 + 13*h. Let b be m(8). Which is bigger: b or -19?
-19
Suppose 2*r + 8 = 0, -4*y - 3*r - 226 = -6*y. Which is greater: y or 105?
y
Let t = 0 - -6. Let z(r) = 4*r - 15. Let p be z(t). Let x(j) = -2*j + 8. Let u be x(p). Which is smaller: -8 or u?
u
Let i be -1 + ((-1)/(-5) - -2). Let p = 16.3 - 15.4. Is i at most p?
False
Suppose -3*o - 9 = -12. Let u = 54 + o. Which is greater: 56 or u?
56
Let r be (-5 + (-507)/(-102)