ich is greater: 0 or q?
q
Let t(f) = f**3 - 2*f**2 - 4*f + 4. Let y be t(3). Let k be 2/(-103)*-308 + -6. Which is smaller: k or y?
k
Let i(a) = -31*a + 1. Let c(n) = n. Let p(y) = -5*c(y) - i(y). Let o be p(1). Suppose 4*t - 3 = o. Are 7 and t unequal?
False
Let b = 14 - 14. Let u(v) = -v**3 + v**2 + 11. Let q be u(b). Let m = q + -12. Is 1/5 greater than or equal to m?
True
Let v be (-1864)/3360 - (-4)/7. Which is smaller: 2/7 or v?
v
Suppose -40*i + 36*i + 4*j - 12 = 0, -2*i + 4*j - 10 = 0. Is i smaller than -2/601?
True
Let q = -22 - -22. Let k(b) = b**2 + 6. Let z be k(q). Suppose z*w - 4*w + 46 = 0. Which is smaller: -22 or w?
w
Suppose 0 = -14*g + 12*g + 986. Is g smaller than 492?
False
Let x(y) = 4*y**2 - 4*y - 3. Let l be x(-2). Suppose 0 = -3*h + 2*q - 117, 5*h = -7*q + 3*q - 217. Let t = l + h. Which is smaller: -0.1 or t?
t
Suppose -5*x = -10*x + 3*l + 436, -80 = -x + 3*l. Suppose -4*w - 115 = x. Is w < -51?
False
Let q be 2/(-5) - (-26312)/130. Which is bigger: q or 204?
204
Suppose -y + 10*y + 162 = 0. Do y and -16 have different values?
True
Let k = -18 - 57. Let j = -69 - k. Which is bigger: -2 or j?
j
Suppose -5*p + 21 = -3*p - 3*u, 3*p = 4*u + 32. Let k(x) = -5*x**2 + 52*x - 6. Let s be k(10). Which is greater: s or p?
s
Let a(x) = -x**3 + 6*x**2 - 2*x - 7. Suppose -3*d + 13 = -8. Suppose d + 18 = 5*q. Let j be a(q). Is 8 < j?
False
Let x = -14 + 15. Let s be 1*(84/(-80) + x). Is 1 bigger than s?
True
Let f be 14/(-18) - 8/36. Suppose 14 = -4*t - 3*g, 2*t - 5*g - 4 = 2. Let q be (-1)/(3*(t - -3)/(-1)). Which is bigger: f or q?
q
Suppose -d = 3*d - 48. Suppose 30*v - 53*v + 86*v - 63 = 0. Which is greater: d or v?
d
Let k(t) = t**3 + 8*t**2 - 2*t - 10. Let i be k(-8). Suppose -r - 10 = 5*s, 4*r + i = -5*s - 4. Which is bigger: 2/11 or r?
2/11
Suppose -j + 185 = 3*j - 5*o, -3*j + 165 = 5*o. Let a = -48 + j. Is 1 equal to a?
False
Let g(u) be the first derivative of -u**2/2 + 5*u + 2. Let a be g(4). Let q = 3879 - 3870. Which is smaller: q or a?
a
Let n = 2355 - 21218/9. Let d = -20/9 - n. Do d and 47 have the same value?
False
Let m(g) = -10*g + 6. Let v(q) = -q**2 - 4*q - 1. Let x be v(-3). Let t be m(x). Let d be (-2)/6*(-28)/t. Is d greater than or equal to -5/2?
True
Let y(p) = -p**3 + 2*p**2 + 12*p - 15. Let g be y(4). Is 40/31 < g?
False
Let p = 0.032 - 2.032. Suppose 0 = -2*n - 5 + 21. Suppose -7 - n = 5*j. Which is greater: j or p?
p
Let x = 35 - 30.1. Let l = 4.9 - x. Which is smaller: -2/25 or l?
-2/25
Let t(a) = -4*a**2 + 3*a - 4. Let u(h) = 5*h**2 - 3*h + 5. Let j(k) = -3*t(k) - 2*u(k). Let q be j(2). Are 15/4 and q nonequal?
True
Let v = 27 + 48. Let c = 75.05 - v. Which is smaller: -9 or c?
-9
Let k be (1 + 5919/(-24))*2/3. Do k and -2/5 have different values?
True
Let t(j) = -2*j**3 - 28*j**2 + 35*j + 72. Let x be t(-15). Let d(v) = -v - 9. Let p be ((-14)/8)/((-2)/(-8)). Let m be d(p). Which is smaller: x or m?
x
Let f = 19 - 19.58. Let c = f + 0.88. Is 0.01 >= c?
False
Let n = -81.3 - -40.271. Let o = n - -0.029. Which is bigger: 1 or o?
1
Let i = 1/15 + -11/30. Let d = -52 - -52. Which is smaller: i or d?
i
Suppose -4*y + 7 = -l + 3, -3*y + 16 = -4*l. Let s be (164/26)/2 - 2/13. Suppose 0 = 3*p - 4*c + c + s, y = 4*p + 5*c - 5. Which is smaller: -2/15 or p?
-2/15
Let w be ((-25)/(-270))/((-15)/(-99)). Which is smaller: w or 1?
w
Let f be (-10)/30*-15 - 2882/574. Which is smaller: -1 or f?
-1
Let x = -1.52 + -39.18. Let p = x - -41. Which is greater: 2/7 or p?
p
Let a be (-496)/(-4) + (-5 + 4)*3. Which is smaller: a or 124?
a
Let m = 21.7 + -22. Let s = -3 + 2.99. Is m > s?
False
Let d = 420.1 + -420. Suppose 4*a - 4 = -2*r - 2, -9 = 3*r. Let g = 4 - a. Do d and g have the same value?
False
Let q = -0.3 + 0.1. Let n be (80/(-15) - -5) + (-211)/(-3). Let o = 212/3 - n. Which is smaller: o or q?
q
Let l be 2*(3/1 - 2). Suppose -l*s + 299 = -s. Let p = -3287/11 + s. Which is bigger: p or -1?
p
Let q be (-4)/(-30) + (889358/120)/67. Are 1/2 and q non-equal?
True
Let d be (-7)/(-63)*3*3. Which is greater: d or -3/17?
d
Suppose -2*q - j + 6 = 0, 4*q = j + 2*j + 32. Suppose -p = -5*p - q*t, p + 7 = -3*t. Suppose 4*k - 1 = 19. Is k less than p?
False
Let u = -6 - -6. Suppose u = i + i + 6. Let p be 3 + 140/(-24) - i. Which is greater: p or -0.1?
p
Let i = -67 - -72. Suppose 2*j - i*j - 3 = 0. Which is bigger: j or 4/9?
4/9
Let f be (-744)/465*(-3)/8. Which is greater: -2/9 or f?
f
Suppose -2*x - 2*g = -10, 8*g + 15 = 3*x + 5*g. Suppose -2*c = 8*h - 4*h + 16, -7 = x*c - h. Do c and 3/5 have the same value?
False
Let n = -47/18 - -385/144. Which is bigger: -2/25 or n?
n
Let q(n) = n**2 + 12*n + 14. Let y be q(-10). Let c be (y/5)/(9/30). Let i be -2 + 2 - (2 - c). Which is smaller: -8 or i?
-8
Let q = -30 - -32. Suppose -q*g - t = t - 6, t - 7 = 3*g. Which is bigger: g or -1/4?
-1/4
Let z be (6180/48)/((-1)/2). Do z and -258 have the same value?
False
Let h(x) = -14*x - 2. Let n be h(-1). Suppose -n = -m + 3*m. Suppose -5*v = 2*j + 22, 5*v - 3*v + 3*j = 0. Is m smaller than v?
False
Let r be 5/15 - (-198)/(-459). Which is smaller: r or 0?
r
Let s(u) = u**3 - 10*u**2 - 10*u + 6. Let h be s(11). Suppose -3*d + h = 104. Which is greater: d or 1?
1
Let o = -8449/2718 - -8/151. Which is bigger: o or -3?
-3
Let s = -1155 + 1152.71. Let d = -54.29 - -54. Let g = s - d. Is 0.03 at least g?
True
Let i be (5/(-12))/(5/(-9)). Is 0 < i?
True
Let l = -1.17 - -0.07. Let u = -0.1 - l. Let f = 0.302 - 0.202. Are f and u non-equal?
True
Let w = -23 + 14. Let g = w - -2. Let k be g*(8/28)/(-1). Is -1 at least as big as k?
False
Let t = 1568.6 + -1569. Is t less than or equal to 1?
True
Let j be (16/6 - 3)/((-2)/372). Which is smaller: 60 or j?
60
Suppose 0 = h - 6*h - 2655. Let c be h/528 + (0 - 2). Let f = c + 31/11. Which is bigger: -1 or f?
f
Let j(t) = -t**3 + 20*t**2 - 21*t + 39. Let s be j(19). Let a = -4/91 - 19/1638. Which is smaller: a or s?
a
Let i = 24 - 11. Let c = i + -11. Suppose 3*k + c = 2*k. Which is bigger: 1/3 or k?
1/3
Let x = -20 - -24. Suppose -3*j + 14 + x = 0. Is 6 != j?
False
Let d = -1949.1 + 1949. Which is smaller: d or -30.8?
-30.8
Let y = -12 + 6. Let i = -1 + y. Let x = i + 11. Which is smaller: x or 0?
0
Let z(h) = 3 - 13 - 19 + 2*h. Let o be z(14). Which is smaller: -1/47 or o?
o
Let r = 441 - 439. Is r equal to 38/17?
False
Let w = -46 + 4. Which is smaller: w or -211/5?
-211/5
Let x be (-7)/((-42)/36) + -43. Is x at most as big as -38?
False
Suppose 4*s - j + 6488 = 0, 0 = 2*j - 28 + 20. Are s and -1622 non-equal?
True
Let y = -0.13 + 4.93. Let g = y + -2.8. Is -7 bigger than g?
False
Suppose 0 = -p + 6*p. Suppose p = 3*d - 4*y - 5, 5*d = d - 5*y - 14. Let v = 345 - 2069/6. Are d and v nonequal?
True
Let k = -882 - -892. Which is smaller: 14 or k?
k
Let u = 48.922 + 0.078. Let i = u + -86. Which is smaller: i or -2/9?
i
Let l = -13 + 17. Suppose l*f - 3*q + 2*q - 1 = 0, 3*f + 12 = 5*q. Let i be f + 2/6*-4. Which is bigger: i or 0?
0
Let l be (22/(-10))/(-1) - 2. Suppose 80 = -5*g + 10. Let i be (-6)/(-8) + g/8. Is i smaller than l?
True
Suppose 4*k - 2*l + 4 = 2*k, 26 = 2*k + 4*l. Suppose -30 - 18 = k*g. Let t be (4/(-10))/(g/10). Is t at least as big as -1/4?
True
Let k = -10.63 - -10.6. Is k at most -4/5?
False
Suppose 12*o - 36*o + 24 = 0. Is -5/59 smaller than o?
True
Let u = -0.544 + -0.456. Which is greater: -82 or u?
u
Let f = 111 - 110. Let k be f/((36/(-8) + 4)/(-1)). Which is smaller: k or -12?
-12
Suppose 5*i - i + 15 = -t, 0 = -2*i - 8. Let j be 26*(t - (-18)/(-16)). Do j and -2 have different values?
True
Let t be 1*-1*(-4)/(-2). Let q(c) = -c**3 + 8*c**2 + 6*c - 15. Let r be q(8). Let p be 44/r*(-3)/2. Is p at least t?
True
Let w = -4/39 + -265/78. Is -4 bigger than w?
False
Let y = -1800 + 1692. Let o(j) = 2*j**3 + 5*j**2 - 3*j + 1. Let l be o(-5). Which is greater: y or l?
y
Let k be 1/4 + 28/16. Suppose -3*y - z + 15 = 0, 12 = 5*y + k*z - 14. Suppose -1 - y = -5*o. Which is smaller: o or 2?
o
Let s be ((-114)/(-171))/((-2)/(-3)). Which is bigger: s or 8/285?
s
Let t(g) = 2*g - 1. Let q(v) = 2*v - 1. Let a = 1 + 4. Let z(c) = a*q(c) - 4*t(c). Let p be z(1). Which is bigger: 0 or p?
p
Let h = -4.77 + -1.06. Let a = 6 + h. Let x = a - 1.17. Is -5 greater than x?
False
Let w = 3 - 6. Su