 64. Let q be x(3). Is q greater than or equal to -229?
True
Suppose -251 = -2*r - 253. Which is greater: r or -29/31?
-29/31
Suppose 4*f - 3*f - 9 = -4*d, 0 = 3*f - d + 12. Let w = -1445 + 10097/7. Which is greater: f or w?
w
Suppose -c = c - 6. Let z be c/7*(-2)/(-24). Which is smaller: z or -1?
-1
Suppose -10 = -6*y + 44. Suppose -y = 3*d + s, 0 = -4*d - 0*s - s - 12. Let t be (-1)/((-1)/(-3)) + -1. Is d greater than t?
True
Let a = -2.18 + 2.08. Let s = 8.76 - -0.24. Is a > s?
False
Let h be (-16)/4 + (-330)/(-81). Is -1 <= h?
True
Let o be 1*75/(-6)*24/(-5). Is o < 60?
False
Let d = -13 + 13. Suppose 0 = 10*n + 460 - 570. Is n at most as big as d?
False
Let h(j) = -13*j - 44. Let b be h(-6). Is b != 1?
True
Let n = 181 + -181. Suppose 5*z + 11 + 19 = 0. Which is bigger: n or z?
n
Let u be (-3128)/620 + (-4)/(-10). Which is smaller: -6 or u?
-6
Let o be (-9)/3 - (-406)/7. Are 56 and o non-equal?
True
Let a be (7 + -2)*-1 - 276/(-84). Which is greater: a or -12?
a
Suppose -24 = -2*x + 5*w, -x - 5*w + 30 = 3. Let o = -32 + x. Let d = o - -14. Is -3 greater than d?
False
Let i(k) = -8*k + 193. Let d be i(20). Is d greater than 18?
True
Let k be 7/(-42)*3*-34. Are 11 and k unequal?
True
Let a(t) = t**3 - 10*t**2 + 10*t - 12. Let u be a(9). Let z = 22 - 14. Let d be (-18)/z - 1/(-4). Which is bigger: d or u?
d
Suppose 3*d + i = 6*d + 194, -4*d = -4*i + 272. Which is smaller: d or -61?
d
Let p = -28 - -33. Suppose -p*x + 81 = m - 64, 3*x = 4*m + 110. Let u = 31 - x. Which is smaller: -5/12 or u?
-5/12
Suppose -d - 1050 = -5*r, -2*d + 3*d + 1038 = 2*r. Is d greater than -1030?
False
Suppose -i + 676 = -194. Let t be ((-1)/2)/(3*(-5)/i). Is t less than 29?
False
Let s be (-10 - -14)*(130/32 + -4). Which is bigger: s or 255?
255
Let q = 0.05 + 13.95. Let b = 17 - q. Which is smaller: b or 0.1?
0.1
Let i = -4 - 0. Which is smaller: i or -32/11?
i
Let d be -4 + (-998)/248*-1. Let w = 305/2356 - d. Is 1 greater than or equal to w?
True
Let j(c) = -c**3 - 8*c**2 - 8*c - 8. Suppose -2*m - 10 = -7*m. Suppose 0 = m*b + 5*v - 6, 5*v + 0*v + 15 = -5*b. Let o be j(b). Which is smaller: -2 or o?
-2
Suppose 0*c = -q - 4*c - 146, -3*q + 3*c = 498. Is -161 at most q?
False
Let i(f) = -20*f**2 + 25*f + 62. Let p be i(-4). Is -358 greater than or equal to p?
True
Let r(f) = 3*f**2 + 9*f + 2. Let l(s) = 4*s**2 + 9*s + 1. Let u(z) = -2*l(z) + 3*r(z). Let n be u(-6). Is n > -12?
False
Let o = -13 + 22. Let w be 0 - ((-6)/o)/(-2). Is 0.1 bigger than w?
True
Let y = -1090 - -431. Is 2/5 at most as big as y?
False
Let v = 9 + -5. Let q = 15 + -11. Let d = v - q. Is -2/13 bigger than d?
False
Let c be (-2 + 0)/((-9)/90)*-1. Which is smaller: c or -5?
c
Let v = -358.0724 + 0.0724. Is 0.1 at most v?
False
Suppose -13*q - 157*q = 242*q + 412. Suppose 0*n - 2*n + 4 = 0. Let v be (-1)/2 + n/4. Is v > q?
True
Suppose -1 = a, 5*a = -6*c + 2*c - 33. Let t = 153.9 + -149.9. Which is smaller: t or c?
c
Let w be (-2)/13 + (-4 - (-105)/91). Is w less than -26/7?
False
Suppose 182 + 43 = -5*p. Let f be 1/6 - p/(-594). Is f less than or equal to -1?
False
Let q = 153 - 132. Which is greater: -1/2 or q?
q
Let a be 8/(-18) - (-8 + (-1272)/(-54)). Which is smaller: -5 or a?
a
Suppose 0 = g - f + 14, 3*f - 39 + 12 = 2*g. Let p be 6/g + (-10)/(-25). Which is smaller: p or 6?
p
Suppose 0 = 4*f + 4*k - 16, -3*f = -4*k + 9*k - 10. Suppose 4*a - 2*t = 62, 5*a = -3*t + 120 - 37. Let y be (-9)/(-6)*a/6. Is y less than or equal to f?
True
Suppose -20*l + 485 = -915. Is l less than or equal to 1?
False
Let v(a) = a**3 + 17*a**2 + 36*a + 7. Let z be v(-4). Do z and 349/5 have the same value?
False
Let u be 6 + -1 + (-11130)/(-15) + -3. Which is bigger: 745 or u?
745
Let n be (-1 + -1)*(-50)/4. Let v = -76.6 - -76.5. Is v at least n?
False
Let b = -0.9705 + -0.0295. Which is smaller: b or -0.581?
b
Let h(i) = 5*i**2 - 113*i + 2. Let c be h(-8). Which is greater: 1225 or c?
c
Let j(t) = 6*t. Let o be j(2). Suppose 3*f = o, -5*y - 3*f = -f - 3. Let z(n) = n + 2. Let i be z(y). Is 1/22 at least i?
False
Suppose 3*l - 37 = -82. Is l not equal to -14?
True
Suppose 6*t - 9*t = -42. Let y = -12 + t. Let n be (-6)/y*3/9. Which is smaller: n or 2/15?
n
Let f(w) = -w**3 - 7*w**2 - 5*w + 9. Let n be f(-6). Suppose -5*m + n = -2*x, -m + 8 = 4*m + 3*x. Suppose -5*t + 3*s = 2 - 16, -4*t - 5*s = 11. Is m >= t?
True
Let k be (-2 + (-15)/(-6))*10. Suppose k*a - 7 = 3. Let d be (-8)/(-14)*(-3)/a. Which is greater: d or -2?
d
Let k(w) = -6*w + 27 - w**2 - 27. Let y be k(-5). Let x = 19 - 15. Which is bigger: y or x?
y
Let t be 1/(-6) + (-190)/(-60). Let y be -3 + t/(24/22). Let b = -32 + 31. Which is smaller: y or b?
b
Let r = 1 - 0. Let m(n) = n**3 - 32*n**2 + 112*n - 4. Let p be m(28). Is r <= p?
False
Let a be -17 - -18 - (3/3 - 1). Is 2/27 > a?
False
Let f = -26 - -25. Which is greater: f or -75?
f
Let m = 0.7 - 0.9. Let d = 0.23 + m. Let i = d - -0.07. Which is smaller: i or 7?
i
Let l = 1.9308 - -0.0692. Is 2.5 at least l?
True
Let w(s) = s**2 - 3*s + 9. Let q be w(0). Let c be (-3 - 1) + q/2. Which is smaller: -24/5 or c?
-24/5
Let j be 5/15 + 262/6. Let x be (-3176)/j + 0 - 3. Let k = x + 75. Which is greater: -1 or k?
k
Let h(j) = -j**3 + 10*j**2 + 14*j - 6. Let b be h(10). Is 134 at most as big as b?
True
Suppose -4*o + 140 = -80. Suppose 44 = 2*b + 2*c, -147 = -4*b - 5*c - o. Let q = b + -26. Is -6 <= q?
False
Suppose -701 + 99 = 43*v. Is -95/7 at least as big as v?
True
Let p = 12 - 5. Let k = 2 + -10. Let j = k + p. Is j less than -2?
False
Let k = 1576.1 - 1576. Let w = 26/9 - 32/9. Is w != k?
True
Suppose 0 = 4*m + 18 + 22. Let d = -18 - m. Let r = -11 - d. Which is bigger: r or 0?
0
Let p = 19 - 39. Let q = 0.1 - 0.1. Are q and p equal?
False
Let b = 226 - 228. Is -2 bigger than b?
False
Let k be (-152986)/25200 + 5 + 6/(-4). Let l = k - 1/1800. Which is bigger: l or -2?
-2
Let h be ((-16)/12)/(4/30). Let l be 1/(-4) - h/8. Let t be (-36)/(-15) + l - 4. Which is smaller: t or -1?
-1
Let i(o) = o**2 + 27*o + 46. Let f be i(-25). Let a = -4 + 16. Suppose 2*b + 0*b = -a. Which is greater: f or b?
f
Let g = 634 + -593. Let k = 98 + -57. Is k at most g?
True
Suppose 0 = 2*y - 364 - 32. Are 1 and y equal?
False
Suppose i - s + 35 = -2*i, 5*s - 10 = 0. Let n = -16 - -13. Let x = n - i. Is x smaller than 4?
False
Let v = -9/37 - 159/259. Let x(w) = 11*w + 527. Let r be x(-48). Is r at most v?
True
Suppose 4*o - 5 = 4*r - 13, 2*o = 3*r - 3. Which is bigger: r or -49?
r
Let w(o) = 0*o**2 - 12*o + 10*o - 4*o**2 + 3 + 0*o**3 + o**3. Let a be w(4). Is a != -7?
True
Let r be (-10)/150*-15 + 8/(-6). Which is bigger: r or -1/98?
-1/98
Let m = -0.082 + -0.018. Is m not equal to -0.49?
True
Suppose 9*f + 1844 = -613. Is -0.5 at most as big as f?
False
Let k = 299 - -398. Is k <= 696?
False
Let w(f) = -78*f + 711. Let l be w(9). Is 9 equal to l?
True
Suppose -63 = -17*l + 14*l. Let y be 1/l*(-6)/(-8)*2. Which is bigger: y or 1?
1
Let c = 2 - 8. Let z = c - -5.6. Let u = 1.4 + z. Which is bigger: -1 or u?
u
Suppose 4*o = 5*t + 1737, 204 - 1593 = 4*t - 3*o. Is t bigger than -345?
False
Suppose 3*d - 66*z + 63*z - 858 = 0, 2*d - 551 = -5*z. Which is smaller: 284 or d?
d
Let r(u) = -u**3 - u**2 - u - 1. Let x be r(0). Let j = 0.096 + 8.904. Is x <= j?
True
Let a = -488 - -488. Which is greater: 0.53 or a?
0.53
Let k be 33/(-24) + 2/2. Suppose 93 = -4*y + 97. Which is bigger: k or y?
y
Let y = 26.9 + 0.1. Let t = y + -28.4. Which is bigger: t or 2/7?
2/7
Let c be (-20*4/(-180))/(14/(-29)). Which is bigger: -1 or c?
c
Suppose -2*u - 25 = y, -y + 2*y + 40 = -5*u. Let z be ((-2)/1 - -3)*-15. Is z less than y?
False
Let w = 11 - 11. Let j(x) = x**3 + 20*x**2 + 18*x - 18. Let z be j(-19). Let u = z - w. Is u < 6?
True
Let l = -42.8 + 42.9. Which is smaller: l or 68?
l
Suppose -5*a = -r + 15, -2*r + 9 - 3 = 2*a. Let v = 992 + -977. Are v and a non-equal?
True
Suppose 7*d = 12*d - 20. Suppose 4*f + 3*m + 124 = -f, 3*f + d*m = -70. Let y = f + 15. Which is bigger: y or -10?
-10
Let y(p) = -p**2 - 4*p - 8. Let o be y(-3). Let z be (-4)/6*12/(-40)*o. Let r be -1 + (2 - 18/26). Is r bigger than z?
True
Suppose 0 = 3*t + 2*t - 100. Suppose -5*x + 6*v - t = v, -2*v = 2*x - 8. Let n be -1 + ((-3)/5)/(-1). Is x greater than n?
True
Let