 = -t, -3*v - 4 = -0*v - 2*n for v.
-4
Suppose -94 = -v - 5*g, -5*g + 338 + 8 = 4*v. Let d be 1/(v/(-63)*1/(-4)). Solve -3*k = -a - 14, -3 = 2*a - d*k + 10 for a.
1
Let s be 12*(1 + 2/(-3)). Suppose -3 - 5 = -s*f. Solve -2*b - 6 = 4*p, 5*b - f*p + 28 = p for b.
-5
Let d = 7 - 12. Let u be 8/(0 + (-3 - d)). Solve 4*o + 17 + 15 = -4*w, 0 = w - 3*o - u for w.
-5
Let b be 1*6 + -1 + -1. Suppose -b*x = -3*c + 110, 0 = -4*x - 20. Suppose 80 = 3*w + 13*w. Solve w*j = u + u - c, 2*j + 5*u - 17 = 0 for j.
-4
Let v = 0 - 5. Let o be v/(-2)*(-6)/5 - -8. Solve -i - 13 = -5*k, -4*i - o = i - 5*k for i.
2
Let t = -341 - -341. Solve 4*p + 25 = 4*u + u, t = 2*p + 2*u + 8 for p.
-5
Let n = -2 + 6. Suppose 6*p = -n*p + p. Solve x + u - 1 = p, -x - 4*u = -5 - 5 for x.
-2
Suppose -n + 1 = -6. Suppose 0 = 4*r - n*r + 9. Solve 3*k = -r*j - 15, -3*k - 1 - 14 = 4*j for j.
0
Let y = -29 - -34. Suppose 3*j = 3*f + 8*j + 9, -y*j - 15 = 0. Solve f*d + 0*z + 4*z = -2, 2 = 5*d + 3*z for d.
1
Let c(x) be the third derivative of x**4/8 - 2*x**3/3 + 12*x**2. Let p be c(2). Solve -h - 8 = h, -p*s - 2*h + 2 = 0 for s.
5
Let i be ((-5)/(-4))/(3*4/48). Let o be 4/22 - (-852)/33. Solve 13 = -2*v - 2*a + i, o = -5*v + a for v.
-5
Let q(o) = -2*o - 10. Let r be q(-6). Suppose 2*b - r*m = 7*b, 5*m = 3*b. Solve -5*i + 22 = 3*w - 5, b = 2*i + 5*w - 26 for i.
3
Let p be 14 + -7 + (-1 + 0 - 2). Solve 3*y + p*w = -19, 0 = y - 0*y + w + 5 for y.
-1
Suppose 4*d = 5*d. Suppose t - 12 = -d*t. Solve -5*g - 2*b - 4 = 2*b, 4*g + t = -b for g.
-4
Let g = 114 + -105. Suppose -8*v + 4*p + 23 = -3*v, -5*v - 3*p + g = 0. Solve 2*s = -4*b + 8, v*s - 4 = -3*b + 2 for s.
0
Let f be 0 + (1 - (3 - 0)). Let z be 588/36 + f/6. Suppose b + 12 = 2*i, -3*i + 8 = 2*i + 3*b. Solve -2*k - 2*c = z, -k = 3*k - i*c for k.
-4
Let j(f) = 28*f + 58. Let m be j(-2). Solve -w - x = m, 4 - 2 = w + 5*x for w.
-3
Let r be 3 - (-1)/(1/2). Solve 0 = -r*a + 4*g - 20, 4*g + 4 = -a + g for a.
-4
Suppose -20 = -5*t, 24*q = 28*q + 2*t - 20. Solve 1 = -3*s - 2*g + 16, -q*s - 5*g + 24 = 0 for s.
3
Let q(x) = 2*x - 86. Let l be q(46). Solve -o - 8 = 3*h, 5*h + 23 = 2*o + l for o.
1
Let u(p) = p**3 - 9*p**2 + 2*p + 7. Let m be u(9). Let q be (-4 - (-30)/4) + (-6)/4. Solve -5*t - 8 = -2*o - m, -6 = -q*t for o.
-1
Let i(q) = -q - 5. Suppose r + 7 = -m, 0 = 2*m + 4*r + 5 + 7. Let f be i(m). Solve -h = -4*v + 3*v - 3, -23 = f*v + 4*h for v.
-5
Let x be (-7)/((-70)/120) + -9. Solve 0*p - 3*p = -x*q + 6, -5*p = -3*q + 14 for q.
-2
Let b be ((-20)/8)/(1 - (-15)/(-12)). Let c be 4/b + 65/25. Suppose 3*p + n - 8 = p, 4 = p + 4*n. Solve c*u + 13 = q, 0 = q - p*u - 17 - 1 for q.
-2
Let x(y) = y**3 - 8*y**2 - 16*y - 30. Let o be x(10). Solve 0 = -h + 5*h + 5*f - o, -4*h = -5*f - 30 for h.
5
Suppose 3*y = 7*y + 60. Let u = 19 + y. Solve 5*n + 28 = 4*m, 4*m - n - u = -2*n for m.
2
Let p(g) = g**2 - 12*g + 32. Let y be p(9). Solve 8*m - y*k + 20 = 3*m, -3*k = 0 for m.
-4
Let k(n) = -9*n + 287. Let p be k(30). Let y be (-51)/(-85) - 3/5. Solve y = -2*a - w - 4 + 15, -4*a + p = w for a.
3
Suppose 4*m + 2*q = -29 - 21, 0 = m + q + 11. Let d = m - -22. Suppose 7*t = 2*t + 20. Solve -2*h + n = -0*n + 10, -t*h - 4*n = d for h.
-4
Let z(j) = j**2 - 3*j - 2. Let m be z(4). Suppose 25 = 5*a - r, 3*a + m*r - 7*r = 15. Solve 4*i + 0*p + 1 = -p, -5*i + a*p = -30 for i.
1
Suppose -5*s + 4*k - 2*k = -4, 6 = 2*k. Solve -i - 14 = 5*b - 4*i, s*b + 8 = 2*i for b.
-1
Let w = -41 + 52. Let i = -9 + w. Solve 3*j - 6 = 5*b + 28, -i*b = 3*j + 1 for j.
3
Suppose w + i - 8 = 0, -2*w + 2*i + 3 = 7. Let q = -8 - -9. Suppose -s + 6 - q = 0. Solve -s*d - 3*z - 1 = 0, -2*d = 4*z - w*z for d.
1
Suppose 4*t = 3*v - 253, 4*t + 10*v - 5*v + 261 = 0. Let w = t - -64. Solve -s - 6*m + m = 19, -s - m - 7 = w for s.
-4
Suppose -3*t = -0*k - 3*k + 21, -4*k - 3*t = -42. Solve -2*g + 6 = o, 3*g - 3*o - k = -2*o for g.
3
Let r be 4/5*(-100)/(-40). Solve 4*t - 5*o + r - 8 = 0, -2*t = 4*o - 16 for t.
4
Let v(l) = -14*l + 172. Let o be v(12). Solve -k - o*c = -13, 3*c - 24 = 4*k - 0*c for k.
-3
Let u(i) = i**3 - 5*i**2 - 4*i + 22. Let b be u(5). Solve p + 7 = 5*p - o, b*p - 7 = -3*o for p.
2
Suppose 3*r - 14 = -2. Suppose -r*y - 15 = -35. Solve -4*w + 4*g = -28, 10 = y*w - 3*g - 15 for w.
2
Let z(u) = 2*u**3 + 7*u**2 + u - 1. Let x be z(-3). Solve 3*a = -2*q + q, 5*q = x*a - 20 for q.
-3
Suppose -5 = -4*w + 19. Let d(h) = h - 1. Let l be d(w). Suppose -l + 0 = -u. Solve 2*f + 4*z + 1 = u*f, -32 = 4*f + 3*z for f.
-5
Let g be 4 - -4*1/2. Suppose -5*r - 2*o + 29 = 0, 3*o - 5 = -r + g. Suppose r*j = 4*v - 18, 2*v - 4*j = v + 10. Solve 4*c = 12, 0*l = -l - v*c + 11 for l.
5
Suppose 0*k = -k. Solve -3*i + 2*y + 19 = 0, -5*i + 4*i + 3*y + 11 = k for i.
5
Let h(i) = 4*i + 4*i - 7 - 2*i**3 + 195*i**2 - 212*i**2. Let r be h(-9). Solve -r*v + 1 + 0 = j, 0 = 2*v + 5*j - 13 for v.
-1
Suppose 0 = 44*u - 44 - 176. Solve s = u*j - 14, 2*j + 3*s + 3 + 5 = 0 for j.
2
Suppose 4*q - 101 = 3*v, 87 = 3*q + 3*v + 6. Let c = -3 + 5. Suppose 1 = c*z - 3. Solve m = -2*k - 10, 4*k + q = -3*m - z*m for k.
-4
Let l = -165 + 170. Solve -5*p + g - 4*g = -11, -l*p = 5*g - 5 for p.
4
Suppose -2*j + 47 = -3*g, 4*j + g = -2*g + 139. Suppose -196 + 0 = -7*v. Let h = v - 24. Solve -w = 5*p, -3*p + h*w = -8 + j for p.
-1
Suppose -9 = -9*z + 18. Solve -q - 5*l = -20, -z*l + 0*l + 12 = 0 for q.
0
Let x be ((-1)/(-8))/(3/(-66))*4. Let c be 17/6 + x/(-66). Solve 0 = -r - 2*r - 3*i + 6, -c*r + 3*i = -18 for r.
4
Suppose -4 = 4*m - 5*m. Suppose 3*n - m*o = 17, 5*n - 7 = 4*n + 2*o. Solve 0 = 3*y - 9, -7*c + 3*y + 3 = -n*c for c.
3
Let s(b) = 10*b - 48. Let p be s(6). Solve 4*f = h + 20, 0*h = 5*f + 2*h - p for f.
4
Let l(j) = -j**2 - 8*j - 10. Let q be l(-6). Solve 3*w + 29 = -2*c - q*c, c + 2 = w for w.
-3
Let v be -1*(-3)/6*4. Let o be 1/2 - (-18)/4. Suppose o*c = -2*s - 16, -3*s + 4 = c + 2. Solve -2*j = -j + 2*x + s, 4*j - 22 = v*x for j.
4
Let x = 107 + -85. Solve -5*i = -5*u + 10, 5*u + 2*i + i + x = 0 for u.
-2
Let g = -143 - -138. Let p be g*12/15*-1*1. Solve -5*m = -5*z + 10, -25 = 4*m + p*z + 7 for m.
-5
Suppose -19 + 3 = -4*o. Solve -o*s - 9 - 3 = 3*g, 0 = 5*s + g + 4 for s.
0
Let y(z) = -z**2 + 14*z + 15. Let q be y(15). Let f(d) = 1 + q*d + 8*d + d**3 - 4*d**2 - 5*d**2. Let u be f(8). Solve 2*r + 3*o - u = 2, -5*r + 10 = 5*o for r.
3
Suppose -22*o + 87 = 7*o. Solve 0 = -o*k + 6, 0 = 8*p - 10*p - k for p.
-1
Let u(j) = -j**3 + 24*j**2 - j + 27. Let a be u(24). Suppose 2*l - 90 = -4*c, 0*l = -4*c + 5*l + 69. Solve -c = 3*d + 3*p, -2*d = a*d + 4*p + 30 for d.
-2
Let m(n) = -n**2 + 17*n + 6. Let i be m(17). Let q(d) = -2 - 2*d + 4*d + 0. Let a be q(i). Solve -5*v = 3*r - a, -3*v - 2 = 5*r - 4*v for r.
0
Suppose 15*t - 14*t - 3 = 0. Suppose -2*i - 18 = -k, -k - t*i - 3 = 2*i. Solve -2*z = 4*q + k, -2*z - q - 4 = -1 for z.
0
Let l = -30 + 35. Let g = 7 - l. Solve 2*q - g*w = -3*q + 17, -4*q - 3*w = -9 for q.
3
Suppose -3*j + 2*a + 12 = 0, 3*j = 7*j + 5*a - 16. Let m be j/16*-2*0. Suppose 3*u = -m*u + 9, -4*h - 5*u = -23. Solve 2*r + 8 = -4*k, 3*k - h*r = k - 10 for k.
-3
Let j be (-2)/(-10)*-2 - (-60)/(-100). Let u(g) = -6*g - 4. Let i be u(j). Let r = 7 - 4. Solve 0 = i*v - 5*p + 1 + r, 2*p + 8 = -4*v for v.
-2
Suppose 2*k = 5*y + 5*k - 69, -3*y = -5*k - 21. Suppose -5*s - 3*o + 4 = -5, 5*s + 4*o - y = 0. Solve 3*g - 8 - 7 = 0, 4*f + g - 17 = s for f.
3
Let b(l) = -l + 16. Let q be b(-4). Suppose r - 27 + 2 = 5*v, r - 4*v = q. Solve 5*k - 14 = 3*u, r*k + 6 = 2*k - u for k.
4
Let q(t) = 2*t - 4. Let m be q(4). Let h(p) = 2*p + 5*p - 1 + 3*p - m*p. Let d be h(1). Solve 16 = -4*c - 2*u, -5*u - 2 = d*c + 18 for c.
-4
Let z(x) = x**3 + 14*x**2 - 72*x + 18. Let i be z(-18). Let r = 5 + -5. Suppose 0*h - 3*h + 12 = r. Solve i = l + h*l - 4*s, 2 = -s for l.
2
Suppose 85*v - 91*v + 66 = 0. Solve a - 2*z = z, 5*a = 4*z - v for a.
-3
Let j(u) = 9*u**3 + 4*u**2 - 3*u + 1. Let z be j(2). Let h = 85 - z. Suppose -5*i - 4*w = 0, -3*w + 15 = 5*i - 2*w. Solve 2*p = -i*t, -2*p + 9 = h*p - t for p.
2
Let l be (-7)/2*24/(-42). Let n be l - (-11 - (1 - 2)). Solve y - n = 4*i - 4*y, 2*i + 2*y = -6 for i.
-3
Suppose -5*u + 49 = -16. Let r = -11 + u. Suppose -5 - 55 = -r*l. Solve 4*g + 4*t = g + 20, -5*g = 5*t - l for g.
4
Let d = 21 + -5. Suppose