 - 2*p for p.
-3
Let c be 13/5 - (-4)/10. Suppose 4*f + 2*z - 20 = -2*z, -c*f + z = -15. Suppose -f = 4*n - 21. Solve n*m = 2*m for m.
0
Let w = 4 - 10. Let s = w + 6. Suppose 2*r + 3*i - 14 = s, -8 = -3*r + 3*i - i. Solve 6 = r*u + 2 for u.
1
Let r = 1 + 4. Solve 0*f - r*f + 15 = 0 for f.
3
Let v = 11 + -7. Suppose -d - d - 4 = 4*o, o + v*d + 8 = 0. Solve 1 + o = -w for w.
-1
Let r = 6 - 4. Let z(y) = -y**2 + 10. Let c be z(0). Let q be ((-6)/c)/((-2)/30). Solve -r*i = i + q for i.
-3
Let u be (2 + 1)/3 - -2. Solve 0 = u*d + 2*d - 20 for d.
4
Let z = 6 - 4. Suppose 5*u = k + 18, 7*k + 30 = 5*u + z*k. Solve -2*v - u*v = -5 for v.
1
Let a be ((-4)/8 - -1)/((-3)/(-30)). Solve -4*d - d = -a for d.
1
Let f(n) = n**2 - n + 1. Suppose -i + 0 = -3. Let p be f(i). Suppose 2*s - 5 = p*s - 3*b, 0 = -s + 5*b - 23. Solve -2*a - 8 = s for a.
-5
Suppose 0 = -3*u - 3*b + 99, 4*u - 2*b - 160 = b. Let h = -17 + u. Solve 4*c - h = -c for c.
4
Suppose -3*c = -3, 2*q + 5*c - 13 = -2*q. Suppose 44*d = 40*d + 16. Solve -s + q*s = -d for s.
-4
Let p = 15 + -17. Let t(d) = -3*d**2 + 10*d + 3. Let l(x) = x**2 - 3*x - 1. Let y(o) = 7*l(o) + 2*t(o). Let z be y(p). Solve -12 = z*i + 8 for i.
-4
Let f be (-1)/(4/(-3) + 1). Solve -2*v = 7 - f for v.
-2
Suppose 0 = -l + 3*l - 32. Solve -3*m = -l + 1 for m.
5
Let c(i) = i**3 + 6*i**2 - 2*i - 9. Let g be c(-6). Suppose g*r - r - 10 = -3*b, 0 = 2*r - 4. Solve -3 - 5 = b*a for a.
-4
Let d(k) = 2*k + 4. Let l be d(6). Suppose -5*u - 5 = -5*o, 4*o + 9 = 5*o + 3*u. Solve -g - l = o*g for g.
-4
Let r = 22 - 14. Solve 4 + r = -3*d for d.
-4
Let c(q) = 2*q**2 - 7*q. Let t be c(5). Suppose 7*p - 4*p - t = 0. Solve 0 = p*s + 15 for s.
-3
Let m = -2 - -4. Let x = m - 2. Suppose -2*l - 3*k = -7 - 5, -30 = -5*l - k. Solve 3*d + 0*d + l = x for d.
-2
Suppose 82 = -5*u + 122. Solve -5*g - u = -28 for g.
4
Let z = 4 - -1. Let t be 0/9*(-2)/(-4). Solve -p = -t*p + z for p.
-5
Let k(z) = z**3 + 4*z**2 - 5*z + 6. Let j be k(-5). Suppose -5*m + 18 = 4*s, -4*s + 2*m + j = m. Solve -6*r = -s*r for r.
0
Let x(y) = -y**3 - 6*y**2 + 3*y + 7. Let f be x(-6). Let t = -3 - f. Solve 2 = -5*h - t for h.
-2
Let u be 52/8 + (-12)/(-8). Solve p + u = 3 for p.
-5
Let h be 20/(-170) - 2/(-17). Solve -3*c + c + 4 = h for c.
2
Suppose 10 - 2 = 4*a. Let h(i) = -3*i - 9. Let j be h(-4). Solve -j*o + a = 5 for o.
-1
Let h = -76 - -141. Suppose 17 = -3*b + h. Let j = -3 + 8. Solve -q = -j*q + b for q.
4
Let s(w) = w**2 - 2*w + 2. Let u be s(2). Suppose -4*t = -y - 9*t + 15, -3*y = -u*t - 11. Let v be 10/y - (0 + 2). Solve 2*a + 3*a + 20 = v for a.
-4
Let q be 1*(2 - (-14)/(-2)). Let l = q + 7. Suppose 0 = -l*p - 2*p. Solve p = 2*j - 4*j + 2 for j.
1
Let o(g) be the first derivative of -g**2/2 + 6*g - 5. Let h be o(3). Solve h*r = 5 + 1 for r.
2
Suppose -l = -4*d + 2*l + 294, l = 3*d - 218. Let k = -22 - d. Let j be k/(-18) + (-4)/18. Solve 0 = -j*h - 11 + 1 for h.
-2
Suppose b + 4*b + 3*a - 75 = 0, -2*b + 30 = -4*a. Let h be 9/3*(-1 - -2). Solve 0*y - h*y - b = 0 for y.
-5
Let p = -14 + 6. Let c be (8/(-6))/(p/12). Solve 0 = -c*m - 1 - 1 for m.
-1
Let l = -12 + 10. Let w = 1 - l. Solve w*b - b - 2 = 0 for b.
1
Suppose 3*v + 2*j = 2, 2*j = 2*v - v - 14. Let i = 10 - v. Solve -i*k - 10 = -k for k.
-2
Let p(s) = -s + 2. Let y be p(-8). Suppose 2*k = 7*k + y. Let q be (-8)/(-5) - k/5. Solve -v - v = -q for v.
1
Let d = -44 - -28. Let t = d + 21. Solve 4*m + t = 1 for m.
-1
Let s = 8 - 6. Suppose 3*x - 3 + s = q, 0 = -2*x + 4*q + 4. Solve x*i + 4*i + 16 = 0 for i.
-4
Let r(h) = -h - 17. Let p be r(0). Let s = 53 + p. Suppose -4*q + o = 5*o - s, -q = 2*o - 13. Solve -l = -6*l - q for l.
-1
Suppose 0 = -4*r - 0*r + 8. Suppose a - 33 = -5*m, r*m - 1 - 5 = -4*a. Solve 0 = m*b - 2*b + 10 for b.
-2
Let f be 8/(-6) + (-140)/(-15). Suppose 3*j - f = 10. Solve -2*h = -j*h - 8 for h.
-2
Let o be -2 + 20/9 + (-70)/(-9). Solve 3*z + o = 5*z for z.
4
Let l(z) = -z**3 - 4*z**2 + 4*z + 7. Let q be l(-5). Let m(i) = 3*i + 6*i**2 - 2*i - 2*i. Let h be m(1). Solve -q = 2*u - h*u for u.
4
Let o = -22 + 22. Solve -4*j + 13 - 1 = o for j.
3
Let f(c) = -3*c**2 - 2*c**2 + 5*c**3 - 7*c + 6 - 4*c**3. Suppose 8*d - 6*d = 12. Let x be f(d). Solve -y + x = -2 for y.
2
Let q be (0 + -2 + 1)*-9. Let s(t) = -9*t + 21. Let x be s(3). Let y = q + x. Solve y*p + p = -8 for p.
-2
Suppose 5*k - 3 = 2. Suppose -3*i + 6*i - 4*l + 7 = 0, -3*i = -5*l + 11. Solve i = -f + k for f.
-2
Let d = 17 - 11. Let j = -4 + d. Solve j*y - 1 = 5 for y.
3
Let b(s) = s**2 + 4*s - 2. Let m be b(-3). Let t = 1 - m. Let h = t + 0. Solve -2*i - h = 4 for i.
-5
Suppose k - 4 - 15 = 0. Solve -k - 1 = 4*g for g.
-5
Suppose u + 4*u = -3*q + 30, 2*u = q + 1. Solve -s + 12 = -q*s for s.
-3
Suppose -7 = m + 11. Let x = m + 18. Solve 4*u - 21 + 1 = x for u.
5
Suppose 5 = -2*s - 3*q, -2*q = 2*s - 3 + 5. Let x = 0 + s. Suppose x*o - 6 = -0. Solve 9 + 6 = -o*z for z.
-5
Let a(t) = -1 + 1 + 5*t - 9 - 3*t. Suppose -4*v = -2*g + 8, -4*v = g + 2*g - 22. Let y be a(g). Solve -2*i + 10 = y*i for i.
2
Suppose -k - 46 = -5*i + 29, -5*k = 5*i - 75. Suppose -i = -n - 2*n. Solve -d = -n + 4 for d.
1
Let f = 0 - -5. Suppose 3*u + 0*u + x - 9 = 0, 2*u + x = f. Solve 0*c - 16 = -u*c for c.
4
Let b(q) = q**3 + 4*q**2 + q. Let f be b(-3). Solve f = -2*m + 8 for m.
1
Let m(k) = 2*k**3 - k + 1. Let s = 7 + -6. Let b be m(s). Solve -b*r - r = -15 for r.
5
Let n(h) = -3*h**3 - 2*h**2 - 6*h - 3. Let i be n(-2). Solve -4*m - m = -i for m.
5
Let f be 2 + (-7 - -4) + 7. Let u be -2*(1 + 0)/(-1). Solve u*z = -z - f for z.
-2
Suppose 0 = -2*d + 4*p, -7*p + 3 = -d - 4*p. Suppose -3*s = -6*s + d. Let x be s/(-2*1/(-5)). Solve -x*r + 4 = -r for r.
1
Suppose -6 = 3*m - 6*m. Suppose h = -m*r, 4*r - 6*h = -2*h. Solve -d - 1 + r = 0 for d.
-1
Suppose 3*x = -3*w + 63, 3*x - 4 = -16. Suppose -1 = 2*i - w. Solve -2*v + i = v for v.
4
Suppose 3*q + 38 = 5*z - z, 5*z + 2*q = 36. Solve z = -5*v - 17 for v.
-5
Suppose -5*j = 4*k - 6, 5*j - 7 = -0*k - 3*k. Solve 2*g = j - 0 for g.
1
Let i = 8 + -4. Suppose -2*m + i*m = 0. Solve m = 3*u + 5 + 1 for u.
-2
Let o(f) = 2*f. Let z be o(2). Suppose 5*a + 0*a + 10 = 0. Let w(k) = k**3 + 3*k**2 + k + 1. Let q be w(a). Solve -z*x + 1 = -q for x.
1
Let q(z) = -3*z - 2. Let a be q(-3). Solve -4*k = -a*k - 3 for k.
-1
Suppose -l - 7 = -157. Suppose 3*x + x - 120 = -f, 5*x + 5*f = l. Suppose o - 6*o = -x. Solve -m + o = 2*m for m.
2
Let x(n) = n**2 + n - 2. Let g be (-5)/2 + (-3)/(-6). Let p be x(g). Solve p*o = -2*o - 2 for o.
-1
Let d(o) = -2*o + 6. Let m be d(-7). Suppose -h + m = 3*h. Solve -3*q + h = -7 for q.
4
Let j = 103 + -101. Solve -7*w + j*w + 20 = 0 for w.
4
Let h(a) = 3*a - 2. Let i be h(4). Suppose 4*w + 2*y = 108, y = -0*y - 4. Suppose -5*d + w = -0*v + 2*v, -5*v = -i. Solve 5*f - 15 = -d for f.
2
Let s be (1/(-3))/(1/(-57)). Suppose -5*q - 2 = u - s, -q = 5*u - 37. Solve -3 = -2*p - u for p.
-2
Suppose 3*b - 8 = 7*b + 4*n, -3*b + 3*n + 18 = 0. Solve 1 + b = 3*s for s.
1
Let t(j) = -13*j**3 + 21*j**2 + 19*j + 25. Let n(i) = 7*i**3 - 11*i**2 - 10*i - 13. Let h(c) = -11*n(c) - 6*t(c). Let o be h(6). Solve o*s + 15 = -0*s for s.
-3
Let r be -2*1 - (2 - 24). Solve j + r = 6*j for j.
4
Let h = -129 + 149. Solve 0 = 5*g - 0*g + h for g.
-4
Let v be 7 - 5*1/5. Solve 4*z + 14 + v = 0 for z.
-5
Let k(a) be the first derivative of a**4/4 - 5*a**3/3 + 3*a - 7. Let d be k(5). Solve p + 5 - d = 0 for p.
-2
Let u(a) = -a + 4. Let q be u(-2). Let g be (-17)/(-5) - q/15. Solve -2*d = d + g for d.
-1
Let q be ((-3)/(-2))/(3/4). Suppose -q*k + 8 = 2*k. Solve -c = k*c for c.
0
Suppose 4*n + 2*c = 12, -2*n - 5*c = -0*c + 10. Suppose -5 = -5*d, -u - 3*d = -n*u + 45. Solve 6*x = 3*x + u for x.
4
Let q = 26 - 22. Solve 5*r - q = -14 for r.
-2
Suppose -6 = -2*s - s - t, 8 = 4*s + 3*t. Solve -s = 3*o - 2*o for o.
-2
Let y = 19 + -33. Let i = -6 - y. Solve -i = -4*t - 0 for t.
2
Suppose 22*h - 15*h = 35. Solve h*g = g - 16 for g.
-4
Let p(x) = -x**2 - x + 2. Let o be p(0). Suppose -j = -3*q + o, -q + 2*j - 1 - 5 = 0. Suppose -2*t = -t. Solve -q*m + m + 1 = t for m.
1
Suppose 0 = 5*l - 4 - 1. Let j be ((-4)/(-8))/(l/18). Suppose 0 = -5*v - 5*m + 2*m + 9, -4*m + 7 = 5*v. Solve j + 6 = v*r for r.
5
Let f be ((-24)/16)/((-6)/8). Let h(n) = -3*n - n**3 