w = w + 2, -5*z + 4*w - 5 = 0 for z.
-1
Suppose 3*v - 2*r = 153 + 98, -3*v = 5*r - 244. Let c = -59 + v. Suppose -5*d = -1 - c, -3*d + 11 = -f. Solve -3*g - 10 = -3*j - 2*j, -f*g + 2 = j for g.
0
Let f(i) = i**2 + 3*i + 3. Let r be f(-2). Let n be 1 - r - ((-40)/(-2))/(-1). Suppose -54*o + 50*o = -n. Solve -2*l + 2 = 5*z - o, 5*l + z = -17 for l.
-4
Let t = 7739 - 7735. Solve 6*u - 9*u + 25 = 5*c, 2*u = t*c + 2 for u.
5
Let g(s) be the third derivative of s**5/60 + 5*s**4/12 + 31*s**3/6 - 271*s**2. Let u be g(-7). Solve 0 = 5*x + 4*f - u, -4*x + 6*x = 4*f - 24 for x.
-2
Let k = -6582 - -6587. Solve k*c - z - 2 = 0, 2 - 19 = -2*c - 5*z for c.
1
Let u be (4 - 44/10) + (-366)/10. Let y = u + 41. Let x = 1 + 4. Solve x*h + 3*w - 31 = 0, -10 = -w - y*w for h.
5
Suppose 0 = 11*k - 14*k + 12. Suppose k*v + 5*x = 10, 4*x = -4*v + 13 - 5. Suppose v = -2*r - 0*r. Solve 4*b + r*b - 5*i - 6 = 0, -2*b = 3*i - 14 for b.
4
Let y = 1285 + -1275. Let t = 32 + -28. Solve 0 = -3*q + t*s - 11 - 12, -s = -5*q - y for q.
-1
Suppose -q - 13 = -3*g, 5*g = 4*q + 17 - 0. Solve g*a - 22 = 3*i, 40*a = 36*a + 8 for i.
-4
Let y be ((-12)/(-4))/((-15)/(-200)). Suppose -y*w - 168 = -46*w. Suppose -t - 5*j = 2*t + 13, -4*j = -2*t + w. Solve h + t + 4 = -3*i, i = 5*h + 8 for i.
-2
Let y = 83 + -92. Let a be (2/4)/(y/(-18)). Suppose -4 = -2*u + 34. Solve 0 = -h + 3*q - a, -3*q - u = h + 3*h for h.
-4
Suppose -3236 - 1323 = -192*d - 527. Solve -d*t + 19 = g - 16*t, -4*g + 5*t = 24 for g.
-1
Let t = -242 - -243. Let c be -3 + 0 - 42/(-6) - t. Solve 5 = -2*s - 5*j - 13, 0 = s - c*j - 2 for s.
-4
Let h = 100 + -100. Suppose -4*f + 45 + 22 = -i, h = -3*f - i + 45. Suppose -4*z + 8 = -n, -2*n + f = 5*z + 6. Solve z*d - 2*k = -2 - 2, 3*d - k + 12 = 0 for d.
-5
Let b be (7 + 8)*(-1)/(3 - 6). Solve 3*k + 7*f = b*f + 12, -5*f + 11 = -2*k for k.
2
Let n = -1635 - -1638. Solve 0 = -n*k - 3*a + 12, -7*k + 3*k + 18 = 5*a for k.
2
Suppose -x = -4*x - 276. Let v = -79 - x. Let i be 1/(-4) + (-17)/(-4). Solve 4*k + 2*g - 6 = 0, 2*k - 3*g + i = -v for k.
-1
Suppose 53*m - 48*m = 2*r + 11, -4*m + 4*r + 4 = 0. Solve m*s = -4*t - 17, -4*s + 8 = 2*t - 8*s for t.
-2
Suppose 348 = 80*g + 94*g. Suppose 0*o = -m - 2*o + 8, -o = -m + 2. Solve -s = -5*f - 20, 0 = g*f + s - m*s + 21 for f.
-3
Let z = 7 - -1. Suppose 0 = -13*y + 10*y - 5*k - 29, -41 = 3*y - k. Let t be (-51)/y - (-74)/962. Solve -2*m = 2*f - 0*m - z, -t*m + 25 = -5*f for f.
-1
Suppose 22*v - 8 - 25 = 11. Solve 0*u + b = -5*u - 2, v*u - b + 5 = 0 for u.
-1
Let v be -2 - -7 - (-127 - -132). Solve m = 10*k - 13*k, v = -m + 5*k for m.
0
Suppose -6 = 1115*a - 1118*a. Solve 2*r - 2*m + 5*m = a, 2*r - 2 = m for r.
1
Suppose 5*x + 3*t = -11 - 4, -3*t = 2*x + 15. Suppose i - 14 = a, 4*i - 65 = -x*a - 5*a. Solve 3*q - 15 = q - m, 0 = 5*q - 2*m - i for q.
5
Let p be (0 + -2)*(2 - 3). Let n = 60503 + -60500. Solve 0 = n*w + 5*g - 24, -5*w - p*g + 23 - 2 = 0 for w.
3
Suppose 6*j - 3*j = 6, x = 5*j - 22. Let a = x + 10. Let u be 47/9 + a/9. Solve u*k - 2*f + 0 = 3, -3*f + 1 = -2*k for k.
1
Suppose 0*z - 5*z = -130. Let x = -23 + z. Suppose 3*n + 6 = 4*n - 4*b, -b - 7 = -x*n. Solve d - 5 = n*p + 4, 0 = -d + 3*p + 11 for d.
5
Let k be 1 + (1 - 1) + 1. Suppose 4*s = -2*c - 28, s + 104*c - 94*c = -140. Solve 10 = -s*p - 5*p - k*y, -4*y = 0 for p.
-2
Let v(w) = -w**3 + 48*w**2 - 64*w - 1285. Let f be v(46). Solve -2*t - 3*m - f - 1 = 0, -3*t + 2*m - 6 = 0 for t.
-2
Let y be (-168)/(-48) + 4059/6. Let k = y - 666. Solve -2*c + 14 = l, 2*l - k = -2*c + 4 for l.
4
Let y(m) = -m + 8. Let d be y(5). Suppose 4 = a - 35. Let k = 64 - a. Solve -d*h + 4*h = w - 1, 5*w + k = -h for h.
-5
Let u(g) be the second derivative of -g**5 - g**4/12 + 2*g**3/3 + 2*g**2 + 162*g. Let w be u(-1). Solve j + 5*y + 0 = -23, 5*y = -3*j - w for j.
2
Let a be ((-6)/(-8) - 3) + (-63)/84. Let l(c) = 40*c + 128. Let x be l(a). Solve -4*g = k + 12, k + g + g + x = 0 for k.
-4
Suppose 5*r = -4*f + 88, 26*r = 23*r. Let l = 41 - 17. Let n = l - f. Solve -x = -n, -4*x + 5*x - 4 = m for m.
-2
Let v(t) = -t**3 - 6*t**2 - 2*t + 3. Let j be v(0). Suppose -j*r + 212 = 197. Solve -r*p + 4*b = -0*b + 16, 3*b = -2*p - 11 for p.
-4
Let g = -4725 - -4730. Solve g*k + 50 = -5*h, -5*k - h - 45 = -11 for k.
-6
Let m be ((-406)/232)/(2/(-1072)). Let i = -926 + m. Let d be 4 + (1 + -2 - -3). Solve 4*b = 3*x + 23, -d*x + 2*b = -4*x + i for x.
-1
Suppose 3*p - 9*p + 30 = 0. Suppose p*k = o + 15, 2*k - 3*o = -2*o + 9. Solve -k*g - 18 = 5*v, v - 2*g + 5 = -1 for v.
-4
Suppose -3*z - 2 = 2*g - z, 15 = 5*g - 5*z. Let o(r) = -6*r - 22. Let d be o(-8). Suppose -v - 21 = -d. Solve -2*l = c - v - g, -21 = 4*c - l for c.
-4
Suppose 163*k - 165*k = -2*b - 28, -4*k + 28 = 3*b. Solve h + 5*y = -k, -h - 2 = 2*y + 5 for h.
-5
Let c = -150 + 290. Suppose z = n + 3*z - 14, c = 5*n - 4*z. Let t = n + -8. Solve -5*x + 3*r + t = 4, -9 = -2*x - 3*r for x.
3
Suppose 0 = 3*y + 12*z - 7*z - 32, -5*y + z + 16 = 0. Suppose -5*a + 14 = -f + 1, -y*f + 4*a = 4. Solve -5*t = -2*x - 35, t - 6*t - f*x + 15 = 0 for t.
5
Let t(k) = -k**3 - 2*k**2 + 6*k + 1. Let c be t(-3). Let p(d) = -d**2 - 11*d - 16. Let b be p(c). Let i = -7 + b. Solve 5*n = -5*j, -3*j - i + 2 = 4*n for j.
-1
Let z(h) = 2*h**3 + 16*h**2 + 2*h + 23. Let v(k) = k - 14. Let i be v(6). Let c be z(i). Solve m = 4*g - 17, -5*g + c*m = 3*m - 13 for g.
5
Suppose -97*k + 5088 = 327*k. Solve 0 = c + 3*r - 17, -16*c + k*c - 3*r = -32 for c.
5
Let t(q) = -q**3 - 42*q**2 + 45*q + 89. Let p be 261/(-6) - 1/(-2). Let u be t(p). Solve 0 = -2*h - u*j + 4, -4*j + 20 = -3*h - 8 for h.
-4
Let x(t) = -2*t**3 + 92*t**2 - 3*t + 141. Let f be x(46). Solve 0 = -2*r + 5*v - 6 + f, -3*v = -4*r - 13 for r.
-4
Let h(j) = -j - 32. Let i be h(-8). Let v = 27 + i. Solve 0*r + 3*q + 17 = -2*r, -v*r - 3 = -3*q for r.
-4
Suppose -3*t - 10*h + 7*h + 12 = 0, 0 = 5*t - 5*h. Solve -t*i = -4, 43*i - 14 = -4*v + 38*i for v.
1
Suppose -5*j + 23 = -2. Suppose -4 = 2*k, -6 = 4*b + 5*k - 2*k. Solve -o + j*t - 12 - 9 = b, -5*o - t + 25 = 0 for o.
4
Suppose -79 + 200 = 5*h + 3*n, 3*n = 2*h - 40. Suppose 3*f + 5*c - 30 = 4, 3*f = 2*c - 1. Solve f*x = -5*z - 3, -8 = -5*z - h for x.
4
Let o = 87 + -59. Suppose -26*n = -o*n + 6. Suppose -3 = 2*z - 9. Solve z*h = -3*s + 12, 0*h - n*h = -5*s - 4 for h.
3
Let p(s) = s**2 + s - 29. Let m be p(-5). Let z(n) = -n**3 - 11*n**2 - 18*n + 3. Let j be z(m). Solve 0 = 2*q - 3*f - 8, -j*f - 12 = -0*f for q.
-2
Suppose 31*k = -38 + 162. Solve -5*g - 6 = -4*i, -5 - 7 = 4*i + k*g for i.
-1
Let i(c) = c**3 - 12*c**2 + 13*c + 3. Let m be i(12). Let a = m - 157. Solve -v + 7 = -a*w - 0*v, 5*v - 21 = -4*w for w.
-1
Let p(c) be the first derivative of -c**3/3 - 11*c**2/2 - 25*c + 69. Let k be p(-6). Solve 5*x = -4*r - 16, 0 = 2*x + k*r + 3 - 0 for x.
-4
Let o be 2/(-1) + (-8 + -9764)/14. Let d be 6/(-10)*o/210. Solve d*g - 2*l - 2 = 0, 4*g - l = l + 4 for g.
1
Let o = 1767 - 1761. Solve -b - 3*k = -13, 4*b + 10*k - o*k = 12 for b.
-2
Let z be (1 + 3)/(2/(-56)*-28). Solve -z*q - 5*g - 2 - 5 = 0, -2*g - 16 = -5*q for q.
2
Suppose -253*p + 256*p - 12 = h, p - 4 = 5*h. Solve -d - 1 = -3*y - 7, -2*d - p*y = 18 for d.
-3
Let o(j) = j**3 - 25*j**2 + 138*j - 32. Let l be o(17). Solve -4*n + 20 = -l*g, 0*n = 3*g - n + 5 for g.
0
Let i be (-4)/(-8) - (-390)/20. Let t(f) = -f + 1. Let p be t(-3). Solve 3*y - 2*u = p*y - 5, -4*y + u = -i for y.
5
Let b be (-13)/5 - (-76)/10. Solve 0 = -40*u + 43*u - 3*f + 6, -b*u + 4*f - 7 = 0 for u.
1
Let g be (-4)/10 + 72/5. Let a = 12392 + -12382. Solve -2*s = 5*v - g, 6 = 4*v - a for s.
-3
Let y(o) = -o**3 + o**2 + o + 7. Let k be y(0). Suppose 2*b + u + 114 = -89, 0 = -4*b + 4*u - 376. Let g = b + 102. Solve -2 = g*c + k, -p + 20 = -5*c for p.
5
Suppose 0 = -91*b + 110*b - 228. Solve -2*m = 2*w + 3*m + 11, -b = 4*m for w.
2
Let m = -93 + 94. Suppose 0 - 4 = -2*q. Let y be (q - -2)*(-7)/(-14). Solve m - 18 = 3*b - d, -4*b = -y*d + 24 for b.
-5
Suppose -1073*z + 1070*z + 5*t = -81, 4*z + 4*t - 44 = 0. Solve -5*w - 2*a = -z, -5*w + 3*w + 4*a = -26 for w.
5
Let a(x) = -5*x**3 + 130*x**2 + 137*x + 22. Let n be a(27). Solve -n = -4*l - 56, 0 = -4*q + 3*l - 15 for q.
0
Suppose 4*f - 65 = 3*y, 67*f - 71*f - 70 = 2*y. Suppose q + 24 + 4 = -c, -c = -1. Let l = y - q. Solve 