o**3/2 + 2*o. Suppose -2 = w - 4. Let c be n(w). Is -2 not equal to c?
False
Suppose -2*f + 16 = -4. Let s be (-156)/(-18) + 2/6. Which is smaller: s or f?
s
Let p = 38.9 + -37. Which is smaller: -1 or p?
-1
Let y = 5 - 4. Let u = y - 0.9. Do u and 2 have different values?
True
Let v(i) = i + 5. Let z(q) = -q + 8. Let s be z(11). Let w be v(s). Do w and 3 have the same value?
False
Let c be 3408/27 + ((-100)/45 - -2). Is 126 at least as big as c?
True
Let x = 3.8 - 2.8. Is -0.015 > x?
False
Let m(p) = p**2 - 7*p + 1. Let x be m(7). Let q(l) = -l - 3. Let o be q(-7). Let d be 5*1*o/10. Which is greater: d or x?
d
Suppose -5*j = o - 29, 3*o - 45 = -5*j - 2*o. Let k = j + -5. Which is smaller: -4/9 or k?
-4/9
Suppose f + 2 + 0 = 0. Is f smaller than 1/2?
True
Let a be (-6)/((-3)/(6 - 3)). Let h be 56/(-93) + a/9. Which is greater: h or 0?
h
Let n = -72.97 + 73. Is n less than -1?
False
Let j be -2*(-4)/(-2) + 3. Let f be (3 - 5 - j)*0. Suppose f = -d + 6*d + 15. Which is bigger: d or -2?
-2
Let x be ((-6)/(-56))/((-3)/2). Which is greater: 1 or x?
1
Let i be (-1)/(-2) - 6/4. Let w = 5 + 1. Let m be -2 + (75/w)/5. Which is bigger: m or i?
m
Let i = 15.69 + -9.72. Let h = 0.03 + i. Let z = 6 - h. Which is greater: z or 0.2?
0.2
Let o = 6 + -4. Let c(u) = u**3 - 4*u**2 + 4*u + 1. Let d be c(o). Let t = -707/5 - -141. Which is smaller: d or t?
t
Suppose 5*v + 3 + 1 = j, 5*v + j = -6. Let a = 4 - 5. Let b be (2/(4 - 2))/a. Is v at most as big as b?
True
Let n(p) be the second derivative of -p**4/12 - 5*p**3/6 - 3*p**2/2 + 2*p. Let c be n(-3). Suppose c*m = m. Which is greater: m or 0.1?
0.1
Let h = 137/750 + -2/125. Which is smaller: 1 or h?
h
Suppose 0 = -2*d + 4*d - 2. Let l be (6/4)/(15/(-1)). Which is smaller: l or d?
l
Let k(l) = -l**3 + 4*l**2 + 12*l + 1. Let y be k(6). Let h = 557/5370 + -2/537. Is h at least as big as y?
False
Suppose 0*c + 4*c - 20 = 4*n, -2*c + 10 = 2*n. Let s = -1088/9 - -121. Is s at least n?
True
Let b = 6/11 - 23/22. Do 15/7 and b have different values?
True
Let z be (-3 + 2)/(0 + 5). Let m be 4*((-25)/(-4))/5. Suppose -4*k + m*r = r - 16, -r - 4 = k. Is z < k?
True
Suppose -n - 1 = 1, -2 = -4*i + 3*n. Are -3/34 and i unequal?
True
Let l = -1/39 - 35/156. Is l less than or equal to -10/7?
False
Let r = -2641/7 - -376. Is -1 not equal to r?
True
Let c(u) = -u - 20. Let h be c(0). Let w be 1/h + 4/(-16). Do w and 0 have different values?
True
Suppose 0 = -5*j - 25 - 0. Let w(d) = -d**3 - 6*d**2 - 3*d + 6. Let f be w(j). Is -4 at most f?
True
Suppose 0 = -w + 2*w - 21. Suppose 0*x - p = -3*x + 8, -x + w = -4*p. Let r(z) = z**3 + 6*z**2 + 1. Let o be r(-6). Are x and o unequal?
False
Let i = -0.8 - -0.3. Do i and 1 have the same value?
False
Let a(f) = -f**2 - 13*f + 11. Let x(l) = -l**2 - 14*l + 11. Let q(w) = 5*a(w) - 4*x(w). Let n be q(-10). Are n and -1/4 non-equal?
True
Let n = 4 + 0. Suppose 0 = -0*w + n*w. Which is smaller: w or -1/4?
-1/4
Suppose 13 = -3*b + r + 4, 3 = -r. Let x = -5 - b. Let w be (-2)/(-3) - (x - -1). Is 0 at least w?
False
Let z = 79 - 2527/32. Which is smaller: 0 or z?
0
Suppose m - 6*m + 3*r = -4, -3*r + 8 = m. Let x be 9/(-105) + m/(-10). Is -2 != x?
True
Let a(u) be the third derivative of -1/3*u**3 + 0 + 0*u**4 + 3*u**2 + 0*u + 1/60*u**5. Let r be a(-2). Is r greater than 1?
True
Suppose -26 = -5*k - 91. Which is smaller: -14 or k?
-14
Suppose 0 = 3*u + 4*y + 33, 0 = -0*u + 4*u - 3*y + 19. Let t = u - -11. Let h = 8 + -4. Are t and h non-equal?
False
Let g = 6 - 4. Is g < 2?
False
Let m = -0.02 + 0.04. Do m and 0.1 have the same value?
False
Suppose 1 = 5*h + 3*s + 47, h = 3*s - 20. Is h at most as big as -6?
True
Let r = 0 + 1. Let h = r + -2. Let f be (-9 - 3)*(-1)/(-2). Is h at least f?
True
Let t(y) = -2*y**3 - 8*y**2 - 8*y - 6. Let w be t(-5). Let s = 590/7 - w. Suppose -5*q - m = -5, -m = 5*q + 4*m - 25. Which is bigger: q or s?
s
Let q be 22/6 + (-2)/3. Let f be q + -3 + 4/10. Is 1 smaller than f?
False
Let b = -5 - 13. Let p = 15 + b. Which is greater: p or 0.3?
0.3
Let l be (625 - (3 - 0))/2. Let k = l - 1235/4. Is 1 < k?
True
Let j = 10 - 8. Suppose 4*p = -20, -5*s + 15 = 2*p + j*p. Is s greater than 7?
False
Let h = 55.9 + -56. Let i(t) = t - 3. Let c be i(5). Which is smaller: c or h?
h
Let x be (978/110)/3 + (1 - 4). Suppose 4 = l + p, 3*l + 2*p = -2*p + 15. Are x and l nonequal?
True
Let f = 1.6 + -1.6. Let h = 0.4 - f. Let d = -2.8 - -3. Is h bigger than d?
True
Let o be 1/(-1 + (-10)/(-8)). Suppose 2*c - 13 - 11 = o*m, 0 = -2*m + 6. Suppose 5*u - 7 = -4*s + 17, -c = 2*s - 5*u. Are 1 and s nonequal?
False
Let s(q) = q**2 - 3*q + 3. Let g be s(2). Let w be 3/(7/4 + -1). Suppose -4*o - d + 5 = 0, -w*o + 3*d = -9*o + 8. Is g not equal to o?
False
Let r = -1 - 3. Let j be ((-2)/(-4)*0)/1. Are j and r non-equal?
True
Let a be -3 - -2 - 108/(-116). Is 1 equal to a?
False
Let n be (32/(-20))/(-4)*5. Are n and 3 non-equal?
True
Let u be (-12)/(-9) + 2/(-6). Is 0 less than u?
True
Let b = 16.9 + -0.9. Let h = b - 10. Which is greater: -2 or h?
h
Let x = 6418/65 + -496/5. Let i = 1/26 - x. Let m = 42/5 - 8. Which is bigger: m or i?
i
Suppose s + 3*s - 16 = -2*x, 0 = -2*x + 8. Let t be -12*(s - 14/6). Let g(h) = h**3 - 5*h**2 + 4*h. Let r be g(t). Which is smaller: -1 or r?
-1
Suppose 4*o + o = 70. Let j be 4/o + (-5)/(-7). Is j > 1/12?
True
Let r = -4 + -17. Let z be (-2)/7 - (-15)/r. Let v be z/(-2) - 2/2. Is -2 not equal to v?
True
Let z be 1/2*(-2)/1. Let d(u) = -u. Let r be d(0). Which is smaller: r or z?
z
Let v = 58/77 + -45413/693. Let c = 65 + v. Which is bigger: c or 1?
1
Let x = 15 - 15. Are 58 and x non-equal?
True
Let m = 4 - 3.6. Let n = m - -0.6. Let s be (-3)/21*1*2. Which is smaller: n or s?
s
Suppose 0 = 2*c + 5*c + 189. Is -26 >= c?
True
Suppose 2*t - 3*x - 14 = -0*t, -5*t + x = -48. Suppose b = -b + t. Let f(v) = -v**3 + 5*v**2 - 2. Let q be f(b). Which is smaller: 2/3 or q?
q
Let h = -2/5 + -11/10. Let i = -5 - -5.2. Are h and i equal?
False
Let k = 41 + -40. Which is smaller: 1/9 or k?
1/9
Let j = -106.1 + 106. Does 41 = j?
False
Let g = 18 - 19. Is g not equal to -1/2?
True
Let x(q) = -q**2 + 1. Let f be x(-1). Suppose o + 0 - 4 = f. Suppose 0*m + o*y = 5*m + 11, 9 = m + 2*y. Which is greater: m or 0?
m
Suppose -4*r + 0*o + 38 = -2*o, 4*o = -2*r + 14. Let d be r/(-6)*8/(-6). Let l be (-3 + -4 + 3)/d. Is l greater than -1?
False
Let k be (-1062)/(-108) - 1/(-6). Let o = 1 + 8. Is o equal to k?
False
Suppose -k = -12 - 28. Let g be ((-2)/(-7))/(k/14). Which is bigger: g or 1?
1
Let k(c) = c**3 + 6*c**2 - 5*c + 2. Let h be k(-7). Let l = -18 + 7. Which is greater: l or h?
l
Let g = -0.1 - 0.1. Let v = -0.1 - -0.2. Let l = g + v. Which is smaller: 0.3 or l?
l
Let h = -11 - -10.2. Let f = h + 0. Let q = f - -0.9. Which is smaller: -2/11 or q?
-2/11
Let r = 11 - -18. Suppose 4*z = 5*n + r, -2*z - 14 = -z + 3*n. Let t be (0/(-2))/(z/(-1)). Which is smaller: 0.02 or t?
t
Let d be 2/(-6) - (-2)/24. Let y be 18/(-14) - 4/(-14). Which is smaller: d or y?
y
Suppose -12 = 2*d + 4*b, 3*d + 4*b = -d - 8. Suppose -2 + 0 = 2*q. Which is greater: d or q?
d
Let q = -8.3 + 8. Let n = -0.3 + -0.2. Let j = n - q. Is j >= 1/2?
False
Let q(g) = -g**3 - 4*g**2 - 2*g + 2. Let s be q(-2). Which is greater: -6 or s?
s
Let y be (-10)/8 + 3/(-4). Suppose -3*v = 4*z + 11, 5*z = z - 2*v - 10. Is y less than or equal to z?
True
Let v = 19/34 + -1/17. Is v at least as big as -1/14?
True
Let d = 1 - -2. Let o = -3.85 - 0.15. Let g = o + d. Do g and -3 have different values?
True
Suppose -h = 2*p - 7, p + 2*h = -4*p + 17. Suppose -u - p = -2*m, m - 15 = 3*u - 6. Let c = -1270/7 - -181. Which is bigger: m or c?
m
Suppose -13*q + 32*q - 456 = 0. Is 24 >= q?
True
Suppose 5*i - 4*i = 14. Suppose -2*f = -f + i. Let a be 7/5*(-4)/f. Which is smaller: 4 or a?
a
Let k(o) = o. Let q(h) = 5*h - 8. Let j(t) = -6*k(t) + q(t). Suppose -b + 25 = -4*g, -3*b = -2*g - 2*g - 27. Let y be j(g). Is y greater than or equal to -1?
False
Let i(j) = j**3 - 5*j**2 + 3*j + 3. Let k(c) = -1. Let h(r) = 3. Let v(y) = 2*h(y) + 5*k(y). Let x(g) = i(g) + 2*v(g). Let b be x(4). Which is smaller: b or 0?
0
Let y = -1 + 3. Suppose 3 = 5*m + 18. Let c = m - -5. Is y at least as big as c?
True
Suppose -51 = -5*z - 1. Is 1/3 < z?
Tru