ose 4*i + i = -5. Which is bigger: w or i?
w
Suppose 494 = 194*b - 434 - 430. Which is smaller: b or -203?
-203
Let y be ((-11 + 11)/(-9))/(2 + -1). Is y greater than or equal to -1/325?
True
Suppose -5*d = -25, -d = -h - 3*d + 22. Suppose h = a - 5*m, 96 = 4*a - 0*m + 4*m. Which is smaller: a or 21?
21
Suppose 8 = -2*a - 4*n, -5*a - 22 = -3*n - 2. Let g be (93/(-13) - -1) + a/(-26). Let l be (-3)/(-9) + 14/g - -3. Which is smaller: l or -5?
-5
Suppose 0 = -8*d + 60 + 36. Let q be d/(-18) + -53*1/(-12). Suppose -29*t + 32*t - 9 = 0. Are t and q equal?
False
Let y(c) be the first derivative of c**4/4 - 13*c**3/3 + 9*c**2/2 - 3*c - 35. Let v be y(12). Let f be 3972/v + (-4)/26. Which is smaller: f or -101?
f
Let y(m) = m**3 - 19*m - 7*m + 5 - 25*m + 0*m**3 - 3*m**2. Let r be y(9). Which is smaller: 31 or r?
31
Let y(r) = 76*r + 36. Let t be y(-26). Let n = 95064/49 + t. Are n and 0 nonequal?
True
Let g = 88075 + -88102. Let b = 0 - -0.2. Which is greater: g or b?
b
Let d be (0 - (-3 - 1)) + 0. Suppose 122 = -d*w + 202. Does 20 = w?
True
Let w = 1509.348 + -1509. Which is bigger: 0.1 or w?
w
Let s be ((-4)/(-14))/((-1480)/70 - -22). Are 3126 and s nonequal?
True
Let d be (4/6)/((-1)/(-9)). Let f be 4*-1 - 12/(7 - d). Is -16 at least as big as f?
True
Let d = -3143.729 + 3148. Let a = -0.271 + d. Which is smaller: -1/18 or a?
-1/18
Suppose -5*a = 5, -4*b - 2*a - 181 = -203. Which is bigger: b or -256?
b
Let c(b) = 60*b**3 - b**2 + 3*b - 2. Let i be c(1). Suppose 276 = t - i. Are 336 and t nonequal?
False
Let k(j) = j**3 - 2*j**2 - 9*j + 8. Let s be k(4). Suppose -4*h = s*i + 28, 0*h = -h + 4*i - 2. Is h smaller than 42?
True
Let s = 8053 + -8001. Is s less than -1/2?
False
Suppose 4*w = -4*o - 24, -w + 4*w - 7 = 2*o. Let d = 11659/39 - 736/13. Let g = 2147/9 - d. Is g > o?
True
Let d be (-3)/(-6) + (-11)/2 - 203. Let t = d - -325. Is t not equal to 117?
False
Let n be (-18)/630*602/(-88). Which is smaller: n or 1?
n
Let s be (2 + 1)/(81/(-2)). Let l = -2223 + 2223. Are s and l unequal?
True
Let d = -212 - -212.43. Let k = -1.57 - d. Which is bigger: k or 27?
27
Let x be 3/(-5) - 2/5. Let j = 19.56 + -3.36. Let c = j - 16.7. Is c greater than or equal to x?
True
Let x be (-6)/(-18) + -34*(-1)/(-48). Suppose -7*f + 4*f = 0. Which is smaller: f or x?
x
Let t = -1030 + 1033.005. Let d = t - 0.005. Let z = -3.1 + d. Is 10 at most z?
False
Suppose q = -4*v - 8, 5*q + 14 = -2*v + 2*q. Is v greater than -47/24?
True
Let n be -1 + 664/(-12) - (-8)/(-12). Let t = -16 + -40. Which is greater: t or n?
t
Let u be (-5 - (-930)/190) + 88053/(-114). Which is greater: u or -774?
u
Suppose -4*u + 13 = 5. Suppose 3 + 5 = u*t. Suppose t - 4 = c. Is -4/3 greater than c?
False
Let m(b) be the second derivative of -b**4/4 + 29*b**3/3 + 24*b**2 + b - 39. Let h be m(20). Which is smaller: h or 6?
6
Suppose -o + 2*z + 2*z - 2 = 0, -2*o + z + 10 = 0. Suppose o*v - 32 = -38. Which is bigger: v or -2/107?
-2/107
Let k be (-43686)/130 + (-66)/429. Let z = k + 336. Which is bigger: 0.28 or z?
0.28
Suppose -3*w + 22 = w + 3*t, w = 3*t - 2. Suppose 6*p - 3*p + 15 = 0, -2*f - 2*p = -530. Let a = -266 + f. Do w and a have the same value?
True
Let g be (8/(-6))/(-2)*(-30)/(-4). Suppose -4*y + g*r + 650 = 0, 0 = -5*y + 4*y - 5*r + 175. Which is smaller: 166 or y?
y
Let y(u) = 7*u**2 - 89*u + 444. Let q be y(5). Is q at most as big as 166?
False
Suppose 3*v = -3*u - 16407, -10973 = 177*u - 175*u - 3*v. Is -5475 >= u?
True
Let j = 71444/9 - 8230. Let z = -292 - j. Which is smaller: z or 1?
z
Let r be (-78)/(-28) - (-8)/(-28). Let k(b) = 15*b - 4. Let d be k(8). Let l = -114 + d. Which is smaller: r or l?
l
Let a be 7/(-28) + 4/2576*(-1 - -382). Which is smaller: a or 0?
0
Let a(y) = y**3 - 23*y**2 + 17*y - 69. Let k be a(20). Is -928 less than k?
False
Let x(n) = -49*n - 11. Let a be x(-5). Suppose -5*c + a = -2*s, 0 = c - 0*c + s - 44. Is 44 smaller than c?
True
Suppose 0 = -f - j - 49, 3*f + 4*j + 94 = -50. Let q be 195/f*8/(-27). Suppose k + 1 = -d - 4, 4*d + 2*k = -10. Which is smaller: d or q?
d
Suppose 2*b - 2*d - 54 = 0, -3*b + 5*d + 3 = -78. Let v = -84 - -57. Let z = 1 - v. Is z at least b?
True
Let u be 9/(-15) + (-108)/(-855). Let y(x) = x + 1. Let j be y(0). Which is smaller: u or j?
u
Let n(p) be the third derivative of 3*p**6/40 + p**5/30 + p**4/8 + p**3/6 + 12*p**2 + 1. Let b be n(-1). Which is greater: 10 or b?
10
Suppose 4*t + 11*w = 55, -2*t - 18*w + 5 = -17*w. Are t and -105/331 unequal?
True
Let v(s) = -6*s + 3. Let j be v(-10). Let z be (-6)/(-8)*-28*(-18)/j. Suppose i = -i + 16. Is i >= z?
True
Suppose 19*x = -16*x + 5285. Which is bigger: x or 601/4?
x
Let i(r) = -r**3 + 2*r**2 + 21*r - 12. Let q be i(6). Let s(u) = u**3 + 9*u**2 + 2*u + 14. Let a be s(-9). Let m be 3 + -34 + (-4)/a. Is q at least as big as m?
True
Let h be 50 + (-88)/((-48)/(-6)). Let t(k) = 3*k**2 + 16*k + 3. Let g be t(-7). Is g equal to h?
False
Suppose -10*b + 0*b - 11*b = -2*b. Let c = -63914/119 - -3760/7. Which is greater: c or b?
c
Suppose 0 = 6*m - 435 - 243. Suppose 0 = 9*d - m + 554. Let l be (-4 - d/14) + 15/(-14). Which is smaller: l or -3?
-3
Let l be (-279)/186*12/31743. Which is smaller: l or 0?
l
Let c be 4/12 - ((-1484)/12 - 2). Let x be -6*(-7)/c + 8/(-6). Which is bigger: x or 1/255?
1/255
Suppose 0 = -3*r - 12, 2*p + 3*r - 2*r = -26. Suppose 0 = t + 2*z + 2, 4*t - 2*z = 18 + 34. Let d = p + t. Which is bigger: -2/25 or d?
-2/25
Let t(j) be the second derivative of j**5/20 + 2*j**4 - 23*j**3/6 + 5*j**2 - 43*j - 2. Let x be t(-25). Is -37 equal to x?
False
Suppose -310 = -71*b + 76*b. Let w = b - -66. Suppose 0 = -8*c - 20 + w. Which is bigger: c or -3/2?
-3/2
Let k(a) = -a**2 - 42*a - 240. Let h be k(-35). Suppose -3*r + 2*r + 5*m = -22, -h = m. Is r >= -36/19?
False
Let o = -268 - -243. Let u be -5*1/(o/10). Let v be 2/11 - 268/(-220). Does u = v?
False
Let q(j) = -120 + 9 + 9*j + 11*j - 27*j + 5*j. Let z be q(5). Which is smaller: -0.2 or z?
z
Let y = 0 + 0. Let o = 0.10927 + -0.47927. Which is bigger: o or y?
y
Let u = 0 - 0. Let l = -54 - -50.25. Let b = -0.35 + l. Is b >= u?
False
Let r = 438 - 620. Let t = r + 182. Is t less than or equal to -15?
False
Let y = 13 - 16. Let x be (y/3)/((-42)/(-93)). Let m = -5/7 - x. Is m at most 0.05?
False
Suppose -4*c - 9708 = 4*g, -3*c - 21 - 6 = 0. Do g and 1/9 have different values?
True
Let s = -44051/10 + 4405. Which is smaller: s or 261?
s
Let i(c) = 3*c**2 + 11*c - 1. Let d be i(-4). Suppose 91 = 2*u - d*v, -u + 4*v - 2*v + 44 = 0. Which is smaller: 51 or u?
u
Let s = 50.6 + -50.2. Let y = -43741/4101 + -1/1367. Let l = y + 265/24. Is l < s?
True
Suppose 4*p = -2*q + 30, 22 = 5*q + 3*p - 46. Suppose 4*w - w = -4*s - q, 2*w = -s - 2. Which is bigger: w or 5/7?
w
Let s = 28 + -34. Let v be 1/1*(-5)/(5/s). Let q be v/4*2/7. Is -1 less than q?
True
Suppose 0 = -38*n + 313*n + 550. Is n greater than or equal to 304?
False
Let z = 1.3 + -0.888. Let o = z - -15.588. Do 1/8 and o have different values?
True
Let l(j) = -j**3 + 10*j**2 + 28*j - 49. Let w be l(12). Which is greater: w or -3/281?
-3/281
Let i = 11688 + -16526. Is i smaller than -4839?
False
Let h = -4848 + 8320. Which is greater: 3473 or h?
3473
Suppose 82*q - 106*q = -15264. Is 638 < q?
False
Let i be 5 + 2 + -3 + 3. Let b = -8 + i. Let u be (-1 + -1)*3/720*6. Is u >= b?
True
Let z be 200/80*(-3)/(-4) + 9 + -11. Let h be (-18)/(-4)*4/6. Suppose 2*k + h*k = 2*a - 3, -4*k = 5*a - 24. Which is smaller: z or k?
z
Let l be 45/((18/120)/1). Suppose -8*w - 412 - l = 0. Is 1 at most w?
False
Suppose -3*y + 22 = -2*t, 5*t - 14 = -0*y - 4*y. Suppose -2*w + 10 = -8. Which is greater: w or y?
w
Let j be (4/(-10))/(-2 - (-38)/20). Suppose k + 5*g = j, 4*k - 4*g = -6 + 46. Suppose 5*y + 4*n + 52 = 0, -13*y + k*y + 3*n - 54 = 0. Is -13 at most y?
True
Let j(w) = -w**3 + 18*w**2 + 19*w + 3. Suppose 4*z + 3*g - 103 = 0, 26 = 3*z - 3*g - 25. Let l = z - 3. Let y be j(l). Which is bigger: y or 26/7?
26/7
Let x(v) = 13*v + 65. Let o be x(-5). Suppose 4 = 5*p + q, -4*p + q - 4 = -o*q. Let t be -2*(-1 + (-28)/(-30)). Which is bigger: p or t?
t
Let w = 5.75 - 2.21. Let i = 1.46 + w. Which is bigger: 0.15 or i?
i
Let l = 9.42 + -8.5. Let r = 7.1 - 9.02. Let g = l + r. Which is smaller: -0.1