w - 3*g + 61 = 0. Let t be p(w). Is 4 at most t?
True
Let l be ((-6)/7)/(0 - 4). Let u(n) = 2*n**2 - 11*n + 8. Let x be u(5). Suppose -2*m - 12 = -5*m - x*q, -4*m + 5*q = 11. Is l smaller than m?
True
Let u(k) = 7*k - 3*k - 5*k - 1 - 3. Let d be u(-2). Let j be -1 - (1/2 - 0). Is j <= d?
False
Let b = 294 + -297. Which is smaller: b or -1?
b
Let x be (-6)/(-5)*(184/36 + -5). Let w = -13 + 12.9. Is w < x?
True
Let k be (-3064)/48 - (-4)/(-8). Is k greater than -64?
False
Let x = 0.7 + 0.3. Let l = x - 0. Is -0.2 at most as big as l?
True
Let o = -1646 - -1652. Do 291 and o have the same value?
False
Let i = -12 - -14. Suppose 2*h = -2*l - 8, l + 1 + 4 = -i*h. Let y = -611/45 + 69/5. Is y equal to h?
False
Suppose 4*c + 408 = 3*c. Let l be 10/(3/(c/(-7))). Let s = l + -194. Is s >= -5?
True
Let c be -3*(-4)/(-60)*-5. Which is bigger: -100 or c?
c
Let c(o) = -o**2 - 6*o + 8. Let j be c(-7). Is j greater than or equal to 1/157?
True
Suppose h = -0*h - 3. Let l be ((-2)/10)/((-12)/(-132)). Which is bigger: h or l?
l
Let p be (-820)/(-60) + 8/6. Let g be ((-145)/p)/((-4)/12). Are g and 29 unequal?
False
Let c = 136 - 13. Which is smaller: c or -1?
-1
Let p = 2.45 - -5.55. Is -1/11 bigger than p?
False
Let l(f) be the third derivative of f**5/60 - 3*f**4/8 + 3*f**3/2 - f**2. Let t be l(6). Is -4 at most as big as t?
False
Let o be (-8)/(-20) - (-96)/(-140). Let z be 2 - 4 - 69/(-10). Let q = -24/5 + z. Do q and o have the same value?
False
Let k(g) = g - 14. Let x(b) = -b**2 + 9*b - 8. Let f be x(5). Let y be k(f). Is -3/4 equal to y?
False
Suppose 2*p = g - 4, 44 = 5*g + 3*p - 41. Let m = 7 + 2. Let n be (-14)/m*(-12)/g. Is 0 less than or equal to n?
True
Let t(n) = -n**2 - 8*n - 12. Let q be t(-6). Suppose -i - 2*v + 6 = q, -3*v = -4*i + 2*v - 28. Let z = -133 + 1189/9. Is i equal to z?
False
Let g(m) = m**2 + 12*m - 28. Let y be g(-16). Let c = -25 + y. Does c = 10?
False
Let q be (2/(-8))/((-2)/16)*4. Let g = 14 - -18. Suppose 0*x + 40 = 5*x + 3*l, -4*x = 5*l - g. Is q at least x?
True
Let s = 14.459 + -0.359. Is 1 at least s?
False
Let h(q) = -3*q + 25. Let z be h(10). Suppose i - 5*l = -11, -1 = i - l - 2. Which is bigger: i or z?
i
Let q(n) = n**2 + n - 18. Let h be q(4). Are h and 21/38 non-equal?
True
Suppose 3*z - 2*d + 5 = 2*z, 4*d = 3*z + 17. Let x(b) = b - 4. Let f(q) = -3*q + 7. Let a(y) = -2*f(y) - 5*x(y). Let t be a(z). Are -2/25 and t non-equal?
True
Let g(w) = -w + 27. Let t be g(17). Suppose -24 = -2*b + t*b. Do -3 and b have different values?
False
Suppose -3*m + 6 = 2*q - 3, 0 = -m + 1. Suppose -5 = -3*u - 5*l, 5*u + 2 = -q*l + 5. Which is greater: -1/124 or u?
u
Let d be 1294/(-216) - (-60)/10. Which is smaller: 1 or d?
d
Let y(j) = j**3 - 5*j**2 - 6*j + 1. Let c be y(6). Let s be (3 - -7 - 17) + (-454)/(-64). Which is bigger: s or c?
c
Let z = -0.167 + 0.14. Which is smaller: z or -0.1?
-0.1
Let t be 42/224*(-4)/(-87). Are -1 and t equal?
False
Suppose -z - z - 7450 = 0. Let o = z + 420929/113. Which is greater: -1 or o?
o
Let p be 1 + 1 + 8/(-4). Let g be p + (-1 - 0)*31. Which is greater: g or -32?
g
Let a be (0 - 0)/(5 - 3). Is a > -3/499?
True
Let o be ((-2)/(-28))/(2/(-128)). Let c(t) = t**3 - 9*t**2 - 287*t - 13. Let a be c(-13). Which is bigger: a or o?
a
Let k = 0.3 - -0.4. Let j = 1.1 + k. Let b = 2.2 - j. Which is greater: -0.1 or b?
b
Suppose 0 = -18*n - 8 - 10. Suppose 2*a = 2*g + 48, -2*g + 62 = 5*a - 44. Let s be (-4)/a + (-660)/(-2299). Which is smaller: n or s?
n
Let f = -0.1798 - 0.8202. Which is greater: 276 or f?
276
Let u(l) = -l**3 + 6*l**2 - 6*l + 3. Let k be u(5). Let h be (4/100)/(k/5). Is -2 at most as big as h?
True
Let l = 181561/734 - -52/367. Is l at most 249?
True
Let g(b) = -b**2 + 6*b - 7. Let u be g(6). Suppose 0 = -2366*l + 2375*l + 63. Does l = u?
True
Let a = -0.083 + 1.983. Let u = -1.4 + a. Which is smaller: u or -2?
-2
Let x(b) = 39*b + 533. Let v be x(-20). Do -245 and v have the same value?
False
Suppose -59 = -5*r - 3*f, -180*f = -176*f - 12. Which is smaller: 3 or r?
3
Let m(v) = v**2 - 3*v + 10. Let n be m(5). Let y = n + -18. Let z be (y/5)/((-22)/10). Which is bigger: z or 0?
0
Let h = -0.2 + 0.2. Let l = h - -0.2. Let n = 2929.7 - 2930. Which is smaller: n or l?
n
Let j = -349 - -349. Are 8/21 and j unequal?
True
Suppose 2*o - i = -4, 5*o - 11 = -4*i + 5. Let d(s) = 6*s + 9. Let w be d(o). Which is bigger: 12 or w?
12
Suppose -q + 4*q = -39. Let t(z) = z**3 - 6*z**2 - 4*z + 8. Let a be t(6). Let j = a - q. Are j and -3 unequal?
False
Let x(c) = -c**3 + 2*c**2 + c + 1. Let q be x(5). Let k = -5641 + 5572. Is k less than or equal to q?
True
Let a be (-230)/161 - (-9)/21. Is a < -2/3793?
True
Let c = 105 + -98. Suppose -453 = c*w - 145. Are w and -43 equal?
False
Let k be (6 + 26/(-4))/(5/10). Is -12/749 greater than or equal to k?
True
Let b = 8794 - 34623/4. Is b equal to 137?
False
Let v be (-1 - (-18)/8) + 834/(-834). Let x(d) = -d**2 + 5*d + 6. Suppose 0 = -2*t + 3*n + 24, 0*t = 2*t - 4*n - 28. Let f be x(t). Does f = v?
False
Let h = 19.6 - 19.5. Is 1/79 less than h?
True
Suppose -200 = 4*o + 2*h + 114, -5*o - 3*h - 394 = 0. Let j = o - -113. Do 37 and j have the same value?
False
Let j(x) = 2*x**2 - 9*x + 7. Let m(t) = t**2 - t. Let c(i) = j(i) - m(i). Let z be c(6). Is z > -6?
True
Suppose 738 = 8*q + 218. Is q greater than 572/9?
True
Suppose 4*m - 5*t - 13 = 0, -4*t - 35 = 3*m + 2*m. Let q(c) = 2*c + 6. Let f be q(m). Is f at most 3/58?
True
Suppose 27 = 29*d - 2*d. Let x be ((-4)/(-3))/((-4)/(-12)). Suppose 0 = x*r + u + d, -r + 5*u = -5*r - 5. Is 1 greater than r?
True
Suppose 0 = 4*v - 4*w - 24, -3*w - 4 - 4 = 2*v. Suppose -2*d - 55 = -7*d. Suppose -v*z + 4*c + 4 = -4*z, -3*z - c = d. Is z less than -4?
False
Let m(c) = -29*c - 73. Let g be m(-4). Is g at least 45?
False
Suppose 0 = 16*p - 13*p + x - 31, 0 = 4*p + 2*x - 42. Which is greater: p or 4?
p
Let n = 806 - 805. Which is bigger: -10/159 or n?
n
Let d = -661 - -685. Is 29 bigger than d?
True
Suppose -b + 0 - 6 = 0. Let z be (-2720)/65 + -3 - 4/26. Let g = 37 + z. Which is smaller: g or b?
g
Suppose 0 = 15*h - 13*h + 2. Let k be -1 - (-1 - ((h - 2) + 2)). Which is smaller: k or -13/8?
-13/8
Let s be ((-11)/(-2))/(13/(-598)). Which is smaller: s or -1?
s
Let d = 31 + -29. Suppose -3*v - 1 = -4*z - 3, -3*z - 10 = d*v. Let x be z/7 + 27/21. Is -2 not equal to x?
True
Suppose 4*d = 2*d - 188. Let x be d/3 - (-4)/18. Let f = x + 6982/225. Is f < -1?
False
Let l = 36 + -23. Suppose y + 4*o + 13 = -0*y, -l = -4*y - 3*o. Let m = y + -9. Which is smaller: 0 or m?
m
Let v be 3 + 14 + -2 - 4. Let i = -1 + v. Let x be (5/i)/(10/4). Which is smaller: x or 1?
x
Suppose -6*s = -2*s - 80. Suppose 0 = 5*p + s, 6*k = 3*k - 3*p + 48. Is k less than or equal to 20?
True
Let z(g) = 3*g - 49. Let o be z(-17). Is -100 < o?
False
Let w(j) = j**2 - 11*j + 22. Suppose 32 = -22*h + 26*h. Let z be w(h). Do z and -12/7 have the same value?
False
Let s be (-2726)/(-35) + (-57)/95. Let r = s - 77. Is r less than -4?
False
Let r be 3 - (5 + -13)/(-2). Does r = 2/595?
False
Let d(b) = 2*b**2 - 2*b + 2. Let o be d(1). Suppose -4*y - 4*f + 9 + 7 = 0, -4*f + o = -3*y. Suppose y = -u - u. Which is smaller: 1/19 or u?
u
Suppose 0 = -2*b + 8, -4*j + b - 2*b = -364. Is j at least as big as 91?
False
Let q = -481797 + 9152068/19. Let z = -109 - q. Let y be (-3)/(-4) + 2/8. Are y and z equal?
False
Let d = -268 + 268. Let b = -112/99 - -11/9. Which is smaller: b or d?
d
Let c = 49/4 + -679/60. Let b(l) = -l**3 - 5*l**2 - 4*l - 18. Let w be b(-5). Is w bigger than c?
True
Let d = 13/85 - -2113/1190. Is 2 greater than d?
True
Let r(f) = 3*f - 6. Let q be r(-8). Let u be 2/8 - q/(-24). Let g be u/((-84)/20 + 4). Which is smaller: -1 or g?
-1
Let g be 2 + 27*(-8)/32. Suppose -j + 4 = 2*q + 2, -2*q - 5*j = -10. Suppose q = 4*u + 9 + 11. Which is smaller: u or g?
u
Let f = -209.46 - -209. Let m = 6 - 6.06. Let q = f - m. Do 0 and q have different values?
True
Let n = 2337/299 + -105/13. Let f(h) = h**3 - 4*h**2 - 2*h + 8. Let o be f(4). Is o at least n?
True
Suppose -2*j = -2*r - 2, -2*j + 7 = j + r. Let f be (j - -3)*12/(-20). Let l = 27 - 28. Is l at most as big as f?
False
Let y = 370 + -370. Which is smaller: -20/11 or y?
-20/11
Let p be ((-34)/85)/(1535