) = -n**2 - 9*n - 6. Let q be f(-8). Suppose -5*b - 4*x = 533, 66 - 280 = 2*b + q*x. Let s be (-80)/b - 1/3. Which is smaller: s or 0?
0
Suppose -4*b = -2*b. Suppose 5*r = 5*o, 15*o - 1 = 3*r + 11*o. Which is greater: b or r?
r
Suppose 15 = a - 3*f, -4*a - 2*f = -f + 5. Let k be a*(3 - (-4)/(-2)). Which is smaller: -2/67 or k?
-2/67
Let p be (-1 - -1) + 4 + 1. Let h be (50/4)/p + -2. Let n(k) = -3*k**2 + 7*k - 5. Let t be n(2). Which is bigger: h or t?
h
Let p = -3 + 8. Suppose -p*d = -3*s + 4, -3 = -3*d - 4*s + 12. Which is bigger: d or -1/6?
d
Let j(r) be the first derivative of r**2/2 + 5*r - 6. Let l be j(-4). Is 0.4 less than l?
True
Suppose -f - 69 = 1. Is -70 >= f?
True
Let f(k) = -2*k**2 + 1. Let h be f(1). Is h bigger than -3/10?
False
Let f be ((-4)/(-6))/((-3)/(-18)). Suppose 30*h = 32*h. Suppose h = 4*k - 3*g + 3, -6*g + 9 = -2*k - 3*g. Which is greater: f or k?
f
Let l = -5.94 + 6. Let n = 0.36 - l. Which is greater: 2/9 or n?
n
Let s = 532/5 - 106. Let t(f) = -f**3 + 8*f**2 - 7*f. Let d be t(7). Does s = d?
False
Suppose 44 = -y + 9. Is -34 less than or equal to y?
False
Let j be (-5 + -1)*(-3)/(-9). Is j at least 6?
False
Suppose 5*v + 1 = -4. Let c be v/4 + (-267)/(-108). Which is bigger: c or 1?
c
Let n(h) = -h. Suppose -s - 2*s + 12 = 3*m, 0 = -3*m. Let v = s - 5. Let r be n(v). Is r at least as big as -1?
True
Suppose -4*n + 4 + 0 = 0. Suppose 0 = i - 2 + n. Which is bigger: 2 or i?
2
Suppose x + 2*x = 0. Let k be 0/(1/(x - -1)). Let z = -1 + 2. Do k and z have the same value?
False
Let y = -22 - -36. Is y bigger than 15?
False
Let i be 12/(-10)*(-40)/12. Suppose -24 + i = 5*f - 3*c, 4*f + 3*c - 11 = 0. Which is bigger: 2/23 or f?
2/23
Let k be 506/(-3) + (-3)/9. Let v = -1523/9 - k. Is 1 at most as big as v?
False
Suppose 2*j = -3*j - 15. Let f be j/(-75)*-102 - -4. Is f greater than or equal to 0?
False
Let d = 19.4 + -1.4. Let j = d - 17.65. Let n = 0.05 - j. Which is bigger: 0 or n?
0
Let z = 7 + -10. Is z less than -1?
True
Suppose -4*w + 2 = -2*u, -2 + 7 = 4*w - 3*u. Suppose -2*c + 3*c - 4*q - 27 = 0, 63 = 5*c + 4*q. Let m be (4/10)/(18/c). Are m and w unequal?
True
Suppose -5 = 9*i - 8*i. Let u(n) = n**2 + 8*n + 7. Let o be u(-6). Is o >= i?
True
Let x = 25/3 + -9. Which is bigger: 0 or x?
0
Suppose -5*r + 9*r - 12 = 0. Let g be r/6*(4 + -4). Is g smaller than 0?
False
Suppose -2*l = -7 + 19. Let c(o) = -3*o + 11. Let f be c(6). Does f = l?
False
Let c(h) = 2*h + 13. Let v be c(-12). Which is bigger: v or -13?
v
Let a = -12 - -6. Is -6 less than a?
False
Let r be (6/(-18))/((-64)/(-6) + 0). Which is smaller: r or -1?
-1
Suppose 0 = 5*y - 13 - 22. Which is bigger: y or 6?
y
Let w(j) = 8*j**2 + j. Let n be w(1). Let y be (-219)/n - (-4)/(-6). Let r be (0 + 1)*y/(-5). Is 4 equal to r?
False
Let r = 45/2 + -229/10. Is r >= -1/2?
True
Suppose -4*c + 2*m = -778, -2*c + m = -3*c + 187. Let o = -324 + c. Let p be 1/3 + 68/o. Do p and 0 have different values?
True
Suppose 5*a - 3 = 2*a - 3*k, -23 = -2*a + 5*k. Suppose 1 = a*w + 4*p + 17, w = -3*p - 14. Let h be 1/2 + (-4)/6. Is w less than h?
False
Let v be -1 + (2 - -2) - 2. Let z be (133/(-44) + 3)/1. Let n = z - 81/308. Which is smaller: v or n?
n
Let l = -1 + 1.3. Let d = l - 1.3. Let k = -30.9 - -31. Which is bigger: d or k?
k
Let s = 4 + -14. Let k be 26/s + 3 + -1. Which is greater: k or -1?
k
Let n = 92/3 - 31. Let o be (2/6)/((-3)/9). Is o at most as big as n?
True
Let i be (18/4)/3 + -2. Suppose -o = 4*o - 25. Suppose 0 = -2*f - 4*j + 7*j - 7, -o*j + 5 = 0. Is f equal to i?
False
Let z be (-2 + 3)/(-2 - -1). Let u(q) = -3*q**2 + 1. Let i be u(z). Let r be (1/i)/((-5)/(-20)). Are r and -3/4 unequal?
True
Let c = 289/36 + -33/4. Is 1 > c?
True
Let j = 15 - 11. Suppose -m + 6 = 3*u - 0*u, j*m - 24 = -4*u. Suppose -m*d + d = 0. Is 1 < d?
False
Let d(z) = -15*z + 1. Let b be d(-1). Suppose -3*q = -q + b. Let a be 6/q - (-1)/(-4). Which is smaller: 1/8 or a?
a
Let h = 1 + 6. Let a = -7 + h. Let g = -2 - -9. Is a smaller than g?
True
Let p = 481/3 - 1771/12. Which is smaller: p or 13?
p
Let a be (57936/7240 + -8)/(1/5). Are 0 and a unequal?
True
Let w = -4713298385776/185 - -25477210100. Let s = 78472 + w. Let j = s + 6/37. Which is smaller: j or 1?
j
Let v be -2 + (-48)/(-28) - (-79)/7. Which is smaller: v or 10?
10
Let y = -45 - -44.3. Do y and 1 have the same value?
False
Let t be 530/15 + (-4)/(-6). Let m be (-30)/t*(-2)/(-5). Which is greater: m or -1?
m
Let i = 31.1 - 31. Are i and 78 nonequal?
True
Let t be (-4 + 2)*10/(-35). Are t and 0 equal?
False
Suppose -5*i + 196 = -34. Is i <= 46?
True
Let k(z) = z**3 + 10*z**2 + 9*z - 6. Let c be k(-9). Which is smaller: c or -9?
-9
Let y be 0 + -1*(3 + -4). Let t = 13/12 + -41/60. Which is smaller: y or t?
t
Suppose -2*m - 2*z = 14, 0*z + 8 = -4*z. Let p = m + 4. Let c be (0 - 0)/(1 - -1). Which is greater: c or p?
c
Let u(y) = y**3 + 3*y**2 - 4*y - 3. Let v be u(-4). Let b be -3 - (2 + -6)/4. Which is smaller: v or b?
v
Let f(x) = x + 2. Let a(s) = -s**2 + 2*s - 1. Let g be a(1). Let n be f(g). Is n less than or equal to 4?
True
Suppose -5*p + 19 = -4*p - 4*w, 0 = -4*w - 8. Is p not equal to -2?
True
Suppose 5*g + 6 + 1 = -2*i, 3*i - 18 = 2*g. Which is smaller: 5 or i?
i
Let n = -57 - -52.7. Which is smaller: -1 or n?
n
Let u = 1.6 + -1.4. Is 0 at least as big as u?
False
Suppose -4*h + 3*j + 0 = 10, -2*j + 4 = 0. Let c be (-5)/((-2)/2*h). Is -11/2 > c?
False
Let r be (-47)/(-4) + (-8)/(-32). Is r >= 11?
True
Let t = -17/2 - -121/14. Let n(l) = -2*l**2 + 3*l - 1. Let q be n(0). Which is smaller: t or q?
q
Let n(s) = -s - 1. Let u(o) = -o**2 - 3*o - 2. Let q be u(-2). Suppose 9 = -3*b - q. Let a be n(b). Is a greater than 2?
False
Let o be ((-15)/(-6))/(1/4). Which is smaller: o or 0?
0
Suppose -2*c + 6 = -2*l + 2, -2*l - 16 = -5*c. Suppose 4*a - 5*n - 5 = 0, -5*a + l*n = -n - 16. Suppose v - 6 = -2*t, 3*v - 8 = -4*t - 0*v. Is t at most a?
True
Let f = -19 - -20. Are f and 2/3 equal?
False
Let n = 0.45 + -0.05. Let w = 0.3 + -0.5. Let o = w + n. Which is smaller: 0 or o?
0
Let f = 2.091 - 0.061. Let t = f - 0.03. Are -1 and t nonequal?
True
Let k(s) = -5*s**2 - 2*s + 3. Let o be k(1). Which is smaller: o or 5?
o
Suppose z + 87 = 2*w, w - 52 = -z - 4. Let y = w - 181/4. Is y not equal to 1?
True
Let y = -5 + -1. Let x = -15 + 7. Let f = y - x. Is f at most as big as 2?
True
Let t = 4/101 + -230/707. Is -1 less than t?
True
Let x be 8/20 + 0 + (-6)/(-10). Let s be (-8)/70 + 4/(-14). Is x greater than or equal to s?
True
Let f be ((-2)/96)/((-11)/33). Which is bigger: -0.2 or f?
f
Let a = 36 + -29. Which is bigger: a or 1?
a
Let s = 106 + -1061/10. Suppose -4*a = -5*a. Which is smaller: a or s?
s
Let g be ((-8)/(-42))/((-60)/(-70)). Let m = -2 - -2. Is m at least g?
False
Let t(j) = j + 13. Let r be t(-9). Suppose 0 = r*q + q - 5. Is q != 3?
True
Let m be (-1)/(18/4) + 0. Is m >= -1/4?
True
Let d(m) = m**3 - 4*m**2 + 3*m - 1. Let t be d(2). Let k(i) = 3*i + 2. Let w be k(-2). Does w = t?
False
Let m = -43 + 50. Which is smaller: m or 3/8?
3/8
Let w = -46 + 48. Let m = -3 - -7. Suppose -w*t + 6 = -4*b, 3*b + 2 = m*t - 0. Is t <= -1?
True
Let p be (11 - 10) + -2*1/3. Let b(h) = h - 2. Let a be b(2). Is p > a?
True
Suppose 31*i - 33*i = -46. Is i != 25?
True
Suppose s - 3 = k, -2*k = 5*s - 0 + 6. Suppose -5*g - 10 = -5*h, 0*h - 3*h - g - 10 = s. Which is greater: -8/3 or h?
h
Let t = 4 - 16. Let p be (-8)/t*15/2. Is p equal to 4?
False
Let i(b) = 4*b**2 + 2*b. Let r be i(-1). Suppose 3*x - 25 = -r*u, -2*x + u = -28 + 2. Is x <= 10?
False
Suppose 0*u + 3 = l + 2*u, 0 = 5*l + 3*u - 15. Are 8 and l nonequal?
True
Let v(l) = -l**3 + 0 + 2 - l + 4*l**3. Let s be v(3). Let b be (-12)/s*(-10)/4. Which is smaller: 0 or b?
0
Suppose 6*h - h = 25. Suppose 0 = h*s + 8 + 37. Is s bigger than -9?
False
Let r(a) = -a**2 + 10*a - 2. Let n be r(11). Is -13 less than or equal to n?
True
Let z = 3 - 2. Let y = -37/4 - -921/20. Let b = y - 37. Is b < z?
True
Suppose 2*z + 92 = -2*i, -2*i + 138 = -5*i + 5*z. Let m = -6451/140 - 6/35. Let a = i - m. Which is bigger: a or 0.1?
a
Suppose -2*z + 7 - 3 = 0. Suppose 0 = -3*s - 6, 3*s - s = d - 6. Is z smaller than d?
False
Let m be -2 + 5 + 260/(-86). Which is bigger: m or -1?
m
Let i = -10 - -10. Sup