685 + 693. Solve w = 3*q - q for q.
4
Let c be (-4)/14 - 9/(-7). Suppose -45*f + 66 - 4 = -73. Solve -4*r + c = -f for r.
1
Suppose 5*n = -4*d + 5 - 1, 3 = 5*n + 3*d. Let w be n/(2/(2 - 0)). Let m(o) = o**3 - 5*o**2 - 15*o + 7. Let q be m(7). Solve w = -a - q - 1 for a.
-1
Let u = -1022 + 1030. Let o(c) = -c**2 + 3*c - 2. Let m(a) = a**2 - 4*a + 3. Let z(k) = 3*m(k) + 4*o(k). Let d be z(1). Solve 2*y + d*y + u = 0 for y.
-4
Suppose 0*y + 15 = y. Suppose -11*a = -y*a. Solve a = -0*f - 5*f + 5 for f.
1
Suppose 0 = -2*k + 3*r + 31, 5*k - 7*r + 8*r = 69. Suppose -26 - k = -5*c. Solve c + 4 = -3*h for h.
-4
Suppose 3*w - 15 = 3*i - 0, 2*w + 4*i = 28. Suppose -w = 5*v - 3. Let k be (4/(-10))/(v/15). Solve -a - 5 = -k for a.
1
Suppose 0 = -0*b + 3*b. Let q(j) = 76 - 2*j - j**2 + 85 - 156. Let c be q(0). Solve b = -c*f + 23 - 3 for f.
4
Let a be (5 + -5 + 21)/(6/16). Suppose 2*x = 9*x - a. Suppose -o - 3*o + 12 = 0. Solve -j - x = -o*j for j.
4
Let r = -20 - -24. Let j = 1 + r. Let z = 18 - j. Solve -5*f - z = -3 for f.
-2
Suppose 0 = -3*k + b - 2, -4*k - 6*b + 9*b = 11. Solve k = -4*g - 3 for g.
-1
Let j(z) = 2*z + 5. Let b be j(-7). Let p(q) = 7*q + 6. Let g(l) = -6*l - 6. Let h(k) = 6*g(k) + 5*p(k). Let x be h(b). Solve x*a + 3 + 3 = 0 for a.
-2
Suppose 4*k + 69 = 149. Solve -k*n = -22*n for n.
0
Let i be (-6)/(-21) - -24*(-2)/21. Let q be (i - -2)/(4 + -6). Solve 2*x - 6 - 2 = q for x.
4
Let w = -44 - -52. Suppose 4*d + 2 = k, d + w = 4*k - 2*d. Solve k*z + 2*z + 16 = 0 for z.
-4
Let g(j) be the third derivative of j**4/12 - j**3 - 5*j**2. Let v be g(4). Suppose 5*m - 4*q + 4 = -3*q, -5*q = -v*m - 20. Solve m = 3*f - 2*f for f.
0
Let n = 239 + -134. Suppose -3 = 3*j, j + n = 5*t - 4*j. Let b = -124 + 129. Solve b*c + t = c for c.
-5
Let h = -182 + 188. Solve h = -10*a + 12*a for a.
3
Let k(x) = 3*x - 6. Let i(f) = -10*f + 19. Let a(v) = 2*i(v) + 7*k(v). Let b be a(7). Suppose -6*l = -2*l + l. Solve -z = -l*z + b for z.
-3
Suppose 0 = 13*l - 9*l - 16. Let a = 24 + -20. Solve l = a*z + 8 for z.
-1
Suppose -2*y - 44 = -13*b + 10*b, 0 = 2*b + 5*y - 4. Solve p = b*p - 22 for p.
2
Let g be 1/(-2) - (143/2)/(-11). Solve 47*t - 53*t = -g for t.
1
Suppose -2*y - 5*j = 0, 3*y = 5*y - 2*j. Solve y*q + 5*q + 25 = 0 for q.
-5
Let m(y) = y**3 + 17*y**2 - 18*y + 3. Let k be m(-18). Suppose -k*p + 11 = 2. Solve p*t = -0*t for t.
0
Suppose -3*o - 5 + 2 = -3*g, 11 = 4*o + g. Solve -2*p - 4 = o for p.
-3
Let n(u) = u**3 - u**2 + u. Let h be n(1). Solve -6 + h = 5*j for j.
-1
Let k(a) = -a**3 - 2*a**2 + a + 4. Let n be (-3)/3 - 8/(-2). Suppose 3*b + n = -3. Let m be k(b). Solve -r - 6 = -m for r.
-4
Let w(j) = 2*j**3 - j**2 - 2*j + 2. Let y be w(1). Suppose 33 - y = 2*z. Solve 4 = -4*n - z for n.
-5
Let z = -340 + 345. Solve z*p + 2*p = -35 for p.
-5
Suppose 404 = -8*a + 4*a. Let s = a - -107. Solve s*x + 15 = x for x.
-3
Let g = -54 - -56. Solve g*q = -4*q - 6 for q.
-1
Let n(x) = x**3 - 11*x**2 + 7*x + 32. Let d be n(10). Solve -d*l - 11*l - 52 = 0 for l.
-4
Let v(r) = 16*r**2 - 5*r + 1. Let d be v(2). Let m be 22/d + 13/5. Solve -1 = -i - m for i.
-2
Let j = 19 + -37. Let w be 3/18 + (-51)/j. Suppose -8*y + 30 = -w*y. Solve -y*u = -u for u.
0
Suppose 3*j = j - 6*j. Solve 3*g = 4*g - j*g for g.
0
Let v be 0*(-2)/(-4) + 539/49. Suppose -27 = 2*c - v*c. Solve m + c = 5 for m.
2
Let y be (-12)/30 - (-12)/5. Let j be -4 + (-28)/4*-1. Solve -y*u - j*u + 25 = 0 for u.
5
Suppose -q - 4*q = -2*s - 72, 0 = 5*q + 3*s - 67. Suppose 5*y - 2*u - 35 = 0, y + 2*u = -y + q. Solve -y + 1 = 3*w for w.
-2
Let b be ((4 - 4)/(-4))/2. Let c(m) = -m**2 + 6*m + 10. Suppose 4*x - 30 + 2 = 0. Let i be c(x). Solve z + b = i for z.
3
Let l(d) = -d**3 - 5*d**2 - 1. Let u be l(-5). Let w be 8 - (u + (2 - -3)). Solve -w = -2*x - 10 for x.
-3
Let l = -16 + 18. Suppose r = 4*x + 4, l*r - 22 = -x - 5. Let c = -7 + r. Solve -3*k - 8 = c for k.
-3
Let x = 1625 + -1615. Solve 15 = x*l - 13*l for l.
-5
Suppose -62 = -10*r + 48. Solve -2 + r = -3*z for z.
-3
Suppose 0 = -14*r + 13*r + 3. Suppose 15 = 3*k + r*l, 0 = -k - 3*l + 6 + 1. Solve -20 = -k*z - 0 for z.
5
Suppose 0 = 32*s - 93 - 3. Solve -s*o - 2*o = -20 for o.
4
Let r(q) = -q**2 - 15*q - 15. Suppose 27 = -4*p - 25. Let d be r(p). Solve -1 = -4*b + d for b.
3
Suppose 0 + 4 = 2*l - 2*t, l - 3*t = 12. Let o = 4 - l. Solve -o - 13 = 4*c for c.
-5
Suppose u = s + 3, -4*s + 3 = 3*u - 27. Suppose u = -2*c, -8 - 1 = a + 5*c. Suppose -2*i - 8 = -a*i. Solve 0 = -2*o - 0*o - i for o.
-1
Let x(m) = -2*m**2 + 16*m - 11. Let j be x(7). Solve -t - j = -7 for t.
4
Suppose m = -3*m + 36. Suppose -4*p = -5*d + m, 4*p + 0*d = d - 5. Let q(y) = -2*y**3 - 2*y - 1. Let i be q(p). Solve -4*c + 1 = -i*c for c.
1
Let c(r) = -r**2 + 12*r + 29. Let k be c(14). Suppose -o + 6 - k = 0. Solve -o*l = -0*l - 5 for l.
1
Let u(x) = -97*x + 318. Let y be u(3). Solve 6*c - y = -3*c for c.
3
Let d(p) = -p**2 - 8*p. Let l = -1 + -7. Let a be d(l). Solve -2*w = -a - 10 for w.
5
Suppose 0 = -63*x + 57*x + 126. Solve 4*q - x = -3*q for q.
3
Let j(q) = -q**3 - 13*q**2 + 6*q - 4. Let x(i) = -i**3 - 12*i**2 + 5*i - 3. Let t(h) = 4*j(h) - 5*x(h). Let g be t(-8). Solve 15 - g = 2*f for f.
4
Suppose -15*b + 13*b = -5*c - 17, -b + 2*c + 8 = 0. Let v = 0 - 0. Suppose v = 5*l - 4*l. Solve 2*n - b = -l*n for n.
3
Let a(g) = -g**3 + 3*g**2 + 5*g - 4. Let o be a(4). Suppose 3*c - 12 = 3*u, u - 11 = -4*c - o*u. Suppose t + 15 = 2*t. Solve c*n + t = -2*n for n.
-3
Suppose 5*m + y - 160 = 0, -m + 5*y - 1 = -7. Suppose 26*w = m*w - 20. Solve w*j = 6*j for j.
0
Let y = 102 + -79. Suppose y*a = 21*a + 4. Solve a*o + 11 = 3 for o.
-4
Let b be (27/18)/((-6)/(-8)). Solve 3*m - 15 = -b*m for m.
3
Let p = -300 - -305. Solve p*z + 2 = 7 for z.
1
Let a be ((-28)/(-35))/((-266)/90 - -3). Solve -18 = -12*x + a*x for x.
-3
Let y be ((-54)/(-12))/(1/(-2)). Let d = y - -11. Suppose -3*a + 6*i + 35 = i, -18 = -2*a - d*i. Solve 22 = 4*l + a for l.
3
Let b(n) = n**2 - n - 1. Let z be b(0). Let t(f) = -f + 3. Let a be t(6). Let q = z - a. Solve -q*m - m = 0 for m.
0
Let x(d) be the second derivative of -d**5/10 + 5*d**4/6 + 13*d**3/6 - 3*d**2 - 7*d. Let c be x(6). Solve 5*p - p + 4 = c for p.
-1
Suppose -40 + 20 = -5*g. Suppose -s = g*y - 6, -3*s - 10 = 2*s. Solve -3*t - 5 = -y for t.
-1
Suppose -p + 4 = -3*p, 2*a = 5*p + 18. Let d be 5/12*3 - a/16. Solve -j = -2 + d for j.
1
Let q(g) = -g**2 - 12*g + 18. Let o be q(-13). Let p = o + 0. Solve -2*n = -p*n - 3 for n.
-1
Suppose -24*f = 14*f. Solve -12*g + 12 + f = 0 for g.
1
Let w(x) = -6*x + 8. Let z be w(1). Solve -b = -z + 1 for b.
1
Let z(i) = -i**3 + 5*i**2 + 7*i - 4. Let p(t) = t**3 - 5*t**2 - 5*t. Let o = 18 - 12. Let f be p(o). Let r be z(f). Solve -4*j = -r + 10 for j.
-2
Let k be 140/(-16) + -2 + 7/4. Let t(n) = -n**3 - 7*n**2 + 16*n - 14. Let j be t(k). Solve 0 = j*f + 7 + 5 for f.
-3
Let w be (-128)/(-20) + -2 + 4/(-10). Suppose -4*c = -c + w*c. Solve c = 6*y - y + 15 for y.
-3
Let l(o) be the third derivative of 0 + 1/6*o**3 + 2*o**2 + 1/6*o**4 - 1/60*o**5 + 0*o. Let m be l(3). Solve 9*i + 5 = m*i for i.
-1
Suppose 11 = z - 3*u, 4*z + 89 = 4*u + 125. Solve -z*q + 3 = -29 for q.
4
Let u(b) = -b + 8. Let k be u(7). Suppose 4*z - k = 5*z. Let f = 1 + z. Solve 5*x - x = f for x.
0
Let s be 68/18 + 16/72. Let n be (-3)/(s + (-44)/8). Let m = n - -18. Solve 0*f = -5*f + m for f.
4
Suppose 12*i + 44 = 34*i. Solve i*f = 7*f - 5 for f.
1
Let i(q) = q**3 - 7*q**2 + q - 3. Let d be i(7). Suppose 4*h - 12 = d*r, -2*h + 11 = h - 2*r. Solve h*y - 15 = 2*y for y.
5
Let r be 2/(-5 - -3) + 5. Let x(p) = 2*p - 3. Let s be x(r). Solve s = 3*y - 2*y for y.
5
Suppose -4*q + 10 = -14. Suppose -q*m + 5*m = 0. Let p = m + 6. Solve -2*y - 14 = -p for y.
-4
Let r = -35 - -39. Solve -x + 8 = r for x.
4
Let f(a) = 4*a**2 - a. Let v be f(-1). Let h(q) = -2*q**3 - 12*q**2 - 9*q - 43. Let s be h(-6). Solve 1 = -v*w + s for w.
2
Suppose 0 = 13*a - 112 - 200. Solve 0 = 5*k + k - a for k.
4
Suppose i - 24 = 4*i. Let x be (i - -2 - 3)/1. Let w = x - -9. Solve 4*u - 10 - 2 = w for u.
3
Let w(z) = z**3 + 8*z**2 + 10*z + 24. Let q be w(-7). Solve q*x = 2*x + 1 for x.
1
Let p be (3*-5)/5 + 3. Suppose p = 5*b - 3*f - 26, -11 = -3*b - f - 1. Solve w = -w - b for w.
-2
Suppose -3*q + 2*f = -7*q