15 = -3*j, -5*j + 3 = l for j.
0
Suppose -3*t - 4 + 14 = -2*j, 0 = -4*t - 2*j + 4. Suppose -t*c + 13 = 1. Suppose 10 = c*f - f. Solve -4 = 2*z + 2*q - 6, f*z = -4*q - 6 for z.
5
Let w = -37 - -58. Let v = -18 + w. Solve -v*k - 5*d = -10, -6*k = -2*k + d + 15 for k.
-5
Let i(o) = -o**2 - 6*o. Let w be i(-5). Suppose -4*r = -0*r + 4, 2*r = -b + 70. Suppose t = -3*t + b. Solve 4*x - 4*j = -41 + 17, -2*x + w*j - t = 0 for x.
-4
Suppose 2*a = a, 2*v - 8 = a. Solve 4*i - 2*r = 14, 2 = v*i + r - 3 for i.
2
Let u(n) = 2*n - 2 + 0*n - 1. Let a = -6 - -9. Let i be u(a). Solve 3*d - i + 11 = 2*r, d - 2*r = -8 for d.
0
Let k = -5 + 7. Suppose -5*d + 3*d = 5*m - 35, 0 = -d + m. Solve 4*t = 2*i + 26, k*i + 16 = 3*t - d for i.
-3
Suppose 4*n + 5 = -h, 3*h - 5*h - 5*n = 13. Let s = -6 - h. Solve 4*q - 3*d = -6*d + 12, s*q - 20 = -5*d for q.
0
Let u be ((-2)/(-6))/((-5)/(-75)). Suppose -3*h + u*z = h - 33, 20 = 5*h - 2*z. Solve -v = -6*v - h*w - 35, -3*w = 15 for v.
-5
Suppose -4*i = -c + 4, -16 = -5*i + 3*i - 4*c. Suppose r - 2 + 0 = i. Solve -16 = -r*w + 4*f, 2*w + f + 3 = -1 for w.
0
Suppose -7 = -2*s + 5*t - 2*t, -11 = -s + 3*t. Suppose -5*u = -3*k + 4, 3*u = -0*k + k + 4. Let z = s + k. Solve 2*q = 2*l + 3*l - 11, 4*q = -z*l - 8 for q.
-3
Let q = 8 - 5. Suppose h = -q*h + 8. Suppose h*s - 8 = p, -2 + 0 = -2*s + 4*p. Solve -5*c = -4*w + 29, 3*w = -c + s*w - 7 for c.
-5
Let s be ((-4)/(-10)*2)/(26/65). Solve -4*m = -2*n + 4, -5*m + 1 - 7 = -s*n for n.
-2
Let d(s) be the second derivative of s**4/4 - s. Let r be d(-1). Suppose 2*k = -r*k. Solve -5*w = b + 38 - 9, k = 3*b - 3*w - 3 for b.
-4
Let j(o) = 7*o**2 - 2. Let r be j(-1). Solve 0 = -5*u + r*b + 25, -2*b + 0*b = 6 for u.
2
Suppose 0 = -2*a + 5*a - 144. Let b be 2/(-6) - a/(-9). Suppose 22 = b*z + 2. Solve 0 = 2*s - v - 1, 5*s - z*s = 3*v - 12 for s.
3
Let j = -3 + 5. Suppose 21 = 3*i - 3*l, 5*i - 17 = j*i + 5*l. Solve 4*s - 3*m + 4*m = i, 5 = 3*s - m for s.
2
Let s(x) = 32*x**2 + x + 1. Let o be s(-1). Let l = -10 + 19. Solve 5*m + 2*p = l, -5*m + 2*p + o - 11 = 0 for m.
3
Let c be ((-3)/((-6)/(-10)))/(-1). Suppose -c*l + 4 = -4*l. Solve p + 20 = -5*d, 2*d + l = p + 3 for d.
-3
Suppose 6 = 2*s - 3*g, -2*s + 0*g + g = -6. Suppose -c + 4*z = s*c, 0 = -z + 4. Solve -4*a = -2*l - 2, 2*a = -c*l - 2*a - 16 for l.
-3
Let c(d) = d**3 - 6*d**2 - d + 7. Let q be c(6). Let b be (8/24)/((-1)/9). Let a = 5 + b. Solve -v = -w - a, v + q = -2*w + 2*v for w.
1
Suppose 2*n + 40 = 3*s - 2*n, s = -5*n + 26. Solve 5*j + g - 5 + s = 0, 4 = -4*g for j.
-2
Suppose -40 = -4*t + 4*h, t + 2*t + h - 38 = 0. Solve 3*f + t = 0, -4*m + 26 = -3*f - 6 for m.
5
Suppose -2*m = -3*m + 2. Let q be (3 - 2 - 3)*m. Let i be (5 + -6)*(1 + q). Solve -5*v = -3*y, v + i*y - 7 = 5*y for v.
-3
Suppose -4*u - 16 = -9*u + 4*w, -4*u - 3*w - 12 = 0. Solve u = -g + 2*q + 13, 3*q + 34 - 12 = 2*g for g.
5
Let f be (-45)/(-20)*8/3. Suppose n = f*n - 10. Solve -x - o = -7, -n*o + 4 = -2 for x.
4
Let g(k) = -4*k - 15. Let q be g(-5). Solve -5*s - 2*m + q*m + 16 = 0, -5*s = 3*m - 4 for s.
2
Let p(m) = -m - 1. Let x be p(-6). Suppose 20 = x*z + 2*b, 3*z - 5*b = 1 + 11. Suppose 0 = 3*y - 5*y + 4, -z*y + 8 = -3*n. Solve n = -5*o, 3*r - r = 2*o for r.
0
Let i(w) = -w**2 - 1 + 3 + w - 6*w. Let f(b) = -2*b**2 + 52*b - 5. Let d be f(26). Let y be i(d). Solve 2*g + g = 5*p + 24, y*p = -2*g for g.
3
Suppose 3 = -3*v + 18. Solve 0 = -y - 5*i + 21, v*y - 4*y = -4*i + 16 for y.
-4
Let o = -182 + 184. Solve -4*u + 5*l + 27 = 0, o*u = -u + 4*l + 21 for u.
3
Let f = 8 - 6. Suppose 2*b + f*b - 16 = -3*h, 4*h = 3*b - 12. Solve 3*x - 4*j - 35 = h, -j = -3*x - 0*j + 20 for x.
5
Suppose -6 = -5*o + 3*o. Let a(f) = -f**3 + 6*f**2 + 8*f - 6. Let c(u) = u**2 + u + 1. Let p be c(-3). Let y be a(p). Solve q - o*k + y = -2, 2 = 2*k for q.
0
Let u = 70 - 67. Solve -u*l = -l - 4, 5*k - 5*l + 35 = 0 for k.
-5
Let u(g) = g**2 - 7. Let t be u(-3). Solve 25 = -5*f, -2*h + 28 = -2*f - t*f for h.
4
Suppose 4*w + 11 = 39. Solve 0 = -k - 2*t - 8, k - w = 3*t - 2*t for k.
2
Let m be (-12)/(-3) + 2/2. Let g = -3 - -7. Suppose -24 = -3*w - 4*i, w + 6 = 4*w - 2*i. Solve 5*s - g*u - 30 = -m, w*s - 3*u - 19 = 0 for s.
1
Suppose 0 = -5*m - 4*c + 30, 3*m + 2*c + 1 = 17. Suppose -v = m*v - 24. Suppose -v*b = -4*b - 8. Solve 4*q = b*j + 12, -q = 2*q - 12 for j.
2
Suppose 3*s = -2*r + 14, -r = 3*s - 0*r - 10. Solve -2*u - d = 4, 10 - s = 2*d for u.
-4
Let b = 32 + -30. Solve 1 = -a - q, b*q = 3*a - q + 3 for a.
-1
Suppose 4*l - 8 = 4*u, -u + 8 = -2*u + 3*l. Let v = 4 - u. Solve v*p - 1 = 2*t + 2*t, -4*t = 16 for p.
-5
Suppose -2*p - p = 0. Suppose -h - 5*w - 16 = p, w + 1 = -3. Suppose 3*j - 8 = -5*q - 4, 2*j + h*q - 2 = 0. Solve -9 = -4*g - j*s, 5 = 5*g + 4*s - 7 for g.
0
Let c be -3 + 3 + -7*1. Let k = c - -11. Solve h - 13 = 2*q - k*q, -5*q + 2*h + 10 = 0 for q.
4
Let h be 0 + (1 - 0) + 2. Let x(y) = 6*y + 32. Let n be x(-5). Solve 4*m - 14 = -2*t, n*t + 13 = h*m + 2*m for m.
3
Let s(z) = 2*z - 12 - z**3 + 0*z**3 - 5*z**2 + 14*z**2. Let j be s(9). Let n be j/2 - (-1 - 4). Solve 5*b + n - 36 = -2*k, b = k for b.
4
Let j = 9 + -15. Let z be (-4)/(-1) + (-2 - -4). Let w = z + j. Solve 3*h + 4*a = -h, w = 4*h - a + 20 for h.
-4
Let c = -6 + 6. Let r be 3/(-6)*(-38 + c). Solve -3*i - 4*j = r, 3*j + 13 = -2*i - 0*j for i.
-5
Let m(t) = t**3 + 4*t**2 + 5*t + 3. Let v be m(-3). Let h be v + 4 + (2 - 0). Solve 9 = -w + 4*u, -w = -0*w + h*u - 12 for w.
3
Suppose -3*c + 41 + 1 = 0. Suppose -5*b + 11 = -c. Solve -2*s + 4*s - 4*f + 14 = 0, -3*s = b*f - 1 for s.
-3
Let z be (57/(0 + -3))/(-1). Solve n + 4*n - 3*i = z, -2*n + 5*i = 0 for n.
5
Let o(i) = -i**3 + 6*i**2 - 8*i + 2. Let d be o(4). Solve -5*u + d = -3, -2*l + 5*u = 13 for l.
-4
Let m = -15 + 20. Suppose m*i - 18 = 4*f, 2*f + 2 = -2*i - f. Solve -5*q - 4 = k - 3*k, i = k + 3*q for k.
2
Let l(p) = -2*p**2 + 17*p + 5. Let q be l(8). Solve 5*w - 4*z + 22 = 3*w, -4*z = w - q for w.
-3
Let k be -2 - (-7 - (2 + 1)). Suppose 0*m - k = -m. Solve 0 = -o - 2*h - m, 0 = 2*o - h - 2 + 3 for o.
-2
Let i(y) = y + 1. Let h be i(1). Suppose 2 - 24 = -2*m. Solve 4*n + 2 = -h*a, 0*a = -2*n + a - m for n.
-3
Let d = -19 + 21. Solve i = 3*i - m - 2, -d*i = 4*m + 8 for i.
0
Let l be (-308)/(-165) - (-2)/15. Let y be ((-9)/(-6) - l)*0. Solve 2*q - c + 1 = y, 4*q = -2*c - 0*c + 18 for q.
2
Suppose 60 = w + 2*w. Let b be 2*(9/6)/1. Suppose b = 2*h - 3. Solve w = -2*i + l - 5*l, 3*i + h = 3*l for i.
-4
Suppose -d = -0*d - 9. Suppose -u = -d - 4. Solve 2*z - u = -i, -i - i = z - 11 for z.
5
Let u = -30 - -16. Let p be (-4)/(-14) + (-52)/u. Let c be ((-6)/(-3) - 2) + 5. Solve -r = -c*i + p, r = -2*i + 3*i for r.
1
Suppose -l - 4*h = l - 6, 4*l - 12 = -4*h. Suppose -l*a = -2*b - 13, -4*b + a + a - 6 = 0. Solve -3*m + 9 = 0, -g + 9 = m + b for g.
5
Let v = 4 + -4. Suppose 8 = -2*p - 0*p + 2*n, v = p - 3*n. Let g = p + 14. Solve -4*f = 2*z - g, 3*f = 2*z - 5*z + 3 for f.
3
Let n be (-243)/(-45) + (-4)/10. Solve i - 2*i - 2*j - n = 0, -5*j = 5 for i.
-3
Let b be 2/7 + 69/(-21). Let n be (3 + b)/(-2*1). Suppose 0*d - 3*d + 54 = n. Solve -4*r + d = -3*z + 2*z, 12 = -2*z + 2*r for z.
-2
Let c = 3 + 0. Suppose 6 - c = -5*z - 3*h, -5*h = 3*z + 5. Solve z*f - 5*f = y - 8, -10 = -4*f - 2*y for f.
1
Let h be (6/(-4))/((-3)/6). Solve -5*j = -3*j - m + 7, h*m = 5*j + 16 for j.
-5
Let o be (-10 + 7)*(-8)/6. Solve o*a = -5*h + 17, 0 = 3*h + h - 4 for a.
3
Let t(y) = y**2 + 4*y + 3. Let m be 3/(-9 + 3)*10. Let z be t(m). Solve -4*g + 9 = -4*w - 23, -2*w - z = 0 for g.
4
Let d = -1 - -6. Let v = -18 + 26. Suppose 2*z + 2*z - v = 0. Solve 5*y + 6 = -d*i + 3*i, 0 = i + z*y + 3 for i.
-3
Suppose -5*b = 5*j + 40, -4*b + 5 = -j + 22. Let m = b - -9. Suppose 15 = m*n - n. Solve 2*u = 5*z + 30, 0 = -3*u - n + 20 for z.
-4
Let n(f) = 3*f - 50. Let g be n(18). Solve -5*i + 3*h = -1, -h + 3 = -2*i + g for i.
2
Let u = 6 + -4. Suppose -u*y = 2*y. Suppose p + 11 = 5*a - p, -4*a + 10 = -p. Solve 32 = -a*i - 5*f, f + 3 + 1 = y for i.
-4
Let b be (-30)/20*52/(-6). Suppose b*j - 8*j - 5 = 0. Solve -5*h + 5 = 0, -h - 2*h = c + j for c.
-4
Let m = 17 + -12. Let d be 4/14*(-35)/(-5). Suppose 4*q - 9 = d*q + c, 4*c = 4. Solve q*n + 3*y + 13 = -24, -4*n = -m*y for n.
-5
Suppose 7*f - 25 = 2*f. Solve 19 = 3*s - f*m