er: p or 0?
0
Suppose 11*p - 7*p + 252 = 0. Is p at most as big as -63?
True
Let a(q) = q**2 + 15*q + 31. Let w be a(-13). Let c(t) = 2*t - 4. Let o be c(3). Suppose o*x - w*x = 0. Is -1 less than x?
True
Let q = -3 + 0. Let u = q + 5. Which is greater: u or 1/7?
u
Let k be (3 - 4)*(-2 - 0). Is 4 >= k?
True
Let p = -6 - -7. Which is greater: 1/4 or p?
p
Let i = 0.98 + -10.08. Let h = 9 + i. Let w = -0.08 + 0.1. Is w at most as big as h?
False
Let m = -30 + 30. Is 2/19 at least as big as m?
True
Let g(i) = -2*i**2 + 13*i + 6. Let u be g(7). Is u at most as big as -14/13?
False
Suppose 0*w + p + 3 = 3*w, 0 = -4*w - 3*p + 4. Which is smaller: 24/19 or w?
w
Let v be 1 - 5/((-10)/46). Suppose -3*u + v - 3 = 0. Is 7 at least as big as u?
True
Let b be 12*1 - (25 - 28). Do 16 and b have the same value?
False
Let d = 20.9 + -16. Let c = d + 0.1. Which is smaller: 2 or c?
2
Suppose -3*n + 4*n - 9 = 0. Which is smaller: n or 6?
6
Let m = -0.2 + 0.1. Suppose -45 - 6 = -3*z. Let t be 2/(-9) + z/36. Which is smaller: t or m?
m
Suppose b - 56 = 4. Which is smaller: 61 or b?
b
Let f(m) = -m**2 - 6*m - 5. Let o(w) = -w**3 - 6*w**2 - 5. Let g be o(-6). Let c be f(g). Let i = -419/1010 + 3/202. Is i greater than c?
False
Let y = 0.093 + -0.193. Which is smaller: 36 or y?
y
Let a(v) = -v**2 - 3. Let x be a(-3). Let m = -12 - x. Is 7/5 not equal to m?
True
Let w = 13 + -4. Let v be ((-18)/(-8))/(w/24). Suppose v - 1 = 5*r. Is r less than or equal to 2?
True
Let q(w) = -w**2 - 11*w - 11. Let l(x) = -x**3 - 10. Let b be l(0). Let c be q(b). Let p = 1 + -1. Are p and c nonequal?
True
Let m(w) = 4*w**2 - 3. Let g(d) = -1. Let l(k) = -11*k**2 + 6. Let y(p) = -2*g(p) + l(p). Let f(u) = 8*m(u) + 3*y(u). Let z be f(0). Which is smaller: z or -1?
-1
Let s(l) = l**2 - 6*l + 7. Let n be s(5). Suppose 2 + n = -2*g. Let d be (2 - g)*3/(-3). Which is bigger: d or 0?
0
Let h be (-84)/160 + 1/8. Which is greater: 1 or h?
1
Let u = -0.035 + -1.005. Let r = 0.04 + u. Is -1 less than or equal to r?
True
Let m be (-14)/(-21)*18/(-129). Is m less than 1?
True
Let g = 8 + 2. Let i = g - 7. Suppose -s = -i*s + 2. Which is smaller: s or -1/3?
-1/3
Let f(x) = -x**2 - 6*x - 2. Let i be f(-4). Suppose -c + 2*j + 12 = 0, -c = 3*c + 4*j. Suppose 7*d = c*d - i. Which is greater: -1/2 or d?
-1/2
Let l = 36/13 - 532/117. Which is smaller: l or -2?
-2
Let a(z) = 2*z**3 + 4*z**2 + 3*z. Let v be a(-2). Let x(l) = l + 5. Let r be x(v). Let i be ((-3)/(-6) + r)*0. Are i and 0 equal?
True
Let j = -0.13 + 0.43. Let i = -5.03 + 0.03. Let n = 7 + i. Is n != j?
True
Suppose -5*l - 135 = 3*w, -3*l + 0*w = 5*w + 97. Let x = l + 15. Is -8 equal to x?
False
Suppose m = -4*r - 2, 3 = 3*r + 2*m + 7. Suppose 2*t - 4*t + 12 = f, 2*f - 5*t - 6 = 0. Let z be f/(-108)*6/2. Which is smaller: r or z?
z
Let l be (4/12)/(3/54). Which is smaller: l or 5?
5
Let y be (11 - 10)/(2/38). Is 18 > y?
False
Let v be (-1152)/(-7425) + (-2)/11. Which is bigger: -1 or v?
v
Let d = -3 + -4. Let j = -26 - -18. Which is smaller: j or d?
j
Let g = -72 - -72. Is -0.07 <= g?
True
Let r be (-2)/1 - 5/(-2). Let p = 25 + -25. Which is greater: p or r?
r
Suppose 2*k - 13 = -3. Does 5 = k?
True
Let g be 0/((-4)/8*4). Does 4/7 = g?
False
Let t be (-2)/(-5) - 46/(-10). Suppose -m + t = 1. Which is smaller: m or 3?
3
Let b(o) be the third derivative of -o**5/60 + 5*o**3/6 - 3*o**2. Let i be b(-4). Let a = 23/2 + i. Is a not equal to 1?
True
Let q = 118 + -259/2. Is q < -13?
False
Suppose -w = -2 - 0. Suppose 0 = 7*n - n - 36. Let h = 8 - n. Is h smaller than w?
False
Suppose -7*o + 24 = 3. Which is bigger: o or 17/6?
o
Let i be 1/2 + (441/(-70) - -6). Which is greater: i or 0.4?
0.4
Suppose 2*r = -r - 48. Let u be (6/8)/(30/r). Which is smaller: 1 or u?
u
Let s = -62/15 - 158/15. Which is smaller: s or -14?
s
Let t(a) = -a**3 + 9*a**2 + a - 4. Let f be t(9). Which is greater: f or 4?
f
Let o be -1 - -4 - (1 - -2). Is 16 less than o?
False
Let v = 21 - 32. Is -5 bigger than v?
True
Let n = -85.98 - -85. Let y = 2.98 + -3. Let b = y + n. Which is greater: 2 or b?
2
Let x(j) be the first derivative of j**4/4 + 2*j**3 - 4*j**2 - 8*j - 4. Let v be x(-7). Is -1 > v?
False
Let w = 0.383 + 0.047. Let z = 1.49 - w. Let t = -0.06 + z. Which is bigger: t or 3?
3
Let c be -1*(-1 + 0)*-1. Is c != -13/19?
True
Let u be (-1)/((-5)/15) - (-110 + 0). Is u at least as big as 112?
True
Let q = -10 + 28. Let x = q + -19. Is -2/13 at most as big as x?
False
Suppose 15*q = 13*q - 8. Is q less than 3?
True
Suppose -3*k + i = -2*k + 7, -3*k + 4*i = 24. Let o be (-89)/(-7) + (-2)/(-7). Let z = 8 - o. Is k < z?
False
Let b(t) = t**3 + t**2 - t + 2. Let m be b(0). Suppose -m*f + j = -2*j - 2, -2*j = -2*f - 2. Is 0 at most as big as f?
False
Let t = -98/15 - -12416/1905. Are 1 and t unequal?
True
Suppose -4*p = -5*z + 29 + 10, 4*p + 4 = 0. Let b = z - 5. Is 1 less than b?
True
Let a be (4*4/(-20))/(2/(-25)). Which is smaller: 11 or a?
a
Let d(t) = -2*t - 26. Let f be d(-14). Suppose 4*m + 7 = f*m - l, 0 = 5*m - 5*l - 20. Let u = 137/140 + -11/20. Is u <= m?
False
Let u(t) = -t**2 + 2*t. Let r be u(3). Let p be 0/((27/3)/r). Suppose -2*s - 2*g + p*g + 14 = 0, 2*g = 8. Do s and 5 have different values?
True
Let m be (-1)/((-3)/(-4))*3. Let z = -1 - m. Suppose 4*t + 0 = 8. Which is smaller: t or z?
t
Let z = -19378749 - -833250261/43. Let b = z - -836. Is 1 less than b?
False
Suppose 265 = -10*i - 435. Is -71 greater than or equal to i?
False
Let x be (-5)/(-10)*5/(-2). Which is smaller: x or -1?
x
Let j be 3/(-1 - (-1)/4). Let w(x) = -x**2 - 4*x - 1. Let v be w(j). Which is smaller: v or -2?
-2
Let y = -36 + 62. Let l = 22 - y. Are l and -5 non-equal?
True
Suppose 0 = -z - z + 10. Suppose 4*h - z*t = -11, 2*t - 10 = -0*h - 4*h. Is 7/3 greater than or equal to h?
True
Let c be (-15)/(-2)*8/3. Let q = -101/5 + c. Let i be 0*(-2)/((-8)/2). Does i = q?
False
Let y = 1.3 - 0.6. Let r = -0.7 + y. Which is bigger: r or -2?
r
Let h(s) = -3*s + 8. Let z be h(4). Which is greater: -3 or z?
-3
Let s = -2.03 - -2. Let c = 0.01 + s. Let u = -0.12 - c. Which is smaller: u or 0.3?
u
Let h(q) = q**2 + 2*q + 1. Let p be h(-2). Let r(k) = k**3 + 4*k**2 - 2*k - 5. Let d be r(-4). Let g be (128/(-12))/(-4) - d. Which is bigger: p or g?
p
Let f = -0.1 - 5.8. Let m = 6 + f. Is m less than -1?
False
Let m(x) = -x**3 - 7*x**2 + x + 8. Let d be (-1 - -1)/(-5 - -2). Suppose d = l + 7. Let i be m(l). Do i and 2/3 have different values?
True
Let u be -2 + (5*3)/3. Suppose -o = u*o. Are 1/5 and o nonequal?
True
Let v be 2 + (-16)/6 + 1719/(-135). Do v and -14 have the same value?
False
Let d = -27.9 - -33. Let w = d - 5. Which is greater: -4 or w?
w
Let b = -0.06 + -1.94. Let d = b - -2.1. Let f(m) = -m**3 + 4*m**2 - 3*m. Let g be f(3). Are d and g equal?
False
Suppose -12 = 4*g + 2*j + 2*j, -3*j = -2*g - 16. Let o = 2.6 - 0.6. Which is greater: g or o?
o
Suppose -10*n + 1 = -9*n. Is 7 less than n?
False
Suppose z - 3*z + 4 = 0. Suppose -h - 12 = -5*h, 10 = z*a + 2*h. Suppose -3*w = -5 + a. Is w at least as big as 1?
True
Suppose -4*p + 12 = -p. Let w be 7 - p - (1 + -2). Is w bigger than 4?
False
Let x(b) = b**3 - 2*b**2 + b - 5. Let k be x(3). Which is greater: 8 or k?
8
Let o(d) = -d**2 + 2. Let y be o(-2). Is y less than -6?
False
Let t = 1 + -2. Let x be 1/((-3)/15*t). Suppose x*p + 4 = p. Is 1 less than p?
False
Let m = 18 + -17.9. Is -1/8 less than or equal to m?
True
Let n be (4/(-6))/2*-3. Let b be (8 + -4)*n/2. Let d be (b/(-5))/((-26)/10). Are 1 and d non-equal?
True
Let c = 5 - 7. Let s(w) = -w**3 - 10*w**2 - 10*w - 11. Let z be s(-9). Is z equal to c?
True
Let h = -63.6 + 65. Which is smaller: h or 1/4?
1/4
Suppose 4*j = 5*d + 11, -7 = j + 4*d + 6. Suppose 3 = -5*g + 2*g. Is g >= j?
True
Let m = -22.08 + 22. Which is smaller: 2 or m?
m
Let z be (-3)/9 + 4/(-6). Let b(x) = x**2 - x + 1. Let s(a) = 4*a**2 - 6*a + 5. Let o(l) = 5*b(l) - s(l). Let n be o(0). Is z less than or equal to n?
True
Let j = -33 - -67. Suppose 4*m + 142 = j. Let l be m/(-6)*(-8)/(-6). Which is smaller: l or 7?
l
Let s be (-234)/(-165) + 8/44. Which is smaller: s or 3?
s
Let r = -122/3 - -40. Which is greater: r or 0.06?
0.06
Let f = 1.95 - 0.05. Let s = 1.4 + -2.3. Let p = s + f. Do p and 0.2 have different value