j*k for k.
2
Let m be 2*15/(-25)*20/(-8). Solve m*s + 32 = 11*s for s.
4
Let h = 74 - 71. Solve -10 = h*z + 2*z for z.
-2
Suppose -1 = 3*h - 16. Suppose 2*z - h*z + 2*l = -29, 2*l = -4*z + 20. Let u be 1 + (-3 + 5)/1. Solve z + u = -2*c for c.
-5
Let p(q) be the first derivative of -q**4/4 - 8*q**3 + 51*q**2/2 - 23*q + 5. Let y be p(-26). Solve n + 0 - y = 0 for n.
3
Suppose -5*q + 6 + 10 = -2*u, -2*q = -5*u + 2. Let t be 5 + 104/40 - q/(-10). Solve 5*c + t = -17 for c.
-5
Let m be ((-4)/(-14))/((-4)/(-27 - 1)). Suppose -3*k + m*c + 1 = -7, 3*c - 6 = 0. Solve -5*p + p = -k for p.
1
Let z(p) = -2*p**3 + p + 1. Suppose 15 = -3*q + 5*w, w - 3 = -q + 5*q. Suppose -5*b = -5, q*f = 4*f + 4*b. Let t be z(f). Solve g + 5 = t for g.
-3
Let a(p) = p**3 + 7*p**2 + 8*p + 10. Let g be a(-4). Let b = 26 - g. Solve b = 5*i + 1 - 21 for i.
4
Let i(y) = -y**3 - y**2 + 2*y - 1. Let p be i(1). Let u = p - -6. Suppose 16 = u*a + 1. Solve -a*n = n for n.
0
Let f be (12/8)/((-3)/(-8)). Suppose 5*m + 18 = a, -5*a + f*a - 14 = 3*m. Let o = a - -4. Solve 0 = 4*b - o - 6 for b.
2
Let t(b) = -5*b**3 - 44*b**2 + 7*b - 12. Let r be t(-9). Solve 7*a = r*a - 7*a for a.
0
Suppose -4*l + 4 = 2*m, -38 = 3*m - 0*l - 5*l. Let u(k) = -k**3 - 6*k**2 + 4. Let c be u(m). Suppose 2*y + 5*q = 18, -2 - c = -3*q. Solve y*g + 19 = -1 for g.
-5
Let u be (2*1)/((-1)/(-2)). Suppose -2*c - b + 23 = 0, -23*c - 3*b = -27*c + 31. Solve w = -u*w + c for w.
2
Let q be 15 - (-4 - -24 - 10). Solve 425 = q*l + 400 for l.
5
Suppose 6 = 5*h - f, 0 = h - 4*f - f + 18. Suppose -12 = -2*m - h. Suppose -132 = -m*p - 12. Solve -p = 5*g - 4 for g.
-4
Let u be 30/(-12)*(-12)/10. Suppose 14 = u*x - 22. Solve -5*t = 8 + x for t.
-4
Let w(r) = r**3 - 7*r**2 + 3*r + 18. Let y be w(6). Solve y = -2*i + i - 1 for i.
-1
Suppose 3*g - 3*q = -5*q + 9, 0 = -2*q - 6. Suppose -2*o = -g - 1. Suppose 12 = 3*v - 4*p, -8*p + 13*p = -4*v + 16. Solve o*a + v = 5*a for a.
2
Let u(s) = s**3 - 9*s**2 - 22*s. Let r be u(11). Solve t = -r*t for t.
0
Let y be (-1 - 3195/(-33)) + (-30)/(-165). Solve 93 = g + y for g.
-3
Let c = 124 + -118. Solve -c = -5*s + 9 for s.
3
Let z(o) = 8*o + 13. Let b be z(7). Let w = -66 + b. Solve -2*n = -w*n - 3 for n.
-3
Let p(k) = -k**3 + 7*k**2 + 7*k + 11. Let v be p(8). Let w be -2 - (81/(-3))/v. Suppose -5*h + w = 2. Solve 2*b - h = 1 for b.
1
Let t(z) = -z**3 + z**2 + 5. Let q be t(0). Suppose 0 = -q*l + 32 - 17. Solve l*o - 7*o = 0 for o.
0
Let g be (-2)/(4 + -2) - (-71 - -60). Solve 14 = 4*c + g for c.
1
Let z = -122 - -120. Let w(k) = k**3 + 3*k**2 + 3*k + 5. Let h be w(z). Solve -h - 1 = -u for u.
4
Let f be 0*(-1 - (-6)/5). Solve f = 36*p - 35*p - 5 for p.
5
Suppose 0 = y + n - 18, -y + 5*n + 22 = 4*n. Let m be (25/y)/(1/4). Solve m*u - 3*u = 0 for u.
0
Let n = 46 - 46. Solve n = -14*h + 10*h - 12 for h.
-3
Let r = -589 - -599. Solve r*q - 11*q = 5 for q.
-5
Let c(w) = w**2 - 13*w - 27. Let m be c(-2). Let a(u) = 7*u - 3 - u**2 + 0*u**2 - 3. Let q be a(6). Solve q = -m*s + s for s.
0
Suppose -c = -4*y + 15, 6 = 2*y + 2*y + 2*c. Suppose 0 = 8*d - 30*d. Solve 3 = y*z - d*z for z.
1
Let c = 663 - 659. Solve c*i = -11*i for i.
0
Let d(t) = -t**2 - 6*t + 9. Let k be d(-7). Suppose -3*b = 6, -k*x + 3*b + 0*b + 28 = 0. Suppose -6*z = -7*z - 2*v + 5, 4*v + x = 5*z. Solve 2*n - 5 = z for n.
4
Let k = 25 - 21. Let f be (-6)/k*(4 + -6). Suppose f*y = -y. Solve y*m = -5*m + 5 for m.
1
Let d be (-1)/(-3) + 3/(-9). Suppose b = 4*j - 10 + 1, -2*j - 5*b = -21. Solve -j*h - 9 = -d*h for h.
-3
Let o(b) be the first derivative of b**3/3 - 9*b**2/2 + 9*b + 150. Suppose -39 = -4*c - 7. Let j be o(c). Solve -d = -0*d - j for d.
1
Let q = 16 + -12. Suppose 0 = -3*s + 2*v + 11, 0 = -3*s - q*v - v + 4. Solve -s*b - 1 = 5 for b.
-2
Suppose 0 = -2*l - 2*l + 52. Suppose 14*o - l*o = 21. Solve -5*k + 4 = -o for k.
5
Suppose -q + 55 = 4*q. Let y = 9 - q. Let p be y/(-7) + (-2)/7. Solve p = -j + 3*j - 10 for j.
5
Suppose -2*i + 21 = 5. Solve 0 = -i*n + 21 + 11 for n.
4
Suppose -25*v + 14*v - 825 = 0. Let j = v - -80. Solve -j*i = 26 - 1 for i.
-5
Suppose -3*g - 5*n = -55, -5*n + 54 = 5*g - 21. Solve -2 = -g*x + 12*x for x.
-1
Suppose -5*b + 62 = y - 3*y, 5*b - 5*y = 50. Suppose -7*w + b = -7. Let o be 8/(1 - -1) - 1. Solve w*h - o = 6 for h.
3
Let v = 14 - -4. Let b = v + -46. Let s be 10/(-65) + b/(-13). Solve -10 + 0 = s*g for g.
-5
Let u be (0 - 3) + 30/(-2 + 5). Suppose -2*c + 3*f - 7 = 0, 3*f + 3 - u = 5*c. Suppose j = -3*j. Solve -n = -j*n - c for n.
1
Suppose 7*u = 164 - 52. Solve u = 6*t - 2 for t.
3
Let f = -28 - -32. Let y = -6 + -17. Let q be (-2)/(-6) + y/(-3). Solve q*w - f*w + 4 = 0 for w.
-1
Let r(j) = -j + 8. Suppose 0*b - 4 = -b - p, -2*p = -2. Let y be r(b). Solve -y*k + 16 = -k for k.
4
Let x(h) = h**2 + 9*h + 23. Let t be x(-4). Solve 0 = 4*v - 7 + t for v.
1
Let a(d) = d + 45. Let j be a(0). Let k(z) = -z**2 - 4*z + 2. Let c be k(-4). Suppose c*t - j = -t. Solve -6*f = -3*f + t for f.
-5
Let y(v) = 8*v + 160. Let b be y(-20). Solve -4*s - s = b for s.
0
Let u(d) = d**2 - 2*d. Let w be u(2). Let r = 3 + w. Suppose -x - 6 = -5*f + r*x, 0 = -4*f + 3*x + 5. Solve -2*b + b - f = 0 for b.
-2
Suppose -2 = 4*v - 3*b + 25, 4*v - 5*b + 29 = 0. Let j(r) = r**2 + 7*r + 8. Let q be j(v). Solve 6*z - 20 = q*z for z.
5
Let q be 1*0*3/(-9). Solve 2*d + 2*d - 20 = q for d.
5
Let u be 0 - 1 - (3 + -6). Suppose 0 = -4*s + 2*t - u, 6*s - 3*s + 3*t = 12. Let b be ((-6)/15)/(s/(-15)). Solve b - 2 = -d for d.
-4
Let m(v) = v. Let o be m(-8). Let t be 80/o*(-6)/10. Solve -3*g + 9 = -t for g.
5
Let z be 2/4 + 5/2. Let l = z - 3. Let y be (0/3)/(-1 - (3 - 3)). Solve l*p - p - 1 = y for p.
-1
Suppose -3*x = 5*z - 63, -z = -5*x + 36 + 69. Solve 29 + x = -10*t for t.
-5
Let i be 1 - -4 - (32/4 + -6). Solve 6 + i = -3*u for u.
-3
Let x be (4/(-5))/((-10)/(-75)). Let j be x/5*20/(-6). Solve -j = -2*b + 4*b for b.
-2
Suppose -414*m - 352 = -425*m. Solve -3*c - m = -11*c for c.
4
Let q be (-36)/(-5)*85/51. Solve 5*t - 8*t = -q for t.
4
Let q be (1 + 2/(-4))*14. Suppose 3*k + q = 13. Solve u + 2 + k = 0 for u.
-4
Let s be (6/9)/((-3)/(-72)). Suppose -k - 60 = -13*k. Solve s = -k*h + h for h.
-4
Let a(r) = -r**2 - 30*r - 50. Let t be a(-28). Solve 0 = -11*l + t*l + 20 for l.
4
Suppose -153 = -399*l + 390*l. Solve -7 - l = -12*s for s.
2
Suppose 0 = -2*s - 0*s + 4*l, -3*l + 15 = 0. Let v(d) = 5*d - 50. Let b be v(11). Solve -s + 0 = b*k for k.
-2
Let t be 1 + -1 - 7/(77/(-33)). Solve 2*w + 5 = -t*w for w.
-1
Let i(x) = x**2 + 8*x - 10. Let b be i(-8). Let u = b + 11. Let k be (-2)/((-2)/2*u). Solve c = k*c for c.
0
Suppose 0 = -23*q + 10 + 197. Solve q*i + 4 = 5*i for i.
-1
Suppose 97*m - 42 = 90*m. Solve s = m*s for s.
0
Suppose 2*j - 2 = -d, -d + 14 = 5*j + 3. Suppose 15 = 4*a + j. Solve 7 + 2 = -a*f for f.
-3
Let j(w) = -9*w - 95. Let x be j(-11). Solve x + 5 = 3*a for a.
3
Let q be 12/(-18) - (-843)/9. Let s = q + -86. Solve -s*i + 2*i = 10 for i.
-2
Suppose 16*x + 17*x = -18*x. Solve x = 2*k + 2 for k.
-1
Suppose 98*b - 109*b = -176. Solve o - 5*o - b = 0 for o.
-4
Let d(k) = -5*k**2 + 1. Let t be d(-1). Let r be 0 + 1 + -2 - (-1 - 6). Let l = r + t. Solve -7 = 3*b + l for b.
-3
Let h = -700 - -709. Solve -3*x = -h - 0 for x.
3
Let d = 20 - 65. Let v = 45 + d. Solve v = -x + 6*x for x.
0
Let a(r) be the second derivative of r**3/3 - 6*r**2 + 2*r. Let c be a(9). Let o = 8 - c. Solve -o + 6 = 4*x for x.
1
Let s(i) = 2*i**3 + 8*i**2 + 4*i + 5. Let c be s(-3). Suppose z = -7 + c. Let o be 25/10 - 2/z. Solve -1 = -o*n + 3 for n.
2
Suppose 0 = n - 3*b + 6, 5*n + b - 11 = 23. Suppose -8 = 2*p - n*p. Suppose 2*u + p*u = 0. Solve -q + u + 2 = 0 for q.
2
Let n(r) = 4*r - 22. Let q be n(7). Solve q*i - 128 = -158 for i.
-5
Let i = -51 - -53. Suppose -i*u + 25 = 3*u. Solve -3*b + 10 = -u for b.
5
Let d be (-7)/1*(-10)/35. Let r be 3*10/2*1. Solve r = -d*t - t for t.
-5
Suppose -2*k - 4*f = -8, -2*k + 0*k - 5*f = -9. Suppose -7 + k = -g. Solve g*x - 2*x = 0 for x.
0
Suppose -26 = k + 4*i, 5*i + 54 = -2*k + 11. Let d be 0 + ((-6)/21 - 4/k). Solve d = 5*p - 8 - 17 for p.
5
Let a(k) = 3*k**2 + k + 1. Let y be a(-1). Suppose -420 = -38*o - 22*o. Solve -4 = y*p - o*p for p.
1
Let u(k) = -3*k**3 + k**2 + 3*k + 1. Let r be u(-1). Let c = 3 + r. So