 (-4 + 2). Suppose 3*u + 47 = 4*g, 5*g = s*u - 4*u + 30. Solve 3*c = g - 23 for c.
-5
Let c = 36 - 60. Let r = -18 - c. Solve -3*z - 6 = r for z.
-4
Suppose 0 = 5*w - 2 - 8. Solve w*m + 10 = -0*m for m.
-5
Let o(g) = -1. Let c(p) = -p - 1. Let v(d) = -c(d) + 5*o(d). Let z be v(4). Solve -4 = 4*j - z*j for j.
-1
Let s = -1 + 3. Suppose 3*r + s*r = u + 13, -4 = 4*u - 4*r. Solve 0 = -3*f + f + u for f.
1
Suppose -w = -12 + 4. Let u = 4 + w. Solve 0*x + 4*x - u = 0 for x.
3
Let p = -9 + 21. Suppose 4*g + p = 2*q - 0*q, 3*q = -4*g + 38. Solve i + 4*i + q = 0 for i.
-2
Suppose -5*w - 3*m + 9 = 0, -2*m + 0 = -6. Solve 2*b + 3*b - 20 = w for b.
4
Let b(g) = -g**2 - 3*g + 2. Let h be b(-5). Let j be -5*h/10*1. Solve f - j*f + 15 = 0 for f.
5
Let h be 3/((-3)/(-3)) + 1. Suppose -1 - 15 = -h*x. Solve 19 = 3*d + x for d.
5
Suppose -66 + 18 = -4*x. Solve x = v + 2*v for v.
4
Let i(a) be the second derivative of -a**5/20 - a**4/2 - a**3/2 - 2*a**2 - a. Let y be i(-6). Let c = y + -2. Solve 5*n - c = 3 for n.
3
Suppose 0 = 4*t - 8, 2*a - 2 = -3*a + 4*t. Suppose -d + u + 8 = -4*u, -2*u + 4 = a*d. Solve -d*v - v = 16 for v.
-4
Suppose -51*y + 50*y + 6 = 0. Solve -y*j = -4*j - 10 for j.
5
Let z = 3 - 9. Let o(k) be the first derivative of -k**3/3 - 4*k**2 + 2. Let s be o(z). Solve 3*x = -0 - s for x.
-4
Let c(v) = -v**2 + 8*v + 19. Let r be c(9). Solve -3*y - 22 = -r for y.
-4
Suppose -2*i - 5 = -21. Suppose 21 = o - 5. Suppose 0 = 3*m - 5*g - i + 1, 0 = -2*m - 2*g + o. Solve 5*j - m = 2*j for j.
3
Suppose -u - 5*m + 4 = -4*u, 0 = -u + 5*m - 8. Solve u*w = 3*w + 5 for w.
-5
Let x(a) = -a - 4. Let m be x(-8). Solve -18 = m*v + 2 for v.
-5
Let s(n) = -n**2 + n - 1. Let t(f) = -f**2 - 4*f + 6. Let l be t(-5). Let o be s(l). Let w(b) = -3*b - 1. Let u be w(o). Solve 0*q = -u*q for q.
0
Let t(q) = q**3 + 4*q**2 - 2*q - 6. Suppose -6 - 2 = 2*a. Let s be t(a). Let f be 2 + (s - 2) + 0. Solve 5*m = f*m - 6 for m.
-2
Let u = -4 + 4. Solve u*s - 3*s = -6 for s.
2
Let a be (6 - 5)/(1/36*4). Solve -a = -m + 4*m for m.
-3
Let r be 1*-7*1 - 2. Let o be (r/6)/(-3)*6. Suppose -o*f + 2*f = -1. Solve -f + 3 = l for l.
2
Let w(b) = -b**2 - 9*b - 3. Let y(v) = v**2 + 9*v - 6. Let t be y(-9). Let k be w(t). Solve 0 = -0*d + 5*d + k for d.
-3
Let u(o) = o + 3. Let a be u(0). Suppose -6 = -2*v - t, 29 = a*v + 2*v - t. Solve v*r = r + 20 for r.
5
Let s(g) = g**3 - 10*g**2 + 12*g - 7. Let n(z) = 10*z**2 - 1. Let m be n(-1). Let d be s(m). Solve -5*r + d - 5 = 0 for r.
3
Let f = 7 - 4. Suppose f*m = 5*m - 2. Let c be (-1 + m)/((-1)/1). Solve c = -6*b + 2*b for b.
0
Suppose 2*s = -2*z + 26, 0 = s + z + 2*z - 11. Suppose s = 5*g - 6. Solve g*h - 7 = 5 for h.
3
Suppose 0 = 2*k - 10. Suppose 1 - k = -i. Solve 3*t - 4*t = i for t.
-4
Suppose -3*w + 96 = w + 4*k, w - 33 = 2*k. Let j = w + -20. Solve j*n - 2*n + 15 = 0 for n.
-3
Let z(c) = c**2 + 16*c + 17. Let j be z(-15). Solve -g - g - j = 0 for g.
-1
Let s(z) = -2*z - 2. Let p be s(-6). Let b = p + -4. Solve 2*h + 4 + b = 0 for h.
-5
Suppose -2*b - 24 = -5*b + 5*a, -b - 2*a - 3 = 0. Solve b*d - 25 = -2*d for d.
5
Suppose -4*k = -5*d - 0*d - 9, d = -2*k + 1. Solve g - 4 = k for g.
5
Let c = -3 - -5. Let t be ((-10)/4)/(-1)*c. Solve 0 = 2*k + 3*k + t for k.
-1
Let w be -14*(15/21 - 1). Solve -1 = -5*a + w for a.
1
Suppose 3*y = y + 10. Let q(x) = -x + 5. Let f be q(y). Solve 2*v + 0*v + 2 = f for v.
-1
Let n be 4/(-2) - 24/(-4). Suppose 2 = -n*h + 6. Suppose m = -5*y + 44, -5*m + 4*m - h = 0. Solve 4*k - 7 - y = 0 for k.
4
Let d(l) = l**3 + 7*l**2 + 6*l. Let c be d(-6). Suppose 2*y - 4*z = c, -3*y + 3 = 2*z - 5. Solve -y*i = i for i.
0
Suppose 0*h = 5*h - 70. Let q = h + -9. Solve o = 2*o - q for o.
5
Suppose -5*v - 23 + 68 = 0. Let j be 0 + 0 + (v - 8). Solve -2*n - 11 = -j for n.
-5
Let r = 9 - 9. Solve r = -n - 2*n for n.
0
Suppose 3*x - 3 = -2*a, -5*a = x - 1 - 0. Suppose 2 = -h + 2*k, a*h - 4*k = -4*h - 4. Let t be (0 - h)*2/(-2). Solve t = 5*y + 27 - 12 for y.
-3
Suppose 0*w + 7*w = 0. Solve -g - g = w for g.
0
Suppose -b + 17 = 5*y, -b = -5*y + 3*b + 7. Let o be y + 3/(-6)*2. Solve -o*r - 5 = 3 for r.
-4
Let w be (-2)/((-1 - -3)/(-2)). Suppose -4*n - s + w*s + 1 = 0, 4*s = -5*n - 4. Let i = 20 - 8. Solve n*r = -4*r + i for r.
3
Let x(c) = -c**3 - 8*c**2 + 8*c - 7. Let h be x(-9). Solve 5*q = 18 + h for q.
4
Suppose 2*b + 0*b = -j + 17, 4*j = -2*b + 44. Let v = 13 - j. Solve 3*c - c = v for c.
2
Suppose 2*g - 5*t = 0, -g - 4*t - t = -15. Let d be ((-4)/(1 + -2))/2. Suppose 1 = -d*i - 5, -31 = -w + 5*i. Solve g*c + w + 9 = 0 for c.
-5
Let f be 60/25 + (-6)/(-10). Solve 4*c = c + f for c.
1
Suppose -v + 9 = 2*k, -2*v + 5*v - 37 = 4*k. Suppose -2*d = a - 5, -5*a + 4*d + 0*d = -v. Suppose 7 - 3 = 5*p - a*b, 4*b = 8. Solve -5 - 1 = -p*z for z.
3
Let z(j) = j - 1. Let l be z(5). Suppose -l*y - 2 - 4 = 2*b, y = -4*b + 9. Solve 7*s = b*s - 12 for s.
-3
Let i be ((-57)/(-9))/(2/36). Let s = i + -14. Suppose -s = -2*j - 3*j. Solve -j = -8*o + 3*o for o.
4
Let u = 66 - 63. Solve 17 = -4*w - u for w.
-5
Suppose 20 = -0*j + 4*j, -5*j = 5*t - 45. Solve a - t = -3*a for a.
1
Suppose 0 = 2*j - 2 - 14. Suppose 0 = n + 3*g - j, 4*n + 0*g = -2*g + 22. Solve -a = -2*a + n for a.
5
Suppose -z - 3*z = 2*n - 38, -24 = -2*z + 4*n. Suppose 3*x = g + 17, -3*g - 35 = -6*x + x. Solve -x*o - z = 6 for o.
-4
Let p(x) = x**3 + 10*x**2 + 8*x + 2. Let g be p(-9). Suppose 1 = 3*a - g. Solve 3*h + 10 - a = 0 for h.
-2
Let c(q) = q**2 + 5*q + 6. Let t be c(-4). Suppose -2*r = -4*h - 22, t*r - 29 = -r + 5*h. Solve -11 + r = 4*u for u.
-2
Let t be (18/21)/((-4)/(-28)). Suppose 0*j = 2*j - 4. Let m(l) = l**2 - 2*l + 2. Let w be m(j). Solve -5*z = -t*z - w for z.
-2
Suppose -3*v - 27 + 81 = 0. Let p = v - 13. Suppose 5*g - 2*g = 3*b - 9, -p*g = 4*b - 21. Solve -f = -3*f - b for f.
-2
Suppose -4*r + 9 = -r. Let q be (-3 + 2)*(2 - r). Solve 4*b = -q + 21 for b.
5
Let z be -28*(-6)/12 - -6. Suppose 2*a + 3*a = 0. Let v = a - -4. Solve -d - v*d - z = 0 for d.
-4
Let d be (-10)/4*(-520)/100. Solve 3*f + 4 = d for f.
3
Suppose 0*p + p + 5*f = 23, -1 = p - f. Solve -p*y - 1 - 2 = 0 for y.
-1
Suppose 6*v - v = 0. Let o(b) = 9*b - 13. Let z be o(2). Solve 0 = -v*u + z*u + 10 for u.
-2
Suppose 5*a - 15 = 0, -2 = n - 4*a + 8. Solve 0 = 4*r + 6 - n for r.
-1
Let o = -96 - -96. Solve -5*m - 12 + 2 = o for m.
-2
Let p = -116 - -194. Suppose 0*v - p = -4*v - 2*u, 2*v = 3*u + 43. Solve 0 = 8*g - 3*g - v for g.
4
Let u be 0/((1 - 0) + 0). Let a be (u + 0)*(-2)/(-4). Solve a*t = -4*t + 20 for t.
5
Suppose -s = -4*a - 6, s - 2*s - 6 = 2*a. Let o be 1 - (0 - (1 + s)). Solve o*f = f - 1 for f.
1
Let y = 14 - -11. Suppose 6*d - 25 = d. Let o be (-34)/(-6) + (-26)/39. Solve -d = -o*t - y for t.
-4
Let h = 15 + -8. Let g = h + -5. Solve -4*i - 2 = g for i.
-1
Suppose 5*z = 21 + 4. Let c be 1*((0 - -2) + 2). Let u = c + 1. Solve 0*w = -z*w + u for w.
1
Suppose 3*u - 18 + 6 = 0. Let v = u + -1. Solve 4*i + 2 = v*i for i.
-2
Suppose 5*u - 13 = -73. Let r(b) = b**2 + 11*b - 12. Let w be r(u). Let v = 4 - w. Solve 10 = 2*x - v*x for x.
-5
Let a(j) = 8*j**2 - j - 1. Let k be a(-1). Suppose 2*f = 2*w, 3*f = -f + 8. Solve w*h = 4*h + k for h.
-4
Let i be 2 + 0 + 33/11. Let v(h) = -h + 6. Let m be v(4). Suppose -2*a + 2*b + m = -2, 5*b = -4*a - 10. Solve 0 = 5*k - i - a for k.
1
Let r be (18 - 18)*1/2. Solve -5*n = -r*n for n.
0
Let y(s) = -s - 3. Let x = -19 + 14. Let b be y(x). Solve -b*n + 20 = 3*n for n.
4
Let k(d) = 4*d**2 - 22*d + 20. Let h be k(1). Let x = 8 + -6. Suppose x*o - 16 = -2. Solve b - h = -o for b.
-5
Suppose 2*n - n = x + 15, 2*n - 4*x = 40. Solve 0 = 2*d - 4*d + n for d.
5
Suppose 0 = -5*x + 20, -3*z + 0*x + 23 = 2*x. Solve 5*c = -0 + z for c.
1
Suppose -47*v = -42*v - 10. Solve 0*p = v*p for p.
0
Let o(k) = -k**2 - 7*k + 1. Let m be o(-7). Let d = m - -1. Solve -2*q = d - 0 for q.
-1
Suppose 9*u + 0 = -0. Let i(p) = -p**2 + 5*p - 3. Let x be i(4). Let q be x/(1/2)*1. Solve g = -u*g - q for g.
-2
Suppose 1 + 4 = u. Let q = -13 - -15. Solve -3 = q*n - u*n for n.
1
Suppose 8*j = 10*j. Solve j = k - 0 + 3 for k.
-3
Suppose 3*b - 58 = -13. Let s = b + -13. Solve 2*r + s*r + 16 = 0 for r.
-4
Suppose -2*i = 3*i - 25, q + 5*i = 27. Suppose -v = -q*v. Suppose -4*h + 16 = 4*x, v*x = 3*x + 5