er: s or k?
s
Suppose -u - 4*j = -5*u + 684, -3*j = 5*u - 831. Let s = 138 - u. Which is smaller: s or -32?
-32
Let w(k) = -4*k - 2 - 778*k**2 - 714*k**2 + 1572*k**2. Let l be w(-1). Which is smaller: 84 or l?
l
Let p(j) = -1641*j + 3283. Let d be p(2). Which is smaller: 9/1085 or d?
9/1085
Let t(c) be the second derivative of c**4/6 + 7*c**3/6 + 5*c**2/2 - c. Suppose -69 = 88*g - 11 + 294. Let k be t(g). Which is smaller: 66/7 or k?
k
Let h = -0.2411 + 0.0821. Let r = 0.359 + h. Does -43 = r?
False
Suppose 3*z = 7*z. Let d(o) = -2*o**2 - 19*o - 15. Let f(y) = 10*y**2 + 96*y + 76. Let g(a) = -16*d(a) - 3*f(a). Let q be g(-7). Which is smaller: z or q?
q
Let d = -11 - 156. Let m = d + 326. Which is greater: 157 or m?
m
Let d = 29192 + -29425.9. Which is smaller: d or -0.06?
d
Let c = 37 - -63. Let t be (8/(-78))/(c/150). Which is smaller: -2 or t?
-2
Let d be (2 + 2/(-9))*(-132 + -1). Let f = 11576/45 + d. Is f not equal to 21?
True
Let a(c) = -c**2 + 32*c - 28. Let r be a(25). Let f be (8/60)/(r/(-70)). Which is greater: f or -0.1?
f
Let k be (-3)/42 + ((-2133225)/(-42))/15. Is k > 3384?
True
Let t = 1246 - 1247. Which is smaller: t or -185/308?
t
Let n = -205/51 - 34729/102. Is n greater than -344?
False
Let a = 2/47227 + 1936223/1983534. Let h = a - 11/6. Which is smaller: h or -1?
-1
Let i = -3303 - -3555. Is i less than or equal to 249?
False
Let u = 19543 + -19346. Is u equal to 57?
False
Let z be (344 - -115) + (-36 - -20). Let u = -657 - -1100. Do z and u have the same value?
True
Let b(x) = 60*x**2 - 36*x - 74. Let f be b(4). Are 737 and f non-equal?
True
Suppose -h - 5 = -3*u, 2*h - 1 = 7. Suppose -p + 11 = -2*w + 46, -u*w - 188 = 5*p. Are p and -37 equal?
True
Let n be -10 - 25/(-5) - -5. Suppose -2*v - 3*v - 5 = n. Let f(r) = -7*r + 2. Let l be f(v). Is 8 at most l?
True
Let a = -884/65757 - 1/953. Suppose -2*d - 2*d + 4*i = -12, -3*d + i + 3 = 0. Which is greater: d or a?
d
Suppose 48*i = 115*i + 91522. Which is bigger: i or -1364?
-1364
Let l be 180/(-45) + -4*(-2 - 0). Suppose 46 = l*g - 2*c, 0 = 5*g - 3*g + 3*c - 43. Which is smaller: g or 16?
g
Let c(a) = 258*a + 96. Let f be c(8). Suppose -2*w = 2*w - 252. Let v be (-4)/(-14) - f/w. Does -34 = v?
True
Let r = -0.44 - 152.56. Let l = 135 + r. Which is smaller: l or 4?
l
Let g be -4 - ((-4)/(-258))/((-40)/8615). Let x = g - 1/172. Which is smaller: x or 55?
x
Suppose -24*c + 492016 = 88*c. Which is smaller: 1 or c?
1
Let p be -2 + (-27)/(-15) - (-171)/(-95). Let z be (1/(7 - 4))/(p/174). Let t = 28 + -57. Is t greater than z?
False
Let b = 171 + -126. Suppose 0 = -x + b*x + 484. Which is bigger: x or -1?
-1
Suppose -2*a + 4*l = -16, 5*l + 4 = -5*a - 31. Let p be (-18)/(-2) - 3950/158. Is p smaller than a?
True
Let c be 0 - 40/(-6)*780/13. Let b = -398 + c. Which is smaller: b or 5/2?
b
Let p be ((-91)/13 + (9 - 1))/(-5 - -4). Is p smaller than -44/587?
True
Suppose -3*y = r - 28, -y = -3*y - 3*r + 21. Suppose -6*a + 3 = -y. Suppose 0 = 4*c + a*d + 10, 5 = -c - 4*c - d. Does -2/139 = c?
False
Suppose 10*j - 7*j = -2*z - 71, -4*j - 113 = -z. Suppose 8 + 0 = -4*h. Which is smaller: j or h?
j
Suppose -4 = 4*b, 3*m + 4*b = 5*m - 24. Suppose -m*r + 2*d = -6*r + 56, 4*r - 5*d = -50. Which is greater: -14 or r?
-14
Let l = -13 - -18. Suppose 0 = -5*j + 2*w + 3*w - l, 4*j + 5*w = -22. Suppose 4*x + 6*s - 8*s = -18, -s + 1 = 0. Is j bigger than x?
True
Let c = -864 + 1474. Let w = c + -610.62. Which is greater: w or 0.2?
0.2
Let p = -17825/3 + 5942. Suppose 138 = 3*n + 42. Which is greater: p or n?
n
Let l be (246 + -250)*(-68)/4. Let n(w) = -10*w**3 - 2*w**2 + 3*w + 3. Let k be n(-2). Which is smaller: k or l?
l
Let l be ((-18)/(-8) - 1)*16/2. Suppose -4*s - 960 = 3*q, -13*s - 749 = -l*s - 5*q. Which is smaller: -244 or s?
-244
Let h = -5796 - -5741. Which is bigger: h or -57?
h
Let j be (-3 - 488/(-72)) + (-4)/(-18). Suppose j = -122*i + 118*i. Which is smaller: -2/61 or i?
i
Suppose 0 = -10*l + 446 + 564. Suppose -4*g + 4*i = -404, -l = -g + 6*i - 8*i. Is g > 100?
True
Suppose -o - 2 = -11. Let l = 107 - o. Let w = 85 - l. Which is greater: w or -15?
w
Suppose 0 = y + 219 - 221. Suppose -5*u = -v + y*v - 42, 0 = 3*u - 9. Let f be 76/3 - (-2)/(-6). Is f at least v?
False
Let l be (-40)/(-1440)*(1 - -7). Is 73/2 <= l?
False
Let b = 44069 + -44069.6. Let f = -3 - -2.69. Which is greater: b or f?
f
Let v(x) = x**3 + 428*x - 3*x**2 - 14 - 860*x + 423*x. Let w be v(-5). Are -168 and w non-equal?
True
Let k(u) = u + 7. Let x be k(17). Suppose -x = 5*h - 4. Let p be h + 3 + 588/596. Are 0 and p non-equal?
True
Let d = -0.22 - -0.12. Suppose 3*o = -5*h - 33, -2*o = 2*h + h + 21. Let k be (-173)/102 - -2 - (-2)/o. Which is greater: d or k?
k
Let q = -0.2132 - -0.2132. Which is bigger: 0.575 or q?
0.575
Suppose -6*v - 22 = 644. Suppose -454 = 9*n + 536. Which is smaller: n or v?
v
Let t = 26 + -38. Let c = 21 - t. Suppose -12*a - c = -15*a. Do a and 11 have the same value?
True
Let q(j) = -j**2 + j + 64. Let w be q(6). Suppose r - 26 = -3*s, -4*r + 2*r = -3*s + 20. Suppose -2*o + w = -s. Do o and 20 have different values?
True
Let x = -13037 + 13369. Are 342 and x unequal?
True
Suppose 5*g = -5*h - 215, 5*h = -0*g - 2*g - 95. Let q = g + 21. Suppose 77*x = 74*x - 60. Is x >= q?
False
Let v = 564 + -556. Suppose -v*f = 24*f. Does f = 3/143?
False
Let o = -0.05585 + 604.05585. Which is smaller: 2 or o?
2
Let c = -30252 - -30260. Which is smaller: c or 366?
c
Suppose 0 = 31*g - 34*g + 42. Suppose 5*d - 4*i - 3 = g, 12 = -4*i. Let y = d - 0. Which is smaller: y or 14/11?
y
Let k = 1562 - 834. Let f = k - 451. Is -0.1 smaller than f?
True
Let d(c) = c**2 + 5*c - 24. Let y be d(-8). Let g be (-31)/(-132) + (-148)/(-2442). Is y at most g?
True
Let c = 7252 + -1524. Suppose 27*u - 11*u + c = 0. Is -357 at most u?
False
Suppose 4*a - 173 = 1451. Let k = -804 - -1208. Which is smaller: k or a?
k
Let q(b) = 8*b**2 + b + 2. Suppose -8*c = 10 + 6. Let w be q(c). Let p be 2/(-5)*-20*(-2)/w. Is p greater than or equal to 2?
False
Let j be (-6 + 60/7)*-77. Let q = j + 198. Are q and -1/113 non-equal?
True
Let b be (-18)/8 + 2/8. Suppose -5*x + 4*u = -25, -2*x + 0*u = 2*u + 8. Let j be x/b*7*-12. Is j smaller than 42?
False
Suppose 0 = b - 5*o - 15, -o + 162 = 165. Let u = 1805085246637/980992761 + 5/14641683. Let y = -1840 + u. Which is greater: y or b?
y
Let w(u) = -u**3 - 9*u**2 + 19*u - 15. Let y(v) = -v**3 + 14*v**2 + 4. Let i be y(14). Suppose -5*z + 3*k = 40, 5*z + k = -i*k - 80. Let r be w(z). Is 21 > r?
True
Let u(k) be the third derivative of k**4/6 - 41*k**3/3 - 27*k**2 + 2*k. Let q be u(13). Let g be 1 + -5 + (-108)/q. Is g at least as big as 4.9?
False
Let r(x) = -3*x**2 + 26*x + 44. Let t be r(10). Suppose i - 12 = 3*j + j, 0 = 4*i + t*j + 12. Is i greater than or equal to 3/7?
False
Let t(y) be the first derivative of -y**2/2 + 9*y - 10. Let d be t(3). Suppose 8 = n + d. Which is greater: n or 5/8?
n
Let x = 4/124149 + 5162882/124149. Which is greater: x or 42?
42
Suppose -3*b = -361 + 2164. Let n = 574 + b. Suppose -2*s + 10 = 62. Which is smaller: s or n?
n
Let g = 38 - 49. Let y be (-42)/g + 4/22. Let r be y/(-6)*1 + (-16)/(-24). Which is smaller: r or -1?
-1
Suppose -3*z - 5598 = -2*p, 5*p - 10*z - 13995 = -6*z. Are p and 2801 equal?
False
Suppose 0 = 2*k + j - 344, 516 = -k + 4*k - j. Which is bigger: k or 197?
197
Let c = 3/154 - 841/11550. Suppose 4*z - 5*g = 28, -4*g = z - 5*z + 24. Let p be z/8 - ((-8)/1)/(-32). Is p bigger than c?
True
Let l = -645 + 645. Suppose l = -12*f + 22 - 34. Is 2/113 > f?
True
Let l = 24.89 + -1.59. Let w = l - 23.3. Is w greater than 403?
False
Let r = 229 + -219. Let z be 186/174 + r/(-145). Which is smaller: z or -2?
-2
Suppose -4*k = -2*k - 10. Let t be (60/75)/(2/25). Suppose t*s = 11*s. Which is greater: s or k?
k
Let n = 4625 - 4626. Is -53/165 greater than n?
True
Suppose -124*j + 88 = -36*j. Which is smaller: j or 31/83?
31/83
Let t(x) = x**3 - 21*x**2 + 91*x + 12. Let l = -871 - -886. Let v be t(l). Is 28 smaller than v?
False
Let h = -22.84 + 30.84. Is h bigger than -80?
True
Let h = 664 + -701. Let b(z) = -4*z**3 + 2*z**2 + z. Let g be b(-2). Let m = g + h. Which is greater: 2 or m?
2
Let a be 38/2 - (63 + 7192). Are -7236 and a nonequal?
False
S