Solve d = p - 0*p for p.
5
Let q(t) = t**2 + 6*t + 7. Let w be q(-5). Suppose -w*c = c. Suppose 3 = u - c. Solve u*v - 2*v = -2 for v.
-2
Let h(b) = b + 8. Let a = -16 + 10. Let i be h(a). Solve v = -i*v + 6 for v.
2
Suppose p - 15 = -5*j, 5*p + j + 0*j - 75 = 0. Solve 0 = 3*z + 2*z - p for z.
3
Let k = 3 - 0. Suppose -k*l + 0*d - 3 = 3*d, 6 = -4*l - 5*d. Let z be l - (-2 - (-3 - -2)). Solve -z*a - a - 12 = 0 for a.
-4
Suppose -34*i + 42*i - 16 = 0. Solve -2 = -3*a + i*a for a.
2
Let y = 34 - 2. Suppose -5*j - u + 45 = u, -j - 5*u + y = 0. Solve j = -5*l + 2 for l.
-1
Let a(i) = -i + 9. Let j be a(5). Suppose m - 17 = 2*m - 4*q, j*m = -2*q + 22. Solve b = -2*b + m for b.
1
Suppose -2*l = 92 + 56. Let i = -45 - l. Suppose -4*k = -5*j + 8, 3*k + 0*j - i = -5*j. Solve -k*a + 2 - 5 = 0 for a.
-1
Let u = -9 - -8. Let q be ((-4)/14)/(u/7). Solve 0*g + 2 = -q*g for g.
-1
Let d be ((-60)/(-8))/(-3)*-4. Suppose -5*c + 20 = d. Solve -25 = c*x + 3*x for x.
-5
Let g = 10 - 10. Suppose -h - 3*h + 8 = g. Solve -2*f - h*f - 16 = 0 for f.
-4
Let o(w) = w**3 - 12*w**2 + 10*w + 15. Let t be o(11). Solve -15 = t*b + b for b.
-3
Let g(c) = -c + 13. Let t be g(0). Let r = t - -2. Suppose l = 2*l - r. Solve 0 = 3*v + l - 0 for v.
-5
Suppose -12 = -4*b, 3*x = 2*b + 15 + 3. Let c(o) = -o**2 + 7*o + 11. Let w be c(x). Suppose -2*r - w*f = 3*r - 32, r = -3*f + 16. Solve -r*q = 1 + 3 for q.
-1
Suppose 2*v + 2 = 2*x - x, 3*x + 4 = -4*v. Suppose 3*h = 2*w + 1 - 12, -h - 3*w + 11 = x. Let o(i) = 4*i**2 - i - 1. Let j be o(h). Solve 1 = -c - j for c.
-5
Suppose -4*t = -t - 15. Let i(v) = v**2. Let s be i(t). Suppose 0 = 4*u - 51 - s. Solve 3*q = 4 - u for q.
-5
Let w be 3*((-14)/(-3) - 4). Solve w = -p + 4 for p.
2
Let n(a) = 6*a - 16. Let x be n(6). Solve 2*p + 2*p + x = 0 for p.
-5
Let b(w) = -w**2 - 11*w - 13. Let v be b(-9). Solve -19 = -v*r + 1 for r.
4
Let h(o) = -o**2 + 4*o + 2. Let f be h(4). Suppose 3*j = x + 22, 4*j + j - 44 = -2*x. Solve 0 + j = -f*b for b.
-4
Suppose -6*t + 22 = -2*t - 2*c, 3 = 3*c. Let q be (3/6)/(1/10). Suppose -5*p = 1 - 21. Solve -t = -q*r + p for r.
2
Let g be ((-6)/(-4) - 1)*0. Suppose 0 = -g*y + y - 4. Suppose 7*q - 3*q = 0. Solve q = y*f + 1 - 9 for f.
2
Suppose 3*z - 11 = 2*z - h, 0 = -5*z + 2*h + 34. Suppose -21 = 4*k - 5*k + 5*m, 4*k - z = m. Let t(y) = 21*y - 1. Let v be t(k). Solve 9*a - v = 4*a for a.
4
Suppose -5*z + 2*z = -6. Solve -z*a + 8 = 2*a for a.
2
Let x(d) = d**2 - 4*d + 6. Let w(q) = -q + 2. Let z be w(-2). Let o be x(z). Solve -n - o = n for n.
-3
Suppose 0 = -3*s + 5*k + 17, -2*k + 4 = s + 2. Solve 2*j - s = -0*j for j.
2
Suppose -4*r + r = -15, 0 = 4*h + 5*r - 53. Let c(x) = x**2 - 5*x - 9. Let p be c(h). Solve -n - 3 = -p for n.
2
Let m(s) = 2*s**2 + 12*s - 12. Let n be m(-7). Solve g = n - 4 for g.
-2
Let p = -35 - -60. Solve 5*b - 5 = -p for b.
-4
Suppose 0 = -0*v - 2*v - 5*d - 20, d = v - 4. Solve -2 = -2*r - v for r.
1
Suppose 2*g - 2*g = -2*g. Solve s = -g*s for s.
0
Let k = -31 - -38. Solve 0 = 5*q + k + 3 for q.
-2
Let p be 0 + (-1 + 1 - -2). Solve 0 = 4*m + p + 10 for m.
-3
Let h(x) = 2*x + 12. Let d(p) = p + 6. Let g(j) = 5*d(j) - 3*h(j). Let a be g(-6). Solve a = 4*k - 0*k - 20 for k.
5
Let n(k) = -k**3 + 6*k**2 - 5*k + 5. Let g be n(5). Suppose 2 - 22 = -g*j. Solve 0 = d + j*d - 15 for d.
3
Let s(p) = 4*p - 9. Let r be s(6). Suppose -2*g - g + r = 0. Suppose -5*l = -39 - 21. Solve -j - l = -g*j for j.
3
Let w = -11 + 11. Solve u = -w*u - 5 for u.
-5
Suppose 12*x - 90 = 2*x. Solve x - 12 = -c for c.
3
Let z(q) = -q**2 - 10*q + 24. Let v be z(-12). Solve v*h + 2*h + 4 = 0 for h.
-2
Suppose -2 = 7*a - 23. Solve -5 = a*q + 2*q for q.
-1
Let i(m) = 3 + 4*m + 3 + 1 - 3*m. Let a be i(-7). Solve a = -5*t - 0*t for t.
0
Let y be (-200)/(-56) + (-3)/(-7). Solve -y*u = -2 - 6 for u.
2
Suppose 0*z - 8 = -2*z. Solve -2*h + z*h + 2 = 0 for h.
-1
Suppose -2*u = -4*u. Suppose -b + 18 + 14 = u. Suppose 2*k + 2*k = b. Solve y + y = -k for y.
-4
Suppose p + 9 - 14 = 0. Solve -4*s + p = 25 for s.
-5
Let v = 165 + -160. Solve 0*f = v*f - 20 for f.
4
Suppose j - 54 = -2*j. Let v = j - 15. Solve 0 = v*l + 17 - 5 for l.
-4
Suppose -10 = -8*z + 3*z. Let g(b) = 2 + 8*b - b + 0*b**2 - b**z. Let l be g(6). Solve -5*o = -3*o + l for o.
-4
Let t(v) = v + 1. Let g be t(5). Solve -g = 3*k - 0*k for k.
-2
Let i = -1 - -1. Let z be 17 + -4*(-9)/24*2. Suppose -b - 2*b + 6 = i, 3*x - 2*b = z. Solve -2*u + 0 = -x for u.
4
Let o(l) = -2*l + 2. Let b be o(-2). Solve 2 - b = -g for g.
4
Let m be 19/4 + (-5)/(-20). Solve 5 + 5 = m*t for t.
2
Suppose 2*k = 4 + 2. Let c = 8 - 4. Let m = c - k. Solve -v = -0*v - m for v.
1
Let s(v) = 4*v**2 + v + 1. Suppose -3 = j + 2*j. Let l be s(j). Solve k = -0*k - l for k.
-4
Let l(o) = -o**3 - 4*o - 4. Let y be l(-3). Suppose -8*t = -3*t + y. Let x(v) = v + 9. Let n be x(t). Solve n*c = 7*c - 15 for c.
3
Let z be (4/12)/(1/6). Suppose 25 = 4*l - 9*l. Let n be 6*(3 + l/z). Solve -5 = n*g - 2*g for g.
-5
Suppose 5*i = -i. Solve i*r = -4*r for r.
0
Let t be (-4 - -1) + (5 - 6). Let p = 4 + t. Solve f + 4 - 1 = p for f.
-3
Suppose 2*q + 2*q = 4*v - 4, -4*v = q - 14. Let r = q + 7. Solve -3*p - 3 = -r for p.
2
Suppose -12 = -v - 5*v. Solve 4*r - 5*r = v for r.
-2
Let m = -16 - -18. Solve 2*w = 3*w - m for w.
2
Let f(m) be the first derivative of 2*m**2 + 5*m + 1. Let n(l) = -l. Let s(d) = -f(d) - n(d). Let w be s(-4). Solve 0 = -w*v + 4*v + 12 for v.
4
Suppose n + w - 4 = 0, -3*w + 4*w = 3*n - 16. Suppose -4*p - 4*d + 43 = 7, 2*d = -n*p + 30. Solve 10 = p*r - 2 for r.
3
Let j = -3 - -13. Let u be ((-2)/4)/(j/(-100)). Suppose -u*k + 56 = 11. Solve h + k = -2*h for h.
-3
Let a = 123 - 114. Solve a - 1 = 2*n for n.
4
Let f be (8/(-12))/(1/(-9)). Let k(y) = 2*y**3 - y**2 + y. Let v be k(1). Let q be -2 + 0 + (-12)/(-2). Solve -q - f = v*n for n.
-5
Suppose 2*l - 28 = -2*l. Suppose -3*w + l + 2 = 0. Let b(v) = -v**3 + 5*v**2 - 2*v - 5. Let z be b(4). Solve z*u + 3 = -w for u.
-2
Let g(p) = -p - 3. Let z be g(-3). Let x(q) = -4 + 2*q**2 - 3*q**2 + 28 + q. Let t be x(z). Solve 5*m = t - 4 for m.
4
Suppose n = 4*n. Suppose n = 10*h - 7*h. Solve -2*m + 4*m = h for m.
0
Let a = -8 - -13. Suppose 4*c - c = 6. Suppose c*g - 20 = -3*g. Solve -a*x + g = -4*x for x.
4
Let s(a) = -a**2 + 7*a - 2. Let o be s(6). Solve -5*w + o = -3*w for w.
2
Let k = -8 - -11. Let p = k - -2. Solve -g + 0*g = -p for g.
5
Let l(p) = 2*p**2 + 17*p + 12. Let c be l(-8). Solve -c = x + 3*x for x.
-1
Let z(h) = h**3 + h**2 - 5*h + 5. Let u be z(-3). Solve 1 = -u*q + 3 for q.
1
Suppose 9*v = 4*v + 10. Suppose -3*p + 0*p - 24 = 0. Let w = 8 + p. Solve w = v*l - 4*l - 6 for l.
-3
Let x(v) = 12*v**2 + v + 1. Let h be x(-1). Suppose -h = -5*y + y. Solve 0 = -k + y*k for k.
0
Let m = -22 - -6. Let s be 0*(-1 + m/(-12)). Solve s*g + 20 = -4*g for g.
-5
Let y(u) = u - 8. Let n be 6/(-4)*120/(-18). Let d be y(n). Solve -d = b - 0*b for b.
-2
Let p(s) = s**2 - 13*s + 2. Let b be p(13). Solve -b + 10 = -2*k for k.
-4
Suppose 0*f + 32 = 4*f. Let h = f + 2. Suppose h = 4*g - 6. Solve 9 = m - g*m for m.
-3
Let c(s) = s**2 + 4*s - 10. Let q be c(-6). Solve q*u + 0 + 6 = 0 for u.
-3
Let y(u) = u + 2. Let r be y(1). Let d = 14 - 6. Solve r*c = c - d for c.
-4
Let t = -40 + 41. Solve t = l - 0*l for l.
1
Let r(j) = -j**3 + 9*j**2 - 7*j - 4. Let h be r(8). Suppose 6 = -2*n + w - h, 0 = -5*n + w - 22. Let x be 7/4 - n/16. Solve -x*v - 9 = -1 for v.
-4
Suppose 2*n - 6*n = 3*k + 11, 4*k - n - 17 = 0. Suppose 0 = f + 1 - k. Let c = 5 - 0. Solve 0 = -4*m + c*m + f for m.
-2
Suppose 2*o - 3 - 5 = 0. Let h(u) = 2*u - 6. Let d be h(o). Solve d + 0 = 2*x for x.
1
Let v = 0 - -1. Let o = v + 0. Solve 0*k + o = k for k.
1
Suppose k - 2 = 4*v - 15, 4*v = -5*k + 7. Solve 0 = -v*x - 2*x + 20 for x.
4
Let v = -1 - -16. Let h be 54/v + (-10)/(-25). Let g = h + 1. Solve 3*j + 10 = -g for j.
-5
Let r(l) = -l + 4*l**2 - l - 3*l**3 + 2*l**3 + 1. Let x be r(3). Solve -3 = -x*t + 9 for t.
3
Let s = 3 - 2. Solve 1 = q - s for q.
2
Let l = 20 - 14. Let d(h) = -h**3 + 4*h**2 - 3*h + 2. Let g be d(3). Suppose 2*a = 2*c + 4 - 12, -c = 5*a - 4. Solve -l = -a*q + g*q for q.
-3
Suppose 2*r - 34 = -2*u, 0*u + 59 = 3*r + 5*u. Solve 4*f = -r + 17 for f.
1
Suppose -b - 4*b + 2*d + 28 = 0, 0 = -d - 4.