Is 1 greater than p?
True
Let w = 7 + -2. Let u = 4 - w. Which is bigger: -0.04 or u?
-0.04
Let n = 43 + -44. Let v(t) = -t**3 - 7*t**2 - 6*t + 1. Let i be v(-6). Which is greater: i or n?
i
Suppose 0 = 5*u + 1 + 29. Let i = 10 + u. Suppose 3*j + 5*h - 24 = 0, 4*j - h - 21 = -i*h. Which is bigger: 2 or j?
j
Let j = 146 - 147. Suppose t = 4 - 2. Suppose -m - t = -0*m. Which is greater: m or j?
j
Let w be ((-84)/75)/((-2)/10). Let m = 6 - w. Which is bigger: m or -0.03?
m
Let l = -3 - -8. Let j be l - (1 - (-3 - -1)). Is 5 equal to j?
False
Suppose 0 = 2*q + 6 - 46. Is 19 at most q?
True
Let w = -383 + 381.47. Let l = -1.5 - w. Which is bigger: l or -0.2?
l
Let y = -94/913 - -1/83. Which is bigger: y or -1?
y
Suppose -4*q = 5*d - 8, -q - 2 + 4 = 2*d. Which is greater: 2/7 or d?
2/7
Let p(k) = k + 12. Let q be p(0). Suppose 3*l = -2*z + 16, 0 = -0*z + 2*z + 2*l - q. Let f(v) = -v**3 + v**2 + 3*v - 3. Let m be f(z). Is -1 <= m?
True
Let v(t) = 4*t - 1. Let j be v(2). Let l(u) = u + 7. Let r be l(0). Are r and j unequal?
False
Let p = -2 + 11. Let o be 0 - (-1 + p/11). Which is smaller: 1 or o?
o
Suppose 0 = 3*i + 2*i - 10. Suppose -5 = -i*s + 3. Suppose 0*o = -s*o. Which is bigger: o or -2/19?
o
Let j(r) = -2*r**2 - 5*r + 4. Let z be j(-4). Let m be -2*(z/(-14))/(-2). Let d(c) = -c**2 - 6*c - 5. Let w be d(-5). Is m greater than or equal to w?
True
Suppose t + 3*t = 0. Is t > -5/7?
True
Let l be -2*6/(-4) + -2. Let h be (-6)/28 + 2/4. Are h and l non-equal?
True
Let b = -5841/14 + 417. Do 1 and b have the same value?
False
Let h be (-1 + -3 - 0)/(-69). Let u = 86/897 + h. Is u less than or equal to 2?
True
Suppose 0 = -s + 5*s. Let o be (-5)/(-7) - (-2)/7. Let q be (-3 - -3)/(s - o). Is 2 at most q?
False
Suppose 2*h - 20 = -4*x, -3*h - 2*h = 5*x - 35. Let y = 1 - x. Let a be -2 - 1/2*y. Are a and -1 equal?
True
Let a = 80 + -78. Which is smaller: 2/5 or a?
2/5
Let g(r) = 1 - 2 + 11*r**2 + r**3 - 2*r**3. Let b be g(11). Let f be -3 + 1 + (0 - b). Is 1/3 smaller than f?
False
Let c = -5 - -8. Let i(y) = y**3 - 4*y**2 + 4*y. Let x be i(c). Suppose 2*s + 14 = 2*m, x*s - 8*s = -2*m + 32. Is -6 >= s?
True
Let y = -2 + 4. Suppose 0 = -3*k + 6 + 3. Suppose -a - k*a = 0. Which is greater: a or y?
y
Let q = 863183/11010 + 1/11010. Let k = q - 78. Which is greater: k or -2/5?
k
Let s(p) = -p**3 - 6*p**2 - 3*p - 14. Let a be s(-5). Are a and -24 equal?
True
Suppose 7*g = 9*g. Suppose 0 = -g*j + 5*j - 10. Which is smaller: 3 or j?
j
Let g = 879 + -8781/10. Which is greater: g or 2?
2
Suppose 0 = -5*r + 10, 3*r - 4 - 12 = -2*g. Let v be 65/4 - g/20. Suppose -13 = a + k - 4*k, 2*k = -3*a + v. Is a at most 0?
False
Let v be 1/(-2)*(-33)/(-6). Which is greater: v or -3?
v
Let x = -27 - -36. Suppose x*u - 2 = 7*u. Is u < 0?
False
Suppose 0 = -2*s + 3*s + 4*k + 87, -59 = s - 3*k. Does -71 = s?
True
Let i be (-3)/9 + 1/(-15). Let m = 3.1 - 0.1. Let h = m + -2. Which is smaller: i or h?
i
Let j be -3 + -1 + 0 + 1. Is j greater than or equal to 1?
False
Let u(b) = b**3 - 19*b**2 + 19*b - 17. Let r be u(18). Let x = 77 + -540/7. Which is bigger: r or x?
r
Suppose 3*v - 6 = 6. Let j = -0.11 - -0.01. Which is smaller: j or v?
j
Let p(c) = -c**3 - 3*c**2 - 4*c - 4. Let a be p(-4). Suppose -3*r + a = 4*t + r, -3*t - r + 11 = 0. Is t at most as big as 2?
True
Suppose 2*y = -3*y + 50. Let c be (-873)/(-81) + 4/18. Is c at least y?
True
Let h = -0.2 + 0. Let p = h + 0.4. Let g = p + 0. Which is smaller: g or 1/4?
g
Let m = 7.1 + -7. Let q = -1 + 0.8. Let o = q + 0. Which is smaller: m or o?
o
Let d = -7 - -20/3. Suppose 0 = -2*v - 5 + 3. Which is greater: d or v?
d
Suppose 3 = 2*v + 5*f + 5, 5 = -5*v + 3*f. Which is smaller: 2/17 or v?
v
Suppose -3*k - 3*s = -6, 3*k - 3*s = s - 1. Which is smaller: k or 2?
k
Let i be 6/4 + 8/(-16). Suppose 3 - i = -g. Let c be g/8*(-8)/(-6). Do -0.1 and c have the same value?
False
Suppose 0 = 3*p - 8*p + 10. Let w = 9/2 + -4. Is w at most as big as p?
True
Suppose -4*z = -2*n + 2, 2*n = -n - 5*z + 25. Suppose -2*b - n*u = -1, -7 + 2 = 5*u. Are b and 3 non-equal?
False
Let u(n) = -n**2 - 5*n + 4. Let r be (-4)/((-12)/(-27)) + 3. Let h be u(r). Suppose -26 = 2*s - 4*f, -s - 2*f = 3 - 10. Does h = s?
False
Let h(c) be the second derivative of c**5/20 + c**4/3 + 5*c**3/6 + 2*c**2 - c. Let r be h(-3). Let j be (r + -1)*(-1)/(-1). Does -3/2 = j?
False
Let r(y) = -27*y + 3. Let d be r(1). Which is greater: d or -23?
-23
Let a(i) = i**2 - 5*i - 1. Let f be a(5). Let v be 1 + (5/2)/f. Let n = v + 5/4. Which is bigger: n or 0.3?
0.3
Suppose o + 62 + 38 = 0. Let l = 1299/13 + o. Is 0 > l?
True
Let j be 2 + -1 + -1*2. Suppose -a = -0*a + 2. Let i be a/(-24)*(-4)/(-3). Which is bigger: i or j?
i
Let c(l) be the first derivative of -2 + 1/3*l**3 + 0*l - 5/2*l**2. Let d be c(5). Which is smaller: d or -3/4?
-3/4
Suppose 32*h - 15 = 27*h. Is 5 != h?
True
Let u(c) = -9*c**3 + 10*c**2 - 14*c - 15. Let k(a) = -5*a**3 + 5*a**2 - 7*a - 8. Let b(r) = 11*k(r) - 6*u(r). Let i be b(-6). Are -4 and i nonequal?
False
Let o = -4.6 - -0.6. Let w = o - -4. Let u = w - 0.1. Which is smaller: 2 or u?
u
Suppose 2*c = -3*c. Suppose c = 5*u + 4 - 14. Let b = 3 + -2. Is u at least as big as b?
True
Let g = 663/2 + -331. Suppose 13 = 5*n - 7. Let r = n - 2. Is r less than or equal to g?
False
Let x be (0 - (-3)/(-2))/(-3). Let j(i) = 2*i**2 - 3*i. Let k be j(2). Suppose -5*c = -k*c. Which is bigger: x or c?
x
Let r be (-1 - -4)*1/(-6)*2. Let x = 1.05 - 1. Let f = 0.35 - x. Is r > f?
False
Suppose c = -5*i - 0*c + 12, -c + 9 = 4*i. Suppose 5*u + 3*d = 2*d - i, u - 6 = 2*d. Suppose 3*g + u*g - 6 = 0. Which is smaller: g or 4?
g
Let b be 0 + -3 - (-3 - -2). Let v = -2 - b. Is v at least 0?
True
Suppose p - 5*q = -10, -2 = -0*p - p - q. Is -2 greater than p?
False
Let t be (-57)/9 - (-1 + -4). Is t >= 0.1?
False
Let m be (1 + -4)/((-60)/8). Suppose 0*c - 2 = -2*c. Are m and c nonequal?
True
Let p(i) = -i**2 - 19*i + 22. Let x be p(-20). Is 2 less than or equal to x?
True
Let x(w) = -6*w + 4. Let c be x(2). Is -15/2 <= c?
False
Let y = 2.05 - 2. Let m = y - -0.25. Let h(k) = k - 1. Let f be h(1). Which is smaller: f or m?
f
Let c be 2 - (-1 + 0 + 4). Let i = 130 - 912/7. Are c and i nonequal?
True
Let w = 3/2 + -11/8. Let h = w - 5/8. Which is smaller: 1 or h?
h
Let s = 4 - 3. Let j(q) = -q**3 + q - 4. Let m be j(0). Let d be (-5)/4*m/30. Which is greater: d or s?
s
Let h = -0.16 - -0.12. Which is smaller: h or 2?
h
Let k = -28 + 26. Let d = 1 + -1.2. Which is bigger: k or d?
d
Let z = 0.099 + -2.099. Is -1/8 > z?
True
Let w = 0 + -4. Let k = -3 - w. Let j be (2/(-6))/(3 + -4). Which is smaller: j or k?
j
Let u = -50 - -86. Suppose u = -q + 4*q. Let t be (q/75)/(2/5). Which is smaller: t or -2?
-2
Suppose q - 3*q + 24 = 0. Suppose q = 3*r + r. Suppose 0 = 5*f + 4*w + 1, -2*f - f + 5*w = 8. Are f and r unequal?
True
Suppose -4*k - 20 = -4*x, 4*k = 2*x - 0*x. Let z(f) = -5*f - 6. Let d be z(x). Let n be (-66)/d - 9/12. Which is smaller: n or 2/5?
2/5
Suppose -23 - 4 = -3*c. Let j be ((-5)/((-15)/c))/2. Do 1 and j have the same value?
False
Let h = 9 + -7.7. Let z = h - 1.3. Which is smaller: -0.04 or z?
-0.04
Let q(x) be the second derivative of -x**5/20 + x**4/12 + x**3/2 + x**2 + 9*x. Let g be q(-1). Let a = -27/2 - -14. Do g and a have different values?
True
Suppose 2 = -2*l + 6. Let h = 2 - l. Suppose 4*g + 12 = -h*g. Is g bigger than -2?
False
Let w = -14 - -13. Is -3 at least as big as w?
False
Let g(b) = -b**2 + 8*b - 16. Let t be g(4). Is -3 equal to t?
False
Suppose -2*s + 9 = -31. Let b be (-5)/4*(-8)/s. Are 4 and b non-equal?
True
Let i = 246/5 + -563/15. Let s = i - 137/12. Which is bigger: 1 or s?
1
Let d(q) = q**2 - 1. Let g be d(0). Let k = 1 + g. Let w be (-8)/10 - 0 - k. Does -2 = w?
False
Suppose -4*k - 2*z + 521 = 81, 5*z = -5*k + 545. Let p be k/(-66) + (-6)/(-33). Which is smaller: -1 or p?
p
Let i = -91.6 - -86. Which is greater: -0.1 or i?
-0.1
Let r be 46/(-180)*6/4. Let a = r - -2/15. Which is greater: 1 or a?
1
Let h be 4*2/4*2/4. Let v = -0.1 + 0.1. Let t = -1 - v. Which is bigger: h or t?
h
Suppose -2*s = -c - 0*s + 17, 0 = 2*s. Which is smaller: 16 or c?
16
Suppose 4 = b - h - 0*h, -5*b - 5*h - 20 = 0. Which is smaller: -2/23 or b?
-2/23
Let i = -1 + 