2*s - 6 = 5*q + 5, 5*s + 4*q - 11 = 0. Suppose s*h + 6 = -0*h. Let w be (-4 - 10/(-4))*h. Solve -3 = 3*u + w for u.
-2
Let n be (0 - (0 + 3))*1. Let v be n + (-1)/(2/(-10)). Solve w - 12 = -v*w for w.
4
Let t(i) = i**3 + 5*i**2 - 6*i - 7. Let f be t(-6). Let r(j) = j**3 - 7*j**2 + 8*j + 5. Let y be r(4). Let w = f - y. Solve -5*a - w = -3*a for a.
-2
Suppose -n = -3*n - 5*y + 43, -4*n = -4*y - 100. Suppose 0 = 9*q - 3*q - n. Solve q = -2*u - 2*u for u.
-1
Suppose w + 2*s = 14, -4*w + 5*s + 37 = -6. Suppose 0 = 3*m + 11 + 13. Let p = m + w. Solve -o = -0 - p for o.
4
Let y(v) = v**2 + 7*v - 114. Let w be y(-15). Solve -w*z + 6 = -12 for z.
3
Suppose 53 = 15*t - 547. Solve -43*d - 15 = -t*d for d.
-5
Suppose 14*c - 16*c = 0. Solve 1 = -c*s - s for s.
-1
Let i(u) = u**3 + 4*u**2 + 2*u - 3. Let f be i(-3). Let d = 39 + -70. Let h = d - -31. Solve h = 3*z - f*z + 6 for z.
-2
Let f(v) = -v**2 + 17*v + 13. Let u be f(17). Solve -u*h + 19*h - 6 = 0 for h.
1
Suppose 3*y + 5*w + 8 = 38, y - 3*w + 4 = 0. Suppose q + 3 = -3*i + 20, -q - 31 = -y*i. Solve 4*c - 6 = i for c.
3
Let m(u) = -3*u**2 + 4*u - 2. Let d(h) = -4*h**2 + 5*h - 3. Let w(q) = 2*d(q) - 3*m(q). Let v be w(2). Solve 2*f = -v*f - 4 for f.
-2
Suppose 6*h + 5 = h. Let b be (-1)/((1 - h)/4). Let v be b*3*(-1)/3. Solve -3*x + 5 = v*x for x.
1
Let d(c) = 2*c - 8. Let s = 16 - 13. Let a be (1 - -13 - s) + -3. Let j be d(a). Solve 0 = 2*p - j - 0 for p.
4
Let s be 1/(-8)*-6 + (-8393)/(-308). Solve -25*j + s*j = 0 for j.
0
Suppose -15*v + 44 + 106 = 0. Solve -15*i + v = -10*i for i.
2
Suppose -4*i - 55 = -3*w, -4*w - 4*i = -w - 47. Let l = w + -13. Solve -l*k + k = 3 for k.
-1
Suppose 5*f + 83 = -3*h, -h + 3*f = -0*h + 9. Let r be (1 - 5)/(84/h). Solve -5*m + r - 16 = 0 for m.
-3
Let k = 51 - 19. Solve -5*l = 17 - k for l.
3
Let a = -268 + 272. Solve -20 = -a*j - 0*j for j.
5
Let j be (108/15)/(2/10). Suppose j = v + 5*z, -1 - 51 = -3*v - z. Let i = 20 - v. Solve 2*h = 3*h + i for h.
-4
Suppose -3*l = -u - 11, -l + 2*l - u = 3. Solve l*i - 4 = -12 for i.
-2
Let l(p) = 8*p + 34. Let t be l(-4). Solve 109*c = 107*c + t for c.
1
Let j be (-112)/16 - -3*3. Suppose 3*m = -30 - 3. Let x be m + 11 + 6/j. Solve -x*z = -5*z + 8 for z.
4
Let t be ((-5)/3)/(-5)*6. Suppose t*o - 5*j + 14 = 0, 3*o - 4*j + 11 = j. Suppose o*i - 2 = 2*z - 21, 15 = -3*i. Solve -10 = z*v + 3*v for v.
-2
Suppose 0*y - 5*y + 3*p = 175, -5*y - p - 195 = 0. Let b be (y/57)/(1/(-30)). Solve b = -3*z + 8*z for z.
4
Suppose -19 - 377 = -3*d. Suppose 4*y + 5*k - 23 = 109, d = 5*y - 2*k. Solve 8 = -5*x + y for x.
4
Suppose 0 = 3*l - 3*x - 30 - 84, -69 = -2*l - 5*x. Suppose 4*f = 53 - l. Solve 0 = -p + 8 - f for p.
4
Suppose 4*r + 11*s - 167 = 12*s, 2*r = 3*s + 81. Solve -45*p = -r*p + 15 for p.
-5
Suppose -23 = 6*x - 7*x - 5*j, 3*j - 9 = 0. Suppose 3*u - 15 = -0*u. Solve -3*n + u = -x*n for n.
-1
Let m = -15 + 23. Suppose m*r + 12 = 11*r. Solve -r*o - 1 = 3 for o.
-1
Let s(d) = d**2 + 2*d - 8. Let j be s(-5). Suppose -4*y + j = -1. Suppose 0 = -2*c + 4*k - 2*k + 10, -5*c - 3*k = -17. Solve -y*g = -6*g - c for g.
-1
Suppose f + 3*f + i = 56, 3*f - 53 = 2*i. Let s(a) = a**2 - 16*a + 58. Let m be s(11). Solve 2*p = -m*p + f for p.
3
Let w(x) = x**2 + 4*x - 4. Let t be w(-6). Let p be (2 + -3)/(9/36). Let s = p + 8. Solve s*c - t = -0*c for c.
2
Let g(l) = -21*l - 132. Let z be g(-7). Solve 1 = -4*m - z for m.
-4
Let i = 1404 - 1401. Solve i*o = 10 - 25 for o.
-5
Let x = -113 + 122. Solve 5*n = x*n for n.
0
Let w be (0 - 17/(-4)) + 5/(-20). Let a be 0 + -3 - (-23 + -5)/w. Solve a*c + c = 5 for c.
1
Suppose -5*f + w = -102, 5*f - 2*w = 39 + 65. Suppose 30 = -0*i + 5*i. Let q be i/2*f/6. Solve 9*m - 4*m - q = 0 for m.
2
Let x(j) = j**2 + 8*j + 10. Let a be x(-9). Let u = 19 - a. Let h(o) = 4*o**3 - 1. Let d be h(1). Solve u = d*i - 0*i for i.
0
Let g(n) = n**3 + n**2 - 12*n - 8. Let h be g(-4). Let f(j) = j + 13. Let a be f(h). Solve -y - a = -1 for y.
-4
Suppose 0 = -3*h + 5*l + 3, 5*h - 7 = 3*l - 2. Solve 2*y + 11 - h = 0 for y.
-5
Suppose 4*c - 48 = 6*c. Let g be 70/8 + (-102)/c + -4. Solve 4 = g*x - 5*x for x.
1
Let n = -339 - -339. Solve -k - 7 + 5 = n for k.
-2
Suppose 2*l + b - 3 = 0, 0 = 5*l - 4*b - 23 + 9. Suppose 80 = 5*n - h, l*n - h - 2*h = 32. Solve n = 3*q + 4 for q.
4
Suppose 0 = t - 3*n, 7*n = 2*n - 10. Let q be (13 + -4)*(-2)/t. Let x be 8/4 + q + -4. Solve 3 = a - x for a.
4
Suppose -l = -2*l. Let q be ((-12)/3 - -6) + l. Solve q*w - 6*w + 4 = 0 for w.
1
Let w(s) = s + 1. Let b be w(-1). Let u(d) = 9*d + 40. Let l be u(-4). Let a = 15 - 14. Solve -5*m + l*m + a = b for m.
1
Let r(m) = -m**2 + 16*m - 14. Let y be r(13). Let x be 85/y - 3/(-5). Suppose -4*k = x, -5*k - 2 = -4*q + 3. Solve -10 = -q*n - 2*n for n.
5
Let o(q) = q**3 + 20*q**2 + 19*q + 4. Suppose -n - 4*g - 19 = 0, -2*g - 3*g - 38 = 2*n. Let r be o(n). Solve r*w + 3 = 11 for w.
2
Let j = -39 - -44. Let b = -5 + j. Let r(k) = -2*k**3. Let l be r(-1). Solve b = -n - 1 - l for n.
-3
Let i be (-1)/(-2*3/42). Suppose -6*z - 3 = -7*z. Suppose i*l = z*l. Solve -b = -l*b + 1 for b.
-1
Suppose -2*i - 2*t = 8, -4*i + 5*t + 1 - 8 = 0. Let r be -2 - (i + -1 + 5). Let j be (r/(-4))/(5/20). Solve -j*h - 16 = -7 for h.
-3
Let n = -17 + 17. Solve -y + 0 + 2 = n for y.
2
Suppose 4*k + 12 = -s, 0 = 5*s - 2*s + 2*k - 4. Suppose -a + 0*a + 5 = 0, 5*t - s*a = 55. Suppose 15*o - 12*o = t. Solve 4 = -o*g - 21 for g.
-5
Let v(m) be the second derivative of -m**5/20 + m**4/2 + 4*m**3/3 - m**2 - 8*m. Let x be v(7). Suppose -8*l = -x*l - 60. Solve 4*q + q + l = 0 for q.
-4
Let h(z) = -z + 2. Let g be -5 - -2 - (0 + 1). Let w be h(g). Solve t - 4*t - w = 0 for t.
-2
Suppose 3*z = -32*i + 34*i - 9, -4*i - 2*z + 10 = 0. Solve -c - 6 = -i for c.
-3
Suppose u - 6*u + 10 = 0. Suppose 0 = -2*b - b - u*v - 1, 3*b = -5*v - 16. Suppose 1 = b*p - 5. Solve r - p = -4 for r.
-2
Let d(g) be the third derivative of g**4/8 - 5*g**3/2 + g**2. Let c be 45/(-225) - (-62)/10. Let b be d(c). Solve -5*x + 12 = -b for x.
3
Let r(o) = -9*o**2 + 31*o - 7. Let v be r(3). Solve -v*k + 8*k + 15 = 0 for k.
-5
Let y be (-1)/((-6)/28*105/90) + 0. Let c be (-2)/(-9) + (-136)/(-36). Let g be 4/(-4*(-2)/c). Solve -y = g*t + 4 for t.
-4
Let j = 10 - 6. Suppose -3*z - l + 17 = 0, j*l + 23 = -5*z + 6*z. Suppose x = -w + 5, -z*x = w - 2*x + 3. Solve -2*a = -w*a for a.
0
Let m be (-2)/(-4) + 17/(-34). Solve 2*r + 4*r + 24 = m for r.
-4
Let q(n) = -n**3 + 6*n**2 + 6*n + 8. Let u be q(7). Suppose 3*r - 2 = 5*j, -4 = -j - 3*j + r. Suppose j*i - 5 = u. Solve -k = -i*k - 4 for k.
-2
Suppose -12 - 4 = -4*f. Suppose -f*p - 39 = -2*h + h, 2*h - 63 = 3*p. Let y = h + -25. Solve 2 = y*l - 3*l for l.
-2
Suppose 256 = -4*i + 4*a, -3*a = -3*i - a - 195. Let y = -53 - i. Solve 4*h + 6 = -y for h.
-5
Let c(m) = m**3 - m**2 - m + 8. Let n be c(2). Solve -3*b - n = -1 for b.
-3
Suppose 0 = 2*c - 4*x + 12, -5*c - 2*x + x = -25. Let k be -2*3*c/(-6). Suppose -k*r - 17 = -w + 6*w, 3*w + 17 = r. Solve -1 = i - r for i.
1
Suppose -75*f + 10 = -74*f - s, 0 = -3*f - 4*s + 9. Solve -5 - 9 = f*a for a.
-2
Suppose 2*p = 5*z - 0 - 1, -4*z = -2*p. Suppose -p*x = -5*x + 9. Solve x*k = k - 8 for k.
-4
Let i be 6*(-5)/15 - (1 + -3). Solve i = -5*b - 2 - 3 for b.
-1
Suppose -17*g - 20 = -22*g. Solve -6 + g = 2*z for z.
-1
Let z = -64 + 74. Suppose -z + 5 = 5*x + 4*c, 0 = 3*x - c - 14. Solve -x - 3 = 2*s for s.
-3
Let x(r) = -3*r**2 + 73*r + 29. Let w be x(24). Solve -8*s - 69 = -w for s.
-2
Let c(g) = -4*g - 4. Let f be c(-1). Let w be (-6 + 1)*(f + -1). Suppose 3 + 7 = w*h. Solve -h = -5*s - 7 for s.
-1
Let r be (-854)/(-35) + (-3)/(-5). Suppose c = 6*c - r. Solve 5*n + c = -5 for n.
-2
Let b(a) = -6*a + 15. Let n(i) = 7*i - 16. Let q(o) = 6*b(o) + 5*n(o). Let p be q(12). Let w be -3 - ((1 - p) + -11). Solve 1 - w = -r for r.
4
Suppose 242*y - 249*y + 378 = 0. Solve -4*l + 34 = y for l.
-5
Suppose -80 = -0*a - 2*a. Suppose a = 2*s - 2*i, -3*s - 30 = -4*s + 3*i. Suppose 0 = 5*o - s, -2*o + 3 = 5*g - 8. Solve -5*y = -g - 19 for y.
4
Let n = 49 + -41. Suppose 28*f - n = 26*f. Suppose -u = 3*u - 48. Solve -f*m + m + u = 0 for m.
4
Let j = 371 + -364. Solve 10*h = -3 - j for h.
-1
Let g = -8 + 12. Suppose -3*w - 14 = -g*k, 2 = -0*k - k - 2*w. Suppose i - 2 = 3*c - 