 10*v**2 - 9*v - 2. Let a be b(-9). Let r be a*(3 - (-15)/(-6)). Is 3 <= r?
False
Let i = -374 - -2249/6. Let p = -11 + 11.17. Let n = 0.83 + p. Which is bigger: i or n?
n
Let q = 109 - 247. Are q and -138 nonequal?
False
Let w = -8 + 163/21. Which is smaller: -1 or w?
-1
Let a be ((-1)/(-24))/(10 + -9)*-5894. Let j = -245 - a. Which is smaller: j or 1?
j
Let m = 2.597 + -0.597. Is m at least as big as 40?
False
Let b = 1/1063 + 1056/7441. Which is smaller: b or -0.28?
-0.28
Suppose l = -12*l + 767. Let o = l + -59. Which is greater: o or -2/17?
o
Let s = -17142 + 14930684/871. Is 0 greater than s?
False
Let f = 1499/8 + -566/3. Let v = -5/12 - f. Which is greater: v or 2?
2
Suppose 46*f = 1376 - 456. Which is smaller: f or 10?
10
Suppose -3*b + 11 = -28. Let w = -6 + b. Let l = -423 + 428. Is l <= w?
True
Let s = -323 - -2911/9. Suppose 0 = p - 1 - 3. Suppose -p = -2*y + 6*y. Which is smaller: s or y?
y
Suppose -14*f + 12*f - 2*a = -98, 5*f - a = 233. Which is greater: 2 or f?
f
Let f be (-1)/3*42/2. Let r = -3 + f. Do r and -11 have the same value?
False
Let u(n) = -n**2 + 20*n + 41. Let h be u(23). Are -1 and h unequal?
True
Let p = -3317/261 - -115/9. Let g be 4/22 + (-14)/77. Is p at least g?
True
Let c = 7 + -10. Let y = 47.088 - 0.088. Let q = 44 - y. Is c less than q?
False
Suppose -55*w + 240 = -61*w. Which is greater: -4 or w?
-4
Let f = 45 + -47.24. Let i = -2.2 - f. Which is smaller: -2 or i?
-2
Let m = 25 + -16. Suppose -272*g = -34*g + 77*g - 2835. Are m and g non-equal?
False
Let t = 1871 - 1854. Is t != -2?
True
Let g = 0.2 + 0.3. Let z = -2500 + 2498. Is g greater than z?
True
Let y be 72/39*(-1)/(-3). Let l(t) be the second derivative of 5*t**3/6 + 37*t**2/2 - t. Let j be l(-7). Is y > j?
False
Let l = 78 - 43. Let o = 35.011 - l. Is o bigger than -0.1?
True
Let l = 69 - 482/7. Let m(b) = 2*b**3 - 24*b**2 + 4*b + 20. Let t(o) = o**3 - o**2 + o. Let a(c) = -m(c) + 3*t(c). Let d be a(-21). Which is smaller: l or d?
l
Let l = -1388 - -1387.8451. Let f = 9.1249 + l. Let b = -9 + f. Does b = 1?
False
Suppose 6*y = 7*y. Is y smaller than -2/175?
False
Let z(q) = -2*q**2 + 8*q + 6. Let c be z(6). Let m(l) = l**2 + 20*l + 27. Let i be m(c). Which is bigger: i or -11?
i
Let k = 511 - 1003/2. Is k at least as big as 6?
True
Let m be -94 + (-5)/((-5)/(-4)) - -4. Is m > -95?
True
Let u = -12 - -14. Suppose 0 = -2*z - o - 10, -3*z - 2*o - 11 = -u*z. Let w = z + -2. Are -3 and w nonequal?
True
Let m be ((-12)/(-705)*1)/((-6)/(-45)). Which is bigger: m or 0.1?
m
Let l(m) = -2*m**2 + 4*m. Let x be l(0). Do x and -6/199 have different values?
True
Suppose i = -2, 7*i = -3*u + 2*i + 956. Which is smaller: u or 1?
1
Suppose 32*v + 682 = -118. Is -25 at least v?
True
Let n = 0.9328 - -0.0672. Suppose 5*h + 5*s = -20, -3*s = -3*h - 2*s + 4. Suppose -4*x + 4*o = h, -4*o + 3*o + 2 = x. Is x > n?
False
Let a(n) = -n**3 + n**2. Let g be a(0). Suppose d = 2*h - 31, 0 = -5*h + 2*d + 79 - 4. Let m be (h + -4)/(14/(-2)). Is g <= m?
False
Suppose -292*g = -272*g + 20. Which is smaller: g or 10/109?
g
Let a(p) = p**2 - 9*p + 5. Let o be a(7). Let u be (1/2*-7274)/o. Let x = u + -405. Does -2 = x?
False
Let x = 122 + -122.057. Let k = x - 6.943. Let o = 2 - 2. Is o <= k?
False
Let w = 134.91 - 134.2. Is -2/7 less than or equal to w?
True
Let i be 18/(-3) - (6 + 2844/(-238)). Is i equal to 0?
False
Suppose 2*s = 101 + 203. Which is smaller: 153 or s?
s
Let x = -3416/5 + 711. Is -2/9 <= x?
True
Suppose -6*g = -3*g - 15. Suppose -2*w = 3*k - 7, -5*w - 3*k = -2*k - 11. Suppose 0 = -w*i - 3*i + 3*c + 35, -2*c = i + 6. Is i less than g?
True
Suppose -5*r + 76 = -19. Let n = r + -17. Let o = n - 6. Are o and -2 equal?
False
Suppose 2*l - 3*p + 2 = 0, -2*l - 4*p + 12 = -0*p. Let r be 15/10*(-2)/(-3). Let v = r - l. Which is greater: -0.09 or v?
-0.09
Let w = -0.9 - 0.1. Suppose -85 = -3*o - 79. Suppose -3*k + 4*i - o = -4*k, -4*k - 3*i - 5 = 0. Which is smaller: w or k?
k
Suppose -5*k - 445 = 135. Which is greater: k or -114?
-114
Suppose -36 = l + 34. Is l >= -71?
True
Let b = 753.5 - 753. Is b bigger than 39?
False
Let j(a) = -a**2 - 6*a + 4. Let s be j(-6). Suppose -x - 3*z = 12, -x + s*z + 8 = 2*z. Suppose x = v + 2*v + 15. Is v at least -0.1?
False
Let s = 81 + -83. Suppose 2*i = 3*a - 36, -a - 4*i + 29 = i. Let z be a/(-8) - 3 - -2. Are z and s equal?
False
Let u = -8 - -8. Let k = 71 - 111. Let z be ((-2)/k)/((-2)/(-8)). Which is bigger: u or z?
z
Let j be 24 - (0 - 1)*3. Which is smaller: j or 29?
j
Suppose 3*s - s - 18 = 0. Let h = 13 - s. Let g(m) = m**2 - 5*m + 2. Let t be g(h). Which is greater: 1/3 or t?
1/3
Suppose 37 = 23*i + 14. Let o be (3/(-12))/((-10)/36). Which is greater: o or i?
i
Let j = -21 - -29. Suppose 24 = 3*p - 5*a, j = -4*p + 2*a + 40. Let x(t) = t**3 + 46*t**2 - 205*t - 243. Let d be x(-50). Which is smaller: d or p?
d
Let y be (-15)/6*(-8)/10. Let m = -9.5 - -0.3. Let g = m - -2.2. Is y < g?
False
Let z = -11.38 - -75.38. Which is smaller: 6/11 or z?
6/11
Let i(y) = 7*y**2 - 193*y + 26. Let r be i(25). Is r less than -424?
False
Let k(g) = g - 6. Let m = 28 - 25. Let v be k(m). Does v = -17/9?
False
Let p be (-1)/((-2 - -1)*-1). Let q be (-1 + 11)*2 + 1. Suppose -18 + q = -3*n. Are p and n nonequal?
False
Let g be (-5 - -2) + 4950/1827. Let x = g + -4/29. Which is greater: x or 0?
0
Let t(z) = 14 + 10*z + 13 - 16 + z**2. Let h be t(-12). Let i be (-15)/h - (-20)/14. Which is bigger: 2/19 or i?
i
Let x be 30 + -33 + 11/4. Which is bigger: x or 5/201?
5/201
Suppose 6*q + 1978 = -1232. Is q less than or equal to -535?
True
Suppose -4*d = -d - 12. Suppose 3*j - d = 2*j. Suppose -5*z - 14 + j = 0. Which is smaller: 0 or z?
z
Suppose 0*j - 5*n - 10 = j, 3*n + 74 = -4*j. Let z be 4/j*(4 + -3). Which is bigger: -1 or z?
z
Let x be 11/1 - (-6 - -7). Suppose -4 = v, 2*v = -3*y - 1 - x. Is 55 equal to y?
False
Suppose -1144 = -72*z + 83*z. Is -1/3 at most as big as z?
False
Let f be ((-5448)/4 - 8) + 3. Is f <= -1366?
True
Let n(v) = -v**3 + 5*v**2 + 8*v - 9. Let a be n(6). Let r be (-98)/(-258) - a/9. Let h = -137/172 + r. Which is greater: 0 or h?
0
Suppose 0*w = 4*w. Let b = -2/799 - -1800/80699. Let u = -311/404 + b. Is u bigger than w?
False
Suppose -78 = -2*o - 22. Let z be (1 + -9)/((-7)/o). Which is smaller: z or 33?
z
Suppose -5*o + 0*o + 5 = 0. Suppose -4*a - 20 = 20. Let p be 4/a - (-4)/35. Which is smaller: p or o?
p
Suppose 25*m = -651 + 176. Is m less than or equal to -19?
True
Let u(v) = v + 1. Let l be u(-12). Let p(z) = z**3 + 11*z**2 + z + 14. Let b be p(l). Let i = b - -1. Which is bigger: i or 5?
5
Suppose 3 - 3 = -29*q. Is q less than or equal to -5/11?
False
Let h = -3.28 + 5.28. Let t = -31 - -44. Suppose 5 - t = 4*f. Which is bigger: f or h?
h
Let m = 4 + -1. Let r be -11*3/(-12) - m. Let b = -8.2 + 8.34. Is b < r?
False
Let a be 12*((-615)/610 + 1). Which is smaller: a or 1?
a
Let r be ((-372)/(-18))/(8/6 + -1). Let g = 60 - r. Is -11/5 at most as big as g?
True
Let i = -1391.27 - -1393. Is -2/7 less than or equal to i?
True
Let c = -0.144 + -68.856. Let t = c + 72. Which is smaller: t or -0.07?
-0.07
Let g be ((-1)/(-1))/(-5 - -4). Let n = 9876/2879 + -46524314/13171425. Let s = -4/183 - n. Which is greater: g or s?
s
Suppose -3 = 3*q - 9. Let x be (-15 - -21)*4/(-15). Let h = q + x. Which is greater: h or 2/15?
h
Suppose w = k - 0*w + 32, 5*w = 15. Let m = 27 + k. Let s be 1 + m + (6 - 4). Is 7/3 greater than s?
True
Let f be 19/(-4)*(-1 + -3). Suppose -5*o - 41 - f = 0. Let p(m) = m**2 + 6*m + 5. Let x be p(-5). Which is bigger: o or x?
x
Suppose -3*w - 1 = -5*k, 4*w + 6*k - k = -48. Let l be 1/3 + 16/30*w. Is -2 at most as big as l?
False
Let x = 0.3 + -0.4. Let k = -1.2 - -2.4. Let s = k + -1.16. Is x not equal to s?
True
Let y(v) = -v**3 - 8*v**2 - 6*v + 3. Let j be y(-5). Let k(i) = -3*i + 12. Let d be k(18). Are j and d equal?
True
Suppose -86*m - 64 = -94*m. Are -50 and m equal?
False
Suppose 0 = -16*g - 5*g + 1827. Is g less than or equal to 87?
True
Suppose 6*q = 2*q - 15*q. Which is bigger: -3/271 or q?
q
Let q = 87 - 85. Let f be q - (0 + -1) - (-39)/(-15). Which is greater: f or 11/2?
11/2
Let x be (1 - (3 - 2))*(-2)/(-4). Is x greater than 1/65?
False
Let d(y) = y**2 - y. Let m(w) = -3*w**2 - 11*w + 