s. Let o be 3/(3/1) - -3. Solve -o*h = t - 8 for h.
-3
Suppose 43 = -10*j + 213. Let p(y) = -y**2 + 7*y - 7. Let c be p(7). Let s = c + 7. Solve -5*v + j + 3 = s for v.
4
Let t = -6 - -3. Let r = -18 - t. Let i be (-4)/10*1*r. Solve -i*s = -s + 25 for s.
-5
Let i be (-340)/(-14) + 2/(-7) + 2. Suppose -x = 25 - i. Solve 3 + x = -a for a.
-4
Let q be 14*1*(-14)/(-49). Solve 0*y + q*y - 12 = 0 for y.
3
Let z be (3 - 4) + (-3 - -7). Let f = -4 + z. Let t be 5 - (0 - 0)*f. Solve -t*d = 3 + 7 for d.
-2
Let j be (-54)/405 - (-4)/30. Solve j*f = -5*f - 15 for f.
-3
Let t(k) = 17*k**3 - 3*k**2 + 4*k - 2. Let f be t(2). Let x = f + -130. Solve -4*i + 3*i - 4 = x for i.
-4
Let b(o) = o**3 + 85*o**2 + 88*o + 346. Let c be b(-84). Solve 2*d + 8 - c = 0 for d.
1
Let v = -291 - -291. Solve i + v + 5 = 0 for i.
-5
Let u(w) = w**3 + 5*w**2 - 6*w + 5. Let l be u(-6). Suppose 2*q + 28 - 8 = 2*i, -4*q = 2*i + 4. Let d be (11/(-2))/((-3)/i). Solve l*a = d + 9 for a.
4
Let y(t) = t**2 - 11*t - 7. Let h be y(12). Suppose 1 = -h*v + 101. Solve -5 = 3*l - v for l.
5
Let s be 474/(-4)*8*(-3)/(-36). Let m = 99 + s. Solve 9*l - m = 5*l for l.
5
Let d(g) be the second derivative of g**4/6 - g**3/2 - 3*g**2/2 - 11*g. Let k be d(-1). Solve 0*x = x + k for x.
-2
Let o(r) = r**3 + 4*r**2 - 15*r - 15. Let m be o(-6). Let a be (m - (-11)/(-3))*(-6)/4. Solve -2*l - 7 - a = 0 for l.
-4
Let f = 157 + -157. Solve 0 = -j + 1 - f for j.
1
Let b = 31 - 43. Let r = 7 + b. Let w = -2 - r. Solve 8 = -m - w*m for m.
-2
Suppose 3*o - 5*z = 26, 5*o = 2*z + 35 - 17. Solve 0 = -5*c + 23 + o for c.
5
Suppose -4*t + 19 = -2*h - 5, -5 = -3*t - 5*h. Solve 0*x + 0*x = t*x for x.
0
Let k = 88 - 83. Solve -k*b = 15 - 0 for b.
-3
Suppose 0 = 3*i - 5*i. Suppose 5*h - 6 = -i*w - 3*w, -w - 3 = 0. Suppose -2*g + 50 = 5*o, -3*o = -o + 5*g - 41. Solve 0 = y - h*y + o for y.
4
Let p(a) = -a**2 + 3*a + 4. Let l be p(4). Suppose l = -4*h + 5*h - 3. Suppose h*s = 4*d + 32, s = -s + 2*d + 18. Solve -r + 6 = -s*r for r.
-2
Let h be 1/2 + (-15)/2. Suppose 3*j - 4*m + 23 = 0, -5*m - 17 = 4*j - 7. Let l = j - h. Solve -3*v = l*v for v.
0
Let q be (-12)/27 + (-2494)/(-387). Solve -9*v - q = -12*v for v.
2
Suppose -66*t = -59*t - 28. Solve t*z - 18 + 6 = 0 for z.
3
Suppose 2*l = l - 4*n - 7, 2 = -2*l - 4*n. Suppose l*a = 20 + 20. Suppose -5*s + 12 = -a. Solve -s = -3*t + 7*t for t.
-1
Let h be (9 - 8)*(1 - -2). Solve h*k = -k - 20 for k.
-5
Suppose 4*t = 4*c - 36, -c + 3*c + 59 = -5*t. Let l = -8 - t. Solve -12 = 5*a + l for a.
-3
Let k = 184 + -54. Let o = k - 129. Solve 0 = 4*g - 11 - o for g.
3
Let n be ((-4)/22)/((-21)/231). Solve -n*s = 2*s - 20 for s.
5
Suppose 2*g = -3*n + 3*g + 3, n + 2*g + 6 = 0. Suppose n = k - 5*y + 21, 4*y = 4*k + 1 + 3. Solve -7*m = -11*m - k for m.
-1
Let w(f) = -9*f**3 + 9*f**2 - 2*f - 9. Let t(g) = 5*g**3 - 5*g**2 + g + 5. Let k(n) = -11*t(n) - 6*w(n). Let j be k(1). Solve 5 = 5*s - j for s.
1
Let l(o) = o**2 + 18*o + 17. Let j be l(-17). Suppose j*n = n - 10*n. Solve -4*u - 12 = -n*u for u.
-3
Let w be (3/12)/(-4*7/(-336)). Solve 0 = -l - 1 + w for l.
2
Let k be 2/(-8) - (-54)/24. Suppose -4*c + k*h - 4 = 0, -3*h = -0*h - 6. Let w be -1*(0 - (4 - 4)). Solve q + w*q - 3 = c for q.
3
Suppose -5*n + 33 = -2. Let l = 49 + 3. Let b = -47 + l. Solve n = -b*c - 8 for c.
-3
Suppose -94 - 8 = -17*x. Solve -9 = -3*v - x for v.
1
Let u(a) = a + 3*a + 5*a - 6*a - 17. Let l be u(7). Solve -5 = l*t + 3 for t.
-2
Let r be (-5 - -9)/(-8) + 39/6. Solve 9 = r*g - 3 for g.
2
Let f = 585 - 560. Solve -12*s = 73 - f for s.
-4
Let z(a) = -a**3 + 10*a**2 + 11*a + 2. Let t be z(11). Solve t*k - 7*k = 5 for k.
-1
Let l = -2240 - -2242. Solve z - 4*z + l*z = 0 for z.
0
Suppose -3*y = 3*b + 2*b - 10, -y + 3*b - 6 = 0. Solve y = -18*l + 7*l - 33 for l.
-3
Let o = -37 + 35. Let h = 7 + o. Solve -h*w - 20 = -w for w.
-5
Let j(x) = 3*x + 17. Let a be j(-4). Let g be a/((-15)/3) - -3. Solve -4*t - 6 = -g for t.
-1
Let y(t) = -t**3 + 19*t**2 - 25*t + 519. Let s be y(19). Solve -s = 4*j + 7*j for j.
-4
Suppose 20 = -2*q + 4*q. Suppose 0 = -c + 4*p + 5, 2*c + 3*c = 5*p + 10. Let y be (-6 - -9) + (1 - c)/2. Solve 2*d = -y*d + q for d.
2
Let o(a) = a**2 + 18*a - 86. Let v be o(-22). Solve -3*n - 3 = -v*n for n.
-3
Let u(t) = 5*t + 60. Let l be u(-9). Solve -4*x = x + l for x.
-3
Let d(a) = a**2 - 9*a + 19. Suppose -8*j + 0*j + 56 = 0. Let n be d(j). Solve n*q - 2*q = 0 for q.
0
Suppose -3*i = i. Suppose i*r + 1 = r. Suppose s - 2*s + r = 0. Solve s - 5 = j for j.
-4
Suppose 981*g - 1002*g + 42 = 0. Solve -g*w = -6*w + 16 for w.
4
Let w(d) = d**3 - 3*d**2 - 2*d + 2. Let v be w(4). Let j = v - 4. Let t be -1*4/j*-3. Solve h + h = -t for h.
-1
Suppose -5*j + 3*o = -29, -4*o + 0 + 1 = -j. Solve -9 = -2*x - j for x.
1
Suppose 4*q - 6*q + 2*a + 68 = 0, 3 = -3*a. Let k = q + -28. Suppose 0 = -m + 2*c + 2, -6 - 4 = -k*m + c. Solve 4 = -x + m for x.
-2
Suppose 3*o - 3*w = -6, 0*w - 6 = -o - w. Let x(b) = 7*b - 19*b + 15*b - 4. Let f be x(3). Solve -f*u - 7 = -o for u.
-1
Suppose 12*t - 2 = 11*t. Solve -6*f + 4*f = -t for f.
1
Let w(r) = r**3 + 6*r**2 + 5*r + 6. Let j be w(-5). Suppose -8*p + 10 = -7*p. Let z = p - j. Solve 8 = -4*i + z for i.
-1
Let l = -2 + 2. Suppose 429 + 81 = 51*y. Solve y = -2*c - l*c for c.
-5
Suppose k + 0*k - 5 = -2*g, 2*g - 3*k - 1 = 0. Let o(a) = -11*a - 324. Let d be o(-30). Solve -g*w - w = -d for w.
2
Let o = 4 + 0. Suppose -35*v = -21*v + 39*v - 212. Solve -8*x = -v*x - o for x.
1
Suppose 3*t = -3*p + t + 72, t = -p + 24. Suppose 7*w - w = p. Solve 5*f - 1 = w for f.
1
Let u = -5 - -8. Let z be 1/((-65)/10) - 6/(-39). Solve u*i + i = z for i.
0
Let h(q) = q + 16. Let y be h(-11). Suppose y*m = -39 + 109. Suppose 5*w + m = -2*c, 25 = 4*c - 2*w + 5. Solve -c = -z + 1 for z.
4
Suppose 20 = 2*i + 5*o, 4*i + 4*o + 0*o = 16. Suppose -3*v + 29 - 2 = i. Solve -4*f + v = -11 for f.
5
Suppose 5*y + q - 68 = 0, -2*y - 2*q = -39 + 15. Solve -2*c - 16 = -y for c.
-1
Let q(x) = -10*x - 260. Let d be q(-27). Solve -34 + d = 6*l for l.
-4
Let q be 16/((-176)/33) + 0 + 45. Solve 6*m - q + 18 = 0 for m.
4
Suppose -2*b = 4*j + j - 19, 5*j + 3*b - 21 = 0. Suppose -j*u - 2*u + 5*y = -65, -4*u - 4*y = -28. Solve -u = -3*o + 8*o for o.
-2
Let a = -24 - -31. Suppose m = -a + 12. Let z be 0/((-9 - -4)/m). Solve z = -2*l + 3*l for l.
0
Let d = 131 + -95. Suppose c - 10 = -5*y + 26, 3*c - 3*y = d. Solve -2*o + 6*o + c = 0 for o.
-4
Suppose 5*l = 62 + 3. Suppose 5*x - 5*y = -65, 3*x + 6*y = 3*y - 15. Let s = x + l. Solve -10 - 6 = s*q for q.
-4
Let z(q) = -q**3 - 4*q**2 - 5*q - 4. Let c be z(-4). Suppose -3*m - 4 = 2*n, -m = -3*n - 0*n - 17. Suppose c = 4*l - m*l. Solve -p - p = l for p.
-4
Let x = -1862 + 1875. Solve d = -10 + x for d.
3
Let p(d) = 80*d**2 - 2*d - 1. Let m be p(-1). Let w = m - 80. Solve -16 = -3*i - w for i.
5
Let o(i) = i**2 + 7*i + 5. Let m be o(-4). Let n = 1 - m. Suppose 0 = 4*f - 4 - n. Solve 2 + 7 = -f*a for a.
-3
Let q(v) = -v**3 - 5*v**2 + v - 14. Let u be q(-6). Suppose 4*g + 0*g - u = -2*s, 3*g - 9 = 0. Solve -2*i = 10 - s for i.
-4
Let y be (2/2)/(((-95)/490)/(-19)). Solve -18 = -20*f - y for f.
-4
Let o be -16 + 0/(16/4). Let w = 21 + o. Solve 8 - 3 = -w*q for q.
-1
Let o(p) = -p**3 - p**2 + 2. Let l be 0/(4/((-12)/(-9))). Let b be o(l). Solve -d = d - b for d.
1
Let m = 43 + -33. Suppose 30*j - 25*j = m. Solve j*p + 2 = 8 for p.
3
Let p = 8 - 6. Suppose -6 = -3*a - 3*d + d, -a + p*d + 2 = 0. Solve -a*g = -g - 2 for g.
2
Let n = 305 + -301. Solve -8*v = n*v + 24 for v.
-2
Suppose 6*i - 8 = 2*i - 2*m, 2*i + 2*m = 2. Suppose -i*t = -9 - 9. Solve t*x - x = 15 for x.
3
Let k(h) be the third derivative of h**5/60 - 5*h**4/24 - 2*h**3/3 + 10*h**2. Let i be k(6). Solve 0 = i*z + 2*z for z.
0
Let y(z) be the first derivative of -z**2 - 10*z + 2. Let q be y(-8). Let b(i) = -i**2 - 9*i + 40. Let w be b(-12). Solve -q = h - w*h for h.
2
Let t be (-2)/((7 - 10) + -2 + 4). Suppose -t*s = z - 0*s + 6, 2*z - 4*s - 28 = 0. Solve -5*p + z = -7*p for p.
-2
Suppose 0 = g - 254 + 256. Let n be 0/(-1*(4 + -2)). Let c = n - g. Solve -c*j - 5 - 3 = 0 for j.
-4
Let c(r) = -r**3 + 5*r**2 + 7*r - 5. Let m be c(6). Let l(g) = 5*g**3 - 1. Let h be l(m). Let p = -1257 - -1257. Solve 0*q - h*q = p for q.
0
Let d = 2290 