j - 2 = g for j.
5
Let m = 268 + -263. Solve m*g + 0*g = 0 for g.
0
Suppose -18 + 0 = -9*z. Let a(x) = 2*x**2 - 2*x - 6. Let w be a(3). Solve z*m - w*m + 12 = 0 for m.
3
Let b be (-329)/(-105) + 2/(-15). Solve 0 = -0*j - b*j for j.
0
Let p be 168/(-9) - ((-12)/(-9))/(-2). Let n be ((-10)/(-15))/((-1)/p). Solve -4*f - n = -f for f.
-4
Suppose -p - 3 + 12 = 0. Suppose p = -4*y + 21. Solve 0 = y*i + i for i.
0
Let t be (-20)/(5 + 0) + -1 + 17. Let m be (-2)/2*t/(-3). Solve 1 + m = p for p.
5
Suppose 0 = k + 3*j + 11, 3*j + 25 = -2*j. Suppose 5*b = -k*c, -2*c = 2*b + 2*b. Solve c = 3*f + f for f.
0
Suppose 1 = -m + 5. Let x(i) = -4*i + 5. Let f be x(m). Let r be (1 - f)/(-3)*-1. Solve -1 = r*d - 9 for d.
2
Let c = 24 + 53. Let z = c - 74. Solve 12 = t + z*t for t.
3
Let o be (-12)/16*-10*2. Suppose -o = -3*s - 0*r + 4*r, -4*s = 3*r - 45. Let g be 6/4 - s/(-18). Solve -w = -6 + g for w.
4
Let j = 82 + -67. Suppose q = 5*d - j, 0*d - 12 = -3*q - 4*d. Solve 2 = -q*m + 2*m for m.
1
Let u(n) be the first derivative of 1/4*n**4 - 3/2*n**2 + 4/3*n**3 + 4 + 2*n. Let z be u(-4). Solve -z + 4 = -5*w for w.
2
Suppose -3*i + 15 = 2*i - 5*h, -3*i = -h - 3. Let o = 8 - 5. Solve 3*m = -i - o for m.
-1
Suppose -4*x + 168 = 5*s, -7*x + 74 = 2*s - 2*x. Solve -5*r + s = 12 for r.
4
Let k = 43 - 41. Suppose -3*d = d - k*j - 2, -4*d + 5*j + 5 = 0. Solve -4*w - 5 - 15 = d for w.
-5
Let p(q) be the second derivative of q**4/12 - q**3 - 6*q**2 - 11*q. Let x be p(8). Suppose -h + 5*b + 24 = 0, 4*h - 3*b - b = 32. Solve 2*s = -h - x for s.
-4
Let i(q) = -3*q + 48. Let j be i(17). Let a(f) = 3*f**2 + 7*f + 5. Let z be a(j). Solve z*s = 12*s + 4 for s.
-4
Suppose -13*u = -6*u - 7. Solve -q = -0*q - u for q.
1
Suppose -v + 18 = -5*z, v + 9 = z - 5*z. Let w be 2/(3*2/6). Let p be 1*(w - (-6)/3). Solve -5*s + p*s = -v for s.
3
Suppose 17*t = 12*t + 15. Suppose -2*h + 5*o = 2*h - 5, -4*h - t = 3*o. Solve h = l - 4 + 1 for l.
3
Let r(v) = v**2 + 9*v + 6. Let m(h) = h**2 + 9*h + 5. Let w(d) = 3*m(d) - 4*r(d). Let t be w(-8). Let a be 1/t - -3 - -1. Solve 0 = -3*f + 2*f + a for f.
3
Let b = 66 - 56. Suppose -4*k + 3*a + b = -25, 4*a + 4 = 0. Solve k*h - 7*h - 4 = 0 for h.
4
Suppose -4*x = -11 + 47. Let m be x/15 - 6/(-10). Solve -5*v = -m*v - 10 for v.
2
Let r(a) = 3*a**2 + 5 + 11*a - 1 - 2*a**2. Let c be r(-11). Suppose -9 + 1 = -c*o. Solve 0 = -o*b + b for b.
0
Let y = -19 + 19. Let r(k) = k - 4. Let w be r(7). Suppose -12 = -w*z - 0*z. Solve y = z*d + d - 5 for d.
1
Let z(m) = 2*m - 16. Let k be (-18)/(-4*2/4). Let l be z(k). Solve l*j - 3 - 5 = 0 for j.
4
Let m(c) = c**2 - 12*c + 31. Let o be m(9). Solve 0 = -o*u - 0 + 12 for u.
3
Let o = 24 + -21. Suppose -4*w - 20 = 0, 2*w + 37 = f - o*w. Solve -q = -5*q - f for q.
-3
Let g = 520 - 493. Solve g*z = 20*z for z.
0
Let a = 227 - 226. Solve -g = -0*g + a for g.
-1
Let t = 40 + -64. Let p be -2*(-4)/t*0. Solve p*d + 9 = -3*d for d.
-3
Let u be 1 + (-3)/(-3 + 0). Suppose 6*l + 11*l = -69*l. Solve -u*f - f + 15 = l for f.
5
Suppose 12 = 2*u - 5*l + 6*l, 0 = 5*l. Suppose -u*z = -z - 25. Solve z*o = o - 16 for o.
-4
Let o(s) = -40*s + 91. Let m be o(2). Solve -2*a + m = 9 for a.
1
Let o = -920 + 922. Solve 2*z + 8 = -o for z.
-5
Let q(y) = 5*y**3 + 5*y**2 - 8*y + 2. Let t be q(1). Solve -13*w = -15*w + t for w.
2
Suppose 6 + 12 = 2*w. Let i be w/(-21) + (-12)/(-28). Solve i = 5*m + 10 for m.
-2
Let w(r) = -8*r**2 - 18*r + 1. Let g be w(-2). Solve -2*p + 3 = -g for p.
4
Let l(j) = -4*j + 3. Let w(c) = 6*c - 5. Let s(t) = -7*l(t) - 5*w(t). Let z be s(-1). Solve 5*x - 2 = z*x for x.
-2
Let c be -30*((-4)/3 + (-6)/(-18)). Let b be (c/20)/((-2)/(-12)). Solve 0 = -4*h - b + 5 for h.
-1
Let i = -1 + 4. Suppose b = 3*s - b - 21, i*s = -4*b + 39. Let p be (-60)/36 + (-114)/(-9). Solve -4*h + p = -s for h.
5
Let q = -982 + 982. Solve 2*y + 4 = -q*y for y.
-2
Let i be 96/(-624) + (-1666)/(-13). Solve 49*g = 17*g + i for g.
4
Let v(k) = 3*k**2 - 2*k. Let m be v(0). Suppose m = d + 4*o - 17, d + o + 15 = 5*o. Solve -3*g - d = -10 for g.
3
Let a(x) = -x**2 + 8*x + 12. Let t be a(-6). Let w be t/16*(14/6 + -3). Solve -w = -2*b + 3 for b.
3
Suppose -240 = 27*k - 42*k. Solve 0 = -k*q + 15*q + 1 for q.
1
Suppose 4*w - j = 19, j = -7*w + 2*w + 35. Solve -12 = -6*g + w for g.
3
Let b = -5 - -5. Let s(m) = m**3 - 4*m**2 + 5*m - 4. Let h be s(3). Let j be (h + -4)*45/(-6). Solve b = p + 4*p - j for p.
3
Let s(d) = 2*d**3 - 3*d**2. Let y be s(2). Let r be -8 + ((-96)/(-12) - -8). Solve 4*t - r = y for t.
3
Let z(i) = -6*i - 14. Let d be z(-4). Let b(c) = c**3 - 3*c**2 - 4*c. Let n be b(4). Solve -2*x + n*x = -d for x.
5
Suppose -4*i + 23 = 7. Suppose 0 = 2*n + 3*u, -i*u = -6*n + 2*n. Solve 0*o - 2*o - 8 = n for o.
-4
Let l be (2 + 6)*(-4)/(-8). Let b be (-3 + -2 + l)*0. Suppose 12*u - 9*u - 9 = b. Solve -u*q - 1 = -4 for q.
1
Let n(w) = -w**3 + 2*w**2 + 4 - 2*w - 6*w**2 + 0*w. Let s be n(-4). Suppose -4 = 7*p - 8*p. Solve 0*a - s = -p*a for a.
3
Suppose -4*h = -3*d - 18, -h + 2*d = -d - 9. Solve 17*g + h = 16*g for g.
-3
Let m = 16 + -10. Suppose -11 = -10*r + 69. Suppose r = -9*d + 53. Solve -m = 2*i - d*i for i.
2
Let h be 4/(-22) + 11/(1210/680). Solve h*c + 12 + 0 = 0 for c.
-2
Suppose 2*k + 4*c - 1 = 9, 3*c = -3*k + 9. Suppose 4*d - 19 = k. Solve -3*x = d + 10 for x.
-5
Suppose s = -3*f - 2*f + 2, 4*f - 6 = -3*s. Solve -33 = -11*l - f for l.
3
Let d(h) = 4*h + 46. Let p be d(-10). Let l = -1 + 6. Solve 2*i = l*i + p for i.
-2
Suppose -x + 24 = 4*h, 5*x + 4*h - 17 = 23. Solve 8*n + 16 = x*n for n.
-4
Let k be (-3)/15 + 16/5. Suppose 0*o = o - n - 6, -3*o = 3*n. Solve k*w + o = -0 for w.
-1
Suppose -2*z + 3*z - 1 = 0. Solve q + 0 = z for q.
1
Suppose 0 = s + 190 - 194. Solve s = -15*x + 17*x for x.
2
Let b be 4/(-3)*(-48 + 45). Solve b*d + d = 15 for d.
3
Let a = -34 + 18. Let k be (8/a)/(2/(-28)). Solve -3*r = -k*r - 20 for r.
-5
Suppose k = 2 - 0. Let s(x) = -2*x**2 - 31*x - 66. Let d(n) = -n**2 - 15*n - 33. Let w(z) = -5*d(z) + 2*s(z). Let u be w(-10). Solve -u*l = -k*l for l.
0
Suppose 3*w - 2*d = -14, -3*d + 11 = -w - 3. Suppose 0 = -3*h - 3*q - 3, -h + 3*q = -3 - 16. Let y be h*w/(-3)*3. Solve -a + y = 3*a for a.
2
Let f = 742 + -738. Suppose 4*p - 12 = p + r, -3 = r. Solve 0 = -p*u + 10 - f for u.
2
Let c(o) = 2*o + 7. Let j be c(-3). Suppose -13 = -h + j. Suppose -2*m + 31 = 3*m + 2*p, 4*m - 2*p = h. Solve 3*f + m = 2*f for f.
-5
Let o(i) = -4*i**2 - 40*i - 78. Let u be o(-7). Solve 0 = 4*m - u*m - 4 for m.
-2
Let g(m) = 33*m**3 + m**2 + 2*m - 1. Let i be g(1). Solve 32*h - i*h = 0 for h.
0
Let t = 192 - 126. Let o be (-3)/((-9)/t) + -2. Solve 0 = -5*z + z - o for z.
-5
Suppose 22 = -19*p + 98. Solve g = p - 2 for g.
2
Let x be (-6)/2 + 40 - 5. Solve -x = 4*q + 4*q for q.
-4
Suppose f - 8 = -4*j, -3*j - 22 = 2*f - 48. Suppose k + k = 5*d + 65, 0 = 3*d - 4*k + 53. Let t = d + f. Solve -t*v + 2*v = -15 for v.
5
Suppose 1971 = 23*k - 973. Solve 2*p - k = -134 for p.
-3
Let a(i) = i - 7. Let w be a(3). Let x = -8 - w. Let p be (1 + -6)*(3 + x). Solve 3 = -p*d - 17 for d.
-4
Let f(j) = -j**3 - j**2 + 2*j - 8. Let v(d) = -3*d**3 - d**2 + 4*d - 17. Let o(x) = -5*f(x) + 2*v(x). Let k be o(3). Solve -l + 0 + 2 = k for l.
2
Let x(p) = 2*p - 7. Let y(s) = -5*s + 20. Let l(f) = 8*x(f) + 3*y(f). Let i be l(-1). Solve -5*t - i = -13 for t.
2
Let u be (0 + 3)*3*11/9. Suppose -6*x = -u*x. Suppose -1 = -4*z + 2*z + 3*v, z + 5*v = 7. Solve x = m - 0*m - z for m.
2
Suppose -15 = -4*r + 9. Let h(o) = o**3 - 5*o**2 - 5*o - 2. Let p be h(r). Suppose 0*q = -p*q. Solve -15 = -q*g + 3*g for g.
-5
Let r(n) = -12*n + 6*n**2 - 3*n**2 - 20 - 3*n**2 - 2*n**2. Let x be r(-7). Let w = 36 + x. Solve 1 = 3*b - w for b.
1
Let o = 5 - 6. Let u = o + 5. Suppose -4*s + 8 = 2*c, c = 3*s + 4 - 10. Solve c = -d - 2 + u for d.
2
Let o = -2 + -13. Let m = o + 7. Let w = -4 - m. Solve -9*p = -w*p for p.
0
Let u(v) = -v + 10. Let z be u(7). Suppose -z + 0 = -r. Suppose 0 = 6*i - r*i. Solve i = -6*f + 3*f + 12 for f.
4
Let j(f) be the first derivative of -4*f**3 + f**2/2 - 1. Let v be j(-1). Let m = v - -14. Solve o = 1 + m for o.
2
Suppose 2*i - 4 - 8 = 0. Suppose -i*m + 24 = -12. Solve m = 2*r + r for r.
2
Let n(v) = -2*v + 20. Let x be n(10). Solve -1 = -u - x for u.
1
Suppose 0 = -3