578 + -1283461/134. Is -1 >= t?
False
Let w be 1/3 - 140/(-12). Let b = -12 + w. Suppose b*v = -3*v. Is v bigger than 3/8?
False
Let o(s) = 9*s**3 + 2*s**2 + 8*s + 2. Let x be o(-4). Let z be -3 + 2 + 2 + 570/x. Which is smaller: z or -1?
-1
Let t = -0.1205 + 0.0205. Are 101 and t equal?
False
Let t(j) = -4*j**2 - 13*j + 11. Let s(r) = 4*r**2 + 14*r - 12. Let c(p) = -4*s(p) - 5*t(p). Let b be c(3). Are b and 56 equal?
True
Suppose g + 5*b = 55, 9*b - 7*b = -2*g + 70. Suppose x = 12 + 19. Which is smaller: g or x?
g
Let h be (24/(-21))/(((-88)/(-2255))/(-4)). Which is greater: h or 118?
118
Suppose -f = -2*f + 3*w - 10, -2*w = -4. Let t be (-2)/f*14/133. Which is greater: t or -1?
t
Let k = -21 + 22.83. Let z = k + -2.8. Let h = z + 1. Which is smaller: h or 1/2?
h
Let w = -122.5 - -134.5. Are w and 19 equal?
False
Let y = -6 + 26. Let f = -9449 + 9468. Which is smaller: f or y?
f
Let p = -2/127 - -284/1905. Let d(c) = 2*c - 7. Let n be d(3). Which is smaller: p or n?
n
Let p = 29.1 - 3.1. Is p equal to -0.3?
False
Let c = -7.37 + 10.37. Is c at least -0.35?
True
Let f be 1 - (120/(-42) + 0). Is -0.2 less than or equal to f?
True
Let w(r) = -r**3 - 10*r**2 + 4*r + 41. Let n be w(-10). Is 7 <= n?
False
Let w(g) = g**2 + g. Let s(a) = -6*a**2 + 3*a. Let q(b) = s(b) - 2*w(b). Let r be q(-1). Let u = -10 - r. Do 2 and u have the same value?
False
Let m = 784 + -577. Which is greater: 1041/5 or m?
1041/5
Let z = 6 + -8.9. Let b = z + -10.1. Let g be (5 - (-11)/(-2)) + 0. Which is greater: g or b?
g
Let g = -424 + 345. Is -79 smaller than g?
False
Let y = 46 - 93. Let g = y + 47.27. Do -1/5 and g have different values?
True
Let z(f) be the second derivative of -f**5/20 + 3*f**4/4 - 5*f**3/6 - 2*f**2 - 8*f. Let a be z(8). Let y be (a - 0)*(-5)/(-10). Which is smaller: -2 or y?
-2
Let y be 49 + 25/((-100)/48). Which is bigger: 41 or y?
41
Let m = 122 + -93. Let r = 83 + m. Which is smaller: 111 or r?
111
Suppose -34*z - 826 = 199*z + 339. Let i(c) = c. Let q be i(-3). Are z and q equal?
False
Suppose 5*m = 0, -x - 2*m = -0*x + 22. Let u = 25 + x. Suppose 0 + u = -3*b. Which is bigger: 3/10 or b?
3/10
Let o(k) = k**3 + k**2 - 6*k - 2. Let g be o(-3). Suppose -7*z + 2*z + 45 = 0. Is g equal to z?
False
Let s be 162/(-44) + (-54)/(-297). Is -1 at most as big as s?
False
Let j(y) = y**2 + 13*y - 68. Let g be j(-17). Is g less than or equal to 2/859?
True
Let f = -2.26 + 2.24. Let y be (-2)/(1 + 1)*-1. Do f and y have the same value?
False
Suppose -5*s + l = -198, -2*s = s + 3*l - 126. Suppose -4*n + 5*z = -n + 116, -s = n - 3*z. Is n < -36?
True
Let d(x) = x**3 - 2*x + 0*x**3 + 18 - 5*x**2 - 5*x**2 - 3*x**2. Let p be d(13). Suppose -23 - 22 = 5*n. Which is bigger: n or p?
p
Let z(g) = -g**3 + 2*g**2 + g + 1. Let j be z(0). Which is smaller: -2/551 or j?
-2/551
Let r = 1.1 - 2. Let t = r - -0.5. Suppose 2 = 29*p - 30*p. Which is greater: t or p?
t
Let h = -2212 - -2213. Is 41/55 greater than h?
False
Let m be 7/9 - 14/(-63). Suppose 2*p = -r - 2*p + 28, 3*p = 2*r - m. Which is greater: 13/2 or r?
r
Let f = 41 - 28. Let u = f + -12.96. Let w = 0.96 + u. Is -0.02 at most as big as w?
True
Let k(t) = -2*t**3 + 25*t**2 - 36*t + 3. Let m be k(11). Let d = -51 + 22. Is m less than or equal to d?
True
Let k = 6.97 - -0.03. Let z be 8/10 - 3738/3560. Is k smaller than z?
False
Let h = 27 - 15. Let b = h + -12. Let c be (21/(-3) - 1) + -1. Is c < b?
True
Let s = -0.4 + 0.1. Let a = 0.2 + s. Is a smaller than -0.06?
True
Let f = -10770/13 + 828. Suppose -d = -0*d - 0*d. Which is smaller: f or d?
f
Let v = 0.55 - 1.55. Which is greater: -167 or v?
v
Let d(z) = -z**3 - 4*z**2 - 3*z - 5. Let c be d(-4). Let m = 15 - 9. Let q be m/21 - (-5)/c. Is 3 equal to q?
False
Suppose 0 = -2*w + 2264 - 3142. Is w bigger than -443?
True
Suppose -k + 847 = 5*t - 0*k, -2*k = t - 164. Which is bigger: 168 or t?
t
Suppose 3 = 2*c + s, -3*s + 7 - 26 = -c. Let u = 0 - 0. Let k be (5 + -10)*(-1 - u). Which is greater: k or c?
k
Suppose -5*q - 5*v = 0, -3*v = 5*q + v - 3. Suppose q*j = -3, 4*j + j = 4*y - 193. Is 48 greater than or equal to y?
True
Let t = -282 + 283. Which is smaller: 1/162 or t?
1/162
Suppose -b = -3*b. Suppose 0 = 14*y - 12*y + 1216. Let n be y/133 + 1 + 4. Which is smaller: n or b?
b
Let l = 991 - 1023. Which is smaller: -33 or l?
-33
Let u = 6.7 + -7. Let j = 12 - 12.1. Let n = j + u. Which is greater: 0.1 or n?
0.1
Let t(y) = y**3 + 22*y**2 + 20*y - 21. Let c be t(-21). Suppose 4*q - 12 = -c*q, 4*l - q = 21. Is l > 6?
False
Let t = 39 + -37. Suppose -5*a + 4*z + 36 = 0, 4*z = -6 - 10. Let q = 0 + a. Which is greater: q or t?
q
Suppose g + 120 = 3*a + 4*g, -2*g + 203 = 5*a. Let o = 40 - a. Which is smaller: 9.6 or o?
o
Let j(o) = 4*o**2 - 31*o + 163. Let v be j(12). Are 367 and v unequal?
False
Let a = -1/327 + 1321/4251. Is 0 equal to a?
False
Let h = 20 - 32. Suppose -g - 14 = -0*g. Do h and g have the same value?
False
Suppose -5*l = -21 - 4. Which is bigger: 18/5 or l?
l
Let o = 0.4 - 0.4. Let n = o - 1. Let j = -227/339 - -1/339. Which is greater: j or n?
j
Let n = -1.77 - 0.23. Let o = 219 - 228. Which is smaller: n or o?
o
Suppose o - 6 + 7 = 0. Suppose d - 1 = -4. Let n be d/13 - (5 - 5). Are n and o equal?
False
Let i be 8/(-6) + (-1)/(-3). Let j be (25/(-10))/i*-2. Let y be (j/(-20))/((-1)/(-8)). Which is smaller: 4 or y?
y
Let z = -3.9 + 4. Let b = 38 + -59. Let r = b - -21. Is r not equal to z?
True
Suppose -4*i - 83 - 49 = 0. Let w = 603 + -605. Is i greater than or equal to w?
False
Let l = -2.89 + -0.61. Let z = -3.7 - l. Is 10/3 <= z?
False
Let u = -269/2 - -138. Let r be (-46)/(-10) - (-63)/(-105). Which is greater: u or r?
r
Let i be (-166 - 1)*(2 + 0). Is -334 at least as big as i?
True
Let v = -8 - 4. Suppose 8*j - 10*j + 12 = 0. Suppose -3*y = j - 9. Are v and y equal?
False
Let o be (2 - 3)*16/(-1). Suppose 4*i = -2*c, -c - 3*c = o. Let x = 1112 + -1113. Is x >= i?
False
Let i be 0/(2 + 2/(-8 + 6)). Which is bigger: 13/38 or i?
13/38
Let z(f) be the second derivative of 3*f**3/2 + 14*f**2 + 5*f + 4. Let a be z(0). Which is greater: 25 or a?
a
Suppose -2*t = -x - 1082, -4*t + 3*t = -4*x - 527. Which is smaller: t or 542?
542
Let a be (-4)/(-14) + 12*(-1)/(-7). Suppose g + 51 = 3*l - g, -2*l = -a*g - 34. Do 16 and l have the same value?
False
Let c = -1 + 2. Let o(f) = -5*f**2 + 2*f - 2. Let w(u) = 11*u**2 - 3*u + 3. Let x(l) = 9*o(l) + 4*w(l). Let g be x(4). Is g > c?
True
Let k = 12.71 + 0.29. Let z = 34.9 + -34. Let g = z + -1.1. Do g and k have different values?
True
Let s = -66 + 52. Is -14 smaller than s?
False
Let f be 3/12 - 0/(-1). Let l = -3.1 + 4.1. Is f >= l?
False
Let x = 11 - 30. Let v(l) = -l - 20. Let h be v(x). Which is bigger: 1/52 or h?
1/52
Let k(s) = 2*s - 42. Let f be k(23). Let n = 14 + -11. Suppose 0 = f*v + n*z - 1, 3*v - 2*v = -4*z - 3. Is 1/22 > v?
False
Let p = -3 - -2.87. Let n = -0.04 + p. Let x = n + 1.17. Are x and 0.3 nonequal?
True
Let i be 7/(-2)*(-30)/(-56). Is -3 bigger than i?
False
Let i be ((-16)/(-20))/(2/160). Let n be (-40)/i*(0 + 2). Let v = n + 7/12. Is v bigger than -2?
True
Let m be ((-8)/3)/(370/60). Is 0 at most m?
False
Let s(n) = -n**3 + 5*n**2 + n - 2. Let g(c) = -2*c**2 + 14*c - 7. Let r be g(6). Let d be s(r). Which is smaller: d or 14/9?
14/9
Suppose 8*w - 14*w = 666. Is -112 not equal to w?
True
Let h be (10/75*-1)/((-2)/1974). Let t = h + -132. Is t bigger than 2/73?
False
Let i = 79 + -46. Let k = -33.05 + i. Are k and 2/5 unequal?
True
Let m = 20 - 20. Let c = 32/33 + -1058/1023. Is m at most as big as c?
False
Let c(l) = 5*l**3 + 7*l**2 - 2*l - 6. Let n(f) = -f**3 + 1. Let r(o) = c(o) + 4*n(o). Let p be r(-7). Is 11 < p?
True
Let i = -16 - -16.2. Is -138 >= i?
False
Let z(u) = -u**2 - 24*u - 63. Let a be z(-13). Which is bigger: 77 or a?
a
Let u be 10/(-20)*3/((-15)/(-4)). Is -1/6 less than or equal to u?
False
Suppose -3*j - 2*j - 10 = 0. Let p(x) = 3*x**2 + 6*x + 3. Let k(m) = -m**2 - 2*m - 1. Let s(i) = 11*k(i) + 4*p(i). Let r be s(j). Is 4/15 equal to r?
False
Let i(a) = a**3 + 24*a**2 + 23*a + 5. Let s be i(-23). Let k = 2936/5 + -582. Which is greater: s or k?
k
Let r = 52 - 307/6. Suppose -5*d + 15 = 0, -d = -p - 2*p + 9. Suppose p*n + 0*n = 4. Is r at most n?
True
Let u(y) = y*