*z + p*z for z.
5
Let u = -76 - -133. Let n = u + -33. Suppose -4 + n = 5*t. Solve c = t*c - 15 for c.
5
Let s = -6 + 9. Let b(d) = d**3 - 4*d**2 - 3*d - 5. Let z be b(5). Let o = -2 + z. Solve 2*q + o = s*q for q.
3
Let v = -2 - -4. Let o be 4/10 - 76/(-10). Let p = o + -8. Solve p = v*r + r - 12 for r.
4
Let b be 92/22 - (-2)/(-11). Solve b*w + 10 - 30 = 0 for w.
5
Suppose 3*i + 34 = 5*y, 3*y - 2*y = 2. Let w = i - -10. Solve 0 = -w*m - 4 for m.
-2
Suppose -3*u = -8*u - 4*z + 23, -5*u + 20 = 5*z. Suppose 2*s + s - 9 = 0. Solve -s*f + u*f = -8 for f.
-2
Let w(z) = -2*z**2 + 11*z + 9. Let v be w(6). Solve v*a = 6*a + 12 for a.
-4
Let r = -19 + 34. Let p = 6 + -3. Suppose p*x = x + 8. Solve 0 = -q - x*q - r for q.
-3
Suppose z = 1 - 3. Let c be (8/(-6))/z*3. Solve c*a + 4 - 12 = 0 for a.
4
Suppose 3*h - 15 = 6*h. Let d = 10 + h. Solve -15 = 5*g + d for g.
-4
Suppose 17 + 3 = 4*a. Suppose 0 = -4*w - 3*i + 29, 2*i - 22 = 2*w - a*w. Solve -w = -3*n - n for n.
2
Suppose -7*m = -19 - 44. Solve -5*h + m = 24 for h.
-3
Let i(a) = -a**3 + 5*a**2 - 2*a. Let k be i(4). Solve 4 = -3*w - k for w.
-4
Let l(r) = -r + 10. Let s(z) = -z**2 + 5. Let h be s(0). Let i be l(h). Solve -y = -i*y for y.
0
Suppose 0 = -3*a - 5*o + 29, -4*a + 4 = -3*o + o. Let g = a + 1. Suppose g*u + 8 = 8*u. Solve -6*f = -u*f for f.
0
Suppose t - 5*t = -12. Suppose -1 = -t*p + 2. Suppose -5*f + 5*d = -35, -3*d + p = 3*f + 4. Solve -f*g = -g + 2 for g.
-1
Let h(z) = z**3 + z**2 - 3*z + 1. Let l be h(-2). Solve -2 = -l*b + 4*b for b.
-2
Let u(a) = -a**3 + a**2 + 3*a + 4. Let h be u(0). Solve -h*t + 5 = -7 for t.
3
Suppose 8 = 3*y - 1. Solve -2*b + y = b for b.
1
Let l(o) = -5*o. Let f = 8 - 9. Let u be l(f). Solve 0 = -3*w - 2 + u for w.
1
Let o = 3 - 6. Suppose 2*c = b + 10, 4*b - 27 + 7 = -2*c. Let z = c + o. Solve j + z = 2*j for j.
3
Suppose -10 = -3*x - 2*x. Suppose l = 4*l - 9. Suppose -l*r + 0*r = 2*a - 2, 4*r + 2 = 2*a. Solve r = -x*d - d - 12 for d.
-4
Suppose -3*p = -7*p - 0*p. Solve p = -3*m + m - 8 for m.
-4
Suppose -o = 2, 3*i - 2*o - 4 = i. Suppose i = t + 2*t - 3, -u = -3*t. Suppose -u*v + 0*v = -2*a + 23, 5*a - 40 = 4*v. Solve 0*r + 4 = a*r for r.
1
Let d(c) = c**2 - c. Let r be d(2). Let x(h) = -h - 8. Let y be x(-9). Suppose -u - y = -r*u. Solve 4 = 3*l + u for l.
1
Let x be 40/(-4)*(-9)/(-6). Let u be ((-11)/3)/(2/6). Let z = u - x. Solve -5*a = -24 + z for a.
4
Let o(c) = -c**2 - 7*c - 1. Let r be o(-6). Suppose 5*v = -2*l - 2, 3*l + 3*v - 1 = r. Let y = -1 + 4. Solve -s - l = y*s for s.
-1
Let z(t) = t**3 + 5*t**2 + 3. Suppose -5*d + 4*c - 27 = -2*d, 0 = c + 3. Let n = 8 + d. Let h be z(n). Solve 0 = -5*v - h - 2 for v.
-1
Suppose -3*b = -5*o + 8, -3*b = -4*o - 0 + 4. Let l be (-16)/(-104) + 308/26. Suppose -p = -b*p + l. Solve f + 1 = -p for f.
-5
Let c(f) = f + 7. Let s be c(-7). Let g = 1 - 3. Let n = 2 + g. Solve s = -n*d - d + 4 for d.
4
Let p be 2/(-7 + 1)*(-11 - -11). Solve p = 3*q + 2*q - 10 for q.
2
Let v(o) = -o**2 - 4*o. Let x be v(-2). Let u = -3 + 4. Solve -x*l = -3*l - u for l.
1
Let v be 3/(((-12)/(-237))/(-4)). Let q = -947 - v. Let s be (-2)/7 - q/35. Solve 0*u + 4*u - s = 0 for u.
5
Let t = 8 + -5. Let w = 3 - t. Solve m + w*m = -5 for m.
-5
Let k be (-41)/(-6) - 5/(-30). Let y = k - 4. Solve y*q + 4 = q for q.
-2
Let x(g) = 15*g - 5 + g**3 + 16*g**2 - 3*g + g. Let s be x(-15). Solve -s = 3*o - 10 for o.
-5
Let o = -1 + 4. Suppose 4*x - 4*d = 16, -5*d + 12 = o*x - 8. Solve -x*t + 0 = 10 for t.
-2
Let g = 8 + -5. Let o be (g/(-2))/(3/(-4)). Solve -o*i - 4 = -0*i for i.
-2
Suppose -4*r = 5 - 17. Let w be (2 - (3 - -1))*-2. Suppose 4*k - 12 = -3*q + 1, -w*q = 4*k - 20. Solve -q*t = -r*t - 16 for t.
4
Let v = -2 - -3. Let x(f) = -f**2 + 41. Let w be x(6). Solve -4*h + w = v for h.
1
Let t = 0 + 4. Solve 4*f + 0 = t for f.
1
Suppose -4*r + 7*x = 10*x - 6, 3*x - 6 = 0. Solve r*l + 20 = 4*l for l.
5
Let v(p) be the third derivative of p**6/120 + p**5/60 + p**4/12 - p**3/6 - 2*p**2. Let a be v(2). Solve -a = -l + 4*l for l.
-5
Let l = -9 - -29. Let i = -18 + l. Solve 0 = -6*j + i*j - 12 for j.
-3
Let f(m) = -m - 1. Let t be f(-1). Solve 0 = -t*s + 2*s - 2 for s.
1
Suppose 2*v + 1 = 3*d, -4*d + 2*v - 1 = -3*v. Let i be 1 + d + -1 - -2. Solve 0 = -0*u - i*u for u.
0
Suppose 0 = -i + 5*i + c, -4*i = -3*c. Solve i = 3*a + 9 - 3 for a.
-2
Let x(m) = -4*m - 7. Let l be x(-2). Solve -5 = o - l for o.
-4
Let n = 1 - 1. Let u = 334 + -314. Solve 3*i - 7*i + u = n for i.
5
Let o(n) = -2*n + 18. Let h be o(9). Let d be (-3)/5*-1*5. Solve d = y - h*y for y.
3
Let g(a) = -a**2 - 5*a. Let s be g(-3). Solve -s*b + b - 5 = 0 for b.
-1
Let l be 3/2 + -5*2/(-20). Solve 0*n - 6 = l*n for n.
-3
Let j = 16 + -13. Suppose -5*f - j*b + 31 = -3, 4*f = b + 17. Let i be (-14*1)/(-1) + -1. Solve 33 = f*r + i for r.
4
Let v(y) = y**3 - 11*y**2 - y + 14. Suppose -4*o = 5*k - 49 - 10, -2*k + 18 = -4*o. Let s be v(k). Solve 4*u + 4 = s*u for u.
-4
Let k = 2 + 0. Suppose 5*p - 2 = -t + 13, -15 = -5*p. Solve -3*g - k*g - 25 = t for g.
-5
Let f be (-5 + 2 - 37) + -3. Let d = f + 31. Let v be (-1)/(-3) - 32/d. Solve n = -2*n - v for n.
-1
Let y = 1 + 1. Suppose -2*v + 10 = 2*s - 0*v, 5*s - 4*v + y = 0. Solve 0 = -k - 6 + s for k.
-4
Let k be (-2)/2 - (0 + 2). Let r be (-2 + 1)*k + 0. Suppose 0 = -0*t - r*t. Solve t = h + 2 - 0 for h.
-2
Suppose 0 = -2*q - 3*t + 4*t + 19, -q - 4*t = -14. Let w = 21 - q. Solve w - 1 = -5*i for i.
-2
Suppose -3*v + 0*n - 4 = -5*n, 5*v = 5*n. Let b be (-1)/(v + 10/(-4)). Solve -3*y = -7 - b for y.
3
Let i(n) = 2 + 0 - n + 1. Let v be i(0). Suppose v - 23 = -5*b. Solve m = -b*m for m.
0
Suppose 0 = -2*p - 2*p - 28. Let x = p - -13. Solve -r + x = r for r.
3
Let u(d) be the first derivative of -d**2 + 4*d + 2. Let b be u(2). Solve b = 5*l - 2 - 13 for l.
3
Suppose -l = -3*l + 40. Solve 2*n = -2*n - l for n.
-5
Suppose -2*b - 3*b - p = -10, -2*b - 3*p - 9 = 0. Solve b*r = -0*r for r.
0
Let c(l) = l**3 - 4*l**2 - 2*l + 4. Let a be c(3). Let i = a + 17. Solve u = i*u - 15 for u.
3
Suppose 0*m - 4 = -m. Solve -m*c + 1 = -3*c for c.
1
Let y = 3 - 1. Suppose 0 = 5*d - 3 - y. Solve t + d = -3 for t.
-4
Let d(o) = -o + 14. Let v be d(11). Solve q - 2 = v for q.
5
Suppose 5*b + 43 - 478 = -5*m, -400 = -5*m + 2*b. Suppose m = 3*v + 7. Solve 2*s = 7*s + v for s.
-5
Let a(x) = -x**3 + 15*x**2 - 27*x + 18. Let j be a(13). Solve j*z = 3*z for z.
0
Let h = -13 + 16. Solve 3 + 0 = h*c for c.
1
Let y = 8 + -7. Let k(x) = 2*x**3 + 1. Let t be k(y). Solve -l + t - 2 = 0 for l.
1
Let p(k) = k**2 + 8*k + 7. Let o(v) = -v**2 + 7*v + 11. Let q be o(9). Let y be p(q). Solve 5*n = -y*n for n.
0
Let k(t) = -4*t + 5. Let c be (-4)/16 - 30/8. Let r(b) = 3*b - 4. Let f(u) = c*k(u) - 5*r(u). Let q be f(5). Solve -2*n = q - 11 for n.
3
Let m be (7 + -5)*(-1 - -2). Suppose 3*o + 2*p = 5, -4*o = -m*p + 6*p - 8. Solve -3*f = o + 5 for f.
-2
Let d be -18*((-16)/12)/2. Solve -2*y + d = -5*y for y.
-4
Let h = 11 - 6. Solve -h = -6*c + c for c.
1
Let j(z) = z + 2. Let h be j(-1). Let w be (0 + -5)*-1*h. Suppose -w*t + 25 = 5. Solve 4*b - t = 6*b for b.
-2
Let r be (4 - 2) + (2 - 0). Solve 3*u - r = 2*u for u.
4
Let u(n) = n**2 + 3*n + 2. Let a be u(-2). Let o = -5 + 8. Solve m + o = -a*m for m.
-3
Let w(a) = -a**3. Let m be w(0). Suppose m*r - 12 = -3*r. Solve 0 = -r*x - x - 5 for x.
-1
Let k = -6 - -6. Suppose a + k*a = 0. Solve a*o = 4*o + 4 for o.
-1
Let h be ((-1)/4)/(1/(-12)). Solve -6*b = -h*b - 6 for b.
2
Let u be 27/33 - 4/(-22). Solve u = 3*r - 11 for r.
4
Let p be (4 - (7 - 6))*(1 + 0). Solve r = -0 + p for r.
3
Suppose 25 = 4*y + y. Let h = -3 + y. Solve c = -h*c for c.
0
Let j = 7 + -6. Suppose j - 5 = -2*g. Let u be (0 + 0)*(-1)/2. Solve t + 2 + g = u for t.
-4
Suppose -3*a + 7*a - 24 = 0. Solve -5*m + 3*m = a for m.
-3
Let p = 8 - 14. Let l be ((-2)/p)/((-2)/(-54)). Solve -k = 2*k - l for k.
3
Suppose -t = -4, 0*o + 2*t + 4 = 4*o. Solve o*a + 6 = a for a.
-3
Let z = 16 - -2. Solve 4*k + z + 2 = 0 for k.
-5
Let z(s) = -3*s**2 + 14*s + 5. Let q be z(5). Suppose -d = -2*t - 5, 4*t - 17 + 57 = 4*d. Let v be 6/(-4)*(0 + -2). Solve -v*h + d = -q*h for h.
5
Suppose -2*n - 3*w = n - 54, -4 = -2*w. Solve n = -3*m + 1 for m.
-5
Let i = -2 + 2. Suppose -25 = -5*r, 4*h + i*r + 2*r - 30 = 0. S