ve -4 + 24 = n*p for p.
5
Suppose -5*h = 6*h - 22. Suppose 0 = -5*k - 0 + 10. Solve -h*s + 4*s + k = 0 for s.
-1
Suppose 5*s + 3*z - 7*z - 38 = 0, 5*s - 40 = 5*z. Let k(q) = 2*q**2 - 13*q + 7. Let i be k(s). Solve 0 = 3*p - i + 7 for p.
-2
Let i(h) = h**2 + h - 5. Let r be i(-4). Let s = 13 - r. Suppose -2*w = -4*c + 6, 3*w = 4*c - 2*w - 15. Solve c = -3*l + l - s for l.
-3
Let w = 10 - 3. Let p = 170 - 166. Suppose 4*l - 17 = -d, d - w = -2*l + p. Solve y + 0 = l for y.
3
Suppose 29*b - 28 = 1. Solve -8*r - 23 = b for r.
-3
Let a be -9 + 4 + 0 + 6 - -1. Solve -4 = 6*z - a*z for z.
-1
Suppose -5*g - 4*w = -161, -150 - 15 = -5*g - 5*w. Solve 4*r + 37 = g for r.
-2
Let p = 23 + -21. Suppose 3*k - p*k = 3. Solve -d - 4 + k = 0 for d.
-1
Let n = 2 - -2. Let o be (2 + 0)*(-1)/(-2). Let w be ((-18)/o)/(-3) - 1. Solve w*q + 1 = n*q for q.
-1
Suppose 38*a - 42*a = 8. Let u be (3 + (-5 - -16))*a/(-7). Solve -u*g = -3*g + 5 for g.
-5
Let v(k) = 3*k**2 - 36*k + 45. Let w be v(11). Solve -4*i = -w*i + 40 for i.
5
Let b be 10*(14/12 + 6/18). Solve -8*f + 5*f = b for f.
-5
Let g = 110 + -103. Let k(h) = -h + 8. Let n be (6/(-15))/((-2)/30). Let c be k(n). Solve g - 3 = -c*o for o.
-2
Let q be (-3 - (-28)/8)/(3/12). Solve 12*l = q*l - 4*l for l.
0
Suppose -3*c + 104 = 92. Solve c*p - 2 - 10 = 0 for p.
3
Suppose 2*q = 7*q - 35. Let t(j) = -2*j - 14. Let s be t(-8). Suppose 23 = s*h - q. Solve 5*c - h = 2*c for c.
5
Suppose 0 = -5*l - j + 40 - 5, j - 14 = -2*l. Solve l*v - 10 - 18 = 0 for v.
4
Suppose 2*t + 3*z - 66 = 0, -3*t - z + 65 = -27. Suppose -5*l + 2*l + t = 0. Let f = l + 2. Solve -3*a - f = -0*a for a.
-4
Let y(x) = 2*x**2 + 30*x + 104. Let p be y(-11). Solve 3*z + p = 10 for z.
-2
Let p = -305 - -311. Solve 0 = -6*c + 9*c - p for c.
2
Let b = 14 - 9. Suppose 4*q + 17 = b*k, -q - 3*q + 33 = 5*k. Solve 0 = -q*c - 4 for c.
-2
Let s(m) be the first derivative of 1/2*m**2 + 4*m + 5. Let b be s(-2). Solve 3 + 3 = b*d for d.
3
Suppose 0 = s + 3*y - 2, 0 = -s + 2*y + y + 2. Let f(z) = 3 - s - 15*z + 11*z - z**2. Let j be f(-3). Solve -2*t - j = 2*t for t.
-1
Let z be 4/24*9*2. Suppose 3 = -3*f + z. Solve 3*p + 2 + 10 = f for p.
-4
Let j be (-11)/1*12/(-66). Suppose 4*h - 9 = i, i - 3 = -j*h - 0*i. Solve 0*a + 6 = h*a for a.
3
Let b = 460 - 458. Solve -b*j + 4*j = -6*j for j.
0
Suppose -66 - 174 = -4*l. Suppose 4*f + l = 9*f. Suppose 0 = -3*x + f, -2*n - 5*x + 31 = 3. Solve 0*y + n*y = -4 for y.
-1
Suppose -6 = 4*c + 5*d - 1, -2*c - 5*d - 5 = 0. Solve 4*r + 10 - 2 = c for r.
-2
Suppose 7*t + 89 = 341. Solve 0 = -3*r + t - 21 for r.
5
Suppose -1135 = -20*g + 365. Solve 70*k - 20 = g*k for k.
-4
Let w = 10 + -8. Let z be (w/2)/(1/3). Let j be 0/(1 - (-3 + z)). Solve j = -u - 1 - 3 for u.
-4
Let q(o) = -o**3 + 2*o**2 + 8*o - 3. Let h be q(3). Suppose s - 4 = -c, 4*c - h = -2*s - s. Solve i - s*i = 0 for i.
0
Let c be 18/(8/(-12)*3). Let o(l) = 8*l**2 - l**3 + 2*l**3 + 0*l**3 - 11*l - 13. Let g be o(c). Solve 0 = g*i - 0 - 15 for i.
3
Suppose 39 = 2*g - 2*s + 15, 0 = -4*g + 2*s + 40. Suppose 0*p = p - g. Solve p = 4*y + 4 for y.
1
Let v(z) = 2*z**2 + 11*z - 5. Let r be v(-6). Let b be (-1)/(-2) + r + 235/10. Let h(a) = -a**3 - a**2 - a + 4. Let k be h(0). Solve -y - k*y = -b for y.
5
Let r = -144 - -149. Solve -3*t - r = -4*t for t.
5
Let d = 225 - 207. Solve 6*j - d = -0*j for j.
3
Let p = -96 - -104. Suppose -4*c + p*c - 80 = 0. Solve b - c = -3*b for b.
5
Let z(m) = m**2 + 6*m - 31. Let r be z(-11). Solve 19*s - r*s = -5 for s.
1
Suppose -4*v = s - 0*v + 4, -5*s = -2*v - 24. Suppose -3*x + q + 6 = -0, 4*x - 2*q - 10 = 0. Suppose -15 - x = 4*l, 3*z + l + 4 = 0. Solve s*w + z*w = 16 for w.
4
Let m(z) be the second derivative of z**3/3 + z**2/2 - 8*z. Let c be m(2). Solve -20 = -c*h - 0*h for h.
4
Let k(j) = j**2 + 14*j + 17. Let y be k(-13). Suppose 0 = -2*z - 0 + y. Solve -z = -h + 2*h for h.
-2
Let p be 2/(295/(-150) + 2). Let u = 61 - p. Solve 5*g = u + 4 for g.
1
Suppose x + 12 = 5*w - 32, -4*x = -5*w + 41. Solve -w*r = 10 + 17 for r.
-3
Let f = -1075 + 1109. Solve 4 - f = -15*k for k.
2
Let a = -1085 - -1109. Solve 0 = -19*b + 11*b - a for b.
-3
Suppose -3*y - 1 = f - 7*y, -5*y = -f + 1. Suppose -24 = -2*o + 4*n, -n + 5*n + 42 = 5*o. Let b be -1*o*6/f. Solve -b*q + 12 + 0 = 0 for q.
3
Let x be 9/(-6)*32/6. Let z be (-1 + (-14)/x)*4. Let n be z + 3 + -4 + 5. Solve 0 = 3*i - 4 + n for i.
-1
Let d be (1120/10)/7*(-1)/(-2). Solve d*k + 2 = 10*k for k.
1
Let p(o) = o**2 - 58*o + 442. Let s be p(49). Solve 5 = -6*r - s for r.
-1
Let k(x) = x**3 + 3*x**2 - 8*x - 1. Let b be k(-4). Solve -6*z = -15 - b for z.
5
Suppose -3*q = -2*b - 341, -3*q + 366 = 3*b - 0*b. Let k = 119 - q. Solve -k - 1 = -3*u for u.
1
Let h(d) = d**3 - 6 + 0*d**2 + 0*d**3 + 2 + 3*d**2 - 2*d. Let c be h(-3). Suppose -5*l + 3*l - 2*q - 4 = 0, 2*q = -5*l + c. Solve 3*p = l*p for p.
0
Suppose f + 5*x + 28 = 4*f, 0 = -5*f + x + 54. Solve -f = -4*l + 1 for l.
3
Suppose -7*c + 10*c - 6 = 0. Suppose -5*m + 15 = 0, -4*z - c*m = 2*m - 20. Solve -z*x - 10 = -0*x for x.
-5
Suppose -7 - 29 = -12*c. Solve -13*v = -16*v + c for v.
1
Let v(n) = n**3 - 2*n**2 - 2*n. Let x be v(3). Suppose -8 = 4*a, -g - 2*g = 3*a - x. Suppose 2*f = 2, 2*c + 0*f + g*f = 5. Solve -r + 3 = -c for r.
4
Let z be (-2 - -2)/(-1 - 0). Suppose z = 5*f + 4*d, 0 = -f - 0*f - 2*d. Solve -2*b = -f*b - 2 for b.
1
Suppose -4*v + a + 11 = 0, -6*v + v = 2*a - 17. Let c be (132/330)/(((-2)/(-20))/1). Suppose -3*b - 3 = 3, 2*b = -c*g + 32. Solve g + 3 = -v*s for s.
-4
Let j = -18 - -22. Solve 0 = j*d - 26 + 6 for d.
5
Suppose -3*g = 2*u - 86, -2*u = 4*g - 9*g + 154. Suppose 0 = g*w - 33*w + 18. Solve 0 = -3*o - w - 3 for o.
-3
Let b be 0 + 6*(-8)/(-12). Suppose 0 = -2*k + 5*u + 2, -b*u + u + 45 = 3*k. Suppose 7*r - k - 3 = 0. Solve -g = -r*g - 2 for g.
-2
Suppose f = 5*d - 1 - 5, 2*f = 2*d - 4. Let j be (3 - 0)*f - -5. Solve -6 + j = -4*c for c.
1
Let w = 3 - 0. Let l = w - 0. Let f(n) = n**2 - 3*n + 3. Let a be f(l). Solve -a*t = 2*t + 15 for t.
-3
Suppose 3*p + 2*t = 37, -p - t - 4*t + 34 = 0. Let i be (5 + -2)/(9/21). Suppose -11*o = -i*o - 12. Solve -p = 3*k - o for k.
-2
Suppose 19*n - 42 = 12*n. Solve -10*c + n*c - 20 = 0 for c.
-5
Suppose -184 = -30*q + 416. Solve 13*k - 9*k = -q for k.
-5
Suppose -2*r - 12 = -66. Suppose 3*a + 4*b - r = 0, -3 = -3*a + 4*b - 0. Suppose v - 3*v - 8 = 0, -a*h + 5 = 5*v. Solve j - h*j = -16 for j.
4
Let y(u) = -12*u**3 - u**2 + u + 1. Let i be y(-1). Solve 4*l + 9 = -i for l.
-5
Suppose 4*q - 48 = 2*s, 4*q - 5*s - 33 = 27. Suppose k - 4 - 4 = 2*x, -q = -x - 3*k. Let c(u) = -u**2 - 5*u - 4. Let i be c(x). Solve -i*m = m - 15 for m.
5
Let w(t) = 5*t**2 + 7*t - 2. Let z be w(-2). Solve -z = -2*v - 8 for v.
-2
Let a = 16 + -11. Suppose -2*o + 10 = l - 21, 80 = 5*o + a*l. Solve -c - o = 4*c for c.
-3
Let h = 377 - 345. Solve -h = -3*i - 35 for i.
-1
Let k(g) be the first derivative of -g**3/3 - 3*g**2 - 5*g - 11. Let w be k(-4). Solve -7 - 5 = -w*r for r.
4
Let w = 383 + -371. Solve b - 11 = -w for b.
-1
Suppose 2*z + 2 = 0, 4*z - 2*z = 3*d - 11. Solve -d*s + 38 = 29 for s.
3
Let a be ((-4)/3)/(40/(-90)). Solve 2*o - 3 = a*o for o.
-3
Let y = -14 + 8. Let d be (3/2)/(y/(-12)). Let r = -39 + 44. Solve -d*u + r = -7 for u.
4
Let z(n) = 5*n. Let q = -102 - -102. Let v be z(q). Solve v = -4*y + 2 + 2 for y.
1
Let j be (20/5 + 105)*-1. Let d = j - -112. Solve d*f = -f + 20 for f.
5
Let c be (-7 - (9 - 25)) + -4. Solve -10 - 5 = -c*w for w.
3
Let q(b) = -b**3 - 10*b**2 - 9*b + 2. Let v be q(-9). Suppose 1 = 3*t - 5. Suppose -2 - v = -m - 4*r, -t*r = -3*m + 68. Solve p - 5*p = m for p.
-5
Let p(z) be the first derivative of z**3/3 + 9*z**2/2 + 14*z + 33. Let b be p(-8). Solve 0 = -b*w + 8*w for w.
0
Suppose -27 + 7 = -2*u. Solve u*o + 5 = 9*o for o.
-5
Suppose 0 = -2*v + 8, -p + 4*v - 3 + 11 = 0. Suppose w - p = -9. Solve 5*u + 10 = -w for u.
-5
Let f be ((-12)/(-21))/((-6)/21). Let r be 0 - (f + -1 + 2). Solve r = v - 2 for v.
3
Let o(d) = 7*d + 68. Let r be o(-5). Solve 0 = -3*h - r + 36 for h.
1
Let f = 4 + -5. Let n be (-2 - (-18 - f)) + -1. Suppose -3*y - n + 5 = 5*x, -11 = -4*y + x. Solve y*z = -2*z - 12 for z.
-3
Let r(a) = -2*a - 50. Let j be r(-27). Let i be (-5)/(-1 + (0 - 0)). Solve g - i*g - j = 0 for 