+ 8 = 2*t for t.
-1
Suppose 0 = 3*q - 5*y - 29, q = -y + 2 - 3. Solve -3*u - 4*g = 20, 10 = 4*u - q*g + g for u.
0
Suppose -5*a + 40 = -2*x, 4*a - 3*x - 62 + 23 = 0. Suppose 70*w - a = 67*w. Solve -3*v - w*v + 4*m + 45 = 0, -4*m - 20 = 0 for v.
5
Let o(j) = -j**3 + 12*j**2 + 10. Let z be o(12). Let w be (-15 + 13)/((-4)/z). Solve w*p - 5*u = -35, -6 = 5*p - 2*u + 14 for p.
-2
Let y(c) = -c**3 - 2*c**2 + 3. Let j be (11 - 10)/(1/(-2) - 0). Let m be y(j). Solve 4*l + k + 9 + 12 = 0, -m*l + 5*k = 10 for l.
-5
Let j be 2 + (12/(-42) - (-6)/21). Suppose -3*q = j*p - 2, 3*p = 4*p - 4*q - 12. Solve -p*m - 4*o = -5*o + 5, 4 = m + 5*o for m.
-1
Let g(i) be the second derivative of 1/6*i**3 - 1/6*i**4 + 8*i - 1/20*i**5 + 0 + i**2. Let l be g(0). Solve 0*a - 20 = -l*a - 3*x, 2*x = 2*a for a.
4
Let h(p) = 3*p - 7. Let w be h(-5). Let z be (-18)/w + (-10)/(-55). Suppose m - 11 + z = 0. Solve 5*k - 28 = j, -2*j - k - m = 3*j for j.
-3
Suppose 70 = -6*y + y. Let v = y + 16. Solve -2*d - 12 = d + v*p, p + 3 = 0 for d.
-2
Let r = -834 - -839. Solve -2*c + 5 = s, -15*c + 14*c = r*s - 25 for c.
0
Let a = -9 - -16. Let d = -17 + a. Let t = d - -11. Solve 3*x = 5*z - 13, -5*z - 5*x + 4 = -t for z.
2
Let g = 23 + -9. Let z(j) = 454 + 3*j - 2*j - 463. Let i be z(g). Solve 0*r - 5 = h + 2*r, i*h - 5*r - 50 = 0 for h.
5
Let r = -5 - -8. Let i = 2379 - 2361. Solve 4*z - 4*w = -36, i = -r*z + 4*w - 13 for z.
-5
Let m = -5 - -8. Let u = -125 + 132. Solve -m*z - 2*j = u, -3*z + 2*j + 2*j = -23 for z.
1
Let s be (-2)/3 + 94/6. Let a be 3*-2*(-10)/s. Suppose 10 + 2 = a*h. Solve -f - 3*q - 14 = 0, -2*f = h*q + 6 + 7 for f.
1
Suppose z + 4*u + 23 = 0, u + 25 = -2*z - 0*u. Suppose -5*d + 99 = 9. Let s = z + d. Solve 7 = -2*o + 3*t, 2*t + 20 = 5*o + s*t for o.
1
Let u = -306 - -311. Solve u*q + 5 = 0, -31 = 5*w - q - 12 for w.
-4
Let p = -1 + 4. Let o(n) = -n**2 + 7*n - 10. Let v be o(7). Let f be 2 - (165/v + 3/6). Solve -p*t = 3*z, -4*t + f = -z - 4*z for z.
-2
Let h = -3 - -7. Suppose h*s - 53 + 21 = 0. Suppose 7*t + s = 9*t. Solve -4*i = 4*y - 2*i + 6, -t*y - 11 = i for y.
-4
Let x(b) be the third derivative of b**6/40 + b**5/15 - b**4/8 + b**3/6 - 10*b**2. Let j be x(2). Solve -g = w + 8 + 1, 0 = -5*w - 3*g - j for w.
-4
Suppose -117*s = -128*s + 44. Solve 9 + 23 = -5*w - 4*k, s*k + 20 = -2*w for w.
-4
Suppose -4*q - 39 = n, -3*q + 0*q - 23 = 2*n. Let k = -7 - q. Solve -3*g - 6 = -3*f, -2*f = 2*f - k for g.
-1
Let k = -25 + 28. Suppose 5*g + 4*t = 22, g - 3*g - k*t = -13. Solve -x - 2*l - 6 = -3*l, 3*x - g*l + 13 = 0 for x.
-1
Let s = -3 + 7. Let i(g) = -34*g + 1022. Let m be i(30). Solve 0 = -4*h - 8, m*h - 12 = -4*f + s*h for f.
2
Let b be 8 - 3 - (8 - 5). Solve -4*p + 0*p + n = -14, 0 = -p - b*n + 8 for p.
4
Let p = -5 - 9. Let c = 19 + p. Solve 2*t + 4*x - x = 1, c*t + 23 = x for t.
-4
Suppose 3*w = 3*f, w + f + 12 = -4*f. Let x be 1/(1/(-1)) - w. Let u be 0/(x/(-3)*-3). Solve u = 4*o - 2*o - c - 1, 0 = -o - 3*c + 4 for o.
1
Let k = 2 + 22. Let j = 24 - k. Solve -5*f + 5*r = 0, -f - 2*f - 4*r + 35 = j for f.
5
Suppose 3*i = -0*i + 2*v, -15 = -5*v. Suppose 0 = -i*g - 5*m - 19, -4*g - 3*m = -2*g + 9. Solve 0 = -5*u - 3*d + 30, -g*d - 13 = 4*u - 8*d for u.
3
Suppose -38*p + 37*p = 4*b, 3*p = -4*b. Solve b = -5*y + 2*j + 26, -y - 4*j - 28 = -5*y for y.
4
Suppose 32 = -2*t + 42. Solve -3*m - i - 1 = 0, 2*m + t + 0 = -5*i for m.
0
Let v(y) = y**3 + 10*y**2 + 3*y - 6. Let r be v(-10). Let p = -33 - r. Solve 5*z - 19 = p*n, 0 = -2*n - 4*z + 1 + 1 for n.
-3
Let i(s) = -5*s + 23. Let j be i(4). Solve -3*p - 4*v = -0*v + 32, 3 = j*p - 3*v for p.
-4
Suppose 5*r - r - 2 = 3*n, 4*n - 5*r = -2. Solve c + 0*k - 9 = -n*k, -k = -4*c for c.
1
Let h be 90/(-15)*((-15)/6 - -2). Suppose 0 = -4*n + 17 + 3. Let s = n + 0. Solve -h*a - 2*l + 19 + 1 = 0, 4*l = s*a - 4 for a.
4
Let q be 1/((5 + -3)*(-3)/(-30)). Solve 4*t - 21 = -5*a + 8*a, -2*t = q*a + 9 for t.
3
Let j = 152 + -148. Solve 2*b + s + j*s = 1, 14 = 3*b - 5*s for b.
3
Let m = -153 - -158. Solve -3*s + m*w = 7, -3*s - 4*w + 8 + 3 = 0 for s.
1
Let s be (-2)/((24/9)/(-4)). Suppose -3*w - 20 = -5*w. Solve -4*x = 5*d - w, 2*d - 5 = s*x - 1 for x.
0
Let m(c) = -c**3 + 6*c**2 + 2*c + 2. Let i be m(6). Let b be (3 + 81/(-21))/((-3)/14). Solve -b*o = 5*d - 11, 2*d + d - i = 5*o for o.
-1
Let a(f) = f**3 + 8*f**2 + 7*f + 5. Let k be a(-7). Suppose -2*m - k*m + 21 = 0. Solve -m*i + 2*q + 2*q + 2 = 0, -5*i + 2*q = -8 for i.
2
Let z = -562 - -589. Solve 4*l - z = 5*a, 2*l - a - 18 = 3*a for l.
3
Let j(m) = -7*m - 25. Let a be j(-4). Solve -3*i + 7 = -2*h, 5*i - 2*h = a*h + 15 for i.
1
Let n(j) = j**3 + 24*j**2 - 46*j + 165. Let c be n(-26). Solve 3*v + 14 = -f, -c*v - 27 = -4*v - 2*f for v.
-5
Let s = 1425 + -1420. Solve 22 + 18 = -4*w - 4*g, 0 = 4*w + s*g + 45 for w.
-5
Suppose -4 = -r - 1, -2*r = 5*d - 26. Solve -g = d*n + n - 18, -5*n + 5*g = 0 for n.
3
Let u(l) = l**3 + 10*l**2 - 8*l + 25. Let g be u(-11). Let d(f) = f**2 + 12*f + 40. Let n be d(g). Solve n + 0 = p - 3*c, 3*p - 16 = c for p.
5
Suppose -250 = -5*p - 2*r, 5*r + 163 = 4*p - 4. Let a be (-128)/p*3/2. Let x be 16/(-12)*18/a. Solve -5*w - 3*u = 35, 5*w = 4*w + 2*u + x for w.
-4
Suppose f = -2*f + 9, 5*d = 3*f - 654. Let l = d - -132. Solve a - 15 = -2*b, -5*b + l*b + 20 = 2*a for a.
5
Let o be 0/(2 - -1) + -4. Let t be (-2)/(2 - 0) + o. Let a be (-3)/2*(-7 - t). Solve -4*h = 2*v + 3 + 3, 0 = 5*v + h - a for v.
1
Let f(j) = j**3 - 18*j**2 + 45*j + 3. Let r be f(15). Solve 4*a + 3 = -5, r*a = 2*k - 16 for k.
5
Suppose 3*j - 2 = 1. Let y be (-3)/(-6)*8/j. Let u be 44/10 - y/10. Solve -u*i - 3*t - 1 + 2 = 0, 3*i + 9 = t for i.
-2
Let c be 2/8 + (-21)/(-28). Suppose c = 3*w - 2. Let h(i) = 3*i - 1. Let s be h(w). Solve -2*j - 1 = n + s, 4*j = -n - 1 for j.
1
Let t = 6 - -2. Suppose -5*n - t = 7, b - 4*n = 8. Let f be (-5 - -3)*40/b. Solve 0 = -3*o + 4*s - f, 2*s = -2*o + s - 6 for o.
-4
Let f = -42 + 60. Let m = f + -18. Let z = 5 - -20. Solve -5*y + m*y = 3*g - z, -3*y + 15 = -g for g.
0
Let i be (-2)/8 - 105/(-20). Let k(a) = a - 2. Let x be k(4). Suppose -7 = -2*z - t, 4*t = 3*z - 3 - 2. Solve y = x*d + 8, -3*d + i*d + z*y = -16 for d.
-5
Suppose -4*r + 13 = 5. Suppose -r*s = -5*s + 9. Let l = -144 + 146. Solve 0 = -l*k - 2*q + 3 - 1, -s*q = -6 for k.
-1
Suppose 6*l = 5*t + l - 135, 51 = 2*t - l. Let s = t - 24. Suppose r = -s*r - 5, 5*r + 33 = h. Solve 4*z + h = q - 2, -3*z = 2*q + 2 for z.
-2
Let m(t) be the first derivative of -t**4/4 + 17*t**3/3 + t**2/2 - 16*t - 2. Let y be m(17). Solve -5*w = 2*i - 9, 2*i + w = 4 + y for i.
2
Suppose -2*s - 3*s + 4 = -2*f, 4*s + f - 11 = 0. Let h(k) = 3*k - 10*k + 0 - s. Let y be h(-1). Solve 4*x + y*r - 4 = -39, 2*r - 19 = 5*x for x.
-5
Suppose -z + 103 - 101 = 0. Solve z*n = p - 3, 0 = 4*n + 2*p + 13 - 3 for n.
-2
Let z(k) = k**2 + 7*k + 6. Let l = 32 + -19. Suppose -l = 2*n - 1. Let q be z(n). Solve -10 = -0*c + c + 2*r, q = 2*c + r + 5 for c.
0
Let p = 1751 - 1747. Solve 0 = p*b - 2*u + 12, -4*b = -8*b + 3*u - 12 for b.
-3
Let r(x) = 3*x**2 - 2*x + 1. Let y be r(1). Let q(w) = 5*w - 22. Let j be q(5). Let d be j/12*4*3. Solve y*c = d*z - 21, z + 4*z - 37 = 4*c for c.
-3
Let x(v) = v**3 - 5*v**2 - 10*v - 5. Let z be x(8). Let o = 111 - z. Solve 2*i = c - 2*i + 13, 8 = o*i for c.
-5
Let l be ((-12)/(-4))/(0 - -1). Let r = -1 - -31. Suppose -5*g + r = -3*q, -4*g + 3*q = 2*q - 24. Solve l*m = c - 7, -4*m - 1 = c + g for c.
1
Let k(u) = -u + 6. Suppose 0 = -3*z - 2*f + 19, 4*z = -2*f + 21 + 1. Suppose -21 + z = -3*i. Let g be k(i). Solve -2*t - 3*s = -g*t - 2, -4 = 2*s for t.
4
Let l be ((-6)/(-10))/(4/40). Let c(n) = n**2 + 14*n + 58. Let u be c(-6). Solve -5*t = -2*f + u + l, f = 5*t + 18 for t.
-4
Suppose 119 = 8*h - 81. Let s be h/8 + (-6)/48 - 3. Solve s = -p - 3*z + 3, 3*z - 4 + 1 = 4*p for p.
0
Let h = 257 - 257. Solve -3*u - 2 = 3*z - 14, h = -2*u - 3*z + 7 for u.
5
Suppose 3*h - 2 = 4*l, 0 = -3*h + 16 - 10. Solve 5*b = -4*p - l, 2 + 4 = 2*b for p.
-4
Let m = -220 - -226. Solve -4*f + 7 = y, -f + 5 = -4*y - m*f for y.
-5
Let v be (-9 + 20/5)*-1. Suppose -v*h + 3*h = -2. Solve -5*a + 4*y = h, 3*y + 9 = -5*a - y for a.
-1
Let q be (-6)/27*-2 + 552/216. Solve 25 = -5*l, 4*l + 20 = -q*d - d for d.
0
Suppose 43*u - 2 = 42*u. Solve -3*n 