nequal?
True
Let d = -290 + 309. Is 19 not equal to d?
False
Let b = -25 + 42. Let q = 31 - b. Let a = 14.1 - q. Which is smaller: -10 or a?
-10
Let f = -92 - -58. Let u = -38 - f. Is u >= -1/2?
False
Let o = -17.896 + -0.104. Let g = o - -18.1. Which is smaller: g or 3?
g
Let j = 1222 - 1792. Let y be 2/(-6)*j/70. Which is bigger: 4 or y?
4
Suppose 5*p + 9 = -1. Let l be 20/(-50) + (-1)/5. Do p and l have different values?
True
Let d be 5/((-10)/(-12)) + -2. Let t(o) = o**3 - 32*o**2 - 34*o + 36. Let b be t(33). Suppose -2*h + 2*z + 15 = -b*z, 0 = -2*h - d*z + 24. Is 10 greater than h?
False
Let a be 2 - 0 - 48/22. Suppose -2*s - 4*y = 28, 3*s = -0*s + 4*y - 32. Let x = s - -13. Is a not equal to x?
True
Suppose -2*l = 3*l - 250. Let g(f) = -f**2 + 5*f - 3. Let q be g(3). Suppose 0 = 2*c + q*c - l. Is c at most as big as 11?
True
Let v be ((-1)/(-18))/((-1)/8). Suppose -173*i - 3 = -170*i. Which is greater: i or v?
v
Let h = 5292 - 47546/9. Is 8 equal to h?
False
Let b be (-9)/(68 - 5) - 263/(-1890). Which is greater: b or -1?
b
Let c be 524/936 + (-2)/(-5 - -9). Are c and 0 nonequal?
True
Suppose -7 = 3*s - 4*c - 29, 3*c + 12 = 0. Let m be (1 - s)/(1/2). Let r = 59 - 61. Is r <= m?
True
Let c = -388 + 386. Is -20/31 bigger than c?
True
Let d be (-1 + 4)/1 - (-1110)/10. Which is greater: d or 2?
d
Suppose 2*z = -48 + 24. Are -7 and z nonequal?
True
Let m = 9 - 8. Let w be ((-5)/2 + m)/(19/2). Is -1/2 < w?
True
Let q be -5 - -1*65/5. Let l = 15 - 5. Which is smaller: q or l?
q
Let t = -4.06 + 4. Let a = t + 0.26. Is a at least as big as -20?
True
Let k(i) be the first derivative of i**2/2 - 2. Let a = -24 + 24. Let u be k(a). Which is greater: 2 or u?
2
Let s = 1.8 + 0.6. Let z = -2.3 + s. Which is smaller: 3/7 or z?
z
Suppose 3*s + 0*c - 4*c + 64 = 0, 2*s - c = -41. Is s greater than -19?
False
Let n be ((-2)/12)/((-26)/(-8)). Which is smaller: 0 or n?
n
Let w = 1214 + -530. Let f be -350*(-4)/w + -2. Let h = 542/4275 - f. Is h at most 0?
False
Let s(p) = -p + 18. Let u be s(9). Let x be (-4)/(-18) - (-1)/u. Which is greater: -6/5 or x?
x
Let c(q) be the first derivative of q**2 - 11*q - 5. Let n be c(5). Which is smaller: -1/21 or n?
n
Let v be ((-12)/15)/((-4402)/(-775)). Which is greater: -2/3 or v?
v
Suppose 5*g = -0*g. Let b = g - 2. Which is smaller: b or -4?
-4
Let m = -17.4 - -29.4. Which is bigger: m or 2?
m
Let h = -6346/9 - -706. Let v(d) = -d**2 + 8*d - 9. Let x be v(5). Let t be ((-14)/21)/((-2)/x*2). Which is smaller: h or t?
h
Let c = 33.964 - -0.036. Let i = c - 34.2. Let r = -6 + 9. Which is smaller: r or i?
i
Let v = -73 + 21. Let p be 0 + -4 + 0 - v/14. Are 11/2 and p unequal?
True
Suppose 0*i - 10 = -2*i. Suppose 0 = -3*s - i + 2. Is -3/14 at least s?
True
Let m be ((-3)/43)/((-27)/(-36)). Which is smaller: m or 3?
m
Let j(h) = 3*h**2 - 15*h - 19. Let u(d) = d**2 - 7*d - 9. Let o(r) = 2*j(r) - 5*u(r). Let n be o(-5). Let k be ((-26)/(-8))/((221/26)/17). Is n != k?
True
Let o be (-7)/(728/(-320)) + -3. Which is bigger: o or 1?
1
Suppose -4*i + 12 = 0, 0 = -5*w - 0*w - 5*i + 845. Does 5 = w?
False
Let q(u) = -u**3 + 11*u**2 - 4*u. Let j(s) = -3*s**3 + 32*s**2 - 11*s - 1. Let x(g) = 3*j(g) - 8*q(g). Let l be x(8). Let o = -0.15 - -0.35. Are o and l equal?
False
Let y(p) = 3*p + 13. Let z(s) = s - 16. Suppose -4*w + 32 = -2*c + 3*c, -5*c = 20. Let x be z(w). Let k be y(x). Which is smaller: -9 or k?
-9
Let f = -1855/16 - -116. Which is bigger: 2 or f?
2
Let j be (-9)/(-30)*175/336 - 0. Is j bigger than -1?
True
Suppose -2*k - 7 = 2*f - 27, 4*f - 20 = 0. Suppose 0 = -c - k*c - 12. Are 3 and c unequal?
True
Suppose 2*a = -18 - 2. Let h = -36 - -45. Let u = h + a. Are -0.04 and u non-equal?
True
Suppose 0 = -4*x - 20, 3*x = 2*b + 4*x + 63. Let p(d) = 6*d**2 - d. Let g be p(1). Suppose -2*j - u - 3*u = 52, 0 = -g*j + 3*u - 143. Which is greater: j or b?
j
Let a(f) = -f**2 - 9*f - 8. Let z be a(-5). Suppose -5*w - 3*r = -2*r + z, 2*r = w + 9. Let j = w - -11/4. Is -1 > j?
False
Let g(q) = q**2 - 26*q + 69. Let z be g(23). Which is smaller: z or 1/318?
z
Let l = 18 + -6. Suppose -60 = 9*i - l*i. Suppose -2*b + 0*n - 4*n = i, 0 = 4*b - 5*n - 12. Is -2 < b?
False
Suppose -65*m + 87*m = 0. Is m smaller than -1/692?
False
Suppose -2*v + 6 = -z + 3*v, 3*v = 5*z - 14. Suppose 4 = -3*g + z*l, 0*g + 12 = -4*g + 4*l. Let r = g - -10. Is 1 equal to r?
False
Let u be (46/(-207))/((-2)/18). Suppose -u*y + a - 14 - 13 = 0, -3*y + 5*a = 30. Which is bigger: y or -14?
-14
Let x(l) = -2*l + 9. Let i(o) = -o**3 - 6*o**2 - 3*o + 3. Let y be i(-6). Suppose 0*s = 3*s - y. Let n be x(s). Are n and -5 non-equal?
False
Let r be 0/((-8)/((-4)/1)) + 27. Let u be (-2)/(-2) - (-25 + -1). Is r >= u?
True
Let s = 7.79 - 8.09. Is -70 >= s?
False
Suppose 10*d = -d - 11. Which is smaller: d or -1/644?
d
Suppose -15*r - 15*r = -6090. Are r and 204 nonequal?
True
Suppose 0 = -3*z - m + 1, 17 - 4 = 3*z - 5*m. Let f(l) = l**3 - 7*l**2 + 5*l + 7. Let v be f(6). Let d = z + v. Is 1 less than d?
True
Suppose -15*c + 29*c = 826. Is c < 59?
False
Let s = -120 - -125. Suppose -a + s*m = -44, -m = 2*a - 3*a + 40. Is a smaller than 40?
True
Let z = 35 - 24. Suppose 2*c - 3*i + 4*i = 171, 255 = 3*c + 2*i. Suppose -7*v + c = 3. Which is smaller: z or v?
z
Suppose -7*v = -3*v + 16. Let o be v/8 + (-37)/14. Which is smaller: -3 or o?
o
Let l(a) be the second derivative of -a**6/720 - a**5/10 - a**4/6 + 2*a. Let m(g) be the third derivative of l(g). Let j be m(-12). Is j at most as big as -1/3?
False
Let v be (2 - (-21591)/(-10848))/((-6)/216). Let r be 235/339 + (-2)/3. Let s = v - r. Is s smaller than -1?
False
Suppose -3*b + 2*q - q + 8 = 0, -3*b - 5*q = 22. Suppose -44 = 2*p - 144. Let n be 1/8*(-40)/p. Which is smaller: n or b?
n
Let h(m) = 7*m**3 + m**2 - m - 1. Let v be h(-1). Let s be v/3*(-14)/(-4). Let x be (-9)/s + 6/(-21). Is x bigger than 1/3?
True
Let i = -5 - -6. Let b be (4/(-4)*-11)/i. Let k be (-9)/b + (17 - 16). Which is smaller: k or -3/8?
-3/8
Let a(x) = -x**3 + 10*x**2 + 4*x + 0*x**3 - 9*x + 6 + 6*x. Let z be a(9). Let g be (-6)/3 - z/(-50). Is -1 greater than g?
False
Let n = -2001 + 2001.14. Is -66 at least as big as n?
False
Let o = 0.17 - 0.17. Let p = 4.2 - 0.2. Let t = p + o. Is t >= 1?
True
Let n = 285 + -316. Are n and -26 unequal?
True
Suppose 5*k - 3 = -8. Which is smaller: 2/231 or k?
k
Suppose -81*t = -71*t - 2790. Which is smaller: t or 1398/5?
t
Suppose -48 = -3*b - b. Let a(d) = -d + 4. Let j be a(-1). Suppose -t + 7 + j = 0. Are t and b equal?
True
Suppose -29*o = -33*o - 32. Let y(f) = -5*f - 39. Let x be y(o). Do x and 7/5 have the same value?
False
Let l = -0.04 - -2.04. Let c = l + -2.2. Let x = -3650 + 105852/29. Is x at least as big as c?
True
Let d(v) = 2*v**3 - 2*v**2 + 16*v + 88. Let a be d(0). Is 88 less than a?
False
Let y = 32.27 + 1.73. Is -2 at most as big as y?
True
Let p be (-4)/14 + (-60)/84. Let z(f) = -1. Let u(l) = -l + 5. Let i(s) = -u(s) - 5*z(s). Let j be i(p). Is j less than or equal to -2?
False
Suppose 11*u + 5266 = 481. Which is smaller: u or 0?
u
Let r = -71 + 67. Let w = -3 + 3.2. Let n = w - 0.1. Is n at least r?
True
Suppose -3*l = 2*k + 18, 6*l = -3*k + 3*l - 30. Let i be (2/4)/((-3)/k). Which is bigger: 0 or i?
i
Let u = -1.87 - -1.6. Let b = 0.86 + 0.14. Is b != u?
True
Suppose 4*y - 5*c - 21 - 35 = 0, 0 = y + 5*c + 11. Let k be y/(-18)*(-4)/6. Let f(i) = -i**2 + i. Let d be f(0). Which is smaller: k or d?
d
Let x be (-17)/51 + 10*(-70)/(-12). Suppose 4*p - 118 = 2*p. Which is greater: p or x?
p
Suppose 4*y + 7 = -5*c, 0*y = -5*y - 4*c - 11. Let k be (-12)/(-7)*(-28)/(-8). Let g = -15/2 + k. Are y and g nonequal?
True
Suppose -4 = -5*t - 5*x - 14, 2*t - 2*x = -20. Let i be (3/9)/(t/(-108)). Let p be ((-8)/i)/(15/90). Is p greater than -10?
True
Let m = 124/55 + -24/55. Which is smaller: 2 or m?
m
Let c = -0.5 - 8.4. Let o = c + 6.9. Is o bigger than -0.3?
False
Let p = -165.269 - -165. Which is smaller: 0 or p?
p
Suppose -5 = -f + k, 2*k = -3*f + 7*f - 20. Suppose 0 = -4*n - g + 2*g - 69, -93 = f*n + g. Let y = n - -18. Which is greater: y or -2/3?
y
Let p(z) be the first derivative of -z**4/4 + 4*z**3/3 + 2*z**2 + 6*z + 7. Let m be p(6). Let g be (-7)/(m/20) + -4. Which is bigger: g or -1/19?
-1/19
Let f