t o be ((-1 - -4) + z)*1. Do o and 2 have different values?
False
Let l = -5333/7 - -764. Do l and 3 have the same value?
False
Let l = 11 + -11.8. Let a = 1.13 - 0.13. Let y = l + a. Is y less than or equal to 1/2?
True
Let m = 134 + -143. Is -1 less than or equal to m?
False
Let o = 18.96 + -19. Are o and 0.1 nonequal?
True
Let c(r) = -6*r - 2. Let f be c(-1). Suppose 0 = -f*m + 3*m. Does 1 = m?
False
Let h(v) = -v**2 + 2*v + 7. Let u be h(4). Which is smaller: -9/7 or u?
-9/7
Suppose 0 = -h + 4, 3*d - 1 = h + 13. Let z(q) = -q**2 + 5*q + 2. Let t be z(d). Suppose 4*j + 8 = 2*j. Is t at most as big as j?
True
Suppose -g + 2 = 2*g + 2*a, -4*g - 5 = -5*a. Which is smaller: -5/4 or g?
-5/4
Let y = -2.2 + 0.2. Is -0.1 at most as big as y?
False
Let f = 13 + -8. Which is bigger: f or -1?
f
Let n = 2.02 - 0.02. Let x = -2.02 + n. Let p = 0.02 + x. Is 1/3 at most p?
False
Let a = 7 + -3. Is 2/7 bigger than a?
False
Suppose -p + 3*c = 4, c = -p - 4*c + 28. Which is smaller: p or 10?
p
Let f be (-2)/((-18)/45) - (0 - -2). Let q = 1 + 2. Is f smaller than q?
False
Let l(c) = -3*c**3 - 4*c**2 - c + 2. Let z be l(-2). Let h be z + (-2 - -1) + 2. Which is greater: h or 14?
14
Let c be 715/10269 - 4/14. Let l = -1/163 + c. Let w = 3 - 4. Which is smaller: l or w?
w
Let q = 6.8 + -1.8. Which is bigger: -1 or q?
q
Let y be (-18)/63 - (0 - (-242)/(-14)). Which is greater: y or 21?
21
Let u = -104 + 316/3. Let p = 3 - 0. Suppose -p*l + 6*l - 3 = 0. Is l at least u?
False
Let y(v) = -v**2 + 5*v. Let g = -1 - -6. Let p be y(g). Which is greater: p or -4/9?
p
Suppose a - 4*i + 2 = 15, 11 = 2*a - 3*i. Which is greater: -0.87 or a?
a
Let v be (60/440)/((3/(-2))/(-3)). Suppose -4*w = -9 + 1, -4*w = 5*k - 13. Is k greater than v?
True
Suppose -7*l = -5*l + 38. Which is smaller: l or -17?
l
Let k = 0.1 + -0.5. Let m = k - -0.4. Let w = m - 1. Which is bigger: -2/3 or w?
-2/3
Let d = -0.98 + 12.98. Is d less than 1?
False
Suppose 3*c = 2*v + 7, -3 = 3*v - 4*c + 6. Suppose v = 3*p - k + 3, -4 = -2*k. Are 4/5 and p unequal?
True
Let w be (-6)/(-40) - (-1)/4. Suppose -4*t + k + 126 = t, -5*t + 127 = -2*k. Let o = t + -25. Do w and o have different values?
True
Suppose -7*v + 18 = -5*v. Which is greater: v or 7?
v
Let c(m) = 2*m**2 + 4 - 6 + m - m**3 + 3 + m. Let b be c(2). Is 4 bigger than b?
False
Let r(s) = -2*s + 22. Let t be r(9). Which is bigger: 15/4 or t?
t
Let w = -67 + 35. Which is bigger: 0 or w?
0
Let k = -59 + 60. Let n = -2/3 + 7/24. Is k less than n?
False
Let v = 8 - 8.07. Let r = -0.07 - v. Is -9 bigger than r?
False
Let i(w) = -w**3 + 4*w**2 + 5*w. Let x be i(-1). Which is smaller: x or 37?
x
Let l be ((-2)/(-33))/(6/45). Which is smaller: l or -1?
-1
Let o = 7.79 - -0.21. Do 1 and o have the same value?
False
Let v = -16.2 + 8.22. Let m = v - -9. Let a = 0.02 - m. Is a smaller than -2?
False
Let l(z) = 4*z + 27. Let b be l(-10). Which is greater: b or -14?
b
Let g = -0.12 - -0.22. Let y = -0.05 + 0.15. Is y >= g?
True
Let r = -65 + 29. Let q be (-10)/8 + 27/r. Let d be 3/14 - q/(-4). Which is bigger: -1 or d?
d
Suppose 2*z + 24 = -z. Let a = 8 + z. Which is smaller: -1 or a?
-1
Suppose 5*d - 16 = d. Let f = d - 4. Which is smaller: f or 1?
f
Suppose -13 = -5*r + 2. Let d be 0/(3 - 2/1). Suppose -2*s + s + r = -3*f, -s = d. Is f greater than or equal to -2?
True
Let d(l) = -3*l**3 - 1. Let b be d(-1). Suppose 0 = -3*u + b*u + 1. Let x be (0 + 1 - 0) + -1. Is x greater than u?
False
Let v be 1033/(-20) - 6/(-24). Let b = 51 + v. Is 0 at most b?
False
Suppose 23602 = 5*l - 2*n - 2*n, 0 = -3*l - 2*n + 14170. Let i = 986901/209 - l. Let x = -35/209 - i. Which is smaller: -1 or x?
-1
Let f = -1.5 + 1.4. Is f at least as big as -24?
True
Suppose -5*d = -9187600 - 69195270. Let g = d + -21884496265/1396. Let v = 2/349 + g. Which is smaller: 1 or v?
v
Let b = -9 + 13. Suppose -5*g + 40 = 3*g. Is b at least as big as g?
False
Suppose 13*h - 5*h = 0. Let v be (-3)/(-9) - 22/(-42). Is v < h?
False
Let p = -60 - -59.917. Is p less than or equal to 0?
True
Let r(p) = p**3 + 6*p**2 - 5*p - 6. Let z be r(-6). Suppose 4*x = 3*l - z, -2*x + 5*x + 4*l + 18 = 0. Which is bigger: x or -5?
-5
Suppose c + 42 = 5*c - 2*p, 5*p = 2*c - 41. Let x be (9/(-2))/(2/(-4)). Is c greater than x?
False
Let q = -190 + 5128/27. Let a be -6 + 9 + (-7)/3. Which is smaller: q or a?
q
Let h(b) = -b**3 + b**2 + b + 1. Let g be (1 - 1)*2/4. Let d be (0 + g)/(-2 - 1). Let m be h(d). Are 2 and m unequal?
True
Let d(v) = v**3 - 4*v**2 + 4*v - 4. Let r be d(4). Do r and 12 have different values?
False
Let k be (2/3)/((-8)/3). Let g be (10/(-4) + 2)*-2. Which is smaller: g or k?
k
Let j = 0.2 + 0.6. Let v = j + -0.7. Which is smaller: 1/4 or v?
v
Let y = 1 + -1.4. Let q = 2.017 + -0.017. Which is smaller: y or q?
y
Let r = 12 - 12. Suppose r*n + 2*n = 0. Is n less than or equal to -2/7?
False
Suppose 96 = -8*w + 4*w + 4*r, -4*w + 3*r = 100. Which is smaller: -2 or w?
w
Let z = -0.496 + -1.494. Let s = 0.01 - z. Let x = 90/7 - 478/35. Is s bigger than x?
True
Let k be (-6)/(-585)*-102 + 1. Is 0 at most k?
False
Let l be (-32)/6*3/2 + 2. Which is greater: -0.1 or l?
-0.1
Let y = 0.095 + 0.005. Is 111 smaller than y?
False
Let x be ((-16)/(-50))/4*5. Which is smaller: x or -6?
-6
Let r = 0 + 2. Let v = -108 - -538/5. Is r not equal to v?
True
Let a = -57.4 - -53. Let r = -0.6 + a. Is r not equal to 1/4?
True
Let c = -2 + 1. Let z = c - -1. Is z > -1/6?
True
Let x = 4/16442069 - 4410930293347/2663615178. Let c = 1656 + x. Let d = c + 319/810. Is 1 greater than d?
True
Let v(a) = -a**2 + 5*a + 3. Let f be v(6). Let t be 0*(f + 4 + -2). Let h be -1 + 1 + 3 + -2. Which is greater: h or t?
h
Let q = -3 + 2. Let y = 2 + q. Let j be 2/(-6)*(-27)/36. Which is bigger: j or y?
y
Let u = -95/4 - -24. Let w(r) = 2*r - 1. Let d be w(1). Is d < u?
False
Let c be ((-1)/(-2) + 0)*0. Suppose -10 = 2*j + 4*o, 2*j - 14 = 11*o - 7*o. Which is smaller: j or c?
c
Let k = 65 + -193/3. Suppose v - 9 = 13. Let u = v - 20. Is k < u?
True
Suppose -2*i - 6 = 4*m, i + m - 3 = -i. Suppose 4 + 8 = i*n. Which is bigger: 2 or n?
n
Let f = 0.54 + -0.14. Let b = f - 0.4. Do b and -12 have the same value?
False
Let c(w) = -w**2 + 4*w + 4. Let x = -2 + 8. Let j be c(x). Let s be (-4)/(-15) - j/(-12). Is -1 <= s?
True
Let k = 81 - 76.5. Is -1 greater than or equal to k?
False
Let a = -14 - -14. Let x = 168 + -509/3. Which is bigger: x or a?
a
Let o(r) = -r**3 + 4*r**2 + 6*r - 5. Let d be o(5). Let s be 0 - (-1)/(-4) - (-9)/20. Which is bigger: s or d?
s
Let u be ((-4)/2)/(-2 + 0 - 4). Is 0.07 at most as big as u?
True
Let t(n) = -n**3 + 3*n**2 + 3*n - 4. Let y be t(4). Let d = 6 + y. Let q = -107/78 - -1/26. Which is smaller: d or q?
d
Suppose -5*l + j = 49, -4*l + 5*j - 33 - 2 = 0. Are l and -7 equal?
False
Let f = 18 - 21. Let p be 1 + 14/(-10) + 0. Which is bigger: f or p?
p
Let k(n) be the second derivative of n**6/360 - n**5/15 - n**4/2 + n**3/6 - 2*n. Let h(z) be the second derivative of k(z). Let u be h(9). Is -2 at most u?
False
Suppose 0*a + 4*i = -3*a - 13, 0 = 5*i + 20. Let t = -6 - -8. Let z = -1 + t. Do a and z have the same value?
True
Let l(t) = 39*t - 6. Let p be l(6). Let m be p/117 - 6/3. Which is bigger: 0 or m?
0
Suppose -h + 5*h = -24. Let j be (h/(-12))/((-2)/4). Which is smaller: j or -1/8?
j
Let x = 46 - 164/3. Let s = 9 + x. Are -1 and s equal?
False
Suppose 0 = 4*w - 0*w. Let d = -12 - -9. Let c = -2 + d. Is c equal to w?
False
Let c = -33/58 + 2/29. Let x = 0 - 0. Suppose 0 = -x*v - 2*v. Which is smaller: v or c?
c
Let h = 105 - 104.8. Which is smaller: -4 or h?
-4
Let q = 10 + -5. Suppose -3 = q*k + 22. Let c = k - -3. Is c >= -3?
True
Suppose 0 = o + 4, 4*a + 0*a - o - 8 = 0. Which is smaller: a or 5/27?
5/27
Let b = -0.008 + 5.908. Let v = b + -6. Is 2/9 greater than or equal to v?
True
Let y = 1382 + -51140/37. Which is bigger: y or 0?
0
Let g = -87 - -87. Let f = -1381/7 + 197. Is f smaller than g?
True
Let o be (6/8)/((-15)/(-8)). Let f be (-2)/(-9) + 43/9. Suppose 2*q = 3*q - 2*l - 4, -f*q - 4*l = 8. Is q > o?
False
Let h be 1*(2*-7)/(-2). Let t be 17/h - 12/6. Are 1 and t non-equal?
True
Let s be (-18)/(-1280)*266/(-3). Let k = s + 3/64. Let m be 0*(-2 - 3/(-2)). Is m equal to k?
False
Suppose -3*q + 