2153/60. Which is greater: p or a?
p
Let b(l) = l**3 - 10*l**2 + 12*l - 7. Let c be b(9). Suppose -q + 4*q - 12 = k, k + 5*q - c = 0. Which is bigger: -3/5 or k?
k
Let l be (-20 - -19) + 2/1. Let b = 358 + -4652/13. Which is smaller: l or b?
b
Suppose 0 = -2*x - 1 - 3. Let f = -4 - -3. Does x = f?
False
Suppose 2*p + 13 - 55 = 0. Suppose -p = 2*x - 3*x. Does x = 20?
False
Let n = -4 - -5. Let f(s) = s**3 + 13*s**2 + s + 14. Let l be f(-13). Is l at least n?
True
Let i = -5 - 1. Let m = -5.7 - i. Is m less than or equal to -4?
False
Let p = -88291/57 - -1549. Is 0 < p?
True
Let w(i) = i**3 - 9*i**2 - 3*i + 21. Let v be w(9). Which is bigger: -4 or v?
-4
Let h(o) = o - 1. Let f(q) = -7*q + 8. Let w(n) = f(n) + 6*h(n). Let d be w(6). Let z = d - -6. Which is smaller: -4 or z?
-4
Let a = 1.6 + -7.6. Let i = a - -6. Is i less than 1?
True
Let r be 3*(-1 + 5/3). Let s be (-9)/r*4/(-6). Suppose -a - 8 = -5*a. Which is smaller: a or s?
a
Let d be 6/(-27)*39/14. Let r = 596/2037 + -2/291. Let t = d + r. Which is greater: 0 or t?
0
Let m = -4.7 - -4.6. Is m greater than or equal to -3/17?
True
Let o = -6 + 6. Which is greater: o or 0.02?
0.02
Let y = -1.2 + 1.5. Let g = y + -2.3. Is 2 at least g?
True
Suppose -4*g + 4*z = -64, 3*g - 2*z - 17 - 33 = 0. Let o be -3 - (g/(-8) - 0). Which is smaller: -1 or o?
-1
Let q be -1*4/6 + 0. Let v be -1*0/(0 + -2). Suppose v = -5*w + 5*s, -5*w = -3*w - 3*s. Is q < w?
True
Let h = 6 - 4. Let l be (h - 57/27)*2. Suppose -3*m - 3 = -0*m. Is l bigger than m?
True
Suppose 0*f + f - 3 = -j, -2*j - 3 = -f. Let w = f + -1. Let s = w + -2. Which is greater: s or 2/7?
2/7
Let s(h) = h + 13. Let m be s(-5). Which is greater: m or 5?
m
Let j = -37 + 22. Which is smaller: 1/3 or j?
j
Let g(k) = -2*k + 6. Let a(f) = 9*f - 25. Let v(y) = -6*a(y) - 26*g(y). Let o be v(-5). Suppose 0 = -11*c + 6*c + 10. Which is smaller: c or o?
c
Let w = 6 - 3. Let u(y) = y**3 - 2*y**2 - 3*y - 1. Let n be u(w). Which is greater: n or 1/4?
1/4
Suppose 4*h - 105 = -4*n - 33, 96 = 4*h - 2*n. Let q = h - 59. Let f = 149/4 + q. Which is smaller: f or 0?
0
Suppose 0 = -p + 4. Let v be p + -4 - -2*1. Suppose -2*y - 3*y = -15. Which is bigger: y or v?
y
Let k be 30/8 - (-3)/12. Suppose 2*b + 3*n = n + 10, -k*b - 5*n = -20. Which is bigger: b or 6?
6
Let d = -0.194 - 0.006. Is 14 >= d?
True
Let f be 4/10*(-15 + 0). Let m(w) = -2*w**3 + 3*w**2 - 5*w + 7. Let v be m(2). Let i be 2/(v/(105/f)). Is 3 != i?
True
Let z be -4 - (0 - 28/(-4)). Are -10 and z equal?
False
Let k be (2 - -34)*(-9)/5. Let c = k - -65. Let q = 2 + -3. Is c equal to q?
False
Let r = -1 + 4.5. Let p = -5 + r. Let i = p - -0.5. Is -1/2 less than i?
False
Let x be 6*(-2)/4 - -3. Suppose 2*o + 2 + 2 = x. Suppose 0*s + j - 5 = 4*s, 8 = -3*s + 5*j. Which is smaller: s or o?
o
Let n be (-1)/(-3) - 9410/42. Let u = n - -223. Does -2 = u?
False
Let w(u) = u**3 + 2*u**2 - 14*u + 7. Let q be w(-5). Are q and 1/5 equal?
False
Let g = -15 + 25. Suppose -3*y - 2*y + g = 0. Suppose 2*t + 4*s = 4, 5*t = -s - 0*s + 10. Does t = y?
True
Let v = -122 - -121. Suppose -4*a - 5*m = -2*m + 26, -3*a - 3*m = 21. Which is smaller: a or v?
a
Let i be (-480)/1917 - (-6)/27. Is 0 at most i?
False
Let h = -0.23 - -0.43. Which is smaller: -0.05 or h?
-0.05
Let j = 27.89 - 28. Let v = j + 0.21. Does v = 5/3?
False
Let h = -1.98 - 0.02. Is -0.2 at least as big as h?
True
Suppose 27 = n - 0*n. Suppose 0 = -5*s - 15, 2*q = 6*q - 5*s - n. Suppose -u + 3*z = 3*u, 0 = 5*u - z - 11. Is u at most as big as q?
True
Suppose -187*t + 188*t = 0. Suppose 5*h = -0*h + 75. Let v be 4/(-10) - 14/h. Is t equal to v?
False
Let w be (-7)/(-6)*8/42. Let v(c) = 3*c + 9*c**2 - 2 - c**3 - 10*c - 5. Let o be v(8). Which is smaller: o or w?
w
Let i be 10/(-14) - (-28)/(-98). Is 1/25 <= i?
False
Let m be (1/(-3))/(4/12). Let k be 4 - 2 - (-1 + m). Does k = 5/2?
False
Let o(t) = -t**3 - 8*t**2 + t + 4*t**2 + 3*t**2. Let c be o(0). Let n be -1*((-18)/8 - -2). Which is greater: c or n?
n
Let j(y) = 2*y + 6. Let w be j(-4). Let v = 3 + w. Is -0.1 <= v?
True
Suppose 4*m - 72 = -5*d, -2*m + 5*m - 43 = -d. Suppose 2*o = -5*x + 6, -x - 17 = -5*o + 52. Is o at most as big as m?
True
Suppose 2*h + 138 = -4*f, 5*h + 26 - 1 = 0. Which is smaller: 0.1 or f?
f
Suppose 5*u - f + 2 = -3, 5*u + 4*f = -5. Which is smaller: 1/26 or u?
u
Suppose 16 = 4*l + 4. Is l bigger than 2?
True
Suppose -9*j + 11*j = 0. Is 2/7 at least j?
True
Let l(q) = -q**2 + 7*q + 1. Let a be l(3). Suppose -2*w + a = 3*w - z, -5*w + 2*z + 16 = 0. Which is greater: 4 or w?
4
Let s = 1/72 + 107/72. Which is bigger: 3 or s?
3
Suppose -5*i - 4*o + 201 = -8*o, 0 = 4*i - 3*o - 160. Let f be 2*i/(-72)*-2. Let p = f + -14/9. Which is greater: 2 or p?
2
Let u be 36/(-90) - 37/(-5). Is 3 > u?
False
Let r = -37 - -37. Is 3/7 greater than r?
True
Suppose -2*j - 2*j + 24 = 0. Let p(v) = v - 6. Let t be p(j). Is 2/11 at most t?
False
Let s = 4/7 - -58/21. Which is smaller: 4 or s?
s
Let d = 21 + -21. Which is smaller: -2/5 or d?
-2/5
Suppose 0 = -0*n - 3*n - 9. Let f be ((-16)/84)/((-1)/n). Which is smaller: -1 or f?
-1
Suppose h - 1 = -2*f + 3, -11 = -3*f - 4*h. Let m(b) = 2*b. Let p be m(f). Suppose 3*j + 7 = -2*j + 3*r, -1 = 3*j - r. Does j = p?
False
Let s = 1.6 + -1.86. Let d = 0.04 - s. Is -0.1 != d?
True
Let m be -2 + -1 + 2 + 0. Let z = 2676/13 + -206. Is m less than z?
True
Let l = -1936/7 + 274. Are l and -2 equal?
False
Suppose 4*v + 2 = 10. Let p(y) = -y**2 - 2*y - 2. Let k be p(-1). Let q be 1 - (k/2 + 1). Which is smaller: v or q?
q
Let n be 14/42 + (1 - 0)/(-3). Does n = -2/9?
False
Let c(m) = m**3 + 2*m**2 - 4*m - 2. Let g be c(-3). Is -2/87 at least g?
False
Let o = 8 - 9. Let t be 10/42 + o/(-3). Which is bigger: t or -1/3?
t
Let t = 8772/11 + -798. Is t smaller than -1?
False
Let m = -0.6 - -1.6. Which is greater: 0 or m?
m
Suppose 0*c + 5 = -c. Let m be (-3)/c - (-9)/(-15). Suppose 2*t + 3*t = m. Are 0 and t equal?
True
Let g(s) = -s - 8. Let o(a) = a**2 + 3*a. Let r be o(-3). Suppose 3*d = -u + 5*u - 6, -d - 2 = r. Let p be g(u). Are -8 and p non-equal?
False
Let z = -3 + 2.5. Let a = -1.1 - z. Let u = 0.62 + a. Which is smaller: -0.1 or u?
-0.1
Let j = 2 + -1.5. Let y = -0.4 + j. Which is smaller: 0 or y?
0
Let c = 49 - 48. Do 24/31 and c have different values?
True
Suppose b = -7*b + 8. Is b not equal to 1/60?
True
Let c = -121969/99 + 1232. Let y = c + -89/990. Is y less than 0?
True
Let n(s) = 4*s**3 - s. Let x be n(1). Let a = -23 + 21. Let j = x + a. Is j != 2?
True
Let o = 0.032 + -3.032. Is -6 less than o?
True
Let q be 73226/(-35224) + 2/1. Let a = q + 9/259. Let x = 263/204 - a. Which is bigger: 0 or x?
x
Let o be ((-24)/32)/(3/(-2)). Is o less than or equal to 2/9?
False
Let o = -20.5 + 9.5. Which is bigger: o or -2/5?
-2/5
Let t = 3 - 1. Suppose -14*y = -15*y. Which is smaller: y or t?
y
Let x(k) = -k + 3. Let l be x(-5). Suppose -7*m = -2*m + p - 8, -m - 5*p - l = 0. Let g = -1.2 + 0.2. Which is smaller: m or g?
g
Let w = -9 - -13. Is 4 equal to w?
True
Let r(b) = -b - 6. Let j be r(-10). Suppose 0*z = -j*z - 2*y - 14, 0 = y + 5. Do -3/16 and z have different values?
True
Let o(w) = w + 3. Let d be o(0). Does -2 = d?
False
Let o = -50 - -52.1. Let p = 2 - o. Let y = -0.3 + 0.3. Are p and y unequal?
True
Let v = 1 + -18. Which is smaller: v or -16?
v
Let z(m) = 6*m + 4. Let w be z(4). Let g = w - 18. Suppose -5*c - v = -5, -v - g + 1 = -2*c. Which is smaller: 0.2 or c?
0.2
Suppose 0 = -2*j + 10 + 8. Let m = 2 - 1. Is m != j?
True
Let l be 4/(-12) - 6/(-18). Let y be -2*(0 - 2/46). Is l equal to y?
False
Let s(m) = -5*m - 44. Let t be s(-9). Which is bigger: -1/179 or t?
t
Let x = 1.6 - 4.6. Which is smaller: x or 6?
x
Let p = 164 + -118. Is 46 equal to p?
True
Suppose 4*p = 2*p. Suppose 3*r - 5*l + 2*l + 69 = 0, 0 = 2*r + 4*l + 28. Let g be 3/r + 8/20. Are g and p nonequal?
True
Let d = -0.25 - -0.2. Let f be (-3)/4*2 + (-378)/(-180). Which is greater: d or f?
f
Suppose 0 = -5*o - w - 361, 0 = 3*o + 7*w - 4*w + 207. Is -73 >= o?
True
Let g(a) = -a**2 + 7*a - 8. Let r = -2 - -9. Let z be g(r). Is z at least -7?
False
Let j be 3*(0 - -1) - 2. Let i = -2 + j. Is i >= -1?
True
Let i = 0.025 - -0.075. Are i and -0.11 equal?
False
Suppose -p + 0*p = 4*y - 27, -5*y = 5*p -