er: 181 or g?
g
Let k = -858 + 860. Let n(m) = -2*m**2 + 2*m. Let b be n(k). Which is greater: 0.2 or b?
0.2
Suppose 136 = 2*l + 4*b, 4*l + 353*b - 358*b - 246 = 0. Is 60 greater than l?
False
Let a be 1/(1530/165888) - (-2)/5. Which is bigger: 109 or a?
109
Suppose -a = -4*p - 11200, -8*p + 3*a = -4*p + 11192. Do -2801 and p have the same value?
True
Suppose -1511*p + 1509*p - 8 = 0. Is -232 <= p?
True
Suppose 4*v - 4*b + 24 = 0, 6*v + 136*b + 24 = 138*b. Is -228/103 > v?
True
Let u = -102.141 + 0.141. Let k = u + 106. Let d = 159 + -1115/7. Is k > d?
True
Let t(f) be the third derivative of 7*f**4/12 - 6*f**2. Let y be t(-1). Suppose 6*v = -41 - 37. Which is bigger: v or y?
v
Suppose 56 = 5*z - 2*c, -4 = -z - c - c. Let g = z + -13. Let j be (15/(-35) - (-306)/420)*-6*1. Are g and j equal?
False
Suppose 51 = 5*m - 409. Let l(r) = 56*r - 243. Let p be l(6). Which is bigger: p or m?
p
Let k be (-9 - 2023/(-51))/(2 - 15/9). Is 2660/29 <= k?
True
Let p = -1307/9 + 145. Let i = -0.3 + 0.4. Let a = 0 - i. Is p less than a?
True
Let x = 39.1224 - 0.1224. Is x smaller than -2/5?
False
Suppose -3*n + 19 = l, 2*n + 0*l - 2 = 2*l. Suppose n*z - 5*i - 37 = 8, 2*z + 2*i = 2. Suppose 5*j = -z*j - 70. Is -6 not equal to j?
True
Let b = -4.306 + 4.206. Which is greater: -0.664 or b?
b
Let g(d) be the first derivative of 5/2*d**2 + 4*d + 2/3*d**3 - 10 - 1/2*d**4. Let o be g(3). Is o less than -17?
False
Let m = -38364 - -50878. Is 12515 less than m?
False
Let h = -78.58 + 79. Let n = -33.58 - h. Let d = 0.3 + -0.3. Which is bigger: n or d?
d
Let r(o) be the first derivative of -o**2 + 17*o + 20. Let q be r(7). Suppose -3*d - 6 = -5*t, d = q*d + t + 4. Is -8 != d?
True
Let r = -4429 + 4403. Which is smaller: r or 21?
r
Suppose -q - 3853 = -2*r - 3691, 0 = 4*q + 3*r + 714. Which is smaller: q or -151?
q
Let m = 6841 - 6802. Do m and 36 have different values?
True
Let j(t) = -t**2 - 13*t - 35. Let s be j(-5). Let z be s/(-5)*4*3/(-4). Is z != 1?
True
Let v(n) = -4*n**2 - 31*n - 9. Let h be v(-8). Let y = 18482/7 - 2658. Which is smaller: h or y?
y
Suppose -2223 = -24*i + 4569. Suppose 3*g - 2*b + i = -0*g, 3*g + 298 = 5*b. Is g smaller than -2/3?
True
Let a(l) = -2*l**2 - 66. Let k be a(8). Is k > -43?
False
Let h be (1 + 0 + -2)*20418/(-41). Are h and 498 equal?
True
Let d = 3/164728 - -524988103/1812008. Let n = 290 - d. Let h = n - -2/33. Which is smaller: 1 or h?
h
Let o = 0.016 + -0.042. Let b = -48.026 - o. Let h = 48.1 + b. Which is smaller: h or 4.4?
h
Let u(m) = -3*m**2 + 19*m - 57. Let z(i) = 4*i**2 - 20*i + 58. Let q(p) = 3*u(p) + 2*z(p). Let n be q(13). Is n less than -6?
False
Let h = 2.4 - 2. Let g = 0.33 - h. Let j = -4611 - -4610.9. Which is smaller: j or g?
j
Let i = 0.1 - 0.07. Let w = -958/9 + 29680/279. Which is greater: i or w?
i
Let a = -1.1 + 1.03. Let d = a - -0.141. Let c = -0.27 - -0.27. Which is bigger: d or c?
d
Let c = -13055 + 13022. Which is smaller: c or -55?
-55
Let f(z) be the first derivative of z**4/4 - 4*z**3 - 27*z**2/2 - 14*z + 1. Let u be f(14). Which is smaller: -4/65 or u?
-4/65
Let f(s) = -s**3 - 2*s**2 + 46*s + 129. Let i be f(-3). Is 8/801 at most i?
False
Let d = -12010 - -12010.02. Are 1/24 and d equal?
False
Let s = -20 + -7. Let z = s - -27.19. Let m = 1.19 - z. Which is smaller: -6 or m?
-6
Let i be (10 - 1)*(-22 - -23). Let u be -2 - (2/4)/(i/1818). Is u > -103?
False
Let v be 3 - 6/(1 - -2). Let i be (387987/(-94))/((-15)/(-6)). Let g = -1651 - i. Which is smaller: g or v?
g
Let m be ((-130)/78)/(1/15). Let w be (-1 + (5/m - -1))/1. Which is smaller: w or 11?
w
Suppose -55 = 3*o - 7*o + y, -50 = -5*o + 5*y. Let f(z) = -4*z - 11*z - o + 8*z - 7. Let h be f(-3). Which is greater: h or 1/81?
1/81
Let v(j) = j**3 + 10*j**2 - 3*j - 118. Let p be v(-9). Suppose 0 = 3*b - 7*b - 12. Let q be b*2/(-12)*-26. Which is smaller: q or p?
q
Let y be (4 - 25/(-1)) + -5. Let w = -26 + y. Let d(k) = k - 14. Let h be d(w). Which is smaller: h or -82/5?
-82/5
Let z = -16.52 - -18.3. Let s = 2.18 - z. Is s less than or equal to -0.008?
False
Let l be 70/30 + 2/3. Let x be (-6)/(-2)*((-3)/l)/(-1). Suppose t + t = 5*h + 28, -2*t = -x*h - 20. Which is smaller: -0.2 or t?
-0.2
Let v = -143 + 575. Let d be (-308)/(-847) + v/22. Is 127/6 <= d?
False
Let c be (-32)/4 + 10 - (-1 + 1695). Which is smaller: c or -1694?
-1694
Let r(j) = -j**2 + 33*j + 380. Let d be r(42). Let k = -542/3185 - -4/245. Let i = k - -19/208. Is i >= d?
False
Let f(i) = i**3 - 18*i**2 + 18*i - 13. Let y(p) = 2*p**3 - 3*p**2 - 3*p - 1. Let o be y(3). Let s be f(o). Which is smaller: 2 or s?
2
Let x = 560 - 559. Let u = -353 - -389. Is u less than x?
False
Let u(f) = f**2 - 8*f - 14. Let b be u(10). Suppose -b*l = -4*l - 8. Suppose a = 4*z + 1 + 10, l*z + 9 = 3*a. Is 0 != a?
True
Let o = 80 + -83. Let p be (-3483)/(-27) - (o - 0). Which is smaller: -2/7 or p?
-2/7
Let s = 1739 + -993. Let b = s - 746. Which is smaller: b or -25?
-25
Let m be 66 + ((-2)/(-4)*-2 - (160 - 155)). Let d(r) = r**3 + 3*r**2 + r + 2. Let z be d(3). Which is greater: m or z?
m
Let o be 1376/28 - ((-4)/2)/(-14). Is -10 not equal to o?
True
Let l be (15 - 20) + (-1 - -1) + (-297)/(-55). Which is smaller: l or 157?
l
Let b be 24/84 - (2 + (-30228)/(-546)). Is -57 greater than b?
True
Suppose 5*m - 5*l - 3 - 17 = 0, -m - 2*l + 16 = 0. Let a be 0 + 14/m - 2/(-8). Suppose -4 = -a*j - 3*v + 1, 5*j + 5*v = 10. Which is bigger: 1/45 or j?
j
Let g = 1 + -0.8. Let s = 67.28 + -1.28. Let k = 61 - s. Is g less than k?
False
Let k be 2 + -3 + 900 - (-50)/(-10). Suppose 0 = -c + k - 862. Is 97/3 != c?
True
Let v be 304/260 + (-2)/5. Suppose 0 = -5*w - 5, 128 = -2*u + 2*w - 176. Let c = u - -154. Which is bigger: v or c?
c
Let f be ((-1)/2)/(((-39)/(-6))/13). Suppose -3*h + 62 + 61 = -3*r, -191 = 5*r + 2*h. Let y be (-1 - r/45)*6. Which is smaller: y or f?
f
Let u be (154/(-3927))/(6/28). Which is greater: -1 or u?
u
Let n = -116.049 - -116. Let h = n + -67.951. Let f = h - -67.8. Is f < 7?
True
Let m be (2 + -2)*(-33)/33. Which is bigger: m or -21/47?
m
Let f(r) = 3 + 6*r**2 + 5*r**2 - 7*r**2 - 5 - 2*r. Let h be f(-1). Suppose -h*c = c + 50. Does -10 = c?
True
Let n = 11810 - 11809. Which is bigger: 1/2913 or n?
n
Suppose 2*i = 8*i - 2*i. Let b be 146*1*(-6)/(-12) + i. Let q = b - 76. Is q at most -12?
False
Let p(t) = 2*t**3 + 27*t**2 + 11*t - 23. Let u be p(-13). Suppose 3 = 3*d, -u*d = -x - 6*d + 12. Which is smaller: x or 7?
7
Let q be (-12)/20 + 1 + 564/(-10). Let c = 24 + q. Let f be (4 - (-212)/c)*(-2)/6. Which is smaller: 0 or f?
0
Let s(x) = -x**2 + 6*x - 8. Let b be s(-6). Suppose -9*h + 1232 = -4*h - 2*z, 3*h - 764 = -5*z. Suppose 4*c + h = -72. Is b less than or equal to c?
True
Let y be (((-12)/(-2))/(-3))/(2 + 2). Let i = 42489/70 + -607. Which is bigger: i or y?
i
Let j = -111 - -77. Let n = 454.3 + -488. Let m = n - j. Which is smaller: m or 5?
m
Let w = -69 + -20. Let v = -5 + w. Are -95 and v non-equal?
True
Let l = 212.5 + -210.78. Is l greater than -2?
True
Let u(h) = -2*h**3 - 23*h**2 + 11*h - 2. Let k be u(-12). Suppose 0 = k*l + 574 - 194. Which is smaller: l or -39?
-39
Let w be 111694/(-110) - 4/(-10). Let p be 3/(-12)*120/w. Is p at most 0?
False
Suppose -4*q - 2*r + 72 - 64 = 0, 0 = -5*q + 5*r - 5. Which is greater: q or -18/287?
q
Let p = -5345 + 5179. Which is greater: -178 or p?
p
Let k be 30/(-20)*(-102)/9. Suppose k*y + 19 = 36*y. Let j be 12/(-8) + 0 + (-162)/(-124). Is j < y?
True
Let o(i) = 80*i + 11935. Let p be o(-148). Are -15 and p unequal?
True
Suppose 0 = 4*i - 2*l - 6, 3*l + l = -12. Which is smaller: 6/247 or i?
i
Suppose 10*t + 179 - 3182 = 23*t. Which is smaller: t or -2542/11?
-2542/11
Suppose -i + 4*i + 1368 = 5*h, 3*h = -5*i + 814. Suppose -5*o = 2*o + h. Let u = 37 + o. Is u at least 2?
False
Let y = 44.62 - 46.18. Which is greater: 0 or y?
0
Suppose -90 = 3*d - 18*d. Suppose 0 = d*p - 14 + 8. Which is smaller: -1/255 or p?
-1/255
Let l be (-9)/25 + 26/65. Let r(b) = 11*b + 86. Let m(w) = w. Let k(s) = 6*m(s) - r(s). Let j be k(-17). Which is smaller: j or l?
j
Let p = -5/63 + -323/693. Let j = 1254 - 1254. Is p greater than j?
False
Let o = -65 - -80. Let k = -2042/3 - -666. Let u = o + k. Is 5.4 <= u?
False
Suppose 6*t + 14454 = 23*t - 116*t. Is t les