*3 - 27*q**2 - 27*q - 83. Let x be f(-26). Are -57 and x equal?
True
Let o = 6 + -5. Let x be (-2)/(-4)*o*0. Let u be ((-4)/(-6))/((-10)/6). Is u equal to x?
False
Let z = -48 + 35. Which is smaller: z or 5?
z
Let q = 26/7 + -45/14. Which is smaller: q or 0?
0
Let f be ((-3)/4)/(234/48). Is f at most as big as -1/3?
False
Let q = 0 - -2. Suppose 4*p + 4*l = 0, l = -q*p + 5*l - 30. Let c(m) = m**2 + 3*m - 6. Let o be c(p). Is o at most 4?
True
Let u = -1.85 - -0.79. Let t = u - -0.16. Let f = t + -0.1. Which is smaller: f or -0.2?
f
Let t = -6 + 5.7. Which is bigger: t or -1.1?
t
Let y be (1 - 4/3)/(16/(-96)). Which is smaller: y or -7?
-7
Let r = -7.9 - 22.1. Which is smaller: r or -0.1?
r
Let x = -6610/9 - -736. Is 1 < x?
True
Let h = -13.2 - -13. Let a = 1/2 - -1/6. Which is greater: a or h?
a
Suppose 12 + 13 = -5*b. Which is smaller: 1 or b?
b
Let c = -2 + 2.2. Let q = -0.05 + -3.95. Let d = -4.1 - q. Which is smaller: d or c?
d
Let m(x) = 4*x - 3. Let l be m(2). Suppose -3*u + 6 = -3*a, -4*u + 7 = -l*a - 2. Is 4/5 greater than or equal to u?
False
Suppose 5*q + 15 = 5*g, -3*g - 3*q = 3 - 0. Let w be ((-65)/(-39))/(g/3). Which is smaller: 7 or w?
w
Suppose -4*q - 195 = q. Is -39 > q?
False
Suppose -2*u + 5*o + 32 = -33, u = 3*o + 34. Suppose 2*p = 5*y + 29, -u = -y + 6*y. Suppose -2*m = 5 - 1, 4*d + 3*m = 6. Which is greater: p or d?
d
Let f be 0*2/(-2 - 0). Let p(n) = -n + 3. Let j be p(f). Is 3 less than or equal to j?
True
Let p = 29 - 24. Which is bigger: p or 11/3?
p
Let b(g) = -g**2 - 6*g. Let w = -10 + 5. Let y be b(w). Which is smaller: 6 or y?
y
Suppose -5*p = 3*p - 8. Is p >= 1/45?
True
Let q = 8 + -4. Suppose -q*l = l + 30. Let v = -7 - l. Which is smaller: v or -2?
-2
Let a be ((-2)/(-3))/((-22)/66). Let o = -3 + 2. Is a less than o?
True
Suppose g + 16 = 21. Is g greater than or equal to 6?
False
Suppose 2*a = 4*k - a - 27, k + 3*a + 12 = 0. Suppose 5*i + k = -2. Is i at least 3/8?
False
Let u = -19 + 11. Let y = 23 + -14. Let x = u + y. Is -3 < x?
True
Let s = -0.4 - -3.4. Let f be 0 + (-1 - (-2)/2). Which is smaller: s or f?
f
Let a = -2818 + 25316/9. Which is smaller: a or -5?
a
Let d = 77 + -61. Is d at most 18?
True
Suppose -3*p + 3*y = 6, -7*y = -4*y - 12. Is p at most as big as -1?
False
Let p = 148/77 + -18/11. Which is bigger: p or 1?
1
Let h be 42/(-136) + 2/8. Which is bigger: h or 0?
0
Let b(q) = q**3 + 18*q**2 - 39*q + 20. Let k be b(-20). Which is smaller: 8 or k?
k
Let z(t) = 5*t**2. Let y be z(-1). Let i(l) = -l**3 + 6*l**2 - 6*l + 2. Let q be i(y). Suppose -a - 14 = -3*a - 4*h, h = -5*a - 1. Is a at least q?
True
Let d be (-2)/(-3) - (1 + -1). Suppose z = 2*z. Suppose 2*v + 0*v = z. Which is smaller: v or d?
v
Let u = 591/6467 + -5/223. Which is greater: u or 1?
1
Let u(c) = c**3 + 4*c**2 + 3*c - 2. Suppose -3 = -5*t + 5*i + 2, 3*i - 25 = -4*t. Suppose t*a = -a - 15. Let f be u(a). Which is greater: f or 3?
3
Let l(w) = w**3 + 7*w**2 + w + 3. Let x be l(-7). Is -4 >= x?
True
Let v = -9 - -13. Let j = -2 - -3. Suppose c - p - 3 = 0, 2*c + 2*p - j = 9. Is v less than c?
False
Let i = -1 - -1. Let f be (-4)/6*18/(-12). Is f equal to i?
False
Let g(z) = -2*z - 3*z - 17 + 2*z. Let f be g(-7). Which is smaller: f or 2?
2
Let v be -1 + 0 - (0 + -1). Suppose 2*u - 17 = a - 6, 0 = -2*u + 4. Let b = 6 + a. Which is smaller: v or b?
b
Let a = 4 - -1. Let b = a - 4.7. Which is greater: -2 or b?
b
Let n be 10908/(-6)*(-2)/4. Let j = 37271/41 - n. Which is bigger: -1 or j?
j
Suppose -5*k = h + h - 35, 2*k - 35 = -5*h. Let d = 2 - -2. Suppose -3*q = -3*b - d*q - 2, k*b + q = 0. Which is bigger: 4/7 or b?
b
Let f = -0.3 + 0.1. Suppose -2*c = -5*c + 27. Let r = c + -9. Which is smaller: f or r?
f
Let d = -15 - -15. Suppose 0*m - 5*a + 14 = 3*m, 0 = m - 3*a. Let b = 2 - m. Which is bigger: d or b?
d
Let q = -29 + 32. Suppose 0 = 3*l - 0*l + 2*b + 56, q*b = -l - 7. Is l bigger than -22?
False
Suppose -u - 2*f + 3 - 5 = 0, 3*u = 3*f - 33. Let r be (-4)/10 + u/(-10). Which is smaller: 0 or r?
0
Let g = 14.77 + -15.17. Let b = -1 + 7. Let c = b - 8. Which is smaller: g or c?
c
Let k = 1/50 - -19/50. Let r = 0.093 + 10.907. Which is smaller: k or r?
k
Let s = 0 - 0.5. Which is greater: -1 or s?
s
Suppose 0 = 5*g + 3*n + 50, 0*g - 46 = 3*g + 5*n. Let m be 2/g - (-18)/14. Which is smaller: m or 1/7?
1/7
Let j(v) = v**2 + 8*v + 6. Suppose 3*d = -17 - 1. Let f be j(d). Is f at least as big as -6?
True
Let z(v) = -v**3 + 4*v**2 + 5*v + 11. Let s be z(5). Is 10 greater than s?
False
Let t = -1.7 - -1.69. Are t and 2 non-equal?
True
Let i be 2*(0 - -2 - 5). Let j = -142 + 137. Is j at least i?
True
Let a(q) = 6*q + 7. Let l be a(-5). Let z = -61 + l. Let t be (-2)/(-7) - (-3)/z. Is 0.1 greater than or equal to t?
False
Suppose -2*o - 115 = -7*o. Let j = o - 11. Which is smaller: j or 13?
j
Let p(i) = i**2 - 5*i + 6. Let h be p(4). Suppose 1 = r - h. Suppose r*b = 7*b + 8. Is -4/3 smaller than b?
False
Let m be ((-7)/(-18))/(3/6). Are 1 and m non-equal?
True
Suppose 18 = -n + 4*o, n + o = -0*o + 2. Let u = 43 + -44. Let t be n + u*(-1 + 0). Is t > -3/8?
False
Let z be ((-4)/15)/(1/5). Let v = 6 - 6. Which is greater: v or z?
v
Let u = -2 - -4. Suppose -t = -u*t - 3. Which is bigger: -5 or t?
t
Let v(x) = x + 5. Let o be v(6). Which is greater: 12 or o?
12
Let t = -7 + 3. Let j = 3 + t. Suppose 3*l + 8 = -2*x, 3*l + 2*l + 11 = -x. Are x and j equal?
True
Suppose f - 5 = t + 1, -5*t = -2*f + 21. Let i be ((-1)/t)/(2/6). Does 1 = i?
True
Let u = 4 + -2. Let j be 2/(36/30)*(0 - -2). Is u < j?
True
Let v(u) = -u**3 + 9*u**2 - 9*u + 7. Let k be v(8). Let z(g) = -2*g + 3. Let l be z(3). Which is smaller: l or k?
l
Let a = -1636 - -31091/19. Which is greater: 0 or a?
a
Let k = -0.9 - -0.5. Let x = k + 2.4. Do x and 2 have different values?
False
Suppose -1 = 2*f - 37. Is f greater than -2/9?
True
Let i = 0.8 - 7.8. Let a = i - -6. Which is bigger: 0.09 or a?
0.09
Let k be (2 + -2)*(-2)/(-4). Let i(w) be the second derivative of -w**3/6 + 2*w**2 - 3*w. Let b be i(4). Is b less than k?
False
Let p = -21.1 - -5.9. Let h = 15 + p. Is h > 0.3?
False
Let k(n) = -n**2 + 2. Let x be k(1). Is x smaller than 1/18?
False
Let d(u) = -u - 4. Let j be d(-5). Let c be 0 - -1*(2 + 0). Suppose -c*s + s = -j. Is s smaller than 1?
False
Let s be (-3 - -2) + (-3)/1. Let v = 8 + -11. Let u be (3/(-2))/v*-10. Is u equal to s?
False
Let s = 7 - 7. Suppose k + 4 = t, -t + 7 - 3 = 2*k. Suppose 3*u - 11 = -l, l + t*u + 3 = 18. Which is bigger: s or l?
s
Let s be (-6)/(-3)*(-25)/60. Which is bigger: 0 or s?
0
Suppose 0*u = -3*u. Which is smaller: -1/7 or u?
-1/7
Let c be (2/(-10))/(2/(-8)). Let z(k) = -k**3 - 2*k**2 + 1. Let a be z(-2). Which is smaller: a or c?
c
Let d be ((-3)/18)/((-2)/9). Let t(u) = u + 2. Let l be t(-1). Is l at most as big as d?
False
Let a be (3/18)/(8/(-12)). Let m = -215 - -1723/8. Which is greater: a or m?
m
Suppose f = 5*y + 13, 2*y + 4*f = f - 12. Let q be 1 + -2 - 3/(-3). Suppose -v + 2 = 3*t, 5*v + q*v = 2*t + 10. Which is bigger: y or t?
t
Suppose -8 = -0*s + s. Is s equal to -8?
True
Let o = 7 - 4. Let h = 3 - 2. Suppose o*u - 4*u = -h. Is -0.2 at least u?
False
Suppose 3*v + v - 20 = 0. Suppose g + g = 6, v*g - 20 = 5*u. Let b be (1/6)/(2/(-3)). Which is smaller: b or u?
u
Let j be 1 - (-1 - -2)*3. Suppose 0*y = -y + 4*d + 532, 505 = y + 5*d. Let q be j/5 - (-128)/y. Is q less than -2/5?
False
Suppose 4*t - w - 5 = 18, 0 = 4*t + 5*w - 53. Suppose -t*a - 4 = -9*a. Which is smaller: a or 3/2?
3/2
Let o(n) = -n**3 + 4*n**2 + 6*n + 4. Let s be o(5). Suppose -d + 0 = -3*y - s, 0 = d + 5*y + 15. Let z = -448/975 + -2/975. Do d and z have different values?
True
Let i(w) = w**3 + 12*w**2 + 11*w + 10. Let g be i(-11). Is g less than 11?
True
Let u be 0 - (7/1)/1. Let l = u - -11. Which is smaller: l or -2?
-2
Suppose -4*o = 10 + 2. Let f be o - (-2 - (-6)/(-5)). Is 0 less than f?
True
Let r = 17 - 30. Let z = r - -10. Let v = -0.2 - -0.4. Are z and v unequal?
True
Suppose 20 = 2*q - 24. Which is greater: q or -1?
q
Let c = 6 - 11. Let d = c - -5.1. Which is smaller: 0.02 or d?
0.02
Let n = 7 - 31. Is -24 equal to n?
True
Let n(f) = f**3 - 8*f**2 - 2*f + 16. Let j be n(8). Do 6 and j have different values?
True
Let u = -1.4 - -0.4. Is u >= -3/4?
F