+ (y/5)/1. Is p equal to 0?
False
Suppose 5*o + 4*c = 53, 2*o - 2 = 3*c + 10. Suppose -3*j + 10 + 1 = -2*w, -3*w + 2*j = o. Which is smaller: -2/31 or w?
w
Let a = -9 + 9. Is -5 not equal to a?
True
Let y = -0.05 - 0.95. Let o = 25.2 + -23. Let a = o - -0.8. Are a and y equal?
False
Let q = -6 - -12. Let g = q + -5.6. Which is bigger: -0.1 or g?
g
Let u = 27 + -9. Let x = -15 + u. Is 3 <= x?
True
Let z be 0/1 - (2 + -2). Suppose 3*x = -6, -4*x + 2 = 5*l + 5. Let q = z - l. Is -2 less than or equal to q?
True
Let h(t) = -t**3 - 11*t**2 + 4. Let p be h(-11). Suppose -2*d - 7 - 3 = -p*v, -5*v = 2*d + 1. Is 7/4 bigger than v?
True
Let i = 0.04 - -1.96. Let t = i - -1. Let a = -3 + t. Which is greater: a or 1?
1
Suppose c + 9 = 31. Which is smaller: c or 20?
20
Let i be 1/2 + (-14)/(-4). Is i > 5?
False
Let r be 2/(-3)*12/(-88). Suppose 4*b - 3*n = -4*n - 11, 3*n + 13 = -2*b. Let q be (b/4)/(5/(-10)). Is r smaller than q?
True
Let i = -0.055 - 17.945. Is i less than -1?
True
Let s = -1718/5 - -340. Is s greater than -4?
True
Let b be (-1)/(-5) - (-8)/(2200/45). Is -3 at least b?
False
Suppose c - 5*d = 2*c + 10, 0 = -3*c + 4*d + 8. Which is smaller: c or -4/17?
-4/17
Suppose -198 = -l + 144. Let p = l + -5128/15. Is p bigger than -1?
True
Let s be (-5 - (-75)/10)*(-2 - -6). Which is bigger: 17/2 or s?
s
Let r = 8 - 17. Let l be (-18)/24*(8 + 0). Let f be l/10*6/r. Which is greater: -1 or f?
f
Let o(w) = -w**2 - 4. Let m be o(0). Let c = -8 - m. Let r = 5 + c. Which is greater: r or 0?
r
Let g = 4 + -4. Suppose -3*d - 3 = -g*d. Is d greater than or equal to 2/13?
False
Let f(l) = -l**2 - l. Let a be (2/(-3))/((-3)/18). Let m = a + -6. Let y be f(m). Is y greater than or equal to -5/4?
False
Let f = -34 - -18. Is f < 0.1?
True
Let v = -47 - -48. Is 1/9 > v?
False
Let z be -1 - (18 - (2 + 1)). Which is smaller: 2/5 or z?
z
Let g be -2 + 5 + 44/(-16). Which is smaller: -2 or g?
-2
Let i = 6343/121671 + -2/1229. Let l = -6793/99 - i. Let v = 67 + l. Which is smaller: v or -2?
-2
Suppose 2 = 2*k - 0. Suppose -s + 2 = -0*s. Suppose 4*q + 2 = -s. Which is smaller: k or q?
q
Let j = 2 + -5. Let h(v) = -v**2 - 7*v - 2. Let p be (-26)/4 - (-2)/(-4). Let d be h(p). Which is smaller: j or d?
j
Let z = -64 - -65. Is z less than -1/4?
False
Let c = -3 + 4. Let m = -0.1 + -7.9. Let b = m + 8.1. Is c not equal to b?
True
Suppose 0 = -y - w + 1, 3*y + 4*w = 3 - 0. Which is bigger: y or -4/21?
y
Suppose -3*j + 7*j - 23 = -3*p, j + 18 = 4*p. Let h = 9 + -5. Which is smaller: p or h?
h
Let n(o) = -2*o**3 + o**2 + o + 2. Let k be n(2). Let r = 13 - 21. Is r > k?
False
Suppose 0 = 4*g - 0*g. Suppose -3*j = 2*j - 5, 2*p - 5*j - 11 = g. Which is greater: 9 or p?
9
Suppose 0*k - 8*k = -64. Let l(q) = -q + 4. Let n be l(-5). Are k and n nonequal?
True
Suppose -2*o + 5*r - 95 = 0, 28 = 2*o + 4*r + 78. Let u be (-2)/(-7) + 24/o. Which is bigger: 1 or u?
1
Let f(u) = 3*u**2 + 1. Let p be f(-1). Let d(b) = 6*b - 1. Let i be d(1). Suppose -p*q = -i*q. Which is smaller: q or -1/3?
-1/3
Let p = -11 + 15. Let i be p/35 - 2/5. Let f = 3 + -8. Is f greater than i?
False
Suppose 0 = 3*c - 5*c + 2. Let w be -1 + 1 + 0 + c. Let n be w/(-2) - (-2)/(-4). Is -1 not equal to n?
False
Suppose -4*z = 17 + 7. Let r be (-2)/(6/9)*(2 - 0). Is z smaller than r?
False
Let t = 0 + 0. Which is bigger: -7/6 or t?
t
Let o be -1*(0 + -2)*3. Let n be (-8)/o*(-9)/6. Suppose -3*k + n*p - 3 = 0, 3*k + k - 3*p + 5 = 0. Is 1/8 != k?
True
Let g be -1 + 5 + (-146)/38. Which is smaller: 0 or g?
0
Suppose 0 = 2*v - 2*b + 4, -5*v - 6*b = -2*b + 19. Let p = -16 + 22. Suppose -2*s + 8 = -4*u, -p = 3*u - 4*s + 2*s. Do v and u have the same value?
False
Let c = 3 - 2. Let h = 245 - 243. Which is greater: c or h?
h
Let x be 3*(-4)/12 - -2. Which is bigger: 0 or x?
x
Let d(h) = h**3 - 8*h**2 + 8*h + 20. Let b be d(6). Let u = 1 + -1. Let y = u + -4. Is y not equal to b?
False
Let o(q) = q + 9. Let p be o(-14). Which is bigger: p or -44/7?
p
Suppose 4*f = 6*f + 82. Is -43 at least f?
False
Suppose -4*d = 3*v + 2*v - 29, -5 = -v. Let h be (-1232)/(-152) + -8 + 140/114. Is d equal to h?
False
Let o be (4/(-3))/(14/21). Let t be (-15)/5*o/(-27). Is 2/15 greater than or equal to t?
True
Let n(v) = v**3 - 3*v**2 - v - 7. Let k be n(4). Which is smaller: k or 17/4?
17/4
Let d(q) = -q**2 - 6*q - 6. Let t be d(-4). Let k = t - 1. Let n = -8.2 + 8. Is k < n?
False
Let q be ((-1)/6)/((-2)/8). Let w = -15 + 15.1. Which is smaller: w or q?
w
Let k be (-594)/(-4) - 2/4. Let f be (-2)/4*k/(-6). Let m = f + -12. Which is bigger: m or 0.1?
m
Suppose 3*j + 5*z + 8 = 0, 4 = 3*j - 4*z + 6*z. Suppose -3*k = -j*k. Suppose -4*g + 3*g = -5*x, -g = -3*x. Is k bigger than g?
False
Suppose -10 = 3*g + 2*g. Is g > -4?
True
Suppose -3 - 1 = y. Let z be 0/5*(-2)/y. Which is bigger: z or 1?
1
Let j be 3/4*(-8)/(-6). Which is greater: 0 or j?
j
Let d be -4*(145/2)/5 + 0. Which is bigger: -57 or d?
-57
Let q = -1278635/27 - -1912822957/40392. Let j = 2/561 - q. Which is smaller: j or -1?
-1
Let o(h) = -3*h**3 + 4*h**2 - 5*h - 5. Let r(x) = -3*x**3 + 5*x**2 - 6*x - 6. Let f(m) = -6*o(m) + 5*r(m). Let w be f(1). Are w and 4 unequal?
False
Let y(x) = 3*x - 25. Let u be y(10). Which is smaller: 32/7 or u?
32/7
Let s(w) = 17*w + 3. Let l be s(4). Let u = -637/9 + l. Let d be (0 + 1)*(5 + (-84)/18). Which is greater: d or u?
d
Let o = -26/5 - -99/20. Let s(x) = 2*x**2 - 2*x - 1. Let g be s(-1). Suppose -n - g*n = 0. Which is bigger: n or o?
n
Let t(u) be the second derivative of u**5/20 + u**4/4 + u**3/6 - u**2 + u. Let v be t(-2). Let h be (0 - 1/(-2)) + (-10)/60. Does v = h?
False
Let z = 1 - 11. Let l(y) = -y**2 - 10*y + 6. Let k be l(z). Is k <= 3?
False
Let d be (-12106)/60 - (-4)/24. Let b = d - -201. Is -1/3 greater than or equal to b?
True
Let b = 13 - 13. Let y = 0.01 - 0.21. Is y >= b?
False
Let h(w) = w**2 + 5*w - 7. Let z be h(-6). Let a be (-36)/(-21)*(-1)/2. Let u = -37/35 - a. Is u less than z?
False
Suppose 4 = t, 0 = 3*l + 3*t - 4*t + 19. Let u = l - -12. Which is smaller: u or 8?
u
Let y = -0.39 - -19.39. Let t = -18.8 + y. Is t greater than or equal to -2/11?
True
Suppose 3 + 7 = -5*s. Suppose -36 = -0*x + 3*x. Let k be x/(-15)*(-4)/8. Do s and k have the same value?
False
Let q(i) = -i**2 - 16*i - 37. Let z be q(-13). Is z greater than -9?
True
Let v be ((-9)/36)/((-77)/8). Which is smaller: -1 or v?
-1
Let w be -2*(-1)/2*2. Suppose -w*y - 2*k - 7 = -5*k, 2*k = -5*y + 11. Is -2/9 less than y?
True
Let g = -0.7 - -0.9. Which is smaller: g or 2/7?
g
Let j = 5 - 24. Is j equal to -20?
False
Let p be 15/(-6)*(-5)/10. Let q be (9/(-120))/((-3)/(-42)). Let v = q + p. Which is smaller: v or 1?
v
Let h be 1/(-1)*(-1 + 0). Let p = -102 + 407/4. Are h and p equal?
False
Let q = 177 - 178. Which is bigger: q or 33/10?
33/10
Let v be (-2)/(-14) + 493/(-5117). Do -1 and v have different values?
True
Let d be (-2)/(-8) - (-2)/(-8). Are d and -2/11 equal?
False
Let i = -3 + 3.9. Let c = 0.1 - -0.9. Let z = i - c. Is 0 at most z?
False
Let a(l) = 2*l**2 - 3*l**2 + 3 - 6*l + 0*l. Let p be a(-6). Suppose 0*b + b = 0. Is p at most b?
False
Let i be -2 + 6 - 1*2. Let z = i + 1. Let w = 2 - -1. Is w >= z?
True
Suppose -2*p + 383 = 3. Suppose 406 = -4*f + 5*u, 0*f = 2*f + 4*u + p. Let i be 3/4 + f/84. Is i < -1?
False
Let p be (-4)/1*(-1)/2. Let i(l) be the second derivative of -l**5/20 + l**4/12 + l**3/2 - l**2/2 + 2*l. Let r be i(p). Which is smaller: r or 3?
r
Suppose -5*a + 4 = -2*m, a + 3*m = -m + 14. Suppose -19 = -2*x + 5*b + 1, -5*x - 5*b + 15 = 0. Let h = a - x. Is h at least as big as -3?
True
Let t be (-3)/(((-14)/(-16))/7) + -1. Which is smaller: t or -27?
-27
Let u = -7 - -11. Suppose 6*b + 78 = 9*b. Suppose 2*t - 2*v - 3*v + 30 = 0, -2*t - b = -u*v. Which is smaller: 1 or t?
t
Suppose 0 = -4*w + 3*z + 10, 3*w = -z - 3*z - 5. Which is greater: -1/13 or w?
w
Let k be 1 - 2 - (-2 + 1). Let r = 95 + -94.7. Are r and k equal?
False
Let z = -41.21 - -39.1. Let r = -0.11 - z. Which is greater: 0 or r?
r
Let i be 18/(-5) - (-3)/5. Let b be 4/(-12) - 2/i. Do b and -2/5 have different values?
True
Let p = -4 + 6. Suppose 0*i - 2 = -p*i. Which is smaller: i or 6?
i
Let b = -0.03 - -13.03. Is b equal to -2?
False
Suppose 9*f + 9 = 4*f - 2*i, -24 = 3*f -