 for a.
-4
Suppose -5*z = -5*q + 5, -6*q + 3*q - 4*z = 32. Let o = 0 - q. Suppose -30 = -o*k + 6. Solve -3*f - k = -0 for f.
-3
Let v = 5 - 0. Suppose -54 = -v*w - 4*c - 18, 16 = 4*c. Suppose -8 = 2*r + 4*m, 5*r = -3*m - 0 + 1. Solve -12 = -r*i - w for i.
4
Let j be (-3)/5 + (-48)/(-80). Let r = -1 + 1. Let u = j - r. Solve 3 = -3*s - u for s.
-1
Let z be 7*3*(-4)/(-42). Solve 4 = -u + z for u.
-2
Suppose 3*a = -2*o + 5, 0 = a - 2*o - 0*o - 15. Solve a*j = -2 - 13 for j.
-3
Suppose 3*z - 8 = -4*n, 5*z + 0*n = n + 21. Solve -z*q = -1 + 9 for q.
-2
Let u(w) = w - 3. Let j be u(12). Solve 14*a + 5 = j*a for a.
-1
Let v(t) = t**3 + 4*t**2 - 5*t - 5. Let g be v(-4). Let k = -11 + g. Solve 0 = -k*q + 15 + 5 for q.
5
Suppose 9*q = 3*q + 18. Solve q*n + 7 = -2 for n.
-3
Let j(t) = 9*t**3 - t + 1. Let z be j(-2). Let b = -49 - z. Solve -b = -4*d - d for d.
4
Let s = 5 - 0. Suppose 10*k = -5*l + 5*k - s, 16 = -4*k. Suppose 14*q - 208 - 2 = 0. Solve l*i = -0*i + q for i.
5
Suppose -4*o + 0*o + 80 = 0. Solve -a + o = -5*a for a.
-5
Let x(k) = k - 5. Let h be x(5). Suppose w = -4 - 2. Let m(g) = g**3 + 7*g**2 + 6*g + 1. Let j be m(w). Solve h = -o - j - 4 for o.
-5
Suppose 0*v = -3*v + 48. Suppose b = -0*b + 3. Solve -b*u = u - v for u.
4
Let t = -19 - -22. Solve 0 = -3*b - t - 0 for b.
-1
Let j(t) = -t**3 - 4*t**2 + 7*t + 5. Let w be j(-5). Let x be 6 - w/(15/(-9)). Solve x = -n - 2 for n.
-5
Let n be 0/(-2) - 21/(-3). Suppose -i + 20 = 2*t + n, 0 = -i + 5. Let j be (-120)/(-65) - (-4)/26. Solve -t*u + 2 = -j for u.
1
Let x = 16 - 4. Let l = -8 + x. Suppose -4 - 32 = -l*q. Solve -4*c + 1 = q for c.
-2
Let p(r) = -r**3 - 2*r**2 + 3*r + 3. Let w be p(-3). Suppose 8 + 7 = w*h. Suppose -h*d = -0*d - 10. Solve -d*n + 0 - 6 = 0 for n.
-3
Let r = 18 - 16. Solve 0*t = -t + r for t.
2
Let y be 36/30*10/(-4). Let v be y - -1 - 4/(-2). Suppose 5*s = 97 - 22. Solve -5*z + s + v = 0 for z.
3
Let u = -2 + 6. Suppose -b + 5 = 0, -3*b + 13 - u = -m. Solve -2*j + 2 + m = 0 for j.
4
Suppose 4 = 2*z - 2*a + 2, -4*a + 8 = 0. Let n = 268 + -268. Solve n = -3*y + z - 12 for y.
-3
Let s(p) = -5*p - 3 + 2*p**2 + p**3 + 2*p**2 + 6. Let w(f) = -f - 5. Let h be w(0). Let q be s(h). Solve 11 = 4*a + q for a.
2
Let f(z) = z + 2. Suppose -b - 2*b = 0. Let g be f(b). Suppose -3*n - 11 = n - 5*j, -3*j + 4 = -5*n. Solve h - g = -n for h.
1
Let m(g) = -4*g - 12. Let l be m(-3). Solve l*k = 4*k + 20 for k.
-5
Let z = 7 + -1. Let f = 6 - z. Solve f = m - 5*m for m.
0
Let d(v) = -v**2 + v + 2. Suppose i + 3*i - 8 = 0. Let g be d(i). Suppose 0 = 3*c - g*c - 9. Solve 0 = c*k - 10 + 4 for k.
2
Suppose j + j - 6 = 0. Suppose 0 = 6*i - j*i - 6. Solve v - i*v - 1 = 0 for v.
-1
Let p(d) = d. Let w(m) = 2*m + 1. Let j(a) = -p(a) + w(a). Let n be j(9). Solve -o = -6*o - n for o.
-2
Let s be 0/((-2)/(-3) + (-2)/(-6)). Solve s = -2*g + 4 for g.
2
Let o = -24 + 35. Suppose 4*s - 32 = -4*x, -3*s + o = -2*s + 4*x. Solve 2*a + 15 = s*a for a.
3
Let m be (-1 + 4/6)*-15. Suppose m*w = 6*w - 4. Solve 12 = 4*n - w for n.
4
Let t be (-2)/(-3) + (-12)/(-9). Suppose -t*z + 1 + 9 = 0, 5*o - 4*z + 5 = 0. Solve 0 = n + o*n - 4 for n.
1
Let s be (8/6)/((-6)/(-27)). Solve 0 = -0*t + 2*t - s for t.
3
Let h(u) = 59 - 3*u - 59. Let k be h(-2). Solve 4*g = g + k for g.
2
Let l(x) be the first derivative of 3*x**4/4 - x**3/3 + x**2/2 - x - 1. Let b be l(1). Let r(g) = g**2 + 3*g - 2. Let p be r(-4). Solve b*i - p = i for i.
2
Let k = -6 + 7. Suppose -c = 3*o - 4, -5*c + o - 32 + 4 = 0. Let z(p) = p + 5. Let m be z(c). Solve -a + k = -m*a for a.
1
Suppose -4*i - 2 = -5*i. Solve 3 = r - i for r.
5
Let n be (-15)/(-4) + 95/76. Solve 5 = n*j - 5 for j.
2
Suppose -6 + 0 = -3*i, -4*k - 2*i + 12 = 0. Solve 0*h + k*h - 6 = 0 for h.
3
Let l = -3 - -6. Let a(i) = l - 1 + i + 0. Let q be a(-2). Solve q + 6 = -3*y for y.
-2
Let n = -6 - -6. Suppose -4*b + 6*b = n. Solve -4 + b = 2*s for s.
-2
Let s(v) = -v + 4. Let n be s(-3). Let p = -5 + n. Let b be 2 + p*(1 + -2). Solve b = 2*f + 5 - 1 for f.
-2
Suppose 4*g + 51 = -29. Let t = -13 - g. Solve 5*q = 13 + t for q.
4
Let n be 32*(-1)/10*-5. Solve 4*t - n = -4 for t.
3
Let h(w) = -w**3 + 7*w**2 - 5*w. Let x be h(6). Solve 0 = 4*d + x + 10 for d.
-4
Suppose 4*w - 3*b = -22 + 3, -w - 21 = -4*b. Let p be (-2)/(2/(-2)) - 6. Let j be p/8 + w/(-2). Solve j = -k + 4 for k.
4
Suppose 69 = z + 2*z. Suppose -3*c + z = 4*r, 3*c + 0*r - 4*r = 7. Solve 0 = -0*v + c*v - 10 for v.
2
Suppose 0 = 4*c + c - 40. Let n(o) = -o**3 - 5*o**2 - 2*o - 7. Let w be n(-5). Suppose 0*t - 5*t = 0. Solve -b - w*b - c = t for b.
-2
Suppose -z = 4*h + 32, 0*z = z + 2*h + 22. Let u be z/(-8)*(-8)/(-6). Solve -u*a - 2*a = 0 for a.
0
Let x = 14 + -13. Solve 4 = g - x for g.
5
Let n(v) = -6*v**2 + 28*v + 10. Let u be n(5). Solve u = -9*q + 8*q - 2 for q.
-2
Let t(o) = -o**3 + 34*o**2 + 3. Let y be t(34). Solve 0 = -r + y for r.
3
Let b = 7 - 2. Let a = 6 - b. Let y be -1 - (-1)/a - -7. Solve 4*z - 27 = -y for z.
5
Suppose -6*q - 2 = -4*q. Let u = -3 - q. Let x = u + 4. Solve x = -y + 3 for y.
1
Suppose 25 = 2*v + 3*v. Solve -v = -6*r + r for r.
1
Let a = 16 + -15. Solve 11 + a = 3*y for y.
4
Let g = 0 + 0. Let s = -13 - -11. Let o be (-5)/s*(12 - 6). Solve 5*p = -g*p - o for p.
-3
Suppose 0 = -3*w - 12, 3*w = -5*d + 5*w + 8. Let i(o) = o**2 - 7*o - 1. Let s(n) = n + 1. Let r(j) = -i(j) - 2*s(j). Let c be r(4). Solve d*z - c = z for z.
-3
Let y(l) = 2*l**2 - 4*l + 3. Let h be y(2). Suppose -h*r + 112 = r. Solve 4*u = 12 - r for u.
-4
Let d be -1 - (-3)/((-6)/(-4)). Suppose 0 = -5*i + i - 4. Let n be 3 - 2*d/i. Solve -n + 1 = 2*k for k.
-2
Let f = -34 + 36. Solve r = -f - 0 for r.
-2
Let q be (-1)/2*4/(-12)*0. Solve -y - y + 8 = q for y.
4
Let d be (-4)/10 + 51/15. Suppose 2*u = 3*y + 38, d*y + 5*u + 19 = -12. Let v = y - -17. Solve -v = 4*j - 17 for j.
3
Suppose -2*d = -4*d - 8. Let l be (-6)/d - 14/(-4). Solve 4*n - 11 - l = 0 for n.
4
Let n = 1 - 1. Let c be (-3)/2*(-4)/2. Solve n*w = -c*w + 12 for w.
4
Let y = 16 + 25. Suppose -5*p = -2*p + 4*u - 12, 3*u = 4*p - y. Solve 4*n = p*n + 20 for n.
-5
Suppose 0 = -3*u - 4*q + 37, 4*u - 5*q - 50 = -u. Let c = -7 + u. Let d = 0 + 0. Solve d = -5*m + c - 14 for m.
-2
Suppose 4*q = -2*v - 30, -6*q + 4*v = -2*q. Let r(a) = -a**2 - 2*a + 4. Let c be r(-3). Let d be (c*2)/(q/(-10)). Solve 0 = -5*k + 1 + d for k.
1
Let b = -31 - -56. Suppose 0*p - p = -4. Solve -b = p*f + f for f.
-5
Suppose 0 = -3*v + 88 - 19. Solve -4*y = -3 + v for y.
-5
Suppose -4*u = -5*u. Suppose k - 5 + 0 = u. Let x = -1 + k. Solve -i = x*i - 5 for i.
1
Suppose 5*i = 3*g - 4*g, i - 3*g = 16. Let s be 7 + -2 - (i - -1). Let n(f) = -f**2 + 3*f. Let u be n(s). Solve t - 5*t - 12 = u for t.
-3
Let z(i) = 3*i**2 + i - 1. Let u be z(1). Let s(x) = -9*x + x**2 + u*x - 16 + 19. Let a be s(6). Solve -2 = f + a for f.
-5
Let p be ((-1788)/(-16))/((-2)/(-8)). Let i = p - 711. Let l be i/(-42) - 2/7. Solve 0 = -l*u + u + 15 for u.
3
Let s(b) = b**3 - 3*b**2 + 4*b - 2. Let k be s(2). Suppose -q + 3 = -2. Suppose 19*p - 20*p + q = 0. Solve -k*y + p = 3*y for y.
1
Let u(i) = -4*i**3 - i - 2. Let o be u(-1). Solve 0 = 3*j + o for j.
-1
Suppose -5*y - k = -10 - 22, 0 = -5*k + 10. Let n be 4 + 0 + y/2. Solve -n = c - 2 for c.
-5
Let y be (-2)/8*2*-38. Let j = 55 + -28. Let x = j - y. Solve 0 = -6*g + x*g + 6 for g.
-3
Let m be (-7)/(-21) - 17/(-3). Solve -5*r - m = -3*r for r.
-3
Suppose 5*n - 32 = -4*z, -z - 4*z = -n - 11. Solve 0*s + 8 = n*s for s.
2
Let k = 9 + -9. Solve h - 6 + 2 = k for h.
4
Let v = -6 + 6. Suppose v = 4*d - 3*d. Solve b = -d*b for b.
0
Suppose -5*g = -21 - 9. Solve 0 = w + 4 - g for w.
2
Let b(c) = 2*c**2 - 6*c - 4. Let t be b(4). Suppose -3*i - 4*v = -14 + 4, t*v = 4. Solve 0 = -x - i - 2 for x.
-4
Suppose 3*g - 79 = 56. Suppose -8*m + 3*m = -g. Suppose -2 = -2*r + 4. Solve 3*n - m = r for n.
4
Let j be 12/(-42) + 16/7. Suppose -j*i - 5*y + 4 = 0, -3*y + 8*y + 20 = 0. Solve 2*o + o + i = 0 for o.
-4
Let g(i) = -i - 8. Let s(a) = -3*a - 25. Let y(x) = -7*g(x) + 2*s(x). Let l be y(0). Solve l = u + u for u.
3
Let y = 169 - 168. Solve -2*n - y = -n for n.
-1
Suppose -4*h - 3 = -11. Solve 5*u = h*u - 15 for u.
-5
Suppose -5*b + 6 + 14 = 0. Solve -b*i - 10 = i for i.
-2
Suppose 0 = -3*z - 1 - 5. Let g be 