
Let i(p) = -p**3 - 10*p**2 + 16*p + 7. Let n be i(-8). Let a be -4*(-2)/32*(-60)/n. Which is greater: 1 or a?
1
Suppose -m + 6 = -2*f - 5*m, 4*f + 12 = 5*m. Let x(o) = o**3 + 5*o**2 + 8*o + 5. Let c be x(f). Is c at least 4/87?
False
Let z(b) = -b**3 - 45*b**2 - 103*b + 123. Let x be z(-44). Which is greater: 2720 or x?
2720
Let w = 70717/4 - 17680. Which is smaller: w or 2/681?
w
Let a be (-140)/(-56)*64/10. Suppose 21*l = a*l + 3*q + 5, 21 = 4*l + q. Is 14 smaller than l?
False
Let x = 27 + -56. Let v be 2/4 + 2056/16. Let w = -158 + v. Do w and x have the same value?
True
Let n(h) = 10*h - 1. Let m(q) = -15*q + 1. Let z(o) = 5*m(o) + 7*n(o). Let p be z(-2). Which is greater: p or 7?
p
Let m = 2533.584 + -2533.5. Let v = -229/4 - -57. Which is bigger: v or m?
m
Let g(k) = 46*k + 77. Let x be g(-2). Is x != -7?
True
Suppose -s + 109 = 5*p, -98 - 135 = -2*s + 5*p. Let g = 8 - s. Which is greater: -107 or g?
g
Suppose 256 = 4*o + 84. Suppose 38*a - 270 = o*a. Is -53 less than a?
False
Let d = 0.23 - 17.23. Let b be 4/8*(-153)/357. Which is smaller: d or b?
d
Let y = -160 + 1085. Let m = 1273 - y. Is m equal to 347?
False
Suppose 21 = -10*z + 41. Let d(c) = 6*c - 16. Let j be d(z). Let l(t) = t + 8. Let q be l(-5). Which is greater: j or q?
q
Let n = 3091 - 3042. Are n and -41 non-equal?
True
Suppose 2*o = -182 + 52. Let p be (234/o)/((-22)/(-5)). Is p < 0?
True
Let i be 16721/(-1909) + 3 + 6. Are 1 and i unequal?
True
Suppose 38*u = 240130 + 7325 - 57303. Is 5005 at least u?
True
Let d = -0.769 - -1.5498. Is 2/7 smaller than d?
True
Let k = 29.5 - 40. Let b = 10.5 + k. Which is smaller: 1/7 or b?
b
Let c = -46.6 - -51. Let x = -5 + c. Let k = 0.5 - x. Which is smaller: -0.1 or k?
-0.1
Let d(u) = 21*u**2 + 39*u + 4. Let q be d(3). Which is smaller: q or 311?
q
Let u be 356/(-70) + 4/14. Let f be (11 + -12)*(-2 - -1*6). Let p = f - u. Is 8 at least p?
True
Let u = -4159 + 4166. Which is smaller: u or 266?
u
Suppose 3*i = -y - 10, -3*y + 2*y - 5*i - 18 = 0. Suppose y*x - 2*c = -2, x - 5*c - 4 = 11. Let p be 176/10*(-70)/28*(-4)/(-40). Which is smaller: x or p?
x
Suppose 0*l - 101 = -4*l - 5*b, b - 95 = -3*l. Is l less than or equal to -4?
False
Suppose -74 = 4*s - 2*v - 400, 0 = -s + 5*v + 95. Suppose -s = -11*b + 21*b. Let j = 847/3 + -291. Which is bigger: j or b?
b
Suppose -w = -2*n + 3, -3*n + w = -2 - 5. Suppose -55 = n*d + 33. Let b be 1 + ((-72)/d)/(-4)*1. Which is smaller: b or -1?
-1
Let i be 0 - (1 - 45/39). Suppose 3*r - 4*m - 16 = 0, -2*m = -3*r + 8 - 0. Are r and i equal?
False
Let z be 6/(-8100)*5*(5 - 1). Is z less than or equal to 42?
True
Let d(q) = 16*q**2 + 10*q - 17. Let h be d(15). Let v = h + -93341/25. Which is greater: v or -2?
v
Let l = 2 + -4.2. Let f = -2 - l. Let t = -29.248 - -29.248. Which is smaller: f or t?
t
Let q = 9/1511 + 1430/13599. Which is bigger: -1/17 or q?
q
Let q be ((-17)/34)/(110/(-292)) - 1. Are -1 and q equal?
False
Let w = -4653/16 - -66897/80. Is w greater than 545?
True
Let o = -4825 + 4794. Which is greater: o or -37?
o
Let i(w) = -w**2 - 17*w + 20. Let d(s) = s**2 + 17*s - 21. Let g(c) = 5*d(c) + 6*i(c). Let x be g(-14). Let q be -1*(-110)/(7 + -5). Which is smaller: x or q?
q
Let d = -0.04 - -0.24. Let h = -0.2 + d. Let o = 23.63 + -4.63. Does o = h?
False
Let r = 15049.03869 + -0.03869. Which is greater: 0.1 or r?
r
Suppose -6 - 19 = s. Let u = 28 + s. Suppose 34 = 2*a + u*t, 5*t = a - 3*a + 30. Which is bigger: a or 18?
a
Let s = -382 + 418. Is 0.034 less than or equal to s?
True
Let c(r) = -r**3 + 3*r**2 + 16*r - 18. Let y(l) = -l**3 + 11*l**2 - 11*l + 16. Let k be y(10). Let s be c(k). Which is bigger: -86/3 or s?
-86/3
Let v(d) = -10*d**2 + 12*d + 9. Let k be v(8). Let w = k + 606. Is w less than 72?
True
Let o(w) = w**3 - 21*w**2 + 21*w - 19. Let y be o(20). Let m be (-3 + 1044/364)/2. Is m < y?
True
Suppose t - 5*d - 60 = 0, 3*t = -0*t - 4*d + 237. Let v be (t/50)/((-3)/92). Which is bigger: v or -228/5?
-228/5
Let t be ((-105)/(-5))/(36/60). Suppose t*a - 18 = 17. Which is bigger: 14/13 or a?
14/13
Suppose -81*c = -66 - 15. Is c greater than or equal to -1/257?
True
Let k be 2 + 2 + 24123/(-6205) + 3/5. Is k at least as big as 2?
False
Let d(g) = -176*g**2 + 3*g + 4. Let z be d(2). Let r = z - -377. Which is bigger: r or -316?
-316
Let l be (10 + 103/(-31)*3)*-2. Is -13.7 at most as big as l?
True
Let f be (-2)/(61*(12 + -1)). Let b be ((-54)/(-12) + -4)*2. Is f != b?
True
Let u = 1292 - -1764. Do u and 3053 have the same value?
False
Let j = -648 + 711.7. Let x = 64 - j. Is x != 11.3?
True
Let f(c) = -c**3 - c**2 - 6*c - 5. Suppose 5*u + 6*y - 5 = 4*y, u = -2*y + 9. Let i be f(u). Let s be (-12)/2 - i - 3/(-2). Is s > -5?
False
Let c(p) = p**2 + 5*p - 99. Let j be c(14). Suppose 0 = 20*r - 1807 + j. Which is greater: 83 or r?
83
Let o(m) = -m**2. Let s(k) = -5*k**2 - 2*k - 4. Let z(b) = 6*o(b) - s(b). Let y be z(3). Let h be y*2/6*-2. Which is smaller: h or 0.2?
h
Let q = -7542 + 7494. Are 0.39 and q non-equal?
True
Let v = -5842.5 - -5842.6. Let r = 36 + -72. Is r smaller than v?
True
Let h(o) be the second derivative of o**4/12 + 2*o**3/3 + 3*o**2/2 + 2*o + 11. Let m be h(-1). Let w be 85/90 + 1/6. Which is smaller: w or m?
m
Let l = 32433 + -39016897/1203. Let m = l - -264/2005. Are 61 and m non-equal?
True
Let z = 30 + -2. Let l = 899 + -873. Let t = l - z. Which is bigger: t or 1.9?
1.9
Let p = 7754/5 - 15623/10. Let y(d) = -12*d**2 + 2*d + 1. Let b be y(-1). Which is bigger: p or b?
p
Suppose v - 7 = 4*z, 2*v = -2*v + 3*z + 2. Let y be 5*v + 2 + -2. Let u(f) = -f**3 + 4*f**2 + 58*f - 265. Let p be u(7). Which is greater: y or p?
y
Let v(r) = -6*r**2 - 59*r + 788. Let w be v(13). Which is smaller: w or -987?
w
Let r = 99 - 60. Let b = r + -36. Let x(s) = -3*s + 1. Let y be x(b). Is y at least as big as -10?
True
Let a = -2549605/457 + 5579. Let r = a - -463/1371. Let o = 2 - 1. Which is bigger: r or o?
o
Let k be ((-304)/(-24))/(1/(-3)). Let t = k - -102. Let u be 4/6 - t/78. Is 1 at least as big as u?
True
Suppose -3*q = -0*q - x - 190, 0 = q + 3*x - 70. Suppose 63*p - 6 = q*p. Does p = 3?
False
Suppose 5*t - 6*j = -4*j + 6995, 3*t - 2*j - 4197 = 0. Let h = t + -630. Let l = -3061/4 + h. Is 4 equal to l?
False
Suppose -3*h = -5*w - 1455, 1094*w - 1164 = 1098*w - 4*h. Is -1169/4 at most w?
True
Let v = -15802 + 15908. Which is smaller: -16 or v?
-16
Let p be 2 - 4 - 20/5. Let v(y) = -y + 73. Let t(m) = -m + 24. Let g(z) = -11*t(z) + 4*v(z). Let d be g(p). Is 1/2 smaller than d?
False
Suppose -q = -6*q - 85. Let g = 37 + q. Let x = 1760 - 1740. Is x bigger than g?
False
Let c = 57 - 54. Let j be ((6 + -13)/(-56))/(c/(-9)). Let w be 1/(-3) - 1/(-3). Is j < w?
True
Let x = 2 - 1.99. Suppose 0 = -w + 4*w - 5*k + 10, -22 = 5*w - 3*k. Let m be (19/114)/(w/(-2) - 2). Is m equal to x?
False
Let w be (2388/(-18)*-1)/(46/207). Is w greater than or equal to 591?
True
Let h = -428.3 - -405. Let t = h + 23. Do t and -1 have different values?
True
Suppose 3*k - 3*n - 34 = -n, -3*k + 32 = -n. Let y = -6 + k. Suppose -4*p = 5*g - 19, 0 = 2*p - 3*p - g + y. Is p greater than or equal to -5?
True
Let c(s) = s**3 - 7*s**2 - s + 7. Let q be c(7). Suppose 0 = -8*r - 93 - 51. Let l be (r/(-80))/(114/152). Which is bigger: q or l?
l
Let l = -5030 + 5031. Is l at most 1/6040?
False
Let r be (-1)/(-3*(-8)/(-936)). Let n be (7 + -5)*(-504)/r. Which is smaller: n or -26?
-26
Let v = 0.39009 - 46.29009. Is 6 < v?
False
Suppose -4*p = 5*v - 5 - 30, 5*v = 4*p - 85. Let x = -15 + -71. Let i = x + 101. Are p and i non-equal?
False
Suppose -43*f + 5*b - 38616 = -40*f, -2*f + 4*b = 25748. Is -1 less than f?
False
Let v be ((-2909280)/(-207810))/2 + 14/(-2). Which is bigger: v or 1?
1
Let o be (-88)/416 + 2/8. Let x be (-8 + 7 + 4)*2/6. Let y be x/(2*2 + 39/(-13)). Which is greater: y or o?
y
Let z be (-18)/36*142 + 1*-1. Which is bigger: -89 or z?
z
Let u(a) = -3*a**3 + 16*a**2 - 39*a + 1. Let v(z) = z**3 + z**2 - 2*z - 1. Let l(w) = -u(w) - 4*v(w). Let d be l(-22). Is -64 smaller than d?
True
Let r = 6 + -8. Let o = -43 - -46. Let d be 2*((-221)/(-136) - o*1). Is r at least d?
True
Let j(a) = -a**2 + 32*a - 1. Let z be j(33). Let c = 0.05 + -0.05. Which is smaller: z or c?
z
Suppose -5*f + 3578 = o, f - 718 