e
Suppose -9*q = -1 - 26. Suppose -2*l + a + a = 8, l + q*a = -12. Let w be (138/13)/l - (-1 - 1). Which is greater: 1 or w?
1
Let d = -54 + 56. Let f be ((-48)/(-9) - -4) + d. Which is bigger: f or 12?
12
Let x = -109.33 - -867.33. Which is smaller: -5 or x?
-5
Let k = -42 - -87. Let b = 38 - k. Let c = 6 + b. Which is smaller: 15 or c?
c
Let p = 256 + -255. Let f = -6 + p. Which is smaller: 8 or f?
f
Let d = -984 + -81.9. Let w = d + 1012. Let u = -54 - w. Which is smaller: -40 or u?
-40
Let w be (-256230)/42702 + (-30)/(-5). Do 0 and w have the same value?
False
Let l(j) = -2*j**2 - 6*j - 7. Let t be l(-2). Let n be t/7 - 0 - 13345/(-31535). Which is smaller: n or -1?
-1
Suppose h - 4 = 3*u - 3, -2*u - 12 = 5*h. Let s = 3 - h. Suppose -3*l + s*w = -4*l + 39, 5*l = w + 65. Which is bigger: l or 44/3?
44/3
Let l(h) = -3*h - 13. Let n be l(9). Let u = -117 + 121. Suppose 2*t - u*g - 22 = -80, 4*t = 4*g - 136. Is t at least n?
True
Let r = -20/3131 - -370038/90799. Are 5 and r unequal?
True
Suppose 0 = -106*z - 61*z + 131*z - 1116. Is -3/2 at most z?
False
Let j be (-2122)/(-77) + (-4)/14. Let n be 375/(-100)*396/(-55). Is n < j?
True
Suppose 51*x = 1501 + 3599. Is x > 0?
True
Let u be (288/216)/((-10)/9*3). Does 3726 = u?
False
Let x be (2 - 2)/(2*-1). Let t(a) = -a**3 - a**2 - a. Let o be t(x). Let q be ((-180)/(-114))/(54/(-36)). Do q and o have the same value?
False
Let h = -1599 + 1635. Let k be (-24)/(-48)*6*14. Is k less than or equal to h?
False
Let x = -233.1 + 236. Let n = x + -5.9. Which is bigger: n or -14?
n
Let g(o) = -2*o**2 + 18*o + 24. Let s be g(10). Let x(z) = -3*z**3 + 10*z**2 - 19*z + 4. Let y be x(s). Is -105 greater than y?
False
Let z be 11/2 - (-4)/8. Suppose 10 = 8*j - z*j. Suppose -2*i = -6, -g = 2*i + 2 + j. Which is smaller: g or -11?
g
Suppose -3*u + d - 2 = 0, -2*u - d = 1576 - 1578. Let n be (-68)/1120 - 4/(-10). Are u and n unequal?
True
Let d = -13221625587908/35385 - -373650575. Let s = 2/1685 - d. Let x = s + 251/84. Which is greater: 2 or x?
x
Let x = 202.4 + -0.4. Let h = x - 191. Which is smaller: h or -0.1?
-0.1
Let l = -3337 - -3337.5. Is 79/5 at least as big as l?
True
Let n be 918/(-4) + (-1)/(-2). Let q be 684*-9*(-31)/(-837). Which is greater: n or q?
q
Suppose 16*n - 15*n - 4 = 0. Suppose n*p - 5*d = -p + 15, 4 = -2*d. Let k be (p - 1)*(-5)/10. Is -5/11 bigger than k?
False
Let l be 347*(-6)/4*(-2)/3. Let o = -305 + l. Are 41 and o equal?
False
Let j = -95 + 80. Let k = 18 + j. Do k and 4 have different values?
True
Let c(h) = -5*h + 23. Let f be c(8). Let d(x) = 3*x**2 - 6*x. Let b be d(6). Let t be (142/(-9) - 1) + (-16)/b. Is f smaller than t?
False
Let o be 8000/96 + 1/(-3). Suppose 14*d - o - 337 = 0. Does d = 144/5?
False
Let w(y) = 57*y - 570. Let i be w(10). Which is bigger: 38/93 or i?
38/93
Suppose 0 = 1603*r - 1701*r. Is r at most as big as -2/3005?
False
Suppose -4*p = 3*z - 8, 0*p + 1 = -p. Suppose -5*b + z = -3*b. Let v = -1210 - -1216. Is b at least v?
False
Let l = -25.8 - -53. Let r = -33.2 + l. Which is smaller: 0 or r?
r
Let t(m) = -23 + 29*m - 3*m**2 - 16 - 20*m. Let p be t(5). Are -70 and p unequal?
True
Let m = -32369/474 + -280/79. Which is bigger: 1 or m?
1
Let d(o) be the second derivative of 11*o**3/3 + 263*o**2/2 - 135*o. Let m be d(-12). Which is smaller: m or -1/133?
m
Let w be ((-209)/(-19) - 3) + 10746/2. Do 5382 and w have the same value?
False
Let i = -636 + 639. Suppose -m + 2*m - i*m = 0. Are 0.0548 and m unequal?
True
Let d = -235 - -280. Let x = d - 497/11. Let i be (-2 - -1)*(1 - 2). Which is smaller: x or i?
x
Suppose -69*s + 22023 = 8335 - 10531. Which is bigger: s or 4?
s
Let o = -209 - -209. Suppose 0 = 2*y - o*y - 6, 4*u - 2*y - 2 = 0. Is 17/15 <= u?
True
Let n be 11 - (-1)/(3/(-6)). Let o be -61*1*9/n. Let g be ((-62)/(-4)*1)/(1/(-4)). Is o at least g?
True
Let g be 6*165/44*(-384)/(-20). Do g and 31 have different values?
True
Let o be 4425/(-19 - -34) - 13. Is 281 bigger than o?
False
Let r = 8190.58 - 8082. Let x = 109 - r. Is -1 at least as big as x?
False
Let m(g) = 124*g**2 + 25*g + 9. Let k be m(-8). Let w be -6 + (k/705 - 5). Which is smaller: -1 or w?
-1
Suppose 0*x = -x + 1. Let l be (30/(-4))/3*(11 + 27). Let s = l - -191/2. Which is smaller: s or x?
s
Let v be ((-6)/(-5))/(6/33). Let f(y) = y**2 - 7*y - 227. Let o be f(37). Suppose -887*u + o*u = -24. Which is smaller: u or v?
u
Let h(w) = 2*w - 9. Let q(f) = f - 5. Let b(a) = -6*h(a) + 11*q(a). Let o be b(-3). Suppose o*c + 6 = c. Is -5 at most as big as c?
False
Let i = 14.2 - 167.2. Let r = i - -154. Is r != 188?
True
Suppose -6*d - 42 = -0*d. Suppose -3*x + 0 - 3 = 0. Let u be ((-4)/6)/(6/(-54)*x). Which is smaller: u or d?
d
Suppose 15*h - 11*h = 4*m - 44, 0 = -3*m + h + 17. Which is smaller: 1571 or m?
m
Let v(d) = 15 - 15*d**2 + 14*d**2 - 10*d - 3*d**2 - 2*d**2 + d**3. Let c be v(5). Do -62 and c have different values?
True
Suppose 5*l + 2218 + 342 = 5*g, -2560 = -5*g + 3*l. Let c be 8/14 - g/112 - -6. Suppose -c*d + 166 = -0*d. Is 82 smaller than d?
True
Let q = -6918 + 6702. Which is smaller: -0.5 or q?
q
Let d(j) = -4*j**3 - j**2 - 3*j - 1. Let y be d(-1). Suppose 0 = -y*o + 54 - 464. Let v = -95 - o. Is -11 bigger than v?
True
Let o = -970.69 + 971. Which is smaller: -0.9 or o?
-0.9
Let x be (-108)/432 + (-2)/(-8). Suppose 2*h + 4*v - 66 = x, 5*h - 3*v - 82 - 135 = 0. Is h >= 41?
True
Suppose 4*y - 501 = z, -2442*z + 4 = -2446*z. Which is smaller: y or 104?
104
Suppose -4*y - 29 = -5*z, -4*z + 4*y - 2 = -26. Suppose -z*t = -6*t + 56. Let i be (t/210)/(2/5). Are 3 and i unequal?
True
Let o(n) = n**2 + 57*n + 189. Let g be o(-38). Which is smaller: g or -538?
-538
Suppose 0 = -77*j + 73*j - 2164. Let a = 638 + j. Which is bigger: 687/7 or a?
687/7
Let v(b) = b**3 + b**2 - 10*b - 11. Let i be v(-3). Let r be (-3 - -5)*(-1)/48. Is i equal to r?
False
Let d = -79 - -70. Let c be (12/d)/2 - (-1699)/(-3). Is c <= -566?
True
Let w = -39 - -6. Let v be (34 + w)*(-1 - 0). Is v > -5/49?
False
Suppose -4*r + 7 = 4*n + 55, 0 = -5*r + 2*n - 67. Let q(k) = -k**2 + 25 + 652*k - 1308*k + 644*k. Let b be q(r). Is 12 less than b?
False
Let t(a) = 6*a**3 - 11*a**2 + 33*a - 10. Let s be t(5). Let i = -637 + s. Is -4 at most as big as i?
False
Suppose -3*o - 2*c = 9 - 192, -2*o - 5*c = -122. Suppose -12*v = -11*v + o. Is v greater than or equal to -59?
False
Suppose -4*h - 385 = -145. Suppose 4*s = -2*r - 360, 64 + 26 = -s - 3*r. Let v = h - s. Is v > -2/3?
True
Let g be ((-2600)/65*1/2)/(-58). Which is greater: 8 or g?
8
Let r = 13644.19 + -13642. Which is greater: r or 1/10?
r
Let b be 1148/738 + (0 - 3/2). Let a = 2 + -16. Let h be 7/(a/6) - -4. Which is bigger: b or h?
h
Let a = -5 - -5. Let f be ((-50)/15 - 4)*-33. Let w be 12/15 - f/870*3. Which is bigger: w or a?
a
Let k be (-1 - (-2)/(-2))*-1. Let a be k/8 - 7/28. Suppose 4*c - g + 5 + 4 = a, 5*c = 4*g - 3. Which is smaller: -4 or c?
-4
Let m be (-48)/(-40)*-7*16/36. Let d be -3*(32/12 - 1). Which is smaller: m or d?
d
Let y = -29 + 165. Let q = 58 - y. Let t = -84 - q. Are t and 0 nonequal?
True
Let c = -5.6 - 60.4. Let r = 74 + c. Let m = r - 7.91. Are m and -6 unequal?
True
Suppose 9*j + 4*j + 851 = -1177. Which is smaller: 43 or j?
j
Let v be 336/(-105) - (-1)/5. Suppose 2*x + 19 = -2*q - 3*q, -12 = 3*q + x. Is q smaller than v?
True
Let j(l) = -13*l + 80. Let s be j(0). Let h be s/(-440) + (-1500)/(-22). Which is smaller: 67 or h?
67
Let o be (-7)/(357/(-162))*(-5)/(-10). Suppose -4*j + 48 - 32 = 0, -19 = h - 5*j. Which is smaller: h or o?
h
Let q be 40/150*(-6)/(-4)*5. Let g be 44 + q/3*36/8. Let t = 66 - g. Is t greater than or equal to 17?
True
Let z be (4/6)/(3 - 30090/10026). Which is greater: z or -558?
z
Let a = -2.8114 + 5.8114. Which is smaller: -3283 or a?
-3283
Let p be (1 + (-886)/(-6))/(12/(-36)). Let m = 450 + p. Is m less than or equal to 65/16?
True
Let p = 337 - 337. Which is greater: p or 13/28?
13/28
Let s = -1.8 - -2.5. Let i = -29650 - -29649.98. Is i less than s?
True
Let y(c) = -41*c + 41. Let l be y(5). Let v = 176 + l. Is 11 at least v?
False
Let c(d) = -91*d**2 + d - 2. Let r be c(1). Let b be r/322*(30/(-8) - 1). Let o = b + -883/630. Which is smaller: 0 or o?
o
Let z = -18 + -17. Let u be ((-18)/21 - (-40)/z) 