Let w(y) = -y**3 - 6*y**2 + 7*y - 5. Let n be w(-7). Which is smaller: 3.2 or n?
n
Let b = -2 - 5. Let m(k) = -k**2 - 7*k + 9. Let v be m(b). Is v at most 9?
True
Let j be 1 + (2 - (-14)/(-2)). Let f be ((-9)/21)/((-4)/(-63))*12. Let r = -85 - f. Is j != r?
False
Let z(c) = c**3 - 3*c**2 - 13*c - 7. Let l be z(6). Which is smaller: 24 or l?
l
Let o be 20/(-6)*42/64. Let q be (765/(-238))/(48/14). Let h = o - q. Which is bigger: h or -2?
h
Let q = -38 + 79. Let i = q + -40. Which is bigger: i or -4/15?
i
Let v be (-3 - -4) + 11/(-13). Suppose -5*c - 52 = 58. Let j be (4/(-6))/(c/33). Which is smaller: j or v?
v
Let q = -122 - -123. Let x(u) = u**3 + 2*u**2 + u - 2. Let v be x(-2). Let w = v + 4. Is q at least as big as w?
True
Let o(x) = x - 1. Let i be o(-5). Let h be i/4*(-80)/15. Let u be (-6)/h - (-2 - -2). Is u at least as big as -2/5?
False
Let g = 0.4 + -0.8. Let l = -0.3 - g. Let t(y) = y - 3. Let f be t(0). Which is bigger: f or l?
l
Let q be (12 + 3 + -4)/(-1). Let t = 41/4 + q. Which is greater: -2 or t?
t
Let c(z) = z**3 - 49*z**2 + 50*z + 165. Let h be c(48). Do 1/3 and h have the same value?
False
Let z be (-1457)/(-465) + (-2)/15. Is z less than -0.006?
False
Suppose -564*q + 553*q = 2959. Is q > -269?
False
Let w = 2.5 + -0.5. Let b = -1 - w. Let m = -2.6434 + 0.6434. Which is smaller: b or m?
b
Suppose -5*q - 5*p + 4 = -9*q, 0 = -3*q + 2*p - 3. Does 3/97 = q?
False
Let s be (-5)/(-70)*6 - (-778)/(-2044). Is -1 <= s?
True
Let c = -58 - -90. Suppose 2*g = -5*l - c, 2*l - 2*g + 4 = -5*g. Let b = l + 5. Is -10/3 equal to b?
False
Let v be 5 + ((-12)/10)/((-50)/125). Is 8 != v?
False
Suppose -2*o - 2*o = 4. Let w be (-403)/(-6) - (6 + -4)/(-2). Let v = w - 68. Is o <= v?
True
Let z = 6 + -10. Let u(q) = -2*q + 3. Let b be u(z). Suppose -2*r - 2*r + 55 = -h, -r + b = -3*h. Is r > 14?
False
Suppose 347 + 780 = -7*v. Let f = v + 173. Do f and 15 have the same value?
False
Let r be (-18)/12*8/15. Suppose -3*n + n - 22 = 0. Let d = n - -9. Which is smaller: r or d?
d
Let r be 964/(-16) - (-2)/8. Let i be (-2)/5 + r/(-275). Which is smaller: -1 or i?
-1
Let o be 476/(-16) - (-1)/(-4). Let q be 6/45 + ((-86)/o - 3). Let w be (-1)/(-2)*4/(-3). Is w bigger than q?
False
Suppose 3 = 51*v - 48*v. Which is smaller: -0.07 or v?
-0.07
Let u be (-2)/(-5) + 28/5. Let t = -555/2 - -289. Let o = t + -7. Are o and u equal?
False
Suppose 18 = 12*w - 3*w. Suppose 0 = -w*y - 3*y + 25. Which is bigger: y or 1?
y
Let z = -596 + 438. Do 2/7 and z have the same value?
False
Let d(z) = 8*z + 23. Let g be d(-3). Which is bigger: -4/157 or g?
-4/157
Let a(b) be the second derivative of -b**4/6 + 14*b**3/3 + 13*b. Let v be a(14). Which is greater: v or 1/49?
1/49
Let f = -0.0336 - -1.2336. Which is smaller: 0.03 or f?
0.03
Suppose 2*z - 76 + 88 = 0. Are z and -6 equal?
True
Let a be (-53)/(-2) - 6/(-12). Let y = a + -28. Which is smaller: y or -2/25?
y
Suppose -10*n = -4*n - 66. Which is smaller: n or 6?
6
Let n = -1737 - -10355/6. Is -10 < n?
False
Let t be 2/23*(-2)/(-558). Let y = -38428/237429 - t. Do y and -1 have different values?
True
Let m = 3.3 + -4.6. Let h = m + 1.34. Let y = h - -0.16. Which is greater: 0 or y?
y
Let f be (-4)/14*(-42)/66. Suppose -3*p - 3*w = -30, 4*p - 3*w - 2*w - 31 = 0. Let v = p + -8. Which is smaller: v or f?
f
Let s(r) = -r - 22. Let g be s(0). Which is smaller: g or -156/7?
-156/7
Suppose -q + 12 = 5*q. Let r be ((-9)/24)/((-77)/q). Let b = 2/77 + r. Which is bigger: 1 or b?
1
Let f be (-5 + 4 + 1)/1. Suppose f = 7*n - 4*n - 96. Let q = n + -31. Is -2 at most as big as q?
True
Let u be (50/3)/((-12)/18). Let a = 55 + u. Is 30 at most as big as a?
True
Suppose 4*j + 3*x - 9860 = -2291, 5*j = -5*x + 9465. Let v be -2 - (j/(-157))/6. Which is smaller: v or 0?
0
Let u be ((-2)/(-4))/((-3)/(-6)). Let t be (-28)/98*(-7)/(-14). Which is greater: u or t?
u
Suppose 2*m - 20 = -3*x, 4*x - 1 - 23 = -2*m. Suppose -3*v + x = v. Let o = -41/3 - -173/12. Which is smaller: o or v?
o
Let w(a) = a**3 - a**2 - 2*a - 15. Let r be w(0). Let v be 5 + 73/r - 26/(-30). Let g = -0.2 - -0.5. Which is bigger: v or g?
v
Let h be (-1 - -2)/(3*2/9186). Which is bigger: h or 1530?
h
Let t be ((-30)/(-552))/((-6)/24). Which is smaller: t or 0?
t
Let o(f) = f + 8. Let s(t) = t**2 - 6*t + 3. Let d be s(6). Let r be -2 - -4 - d - 5. Let h be o(r). Is h less than or equal to 2?
True
Let q = 418 - 393. Are q and 17 equal?
False
Let k = 21 - 34. Let l = 13 + k. Let i = -9 + l. Which is bigger: 1 or i?
1
Let f = -33 - -32. Let o = -8.2 - -2.2. Let m = o - 13. Which is smaller: f or m?
m
Let x = 6 - 21. Let n = 12 + x. Let b = 1 + n. Are 4 and b equal?
False
Let o(j) = 2*j**2 + 65*j + 95. Let i be o(-31). Is i bigger than -236?
True
Suppose -8*s = 419 - 35. Let l = 48 + s. Let v = 19/315 + -6/35. Which is bigger: v or l?
l
Suppose v - 2*v = -3, 12 = 3*a + 3*v. Let d = 220611/28 - 7879. Which is greater: a or d?
a
Suppose 2*i - 21 = -23. Let t = 4 - 2. Suppose y - t*l - 5 = 0, 4*y + 4*l = -6 - 10. Is y greater than i?
False
Let d = 15 - 29. Let x = 13.2 + d. Let l = -0.7 - x. Which is smaller: l or -2?
-2
Let y be (-2)/14*(-63)/(-1647). Is 0 smaller than y?
False
Suppose 4*t + 4*z - 77868 = 0, 16784 = -2*t - 4*z + 55722. Let c be 2/6 + t/87. Let p = -224 + c. Are p and -1 equal?
False
Let y(a) = -29*a - 149. Let n be y(-6). Are n and -2 unequal?
True
Let g(j) = 7*j - 3 + j**2 + 1 - 1 + 4. Let c be g(-10). Let b = c + -20. Which is smaller: b or 12?
b
Suppose 504 = 12*u + 24. Do 38 and u have the same value?
False
Let d be (-1)/(-2) + 150/(-4). Let n = -2337 + 2375. Let l = d + n. Is l less than 6/5?
True
Let s = -44 + 36. Let w be (-270)/s + (-3)/(-12). Let b = w - 36. Are -5/4 and b equal?
False
Let m = 119.1 + -119. Which is greater: m or -14?
m
Let t(o) = -o**3 + 6*o**2 + 2*o - 10. Let h be t(7). Which is bigger: h or -50?
h
Let l be ((-4)/22)/((-10)/(-349)). Let i be (-4)/(-5)*29/(-4). Let o = l - i. Is -1 > o?
False
Let f(x) = -x**3 + 6*x**2 + 20*x + 11. Let u be f(8). Which is smaller: u or -0.3?
-0.3
Let c be (-172)/(-36) + -1 + -4. Which is bigger: c or -12?
c
Let w be (-9)/15 - (-1074)/15. Let x(u) = -17*u + 38. Let s be x(-2). Are s and w non-equal?
True
Let l be ((-58)/(-4))/(6*2). Let f = 1/8 + l. Let n = -3/1993 - 1987/3986. Which is greater: f or n?
f
Let h = 6 + -1. Let o be (-10)/6 - h/15. Let q(g) = -79*g - 627. Let y be q(-8). Which is greater: y or o?
y
Suppose 852 = -14*a + 10*a. Let y = -3625/17 - a. Is 1 less than or equal to y?
False
Suppose 0 = y + 2*p + 23, p + 29 = -2*y - 11. Let x(g) = g**2 + 20*g + 32. Let a be x(y). Is a < 13?
False
Let j = -16.7 - -0.7. Let o = j + 12. Which is smaller: 2 or o?
o
Let p = 2.4 + 2.6. Let k = p - 5. Let d = 0.4 - k. Which is greater: d or 4?
4
Let k(r) = r**3 - 16*r**2 + 12*r + 11. Let i be k(15). Let s = -30 - i. Suppose -s - 10 = -7*o. Is o greater than 8/13?
True
Suppose -73*i = -1883 - 3227. Is i at most 45?
False
Suppose 5*j - 2 = 2*o - 3*o, 3*j = -2*o + 18. Is -2 at least as big as o?
False
Suppose -1035 + 1201 = 2*v. Is 83 not equal to v?
False
Suppose 4*n - w = -0*n + 11, 4*n + 2*w - 2 = 0. Let l be n - ((-3)/(-2))/(39/16). Which is bigger: 0 or l?
l
Suppose -z + 4 = 4*h, 0*h - 4*z + 16 = -h. Let t be 0 - -1 - 3538/4290. Let v = -6/143 + t. Which is bigger: h or v?
v
Let k = 24 - 17. Let o be 4*-2*(-2)/k. Which is smaller: o or 1?
1
Let f = 8 - 15. Let h(j) = j**3 + 15*j**2 + 14*j - 13. Let v(y) = 2*y**3 + 31*y**2 + 29*y - 27. Let c(r) = 13*h(r) - 6*v(r). Let w be c(-8). Is w bigger than f?
False
Let f be (-1*(-1 - 0))/(-1). Let s(r) = 7*r - 16. Let x be s(2). Let v be 1 + (-155)/50 - x. Is v at most as big as f?
False
Suppose 4*t = -t - 80. Suppose -49*r = 539*r + 9408. Is r greater than t?
False
Let r be ((-76370)/5874 + 13)/(-2). Is -1 equal to r?
False
Let m = 463 - 11577/25. Do m and 4.6 have the same value?
False
Suppose -5*v - x = -43, 4*v - 16 = 2*x + 10. Suppose 3*i = -0*i + 153. Suppose -4*z - i = -5*a, -a - 3*z = 3*a - 16. Is a equal to v?
False
Let h(y) = 2*y**3 + 8*y**2 - 2*y - 5. Let w be h(-4). Suppose 4*t - 47 = -w*v, 0 = t - 2*v - 2 - 7. Which is smaller: 34/3 or t?
t
Let a = -1 - 0. Let y be a/6*6/(-9). Suppose 3 + 0 = 5*d + p, 4*d + 5*p - 15 = 0. Are y and d equal?
False
Let