20 for a.
4
Let z be (14 - 1)/(0 - -1). Let c = z + 3. Solve 0*t - 4*t - c = 0 for t.
-4
Let j(r) = -r**2 - 11*r - 15. Let n be j(-9). Solve 0 = -a + n for a.
3
Let m = 1 - 1. Suppose m = -3*v - 2*v + 20. Suppose -37 = -l + v*h, 0 = 3*l + 2*h - 37 - 32. Solve -l = r + 4*r for r.
-5
Suppose 3*b + b - 48 = -4*a, -4*a = -4*b + 16. Solve 0 = 5*s - s + b for s.
-2
Suppose -4*v + 9*v = 10. Suppose 16 = 3*s + o, -2*o + v = -0*o. Solve s*x = -13 - 7 for x.
-4
Let y be (-16)/(-10)*10/4. Solve 5 - 13 = y*v for v.
-2
Suppose 4*r = 3*r - 3*f + 14, 2*f = r + 6. Solve r*h - 4 = 3*h for h.
-4
Let o(v) = -v + 3. Let l be o(3). Let b = 4 - -1. Suppose 2*g - 6 = k, b*g - 14 - 6 = 0. Solve k*p + 2*p = l for p.
0
Let j(r) = -r**3 - 4*r**2 + 4*r - 2. Let o be j(-5). Let h = o - -3. Let s be 15/9 + (-4)/h. Solve 0 = p + 4 - s for p.
-3
Let t be (-13 - -10)*4/(-6). Suppose -4*p + 5*n + 5 = 0, -3*n - 2 = t*p - 21. Solve -p*h - 9 - 1 = 0 for h.
-2
Let c = -5 + 9. Suppose -2*l - 55 = -5*t, -4*t + c*l - 3 = -35. Solve 5*d = t + 7 for d.
4
Let l(a) = a**2 - 9*a - 19. Let w be l(11). Solve w*p = -p + 20 for p.
5
Let b = 65 + -61. Solve -2 - 10 = -b*s for s.
3
Suppose -3*t = 3*l - 15, 2*l + l - 5 = 2*t. Solve -y - t*y - 3 = 0 for y.
-1
Let q be 4/(-14) - 6/(-21). Solve b + q + 4 = 0 for b.
-4
Let p be (9/(-6))/(2/16). Let o = -6 - p. Solve 0 = -0*s + 2*s + o for s.
-3
Let r = 5 + -2. Suppose w + 8 = 3*q, r*q - q - 6 = w. Let o = q - 0. Solve t = -0*t + o for t.
2
Suppose 3*k + 5*r - 60 = -2*k, -2*k + r = -18. Solve 5 = 5*v - k for v.
3
Let b(r) = r**2 + 8*r + 25. Let f be b(-7). Solve -3 + f = 5*t for t.
3
Let x be (-3)/12 + 51/12. Solve -x*d - 8 = -0*d for d.
-2
Suppose 5*z + 94 - 129 = 0. Solve -5 = 4*k + z for k.
-3
Let c(k) = k**2 + 8*k + 7. Let i be c(-7). Let t be (-1)/(-5) - 56/(-20). Solve -l - t = -i*l for l.
-3
Suppose 4*j + 4 = -x + 2, x - 1 = -j. Let s(i) = i**2 - 3*i - 18. Let y be s(6). Solve -2*l + y - x = 0 for l.
-1
Let i(s) = s - 11. Let l be i(8). Let t be ((-2)/l)/(4/(-30)). Let y = 7 + t. Solve 9 = -y*a + 1 for a.
-4
Let j = 4 + 0. Solve -3 = -3*v + j*v for v.
-3
Let d(i) = 11*i**2 + 1. Let f = 0 + -1. Let q be d(f). Let h(u) = -u**3 + u**2 + u - 1. Let z be h(1). Solve z = 3*v + q for v.
-4
Let w = -16 - -18. Solve -w*o = o for o.
0
Let k be (-26 - -1)*(-12)/30. Suppose 2*u - k = 0, -h + 2*u - 15 = -u. Solve h = -3*l - 2*l + 10 for l.
2
Let b(p) = p**3 - p**2 - 3*p + 2. Let m be b(2). Let o be (-2 + 38)*(-1)/2. Let l be ((-2)/(-3))/((-4)/o). Solve l*g + m*g = -6 for g.
-2
Let f be 1*2 + (4 - -4). Suppose 10*j - f = 5*j. Solve p = -j*p for p.
0
Suppose 3*q = 4*q. Solve 4*w + q = 12 for w.
3
Let z = -28 + 32. Suppose 2*x = -2*y + 4, -5*x = -z*y - 0*x + 17. Solve y*u = -u for u.
0
Suppose 0 = -3*s + 2*s + 3*y - 3, s + 3*y = 3. Solve -4*u - u + 25 = s for u.
5
Let q = 34 - 30. Solve -q*w + 22 = 2 for w.
5
Let l(f) = 2*f**2 + 3*f + 2. Let b be l(-2). Suppose 3*o + 3*i = 24, -b*o + i + 32 = 2*i. Solve j + 3*j = o for j.
2
Let d(t) = -5*t**3 - t**2 - 2. Let h be d(-2). Solve -4*o - h = -14 for o.
-5
Let y be (-3)/(-6) - 2/12*-3. Let s(v) = -v**2 + 3*v + 1. Let w be s(3). Solve -l + w = -y for l.
2
Let z be 1/(-4) + 95/(-20). Let u(d) = -d**2 - 7*d - 5. Let o be u(z). Solve -10 = -5*r + o for r.
3
Let a be 1*2/(4/10). Suppose 14 - 4 = 2*l - 4*p, -14 = -4*l + 2*p. Solve 2*w - l*w = a for w.
-5
Suppose 4*m + 2*m = 24. Solve -m*p + 0*p = 20 for p.
-5
Let u = -18 + 9. Let a be (-12)/9*u/6. Let i be 2/(-4)*(a - 2). Solve -4*y + 8 = -i for y.
2
Suppose -5*m = -2*m + 3*l - 66, 4*l = -3*m + 68. Suppose 5*q = -5 + m, 5*z - 2*q = -6. Suppose z*a - 2*a = -8. Solve -a*h - h - 10 = 0 for h.
-2
Let v = -11 - -1. Let j = v + 14. Suppose -o + 3 = -0*o. Solve 9 = -j*m - o for m.
-3
Let r be 0 + (-20)/(-5) - -1. Suppose 0*q = -3*q + 6. Suppose -2*c + 2*k = -4, k = -c - 0*k - q. Solve c = r*v + 18 - 3 for v.
-3
Let c = 103 + -95. Solve -5*v - c = -7*v for v.
4
Suppose -4*f = h - 6, -4*h + 4*f = -0 - 24. Solve 2*j - 2 = h for j.
4
Let i be (-328)/40 - 1/(-5). Let u be 4/i*2 + 3. Solve c - u*c + 5 = 0 for c.
5
Let x(r) = r**3 - 9*r**2 - 5*r - 12. Let s(v) = -4*v**3 + 28*v**2 + 16*v + 37. Let c(i) = 2*s(i) + 7*x(i). Let z be c(-7). Solve 4*a = -5 - z for a.
-4
Let d = 7 - 3. Let j(h) = -h**3 + 3*h**2 + 4*h. Let q be j(d). Solve 3*c + c + 4 = q for c.
-1
Suppose f = 5*f - 0*f. Solve f*p - 6 = 2*p for p.
-3
Suppose -2*v + 4*p + 32 = 0, -3*v - p - 7 + 27 = 0. Let o be v - (4 - (6 + -4)). Solve -o*c + 10 = -c for c.
2
Let f(j) = -3*j**2 - 2*j - 1. Let q be f(-2). Let n be (-2135)/245 + 4/(-14). Let d = n - q. Solve d*t = 3*t for t.
0
Let b = -13 + 15. Solve -9 = c + b*c for c.
-3
Suppose -17 = 4*c - 3*h, -c + 3*h - 17 = -2*h. Let f = 0 - c. Solve -f*o = -0*o + 8 for o.
-4
Let t(p) = p**3 + 4*p**2 - 4*p + 5. Let h be t(-5). Solve 2*j + 10 + 0 = h for j.
-5
Suppose -2*r = z + 5, 4*r + 5 + 17 = 2*z. Suppose z*m + 18 = 3. Let s = m - -5. Solve -5*b + s*b = 5 for b.
-1
Let j(w) = -w + 7. Let x = 24 + -17. Let z be j(x). Solve -o - 4*o = z for o.
0
Let n(g) = g**2 - 9*g + 4. Let i be n(9). Suppose q - 2 = -3*p + p, i*q = -3*p + 3. Let v be 6 + q + (1 - 1). Solve 11*b = v*b - 10 for b.
-2
Let q = -11 + 27. Let i = 16 - q. Solve i*d - 2*d = 0 for d.
0
Suppose -w + 16 = -2*p + 7*p, -p = w. Suppose 4 = -2*q + p*q. Let k = -1 + q. Solve -k = -3*a + 2 for a.
1
Let v(y) = -3*y**2 + 2*y + 0*y**3 + 2 + 0*y + y**3. Let w be v(2). Suppose -d - 39 = -5*l + l, -4*d = w*l - 24. Solve -t - l = t for t.
-5
Suppose -5*t - 5 = 5*u, 4*t - 14*u = -9*u + 23. Solve 5 = -t*w - 3 for w.
-4
Let y = 3 - 4. Let c(m) = m**3 - m**2 + 1. Let x be c(y). Let o(w) = -11*w - 1. Let f be o(x). Solve 0 = -n + 6*n + f for n.
-2
Let b be (-3)/(-1) + -1 + 1. Solve x = b*x - 4 for x.
2
Let j(w) = -4*w**2 + 14*w - 25. Let i(c) = -c**2 + 5*c - 8. Let u(x) = -7*i(x) + 2*j(x). Let y be u(-8). Let o be ((-3)/y)/(6/8). Solve -o*p + p + 3 = 0 for p.
3
Suppose -2*k = 3*k. Let h = k + 2. Suppose 3*t + t - 23 = -3*d, 5*d - 2*t = -5. Solve h + d = -j for j.
-3
Let y = -3 + 12. Solve 5*t + y = 2*t for t.
-3
Let m = -26 - -30. Solve -i - 5 = -m for i.
-1
Suppose -z + 2*z = 2. Suppose z*u - 10 = 5*o, 4*u + 3 + 1 = -2*o. Solve c + u - 2 = 0 for c.
2
Let s be 1/(-1 + (-12)/(-14)). Let t(d) = 2*d - 6 - 2*d - 2*d. Let h be t(s). Solve -v = 3*v - h for v.
2
Let b(d) = d**2 - 7*d + 9. Let a be b(6). Let w = 3 + a. Let x = w + -4. Solve -c + 3 = x for c.
1
Let j be ((-2)/8)/((-9)/72). Solve -2*i - j = 8 for i.
-5
Suppose -4*q - 3 = 9. Let z(b) = b**2 - 2*b - 2. Let y be z(q). Solve 3*r + y = 1 for r.
-4
Suppose 0*b - 5*b + 5 = 0. Let l = 8 - 6. Suppose 0*o = -l*o. Solve -q + b = -o*q for q.
1
Let h = 47 + -35. Solve -w = 2*w + h for w.
-4
Let q(b) = -b**3 - 16*b**2 + 16*b - 17. Let s be q(-17). Solve s = -t - 0 - 5 for t.
-5
Let f be (-6)/15 - (-4)/10. Suppose f = 2*i + 3*i. Let w be 7 + i + 1 + -2. Solve 0 = 2*r - w*r for r.
0
Let j = -7 + 12. Suppose j*h = 15 - 0. Solve 2*w = w + h for w.
3
Suppose -20*d + 131 = 11. Solve 0 = -d*p + 3*p + 15 for p.
5
Suppose 0 = -3*x + 6, -4*p - 4*x = -0*x - 68. Let g be 8/(-10)*(-5 - 0). Solve -g*m + 1 = -p for m.
4
Let s be 3*((-4)/(-6) - -3). Solve 3*a = s + 1 for a.
4
Let p(a) = -4*a + 2. Let k be p(-1). Solve -2*j + k - 14 = 0 for j.
-4
Let w = -9 + 14. Let i(h) = h**3 - 4*h**2 - 5*h + 1. Let c be i(w). Solve -l + 1 = -c for l.
2
Suppose -5*v + 10 = -5. Solve 0 = o - v*o - 6 for o.
-3
Suppose -w = w - 2. Suppose n = w + 2. Solve -u + n - 4 = 0 for u.
-1
Suppose -3*i = -6*i - 6. Let r be 6 - (5 - (i - -5)). Solve -g + r*g + 15 = 0 for g.
-5
Suppose 0 = -u - 4 + 6. Let j be ((-9)/(-6) - u)*0. Solve 3 = -y - j for y.
-3
Suppose 0 = -3*c + c + 8. Solve -c*u - 20 = -0*u for u.
-5
Let a = 5 + -5. Suppose -16 = -0*g + g - 4*w, 0 = g - w + 1. Solve -z + g*z = a for z.
0
Suppose 0 = 8*k - k - 2*k. Solve -7*s + 2*s - 25 = k for s.
-5
Let c(n) = 2 + 0*n**3 - 12*n**2 + n**3 - 11 + 12*n. Let v be c(11). Solve -3*s + v = -s for s.
1
Let v be 4/6*33/11. Solve v = 2*y + 6 for y.
-2
Let v be (3 - 2/2)*-1. Suppose -65 = 5*m + 5*p, 0*m - m - 2*p = 18. Let c be (-13)/v + 12/m. Solve 3 = c*j - 2 for j.
1
Let w be 0 + 5 + 1 + 0. Suppose -2*g = -w*g. Let h(i) = -2*i - 6. Let u be h(-5). Solve -u*j + 0 + 4 = g for j.
1
Suppose 5