p**3 + p**2 + p + 8. Let s be l(0). Let w be 10/s - 1/4. Which is smaller: w or 1/3?
1/3
Let m = 2.03 + -0.03. Let t = -1 - -2. Is m at least t?
True
Suppose -4*g = -l - 0*l - 52, l + 66 = 5*g. Let q be (3/g)/(3/(-4)). Is q <= -1/4?
True
Suppose -3*a = 16 - 4, 4*a + 25 = 3*t. Let x be (-14)/(-4) - (-1)/(-2). Are t and x equal?
True
Let t = -3 + 5.1. Which is bigger: t or 0?
t
Suppose 32 = k + 4*k - 3*q, -4*q - 16 = 0. Let f(r) = r**3 + 6*r**2 + 1. Let t be f(-6). Which is greater: k or t?
k
Let l = 0.16 - 0.21. Which is smaller: 3/4 or l?
l
Let r(p) = -5*p + 54. Let n be r(11). Is -4/89 at most as big as n?
False
Let u be (-2 - 754)/2 - -1. Let c = u - -6411/17. Is 0 >= c?
False
Let n = -5 + 5. Let g = n - -3. Suppose -x = 3*v - 2*x + 6, -6 = g*v + 3*x. Is v < -2?
False
Let y be (-9)/11 + (-4)/22. Suppose 0 = -4*m + 2 - 14. Which is smaller: y or m?
m
Let i = -20 + 16. Which is smaller: i or 2?
i
Let k = 4 - 4. Let u be 2/4*(-6)/(-3). Let z be (0 - u)*(k - 0). Which is smaller: z or -2/3?
-2/3
Suppose 0 = 3*t + 5*a - 6, 3*t + t + 5*a - 3 = 0. Let k = -789/7 - -113. Which is smaller: k or t?
t
Let y be (5 - 92/20) + 1/(-15). Suppose -2*x - 2*x = -72. Let b = x + -89/5. Which is smaller: b or y?
b
Suppose -2*z = -2*a - 6*z + 94, 4 = -2*z. Which is greater: a or 49?
a
Let n = 7 - 3. Suppose 5*i - i = n. Let y = 3 - i. Which is greater: y or 3/4?
y
Let v be (-3 - 0)/(1/(-2)). Let h be v/(-15) - 17/(-5). Is 4 at most h?
False
Let k = -646 - -2601/4. Which is greater: k or 5?
5
Suppose -38*p + 1 = -39*p. Which is bigger: 1/48 or p?
1/48
Let c be (2 - (-3 + 3))*1. Let x be 0/(4*1/c). Which is smaller: 2/27 or x?
x
Let z = 1.4 - 1.5. Which is smaller: 3 or z?
z
Let w = 0.06 + -2.06. Suppose 3*q = y - 8, -2*q = 3*y - 0*q + 9. Is w <= y?
True
Let k be (-3)/4*(-16)/(-1). Let v = -17 - k. Let t(f) = f + 7. Let l be t(v). Which is smaller: l or 1?
1
Let h(u) = 2*u**2 - 5*u + 3. Let r be h(3). Suppose -i - v = 5, -2*i + 4*i = -3*v - 5. Let p be r/(-24) + i/56. Is 1 < p?
False
Let b(k) = -k**2 - 4*k + 4. Let z be b(-4). Let r be z/(-14) + (-6)/(-14). Let h = -2/35 - r. Is 0 less than or equal to h?
False
Let t = -1011.04 + 1029. Let h = 18 - t. Is h at least 2?
False
Let w(t) = -19*t - 2. Let g be w(1). Let f = g - -31. Which is bigger: f or 19/2?
f
Suppose 9 + 15 = -2*c. Let r = -8 - c. Which is smaller: r or -1?
-1
Let y = 2.1 + -1.6. Let s = -6.1 + 6. Which is smaller: s or y?
s
Suppose -2*c - q + 26 = 0, 4*c - 5*q - 72 = -2*q. Let v = 15 - c. Do -6/7 and v have different values?
True
Let m = 3 - 3. Let g = 85 - 511/6. Which is greater: m or g?
m
Let r = -0.918 + -0.042. Let t = r + -0.04. Let x be (80/(-18))/2 + 2. Which is bigger: t or x?
x
Suppose 0 = -2*g - g + 15, c + 4 = 2*g. Let h = 7 - c. Which is greater: -3/7 or h?
h
Let p = 641/1365 - -23/273. Let a = p + -15/13. Which is smaller: 0 or a?
a
Let a = -1 - 1/2. Let i(c) = -c - 7. Let l be i(-5). Let o be 0 + l - (0 - -1). Which is greater: o or a?
a
Suppose 0 = -y + 5*j + 3 - 11, 2*j - 2 = y. Suppose 2*s + 8 = 0, -4*x + 2*s + y = -2. Which is bigger: 2 or x?
2
Let p = -4 - 3. Let z(m) = -m**3 - 6*m**2 + 5*m - 10. Let q be z(p). Which is smaller: q or 5?
q
Let v(n) = -n - 10. Let u be v(-7). Let s(i) = -4*i - 6. Let z be s(-3). Let d be 1 + u/z*-4. Which is smaller: d or 0?
0
Suppose 0 = -4*s - 5*v + 2*v + 10, 3*s + 3 = 3*v. Which is smaller: 1/297 or s?
1/297
Let n = 2540/41 - 62. Which is smaller: n or -1?
-1
Let u = 1045 + -47023/45. Which is smaller: 0 or u?
0
Let a = 24 + -65. Let u = a + 38.9. Let t = 2 + u. Is t less than -1?
False
Suppose -5*b + 20 = -40. Suppose k + 4*d = 5*k + b, 5*k - 3*d + 7 = 0. Which is greater: k or 1/11?
k
Suppose o - 2*j + 1 = 0, 5*o - j + 23 = -0*j. Is -7 less than o?
True
Suppose a - k = 18, 4*k = 3*a - 44 - 12. Do 76/5 and a have the same value?
False
Let p(n) = -n**3 + n**2 + n + 1. Suppose -5*k - 11 = -3*r, 0 = -2*k - 2*r - 2 + 4. Let i be 3/((-5)/(-2) + k). Let m be p(i). Is 1/5 smaller than m?
False
Suppose 2*s - 4*l = 34, -4*s + 4*l = s - 97. Let h(w) = 3*w + 2. Let d be h(6). Is d equal to s?
False
Suppose -3*k + 4*g + 5 + 12 = 0, 5*g + 2 = 2*k. Let d(m) = -m**2 - 7*m + 2. Let a be d(-5). Let o = k - a. Which is smaller: o or -3/14?
o
Suppose -3*n - 3*b = -3, -9 = -5*n + b - 2*b. Let l = n - 6. Suppose -2*m - 3 = -m. Which is greater: l or m?
m
Suppose 23*z = 20*z - 18. Is 2/3 greater than or equal to z?
True
Let i = 5.4 + -6. Let r = 0.5 + i. Is 1 greater than r?
True
Let m(d) = d**3 + 10*d**2 + 9*d - 10. Let g(x) = -x**3 + 4*x**2 - x - 5. Let a be g(4). Let u be m(a). Let b be (-96)/315 + (-4)/u. Is b not equal to -1?
True
Suppose 0 = -5*m + 44 + 11. Which is bigger: 56/5 or m?
56/5
Let g = -567 - -34019/60. Which is bigger: g or -1?
g
Let a = -4 - -11. Let y = a + -8. Which is bigger: -2 or y?
y
Suppose 68 + 22 = 3*l. Let j = l - 239/8. Suppose 4 = -2*i + 2. Is j greater than or equal to i?
True
Suppose 5*o - 3*o = -6. Do -13/3 and o have different values?
True
Let z(f) = -f**3 - 3*f**2 + 5*f + 6. Suppose 5*u - k = -15, -k + 3*k = -4*u - 26. Let p be z(u). Let l be (-3)/p*2/(-3). Is 0.1 < l?
True
Let g = 16.4 + 9.6. Does 1/5 = g?
False
Suppose 0 = 6*v - 2*v. Let j = -1 + v. Let c be (-2)/4*((-2)/2 - -3). Is c >= j?
True
Let b be 52/(-14) + 6/(-21). Let u(y) = -y**2 + 12*y + 40. Let z be u(-3). Is z not equal to b?
True
Let d = 5205/19 + -274. Let z = 1.9 + -2. Which is greater: d or z?
d
Let v be 4/8*(0 - -1). Let j(m) = m**3 + 2*m - 1. Let w be j(1). Which is smaller: v or w?
v
Suppose 108 = 5*v + 2*g, 2*v - 1 = 2*g + 31. Let o be (-3)/12 - (-13)/v. Suppose 4*i = i. Is i greater than or equal to o?
False
Let s be (-172)/(-36) + 6/27. Do s and 4 have the same value?
False
Let d(q) = -2*q - 2. Let f be d(-4). Suppose f = -2*w + 3*j - 0, -3*j - 36 = 5*w. Is -7 greater than w?
False
Let h be 4/(-3)*9/6. Let l = -5 - h. Is l equal to -3?
True
Let y = -0.02 + 14.02. Let u = 8 - y. Let m = u - -5. Which is smaller: m or 0?
m
Let y(i) = i**3 - 9*i**2 + 9*i - 10. Let z be y(8). Let k = 3 + -1. Let s = 1 - k. Is z > s?
False
Suppose -9*n + 100 = -62. Is 17 greater than or equal to n?
False
Let b be (-225)/204 - (-6)/8. Does 0 = b?
False
Let z = -24 + 15. Is z >= -9?
True
Let n(w) = -w**2 - 2*w - 88. Let h be n(0). Which is smaller: -87 or h?
h
Let h = 10 - 7. Suppose -3*k - 18 = -h*x, -3*x + 6*x - 2 = -k. Let i be (-1)/(2/k) + -1. Which is smaller: 1/4 or i?
1/4
Let x(c) = -c**3 + 4*c**2 - 2*c + 4. Let z = 9 + -5. Let a be x(z). Which is smaller: a or -3?
a
Suppose -4*r + 20 = 4. Suppose 4*n + 3*c = 37, 2*n + 2*c = -3*c + 29. Suppose 0 = 3*l - 19 + n. Is r > l?
False
Suppose 0 = 4*y - 5*y - 3*z + 15, -y + z - 5 = 0. Let x be y/(-1)*1*-1. Let h be 2/1 + (-2 - x). Are -2/3 and h unequal?
True
Let j = 677428/195 - 3474. Let f = j + -128/195. Suppose -103*c + 3 = -100*c. Is f greater than or equal to c?
False
Let k be (-12)/32*(-4)/(-6). Let l = 3 - 3. Suppose 3*u - 7*u = l. Do u and k have the same value?
False
Let v(o) = 3*o - 1. Let x be v(1). Suppose 5*b - 2*l - 75 = -28, -4*l + 14 = x*b. Suppose -3*p = 4*c + 11 - 3, 2*p + b = c. Are p and -4 unequal?
False
Let v = 12 + -3. Let a be (3 + -1)*(-111)/v. Let g = a - -24. Is -1 at least g?
False
Let r = 18.9 + -19. Are -2/5 and r unequal?
True
Let q(r) = -r**3 - 6*r**2 - 3*r + 7. Let c(a) = -a**2 - 6*a + 11. Let f be c(-8). Let t be q(f). Which is greater: -1 or t?
-1
Let c = -0.1 + 0.1. Let n be (-31 - -26)/((-10)/4). Which is greater: c or n?
n
Let l(n) = n**3 - 7*n**2 - n + 6. Let x be l(7). Suppose 0 = 3*b - 4*b - 2. Which is bigger: x or b?
x
Let g be (-3)/(-18) + (-7)/6. Which is bigger: g or 1?
1
Suppose 6 = 3*n - n. Let b be (9/(-15))/(n/(-2)). Let s = -0.08 + -0.02. Are s and b nonequal?
True
Suppose -4*h - h + 20 = 0. Let t = 0 + 2. Is h smaller than t?
False
Let k = -0.12 + -7.88. Let w = -8 - k. Which is greater: 0.5 or w?
0.5
Let c(r) = -r - 4. Let w be c(-5). Let v be (2 - 3)/(663/(-6)). Let d = 460/1989 - v. Is d at least w?
False
Let q(i) = -i**2 + i. Let u(g) = g**3 + g**2 - 3*g + 3. Let v(t) = 6*q(t) + u(t). Let l be v(4). Is -2 bigger than l?
False
Suppose 0 = -2*h - 3*h + 30. Suppose 0 = r + q + 8, 3*q - 21 = 5*r - 5. Let l = h + r. Does 1 = l?
True
Let h = 17 - -7. Suppose -4*m - h = 60. Le