 = 0. Are u and i unequal?
True
Let x = 11/40 - 3/20. Which is greater: x or 0?
x
Suppose -s - 3*s = 32. Let y = s - -8. Which is greater: 2 or y?
2
Let s(m) = m**2 + 3*m + 2. Let y be s(-3). Let f(a) = -2*a + 3. Let h be f(y). Which is smaller: h or -1/2?
h
Suppose -5*j + g = 7, 6*g = -2*j + 2*g - 16. Is j < -6/11?
True
Let i be 2/(-4) + (-6)/(-12). Suppose 2*b + i*b = 0. Suppose 2*r - 4 = -b. Is 3 greater than r?
True
Suppose -w = -4*z + 4*w + 8, -2 = 2*z - 4*w. Suppose 2*f = 2*d + 2*d - 6, 3*d - f - z = 0. Which is smaller: 1 or d?
1
Suppose -2*l = l - 6. Which is smaller: l or 7/4?
7/4
Let n = 10 - 8. Suppose -z = -4*s - 2*z + 7, 0 = 4*s - z - 9. Suppose -p - 1 = 0, 3 - 10 = -s*c - p. Which is smaller: c or n?
n
Let d = -34 - -52. Let l be 1/((-3)/d*2). Which is smaller: -2 or l?
l
Let i = -2 + 3. Let f = 1 + i. Let c(y) = -y**3 + 3*y**2 + y - 2. Let r be c(3). Which is smaller: r or f?
r
Let f(u) = u**2 + 9*u + 11. Let h(g) = 4*g + 1. Let t be h(-1). Let m be (t + 1)*(-4)/(-1). Let p be f(m). Which is smaller: p or 2?
2
Suppose 4*t - 2 = -4*p + 2, 5*p - 5 = -3*t. Is -6/73 <= t?
True
Suppose -1 = -3*g - 7, -4*g = 3*w - 58. Let o be (68/w - 2) + -1. Is -1 < o?
True
Let l = -0.2 + 1.2. Let p = -1.2 + l. Let k be 4 - -20*1/(-6). Is p at most as big as k?
True
Let f = 9 + -17. Let x be 2 + (f/2 - 0). Which is smaller: -0.1 or x?
x
Let d = -169/5 - -34. Suppose -2*c - 3*u + 9 = 0, 2 = c + u - 1. Suppose c = p - 4*z + 19, 3*z - 3 - 11 = p. Is d smaller than p?
True
Suppose 0 = 2*c + 2*c. Let g(r) = r**3 - r**2 + 3. Let x be g(c). Which is greater: 2 or x?
x
Let t(v) = v + 5. Let h be t(-6). Let f = -4459/10 + 446. Is h bigger than f?
False
Let g = -0.965 + -0.035. Let v = -3 - -10. Is v < g?
False
Let p be ((-2)/(-3))/((-15)/6). Which is smaller: p or 0?
p
Let h be 16/20 - (66/(-5) - 1). Is -2 at most as big as h?
True
Let l be 3/(2 + (-21)/15). Suppose -20 = l*x - 50. Is x at least 7?
False
Let o(t) = t**3 - 2*t**2 - 2. Let q be 0 - 1/(1/(-2)). Let r be o(q). Which is smaller: r or -12/11?
r
Let n be (-176)/40*1/(-2). Is 0 greater than n?
False
Let g(p) = -17*p + 7. Let c be g(5). Let a be (c/4)/((-6)/5). Let y = a - 321/20. Is 1 > y?
True
Suppose 5*w = 5*a + 15, 5*a - w - 7 + 18 = 0. Which is greater: a or 1?
1
Let r = 0.91 - 0.01. Which is greater: 0.1 or r?
r
Let q be (-4)/(-130)*5 - 2812/26. Is q bigger than -109?
True
Let k(s) = -s**2 - s + 1. Let j be k(0). Suppose a - 1 = 1. Is j greater than or equal to a?
False
Let m = -17.06 + 0.06. Is -1/2 smaller than m?
False
Let y(g) be the third derivative of g**5/60 - g**4/6 + g**3/2 + 2*g**2. Suppose 0 = 5*u + 4 - 19. Let d be y(u). Which is smaller: d or -2/5?
-2/5
Let l = 12/59 + -405/1121. Suppose -2*a + o = -3, -a + o + 4*o + 6 = 0. Which is bigger: l or a?
a
Let t be 16/(-27) + 6/9. Is t >= 0?
True
Let u be 10/20*(0 + 0 + 22). Is u smaller than 11?
False
Let v = -15.38 - -0.38. Let i = 8 + v. Is i at most as big as 0.1?
True
Let t = -24 + 27. Which is bigger: t or 1?
t
Suppose -2*s + 0*s = 0. Suppose -4*j + 3*j = -2. Which is bigger: s or j?
j
Let r = 1.98 + 0.02. Which is smaller: -0.9 or r?
-0.9
Let q = 923/9 - 103. Is q < 0.02?
True
Let b(l) = -6*l**3 - l**2. Let y = 6 - 5. Let x be b(y). Which is smaller: 2 or x?
x
Let r be 8/6*120/16. Is 10 less than r?
False
Suppose 0 = -s + 5*s. Suppose s = 3*y - 3*h + 6 - 0, 3*y - 4*h + 9 = 0. Does 2/7 = y?
False
Let l = -1/7 - -9/14. Let b = 4 + -7. Let f be b/8*(-2)/3. Which is greater: l or f?
l
Let t = -97 - -130. Do t and 31 have the same value?
False
Let r(v) = v**3 - v**2 - 2*v - 5. Let g be r(4). Is g less than or equal to 37?
True
Let s be 2 + 1 + (-663)/12. Let x = 52 + s. Which is greater: x or 1?
1
Let g(n) = n**3 + n - 1. Let a be g(1). Suppose v = 3*v. Is v less than a?
True
Let q be (-15)/40 - ((-1705)/(-40) + 4). Do -2/7 and q have the same value?
False
Let y(n) be the first derivative of n**4/4 - 2*n**3 - n - 1. Let b be y(6). Is -1/4 smaller than b?
False
Suppose -3*u + 8*u = -10. Let r = u - -3. Do r and 1/14 have the same value?
False
Let v(d) = -d**2 + 7*d - 7. Let k be v(6). Let c be (0 - 2)*1*k. Is 1 equal to c?
False
Let u be 0 + 0 - -1 - 3. Let x be u/3*(0 + -3). Let j be (x/(-9))/(1/3). Which is bigger: j or -2?
j
Let t be (-5)/2 + (1 - -1). Let w be (1 - -1)*-2 + 1. Let r(n) = -n**3 - 2*n**2 + 3*n - 2. Let a be r(w). Which is smaller: a or t?
a
Suppose 0*r = 4*r - 20. Suppose -4*c + c + 4 = 2*g, r*c + 3*g = 6. Is -2 less than c?
True
Let a = -0.33 - -0.03. Let u = a + 0.3. Let z = u - 1. Is 0.1 greater than z?
True
Let h = -15 + 14. Which is bigger: 1/16 or h?
1/16
Suppose -z = 5*z + 12. Do z and -3 have the same value?
False
Let s = 8 + 2. Which is smaller: 11 or s?
s
Let q = -0.51 + 0.41. Let f = -38 - -303/8. Which is bigger: q or f?
q
Let a = -7/60 + -137/540. Let p = a - -56/297. Suppose 2*x + 6 = s, -s + 10 = 2*x + 2*s. Is x less than or equal to p?
True
Let k be 2/(2/4*2). Suppose k*m = j - 11, 5*m = -8*j + 3*j - 5. Let q(i) = 2*i + 5. Let z be q(-4). Which is smaller: m or z?
m
Suppose 21 = -6*z + 15. Which is bigger: z or 1/20?
1/20
Suppose 5 = -0*t + 5*t. Suppose -t = 3*c - 4*c. Let g be 1/((2/(-1))/(-1)). Which is smaller: c or g?
g
Suppose 0*w = -5*t - w - 28, 0 = -t - 4*w - 17. Let x = -91 - -131. Suppose -5*i = -m + 20, -i + x = -5*i - 4*m. Is i at most as big as t?
True
Suppose -1 - 14 = 3*p - 2*w, -p = -w + 6. Which is smaller: p or -1?
p
Suppose -4*h - 8 = -4*j, 0*h + 4*j + 16 = -4*h. Let t = 2 + h. Which is smaller: 1/4 or t?
t
Suppose 3*c = 9, 0 = 5*j - 5*c + c - 28. Which is smaller: 9 or j?
j
Let b = -23 - -21. Are 0.1 and b non-equal?
True
Let l = 7/16 + 33/16. Do 3 and l have the same value?
False
Suppose -2*v + 6 = 0, 0*k = 2*k - v + 5. Is -2/19 > k?
True
Let o = 1356/7 + -194. Is o less than or equal to 1/16?
True
Let p = -1 - -7. Suppose 0 = 5*z - j - 26, 3*z - p*j = -j + 20. Suppose -1 = 6*u - z*u. Is u equal to -4/5?
False
Let r = -4 - -6. Let g = r + -5. Is g at most -2/9?
True
Let m be ((-20)/2)/(-15 - -14). Which is bigger: m or 9?
m
Let v(o) = -2*o + 1. Suppose -3*y = k + 2*k, k = -3*y - 2. Let f be v(k). Is -1 > f?
False
Suppose 2*y + 12 = -5*l, 7*y + 4*l = 2*y - 64. Let q be y/(-5) + (-2)/10. Is 3 != q?
False
Suppose 0 = 3*r - 5*o - 9, 0 = 3*r - 0*r - 4*o - 9. Let j(n) = 2*n**2 + 2*n + 1. Let u be j(-2). Is r bigger than u?
False
Let a = -17410 - -5647. Let q = a - -59407/5. Let k = q - 118. Is 6 not equal to k?
True
Let m = -11 + 6. Let f(l) = -2*l - 1 - 4 - 2. Let j be f(m). Which is greater: 2 or j?
j
Let u = 0 - 0. Let i be 1 - 0 - (u + -2). Let m = -2 - -5. Is i at most as big as m?
True
Suppose 4*n + 22 = 5*n. Is n > 22?
False
Let u = 38 - 35. Let p be (-3 - 0)*(-2)/u. Let r = 267/160 + -15/32. Which is smaller: r or p?
r
Suppose -5*q + 3 + 7 = 0. Let m = 0 + q. Let j be -1 - -3 - 1/1. Is j greater than m?
False
Let j(w) = w**2 - 3*w - 4. Let o be j(4). Suppose o*m - 29 = -4*d - 5*m, 0 = 2*d - 2*m - 10. Is 6 greater than d?
False
Let i be (8/30)/((-4)/(-6)). Let z = 8.83 + -4.83. Do z and i have different values?
True
Let a = -2.7 + -8.3. Let m = 10.9 + a. Let j = -0.4 + 3.4. Which is greater: j or m?
j
Let b = 4.916 + 0.084. Which is bigger: -16 or b?
b
Let x(v) = -v**3 - 4*v**2 + 3*v - 6. Let n be x(-5). Suppose 2*z + 20 = -n*i, -5*i = 2*z - 3*i + 22. Is -12 at most as big as z?
True
Let h be (9/(-2))/(-1)*2. Suppose 4*n - h = n. Suppose 8*j = n*j. Which is smaller: j or -3?
-3
Let w = 12 + -19. Let c = 7 + w. Let y = 2/81 - -52/81. Which is bigger: y or c?
y
Let c be ((-12)/15)/((-1)/10). Are c and 8 equal?
True
Let x = -11 - -6. Let a = x + 5. Let o = a + -1. Which is smaller: 0.2 or o?
o
Let v be (3 + -2)/((-2)/(-6)). Let k(y) = 5*y - 7. Let w(p) = p - 1. Let d(x) = k(x) - 4*w(x). Let t be d(6). Is t equal to v?
True
Let t be 3*(-2 + -3)/15. Is -21 bigger than t?
False
Let l be (-2)/(-1) - (4 + -29). Let y = 194/7 - l. Is y greater than 0?
True
Let k(h) = -h**2 - 6*h - 8. Let b be k(-6). Let r = -5 - b. Let c be (-10)/4*r/15. Do -2/7 and c have the same value?
False
Suppose l = -2*f - 0*f + 2, -2*l + 4 = -2*f. Let h be (-1)/l*0/1. Let z = -58 - -288/5. Which is greater: z or h?
h
Let p = 164 + -195. Which is greater: p or -32?
p
Let m be (-7)/(7/(-10)) - 2. Let k = 4 - m. 