er: g or z?
g
Let o(j) = -j**3. Let m be o(3). Let g be 158/(-18) + (-6)/m*-1. Which is smaller: g or -10?
-10
Let l(y) = -y**2 - 4*y. Let u be l(-3). Suppose 0 = -6*r + 4*r + 8. Suppose 5*h = 3*h + r. Which is bigger: u or h?
u
Let d be ((-1)/(-2))/(3/30). Suppose -d*a = -3*a. Is -5/6 smaller than a?
True
Let b = -8/7 + 22/21. Which is bigger: 1 or b?
1
Suppose 5*v - 381 = -296. Which is smaller: 81/5 or v?
81/5
Let f = 2176 - 2627. Which is smaller: f or -450?
f
Let p(s) = -s**3 + 7*s**2 - 8*s + 9. Let t be p(6). Let n be t/6*(-2)/1. Suppose 2*z - n - 1 = 0. Which is greater: 7 or z?
7
Let q be 47*(-3 - (0 - 1)). Let f = -39 - q. Which is greater: 57 or f?
57
Let p = -203 - -202. Which is smaller: 86 or p?
p
Let m(t) = 2*t - 23. Let h be m(11). Let g(u) = u**3 + 5*u**2 + 7*u + 12. Let i be g(-5). Which is bigger: h or i?
h
Let v = 319/138 - -1/46. Which is greater: 3 or v?
3
Let t = -42 - -41. Let m be (2 - (t + 4 + -5)) + -4. Is 1/37 >= m?
True
Let w = -22 + 28. Suppose 13 = w*h - 11. Let z be 3*h/24*0. Which is smaller: z or 2/5?
z
Suppose 17 - 9 = -4*h. Let n be 1 - 46/4 - 3/h. Are n and -10 equal?
False
Let o = -17 - -31. Suppose -o*x - 95 = -9*x. Let j = 19 + x. Do j and -2 have the same value?
False
Suppose -3*w + 20 = 4*i, 3*w = 4*i + 14 - 34. Which is smaller: 2/2331 or w?
w
Let t(f) = -f**3 + 28*f**2 - 52*f + 28. Let i be t(26). Which is bigger: i or 30?
30
Let h(w) = -w**3 + 15*w**2 + 2*w + 4. Let x be h(15). Let p = -31 + x. Let k be -2 - -1 - 4/4. Which is bigger: p or k?
p
Let t be (-22)/9405*(-3)/4*2. Which is greater: t or -1?
t
Let x(p) = 86*p + 109. Let s be x(-5). Which is smaller: -320 or s?
s
Let p = -50.6 + 25.2. Is 0.1 <= p?
False
Suppose -5*r = n - 3*n + 1126, -n = 5*r + 1117. Let p be 2*(-2)/(-10) - r/(-160). Let v be (-2)/8 - 19/12. Is v smaller than p?
True
Let m = 41 - 39. Let s be 0/m - (16 - 6). Which is bigger: s or -74/7?
s
Suppose -6*l + 1 = -5. Suppose -2*t - l - 2 = i, -2*t + 3*i = -17. Does t = 5?
False
Suppose 15*l + 31401 = -12*l. Is -1162 greater than l?
True
Let a(o) = -o**2 + 10*o - 434. Let i be a(0). Is -436 smaller than i?
True
Let t = -127.354 - -0.354. Are 0 and t unequal?
True
Let o(d) = -2*d**2 - 9*d + 4. Let t be o(-5). Which is smaller: -8/107 or t?
t
Suppose 0 = -30*h + 28*h + 26. Suppose 6*d - 7*d = -11. Is h <= d?
False
Let m(x) be the first derivative of -x**5/60 - 11*x**4/24 - 8*x**3/3 + 8. Let i(q) be the third derivative of m(q). Let r be i(-7). Which is smaller: r or -2/5?
-2/5
Suppose 6*u = 3*u + 21. Let x be 2/(-10) - 164/(-20). Suppose -19 = -3*s + x. Is s at most u?
False
Let j = -6 + 11. Let u = 382 + -382. Is j <= u?
False
Suppose -5*v - 4*j - 851 = 0, -v = v - 2*j + 344. Are -171 and v unequal?
False
Let u be 3 + 4/(48/(-52)). Let j = 672 - 672. Which is smaller: j or u?
u
Let b = 8081 + -8084. Let h(o) = -o**2 + 4*o + 5. Let d be h(5). Let v be d + 1 + 5/(-4). Is v != b?
True
Suppose -m - 17 = -18*m. Which is smaller: m or 4/5?
4/5
Let s = -184 + 186. Which is smaller: 93 or s?
s
Suppose 5*s + 61 - 11 = 5*g, -2*g - 3*s + 15 = 0. Let o(p) = p**3 - 6*p**2 + 3*p + 11. Let r be o(g). Let b = r - 3093/11. Which is greater: 0.1 or b?
0.1
Let v be (-138)/28 + 14 + -8. Is 1 greater than v?
False
Suppose 0*b = -5*b + 45. Suppose 2*u = -b + 3. Is u != -2/3?
True
Let v(l) = l**3 + 45*l**2 - 41*l - 34. Let t be v(-46). Which is bigger: -267 or t?
t
Let f = -9431/24 + 393. Which is smaller: f or -0.3?
-0.3
Suppose -178 + 1120 = -2*y. Is -473 less than or equal to y?
True
Let j = 165.2 + -181.33. Let r = 16 + j. Let t = r + 0.05. Is 0 equal to t?
False
Let d(u) = 2*u**2 - 5*u + 2. Let x be d(3). Let r(b) = -b**3 + 7*b**2 - b + 14. Let c be r(7). Suppose -3 = -x*i + c. Which is smaller: i or 1?
1
Let r = -31 + 38. Suppose r = 4*z - 3*c - 6, 4*z - 4*c = 16. Which is greater: 4/5 or z?
z
Suppose -4*g - 32 = 5*y, 3*g + 2 = g + y. Let m be 0/(-2) + 9/g. Let p be 1/m - 5/(-15). Is p bigger than 0?
False
Let a be ((-72)/20 + 6)/((-55)/25). Let l(q) = q**3 + 5*q**2 + 4*q - 1. Let x be l(-4). Which is smaller: x or a?
a
Let t(f) = -f**3 + 12*f**2 - 32*f + 1. Let x be t(8). Is x less than -1/877?
False
Let c be (-20)/((-4)/2)*1/(-41). Let v = -136/451 + c. Is -2 at most v?
True
Let h(q) be the second derivative of 5*q**3 + q**2/2 + 8*q. Let z be h(1). Suppose z*s = 36*s + 5. Which is smaller: s or 1/27?
s
Let s = 7 - 6. Suppose 0 = 5*b + 3*g + 25, 5*b + 19 = -2*g - s. Let y(w) = 3*w + 3. Let q be y(b). Is -3 greater than q?
False
Suppose 3*w + 1169 = -1333. Let k = 2561/3 + w. Which is bigger: k or 21?
21
Let q(y) = y**3 - 19*y**2 - 15*y - 54. Let u be q(20). Which is smaller: u or 49?
u
Let i(z) = -60*z**3 + z**2 - 1. Let w be i(-1). Let y be w/(-15) + (-104)/(-25). Is y smaller than 1?
True
Let y(i) = 4 + 0 - i + 0*i - 2. Let q be y(0). Let k be ((-3)/q)/((-120)/(-4)). Is k at least as big as -1?
True
Suppose 10*z - 15 = -145. Which is greater: z or -15?
z
Suppose -3*t - 15 - 3 = -3*l, 0 = t + 4. Suppose 0 = 2*d + a - 5*a - l, -d - 3*a - 4 = 0. Let b = 1213/6075 + 2/6075. Which is greater: d or b?
b
Let b = 1.6 - 28.1. Let v = 50 + -78. Let f = b - v. Which is greater: 0 or f?
f
Suppose 0 = -73*n + 111*n + 60534. Do -1592 and n have different values?
True
Let r = 1231.82 + -1232. Let m = 2.5 + -0.5. Which is smaller: r or m?
r
Let w be 2/(-3)*12/(-2). Suppose 0*f + 3*u - 12 = -5*f, -2*f - u + w = 0. Let j = -7561/21 + 1078/3. Are j and f nonequal?
True
Suppose -5*c + 254 = -321. Suppose -7 + c = 2*p. Let k = -217/4 + p. Is 22 smaller than k?
False
Let c be 8 + (-11 - -1 - -3). Let m = -246 + 2216/9. Which is greater: m or c?
c
Let x = -14 - -12.1. Let l = x + 1.89. Let d = -116 - -814/7. Is l <= d?
True
Suppose -12*v - 23 = 1. Let x(f) = -18*f**2 - 7*f - 8. Let d be x(v). Are -67 and d unequal?
True
Let d = -829 + 870. Is d bigger than 41?
False
Suppose -3*n - 68 = -20. Let r = n - -6. Let o = r - -5. Which is bigger: o or -3?
-3
Let c = -377 + 5653/15. Let u(m) = -m**2 + 2*m + 2. Let z be u(3). Is z > c?
False
Suppose 4*u + 32 = 4*j, 0 = 6*u - 5*u + 3*j + 4. Let t be 14/(-63) + (-3)/((-54)/184). Let n = t + u. Which is smaller: 4 or n?
n
Let v = -324.05 - -324. Is v less than -6?
False
Let h = 0.875 - 0.8208. Which is smaller: -2/5 or h?
-2/5
Suppose j - g + 11 = 3*j, 0 = j - g - 1. Suppose -3*u - 12 = 2*b, u - 1 = j*b - 5. Are -3/29 and b equal?
False
Suppose -3*v + 16 = 19. Let q be -4 + v + 292/60. Are q and 1 nonequal?
True
Let o = -5471/234204 - -1/2692. Let i = -52/261 + o. Let f be ((-2)/(-4))/((-1)/2). Which is smaller: f or i?
f
Let h(x) = x - 3. Let s be h(7). Suppose -s*k + a - 20 - 27 = 0, -2*a = -6. Let u = -1 + k. Are -11 and u equal?
False
Let y = 327.634 + -0.634. Is y not equal to 1/5?
True
Let y be (-13120)/18655 + (-12)/(-14) + 0. Suppose -3*p + 3*h - 4*h = -2, -p - 21 = -4*h. Is p equal to y?
False
Suppose 15*s - 10*s + 28 = a, -5*a = -3*s - 30. Is s at least as big as -65/12?
True
Let p = -151 + 180. Do p and -2 have the same value?
False
Let h = -46 + 90. Let n = -12.38 - -12.28. Is h bigger than n?
True
Suppose 62*v - 13*v = 147. Which is smaller: 7/2 or v?
v
Let x be (-2)/(-3) - 110/30. Let s(u) = -4*u**3 - u**2 - u + 1. Let z be s(1). Which is greater: z or x?
x
Let i = -7589/40 + 1271/8. Let t = -138/5 - i. Is 2 smaller than t?
True
Suppose -4*w + 4596 = 12116. Let u = -28214/15 - w. Which is greater: u or -1?
u
Let r(l) = -l**3 + 19*l**2 - 54*l + 21. Let z be r(16). Is -75 at least z?
True
Let g be (-101)/(-303) - (-2)/(-6). Is g at most -2/2021?
False
Let f be (-39)/91 - (2484/1743)/(-4). Which is bigger: -0.2 or f?
f
Let c be (4 - (-2724)/(-544)) + 1. Let v = 135 + -136. Which is greater: v or c?
c
Let r be 5 + (-5)/10*2. Let x be 3 - (-35)/(-60)*r. Let h(j) = -j**3 - 6*j**2 + 2. Let a be h(-6). Which is smaller: a or x?
x
Let g = 0.11 - 0.21. Let j be (5/(-3))/((-30)/(-20)). Which is bigger: j or g?
g
Suppose -w - 82 = -3*w. Let q = 42 - w. Do q and -2/79 have the same value?
False
Let n = 3.03 - 4.03. Is -22 at least n?
False
Let a = 0.1712 - 0.0712. Is -73 at least as big as a?
False
Let m be (-4)/14 + ((-193)/(-14) - 4). Which is smaller: 9 or m?
9
Let m(x) = x**3 + 5*x**2 - 9*x + 8. Let f be m(-7). Which is greater: f or -30?
f
Let c = -39 + 54. Suppose 0 = -2