n + 15 = z for u.
5
Suppose 6*n - 95 - 1 = 0. Solve -n = -5*j - 1 for j.
3
Let h(a) = -a**3 + 6*a**2 - 4*a - 5. Let b be h(5). Solve b = -2*p - 1 - 3 for p.
-2
Let p(t) = t**3 + 6*t**2 + t + 6. Let j be p(-6). Solve 4*x = -8 - j for x.
-2
Suppose -i - 4*i + 135 = 0. Let j be ((-10)/(-3))/((-6)/i). Let u be j/(-10)*8/6. Solve -3*x + 20 = u*x for x.
4
Let k(s) = s**3 - 10*s**2 + 2*s - 14. Suppose 0 = 3*q - 3*j - 27, 2*j - 52 = -5*q - 0*q. Let p be k(q). Solve 4*f + 22 = p for f.
-4
Suppose -4*p + 5*j = -15, -5*j = 3*p - 37 - 18. Solve -4*q = q + p for q.
-2
Suppose 4*n + 10 = 2*l, -15 = 5*n - 3*n - 3*l. Solve -5*q - 1 - 4 = n for q.
-1
Let u = 41 - 29. Solve -3 + u = -3*k for k.
-3
Suppose 30 = 5*l + 10. Solve 2 = l*h - 2 for h.
1
Let x = 27 + -23. Solve -6*c = -x*c for c.
0
Let h(i) = 4*i**2 - 9. Suppose -3*a + 2 = -10. Let l(n) = -5*n**2 - n + 10. Let v(q) = a*h(q) + 3*l(q). Let k be v(-4). Solve -6 = -4*c - k for c.
-4
Let u be (4/10*5 + -3)*-9. Solve u = -4*q - 11 for q.
-5
Suppose -5*b = 3 + 2. Let m be -10 - -7 - b*3. Solve -2*a = -m + 2 for a.
-1
Let d be 36/8 + 6/(-4) + 0. Solve -d*r - r - 8 = 0 for r.
-2
Let l be (9/18*(-3 + -1))/1. Let r = -3 - 3. Let s = l - r. Solve 15 = -s*z + 3 for z.
-3
Let c(p) = p**3 - 5*p**2. Suppose -10 = -4*x + 2*x. Let l be c(x). Solve -a - a = l for a.
0
Let g be (2/4 - 2)*2. Let z = -1 - g. Solve -t + 0 = -z for t.
2
Suppose 4*r + 5*p + 17 = 0, 5*r - 5*p - 19 - 16 = 0. Let o(w) = w + 11. Let l be o(-8). Let b(m) = m**3 - 3*m**2 + 2. Let z be b(l). Solve -z = -r*q - 0 for q.
1
Let p = -12 + 19. Solve -p*z + 3*z - 16 = 0 for z.
-4
Let b be 6/4*2 + -1. Let n(j) = -j**3 + 3*j**2 - 2. Let q be n(2). Suppose 3*o - 18 = 5*s - s, q*o + 2*s + b = 0. Solve o*w + 2 = w for w.
-2
Let n(p) = -7*p**3 - 5*p**2 - 5*p + 3. Let s(g) = 13*g**3 + 9*g**2 + 9*g - 6. Let u(f) = -11*n(f) - 6*s(f). Let c be u(0). Solve i = -c*i - 4 for i.
-1
Let g be 1/((-229)/(-76) - 3). Suppose -4*d = -f + 87, 4*f - g - 20 = 4*d. Let c = -12 - d. Solve -4*t + 3 = -c for t.
3
Let v(j) = j**2 - 3*j + 1. Let c be v(5). Solve -4*r + c = -5 for r.
4
Suppose u - 2 = -0*u. Let i = u - 2. Let s be 6/(-12)*(0 - i). Solve s*k = 4*k + 4 for k.
-1
Let b = 2 - 2. Let j be ((-2)/4)/((-1)/(-6)). Let k be 2/j - (-102)/18. Solve i - k*i - 16 = b for i.
-4
Suppose 2*g + 1 - 11 = 0, -2*g = t - 8. Let d be t + 5 + (-1 - -3). Solve 2*z - 3 = d for z.
4
Let k(h) = h**2 + h - 7. Let f be k(3). Let o = f - -6. Solve 0 = 4*x + 5 + o for x.
-4
Suppose 0 = 71*q - 74*q + 24. Solve -4*y = -q - 8 for y.
4
Let n = 6 + -8. Let w = n - -4. Solve -w - 2 = t for t.
-4
Suppose u + 3*w = 10, 3*u + 4*w - 24 = -u. Solve -u*b - 3 = -15 for b.
3
Let p be (-8)/(-20) + (-36)/(-10). Suppose 5*x - 3*o - 1 = 0, p*x + 4*o - 11 = 9. Solve -2*g = x*g for g.
0
Let a(b) = 2*b**2 - 12*b. Let v be a(9). Let h(p) = -p**3 - 8*p**2 - 2*p + 1. Let m be h(-7). Let q = v + m. Solve -2*n = 2*n - q for n.
5
Suppose 0 = 5*x - 3*x. Solve -2*h - 6 = -x*h for h.
-3
Suppose -g - 3 = 4*x, 10 = 3*g - 3*x - 26. Suppose 2*j = 0, 0*j - g = -3*u + 3*j. Solve 0 = u*a - 0*a for a.
0
Let o(p) = -2*p + 12. Let z be o(0). Let r be (0 - (-4)/6)*3. Let w be 4 - (r + -1)*-1. Solve 0 = f - w*f + z for f.
3
Let c = -164 + 162. Suppose 2*j + 0 + 4 = 0. Let x = c - j. Solve -5*a + a = x for a.
0
Suppose 10*u = 5*u - 4*k + 37, 5*u - 5*k = 10. Solve u*i = i for i.
0
Suppose -2*x = -7 + 1. Solve 0 - 6 = x*q for q.
-2
Suppose 0 = 14*v - 32 - 52. Solve -v*u + 5*u = -1 for u.
1
Suppose 0*q + 5*q = 15. Solve -h + q*h = 0 for h.
0
Suppose -2*s + 32 = -4*m, 3*s = -4*m - 3 + 1. Solve s = 10*n - 8*n for n.
3
Let t(c) = -c**3 + 4*c**2 + c - 2. Let m be t(4). Suppose m*a = 3*u - 21, -9 - 12 = -3*u + a. Solve -3*q + u + 5 = 0 for q.
4
Suppose 2*j - 6*j = -12. Solve 0*i + j = i for i.
3
Suppose 5*k + 29 - 9 = 0. Let b = 9 + -4. Let r = k + b. Solve -z + 2 = r for z.
1
Suppose q - 16 + 169 = 4*t, t + 4*q - 51 = 0. Suppose t = g - 4*g. Let j = g + 19. Solve -5*i + j*i = 0 for i.
0
Let g(w) = -2*w**2 + w - 3. Let h be g(-3). Let f = -20 - h. Solve -6 = -f*r - 22 for r.
-4
Let i be (0/4)/(-3 + 3 - -2). Solve n = -i*n - 1 for n.
-1
Let c be (-4 + -1)/5 - -7. Solve 2*y = c*y - 20 for y.
5
Suppose -10*z + 11*z = 4. Solve 0 = -k + z*k - 9 for k.
3
Let g(r) = -r**3 + 10*r**2 + 2*r - 16. Let q be g(10). Let w be 1 - (-1 - 2/(-1)). Suppose w = -2*f - f + 6. Solve 0 = f*v - v - q for v.
4
Let p = 24 + -20. Suppose -a - 1 = q, 0 = q - p*a + a - 19. Solve 4*o = 4 + q for o.
2
Suppose -8*i + 92 = -4*i. Let l be (-1)/(-3) - (-40)/(-3). Let d = l + i. Solve 10 + d = -4*n for n.
-5
Let s(g) = -g**2 + 6*g + 3. Let t be s(6). Suppose t*i - 9 = -0. Solve i*q + 5 = 17 for q.
4
Let s(j) = j**3 + 2. Let n = 1 + -1. Let a be s(n). Let p = -145 - -146. Solve -a*y + p = -3*y for y.
-1
Let b(r) = -3*r**3 + 2*r**2 + 2*r - 1. Let k be b(-1). Solve -2 = k*h - 0*h for h.
-1
Suppose -7 = 3*y - 1. Let q = 5 + y. Suppose 0 = 2*x + 3*s - 15 - 4, 0 = 5*x + 2*s - 42. Solve l = -q*l + x for l.
2
Suppose -w = -6*w + 40. Let n(l) = -7*l**2 + 2*l - 1. Let f be n(1). Let a = f + w. Solve 4*o - a*o + 2 = 0 for o.
-1
Suppose 8 + 6 = 7*b. Solve 0*k + b = -k for k.
-2
Let c(r) = r**3 - r**2 - r. Let j be c(2). Suppose j*t - 10 = -4*g, 3*t = 2*t - 5*g + 8. Solve -t = -2*p - 1 for p.
1
Let l = 8 + -5. Let u be 12/(8 + -5) + (0 - -4). Suppose f + u = l*f. Solve -2*d - f = -d for d.
-4
Let q(a) = a**2 - 5*a - 4. Let r be q(6). Suppose 0 = r*f - 4*f. Suppose w = -f*w. Solve 0*m + 3*m + 15 = w for m.
-5
Let u = 21 + -13. Suppose -l + 4 = -u. Solve -2*v = v - l for v.
4
Let x = -30 - -48. Let f be (-1*x)/(6/(-4)). Solve 0*n - f = -3*n for n.
4
Suppose -4*c - 2*q + 6*q + 8 = 0, q + 2 = -2*c. Solve c = 3*z - 0 - 9 for z.
3
Let f(b) = 7*b - 38. Let t be f(6). Solve 2*c + 0 + t = 0 for c.
-2
Let i = -5 + 15. Suppose 0 = 5*o + i - 30. Solve o*v - v + 15 = 0 for v.
-5
Let l be (0 + 6)*24/9. Suppose -m = -3*m + l. Solve -4*a = 4 - m for a.
1
Let f be 10 - 3 - 3*1. Let g = 0 - 0. Suppose g*j + f*j = 24. Solve 2*d - j = -16 for d.
-5
Let q(i) = 4*i**3 + 2*i**2 - i. Let r be q(1). Suppose -22 - 3 = r*z. Let x be 2/5 - (-2)/z. Solve -p + 2 + 1 = x for p.
3
Suppose 5*p + 7 - 17 = 0. Solve 3*c - c + p = 0 for c.
-1
Let a(l) = -7*l + 50. Let m be a(6). Solve o + m = -o for o.
-4
Let g = 209 - 178. Solve 5*q + 11 - g = 0 for q.
4
Let r(d) be the first derivative of d**2/2 - d + 1. Let w be r(4). Solve 0*h = w*h + 12 for h.
-4
Let k be (4/1)/(10/5). Let g = 4 - k. Suppose -2*u + 6 = 5*q, g*u - 9 = -4*q - u. Solve s + q*s - 2 = 0 for s.
2
Let g = 0 + 0. Suppose 4*m = -g*m. Solve m = -4*r + 2*r for r.
0
Let a = 7 - 18. Let o = -6 - a. Solve 12 = -o*z + z for z.
-3
Let c be ((-40)/(-12))/(1/9). Suppose -2*u - c = -5*u. Solve -u = 5*g - 0*g for g.
-2
Let u = 8 - 6. Solve -u*s - s + 15 = 0 for s.
5
Let s(d) = -d - 5 + 7 + d**2 + 3 - 4*d. Let y be s(4). Solve 2*z - 5 = y for z.
3
Let l(m) = -m**2 + 4*m + 4. Let k be l(3). Suppose -k = -5*v + 3*h, -3*h - 3 = -2*v - 2. Solve -v*w = -w for w.
0
Let o = 39 - 35. Solve -o*w + 5 = -5*w for w.
-5
Suppose -14 = -2*o - 2. Suppose o*f = f. Suppose f = 5*g + s - 17, g + 4*g = s + 23. Solve -a = g*a for a.
0
Suppose -12 = -2*j - j. Suppose 8 = j*l - 4. Solve 6 = y - l*y for y.
-3
Let u be ((-6)/4)/((-12)/16). Suppose -u*x + 0*x = 16. Let k be 41/2 + x/16. Solve k = -3*w - w for w.
-5
Let i(h) = -2*h + 2. Let w be i(1). Solve 2*b + w = -6 for b.
-3
Suppose -5 = -3*r + 1. Solve -6 = -r*y + 4*y for y.
-3
Let u = -14 + 17. Solve 0*h - 12 = -u*h for h.
4
Let r be 0/(-4 + 0 - -2). Solve r = -2*d - 3*d for d.
0
Let s(h) = 2*h**3 + 3*h**2 - 1. Let p be s(-2). Let n = 9 + p. Solve -a = 1 + n for a.
-5
Suppose 5*n - 17 = g, -n - 2*g - 3*g = 7. Solve i + n - 1 = 0 for i.
-2
Suppose -f - 2*f = -27. Suppose 4*w = f - 1. Let z be 4/(1 + w/2). Solve -t = -0 + z for t.
-2
Let t(k) = -k**3 - 6*k**2 - 5*k - 2. Let u be t(-5). Let i = u - -5. Let o be (3 - 2) + 1 - 2. Solve i*g + 1 + 2 = o for g.
-1
Suppose 9*o - 21 = 15. Solve -3*s + o = -2*s for s.
4
Suppose -4*l = 6*x - x - 14, 0 = -2*x - 4. Let i be 3/l*(5 + -1). Suppose -5*p - 37 = -i*q, -q + 3*q + 4*p = -8. Solve 0 = 3*u - 0*u + q for u.
-2
Let m(h) = -h**3 - 7*h**2 - 8*h - 9. Let p be m(-6). Solve 19 = -p*u + 7 for u.
-4
Let i be (-4 +