. Let b = 138 + o. Is 6 less than b?
True
Let c be 20/(-120) + 553442/84. Let s = 6605 - c. Which is greater: s or 16?
s
Suppose -q = q - 2*p - 8, 16 = 4*q - 2*p. Suppose -2*o + 4*n + 317 = -91, 0 = n - q. Let x be 2/(-6) - o/12. Do x and -16 have the same value?
False
Let q(p) = p**3 + 4*p - 8*p**2 + p - 6*p + 21 - 9. Let l be q(8). Let x(u) = u**3 + 12*u**2 + 10*u - 2. Let g be x(-11). Is l at least as big as g?
False
Let m = -83 - -82.978. Let p = m - -0.152. Let w = p - 1.13. Which is smaller: -3 or w?
-3
Let b(c) = c**2 + 3*c - 1. Let w be b(-4). Suppose -4*a = a - w*o - 83, -3*a + o + 49 = 0. Let x = -11727 - -11744. Is a equal to x?
False
Let d be 3/(104/(-69) + 78/52). Let u be 2/(-9) + (-575)/d. Let x = 0 - -1. Which is smaller: x or u?
x
Let x be ((-8)/(156 + 4))/((-4)/105). Let g be ((-20)/15)/((-4)/6). Is x at least as big as g?
False
Suppose -x + 660 = -7*x. Let v be (-4)/(312/x)*(-3)/42. Let i = 29/39 + v. Is i smaller than 2?
True
Let q be 13811/(-35) + ((-12)/9)/(11/33). Are q and -398 unequal?
True
Let a = 113 - 121. Let w = a - 132. Let g = w + 139.84. Is g at least -0.1?
False
Let c = 0.05879 - 263.10879. Let s = 3.95 - c. Which is smaller: s or -1?
-1
Let i = 10452 + -62573/6. Is i >= 22?
True
Let z = 9 - 4. Suppose n + 4*n = -z. Suppose 5*q = 4*i - 7 - 19, 0 = 2*q + i. Is q > n?
False
Let g(v) = v**3 - 9*v**2 + 9*v - 18. Let i(x) = x**3 + 12*x**2 + 7*x - 36. Let a be i(-11). Let j be g(a). Which is greater: -13 or j?
j
Suppose 2*t - 10 = 4*z, 4*z = 3*t - 22 + 9. Which is greater: z or -1/3442?
-1/3442
Let o be (-18)/(-22) - (0 + 1) - 1378/(-1166). Which is greater: 1/1424 or o?
o
Suppose -10*h + 374 = -14*h - 18*h. Let w = 1 + 1. Which is greater: h or w?
w
Suppose -7358 = -8100*w + 8087*w. Is 568 at most w?
False
Let o = -2246011/69 + 32551. Is -4/9 < o?
True
Let r = -0.45465 + 0.39465. Is r at most -0.0537?
True
Suppose 12*s - 5*s - 5712 = 0. Which is smaller: 815 or s?
815
Let j be 28/21 + 479/(-357). Let z be ((-1)/(-9)*-3)/(3/(-9)). Which is smaller: z or j?
j
Let v(t) be the first derivative of t**3/3 - 11*t**2/2 + 11*t - 9. Let i be v(12). Let z = 91/4 - i. Is -4 greater than z?
False
Suppose 36*u = 31*u + 10. Let l be (-6)/(-12)*u*47. Suppose 4*i - 4*d + l - 15 = 0, -3*d - 21 = 2*i. Is -8 bigger than i?
True
Let i = 109333/46 - 2377. Let z be 7 + -1 + (-13 - 11*(-24)/44). Is i at most as big as z?
False
Let k = -327 + 316. Let o be (4/(-14))/((-237)/21 - k). Which is smaller: 17 or o?
o
Let i be 15 - 154/(-99)*-9. Is i at most 1/4958?
False
Suppose -2*t - 15 = 7 + 50. Suppose -35 = -3*s + 4*s. Which is greater: s or t?
s
Let h = 224 - 416. Let c = -240 - h. Which is smaller: 2 or c?
c
Let t be (-987)/(-525) + 2/(-5). Let c = 6377/4275 - t. Which is smaller: c or 1?
c
Let k = -15.1 + 776.1. Which is smaller: k or 0.1?
0.1
Let u(r) be the third derivative of -r**6/120 - r**5/60 + r**4/24 + 8*r**2. Let p be u(-2). Suppose 3*a + 1 + p = -3*i, -4*a + i = -21. Which is bigger: a or 2?
a
Suppose 2*c - 2*c = c. Let z(x) = -x**3 - 2*x**2 - 2*x + 53. Let a be z(c). Let o = a + -78. Is o bigger than -25?
False
Suppose d = 4*d - 5*l - 200, -3*d - 2*l = -172. Let n = d - 55. Let y(x) = x**2 - x - 13. Let h be y(n). Which is greater: h or 8?
8
Let k(q) = 10*q - 102. Let t be k(7). Let p = -31 - t. Is 19/11 at least as big as p?
True
Let t(v) = -v - 219. Let h be t(-41). Let g = -536/3 - h. Is g less than 17?
True
Let t = 314 + -320. Let p be (-2 - 41)/(t/2). Let b(w) = -w**3 + w**2 + 13. Let u be b(0). Which is smaller: p or u?
u
Let b = 949.287 - 835.51. Let z = 0.223 + b. Is -1 bigger than z?
False
Suppose s + 10214 = 2443. Let g be 114/s*(-1 + 9/6). Which is smaller: g or 0?
g
Suppose 3*i = 4*f + 5, 0 = -7*i + 6*i - 5. Let t = 21 + -24. Which is smaller: t or f?
f
Let z = -3577.08 - 367.92. Which is greater: z or -1/2?
-1/2
Suppose -69*a - 102 = -654. Which is greater: 447/61 or a?
a
Let j = 4440 - 177591/40. Suppose 5*d - c + 4*c + 17 = 0, -d + 5*c = -19. Which is bigger: d or j?
j
Let p(m) = -8*m + 57. Suppose 3*j + 123 = 495. Let o = j + -117. Let z be p(o). Which is bigger: z or -2/9?
z
Suppose -4*i + p + 50 = -37, 0 = -2*i - 3*p + 33. Suppose 2*h + 4*y + i = h, 3*y + 58 = -4*h. Let a = -690 + 676. Do h and a have the same value?
False
Let v = -8 - -4. Let p be (-35)/14*v*(-9)/(-30). Let x be (32/(-20))/(4/(-10)). Which is greater: x or p?
x
Let w = 15.95 - 16.026. Are w and 17/7 non-equal?
True
Let d = -139 - -139. Let p = 140.22 + -140. Is d at most p?
True
Let c = -621 - -625. Let o be -2*(c/(-8) + 1). Suppose -2*v = -0 + 18. Are o and v equal?
False
Suppose 72*o - 16 = 18 + 38. Is 6/41 less than o?
True
Let r(d) = -18*d - 9. Let c be r(-6). Suppose 2*g + c - 244 = 5*i, 0 = -5*g. Which is smaller: -27 or i?
i
Let d = -3 + 6. Let u = -49.949 + -0.051. Let w = -50 - u. Which is smaller: w or d?
w
Let w = 307 + -38. Let y = -269.08 + w. Is y > -1.1?
True
Let g = 243.6 + -243.4. Which is smaller: g or 1.426?
g
Let s = -139 - -324. Let r = s + -186. Is r equal to 0.09?
False
Let l = -3074 - -3087. Is 3 equal to l?
False
Suppose -5*v + 192 = 4*b, 3*v - 55 - 67 = b. Suppose -41*l + 12 = -v*l. Are l and 138/13 non-equal?
True
Let a be 20424/(-1443) + ((-4)/(-26))/1. Suppose 0 = 3*i - 0*i + 39. Are a and i equal?
False
Let j be (512/(-36))/((-4)/6). Suppose -2*g + 848 = 3*p + 804, 3*g = p + 66. Which is smaller: j or g?
j
Suppose 79*j + 80 = 84*j. Let a(f) = -10*f - 1. Let m be a(-1). Let v be (-3 - -3) + 150/m. Is j smaller than v?
True
Let j = 472 + -472.25. Let a = -85/3 - -29. Which is greater: a or j?
a
Let u(g) = -g**3 + 6*g**2 + 4*g - 1. Let c be u(6). Suppose 5*b + 1364 = b + 2*z, 5*z - 666 = 2*b. Let o = -319 - b. Which is smaller: c or o?
c
Let b = -2759.3 + 2791. Which is smaller: b or -1?
-1
Let p be -3 - -2 - (-1 + 3 + (-22146)/(-18)). Which is greater: p or -1234?
p
Let c be (-10)/(-4)*(-1536)/(-320). Suppose 0 = -4*f - c, 5*x + 39 - 29 = -5*f. Which is smaller: x or 6?
x
Let h = -56 - -49. Let l be ((-104)/(-182))/((-1)/h). Which is smaller: l or 13/3?
l
Suppose 2*v = 4*c + 7*v - 2361, 5*c + 4*v - 2958 = 0. Is 595 less than c?
False
Let q be ((3 + -4)*(-2)/4)/(143/(-7722)). Suppose -5*k + 3*y - 140 = 4*y, -4*k + 2*y - 112 = 0. Is q > k?
True
Suppose 4*z + 4*p - 7320 = 0, 2*p - p = 4*z - 7330. Is 5497/3 greater than or equal to z?
True
Let b(m) = 7*m - 4*m + 6 + 2*m + 29. Let p be b(-9). Is -73/7 smaller than p?
True
Let z = 0.25126 + -14.25126. Does z = 265?
False
Let r = -40683.1 - -39102. Let k = -1661 - r. Let j = -80 - k. Is j != 1.9?
True
Suppose 3*p = -2*p. Let f = 232037 + -232036. Which is bigger: p or f?
f
Let s(x) = 18*x**2 - 1 - 10 + 23 + 2*x. Let c be s(6). Let d be (-2)/(-5) + c/(-2030). Is d greater than or equal to 0?
True
Let q = -8408 + 8408.9266. Let x = -0.1764 - q. Let i = x + 0.103. Is 9 != i?
True
Let o = -68580 - -137159/2. Let k = -8 - -8.16. Is o at least as big as k?
False
Let h = -264 - -404. Let m = -142 + h. Which is bigger: -21/17 or m?
-21/17
Let j be (3150/(-12))/25 - -7. Is -1/4 greater than j?
True
Let n = 149 + -149. Suppose n = -4*t + 104 - 36. Suppose -2*k - h - 12 = 0, -3*h + t = -4*k + 3. Which is greater: -9 or k?
k
Let u = -63.045 - -31.245. Which is greater: 0.4 or u?
0.4
Suppose 3*w = -137 - 151. Let b(f) = -3*f**3 - 3*f**2 - 92*f + 289. Let n be b(3). Do n and w have different values?
True
Let d be -6 - (-45)/9 - 4040/(-3996). Which is greater: d or -1?
d
Let s be (-13 - -1)/((-22)/33). Let l be ((-18)/(-54))/((-2)/s). Let y be (-4 + (-35)/(-8))/l. Which is bigger: y or 0?
0
Let z be ((-2)/8)/(1/(-199)). Let s = 50 - z. Let f = -158 - -157.7. Is s at least f?
True
Suppose 3*j = 5*j - 6. Suppose -4*p = -j*o - 22, -2*o - 2*o - 6 = -2*p. Suppose 48*b - 392 = -b. Does p = b?
False
Let n = -244/19 - -4649/38. Which is bigger: 1 or n?
n
Let a be (-2)/((-16)/((-7168)/536)). Is 1 less than a?
False
Suppose 2*l - 217 = -1. Suppose -206 = -2*y - 3*x + 18, 0 = 5*y - x - 543. Is l less than y?
True
Suppose -5*a - 3*z + 245 = 0, 2*a + 3*z - 57 = 50. Let c = a + -26. Suppose 2*k + c = 2*v, 2*k - 15 = 2*v + 7*k. Which is smaller: v or 3?
3
Let l = 48.8 - 61.8. Which is smaller: l or -200?
-200
Suppose 33950 = -31*h - 4*h - 82180. Is 0.02 less than or equal to h?
False
Let z = 10 