 = p*h + 3 for h.
2
Suppose -16 = 4*u, -40*u + 35*u = -5*k + 160. Solve 9*v - k = 2*v for v.
4
Let l(i) = i**3 - 14*i**2 + 6. Let s be l(14). Solve -s*d = -0*d + 6 for d.
-1
Suppose -7*y = 8*y + 3*y. Solve y = 5*u + 13 - 8 for u.
-1
Suppose -4*y + 10 = y. Suppose -5*l = -4*l - y. Suppose -l*o = -o. Solve o = -6*m + m - 15 for m.
-3
Suppose -15 = -5*f + 3*r, 0 = 2*r + 5 + 5. Let i be -2*(-2)/(-4) + 3. Suppose 5*d - 3 = i*d. Solve d = p - f for p.
1
Let j be (12/15)/((-1)/100). Let m(a) = a**3 - 8*a**2 + a - 13. Let h be m(8). Let f be (-6)/h + 16/j. Solve 0*z + f = z for z.
1
Let p = -37 + 44. Solve p*a = 17 - 3 for a.
2
Let l(m) = m**2 - 10*m + 5. Let a be l(10). Suppose -4*k - 13 = 3*r - 33, -r - 25 = -a*k. Solve r = -7*j + 3*j - 16 for j.
-4
Suppose 0*j - 3*j = -2*m + 13, 5*j + 5*m - 20 = 0. Suppose 2*t - 4 - 4 = -4*c, -5*t + 20 = -3*c. Let n be (-4)/((-1 - c) + j). Solve -n*i = -3*i + 4 for i.
4
Suppose 0*c - 5*c = 225. Let v be (-12)/10*c/18. Suppose -6 = -4*d - v*h, 2*d + 0*h = 3*h + 12. Solve d*z - 6*z = -9 for z.
3
Suppose v + 0*v + 6 = 0. Let y = 4 - v. Solve -5*z + 0 - y = 0 for z.
-2
Suppose 98*u - 100*u + 22 = 0. Solve 4*z - u = -3 for z.
2
Let o = -158 + 161. Suppose -o = s, 53 = 2*a + 2*s - 3*s. Solve 0 = -4*d + 9*d - a for d.
5
Let c(t) = t**3 + 4*t**2 - 6*t - 1. Suppose -x + 5*x + 16 = 0. Let i(y) = -y - 9. Let b be i(x). Let r be c(b). Solve -d + r = -0*d for d.
4
Suppose 5*n + 3*f = 32, 0 = -3*n + 5*f - 0*f - 8. Solve 5*x + n = x for x.
-1
Let k be (3/4)/(4/16). Let s(m) = -24*m + 27. Let v be s(1). Solve -v*i - 9 = -k for i.
-2
Let j(a) = -a**3 + 5*a**2 + 24*a - 50. Let k be j(7). Solve 0 = -9*w + 7 + k for w.
3
Let a be 16 + (2/(-4))/((-3)/(-18)). Let q(j) = j**2 - 3*j - 3. Let b be q(5). Solve b = 5*f - a for f.
4
Let g = 11 + -10. Let h = g + 12. Let r = 19 - h. Solve -3*m = -0*m + r for m.
-2
Suppose -105 = -5*t - 5*c, -27 - 10 = -2*t - 3*c. Solve -30*b = -t*b for b.
0
Let l(o) = -o - 13. Let v be l(-9). Let n be 2 + (16/v - -3). Suppose -7 = -3*f - n. Solve f = -2*y + 4 for y.
1
Let w(n) be the first derivative of -n**2 - 11*n - 4. Let a be w(-7). Solve -r + 0*r = -a for r.
3
Let z(h) be the first derivative of h**3/3 - 5*h**2 - 22*h + 25. Let k be z(12). Solve -y = -1 - k for y.
3
Let c be (-176)/12*(-234)/104. Solve -2*l + c = 9*l for l.
3
Let u be 4/10 + 2/(-5). Suppose u = -5*q - 12 - 3. Let a be (-2)/(q/(1 + 5)). Solve s = 3*s + a for s.
-2
Let g = -240 + 341. Suppose -4*p - 5*j = -g, -p = -j + 2*j - 25. Let d = p + -22. Solve -d*m - 3*m = 25 for m.
-5
Let y be (39/(-2))/((-30)/40). Let z = y + -20. Suppose 3*s - 5*s + z = 0. Solve 0 = s*m - 5 - 1 for m.
2
Suppose 12*t = 23891 - 23831. Let k = -55 + 37. Let a = -13 - k. Solve a + 15 = -t*y for y.
-4
Let w be (5/(-15)*-4*-3)/(-1). Solve -w*y = -1 - 3 for y.
1
Suppose -5*u + 117 = -2*v, -5*u + 109 = -5*v + v. Suppose 3*o + u = -2*o, g = -2*o - 6. Let b be (18/(-12))/((-3)/g). Solve 7*s = b*s for s.
0
Suppose 11*t - 549 = -175. Suppose -18*z = t - 106. Solve 2*a - z = -0 for a.
2
Let i = 474 + -471. Solve 14*s + 85 = -i*s for s.
-5
Let q(s) = -s + 11. Let c be q(8). Suppose -c*l - 20 + 5 = 0. Let j be (-8)/l + (-6)/(-15). Solve 0 = -m + j + 3 for m.
5
Suppose 0 = o + 1, k + 33 = 4*k - 3*o. Solve -k = 4*t + 6 for t.
-4
Let z = -64 - -37. Let d = -17 - z. Solve 3*o - 5*o = d for o.
-5
Suppose 6*c - 975 = c + 3*n, 4*n + 376 = 2*c. Let v be -32*(4/(-22) - 63/c). Solve 4*r = v + 4 for r.
5
Let g be 2*((-1 + 4)/(-6) + -2). Let y be 12 + (g + 5)/2. Solve -3*k + 9 = y for k.
-1
Let p = 1756 - 1739. Solve 9*f - p*f + 8 = 0 for f.
1
Let w be 8/(-12) - 26/(-3). Suppose -w = 28*q - 32*q. Solve o = q*o for o.
0
Suppose -3*c - 2 = -4*c. Let z = c + 11. Let r = -1 + 4. Solve -z = -r*b + 2 for b.
5
Suppose -3*s + 22 = -5*c, 2*s + 0*c = 4*c + 16. Solve 7 = 3*n + s for n.
1
Suppose -h + 11 = 9. Solve 0 = 3*s - h*s - 4 for s.
4
Let a = -1 + 6. Suppose -5*m + 1 = -d - 23, m = a*d. Let b(t) = -t**3 + 6*t**2 - t - 12. Let u be b(m). Solve -2*w - u = -6*w for w.
2
Suppose -12 = 4*v - 7*v. Suppose -v*b - 2*u + 12 = 0, 3*b + 3*u + 0*u - 9 = 0. Suppose b*k - k = 0. Solve 2*p = -k*p for p.
0
Let m = 15 - 13. Let c = 0 + m. Suppose -c*v = -7*v + 20. Solve f = -v*f + 5 for f.
1
Suppose 2*s = s + 2. Let p be (18/15)/(s/25). Solve -j + p = 2*j for j.
5
Let k be 22/11 - (-1 + 7). Let a be 2 + (5 + k - 0). Solve 6 = b - a*b for b.
-3
Let m = 52 - 49. Suppose -2*f + 3*f + 3 = m*a, -f = a - 1. Solve 4*n - 12 + 0 = f for n.
3
Suppose -2*n = -14 + 4, 0 = -4*t - 2*n + 62. Suppose 0 = 5*r - t - 7. Let l = -6 - -8. Solve -l = -2*m + r*m for m.
-1
Let m = 150 + -147. Suppose 3 = m*f + o - 0, 0 = -f - o - 1. Solve -f*d + 1 + 1 = 0 for d.
1
Let o(k) = 2*k**2 - 90*k + 180. Let z be o(2). Solve 16 - z = -4*s for s.
-2
Suppose -11*m + 17*m - 12 = 0. Suppose 2*u - u = 2*q - m, 4*u - 3*q = 7. Solve -i = 3*i - u for i.
1
Let v be (2/6)/((-4)/(-24)). Suppose 3*q - 8*q + r - 9 = 0, v = -2*q + 2*r. Let z = q + 2. Solve -4*o = -z*o + 16 for o.
-4
Let r = -126 - -182. Suppose 3*c = -5*t + r, -4*c + 22 = 4*t - 66. Suppose -j = -6*j - 3*b + c, 3*j + 4*b = 25. Solve 2*m = 7 + j for m.
5
Let x(i) = i**3 + 4*i**2 - 2*i + 1. Let q be x(1). Let a(b) = -b + 7. Let c be a(q). Solve -c*v = -5*v + 4 for v.
2
Let n(q) = -q**3 + 16*q**2 - 16*q - 5. Let h be n(14). Let u = h - 137. Solve -2*o + u - 22 = 0 for o.
2
Suppose -12*m + 4 = -11*m. Suppose 0*u + m*v - 57 = 3*u, v - 3 = 0. Let c = u + 15. Solve c = 4*t - 5*t - 1 for t.
-1
Suppose 0 = -11*b + 15*b + 2*h - 110, -3*h + 15 = 0. Solve -7*i + 12*i = b for i.
5
Let u = 19 + -16. Let o(z) = 2*z - 2. Let d be o(u). Suppose -2*x = 2*x + 5*m + 5, 4 = -d*x - 4*m. Solve x = 2*n + n for n.
0
Suppose 4*n = 2*w + 20, 4*n - 5 = n - w. Solve -5 = 4*q - n*q for q.
-5
Suppose -5*u + u + 5 = m, 3*u + 9 = -5*m. Suppose -4*q - 5*i = -2, 2*q - u*i = -4*i + 2. Suppose q*d + 37 = 49. Solve -5*s + d + 16 = 0 for s.
4
Let z(x) = -2*x**2 - 13*x - 2. Let n be z(-6). Let k be 1/(-3) - n/(-12). Solve 2*p - 2 = -k for p.
1
Let s be 12/(-14) - (-181)/7. Solve -9*h = s - 61 for h.
4
Suppose 0 = m + 3, 3*m + 12 = h - 2. Suppose -n - 5 = -2*f, -h*f - 2*n - 20 = 2*n. Solve 0*k - 3*k = f for k.
0
Let r = -24 + 33. Solve -3*v = 21 - r for v.
-4
Suppose -3 = -2*j - 5. Let z(c) = -6*c - 2. Let h be z(j). Let g be h/10 - 2091/(-85). Solve -5 = 4*p - g for p.
5
Suppose 1324*f - 1331*f = -28. Solve 5*s = f*s - 4 for s.
-4
Suppose 215 = 52*d - 9*d. Solve -7 = d*y + 8 for y.
-3
Let s be (9/(-3) - -3) + 20. Suppose s = 29*c - 24*c. Solve 6 = -c*y + 7*y for y.
2
Suppose 5*b = 4*v - 22, 0*v - 4*b - 24 = -4*v. Suppose -v = 4*t - 24. Solve y + 1 = -t for y.
-5
Let w = 13 + -43. Let s be (-40)/(-6)*w/(-25). Let l(k) = k**3 - 15*k**2 + 33*k + 41. Let i be l(12). Solve m + s = i*m for m.
2
Suppose -3*q + 93 = -n + 4*n, -5*q + 155 = -5*n. Let m be 1/2 + q/2. Solve -6*k = -2*k + m for k.
-4
Suppose 5 = 4*i - 9*i. Let k be (21 + i)/((-10)/(-25)). Suppose 0 = -0*u + u + 5, -k = -5*w + 3*u. Solve 2 = -d + w for d.
5
Let r = -428 + 431. Solve -128 + 125 = r*l for l.
-1
Let z(m) = 22 + 3*m - 7*m + 3*m + 0*m. Let n be z(18). Solve n*v - 1 = -5 for v.
-1
Suppose 2*t - 12 + 0 = 0. Suppose 4*x - 22 = -t. Solve x*j = 3*j + 3 for j.
3
Let h(c) = -c**2 - 11*c - 13. Let r be h(-9). Let v be (-48)/(-14) + 63/(-147). Solve 7 = v*f - r for f.
4
Suppose 22 = -360*f + 362*f. Solve 0 = -f*n + 9*n for n.
0
Let f(o) = o**2 - 4*o - 27. Let g be f(-7). Solve 5*p = 65 - g for p.
3
Suppose -3*v = 2*q - 4*v - 186, q - 93 = -4*v. Solve 98*k + 5 = q*k for k.
-1
Suppose 0 = 2*a + 171 - 183. Solve -8 = -a*f + 22 for f.
5
Let v = -43 - -43. Suppose w + 2*s = v, 4*w - 3*s + 2*s - 27 = 0. Solve -b - b = w for b.
-3
Suppose 3*r - 6 = -0*r. Let m be 5 - (1 - (r + 0)). Suppose -4*t + m = -t. Solve -2*c = t*c + 12 for c.
-3
Suppose -5*p = q - 463, 5*q = 2*p - 87 - 109. Let k = p - 90. Solve 0 - 9 = -k*v for v.
3
Let c(l) = -12*l - 187. Let g be c(-17). Solve -15*o + g = 2 for o.
1
Suppose 12*f + 442 = -f. Let c = -28 - f. Solve v - 3*v + c = 0 for v.
3
Suppose 0 = -5*k + 2*k - 27. Let y be (-26)/2 - 0/k. Let f = 13 + y. Solve b - 4 = -f for b.
4
Suppose 17 = 4*b + 5. Let y = b + -2. Let a(w) = 28*w**2. Let z be a(y). Solve 5*c - 3 + z = 0 for c.
-5
Let m(p) = -5*p 