2*w - 8 = -5*m, -2*w - 502 + 478 = 3*m. Let k = 542 - 2721/5. Is m greater than k?
True
Suppose 0 = 4*n - 4*z + 4, 2*n - 2*z + 22 = -4*z. Let w = -1073 - -746. Let q = w + 1289/4. Which is greater: q or n?
q
Let s = 1 - 54. Let h be s/((-43)/(-7) + 2/(-14)). Which is smaller: -9 or h?
-9
Let m(f) = 336*f - 897. Let x be m(10). Which is greater: 2465 or x?
2465
Let s(b) = 51*b - 93. Let r be s(8). Let y = r - 388. Is -73 less than y?
False
Let r = 0.02 - -2.98. Let l be (-19053)/(-2204) - 10 - 35/(-28). Which is smaller: l or r?
l
Let u be (26 + 2546/(-57))*(-5622)/(-8). Is -13118 greater than u?
False
Let n(f) = 5*f**2 - 6*f - 2. Let o be n(-9). Does o = 474?
False
Let f = 81 + -72. Let x = 16 - f. Which is bigger: -0.06 or x?
x
Let u = 831 + -827. Suppose 2*t - t - 103 = -3*n, -4*t + u = 0. Which is bigger: n or 33?
n
Let m = 336.458 - 0.458. Let n = m + -191. Is 2 not equal to n?
True
Let t = -87 - 38. Let w be 115/t*1 + (-1)/(-5). Which is smaller: -1 or w?
-1
Let i(w) = -w**3 - 7*w**2 - 32*w - 213. Suppose -4*v + 45 = 3*r + 61, 0 = 5*v + 3*r + 23. Let s be i(v). Which is greater: 85/8 or s?
s
Let l = -51 + 20. Let r(p) = 17*p - 216. Let a be r(11). Is a at least as big as l?
True
Let j be 6/57 - 516924/4880815. Is j equal to 0.1?
False
Let n be (-35)/(11/5 + -2 - (-408)/510). Is n bigger than 2/57?
False
Let s be (1 - (-5 + 2))/1. Suppose 14 = -s*g + 5*p + 61, g = 4*p + 20. Suppose 479 = -44*u + 139*u - 376. Is u smaller than g?
False
Let b = 5 + -4.95. Let a = b - -0.15. Let q = -97240 + 97239. Is q bigger than a?
False
Let n = 428.0751 + -0.0751. Let y = n - 428.1. Which is smaller: y or 260?
y
Let q = 7 + -27. Let g = -93 - -552. Suppose 319 = 7*n + g. Are q and n equal?
True
Let d be 972/102 + -5 + (2 - -5). Is 12 smaller than d?
False
Let m be 23/(-46)*(-14)/1. Let s be (9 - 7)/(1/21). Suppose -2*f - 5*f + s = 0. Which is smaller: m or f?
f
Let v = -4723 + 4721. Is v at most as big as -0.31?
True
Let w = 24 - 243/10. Let b be (-12)/90*-5*-24. Let h = b + 21. Which is smaller: w or h?
w
Let w be (-57092)/(-70) + (-1 + 0)*-10. Which is bigger: w or 827?
827
Let x = -3 - -2. Let b be 2/(396/(-194)) - x. Let o = -1785468/4463695 - 2/892739. Which is bigger: b or o?
b
Suppose 5*q + 150 = 10*q - 2*c, -79 = -3*q - c. Suppose a + 6*a = q. Which is greater: a or -0.18?
a
Let i = 23160 - 24649. Which is smaller: -1488 or i?
i
Let b = 1580 + -2371. Is 0.1 at least b?
True
Let z = 856 + -525. Is 333 bigger than z?
True
Let g = -142.387 + 6.387. Is g less than or equal to -11/2?
True
Let x = 14121/95 + -504/5. Which is greater: 48 or x?
48
Let n be 14/(-8) + -14 + (-354)/(-24). Which is smaller: n or 1/7410?
n
Let i = -335 - -335. Suppose -3*v - 2*d - 60 = 0, -4*v - 75 = d - i*d. Is v equal to -13?
False
Suppose 4*m - 9 = 21*m - 8*m. Which is bigger: -272 or m?
m
Let i be 4 + 3 - 0 - 3. Suppose 0*u - 4 = -i*u. Let g be -2*(-14)/112*12. Which is bigger: g or u?
g
Let l be (-19 + 6 - 816/(-46)) + 0. Which is greater: l or 4?
l
Let p(z) = -5 + 6*z + 0 - 1 + z**2 - 3. Let h be p(-7). Let c be 9*(-38 + 30 + (-94)/(-12)). Is c bigger than h?
True
Suppose -3*j + x + 63 = 4*x, x - 87 = -4*j. Suppose -8946 = -j*h - 20*h. Which is bigger: 214 or h?
214
Suppose -56*l + 35400 = -174*l. Which is bigger: l or -2?
-2
Suppose 3*y - 102 = -t, -3*t - 19*y + 276 = -20*y. Is 92 bigger than t?
False
Let n = -628 + 679.168. Let z = n + -51. Let h = z - -0.032. Is 4/9 > h?
True
Suppose 2*w = -149 + 101. Let h = 220/9 + w. Let u be (-6)/(-9) - 4/6. Is u >= h?
False
Let u = 14187/536 - -5432027/758440. Let b = 48/283 + u. Which is smaller: 33 or b?
33
Let n = 0.45 + -0.2. Let l = 140 + -139.55. Let y = n - l. Which is smaller: 1.9 or y?
y
Let l be (57*(-4)/16)/(6/(-16)). Let c = l + -36. Let a be c - (2 - 2/(-4)). Is a bigger than 0.07?
False
Let o be -87*1185/(-8460) - 12. Is -1 equal to o?
False
Let t = 970/27 + -17161/27. Which is smaller: -601 or t?
-601
Let j(a) = 6*a - 2 - 7*a + 2*a**2 - 5. Let n be j(-3). Let s = -0.07 + -1.93. Is s < n?
True
Let h be 75/(-87) + 2/2. Let v(g) = 2*g**2 + 8*g + 7*g + 9*g + 0*g - 10 - 5*g. Let w be v(-10). Is h greater than w?
True
Suppose -5*y - 7 = -u, 0*u - 4*y = -u + 6. Suppose -68 - 90 = u*b. Let c = 48 + b. Is c <= -31?
True
Let b be ((-14)/(-7))/((-11460)/(-1911) + (10 - 16)). Which is smaller: b or -628?
b
Let q be (-2)/5 + (-360)/(-25). Suppose 19 = 11*u - q. Suppose 0 = -g + u*g. Is 5/6 bigger than g?
True
Let o be ((-161018)/2079)/(-26) - (7 - 4). Which is bigger: o or 1?
1
Let z be (-117)/36 + 603/108. Let x = -0.2 - 0.5. Which is smaller: z or x?
x
Suppose 0 = -3*x - 3. Let j be (708/24 + -32)/1180. Which is smaller: j or x?
x
Suppose -80*y - 50*y + 103*y + 4050 = 0. Is y < 161?
True
Suppose 9 - 2 = 13*m + 59. Is m smaller than -57?
False
Suppose -4*g = -24, -4*g + 24 = -97*q + 102*q. Which is greater: 34/35 or q?
34/35
Let h = -4779 - -4777. Which is smaller: h or 1/324?
h
Let y = -147917 + 148330.388. Let j = y + 0.612. Which is smaller: j or -1/3?
-1/3
Let b be 0 + 1 - (-106)/(-4)*(-124)/(-3410). Which is smaller: -7 or b?
-7
Let g = 0.19 + -37.79. Let r = -17.6 - g. Is r > 1/4?
True
Let b be (2/5)/((-1412)/20). Let t = b - -433/14120. Which is greater: 2/5 or t?
2/5
Let y be (-1)/(12/5276) + 30/18. Is y less than -441?
False
Let a(v) = v**3 - v**2 + 9*v - 21. Let o be a(2). Does o = -1/672?
False
Let l = 1/1799323 + -505610483/1295512560. Let s be 6/3 - 374/180. Let a = l - s. Is a at least -1?
True
Suppose 4*r - 2 = d, 0 = 4*d - r - 15 - 7. Let v be 0/1*d/18. Suppose v = 2*j + 6, -4*j - 23 = -4*m + 5*m. Which is bigger: m or -9?
-9
Let f be 332/8 - 2/4. Suppose -190 = 5*h - 5*i, -h + 5*i - 20 - 6 = 0. Let n = h + f. Which is smaller: 2 or n?
n
Let b(z) = 3*z + 33. Let k be b(-6). Suppose k*d + 69 = -141. Which is bigger: -15 or d?
d
Suppose 2*j + 19 - 15 = 0, -2*j = 2*t + 370. Which is smaller: t or -729/4?
t
Let j = -25968 - -25986. Which is greater: -101 or j?
j
Suppose -3*g + 2*l - 4*l - 559 = 0, 0 = 5*g + 4*l + 933. Let t = g - -195. Are 64/7 and t equal?
False
Suppose 2*n = -2*w - 6, -2*n - 2*w + 21 = -9*n. Let h = 0 + -2. Let b be h/(-7) + 20/(-7). Is b not equal to n?
True
Let j be 5*(-12 + 8 - 6/(-5)). Let i be -2*(-9)/(-480) - 0/j. Do 0 and i have different values?
True
Suppose 0*l - 2*u + 128 = 5*l, 0 = u - 4. Let m = -20 + l. Suppose -4*g - g + 5*p + 35 = 0, 5*p + 26 = 2*g. Which is smaller: m or g?
g
Let r be (-1012)/(-828)*(-9)/2. Which is greater: r or -5?
-5
Let v be ((-30)/21)/((-45)/126). Suppose 42 = 4*h + 4*b + 10, 0 = -v*h + 4*b + 24. Suppose -2*k + 36 = -4*l, 5*k - 8 - 34 = -2*l. Which is smaller: k or h?
h
Let o be ((-2)/4)/((-1)/6 + 78/414). Is -118 at least as big as o?
False
Let y be (-21)/(-84) - ((-158)/(-24) - 7). Which is bigger: -1846 or y?
y
Suppose -4*h - 4 = -3*y - y, 4 = 4*y - 3*h. Let r be y - 300/(-1168)*-4. Which is smaller: 1 or r?
r
Let r = 597 + -411. Suppose -z + r = -7*z. Are -4 and z nonequal?
True
Let f = -106372 - -106398. Let b = 2 + 0. Suppose 69 = 3*a + 2*u, b*u = 2*a + 6*u - 38. Which is greater: f or a?
f
Suppose 0 = -4*m - 16*d + 15*d - 2, 8 = -2*m + 3*d. Which is bigger: m or -1678?
m
Let b = 0.05162 + -0.06162. Suppose -2*z + 9 = z. Let d be 1*-4*z/18. Which is bigger: d or b?
b
Let k = -906 - -630. Let j = k - -273. Let u = -0.2 + -1.6. Which is bigger: j or u?
u
Let y be 3/1 - 6/(-3). Suppose 0 = -q + y, k - 2 = q - 3. Let m be ((-54)/k)/((-9)/(-12)). Which is smaller: m or -19?
-19
Let t = 395 - 400. Let b = -0.13 + 0.13. Which is greater: b or t?
b
Suppose 546 = 135*j - 129*j. Suppose -6*z + j = 691. Which is smaller: -103 or z?
-103
Let c = -858 + 858.1. Which is smaller: c or -321?
-321
Let f be (6 - 333/9) + -9. Let g(t) = -51*t - 198. Let n be g(-3). Is f > n?
True
Suppose -641*d + 642*d = -2*l - 461, 2*d = -2*l - 464. Does l = 11?
False
Suppose -4*h + 7*p + 4 = 0, -5*p - 2 = 2*h - 5*h. Let b be -1 + 2 - (7 - 0). Is h smaller than b?
False
Let f(u) = -u**3 - 48*u**2 - 350*u + 43. Let q be f(-39). Let g = 8.7 + -1.7. Which is smaller: g or q?
q
Let j = 11953 + -11946. Is -0.0946 <= j?
True
Let n = 1608.07 + -1609. Is n > 1/8?
False
Let o = 3 + 14. Let b = o - 20. Let t = -37.3 - -50.3. Which is greater: t or b?
t
Suppose -44*q + 3*k + 3810 = -39*q, 0 = 