. Let p be (o/(-15))/((-2)/10). Suppose 5*i + p*s = 46, -5*s + 2*s + 12 = 0. Solve 3 = 3*a - i for a.
3
Suppose -u = -5*q - 18 - 7, -3*u = -3*q - 15. Solve -2*y + u + 6 = 0 for y.
3
Let s(i) = 3*i - 15. Let v be s(5). Let q = 11 + -7. Suppose v = q*a + 3*a - 14. Solve -a*k + 5*k - 3 = 0 for k.
1
Suppose -2*h - 2*h + 36 = 0. Suppose 0 = -10*m + h*m + 34. Suppose -2*r = p - 7 - 8, 5*r - p = m. Solve -23 = 4*c - r for c.
-4
Let b(a) = a**2 + 12*a + 2. Let z(w) = 2*w**2 + 25*w + 5. Let f(n) = 5*b(n) - 2*z(n). Let r be f(-10). Let s be (r + (1 - 2))*-5. Solve 0 = s*o + 6 + 4 for o.
-2
Let f(i) = -i**2 - 5*i - 1. Let h be f(-3). Let u(m) = -m**2 - 9*m + 10. Let c be u(-10). Suppose 2*b + 2 - 4 = c. Solve -2*t - h = b for t.
-3
Let n(f) = -4*f**3 + f**2 - 3. Let j be n(-2). Solve -69 = 9*w - j for w.
-4
Suppose -3*i = -5*q + 22, 2*q + 4*i = 2*i - 4. Solve 16 - 12 = -q*g for g.
-2
Suppose -67*k + 29*k + 2052 = 0. Solve 3*m + k = 45 for m.
-3
Let r = 26 - 24. Let s(z) = -5*z + 8. Let c be s(0). Solve -5*m + r = -c for m.
2
Suppose 13*q - 48 = -3*q. Solve q*d = -2*d + 5 for d.
1
Suppose -420 - 61 = -13*v. Solve 42 = -r + v for r.
-5
Suppose -72 + 27 = -9*t. Solve 22 = 6*q + t*q for q.
2
Let q(x) = -17*x - 66. Let p be q(-4). Solve 7*k = p*k - 20 for k.
-4
Let t be 308/60 - 6/45. Solve 84 = -t*z + 109 for z.
5
Let h = -1463 + 1463. Solve h = 8*k + 12*k - 20 for k.
1
Let a(l) = l**3 - 11*l**2 - 10*l - 23. Let w be a(12). Let v = w + 8. Solve 0*t - v = -3*t for t.
3
Let q(a) = a**2 + 18*a + 46. Let h be q(-15). Solve -h + 9 = 4*j for j.
2
Let t be 576/(-42) + 4/(-14). Let q(s) = -s - 10. Let x be q(t). Solve -2*c = -x*c - 6 for c.
-3
Let k(v) = v**2 + 3*v + 4. Let y be k(-4). Suppose -127*b + 123*b + 24 = 0. Solve b*n = 2*n - y for n.
-2
Suppose -5*z + 78 = 4*d - 127, 4*z + d = 175. Solve 4*m = -25 + z for m.
5
Let u be -1*(-9)/(-6)*-2. Let a be u + (-3 - -5)/(-2). Solve a*t = 6*t + 8 for t.
-2
Suppose 5*w - 187 = 18. Let k = -41 + w. Solve 3*n + n - 16 = k for n.
4
Let q(w) = 36*w + 110. Let r be q(-3). Solve -30*p + r = -31*p for p.
-2
Let x = 2 + -2. Let m = 3 + -1. Suppose 0 = -20*t + 21*t - m. Solve x = t*w + w for w.
0
Let t = 56 - 56. Let r(m) be the second derivative of m**5/20 + 5*m**4/12 - m**3 + m**2 + 2*m. Let v be r(-6). Solve v*x + 4 - 10 = t for x.
3
Suppose 11 = 5*n + 2*o - 15, -23 = -5*n - o. Solve 34*d = 32*d + n for d.
2
Let j be (-26)/(-8) + 5/(-20). Suppose -j*t = 5*n - 8, -2*n + 0*t - 8 = 4*t. Solve 0 - 12 = n*d for d.
-3
Suppose 0 = 7*c - 9*c + 22. Solve 0 = -8*m + c*m + 3 for m.
-1
Let a(o) = o**3 + 6*o**2 + 2*o - 1. Suppose 0 = -4*z + n - 15, 5*n + 6 + 19 = 0. Let r be a(z). Solve 3*t = -1 - r for t.
-5
Let t be (-1 - -1)*6/(-12). Suppose t = 3*v + v - 16. Suppose 2*u + 0*a + 4*a = 30, -2*u - a = -18. Solve u*l = v*l + 6 for l.
2
Suppose 6*h + 21 = 51. Solve -8 = w - h for w.
-3
Let c(j) = 0 - 11 + 3 - 4*j. Let t be c(-5). Solve 3*o + t = -o for o.
-3
Suppose 0*y + 3*y + 15 = 0. Let k be 7/2 + 1 + y/10. Solve -k = -15*t + 13*t for t.
2
Let v = 99 - 48. Suppose t = -3, s - v = -2*s - 3*t. Solve s = -r + 5*r for r.
5
Let v be (-20)/(-70) - 4/14. Let a(g) = g + 0 + 4 + v. Let d be a(-4). Solve d - 6 = -2*b for b.
3
Suppose 3*j - 32 = 19. Suppose -5*u + z - 5*z - 2 = 0, -4*u + 3*z + j = 0. Suppose 44 = u*i + 4*k, k + 89 = 5*i + 4*k. Solve 0*w = -4*w + i for w.
4
Suppose -12*j = 14*j - 234. Solve -3*p = -j*p - 12 for p.
-2
Let u be 3/(-7) + 1825/175. Solve 8*f = 6*f + u for f.
5
Suppose -5*l + f + 200 = 5*f, -2*l + 80 = -2*f. Suppose -4*p = 4*p - l. Solve 0 = w - 0 + p for w.
-5
Let b be (7 - (-54)/(-8)) + 1/(-4). Solve b = 4*g + 99 - 111 for g.
3
Let y(d) = -3*d**2 - 137*d - 81. Let g be y(-45). Solve -31 = g*l - 4 for l.
-3
Let k be ((-3)/(-7) + 93/(-21))/(-2). Solve k*u - 6 + 2 = 0 for u.
2
Let c be 720/(-18)*(-1)/4. Solve -c*w - 17 = -37 for w.
2
Suppose 6*p + 105 - 141 = 0. Suppose -p - 2 = -q + k, 5 = -k. Solve 12 + 3 = -q*c for c.
-5
Suppose 2*g - g = 25. Suppose -7*p = -2*p - g. Suppose 0 = -p*x + 79 - 29. Solve -2*v + x = -7*v for v.
-2
Suppose 6*k - 27 + 3 = 0. Suppose k*s = 56 + 24. Solve 6*b + s = b for b.
-4
Let a(w) = 9*w - 4. Let b be a(1). Solve -9 = b*c - 2*c for c.
-3
Let d = 9 - 6. Suppose d*a + 5 + 4 = 0. Let h = a + 4. Solve 0 = u - 0*u - h for u.
1
Let f = 350 + -349. Solve 0 = p - 4 + f for p.
3
Let f = -10 - -18. Suppose 0 = 4*b + 3*z - 2 - 5, -2*b - z + 5 = 0. Suppose 3*r + 11 = b*g - 9, 4*r - g = -5. Solve 0*s + 2*s - f = r for s.
4
Let s = 497 + -489. Solve -10*v = -s*v - 8 for v.
4
Suppose 0 = i - 5*b - 11, 7*i - 4*b - 13 = 2*i. Let n be (-2)/(3*8/(-36)). Let c = 6 - n. Solve x = i + c for x.
4
Let g(y) = -y + 12. Let h(b) = 3*b - 35. Let l(m) = -8*g(m) - 3*h(m). Let q be l(6). Suppose 5*f - 32 = c, -20*c + 17*c - 26 = -5*f. Solve q = 2*w + f for w.
-2
Let r(l) = l**3 - 6*l**2 + 2*l + 15. Let i be r(5). Solve i = 3*h + 2*h for h.
0
Let b be -2 + (-6 - (-6 - -2)) + 0. Let m be (15/(-5) - (-16)/b)/(-1). Solve -5*h = -m*h - 8 for h.
-4
Let u be -2 + (5/(-4))/((-3)/12). Let y be (u - 2)*1 + 1. Solve -v = -2 - y for v.
4
Suppose 18 = -y + 4*y. Let b = 11128 - 11121. Solve 5*v - b*v + y = 0 for v.
3
Suppose 0 = -n + 6 + 6. Let r(f) = -f**2 + 10*f + 9. Let h be r(n). Let l = -15 - h. Solve l*s - 2 = -s for s.
2
Let b be ((-1280)/(-96))/(1 + 2/(-6)). Solve 2*x = 7*x - b for x.
4
Suppose -35 = -3*t + 1. Suppose 0 = -2*p + 6, 4*z = -5*p + t + 11. Suppose -5*x = 2*f + z, 0 = x + 4*f - 0*f + 4. Solve 1 = -x*i + i for i.
1
Let v be (-5)/10*(-1)/(-2)*-20. Solve -4*p + 9*p = v for p.
1
Let f(w) = 3*w**2 + 2*w - 40. Let r be f(-5). Solve r = -4*z + 5 for z.
-5
Suppose 0*d - 10 = 4*f - 2*d, 6 = -3*f + 2*d. Let w be 25/9 + f/(-18). Solve 0 = -v + w for v.
3
Suppose -87*w + 14*w = -219. Solve -15*p + 60 = -w*p for p.
5
Let n be 2*(0 + 3) - 4. Suppose 2*x + 30 = 4*x - 5*q, n*q = -4*x + 60. Suppose -8 = 11*k - x*k. Solve -3*o - k = 1 for o.
-1
Let l(z) = -z**2 + 37*z - 68. Let q be l(35). Solve q*u + 24 = 14*u for u.
2
Let i(q) = -q + 1. Let f be i(7). Let y be 8 - 0 - (-5 - f). Suppose 4*t - 3 = t. Solve -2*k = -t + y for k.
-3
Let z(d) = -8*d + 25. Let q be z(4). Let u(h) = 4*h + 31. Let b be u(q). Solve -5*n + 2 = -b for n.
1
Let v be (-18)/63 - 78/21. Let s be (3 - 3)/(v - -3). Solve s = -2*c + 4*c + 2 for c.
-1
Suppose -5*i = 3 + 7. Let y(j) = j**2. Let t be y(i). Solve 2*s - t = -2 for s.
1
Let l(w) = w. Let r(f) = 2*f - 9. Let v(d) = l(d) - r(d). Let j be v(7). Let o be ((-7)/21)/(j/(-30)). Solve 3*s - 17 + o = 0 for s.
4
Let w(t) = 4*t - 72. Let q be w(19). Let k be (3 + 1)/((-2)/(-6)). Let x(o) = o - 1. Let u be x(1). Solve n - q*n - k = u for n.
-4
Let p(y) = -5*y + 6. Let l be p(-3). Suppose -s + l - 24 = 0. Let m be (s/(-6))/(5/10). Solve -k + 1 + m = 0 for k.
2
Let j = 85 - 79. Solve 10 = j*l - l for l.
2
Suppose -2 = -5*k - 2*o, 9*o = -4*k + 4*o - 12. Let x be (6/(-15) + (-12)/(-5))*k. Solve 0 = -0*a - x*a + 12 for a.
3
Let j be (-219)/(-9) + (-3)/9. Let o = j - 20. Solve 1 = n - o for n.
5
Let t = 64 - 62. Suppose 2*v = 2*s - 32, 5*v - 4*v + 28 = t*s. Solve -5*u + 2 = s for u.
-2
Let i be (-2)/(4/(-6))*(19 + -13). Solve i*m = -m - 76 for m.
-4
Suppose -97*g + 86*g + 176 = 0. Solve 2 = 18*m - g*m for m.
1
Let r(a) = -11*a**3 + 7*a**3 + 5*a**3 + 3 + 5*a + 11*a**2 - 16*a. Let x be r(-12). Let y = x - -10. Solve s + 2 + y = 0 for s.
-3
Let v be (-94 + -2)*(-1)/(-2). Let o be 4/v*-4*24. Let i = o + -6. Solve 2*r = -0 - i for r.
-1
Let z = 42 + -38. Suppose -z*j + 15 = j. Solve 2 = -j*x + 5 for x.
1
Suppose -3*w = k - 19, -6*w - 2*k = -w - 33. Solve -w*n - 9 = 6 for n.
-3
Let u = -1020 + 1130. Solve 109*h = u*h + 3 for h.
-3
Let l(c) = c**2 + 17*c + 2. Let q be l(-17). Suppose -q = -3*u + 2*d, 2*d - 10 = -3*d. Solve -u = -3*m + 7 for m.
3
Let t(r) = r**3 + 14*r**2 + 23*r - 2. Let a be t(-12). Let h(i) = i**3 - 7*i**2 - i - 3. Let j be h(7). Let x = j + 10. Solve x*y = 2*y - a for y.
5
Let n(r) = -2*r - 2. Let a be n(-3). Solve -24 = 4*k + a*k for k.
-3
Let q = 320 + -316. Solve -q*c - 6 - 2 = 0 for c.
-2
Suppose 13*h + 248 = -272. Let z = -30 - h. Solve -6*a = -a - z for a.
2
Let j(y) = 2*y**3 - 2*y**2 - 2. Let s be j(2). Suppose -8*i + 2 + 62 = 0. Let p = i + s. Solve 2*n + p - 4 = 0 for n.
-5
Let w = 16 + -7. Let 