.77 - -991.501. Let v = 26.328 + k. Let s = 0.059 - v. Is -2/3 greater than s?
False
Let u be (579/63)/((-2)/(-18)). Suppose 5*f + 368 = -47. Let m = f + u. Does m = 0.9?
False
Let p = -13939/17 - -818. Are p and -2 equal?
False
Let j = 1196 + -1707. Let g = 666 + j. Which is bigger: 153 or g?
g
Let q = 75/4 + -383/20. Let u = 16513 - 16513.164. Which is bigger: q or u?
u
Let y be 826/834 - (1 + 0). Let a be ((-126)/(-56712))/(3/40). Let i = a - y. Is i less than -1?
False
Let s be -4*20503/(-112) + (-30)/24 + 9. Which is smaller: 15 or s?
15
Let l = -6144 + 49147/8. Which is smaller: -3 or l?
-3
Let x = 6154 - 5544. Do 609 and x have different values?
True
Suppose -4*w = 3*a - 4, 5*w - 3 = 2*a + 2. Suppose 0 = 5*n + w + 4. Let z(o) = -o**3 - 5*o**2 + 6*o - 1. Let f be z(-6). Are f and n non-equal?
False
Let w = 6187 + -5868.9. Let t = w - 318. Is t smaller than 2.6?
True
Let n = -475 - -476.08. Let t = -0.46 + n. Which is greater: t or 2/7?
t
Let h be (-3)/(-2) - (84/(-8) + 7). Suppose 5*o + 45 = h*j, 2*o = j - 0 - 6. Which is smaller: j or 0.07?
0.07
Suppose -536*g - 174323 = -572*g - 1297379. Is -1 greater than or equal to g?
True
Suppose -144 = 5*j - y, 0 = -2*j + y - 41 - 19. Let a be (-2 - (2 + -2))/((-16)/j). Let v = -9/4 - a. Is v equal to 1?
False
Let z be (-108)/(-7)*(-497)/(-142). Which is greater: z or -1.49?
z
Let a be 45/(-22170)*(-8)/18. Let m = 8619/2956 + a. Are 3 and m equal?
False
Let d(b) = -b**3 + 8*b**2 - 6*b - 15. Let w(v) = -v**3 + 5*v**2 - 2*v - 5. Let z be w(3). Let t be d(z). Let y = t - -10. Is y >= 20/7?
False
Let g(k) = 2*k**2 + 0*k + 144 - 135 + 12*k. Let r be g(-6). Let o(a) = a**2 - 10*a + 15. Let p be o(r). Is p at most 16/3?
False
Let h = 1.02 + -2.073. Let x = 0.115 + -0.062. Let z = x + h. Which is bigger: z or 2.5?
2.5
Suppose 5*x + 3*k - 22 = 0, -4 = 2*x - 0*k - 2*k. Suppose -4*z + 4*f - 8 = -z, -4*z - f + x = 0. Which is bigger: z or -1/20?
z
Let o = 6989 + -4797. Which is bigger: 4 or o?
o
Let d = 5554717/62196 + -24026/219. Let f = 11329 - 804334/71. Let y = f - d. Which is smaller: y or 22?
y
Let y = -28480 + 33368. Which is bigger: y or 4891?
4891
Let x = -2 - -8. Let z(y) be the second derivative of -4*y**3/3 + 25*y**2 - 3*y. Let p be z(x). Is p at least 6?
False
Let z = 200 + -200. Suppose z = 10*n + 6 - 26. Which is greater: 18/17 or n?
n
Suppose 2*b = 88*l - 85*l - 9404, 0 = -5*l + 5*b + 15660. Which is smaller: l or 1?
1
Suppose 47*j + 30 = 48*j. Suppose -51 = 3*i - 3*o, o - 71 = -26*i + j*i. Suppose 4*w = -3*n - 47, 2*w + 1 = -4*n - 15. Which is greater: i or w?
w
Let p = -0.133 + 0.133. Is p < 302?
True
Let q = 4/26185 + -3014418/5237. Is -575 greater than q?
True
Let h(z) = 9*z + 5. Let q be h(4). Let j = 8575 + -8532. Is q smaller than j?
True
Let r be (145/(-55) - 32/88) + 2. Which is greater: -64/111 or r?
-64/111
Let w be (35/(-21))/(205/(-1812159)). Is 14734 at least as big as w?
True
Let d be (2/(-26212)*(-70)/(-105))/(20/30). Is 0 at most as big as d?
False
Suppose -a - 2*a + 15 = 0. Suppose -a*r = -r + 4. Let u = 9689 + -155029/16. Is r != u?
True
Let l be (13328/(-930))/((-20)/6) + -4. Let d = -3/155 + l. Are 1 and d equal?
False
Let f(x) = 4679 + 2*x - 4679. Let p be f(-2). Let g be p/(-18) - 1430/117. Is g bigger than -12?
False
Let d(z) = -11*z + 540. Let b be d(40). Is b at least 90?
True
Let q = 4307 + -6237. Which is smaller: -1928 or q?
q
Let t = 1501 + -580. Suppose 129 = -2*g - t. Let w be 2/(-8) + (g/(-20) - -1). Which is smaller: w or 25?
25
Let c be (-4 + 2)*1 + 2. Let n = -2/395585 + 791732/111159385. Which is bigger: n or c?
n
Let k = -481 - -498. Suppose 5*d - k - 3 = 0, 5*w - 5*d = -25. Is -6/29 != w?
True
Suppose o = -2*z - 1851, 1304*z + o = 1305*z + 921. Which is smaller: -926 or z?
-926
Suppose 29*a - 27*a = 10. Suppose -2*v = -9 - 25. Suppose 5*l = 5*x + v + 3, -l = -4*x - 7. Is l at most a?
True
Let a(v) be the third derivative of v**5/60 - v**4/24 - 5*v**3/3 + v**2. Let t be a(0). Let z be 4/t - (-217)/(-70). Which is smaller: z or -5?
-5
Let h(r) = -71*r - 112. Let j be h(21). Is j greater than or equal to -1601?
False
Let m = 0.0025 + -20.0025. Let z = -20.41 - m. Which is smaller: z or 1?
z
Let p(r) = 2*r - 5. Let j(m) = -m + 2. Let x(g) = 9*j(g) + 4*p(g). Let t be x(-1). Let w = 1/299 - -583/4485. Are w and t non-equal?
True
Let w = 0.714 - 0.574. Is 1 smaller than w?
False
Let g be (1 - 898/892) + 23 + -23. Let r = -112 - -112. Which is smaller: r or g?
g
Suppose -19 = 3*f - c, -4*c - 25 = c. Let a be 1 + 4 + f + 7 + -13. Do -9 and a have the same value?
True
Suppose -3*i + 43 - 34 = 0. Let j be ((-22)/(-99))/(2/i). Let h = -1 + 2. Is h greater than or equal to j?
True
Suppose -2750 = -37*f - 18*f. Which is bigger: f or -0.9?
f
Let l(o) = -7 + 5 - 4*o**2 - 4*o - o**2 + 6*o**3 - 5*o**3. Let k be l(6). Let n be (8/(-14))/(k/(-14)). Is 0 smaller than n?
True
Let h(d) = -19*d + 10*d - 35 - 8 - 11*d. Let u be h(5). Let x = u + 142. Which is greater: x or -3/14?
-3/14
Suppose -32*z - 1070 = -22*z. Let r = -106 - z. Do r and 8/13 have the same value?
False
Suppose 2*p + 2*o - 6 = 0, 4*o + 5 = 3*p + 3*o. Which is smaller: p or 102/37?
p
Let h(f) = -f + 15. Let y be h(-2). Suppose -1837 - 1053 = -y*m. Suppose 5*t = 4*l + 245, 3*t = -t - 2*l + m. Does 43 = t?
False
Let b be (-4 - 68/(-14) - (-2840)/(-3150))*6. Is b <= -15?
False
Suppose -17 = 5*b - 62. Suppose 8 = -b*l - 10. Let q be ((-2)/15)/l*(-6)/20. Is 0 != q?
True
Let r(a) = 19*a - 4. Suppose 3*o + 19 = -4*n, 4*n = 3*o - o - 14. Let t be r(n). Let p be -87 + (3 - 10 - -3) + 300/30. Which is bigger: t or p?
t
Suppose -5*p + 3*k = -130, -4*k + 90 = 5*p + k. Suppose 5*j + 18 = p. Are j and -2/59 nonequal?
True
Let b = -0.348 - -10.528. Let j = 11 - b. Let d = j - 0.92. Is 45 at least d?
True
Suppose 12*r + 11*r = 14*r - 9. Is r at least as big as -53/58?
False
Let p(z) = -z**3 - z**2 - 6*z - 14. Let h be p(-2). Suppose -n + 103 = 5*y, 7*n = 4*n - h*y + 361. Which is smaller: n or 124?
n
Let z be 3 + ((-18)/(-10))/(12/40). Let p be (9 - z) + (-7 - (-2 - 0)). Let m be p/4*((-110)/(-25) + -4). Which is smaller: -14 or m?
-14
Let h = 81.6 - 81.5. Which is smaller: -2/37 or h?
-2/37
Let n(v) = -1. Let u(g) = 41 - 15 - g**2 + g - 2*g. Let d(p) = -3*n(p) - u(p). Let c be d(-6). Is c at most as big as 7?
True
Let k = -13 - -10.5. Let f = k - -0.5. Let t = -8629.7 - -8628.7. Is f != t?
True
Let g = 961.039 - 960. Let o = g - 0.039. Does 175 = o?
False
Suppose -2*r + 10 = 4*n - 10, -10 = -3*r - 2*n. Let u be 210/(-294) - r/(-1 + 2). Which is smaller: u or 4?
u
Suppose 22*c + 7382 - 232 = 0. Which is smaller: -324 or c?
c
Let r be ((-10)/45)/((-922)/18). Let u = -5083/2766 + r. Let p = -3 + 2. Is u at least as big as p?
False
Let x = -8.476 + -0.124. Let a = -7.8 - x. Is 1.2 > a?
True
Let y be 2*3*3/6. Suppose -3*k = -4*z + 177, 2*k = y*k - z + 59. Is -60 <= k?
True
Let j be 156728/(-364420) - (-1 - (-6)/10). Which is smaller: -1 or j?
-1
Let q(s) = -10 - 2 + 3*s + 2*s**2 - 8 + 2*s**3 - 5*s**2. Let v be q(4). Is 71 at least as big as v?
False
Let c be ((-2)/(-4))/((-1070)/20). Let v(s) = -s + 24. Let y(l) = -l + 1. Let j(m) = -v(m) - y(m). Let p be j(13). Which is smaller: p or c?
c
Suppose 0 = 3*j - 4*i + 4, 5*j - 92*i = -96*i + 4. Suppose 0 = -5*d + 3*d + 6. Suppose -3*r = j, d*v - v = r - 6. Which is bigger: -1/27 or v?
-1/27
Let b be (-3118)/(-1556) - (-14 + 16). Which is smaller: b or 1?
b
Let d be 1 + (39/24)/(-1). Suppose 0*i = -7*i + 70. Suppose -i = 13*k + 3. Which is greater: k or d?
d
Let n(b) = -2*b**3 + 164*b**2 + 297*b - 230. Let x be n(84). Is x less than -3506?
False
Let i = 19.2 + 0.8. Let n = 19.69 - i. Let v = 0.21 + n. Which is bigger: v or -19?
v
Let o be ((-2)/(-30))/(3*12/(-756)). Which is smaller: 1/139 or o?
o
Suppose -3*k - 67 = -3*o + 41, 4*o = k + 24. Suppose -5*s - 17*z = -19*z + 57, 0 = -8*z + 3*z + 55. Is s greater than k?
True
Let p = 412.823 + -413. Let o = 0.187 + p. Which is greater: o or 1/3?
1/3
Let p = -852 + 1996. Suppose -13*c = -0*c + p. Which is smaller: 0 or c?
c
Suppose 24*x - x - 4 = 19. Which is greater: x or 5/294?
x
Suppose 0 = -5*a + 35, 4*q + 5*a = -83 + 1490. Does q = 4815/14?
False
Let z(v) = -66*v**2 + 4*v - 9. Let f be z(2). Let w = f - -383. Is w greater than or eq