e p*v = -8 + 24 for v.
4
Suppose 4 = -20*j + 22*j. Solve -j*v = -4*v for v.
0
Let b(q) = 11*q**3 + 6*q**2 + q - 7. Let n(f) = 10*f**3 + 5*f**2 + f - 6. Let t(z) = -6*b(z) + 7*n(z). Let j be t(1). Solve 8 = -0*g + j*g for g.
2
Let m be 2/9 - (-230)/18. Suppose 3*n - 11 - m = 0. Solve 0*y = 2*y - n for y.
4
Suppose 0 = -3*s - 24 + 42. Solve -u - s = u for u.
-3
Suppose -4*t + 2*t - 28 = 0. Let m = -14 - t. Solve m = -l + 4*l + 12 for l.
-4
Suppose -12 + 0 = -6*t. Solve 0*z = t*z - 2 for z.
1
Let i(w) = -3*w**2 + 0 - 3*w + 4*w**2 - 3 + 0. Let p be i(4). Solve -z - p = -2*z for z.
1
Let s(x) be the first derivative of -x**2/2 - 5*x + 5. Let l = -9 - -4. Let v be s(l). Solve g + 2 + 3 = v for g.
-5
Suppose -5*m + 4*c = 14, 2*m + c - 20 = 6*m. Let h(p) = -p**2 - 8*p - 9. Let g be h(m). Suppose g*d + r - 7 = 0, r + 5 = -2*d + 3*d. Solve -3*y - d = 3 for y.
-2
Let b be 20/3*(-6)/(-4). Suppose 2*f - f - b = -s, -5*s - f = -70. Solve y - 4*y = -s for y.
5
Let s = 13 - 8. Suppose 4*v = -3*l + 25, 5*l - 4*l = -v + 7. Suppose b = 2*y + 14, 0*b = v*b + 4*y + 4. Solve -s = 5*o - b*o for o.
-5
Suppose -2*s + 2*u + 10 = u, -2*s = u - 2. Solve -s = -k - 0*k for k.
3
Suppose -3*t - 3 = 0, -7 = 2*b - 4*b + t. Let q be 1*(b - 14/(-2)). Solve -3*i - q = 2*i for i.
-2
Let a = -30 - -33. Solve a*u = -u for u.
0
Let y = -18 - -25. Let r = 9 - y. Let s be r*(4 + 0 + -2). Solve 0*d + s = 2*d for d.
2
Let d = -8 + 14. Solve -d*j - 15 = -j for j.
-3
Let r(p) = p**2 - 12*p - 13. Let t be r(13). Let g be (1 + t)/((-8)/(-40)). Solve -3*m + g = 2*m for m.
1
Suppose 5*f - 31 = -5*d - 96, -5*d = 3*f + 63. Let k = d - -21. Suppose -6 = -5*j + k. Solve h = j*h + 4 for h.
-2
Suppose -3*r - w = 4*w - 55, -w = 2*r - 25. Suppose 0 = 3*a + 4 - 19. Let z = r - a. Solve z = t - 2*t for t.
-5
Let j = -2 + 7. Solve -9 = -j*t + 16 for t.
5
Suppose 3*f = -2*b + 19, 5*b + 2 - 32 = -4*f. Solve 2*n = f*n for n.
0
Suppose 0 - 3 = -n + o, -5*o = -n + 15. Suppose -2*c + n*c = -32. Suppose -2*d = -4*d + c. Solve 3*m + m - d = 0 for m.
2
Suppose -5*x + 6 = w - 8, 3*x - 8 = -w. Let v be 45/6*2/x. Solve -13 = -v*l + 12 for l.
5
Suppose -2*i - 9 = -1. Let l = 8 + i. Solve 0 = -0*m - l*m for m.
0
Suppose -4*u + 5*z = -35, 22 = -3*u + 5*u - 4*z. Solve u*l - 10 = -0 for l.
2
Suppose 3*p + 0*z - 30 = 3*z, -4*z + 30 = 3*p. Suppose -2*l = 5*s + p, -2 + 7 = 3*s - l. Solve s = -4*q - 4 + 12 for q.
2
Suppose -2*q + 7*q - 10 = 0. Suppose -h + 4 - 2 = 0. Solve q*x = 4*x - h for x.
1
Suppose -s - 12 = -4*o, 6 = -5*s + o + 3. Solve -p + s*p = 5 for p.
-5
Let l = -3 - -7. Suppose -5*r = -2*r. Solve r*z + 4*z = -l for z.
-1
Suppose -4 = 2*i, s + i + 4*i + 7 = 0. Solve w = -s*w + 8 for w.
2
Suppose -32 = f + 3*f. Let z be (-12)/f*14/3. Solve -z*r = -3*r + 8 for r.
-2
Suppose k = -2*k + 12. Solve 3 + 13 = k*t for t.
4
Let u = -18 - -25. Suppose 4*x + 30 = 2*z, 0 = -4*z + 2*x + x + 55. Solve 5*c - z = u for c.
4
Suppose 3*d = -17*u + 14*u + 18, -3*u + 12 = d. Let p(x) = -x - 3. Let w be p(-3). Solve -d*g = -w*g for g.
0
Let b be 1/(-2) - (-27)/6. Suppose b*w = 11 + 1. Solve 0 = 2*x + w*x - 10 for x.
2
Let j(o) = -o**3 + 4*o**2 + 4*o + 10. Let h be j(5). Solve -2*n - 12 = -h*n for n.
4
Let r be 1/(-1 + 3/2). Solve -3*h - 1 = -r*h for h.
-1
Let s(p) = p**2 - 6*p. Let x be s(5). Let g = x + 5. Solve -4*o + 4 = -g for o.
1
Let z be 5/1 + 1 + -3. Suppose 2*r + 2 = 5*m - 3, -z*r = 5*m - 30. Solve 5*p = -18 + m for p.
-3
Suppose -2*a + a + 4 = 0. Suppose 0*q - a = 4*m - 4*q, 4*m = 3*q - 1. Suppose 4*z + 4 = -m*r, 2*r = z - 2*r - 8. Solve z*l + 3 = 3*l for l.
1
Let d be (-2 + 8)*(-8)/12. Let o be 0/d + -1 + 22. Let p = -15 + o. Solve 2 + p = -2*l for l.
-4
Suppose 8 = 2*r + m + 2*m, -2*r - 2*m = -12. Suppose -4*k + 6 = -r. Let z(u) = -u**2 + 16*u - 62. Let c be z(8). Solve 4*q + k = c*q for q.
-2
Let f = 14 + -12. Suppose 2*w = 6, f*w = 4*g + 5 + 1. Solve g = 5*k + 18 + 2 for k.
-4
Suppose -3*y = 15, 0*y + 5*y - 215 = -4*w. Suppose -w = -6*k + 4*k. Suppose -k = -4*a + 2*a. Solve -z - 2*z - a = 0 for z.
-5
Let n(o) = -o - 1. Let h(d) = -3*d - 3. Let b(i) = h(i) - n(i). Let t be b(-4). Solve s - 3*s + t = 0 for s.
3
Let w = -3 + 7. Let z be (1 + (-4)/w)/(-2). Solve -8 = -4*x - z*x for x.
2
Suppose 0 = 2*t + t. Let r = t + 2. Suppose -r*h = -h. Solve 3*b + 6 = -h for b.
-2
Suppose -23 = 3*w - 113. Let n be w/9*(-12)/(-10). Solve n + 8 = 4*q for q.
3
Let j = -12 - -17. Suppose -19 - 21 = j*k. Let l be 94/18 + k/36. Solve 25 = -0*s - l*s for s.
-5
Suppose 6*r - r - 10 = 0. Suppose 0*g + r*g = 0. Solve 3*j - 22 + 10 = g for j.
4
Let d be 140/(-49)*(-14)/4. Let b = d + -6. Solve b*z + 3 = -9 for z.
-3
Suppose 5*r - 3 - 7 = 0. Suppose -r*s = 4, p - 3*s + 18 = 5*p. Suppose q - p*q + 10 = 0. Solve -q = n + n for n.
-1
Suppose 0 = -3*o - 5*b - 30, 4*o - b = 3*b - 40. Let c = 14 + o. Solve -9 = -d - c for d.
5
Let j(d) = -d**2 + 7. Let r be j(0). Solve 2 = 5*a + r for a.
-1
Let p(l) = -5*l**3 + l**2 + 3*l + 2. Let h be p(-1). Solve 9 + 16 = -h*s for s.
-5
Let l(m) = 8*m**2 + 3*m + 1. Let s be l(-1). Solve 25 = -s*d + d for d.
-5
Let j(r) = -15*r**2. Let p be j(2). Let a be (0 + 7)*p/(-42). Let y be (-8)/a*(-65)/2. Solve -4*c - 6 + y = 0 for c.
5
Suppose -4*l - l + g = -11, -4*l + 5*g + 13 = 0. Suppose -1 = w - l. Solve 1 = -o - w for o.
-2
Suppose -5 = -5*z, -n + 8*z = 3*z - 1. Suppose -n + 3 = -3*p. Suppose 0 = -2*m + 9 - p. Solve -r = -m*r for r.
0
Let y be 0/(-5)*(-1 - 0). Let z = -15 + 18. Solve q + z*q = y for q.
0
Let a be (-35)/5*(-12)/14. Let r be ((-21)/(-14))/(a/8). Solve -r*w = 2*w + 20 for w.
-5
Let n be (3/6)/((-1)/(-18)). Suppose -m + z = -3*m + 17, 0 = 3*m - 2*z - 15. Let x = n - m. Solve 0 = u - 1 - x for u.
3
Let y be (1/(-3)*0)/(-1). Suppose y = -3*c + 30 - 12. Solve -c*z - 15 = -z for z.
-3
Let o be 1/4 + 63/4. Suppose b + o = 5*b. Suppose -3 = -b*j + 3*j. Solve 0 = -a - j*a for a.
0
Let x be 32/(-12)*(-3)/4. Let p(t) = -3*t - 6. Let m be p(-4). Solve 0 = -4*d + x*d + m for d.
3
Let f(o) = -2*o + 1. Let k be f(-1). Suppose -k*m = -7*m - 16. Let s = 4 + m. Solve s = 2*h - 1 + 3 for h.
-1
Suppose 4 = -7*a + 11. Solve 0*w - w - a = 0 for w.
-1
Let d be (-10)/(-6)*(2 - -1). Solve n = d*n + 16 for n.
-4
Let g be 16/(-8)*5/2. Let v = -2 - g. Suppose v*n = -0*n + 9. Solve 0 = -5*u + n*u - 6 for u.
-3
Suppose -o = 2*x - 0*x, 0 = -3*o - 4*x. Solve -3*w + 4 - 1 = o for w.
1
Let i be 1 + -1*0/(-2). Suppose n = i + 1. Suppose -n*m = -39 + 15. Solve -m = -5*r + 8 for r.
4
Let c(i) = i**3 - 2*i**2 - 7. Let y be c(3). Solve -25 = y*f + 3*f for f.
-5
Let z be 1*(0 + -1)*-2. Let y(n) = 3*n**2 + 9*n**2 + 8*n + n**3 + 11 - z*n**2. Let q be y(-9). Solve i = 6*i + q for i.
-4
Let w(i) = i**3 + 7*i**2 - 8*i + 4. Let n be w(-8). Solve -2 = n*f - 14 for f.
3
Suppose -5 = -5*x + 5. Let o = 39 - 27. Suppose -x*a + o = a. Solve a = w + 5 for w.
-1
Suppose 25 = 3*n - 5. Suppose 2 = u - 1. Solve -8*x + n = -u*x for x.
2
Let i = -11 + 16. Let z be (-1)/(-3) + (-8)/(-3). Suppose -z*t = 2*t. Solve t = i*n + 5 + 15 for n.
-4
Let o(l) = 3*l - 1. Let p be o(2). Suppose 2*u + 2*j - 18 = 0, -p*j = -2*u - 4*j + 3. Solve n = u*n for n.
0
Let p be (0/(-2 - -1))/(-2). Solve p = -5*z - 0 + 5 for z.
1
Suppose -8*z - 2 = 46. Let d be -2*(7/(-2))/1. Let o be z/(-10)*(d + -2). Solve o*x - 14 + 2 = 0 for x.
4
Let n = 9 + -18. Let u be (-43)/n - 4/(-18). Solve 0*t + u = 5*t for t.
1
Suppose -2*n - 5*c = -29, n - 3*c = -2*c + 25. Suppose 0 = -5*p - 23 - n. Let z be (6/p)/((-4)/30). Solve -20 = r - z*r for r.
5
Let o = 2 + -2. Let q be 9/(-12)*(o - 4). Solve -2*i - 1 - q = 0 for i.
-2
Suppose -3*p - 2*p = 15. Let o be 6*(-1)/9*p. Solve -3*m + m + o = 0 for m.
1
Suppose -2*y - 9 + 13 = 0. Solve 5 = 7*b - y*b for b.
1
Suppose b + 8 = 4*m, -5*m - 2*b + 19 = -4. Solve -3*j - m = -6*j for j.
1
Suppose -21 = -5*j - 6. Solve 0*b + 3 = -j*b for b.
-1
Let d be (-5)/10*6*-2. Let b be (0 + -3 - -1) + d. Solve -b*n - 8 = 12 for n.
-5
Suppose 4*z - 4 = 12. Suppose -4*u + 0*u - z*d + 8 = 0, 3*d = 3*u + 6. Suppose -c + 5 = 0, -c = 2*g - 0*c - 9. Solve g*n + u = 2 for n.
1
Let y = 10 - 7. Solve -y*x = -1 - 8 for x.
3
Let o(v) = 5*v + 4. Let p(x) = x + 1. Let i(z) = 2*o(z) - 9*p(z). Let u be i(1). Solve 12 = -4*q - u*q for q.
-3
Let m be (-16)/(-28) + (-2 - (-146)/14). Let n = 6 +