
Let m = -4.29 + 3.29. Let q be -2 + ((-720)/(-89))/4. Is m > q?
False
Suppose 0*m = -5*m - 90. Suppose -226*b - 2645 = 745. Which is smaller: b or m?
m
Let h be 3 + -6 - -2 - 9. Suppose -3*w = 2*w - 140. Let g = w - 39. Is h >= g?
True
Let n be 39/(-65) + (-14)/10. Is -6 at least as big as n?
False
Let r be ((-11)/(-5) - 2) + 5940/225. Is r less than 27?
True
Let t(q) = q + 12. Let n be t(-9). Suppose w - 6 = -u + 6, u = -2*w + 16. Is u < n?
False
Let q = -1.835 + 1.635. Which is bigger: q or 277?
277
Suppose 0 = g - 0*p - 4*p - 8, 3*p = -g - 6. Let j = -2999/468 - -75/13. Let y = j - -8/9. Which is smaller: g or y?
g
Let f(u) = 2*u**3 - 3*u**2 + 9. Let k(i) = 5*i**3 - 10*i**2 - i + 27. Let c(m) = 8*f(m) - 3*k(m). Let j be c(-5). Is 1 at most j?
True
Let l(q) = 3*q**3 + 3*q**2 - 6*q - 5. Let g be l(-2). Which is smaller: g or -8?
-8
Let n be (6 - 5)/((-2)/6). Let p be (-6)/((-24)/7) + n. Is p at least 0?
False
Let m = 1.24 + -0.77. Let r = 0.032 + -0.302. Let x = r + m. Is 3/5 != x?
True
Let k = 76 + -113. Let v = 23 + k. Let h = 4 - 18. Is v at least h?
True
Let r = -0.148 - -70.148. Which is bigger: 2 or r?
r
Let r = -4.6 - 0.4. Let l = r + 8. Let k = 7 - 6.9. Which is greater: l or k?
l
Let r(k) = -k**3 + 11*k**2 - 10*k + 14. Let l be r(10). Let p = -11 + l. Suppose -37 = p*d + 2*j, -2*d - 2*j + 51 = -7*d. Which is smaller: d or -12?
-12
Let s(t) = -t**2 - 5*t + 1. Suppose 0 = a - 4*a - 15. Let m be s(a). Is 1/5 > m?
False
Let l(m) = -372*m + 11. Let k be l(6). Let s = k + 93271/42. Let v = s + -1/14. Do v and -1 have different values?
True
Suppose -w + 30 = b - 6*b, 3*w = -4*b + 14. Let r = -1085 - -4383/4. Is w greater than or equal to r?
False
Let z = -16515 + 48653/3. Are z and -296 nonequal?
True
Suppose -1376 = 485*s - 493*s. Are 2 and s non-equal?
True
Let c = 0.05 - 0.2. Let j be -4 - (-13)/(117/54). Is c greater than j?
False
Suppose 3*h = -3*b - 0*b - 12, b = -4*h - 7. Let v = 2 - h. Let s(g) = g**3 + 4*g**2 - g - 3. Let u be s(-4). Which is smaller: v or u?
u
Let x = 107.023 + 1.977. Is -1/6 equal to x?
False
Let r(n) = 11*n**3 - 1. Suppose 2 = -0*u + 2*u. Let w be r(u). Suppose -5*i = -w*i + 15. Which is smaller: 0 or i?
0
Let o(x) = -x. Let a be o(-8). Suppose -a*z + 5 = -3*z. Let y = 3 - z. Which is smaller: y or 2/3?
2/3
Let q be (1/4)/(57/(-22040)). Which is bigger: -98 or q?
q
Suppose -3*z + r = 16, -17 - 21 = 4*z + 2*r. Let i be z/14 - (-3)/(132/14). Which is smaller: i or 0.01?
i
Let d be (26/(-6))/((-1)/(-3)). Let g = d + 17. Suppose 12 = g*h - 6*h. Which is smaller: -7 or h?
-7
Let x = 64 + 83. Is x < 0.2?
False
Let d = 1152/40919 + -2/493. Which is greater: d or 1?
1
Suppose 0 = 5*p + 3*t - 20, 2*p - t + 1 = -2. Suppose -4*i - 11 = -w, -4*i = -i + 2*w + 22. Let n be 2 + i/6*(-3 + 6). Is p smaller than n?
False
Let q(j) = -j - 13. Let k be q(-9). Let d be -1 - k - -3 - 3. Let m be 0 + d - 214/70. Does m = -1?
False
Let p = -278.6 + 279. Which is smaller: p or -0.3?
-0.3
Let p be (-1)/(-1) + (3 - 3). Let l = 43392 + -302418/7. Let c = -189 + l. Which is bigger: c or p?
p
Let j = -1035 - -1016.83. Let a = j + -1.83. Suppose 1 + 0 = -l. Which is smaller: a or l?
a
Suppose 2*z - 13 = -5. Suppose -z*x - 1 = 3. Let v = -3.9 + 1.9. Which is smaller: v or x?
v
Let c = 3 + 21. Suppose -5*m - m + c = 0. Is 4 > m?
False
Let b = 162.8 + -163. Let d be -2*(-3)/(-3*6). Is b at most as big as d?
False
Let r = -3683/2 + 1797. Is r less than -2?
True
Let m = -32 + 32. Let o = 7 + -7.05. Which is bigger: m or o?
m
Let s = 4962 - 223306/45. Which is greater: s or 1?
1
Let r(t) = t + 19. Suppose y + 11 = -2*s, -4*s + 9*s + y = -26. Let f be r(s). Let q = 14 - 1. Is f smaller than q?
False
Let b be 1*(-10)/(-22)*44880/550. Is b != 36?
True
Let y = -34/173 - -10673/55187. Is y equal to -1?
False
Let f = -336 + 351. Does 13 = f?
False
Let c be 2 + 1/((-3)/(-90)). Suppose 5*p = -4 + 169. Which is bigger: c or p?
p
Suppose 3*l + 8 = 2. Let f be (1 - l/(-3))*0. Which is smaller: f or 1/9?
f
Let h be ((-2)/28)/(48/(-1824)). Do 4 and h have the same value?
False
Let n = -2735 - -2424. Do n and 0 have the same value?
False
Let b = 119 + -240. Is -122 at most b?
True
Let z = 1521.14 - 1521. Is z greater than or equal to 0.3?
False
Let i(s) = -s**3 + s**2 + 10*s - 9. Let h be i(4). Is h greater than -31/2?
False
Let g = -71/126 + 5/18. Suppose d = 3*d + 14. Let y be d/(-133)*(2 + -1). Is y greater than or equal to g?
True
Let u be (19/(-1))/(1/1). Which is smaller: 5 or u?
u
Let g = 63 - 118. Which is greater: -8 or g?
-8
Let a(w) = -w - 12. Let o be a(0). Let i = -8 - o. Let j = -159 + 160. Is j at most i?
True
Let z = -0.116 + 23.116. Let d = 0.089 - -0.011. Are d and z unequal?
True
Let r = -28 + 28.1. Are r and -101 equal?
False
Let q(n) = -n**2 + 9*n + 6. Let x be q(10). Let k be x/2 - 6021/(-1173). Let v = k + -54/17. Is 0 at least v?
True
Let g = 176 - 176. Suppose 3*m = -5*l + 47, -3*m = -4*l + 28 + 15. Which is smaller: l or g?
g
Suppose 3*i - j + 6 = 0, 2*j - 6*j + 10 = 2*i. Which is bigger: 4/9 or i?
4/9
Let s = 1835 - 1873. Do s and -40 have different values?
True
Let v = -279 - -286. Which is greater: v or 15?
15
Suppose -2*n - 8 = 2*b, -b + 12 = 2*b - 3*n. Which is smaller: b or 5/29?
b
Let n be (-4)/3*9*(-2)/12. Let u be (-2)/((1/n)/((-16)/(-32))). Is -12/19 greater than u?
True
Suppose 0 = -2645*p + 2655*p. Which is smaller: 4/839 or p?
p
Suppose -5*h = -0*h - 30. Let i be 15*((-156)/(-30) + -4). Let a be i/(-14) - h/(-21). Which is smaller: a or -7/5?
-7/5
Let p = -6 - -4.9. Let i = -0.18 + 7.18. Let u = i - 8. Which is smaller: p or u?
p
Let m(a) = a + 20. Let d be 335/20 + 6/(-8). Suppose 44 = -3*g - c, 4*g + 2*c = -46 - d. Let v be m(g). Are v and 7 unequal?
False
Let d = 39 + -38.4. Which is bigger: d or -13?
d
Let d(f) = f**3 + 4*f**2 + 2*f - 3. Let g be d(-3). Suppose -q + 3 = 2*j + 2*j, j - 2*q - 3 = g. Suppose j = n + 3. Which is greater: n or -3?
n
Suppose -c - 3*c - 4*d - 80 = 0, -4*c = -d + 70. Let l = c - -16. Let g(o) = -o**3 + 10*o**2 - 10*o + 7. Let z be g(9). Is l < z?
False
Let g = 571 - 586.04. Let s = -0.04 - g. Let o = s - 5. Is -0.1 at most o?
True
Let z = 78 + -130. Let t = -56 - z. Which is smaller: -1/7 or t?
t
Let p = -5.8 - 20.2. Let g = p - -18. Let c = -1 - 0. Is g > c?
False
Suppose 14*z + 31*z - 1935 = 0. Which is greater: z or 45?
45
Let z be 5/(-20) - 2/(-8). Suppose p + 2*p - 51 = z. Suppose -5*k + p = 2. Which is greater: k or 0?
k
Let g(m) = -39*m**3 - m**2 + 1. Let t be g(1). Let s = -38 - t. Let o = 1 - 1. Which is bigger: o or s?
s
Let z = -67 + 69. Which is bigger: z or -252?
z
Suppose 0*m - 5*m + 55 = 0. Suppose 5*j - j + 17 = -5*n, -n + m = -4*j. Suppose 4 = -4*h - 12. Is n smaller than h?
False
Let c = 2/129 - -244/903. Let l = -2.98 + 3. Let i = -2.98 - l. Are i and c nonequal?
True
Let n be 4/14 - (-675)/63. Let l = 2 - n. Which is greater: -7 or l?
-7
Let l = -37 - -41. Suppose 0 = 5*f + n - 99, 3*f + 7*n - l*n = 69. Is 18 <= f?
True
Suppose 500 = 4*j - 8*j. Let p = j + 77. Let v be (-6)/9 + (-26)/p. Is v at least as big as 0?
False
Suppose 159*q - 154*q = 325. Which is greater: 73 or q?
73
Let u be (-52)/(-28) - (-2)/14. Suppose -k = -2*k - u. Let r = 0 - k. Is r bigger than 10/11?
True
Let n(k) = 7 - 15*k + k**3 - 5*k**2 + 18*k**2 + 0*k**2 - 22. Let a be n(-14). Which is smaller: a or 2/49?
a
Let v(p) = p + 3. Let k be v(4). Let o be (k - 1)*6/4. Let y be (-78)/o + (-3)/9. Which is bigger: y or -8?
-8
Let d = 1540 - 1604679/1042. Is 0 at least as big as d?
False
Let c be 10/(-4)*(-58)/(-145). Which is greater: 8 or c?
8
Let v = -1.2 - 6.8. Let d = v - -8.3. Let b = d + -3.3. Which is smaller: 2 or b?
b
Let y = 11 - 2. Let k be 25/5 + (-102)/18. Which is greater: k or y?
y
Let b be (-3819)/(-12) + 12/(-192)*4. Is 316 less than b?
True
Let y be 2 + 12/(-20)*-5. Suppose 35 - 30 = -y*g. Which is bigger: g or 1/5?
1/5
Let k(h) be the first derivative of h**3/3 + 2*h**2 - 7*h + 4. Let a be k(-6). Suppose b - a = 2*q - 24, -b - 9 = -q. Is 10 at most q?
True
Let d(g) be the second derivative of -g**4/12 + g**3/3 + g**2/2 - 4*g. Let s be d(0). Let y(t) = -2*t**2 - t + 1. Let m be y(s). Which is bigger: 0 or m?
0
Let d(m) = -m**2 + 14*m + 136. Let w be d(-9). Is -77 <= w?
True
Let a = -2351 