11 + 15. Solve 0 = -4*t + s*v - 20, 0 = 2*t - p*t + 3*v - 15 for t.
0
Suppose -2 = 2*z - 0*z. Let f(j) = 0*j + 0*j + j + 1. Let l be f(z). Solve -5*a - 2*p = 2, l = -a - a - 5*p + 16 for a.
-2
Let a = -81 - -83. Suppose 0*l = -l - 4*j + 24, j + 3 = 2*l. Solve -5*h = -l*n, -a*h = -3*n + 2*n for h.
0
Suppose 4*a + 16 = 2*y, -y + 3 = -5*a - 2. Solve 5*n + d + 2 = -18, 3*d - y = -n for n.
-5
Let b = -3 + 5. Suppose -3 = 4*v - 15. Suppose v = q - 0. Solve -2*h + 10 = b*z, -z + q = -0*z for h.
2
Let v(z) = z**3 - 7*z**2 - 8*z + 4. Let d be v(8). Suppose 53 = 2*q + 3*c, -25 = -d*q - c + 66. Solve -2*n - q = -f - 3*f, -1 = -f - n for f.
4
Let b be 2 - 2*(-2)/4. Let m = 2 + b. Suppose -2*l = -m*p - 19, -1 = l + p - 0*p. Solve 3*g + 23 = -4*i, l*i + 19 = -4*g - i for g.
-1
Let y = -41 - -33. Suppose 24 + 0 = -3*c. Let d = y - c. Solve d = 4*s + 2*g - 8, s - 3*s + 4 = -3*g for s.
2
Suppose 4*d = 17 + 11. Let g(h) = h - 6. Let u be g(d). Solve -4*w - 4 = -2*j, 2*w - j = 3*w + u for w.
-1
Let m be 1/3 - 80/6. Let d = -10 - m. Solve c - 8 = -r, d*c = r - 3 + 11 for r.
4
Suppose 11*q + 18 = 62. Solve -n + 2 = p, 2 = -q*n - p + 16 for n.
4
Let t = 6 - 2. Let f(l) = l - 5. Let s be f(13). Suppose -s*q + 11 = -7*q. Solve -i + g = 3*i - q, -t*i - 9 = -5*g for i.
4
Let k = 6 - 8. Let i = k - -7. Solve -i*m + 0*a = a - 30, 5*m - 3*a = 10 for m.
5
Let q(n) = n**2 - 10*n + 18. Let u be q(8). Solve -b = -y + 2, -5*b - 2*y - u*y + 8 = 0 for b.
0
Let i = 74 - 59. Solve 5*s + 5*t - 19 = t, i = 4*s + 3*t for s.
3
Let z(y) = y + 1. Let b be z(3). Let d be (-75)/10*b/(-6). Let g = d + -3. Solve -4*q - g*u + 24 = 0, u + 2*u - 12 = 0 for q.
4
Suppose 4*d + 20 - 32 = 0. Solve 3*w - 5*k = -2, 0 = 3*k - d for w.
1
Let s(b) = 3*b + 50. Let l be s(-15). Solve 0 = 4*r + 8, 3*r - 7*r = -l*m + 13 for m.
1
Let l be 6/4*60/18. Solve 5*c = -5*n + 10, 0 = -3*c + l*n - 2*n + 12 for c.
3
Let n be 2 - (1*-2)/2. Suppose -2*c + 11 = n. Solve -2*y + c = -2*m, -6*m + 2*m = -y + 5 for y.
1
Let n(c) = -c - 2. Let w be n(-3). Suppose 0 = -k + 27 + 15. Let f be k/8 + (-3)/12. Solve -y - 7 = f*q, 2 = -y - 3*q - w for y.
3
Let j = 16 - 12. Solve 3*p - 31 = -5*s - 0*p, j*s + 5*p - 30 = 0 for s.
5
Let g be 13/(130/(-75))*4/(-5). Solve -4*d = -5*s - 28, 2*s = g*s + 2*d + 12 for s.
-4
Let o be 0 - -4*(-4)/(-4). Let l = -12 - -22. Suppose -o*g = g - l. Solve -4*t = -g*u + 2 - 12, 2*u + 3*t = -10 for u.
-5
Suppose f = 3*t + 4, -t - 2*t = 0. Solve -5*l - 4*w = -0*w, -w = f*l - 11 for l.
4
Let j = -64 + 74. Solve 4*o = g + 6, 5*g + o - j = g for g.
2
Let d(q) = 3*q**2 - 6*q - 4. Let z(t) = -7*t**2 + 12*t + 9. Let r(k) = -5*d(k) - 2*z(k). Let l be r(6). Solve -l*m = w - 11, -w = m - 0 - 8 for w.
5
Let s(x) = -x**2 + 4*x - 3. Let q be s(3). Solve q = 5*t + 2*j - 4*j - 27, 1 = -j for t.
5
Suppose 0*d = -4*b + 3*d, -3 = -5*b + 3*d. Suppose m + 4 - b = 0. Let l = 2 + m. Solve 0 = -5*x - 2*h - 30, 0 = 2*x - 2*h - l - 1 for x.
-4
Let p(u) = -4*u - 12. Let t(i) = 3*i - 6. Let d be t(0). Let v be p(d). Solve 4*q = 4*g + v, -5*q + 1 = -g - 2 for g.
-3
Suppose -i = s - 1, 2*i = -s + 2 + 1. Let j be 39 - -4 - (-3 + 3). Let g = -33 + j. Solve 0 = 3*c - x - g, -c - i + 4 = x for c.
3
Let s(d) = 6*d - 15. Let o be s(11). Let u be (-4)/6 - o/(-9). Solve 5*z - u = -3*r + r, -z - r = -1 for z.
1
Let t(h) = -2*h + 5*h**3 - 2*h + 2*h**2 + 3*h. Let k be t(1). Solve -2*b + 0*s = 2*s - k, 3*b - 3*s + 3 = 0 for b.
1
Let y = 37 + -33. Solve -6 = -2*v, 17 = 4*l + y*v - 11 for l.
4
Let l(g) = -g**3 + 5*g**2 + 6*g + 6. Let y be l(6). Let z = -2 + y. Let i = -14 - -30. Solve z*j - i = 4*d, 3*d + 3*j + 0*j = 18 for d.
1
Let v(n) = n**3 - 2*n**2 - n + 2. Suppose 0*b + 5*b = 10. Let o be v(b). Let g = 1 + 1. Solve o = y + 3*f - g, -3*y + 8*f = 3*f + 22 for y.
-4
Suppose -4*y + 11 + 37 = 0. Let f = y + -7. Suppose 2*h = 3*b - 0*h + 2, f*h - 5 = -5*b. Solve 4*q - 4*s = -b*q + 12, -2*q = -5*s for q.
5
Let x(o) = -4*o**3 + 2*o**2 + o. Let a be x(-1). Solve -6*g - a = 5*b - g, 3 = -g for b.
2
Let u be (-61)/(-4) - (0 + 1)/4. Solve -3*x = 3*j + x + 12, 5*x + u = 5*j for j.
0
Suppose 11*j = 9*j. Solve 3*c = -5*f, 10 = -j*c - c - 5*f for c.
5
Suppose 0 = -f - a - 1 + 3, 0 = a. Let k(m) = m**3 - 5*m**2 + 4*m - 9. Let u be k(5). Solve 2*n - 14 = -2*c, -f*c + 5*c = 5*n - u for c.
3
Let t = -29 + 51. Solve 5*j - w + 4 = -t, 2*w = 4*j + 22 for j.
-5
Let s(m) = m**2 - 5*m + 2. Let d be s(4). Let p = 6 + d. Solve 0*h + 5*i = -h - 5, -5*h + p*i = -33 for h.
5
Suppose -2*c + 3 - 9 = -3*l, -25 = -4*l - 3*c. Let j(d) = d - 1. Let v be j(l). Solve -u + v*a = -0*u + 10, -2*a + 11 = -5*u for u.
-1
Let u(q) = -3 - 12 + 3*q - q + 7. Let z be u(6). Solve 4*h - z = 4*f, -f = -h - 4*h - 11 for f.
-4
Let w = 48 + -46. Solve o = -5*b - 9, b + 6 = -w*b for o.
1
Suppose -r = 3 - 6. Suppose 0 = 3*o + 9, 8*o - r*o = -3*b. Let c = -5 - -8. Solve 1 + b = -2*i + f, 0 = -c*i - f + 1 for i.
-1
Suppose -2*m + 42 = 38. Let x be 18/5 + 4/10. Let v be 39/9 - (-1)/(-3). Solve -v*z = 4*h - 16, -x*z + 6 = -m*h + z for h.
2
Let o(n) be the first derivative of n**2/2 - 4*n - 10. Let t be o(12). Solve t = -4*l - k + 1, -2*l - 2*k + 4 = 0 for l.
-3
Let m(b) = b**3 - 5*b**2 - 9*b + 10. Let w be m(7). Solve 3*t + 3*f = 3, -3*t = 2*t - 5*f - w for t.
5
Let l = 13 - 10. Solve 2*y = 4*i, 0 = -3*i + l*y + 2*y - 7 for i.
1
Let k = -14 - -21. Suppose -2*t + k*t - 11 = 2*c, t - 9 = -3*c. Suppose 5 - 1 = c*h. Solve 2*l = z - 7, 7*z - h = -l + 2*z for l.
-3
Let a(i) = i**3 - 4*i. Let v be a(3). Let l be (175/8)/7 + 2/(-16). Solve l*q = v, 0 = 6*j - j - q - 5 for j.
2
Let s(k) = k**2 + 5*k - 6. Let v be s(-6). Suppose v*f + f = 7. Solve 2*m + 3*u + f = 0, -m + 7*u - 9 = 3*u for m.
-5
Suppose -5*l = 5*m - 15, 4*l - 6*m - 30 = -4*m. Suppose 3*v - l + 39 = 0. Let k be (-1 - v)/(1 - 0). Solve -a - 2*a + 2*w = 7, -5*w = -2*a + k for a.
-5
Let j be (1 - (0 - -60))*-2. Suppose 0 = 2*y + f - 46, 0 = 5*y - 5*f - j + 33. Solve 5*m + 4*s + y = 0, s = -0*m - 3*m - 7 for m.
-1
Let j = -2 + -58. Let y be (-2)/2 + j/(-3). Solve -3*w - y = 5*m, -4*w - m - 13 = 1 for w.
-3
Let o be -3 - 10/2*-1. Solve 4*l - o = -k, k - 6*k = 3*l + 7 for k.
-2
Suppose -s - s + 12 = 0. Let x be ((-16)/6)/((-4)/s). Suppose -4 = x*r - 24. Solve -b + t - 6 = 0, 0*b - 3*t = -r*b - 22 for b.
-2
Suppose -24*d = -26*d + 62. Solve -h - d = -5*y + h, 5*y = -4*h + 13 for y.
5
Let h = 64 + -62. Solve -f - h*f = 4*a + 1, 5*f + 11 = -2*a for a.
2
Let u be (-7)/(0 - (-2)/(-4)). Let t be ((-38)/u + 3)*7. Solve t*k + 3*h = h - 8, -4*h - 16 = -5*k for k.
0
Let f be 0/((-4)/(-8)*-6). Let r be 9/6 - 2/(-4). Solve 20 = -5*h, c - h + f = r for c.
-2
Let o be 1*(-3)/((-3)/(-4)). Let h = o - -8. Solve -2*z + 14 = -h*q, -2*z + 3*q - q = -12 for z.
5
Let j(n) = n + 8. Let q be j(-6). Suppose 3*t + t - 20 = 2*h, 3*t - 15 = -q*h. Solve -m + 5*b + 10 = -h*b, -4*m + 5*b - 5 = 0 for m.
-5
Let q(t) = 12*t + 67. Let j be q(-5). Solve -2*p - 4 = -2*o, 5*p - j = -2*o + 18 for p.
3
Let p(h) = 3*h - 1. Let o(g) = -g**2. Let w be o(-1). Let a be p(w). Let q be (-4)/18 + a/(-18). Solve 4*t + 8 = 2*s - 0*s, t - 2*s - 1 = q for t.
-3
Let b(n) = n**3 + 20*n**2 - 43*n + 22. Let f be b(-22). Solve 0 = -2*v - 2*u, 4*u + f*u = -20 for v.
5
Let r(q) = -9*q**3 + 2*q + 1. Let h be r(-1). Suppose 3*w + 5*i - 7 = 0, 5*w - 2*i = h + 14. Solve -w*u + 5*g = 0, -u - 4*u = -2*g for u.
0
Let n = -2 + 15. Solve 0 = -u - 4, 0*f = -f - 3*u - n for f.
-1
Suppose 0 = 4*v + 3*l - 14, 0 = -0*v + 3*v - 3*l - 21. Solve v*c + y - 5*y = 3, 3*c + 7 = -2*y for c.
-1
Let m = -24 - -26. Solve -m*z + 19 = -3*w, -w = -3*z + 17 + 1 for w.
-3
Suppose i = -4*k + 116 - 34, 15 = -5*k. Let f be (18/(-4))/((-4)/120). Let j = f - i. Solve 0*t - 4*t = -5*u, 5*t - j = -4*u for t.
5
Suppose 0 = -4*u - 4*f - 8, 3*u - f - 2 = u. Suppose 0*a - 5*a + 120 = 0. Let z be 6/a - (-22)/8. Solve 0 = -5*b + y + 5, -4*b - z*y = -u*b - 23 for b.
2
Let m(q) = -q**3 - 15*q**2 - 26*q + 3. Let h be m(-13). Solve -4*b - 5 = -h*r - 11, -4*b = -r - 10 for b.
3
Suppose -2*m + 52 - 10 = 0. Solve -2*o - 2*z = 3*z + m, 0 = -2*z - 10 for o.
2
Suppose 7*v = 5*v - 34. Let t = v + 20. Solve -3*c + w + 5 = -2*c, -t*c + 11 = -2*w for c.
1
Let o be (-20)/15*93/(-4). Solve -3*c - o = 5*l, 4*l + 25 = -2*c + 1 for l.
-5
Suppose -3*j + 4*j - 5 = 