 30. Solve 0 = -3*v + 8*v + a for v.
-2
Suppose u + 0 = 4. Solve -u*c - 5 + 25 = 0 for c.
5
Let b(w) = 8*w + w**2 - 20 - 3*w**2 + 10 + w**2. Let a be b(5). Solve a*p - 7 - 3 = 0 for p.
2
Let t(n) = n**3 + 2*n**2 - 2*n - 2. Let a be t(2). Suppose -14 - 10 = 6*f. Let q be (-2)/(-11) - f/(-22). Solve -5*r + a = -q for r.
2
Suppose -3*x + 5*x - 30 = 0. Let k be x/(-1)*5/(-15). Suppose 20 = 5*n - k*g, 0 = -4*n - 0*g + 3*g + 14. Solve -i = -n*i for i.
0
Suppose 5 = -5*l + 25. Let v be 108/30 - l/(-10). Solve v*t = -0*t - 20 for t.
-5
Let i be (10/4)/(2/4). Suppose 45*s + 60 = 57*s. Solve -s*b = -0*b + i for b.
-1
Let y = 9 - 6. Suppose -b + 6 = -y*b. Let x be (1 + -1)/((-6)/b). Solve x = 3*h + h + 4 for h.
-1
Let p = 2 + 4. Let w be (34/p + -1)*(-11 + 17). Solve -4*l - 8 = -w for l.
5
Let x = -359 + 362. Solve 4*o + x*o - 28 = 0 for o.
4
Let f be (-2)/8*(-27 + 19). Solve 3 = -f*v + 9 for v.
3
Suppose -3*m = 2 - 11. Suppose 0 = 2*l, -2*u - 2*l = -m*l - 26. Let j = u + -9. Solve -j = -2*h - 0 for h.
2
Let g(i) = -i - 2. Let c be ((-6)/4)/((-9)/(-24)). Let o be g(c). Suppose -16 = -5*r + 3*a, -o*r - 4*a - 6 = -2. Solve 0*s + r*s + 6 = 0 for s.
-3
Let w(o) = o**3 - 12*o**2 - 14*o + 17. Let a be w(13). Solve -u + 25 = a*u for u.
5
Suppose 76*o = 911 + 457. Solve -22 = u - o for u.
-4
Suppose -6 = -2*y - 0. Let x be 10/1 - 40/10. Solve -y*p + 3 = -x*p for p.
-1
Suppose 5*h = -3*h - 9*h. Suppose 0 = -3*n + 10 - 1. Solve 2*x - n*x = h for x.
0
Suppose p - 2*d = 23, -4*d - 26 = -4*p + 58. Suppose -2*b + p - 4 = 5*c, 3*c + 3*b - 9 = 0. Solve -2*k + c = -7 for k.
5
Let s = 11 - 51. Let c = s + 44. Solve -c*j - 6 = -14 for j.
2
Let m = -19 - -21. Suppose 12 = -m*z + 5*z. Solve -z*q + 5 = -3*q for q.
5
Let r = -906 - -918. Solve r*g - 3 = 45 for g.
4
Suppose -2*v + 5*v + 5*u = 14, -3*u = -3*v + 6. Let q(z) = z**2 - 7*z + 15. Let i be q(5). Solve i*f - 22 = v for f.
5
Let b = 7478 - 7472. Suppose -20 = 7*m - 2*m, -3*c + 2*m + 17 = 0. Suppose -6*v - 15 = -3*s - v, -c = 5*s + v. Solve s*x = -2*x + b for x.
3
Let j = 22 + -29. Let q be (-6)/2 - j - -2. Suppose -4*g - 2*z + 8 + q = 0, 5*z - 20 = -5*g. Solve g = -v + 4 for v.
1
Suppose -42 = 37*t - 44*t. Solve 157 - 151 = -t*n for n.
-1
Let i(t) = t**2 - 2*t - 134. Let p be i(-11). Solve 0 = 7*q + 12 + p for q.
-3
Let w(p) = 10*p**3 - 21*p**2 + 3*p - 2. Let l be w(2). Solve -6*i + l - 24 = 0 for i.
-4
Let l be (((-24)/(-10))/(-2))/((-14)/(-70)). Let x = -14 - -3. Let i = l - x. Solve i*v - 3 = 4*v for v.
3
Let n(g) = 14*g**2 + 16*g - 43. Let c(j) = -5*j**2 - 5*j + 14. Let p(k) = -11*c(k) - 4*n(k). Let z be p(-10). Solve -x + z = x for x.
4
Suppose 4*x + 2 = -v, 14*x + 3 = 11*x. Solve 0 = 6*m + v*m for m.
0
Suppose 6112 = -3*u + 6118. Solve -132*f - u = -130*f for f.
-1
Let p(h) = h**2 - 29*h - 201. Let b be p(35). Solve -8*g + 25 - b = 0 for g.
2
Suppose 3*t - 3*a = -t + 15, -5*a = 5*t - 10. Let v be -3 - (t + -2*10). Let k = -14 + v. Solve k = 5*y + 15 for y.
-3
Let t be (8/(-24))/(1/3). Let z(g) = 30*g**2 - 5*g - 5. Let m be z(t). Solve m = -5*a + 10 for a.
-4
Suppose 78 = 22*q - 9*q. Solve -q*f + 11*f = 10 for f.
2
Suppose 0 = 2*i + 5*t + 12, 0*t = -5*i + 2*t + 28. Solve i*q - 20 = -0*q for q.
5
Suppose -2*c = -2 - 0, 4*t - 4 = 4*c. Solve t = -12*b + 11*b for b.
-2
Suppose -t - 4 = 5*a - 20, t + 4*a = 14. Solve 30 = -t*g + 16*g for g.
3
Let y(i) = -3*i + 10 + i + 2 - 10. Suppose -9 = -2*n + 3*n. Let z be y(n). Solve -z = -0*u - 5*u for u.
4
Let t(b) = -b**3 - 3*b**2 + 15. Let s be t(0). Solve 2*k - 7 + s = 0 for k.
-4
Suppose -o + 5*o - 32 = 0. Let t = -6 + o. Suppose t*n + 2*a = 7 + 1, -5*a + 20 = 0. Solve n = -f - 0*f for f.
0
Let n be 2*2/(-12)*-39. Suppose -5*s = -4*w + 53, -5*w - 2*s - s + 94 = 0. Suppose -q + n = q + 3*a, 3*a - w = -4*q. Solve q*m + 4 = -4 for m.
-4
Let b be (-4)/(-6) - (-1190)/42. Let v = b + -19. Solve 3*g + 2*g + v = 0 for g.
-2
Let r be (-12 - -133)*(2 - 1). Suppose i - 18 - r = 5*t, 0 = -5*t + 3*i - 147. Let d = t + 31. Solve -d*c = -c for c.
0
Let d(x) = x**2 - 5*x + 6. Let b be d(5). Let w(c) = c**2 - 8*c - 14. Suppose 3*s - 40 = -s. Let m be w(s). Solve -3*o = -m - b for o.
4
Let b = -205 + 239. Solve b*j - 16 = 30*j for j.
4
Suppose 0 = w - 2*d - 34, -d = 2*w - w - 43. Suppose 11*p - 9*p = w. Solve 0 = -4*f - f - p for f.
-4
Suppose -9*h = -8*h + 4. Let c be 30/20*h/(-3). Solve -5*i = -c*i + 6 for i.
-2
Let v(w) = w**2 + w - 1. Let u be v(-2). Let n = u + 3. Solve -13 - 3 = n*j for j.
-4
Let d(i) = -i**3 + 8*i**2 - 5*i + 4. Let p(r) = -2*r**3 + 7*r**2 - 5*r + 3. Let h(z) = 4*d(z) - 3*p(z). Let u be h(-6). Solve -u = 3*t + 2 for t.
-1
Let n(v) be the second derivative of -v**5/10 + 7*v**4/6 - v**3/6 + 9*v**2/2 - 13*v. Let s be n(7). Solve s*a + a = 12 for a.
4
Let v be (6/8 - (-2)/8)*-16. Let n be 24/(-18)*60/v. Solve n*r + 5 = 6*r for r.
5
Let k = -11 + 15. Let g = k + -2. Solve g = -3*h - 1 for h.
-1
Let q = -2302 - -2314. Solve -q*j = -0*j - 12 for j.
1
Let x = 846 - 832. Solve -3*f = -x*f + 55 for f.
5
Let n(m) = m - 21. Let x = -80 - -104. Let c be n(x). Solve 5 = -c*k - 1 for k.
-2
Let m be ((-6)/(-5))/(2/5). Let i be (-14)/4*(-5 - -3)*1. Solve m*q - 16 = -i for q.
3
Let g(s) = 7*s**3 - s. Let m be g(1). Solve -m*q + 3*q - 6 = 0 for q.
-2
Let l be -5 + 10/5 + 30 - 4. Solve 0 = -b + l - 25 for b.
-2
Suppose 2*j + 4*b - 90 = 0, -2*j = 2*j - 2*b - 160. Solve 5*g - 16 = -j for g.
-5
Suppose 3*z = 6, 2*m + 11*z = 8*z + 24. Solve -3 = m*j - 6*j for j.
-1
Let l be (-3 + 3)/(4/1). Solve l*x + 9 = 3*x for x.
3
Suppose 0 = -13*q + 134 - 4. Let h(y) = y**3 - 12*y**2 + 20*y + 1. Let m be h(q). Solve -s = 1 + m for s.
-2
Let q = -29 - -33. Solve 0 = 6*v - 7*v + q for v.
4
Let r be (-2)/((-47)/45 - -3 - 2). Solve -13*o - r = -22*o for o.
5
Suppose b + 8*a - 3*a - 19 = 0, -2*b = 4*a - 20. Let c be b*(-3 - (-45)/12). Solve i = -c*i - 20 for i.
-5
Let k(t) = 3*t + 90. Let p be k(-29). Solve -5*g + 2*g = -p for g.
1
Let z = -152 + 156. Solve -9 - 3 = z*c for c.
-3
Suppose -10*i = -63 + 33. Solve -3*w + i - 12 = 0 for w.
-3
Let s be 84/35*(-1 - -6). Let x be (s/(-10))/(26/(-65)). Solve x*c + 0 = -3 for c.
-1
Let f = -234 - -236. Solve -f*o = -o - 3 for o.
3
Let r(n) = -2*n**2 + 2*n + 223. Let l be r(11). Solve l*y = -45 + 48 for y.
1
Suppose -23 = -4*k + 25. Let z be (-8)/(-7)*42/k. Solve z*f = 3 - 7 for f.
-1
Suppose -3*n + 5*n - 4*y = -4, -n = -4*y. Let k be n/28 - (-113)/7. Suppose 39 = 5*s - k. Solve s = 2*q + 3 for q.
4
Let h be 44/(-55) + (-4)/(-5). Solve -w + 5 = -h for w.
5
Suppose -3*t = -5*t + 16. Suppose -2*w + 3 = -7. Solve -f + t = -w*f for f.
-2
Let v(o) = -3*o**2 - 7*o. Let k be v(-6). Let s = 71 + k. Solve -2*d + s = -3*d for d.
-5
Suppose -18*u + 13*u = -15. Suppose 5 = -5*y + 5*f, 0 = u*y - 6*y + 4*f - 8. Solve -11 - 5 = y*i for i.
-4
Let f = 6 - -1. Let g = -944 - -946. Solve f*z + 20 = g*z for z.
-4
Let x = -88 + 140. Suppose -w - 42 = -x. Solve n = -n - w for n.
-5
Suppose -5*n = 4*b + 10, 0*n - 2 = -5*b + n. Solve 22 = 11*d - b for d.
2
Let r(p) = p + 14. Let t be r(-13). Let s be (10/10)/(t/2). Solve s*f = -2*f - 12 for f.
-3
Let o(v) = -8*v + 1. Let a be o(-1). Let s be (-39)/(-9) - (-6)/a. Suppose s*h - 15 = -5*f + 2*h, -3*h + 15 = -5*f. Solve f = 3*j + 2*j for j.
0
Let l(d) = 2*d + 81. Let r be l(-38). Suppose -2*v + 5*v - 33 = 0. Let q(b) = 2*b - 14. Let s be q(v). Solve -3*z + s*z = -r for z.
-1
Let q(m) = -m**3 + 6*m**2 - 4*m + 6. Let n be q(6). Let f(p) = p**3 + 18*p**2 + 2. Let v be f(n). Solve -v*g + 0 - 10 = 0 for g.
-5
Suppose 8*h = 12*h - 88. Suppose -2*a + 18 = 4*b + 2, 5*b + 3*a - h = 0. Solve 5*y - b*y = -12 for y.
-4
Suppose 3*k + 11 - 2 = 0. Let m be (-3)/2*(-5 - k). Suppose -m*h + 5*q + 11 = 0, 0 = -2*h - q + 3*q + 6. Solve 3*o - h = -14 for o.
-4
Let s(m) = 163 - 328 + m + 171. Let h be 64/10 - (-2)/(-5). Let r be s(h). Solve 6*v + r = 2*v for v.
-3
Let b(z) = -z**3 + 4*z**2 + 3*z - 10. Let y be b(4). Solve -5*t + y - 22 = 0 for t.
-4
Let q be 2/(-3) + (-5)/(30/(-172)). Let n be 427/q + (-1)/4. Solve -2*h + 5*h - n = 0 for h.
5
Let d(p) = -2*p - p**2 + 2 - 2. Let y be d(0). Suppose 0*m + 4*m - 24 = y. Solve -m = i + i for i.
-3
Let p be (-2)/1 + 3 - 1. Suppose p = -5*d + 47 + 38. Solve -5 = -3*y - d for y.
-4
Let g(h) = h**3 + 5*h**2 - 7*h - 4. Let w 