qual to w?
False
Let r be 3/(-15*1) + (-32)/(-10). Is r >= 11/6?
True
Let k be -4 + ((-6)/(-9))/(14/75). Which is bigger: k or -0.13?
-0.13
Let i = 0.23 - 0.13. Which is greater: 0.01 or i?
i
Let w = -9 - -10. Is w != 20/17?
True
Let q(a) = -4*a**2 - 3*a + 6. Let p be q(6). Let i = 294 + p. Let o be (-8)/(-6)*9/i. Which is bigger: o or -1?
o
Suppose -3*q = 2*d - 40, -1 = q + 5*d + 3. Is q at least as big as -3?
True
Let p be (-207)/(-45) - 6/10. Are 4 and p non-equal?
False
Suppose -2*p - 2*p + 11 = -3*q, -q = -3. Suppose -4*x - 10 - 1 = 3*k, -k = p*x. Let z(w) = -w**3 - w**2 - w + 1. Let f be z(x). Which is greater: f or -3?
f
Let i be 18/(-24) - (-6)/(-8). Let g(k) = k + 4. Let w be g(-7). Is w bigger than i?
False
Suppose 8 = 6*n - 4*n. Are n and 2 equal?
False
Let d = -19 + 13. Let k be (0 + -4)/(4/d). Let x be 8/12 - 4/k. Which is bigger: 1 or x?
1
Let m = -14 - -32. Let z = m - 29/2. Is 3 > z?
False
Suppose 0*l - l = -6. Let k be 2/l + (-10)/(-15). Suppose -14 - k = c + 5*s, 3 = 2*c - s. Which is smaller: c or 1?
c
Let b = -155/3 + 51. Which is greater: -0.6 or b?
-0.6
Let h be (0 - (-2 + 1))/7. Let z(u) = -u**2 + 12*u - 1. Let q be z(12). Which is greater: h or q?
h
Let t(r) = -r + 6. Let p be t(5). Which is bigger: p or 4?
4
Let g = 16 - 12. Suppose 3*q - 20 = -2*q. Suppose 2*n - n = q. Is g greater than n?
False
Let g be (-2)/((-12)/2 + 4). Which is smaller: -10/9 or g?
-10/9
Let m = -26/5 - -24/5. Is m at most as big as -2?
False
Suppose -x - 4*x = 50. Let f be ((-1)/2)/((-5)/x). Does f = 1/4?
False
Let n = 4 + -8. Let b = n + 5. Let h be ((-1)/3)/(b/(-3)). Is 2/3 at most h?
True
Let b = 26 - 80/3. Let t = 12 + -13. Which is bigger: t or b?
b
Let r be (-1 - (1 + -2)) + 0. Suppose -i = 3*p + 7, 0 = -r*i - 4*i - 4*p - 12. Let a be (0/(-1) - -1)*i. Is -1 less than a?
False
Let s = -4/213 - 1865/2769. Which is smaller: s or -1?
-1
Suppose -10 = 2*u + 3*o - 27, 0 = 5*u + 4*o - 46. Which is bigger: u or 9?
u
Suppose 5*a + 4 = -6. Let x be (-88)/(-16) - (-3)/a. Suppose -4*i + 4*m = m - 16, -x*m - 14 = 2*i. Is i less than 0?
False
Let k(s) = 5*s - 5. Let x be k(2). Suppose -30 = 4*p + x*g, p = 2*p - 4*g + 18. Which is bigger: -9 or p?
-9
Let r = -2/299 + -1190/897. Which is smaller: r or 0?
r
Let t = -102 - -100. Let a(i) = -i**2 - 4*i - 1. Let d be a(-4). Let u be d/2*(0 - 0). Are t and u unequal?
True
Let q(m) = -m**3 - 6*m**2 - 6*m - 5. Let w be q(-5). Suppose 9 = -3*c + 3*x, -5*x + 9 = -4*c - w*x. Which is greater: c or -5?
-5
Let d = 0.3 + 2.45. Let y = d + -3.8. Let s = y + 0.05. Which is greater: 0 or s?
0
Let k(d) be the first derivative of d**3/3 + 3*d**2 + d + 1. Let l be k(-5). Suppose -h + 13 = -4*r, r + 2*r - 3*h = -3. Is r smaller than l?
False
Suppose 5*z - 2*z = 5*g - 16, g = 4*z - 7. Suppose -d = -5*u + z*d + 20, 10 = -2*d. Let n = -58/5 + 62/5. Are u and n unequal?
True
Let g(w) = -w**3 + 7*w**2 - 6*w + 2. Let d be g(6). Suppose j + 0 = 4. Suppose d*z - j = 4*z. Which is bigger: z or -1?
-1
Let o = -0.2 - -0.3. Suppose 3*k - 4*w = -173, -2*k - 112 = 5*w - 35. Let p = k - -151/3. Is p less than or equal to o?
True
Let k(g) = 6*g**3 - g**2 + 3. Let b(i) = 7*i**3 + 4. Let j(v) = -5*b(v) + 6*k(v). Let z be j(6). Let w = -20/7 - -79/35. Which is smaller: z or w?
z
Let k = 1253.38 + -777.17. Let y = k - 484. Let m = 0.21 - y. Which is bigger: m or -2/5?
m
Let j = -0.06 + 0.26. Is j != -0.15?
True
Suppose -2*c + 15 = 3*c. Let z be 4/(-5) + 4 + (-68)/90. Which is smaller: c or z?
z
Let n(o) = o**3 + 2*o**2 - 3*o + 2. Let w be n(-3). Are w and 1 nonequal?
True
Let n = -4 - -8. Let v = 4 - 6. Let x = -1 - v. Which is greater: x or n?
n
Suppose 0 = -2*k - r - 12, -10 = -3*k - 3*r - 31. Is k at least -4?
False
Let w be 9/(-12) + (-2)/8. Let f = w + 0. Is f greater than or equal to -4/7?
False
Let l be (-34)/16 + 1 - -1. Suppose 2*r = -4*u + r + 10, 0 = 5*u + 5*r - 5. Suppose u*i = -5*f + 12, 4*i - 5 = -f + 11. Is f < l?
False
Let o be 0 + -4 - (-5 - -2). Is -10/11 at most o?
False
Suppose 4*p = 8 - 20. Let c be 204/9 - (-2)/p. Suppose -4*r = -2 + c. Do -4 and r have the same value?
False
Let a = 257/12 + -62/3. Let g = -3.2 + 3. Is a < g?
False
Let k = -1 + 3. Let i(y) = -1 - y**2 + 3 - 2*y - 1 + 2*y**k. Let d be i(2). Is d less than or equal to -1/13?
False
Let k = 28 + -48. Let l be k/(-130) + 2/(-13). Which is smaller: 2/11 or l?
l
Let i(m) = -m**3 + 8*m**2 - 2*m + 11. Let k = -4 + 12. Let h be i(k). Which is smaller: -3 or h?
h
Let c = -688/7 + 98. Let b = -0.036 + -5.164. Let y = b + 5. Which is greater: c or y?
y
Suppose 5*p - 1 = -5*u + 4, 0 = u + 4*p - 7. Is -1/24 at most as big as u?
False
Let d(h) = -h**3 + 7*h**2 - 4*h - 11. Let n be d(6). Suppose -4*p = -0*p + 4. Are p and n nonequal?
True
Suppose 2*j + 0*j = 2*l - 10, 16 = -4*j + 3*l. Let h(y) = y**3 + 4*y**2 - 5*y - 2. Let b be h(-5). Which is smaller: j or b?
b
Suppose w = 3*w - 5*r - 48, 4*r = w - 30. Suppose 2 = 4*z + w. Is z less than -1?
True
Suppose 3*f + 4*s = -19, 3*f + 0*s = -s - 25. Let z be (-3)/f - (-37)/(-3). Let h be (-3)/z + 18/(-8). Which is greater: -3 or h?
h
Let t = 1.1 + -1.4. Which is smaller: t or 0.15?
t
Let v be (-9)/(-27)*38/4. Which is smaller: 2 or v?
2
Let m = 0.2 - 0.28. Let j = m - -0.28. Is j greater than or equal to 1?
False
Let c = -5.94 - -6. Let x = -0.16 + c. Let s = -5 + 4. Which is bigger: x or s?
x
Let o = -665701 - -8649821/13. Let q = 330 + o. Is 0 at most as big as q?
False
Suppose 0 = 5*z + 5 + 15. Let k = -2 - z. Suppose -k*v = 2*v - 8. Which is bigger: 3 or v?
3
Suppose 29*o = 71*o + 42. Let q = -196 + 6470/33. Is o bigger than q?
False
Suppose 0 = 3*y - 5*v + 16, -4*y - 18 = 4*v + 14. Is y less than or equal to -5?
True
Let s be (9/2)/((-2)/(-4)). Suppose 4*j - 1 + s = 4*d, 0 = 3*d - 2*j - 6. Let f = d - 1. Which is smaller: 2 or f?
f
Let t be (-12)/4 + (0 - -1). Let n = t - -3. Which is smaller: 2 or n?
n
Let u be (2/(-48))/(2/(-6)). Let z be (-1*2 - -1)*0. Suppose z = 5*b + 4*o + 4 + 7, o + 7 = 3*b. Is b greater than or equal to u?
True
Let n(p) = -2*p**3 + 4*p**3 + 4*p**2 - 1 - 3*p**2 - p. Let y be n(-1). Let q be y/(-5 - 1*-2). Is -3 equal to q?
False
Suppose 1 = -5*u + 26. Let b(w) = -2*w**2 - 13*w - 12. Let q be b(-6). Let j = -1 - q. Is j > u?
False
Let c = -1 - -1.5. Let y = 0.5 - c. Which is smaller: 0.4 or y?
y
Let f = 0.02 + -1.02. Let d = 0.7 - -0.3. Let r = f + d. Which is bigger: r or 1/3?
1/3
Let j = 11/60 + -14/15. Is 28 less than j?
False
Let x = -29 + 14. Let l = -16 - x. Is l less than 0?
True
Let q(p) = p**2 + 18*p + 19. Let u be q(-16). Which is smaller: u or -11?
u
Let w(m) = m**3 + m**2 + m - 7. Suppose -4*z = -9*z. Let u be w(z). Which is smaller: -8 or u?
-8
Let z be (-12)/15 - (0 - 456/20). Is 22 less than or equal to z?
True
Let x(g) = -g**3 - 10*g**2 - 10*g - 7. Let b be x(-9). Let z be 26/7 + 4/14. Let y be (z/(-10))/(1/(-5)). Is y smaller than b?
False
Let u(c) = 5*c**2 + 6*c - 7. Let g(j) = -7 + 12*j**2 + j - 6*j**2 + 5*j. Let q(x) = 4*g(x) - 5*u(x). Let i be q(-7). Which is smaller: i or -2/3?
-2/3
Suppose -2*j + 2*i = 7*i - 42, 0 = -i. Let c be (-6)/j + (-2 - -2). Is c at most 0?
True
Let n(m) = -2*m - 6. Let y be n(-8). Let r be (2/8)/((-3)/y). Suppose -t - 3*t = 0. Which is smaller: r or t?
r
Suppose 2*m - 197 - 27 = 0. Let a be m/(-24)*(-3)/(-2). Which is greater: -0.2 or a?
-0.2
Let g(j) = 6*j - 1 + 0*j**3 - 3*j - j**3. Let h be g(2). Let k be h/2 - (-11)/10. Which is smaller: 2/3 or k?
k
Suppose 4 + 5 = 3*j. Suppose -3*r - 2 + 5 = 2*m, -5*m + 3*r = j. Is 2/3 <= m?
False
Let r = -1 + 0. Let k(l) = -3*l - 1. Let a be k(r). Is a > 2?
False
Suppose 0 = 4*h - 5*r - 117, r = -0*h - 5*h + 168. Which is bigger: h or 34?
34
Suppose -3*x = 6, 3*y + 0*x - 1 = -x. Which is greater: y or 7?
7
Let f = 1929/7 - 275. Suppose 18 = -0*c + 3*c + 4*w, 3*w = 2*c + 5. Suppose -c*l + 2 = -2. Is l greater than or equal to f?
True
Let c = -95 - -122. Is c greater than 27?
False
Let b be ((-4)/(-8)*20)/(-2) + 2. Which is greater: b or 4?
4
Suppose -y = -3 + 4. Let b be (-3)/(-3 - 315/10). Which is smaller: b or y?
y
Suppose -4*q = -13 + 9. Let p be (0 - -1) + 120/(-124). Is p bigger than q?
False
Let o(x) be the first derivative of -x**4/24 + x**3/6 - x**2 - 1. Let y(v) be the second derivative of o(v). Let d 