96 - -42/3737. Let a = v + -304. Do a and 0 have the same value?
False
Let k be 4/(-8)*0 - 11. Which is smaller: k or -13?
-13
Suppose 5*c - 30 = -25. Let q(d) = d**2 + 4*d + 3. Let w be q(-2). Let n be (2/14)/(w/(-3)). Is n at most c?
True
Let p(b) = b - 5. Let x(h) = -h**3 + 2. Let s be x(0). Let n be (0 - s) + (1 - -8). Let y be p(n). Is y < 1?
False
Let w = -1 + -3. Let n be ((-9)/3)/(6/(-8)). Let r = n + w. Is r greater than or equal to -2/3?
True
Let c = -84.8 - -86. Is -0.1 smaller than c?
True
Let z = 4.98 + 0.02. Let c = -5 + z. Does c = -2/9?
False
Let a be 0 + 2 + (-48)/22. Which is smaller: a or 0?
a
Suppose -2*d - 20*p = -15*p + 19, d + 2*p = -8. Suppose -4*t = -9 + 1, 5*q - 17 = 4*t. Let i = 3 - q. Is i smaller than d?
False
Let g(m) = m - 3. Let r be g(4). Let n = 5.4 - 7.4. Which is smaller: n or r?
n
Let s(c) = -c**2 - 6*c + 16. Let d be s(-8). Is 2/47 != d?
True
Let s(v) = -v + 10. Let j be s(7). Let t(h) = 4*h**2 + 2*h. Let l be t(-3). Suppose -6*a + a + 5*d = -l, a - 9 = 2*d. Is a at most as big as j?
True
Let b = 2.7 - 2.3. Is b less than 3/2?
True
Let u be ((-10)/125)/(144/2395). Let h = u + 11/9. Let w = h - 7/24. Are w and 1 equal?
False
Let h(o) = -o. Let x be h(-10). Let t(b) be the third derivative of b**5/60 - 3*b**4/8 - 5*b**3/3 - b**2. Let s be t(x). Is s > -1/2?
True
Let j = -59 + 53. Let o(w) = -w**3 + 5*w**2 + 5*w + 1. Let f be o(6). Which is bigger: j or f?
f
Let a = -5.5 + 5.5. Let q be (5/6)/(1/3). Is q equal to a?
False
Let w = 133 + -35. Is 98 at most w?
True
Let r = 513.17 + -511. Let a = -2.2 + r. Which is greater: 0 or a?
0
Let u = 89 - 88.96. Which is smaller: u or 0.4?
u
Let t = -3.08 + 0.08. Let w = 7 - 9. Is w less than or equal to t?
False
Suppose -4 = 3*r + r. Let l be (-2 + 1)/(r/2). Which is smaller: 1/4 or l?
1/4
Suppose 6*g = 2*g + 56. Let a be (1/2)/((-7)/g). Is 2/15 >= a?
True
Let o be (3 - (-8)/(-2)) + 42/39. Which is greater: o or -1?
o
Let i = -3 + 5. Suppose 0 = -5*a + i*a. Let m be a*((-15)/(-6) + -2). Which is smaller: -1/5 or m?
-1/5
Let b be (-266)/(-88) + 18/(-6). Is b > 0?
True
Let o = -28 - -28. Is o at most as big as -1/35?
False
Suppose 0 = -3*o + 8*o + 55. Let m(x) = -x**3 - 11*x**2 + x + 12. Let t be m(o). Which is bigger: t or -1/25?
t
Let f = -5 + 4. Suppose -3*y + 4 + 5 = 0. Suppose 0 = -3*h - 4*b - 12, -h = 4*h + b + y. Does f = h?
False
Let i(y) = y + 12. Let r = -18 + 11. Let a be i(r). Suppose -s + a = -0*s. Do 4 and s have the same value?
False
Suppose -5*z = 5, c + 3*z - 3 = 4*c. Does c = -1?
False
Let h be 4/(-6) + 7/6. Let b = 2 - 1. Is h greater than or equal to b?
False
Let f = 207 - 208. Let a = 10 - 2. Let y be 6/a*(-2)/(-6). Is y at most as big as f?
False
Suppose -3*n = 4*c + 29, 4*c + 4*n - 3 = -31. Let m(t) = -t**3 + t**2 + 3*t + 4. Let k be m(3). Let a = k - c. Is 3 at most a?
True
Suppose -5*z + 2*n + 18 = 0, -n + 0 = 4. Let t = 15 - 11. Is z > t?
False
Let l = -3 + 0. Let j = -3.6 - -4. Let d = 1.4 - j. Is l at least as big as d?
False
Suppose t + 39 = 4*t. Suppose -2*o = x, -4*x = -5*o - 0 + t. Let p be (-27)/15 - (5 - 7). Is p bigger than o?
False
Suppose 10 = -5*c - 5*y, 5*y = -0*c + 4*c - 37. Suppose c*p = 2*p - 1. Are p and 0 equal?
False
Let c = -19 + 21. Is c at least 1?
True
Let z = -1.17 + 1.1. Let b = z - -2.07. Let s = 3 - b. Is -3 smaller than s?
True
Let k(j) = -2*j + 9. Let x be k(6). Let l(n) = -2*n**2 + 3*n + 4. Let p(s) = s**3 - s. Let m(w) = -l(w) + p(w). Let a be m(x). Is -2 less than a?
True
Suppose 2*k - 25 = 33. Let w = k + -26. Let m be -1 - ((-1)/1 + -4). Is w at least as big as m?
False
Let g = -0.18 + 0.28. Is g at most as big as 9?
True
Let u = -503/5 + 101. Let t be 6/3*-1*1. Let h be (-22)/(-18) + t/9. Is u equal to h?
False
Let b be (-2)/7 + (-96)/(-140). Let a = 0.06 - 0.09. Let i = a - -0.23. Which is greater: b or i?
b
Let k be (-1 - -2)*4/(-18). Suppose -4*s - 2*y + 8 = 0, 5*y + 12 = 2*s - 16. Let v = -4 + s. Is k greater than or equal to v?
False
Let d = 48 + -54. Is -6 != d?
False
Let d = 6085/26 - 234. Does -1 = d?
False
Let m be (1620/14)/(-2) - (-1)/(-7). Is -57 < m?
False
Let h(p) = -p - 4. Let x be h(5). Let z = x + -5. Let n be (-19)/7 - (-4)/z. Is -1 not equal to n?
True
Let b = 337/602 + 1/86. Suppose -7*m = q - 2*m + 22, -2*q = -m. Let o = q + 2. Which is smaller: o or b?
o
Let y be 4/(-22) - -2*12/22. Is y equal to 1?
False
Let f(u) = -8*u - 4. Let j be f(-6). Is 44 less than j?
False
Let p = -38 - -38. Which is smaller: p or -0.05?
-0.05
Let p(d) = -3*d - 5. Let o be p(-2). Is 7 smaller than o?
False
Let c = 7994/8165 + -8/355. Which is greater: 2 or c?
2
Let d = 9 + -10. Let l = d - -6. Which is smaller: 0.2 or l?
0.2
Let l be (2 - (-36)/(-20))*1. Which is greater: l or 1?
1
Suppose 16 = -3*b + 13. Let l = -6 - -3. Which is smaller: b or l?
l
Let i be ((-56)/84)/((-4)/(-30)). Suppose 2*l = 2*x + 2, x = 4*l + 2*x + 16. Which is greater: l or i?
l
Let n(p) = -p**3 - 4*p**2 + 6*p + 6. Let k be n(-5). Suppose -5*w - 6*u + 95 = -u, 5*w - 3*u = 103. Let b be 1/3 + w/48. Do b and k have different values?
True
Let f(w) = w**2 - 5*w + 6. Let x be f(4). Suppose x = q - u, -4*q = -q - 4*u - 11. Does -3 = q?
True
Let t = 0.2 - 0.23. Let y be ((-9 + -3)/3)/(-1 + 3). Do y and t have different values?
True
Suppose 11 = 5*k + 2*w, -3*k + k = 4*w - 14. Let n be (k + -1)*(-1)/2. Does n = 0?
True
Let o = -18 - -53/3. Let q = 0.1 + 0.2. Is q at least as big as o?
True
Let c = 26 - 114. Is c less than or equal to -88?
True
Let t = -1.4 + 1.5. Let q = -0.5 - -0.3. Let n = q + t. Is -1/3 at least n?
False
Let z(r) be the third derivative of -r**6/120 + 13*r**5/60 + 13*r**4/24 + 2*r**3/3 - 5*r**2. Let l be z(14). Which is smaller: -9 or l?
l
Let m be (-2)/(-5) + 16/10. Let w be m - (-4 - 4/(-2)). Suppose -w*d + 26 = 2*k + 6, 3*d = 6. Which is bigger: 5 or k?
k
Let g = 1.67 - 1.87. Suppose 5*z = -2*x + z - 12, -x - 3*z - 6 = 0. Which is smaller: g or x?
x
Suppose 19 = -4*z + 11. Is -5/6 < z?
False
Let b = 58 + -59. Are b and -5/26 non-equal?
True
Let k = 3235/53 + -61. Is 1 < k?
False
Suppose 1 = 6*u - 7*u. Which is greater: -5 or u?
u
Let c = 40 - 56. Which is smaller: c or -15?
c
Let j = 4.91 + 0.09. Let c = j - 6. Which is greater: c or -3/7?
-3/7
Suppose 2*q - 3*q = -2. Suppose 2*u = -x + u - 2, -4 = q*x + 5*u. Let o be (-2)/(-3)*3/x. Which is greater: 0 or o?
0
Let n be (0 + 2)/(1 + 1). Let o = -6 + n. Let t = 4 + o. Which is smaller: t or -0.3?
t
Let d = 0.24 - 6.24. Let p = -10 - d. Let q(l) = l**3 + 2*l**2 - 2*l + 2. Let i be q(-3). Is i at most as big as p?
False
Let j be (-23)/(-20) + 15/(-20). Suppose 0 = -a - 4*a. Which is smaller: a or j?
a
Let c = -22 - -13. Is c less than -9?
False
Suppose 0*b + 2*b = 8. Suppose b = -w - 0. Let r = -2 - w. Is 3/2 > r?
False
Suppose 2*z - 6*z = 20. Let w(y) be the second derivative of y**5/20 + y**4/2 + y**3 + 3*y**2 - y. Let a be w(z). Which is bigger: a or -2/19?
a
Let n = 1/81 - 409/324. Let l be (-1)/(22/18) + (-2)/11. Which is bigger: n or l?
l
Let n = -4 + 4.3. Let a be 70/(-28) + (1 - -2)/1. Is a at least n?
True
Let a(p) = p**2 + p. Let z be a(0). Let m = 6 - 13. Is m at most z?
True
Suppose 0 = 5*m - 0*m + 50. Let z = 7 + m. Which is smaller: z or -2?
z
Let s be ((-1)/3)/(2/(-18)). Suppose s*q - 5 = -2*g, 0 = 3*q - 0 - 9. Let k = -253/150 - -1/50. Are g and k equal?
False
Suppose 4*z - 3*o + 8 = -8, 11 = -3*z + 2*o. Which is smaller: z or -10/9?
-10/9
Let m = -61 + 66.1. Let k = -5 + m. Which is smaller: k or 8?
k
Let m = -11 - -7. Let k = m + 3.9. Do k and 0.3 have different values?
True
Let m be (-20)/50 + 16534/(-50). Let v = 331 + m. Is v greater than -1?
True
Let x = 8.18 + -0.18. Let o = -6 - -12. Let b = x - o. Which is greater: b or -2?
b
Suppose -2*c + 0 = -2. Which is smaller: -2/11 or c?
-2/11
Suppose q = 4*q + 39. Let b = q - -11. Is -6/7 >= b?
True
Let l(p) = -p**2 - 2*p. Suppose 7*f + 4 = 5*f. Let q be l(f). Let o = 47 + -422/9. Which is greater: o or q?
o
Let h(n) = -n**3 - 11*n**2 - 10*n - 2. Let k be h(-10). Let y be ((-3)/(-2) + -2)/1. Is k at least as big as y?
False
Let t = -6 + 9. Let x = -3 + t. Which is bigger: -3/8 or x?
x
Let f = 0.7 + -1.7. Suppose -3*v + 1 = -4*a, v + 7 = 6*a - a. Is a greater than or equal to f?
True
Let v be (-2 - 0)/((-2)/(-7