j + 4. Let w be m(t). Solve 8 = 3*q - w for q.
3
Suppose -5*s - 3 = -4*c, s - 3 = c - 4. Suppose -2*j + 7*j = 20. Let a be 6/j*(4 - c). Solve 0 = a*x + 6 for x.
-2
Suppose -5*h + 10 = 3*x, 4*x - 6 = -5*h + 9. Solve -t + x*t = -4 for t.
-1
Let s = 10 + -15. Let z = -8 - 37. Let o be (z/(-12))/s*-8. Solve -2*g = -o + 14 for g.
-4
Let l be 0 - 1*(0 + -5). Solve -w + 2*w - l = 0 for w.
5
Let c be 12*((-4)/3)/(-2). Let d = 16 + -11. Suppose 6*y - 4*y - 3*q - 16 = 0, 4*y + q = 4. Solve d*k - c = y for k.
2
Let x(m) = 2*m - 3. Let q be x(-3). Suppose -5*w + 2 = -3. Let r be 5*w/((-15)/q). Solve 0*u = -u + r for u.
3
Let g = 24 - 22. Solve 5*l + 7 = g for l.
-1
Let b(y) = -y**2 - 7*y + 6. Let l be b(-7). Let x be (-16)/l*(4 - 1). Let o be (-4)/x*(1 - 1). Solve o*z - 3*z = -6 for z.
2
Let c be ((-3)/12*0)/2. Suppose c = 3*t - 12 - 0. Solve y = -y - t for y.
-2
Let q = -7 + 10. Suppose -5*c - 4 = -9, 2*i - q = 3*c. Solve -y + 6 = i for y.
3
Suppose -j + 30 = 4*j. Solve z + j = 4*z for z.
2
Let n(z) = -z**3 - 3*z**2 - z - 2. Let y be n(-3). Let j be (-4)/(12/(-15))*-1. Let q be (18/(-30))/(y/j). Solve q*v - v = -2 for v.
-1
Let f(l) = -l + 5. Let p be f(-8). Solve 4*r + p = -3 for r.
-4
Let h = -4 + 4. Let k = 18 + h. Let i = -13 + k. Solve 16 = -i*p + p for p.
-4
Let y be 1/(27/(-63) + 19/28). Suppose -2*n + m - 1 = 0, n + m - 4 + 3 = 0. Solve -y = -2*q - n for q.
2
Let p be 4 - (1 - 1)*1. Suppose p*j - 10 = 2*j. Solve -34 = -j*q - 9 for q.
5
Suppose 3*v = -3*y + 1 - 4, -5*y + v = -25. Solve y*f - 2*f = -10 for f.
-5
Let p be -3 - (-7 - -1) - -1. Let d = 6 + -4. Suppose -t - 4*y = 2*t - 2, 2*t - 4*y - 28 = 0. Solve -p - t = -d*f for f.
5
Let x(u) = -u - 4. Let h be x(-6). Solve l - h*l = -4 for l.
4
Suppose -4*m = 3*w - 2, 4*m = -2*w - m - 1. Let t(v) = v**3 - 2*v**2. Let n be t(w). Solve x = -n + 2 for x.
2
Suppose -5*h = -5*y - 15, 3*h = -2*h - 3*y - 1. Let q be (-10)/(-2)*(-4)/(-10). Solve h + q = -r for r.
-3
Let i = 42 + -39. Solve m - 4 = -i*m for m.
1
Suppose -11 = h - 4*n, -3*h + 14 - 8 = n. Suppose -3*g - 2*d + 14 = 0, g + 2*d + 2 - 8 = 0. Suppose -x = -g - 0. Solve -21 + h = -x*w for w.
5
Let h(m) = -m**2 + 4*m + 8. Let d be h(5). Solve 0 = d*q - 8*q - 20 for q.
-4
Let u be 5 + -3 + (-4)/2. Suppose u = v + 3*v - 32. Solve 0 = -2*s + v for s.
4
Suppose -t + 3*t = 2. Let q = 3 - t. Solve -q*w + w - 1 = 0 for w.
-1
Let b(x) = -21*x - 1. Let f = 5 - 2. Suppose f*v = -v - 4*y, -4*v - y = 3. Let o be b(v). Solve n - o = 5*n for n.
-5
Let m(s) = -2*s - 7 - s**2 + 2*s**2 - 1. Let j be m(4). Suppose 4*b - 3*b = 5. Solve j = b*f + 4 + 6 for f.
-2
Let o be (5 + -2)/((-1)/(-2)). Let z = o + -3. Solve -z*u - 4 + 13 = 0 for u.
3
Let s(t) = t**3 + 7*t**2 - t - 1. Let g be s(-7). Solve -5*a + 4 + g = 0 for a.
2
Let h(a) = a - 6. Let l be h(6). Let p(q) = q**3 + q - 7. Let v be p(l). Let t = 22 + v. Solve -4*j = -9*j + t for j.
3
Let a(z) = 2*z**2 + z + 2. Let l be a(2). Suppose -3 = -3*j - 2*c - 0, 0 = -4*j + 2*c - 10. Let s be (2/6)/(j/(-15)). Solve -2*t - l = -s*t for t.
4
Let c be (-56)/70*10/(-4). Solve c + 6 = -2*n for n.
-4
Suppose 5*k - r - 4 = 11, -2*r = 10. Suppose -k*l = -3*j + 6, -4*j - l = 2*l - 25. Solve q + 9 = j*q for q.
3
Suppose -15 = -6*d + d. Solve 2*f + 1 = d*f for f.
1
Let f = -2 - -4. Let m(i) = -i + 1. Let x(g) = g**3 - 6*g**2 + 6*g - 5. Let w be x(5). Let s be m(w). Solve -f*t = -t + s for t.
-1
Suppose 2*k + d - 11 = 6*d, -2*d = 4*k - 10. Suppose k*j - 16 = -x, -2*j = -2*x + 4*x - 16. Let z = 6 - j. Solve 3*v - 1 = z for v.
1
Let d(j) be the second derivative of -j**4/12 - 7*j**3/6 + 2*j**2 + 3*j. Let w be d(-7). Solve w*o + 0*o = -4 for o.
-1
Let f = -10 - -14. Suppose -3*a + 59 = 4*d, 6*d - 5*a - 65 = d. Suppose d = -4*b + 5*b. Solve 2*x + f = b for x.
5
Let k = 1 - -4. Let b be ((-4)/(-10))/(-1)*(-36 - -6). Solve -f = -k*f - b for f.
-3
Let h(r) = r**3 - r**2 - 2*r - 4. Let f be h(3). Let w = 12 - f. Suppose -79 = -5*s - w. Solve -q - s = 2*q for q.
-5
Suppose 7 - 3 = 2*m. Suppose n + m = 1. Let v be 3*6 - (n - -4). Solve 0 = -8*a + 3*a - v for a.
-3
Suppose -2*j - 72 = -6*j. Suppose -3*f + 16 = -f - 4*o, -j = -4*f + o. Solve 0 = -7*d + f*d - 12 for d.
-4
Suppose 5*g = 3*g. Let j(f) be the second derivative of 19*f**4/12 + f**3/3 - f**2/2 - f. Let r be j(1). Solve g = -b - 4*b - r for b.
-4
Let y = -3 - -7. Let b(r) = 5*r**2 - r + 1. Let w be b(1). Solve 3 = y*a - w for a.
2
Let y = 11 + -9. Solve 0 = y*o - o + 4 for o.
-4
Let b be 15*(10/(-15) + 1). Solve -b*x = 7 - 17 for x.
2
Let n = -14 + 19. Solve l - 1 = -n for l.
-4
Suppose -4*y - 36 = -z, -3*z = -5*y - 77 + 4. Let v(j) = j - 1. Let d(c) = -c + 1. Let r(t) = -6*d(t) - 7*v(t). Let o be r(0). Solve -z + o = 5*w for w.
-3
Suppose 3*m - 1 = 5. Solve 0*r = m*r + 6 for r.
-3
Suppose g + g = 10. Solve -g*c + 0*c + 15 = 0 for c.
3
Suppose -z + 4*c = 16 + 4, -4*z - c = -5. Suppose z*i = i + 10. Let h(x) = x**3 + 10*x**2 + x + 13. Let k be h(i). Solve 0*n - 3*n - k = 0 for n.
-1
Let h(z) = -z**2 - 3*z. Let g be h(-2). Let i(q) = 5*q**2 + q**3 + 0*q**2 - 9*q**3 - 4*q**g. Let a be i(-1). Solve 4 - a = 5*y for y.
-1
Let g(u) = -u**3 - 3*u**2 + u + 2. Let h be g(-3). Let x(j) = j + 3*j**2 - 4*j - 1 + 2*j. Let t be x(h). Solve 0 = 2*z + t + 1 for z.
-2
Let s = -16 - -14. Let o be 6/(-9) + (-2)/(-3). Let v = o - s. Solve 8 = -0*q - v*q for q.
-4
Let u(a) = a + 4. Let i be u(5). Let r(s) = -s + 11. Let f be r(i). Solve 1 - f = -v for v.
1
Let d(r) = 3*r**3 - 2*r - 1. Let m be d(-1). Let l be (m - 0)/(6/(-15)). Solve 3*b + l + 4 = 0 for b.
-3
Let w be (3 - 0) + (-15)/5. Solve w*y + 4*y = 20 for y.
5
Let l(v) = 2*v**2 + 4*v + 2. Suppose c - 6 = 4*c. Let m be l(c). Solve -3 = -m*z - z for z.
1
Let n = -24 - -32. Solve y = 3*y + n for y.
-4
Let k be 5/((1 - 0)*1). Let b be -2*3/6*-1. Let c = k + b. Solve 4 = -2*x - c for x.
-5
Let y(v) = -v**2 - 4*v - 1. Let o be y(-3). Let r = 11 + -9. Let g be 1*o/r*0. Solve g*d - 6 = -2*d for d.
3
Suppose 0 = -g + 5*g. Let w be 129*(0 - 2/(-6)). Suppose 5*m + 4*d - w + 13 = g, 1 = -2*m + d. Solve u = -m*u - 3 for u.
-1
Let k = -18 + 20. Solve n - k*n = 0 for n.
0
Let i(k) = k**3 + 14*k**2 + 2*k + 28. Let t be i(-14). Let l be (2/(-2))/((-1)/13). Suppose b - o - 7 = 1, t = -2*b + o + l. Solve -b*p = -0 - 15 for p.
3
Suppose -14 = -10*a + 8*a. Solve 3*u - a = -22 for u.
-5
Let w be 3*(-5 + 6)*1. Solve 0 = 2*c - w*c for c.
0
Suppose 0*u = u + 5. Let n(o) = o**3 + 6*o**2 + 6*o + 5. Let d be n(u). Solve 12 = -d*j + 3*j for j.
4
Suppose 5*l + 9 - 29 = 0. Solve 3*s = 1 - l for s.
-1
Let a(r) = -r - 1. Let g be a(-3). Let c(z) = 2*z - 6. Let y be c(4). Solve 0 = g*q + 2 + y for q.
-2
Let r(v) = -2*v**2 + 6*v. Let m be r(3). Solve m*l - 20 = 5*l for l.
-4
Suppose 0*v + 4*v - 4*y = 24, 0 = -v + 3*y + 8. Suppose 4*a = 3*i - 7, -4*i - 2*a = -v*i + 1. Solve -i*d + 20 = -0*d for d.
4
Suppose 2*v - 18 = v. Suppose -v - 6 = -3*u. Suppose h + 2 = -n, 0*n + 5*n = -3*h. Solve -g - u = n*g for g.
-2
Let j(y) = -y**3 + 8*y**2 - 5*y - 2. Let p be j(7). Suppose -3*h = -7*h + p. Solve 0 = -h*u + u - 4 for u.
-2
Let d(n) = 3*n**2 - 5*n + 4. Let u be d(3). Suppose -v = -6*v - 15. Let g be (2*(-6)/v)/1. Solve g*w + 0 = u for w.
4
Suppose -8*r = -3*r - 20. Let w = -4 + r. Solve 6 = 3*s - w for s.
2
Let m(v) = -v**2 - 2*v + 7. Let f be m(-3). Solve f = 5*x + 9 for x.
-1
Suppose 12*w = 13*w. Solve -2 + w = -r for r.
2
Let s(i) = i**3 + 3*i**2 - 6*i - 6. Let j be s(-4). Solve 0 = j*a - 2 + 8 for a.
-3
Let i be (-3)/(-2)*(-4)/(-3). Suppose i*k = 3 - 1. Solve -5*y - k = 14 for y.
-3
Let t(w) = 2*w**2 + 3 - 7 - 3*w**2 + 7*w. Let l be t(6). Suppose -l*z = 3*o - 17, -3*z - o = -0*z - 15. Solve 11 = -z*f - 5 for f.
-4
Suppose 48 = 3*i + i. Suppose -z - 2*z = 0. Let u = 5 - 1. Solve -u*y = -z*y + i for y.
-3
Suppose 0 = 2*l - 16 + 6. Solve l + 20 = 5*u for u.
5
Let u be 102/5 + (-2)/5. Suppose 5*b + 99 = 2*y, -5*y + 2*y + 101 = 2*b. Suppose 5*a - 4*w = -0*a + y, a - 4*w = 17. Solve -k - u = -a*k for k.
5
Let s be 13/5 + (-4)/(-10) - 0. Solve s*g - 1 = 2*g for g.
1
Suppose w + 3*v - 54 = 3*w, 4*w + v = -94. Let c be -3 - 1/(3/w). Solve -c*u + 31 - 11 = 0 for u.
4
Let j be (-8)/10 - 1/5. Let c be (-35 + j)*(-2)/4. Suppose 20 = 5*z + 5*d, -4*z = -2*d + 7*d - c. Solve -z*s = -s for s.
0
Let z(q)