*f for s.
-3
Let r(z) = -2*z**2 - 13*z - 19. Let y be r(-3). Solve -y = 3*p - 4*b - 1, -5*b = -5 for p.
1
Let d be -4*(8 + 119/(-14)). Solve 5*m - d = k, -2*m + 11 = 3*m + 2*k for m.
1
Let p = 270 - 258. Solve -8 = -2*i - 2*c, 0*c + 3*c - p = -i for i.
0
Let w = 43 + -40. Suppose w = -2*u + 15. Solve 3*j = -2*m + u, -5*m + m = -2*j + 20 for j.
4
Suppose 2*j - 14 = -14. Let b be -1*(1 - (1 + j)/1). Solve 3*w - 3*g = -15, -2*w - g = -b*g + 10 for w.
-5
Let w = -2340 + 2361. Solve -38*q + 5*v - 5 = -33*q, 3*q = -3*v + w for q.
3
Let d = -37 + 70. Let r = d + -29. Solve 5 = 5*w + q + 3, -r*q = 12 for w.
1
Suppose 276 = 5*w + 4*f, 0*f - 3*f = 4*w - 220. Let d = w - 42. Solve -m - j + d = j, -2*j + 6 = -m for m.
2
Let f be (-3 + 18)/(4/(40/15)). Solve 4*u + 2*r + 0 = -8, 5*r - f = 0 for u.
-3
Suppose 0 = -2*k + 4*k + 6. Let a be 3*(-1)/(k/2). Let s = 2 + 1. Solve -a*g + 12 = 4*p, -g + s = 3*p - 6 for g.
0
Let g = 2 - -1. Suppose 0 = -g*c - 0*c. Solve 3*a - 3*h - h - 5 = c, 3*a - 5*h - 7 = 0 for a.
-1
Suppose 0 = -82*w + 72*w. Solve -10 = 5*y + 5*f, y + 2*f = -5 - w for y.
1
Suppose -6*r + 2 = -5*r + 3*d, -2 = -r + 2*d. Solve 4*a = 2*x + 4, -2 = 2*a - r*x - 0 for a.
3
Let n be -1*((-2 - 3) + 2). Let x(r) = -r**2 + 8*r + 7. Let y be x(7). Let d be 0*4/16*-2. Solve s - 4*h = n*s + y, -h - 1 = d for s.
-5
Let h = 1398 + -1389. Solve 3*r - 5*l = 12, -h = 2*l + l for r.
-1
Let v = 150 - 53. Suppose 3*a = v - 34. Solve q - 2*q + a = -4*f, q = f + 6 for f.
-5
Let g be 6/12 - 4/(-8). Suppose -f = s - g - 4, 2*f - 6 = 2*s. Solve -p - 2*p = -f*a + 2, -3*p - 4 = -5*a for p.
2
Suppose 17*n + 11 = 62. Solve 0*p + 20 = -3*x - 4*p, 3*x + n*p + 18 = 0 for x.
-4
Suppose -24 = 5*t - 64. Suppose 4 = g + 4*v, -5*g + 3 + 2 = 5*v. Suppose g = -3*i + t*i. Solve 0 = x - 1, -1 = -4*l - i*x - x for l.
0
Suppose -21 = -2*j - 5*o, -4*j + 11*o - 6*o - 3 = 0. Solve j*z = -z - 4*r - 24, 3*z + 5*r + 22 = 0 for z.
-4
Let w be (15/10)/((-1)/(-6)). Suppose 0 = 2*j + j - w. Solve 0 = 2*u + j*f + 13, 4*u + 18 = -3*f + 5*f for u.
-5
Suppose 20 = -3*t - 4*i - 9, -i = -3*t - 4. Let a = t - -3. Suppose a = 4*s - 7*s. Solve -3*u + r = -3*r + 10, -2*u + 5*r - 16 = s for u.
2
Let c be (2 - (12 + -1))/((-6)/6). Suppose 0 = -3*r - 28 + 7. Let a = r - -9. Solve b + a*m + c = 0, -b - 2*m + 19 = -7*m for b.
-1
Let k(l) = -11*l**3 - 2*l**2 - 2*l + 1. Let q be k(2). Let i = 99 + q. Solve 2*c - 37 = 3*d - 3*c, i = -d + c - 9 for d.
-4
Let l = 679 - 674. Solve 3*g + 2*g - 25 = 0, -20 = -5*s - l*g for s.
-1
Suppose 59*a - 60*a + 11 = 0. Solve a*v + 11 = 5*r + 14*v, 3*v = 2*r - 17 for r.
4
Let q(v) = v**2 + 2*v. Let m be q(0). Suppose -4*f + m*f = -g - 12, g = f - 3. Solve -4*k = 20, f*s + 3 = -k - 2*k for s.
4
Let b(p) = -p + 4. Let k be b(2). Suppose 4*u + k + 2 = -j, -5*u - 8 = 2*j. Solve -2*t = 5*x - 3*t + 30, u = x - t + 10 for x.
-5
Suppose -4*a + 16 + 7 = r, r = -2*a + 13. Suppose 5*j - 30 = -a. Suppose 0 = f - 2*d, -3 + 2 = -d. Solve -5*y - f = -4*m - 0*y, -j*m + 5*y + 5 = 0 for m.
3
Let a = 1355 - 1347. Suppose 0 = 2*k - k. Solve -t = 3*o + 1, -5*o + 5*t - 3 + a = k for o.
0
Let w = 25 - 35. Let l(b) = -b**2 - 10*b + 8. Let v be l(w). Suppose 0 = v*a - 59 + 19. Solve a*u = 4*u - 4*k + 17, -16 = -4*k for u.
1
Suppose 180 - 60 = 8*p. Solve -k - p = 5*o, 2*k - 12 = 3*o + o for k.
0
Let n(w) = w + 5. Suppose 4*t - 5*b + 23 = 0, -2*b + 7 = 4*t + 3*b. Let o be n(t). Let r be (-9)/o + 4 + 3. Solve -4*z = 0, 9*f - r*f = 3*z - 25 for f.
-5
Let q be (2*1)/(4 - 2). Let x = 3 - q. Suppose 2*w - 7*i = -6*i + 13, -4*i = 5*w. Solve -2*c - x*g = -g + 5, 25 = -w*c + g for c.
-5
Let c = 59 + -55. Suppose -f + 6*f - 13 = -c*r, 3*f - 9 = -2*r. Solve 3*b + 4*z - 12 = -5, -b + 17 = f*z for b.
-3
Suppose 4 = t - 0*t. Let s = 362 + -358. Solve -3*l = d - 2*d - t, 5*d - s = 3*l for l.
2
Let g be (21 + -22)*((-2)/(-3))/(4/(-12)). Suppose b - u = -0*u + 1, 0 = -5*u - 5. Let z = 4 - b. Solve -4*s + 2*r + 2 + z = 0, -2*s - g*r - 6 = 0 for s.
0
Suppose -m = -4*m + 3*i - 30, -6 = 2*m + 5*i. Let z = -6 - m. Solve 0*g = 3*g + z*f - 13, g + 3*f = 9 for g.
3
Let n(p) be the third derivative of -p**4/24 + p**3/3 + 5*p**2. Let q be n(-3). Suppose 209 - 17 = 6*w. Solve -24 + 1 = -g - q*t, -4*g - 5*t + w = 0 for g.
3
Let x = 1 - -1. Let h be -1 + 4/x - -21. Let b be 3/(-4) - h/(-8). Solve b*d = -d - a - 4, 0 = -d + 5*a + 20 for d.
0
Let h = 7 - 9. Let o be (-8 - h)/(3/6). Let t = 14 + o. Solve -4*i - 5*a = -26, -t*a = 3*i + 3*a - 22 for i.
4
Suppose 4*n = 6*n. Suppose -3*u + 15 = n, 116 + 30 = 2*d - 2*u. Suppose -4*s + 2 = -d. Solve a - 6*a + s = 3*v, 8 = 3*v + 2*a for v.
0
Let m = 27 + -17. Let v = -3 + m. Suppose -3*h = -70 + v. Solve 5*x - 22 = -n - n, -5*x - n = -h for x.
4
Let n(b) = 6*b**3 + 28*b**2 - 11*b - 2. Let i be n(-5). Solve 9 = i*z + 3*y, -4*z + 3*y - 8 = -20 for z.
3
Let k be ((-188)/(-12) - 1)*-3. Let t = -44 - k. Solve -o - 11 = -5*i, 0 = -t*i + i - 4*o - 6 for i.
2
Suppose 5*l - 7 = 3. Suppose -50 = -4*k + 2*r, l*r + r - 29 = -2*k. Let b = k + -11. Solve d - z = -b*z, 0 = -2*z - 6 for d.
3
Suppose 5*w + 22 - 77 = 0. Let n(s) = -2*s**2 + 23*s - 4. Let j be n(w). Solve t - 20 = -3*t - 4*y, j = 3*t - 5*y for t.
4
Suppose 0*c - 4 = -c. Let p be c/14 + (-5)/(-7). Let g be 4 + (2 - p) + 5. Solve -3*k + 5*j + 28 = 0, j + g = -j for k.
1
Let x(c) = c**3 - c**2 + 4*c - 2. Let l be (-2)/3*(-8)/((-112)/(-21)). Let u be x(l). Solve 0 = -4*o + 3*m - u*m, 2*m + 11 = -3*o for o.
-1
Let y = 71 - 50. Suppose 9*a - 5*a - 26 = -2*g, 0 = a - 5*g + y. Let z = -3602 + 3602. Solve u = 3*m + 8, -2*u = -a - z for m.
-2
Suppose 2*m = m. Suppose m = -5*j - z + 16, j - 4*z = -2*z + 12. Suppose -13*b - 9 = -16*b. Solve 4*o - 20 = -j*a, 2*o - 5 = 5*a - b*o for a.
2
Suppose 3 = 2*h + 33. Let g = h - -20. Suppose -g*s = -11 - 4. Solve 0*x + 2 = -2*x + s*t, 5 = -5*x + 4*t for x.
-1
Suppose 0 = 5*s + 4*l - 5*l - 55, -50 = -4*s + 2*l. Solve 0 = -0*n - 2*n - 2*x + s, 0 = -2*x + 4 for n.
3
Suppose -2*g + 50 = 38. Solve 3*h = -2*j - g, 3*j + 3*h - 1 + 10 = 0 for j.
-3
Suppose 10*s = 11*s - r + 9, 15 = -s - r. Let n be (42/s + 5)*4/6. Solve 4*j = 3*c + 4, c + 3*j = 15 + n for c.
4
Let o(w) = w**2 + w - 22. Let p be o(-7). Suppose 0*q + 2*t = -2*q + 10, q = 4*t - p. Solve 4*s - 8 = q, s = 2*l - s + 14 for l.
-5
Let m be (-112)/21*3/(-4). Solve -2*q + q = -3*z - 16, 3*q = m*z + 28 for q.
4
Suppose 0 = -d + c + 69 + 3, -350 = -5*d + 3*c. Suppose 2*z = d - 7. Solve -6*a + t + 13 = -9*a, z = -4*a + 5*t for a.
-5
Suppose 0 = 2*n + 3*n - 20. Let t(b) = -b**3 - 10*b**2 - 18*b - 11. Let w be t(-8). Solve n*f + 4*a = w*a - 16, 5*a = -20 for f.
-5
Suppose -4*k + 8 = -8. Suppose -j = -2*r + 5, -k*r = -0*j + 4*j - 16. Suppose 5*s - 21 = -j. Solve 7*v - 4*v = h - 4, s*h = 4 for v.
-1
Let f = 0 - -4. Solve 5*b = -f*p - 35, -p - b = -3*b - 1 for p.
-5
Suppose 2*h = 3*j - 16, 2*h + j = -2*j - 28. Let o = h + 13. Solve 2*a = 5*w - 2*a - 19, -o*w = 4*a - 2 for w.
3
Let f be 52/8*(0 - 2). Let v(g) = -5*g - 5. Let j be v(-4). Let u = f + j. Solve x = -4*i + 2 - 15, 5*i = u*x - 13 for x.
-1
Suppose 6*w + 128 = -244. Let k = 66 + w. Solve 20 = -4*h - 0*z - z, z = -k for h.
-4
Suppose n - 6*n = -25. Let o = 1 - 12. Let r = 13 + o. Solve 5*j - b = -4, -4*j - r*b = -b + n for j.
-1
Suppose -17*l = -15*l - 46. Let y = 2 - 2. Let p be -2 + y + -1 + 5. Solve 0 = p*t + g - 1 + 2, -t - l = 5*g for t.
2
Let v(p) = -6*p - 14. Let l be v(-6). Solve 3*n + 1 = 4*r - l, 0 = 2*r - 10 for n.
-1
Let g(j) = j + 8. Let i be g(-9). Let k be ((-18)/(-30))/(i/5) + 8. Solve -15 = 5*b + k, -3*b = 5*h + 22 for h.
-2
Let t = 1795 + -1794. Let x = -3 + 7. Solve -u = 2*n - t, x = n + 4*u - 14 for n.
-2
Let r(q) = 2*q**2 + 3*q + 4. Let d be r(-2). Solve -4*f = 3*h + d, 2*h + 4*f + 1 = -7 for h.
2
Let u(i) = -i**2 - 2*i + 43. Let t be u(-7). Let z be t/12 - (-4)/(-6). Solve 3*p = 4*y + 7, z = -2*p + 5*p - 15 for y.
2
Suppose 2*t - 4 = -3*h, 9*h + 28 = 2*t + 6*h. Suppose -100 + 4 = -t*k. Solve 3*n + 5*z = -n + k, -2*n = -4*z + 20 for n.
-2
Let c = 303 + -303. Suppose x = 2*x - 6. Solve c = d + 2*a - x - 8, 5*a = 4*d + 9 for d.
4
Let p(n) = 113*n - 441. Let w be p(4). Solve -4*u - 9*r = -10*r + w, 3*u = -4*r - 13 for u.
-3
Let i = -18 - -21. Let b = i - 0. Let d = -11 + 15. Solve d*p - b*w = -8*w - 9, 