 + 4*z. Let p be (-10 + 6)*(-1)/m. Is -2 <= p?
True
Let u(s) be the second derivative of 3*s**3/2 + 55*s**2/2 - 18*s. Let m be u(-7). Is -8 > m?
False
Let z be (-12)/(-9) + 20/(-6). Let y be (6 + z + -1)*(-8)/6. Is y at most -30/11?
True
Let r be 4 - (1/3)/((-1)/9). Suppose -5*z + 28 = -r. Which is bigger: z or 6?
z
Let m be (24/9*-1)/(1/(-53)). Let d = m + -3001/21. Which is smaller: -1 or d?
d
Let m be (936/10)/(8/40). Suppose 0 = l + 3*l + m. Let b be (-6)/l*(-2 - 1). Which is smaller: 1 or b?
b
Let a(n) = n**2 + 5*n + 8. Let t be a(-4). Let d be 10*(-1)/t*-6. Suppose -9*j - d = -14*j. Is -4 at least as big as j?
False
Let k(t) = -t**3 + 3*t**2. Let a be k(3). Let j = 48 + -82. Let u be 1/j*-3 + 0. Which is bigger: a or u?
u
Let y = -0.121 - -0.311. Do -4 and y have the same value?
False
Let q be (-2)/2 - (-1 + -6). Let d(u) = 10*u - 32. Let f be d(6). Suppose -f*y - 12 = -30*y. Is q > y?
False
Let l = -56 - -10. Let s = l - -46. Is 65 >= s?
True
Let h(j) = -2*j - 1. Let f be h(-2). Let t be 2/18 - (80/(-90) + -2). Is f bigger than t?
False
Let k be (8/(-10))/((-12)/90). Let a be -6*(k/4 - 1). Let w = a - 0. Which is smaller: w or -4?
-4
Let t(g) = 24*g - 49. Let s be t(2). Which is smaller: s or -1/2?
s
Let n be (4/58)/(1 + -3). Suppose 33*w + 5 = 38*w - 5*j, 5*j = -5. Which is smaller: n or w?
n
Suppose 7 = -2*t + 17. Suppose 3*x = -2*x + t. Let c = -2/59 - -128/295. Is x >= c?
True
Let x = 11299/129032 - -214231567635/33935416. Let i = 6313 - x. Which is smaller: i or 1?
i
Let q = -96 + 83. Is -24 != q?
True
Let b(f) = -9*f**3 - 2*f**2 + 8*f - 10. Let g be b(-4). Which is bigger: g or 504?
504
Let g = -41 - -46.9. Let j = -6 + g. Let h be (2 - 0)*(1 - -1). Which is greater: h or j?
h
Let k be 1 + (-2)/2 + (-30420)/156. Is k != -3?
True
Let n = -0.11 + 0.36. Let v = n + -0.13. Let j = -0.1 + v. Is -2/3 greater than j?
False
Let t = -41 - -22. Let p = t + 14. Let q(c) = -c - 7. Let h be q(p). Which is smaller: -3 or h?
-3
Let o(j) = -j**3 - 13*j**2 + 29*j + 37. Let c be o(-15). Which is smaller: 51 or c?
51
Let b be 5/20 - 610/8. Let w be 4*110/120*-21. Does w = b?
False
Suppose 0 = 5*c - a - 13, 4*a + 1 = 3*c - 0*c. Suppose 75 = c*l - 6*l. Is l at most -25?
True
Let a = 9.76 + 0.24. Do a and 9 have the same value?
False
Let v(l) be the third derivative of -l**4/24 - 2*l**3/3 + l**2 - 5*l. Let t = 10 + -14. Let x be v(t). Is 0 > x?
False
Let i(n) = 17*n + 42. Let c be i(-2). Let p = -201 + 625/3. Let k = c - p. Which is smaller: 1 or k?
k
Let y(p) = -p**2 + 6*p - 2. Let t be y(6). Let w = -1542752/425 - -3630. Let d = -682/425 - w. Which is smaller: t or d?
t
Let d be (-117)/(-918)*-8 + 1. Which is smaller: d or 0?
d
Let h be (8/(-6))/((-4)/9). Suppose h*x + 5*s - 30 = 0, -4 - 5 = 3*s. Let o be (-15)/2*(-20)/x. Which is bigger: o or 9?
o
Let v = 3 - 4. Suppose -5*g + 0 - 4 = 3*w, -w - 4 = 3*g. Is w > v?
True
Let q = 3621/11 - 328. Suppose 3*p + h - 4 = 3, 3 = p + h. Does q = p?
False
Let y = 14.9 - 15.4. Which is smaller: y or 24?
y
Let m = -46 - -56. Let q be 2 + (218/(-45))/(24/m). Is -1 equal to q?
False
Let r(a) = 15*a**3 + a**2 + 8*a + 8. Let c be r(-1). Is c bigger than -53/4?
False
Let s be -4 - 0 - (-2 - 93 - -1). Is 93 greater than s?
True
Let n = 0.72 + -0.24. Let q = -0.2 + n. Let x = q - -17.72. Which is smaller: -0.1 or x?
-0.1
Let v(u) = -u - 14. Let f = 9 - 8. Suppose 3*n = 4*z + 43, f = -5*z + 5*n - 49. Let s be v(z). Is s >= 0?
False
Let k(c) = c**2 + 8*c + 14. Let z be k(-6). Let o(v) = -4*v + 1. Let y be o(z). Is -7 bigger than y?
False
Let x be 6/(-4) - (3 + -4). Let s be (8/(-10))/(5/(-25)). Let n = 3 - s. Which is bigger: n or x?
x
Let o = 3263/2904 - -1/726. Let n(y) = y**3 - 2*y**2. Let j be n(2). Let f = 0 - j. Is f > o?
False
Let q = -647 + 646. Are 13/42 and q equal?
False
Let u be 1/(-2)*-1*(-15 + -213). Which is smaller: -113 or u?
u
Let d = -310 + 273. Which is bigger: 5 or d?
5
Let i be (5/3)/((-2)/(-6)). Let k = -563 - -594. Suppose -3*v = -i*a + k, 5*v - 1 = -5*a + 14. Which is bigger: -5 or v?
v
Let h(b) = b - 2. Suppose -2*o - 13 = -3*l, 3*l - 17 = -2*o + 6*o. Let m be h(l). Let y = -84 + 83. Which is smaller: y or m?
y
Let m = 1184 + -1216. Is 9 < m?
False
Let z = -28 + 28. Let y = -0.43 + -32.57. Is y equal to z?
False
Let q be -4*(-4 - -2)/12. Let c = -11634803/120 + 96956. Let j = c + 1/40. Are q and j non-equal?
True
Let j = 0.09 + -0.09. Let k = -6 - j. Let u = 6.3 + k. Which is greater: u or -3?
u
Suppose -3*q + 5*c + 140 = 0, -5*q + 222 = 4*c - c. Suppose -10*m + q = -5*m. Let a be (m - 7)*1/2. Is a < 3/10?
False
Let n = 26 - 36. Let r = n - -12. Suppose -2*p - 6*f + 2*f + 2 = 0, 5*f - 7 = r*p. Which is greater: -1/2 or p?
-1/2
Let o(n) = -2*n**3 - 27*n**2 - 7*n - 27. Let a be o(-13). Is -96 >= a?
True
Let r = -76 + 75. Let t be (r + 1)/(-13 - -10). Is 1 at most t?
False
Suppose -f = -39 + 38. Let c(d) = d**2 + 3*d - 2. Let t be c(f). Is t at least 1?
True
Let q(i) be the second derivative of i**5/20 - i**4/12 - i**3/3 + i**2 - 7*i. Let b be q(0). Which is smaller: b or 2/3?
2/3
Suppose i = 6*i. Suppose i = b - f - 76 - 81, -4*f - 786 = -5*b. Let h = b - 1424/9. Which is bigger: 0 or h?
0
Suppose -3*w = -2*a - 4, -3*w + a + 1 = -w. Is -23/28 less than w?
False
Suppose -5*v + 9 = 4, 5*g - 2 = 3*v. Which is bigger: -314 or g?
g
Let p = -5 + 5.2. Let k = 490 - 498. Which is greater: p or k?
p
Suppose 0 = -139*x + 123*x + 192. Which is smaller: 3 or x?
3
Suppose 0 = 16*z - 7*z - 126. Let u be (-54)/(-2)*(4 + z/(-3)). Which is smaller: 2/5 or u?
u
Let u = -50 - -7. Is -42 greater than or equal to u?
True
Suppose -14*d + 18*d - 11*d = 0. Is -9/52 <= d?
True
Suppose 0 = -2*q + 12 - 8. Let t be (q/(-6))/(1/(-6)). Is 4/3 < t?
True
Let d be -2 + 2 + 3*1. Suppose -3*c + 2*y = -27, -24 = -d*c + 5*y - 4*y. Suppose -5 = 2*m + c. Is m less than -3?
True
Let v = 14 - 7. Let u = -10 + v. Let c = -3.8 - u. Which is bigger: c or -0.1?
-0.1
Suppose 3*r = j + 64, -r - 256 = 4*j - 5*r. Let h = j + 63. Which is greater: h or 4/19?
4/19
Let n = 2.1 + -0.8. Let b = n - 1.18. Let c = b - 2.12. Are c and -0.02 equal?
False
Suppose 20 = 24*b - 22*b. Suppose 0 = -l + 3*q + b, 2*l + 1 = 3*q + 24. Are 13 and l unequal?
False
Suppose r + 3 = -3*l, 3*l - 18 = -4*r + 6*l. Let q be (-1)/r - 2/30. Which is greater: q or -4.2?
q
Let d = -3409797 - -1377559093/404. Let s = 3/202 + d. Is s equal to 3?
False
Suppose -a = -4 - 5. Let i = a + -9. Let w = 191 - 8594/45. Are i and w unequal?
True
Suppose -5*v - 5*x + 6 = 1, 0 = 2*x - 2. Let s be 6*(-9)/(3996/8). Is v equal to s?
False
Let o be (-1 + 1)/(-1 - -2). Let d = 6 - 6. Suppose 3*f - 4 + 4 = d. Is o smaller than f?
False
Let l = 31 + -4. Suppose 0 = -2*u - l - 1. Let t = -26 + 12. Is u at least t?
True
Let u = 1618 - 1680. Is u greater than -45?
False
Let i(j) = 398*j + 3983. Let u be i(-10). Let z = -1 + 2. Is z > u?
False
Suppose 5*p - 18 = 27. Let n be 148/18 + -1*(-4)/(-18). Which is smaller: p or n?
n
Suppose 11*f + 11196 = 1527. Which is smaller: -878 or f?
f
Let l(o) = o - 7. Let f be l(7). Let g be (-4)/6 - f/10. Is 10 not equal to g?
True
Let l = 24 - 28. Which is greater: l or 0?
0
Let u be ((-6)/4 - -2)*10. Suppose -a + 0*l + 3 = -u*l, -l - 1 = 0. Let r be (a/4)/(14/(-4)). Which is bigger: 0 or r?
r
Suppose 3*r + 13 = 19. Let k(j) = 35*j**2 - 13*j**2 - 3*j - 21*j**r. Let i be k(3). Which is bigger: 1/7 or i?
1/7
Let b = 6229/7 - 888. Are 3 and b equal?
False
Let i(r) = -2*r**2 - 10*r - 5. Let q be i(-4). Let g(k) = -k**2 - 6*k - 1. Let w be g(-6). Let n be (q/w)/((-2)/4). Is n at least 2?
True
Suppose -19*v = -20*v - 2*m - 23, -3*v - 5*m - 72 = 0. Is v >= -29?
True
Let b = -548 + 549. Which is smaller: -2/349 or b?
-2/349
Let x(k) = -k**2 + 7*k - 48. Let d be x(8). Is 1 at least as big as d?
True
Suppose 2*u = -2*u + 16. Suppose -u*y + 39 = -3*w - 2*w, -4*w = -y + 40. Let q(h) = h**3 - 7*h**2 + 6*h - 3. Let j be q(2). Is j greater than or equal to w?
True
Let g(a) = 3*a**2 - 22*a + 16. Suppose 32 = 3*p + 2*h - 0, h + 12 = 2*p. Let u be g(p). Which is greater: 33 or u?
33
Let l(q) = -q**2 - 8*q + 5. Let b be l(-6). Suppose -119 - 25 = 8*n. Let s = b + n. Is s less than -1/2?
True
Suppose x - 3 - 2 = 0. Suppose 3*i = -2*a + x - 17, -5*i - 20 = a. Which is bigger: a or 