of -1/12*q**5 + 1/3*q**3 + 0*q - 4*q**2 + 0 + 1/4*q**4 - 1/120*q**6. Let y be a(-6). Which is greater: y or 6?
6
Let j = -56 + 76. Which is smaller: 18 or j?
18
Let p be ((-12)/7)/(-1*7/343). Suppose -10*b = -16*b - p. Is b equal to -13?
False
Let g(c) = 28*c + 129. Let a be g(-17). Which is greater: -348 or a?
a
Let k be (-62)/(-434) + (-166)/(-14). Is k greater than 14?
False
Let a = 27 + -34. Let k be 1 - -2*a/18. Suppose o - 2 = -3. Is k != o?
True
Suppose 38*u - i = 33*u + 3, -2*u + 5*i = 8. Do -6/13 and u have the same value?
False
Let r be (4/70)/(8/9424). Let i = r + -343/5. Suppose -5*p - 7 = -2. Which is smaller: i or p?
i
Let u = 81 - 39. Let o = u - -19. Which is bigger: o or 62?
62
Suppose 28*n = 24*n - 3628. Let l = n + 11785/13. Which is smaller: 0 or l?
l
Let h = -729.7 + 794. Let q = h + -68. Let f = q - -2.1. Which is greater: f or -1?
-1
Suppose -4*r = -4, 2*y + 2*y + 652 = 4*r. Let v = y - -643/4. Are v and -1 unequal?
True
Suppose 4 = m - 2. Suppose 0*o + o = -m. Let p(f) = 5*f**3 - 12*f**2 - 8*f + 3. Let r be p(-1). Is o less than or equal to r?
True
Let u(o) = o + 28. Let b be u(-24). Let l = b - 12. Which is smaller: -11 or l?
-11
Let v be 3831/18 - (-2)/(-6). Let p(b) = 56*b + 16. Let r be p(-4). Let a = r + v. Which is greater: a or 4?
a
Let p be -4 + 13/((-52)/(-16)). Is p at most as big as -6/79?
False
Suppose 6*p - p - 10 = 0. Suppose -p*b = -12*b - 30. Is -7 > b?
False
Suppose 2*x + 8 = 5*t, 9*x + 4 = 8*x. Which is smaller: t or -0.49?
-0.49
Let v = -54 + 51. Let t(u) = -5*u - 15. Let h be t(v). Which is bigger: 1.4 or h?
1.4
Suppose 56 - 83 = -3*z. Which is greater: -26 or z?
z
Let f be 5 - 9914/9910*5. Which is greater: f or 0?
0
Let q = 0 + 0. Let t = -25 + 28. Suppose -8*f + 5 = -t*f. Which is greater: f or q?
f
Let i be -7 - -6 - 52/(-50). Let b = -47/75 - i. Let o = -22 + 18. Is b less than or equal to o?
False
Let j be (-1376)/1360 + 6/10. Is -1 greater than j?
False
Let x be 3/(4 + -1) + -22 + 1. Let i be ((x/(-8))/5)/(81/(-6)). Is 1 less than or equal to i?
False
Let h be (-1 - (-6)/18)*-3. Suppose 0 = h*u + u + 3*u. Let k(l) = -l**3 + 8. Let b be k(0). Is b > u?
True
Suppose 4*j = -5*x - 5 + 13, 0 = 3*j + 3*x - 6. Suppose 3*p - j + 5 = 0. Let v = -16 + 15. Is v at most as big as p?
True
Let o = -5 - -5. Let x = o + 1. Let n = 1252 - 28794/23. Which is greater: n or x?
x
Let u = -1.3 - -0.06. Let q = -0.24 - u. Let p(d) = -d**2 - 4*d - 3. Let z be p(-3). Which is greater: z or q?
q
Let l be 1*(-3 + 4) - (-1 + 2). Suppose 0 = -l*v + 3*v + 15. Is v >= -3/2?
False
Let h = -59 - -57. Which is greater: 28 or h?
28
Let a be 1 - 29*7/182. Which is greater: -1 or a?
a
Let i be 9/6*(-8)/12. Do i and 1/109 have the same value?
False
Let c = 1.3 - 1. Suppose 15 = -4*m - 33. Which is smaller: m or c?
m
Suppose 4*j = -12, -4*m + 17 = -0*m + j. Suppose -10*z = -5*z - 30. Is z > m?
True
Suppose -38 + 126 = -4*s. Let k = -10 - s. Let r be (3 - 8/3)*k. Which is greater: 3 or r?
r
Let d(w) = -w**3 - 22*w**2 + 74*w - 33. Let k be d(-25). Let j be (-149)/22 + 9/(-18). Is j bigger than k?
True
Let d = 2.45 - 2.35. Is -146 <= d?
True
Suppose 2*y = -2*t + 3 - 13, -4*y - 28 = 5*t. Which is bigger: t or -7?
-7
Let j be -10 - (-3 + 10 + -2)/(-1). Suppose 2*g = 4*g + 8. Is g less than or equal to j?
False
Suppose 5 = -5*c, 0 = -5*v + 10*c - 8*c + 3522. Are v and 704 nonequal?
False
Let u = 11/328 - 815/82984. Which is greater: 0 or u?
u
Let q be (-7947)/105 - ((-12)/(-20) + 0). Are q and -77 equal?
False
Let y = 14.1 - -41.9. Let z = -70 + y. Which is smaller: 2 or z?
z
Let w be 9/(-6)*(-7)/(56/(-32)). Which is greater: -49 or w?
w
Let p = 18.58 + -15.8. Let z = p - 2.8. Which is greater: z or -2?
z
Let h = 853/5 + -171. Is 52 smaller than h?
False
Let b(h) = -h**3 + 34*h**2 + 2*h - 84. Let l be b(34). Is -10 greater than or equal to l?
True
Let a = -1/2437 + -2242/475215. Is 2 > a?
True
Let w = -2742 - -2952. Which is greater: 212 or w?
212
Let j(o) = 4 + o**3 - 4*o**3 - 8*o**2 + 2*o**3 - 6. Let g be 4/14 - (-232)/(-28). Let z be j(g). Is z not equal to -1?
True
Let s = 28 - 20. Let u be 1/3*96/s. Which is greater: 14/5 or u?
u
Let f = -6113/7 + 871. Let o = 2586 - 2587. Are o and f nonequal?
True
Suppose -2*o - 4*u = 578, -5*o - 824 - 621 = -5*u. Which is greater: -2/7 or o?
-2/7
Let j = -337/5 + 67. Let d = 0.15 + -0.13. Which is bigger: d or j?
d
Let h = -1/373 - 1115/1492. Which is smaller: -2 or h?
-2
Suppose 0 = m - 5, 3*s - 2*m - 251 = 234. Let r be (12/(-10))/((-22)/s). Is r at least as big as 7?
True
Suppose 25*j - 22*j + 6 = -2*x, 0 = -x - 3. Is j < -7/32?
False
Let t = -112 + 161. Which is smaller: t or 5?
5
Let j = -5 - -11. Suppose 0 = 7*w + 680 - 736. Suppose j = -w*a + 7*a. Is -6 at least a?
True
Let p(y) = y + 1. Let c be p(0). Let n = -2/7819 + 8005/727167. Is n greater than or equal to c?
False
Let c = -23 - -21. Let r be (-7446)/187 + ((-24)/11 - c). Is r at most -39?
True
Let t(u) = u + 10. Let w be t(-10). Let d(y) = y**3 + y**2 - y + 20. Let r be d(w). Suppose -3*m + 4*k = -r, -25 = 2*m + k + 4*k. Which is smaller: -1 or m?
-1
Let x(p) = 4*p + 21. Let v be x(-6). Let y be (4 - 5)*(v + -26). Are 28 and y equal?
False
Let w = -115.95 - -116. Let l = w + -7.95. Which is smaller: 2/5 or l?
l
Let x = -29 - -28.76. Let t = 0.36 - x. Is 2 > t?
True
Let p = -173 - -122. Which is smaller: -50 or p?
p
Let p(k) = k**3 - 18*k**2 - 4*k + 26. Let l be p(18). Are -45 and l nonequal?
True
Suppose 4*x - 32 = -0*x. Let k = -8593 + 8600. Is x < k?
False
Let n be ((-25)/(-10) - 2)*(-50)/(-345). Which is greater: n or -1?
n
Let g be -1 - (-7)/((-98)/66). Let c = g - -307/28. Is c greater than 5?
True
Let d = 563 + -593. Which is greater: d or -27?
-27
Suppose 10*z - 18 = 16*z. Let n be (z + 2)*3 - -2. Let f be (n/6)/((-1)/2). Do f and 0 have different values?
True
Let u = -3.6 + 2.3. Let k = 1.2 + u. Which is smaller: k or -12?
-12
Let z(q) = 17*q - q**3 - 6*q + 2*q**2 + q**2 - 12*q**2 + 7. Let h be z(-10). Let c = -0.7 + 1.7. Is c at least h?
True
Let d be 1 + -1 + -2 + 1. Let q = 6133 - 6130. Which is smaller: q or d?
d
Let k = -36.34 - -36. Let z = -0.16 + k. Which is smaller: 0.1 or z?
z
Suppose -2*s + 102 = -0*s. Which is greater: s or 52?
52
Let u = 281 - 281. Let m(h) = h + 9. Let j be m(0). Let o be j*(12/(-99))/(-2). Is u at least as big as o?
False
Suppose -4*l + 4*z + 20 = 0, -l - 2*z - 10 = -5*l. Suppose 3*d - 3*n + 2 = -7, -3*d - 3*n - 21 = l. Which is bigger: -1 or d?
-1
Suppose 10*v = -17 - 13. Let p be v + ((-60)/(-9) - 3). Is p greater than or equal to 1/13?
True
Let w = 5.597 - 0.617. Let d = 0.33 + -0.35. Let o = d - w. Is -1 greater than o?
True
Let k(b) = -b**3 - 14*b**2 + 14*b - 23. Suppose -3*w - w - 80 = 4*i, 5*w + 3*i + 90 = 0. Let u be k(w). Which is greater: 4 or u?
4
Let s = 18 - 13. Suppose 0 = 4*d - s*m - 52, 3*d + 3*m = 12 + 27. Let j = d - 12. Is 3/5 bigger than j?
False
Let o = -73 + 49. Let z(q) = 2*q - 1. Let f be z(9). Let i = f + o. Is -7 greater than or equal to i?
True
Let z(j) = -2*j**2 + 1. Let p be z(-1). Let i be (p/62)/(3/6). Does 0 = i?
False
Suppose -71 = -16*s + 313. Suppose -t - s = t. Is -11 less than or equal to t?
False
Let a be 6*(5 - 55/10) + -10. Let v be (29/3)/((-2)/6). Let h = 15 + v. Is h smaller than a?
True
Let l(y) = -14*y - 284. Let k be l(-31). Which is smaller: k or 145?
145
Suppose 0 = -27*h - 9*h - 36036. Is -1002 at most h?
True
Suppose -3*j - 6 = 4*i - 18, 0 = 4*i - 5*j - 12. Let o be ((-1)/4)/(i/(-12)). Are o and -2/21 non-equal?
True
Let d be 12/15 - (-2)/(-1). Let s = -158 + 156. Is d less than or equal to s?
False
Let c = -23/33 + -3/22. Which is greater: 1/21 or c?
1/21
Suppose -3*l - 29 - 7 = 5*b, 0 = l - 3*b + 12. Let x be (2/l)/((-105)/42). Which is smaller: -1 or x?
-1
Let n = 1255 + -1183. Is n bigger than 5?
True
Let z = -21 + -20. Let l = 41.1 + z. Is -81 greater than or equal to l?
False
Suppose 0 = 3*d - d. Suppose d*k + 5 = 5*k. Let m = -2/153 + -143/765. Which is smaller: k or m?
m
Let t be (1/(-2))/(-4 - (-2513)/630). Let m = t + -76. Which is smaller: -30 or m?
m
Suppose -1035 = -19*s + 28*s. Are s and -465/4 unequal?
True
Let d be 1/(4*5/60). Let r be d - (-39)/(-15)*1. Do r and -11 have the same value?
False
Suppose -9*g + 2524 = 850. Is 