 = p*a - 30*a for a.
-4
Suppose -3*n - 37 = -4. Let s(a) = a + 11. Let l be s(n). Suppose 2*z + z = l. Solve -u = -z - 3 for u.
3
Let z be 1 - (15 - (-3 - -3)). Let o = z + 20. Suppose 0 = 3*c - 6 - o. Solve -d - c = -5*d for d.
1
Let o(l) = -l + 13. Let y(h) = -h**3 - 15*h**2 + 34*h + 9. Let s be y(-17). Let d be o(s). Solve -d*u = 1 + 7 for u.
-2
Suppose 106 = 3*j - 2. Suppose 5*c + 2*b - j = -2*b, -17 = -2*c + b. Solve c = -0*k - 4*k for k.
-2
Let y be (-434)/(-105) - 4/30. Suppose -18 = y*f - 26. Solve -s + f + 3 = 0 for s.
5
Let z = 1481 - 1478. Let r(b) = -b**3 - 2*b**2 - b - 2. Let x be r(-2). Solve x*p = p - z for p.
3
Let b(k) = -11*k - 97. Let g be b(-9). Solve -g*v = -v - 4 for v.
4
Suppose -4*y + 9*y + 10 = 0. Let v(i) = -9*i - 3. Let t be v(y). Let u = 17 - 17. Solve u = -3*h - t + 3 for h.
-4
Suppose -2*n + 2*k = 68, 3*n + 0*k = -4*k - 109. Let r = n + 36. Solve -3*g = -4*g + r for g.
1
Suppose -2*r = 3*x + 13, 5*x - 2*r + 20 = -5*r. Let a be 2/(-4) - x/2. Solve 3*o - o = a for o.
0
Suppose 5*w - 3*k = 33, 0*w = -2*w + 4*k + 2. Let v be (7 - w)*3/(-6). Solve v = -3*o - 5 for o.
-2
Let p = 6 - 2. Suppose 3*a = -4*f + 7, -4*a = 2*f - 6*f - 28. Let d = f - -9. Solve d + 5 = -p*u for u.
-3
Let s be 21/(-35) - (-137)/(-5). Let g = s + 32. Solve -g*a + 15 = -5 for a.
5
Suppose 3 = 3*d - 6. Let l = d - 1. Let a(k) = -k**3 + 2*k**2 + k + 2. Let t be a(l). Solve -t*r + 1 = 5 for r.
-1
Let b(d) = 9*d + 366. Let h be b(-40). Solve -6*r = -0*r - h for r.
1
Let r(i) = 2*i**3 - 9*i**2 + 6. Let x be r(4). Let u = -10 - x. Solve u*a = a + 3 for a.
-3
Let u = -24 - -39. Solve 10*w = u*w - 10 for w.
2
Let i(q) = q**3 + 6*q**2 - 8*q. Let d be i(-7). Let w = d - 0. Solve w*t = 2*t for t.
0
Let u(d) = -d**2 + 7*d - 6. Let a be u(5). Suppose -3*z - 3*t + 1 = 2*z, t + 11 = a*z. Solve z*v + 0*v + 8 = 0 for v.
-4
Let p = -19 + 19. Suppose h = 2*o - p*o + 18, -2*h = o - 11. Solve -k - h = -5*k for k.
2
Suppose r = -2*b - 4, 2*b + r - 2*r = 4. Suppose 2*m - 8 = b, -6*j + 4 = -j - 4*m. Let l be (1 - 0) + j/2. Solve t - 8 = l*t for t.
-4
Suppose 2*t - 5*a - 6 = -3*a, 8 = 2*t - 4*a. Suppose 2*y = 2*z + 34, 4*y - 2*y + 5*z - 20 = 0. Let j be 2/(-3) + 160/y. Solve t*k - j = -2 for k.
4
Let h(d) = -4*d**2 + 35*d - 45. Let s be h(7). Solve 0 = -s*k + 22 - 18 for k.
1
Let l be (2/2)/((-1)/2). Let z be 1/((-3 - l)/6). Let w = z + 6. Solve w = -3*t - 9 for t.
-3
Let v = 1128 - 1118. Solve 0 = -v*x + 23*x - 65 for x.
5
Suppose 4*a - 5 - 5 = -m, a = 2. Let k be 36/(-6)*2/(-4). Suppose j = m, -k*t = j - 15 - 2. Solve -t*d + 0 + 5 = 0 for d.
1
Suppose 4*l = 3*m + 1 + 13, -5*m + l - 12 = 0. Let a be (-6)/(-4) + m/(-4). Solve -5*v = 17 - a for v.
-3
Let t be 15/3 + (1 - -2) + -5. Let k(f) = f**2 - 13*f + 13. Let g be k(10). Let u = -17 - g. Solve -4*m - 19 + t = u for m.
-4
Let x(c) = c + 1. Let g(b) = -6*b - 2. Let u(h) = -g(h) - 3*x(h). Let q(v) = -2*v + 1. Let l(k) = -8*q(k) - 5*u(k). Let z be l(5). Solve -j + 3 = -z*j for j.
-3
Suppose -3*l + 1 + 5 = 0. Suppose 3 = -3*x + 5*y, x + 0 - 10 = -l*y. Solve 4*d = -x - 12 for d.
-4
Suppose -z - 2*t = -15, -3*z = 7*t - 11*t - 95. Solve 5*l = 5 - z for l.
-4
Suppose 24 = -6*t + 10*t - 3*i, 4*t - 2*i - 20 = 0. Solve t*d + 35 = 32 for d.
-1
Let l be (-6)/9*6*-2. Suppose 5*o - 26 = -i - 7, i + l = 4*o. Solve 6*u - 12 = o*u for u.
4
Suppose -x - 1 + 2 = 0. Let r be (x + 4/2*-1)*-1. Solve r = 5*m + 26 for m.
-5
Let b = 1093 - 1086. Solve -b*q = 10 + 18 for q.
-4
Let f = 564 - 548. Solve h + f = 13 for h.
-3
Let v be -6 + (-3 - 0) + 14. Solve 9 = v*u + 14 for u.
-1
Let k(t) = 63*t + 8. Let b be k(0). Solve -w - 6 = -b for w.
2
Suppose 0 = 3*v + v - 12. Let i(a) = a**2 + 18*a - 43. Let o be i(-20). Let l be 1 - (o + 4/1). Solve l = -5*y + 7 + v for y.
2
Let a(j) = j**3 - 6*j**2 - 2*j + 14. Let g be a(6). Suppose -1 = -g*u + 5. Solve 5*c - u*c = 0 for c.
0
Suppose 5*r - 43 = 5*p - 8, 3*p = -2*r - 11. Let t(u) = u**2 + 12*u + 5. Let l be t(-5). Let g be ((-6)/p)/(l/(-100)). Solve g*k - 2*k + 2 = 0 for k.
-1
Suppose 5*g - 123 = -3*d, 2*d = 6*g + 79 - 25. Solve -d*u + 27*u - 45 = 0 for u.
-5
Let b be -2 + 8/((-2)/1). Let g = 2 - b. Solve 0 = -6*q + 2*q + g for q.
2
Let u(t) = t**2 + 16*t + 15. Suppose 20 = 5*x, h - 6*h - 3*x = 63. Let m be u(h). Solve 5*o + 0*o + 25 = m for o.
-5
Let f be (2 + -19 + 2)/((-3)/2). Suppose -3*m - 1 + 4 = 0. Solve -3*w + m = f for w.
-3
Let x(p) = -p**2 - 6*p + 19. Let u be x(-7). Suppose 4*q + 8 = u*q. Solve 2*h + q + 5 = 0 for h.
-3
Let c(q) be the second derivative of -q**5/120 + 3*q**4/4 + q**3/2 + 9*q. Let p(s) be the second derivative of c(s). Let a be p(15). Solve a = 2*y - y for y.
3
Let d(l) = 2*l - 12. Suppose 14*j - 8 = 13*j. Let o be d(j). Solve -3*a - o = a for a.
-1
Let k be (-65)/(-25) + (-4)/(-10). Suppose -2*q - 2*x = 2*x - 4, -4 = q - 4*x. Solve q = -k*b + 5*b for b.
0
Let h(n) = 2*n + 6. Let k be h(5). Let s be -4*(-18)/(-24) - -8. Solve 0 = -s*i - k + 6 for i.
-2
Let i(s) = 7*s**2 + 23*s - 23. Let d be i(1). Solve 3*q - 5 = d for q.
4
Let p(v) be the third derivative of v**6/120 - 2*v**5/15 + 11*v**4/24 - 4*v**3/3 + 5*v**2. Let f be p(7). Solve 2*m + 3*m = -f for m.
-4
Suppose -4*x + 23 = 3. Suppose 0*w + 3*w - 49 = -x*z, -9 = -3*w. Solve -4*s = -4 - z for s.
3
Let m be (-1)/(-2) + 3/6. Suppose 0 = -3*v + 2*l + 13, 4*l + m = -7. Suppose -6 = -3*i - 2*h, 5*i - 2*h = v*h + 35. Solve -1 = -w + i for w.
5
Suppose 2*k - 17 = 5*q, 15*q - 10*q - 15 = 0. Solve 39 = k*s - 3*s for s.
3
Suppose -7*s + 249 = -381. Suppose -k = 4*k - s. Solve 0 = 5*u - 2 - k for u.
4
Suppose -p + 0 + 30 = 0. Suppose -84 + p = -6*w. Let v(x) = -x**3 + 10*x**2 - 8*x - 6. Let i be v(w). Solve -u - 1 = -i for u.
2
Let s = 13 + -10. Suppose 2*o = o + 2, 5*n = s*o + 9. Suppose n*z + 0 = 6. Solve 5*l - z*l = -6 for l.
-2
Let o(q) = 2*q - 17. Let u be o(9). Let g be (-1)/2*u*0. Suppose -k = 3, g = 5*y + 3*k - 7 + 1. Solve -5 = -2*t + y for t.
4
Let a(v) be the second derivative of v**4/12 + v**3/3 + 7*v. Let u be a(-5). Suppose p + 5*f - u = -2*p, -5*p = -f + 3. Solve -4*k + 5*k + 1 = p for k.
-1
Let k be ((-96)/42)/((-12)/42). Solve 0*s - k = 8*s for s.
-1
Let r(n) = -3*n + 60. Let q be r(20). Solve -y - 4 + 9 = q for y.
5
Suppose 2*p = -5*u + 126, -4*p = -3*u + 64 + 22. Let q = u - 11. Solve -8*f + 3*f - q = 0 for f.
-3
Let f(h) = -2*h + 30. Let p be f(13). Suppose -7*b = -p*b. Suppose 4*d = -0*d + 60. Solve 0 = -b*j - 3*j + d for j.
5
Let v = 103 - 100. Suppose -v*l = -3*j - 12, -3*l - 7 + 17 = -2*j. Solve -f = l*f + 15 for f.
-5
Suppose -84 - 26 = -2*x. Solve 15*q - 4*q = -x for q.
-5
Let p = -19 - -26. Suppose 2*y - p = 1. Suppose 8 = y*j - n, 2*j + 3*n + 8 = -2*j. Solve 0 = -s + 4 + j for s.
5
Suppose 5*f - 6*f + 4 = 0. Let x = 4 - -6. Solve q + f*q = -x for q.
-2
Let g(r) = 19*r - 33. Let u be g(2). Solve -m = 1 - u for m.
4
Let l(x) = 11 - 3*x + 2*x + 21*x**2 - 11*x**2 - x**3. Let r be l(10). Let p be 0 + 6*r/3. Solve -v + 1 - p = 0 for v.
-1
Let o be 9 + (-5)/((-30)/(-12)). Solve -8 + o = -s for s.
1
Let u be 12 - 1/(-2)*-4. Suppose -13*c + u*c = -9. Solve 8*x + 20 = c*x for x.
-4
Suppose -4*p - 141 = -5*o, 2*o - 18 = 2*p + 40. Solve 3*h + o - 19 = 0 for h.
-2
Suppose 0 = -5*v + 30 - 10. Let t be (9/(-2))/(-3)*(v - -4). Solve s + 2*s = -t for s.
-4
Let c = -275 - -281. Solve 0 = -p + c*p - 25 for p.
5
Let y = 3 - -1. Suppose 3*v + y = -4*p, -p + 26 = 2*p - 5*v. Solve 15 = p*a + 3*a for a.
3
Let h(y) = -y**2 + 10*y + 235. Let k be h(21). Solve 16*a - 4 = -k for a.
0
Let c(r) = -6*r**2 - 4*r + 14. Let v be c(2). Let x be 0/((-11)/88 - v/16). Solve x = 2*p - 4 + 2 for p.
1
Let m be -1 + 1 - -4 - 0. Suppose -3*r + 5 = 2*z, 4*z + 4 = -r - 1. Solve r*x + m = -2 for x.
-2
Suppose -2*f + 4*y + 86 = 74, -4*f - 5*y - 15 = 0. Solve 35*w - 23*w - 60 = f for w.
5
Let j = -217 + 229. Solve -10*k + 10 = -j*k for k.
-5
Let d be -92 + 83 - (1 + -32). Solve -57*x - d = -46*x for x.
-2
Suppose 11*l = -429 + 462. Suppose -2*x + 2 = 2*r, 2*r = 5*x - 4 + 34. Solve l = -2*z + r*z for z.
1
Suppose 4 = -7*c + 9*c. Let l(v) = v**2 - 2*v + 4. Let b be l(c). Let j be -4*(14/b - 4). Solve 2 = q - j for q.
4
Suppose -2*u + 3*w - 5 = -3*u, u = 2*w. Suppose 4*n - u = 6. Solve n*k + 4 = 6*k for k.
1
Let m = -653 - -655. Solve 5*l - 3 - m = 0 fo