 -1 + 1. Solve -n + 4 + l = x for n.
4
Let j = 26 - 24. Suppose 0*u + j*u = 2. Suppose 2*m = -u + 7. Solve -m*x - x = -16 for x.
4
Let r = -1 - -39. Let c = r - 31. Solve 0 = -5*k + 13 + c for k.
4
Let a be 15/18 + 4/24. Suppose 1 = q - a. Solve -q*k = -2 - 6 for k.
4
Let f = 18 - 0. Suppose -3*v - f = -9*v. Suppose v*s = 2*s + 2. Solve -2*k = s*k - 16 for k.
4
Let n = 6 - 4. Suppose -9 = o + 3*t + 5, -n*o = -2*t + 12. Let d be -1 - (o + 4 + 0). Solve d*h - 10 = h for h.
5
Let p(m) = m**2 + 13*m + 14. Let j be p(-12). Solve -3 = -j*y - 7 for y.
-2
Suppose -4*v - 3*b + 4*b = -11, -5*v + 3*b = -12. Suppose -8 = -3*h + 7. Suppose -w + h*w = 0. Solve v*z + w = -9 for z.
-3
Let q(h) = 2*h + 16. Let m be q(-9). Let u be (-2 - m)/(-5) - -4. Solve 0*p + 2*p = u for p.
2
Suppose 6*p - 16 = p + 4*f, -5*f = -5. Let d(m) = -m**3 + 3*m**2 + 4*m. Let v be d(p). Suppose v = 11*g - 7*g. Solve g*l + l = 0 for l.
0
Suppose 12*y = 13*y. Suppose 2*z - 10*z = y. Solve -s - 2*s + 6 = z for s.
2
Suppose 0 = 3*u - 4*u - 4*w + 12, -15 = -5*w. Let c = 6 - u. Solve s - 20 = c*s for s.
-4
Let p be (27/(-36))/((-3)/44). Let o = p + -11. Solve o*a - 4 = -4*a for a.
1
Let o(k) = -3*k**2 - 6*k - 11. Let y be o(-4). Let b = -32 - y. Solve 8 = -m - b*m for m.
-2
Let l(b) = -24*b. Let w be 34/255 - (-17)/(-15). Let z be l(w). Suppose 2*r + r = z. Solve p - r = -p for p.
4
Let n = 7 + -7. Suppose -16 = -n*u - 8*u. Solve 0 = -4*r + u*r - 6 for r.
-3
Let z(w) = 5*w**2 + 11*w + 10. Let l be z(-1). Solve -8*g - l*g = -2*g for g.
0
Let l be 8/((3/1)/3). Suppose 0 = -5*v + l*v - 12. Let g be 2/7 - v/14. Solve -o + 1 + 3 = g for o.
4
Suppose 5*a + 299 = 349. Solve -14 = -17*r + a*r for r.
2
Let b be (-8)/2 - (-396)/11. Let v be (b/5)/(-1 - 35/(-25)). Solve 0 = -0*h + 4*h - v for h.
4
Let k(n) = n**2 + 12*n - 7. Let u be k(-13). Let v be (10/u)/((-4)/(-60)). Suppose 2*o - 8*m + 25 = -3*m, 0 = 3*o + 5*m - v. Solve o = -4*y - y - 10 for y.
-2
Let z(l) = 6*l - 4. Let y be z(2). Suppose -y*r + 63 = -r. Solve -2*i + 11 - r = 0 for i.
1
Let o = 69 + -29. Suppose 16 = 8*k + o. Let u(n) = n**2 - 6*n - 7. Let g be u(k). Solve g - 8 = 4*b for b.
3
Suppose 0 = 290*l - 283*l - 49. Solve l*q = -17 - 4 for q.
-3
Let u(h) = 3*h**2 + 10*h - 11. Let t be u(-5). Suppose -3*s - t = -2*a - 0, 5*a + 5*s = -15. Suppose 2*r = 5*o + 19, -o = r - 0 + a. Solve r = 3*b + 5 for b.
-1
Let q be -9*20/(-15) + -5. Suppose a + 5*w + q = -1, 2*a - 2*w - 8 = 0. Solve 0*h = -2*h + a for h.
1
Let c = -127 - -193. Suppose -17 = -7*u - c. Let v = u + 8. Solve h = v + 1 for h.
2
Let p be (0 + 3/(-6))/((-3)/84). Suppose -g + p = 7. Solve -3*q - 8 = -g*q for q.
2
Let f = 2286 - 2272. Solve -w + 9 = f for w.
-5
Suppose 4*s - 65 - 55 = 0. Suppose q = -y + 14, 2*q - 5*y - s = -3*q. Solve 0 = 7*t - 2*t - q for t.
2
Suppose 0 = 4*w - 79 + 55. Solve -w = x - 3 for x.
-3
Let s(k) = k**2 + 8*k - 9. Let w be s(-9). Suppose w = g + 1, q - 2*g - 38 = -2*q. Solve n = 4*n - q for n.
4
Suppose -4*i = -49 + 1. Suppose -2*x - u = 0, 4*x + u = 2*u + i. Let v = -397 - -399. Solve v*b + x = -0 for b.
-1
Let p(g) = g**3 - 7*g**2 + 2*g - 8. Let t be p(7). Let x(j) = -7*j + t*j - 2*j + 2*j**2 + 2. Let d be x(2). Solve 5*h = d*h - 1 for h.
-1
Suppose -45*n + 49*n - 24 = 0. Suppose 2*k + 5*x + 6 = x, 0 = 4*k + 5*x - 3. Solve -n*q = -k*q for q.
0
Let y(s) be the first derivative of 2*s**3/3 - 7*s**2/2 + 4*s + 8. Let o be y(4). Solve 3*c + o = c for c.
-4
Let j(y) be the first derivative of -y**2/2 + 2*y + 8. Let p be j(0). Solve -p*x + 15 = x for x.
5
Suppose 30 = 3*b - 78. Let m = b - 34. Solve -a = m*a + 9 for a.
-3
Suppose -6*g = 31 - 157. Solve -g = 11*p - 18*p for p.
3
Let q(r) = -2*r**3 - 4*r**2 + 2*r + 4. Let b be q(-2). Solve 0 = d - b + 5 for d.
-5
Let y = -1521 - -1895. Solve -362 = 3*p - y for p.
4
Let m(k) = 2*k**2 - 13*k + 15. Let l be m(5). Solve l = -8*t - 16 - 24 for t.
-5
Let v be -3 + 0 - 3*(-4)/3. Solve 0 = -3*o - 5 - v for o.
-2
Suppose -103 = 5*n - 1003. Let j = n - 168. Let w(k) = k**3 - 5*k**2 + 6*k - 6. Let b be w(4). Solve -b*t + 6*t = -j for t.
-3
Let h(m) be the third derivative of -m**4/24 - m**3/3 - m**2. Let p be h(2). Let l be p/(-1) - (4 - 3). Solve 4 = -l*t + 2*t for t.
-4
Suppose 0 = 6*n - 2*n. Let u = 617 - 615. Solve n = u*i + 3*i + 5 for i.
-1
Suppose 0 = -4*k + 36 - 20. Suppose 0 = -2*h + 3*l + 9, -6*h + 3*l + 27 = -2*h. Solve -3 = k*s + h for s.
-3
Let s(k) = -4*k + 45. Let h be s(11). Solve 0*q - q = -h for q.
1
Suppose -42*l = -55*l + 104. Solve 3*a = a + l for a.
4
Let y(g) = -g - 5. Let t be y(-5). Suppose 0 + 8 = 4*d. Suppose t = -4*q + 70 + d. Solve 7 = 5*o - q for o.
5
Suppose -15*t + 25 = -5. Let i(q) = -6*q**3 - 2*q**2 - 2*q - 1. Suppose 2*o = 4*d - 6, 0*o + 3*d - 1 = -2*o. Let v be i(o). Solve v*l - 27 = -t for l.
5
Let v(m) = m**2 + 40*m - 212. Let x be v(5). Solve -9*p + x = -14 for p.
3
Let w = 15 - 11. Let r be -3 + 4 + 3 + w. Let m = -3 + 5. Solve 2*j - r = -m*j for j.
2
Let t(o) = o**3 - 5*o**2 + 3*o + 4. Let g be t(4). Suppose 0 = -4*i + 4 + 16. Suppose 0*r - 16 = -a - 3*r, -4*a + i*r + 30 = 0. Solve g = -4*j - a - 6 for j.
-4
Suppose -k + 2*z = -z + 5, 4*k + 2*z = 22. Suppose -k*f = -0 - 8. Suppose 0 = -f*o + 3*o. Solve -4*u + 0*u = o for u.
0
Suppose -4*y + 3 = -3*i, 2 = i - 1. Let t be y - (-1 + 1 + 0). Solve -a - 4 = t*a for a.
-1
Suppose 6*x = 806 - 260. Let u = x - 89. Solve -2*k - u = -0 for k.
-1
Let b be (-6)/9*-6 + -31 + -4. Let l(v) = -2*v - 62. Let t be l(b). Solve t = -5*n - 2 + 12 for n.
2
Suppose 3*w + 6*w - 4*w = 0. Solve -5*d = -w*d - 5 for d.
1
Let k(h) = -4 - 1 + 4*h - 3*h. Let m = -18 + 23. Let o be k(m). Solve 0 = 3*z - o*z for z.
0
Let l(t) be the third derivative of -t**4/24 - 5*t**3/6 + 5*t**2. Let d be l(-11). Suppose d*x - 7*x + 26 = -5*z, 3*x = -4*z + 21. Solve x = -4*p - 9 for p.
-5
Let q be (3/(-2))/(1/2) + 18. Suppose w + q = 5*p, -3*w = 2*p + 7 - 30. Solve -p + 0 = -4*a for a.
1
Let v = 163 + -148. Solve 5*h = -v - 5 for h.
-4
Let w(s) = -2*s - 4. Let x = 23 + -26. Let b be w(x). Solve b + 6 = -2*f for f.
-4
Let u be 1/1*-1 - 27. Suppose -116*h + 108*h - 192 = 0. Let m = h - u. Solve 3*l = 1 - m for l.
-1
Let o be -3*(-3)/18*10. Suppose 0 = 2*i + w - o, -i + 4*i + 2*w = 10. Suppose 26*b - 28*b - 4*c + 28 = 0, 0 = 5*b - 2*c - 58. Solve 3*z = -i*z - b for z.
-4
Suppose 48 = -5*t - 27. Let h be 32/(-3)*t/10. Suppose h = 8*c - 4*c. Solve -3*x = -c*x for x.
0
Let q(l) = -l + 2. Let u be q(0). Suppose -3*z - u*c = 3*c - 44, -3*z + 36 = -3*c. Solve -3*h - 1 = -z for h.
4
Let v = 273 - 260. Solve 0 = -16*f + v*f for f.
0
Suppose 0 = h + m + 2, -m + 3*m + 10 = 0. Let d be (3 - 2)/4*4. Solve -h*w + 2 = -d for w.
1
Suppose 0 = 4*q - 12*q + 40. Let j be 4/5*40/8. Suppose 5*d - 50 = j*s, -s = 3*d - 27 - 3. Solve 0 = -5*m + d + q for m.
3
Let r(h) = -h - 4. Suppose -4*i = 4*f - 1 - 31, 0 = -3*i + f + 8. Let c be ((-6)/i)/(-3)*-14. Let d be r(c). Solve 0*u = d*u - 3 for u.
1
Suppose 5*v + m = 4*m - 17, 3*v = -3*m - 15. Let z be 1 + ((-3)/v - (-5)/20). Solve z*b + 15 = -b for b.
-5
Let a(b) = -b**2 - b + 34. Let u be (-3 - 68/(-20))*-15. Let q be a(u). Solve -q*g - g - 15 = 0 for g.
-3
Suppose -2 = -q + r - 0, -2*q + 3*r = 0. Suppose -4*z + 9*z - 140 = 0. Suppose z*f + q = 31*f. Solve -5 = f*u - 3 for u.
-1
Let w(l) be the second derivative of -l**5/20 + 13*l**4/6 - 8*l**3 + l**2 - 65*l. Let s be w(24). Let n = 1 - -1. Solve n*c = -s*c for c.
0
Let u(g) = 2*g**2 + 3*g + 1. Let i be u(-5). Let m be (-6)/(-4)*120/i. Solve 10 = -m*n - 5 for n.
-3
Suppose 4*h + v = 7, h - 7 - 6 = 2*v. Suppose 3*j = f + 14, -2*j - 4 = -5*j - 4*f. Suppose -j*k + h*k + 3 = 0. Solve 0 = 5*y - k + 18 for y.
-3
Suppose -3*y + 7 = -2. Suppose -2*b + 28 = -4*h - 152, -4*h - 156 = 4*b. Let z = -38 - h. Solve 2*w - y = z*w for w.
-1
Suppose 104 + 64 = 28*z. Solve 4*h + z + 6 = 0 for h.
-3
Let x be (-5 - -27) + 4 + -1. Let d = 27 - x. Suppose -3*k = -4*s + 16, -5*k - d*s = -11 + 3. Solve k*o = 5*o + 25 for o.
-5
Let s be (15/3)/(-5)*-46. Let i = -41 + s. Solve 3*j = i*j + 8 for j.
-4
Let i(t) = -t**3 - 5*t**2 + 4. Let s(v) = -v**3 - 5*v**2 + 4. Let m(l) = 6*i(l) - 5*s(l). Let k be m(-5). Solve 2 = k*n - 2 for n.
1
Suppose -42 = 12*w - 19*w. Solve w*o + 0*o + 18 = 0 for o.
-3
Let p be -6 + 8 - (-1 + (-1 - 0)).