Let y = -57 + 58. Is a not equal to y?
True
Let m = 46 + -33. Let l = m - 12. Do l and -4 have the same value?
False
Let v = 14 - 18. Let u be v*((-44)/24 + 2). Which is greater: u or -7/3?
u
Let q(m) = m**2 + 6*m + 18. Let t be q(-6). Let j = t - 17. Let b be 2/10 + (-9)/(-5). Which is greater: b or j?
b
Let q(a) = -a**3 + 4*a**2 + 5*a + 5. Let b be q(5). Suppose -3*r = -5*t - 40, 2*t - 6 = -b*r + 9. Suppose c = r - 1. Which is bigger: 5 or c?
5
Let p(a) = -2*a - 7. Let u(n) = -3*n - 8. Let x(m) = -4*p(m) + 3*u(m). Let w be x(5). Let v = 0 + w. Which is bigger: v or -2/7?
-2/7
Let c(m) be the second derivative of m**4/6 + m**3/3 + m**2 + 5*m. Let n be c(-2). Suppose 0*b + 3*b = n. Which is greater: 1 or b?
b
Suppose 0 = 4*z + 4, 5*z - 4 = 2*b + 1. Which is bigger: -8 or b?
b
Let c(a) = 3*a**2 + 4*a - 5. Let s be c(2). Let i be 6/s + (-3)/(-30). Is i < 2?
True
Let s = 0.09 - 11.09. Let r = s + 16. Let c = r - 4.9. Which is smaller: c or 2/5?
c
Let r = -7 - -4. Let u be (2/r)/(69/(-9)). Suppose 11*x = 14*x + 3. Do u and x have the same value?
False
Let p = -11 + 7. Let u = p - -4. Let z be ((-2)/(-8))/(u + 1). Which is bigger: z or -2?
z
Let q be 2/(-6) + (-176)/(-33). Suppose q = -8*h + 3*h. Which is greater: -2 or h?
h
Let d = -4 - -4. Is d at most 4/9?
True
Let p(a) = a**2 - 4*a**2 + 2*a + 2*a**2 - a**3. Let n = 6 + -8. Let j be p(n). Is 1 at least as big as j?
True
Let a be 431/(-685) + 0/(-1). Let w = 4/137 + a. Is -2 at least as big as w?
False
Suppose 221 = 14*z - 185. Which is greater: 27 or z?
z
Suppose 4*i + 3*n = 1 + 19, 5*i - 26 = -4*n. Suppose -4*v = -2*g + 2, i*v - 14 = -3*g - g. Let p be (-4)/g*3/(-2). Which is smaller: p or 4/5?
4/5
Let x be (-4)/(-8)*6/39. Is x less than 0?
False
Let b = 35 + -42. Are b and 1/4 nonequal?
True
Let y = -19 + 19.3. Which is smaller: -5/3 or y?
-5/3
Let r = -2 - 5. Let c(t) = 3*t + 6. Let v be c(-5). Is r smaller than v?
False
Let y = 9 + -5.4. Is y at most -1/3?
False
Let k = 47.2 + -47. Let l = 2947/10 - 295. Which is smaller: k or l?
l
Let m(z) = -z**3 - 4*z**2 - 2*z + 4. Let y be m(-3). Let g = -1871/16 + 117. Which is bigger: y or g?
y
Let d = -8 - -11. Let t be (-1 - (-20)/(-16)) + d. Which is bigger: 2 or t?
2
Let c be ((-2)/(-6))/(2/18). Let s(r) = -4*r**c + r + 4*r**2 - 3*r**2 + 3*r**3 + 1. Let j be s(0). Which is smaller: j or 3/5?
3/5
Suppose -4*a - 8 + 4 = 0. Is -1/6 equal to a?
False
Suppose -5*n = -6*n + 8. Let t = 16 - n. Do t and 7 have the same value?
False
Let w be -1*-2*12/8. Let o be w*-1 - (0 - -4). Is -7 not equal to o?
False
Let c(w) = w**3 + 4*w**2 + 3*w - 2. Let y be c(-3). Let s be (0 - -1)*0/y. Which is smaller: s or -1/7?
-1/7
Let r = 4 + -10. Let u = r + 5.9. Is 2/11 not equal to u?
True
Let h be 96/64*1/((-6)/(-4)). Suppose -4*u = 5*g - 29, 2*u + 4*g + g - 27 = 0. Let v be u + -1 - 1/3. Which is greater: h or v?
h
Let q(a) = -1 + 4*a - 6*a + a. Let m be q(6). Does m = 0?
False
Let r = 2 + -3. Let g(v) = -v**3 + 7*v**2 - 7*v + 3. Let d be g(6). Let j be ((-1)/d)/(7/(-42)). Which is bigger: j or r?
r
Let w(y) = y**3 - y. Let z(b) = -b**2 + 6*b. Let f(q) = -6*w(q) - z(q). Let d be f(-1). Let v = d + -4. Is v > 5?
False
Let h = 1 - -4. Suppose -9 - 11 = -5*v. Is h at least as big as v?
True
Let y be 3 + -2 + 4 + -3. Suppose -2*a - y*s = 8, -a + 3*s + 12 = -0*s. Which is greater: 3/10 or a?
3/10
Let h(o) = o**2 - 2*o - 2. Let x(j) = 3*j + 1. Let g be x(-1). Let q be h(g). Suppose 0 = 3*i - 3*s - 3 - q, 4*i - 7 = -s. Is 2 <= i?
True
Let i be -3 + 1 - (0 + -1). Let b = 91 + -453/5. Which is bigger: i or b?
b
Let g be (-720)/(-16)*1/(-1). Which is smaller: -2/5 or g?
g
Let s = -766 + 20678/27. Are s and 1 non-equal?
True
Let b = -33 - -15. Let f be (10/b)/((-4)/24). Which is smaller: 4 or f?
f
Let l be ((-45)/81)/(10/12). Suppose -4*q - 5*n = -0 + 4, 2*n + 1 = -q. Which is smaller: q or l?
q
Let b(h) = -h**2 - h + 1. Suppose 4*y = -a + 3*y + 2, y = 5*a + 2. Let f be b(a). Which is smaller: 4/3 or f?
f
Suppose 0 = s + 3*g + 10, 0 = 4*s + g - 0 - 4. Let j(q) = -q + 1. Let b be j(s). Let o be 216/105 - 2*1. Which is greater: b or o?
o
Let u(m) = 7*m + 9. Let t(v) = -15*v - 19. Let y(c) = -6*t(c) - 13*u(c). Let a be y(-5). Suppose -4*b + 20 = 0, 5 = -2*l - b + a*b. Which is bigger: 3/7 or l?
3/7
Suppose 3*f + 7 = z - 2, -12 = 4*f. Which is smaller: z or 6?
z
Suppose 8 = -3*a - 2*t, 4*t - 8 + 2 = 5*a. Is a at least -22/13?
False
Let g = 3184/6913 + -14/31. Let c = 452/669 - g. Is c less than or equal to -1?
False
Let g be (1/(-7))/((-1)/1). Is 0 smaller than g?
True
Let y(f) = -f**3 - 4*f**2 + 4*f + 1. Let b be y(-5). Let o be b/(-28) - 6/(-12). Is o at least as big as 0?
True
Let s(r) = -r**3 + 8*r**2 + 1. Let a be s(8). Let n be a*-2 + (-1 - -4). Let l = 3 + -3.1. Is n != l?
True
Let o = -105 + 106. Let b be 35/(-87) + (-1)/(-3). Which is bigger: b or o?
o
Let k(x) = x - 4. Let s be k(6). Suppose 5*v - 2*v - 5*y - 28 = 0, -17 = 3*v + 4*y. Is v equal to s?
False
Let j(n) = -3*n**2 - 17*n + 5. Let c be j(-6). Does 36 = c?
False
Suppose 4*v = -2*y - 6, 0 = 2*v + 2. Let k be (-1 + 1)/(6 - 5). Let t be -1 - (0 + k - -1). Which is smaller: t or y?
t
Let k be 4 - (-4)/(20/(-115)). Is -19 less than k?
False
Let t = -13 - -11. Which is greater: 1 or t?
1
Let m be 3/(-8 + -1)*-15. Suppose v = 5*j - 0*v + 60, -v - 50 = m*j. Let w = -10 - j. Is 3 at most w?
False
Let b = -0.14 - 5.86. Let h be 39/(3 + (-9)/2). Let m = 105/4 + h. Which is smaller: b or m?
b
Let a(n) = -2*n. Let v be a(6). Let y be (-14)/(-66)*v/42. Which is greater: -1 or y?
y
Let w(f) be the first derivative of f**2/2 - 5. Let j be w(0). Do j and 3 have the same value?
False
Suppose -f + 88 = 4*p + 21, 3*f + 3*p - 174 = 0. Is f < 56?
True
Let p(c) be the third derivative of c**5/60 - 7*c**4/24 + c**3 - 3*c**2. Let m be p(6). Is m less than -2?
False
Let p = -5/12 + -11/12. Which is smaller: -0.4 or p?
p
Let c = -4 + 3. Let q be (-70)/(-21)*(-6)/(-4). Let o be (c - q)*4/18. Which is smaller: o or 0?
o
Let u = -6.2 + 6. Which is smaller: u or -0.06?
u
Suppose 0 = -0*j + j. Let v be (-8)/(-10) + j + -2. Suppose 5*o - q = 1, 0*o - 4*q = 2*o + 4. Which is bigger: v or o?
o
Let f(o) = o**3 - 4*o**2 + o - 3. Let x be f(4). Suppose -1 - x = -p. Which is smaller: 1 or p?
1
Let l = 2.04 + -2.34. Let x = -0.1 - 0.3. Is l > x?
True
Suppose -w = -2*k + 2*w - 9, -3*k - 13 = -4*w. Suppose 5*p + 6*u + 7 = 3*u, 4 = 4*u. Is k smaller than p?
True
Let w = 4.3 - 8.1. Let n = -7 - -11. Let s = w + n. Which is smaller: s or 2/5?
s
Let r(n) = -n**2 + n + 1. Let p(s) = -5*s**2 + 15*s + 14. Let h(z) = p(z) - 6*r(z). Let j be h(-8). Which is greater: 3/5 or j?
3/5
Let g = 0.21 - 0.11. Which is smaller: -7/5 or g?
-7/5
Let p = 1.74 + 0.26. Let q = -7 + 11. Let a = q - p. Are a and -0.2 unequal?
True
Let c be 45/(-20)*2*-2. Let y = c + -7. Suppose -5*j = 1 - 6. Which is smaller: j or y?
j
Let v(d) = -2*d**2 + 15*d + 12. Let z(t) = -t**2 + 8*t + 6. Let k(y) = -3*v(y) + 5*z(y). Let j be k(7). Let l = 5 - j. Do l and -3 have different values?
False
Let v be -4 - -4 - (2/78 - 0). Which is smaller: 0 or v?
v
Suppose 5*n + 0 = -4*b + 11, -2*n = -4*b + 18. Let h be (-35)/(-11) - 10/55. Let r be (2 - 2) + 1 - h. Which is smaller: r or n?
r
Let j(l) = 8*l + 8. Let g be j(8). Let d be (-2)/(-9) + (-10)/g. Suppose i = -i. Which is smaller: i or d?
i
Let v = 3 + -2. Suppose 0 = o - 3 + 1. Suppose 5*u - 6 = -o*q, 5*u - 3*q + 7 + 2 = 0. Which is bigger: v or u?
v
Let u(l) = -l**2 - 2*l + 1. Let t be u(-2). Let c be -1 + ((-2)/(-2) - 1). Let j = 1 + c. Which is greater: j or t?
t
Let v = 3.381 - 0.081. Let y = v - 3. Let q be 4/6*(-2)/4. Is q at most y?
True
Suppose -3*w - w - 28 = 0. Let y(a) = -2 - a + 1 - 4. Let v be y(w). Which is bigger: v or 3/5?
v
Suppose -4*c - 10 - 6 = 0. Let i = -0.5 - 1. Let s = i + 1.4. Is c equal to s?
False
Let a = -2.69 - -0.39. Let c = a - 0.7. Let q = 2 + c. Is q at least as big as -0.1?
False
Suppose 8*y + 5*z - 5 = 3*y, y + 2*z = 1. Let i = -2 + y. Which is bigger: i or -2/3?
-2/3
Let j = 5 + 2. Let x = -0.84 - -2.84. Which is smaller: j or x?
x
Suppose 4 = 2*d - 0. Let v(b) = -b**3 + 13*b**2 - b + 16. Let a be v(13). Are a and d equal?
False
Suppose 3*y + 6 + 4 = 2*w, 3*w - 29 = y. Is 10 at least as big as w?
False
Let h(f) =