-24)/(-42) - 9). Which is bigger: s or d?
s
Let v be 795/9 - -4 - 2/6. Let f be v/78 - (-2)/13. Let i be (-26)/30 + 6/30. Are f and i equal?
False
Let m = -21 - -17. Let b be m/(-14) + 7/((-294)/96). Is -5/3 less than b?
False
Let t = 13.95 + -5.94. Let c = 0.13 + -0.12. Let j = c - t. Is 0 < j?
False
Let g be (-5 - -15 - 5) + (4 - 6). Which is smaller: 3/13 or g?
3/13
Let y(n) be the second derivative of n**5/20 + 2*n**4/3 - 2*n**2 + 2*n. Let f be y(-8). Let w(r) = r**3 - 2*r**2 - 4*r. Let j be w(3). Are f and j nonequal?
True
Let c = -4 - -6. Suppose u + 9 = -c*u. Suppose 69 - 60 = 9*v. Which is smaller: u or v?
u
Let k = 40 + -44. Suppose 2*i + 2 = 3*h, 5*i = 4*h + 1 - 6. Which is bigger: h or k?
h
Let b be (-87)/116 - 13/4. Which is bigger: b or 6?
6
Suppose 3122 + 3101 = 49*x. Is x < 132?
True
Let t(u) be the first derivative of u**4/4 + 7*u**3/3 + 5*u**2/2 + 3*u - 11. Let m be t(-6). Which is bigger: m or 8?
m
Suppose 2*w = -4*l + 24, -3*w - 4*l = -53 + 17. Suppose 3 = -q + w. Let z(y) = y**3 - 9*y**2 - y + 8. Let o be z(q). Which is greater: o or -1/4?
-1/4
Let j = -11857 - -154146/13. Let k = 0.1 + -0.1. Which is smaller: j or k?
k
Suppose 4*h + 20 = -4. Let o be (-6)/(-8)*h/162. Is -1 at least o?
False
Let r = -30.46 - 0.54. Let v = r - -19. Let p = 12.1 + v. Which is smaller: 0.02 or p?
0.02
Let m = -229 + 1147/5. Let r = -7 - -23. Which is greater: m or r?
r
Let p = 3 - 2.75. Let w = 9.4 - 9.1. Let v = w - p. Is v greater than or equal to -2/5?
True
Suppose -3*n = p - 52, 4*n - 43 + 173 = 3*p. Suppose p - 16 = -2*f. Is f equal to -16?
False
Suppose 4*u + 0*t + 2*t + 110 = 0, t = 5. Let l be -3 - u*(-7)/((-63)/6). Is 12 bigger than l?
False
Let j = 239.92 - -15.08. Which is bigger: j or 1?
j
Suppose -d = -3*w + 4*w - 2, -5*w = d - 2. Suppose 5*u = -w*u + 50. Let c(h) = h**3 + 13*h**2 - 14*h + 9. Let k be c(-14). Is u >= k?
True
Let x = -25.39 - 5.61. Which is bigger: 2 or x?
2
Let f be (85 + 0)*1/(-60)*-10. Is -1 greater than or equal to f?
False
Suppose 0 = -3*n - 0*n. Let r(f) = -20*f**2. Let i(w) = -7*w**2. Let b(y) = 17*i(y) - 6*r(y). Let g be b(n). Is g bigger than 1/6?
False
Let w = -376.07 - -395.6. Let o = w - -0.47. Let x = -20.5 + o. Is 2/11 < x?
False
Suppose 5*z = n + 332, 0*z - 274 = -4*z + 5*n. Suppose 0 = -7*r + 29*r - z. Is r != 3?
False
Let n(u) = -u**2 - 10*u - 9. Let d be n(-9). Is 6/529 >= d?
True
Let w be (-4)/(-18) - 83/(-72). Let g be (-54)/(-30) + (-5)/(-25). Is w at most g?
True
Let d = 1 + 0. Let v = 5/391 - 1397/48093. Are d and v unequal?
True
Let s = 49 + -47. Suppose -s*d + 3*d = -k + 2, 4*k - 2 = -2*d. Is k less than 0.2?
True
Let c = 7 - 4. Let p(z) = -z + 5. Let n be (60/(-7))/(-3) + (-27)/(-189). Let d be p(n). Which is smaller: c or d?
d
Let q be (-1 - 2) + 21/((-7077)/(-1012)). Are q and -1 unequal?
True
Suppose 5 = 5*h, -9 = -x - 2*h + 49. Let v be (5 - -54) + -5*1. Is v at least as big as x?
False
Let b = 46045/5986 - 296/41. Let h = -2/73 - b. Is h >= -2/11?
False
Let s = -2.4 - -2.63. Let v = -0.77 - s. Are v and -4/7 non-equal?
True
Suppose t - 4*t + 15 = 5*h, 0 = -5*t. Suppose y + h*y - 3*l = -3, -5*y + 5*l = 0. Let n be (-9)/(162/4)*y. Is 2 != n?
True
Let h be 208/65*(-6)/8*-230. Are h and 555 equal?
False
Let i = -18 - -17.8. Let j = 0.05 + i. Are j and -1 nonequal?
True
Let p(u) = -u**2 - 14*u + 120. Let w be p(6). Let x = -89788/53 - -1694. Which is smaller: w or x?
x
Let o be -1 + 22*(-4)/8. Let c = o + 10. Let x be ((-6)/10)/(1/5). Are c and x nonequal?
True
Suppose 0*f = 2*f + 86. Let g = f + 41. Do g and 2 have the same value?
False
Let y = -258 - -257.8. Which is smaller: 27 or y?
y
Suppose i + 3 = -f - 6, -f = -3*i + 5. Let d be (2/3)/((-6)/90) + 3. Do d and f have the same value?
False
Let d(c) = -c**2 - 11*c - 14. Let i be d(-11). Let u be (-1)/7 + (-142)/i. Let g = -19/2 + u. Which is smaller: -3/10 or g?
-3/10
Let v = -95 + 29. Let j = -69 - v. Is j less than or equal to -0.2?
True
Let c be (125/45 - 6/(-27))/3. Let j be (10/20)/(c + (-9)/6). Is 1/15 less than j?
False
Let k = -1560 + 1654. Is 0.5 at least as big as k?
False
Suppose -j - 3*j + g = -25, j = -2*g - 5. Suppose -j*q + 3*q + 42 = 0. Is q > 22?
False
Let n = 11 - 8. Suppose 0 = 4*l - m - 63, -5*m + 6 = -n*l + 66. Suppose -3*q - 3*f = 27, -4*q - 6 = f + l. Which is bigger: q or -1?
-1
Let x = 48 + -32. Let f = x + -16.1. Let l = -0.2 - f. Is 0.2 at most as big as l?
False
Suppose -3*n = n + 2*v - 46, 4*n + v = 41. Suppose 5*u = n*u - 24. Is u smaller than -0.1?
False
Let x be 7/((-21)/(-5)) + 6/(-9). Is x > 265?
False
Let y = -11.2 - -11. Which is greater: y or 20?
20
Let l(r) = -7*r - 51. Let v be l(-9). Which is smaller: 17 or v?
v
Suppose -19*s + 24*s = 0. Suppose s = -z - j + 9, -15 - 1 = z - 4*j. Suppose 3*g - g = 8. Is g >= z?
True
Let s be (-2)/(-3) - (7 + (-44)/6). Which is smaller: 20/17 or s?
s
Let v be 32/(-16) + 1*-11. Which is bigger: -10 or v?
-10
Suppose -r = d - 0*d - 17, -d = -3. Suppose r*x + 50 = 4*x. Is -3 at least as big as x?
True
Suppose -14*r - 10 = -16*r. Suppose -4*u = -r*n + 42, u = -4*n + 7 + 14. Which is bigger: n or 0?
n
Let z(b) = 28*b + 4. Let o be z(7). Let p be 75/o - 977/2648. Which is bigger: -1 or p?
p
Let t = 1.989 + 0.011. Is t < -74?
False
Let d be (-6)/45*-6 - 2877/3640. Let p = -101/312 - d. Which is smaller: p or 33?
p
Let x = 0.4 + -0.3. Let t = -8 - -16. Let b = t + -12. Which is smaller: x or b?
b
Suppose -24*a + 17*a + 252 = 0. Let x be ((-96)/a)/(4/(-6)). Which is greater: 2 or x?
x
Let o be 98/28 - (-17)/(-6). Is o at least as big as -1.4?
True
Let t(g) = -g**3 - 26*g**2 - 22*g - 50. Let d be t(-25). Let x = -122 - d. Suppose j - 4*r - 18 = -0*r, -2*j + 2*r = -12. Is x <= j?
False
Let p be (0/1)/((-4)/(-2)). Let a(v) = -v**3 - 12*v**2 + v + 9. Let g be a(-12). Let l be 30/9 + g + (-6)/9. Is l <= p?
True
Suppose 49 = -2*u - 239. Is u smaller than -144?
False
Let b be ((-4)/(-1))/(66400/(-600)). Which is smaller: b or 0.4?
b
Let h = 24 - 65. Let g = 45 - h. Let v = 945/11 - g. Which is smaller: 1 or v?
v
Suppose 4*p - 8 = 12. Suppose 4*v = -5*m + 26, -v + 4*m - 12 = -2*v. Does v = p?
False
Let j = -381 - -470. Which is greater: 443/5 or j?
j
Let g(l) = 2*l - 5. Let d be g(4). Suppose 3*b - d = 2*b. Let k = -1 + b. Is k bigger than 0?
True
Suppose -4*r + 116 = 2*w, -5*r = -2*w - 0*w - 145. Suppose 0 = -4*q - 4*u - r - 23, 2*q - 5*u + 5 = 0. Which is greater: q or -11?
q
Let q be -21*(32/(-12) - -3). Let n = 20/3 + q. Is n at most as big as 1?
True
Let l(n) = -2*n - 5*n**2 - 5 + 4*n**2 - n. Let a be l(-2). Is a greater than -10/7?
False
Suppose 4*a + 48 = -2*r - 20, -5*r + 2*a = 218. Suppose -v = -3*t - 124, -68*v = -t - 65*v - 52. Are r and t unequal?
True
Let u = -0.221 + -104.779. Let l = 106 + u. Which is bigger: l or 2/19?
l
Suppose 4*u - 139 - 28 = 3*g, 5*u - 3*g - 211 = 0. Which is smaller: 45 or u?
u
Let m(z) = z**2 - 1. Let r be m(-1). Suppose r = -4*c - 4 + 16. Let o(b) = -64*b + 324. Let y be o(5). Which is smaller: y or c?
c
Let s = 16 + -9. Let p = s - 3. Suppose -p = m + 4. Is m > -9?
True
Let w be (-1)/5 + 152/10. Suppose 5*k = -0*b - 5*b + w, -3*k = 2*b - 12. Let d = 11 + -6. Which is smaller: d or k?
d
Let q = 267 - 262. Is q at least as big as 16?
False
Let n be 255/(-170)*(-2)/(-3). Which is smaller: -21/53 or n?
n
Suppose 0 = 10*p - 7*p. Let s(f) = 0*f - 2*f**2 - 10 + p - 12*f. Let b be s(-5). Are b and 1/18 nonequal?
True
Let p = 32 + -11. Suppose -4*m = -0*a - a - p, 5*m - 29 = 4*a. Let w be -7 + 5/((-15)/(-36)). Is m at most w?
True
Suppose -3*m + 1 + 2 = 0, -5*l = 5*m - 15. Let f be l/(5/(15/2)). Which is greater: f or 2?
f
Suppose -32 = -7*a - a. Suppose -6*x = 3*q - 3*x - 39, -a*q + 43 = x. Which is greater: 12 or q?
12
Let w = 253 - 253.1. Do w and -12.4 have different values?
True
Let f(i) = i**2 - 7*i + 2. Let y(x) = 3*x - 2 - 10*x**2 + 9*x**2 + 3*x. Let s(m) = 4*f(m) + 5*y(m). Let j be s(2). Is -2 smaller than j?
False
Suppose -3*w - 8 = 2*u, 5 = -4*w + w + u. Let r be 0 + 4/14 - 1. Is w >= r?
False
Suppose 0 = 9*i - 7*i + 72. Let c be (i/16 - -3) + (-1)/2. Which is smaller: c or 19?
c
Let g(s) = s**3 + 10*s**2 - 10*s + 15. Let i be g(-11). Let x be -4 + i + (-4 - -3). Is 0 bigger than x?
True
Suppose -182 + 74 = -k. Let b be 408/k + 2/9. L