) + h/66. Solve 0 = -p*a - 3*a for a.
0
Let j be 0/(-1*(-3)/3). Let s = 58 + -56. Suppose 0 = -j*n + s*n. Solve 6*m - m = n for m.
0
Suppose -j + 4*o - 9 = -4*j, j - o = 3. Suppose -283 = j*w + 2*h + 3*h, 4*w = -h - 366. Let i be 38/7 + (-52)/w. Solve -4 = 2*k + i for k.
-5
Suppose -178*b = -176*b. Suppose 5*l = i - 34, l = -2*i + 6*i - 3. Let y = 10 + l. Solve -v + y - 1 = b for v.
2
Suppose 0 = 5*r - 3*r + 64. Let g = r - -34. Solve -g*q + 6*q = 0 for q.
0
Suppose 2*f + 3*t = 20, 2*f + 4*t + 11 - 29 = 0. Solve -8*m + 45 = f for m.
4
Suppose -3*z = -2*p + 22, 3*z - 10 = 4*z - 2*p. Let o be ((-133)/(-57))/(2/z). Let k be 2/12 - o/(-42). Solve -2 = -i - k*i for i.
2
Suppose 0 = -5*d + i + 308, 2*d - 316 = -3*d - 3*i. Solve 10*o = 22 - d for o.
-4
Suppose -8*n = 74*n - 1476. Solve 0 = n*c - 116 + 26 for c.
5
Suppose -5*z + 4*j - 4 = -16, z = 5*j + 15. Let k(m) = 16*m**2 + m**3 + 14*m**2 + 18*m**2 - 47*m**2 + 4. Let w be k(z). Solve -o = -w*o for o.
0
Let g(n) = n**3 - 3*n + 6. Let q be g(2). Solve -q*v + 9*v = 0 for v.
0
Let l(q) = -q**3 - q**2 + 3*q + 20. Let n be l(0). Suppose -a + 6*a = n. Solve 22 = -a*j + 2 for j.
-5
Let f = 367 - 357. Solve -f*o + 6*o = -4 for o.
1
Suppose 4 = -j - a, 0 = -5*j - 2*a + 4*a - 13. Let r be (-6)/(6/4 + j). Suppose -c = r*c - 50. Solve 3*z = 5*z - c for z.
5
Let d(b) = 5*b - 9. Let r(x) = -24*x + 44. Let i be (0 - 4) + (-1)/(-1). Let q(w) = i*r(w) - 14*d(w). Let c be q(9). Solve -2*o + c = o for o.
4
Let r be -1 + (-4 - -5)*(-3)/(-1). Suppose -6 - r = -2*k. Solve k*s - 17 = -1 for s.
4
Suppose -5*j + 3*r = -26, -3*j - 5*r + 8 = -3*r. Suppose 5*b = j*v + 24, 4*v - 15 = -4*b + 3*v. Solve 0*h = b*h - 4 for h.
1
Let k(c) = -4*c - 6. Let l be k(-6). Let u = 25 - l. Solve 3*p - 1 + u = 0 for p.
-2
Suppose 0 = -6*m + 10*m. Suppose 3*c + m*x - 42 = -2*x, 3*c + 4*x = 36. Suppose n = -3*n + c. Solve 5*t = 3*t + n for t.
2
Let r(j) = -j**3 + 60*j**2 + 127*j - 177. Let m be r(62). Solve 37*c + m = 28*c for c.
-1
Let o(a) = 2*a**2 - 12*a. Let s be o(6). Suppose 0*h - h - 5*r = -10, 5*r - 10 = s. Solve 0 = -h*x + x for x.
0
Suppose -41*z = -90 - 74. Solve -z*t + 33 = 49 for t.
-4
Let m(z) = 11*z**2 + 5 + 4 - 4 - 10*z - z**3 - 2. Let a be 4*-1 - (-17 - -3). Let c be m(a). Solve -5*j + 2 = -c for j.
1
Suppose -105*z = -110*z + 25. Solve 4*o - z*o + 5 = 0 for o.
5
Suppose 0 = -5*w + 17 + 8. Let z be (-11)/(-33) + (-64)/(-24). Solve w*h = 2*h - z for h.
-1
Let r be (-1 - -1 - -38) + -3. Suppose 4*t + r + 13 = 0. Let c be 6 - -4*t/16. Solve 2*o = -c*o for o.
0
Let h(b) = 50*b**2 - 1. Let i be h(-1). Let u = i - 48. Solve 0*w - w = u for w.
-1
Let o(u) = 3*u**2 - 5*u - 14. Let b(d) = 10*d**2 - 14*d - 43. Let h(m) = 2*b(m) - 7*o(m). Let l be h(7). Solve -5*i + i = -l for i.
3
Suppose -341 = -47*x + 16*x. Solve x*i + 12 = 14*i for i.
4
Let q(u) = -u**2 + 5*u - 1. Let r be q(4). Let f(h) = -3*h**2 - 3 + 2*h**3 - r + 6. Let j be f(2). Solve 2*g = 6 + j for g.
5
Suppose 5*w + 17 = 3*c, 2 = -5*w + 3*w. Let i(y) = -y**2 - 10*y - 16. Suppose 0*g = -g - 3*d + 5, 4*g + 2*d = -20. Let u be i(g). Solve 0 = p + c*p - u for p.
1
Let j(k) = 314*k - 2510. Let z be j(8). Let c = -1 + 1. Solve z*g + g - 12 = c for g.
4
Let x(z) = -2*z**3 - 20*z**2 + 10. Let o be x(-10). Let q be ((-15)/(-10))/(3/o). Solve 1 - q = -4*b for b.
1
Let q = -310 + 318. Solve -u + 27 = q*u for u.
3
Let y(i) be the second derivative of i**4/12 - 8*i**3/3 + 2*i**2 - 29*i. Let f be y(16). Solve -5*b + f*b = 1 for b.
-1
Let f be -4*1/2 + 4. Suppose -4 = -4*n + 3*m, n = f*n - m. Suppose -5 = c + 5*o, 0 = -c - 2*o + n - 3. Solve -c*b + 9 + 1 = 0 for b.
2
Let f(m) = m + 4. Let a be f(5). Let w = a + -5. Let d = -2807 - -2823. Solve d = -4*k + w for k.
-3
Let q be (17/4)/((-10)/(-80)). Suppose 11 + q = 3*j. Let d be -2*j/20*-2. Solve -12 - d = -3*l for l.
5
Suppose 2*v - v + 63 = -4*x, 5*x + 5*v = -60. Let c(i) = -13*i**2 - 2*i - 1. Let n be c(-1). Let h = n - x. Solve 0 = o + 4*o + h for o.
-1
Suppose 0 = -5*u - 14*x + 12*x + 46, -2*u + 22 = -x. Solve 57 = u*g + 17 for g.
4
Let r be (-90 - -93)*(-2 + 1 + 18). Solve r*p - 50*p - 2 = 0 for p.
2
Suppose -4*l - 24 = -4*i + 12, 5*l = -3*i - 13. Solve -3*t - 7 = -i for t.
-1
Suppose 498 = 36*n - 222. Solve 11*v - 6*v = n for v.
4
Suppose 0 = -3*k + 2*q + 2, -k + 2 - 1 = -q. Solve -a + k - 4 = 0 for a.
-4
Let s be 1/((-4)/(-12)) - 4. Let m be s - 1*-6*1. Solve m = -0*j - j for j.
-5
Let t(w) = 2*w**2 - w + 3. Let k be t(3). Suppose 0 = b - 5*y, 14 = 2*b - 2*y - k. Solve -8*s = -4*s + b for s.
-5
Let j(z) = 3*z + 48. Let t be j(-16). Solve t = -0*n + 3*n for n.
0
Suppose -3*u + 8 = 29. Let l = u + 27. Suppose 2*a + 0*d = 4*d - 4, -5*a + 4*d = -l. Solve -15 = 3*i - a*i for i.
3
Suppose -5*a = -3*s + 5 - 4, a = 3*s - 5. Solve -s*f + f - 2 = 0 for f.
-2
Suppose 3*b - 12 = 0, -r - b + 5*b - 13 = 0. Suppose -x + r*y - 57 = -4*x, 16 = x - 2*y. Let d = -13 + x. Solve -d*o = -17 - 3 for o.
4
Let k be 0/(280/112*8/(-10)). Let n be 2/(-6) - (-103)/3. Suppose 3*h + y - n = -5, 5*h - 5*y - 55 = 0. Solve -v - 4*v + h = k for v.
2
Suppose -43*w + 50 = -41*w. Solve 6 = -w*d - 44 for d.
-2
Suppose 3*y - 2*y - 8 = -3*v, 5*v = 2*y + 28. Let a be (-24)/9 + 2 + 2/3. Suppose -p = v*h - 20, -h + 2*h - 5*p - 5 = a. Solve h*s + 1 = 4*s for s.
-1
Let v be (1717/(-102) + 17)/(2/48). Solve -v*g + 11*g - 21 = 0 for g.
3
Let j = 309 - 305. Solve -12 = -0*a + j*a for a.
-3
Let i(p) be the first derivative of p**2/2 + 19*p - 2. Let k be i(-7). Solve k = n - 4*n for n.
-4
Let q(n) = n**2 + 2*n - 13. Let j be q(-6). Suppose i - j + 10 = 0. Let d = -7 - -11. Solve 0 = d*p + 17 - i for p.
-4
Suppose 40 = 5*v - 3*y, -4*y = -2*v + 17 + 13. Solve -9*f + 42 = v*f for f.
3
Let x = 6 - 4. Suppose 5*o - 4*o + 11 = 5*f, x*f - o - 5 = 0. Solve -2 = -r + f*r for r.
-2
Let t = -658 + 664. Solve -t*m + 9*m = 3 for m.
1
Let c(u) = -u + 6. Let g be c(-5). Solve -g*z + 5*z = 0 for z.
0
Let q be (2/(-3))/((-6)/45). Let g be 46/(-115) + 16/(-10). Let h(t) = t**2 + 2*t + 3. Let x be h(g). Solve -4*i = q + x for i.
-2
Let w be (-24)/20*150/(-9). Solve 0*j = -5*j + w for j.
4
Let s(m) = -m**2 - 8*m - 2. Let o be 1/(-1)*(-4 + 11). Let u be s(o). Solve 15 = 5*f - u for f.
4
Let c be (2 + -3)/((-1)/(-10) - 0). Let l be (-1)/(-2) - (-84)/(-8). Let q be l/25 - 4/c. Solve z - 2 = -q for z.
2
Suppose 0 = -222*r + 226*r - 76. Solve -k + r = 16 for k.
3
Let c = -730 - -734. Solve 3*j - c = 4*j for j.
-4
Let j = -105 + 99. Let r(b) = -8*b**2 - 2*b - 1. Let s be r(-1). Let v be (j/s)/((-1)/(-14)). Solve 4*x = v + 4 for x.
4
Let c(p) = -p**2 - 7*p - 6. Let l be c(-5). Solve 3*o - l + 10 = 0 for o.
-2
Let h(f) be the second derivative of -f**6/180 + f**4/3 - 3*f. Let m(i) be the third derivative of h(i). Let d be m(-3). Solve y - d = 4*y for y.
-4
Suppose 0*r + 5*r = 12*r. Solve r = 2*g + 8 for g.
-4
Suppose 264 = 17*o - 5*o. Solve 0 = 26*w - o*w - 4 for w.
1
Suppose -4*r + 2*r + 10 = 0, -2*w - 5*r + 37 = 0. Suppose 3*p - 2*p = 0. Suppose w*k + k - 28 = p. Solve -s + 0 = -k for s.
4
Let c be (-100)/(-15)*(1 + 8). Let s be ((-1)/1)/(-1 + 55/c). Solve -8*m - s = -4*m for m.
-3
Let i = 355 + -346. Solve -2*j - i + 3 = 0 for j.
-3
Let r be (-2)/13 + 630/39. Let s = -3 + 8. Suppose -2*c + s*o - o = 6, 4*o = -2*c + 26. Solve -i + c*i + r = 0 for i.
-4
Suppose 8 - 14 = -2*c. Suppose 11*k - 72 = c*k. Solve -6*g = -k*g for g.
0
Suppose -3*a - 12 = -0*a, a = -q + 2. Let x be q/(-4)*(-8)/4. Solve x*j - 20 = -2*j for j.
4
Suppose -105 = -7*a - 8*a. Solve 0 - a = 7*i for i.
-1
Let l(g) = g + 5. Let f be l(-5). Let t = 3 - f. Suppose 5*x = -15, x + t = -j + 2*j. Solve 0 = 3*a - j*a + 9 for a.
-3
Let m = 8 - 1. Suppose 0 = -12*y + m*y + 25. Solve -y*a - 18 - 7 = 0 for a.
-5
Let z = 292 + -282. Solve 0 = -13*g + z*g + 6 for g.
2
Suppose -4*v - 63 - 281 = 0. Let n = 91 + v. Solve -4*f + n*f + 4 = 0 for f.
-4
Let t(q) = q**2 + q - 5. Let x be t(3). Suppose 15 + 6 = x*j. Solve 0 = j*v + 3 + 9 for v.
-4
Let u(f) = 5*f - 22. Let j(o) = 6*o - 23. Let s(m) = 2*j(m) - 3*u(m). Let a be s(6). Solve 3*k - 1 = a*k for k.
1
Suppose n + 0 = 4, 5*l = 4*n - 531. Let o = l + 108. Solve 0 = 6*t - o*t + 5 for t.
-5
Let o = 8 - 5. Let q = 174 + -172. Solve o = -q*a + 13 for a.
5
Let q be ((-5)/(-20))/(3/456). Suppose q = 4*m - 42. So