 = 2*r**2 + 2*r - 1. Let x be p(-2). Suppose -2*i + 17 = 11. Is x equal to i?
True
Let q be (-5)/(-2)*2/(-20). Let y be -81 + 2 - (-24)/6. Let j be ((y/(-40))/(-5))/(-3). Is q at least as big as j?
False
Let z(n) = -n**3 + 6*n**2 + 7*n - 1. Suppose -24 = 2*l - 6*l + 3*i, -5*l + 35 = -5*i. Suppose -14 = r - l*r. Let w be z(r). Are 0 and w equal?
False
Suppose -b - 6 = 2*b. Let h be 60/(-27) - b/9. Let k be -4*(1/2 + 0). Is k > h?
False
Suppose -2*j + r + 23 = 0, 5*r = j - 0*r - 16. Let d = 5 - j. Let c be (-15)/d + (-3)/6. Which is bigger: c or 3/5?
c
Suppose d = -d, 0 = -3*l + 4*d + 6. Suppose -f - f = -l. Is f at least as big as -1/4?
True
Let z = -10 + 10. Let l = -0.97 - 0.03. Let t = -1.3 - l. Is t not equal to z?
True
Suppose k - 4*v = 46, 4*v + v = 5*k - 170. Let n be 2/(16/k) + -2. Which is bigger: n or 2?
2
Let w(h) = h**3 + 6*h**2 + 5*h + 7. Let l(d) = -d**2 - 1. Let f(j) = l(j) - w(j). Let k be f(-7). Let s be (-4)/18 - (-33)/k. Does 3/2 = s?
False
Let r = 17/30 - 2/5. Let c(j) = -7*j**2 - 11*j + 5. Let n(q) = 8*q**2 + 12*q - 5. Let b(s) = -7*c(s) - 6*n(s). Let a be b(-6). Which is smaller: r or a?
r
Suppose 0 = -4*l - 5*n - 21, -2*l - 2*l + 3*n + 19 = 0. Suppose -11 = -4*h - 3. Which is smaller: l or h?
l
Let h(q) = -2*q**3 - 2*q - 1. Let r be h(-1). Let l be -2*(20/(-8) + r). Is -2 != l?
True
Let x(b) = -b**2 + 11*b - 17. Let a be x(9). Let t be ((-124)/6)/((-3)/2). Let w = t - 14. Are w and a nonequal?
True
Let k(s) = s**2 + 6*s - 1. Let q be k(-6). Let z be ((-9)/(-12)*q)/3. Is z smaller than 4?
True
Let p = 13 - 34. Let x be ((-12)/p)/(20/14). Which is greater: x or -5?
x
Let u(i) be the first derivative of -i**2 + 2*i + 9. Let r(l) = -l + 1. Let j be r(-1). Let k be u(j). Which is smaller: k or 0?
k
Let c = -16 - -41. Suppose -7 = -4*q - z - 2, -c = -4*q - 5*z. Let t = 1 - 2. Is t >= q?
False
Let z(f) = 4 - 8*f**2 + f**2 + 5*f + 1 + f**3. Let j be z(6). Is j less than -6/19?
True
Let f be 15*((-18)/(-5) + -4). Suppose -4*l - 9 - 11 = 0. Are f and l unequal?
True
Let a = 141/17 + -1755/187. Which is smaller: a or -1?
a
Let k(i) = i. Let t(h) = h - 8. Let p be t(8). Let n be k(p). Are n and -2/5 nonequal?
True
Let j be (640/(-106))/(-2) - 3. Which is smaller: j or -2/3?
-2/3
Let v = 160 + -166.7. Let z = 7 + v. Let t = 0.9 - z. Which is smaller: 1/2 or t?
1/2
Let x = -9 + 13. Suppose -v = 2*k - 1, -3*k + 12 = -x*k - 3*v. Suppose -k = j - 1. Is j >= 0?
False
Let d = 9 - 9. Is 0 greater than d?
False
Let i be -5*(-3)/4 - 4. Which is greater: 2/7 or i?
2/7
Let p = -1.54 + 0.14. Let t = -3.4 - p. Which is greater: t or -0.3?
-0.3
Let s = -1 - 3. Let n be (-8 + -4)*s/6. Suppose x + x = -n. Is -6 greater than x?
False
Let v = 20.991 - -0.009. Let x = v + -20. Is x at least as big as -0.21?
True
Let w = 2 + -6. Which is smaller: w or -3?
w
Let g = -1537/2 + 2333/3. Which is greater: g or 9?
g
Let a be ((-3)/(-2))/((-12)/(-56)). Let z(f) = -f + 7. Let l be z(a). Let r be 2/2 + (-5)/7. Is l <= r?
True
Suppose 4 = 2*r - 0. Let l be r/(-21)*3/1. Which is greater: 1 or l?
1
Suppose -c + 20 = -2*c. Let j be (6/15)/(4/c). Let p = 0.29 + 0.01. Which is greater: j or p?
p
Let q(a) be the third derivative of a**5/60 + a**4/24 - a**3/3 + 2*a**2. Let z = -5 - -3. Let x be q(z). Is 0 != x?
False
Let i = -9 + 15. Suppose k - i*k - 3*o = 7, -3 = 2*k + o. Do k and -2 have different values?
False
Let f = 14 + -8. Suppose -17 - f = -5*d - p, 3*d = p + 9. Which is bigger: 6 or d?
6
Let v = 3 - 2.6. Let h = -0.57 + 0.17. Let d = h + v. Which is smaller: d or 0.1?
d
Let k = 327 + -326. Suppose 2*n + 5*q - 12 - 14 = 0, -q + 1 = -n. Let d = n - 2. Do k and d have different values?
False
Let s(l) = -l**3 + 11*l**2 + l - 10. Let v be (3/(-6))/(2/(-20)). Suppose m + 44 = v*m. Let g be s(m). Which is smaller: 4 or g?
g
Let k(x) = -5*x + 32. Let i be k(0). Which is smaller: 31 or i?
31
Let s = 14.98 + -15. Which is smaller: s or -2?
-2
Let l = 1 + 11. Suppose -4*i = -l, -3*s + 9 = -4*s + 2*i. Let v be 2/(-9)*s/3. Which is smaller: v or 0.1?
0.1
Suppose 0 = -w - 2*a + 14, -41 + 9 = -4*w - 2*a. Is 4 >= w?
False
Let c = -3.7 + 3.5. Which is greater: -2 or c?
c
Let m = 0 - -1. Suppose 3*f + m = 2*f. Which is greater: -3/5 or f?
-3/5
Let j be 3/(-10) + (-3)/(-15). Which is smaller: j or 1?
j
Let g = 8 - -4. Is 10 not equal to g?
True
Suppose -w + 2*w + 24 = 0. Let k be w/(-108) - 43/(-9). Is 6 at most as big as k?
False
Suppose 0*c - 3*c - 2*f = -19, -5*f = 4*c - 30. Which is smaller: c or 3?
3
Let s = 4.01 + -4.1. Which is bigger: -1 or s?
s
Let w(y) = y + 9. Let b be w(-8). Is b greater than 6/13?
True
Let n(c) be the second derivative of -c**3/6 + 5*c**2/2 + c. Let q = -18 + 22. Let v be n(q). Which is bigger: 2 or v?
2
Let t = 4 + -1. Let a = -1.2 + 0.2. Is a smaller than t?
True
Let i(y) = y + 3. Let p be i(-4). Let z(k) = -k**3 - 9*k**2 + 12*k + 6. Let w be z(-10). Let v be (-2 - -5) + 50/w. Which is greater: v or p?
v
Let g = -18/13 - -51/65. Is -1 at least g?
False
Suppose 2*s - 2*j = 33 - 11, 0 = -s - j + 3. Let f be 6/8*(s + -5). Is f smaller than 2?
True
Let d be -2 + (3 + -1)/2. Which is smaller: d or -2/3?
d
Let x be -1 + ((-12)/11 - -1). Do x and -2 have the same value?
False
Suppose -2*h = 3*g + 7, 0*h = h + 5*g + 21. Let d(f) = f**2 - 4*f + 6. Let u be d(h). Suppose -p + u = -3*q + 2*p, 4*p - 8 = -2*q. Is 3/4 at most as big as q?
False
Suppose 0 = q + 4*l - 10 - 7, 0 = -5*q - 2*l + 31. Let a be 2 + q/(1 - 2). Let k(u) = u**3 + 3*u**2 - 10*u - 4. Let g be k(-5). Is a smaller than g?
False
Let z be (-1)/5 - (-335)/(-1200). Let v = z + -3/16. Is -1 equal to v?
False
Suppose -d + 2*i + 14 = 0, -5*d + 34 = -3*i - 15. Is 6 < d?
True
Let j = -16607/38 + 437. Is j >= 0?
False
Let z be (2 - (2 - 2)) + 5. Suppose 3*h + 11 = -z. Let f be 2/3 + 22/h. Is f greater than -2?
False
Let b = 3 + -2. Is 1/10 >= b?
False
Suppose 4*r - 3*f = -8, -r + 2 = -2*r + 3*f. Is r less than or equal to -1?
True
Let f = 63 + -60. Does 16/7 = f?
False
Let i be (-8)/(-1)*(-6)/4. Let x = -6 - i. Let h be 3/(-9) + 2/x. Which is greater: -1 or h?
h
Suppose 4*g - 3*g = -11. Let y = -6 - g. Suppose y*t + a - 4 = 15, -3*t + 4*a - 7 = 0. Which is smaller: t or 2?
2
Let v = -321586649/415 + 774908. Let p = 1/83 - v. Is p bigger than 1?
False
Let h be 2 - -4 - (-88)/(-14). Let r(v) = v**3 + 2*v**2 - 3*v + 1. Let q be r(-3). Is q equal to h?
False
Suppose 5*b = -j - 6 - 114, 0 = -4*b + 3*j - 77. Which is smaller: b or -24?
-24
Let p = 2 - 1. Suppose 5*f + 14 = -r, -p = -2*r - 2*f + 3. Suppose -j = -4*j + r. Is j greater than 5?
False
Suppose 7*z = 12*z - 25. Suppose -w + 1 = -4. Is z <= w?
True
Let i = 1.8 - 2. Let w = 1.2 + i. Let y = -1.03 - -0.03. Which is bigger: w or y?
w
Let n = -12383/43 + 288. Let z = 91/215 - n. Do z and -2 have different values?
True
Let n = 4 + 19. Let y = 24 - n. Are y and 0 unequal?
True
Suppose 0 = -3*q + 4*q. Suppose b - 3 = -2. Which is smaller: b or q?
q
Let l(g) = 4*g + 1. Let n be l(-1). Let a = -2 - n. Which is bigger: a or -1?
a
Let g = -7/36 + -1/18. Let m = 1 + -2. Let t be -2 - (m*2 - -1). Is t greater than or equal to g?
False
Let g(i) = -i**3 - i**2 - 2*i - 1. Let n be g(-1). Let q = 25/78 + -2/13. Which is bigger: n or q?
n
Let c be 2/8 - 10/24. Let m be (-4 + 7 + -8)*(-4)/(-30). Is m smaller than c?
True
Let o = 23 + -14. Let w be 3*((-16)/o - -2). Which is greater: 0 or w?
w
Let y(p) be the first derivative of p**4/4 - 4*p**3/3 - 3*p**2/2 - 7*p + 1. Let w be y(5). Which is smaller: w or -0.1?
-0.1
Let q(a) be the third derivative of -a**4/24 + a**3 - 3*a**2. Let p be q(6). Suppose 2*d - f + 7 = p, -d - 2*f = 3*f + 9. Which is smaller: d or -3?
d
Let p(i) = -i**3 + 15*i**2 + i - 6. Let z be p(15). Which is smaller: 8 or z?
8
Suppose -y = 4*h + 19, 3*h = -0*y - 2*y - 28. Which is smaller: y or -9?
y
Let h = 1/3 - 2/3. Which is greater: h or -2.7?
h
Suppose 5*q + 0*a = 2*a + 15, -2 = 3*q + a. Let x be (-1 - 0)*-4 - 2. Which is smaller: q or x?
q
Let s = 67 - 533/8. Let h(l) = l**2 + 2*l - 1. Let u be h(-2). Let c be -1*2 - (u - 1). Are s and c equal?
False
Suppose 3 = 5*c - 3*o - 0, -c + 4*o - 13 = 0. Suppose 2*y - 18 = c*z, 5*y + 4*z - 6*z - 23 = 0. Suppose -u + y*u = 4. Is u bigger than 1?
True
Let s = 27 + -27. Let l(a) = -a**3 + 1. Let p be l(-1