 for a.
2
Let u = 20 + -2. Suppose -2*y + u = 3*b, -4*y - 3*b - 15 = -39. Let w = -1 + y. Solve -3*v + v = -w for v.
1
Suppose -4*q + 7*q = 12. Suppose 2*b - q = 6. Let d = 63 + -57. Solve -19 = -b*v + d for v.
5
Let c be ((-10)/4 - -1)*2. Let o = c - -5. Let w(i) = i**3 - 15*i**2 + 15*i - 7. Let k be w(14). Solve q + k = o for q.
-5
Let t = -15 + 10. Let v(l) = -l**3 - 6*l**2 - 5*l - 1. Let i be v(t). Let n be i/(-3) - 5/(-3). Solve -g + 0*g - n = 0 for g.
-2
Let l = -40 - -46. Solve h + 3 = l for h.
3
Suppose -r - 3*r = 0. Solve r + 4 = -q for q.
-4
Let b = 40 + -37. Solve -5*i = 7 + b for i.
-2
Suppose -4*t - i + 51 = 0, -2*t - 5*i = -13 - 26. Solve 8*q - t = 4*q for q.
3
Let m = 18 + -14. Suppose 4*q + 0 = m. Solve -5*c + 4*c - q = 0 for c.
-1
Suppose -2*o = -4*p + 4, o + 1 = p - 0*o. Suppose 0 = -3*r + 8 + p. Solve r*c + 0 = 3 for c.
1
Suppose 5*q - 4 = q. Suppose 26*z - 116 = 92. Solve -q = 3*h + z for h.
-3
Let g = 5 - 0. Let w = 1 + -3. Let v = w + g. Solve v*i - 4 + 19 = 0 for i.
-5
Let q be (-4)/10 - (-76)/(-10). Let s = q - -11. Let p(b) = b**2 + 2*b - 4. Let x be p(4). Solve s*d + 2*d - x = 0 for d.
4
Let z = 48 + -44. Solve -z*h - h = -20 for h.
4
Let j = 9 + 2. Suppose 0 = -5*d - 4*s + 46, 0*d + s + j = d. Let t = 0 - 0. Solve t*f + 2*f = -d for f.
-5
Suppose -1 + 4 = 5*m - 3*s, 4 = 3*m - 4*s. Let t be (-3)/2*(-1 - 9). Solve v + 4*v + t = m for v.
-3
Suppose -c + m + 16 = 0, 28 = -0*c + 2*c + 2*m. Solve -i - 2*i = -c for i.
5
Let o(j) = -j**2 - 11*j - 19. Let l be o(-8). Solve -l = -x - 3 for x.
2
Let p(u) = -u**2 + 15*u - 49. Let z be p(9). Solve -z*s - 4 = -9 for s.
1
Suppose 3*u - 21 + 6 = 0. Suppose 3*f + 0*f = 3*o + 12, u*f + o = 8. Solve -3 = -f*p - 7 for p.
-2
Let b(x) be the second derivative of x**4/12 + x**3/6 + x**2 + x. Let p be b(0). Solve h + p*h = 0 for h.
0
Suppose 3*b + d - 14 = 0, -2*d - d = 3. Let h = -15 + 19. Solve -h*t + b = t for t.
1
Let a be (-8 + 1)/(3/(-6)). Suppose 4*f - a = 2*f. Let u = -3 + f. Solve u*o + 6 + 2 = 0 for o.
-2
Let v = -1 + -2. Let k = v - -7. Suppose -7 = -m + r, -k*m = m + 2*r. Solve -m*f - f = 9 for f.
-3
Suppose 0*a - 4 = -2*a. Suppose -2*w + 6 - a = 0. Suppose -30 = -5*y - 4*u, -3*u + 26 = 4*y + 1. Solve -w*n - y = 3*n for n.
-2
Let c(z) = -z - 6. Let q be 2/2*(2 + -8). Let b be c(q). Solve 0 = -b*n + 5*n + 20 for n.
-4
Let j be (-79)/(-9) - (-6)/27. Let d be 3/j*3 - 0. Let p = d + 4. Solve 10*l + p = 5*l for l.
-1
Let t(w) = -w**3 - 6*w**2 + 7*w + 5. Suppose 0 = -3*s + s - 14. Let g be t(s). Suppose -g*b + 2*b = 0. Solve -2*m + b*m = 0 for m.
0
Let r = -197 + 209. Solve 0 = -2*p + 6*p + r for p.
-3
Let b be 3*((-6)/(-2))/3. Solve -b*g = g - 12 for g.
3
Suppose -16 = 3*n + 8. Let f = -5 - n. Solve 0 = i - f*i for i.
0
Let f be 4 + (4 - 1) + -2. Suppose f = u - 5. Let p = 15 - u. Solve 4*j = 5*j - p for j.
5
Let j = 15 + -13. Suppose z - 5*p = j*z + 2, 4*z - 2*p - 36 = 0. Solve -t + z = 5 for t.
3
Let q(f) = -f**2 - 7*f + 2. Let n(h) = -3*h + 3. Let g be n(3). Let w be q(g). Solve -2*x + 6*x + w = 0 for x.
-2
Suppose 5*u + 3 = 6*u. Solve 7*s = u*s - 16 for s.
-4
Suppose 3*t = 3*x + 2*x, x - 2 = t. Let y(d) be the first derivative of d**3/3 + 2*d**2 - 2*d + 2. Let m be y(t). Solve o + 5 = m for o.
-2
Let k = 4 + 0. Suppose 4*m = -u + k, -5*m + 5*u = -28 - 2. Solve f + 2 = -m for f.
-4
Let h be (16/28)/(2/21). Solve 2*x + 2 = h for x.
2
Let m = -75 - -79. Solve 5*g + m = -21 for g.
-5
Suppose -2*j = -0*j - 6. Let y(d) = d**2 - 2*d - 6. Let b be y(4). Solve b*n = -j - 5 for n.
-4
Let z(x) = -4*x + 1. Let g be z(-2). Let i be (-2)/g + 20/9. Solve 3*m + 7 + i = 0 for m.
-3
Suppose 0 = 8*a - 13*a. Suppose a = -2*q + q. Solve -4*s + 18 - 6 = q for s.
3
Let d = -3 + 3. Let z(r) = -r**2 + 5*r - 4. Let x be z(4). Suppose 0*w - 3*w = x. Solve d = -w*n - n + 1 for n.
1
Let p = 67 + -41. Suppose 0 = 5*z - 2*u - p - 20, -4*z + 50 = 5*u. Solve -3*j - 2*j = z for j.
-2
Let d(q) = q + 8. Let j be d(-8). Solve 4 = 4*r - j for r.
1
Let i = -124 - -131. Solve 0 = -i*s + 4*s for s.
0
Let a = 8 - 6. Solve a*d = -0*d - 4 for d.
-2
Let g = 6 - -2. Let l be g/16 + (-6)/(-4). Solve -8 = l*w - 18 for w.
5
Let c be (-282)/(-4) - (-6)/(-12). Suppose r + 40 = 5*m - 2*m, r = 5*m - c. Solve -5*w - m = -5 for w.
-2
Let u be 13/(-4) + 3 - 45/(-20). Solve 5*r = -u + 22 for r.
4
Suppose -c + 11 = 9. Solve 3*o = o + c for o.
1
Let u(t) be the first derivative of t**4/4 - 2*t**3/3 - t**2 - 2*t - 3. Let o be u(3). Let f = 4 - o. Solve 0 = b + f*b + 4 for b.
-1
Suppose 4*h - 20 = 3*h. Solve -x - h = 4*x for x.
-4
Suppose z + 2*z - 6 = 0. Suppose 0*u - z = -u. Let c be 0 - (-3 - -1*u). Solve -2*o + c = 3 for o.
-1
Suppose -4*s + 1 + 39 = 0. Solve 5*f - 7*f = s for f.
-5
Let n be (-2)/4 - 33/(-2). Let d(h) = -h**2 + 15*h - 10. Let y be d(14). Suppose 0 = 3*u - 4*u. Solve u*q + n = y*q for q.
4
Let l = -12 + 17. Let k = -3 + l. Solve 0 = k*n + 6 for n.
-3
Let m(d) = -d**3 + 3*d**2 + 12*d - 8. Let a be m(5). Solve -4*b + 2 + a = 0 for b.
1
Suppose -2*n = -0 - 6. Suppose -j + n*j - 16 = 0. Suppose -2*r + j = -0. Solve -y = -r*y for y.
0
Let s be (24/3)/((-3)/(-6)). Suppose 0 = 2*n + 2*o - s + 2, 5*o - 29 = -2*n. Solve 0 = t - n + 4 for t.
-2
Let s = 4 + -4. Let o be (1 - 1)*(1 - 2). Solve -q - 2 + o = s for q.
-2
Let q be -4*(0 + 2/(-4)). Solve q = 2*l - 4 for l.
3
Suppose 34 = -0*h + 2*h + 4*v, 2*v = -2*h + 30. Solve 3*a = -h + 4 for a.
-3
Let b(o) = o + 10. Let z be b(-7). Suppose 2*f = -t + 1, -2*t - f = -11 + z. Solve 0 = 6*n - n - t for n.
1
Let n = 35 + -16. Let k = n + -15. Solve k*o + 13 = -3 for o.
-4
Let j(n) = -n**2 - 15*n - 19. Let d be j(-13). Solve -2*m + d*m = 0 for m.
0
Let m be 12/(-8)*2/1. Let h be 6 + m + 2/(-2). Solve l = -l + h for l.
1
Suppose 3*u = 4*u - 5, 0 = m - 4*u + 17. Suppose -i = -j - m*j - 24, 20 = 5*i + 5*j. Let k = i - 5. Solve 0*a + 6 = -k*a for a.
-2
Suppose f = 2, 5*j - 2*f + 10 = 6. Solve j*w + 12 = 4*w for w.
3
Let y = -6 + 6. Suppose 0*k + k = y. Solve k + 6 = 3*h for h.
2
Suppose 21 = 5*l - 3*h, 0 = l + 4*h + 7 - 2. Solve 3*j + 0 = l for j.
1
Let n be (-5)/(20/16)*5/(-2). Solve 3*q + n = 8*q for q.
2
Let q(s) = s - 3. Suppose -4*r = 4*w, -5 = 5*w - w + 5*r. Let t be q(w). Solve -t*l = -0*l + 6 for l.
-3
Let p(q) = -q**3 + 23*q**2 + 23*q + 24. Let c be p(24). Solve c = -2*u + 1 - 5 for u.
-2
Suppose 4*a = 7 + 9. Suppose a*l + 25 = -2*t + 71, t = 5*l - 47. Suppose 4*g - 5*o = l - 3, -2*g - 2*o = -8. Solve -g*v + v = 2 for v.
-1
Let n be (-4)/(-14) - 153/21. Let f = n - -10. Solve -3*z - f = 9 for z.
-4
Suppose 21*h - 18*h - 18 = 0. Solve -12 = -h*u + 3*u for u.
4
Let q = 3 + -3. Suppose 3*d + 2*a + 22 = q, 2*d - a = -d - 7. Let m be (-18)/d*(-10)/(-15). Solve -1 = -m*i + 4*i for i.
-1
Let a(h) = -h**3 + 12*h**2 - 11*h + 12. Let n be a(11). Solve 2*y - n = -2*y for y.
3
Let l be (16/6)/(24/36). Solve l*q = 3 + 1 for q.
1
Let a be 52/9 + (-4)/(-18). Suppose -b = 2 - 5. Let y be -2 + (0 - (-2 - b)). Solve y*s + a = -6 for s.
-4
Let j be (4/3)/4*3. Let c(v) = -v + 1. Let d be c(0). Solve -j - d = a for a.
-2
Let k(i) be the third derivative of i**4/24 + i**3/6 + 3*i**2. Let c be k(5). Solve q = 4*q - c for q.
2
Let s(a) = a**3 - 5*a**2 + 7. Let q be s(5). Solve -2*z + 1 = q for z.
-3
Let o = 26 - 17. Let y be -2*(o/(-6) - 1). Solve -2*b - 3 = -y for b.
1
Let o = 6 + -6. Solve 1 = -b - o*b for b.
-1
Let o be 2*(-6)/(36/15). Let c(g) = g - 6. Let x be c(5). Let z be o/(2*x - -1). Solve 0*k + 15 = z*k for k.
3
Suppose 0 = 2*a - 6*a - 92. Let m = 24 + a. Solve 3*o - m - 2 = 0 for o.
1
Suppose 3*g + g + 40 = 0. Suppose -10*y = -12*y - 18. Let s = y - g. Solve -r - 3 - s = 0 for r.
-4
Let g(d) = d**2 - 2*d. Let f be g(3). Suppose -3*t - f = -3*a + 39, 2 = -t. Solve 0 = 5*l - a - 3 for l.
3
Let c = -28 - -57. Solve 0 = 5*l + 9 - c for l.
4
Let g(n) = n**3 + 6*n**2 + 4*n - 5. Let j be g(-5). Suppose j*m = -2*m + 6. Let w be ((-6)/(-5))/(m/20). Solve -k - w = -3*k for k.
4
Suppose -6 = -2*u, 2*n + 2*n - u = -3. Let r be 2/1 - (n + -3). Let i = -2 + 2. Solve 5*q - r - 5 = i for q.
2
Let m(b) = -5*b - 8. Let r be m(-3). Solve -5*o - 18 - r = 0 for o.
-5
Let g = 18 + -3. Let p be 141/g + (-6)/(-10). Solve -j - j = p for j.
-5
Suppose n + n + 3*t = 25, 35 = 4*n + 3*t. Let z be (0/(0 + (-2 - 0)))/2. S