 = 12 + v. Solve 1 - 9 = -q*p for p.
2
Let k(r) = 2*r**2 - 27*r + 15. Let t be k(13). Let x be -6 + t + 0 + (4 - -2). Solve 1 = x*f - f for f.
1
Let u be 270/210*35/3. Solve a - u = -2*a for a.
5
Suppose -4 = g, -10 = -3*t - 2*g + 6. Solve 0*d = -4*d + t for d.
2
Suppose 0 = 5*z - 3*j - 0 - 4, -2*z = -4*j + 4. Suppose l = -2 + 9. Suppose -8 - l = -5*u. Solve 3 = z*f - u for f.
3
Let v(i) = -2*i**2 - 7*i + 7. Let c be v(-4). Solve -6*s - 6 = -c*s for s.
-2
Let x = -89 - -94. Solve x*m - m = m for m.
0
Let x = 1744 + -1744. Solve 4*y + 29 - 13 = x for y.
-4
Suppose -3*o = 5*w + 11, -2*w = -o - 3*w - 1. Let n be 6 - (3 - o)/4. Suppose 0*j + 4*i + 6 = 3*j, 3*j = -2*i + 6. Solve j*p + 2 = -n for p.
-4
Let m be 178/6 + (0 + 1)/3. Let h = 31 - m. Solve -4*z + h = 9 for z.
-2
Let s = -116 - -116. Let c(t) = 2 + 0*t + t + 7. Let z be c(s). Solve 3*a - 6*a + z = 0 for a.
3
Suppose -15*s + 15 = -30. Suppose 4*x = -4*f + s + 9, -3*f = x - 13. Solve 0 = -z + 3 - f for z.
-2
Suppose 10 = -3*g + 2*r - 28, 4*g + 52 = 4*r. Let l be (-15)/(-4) - 3 - g/(-16). Solve -p + l = 5 for p.
-5
Let h = 101 + -97. Solve 2*t - 24 = -h*t for t.
4
Let m(x) = -x**3 - 45*x**2 + 48*x + 95. Let u be m(-46). Suppose n + 3 = 4. Let p be (-5)/(-10)*(-1 + n). Solve p = -u*a - 1 - 2 for a.
-1
Let c(j) be the first derivative of 5*j + 3*j**2 + 3 + 1/3*j**3. Let y be c(-5). Solve 4*n + n = y for n.
0
Suppose -5 - 1 = -2*c. Suppose -j = -2*b - 4 + 1, 5*j = -c*b + 15. Solve 0*i - i + 3 = b for i.
3
Let l = 13 - 7. Suppose 25 = 5*g - 0. Suppose g*h = 3*h + 8. Solve -h*q = -l + 2 for q.
1
Suppose 6*i = -2*r + 3*i + 50, 2*i - 100 = -4*r. Solve -7*z + 4 - r = 0 for z.
-3
Suppose 5*g = -3*l + 23, 3*l - 4*g + 6 = 20. Solve -7*a + l*a + 4 = 0 for a.
4
Let u be (5 + -3)/(2/(-48)). Let a = u - -50. Solve -a*f + 10 = -0*f for f.
5
Let y = 24 - 22. Let m(k) = k**3 - 18*k**2 - k + 21. Let h be m(18). Suppose -4*b + 20 = -2*x, -h*x - 18 = -4*b + b. Solve b*u = y*u + 6 for u.
3
Suppose -9 = 2*v + 3. Let i(a) = a**2 + 7*a + 13. Let r be i(v). Solve 2*l + 10 = r*l for l.
2
Suppose 2*h - 4 = -5*k + 3*h, h = 1. Suppose 4 - k = d. Solve d = 3*y - 3 for y.
2
Suppose 5*j + 25 = 0, 11*b - 14*b = 3*j + 15. Solve -12*n - 16 - 8 = b for n.
-2
Suppose 5*y = 5*l - 12 + 47, 0 = 5*y + 3*l - 35. Suppose -y = -4*k + 1. Suppose t = -k + 9. Solve 0 = 4*s + 5 + t for s.
-3
Let l = 604 + -582. Solve 0 = -v + l*v + 21 for v.
-1
Let b = -95 - -104. Suppose -2*g = 5*s - 3*g - 26, -2*g + 3 = s. Suppose 6*l - 18 = -5*a + 3*l, 0 = -s*a - l + 16. Solve 0*x - a*x = -b for x.
3
Suppose -419*a + 420*a = 0. Solve a = -7*l - 38 + 17 for l.
-3
Suppose 0*r - 84 = -2*r. Let u be (r/70)/(1/5). Suppose -u*h - 6 = -6*h. Solve -12 = 2*x - h for x.
-5
Let i be 10/15 - ((-46)/3)/(-2). Let o(d) = -d + 1. Let n(m) = 6*m + 2. Let b(a) = 2*n(a) + 10*o(a). Let f be b(i). Solve -c + f*c = 2 for c.
-2
Let b = -13 + 27. Let p = -34 + 35. Suppose p = 5*q - b. Solve -1 = -w - q for w.
-2
Let t be ((-54)/4)/(-9)*2. Let j be t/6 + ((-6)/(-4) - 2). Solve j = -4*q + 7 - 23 for q.
-4
Suppose 336*x = 338*x - 14. Solve -3*y = -x - 2 for y.
3
Suppose r - 3*r - 11 = 5*l, 5*r = -l + 7. Let j be (l - -5) + -4 + 3. Let g(v) = 11*v**3 - 2*v**2 + 2*v - 1. Let t be g(j). Solve -u - t = u for u.
-5
Let i(z) = -z + 7. Let j be i(4). Suppose 3*c - 24 = 4*t - 7*t, -j*t = -5*c + 16. Let v be 10/2 + t/(-1). Solve 0 = -3*b - v - 4 for b.
-2
Suppose 0 = 9*r - 5*r + 16, 0 = 5*u + 2*r + 48. Suppose c - 20 = -2*l, 2*l - 2*c - 40 = -2*l. Let j = l + u. Solve 0 = -v - j for v.
-2
Suppose 3 = 5*n - 2. Let l be n*(2 - 4) - -3. Let c = 3 + l. Solve 0 = -c*p + 3*p - 2 for p.
-2
Let r = 40 - 37. Let f be 3 - r/(-4 - -1). Solve -f*z - z = 0 for z.
0
Let j be ((-2)/3)/(20/(-60)) - 2. Solve j = -312*c + 321*c - 9 for c.
1
Suppose -34*z - 7 = -279. Solve -69*c = -65*c - z for c.
2
Let z = -3 + 20. Suppose 2*i = 5*n + 25, 5*i - 5*n - z = 8. Solve i = -3*u - 0*u + 15 for u.
5
Let x = 4 - 4. Let n be 2/6*(-6)/(-1). Suppose s + 8 = 3*s. Solve -n*o - s = -x for o.
-2
Suppose 21 = -2*u - m + 6*m, -25 = -5*m. Suppose 8 = 2*d - c, 3*c = u*d - 4 - 4. Solve -d*l = l - 25 for l.
5
Let m be (-1)/((7 + -6)/(-2)). Let g(n) = 3*n + 15. Let c be g(-4). Solve c*l + 15 = -m*l for l.
-3
Let x(k) = k**3 - 8*k**2 - 1. Let w be x(5). Let a = 78 + w. Solve 0 = a*t - 9 + 1 for t.
4
Suppose -g = 42*i - 43*i + 2, 5*g - 3*i + 6 = 0. Suppose 3 = h + 1. Solve g = -a + h for a.
2
Suppose 4*k - 2 = 3*k. Let u(q) = q**3 - 6*q**2 + 7*q - 7. Let h be u(5). Solve h = l + k for l.
1
Suppose 0 = 6*c - c + 4*i - 9, 0 = c + 4*i - 5. Solve 2 = 3*h - c for h.
1
Let i(j) = j + 2. Let b be i(3). Let o(d) = -5*d + 4. Let z be o(-2). Let x = z - 11. Solve x = b*f - 12 for f.
3
Let l(t) = t**3 - 14*t**2 - 2*t + 31. Let u be l(14). Suppose -3*v = 4*o - 27, -u*o = -0*o + v - 14. Solve 0 = o*d - 6*d - 6 for d.
-2
Let v be ((-7)/(-2))/(2/4). Suppose x = -5*b + 4*x + v, -b = -3*x + 1. Solve -b = -2*f + 4 for f.
3
Let a = -7 + 3. Let q(v) = 4*v**3 + v**2 - 2*v + 5. Let i(x) = x**3 - x**2 - x + 1. Let z(m) = 3*i(m) - q(m). Let j be z(a). Solve -j*b + 3 = -b for b.
3
Suppose 5*p - 6*p - 1 = -2*u, -5*p + 2*u + 19 = 0. Solve -p*n + 55 = -16*n for n.
-5
Suppose -17*r = -20*r. Suppose -h - 2*p - 6 = r, -5*h + p + 3 = -0. Solve 0 = -h*b - 3*b + 15 for b.
5
Suppose 7*x - 50 = 2*x. Let m = x - 7. Solve -m*o - 2*o = -15 for o.
3
Suppose 5*i - 33 = 67. Let s be 204/9*(6 - 9). Let y = 70 + s. Solve -y*c - i = 2*c for c.
-5
Let i(s) = -2*s + 15. Let z be i(9). Let d be z + 9 + -4 + 1. Solve -2*b - d = -7 for b.
2
Let n(o) = 3*o**3 - 10*o**2 + 2*o - 6. Let v(h) = -2*h**3 + 9*h**2 - h + 7. Let q(x) = -3*n(x) - 4*v(x). Let l be q(-6). Solve -4*t + l*t - 4 = 0 for t.
-2
Let k = -3 + 6. Let z(j) = 11*j - 6. Let u be z(k). Suppose -9 - 12 = -3*d. Solve d = 5*w + u for w.
-4
Let z = 0 - -2. Let n(y) = y**2 - y - 29. Let s be n(6). Solve -3*m = -s - z for m.
1
Let h = -250 - -258. Solve 6*c + 2 = h*c for c.
1
Suppose 0 = -m + 2*i + 5 + 1, -i = 5*m + 25. Let p be (-7 - -4)/(m - -1). Suppose -s + 13 = 3*f + p, f - s = 0. Solve -f*j - 8 = 4 for j.
-4
Let c be ((-1 - 2)/(-3))/1. Let s = 15 + -10. Let x = 7 - s. Solve p - c = x for p.
3
Let m(f) be the first derivative of f**2 + 24*f - 5. Let q be m(-12). Solve -3*g + 2 + 1 = q for g.
1
Let n(y) be the first derivative of 4*y**3/3 - y**2 + 2*y - 11. Let d be n(1). Solve -20 = d*b - 0*b for b.
-5
Let s be 77/14 - -1*(-2)/4. Suppose -11 = -6*f + 37. Solve s*l + f = -2 for l.
-2
Let n(r) = 2*r**2 - r - 39. Let c be n(0). Let k be 2/(-6) - c/9. Solve 6 = 5*o - k for o.
2
Suppose 984 - 978 = 3*g. Solve g*c + 12*c = -42 for c.
-3
Let y be 0/1 + (-2 - -6). Suppose 2*n + 5*i = 4, -4*n - 2*i + 7*i + 8 = 0. Let k = -3 - -5. Solve -y - n = k*j for j.
-3
Let b be (-165)/(-75) + (-12)/(-15). Solve o = -8 + b for o.
-5
Suppose -a - 3*s = -13, -3 - 4 = -4*a + 3*s. Solve a*c = c - 3 for c.
-1
Suppose 11*f - 9 = 8*f. Let u be 7*(f - (-38)/(-14)). Solve -u*y + y = 3 for y.
-3
Let k = 1575 - 1410. Solve -10 = k*a - 167*a for a.
5
Let h(d) = d**2 - 2*d - 9. Let g be h(5). Suppose -2*v = -g - 0. Let z be (24/14)/(4/14). Solve -v*s - 6 - z = 0 for s.
-4
Suppose -k - 35 = -8*k. Let d be (-6)/3 + 14/2. Suppose 5*x - 36 = -d*l - 6, x = -2*l + 8. Solve -k = -3*b + l*b for b.
5
Suppose -14*o + 175 = -3*o + 14*o. Suppose -10 = 5*r, 5*r + 20 = 2*q - 0*r. Solve 32 = -q*l + o for l.
-5
Let r be -11 + (-10)/(-1) + 7. Solve -r = -111*a + 113*a for a.
-3
Let k(l) = -l - 28. Let p be k(6). Let u = p - -35. Solve 5*h = -19 - u for h.
-4
Let l(q) = -q**2 - 34*q + 38. Let v be l(-35). Solve 0 = v*w + 2*w - 5 for w.
1
Let p be 48 - ((-62)/372)/((-2)/(-12)). Solve 37 = 4*k + p for k.
-3
Let g(y) = -5*y + y - y + 13. Let d be g(4). Let j be (2/d)/(3/(-21)). Solve -j*z = -5*z - 9 for z.
-3
Suppose -2*q + 0*k + 3*k = 11, 4*q = 2*k - 2. Solve 7 = -q*j + 1 for j.
-3
Suppose -4*k = k - 80. Let y be (-203)/(-56) + 6/k. Suppose 0 = y*r - 12. Solve -r*c = -0*c for c.
0
Suppose 5*l - 5*i = -6 - 9, -36 = 4*l + 4*i. Let h(m) = 2*m + 4. Let b(r) = 5*r + 8. Let u(d) = -3*b(d) + 7*h(d). Let y be u(l). Solve 6*n + y = n for n.
-2
Let a be (6/4)/((-2)/(-4)). Suppose 0 = -a*c - 5 + 11. Let w be c/(-4)*0/1. Solve -1 + w = j for j.
-1
Suppose n = -2*n - 6, 50 = p + 5*n