= p + r. Is 1 at least as big as c?
True
Let j = -0.4 - -0.3. Let o = -1 + 1. Let x = 1 - o. Is j < x?
True
Suppose 30 - 74 = 2*t. Is t > -22?
False
Let v(c) = c**3 - 4*c**2 + 2*c. Let l(p) = 2*p**3 - 9*p**2 + 5*p. Let q(k) = 3*l(k) - 7*v(k). Let u be q(0). Is 3 at most as big as u?
False
Let n be 30/9*(-3)/(-1). Let w be (-48)/(-70) + (-4)/n. Let o be 2*(14/(-4) - -4). Is w smaller than o?
True
Suppose -1 + 16 = 5*j. Let y = -10 + j. Let u = y - -5. Which is bigger: u or -9/5?
-9/5
Let m be 12/(-9) + 31/12. Suppose 7*n - 2*n = 0. Let s be 2 - 1 - (n - 0). Which is smaller: s or m?
s
Let l be ((-18)/10)/((-15)/50). Let g be 20/27 + (-4)/l. Is -1 <= g?
True
Let c(x) = -x**3 + x**2 - 1. Let q = -1 - 0. Let p be c(q). Suppose -2*a + 2 + 2 = 0. Which is greater: p or a?
a
Let d = 0.11 - -9.89. Let y = 2.4 - -5.6. Let c = y - d. Is 0.2 at most c?
False
Let s(n) = -n**2 + 2*n - 1. Let f be s(1). Suppose -3*g + 4*x + 7 + 4 = 0, -4*x - 21 = -5*g. Let l be (g/(-20))/(3/(-8)). Is l not equal to f?
True
Let n = 46 + -39. Which is smaller: n or 2?
2
Let j = 0.6 - 0.61. Let h = j + -3.99. Are h and 1 equal?
False
Let v = -2359/423 - -50/9. Is -0.2 at most as big as v?
True
Suppose 3*j = -2*q + 22, -4*q - j = -3*j - 60. Is 18 less than or equal to q?
False
Suppose -5*x + 0*x + 15 = 0. Let j = -2 + x. Suppose 0*k - 5 = -5*k. Is k smaller than j?
False
Let k be 3 - (2 - 0) - 2. Let q = 32/745 - 211804/5215. Let p = q - -40. Is k less than p?
True
Suppose 8 = -5*g - c - c, -g = 2*c. Let z = -0.12 + 0.02. Which is smaller: z or g?
g
Let f = 38 - 23. Let h be ((-12)/f)/(6/60). Which is smaller: -6 or h?
h
Let g be (-48)/(-40)*219/(-2). Let o = g + 131. Which is bigger: 2 or o?
2
Suppose -2*w = -7 + 11. Let q = 8.8 - 9. Is q bigger than w?
True
Let r = 1.8 + -1.62. Let n = r - -0.02. Is n bigger than -2/3?
True
Let k = -24 + -7. Let j be (-732)/51*(-1)/k. Let v = j + 18/31. Are v and 0 unequal?
True
Suppose 4*p + 3 = 2*w - 23, 2*w = -p + 6. Is 4 equal to w?
False
Suppose -5*s - 63 = -3. Let z be s/8*(-2 - -4). Let d be (4/(-2))/(z + -10). Which is smaller: d or -1?
-1
Let d = -35 + 39. Which is smaller: -5 or d?
-5
Let n = -21/25 - -613/700. Is n != 0?
True
Let f = -5 + 71. Let s = 5/4964 - -980375/14892. Let q = f - s. Which is smaller: q or 0?
0
Let u = -1.3 + 1. Let t be 16/72 - (-68)/18. Suppose 0*j - t*j = 0. Is j < u?
False
Suppose -5 = -2*t + v - 3, 4*t = -2*v - 12. Let g be (-4)/((-172)/3 + 18/(-27)). Is g at least t?
True
Let z = -0.44 + 0.34. Which is smaller: -16 or z?
-16
Suppose 10*m - 6*m = -2*b - 26, -3*b + 17 = -2*m. Suppose -1 = -5*j - 41. Is j > m?
False
Suppose -20 - 105 = -5*q. Is q at most as big as 25?
True
Let b = -122 + 130. Is -2 less than or equal to b?
True
Let p = -114 - -114. Which is bigger: 12 or p?
12
Let s = 1096 + -29600/27. Which is bigger: -1 or s?
s
Let x(t) = t**2 + 5*t - 2. Let l be x(-4). Let h = -5 - l. Is h bigger than -2?
True
Let a = -19/3 - -6. Suppose -3*w + 0*w = 3. Let r be w + 1 + 1/(-3). Is r smaller than a?
False
Suppose 0 = -5*o + 1 - 6. Let p(j) = j + 3. Let b be p(-3). Which is greater: b or o?
b
Let o = -24 + 31. Which is smaller: 5 or o?
5
Let c = -49 + 74. Suppose 3*p + c = -5*t, -2*t + 5 = -5*p - 16. Is t <= -2?
True
Suppose 3*q + 13 = 5*y - 6, -3*q - 9 = 0. Suppose y*a = 3*a + 1. Let b be (-1)/(-4) - a/(-2). Are b and 1 non-equal?
True
Suppose 3*u - 3 = 9. Suppose -13 = -3*y - u*d, -3*y - 5*d = -2*y - 19. Is 0 bigger than y?
True
Let a be -1 + (9 - 2) + 1. Let g be (1*-1)/(a + -8). Is g smaller than 2/3?
False
Let h = -1 - -4. Let v = 2 - h. Let d(m) = m. Let f be d(-1). Is v > f?
False
Let s = -3 + 3. Suppose 0*h = 5*h - 5. Let f be 0 - (h + 0/1). Which is smaller: f or s?
f
Let v be 3/2*12/18. Let u be 3/((v/(-1))/(-1)). Suppose 4*h + u = -1. Is -1 bigger than h?
False
Let q = -10 - -11. Let t be (-10)/(4/(q + -3)). Which is smaller: t or 3?
3
Let q be (2/4 - 1) + 0. Let y = -32.1 - -32.3. Is q bigger than y?
False
Let b = -10.784 + 175.764. Let j = 161 - b. Let n = -4 - j. Is 0 smaller than n?
False
Let r = 1/8 - 17/72. Let f = r + -13/45. Let g(c) = -c + 7. Let n be g(6). Is n < f?
False
Let n be -2 + (-9)/(-5) + -3. Let k = n - -8/15. Which is greater: -2 or k?
-2
Let m(d) = -d**3 - 2*d**2 + 7*d - 8. Let h be m(2). Is h <= -12?
False
Let m be (-26936)/(-65) + (-4)/10. Let i = m + -6621/16. Is i < 0?
False
Let v = -24 + 27. Suppose 4 = v*x - 8. Is x not equal to 6?
True
Let x = -349/15 + 23. Which is smaller: 1 or x?
x
Let l be 3*(2 + -7 - -4). Which is smaller: l or -2?
l
Let i be ((-2)/36)/((-1)/(-4)). Let p = 0.02 - -0.04. Let n = -1.94 - p. Does i = n?
False
Let d = 60 + -9. Let f be (-15)/d*1 - -1. Let x = f - 94/85. Which is bigger: x or 2?
2
Let j = 164 + -164. Which is smaller: j or 1/253?
j
Let h = 4 - 2. Suppose -4 = 2*u + h. Let q = 4 + u. Which is smaller: q or -1?
-1
Let d = 0 + -3. Let z be 1 + d + 2 - 0. Suppose 2*r + z + 6 = 0. Which is smaller: r or -2?
r
Let y = 8 - 5. Let u be (-24)/(-18)*(y + 0). Suppose -3*d - j + 20 = u, -d + 3*j + 2 = 0. Are 4 and d nonequal?
True
Let r = 49 + -26. Is r greater than 22?
True
Let z(c) = -c + 3. Let n be z(0). Suppose 0*k + 2*g = 3*k + 2, 5*k = -n*g - 35. Is k < -4?
False
Let j = -7 - -11. Let y be (-2)/4*-1*10. Which is smaller: y or j?
j
Suppose 0 = -2*b + 7*b + 5. Let d be (-1 - (b - -2)) + 3. Let q = 3 - d. Which is smaller: 3 or q?
q
Suppose 3*x = -2*i - 1, 4*i = -x - 12 - 15. Are i and -8 non-equal?
False
Let m be ((-4)/(-28))/(3*4/(-576)). Which is greater: -8 or m?
m
Suppose 2*p + 2*p = 3*v - 12, -2*v - 4*p = 12. Suppose v = -3*k + 6*k - 3*z + 9, 5*k - z - 5 = 0. Which is smaller: 0 or k?
0
Let m = -104199/5 + 20914. Let v = 74 - m. Which is smaller: -1 or v?
-1
Let b(u) = 2*u**2 + 16*u + 13. Let m be b(-6). Is m > -2?
False
Suppose -1 = -3*f + 8. Let x(o) = o**3 + 14*o**2 - 3. Let j be x(-14). Let h be (-1)/f*(j + 2). Is 0 > h?
False
Let s be -1 + (2/100)/((-3)/(-132)). Is 1 smaller than s?
False
Suppose -8*o = p - 6*o - 1, 3*p + 5*o = 3. Let d be ((-106)/(-147))/(8/(-6)). Let t = -2/49 - d. Which is smaller: p or t?
t
Let k = 3.5 + -3. Let d = -0.8 + k. Which is greater: -2/7 or d?
-2/7
Suppose 9 = -q + 5. Let p = 0 + -5. Which is smaller: q or p?
p
Let p = 24 - 25. Which is greater: -9 or p?
p
Suppose -5*d - 14 - 1 = 0. Let j be 4/d*9/(-6). Suppose 4*u + 14 = -j*k, 3*k = 5*u - 0 + 23. Which is smaller: u or -2?
u
Let r(t) = t**3 + 9*t**2 + 7*t - 11. Let i be r(-8). Let o be (9/i)/(-3) - -2. Suppose 3*b + 21 = -4*k - 3, -o*b = -4*k. Which is greater: -4 or k?
k
Let f = 365 - 5477/15. Is f at least as big as 1?
False
Let q be 18/4 - (-1)/2. Suppose -j - 15 = q*y, -2*j + 6 = -0*j + y. Which is bigger: 6 or j?
6
Let a be (-15)/3 + -1 + 3. Let j(s) = -s**2 - 4*s. Let n be j(a). Suppose -p = -n*p. Which is smaller: p or 2/17?
p
Let p = 0 + 0.1. Let x = -6 - -6. Is p at most x?
False
Suppose 0 = -2*n - 0*n. Suppose n = 2*p + p - 6. Are 2 and p nonequal?
False
Suppose c = -b - 3*c + 2, 5*c = 0. Suppose -5*v - 26 = g, g + 4 = -g + b*v. Is g smaller than -5?
True
Let g(d) = d**3 - 2*d**2 - 2*d. Let z be g(3). Suppose -5*s + 3*r = -3, -z*r = -3*s - 0*r + 3. Let l be (-4)/(-6)*(-4)/(-8). Which is smaller: s or l?
s
Let c be (-6)/(-5)*40/(-12). Which is smaller: c or -6?
-6
Suppose 4*f - 72 = -0*f. Let k be (-4)/f - 11/(-9). Let x = -76 + 832/11. Is x < k?
True
Let l(u) = -u**3 + 5*u**2 - 4*u + 1. Let s = -5 + 9. Let b be l(s). Let t be (-4)/(-6) - 2/(-6). Do b and t have the same value?
True
Suppose -6*h = -3*h. Let r be 8/28 - 3/(3*7). Do h and r have different values?
True
Let m be 0*(1 + 1)/(-2). Let g be (-1 - -3)/((-2)/2 - 0). Is m at least as big as g?
True
Suppose 5*x = 5*i - 14 + 4, -8 = -2*i + 4*x. Which is smaller: 1/17 or i?
i
Let l = -2 - 23. Let z be (-2)/8 - l/4. Let k(h) = -h**2 + 5*h + 4. Let r be k(z). Which is bigger: -3 or r?
r
Suppose -10*n - 18 = 2. Let b be -1 + (-4)/18*-3. Is n at most b?
True
Let x = -371 + 390.3. Let h = x - 18. Which is greater: -1 or h?
h
Let b = 17 - 276. Let l be (-7)/b*(0 - 2). Is -1 equal to l?
False
Let a be 16/72 + 16/(-75). Which is smaller: a or 0?
0
Suppose 4*i = 2*w - 326, -6*i - 3*w = -3*i + 267. Which is bigger: -83 or i?
-83
Let a be (-2 + 2)/(1 - 3). Let v = -105 - -1157/11. Are v and a