 - z*p = 0 for p.
0
Let t(u) = u**2 - 2*u + 2. Let a be t(2). Solve -6 = -q - a*q for q.
2
Let d(j) = j**2 - 5*j - 14. Let x be d(7). Suppose -g - 3*g + 4 = x. Solve 21 = 4*t + g for t.
5
Suppose -3*o = 4 + 2. Let n = o + 14. Suppose 2*w = 4*y - 12, -2*w + 24 = -w + 4*y. Solve 0 = w*u + n - 0 for u.
-3
Suppose 3 = w, x + 4*w = -2 + 19. Solve 0*p + p = -x for p.
-5
Let c be 3/2 + 21/2. Let u = 14 - 12. Solve -c = h + u*h for h.
-4
Let u = -29 - -32. Solve 2*s + s + u = 0 for s.
-1
Let v(c) = -c**3 + 3*c**2 + 3*c + 3. Let m be v(4). Let n be m/(-4) - (-11)/4. Let b = -23 - -23. Solve b*p + n = -p for p.
-3
Suppose -4*n + 5*l + 0*l = -19, -5*n - l + 31 = 0. Solve 4*z - 2 = -n for z.
-1
Let b = 10 + -2. Let s(j) = j + 2. Let k be s(b). Let f be 0*(-2 - (-5)/2). Solve f - k = -2*u for u.
5
Let v(s) = 1 - 13*s + 14*s - 3 + 0. Let y be v(2). Solve -4*d + d + 3 = y for d.
1
Let l = 4 + -7. Let d be 4 + l + 3 - 0. Solve 1 - 5 = -d*o for o.
1
Suppose 0 = i - 5*m - 5 - 12, -4*i + 11 = -m. Suppose b = -0 - 1, 0 = -3*v + 2*b + i. Solve 3*z - 15 = -v*z for z.
5
Let d = 25 + -16. Solve -5*b + d = -16 for b.
5
Suppose -3*n = -5 + 2. Suppose n = -g + 4. Solve -w - g = -0*w for w.
-3
Suppose w = 2*i + 3*i - 2, 5 = 2*w - i. Suppose s + 3*g + 5 = 0, -s + 31 = w*s - 5*g. Solve 0 = -s*b - 12 for b.
-3
Let t be 1/1 + 10/(-1). Let y = 9 + t. Solve -16 = -4*u - y for u.
4
Suppose -1 = -4*d + 47. Suppose -5*h = -d - 38. Solve 10*k = 5*k - h for k.
-2
Let q = 25 - 25. Solve q*i = -3*i for i.
0
Let c = -215 - -218. Let j = 14 + -10. Solve 0 = j*b - c - 9 for b.
3
Let b = -9 + 11. Suppose -b = 3*u - 5. Solve -2*o = u + 1 for o.
-1
Let g be (0 - 15/6)*-4. Suppose -d + 5*d = 2*p - 20, p + 14 = -2*d. Let z = g + d. Solve z*h = h for h.
0
Suppose -4*n = -3*v + v + 4, 0 = -4*v + 2*n + 20. Solve -v*r = -r - 20 for r.
4
Let m = -18 + 44. Let k = m - 14. Solve -5*p = -p - k for p.
3
Suppose -t - 11 = i, t - i + 31 = -6*i. Let r be 1/(-2) - (-15)/t. Let n be (r/(-6))/(2/16). Solve n*o - 2 + 18 = 0 for o.
-4
Let r = 6 + -6. Suppose -2*t = 0, -6 + 4 = -g + 3*t. Solve g*a = -r*a for a.
0
Let l = 11 - 5. Solve -2*c + l*c = -4 for c.
-1
Let p(w) = -3*w - 8. Let m be p(-8). Let v = -8 + m. Suppose 3*k = v + 1. Solve 6*x = k*x for x.
0
Suppose 0 = -r + 4 - 2. Suppose u - 2 = 5*t, -4*u + 4 + 4 = -r*t. Suppose t*m = -m + 5. Solve -m*z + z = 4 for z.
-1
Let x(u) = u - 4. Let k be x(5). Solve 3 + k = -v for v.
-4
Let p(g) = g**3 - 4*g**2 + 3*g - 2. Let r be p(3). Suppose 0 = -2*a - 6 + 2. Let l = a - r. Solve b + l = 4 for b.
4
Let v = -11 - -16. Let d(c) = c**2 - 3*c - 2. Let l be d(4). Suppose 0 = l*i - v*i. Solve b + i = 5 for b.
5
Suppose -3*i = 2*i + 80. Let c = i - -18. Solve -c = 5*v - 17 for v.
3
Suppose -2*p + 18 + 0 = 0. Suppose -n - 3 = 3*a, n - a = 2*a + p. Solve -10 = 2*y + n*y for y.
-2
Suppose g = -3*n + 2*g + 76, 0 = 4*n + 2*g - 98. Solve 0 = -0*f - 5*f - n for f.
-5
Let u(h) be the first derivative of h**4/4 + 7*h**3/3 + 3*h**2 + 4*h - 2. Suppose 4 - 34 = 5*i. Let o be u(i). Solve 9 + 11 = o*q for q.
5
Let n(y) = 2*y - 37. Let k be n(21). Solve 0 = -k*r - 32 + 7 for r.
-5
Let o be (0 + 1)*(6 + -6). Solve -3*v - 8 - 4 = o for v.
-4
Let c(d) = -1 + 56*d**2 + 3*d + 1 - 55*d**2. Let t be c(-5). Solve 5*s - 3*s = -t for s.
-5
Let s(z) be the first derivative of z**2/2 + 5*z + 3. Let f be s(-5). Solve 4*l + 2 + 2 = f for l.
-1
Let y be 63/(-6)*(-1)/(3/2). Solve y*x - 2*x = -20 for x.
-4
Suppose 5*k - 3 + 23 = 0. Let d = k - -5. Let j be (2*d)/((-10)/(-25)). Solve j*a = a for a.
0
Let z = 123 + -123. Solve 0 = s - z*s for s.
0
Let c = 13 - 11. Solve c*j + 2*j = 8 for j.
2
Suppose -6*b - z = -4*b, -4*b = -5*z - 28. Solve -b*h - 12 = h for h.
-4
Let c = 5 - 0. Solve -2*l = 3*l - c for l.
1
Suppose -4*o + 4 = -16. Let x = -3 + o. Solve -x*q = -4*q for q.
0
Let o be 25/9 - 6/(-27). Let c be 2/(-1) + o/1. Solve 0*r = r + c for r.
-1
Let o = 4 + -2. Let v be 1/o - 6/(-4). Solve -v*m = m + 12 for m.
-4
Let t be 220/14 - (-2)/7. Suppose 6*z - 2*z - t = 0. Let i = -28 + 30. Solve 0 = z*q - 2 - i for q.
1
Let o(j) = j**3 - 8*j**2 - j + 10. Let g be o(8). Suppose -g*b + 8 = -0. Let q be 1*(-2)/b*0. Solve q = -3*x + x + 8 for x.
4
Let a = -3 - -6. Suppose -3*y + 5*f - 3 = -y, a*y + 4*f = 7. Solve 3*p = -8 - y for p.
-3
Suppose 0*u + 2*u = 6. Suppose u*d - d = 0, -o + 2*d = -9. Solve m = 4*m + o for m.
-3
Let i be -1 + (-1 - -15) + 3. Solve 0*v + 4*v = i for v.
4
Let r be ((-6)/9)/((-5)/30). Solve 7*d - r = 6*d for d.
4
Suppose 23*r - 45 = 20*r. Let i be r/1 - 0/3. Solve -z - i = -4*z for z.
5
Let t(i) be the first derivative of -i**7/840 - 2*i**3/3 - 1. Let f(s) be the third derivative of t(s). Let d be f(0). Solve 4*n + 4 = -d*n for n.
-1
Let k(f) = f**2 - 7*f - 8. Let v be k(9). Suppose -3*u = -2*u + v. Let y = -6 - u. Solve 0 = -y*o + 16 for o.
4
Suppose 0 = 4*p - 4, -3*t + 5*p - 2 = -12. Solve t = -5*k - 0 for k.
-1
Let q = 3 + -5. Let t be (q + 0)*3/(-3). Solve w - 1 = t for w.
3
Let m = 25 - 10. Suppose -a + m = 4*a + 5*t, 5*a + 4*t = 17. Suppose -3 = s - a. Solve -2*r + s = -0 for r.
1
Let u = 11 + -8. Suppose 2*g + u*w = 107, 0*w - w = -5*g + 293. Let h be g/18 + (-2)/9. Solve h = 2*s - 3 for s.
3
Suppose -4*o = o + 50. Let l be 5*(-4)/o + 1. Solve -4 = -l*g + g for g.
2
Let d be (-14)/(-4) - 3/(-6). Suppose -2*s + 11 = -3*y + 2, -3*y + 6 = 3*s. Suppose -4*v + v - 3 = k, -3*k = -s*v - 3. Solve k = -3*g - g + d for g.
1
Suppose 0 = 2*q - 44 - 16. Suppose q = y + 2*y. Suppose -13*o = -10*o. Solve o*x - 5*x - y = 0 for x.
-2
Let o be (-4)/10*135/(-6). Solve -2*q = q + o for q.
-3
Let k(l) = l - 9. Let s be k(4). Let c = 8 - s. Solve -4*p - 1 = -c for p.
3
Let t(o) be the third derivative of 5*o**4/24 - o**2. Let v be t(2). Let d be v/1*6/15. Solve -d = 5*h + 1 for h.
-1
Let d be 1/(100/32 - 3). Solve -2*w + d = 2*w for w.
2
Let q be (1/2)/(6/72). Let x be (q/8)/(6/32). Solve -3*f = -x - 5 for f.
3
Let j(b) = b**3 - 9*b**2 - 10*b + 15. Let f be j(10). Let h be (6/5)/(6/15). Suppose 5 = 4*t - h. Solve -v - t*v = f for v.
-5
Let s(c) = c**3 + 12*c**2 + 9*c - 5. Let x be s(-11). Let r = 25 - x. Solve -3*t + r*t - 10 = 0 for t.
2
Let t be (0/(-16))/((-4)/(-2)). Solve t = 3*r - 15 - 0 for r.
5
Suppose 4*h = 3*d - 38, 5*d - 2*h - 56 = h. Let a = d + -5. Let v = 8 - a. Solve -4*u - v = 9 for u.
-3
Let k = 36 - 28. Solve 4*d - k = -0*d for d.
2
Let o be 8/(-10)*75/(-10). Let i = 7 - o. Solve 0 = s - i + 6 for s.
-5
Let a = 0 + -6. Let m = -4 - a. Let n(o) = 2*o + 1. Let z be n(m). Solve z*g = g for g.
0
Let k(h) = -h - 5. Let g be k(-5). Solve -x - x = g for x.
0
Suppose -5*b + 28 = -12. Solve -4*d + 12 = -b*d for d.
-3
Let u(c) = -c**3 - 8*c**2 + 9*c + 4. Let a be u(-9). Solve a*i = 5*i + 5 for i.
-5
Let d(k) = -k**3 + 8*k**2 + 2*k. Let v be d(7). Let l = v - 43. Solve 4*w = -w - l for w.
-4
Suppose -76 + 31 = -15*v. Solve v*i - 15 = -9 for i.
2
Let q be ((-2)/3)/(2/(-15)). Solve q = i - 2*i for i.
-5
Let u(o) = o**2 - 16*o + 5. Let d be u(16). Solve d - 3 = -a for a.
-2
Let i(d) = d**3 + 5*d**2 + 5*d + 9*d**2 - 6*d**2 - 11 + 1. Let l be i(-7). Let r = 3 + -1. Solve -l*y - 10 - r = 0 for y.
-3
Let b(l) = 0*l**2 + 13*l + 3 + l**2 - 1 + 0. Let s be b(-13). Solve 0 = -2*k - s + 10 for k.
4
Suppose -5*c + 4*u + 23 = -5, 0 = 4*c + u - 14. Solve 2*b + 4 = c*b for b.
2
Let h(j) = j**3 - 9*j**2 - 11*j + 15. Let s be h(10). Suppose 5*q = 2*t + 42, -5*t + 3 = -s*q + 33. Solve l + l = -q for l.
-5
Let p = 32 + -30. Solve 5*d + p + 3 = 0 for d.
-1
Let v be 48/36 - 4/(-6). Let y(f) = -f + 6. Let p be y(6). Suppose v*a + a - 3 = p. Solve -2*z - a = -z for z.
-1
Suppose -7 + 15 = 4*s, -v + 18 = s. Let u be 2*6 - (0 + 3). Suppose 0 = -w - 4*z + u, -6 = -2*w + z + 3*z. Solve g = w*g + v for g.
-4
Let v = 145 + -140. Solve v*s - 2*s = 0 for s.
0
Let g(a) = -a**3 - 11*a**2 - 23*a + 8. Let r be g(-8). Solve 5 + r = -5*n for n.
-1
Suppose 0*u + u - 3 = -3*a, -2*a + 9 = 3*u. Suppose 5*k + 89 = 3*f + f, u*k + 15 = 0. Suppose f = -0*w + 4*w. Solve 0 = i + i - w for i.
2
Let n = -81 + 86. Let x(p) be the second derivative of -2*p**3/3 + p**2/2 + p. Let q be x(-5). Solve -4*i - n + q = 0 for i.
4
Suppose 3*y - 2*y - 2 = 0. Let a(n) = n**2. Let s be a(y). Suppose l + l = s. Solve 0 = -0*v + l*v - 4 for v.
2
Suppose -3