4) - -1. Suppose -f = b*f - 5*f. Let w be (-1*1)/(13/1). Which is greater: w or f?
f
Let t(y) be the first derivative of y**3/3 + 5*y**2/2 - 7*y - 3. Let q be t(3). Let f = q - 155/9. Which is smaller: f or 0?
f
Suppose -4*r + 2*h + 31 = -h, 4*r = h + 21. Let k = 0.086 - -3.914. Is k smaller than r?
False
Let z = 127 + -122. Which is smaller: z or 0.02?
0.02
Suppose 39 - 3 = 2*i. Let a be (i/(-6) - -5) + -17. Which is bigger: -41/3 or a?
-41/3
Let p = -95 - -95.58. Let g = p + 0.42. Is 107 less than or equal to g?
False
Let k be 5 - 2 - ((-32)/8 + 11). Which is smaller: -80/17 or k?
-80/17
Let t(r) = 18*r + 2. Suppose 8*j - 56 = j. Suppose 3*x = -3*y - 18, 2*x + 0*y = 2*y + j. Let a be t(x). Is a > -17?
True
Let o = -2520 - -153714/61. Let c be -1 + 3 + 3 + -4. Which is greater: c or o?
c
Suppose -4*j = u + 127, -2*u = 5*j + u + 164. Let s = 157/5 + j. Which is bigger: 1 or s?
1
Let r be -12*((-15)/(-6) - 3). Let l = 13 - r. Suppose -l*a = -3*a + 40. Do a and -9 have the same value?
False
Suppose 4*w - f - 5 = 0, 0*w + 15 = w - 3*f. Suppose -5*p = -w*p + 4*v - 28, 2*v + 16 = 5*p. Let j be p/176*16/10. Are j and -1 non-equal?
True
Let h = -4 - -3.74. Let c = -1.44 + h. Which is smaller: c or 1?
c
Let v(r) = r**3 + 15*r**2 + 13*r - 20. Let y be v(-14). Let a be ((-3)/16)/(3/y). Which is bigger: 1 or a?
1
Let c be (2/6)/((-4)/(-204)). Let b = 40 + -55. Let t = b + c. Is t at most 5?
True
Suppose -5*b - 8*b = 2*b. Do -1/817 and b have the same value?
False
Suppose 2*x - 3*r - 54 = r, -3*r - 9 = 0. Let i = 25 - x. Suppose -4*g - l + 17 = 0, 2*g + i*l + 17 = 3*g. Is g at least 4?
True
Let f = -4.9 + 6. Let g = 1.2 - f. Suppose 26 = -3*j + 7*j + t, -5*t = -2*j + 24. Is j at most as big as g?
False
Let x = 0 - -2. Let a = 806/7 + -8768/77. Is x != a?
True
Let a be (-17696)/32*(0 - 2/(-3382)). Let x = -1/89 - a. Are 0 and x non-equal?
True
Let t(w) = -w**3 - 3*w**2 + 2*w - 4. Let i be t(-5). Let v be (-6)/i - (0 + 0). Suppose 4*q - 4 = -0. Which is smaller: v or q?
v
Let f = -1125 + 1126. Which is smaller: 56.9 or f?
f
Let x = 1 - 1. Let t = -3633955 + 90832473/25. Let a = t + 656. Do x and a have the same value?
False
Let c(k) = -29*k - 57. Let h be c(-2). Which is smaller: 25/12 or h?
h
Suppose o + 9 = -5*t + 33, -t = -5*o + 16. Let i = 8 - 5. Suppose 4*x - t = 2*n, x - 4 + i = -2*n. Which is bigger: -8 or n?
n
Let w = 176 - 167. Suppose 0 = -9*h - w*h. Which is greater: -5/14 or h?
h
Let n(r) = -r**3 - 5*r**2 + 2*r - 11. Let o be n(-5). Let c = -34 + 24. Let v be c/8*(-4 + 20). Is v at most o?
False
Let c(l) = -34*l - 182. Let o be c(-5). Is -45/4 <= o?
False
Let w = 6499 - 6499. Let f = -41/210 - -8/35. Which is smaller: w or f?
w
Let g be 86/129 + 106/(-6). Is g bigger than -14?
False
Let y = -33 + 131/4. Let f(b) = 3*b + 11. Let l be f(-4). Is y smaller than l?
False
Let f = 11 + -18. Let j = f - -6.7. Let a = 0.8 + j. Do -0.1 and a have the same value?
False
Suppose -124 = 3*u + 191. Let y = 405/4 + u. Which is smaller: -5 or y?
-5
Let u = 13 - 32. Let t = u + 18.8. Let a = 0.3 + t. Is -2 less than or equal to a?
True
Let m(b) = b**3 + 7*b**2 + 4*b. Let v be m(-5). Let n be 48/v - 2/10. Which is greater: n or 2?
2
Let o(w) = -15*w**2 + 5*w + 6. Let l be o(-5). Let y be (2/3)/(l/(-3) - -3). Which is greater: -1 or y?
y
Let h = -345 - -303. Which is bigger: -38 or h?
-38
Suppose -12*r + c = -13*r - 3, 0 = -3*r + 4*c - 9. Are r and -1 non-equal?
True
Let b = 1/1815 + 5438/12705. Suppose -5*v - 28 = -3*g, -v - 38 = -5*g - 6. Let q be 0/(g/2) - 1. Do q and b have different values?
True
Let v(x) = -x - 1. Let s be v(-5). Let w be -10*((-45)/9)/10. Is w greater than s?
True
Let x be -2 + 5 + (-1722)/854. Is x at least 2?
False
Let m = 123 - 56. Which is smaller: m or -0.1?
-0.1
Let b = 21010 + -272888/13. Which is bigger: 19 or b?
19
Let i = 0 - 4.2. Let c = -5.7 + i. Let h = c - -10. Which is smaller: -2 or h?
-2
Let n(g) = g**2 - 7*g - 42. Let k be n(11). Which is smaller: k or 2/3?
2/3
Let v = -21 - -20. Let f be (v - 13) + 15/15. Is f bigger than -14?
True
Let k(u) = -2*u - 8. Let h be k(-6). Suppose h*l + 5 = -15, 5*l = 2*g - 29. Suppose -g*z = z + 9. Which is greater: -4 or z?
z
Let x be (-1)/((-5)/(-40)) + 5 - 10. Is -4 at least as big as x?
True
Suppose -4*s = -9 - 3, 0 = b + 5*s - 19. Let a be (-7)/((-3)/(-3) + -2). Let z = a - b. Is z <= 3?
True
Suppose -2*a + q + 9 = -5*a, -4*a + 5*q = 31. Let t be (2/a)/(2/(-44)). Is t greater than 9?
True
Let u be 6/(-30) + 79/(-5) - -4. Which is smaller: -47/4 or u?
u
Suppose -4 = -5*g - 3*l, 3*g - 14*l + 19*l - 12 = 0. Which is greater: -6/11 or g?
-6/11
Let w(s) = 2*s**2 - 7*s - 34. Let j be w(14). Which is greater: j or 261?
261
Let p be (3/(-714))/(5/370). Let n = 96 + -669/7. Let h = n + p. Is 0 > h?
False
Let x = -90 + 89.94. Let b = 0.11 + x. Let c = 2 + -3. Which is smaller: b or c?
c
Let z be (9 + (-84)/8)*(-8)/5658. Which is greater: -1 or z?
z
Suppose 0*b + 45 = -3*b. Which is smaller: b or 6?
b
Suppose -3*c - 10 = -2*i + 5, -25 = -3*i + 5*c. Let m(v) = -v**2 + 9*v - 7. Let d be m(7). Let r = 9 - d. Which is smaller: r or i?
i
Suppose 3*v + 19 = 13. Let i be 2/(-11) + 974/396 + v. Which is smaller: i or 0?
0
Let s be 1118/13 + 0 + 0. Let p = -68 + s. Is -0.2 at most as big as p?
True
Let i(z) = -2*z**3 + 42*z**2 + 44*z + 16. Let w be i(22). Are w and 16 unequal?
False
Let p = 419 + -237. Suppose -3*r - 64 - 45 = 4*b, -4*r = -2*b + p. Which is bigger: r or -44?
r
Let m = -15.38 - -0.38. Let r = 0.0444 + -16.0444. Let h = r - m. Is -0.09 equal to h?
False
Let s be (-45)/(-510)*-26 - -2*1. Is 1 > s?
True
Let x(k) = 5*k - 11. Let b be x(15). Let j be (-16)/b + 22/24. Which is smaller: 1/14 or j?
1/14
Let q(f) = -f**2 - 5*f - 2. Let p(u) = -3*u + 7. Let n(w) = -w. Let i(o) = -4*n(o) + p(o). Let z be i(-9). Let g be q(z). Which is smaller: 5 or g?
g
Suppose 8*f + 3 = 9*f. Let c be -1*2 - f/((-24)/16). Which is bigger: c or -10?
c
Let k = 2573 + -2536. Which is smaller: 38 or k?
k
Let z = 14.2 + 2.8. Let o(b) = b**3 + 9*b**2 + 10*b + 13. Let n be o(-8). Let f be (3 - 80/12) + 7 + n. Which is smaller: z or f?
f
Let z(b) = -b**3 + 12*b**2 - 9*b - 21. Let l be z(11). Which is smaller: -1/14 or l?
-1/14
Let a(b) = b**2 + 2*b - 1. Suppose 3*q - 5*f = -4, -2*q - 5 = f + 2. Let j be a(q). Which is smaller: 5/4 or j?
5/4
Suppose 3*k = 3*r + 2*k + 59, 2*r = -5*k - 62. Which is greater: r or 2?
2
Let a be (-8)/(-16266)*1/18*27. Is -1 bigger than a?
False
Suppose 2*g + 4*p = -408, p + 6 = 3*g + 639. Which is smaller: -212 or g?
-212
Let p = -87 - -127. Let a = p - 41. Is -5.9 at least as big as a?
False
Let x(c) be the first derivative of c**3/3 - 7*c**2 + 20*c - 15. Let k be x(12). Which is bigger: k or -15/4?
-15/4
Suppose 5*l = 2*l + 75. Let d = 0.01623 + -0.11623. Which is greater: d or l?
l
Suppose -36*s = -30*s - 18. Let y be s/(-9*(-2)/402). Is y equal to 67?
True
Let p be 5 + -22 + (-6)/(-2). Let x = -10 - p. Suppose -v = 2*m + x, 8 = 2*m - 0*v + 4*v. Are -4 and m unequal?
False
Let q = 8 - 8.3. Let l = 0.56 + q. Let o = l + 0.04. Which is smaller: 3 or o?
o
Let z be 11 - (2 - (-3 + 3)). Suppose z = 2*d + d. Suppose -4*i = -d - 9. Which is smaller: 0 or i?
0
Let d = -9 - -13. Suppose 3 = -d*r + 3*r. Let m = r - -3. Is m at most 1?
True
Let k(t) = -t**2 - 5*t - 5. Let a be k(-4). Let w(v) = -v**3 + 3*v**2 + 3*v + 4. Let u be w(4). Let c = u - a. Is 4/3 < c?
False
Let n(q) = 2*q**2 - 8*q + 1. Let a be n(4). Let u be (-1 + 2)*(1 + -1). Suppose k + u*k = -a. Which is bigger: -6/7 or k?
-6/7
Let k(w) = -96*w**2 + 4*w + 4. Let b be k(-6). Let u be 8/(-10) - b/4290. Are 0 and u equal?
False
Suppose -35 = 2*f + 3*f. Let m be 0 + 0 + f + 2. Let u(c) = c + 13. Let s be u(-16). Is m greater than s?
False
Let h be (-29)/(522/9660) - 3. Is h > -540?
True
Let y be 2/(-19) + 33846/(-114). Which is smaller: -298 or y?
-298
Suppose d + d = -2*a - 14, 2 = -a - 2*d. Let b be -5 + 1 - 90/a. Let s = b - 3. Is 0 equal to s?
False
Let n = -38 - -45. Let p be (1*3)/((924/(-8))/n). Which is greater: p or 1?
1
Let t(y) = y**3 - 9*y**2 + y + 11. Let v be t(9). Let n be 9/7 + v/(-70). Suppose n = 5*b - 29. Which is smaller: 5 or b?
5
Let a = 2/39 - -64/273. Are 135 and a equal?
False
Suppose -a + 15 = -27*n + 22*n, 0 = -2*a + 