(-21) - -2). Which is bigger: p or s?
s
Let f = 1943/5 - 391. Which is smaller: -1 or f?
f
Let r(k) = k**2 - 7*k + 2. Let s be r(7). Suppose z + 0*z = s. Suppose 4 = 4*n, z*t - n - 7 = -0*t. Which is greater: 3 or t?
t
Let g = 62470/57 - 1096. Let o = -23/114 - g. Is o equal to 0?
False
Suppose -3*n = -2*c + 4, 0 = c - 2*n - 8 + 4. Let b = 4 + c. Which is greater: b or -1/5?
b
Let j be ((-57)/(-63) - 1) + 30/70. Suppose -2*x = -3*x. Is j at least x?
True
Let u = -7 + 11. Suppose -i + o + u = 0, -2*o = -5*i - o + 32. Is i equal to 0.1?
False
Let s(p) = -6 + 1 + p**2 + 2*p**2 + 5*p - p**3. Suppose 2*q + 8 = 0, -4*y + 2*y - 8 = 4*q. Let h be s(y). Are h and 1 non-equal?
True
Suppose 4*c + 3*p + p - 12 = 0, -4*c + 14 = 5*p. Which is smaller: 4 or c?
c
Suppose -2*a + 10 = 3*a. Which is smaller: 3 or a?
a
Let s = -54 + 59. Let m = -6 + 6. Which is smaller: s or m?
m
Let h = 3.38 + -3.4. Suppose -5*u - 3*l + 31 + 4 = 0, 0 = 5*l - 25. Suppose 0 = -x - 3 + u. Is x at least h?
True
Let o(s) = -2*s**3 - 2*s**2 - 2. Let q be o(-2). Let i = -56 - -166/3. Which is greater: q or i?
q
Suppose -j - 24 = 5*n, 3*j - n + 12 = -j. Let o be 26/(-7) + 22/(-77). Is o smaller than j?
False
Let z = 4493/29 - 155. Let n = -35/87 - z. Which is smaller: 1 or n?
n
Suppose 3*a + 3*f + 6 = 0, 12 = 4*a - 9*a - 4*f. Is -4 >= a?
True
Suppose -4*d = -8*c + 13*c - 147, -3*c + 72 = -3*d. Does 27 = c?
True
Let v = 12.4 + -12. Let p = 891/4 - 2783/12. Let q = -59/6 - p. Which is smaller: v or q?
q
Let h(p) = -p. Let w be h(-4). Let r = w + -5. Is -1/4 at least r?
True
Suppose 0 = f - 5*z + 39, 5*z + 37 = -3*f - 0*z. Suppose 2*r - 3 = 7, 4*o = 4*r - 96. Is o > f?
False
Let y = -71 - -58. Which is smaller: -1 or y?
y
Let c be ((-4)/6)/((-2)/6). Which is smaller: 10/7 or c?
10/7
Let o(r) = 2*r - 12. Let i be o(7). Let t be -3 + -2*(-3 + i). Which is smaller: t or -1/3?
t
Suppose 1 = -r - 0. Let u be r/(((-9)/(-10))/9). Is -10 >= u?
True
Let a be ((-12)/15)/((-2)/5). Suppose 34 = 2*w + 2*m, -a*w - 3*m - 14 = -48. Suppose -t - 3*d + 7 = 0, 5*t - t = 3*d - w. Which is smaller: t or -1?
t
Suppose 6*l = 11*l + 5. Which is greater: -1/17 or l?
-1/17
Let n = 2/423 + 344/141. Which is smaller: n or 3?
n
Let i = -9 - -12. Suppose 4*a = -8, 6*n - 3*a - 18 = 3*n. Let c be (-4)/6 + n/3. Do i and c have different values?
True
Suppose 0 - 10 = -5*m. Suppose -h = -m*h. Which is smaller: h or 1?
h
Suppose 0 = -11*b - 3*b + 28. Are 7/4 and b unequal?
True
Let z = 0 - 0.2. Which is smaller: -1 or z?
-1
Let w = -1.9 - -23.9. Let s = 22 - w. Let y = -41 - -207/5. Which is smaller: y or s?
s
Let p = -8 - -4. Suppose 4*n = 7*n - 24. Let v = p + n. Are v and 4 nonequal?
False
Let f be 0 + (-1 - -1) - -6. Let t = f - 1. Let g be 0/3 - 2/t. Which is smaller: 0 or g?
g
Let n(k) = k**2 - 7*k. Let f be n(6). Which is bigger: f or -7?
f
Let d = 0.05 + -0.35. Let r = -0.4 - d. Which is smaller: r or -1?
-1
Let r(j) = -4*j + 8. Let x be r(10). Let u = -191/6 - x. Which is smaller: 0.2 or u?
u
Suppose -3*z = 2*z - 10. Suppose 0 = 4*s - 3*l - 6 + 2, z = 2*s + 5*l. Let m be (2/3)/(3 - s). Which is bigger: 5 or m?
5
Let v(x) = 2*x + 17. Let c be v(-7). Which is bigger: 4 or c?
4
Let y = 10 + -5. Suppose -o = -y*z - 15, -4*z + 0*o + 3*o - 23 = 0. Which is bigger: -1 or z?
-1
Suppose q + j - 37 = 0, 5*j + 19 = q - 0*q. Which is smaller: q or 35?
q
Let r(v) = 3*v**2 + 4*v + 3. Let p be r(-2). Is p greater than 7?
False
Suppose 0 = j - 4*c - 17, c - 12 = 4*j + 5*c. Suppose -6*n - 2*t + 70 = -2*n, 0 = n + 5*t - 31. Let q be n/42 - (-2)/(-3). Which is greater: q or j?
j
Suppose 0 = z + 4*z. Is z > -3?
True
Let l = 118 + -118.1. Is -32 smaller than l?
True
Let u(o) = -o**3 + 4*o**2 - 2. Let b be u(3). Let c = -5 + b. Let w(z) = z + 12. Let y be w(-9). Which is smaller: c or y?
c
Let z = 30 + -119/4. Suppose 3*s + 10 - 1 = 0. Let y = -4 - s. Is y at least as big as z?
False
Let s = 2.7 - 0.7. Let a = -1.8 + s. Do a and -1 have the same value?
False
Let u = 1/125 + 2121/500. Is -4 >= u?
False
Let w(k) = k - 10. Let y be w(11). Is y greater than -6/13?
True
Let o = 5 - 5. Suppose 0 = -3*q + 6*q - 6. Suppose 4*r = -3*w + 25 - 8, -3*w + q*r - 13 = o. Is w bigger than -2/15?
False
Let p(d) = -d**3 - 7*d**2 + d + 7. Let v be p(-7). Which is bigger: 3 or v?
3
Let a = -19 + 43. Let h be (-2)/5*(-15)/a. Let g = 4 + -5. Which is greater: g or h?
h
Suppose 0 = 3*v + v + 5*z - 16, z + 8 = 2*v. Suppose 10 = 3*c - c. Which is smaller: c or v?
v
Let a = 18 - 12. Let m = a - 5.9. Is m < 1/3?
True
Let n(j) = -j**3 - 2*j**2 + j - 3. Let z be n(-3). Let h(d) = -d - 7. Let f be h(0). Let l = 9 + f. Which is bigger: l or z?
z
Let x be 2/(209776/(-22588) + 0). Let j = x - -2/1873. Which is smaller: j or -1?
-1
Let d = -22 + 24. Let k = -2 - -5. Which is bigger: k or d?
k
Suppose -5*m = -4*c + 348, 2*m + 279 = -2*m + 3*c. Is -72 less than m?
False
Let c = -13 - -6. Let b = -7 - c. Is b at most 2?
True
Let q(o) = -8*o + 5. Let c be q(-9). Let g be (-2)/(-6) - c/(-3). Suppose -4*i + 3*i - 4*f = g, 4*f = 5*i + 10. Is -5 > i?
True
Let r = -0.08 + -2.92. Let k = -6.8 - -6.9. Which is greater: r or k?
k
Let y be 9/(-6) + 45/25. Which is greater: -1 or y?
y
Let o(s) = -s + 1. Let l(c) = c**2 - 2*c + 2. Let z(t) = 3*l(t) - 6*o(t). Let j be z(-1). Which is greater: 2 or j?
j
Let o = 8 + -11. Let x(c) = c**3 - 5*c**2 - 2*c + 6. Let f = 0 - -5. Let j be x(f). Is o equal to j?
False
Let k = 14 + -10. Suppose 5*n = 4*p - 33, 0*p - 24 = -2*p + k*n. Do p and 3 have different values?
True
Let p be (10/(-40) - 2/(-2)) + -1. Let a be -1*(0 - (3 - 2)). Which is greater: a or p?
a
Let t = 3 + -3.05. Let i = 0.35 - 0.4. Let n = t + i. Is -2/3 <= n?
True
Let m(n) = -n**2 + 3*n + 3. Let v be m(-1). Which is greater: -7 or v?
v
Let p(g) = g**3 + 2*g**2 - 3*g + 2. Suppose 0 = u + 4*u + 15. Let q be p(u). Suppose 5*w + 10 = 3*i, -2*i + 14 = 4. Is w > q?
False
Let l = 14 + -10. Is 5 not equal to l?
True
Let k = -16 - -16.9. Let x = k - -0.1. Let r = 2 + -2. Which is greater: r or x?
x
Suppose y + 24 = 13*y. Let p be 1/(1/(-1))*-1. Which is greater: p or y?
y
Suppose 0 = 5*v + 2*t + t + 26, -2*v + t - 6 = 0. Let p be (-2)/3 + (-7)/3. Which is greater: v or p?
p
Let f be (-140)/(-18) - 26/(-117). Is -4 equal to f?
False
Let n = -17/2 - -33/4. Is n bigger than 0?
False
Let s = 17 + -1783/105. Is s < 1?
True
Let j = -1010/7 + 144. Let u = -7 - -14. Let f = 23/3 - u. Which is smaller: j or f?
j
Let l = -2/77 - -393/308. Let x(s) = 2*s**2 + 5*s - 3. Let w be x(-4). Suppose w*v = 4*v. Which is smaller: l or v?
v
Suppose -177 + 175 = -2*r. Let a(i) = -i + 4. Let q be a(4). Are q and r equal?
False
Let q = 11 - -9. Suppose -5*x = 3*c + q, 2*x + 8 = c - 3*c. Let v = -19 + 39/2. Is v bigger than c?
True
Let u(f) = -2 - 5 + 3*f + 2 + 3. Let i be u(3). Suppose i*d - 2*d = 5. Is d < -1/7?
False
Let i(f) = f + 11. Let a be i(-10). Is a < 1/46?
False
Let t = 6 - 5.7. Let s be (-2)/(-4) + (-92)/8. Let z(j) = j + 12. Let p be z(s). Which is smaller: t or p?
t
Suppose 5*o - 5 = 2*c - 0, 5*o - c - 10 = 0. Let f(t) = -t. Let p be f(-2). Suppose -p - 10 = -3*m. Is o <= m?
True
Let r = -1.8 - -3. Let o = r - -3.8. Let y = 4 - o. Are -2/7 and y nonequal?
True
Let c be (0 - -1)*(-2)/6. Which is smaller: c or -0.12?
c
Suppose 4*w + 3 = -1. Let f be 11 + w*(-12)/(-4). Are -1 and f equal?
False
Let f be -2*1/(-4)*0. Let o = 5 - f. Suppose 2*w - 5*m + 6 = 0, o*m = 2*w - 6*w + 18. Is 3 bigger than w?
True
Let h(c) = -c**3 - 8*c**2 + 2*c + 18. Let n be h(-8). Which is smaller: n or -1?
-1
Let n = 96 - 96. Is 2 < n?
False
Let w = 23 + -22. Which is bigger: 0.31 or w?
w
Let b be (-31)/(-2) + 2/(-4). Let s be ((-12)/b)/(-4)*-3. Let j be 4/(-6) + 7/6. Is s > j?
False
Let b = -116 + 123. Which is greater: b or 35/6?
b
Let t(h) = h**3 - 21*h**2 - 17*h - 45. Let f be t(22). Is 65 > f?
False
Let p = 0.38 - 0.48. Which is greater: p or -24/5?
p
Suppose 54 = 2*k + f, -2*k + 8 + 34 = -2*f. Which is smaller: k or -0.1?
-0.1
Let h be 4/(-2) - (-5)/(35/(-7)). Let l be ((-2)/(-10))/(3/(-63)). Do l and h have different values?
True
Suppose 2*d + 8 = 2*v, -5*v - 4*d = 11 + 14. Let a = 44317/5 + -8895. Let q = a + 32. Which is bigger: q or v?
q
Let k = 3 - 4. Let x = -36 - -28.2. Let a = -8 - x. Are k and a equal?
False