 u(w) = -3*w**2 + 25*w - 2. Let p be u(9). Which is greater: p or -18?
-18
Suppose -10 = 4*a + a. Let r be ((-18)/15)/((-4)/(-2)). Which is smaller: r or a?
a
Let b be 18/30 + -1 + (-2)/(-5). Is b >= -16?
True
Let q = 231 + -413. Let n = q - -1272/7. Let d = 0.35 - 0.05. Is n > d?
False
Let q = -74 - -74. Let f = -0.7 - -1.3. Is q greater than or equal to f?
False
Suppose -5*y = a - 2, 5*a = y + 2 + 8. Suppose -a*r + 10 = -0*r. Suppose -f - 4*f = -r. Which is smaller: f or -2?
-2
Let l = 0.46 - 0.26. Let w = 1.1 + -0.1. Is l equal to w?
False
Let f = 0.26 - 0.06. Let a = 4.8 + f. Let m = a - 5. Is 3/2 > m?
True
Suppose -4*x = -2*y + 6 + 16, -4*y + 3*x = -54. Which is smaller: y or 14?
14
Let w = 762 + -521. Let s = -251.9 + w. Let y = s - -11. Which is bigger: -3 or y?
y
Let k = -3.5 - -5. Let b = -0.5 + k. Is b at least as big as 0?
True
Suppose 2*y = -3*w - 22, 32 = -0*w - 3*w - 4*y. Let k be 3*(-3)/(-9)*5. Suppose c = -k*o + 2, -2*c = -0*c - 3*o + 9. Which is smaller: c or w?
w
Let s be (-52)/(-48)*(3 + -5 + 0). Is s at least as big as -3?
True
Let j = -21 - -40. Let o = 16 - j. Is o less than or equal to 1?
True
Let c(f) = f**3 - f**2 - 2*f + 2. Let n be c(-3). Let l = n - -115/4. Which is smaller: 0 or l?
0
Let q = 2/225 + 404/5175. Suppose 16 = b - 4*y + 4, 4*b + y = -3. Is q smaller than b?
False
Let n be 4/(-10) - 9/15. Let k(s) = s**2 - 2*s - 1. Let w be k(n). Let v be 0/1 - -2 - w. Is v > -2/9?
True
Let p be -4*((-3)/3 - 132/(-136)). Is p >= 0?
True
Suppose 3*x = 7*x - 52. Suppose 0 = -22*d - 198 + 484. Is x greater than d?
False
Let f be (-3 - -3)/(2/(-2)). Suppose f = -2*r - r - 36. Let o be r/(-18) - 16/15. Is 1/3 smaller than o?
False
Let r = 0.6 + -0.3. Let k = 0.3 - r. Let w = 0.09 + 3.91. Is w at least as big as k?
True
Suppose -29 = -5*x - 9. Suppose 2*k + 3*s = 0, 3*s - x*s + 8 = -2*k. Let u = 16/21 - 3/7. Is u at least k?
True
Suppose 2*q + q = 4*y + 11, 3*q + 4*y = -5. Is q < 1/63?
False
Let a = -41 - -42. Which is greater: a or 6?
6
Let g = 10 + 0. Let a be 2 + (-3 - (-6)/g). Let u = 0.25 - 0.3. Is a equal to u?
False
Suppose 2*h - 4*j = -18, 4*j - 24 = -4. Let c(l) = l**3 - l**2 + l - 1. Let s be c(h). Let t = 98 - 1080/11. Which is bigger: t or s?
s
Suppose -4*y = 4*v - 16, 4*y = 2*v + y + 12. Let g be 17/7 + 2*-1. Which is smaller: g or v?
v
Let s(q) = -q**2 - 4*q. Let u be s(-6). Let w = u + 9. Which is greater: w or -5/2?
-5/2
Let j be ((-3)/(-6))/((-20)/(-8)). Let a = -1.1 - -0.9. Which is greater: j or a?
j
Suppose 1 = -h + 3. Suppose -4*v + 11 + h = 5*q, 3*v = q - 14. Which is greater: 4 or q?
q
Let b = 461/21 - 22. Let f = -3/14 - b. Let t = -20 + 20. Is f <= t?
True
Let h(s) = 6 + 1 - 4 - 9*s + s**2 + 5. Let x be h(7). Which is bigger: -5 or x?
-5
Suppose 5*c = x + 10, 7*c = 3*c - 5*x + 8. Let u = 0 + 2. Is u less than c?
False
Let y be (-217)/252 - (-2)/(-8). Suppose -5*l - 9 = -h, 0*h - 2*l - 7 = 3*h. Do y and h have the same value?
False
Let y(f) = 3*f + 27. Let j be y(-9). Is j != -2/33?
True
Let q = 11 - 6. Suppose 3*d + 15 = 2*u, -4*u - q*d = -0*d + 25. Let l be (4 + u)/((-2)/3). Is -6 >= l?
True
Let s = 134 - 93. Suppose -5*p - 2*g = s, p = -3*g - 1 - 2. Let d = 751 + -759. Is d less than or equal to p?
False
Suppose 6 = -0*v - 2*v. Let x = -11 + 20. Suppose 5*i + 29 - x = 0. Which is greater: v or i?
v
Let c(b) = b**2 - 3*b - 5. Let l be c(5). Suppose 20 = 4*k, 40 = 4*n + k + 15. Are l and n nonequal?
False
Let j = 1 - 0.2. Let o = j - -0.2. Let c = -10 - -11. Is o at most as big as c?
True
Let k(y) = -y + 1. Let s(d) = -3*d + 4. Let f(o) = -11*k(o) + 4*s(o). Let v be f(10). Which is smaller: v or -6?
-6
Let a(g) = g**2 + 12*g - 14. Let o be a(-14). Which is bigger: o or 10?
o
Let s be ((-6)/7)/((-2)/14). Suppose -3*f + s = -5*g + 16, -f - 2 = -3*g. Which is smaller: 6/13 or g?
g
Let x = -5 - 1. Let n(v) = -v**3 - 6*v**2 - 2*v. Let z be n(x). Let h be (z/(-9))/(20/(-6)). Which is smaller: 1 or h?
h
Let v be 1 - 2/(2/2). Let h be (-5)/((-10)/4) - -4. Suppose -l + 1 = 3*f, -2*l - 14 = 4*f - h*f. Which is smaller: v or f?
v
Let l = 390/7 + -56. Is l smaller than -2?
False
Suppose -99 = -3*i + 39. Let v = i - 183/4. Suppose 0*g = 3*g - 3. Is g < v?
False
Let c be (0 - -3) + -3 + 2. Let n be -2 - c/(-1) - 4. Which is smaller: n or -3?
n
Let l = 172769/2497 - 761/11. Which is smaller: l or 1?
l
Let c be ((-4)/(-8))/((-3)/(-12)). Suppose 0 = 7*i - c*i + 20. Let j be (-3)/(-5) - i/10. Is j greater than or equal to 1?
True
Let z(r) = -r**2 - 6*r + 5. Let g be z(-5). Let x be g + 2*(-3)/6. Suppose -2*v + x = 1. Which is smaller: v or -2/5?
-2/5
Suppose 2*i = -2*i + 4. Let k = -0.02 - -2.02. Are i and k equal?
False
Let y be ((-2)/(-3))/(20/192). Is y < 6?
False
Let q(h) = -h**2 + 4*h + 7. Let v be q(6). Which is smaller: -7 or v?
-7
Let n = -29 + 19. Is -6 not equal to n?
True
Let b(k) = -k**3 - 5*k**2 + 6*k - 4. Let t be b(-6). Which is greater: t or 0.2?
0.2
Let u = 3.1 + -1.8. Let s = u - 0.9. Is s != 0?
True
Let r(t) = -t**3 + 7*t**2 - 7*t + 11. Let b be r(6). Suppose -1 = -g - 2. Let m = 5 - g. Are m and b unequal?
True
Let o = 2 + -4/3. Suppose 10 = 4*l - 2*v, -5*l - 5*v + 3*v - 1 = 0. Which is bigger: o or l?
l
Let m(i) = i**2 - 5. Let z be m(0). Let x = 4 + z. Are x and 1/4 equal?
False
Let x = -278 + 278. Let b be 20/7*-1 + 2. Which is bigger: x or b?
x
Suppose -g + 60 = -131. Let m be g/(-258) + (1 - 0). Let r = m + -4/43. Is -1 > r?
False
Let y = -4 + 19. Suppose -2 = 3*o - 5*j - 8, 0 = o + 4*j + y. Is 1/2 != o?
True
Let a = -17 - -33. Suppose -5*s = -5*q + 18 + 2, 2*q + a = -4*s. Which is greater: q or -1?
q
Let d = 1/832 + 1647/14144. Let a = -3.9 - -4. Is a != d?
True
Let a be 324/(-495) - (-4)/(-30). Let c = a + -6/11. Which is greater: c or -1?
-1
Suppose -5*w + 9 + 1 = 0. Suppose 0*j - 2*j = w. Which is smaller: -3/4 or j?
j
Let i = 9988/1071 + -158/17. Let z = 73/315 - i. Suppose -r - 9 = -5*f, -2*r + 14 = 2*r + 5*f. Which is greater: z or r?
r
Let v(b) = -2*b**2 + 1. Let a be v(-1). Which is smaller: a or -2?
-2
Suppose 2*l + w = -3*w - 16, 4*l - 4*w - 28 = 0. Suppose -l*b - 2*b + 4 = 0. Which is greater: -2/5 or b?
b
Suppose -6 = -5*k - 5*m + 4, 0 = -5*k + 4*m - 26. Is 31 < k?
False
Suppose 2*g - 2 = 6. Let m = 1 + g. Which is greater: m or 4?
m
Let j = 11146/13 - 858. Which is smaller: 0 or j?
j
Let n(h) = -2*h**2 + 3*h - 2. Let c be n(2). Let j(q) = 5*q + 65. Let y be j(-14). Which is greater: c or y?
c
Let s = 9 - 0. Let a = -15 + s. Let o = a - -6. Which is greater: o or 2/7?
2/7
Let h = 269 + -260. Suppose -f - 3 = -p + f, 3*p - 42 = -5*f. Do h and p have different values?
False
Let g(z) = -z**3 + 3*z**2 - 4*z + 3. Let r be g(2). Let f be r - 0 - (-12)/2. Are 6 and f equal?
False
Let i = 103 - 514/5. Is 0 greater than i?
False
Let s = -37 - -39. Which is bigger: s or 14?
14
Let h be (-4 - 0)/(2/20). Let f be 12/(-70) + (-24)/h. Is 0 >= f?
False
Let s = 3 + -7/2. Let j = -9 - -9. Suppose p = 4*z - 2, -8 = -4*p - j*p. Is z != s?
True
Suppose 0*n - 2 = n. Which is greater: -6 or n?
n
Let z = 3 + -10. Suppose -3*i + 55 = -5*d, 5*d - 3*i + i = -50. Which is smaller: d or z?
d
Suppose -m + 8 = 4. Let w be (-96)/(-56) - m/(-14). Is w at least as big as 1?
True
Let g = -0.7 + -0.3. Let j = 2/629 - 5046/4403. Which is smaller: g or j?
j
Let b = 154/3 + -51. Is 57 != b?
True
Let d(h) = h**2 - 6*h - 11. Let n be d(8). Suppose 2*s - 12 = -s. Let o be (-1)/s - (-21)/4. Is o greater than or equal to n?
True
Suppose -h = -2*d, 1 - 5 = 2*d. Let c = 0 + -2. Which is bigger: c or h?
c
Let f = -5 - 3. Let n be (-3)/(-6)*4 - f. Let k be 1/n - 1/2. Is -2 < k?
True
Let s be -3 + 2 + 1 - 1. Which is smaller: -7 or s?
-7
Let p = 43/20 + -12/5. Let c = p + 17/36. Is c not equal to 0?
True
Let n(k) = k**3 - 4*k**2 - 5*k + 4. Let f be n(5). Suppose 0 = 6*p - 2*p + 44. Let o be p/(-6) + 10/15. Which is smaller: f or o?
o
Let g = -8 + 13. Let c = g + -5. Which is greater: c or 1/7?
1/7
Let b be (-23)/4 + (-3)/12. Let u be ((-3)/(-2))/(b/(-8)). Suppose -u*i = 3*k + 6, k + 3 - 1 = 0. Is 3/7 > i?
True
Let z = 0.02 - -1.98. Which is smaller: 0 or z?
0
Let k be -2*(-1)/2 + -41. Let d = k - -71. Let l = d - 61/2. Is l at least as big as -1/2?
True
Suppose -2*i - 2 = 4*r, -4*i + 1 = -2*r + 5. Which is smaller: i or -1/3