as big as z?
True
Suppose -4*p + 0*p - t = -16, 0 = 2*t. Suppose -p = 8*v - 12. Suppose 2*h + v = 3*h. Do -2/139 and h have the same value?
False
Suppose -3*r - 4*k - 16 = 0, -4*r - 3*k - 3 - 9 = 0. Suppose -a + r + 8 = 0. Let l be 73/(-24) + (a - (-1 - -6)). Which is smaller: l or -0.2?
-0.2
Let r be (-378)/2160*(-30)/8. Which is smaller: r or 2?
r
Let q = 24/11135 + 5143242/523345. Which is bigger: 10 or q?
10
Let a be (-7)/(-70) + 7*21/30. Let s be (a - (3 - -3)) + 0. Is s < 6/23?
True
Let o = -36/245 + 1693/3185. Suppose 3*s = 2*v - 0*s - 3, 2*v - 1 = s. Is v at most as big as o?
True
Let o = -20591 + 20591. Is -2/20497 greater than o?
False
Let w(q) = -q**2 - 16*q - 23. Let u be w(-15). Let h = u - -63. Let t = -129 + 184. Is h less than t?
False
Let q(d) = -d**3 + 22*d**2 + 3*d - 68. Let p be q(22). Let x be p/9*3*15/(-430). Let w(t) = t + 1. Let s be w(-1). Which is smaller: x or s?
s
Let m = 7730.2 - 7740. Which is smaller: -27 or m?
-27
Let o = -59 + 59. Let p be (6/12 + o)/((-4)/(-232)). Is 31 at most as big as p?
False
Suppose -5*b + 640 = 271*s - 273*s, b = 0. Which is smaller: -12 or s?
s
Let h = 2.07 + 31.83. Let j = 34 - h. Suppose 4*b + 2*w = -17 + 11, 2*b - 17 = 3*w. Which is bigger: b or j?
b
Let z = 198.45 - -0.55. Let b = -199 + z. Which is smaller: -85 or b?
-85
Let t = -1380 + 1357. Suppose 4*j - 156 = 10*j. Do t and j have the same value?
False
Let v = 6719 + -1380. Is v greater than or equal to 5341?
False
Let y = -58069/40 + 7258/5. Is y equal to 10/7?
False
Suppose 7*q - 90 = 5*q - 4*k, 3*q = 4*k + 185. Let c be (-8568)/(-9996) - (-372)/7. Is c greater than q?
False
Let t(z) = -z**3 + z**2 + 2. Let f(i) = -2*i - 10. Let j be f(-6). Let a be t(j). Let c be a*((-3)/6 + 1). Are -1/4 and c equal?
False
Let z be -632*(-16)/210 - (-2)/15. Let s = z - 48. Which is smaller: s or 24?
s
Suppose 2*c - 3*l - 23 = 0, -8*c + 9*c = 3*l + 4. Suppose c*k + 152 = -114. Is -134/9 greater than or equal to k?
False
Let a be (-33051)/782 - (-6)/(-4). Is -43 bigger than a?
True
Let s(u) be the third derivative of -u**6/120 - u**5/5 - 5*u**4/12 + 11*u**3/6 + 11*u**2. Let x be s(-11). Let v be ((-10)/35 - 10/14)*-2. Is x >= v?
False
Let i be -2 + (-1)/(4/(2*-2)). Let z(l) = -313*l**2 - 2. Let y be z(i). Let x be 81/y + (1 - (-4)/(-5)). Which is smaller: 0 or x?
x
Suppose 9*z + 13057 - 52453 = -19*z. Which is smaller: z or 1401?
1401
Suppose 0 = -3*x + 4*l - 29 + 80, x - 6 = 5*l. Suppose -4*b = -3*b - 3*v - x, -4*b = v - 84. Which is smaller: 106/5 or b?
b
Let h = 52046/37 - 1407. Suppose 0*x - 2*x + 10*x = 0. Which is greater: x or h?
x
Let k = -14360 + 2972522/207. Which is greater: k or 0?
k
Suppose 0 = -737*n + 798*n + 244. Which is smaller: n or -1769?
-1769
Let t(u) = -7*u**2 - 11*u - 19. Let j be t(-4). Let n = 14.1 - 11.1. Is j at least as big as n?
False
Let s = 1415/2 - 638. Suppose 143 - 1592 = -21*f. Do s and f have different values?
True
Let d = -1583 + 1587. Is d >= 27?
False
Let b(i) = -5*i**3 + 12*i**2 + 39*i + 20. Let y be b(-9). Which is greater: 4285 or y?
y
Let g = 2.75 - 3. Let o(s) = -10*s - 169. Let l be o(-26). Suppose 88*h - l*h - 3 = 0. Which is smaller: g or h?
h
Let w = -1109.4 - -1109. Is 7/10 bigger than w?
True
Let y be (-69)/(-9 - (530/(-8))/(28/42)). Which is bigger: -2 or y?
y
Let i = 270 + 108. Let g = -366 + i. Is 22 less than or equal to g?
False
Let i = -476 + 667. Let s = -191 + i. Which is smaller: -9 or s?
-9
Suppose -s + 3*s + 260 = 0. Let m be s/8 - 3/(-12). Suppose 6*f = 2*b - 38, 0 = 39*f - 41*f + 3*b - 50. Is f at most as big as m?
False
Let b be (-1569)/(-225) - -7*(1 + -2). Which is greater: 1 or b?
1
Suppose 0 = 744*g - 726*g - 9180. Which is bigger: 507 or g?
g
Let w = -6.1 + 7.11. Is w less than 4?
True
Suppose 3*m = -5*f + 11, -2*m = 3*f - 3 - 4. Let i(b) = -9*b + 18. Let o be i(m). Let s be 1/3 - 52/72. Does s = o?
False
Let c be (-244257)/(-520) + -1 + 14/16. Let y = c - 470. Let h = -0.7 - -0.648. Is y greater than h?
False
Let p = -443/421 + -1543565/4631. Which is greater: -335 or p?
p
Let f = 4367/7 - 1458221/2338. Which is smaller: 0 or f?
0
Let u(p) = -p**3 - 43*p**2 + 5. Let w be u(-43). Suppose -2*z - 1628 = -w*c + 1572, 4*z = 4*c - 2548. Which is smaller: -1/2 or c?
-1/2
Let k be (-1)/((-1)/5) + 0. Let i be -19 + 48 + (-70)/7. Suppose 3*l + w + 8 = 0, -k*l - 4*w + i = -10*l. Does l = -7/2?
False
Let m = -0.377 - 6.523. Let o = m - -7. Is o > -23/6?
True
Let j be 5 - 1/((-40)/(-204)). Let g = 9/40 + j. Are 0.1 and g equal?
False
Let j = -6.919 - 9.081. Is j smaller than 102?
True
Suppose -2*a = -2*d - 110, 60*d - 117 = -2*a + 55*d. Suppose -3 = o, q - 2*o + a = -29. Let v be (-2)/(-1 + (-186)/(-182)). Is q < v?
False
Let m = 1801 + -1984. Is m less than -735/4?
False
Let o = -41.52 + 37.52. Which is smaller: o or 21?
o
Let i = 991911/35 + -28335. Which is bigger: 6 or i?
6
Let p = 839166/7 + -121585. Let g = -1707 - p. Which is smaller: g or -2?
g
Suppose 3*q - 12 = 3*b, 118*b - 6 = -3*q + 119*b. Which is greater: q or -3/961?
q
Suppose b - w = -21, -4*b - 2*w = w + 105. Which is bigger: -85 or b?
b
Let f = 26 - 110. Let h be 152 + (-8)/14 + 36/f. Is h smaller than 151?
False
Suppose -5*d + 45 = 5*x, -11*d + 7*d + 71 = -3*x. Let y be 2/3 + d/6 + -5. Which is bigger: 85 or y?
85
Suppose 6*f + 42*f = -83*f - 131. Which is bigger: -43/248 or f?
-43/248
Let i = 333 - 324. Suppose i*l = -24 + 6. Is l at least 1?
False
Let q = -333 + 354. Suppose 17*a + 16 = q*a, 3*g - a = -55. Which is greater: -15 or g?
-15
Let i be (-30)/(-10) - (0 + -28). Let r be 5 + i/(-3)*-3. Are r and 34 nonequal?
True
Let t = -3519 + 3515. Is -10/19 at most as big as t?
False
Suppose 5*g - 4*z - 15820 = 0, 3*g - 12*z - 9494 = -10*z. Which is bigger: g or 0.1?
g
Suppose 162 = 2*a + d + 3*d, 363 = 5*a - 4*d. Suppose -3*j = -3*z + 9 - a, 0 = -z - 5*j - 16. Suppose -2*h = -0*h + 44. Which is smaller: z or h?
h
Let a(k) = -4*k**2 - 15*k + 163. Let j be a(-9). Is j less than 3/2?
True
Let u(x) = 3*x - 64. Let m be u(19). Let z be 5*((-7)/5)/m. Is z not equal to 12/7?
True
Suppose 0 = 3*x - 3, 2 + 5 = 3*q + x. Suppose -4*s - 5*h + 3 = -143, q*s - 3*h - 84 = 0. Let n = -39 + s. Which is smaller: n or 7?
n
Let g be 1/(2*(-2)/12). Let f = 3330.4 - 2975. Let s = f + -355. Which is smaller: s or g?
g
Let l = 4255 + -4251. Is l less than 170/33?
True
Let y be (2/4)/(24/((-816)/(-59959))). Which is bigger: 0 or y?
y
Let w be (-1 - -42)/(-4*(-1)/(-4)). Let b(r) = r**3 + 37*r**2 - 149*r + 75. Let g be b(w). Is -540 != g?
False
Let y(d) = -2*d**2 + 6*d - 1. Let n be y(3). Let a be (0 + n - -8) + 6 + -7. Suppose 6 = -4*o + a. Is 1/23 less than o?
False
Let h(v) = -2*v - 9. Let s be h(-6). Suppose -q = 5*b + 4, 2*b - s*q = 2*q + 20. Is b at least as big as 1/55?
False
Let d = -10.1 - -10. Let g = -925 - -755. Is g less than or equal to d?
True
Let x = -21 + 4. Suppose 0 = 3*f - 9, -2*u = -0*u + 2*f - 506. Let a = 234 - u. Which is smaller: x or a?
x
Suppose -4*g - 24*i + 23*i = -135, -4*i = -4*g + 140. Suppose -1038 - 2872 = g*t. Which is smaller: t or -112?
t
Let z be 6/((-2)/(-1))*(0 - 1). Let b be ((-16)/24)/(-2 + (-4)/z). Let y = -2 + 1. Is y < b?
True
Let q = -1694 + 184643/109. Which is greater: q or 1/6?
1/6
Suppose -3*z - 4*g + 19 = 3, -3*z = 3*g - 12. Let v = -8695/31801 + 2/2891. Which is smaller: z or v?
v
Let p = 70/2451 + -131344/4541703. Which is bigger: -1 or p?
p
Let p be (-1 - 8/(-7)) + 264/308. Which is smaller: -1/3059 or p?
-1/3059
Let m be ((9/3)/(-3))/(2/(-120)). Let v be (-99)/(-1 + -10) + 49. Is m greater than or equal to v?
True
Suppose -p + 80 = -2*y, 5*y + 233 = -2*p + 15. Let u be -4 - (-6 - -3) - 40/y. Which is bigger: 2/5 or u?
2/5
Let y be (-1)/1 + -219 + 0. Let s be 2/((15/27)/((-25)/(-30))). Let n be s*1 + 5/y*134. Is -0.1 at least as big as n?
False
Let r(u) = u**2 + 17*u - 305. Let z be r(-31). Suppose o - 39 = 3*a - 170, o = 5*a - z. Is o less than -131?
True
Let v = -16.73 - 0.27. Let w = v + 39. Let h = -25 + w. Are 0.03 and h unequal?
True
Let q = 2034851/41 - 49634. Which is greater: q or -1?
-1
Let i = 0 - -0.2. Let w be (2134/(-264) + 8)/(0 + 14/(-8)). Which is smaller: i or w?
w
Suppose -w - r = -6*r + 1, -4*r = 0. Let x(p) = -p**2 - p + 1. Let s be x(-2). Let l be (s - (-15)/(-12)) +