r: p or -17?
p
Suppose t = -2*u - t + 18, 0 = 4*u + 5*t - 41. Let f(r) = -r**2 + 2*r - 5. Let p be f(5). Let v = p + 23. Which is smaller: u or v?
v
Let f be 2 + 3/(-30)*-2. Are f and 1 equal?
False
Suppose -12*u + 9*u - 3 = 0. Are -0.8 and u non-equal?
True
Suppose 5*t + 3*x + 93 = 0, -5*t + x = -4 + 93. Let z = 73/4 + t. Which is greater: z or -2/5?
z
Suppose -2*m = z - 408, -m - 2*z + 614 = 2*m. Let b = -1418/7 + m. Is -1 greater than or equal to b?
False
Let l = 1.2 + 0.8. Let s = -3 - l. Let f = s + 2. Is 1/2 at most as big as f?
False
Let q = -33 - -37. Suppose -m = -2*m. Suppose q = 3*v - 4*c, 5*v + c + 1 + 0 = m. Which is bigger: v or -2?
v
Suppose -3*n = 2*n + 5. Let l(r) = r**2 + r. Let s be l(n). Let i = -2 - -3. Which is smaller: i or s?
s
Let b = 6 - 1. Let l(t) = -t**3 + 5*t**2 - 3*t + 2. Let o be l(b). Which is greater: -12 or o?
-12
Let u = 6 - 0. Let i = u + -6. Suppose i = 5*t - 0*t. Which is greater: 2 or t?
2
Let j(q) = q**2 - 3*q - 3. Let t be j(3). Let v be t + 5/(-2) - -3. Is v bigger than -2?
False
Suppose -c = 4*a + 23, 2*c - 5 = 5*a + 14. Let q be (a - (-3 - 0)) + 2. Are -4 and q nonequal?
True
Let f = 21 - 25. Is -36/11 >= f?
True
Let d = 5 + -3. Suppose 2*r = -d*r + 80. Suppose -5*g + r = z, -2*g + 0*g + 15 = -z. Which is smaller: z or -6?
-6
Let c(b) = -b**2 + 2*b + 36. Let p be c(-5). Let u be (-2)/5 + (-24)/(-10). Let q = 3 - u. Is q less than p?
False
Let o(n) = n. Let w be o(0). Let j be 0 - 1 - (0 + 3). Let z = 5 + j. Which is bigger: w or z?
z
Let q be 2*-4*(-3)/204. Suppose 10*w = 3*g + 5*w - 2, 4*g + 8 = -4*w. Let v(b) = b**3. Let c be v(g). Is c < q?
True
Let v(r) = -r**3 - 8*r**2 - 5*r + 8. Let y be v(-7). Let n be ((-2)/(-14))/((-3)/y). Is n at least as big as 4/3?
False
Let u(d) = -d**2 + 3*d - 1. Let l be u(4). Let m = -6 - l. Are m and -1 equal?
True
Let s(y) = y**3 + 8*y**2 + 3*y - 19. Let g be s(-7). Is 9 equal to g?
True
Suppose 2*b + 19 = w, 2*w - 2*b = -0*b + 32. Let g(c) = c**2 - 4*c - 1. Let i be g(6). Is i at least as big as w?
False
Let n = 732 + -21230/29. Which is bigger: n or 1?
1
Let h(m) = m**3 + 7*m**2 - m - 8. Let u be h(-7). Let s be (u/(-1) - 1)*-1. Suppose s = -z - 2 + 7. Is 6 bigger than z?
True
Let c = 7 + -5. Suppose -10 = -2*q - 4*r, 9 = c*q + r - 1. Suppose -m + g + g = -4, -g - 24 = q*m. Is m smaller than 0?
True
Suppose -5*m = -6*m. Let i be (-7)/35 - 4/5. Which is smaller: i or m?
i
Let c be 0/(-15) + (-2)/(-8). Let x = 8.1 - 0.1. Is c less than x?
True
Let k = -11.32 - -11. Let c = 0.02 + k. Let i = -0.4 - c. Which is smaller: 0 or i?
i
Let z(k) be the first derivative of k**4/4 + 5*k**3/3 - 3*k**2 + k + 7. Let h be z(-6). Does 2 = h?
False
Suppose -q - 3*n = -3*q - 21, 0 = -q - n + 2. Let o = 3 - 1. Suppose 0 = -0*t - 3*t - o*h + 1, -13 = 5*t - 4*h. Which is smaller: q or t?
q
Suppose 3*z - 54 = -144. Are -31 and z unequal?
True
Let l = 0 + 1. Suppose 0 + l = -n. Let d be (0 - 0)/(5 - 3). Is n bigger than d?
False
Let z = -56 + 35. Let d be 28/z*6/4. Is -2 > d?
False
Suppose 0 = -2*k - k - l, 4*l - 15 = 3*k. Let b be -1 - -2 - 2182/22. Let g = 98 + b. Which is bigger: g or k?
g
Let d(y) = y**3 - 7*y**2 + 4*y + 8. Let j be d(6). Let h be (-3)/(-9)*54/2. Suppose 4*u - 3*u = -2*g - 6, -h = 3*g + 4*u. Which is smaller: g or j?
j
Let l = 16.1 - 17. Is 2 bigger than l?
True
Let w be (-45)/231 - (6/(-21) - 0). Which is greater: w or 0?
w
Suppose 44 = -k + 5*k. Suppose -k - 1 = 4*m. Which is bigger: m or 0?
0
Suppose -2*q + 9*q = -7. Are -13/9 and q non-equal?
True
Suppose -2*i = 5*j - 11, 3*i - 2*j + 5 = 4*i. Suppose -i - 5 = 4*n. Let b = -1 - 1. Is n at most as big as b?
True
Let y = 7 - 6. Let s be (y/2)/((-5)/(-20)). Is s greater than 2/3?
True
Let o be 1 - 0*(-4)/20. Are 1/6 and o nonequal?
True
Let w = 5186/19 + -273. Let b(q) = -q**3 - 4*q**2 - q - 4. Let p be b(-4). Which is smaller: w or p?
w
Let f = -5 + 6. Let b be ((-74)/(-24) - 3)*2. Is b at least as big as f?
False
Let o = 20 + -16. Is o greater than 1?
True
Let j be ((-21)/(-35))/((-2)/(-50)). Let m = -9 + j. Let i be m/(-9) + 8/21. Which is bigger: i or 1?
1
Let v = -1.16 - -0.16. Which is smaller: v or -20?
-20
Let o(z) = -2 - 8*z**2 + 0*z + 7*z + 9*z**2. Let w be o(-7). Suppose 0 = a + a + 4. Are w and a equal?
True
Let j = 11152 - 77712/7. Let q = 50 - j. Are 1 and q nonequal?
True
Let p be ((-9)/42)/3*-2. Let t(j) be the second derivative of -j**4/12 + 5*j**3/6 - j**2/2 - j. Let k be t(5). Is p equal to k?
False
Suppose -4*r = -5*i + 6, 5*i + 21 = -2*r + 3. Is r greater than or equal to -5?
True
Let k be ((-8)/(-2))/((-4)/10). Do k and 0 have the same value?
False
Suppose 7*x - 2*x = 15. Suppose -j = x*j - 8. Let f be 0 - (4/(-2) + 0). Is j smaller than f?
False
Let r = -10 - -10. Is 2/29 < r?
False
Suppose -4*d - d = 0. Let o(l) = l + 2. Let c be o(d). Is -1 at least c?
False
Let y(m) = -m - 8. Let g be y(-5). Let h be (-2 - 24/(-9))*g. Is -2 < h?
False
Let m be 1*10/4 - 0. Let r = 233 - 229. Is m less than r?
True
Suppose -u = -4 + 1. Suppose -2*d = u*a - 6 + 4, 5*a = -5*d + 5. Is a > -2?
True
Let k = 168 - 1510/9. Let q(f) = -f**2 + f. Let y be q(3). Let p be 3/2*(-4)/y. Is k at most as big as p?
True
Let i(q) = 2*q**2 + 3*q - 2. Let p be i(-3). Let x be 2/7 - (-19)/p. Which is smaller: x or 2/3?
2/3
Suppose 3*a + 9 = 4*d, -a - 4*d + 4 = -3*d. Let f be 22/120 + 1/(-4). Do f and a have different values?
True
Let z = -4 + 4. Let q = 5 + -3. Let s = z - q. Which is smaller: s or 0.1?
s
Let i = 356/17 - 154843/7395. Let u = -1298/3045 - i. Let y(j) = -j**3 - 4*j**2 - j - 3. Let o be y(-4). Is o bigger than u?
True
Let h = 0.06 + 0.94. Are -1/19 and h nonequal?
True
Let d be 4/3*6/4. Let x(a) = -a**3 + 2*a**2 + 4*a + 1. Let p be x(3). Suppose 2*z - p = 6*z. Which is bigger: d or z?
d
Let r = -2 + 5. Let b be r*(-2 + 3)/(-3). Is -3 at least b?
False
Let d(s) = s**3 + 5*s**2 - s - 1. Let l be d(-5). Suppose 4*h - 13 = -g, -5*g + l*h = -11 - 6. Suppose 6*r + g = r. Is r >= 0?
False
Suppose 12*z + 52 = -104. Is -13 bigger than z?
False
Let h = -6.88 - -7. Let u = h - 6.12. Let r = u + 11. Is -1/2 greater than r?
False
Let z = 77/4 - 20. Which is bigger: 0.1 or z?
0.1
Let a(b) = 2*b**2 + 7*b - 5. Let h be a(-4). Let d be ((-1)/(-18))/((-7)/(-56)). Which is smaller: d or h?
h
Suppose -4*v - 4 = -2*v. Let c be v/1 + 4 - 0. Let b be ((8 - 2)/(-6))/(1*2). Is c at most as big as b?
False
Let z be (-3 - -2)*(-1)/(-1). Let a = 0 - -1. Let i be (-5 + 4)*(a + -2). Is i smaller than z?
False
Suppose v + 2 = 3*v. Let k be v/(-3) + (-8)/12. Let q(u) = u + 4. Let f be q(-5). Is k < f?
False
Let a = -87 - -183/2. Is 4 equal to a?
False
Let v = 0.19 + -0.69. Is v less than -9?
False
Suppose 9 = 5*m + 3*o, -4*m - 5*o + 2*o + 9 = 0. Let w = -9902 - -683194/69. Let q = 2/69 - w. Is q greater than m?
True
Let c be -1*(1 + 3 + -1). Suppose -3*n - 7 = 3*s + s, 0 = 3*s + 3. Let a be 4 - 10 - (n + 0). Is a at most c?
True
Let w = -0.004 + 0.104. Let a be -1 - 9*4/6. Which is smaller: a or w?
a
Let a(s) = -s**2 + 4*s + 4. Let v be a(5). Let g(r) = 7*r. Let l be g(v). Is l equal to -8?
False
Suppose 0 = 205*o - 210*o - 5. Suppose -4*l + 0*l = 8. Are o and l equal?
False
Let u be (2*-5)/((-8)/4). Suppose -q = 3, 4 = u*f - 5*q - 11. Let y = -1 - -1. Is y <= f?
True
Let o = 2 - 5. Let t = -2.9 - o. Let a be 12/4*5/(45/(-12)). Which is smaller: t or a?
a
Let y(g) = -g**3 + 6*g**2 - 2*g + 8. Let t be y(6). Which is greater: t or -5?
t
Let v = -0.13 - -0.03. Are v and -3/19 unequal?
True
Suppose 5*u - 7*u = -22. Is 10 greater than u?
False
Suppose -5 = -h + m, -2*h + 3*h = 4*m + 14. Let f(a) = a**3 - 3*a**2 - 5*a + 6. Let t be f(4). Is t >= h?
True
Let o(k) = 2*k - 1. Suppose -h = -5*n + n + 3, 0 = -2*n - 3*h + 19. Let p be o(n). Suppose -2*q - p*q = 10. Which is smaller: q or 2/3?
q
Suppose -3*x + 40 = 2*x. Which is smaller: 9 or x?
x
Let o(a) = 12 + 5*a - 12. Let k be o(-1). Is -6 >= k?
False
Let o(m) be the first derivative of 3*m**2 - 1. Let p be o(-4). Let c be (-3)/4*p/(-45). Which is smaller: c or -1?
-1
Let a = 0.11 - 0.01. Let u(j) = -j + 4. Let x be u(2). Let q be 5/(-7)*x/5. Is q at least as big as a?
False
Let q = 1 + -1. Let f = q + 0. Let v = -1.062 + 0.062. Is v greater than f?
False
Let p = -66 - -59.6. Let f = -6 - p. Let w = 