 + -3. Is 2/33 at most as big as z?
False
Let w = 1224 - 1215. Suppose -5*z + 12 + 33 = 0. Is w greater than z?
False
Let l be 6/(-2) + 100 + 3. Suppose 5*u + l = -2*b, 59 = -3*u - 0*u - b. Let s = u - -13. Is -6 greater than s?
False
Let b be 8/((28/(-8))/(-7)). Let x(m) = -m**3 + 9*m**2 + 13*m - 12. Let z be x(10). Which is smaller: z or b?
b
Let d = 6118 - 11434541/1869. Which is bigger: -1 or d?
d
Let m be (-19383)/(-44541) - (1 - 8/14). Is m >= 1?
False
Suppose -f + 3 = 0, -29 = 3*o - 3*f - 17. Is o at most as big as 2/583?
True
Let c be 28/7 + (-14410)/42. Let b = c + 339. Do b and 1 have different values?
True
Let n = -3 + 2. Let f(a) be the second derivative of a**3/6 - 7*a. Let y be f(-1). Is n >= y?
True
Let z = 4.274 - 4.374. Let a = -0.3 + 0.31. Which is smaller: z or a?
z
Let u(x) = x**3 + 11*x**2 - 2*x - 16. Let s be u(-11). Suppose 2*k + 4 = s*k. Suppose 2*d = -k + 9. Is d smaller than 5?
True
Let h be 40/70 - (-4832)/(-1008). Which is bigger: h or 1?
1
Let s = -25 + 23.4. Let p = s - -1.5. Which is smaller: 4 or p?
p
Suppose -365 = 8*w - 11*w + n, 0 = 3*w + n - 361. Let j = 120 - w. Which is bigger: 1 or j?
1
Suppose -5*w = 3*z - 1 - 10, 4*w = 2*z + 22. Let t = 0.337 + -225.337. Let a = -224 - t. Which is greater: w or a?
w
Let b = -713 + 712. Let p(c) = -c**2 + c - 3. Let l be p(0). Which is bigger: l or b?
b
Let y be (-31 - -27) + (-11)/((-11)/(-162)). Is y at least as big as -163?
False
Let t = 20 + -20.57. Let b = t + 0.67. Which is smaller: b or -0.05?
-0.05
Suppose u + 48 = 20. Is u > -9?
False
Let y be -1*((-38)/(-9) + -4). Are y and -0.09 non-equal?
True
Let o be 1 - (-1 + 13564/(-84)). Let a = 424/21 - o. Let b = 143 + a. Is -1 greater than b?
False
Let o(t) be the second derivative of t**4/12 - t**3 + 4*t**2 + 10*t. Let m be o(5). Do m and 2 have different values?
True
Let g = -20 - -15. Suppose -d = 3*k + 3 + 6, 3*k = 5*d + 27. Which is greater: g or d?
g
Let j(b) = -52*b + 312. Let p be j(6). Are p and -1/1681 nonequal?
True
Let c = -0.2 - 0.8. Let r = -1.1 - c. Let k = 1405 - 1409. Is r greater than k?
True
Let f = 369/5 + -74. Let s be (-3)/((-24)/(-148))*12/7. Let z = s - -32. Is f at most z?
True
Suppose -2*f - 229 = -5*u + 2*u, -f = 2*u - 141. Let y = 89 - u. Is y equal to 16?
True
Let w(g) = 15*g + 2*g**2 - 2*g**3 - 6 + 3*g**3 - 9*g**2. Let x be w(4). Is x > 6?
False
Let z = 1.1 - 0.1. Let x(l) = -l**3 - 13*l**2 - 5*l - 39. Let p be x(-12). Let n = p + 123. Which is bigger: n or z?
z
Suppose 0 = 4*v - 8*v + 5289712. Let i = v + -852966266/645. Let b = i + 8/43. Which is greater: 0 or b?
0
Let c(j) = j**3 + 7*j**2 + 14*j + 8. Let g be c(-6). Let z = -42 - g. Suppose 2*i - 9 = -0*i - 5*n, -n = 5*i + 12. Are i and z nonequal?
True
Let y be (-4)/(-25)*(-5 + (-28)/(-8)). Which is bigger: y or -1?
y
Let a be (-15)/(1/1*-1). Let n be 1/(15*1/231). Let t = n - a. Is t < 3/8?
False
Let b = 1917 - 1918.323. Is 0.1 <= b?
False
Let a be 154/10 + 2/(-5). Suppose 4*u - a = -3. Suppose -3*o - 12 = -2*m, 3*o = u*m - 3 - 12. Do 1 and m have the same value?
False
Suppose 0*j + 8 = -j. Let p(t) = -4*t - 44. Let f be p(-11). Which is greater: f or j?
f
Let i = 2.6 - 1.9. Let r = 1.3 + i. Is r bigger than 0?
True
Let m = -1.2 - -0.25. Let x = m - -0.25. Which is smaller: -1 or x?
-1
Let s = -14.5 + 15.84. Let i = 1.4 - s. Are -1/2 and i non-equal?
True
Let w = -1694 + 1813. Which is smaller: w or 121?
w
Suppose 3*k - 23 = -n, 2*k + 3*n - 33 = -k. Suppose -10 - k = 4*j, j = a + 1. Are a and -12 non-equal?
True
Let x be (-2)/14 - 40/14. Let p = 8 - x. Is p equal to 10?
False
Suppose 0 = 2*j + 2*p + 38, 3*p = -j + 5*j + 97. Let a be (j/(-8) + -2)*(-7)/21. Is a at most as big as 9?
True
Let z = -205 - -83. Suppose 366 = -299*g + 296*g. Is z != g?
False
Let a be (-2)/12*-8 - 244/(-6). Is a < -3?
False
Let x(g) be the first derivative of -g**3/3 + 2*g**2 + 13*g - 46. Let y be x(6). Is y <= -1/60?
False
Suppose 59 = 11*g - 73. Let c(t) = t**3 + 9*t**2 + 8*t + 2. Let u be c(-8). Let n be 2 - -13*1 - u. Do n and g have the same value?
False
Let v be (-5)/(-2)*(-8)/10 - 367. Let q be 2/3 - (-237)/v. Which is greater: q or 0?
q
Let k(c) = c**2 - 14*c - 26. Let m be k(16). Suppose -8 = -3*z + b - 5*b, -3*b = -2*z - m. Let n = 8728/7839 - 2/871. Is z > n?
False
Suppose -41*h + 3093 = -679. Is 89 greater than or equal to h?
False
Suppose 2*i = 2*a - 2, -8*a + 5*a - 3 = 3*i. Let u = 7 - 4. Let y = u - 22/7. Are i and y equal?
False
Let h be 12*(-45)/48*2/3. Do -7 and h have the same value?
False
Let h(l) = -l**2 + 18*l + 71. Let y be h(21). Suppose 6*d + y = 14. Let f be 66/70 - (0 - -1). Which is smaller: d or f?
f
Let v be -1 - (-1)/(-2)*2. Let f(p) = -p - 3. Let h be f(v). Let k = -2687/55 + 522/11. Which is smaller: h or k?
k
Let x = 2 - -2. Let q be 2/x - 1/2. Suppose -2*m + 23 = 3*f, -11*f + 11 = 4*m - 12*f. Are m and q nonequal?
True
Let m = 7343/2 - 3904. Suppose -h - 3*i = -225, -20*i + 23*i = 3. Let f = m + h. Is -12 < f?
True
Let r = 728.99 - 729. Which is smaller: r or -0.56?
-0.56
Let g be 645/(-86)*22*3/600. Is g <= -2?
False
Suppose -21*g - 23*g + 44 = 0. Let m = 6802/7 - 970. Which is smaller: m or g?
g
Let r = -18.9 + 19.9. Is r greater than or equal to 242?
False
Let w = -371 - -363. Suppose -2*m - 3*m + 4*j = -23, 0 = 5*m + 4*j - 7. Suppose -4*u = -m*t + 2*t, t - 2*u = -4. Is t < w?
False
Let y(l) = l**2 - 11*l. Let d be y(15). Let j be d/(-15) - 1*2. Is -7 equal to j?
False
Let j = 3.98 + -4.28. Suppose n - 2 = 3*l, -4*n + l + 1 = 4. Let v be (n/(-2))/(8/(-16)). Is j smaller than v?
False
Let g = 27 + -3. Let p = -36 + g. Is 2/9 less than p?
False
Let k be 54/99 + (-49)/(-11). Which is smaller: k or 26/5?
k
Let v = 21/11 + -395/132. Let m be 45/20 - 36/24. Let y = m + v. Which is smaller: y or 3?
y
Let q(i) = -3*i**2 + 53*i + 33. Let j(a) = -a**2 + 18*a + 11. Let u(k) = 17*j(k) - 6*q(k). Let v be u(13). Suppose 5*m - v*m = 12. Is m less than 4?
False
Suppose 0 = -0*t + 5*t - 20. Let w be t/15 - (-1 - 3)/12. Which is smaller: w or 3/10?
3/10
Let o = -518 + 583. Are o and 61 equal?
False
Suppose -2*t + j = 5, -t - 2*j - 5 = -5*j. Let l be -1*(12 - (3 + 0)). Let o = -10 - l. Is o equal to t?
False
Suppose 3*y - 6*y + 249 = 0. Does y = 83?
True
Suppose -3*k + 45 = 3*q - 6*k, 5*q = -k + 105. Let t be ((-5)/q)/(3/54). Is t equal to -5?
False
Suppose 0 = o - 3*v + 66, o + 50 = -0*o - 5*v. Let b be (-6125)/o + (-2)/(-8). Let y = -925/9 + b. Which is smaller: 0 or y?
y
Let i be (1 - -1)*(1 - 0). Let w be -1 + i + (-9)/4. Suppose -8*q + 36 = 52. Is q bigger than w?
False
Let w(f) = -36*f + 582. Let n be w(18). Which is bigger: -64 or n?
-64
Suppose -5*i = 2*b + 8 - 138, -2*b = -5*i + 110. Let p = i + -22. Suppose p*q - 5*q - 5*c = 5, -3*c - 3 = 3*q. Is q greater than or equal to -2/5?
True
Let c(r) = -10*r - 29. Let d(a) = a - 8. Let j be d(6). Let h be c(j). Let z = -1 + -7. Does z = h?
False
Let s(v) be the first derivative of 1/3*v**3 - 2*v + 11/2*v**2 + 9. Let l be s(-10). Which is smaller: -11 or l?
l
Let l(w) = -6*w. Let v be l(-2). Let s be v/(-66) + 0 + 351/660. Is -1 smaller than s?
True
Suppose 5*g = w - 8, 5*w - 11*g + 6*g = 0. Suppose 2*n = -3*n - 5. Which is bigger: w or n?
n
Suppose -2*h + 11*h = -522. Let i be h/(-10) - 2*(-3)/30. Is 2 != i?
True
Let b be 6/88 - 2/(-11). Let h = 16.1 + -0.1. Let z = h - 16.1. Does b = z?
False
Suppose 0 = -5*l - 15, -2*h + 4*h - 5*l = -19. Which is bigger: 0.15 or h?
0.15
Let a be (6/14)/((-99)/(-968)) - 4. Which is smaller: 1 or a?
a
Let w(c) = 13*c**2 - 2*c + 3. Let t be w(1). Suppose 2*u = t - 20. Is u < -4?
False
Let b(x) = -x**3 - x**2 + x - 1. Let j = -3 - -3. Let l be b(j). Let o = 57 - 455/8. Are l and o equal?
False
Let b = 170.73 - 170. Let d = b + -0.5. Let h = d + 0.77. Which is smaller: h or -4?
-4
Let w be 10 + 3/12*(-7 + 15). Suppose 255 = -5*k + y, -2*k + 5*y = 91 + 34. Let v be w/10*k/70. Is 0 equal to v?
False
Let g = 335523078613/438152 - 287637309/383. Let z = -118059/8 + g. Let r = -1/44 - z. Is r > -1?
True
Suppose 0 = 5*q + 5*w, 2*q - 4*w - 2*w = -24. Which is bigger: -75/22 or q?
q
Suppose -2*s = -4*n + 20, -2 = 2*s - 6. Let x be 21/n + -2*6/4. Do -2 and x have different values?
True
Let g(z) = -z**2 - 4*z - 4. Let j be g(-3). Let o be (-2 - j)*(-4 - 174/(-45