z for z.
0
Suppose 13*s - 8 = 9*s. Let z be s/16*-2 - (-54)/24. Solve z = -4*u + 2*u for u.
-1
Suppose 21 = 37*d - 34*d. Solve 6*w - 2 = d*w for w.
-2
Let p(t) = -8*t + 15. Let q be p(2). Let g be (-2)/4*(-1)/(q/(-6)). Solve g*l + 13 = -2 for l.
-5
Let u be 1158/18 - (-2)/(-6). Let r = -90 + u. Let g = r + 26. Solve g = 3*n + 14 - 2 for n.
-4
Suppose -10*o + 12 = -28. Suppose 48 = 12*g + o*g. Solve 0 = 4*s - 5*s + g for s.
3
Suppose 2*p - 3 = p. Suppose -c = p*c - 48. Let h = -12866 - -12871. Solve 0 = h*y - c - 3 for y.
3
Let y be 14/(-91) + (-2931)/(-39). Let w = -73 + y. Solve t + 0 = w for t.
2
Let x(p) = p - 5. Let y = 2 - 11. Let d be x(y). Let u = -11 - d. Solve -2*g - g = -u for g.
1
Suppose 0 = -216*r + 219*r - 15. Solve 2*d - r*d + 15 = 0 for d.
5
Let k(i) = -4*i**2 - 9*i + 9. Let z be k(-3). Solve z = 9*o - 13*o for o.
0
Let w(m) = 9*m + 9. Let d be w(-9). Let s be d/15 + 1/(-5). Let i = s + 9. Solve 4*f + 4 + i = 0 for f.
-2
Suppose 3*v - f - 11 = 0, 2*v + 12 + 9 = -5*f. Let b(w) = -2*w. Let s be 5/(-4) - (-1)/4. Let x be b(s). Solve v*a - 4 = x for a.
3
Let l(u) = 2*u**2 - 17*u + 41. Let n be l(5). Solve 0 = n*v - 3*v - 9 for v.
3
Suppose 3*d + 91 = 7*d - 3*b, 0 = 2*d + 5*b - 13. Suppose d*o - 17*o = 32. Solve i + o = -3*i for i.
-4
Let q = 125 - 249. Let h = -114 - q. Solve -h = -3*m - 1 for m.
3
Let m(o) = o**3 + 6*o**2 + 3. Let v be m(-6). Suppose 3*a = -i + 5 + 17, 0 = -a - v. Let p = 36 - i. Solve 3*z - p = 1 for z.
2
Let y be (25/10)/(10/12). Solve y*j = -44 + 38 for j.
-2
Let x(t) = -t**3 + 4*t**2 - 6*t. Let w be x(4). Let r = w + 49. Suppose -4*q = -4*o + 12, -6 = 3*o - 4*o + 2*q. Solve -5*n = -o + r for n.
-5
Let g be 5/150*1641 - (-45)/150. Solve g = 11*k + 11 for k.
4
Let o(q) = -16 + 6 - 3*q - 10. Let c be o(-7). Solve 2*y = c + 1 for y.
1
Let d(v) = 15*v - 913. Let t be d(61). Solve -6*a - 28 - t = 0 for a.
-5
Let p(v) = -v**3 + 6*v**2 - 5*v + 1. Let j be p(5). Let y be (-1)/(48/(-15) - 9/(-3)). Solve -4*t = -y + j for t.
1
Suppose 2*p = 3*a - 7*a + 24, -3*p + 33 = 3*a. Let m = -7 + 17. Solve 8*x - m = p*x for x.
-5
Suppose 3*c = 2*o - 5, 2*o + 3*c = c + 10. Let u = o + -2. Let h be u + (4 - 1) + 1. Solve h*q - 3*q + 3 = 0 for q.
-1
Suppose -2*u + 91 = 7. Let j = -34 + u. Solve 4*a - 8 - j = 0 for a.
4
Let s(v) = -v**2 - 5*v + 1. Let q be s(-4). Let z(o) be the second derivative of -o**3/6 + 9*o**2/2 + 8*o. Let d be z(9). Solve b - q*b - 4 = d for b.
-1
Let y(l) = l**2 + 29*l + 59. Let s be y(-27). Solve -3 + 8 = s*w for w.
1
Let o = -394 - -394. Solve o = -2*n + 3 - 3 for n.
0
Suppose 83*f = 770 + 226. Solve -f = -5*w + 3 for w.
3
Let j(h) = -2*h**3 - 10*h**2 - 9*h. Let d be j(-4). Suppose -8*w - 216 = -d*w. Let u be 115/9 - 12/w. Solve -2 = -3*p + u for p.
5
Suppose 21*h - 548 = 40. Suppose -2*b - 52 = -2*l, -45 = -3*l - 4*b + 33. Suppose -l*o - 6 = -h*o. Solve 2*k = 5 + o for k.
4
Let k be (-74)/8 + 11/44. Let g = k - -9. Suppose g = 3*u - u. Solve v + u = -1 for v.
-1
Let v(k) = 2*k + 97. Let l be v(-38). Solve 2*b + 5*b = l for b.
3
Let q(n) = -n - 1. Let u be q(-5). Suppose 8 = 2*g + u. Solve -5*f - g + 27 = 0 for f.
5
Let z(r) = 3*r - 2 - 111*r**2 - 1 + 113*r**2. Let p be z(1). Solve 0 = -p*w + 4 - 8 for w.
-2
Let r(m) = -5*m**2 + 12*m + 13. Let x be r(3). Solve 8*o = x*o + 12 for o.
3
Suppose 0 = -4*v + 3*v + 16. Let f = 16 - v. Let z = 15 - 12. Solve f*c = 3*c + z for c.
-1
Let q(l) = -l**2 - 14*l - 24. Let r(n) = -3*n**2 + 6*n - 2. Let w be r(4). Let h = -38 - w. Let g be q(h). Solve -1 + g = -a for a.
1
Let p be 15*((-4)/3)/1. Let y = 0 - p. Let k be (y/12*3)/1. Solve 7*s - 2*s = k for s.
1
Let m(w) = 3*w - 6*w + w - 3 - 2*w. Let d be m(-2). Suppose -r = -3*j + 6, 4*r = 2*r - d*j + 21. Solve 2 = -r*h - 10 for h.
-4
Let m be (2 - (-18)/(-4))*36/(-30). Solve -8 - 4 = m*d for d.
-4
Let h = 7 + -3. Suppose 3*m = 2*j + m - 26, -j + 4*m = -16. Let r be 14/3 + 4/j. Solve -11 = h*z + r for z.
-4
Let x be 4/(-18) - (-6 - (-364)/63). Solve x = -g - 1 + 5 for g.
4
Let r be 1/3 + (-206)/6. Let y be 3/(-9) - r/(-6). Let b(w) = w**3 + 7*w**2 + 4*w + 8. Let z be b(y). Solve c - 5*c + z = 0 for c.
5
Suppose -597*v + 595*v + 16 = 3*o, -2*o - 3*v = -19. Suppose 4*p + 3 = 15. Let z be (p/(-2) + 1)*-20. Solve -o*j = -4*j - z for j.
-5
Let s = 26 + -8. Let b be 58/s - (-4)/(-18). Suppose 3*o + 5 = 2*j, 4*j - 65 = -2*o - 15. Solve b*i = 5*i - j for i.
5
Let b(d) = -5*d**3 - 2*d**2 - 2*d - 1. Let q be 12*(-2 + 8/6). Let r be (4/8)/(4/q). Let i be b(r). Solve -i*c = -6*c + 10 for c.
5
Suppose -l + 4*j + 27 = 0, 12 = 2*l + 4*j + 6. Solve -1 = -4*f + l for f.
3
Let l = -12 - -14. Suppose 4*z + 26 = l*p, -2*z - z - 42 = -4*p. Suppose -f + c + p = f, 0 = 4*f + 4*c + 12. Solve -o - f*o = 0 for o.
0
Let u(a) be the second derivative of a**3/6 + 9*a**2/2 - a. Let m be u(-4). Let s(y) = 135*y - 1874. Let d be s(14). Solve t + d = m*t for t.
4
Suppose 3*y = -2*z + 41, y = 4*z - 2*z + 19. Let j be (-1)/(-1) - -1 - -3. Suppose 1 = -g, -j*n + 5*g + 0*g + y = 0. Solve -d + n*d = 4 for d.
4
Let r(f) = -f**2 - 28*f - 128. Let v be r(-6). Solve -11*y + 28 = -v*y for y.
4
Let x(y) = y**3 - y**2 + 7*y - 10. Let w be x(3). Let u = w - 28. Solve 0 = 5*f - u - 9 for f.
2
Let f(c) = c + 18. Let v be f(-6). Solve -10*x + v*x + 2 = 0 for x.
-1
Suppose -4*n + 8 = -24. Let c = n + -5. Solve -4*h = -h + c for h.
-1
Let s(d) = d**2 - 7*d - 103. Let o be s(15). Solve 15*q + 10 = o*q for q.
5
Suppose -q + 5 = -2*p - 3, -q - 3*p + 18 = 0. Let u = -40 + 57. Let z = u - 12. Solve 3 + q = z*g for g.
3
Let t(o) = -1 - 4 + 4 - 1 - o. Let s be t(-4). Let k be -4*(2/(-2))/s. Solve -k*u - 15 = -5 for u.
-5
Let n(w) = 5*w - 40. Let d be n(19). Let h be (-3)/(-9) - d/(-15). Solve 0 = h*j - 3 - 9 for j.
3
Let k be ((-12)/(-9))/((-4)/(-6)). Suppose 1 - k = -j. Let l = j + -1. Solve -3*a + 5*a = l for a.
0
Let k(n) = n. Let t be (1 - 4/4)*1. Let z be k(t). Suppose z = -5*i + 17 - 2. Solve -m = -i*m for m.
0
Let w = 6 - 6. Suppose w = 3*c + 2 + 7. Let y be (-4 - c)/(2/(-8)). Solve 0*g = y*g for g.
0
Let d = -1360 - -1369. Solve d*n - 35 - 1 = 0 for n.
4
Suppose -10 = -5*l - 0. Let i(a) be the third derivative of a**4/8 + 2*a**3/3 + 10*a**2. Let j be i(-1). Solve l = -3*y - j for y.
-1
Let p(h) be the third derivative of -h**4/24 - 4*h**3/3 + 7*h**2. Let o be p(-8). Solve -2 = 2*a - o for a.
-1
Let g(a) = -a**2 - 2*a + 142. Let x be g(-12). Solve -9*m + x = 67 for m.
-5
Suppose -11*m + 24 = -7*m - 4*j, -5*m + 2*j = -18. Solve m*l - 9 = -l for l.
3
Suppose 10 = 5*x - 0. Suppose 0 = 3*g - 2*g - 4*l + 8, 0 = g - 2*l - x. Let q be (2 - 21/g)*4. Solve -2 = f + q for f.
-3
Suppose 55 = 227*q - 216*q. Let l = 4 + -3. Solve j = q - l for j.
4
Let l(t) = -t**2 - 5*t - 2. Let k be l(-3). Let f(u) = u**2 - 4. Let q be f(k). Suppose 5*a - 5*g - q = -4*g, -4*a + 10 = -g. Solve p + a = -p for p.
-1
Let h(x) = -x + 9. Let b be h(6). Solve b*m + 6 = -0*m for m.
-2
Let r(q) = 7*q + 49. Let c be r(-7). Solve -4*d + d - 12 = c for d.
-4
Let w = -9 - 6. Let a = w - -17. Suppose a*h + 21 = 3*h. Solve 0 = 4*g - h + 1 for g.
5
Suppose 57*j + 4 = -3*f + 53*j, -j = -4*f + 20. Solve 0 = -7*b + 11 - f for b.
1
Let z = -26 - -28. Let c be 1 + ((-6)/z)/(-3). Solve 4 = -0*y + c*y for y.
2
Let s(m) = 2*m**2 + 11*m + 6. Let d be s(-5). Let g = -1 + d. Solve j + g = 1 for j.
1
Let c(n) = n**3 - n**2 + n. Let h be c(0). Suppose -2*l + 10 = b, h = b - 1 - 3. Let t(g) = -g - 8. Let d be t(-8). Solve -l = o - d*o for o.
-3
Suppose 96*h = 83*h + 3497. Solve -257 = 4*j - h for j.
3
Suppose -5*o - 5*d + 25 = 0, -5*o + 3*d = 2*d - 31. Suppose -6 = -w + 2*w + 2*l, -o = 3*w + 3*l. Solve w*r - 6*r - 16 = 0 for r.
-4
Let z(q) = q**3 - 3. Let u be z(2). Solve -9*c = -u*c for c.
0
Let h = 99 + -84. Solve -h*b = -12*b + 15 for b.
-5
Let f = 41 - 39. Suppose -5*a + 1 = u + 7, f*u - 14 = 3*a. Let x(m) = 2*m - 6. Let s be x(5). Solve -s - u = 4*j for j.
-2
Suppose 5 = 4*q - 2*r - 3, 5*q = -r + 17. Suppose -b + 3*c + 28 = 0, -5*b + 0*b = -q*c - 128. Solve -4*j + b = 5 for j.
5
Suppose 16 = -135*k + 143*k. Solve -30 = -8*z + k for z.
4
Suppose 0 = -z + 3*a - 5, 2*z + 4 = z + 4*a. Let m be (-2)/z - (-15)/(-12) - -1. Solve m*i = i + 2 for i.
-2
Let f(v) = 2*v**3 - v**3 - 9*v**2 - 4 + 16*v + 11 - 9*v. Let u be f(7). Let w be 