4. Let v be q(-4). Let r = -91 + v. Solve -5*s - r = -0*s for s.
-3
Let z = 4 - 0. Let x be 3/5 - (-36)/15. Let l be 3 - -1 - (x + -2). Solve -19 = z*d - l for d.
-4
Let c = -31 + 37. Suppose -2*x - x = 0. Suppose x = c*t - 4*t. Solve v - 7 + 4 = t for v.
3
Suppose -50 + 22 = -14*j. Suppose -j*f + m - 2 = -5, 11 = -f + 3*m. Solve -f*v - 2 = 18 for v.
-5
Let l(q) = -7*q - 6. Let o(i) = 6*i + 5. Let v be (6*-1)/(3/3). Let y(b) = v*o(b) - 5*l(b). Let c be y(0). Solve 8 + c = 4*n for n.
2
Let r(c) = -2*c - 3. Let a(j) = -j**2 - 6*j - 4. Let t be a(-3). Suppose 0 = t*g + 4*z + 3, -4*g + 3*z - 18 = -g. Let i be r(g). Solve 0 = m - i*m for m.
0
Let t be 43 - (-4 + 2)/((-4)/16). Solve 19 - t = -4*r for r.
4
Suppose w - 13 = -7. Suppose 7*g = -w*g + 6*g. Solve g = -2*p + p + 4 for p.
4
Let d(j) = j**2 - 22*j + 2. Let w be d(22). Suppose -22 = -4*q - w*o, -2*o + 6 = -4. Solve q = -6*k + 3*k for k.
-1
Let a be (2/(-4))/(1/(-10)). Let j(q) = 5*q**2 - 31*q + 11. Let u be j(6). Solve a*g = -5 - u for g.
-2
Let y(z) = z**3 - 4*z**2 + 3*z. Let c be y(4). Suppose 0 = 5*o - c - 13. Solve -h - o = -2 for h.
-3
Suppose 4*p - 6 - 94 = 0. Let z be 0 + p + (-4)/2. Suppose -4*w - 5*h = -z, h - 9 = -2*w - 2*h. Solve 2*m - 2 = -w for m.
-5
Let u be ((-4)/(-6))/((32/(-132))/(-4)). Solve -7*n - 4 = -u for n.
1
Let k(f) = 34*f - 40. Let a be k(5). Solve -a*m = -129*m + 1 for m.
-1
Let w = -14 + 46. Let q = 35 - w. Solve 2*k = q*k - 2 for k.
2
Let c be -2*(-1)/(-2)*-2. Let t be ((-33)/(-44))/((-7)/4 + c). Solve -g = -t*g + 4 for g.
2
Let u = 6 - 1. Let q be (-33)/(-9) - u*6/45. Solve g - 2 = q for g.
5
Suppose -f + 4*l - 46 = 0, 4*f + 4*l - 3*l + 116 = 0. Let a be f/(-4) + 5/(-2). Solve 0 = a*x - 9*x + 12 for x.
3
Let u be 12/30 - 4/10. Suppose 5*g - g - 8 = u. Solve 5 = 3*l + g for l.
1
Let d be 19/((-323)/(-136)) - 3/(-1). Solve -d = -10*b + 9 for b.
2
Let d be (-119)/(-4) - (9/4)/(-9). Let o be 465/d + 6/(-4). Solve -6 - o = -5*m for m.
4
Let b be 49/(-2 - (-3)/3). Let i be 14/2*(-28)/b. Solve -i*o = -1 - 3 for o.
1
Suppose 0 = -q - 0*w + 3*w + 42, -q - 4*w + 7 = 0. Solve -q + 31 = -4*k for k.
-1
Let v = 24 - 50. Let t = v - -32. Solve 3*q + 6 = t*q for q.
2
Let n = 46 + -41. Suppose -40 = -n*x + 35. Solve -x = 5*y + 10 for y.
-5
Suppose 8*j + 39 = 111. Suppose -j = -4*x - 3*n, -5*x = 2*n - 0*n - 6. Solve x*y = y for y.
0
Let q(g) = g**2 + 9*g + 6. Let l be q(-10). Suppose -3*h = -l - 5. Let n = h + -5. Solve 5 + 5 = n*d for d.
5
Let y be -1*(-12)/(-4) - (-52 - -3). Solve -6*v + 40 = y for v.
-1
Let q be (1 - 0)*(15 - 5). Suppose -13*d + 8*d = -q. Solve 0 = -2*h - d for h.
-1
Suppose -u - 16 = 4*u + 3*q, -q - 8 = 3*u. Let j be -1 + (0 - u - -3). Suppose -2*o + j + 4 = 0. Solve 0 = -o*x - 1 - 7 for x.
-2
Suppose i = 3*d + 194, -3*i - 4*d - d + 638 = 0. Let r be (-2)/8 - i/8. Let k = r - -28. Solve k*t = -0*t for t.
0
Let j = 50 - 35. Let p(r) = r**2 + 4. Let u be p(0). Solve -u*s = s + j for s.
-3
Let l = -39 + 65. Suppose 0 = -4*g - k + 2*k + 12, -5*g + l = -4*k. Solve -5*n = -22 + g for n.
4
Let x = 50 + -55. Let z = -42 + 30. Let n = x - z. Solve -2*u - 1 + n = 0 for u.
3
Let m = -24 + 69. Suppose -w + 3*w - 26 = -4*k, 0 = 5*w + 5*k - m. Solve w*p = -5 - 10 for p.
-3
Let n be 141/27 + (-2)/9. Let t(w) = 2*w**2 - 12*w - 12. Let u be t(8). Solve -n*o + 0*o = u for o.
-4
Let q be -5*(-2)/(-3 - -13). Suppose 0 = 2*b - 5 + q. Let n(c) = 3*c - 4. Let z be n(b). Solve -z*i = 2*i + 20 for i.
-5
Let n(o) = 11*o + 63. Let x be n(-5). Solve -5*a - 3 = -x for a.
1
Let c(d) = 2*d - 9. Let b be c(6). Let r = 26 + -21. Suppose 5*a = 2*q + 3*q - r, 0 = 5*q - 15. Solve -a*v - b = 1 for v.
-2
Let n = -1 + 1. Suppose 1 = -5*t + 21. Suppose 292*a - 298*a = -6. Solve f - t - a = n for f.
5
Suppose l + 12 = -84. Let v = 109 + l. Solve 2 = 5*n - v for n.
3
Suppose -8 + 12 = n. Let l(i) = -i**3 + 14*i**2 - 10*i - 19. Let w be l(13). Solve -w = d + n*d for d.
-4
Let b be (0 - 6/(-12))/((-6)/(-348)). Solve -26*m = -b*m for m.
0
Let t = -17 - -19. Suppose 0 = -t*y + 4*y + 30. Let r = y + 20. Solve r = -3*q + 17 for q.
4
Let y = -30 + 30. Let w be 0/(1 + (y - -3)). Solve t = -w*t for t.
0
Suppose q = 3*b + 4, -2*b + 9*q = 4*q + 20. Suppose b + 2 = p. Let j be (-1 - 24)*(-66)/165. Solve -p*i - j = 3*i for i.
-2
Let b = -88 + 155. Let r = b - 59. Solve s - r = -s for s.
4
Let f(c) = -c**3 + 2*c**2 + c - 1. Let v be f(2). Let n = v + 2. Let i(r) = r**3 - 3*r**2 + 4. Let x be i(n). Solve -u = -x*u for u.
0
Let f = 1952 - 1942. Solve -f*b + 15 = -25 for b.
4
Let m = -3 - -5. Suppose -2*p + 3*h + 18 = 5*h, -4*p + h = -21. Solve -m*u = -4*u - p for u.
-3
Let q = -21 + 23. Let l = -2 + 4. Suppose -2*m + l = -q. Solve -m*o + o = 0 for o.
0
Let n = 32 - 28. Suppose 6 = 2*o - 5*w, 4*w = -3*o + 24 + 8. Solve n = k + o for k.
-4
Let d = 68 + -58. Solve 0 = d*n + 11 + 9 for n.
-2
Let f(z) = z**3 - 4*z**2 - 3*z - 8. Let j be f(5). Let p be 0 + 5 - (1 + j). Solve -p*t - 5 - 5 = 0 for t.
-5
Let l = -31 + 36. Let n(f) = f**2 - 2*f - 10. Let i be n(l). Solve o = i*o for o.
0
Suppose 1002*g - 993*g = 630. Solve 23*r + 24 = g for r.
2
Let b(n) = n**3 - 14*n**2 - 32*n + 5. Let m be b(16). Solve m*u = 5 - 25 for u.
-4
Let m(y) be the first derivative of -y**3/3 - 5*y**2 + 2*y - 72. Suppose 0 = -2*k - 8 - 12. Let c be m(k). Solve c*j + 1 = 5 for j.
2
Let l(c) = -5*c**2 + 20*c + 22. Let b(n) = 6*n**2 - 21*n - 21. Let q(v) = -4*b(v) - 5*l(v). Let k be q(18). Let a = 2 + -2. Solve -5*r + k*r = a for r.
0
Let b(q) = 10*q**2 - q + 1. Let z be b(1). Let c be z/3 - (-4)/(-12). Solve -2*w = c*w - 20 for w.
4
Let o = -119 + 130. Solve -3 + o = -2*f for f.
-4
Suppose -30 + 145 = -5*a. Let f = 187 + -207. Let h = f - a. Solve -h*x - 11 = 4 for x.
-5
Let m(p) = -p - 9. Let u be m(-12). Solve -16 = 7*o - u*o for o.
-4
Let p be ((-36)/96)/(1/(-40)). Solve 13*k = 8*k + p for k.
3
Let i(w) = 17*w**2 - 52*w + 158. Let a be i(3). Solve 4*l - 139 + a = 0 for l.
-4
Let z be (1/(-2) + -1)/(12/(-80)). Solve v - z = -v for v.
5
Let k be 1/(-2)*0/(-2). Suppose -2*j - 49 = -65. Solve 2*n + k*n - j = 0 for n.
4
Suppose -3*r + 0*r - 138 = 0. Let o = r + 48. Solve 3 = o*n + n for n.
1
Suppose 2 = -6*z + 14. Suppose -3*c - 7*q - 9 = -z*q, -c = -4*q - 14. Solve -3*u - 10 = c*u for u.
-2
Let i(d) = -2*d + 24. Let l be i(9). Solve 0 = -0*b + l*b - 30 for b.
5
Let a(t) = 5*t**2 + t + 1. Let k be a(-1). Let r be (95/76)/((-1)/((-8)/2)). Suppose -2*v + 4*v + 40 = r*o, -o - 5*v = -8. Solve k*f = 17 + o for f.
5
Let b = 43 - 43. Let p be (b - -11) + -1 + (-5 - -3). Solve 2*q - p = -2 for q.
3
Let w be 8*(5 + 11/(33/(-9))). Solve w*k - 3 = 19*k for k.
-1
Suppose 2*m + 2*p = 6*p - 2, 2*m = -4*p + 38. Let q = -9 + 13. Solve m = -q*l + 1 for l.
-2
Let v = -13 + -7. Suppose -1 - 77 = -3*z + 2*b, 0 = 4*b. Let y = z + v. Solve -4 = -t - y for t.
-2
Let b = -13 + 7. Let i = b + 8. Let t be 9/(2/(8/6)). Solve i*l + t = -4 for l.
-5
Suppose -15 = -3*z + w, 3*w = z + 2*w - 7. Let a = 4 - z. Solve a = -4*q - 0*q - 16 for q.
-4
Suppose 4*u - 8 = -2*o, u = -0*u - 3*o - 3. Suppose u*h + 1 = -d + 5*d, d + 4*h = 5. Let b be (-11)/(d/(-1)) - 2. Solve 3*z + b = 21 for z.
4
Let l be 36/(-90) - (-77)/5. Solve -l = 5*w - 0*w for w.
-3
Let v(f) = -2*f**2 - 12*f + 6. Let x be v(-7). Let r = 39 - 28. Let i = x + r. Solve -i*k = -7*k - 16 for k.
-4
Let z be ((-24)/(-14))/(28/882). Let v = z - 44. Solve 0*m = -5*m + v for m.
2
Let a(k) = 22*k - 2. Let j be a(2). Let v = j + -40. Solve -v*y + 4*y = 0 for y.
0
Suppose -4*p + 2*w = -212, -p + 5*w + 31 = -13. Solve 0 = 5*a - 49 + p for a.
-1
Suppose j + 10 = 6*j. Suppose -j*x - 3 = -x - 3*s, 0 = 5*s - 20. Solve 0 = 3*v - x + 3 for v.
2
Let l(d) = 9*d**2 - 5*d**3 - 3*d - 5*d**2 + 6*d**3 + d - 6. Let q be l(-4). Solve -q*x - 2 - 4 = 0 for x.
-3
Suppose 0 = -5*f + 11*f - 186. Let w = f - 26. Solve 2*y = 7*y - w for y.
1
Let u be ((-84)/105)/((-84)/20 + 4). Suppose 2*y - 12 = -0. Solve u*a = 2 - y for a.
-1
Let q(g) = g**3 - 5*g**2 + 3*g + 4. Let u be q(4). Suppose 2*x = 4*l + 40, 0*x - 24 = -2*x - 4*l. Suppose x = 4*c - 0*c. Solve u = c*h + 16 for h.
-4
Let r be -5*3*(-8)/60. Suppose 0 = -r*s + 5*s. Solve -3*m - 3 = -s*m for m.
-1
Let c = 823 - 818. Solve 10*d = -c - 45 for d.
-5
Suppose -183*b = -180*b - 6. Suppose -q + 6*q - 15 = 0