 4. Let b be 47 - (0 - y)*1. Suppose 0 = 8*c + 14 - b. Solve c*x + 10 = -6 for x.
-4
Let i = 43 + -43. Let r be i + (-2 - -4) + (-3)/3. Solve -1 = -m + r for m.
2
Suppose -t + 8 = -5*t. Let m be -3 + (0 - t) - -3. Suppose -2*g + g + 3*v = -3, -5*g + m*v + 2 = 0. Solve d + g = -2 for d.
-2
Suppose 4*z - 45 = z. Suppose 0 = 5*u + 4*a - 21, -6*a + z = 4*u - a. Suppose u*h = 20 + 65. Solve -2 = -5*l - h for l.
-3
Suppose -4*q + 5*x + 45 = 0, -5*x - 9 = -3*q + 31. Solve -2 - 18 = -q*n for n.
4
Let k(n) = -n**2 - 8*n + 6. Let p(q) = q**2 + 7*q + 4. Let u be p(-4). Let r be k(u). Solve -m + 20 = -r*m for m.
-4
Suppose 4*f - o - 9 = 0, -f + 4*o + 21 = -0*o. Suppose -10*b = 1 - f. Let p be -1 - 1/2*-2. Solve -s + p*s + 3 = b for s.
3
Suppose -11*f = -21 - 12. Solve -8*y + 5*y + f = 0 for y.
1
Let a = -2 + 2. Let o be (-1830)/(-120) - (-1)/(-4). Solve -5*m = -a*m + o for m.
-3
Suppose 199 = 5*w + 3*o, -5*w = -41*o + 39*o - 184. Solve u - 41 = -w for u.
3
Suppose 1 = -p, 2*p = -3*g + 6*g - 11. Solve 4*w = g*w - 4 for w.
-4
Let l(o) = -44*o - 7. Let s be l(-2). Let h = 89 - s. Solve -2*v + h = -0*v for v.
4
Suppose -n - 2 = -6. Let a be (-14)/(-6) + (-3)/9. Suppose 3*b - 57 = -4*t, 0*b - 4*t = -a*b + 18. Solve -d - b = -n*d for d.
5
Let q(r) = r**3 - 8*r**2 + 9*r + 23. Let i be q(6). Solve v = i - 0 for v.
5
Let a be (55/22)/(((-60)/(-32))/3). Solve 5*n - a = 1 for n.
1
Suppose 3*i = 4*i - 4. Suppose 2*b = 4*n - b + 23, n - 23 = -5*b. Let l be (0/(-4))/(2/(0 - n)). Solve 0 = -s - l + i for s.
4
Let w(i) = -1 - 5*i**2 - 19 + 5 + 2 + 12*i - i**3. Let v be w(-7). Solve -3 = 4*s + v for s.
-1
Let i be (286/78)/((-3)/(-45)). Solve 3*k + 49 = i for k.
2
Suppose 24*f - 21*f = 0. Suppose r + 3*r - 8 = f. Solve -r*p - 12 = p for p.
-4
Suppose -282*l = -279*l + 3*u - 1284, 846 = 2*l - 3*u. Solve 4*b = 430 - l for b.
1
Let m = 28 - -16. Let f = -64 + m. Let p = f + 20. Solve p = -2*o - 0*o - 6 for o.
-3
Let o(v) = 19*v**3 - 2*v**2 - 19*v + 45. Let j be o(2). Solve 0 = 155*z - j*z - 20 for z.
5
Let p = -77 + 80. Suppose p*c + 4*r = -2 - 0, r = -5*c + 8. Solve -q = -4 + c for q.
2
Let r(a) be the first derivative of -a**4/4 - 7*a**3/3 - a**2/2 - 3*a + 4. Let t be r(-7). Let u be (-103)/(-15) - (-4)/30. Solve -3*j - u = -t for j.
-1
Let q be -2 + 6 + (-9)/3. Let l(h) = 2*h**2 + 1. Let o be l(q). Suppose -2 - 1 = 3*p, o*k - 20 = 5*p. Solve 3*y - k = 1 for y.
2
Suppose 0 = 3*c - 3, 5*c = 3*y + 1 - 56. Solve -3*b - 2*b + y = 0 for b.
4
Suppose -a - 5*g + 2 = -31, 0 = 4*a + 3*g - 132. Solve 0 = 7*o + a - 12 for o.
-3
Let s be (-8)/(-2) - (3 - 0). Suppose -q - 3*q - 4*a = 8, -5*a - 10 = 2*q. Solve -s = -i - q*i for i.
1
Let s = -37 - -37. Suppose -y - 11 + 13 = s. Solve -y*w = w for w.
0
Let g = -4 + 9. Let r(x) = -x - 2. Let k be r(-5). Let n be (56/16)/(k/30). Solve g*s - n + 10 = 0 for s.
5
Let n(u) = -u**3 - 19*u**2 + 2*u + 26. Let q be n(-19). Let d(j) = j**2 + 11*j - 8. Let v be d(q). Solve -10 = -v*s - s for s.
2
Suppose 2*x + 16 = 2*p - 12, 4*p - 2*x = 46. Let d = 6 + p. Solve 3*q = -2*q + d for q.
3
Let p(z) = z + 6. Let k be p(-3). Suppose -16*x = -14*x - 26. Suppose -9*i = -x*i. Solve -2*u + k*u = i for u.
0
Suppose -16 - 6 = -2*n + 2*v, -2*n + 46 = 4*v. Let j = 71 + -64. Suppose -20 = -18*t + 8*t. Solve j*b - n = t*b for b.
3
Let t(r) be the first derivative of -r**4/12 - 3*r**3/2 - 2*r**2 + 2*r - 1. Let b(p) be the first derivative of t(p). Let h be b(-8). Solve 0 = z + z - h for z.
2
Let s(x) = -x**3 + 3*x**2 - 4*x + 33. Let r be s(4). Let y be ((-9)/(-6))/(-3)*-8. Solve -3*g = -r + y for g.
-1
Let p(f) = -f**3 + 3*f**2 + 7*f + 1. Let h be p(5). Let z(r) = -r**3 - 13*r**2 + 12*r - 26. Let x be z(h). Solve x*t = -t - 15 for t.
-5
Suppose 3*g + 61 = 5*r, 0 = 5*r + 2 - 12. Let i = g + 29. Suppose 4*k - 2*k - i = 0. Solve 14 = 4*y + k for y.
2
Let q be 4/20 - 123/15. Let j be (2 + -2)/(9 + q). Suppose j = m + f - 2*f, -5*f = -10. Solve -m*g + g = -3 for g.
3
Let i = -53 - -54. Solve 3*v - 14 - i = 0 for v.
5
Suppose -3*b - 5*i + 88 = -2, 2*b = i + 47. Suppose -b = -5*s - 5. Solve 5*o - 3*o - s = 0 for o.
2
Suppose -2*f + 8 = -0*f. Let j = f + -1. Suppose -6*o + 10 = -o. Solve j*q = -o*q for q.
0
Suppose 3*o - 7 = -1. Suppose o*z - 3*z = -1. Solve b = -z - 2 for b.
-3
Suppose 9*d - 8*d - 4 = 0. Let p(j) = -j - 7. Let g be p(-5). Let s = g - -2. Solve z + d*z = s for z.
0
Let c = -6 - -7. Let d(h) = -5 - 15*h + 16*h - c. Let q be d(9). Solve f = q + 2 for f.
5
Suppose 26*f - 849 + 615 = 0. Suppose 0 = 4*o - 13 - 3. Solve o*b + f - 29 = 0 for b.
5
Suppose 5*a - 4 = -22*l + 24*l, 2*l = -5*a - 4. Solve 4*o + o - o = a for o.
0
Suppose -10 = 3*v - 5*v. Let u(h) = 3 + 4*h**2 + 7*h - 8 + h**3 - 2*h**2 - 8*h**2. Let g be u(v). Solve -m = g - 1 for m.
-4
Let d(y) = 6*y**3 + 7*y**2 - 12*y + 13. Let g(u) = -5*u**3 - 7*u**2 + 11*u - 12. Let f(z) = -6*d(z) - 7*g(z). Let j be f(6). Solve 0 - j = -3*p for p.
4
Let u be 572/55 - 12/30. Solve 28 = -3*h + u*h for h.
4
Suppose 3*b = 2*d + 9, 5 + 6 = 4*b - 3*d. Let n = -52 + 59. Solve b*w - 22 = -n for w.
3
Let i(g) = -75*g + g**3 + 1 - 73*g + 149*g. Let u(c) = -4*c**3 - 8*c**2 + 5*c - 15. Let h(v) = -3*i(v) - u(v). Let w be h(-9). Solve -w*q + 2 = -7 for q.
3
Let g(y) = -3*y + 22. Let c(m) = 6*m - 45. Let u(q) = -3*c(q) - 7*g(q). Let w be u(7). Solve -5*l - 13 - w = 0 for l.
-3
Let p be 4/(-10) + 132/5. Let v be 17/(-3) + -3*3/27. Let g be p/7 + v/(-21). Solve -g*o + 5 = 1 for o.
1
Let m be (-1)/3 - 3/(-9). Let v(i) = i**2 + 14*i + 27. Let l be v(-12). Suppose 5*g = -3*k - 7, -2*k + 2*g = -l*k - 3. Solve 0 = -m*t - t - k for t.
-1
Suppose -9*q + 12 = -5*q. Suppose -l + 4*m - 18 = 0, 4*m = -q*l + 2*m + 16. Solve 0*h - h = l for h.
-2
Suppose 0 = 5*s + 173 - 453. Suppose x - p - 15 = 0, 4*x - 2*p - p - s = 0. Solve -5*q = -x - 4 for q.
3
Let p = -4 + 11. Let c(o) = 2*o**2 - 11*o + 10. Let v be c(p). Solve -11 = 5*l - v for l.
4
Suppose 0 = 4*x + 2*q - 4 + 2, -5*x - 3 = -3*q. Suppose -2*l + x*l = -3*a + 19, -3*l = 3*a + 6. Let c(f) = f + 4. Let r be c(-4). Solve 3*s - a - 3 = r for s.
2
Let n be (-5)/10 - 338/(-52). Solve 0 = -14*q - n*q + 100 for q.
5
Let f be -1*0*6/12. Solve 7*u + 0*u - 7 = f for u.
1
Let w(c) = 24*c + 780. Let g be w(-31). Solve 0 = -g*k + 30*k + 18 for k.
3
Suppose 0 = 2*d - 4. Suppose -t + d = -1. Let r be (2/t)/((-9)/(-54)). Solve -m + 20 = r*m for m.
4
Let w(s) = 16*s + 837. Let g be w(-52). Solve 4 = -t + g for t.
1
Let w be 6/(-42) + (-58)/(-14). Suppose 2*m = -5*q + 89, 2 = q + w*m - 23. Solve -3*b + q - 2 = 0 for b.
5
Let n be -1*732/(-5 + 2). Let b be (-12)/21 - n/14. Let p be (6/b)/(2/(-18)). Solve -p = -5*o + 7 for o.
2
Let b(k) = -10 + 4*k - 3*k + 20 + 7. Let g be (-2)/8 + 102/(-8). Let z be b(g). Solve 1 = -z*u - 11 for u.
-3
Let m = 60 + -53. Suppose 0 = -m*i + 15 - 1. Solve -i*j + j + 5 = 0 for j.
5
Let z be (-678)/(-8) - (-8)/32. Let f = 88 - z. Solve -2 = -b + f for b.
5
Suppose 0 = 2*o - 0*o. Let l = o - -1. Suppose 17*n + 4 = 9*n + 20. Solve -n*m = 1 + l for m.
-1
Let l be (-6)/39 - 568/26. Let w = 27 + l. Solve -4*i + w + 3 = 0 for i.
2
Let z(j) = -j**3 + 1. Let h be z(-1). Suppose -h*w + 21 = -19. Solve -f = 3*f - w for f.
5
Let f = -22 - -22. Suppose f = -5*q + 20, -5*h + h - 5*q + 12 = 0. Let a = 2 - h. Solve -3*g = g + a for g.
-1
Suppose 5*b - 5 = 2*c - 7*c, c - 4*b = 26. Solve -5*g + 1 = -c*g for g.
-1
Suppose 3*w - 2*i - 16 = 9, -3*w - 5*i - 10 = 0. Suppose 2*x - x + 54 = w*k, 2*k - 4*x = 18. Solve -3*b = -k - 4 for b.
5
Suppose 4*y - 7*y + 15 = 0. Suppose 0 = -3*g + q - 0*q + 3, -y*g + 2*q + 4 = 0. Solve g*a = -3*a for a.
0
Let a(d) = -19*d - 1. Let t(p) = 94*p + 4. Let v(k) = 11*a(k) + 2*t(k). Let n be v(-2). Suppose -n = -3*b - 6. Solve 3*s + 4 = -b for s.
-5
Let c = -5 + 13. Suppose -12*d = -c*d - 24. Solve 0 = 2*b + d for b.
-3
Suppose 2*n - 8 = -2*s, n = -2*s - 3*s + 32. Let d be 18/63 + 68/s. Let j be (3 - -1*1)*1. Solve -j*x = x + d for x.
-2
Let d = 20 - 19. Let a = d - -8. Suppose -2*s + a = s. Solve -s*i = -i + 2 for i.
-1
Let y = -2308 - -2313. Solve 62 = y*r + 47 for r.
3
Suppose 205 = -2*r + 5. Let o be -1*-2*(r/(-8))/5. Solve 0 = 3*f + 14 - o for f.
-3
Let h be 17/((-5 + 0)*3/(-15)). Suppose -5*v - 2*t + h = 2, 2*v + 2*t = 0. Solve -12 = g - v*g for g.
3
Suppose 8*a = 1