-2)*156/(-650). Is i at most as big as -5.7?
False
Let c = -27.02 + -2.28. Let b = -28 - c. Let t = b + -1.5. Which is greater: t or 14?
14
Let l(z) = 2*z**2 + 15*z + 47. Let f be l(-5). Which is bigger: f or 160/7?
160/7
Suppose -2*v + 274 = 4*j, 45 + 67 = 2*j - 4*v. Is 55 bigger than j?
False
Let u be -3 + 1 + (460 - -4)*1. Is u less than 463?
True
Let t be 48/32*2/3. Suppose 0 = -5*s + g - 4, -s - 12 = -g - 2*g. Suppose s = 3*o - 2*o + 2. Is o less than t?
True
Let h = 1.7 - 19.7. Let v = h + 8. Let d = v + 11. Which is smaller: d or 0.7?
0.7
Suppose 3*q - 3*r = 2*q - 7, 4*q - 5*r + 21 = 0. Let z be (0 - 4) + 8 + q. Which is smaller: z or -3/25?
-3/25
Let x = -17 - -20. Let c be (-4)/(2/6 + 119/(-51)). Which is smaller: c or x?
c
Suppose 5*r - 491 - 94 = 0. Let o be 35945/r - (-4)/(-18). Let u = o - 1554/5. Is u > -4?
True
Let v = 167 - 159. Suppose -v = 8*b + 104. Which is smaller: -17 or b?
-17
Let a be (12 - 32/(-8))/39. Is -1 less than a?
True
Let f be (-4 + (-2132)/(-8))/6. Which is smaller: 43 or f?
43
Let a = 290 - 869/3. Which is smaller: a or 90?
a
Let r(c) = 2*c**2 - c + 34. Suppose 2*u - 9 - 6 = -3*f, 2*f - 10 = -2*u. Let p be r(u). Which is smaller: 35 or p?
p
Let x(q) = q**3 - q**2 + 1. Let t be x(0). Suppose f + 1 = -t. Which is smaller: 0.2 or f?
f
Let b be 2 - (-1 + (-10)/(-5)). Suppose -2*k - 3*m = -79, -6*m - 125 = -3*k - 4*m. Let q = k + -121/3. Are q and b unequal?
True
Suppose 4*w + 254 = 258. Which is smaller: w or -5/329?
-5/329
Let k(c) = -c**2 - 6*c + 1. Suppose 4*d - 1 - 3 = 2*q, 3*q = -2*d - 6. Suppose 15 = -3*b - d*b. Let u be k(b). Which is smaller: u or 8?
u
Let f be 0*(-2)/12*-6. Is f < 42/37?
True
Let t(a) = -13*a - 143. Let m be t(-11). Which is smaller: m or -1/1072?
-1/1072
Let r be (-2 + 4)/(4/(-2)). Let h be 6/8 - r/(-2). Suppose 10 = 4*j + 5*u + 1, -3*j = -2*u - 1. Which is bigger: j or h?
j
Let j = -62 - -42. Let b = j - -21. Which is greater: b or 1/40?
b
Let k = 32 + -29. Which is smaller: k or -6?
-6
Let z = 81 + -39. Suppose s + 2*s = z. Suppose 2*i + 6 = -2*h, -2*h = -4*i + 2 - s. Which is bigger: h or 3?
3
Let w = 12 + -10. Let i = 0.137 + -0.237. Which is greater: w or i?
w
Let r be (5 + -3)*(33/22 - 2). Which is smaller: -6/467 or r?
r
Suppose 4*h = -s - 18, -s - 11 = -4*s + h. Let z = 0.11 + -72.31. Let l = -73 - z. Which is bigger: s or l?
s
Suppose -15 = 3*h - 0*h, 5*o + 55 = -h. Let g = -10 - o. Let p = 16/225 - 24/25. Which is smaller: g or p?
p
Suppose -5*a - 25 = 0, 2*f = -10*a + 13*a + 13. Is 2/99 greater than or equal to f?
True
Let u be 0 - 61/(-3) - 3. Let v = -367/21 + u. Let o = -7 + 7. Is v >= o?
False
Let d be -1 + 1 + 6/13. Let b(g) = -7*g + 1 + 3 + 1 + g**2. Let r be b(6). Are d and r equal?
False
Let w be 3/(-4) + 4680/224. Is 21 < w?
False
Let n(j) = -j**2 - 3*j + 12. Let m be n(-8). Let s = m + 83/3. Let v = 24 - 39. Is v bigger than s?
False
Suppose -13*l + 14*l - 28 = 0. Which is smaller: 25 or l?
25
Suppose -1 = -2*s - 77. Are s and -40 nonequal?
True
Suppose -m - 4 = -0*m, 0 = 5*y - 4*m - 11. Let z be (0 + y/2)/(2/(-76)). Are 18 and z non-equal?
True
Suppose 3*v - 38 = 2*t, 0*v = 5*t - 2*v + 95. Suppose 0*k + k + 14 = 0. Let y = k - t. Which is bigger: y or 2?
y
Let o(u) = -u**3 - 8*u**2 + u + 8. Let g(y) = 3*y - 3. Let h be g(2). Suppose 33 = s - 5*s + x, h*s = 4*x - 28. Let m be o(s). Is -5 at most as big as m?
True
Let j(o) = o + 11. Let i be j(13). Let x be (676/(-39))/(2/(-3)). Which is smaller: x or i?
i
Let k = -3/22 + 31/66. Let z = 1034 - 1043. Is z at least as big as k?
False
Let o(c) = -5*c**2 - 11*c - 33. Let h be o(-7). Is -201 at most as big as h?
True
Let t = -86.1 - -76. Let s = t + 10. Let w = 0.6 - s. Which is bigger: 0 or w?
w
Suppose -7*z = -3*z + 24. Let h be ((-51)/z*7)/(-1). Let l = h + 55. Which is smaller: l or -4?
l
Let z = 462 + -465. Which is greater: z or -31/9?
z
Let k be (-10 - -4)*(-8)/6. Which is smaller: 14 or k?
k
Suppose -5*a + 37 = 2. Let h be (-4)/18*a/21. Suppose 3*g - i + 1 + 7 = 0, 2*i - 6 = -4*g. Is h at most as big as g?
False
Let o = 3.53 - 3.43. Are o and 68 non-equal?
True
Let z(p) = -p**2 - 7*p - 6. Let f be z(-4). Suppose f = -h + 4. Suppose 18*t = 21*t + 6. Is t at least h?
True
Suppose -8*d = -6 - 18. Suppose 0*s = 5*s. Is d smaller than s?
False
Suppose -8*l = -3*l - 1075. Let q = l + -4947/23. Is q less than -4?
False
Suppose 0 = 6*k - 2*k + 5*w + 121, 2*k + 28 = 4*w. Which is greater: k or -28?
k
Let w = 5122147/6381 + 1460/709. Let n = -1877 - -2684. Let s = w - n. Is s less than or equal to -3?
False
Suppose -780*j + 741*j = 51 - 12. Let r = -14/9 + 1/18. Is r smaller than j?
True
Let k = -5/514 + 87/114622. Let b = k + -649/2230. Suppose -3 = -f - 2*f. Which is bigger: b or f?
f
Let z(h) = 2*h**3 - h**2 + 2*h - 2. Let c be z(3). Let o be c*5*(-8)/(-140). Suppose -4*t - 30 = -4*u + 18, 2*t + 9 = u. Do u and o have the same value?
False
Suppose 2*l - 3002 = 2812. Let i be (-2)/9 + 340/l. Is 1 greater than or equal to i?
True
Let j = 2.32 - -1.53. Let i = j - -0.15. Let s = 5 - i. Do s and 0.01 have the same value?
False
Let u be (-4 + 0 + 4)*(-2)/(-4). Let q = -74922/23 + 3258. Which is smaller: q or u?
u
Let v be 8 + (-6)/18*-18. Is v < 3/4?
False
Let c = -139 - -135. Let n = -5 - 0. Is n at least as big as c?
False
Let u = -1.19 + 0.39. Let s = -0.7 - u. Let z = -3.7 - -3. Which is greater: z or s?
s
Let b = -1.2 + -0.2. Let a = -4.4 - b. Let w = 3 - 3.3. Is w greater than a?
True
Let m = 996236/261 - 3817. Which is smaller: m or 1?
m
Suppose 3*h - 3*w - 39 = 0, -6 - 4 = 5*w. Let v(z) = -10*z + 60. Let b be v(18). Let l = b - -131. Do h and l have the same value?
True
Let n = 103169/238 + -867/2. Which is greater: -1 or n?
n
Let d be 0 - -1 - (9 + 1030/(-110)). Which is smaller: 0 or d?
0
Suppose -2 = 2*b, 3*k + 2 = k - 2*b. Is 132 smaller than k?
False
Let o = -1 - -2. Let j(b) = -b**3 + 14*b**2 - 18*b + 31. Let k be j(13). Let u be 0 - ((-30)/k - o). Is u at most 0?
False
Suppose 5*x = -11 + 1. Let b be (2/3)/(x/3). Does b = -0.05?
False
Suppose 3*o + 4*c + 17 = 0, -3*c + 11 = -o + c. Are 9 and o unequal?
True
Suppose -107*f = -446 - 624. Is f at most 156/17?
False
Let y = 2.08 + -2.08. Let p = -0.04 - 20.96. Is p smaller than y?
True
Suppose 9*d - 10*d - 9800 = 0. Let o be (d/(-4815))/10 + (-4)/18. Is o smaller than 0?
True
Suppose -3*r - h - 7 = 0, 4*h + 7 - 6 = -3*r. Is -30/13 > r?
True
Let j be (-92)/(-143) - (-2)/(-11). Which is greater: 2/5 or j?
j
Let o(c) = -43*c + 2. Let f be o(-4). Let k be (f/4)/((-422)/(-34)). Let d = k + -1/211. Is 5 smaller than d?
False
Suppose -26*b - 152 - 628 = 0. Is b > -33?
True
Let t = 451 - 450.9. Let z(w) be the first derivative of w**2 + 3*w + 2. Let j be z(-4). Is t greater than or equal to j?
True
Suppose -4*u = 1 - 17. Suppose -2*y - 4 = u*t + 14, 0 = -4*t + y - 3. Suppose 3 = k - 2*k. Is t at most k?
False
Suppose 2*q + 2*x + 4 = -q, 4 = q - 2*x. Suppose -13*i + 939 - 224 = q. Is 55 > i?
False
Let m be 82/12423*(-3)/23. Is m not equal to -1?
True
Let o be 418/(-14) + 6/126*-3. Is -29 greater than or equal to o?
True
Let h(u) = u**3 - 8*u**2 + 16*u - 8. Let p be h(4). Which is bigger: 0.7 or p?
0.7
Let b(j) = 5*j**3 - 3*j**2 + 2*j. Let g be b(1). Let p be 4 - (3 + (g - 4)). Which is smaller: -1/22 or p?
-1/22
Suppose -10 + 11 = t. Are 191 and t nonequal?
True
Let p be -1 + 2 + 663/(-17). Is -35 > p?
True
Suppose -3*t + 9 = 0, -4*k + t - 1 = 2*t. Let f = -1597 + 1129. Let u = f + 7954/17. Is u > k?
True
Let g be 5/2*4/35. Let v = 0.1 - 9.3. Let r = v + 9. Are r and g equal?
False
Suppose 2*y = 9*y - 70. Suppose -y*i = -7*i + 21. Which is smaller: -2 or i?
i
Let y = -57431/332124 - 1/6387. Which is smaller: 2/3 or y?
y
Suppose 2*u - 4*u = 28. Let x be 2/(-6)*-2*21/28. Is u > x?
False
Let n = -1266 + 1880. Does 614 = n?
True
Suppose -4*s - 2*y = 14, 2*s - 2*y + 30 = 8. Is s smaller than -26/5?
True
Let t(c) = -13*c + 4. Let w be t(1). Let h be 3/w + 19/21. Which is greater: 0 or h?
h
Let h = -26454 + 43516828/1645. Which is smaller: 1 or h?
h
Suppose 7 + 9 = 8*w. Let i be (w/42)/((-14)/(-168)). Let x = 8 + -11. Is x > i?
False
Let l = 12 + 1. Let j be (-26)/5 + 18/(-135). Let o = j - -29/6. Are l and o nonequal?
True
Suppose g = -5 - 16. Let f = -18 - g. Suppose 0 = f*