- 11*v**2 - 12*v - 5. Let y be m(-10). Let r = g - y. Solve 3*p - 3 = 0, 0 = -3*a - 0*a - 4*p + r for a.
3
Suppose 4*t = -12, -4*p + 4*t + 5 = -7. Let b = 7 - 1. Let v be 4/b*(-9)/(-2). Solve p = -3*d + v*u + 15, 0*d - 2*d - 10 = 2*u for d.
0
Let d = 15 - 11. Suppose 4*z - d = 8. Solve m + 6 = g, 3*m = m + z*g - 13 for m.
-5
Suppose -2 = 3*n - b, -15 = -4*n - 3*b + 4. Let t be 6*n*(-6)/4. Let o be (-3)/(t/15) + -1. Solve -o*c + 3 = -5*p - 17, 0 = c - 5 for p.
0
Let n be (-45)/(-6)*(4 + -2). Let a = n + -13. Solve 3*x = -a*z + 17, 0*z - x = 4*z - 9 for z.
1
Suppose -4*x - 13 = -2*x - 5*m, -m - 15 = 4*x. Let w = x + -4. Let g = 12 + w. Solve g*t + t = -10, -i - 5*t - 8 = 0 for i.
2
Let l be (-951)/(-27) - (-2)/(-9). Solve 0*w + l = 5*a - 5*w, 5*a = 3*w + 29 for a.
4
Suppose 0 = 4*t + 3*u - 16, t + u - 8 = -3*t. Solve -2*d + t = 4*y + 19, -15 = 5*y for d.
-3
Let o(c) = c - 12. Let x be o(6). Let l be 6/4*8/(-6). Let n be (-6)/l*(-4)/x. Solve 5*s + 4*f - 14 = 0, 2*s + n*s - 9 = -f for s.
2
Suppose -16 = -7*f + 3*f. Let r(q) = -q**2 + 4*q. Let c be r(f). Solve -t - 2 = c, 4*w + 4 - 16 = -4*t for w.
5
Suppose -5*g + 270 = 4*q, -13 = -g - 5*q + 41. Suppose 2*b = 24 + g. Let s be 1/(2 - b/21). Solve -n - 3*n = -3*p - 11, -2*n + 3*p + s = 0 for n.
2
Let t = 10 - 6. Suppose 2*v - 5 = -3*l - 0, t*l = 5*v - 1. Solve -3*a = -3*g + 6, -4*a + v = -3 for g.
3
Let m be (5 + -2)*(40/12)/2. Solve a = -i + 10, 5*a = 2*a + 4*i - m for a.
5
Suppose -6 - 29 = -5*p. Suppose 0 = -3*t + p*t - 4*z - 4, -3*z + 3 = 3*t. Solve -3*v = v, q + t = -v for q.
-1
Let y be 1/(((-3)/(-1))/6). Suppose k + 2*k = x - y, 12 = -3*x. Let j be 0/1 + (-6)/k. Solve 2*v + 11 + 0 = j*n, -5*n + 12 = 3*v for n.
3
Suppose -5*p + 0*g - 3*g + 65 = 0, 2*p - 4*g = 0. Suppose 0*l - s + 10 = 3*l, 4*l + 3*s - p = 0. Solve -l*x - q - 4 = 0, 3*q = 3*x - 2*q - 20 for x.
0
Suppose 2*g - 11 + 5 = 0. Solve g*c = 3*u - 3, -4*c + 23 = -2*u + 7*u for c.
2
Let b(a) = a**2 - 2*a - 1. Let q(o) = o**3 + o**2 - 3*o - 3. Let v be q(-2). Let p be b(v). Solve 0 = -4*n + 3*f + 1, -2*n = p*f - 7 + 3 for n.
1
Let w(g) = -g**3 - 4*g**2 + 10*g - 10. Let j be w(-6). Solve -4*u + 5*x + 15 = 0, -j*u - 5*x = -0*x + 15 for u.
0
Let s be (4/4)/((-2)/(-12)). Let t be (2/(-4))/(s/(-36)). Let f(d) = 5*d**2 + 3*d. Let i be f(-2). Solve 5*v - 4*u = -40, -3*v - t = -u + i for v.
-4
Let y(c) = -c**3 - c**2 - 31. Let o be y(0). Let q = 61 + o. Suppose q + 24 = 2*f. Solve -5*m + w - f = 0, -3*m - w = -4*w + 21 for m.
-5
Let g be (-18)/(-10) + (-4)/(-20). Solve -g = -2*j + n, -3*n = -4*j - 1 + 3 for j.
2
Let z(h) = h**3 - h + 3. Let r be z(0). Suppose 2*b + 1 = l, -l + b + 18 = r*l. Solve -l*j + 4*d + 16 = 0, 0*j - 5*d - 20 = -2*j for j.
0
Suppose -2*m - 4 = -6*m. Let d be ((-5)/3)/(m/(-3)). Let b be 30/((45/6)/d). Solve -3*f + 2*f + 3 = -4*i, 4*f = -b for i.
-2
Let f(o) = 5*o + 9. Let h be f(7). Suppose -2 = b + 2, 5*x - b = h. Solve 0 = -x*y + 3*y, 0 = 5*m - 3*y - 5 for m.
1
Let i be (-15 + -5)*(-1)/4*1. Solve i*l + 5*o + 10 = 0, 2*l + 3*o + 14 = -3*l for l.
-4
Let m = 25 + -18. Solve -x = 4*n + 12, -3*x + m = -2*n + 1 for n.
-3
Let w(n) = n - 6. Let g be w(5). Let o = g - -4. Solve -2*a - 7 = -o*y + 6*y, y - 5*a + 8 = 0 for y.
-3
Suppose 3*m + 4*p - 65 = 0, -13 - 76 = -5*m + 3*p. Let q = -11 + m. Suppose 0*h + q = 2*h. Solve 0 = 2*c - 5*g - 6, -4 = 2*c + 2*g + h for c.
-2
Suppose 0*q = 4*z - 4*q - 32, -4*z - 2*q = -2. Suppose -4 + 2 = -f. Let j(o) = o + 7. Let k be j(-3). Solve z*h = f*i, 0 = k*i + 2*h + 10 + 6 for i.
-3
Suppose 2*u = -7 - 3. Let h be u/(((-1)/(-2))/(-1)). Let q be (8/h)/((-2)/(-10)). Solve n - 5*v = 5*n - 18, -v = n - q for n.
2
Let y(g) = g + 2. Let d be y(-4). Let k be -5*(1 - (-9)/(-15)). Let v = k - d. Solve 3*j + 3*a - 9 = a, -j - 2*a + 7 = v for j.
1
Let u(c) = c**2 + 2*c + 2. Let s be u(-3). Suppose -4*y - 5*t - 24 = 0, -2*t = -s - 3. Let w be y/4*(1 - 5). Solve -4*j - 24 = 3*d, -2*d + j - 2*j = w for d.
-4
Let i = -3 - -10. Solve -2*x = -3*m + 3*x - 1, 0 = -5*m + 3*x - i for m.
-2
Suppose -3*t = -4*x - 20, 3*x + 0*x = -3*t - 15. Let i be (0 - -1 - t)/(-1). Let m be 4 - 4 - (-1 + i). Solve -h = -4*h + 3*a - 12, 3*h - m*a = -7 for h.
1
Let i be ((-6)/9)/((-2)/15). Solve -12 = -2*l - 5*j, -i*l + 4*j - 16 = 20 for l.
-4
Let d(l) = -l + 6. Let x = 0 + -10. Let b be d(x). Solve -t = 4*s - b, 11 = 2*s + 2*t + 3 for s.
4
Suppose -2*o - 20 = -3*a + 13, -4*a = 4*o - 44. Solve a = -3*s - g + 5*g, -3*g + 9 = -2*s for s.
3
Suppose -i = 2*i. Suppose i = z - 2*z. Solve -6 = -3*d, 0 = 3*l - z*d - d + 14 for l.
-4
Let q be 38/9 - 18/81. Suppose -6*c + q*c + 5*x + 3 = 0, 5*x - 5 = 0. Solve -2*g + 17 = -5*d, c*d - 3*d + 5*g = -25 for d.
-5
Let k(f) = -f**3 - 6*f**2 + 2. Let d be k(-6). Let r be 12/10*95/38. Suppose -5*z = r*x - 66, 5*x + 4*z - 80 = x. Solve 4*g = 3*u + 13, -d = -5*u - x for g.
1
Let b be 3 + 1 + (0 - 0). Suppose 31 - 25 = 3*g. Let w be (-4)/10 + 2/5. Solve w = -g*u - 2*c - 6, -7 = -b*u + 4*c - 3 for u.
-1
Let q = 2 + -6. Let u = q + 7. Let m be (1 - (-2)/(-2))*-1. Solve 4*s + 18 = 2*j, u*s + 4*j - 2 + 10 = m for s.
-4
Let z(h) = 2*h**2 - 14*h + 6. Let b be z(9). Suppose f - b = -5*f. Let j(i) = -2*i**3 - 3*i**2 + i + 2. Let o be j(-2). Solve 5*s = 20, o*g - s - f = -3 for g.
2
Let g be 4/(-6)*4*-3. Suppose -t - 4*t = -100. Suppose 8*x - t = 3*x. Solve -3*f + 4*f = 5*a + 15, 3*a - g = x*f for a.
-4
Let i be (-170)/25 - 2/10. Let o = 4 + i. Let f be 0/o*(0 - -1). Solve -7*g + 2*g - 2*y + 27 = 0, g + 5*y - 10 = f for g.
5
Let y be (-40)/(-6) - 2/3. Let o(d) = -5*d**2 + y - 3 + 2 + d + 4*d**2. Let i be o(0). Solve c - 2*c - 17 = 3*t, -30 = i*c + 4*t for c.
-2
Let v(g) = g**2 + 6*g - 2. Let p be v(-6). Let k be (6/(-8))/(p/72). Let i = k - 15. Solve 2*h - i = -2*t + 5*h, -4*t - 4*h - 16 = 0 for t.
0
Suppose 0*u = 3*u - 6. Let a(d) = d**3 + 4*d**2 - 4*d. Let l be a(-5). Let j be (9 + l)/(1/5). Solve -4*r = -u*v - 2, 0 = 5*v - v + j for r.
-2
Let l be -1 - (-3)/((-6)/(-4)). Solve l = -3*c - 5*q + 18, -5*c - 9 = -q for c.
-1
Let v be -34 - ((-8)/(-2))/2. Let q = v - -50. Solve x = 2*m - 4*m + q, -2*m + 26 = 4*x for m.
5
Let a = 38 + -26. Solve 4*s = 3*s + 2*k + 2, -a = -2*s - 4*k for s.
4
Let b be (-98)/(-6) - 8/24. Let x = 13 + -10. Solve -5*j = -j + x*w + b, -4*j - 2*w - 16 = 0 for j.
-4
Let k be 1*2/(-6)*-12. Suppose -3*s = -2 - k. Let m = 0 + 2. Solve 2*h = s*z, -5*z - 14 = m*h - 0 for h.
-2
Suppose 3*u - 2 = 10. Let b = -98 + 102. Solve 3*o - 2 = -u*m, 0*m = -o - b*m + 6 for o.
-2
Let d be (-2)/3*9 + 3. Let b = 5 + d. Solve 28 = -4*h - b*z, -2*h - 5*z = -z + 26 for h.
-5
Suppose 0 = -5*q + 7*g - 3*g + 19, -1 = g. Solve q*s + 2*a + 9 - 30 = 0, 2*s - 3*a - 1 = 0 for s.
5
Let d(s) = s + 8. Let l be d(-6). Suppose j - l - 3 = 0. Solve -5*y + j*r = -3*y + 6, -5*r = 0 for y.
-3
Let n(a) = -a**2 - 7*a - 7. Let j be n(-5). Suppose 0 = 4*q - 3*q - j. Solve -5*h - 4 = q*x, -3*h + 4*x - 8 - 6 = 0 for h.
-2
Let d(v) = -3*v - 25. Let q be d(-10). Solve p + 27 = -5*m, -q*p + 6 = 3*m + 31 for m.
-5
Suppose -2*q - 4*q + 72 = 0. Solve -3*i = 4*g - 15, -3*g - 4*i = -q - 1 for g.
3
Let z = -4 + 8. Suppose -z*s = -15 + 3. Solve 2*k - 4*v - s = 19, 3*v = -3*k - 12 for k.
1
Let i(x) = x**3 - x + 23. Let t be i(0). Let r = 61 - t. Suppose d + 58 = 4*g - 2*d, g + 5*d = 3. Solve -3*z + 4*b = -g + r, 3*b + 3 = -5*z for z.
-3
Let a be (12 + -13)/((-2)/10). Solve 12 = -4*k + 3*v, -3*k - a*v + 20 = k for k.
0
Suppose -2 = 4*f + 5*m + 1, 9 = f - 2*m. Solve f*r = -4*j - 3 - 2, 13 = -4*j + 5*r for j.
-2
Suppose 3*d - 5*a = -4*a - 34, 0 = 5*d + 5*a + 90. Let j = 7 - d. Solve 4*l - 7 + 27 = 0, y = 4*l + j for y.
0
Suppose 2*r = -f + 14, -3 = r - 3*f + f. Solve 3*g + 6 = -s, g + 6 = -r*s + 4 for g.
-2
Suppose -16 = -2*k - 2*k. Solve 2*u - k*t = 30, -3*u + 4*t + 24 + 11 = 0 for u.
5
Let l(a) be the third derivative of -a**5/60 + a**4/4 - 2*a**2. Let b be l(6). Suppose b = -m + 10 + 12. Solve -3*q = 2*z + m, -q + 4 = -3*z - 7 for z.
-5
Suppose 2 = -y - r, -2*y + 26 = -3*r + 5. Let l = 15 - 13. Solve y*z - 19 = -l*g, 4*g + 1 = 2*z - 1 for z.
5
Suppose 3*n = 0, -4*n = a - n. Let u be (5 - a)/(2 - 1). Let j = -11 + 16. Solve 2*z = -0*z - j*w + u, 4*w = 12 for z.
-5
Let o = 5 + 0. Suppose -20 = -o*s + s. Solve -2*b - 1 = p, s*p - 8 = -2*b + 3 for b.
