8173/23243. Let b = i - -214. Which is greater: 0.2 or b?
0.2
Let j(d) = -d**3 - 17*d**2 - 17*d - 17. Let k be j(-16). Let r be (k/(-12))/((-240)/32). Is 0 > r?
True
Let x(u) = -u**3 + 16*u**2 - u + 16. Suppose 2*k + 8 = 0, 2*k - 15 + 87 = 4*r. Let m be x(r). Let n be m*(3 + -3 + 1). Is -2/27 at least n?
False
Suppose -4*l - 4 = -4*k, -2*k = -0*k - 4*l. Is k != -1/15?
True
Suppose 4*u = -2*x - 62, -u - 4*x = 44 - 18. Which is smaller: -6 or u?
u
Suppose 5*z = -2*r, -18 = -4*z + 5*z + 4*r. Suppose 4 = 3*n - z*n. Suppose n*a = d - 6*d + 8, -20 = -4*a - 2*d. Are 5 and a equal?
False
Let x be -52 + 7/((-21)/(-6)). Let k = -201/4 - x. Which is bigger: k or -6?
k
Let d be -8*(-2)/20 - (-168)/15. Let s be 46 + ((-3)/3 - 1). Suppose -s = -6*u + 2*u. Is d <= u?
False
Suppose 0 = -2*i + 198 + 118. Is i >= 159?
False
Let t = 692 - 691. Let q be (2 - -9) + -1*2. Let r = 2 + q. Is t less than r?
True
Suppose -2*h = -3*u + 3, h = -0 + 3. Let c(n) = -n + 4. Let o be c(u). Which is smaller: -3/10 or o?
-3/10
Suppose 4*q - 4*z - z - 23 = 0, 14 = q - 4*z. Suppose 5*o + 2*p + 2*p = 28, -3*p = -q*o + 2. Let v = -2029/4 - -510. Is v at most o?
True
Let a = -53/18 - 437/90. Let d = a + 7. Is -2 < d?
True
Suppose v = 2*o - 32, -21*v + 85 = -26*v - 5*o. Which is bigger: v or -112/5?
v
Let b be -8 + 4 - 5*-14. Let m = -53 + b. Are 12 and m equal?
False
Let z be (-3)/(3/2) - -3. Let o = -2368/5 - -478. Let y = o - 149/35. Which is greater: y or z?
z
Let n(w) = -3 - 89*w + 77*w + 0. Let u be n(1). Is -17 at least as big as u?
False
Let z = 6.35 - 7. Let a = 29.15 - 29. Let r = z + a. Which is smaller: 0 or r?
r
Suppose 2*q + 6*n = n - 10, -4*q = -3*n - 6. Suppose q = -6*t + 28 + 80. Is 19 > t?
True
Let v be 24/56*7*(-10)/3. Which is bigger: -47/5 or v?
-47/5
Let r(n) = n**2 - 15*n + 27. Let x be r(13). Let i be (-828)/198 + (x - -3). Which is greater: i or -1/2?
i
Let a(l) = -l**2 + 7*l - 6. Let v be a(5). Suppose -i + 0*i + 5*u = 11, 0 = -v*i + 4*u - 12. Is 7 less than or equal to i?
False
Let t = 3 + -4. Suppose 3*m = 2*d + 105, -5*m - d - 3*d = -153. Let u = -101/3 + m. Which is smaller: t or u?
t
Let o be (7 + 0)/7 - (2 - 1). Which is bigger: o or -1/7?
o
Let p be 4/3 + (-1)/3. Let m = 8/3551 + 1484278/17755. Let r = 83 - m. Is r not equal to p?
True
Let s(b) be the first derivative of b**4/4 - 19*b**3/3 + 17*b**2/2 + 20*b - 2. Let w be s(18). Let h be (-4)/(-6) - (-2)/(-30). Which is smaller: w or h?
h
Let x be (-2)/4 - 261/18. Let o = x - 2. Let w = o - -33/2. Which is smaller: -1 or w?
-1
Let j = -13.003 - -0.003. Let q = -12.7 - j. Is 4 < q?
False
Let k = -10767/8 + 1354. Is k at least as big as 8?
True
Let i = 2705 + -408450/151. Is i at most -1?
False
Let l = 0.053 + 2.347. Do l and -2/11 have different values?
True
Let q = 2.9 - 16.9. Let i = -0.07 - 12.93. Let d = q - i. Is d > -0.4?
False
Let y(b) = -3*b - 7. Let h be y(-3). Suppose h*s - 58 = 4*s. Which is smaller: s or -30?
-30
Let s be 25/7 + -2 + -2 + 0. Let u(i) be the first derivative of i**4/4 + 2*i**3 + 3*i**2 + 6*i - 4. Let h be u(-5). Is s not equal to h?
True
Suppose -11*g + 47 = -2296. Does g = 212?
False
Suppose 269*r = 264*r + 5. Are -1/22 and r equal?
False
Let v = 34.8 + -31. Let h = v - 3.7. Is h at most 6/7?
True
Let m = 149.3 + -148.3. Is -264 less than or equal to m?
True
Let m = -1574 + 1517. Which is greater: m or -62?
m
Let m(o) = -22*o - 44. Let h be m(-2). Which is smaller: 6/79 or h?
h
Let o = -0.14 + 3.14. Is o < 22?
True
Let h be (-4*(1 + 2))/(16/24). Let p(w) = -11*w**2 - 1 + 13*w**2 - w**3 + 4 - 8*w**2 - 3*w. Let l be p(-4). Which is greater: l or h?
l
Let q be ((-2)/(-6))/(5/(-6)). Let y(h) = 8*h. Let v be y(-1). Let p be (-6)/(-4)*v/30. Are q and p nonequal?
False
Suppose -3*u = -3*q + 69, -5*u = -4*q + 52 + 61. Which is greater: 5 or u?
5
Suppose -136 = -3*q + 3*v - 22, 2*v - 183 = -5*q. Suppose -4 = 4*b + 16, 5*b + q = -3*i. Which is smaller: -14/3 or i?
-14/3
Let v = 1 - 1.01. Let f be 7*5/(-420)*(-4 - (-12)/2). Is v < f?
False
Let w be 16/6 - 2/1. Suppose 626*j - 1269*j + 625*j = -18. Which is smaller: w or j?
w
Let f = 143368/81 + -1770. Which is greater: 0 or f?
0
Suppose 0*p + 5 = 5*p. Let h be (36/(4 - p))/(-1). Let c be h/30*10/12. Does c = 0.05?
False
Let g = -318 - -323. Which is smaller: 36 or g?
g
Let w = -0.8106 + -0.1704. Let a = w - 0.019. Is 13/4 less than a?
False
Let u(q) = -q + 10. Let s(o) = -7*o - 2. Let d be s(-1). Suppose -5*j = -35 - d. Let r be u(j). Is -16 not equal to r?
True
Let v be (222/(-424))/((-105)/(-140)). Is v at least 0?
False
Let c(u) = -u**3 + 10*u**2 - 16*u + 55. Let y be c(6). Is 106 greater than y?
True
Let v(s) = 17*s + 18. Let r be v(0). Is 19 greater than r?
True
Let i = -482 + 482. Which is smaller: i or 17/8?
i
Let p = -54 + 54. Suppose 2*f + 2 = 0, 3*j + f = -p*j + 8. Which is smaller: j or 2?
2
Let y be (-40)/(-13) - (3 - 0). Let u = 14441 + -938634/65. Let s = u - y. Which is smaller: -2 or s?
-2
Let a(r) = -2*r**2 + r - 1. Let n be a(1). Let h be (-83 - -1)/((168/(-18))/(-14)). Let v = h - -120. Which is smaller: v or n?
v
Let j(s) = 3*s**3 + 4*s**2 - 6*s + 5. Let i be j(-4). Is -99 at most i?
True
Let y = -3 + 2.8. Let x = -3 + 2. Let k be x + -2 + 18/12. Which is bigger: y or k?
y
Suppose a + 3*q + 7 = -16, 2*a + 3*q + 40 = 0. Let c = 17 + a. Which is smaller: c or 2?
c
Let p = -1/2359 + 5373/1545145. Which is greater: p or -1?
p
Suppose 11*l = 7*l + 684. Let h be -1 + 6*8148/l. Let s = h + -285. Which is greater: 3 or s?
3
Suppose 0 = -2*t + 4. Suppose -t*j = -4, 3*p + 3*j = p. Is -26/9 smaller than p?
False
Let m(u) = u + 5. Let w be m(-5). Let v be 10/(-40) + 383/(-36). Let r = v + 365/36. Which is smaller: r or w?
r
Let k be (-14)/35 - 12/(-55). Let g = -16.1 - -16.1. Is g >= k?
True
Suppose 390 = 4*o - o. Let l be 4/10 - (0 + 72/o). Which is smaller: l or -1?
-1
Let f(r) = -2*r**2 + 18*r - 30. Let z be f(12). Let o = z + 109. Is o <= 22/3?
True
Let w be 5723990/(-3796740) - (-2 + (-3)/(-6)). Let d = w - 2/2403. Which is smaller: -1 or d?
-1
Let a = -54 + 56. Suppose -t = a*t. Let x = 8 - 5. Which is smaller: x or t?
t
Suppose 2*o + 294 = 3*y, 0 = -4*o - 5*y + 31 - 597. Is o != -143?
True
Let y = 4137/9799 - -39/239. Do y and 0 have different values?
True
Let g = -1.773 + -81.527. Let x = g + 83. Is x at most as big as -12?
False
Let i(s) = -38*s + 26. Let c be i(-8). Is c >= 330?
True
Let h = -28.9 - -35.9. Is -1/6 greater than h?
False
Let k = -2189/2 + 1094. Is k at least as big as -53?
True
Let d(o) = -39*o. Let s = 44 - 43. Let v be d(s). Is -40 < v?
True
Suppose 4*y - 32 = w, -4*y = -3*w - 107 + 19. Is -25 >= w?
True
Let z(k) = -28*k + 110. Let a be z(0). Which is greater: 108 or a?
a
Suppose 5*l + 0*l - 36 = 3*a, 5*l + 5*a = 60. Suppose 5*b + 4*n + 3 = 0, 0*n - n = -2*b - l. Is b > -4?
True
Let f be 12/(-3) + 3 + 7. Suppose -9 = -9*j + f*j. Suppose l = 2 - j. Which is smaller: l or -4?
-4
Suppose 4*h - 810 = -3*p, 5*h + p = 436 + 571. Suppose h = 5*w + 3*c, 4*w - 171 = 2*c - c. Which is smaller: 43 or w?
w
Let d = 797.9 + -798. Is d less than -35?
False
Let m be 4/(-6)*((-189)/(-6))/(-3). Which is smaller: m or 8?
m
Let w = -30.935 - -31. Which is bigger: 0 or w?
w
Suppose -3*v + 120 = -5*g, 0*v + 4*v - g = 143. Let d be 1/2 - v/(-30). Which is greater: 3 or d?
3
Let n = -180 - -171. Are n and -0.09 non-equal?
True
Let k be ((-45)/20)/9*-4. Suppose -k = -10*s - 11. Which is bigger: -2/29 or s?
-2/29
Let s = 38644/39 - 991. Is 1 less than s?
False
Let f = -0.1 - 0.17. Let u = f + -0.11. Let v = -6.38 - u. Which is smaller: v or -0.1?
v
Let d be (5065/(-402))/5 - 205/(-82). Are -1 and d equal?
False
Let x = -84 + -29.8. Is x less than 2/5?
True
Let a = 2681 + -2680. Which is smaller: -6/595 or a?
-6/595
Let y be 6/((-4)/(-64)*42/(-7)). Suppose l + 5*f + 27 = 0, 0 = -l + 5*l + 3*f + 74. Which is greater: y or l?
y
Let t be 98/21*(-3)/(-2). Suppose 6*h - 12 = t*h. Let r = h + 12. Is -2/19 >= r?
False
Let d(c) = c**2 + 20*c + 78. Let f be d(-15). Let q = 6 + -4. Suppose w = 2*o - 10, -3*o - 4*w - q = 5. Is f greater than o?
False
Let f = 17872/4282803 + 2/27279. Which is bigger: f or -0.2?
f
Let f be 1 - (0 + (-138219)/(-102)). Let d = f - -1354. Which is smaller: d or 1?
d
Let k(r) = r**3 + 4*r**2 + 6. Let q be