ater: -164 or b?
b
Let f be 9/(-1707)*(28/(-12) - -3). Which is greater: f or -1?
f
Let l(t) = 3*t**3 + t**2 + 5*t. Let r(i) = -2*i**3 - i**2 - 3*i. Let a(h) = -3*l(h) - 5*r(h). Let n be a(-1). Let g be 24/14 - 1 - n. Which is bigger: 1 or g?
1
Suppose 0 = 5*w + 2*m - 85, 0 = 3*w - 3*m - 61 + 10. Suppose -h = w*h - 36. Let u(f) = -4*f**3 + f**2 + f. Let a be u(-1). Which is greater: a or h?
a
Let a be 1/((-1)/5) - (-42 + 60). Which is smaller: -24 or a?
-24
Let p(z) = 4*z - 5. Let s(r) = 5*r - 5. Let x(u) = 7*p(u) - 6*s(u). Let m be (-4)/10 + (-36)/10. Let a be x(m). Which is smaller: 6 or a?
a
Let o = 0.0256 - -1.0044. Is o bigger than 1/3?
True
Let d = -25 + 35.2. Let t = d + -0.2. Let z = t - 10.3. Which is greater: 0 or z?
0
Let a be -6*(-27)/15*5/2. Let j = a + -25. Is j >= -16?
True
Suppose -6 = -10*j + 8*j. Suppose x + 4 = s + 2*x, -j*x - 16 = -s. Which is smaller: s or 2?
2
Suppose -289 + 85 = -3*t. Is 68 smaller than t?
False
Let l(d) = -3*d**2 - 3*d + 8. Let k be l(-4). Let g = k - -23. Which is greater: g or -7?
g
Let t = 6 - 5. Let q = 1.01 - t. Let b = q + 0.09. Is b greater than or equal to 13/3?
False
Let f = 90 + -84. Let l be (1 - 2)/(f/(-21))*6. Which is smaller: l or 20?
20
Let a(s) be the third derivative of s**6/360 - 7*s**5/60 + 3*s**4/8 + 9*s**2. Let j(v) be the second derivative of a(v). Let d be j(6). Is -4 greater than d?
False
Suppose 0*h = 4*h - 28. Let y = -19 + h. Let x be (3/y)/(2/8). Are x and -2/7 equal?
False
Suppose -g = -4*t + 3, 4 = -3*t + g + 7. Which is bigger: 3/7 or t?
3/7
Suppose -5*g + 268 = 4*r, -2*g + 208 = 3*r - 0*g. Let z = 132 - r. Suppose 37 = 2*v + 5*y, -4*v - 3*y + 21 = -z. Which is smaller: v or 22?
v
Let x be (-1)/(-1) - (-16)/4. Suppose 17 - x = 4*u. Is 0.6 > u?
False
Let t(h) = -h**2 + 3*h. Let g be t(2). Suppose g*d = d + 3. Let p be (d - (-7)/(-2))*0. Which is smaller: p or 3/10?
p
Let q(o) = o**3 + 15*o**2 + 20*o + 11. Let a be q(-12). Does 205 = a?
False
Suppose -4*n + 4*b - b + 2 = 0, -2*b + 8 = 2*n. Let a = -30 - -25. Is a > n?
False
Let q = -0.0788 + -0.0212. Is q greater than -10.3?
True
Let u(h) = -15*h + 14. Let z be u(3). Which is greater: z or -0.1?
-0.1
Let x = -9/35 - -204/385. Which is greater: x or 2/51?
x
Let f(k) be the first derivative of 2*k**2 - 15*k + 7. Let d be f(11). Which is greater: 30 or d?
30
Let o = -258.01 + 258. Which is greater: -2 or o?
o
Let o = 2 + -2. Suppose -5 = -3*i + 2*b - 15, o = -3*i - 2*b + 10. Let j be -1 - (1 - 1)/(-58 - -57). Which is smaller: i or j?
j
Let g = 486 - 4853/10. Let u = -6/5 + g. Let h = -7 - -11. Is h smaller than u?
False
Let w(c) be the third derivative of 1/24*c**4 + 13/6*c**3 + 0 + 4*c**2 + 0*c. Let g be w(-8). Does g = 5?
True
Let k = -15 + 11. Let g be 7 + -9 - 1*k. Which is greater: g or 18/11?
g
Let a(c) = -2*c**2 - 7*c + 3. Let s be a(-7). Suppose -3*z - 3 = -15, 5*f - z = -234. Is f != s?
False
Let q be ((-22812)/36)/(-2*(-1)/6). Which is bigger: q or -1902?
q
Let s be 109/(-107) - (-8 + 0 + 7). Which is bigger: s or 0.2?
0.2
Let r be (3 + 40/(-5))/(1 - 2). Suppose 0 = y - 3*z + r + 6, y - 5*z + 9 = 0. Are y and 0 non-equal?
True
Let h(d) = -d**2 + 24*d - 81. Let n be h(4). Is -2/2229 less than n?
False
Suppose -142 + 150 = -8*h. Are 4/17 and h equal?
False
Suppose 4*a = 9*a + 700. Let u = a + 702/5. Let f = 7.5 - -0.5. Which is smaller: f or u?
u
Suppose -3*r + 7*r - 2*x - 20 = 0, -4*x = 2*r - 10. Let a = -307/61 + r. Do a and 0 have the same value?
False
Let u = -7 + 13. Suppose -k - 5*p - 29 = 3*k, -4 = 4*p. Let v(m) = m**3 + 7*m**2 + 3*m - 11. Let h be v(k). Which is bigger: u or h?
h
Let h be ((-9)/(-27))/((-2)/(-30)). Let k = h - 2. Let i = k - 4. Is i at least as big as -2?
True
Let j(u) = -u**3 - u**2 - u + 1. Let f(d) = -2*d**3 + 4*d**2 + d + 15. Let l(x) = f(x) - 3*j(x). Let g be l(-7). Do g and -16 have different values?
False
Let s = -54.1 + 54. Which is smaller: s or 0.0547?
s
Let w = -0.0688 + 406.0688. Which is smaller: 2 or w?
2
Let g be (-6)/(-10)*(9 - -1). Suppose -y = -6*z + z - 29, -y - 2*z - g = 0. Suppose y*v = 3*v. Which is smaller: v or 2/51?
v
Let h(p) = -2*p**3 - 2*p**2 + p - 2. Let c be h(4). Let f be 4/((-40)/c)*(-5 - -6). Which is bigger: f or 17?
17
Let g = 14 + -7. Let y = 21 - 13. Let j = y - g. Is j < 2/23?
False
Let o = -20 - -20.067. Let u = o + -0.067. Is u >= 0?
True
Suppose -2*w + 4*w - 6 = 0. Suppose -2 = -d, 0*k + 4*k - w*d = -98. Let o = -0.0565 + 0.0565. Which is greater: k or o?
o
Let j(p) = -p**2 + 2*p + 1. Let v be j(3). Let s be 1/(v/(14/1)). Let w be (-195)/27 + (2 - (-48)/(-27)). Is w less than s?
False
Suppose 5*s + 545 = 5*r, 5*s + 233 = -13*r + 15*r. Is 102 bigger than r?
False
Let u = 49 + -40. Let c = 12 + -8. Let g = 3 - c. Is u < g?
False
Let n(d) = 5*d**2 - 7*d - 2. Let g be n(4). Let k = g - 50. Which is bigger: k or 2/13?
2/13
Let f be (0 - 18/(-6)) + 2 + -9. Which is greater: f or -2?
-2
Let d(v) = -v**2 - 6*v - 4. Let b be d(-4). Suppose -b*z - 1 + 13 = 0. Suppose -4*y = -h - 5 + 34, -24 = z*y - 3*h. Which is bigger: -6 or y?
-6
Suppose -q + 3 = -3*k + 4*k, k = 2*q + 15. Let v be (k - 228/30) + 226/10. Which is greater: 24 or v?
24
Let h = -2273 + 2220. Is h at most as big as -9/2?
True
Let m = 330 - 475. Is m > 2/3?
False
Let q = -0.43 - 0.27. Are q and -5 nonequal?
True
Let s = -4 - -25. Let i be s/(-14)*74/6. Which is greater: i or -20?
i
Let t(g) = -g**2 - 2*g. Let x = -2 + 4. Let l be t(x). Let f = 8 + l. Is -2/9 at least f?
False
Let r(l) = l + 8. Let y be r(-7). Let m = 5 - y. Let h be 2/(7/m - 2). Is -6 < h?
False
Let z be (1 - 4/7) + (-33)/77. Let h be (z + (1 - (3 + -3)))/(-1). Which is bigger: -2/189 or h?
-2/189
Let w(n) = -9*n - 44. Let p be w(-5). Which is greater: 27 or p?
27
Suppose -402*g = -406*g + 4. Is g > 4/401?
True
Let s = -32 + 33. Suppose 2*i + s = 3*i. Is i at least 1/16?
True
Let c(z) be the third derivative of -z**5/120 + z**4/2 - z**3/6 - 4*z**2. Let r(x) be the first derivative of c(x). Let y be r(6). Is y equal to 0.2?
False
Let o = -0.4 - -0.3. Let l = -559.04 + 559. Which is smaller: l or o?
o
Let k be (-9)/(-4)*(-16)/(-6). Suppose 3*f + 37*x = 40*x + 15, 0 = 2*f - 5*x - 7. Are f and k non-equal?
False
Let y = 30 - 63/2. Let o = 0.065 + 0.015. Is y at most o?
True
Let r = 39.6 + -39.5. Is r <= -436?
False
Let l = 34 - 35.15. Let v = -0.15 - l. Let m = 0.93 - v. Is m less than 1?
True
Let m(r) be the first derivative of -5*r**2/2 + 4*r - 9. Let g be m(1). Let t be (3/10)/(18/15). Which is greater: g or t?
t
Let q = -1010013 + 17175013/17. Let a = -282 + q. Which is smaller: a or 0.2?
a
Let i be 42 + -43 - 3/(9/(-960)). Is i less than 1/4?
False
Let w be ((-72)/(-105))/((-9)/(675/(-10))). Let z = w + -206/21. Which is greater: -5 or z?
z
Let f(q) = 6*q - 252. Let b be f(33). Let m = 96 - 150. Is b bigger than m?
False
Let o = -2749 + 200672/73. Is -1 less than o?
True
Let v = -212 - -207. Is -41 at least as big as v?
False
Let i = -185 - -180. Let d be ((5 + -2)/6)/(i/(-3)). Suppose 0 = -3*k + 4*f, 4*f = 2*f. Is k greater than or equal to d?
False
Let d = 0.147 - 0.161. Let f = d - 1.286. Is -3/4 != f?
True
Let r(w) = 3*w**2 - 27*w + 47. Let x(v) = -2*v**2 + 18*v - 31. Let y(t) = -5*r(t) - 8*x(t). Let g be y(5). Is g greater than -0.2?
False
Let x be -42 + (4 + 1 + -6)*-3. Is -39 less than or equal to x?
True
Let c = 27.62 - 30.6. Let q = c + 3. Let i = 0.98 + q. Which is smaller: i or -3?
-3
Let o = -40.3 + 97.3. Which is greater: -1 or o?
o
Let z(h) = -h + 16. Let j be z(16). Suppose 2*r + 3 = v - 1, -4*v = -4*r + 4. Let f be ((-1)/v)/((-4)/6). Is j bigger than f?
True
Suppose 176*s + 8326 = 153*s. Is s <= -361?
True
Let v = 3.669 + -2.6. Let c = -0.069 + v. Suppose -3*h + 41 = -1. Is h greater than c?
True
Let d = 0.093 + 63.907. Let a = 60.5 - d. Is 1/3 > a?
True
Let a = 105 + -100. Let z(j) = j**2 - 3*j - 5. Let f be z(a). Which is smaller: 17/3 or f?
f
Let y(j) = -3 - 2*j + 18 - 9 + 18. Let z be y(12). Suppose z = 3*t - 20 - 4. Is 8 bigger than t?
False
Suppose 4*u - s = -0*u - 1, 5*s - 5 = u. Suppose u*k - p = 2*k + 7, 0 = 5*k + 5*p + 30. Which is smaller: 1 or k?
k
Suppose 4*n = -4*u + 5*u + 50, -4 = 2*u. Let p = 15662/3 - 5221. Is p at least n?
False
Let p(v) = 3*v + 0*v - 6*v - 2. Let l(u) = u**2 + 13*u + 35. Let q