 + 2, -3*p = i - 6 for i.
0
Suppose -n + 3 = -0*n. Let l(k) = 3*k - 23. Let q be l(9). Solve n*h = 5*g - 34, q*h = -g + h - 4 for g.
5
Let f(v) = 5*v**3 + 4*v**2 - 2*v - 1. Let g be f(2). Let b = -33 + g. Let o be (b/(-12))/(3/(-32)). Solve -l + 3*k = o, 0*l + 3*k = 4*l + 28 for l.
-4
Let d = -5 + 1. Let h(t) = t**2 + 2*t - 4. Let s be h(d). Let z(y) = -y + 8. Let b be z(6). Solve -10 = s*r + b*i + 12, -4*r = 4*i + 32 for r.
-3
Suppose 0 = -3*c + 5 + 1. Solve 2*m + 4 = 0, -4*i + m = -c*i - 12 for i.
5
Let q(m) = m**3 + 8*m**2 - 9*m + 5. Let h be q(-9). Suppose -4*f - 9 - 6 = 5*t, 25 = -h*f. Solve -u + 0 = -5*i - 3, 3*u + t = 5*i for i.
-1
Suppose -12 + 50 = -2*i. Let a = -17 - i. Solve -3*x = a*x + 2*u - 17, -2*x + 1 = -5*u for x.
3
Suppose 4*i = 3 + 9. Let h be (12*(i + -2))/2. Solve 3*y - 4*a - 31 = 0, -2*y = 2*a + 2*a + h for y.
5
Let z(h) = h**3 + 7*h**2 - 7*h + 8. Let y be z(-8). Solve -5*g + 10 = y, -g = 2*p - 3*p - 4 for p.
-2
Let v = -4 + 8. Suppose 12 + 0 = v*b. Let j be (-7 + 1)/b + 6. Solve 3*r = 2*x - 0*r, 5*r = -j*x for x.
0
Suppose 4*w - 2 = 6. Suppose 1 = 3*v - 11. Suppose -v*d + 0*c = -5*c - 31, -6 = 2*c. Solve -2*a + 3 = -d*j - 7, 0 = -3*a - w*j + 7 for a.
3
Let z be 6/33 - (-84)/22. Let k(t) = -t**2 - 2*t + 9. Let m be k(0). Solve 0 = 3*l - 4*v - 5, m*l - z*l + 30 = -v for l.
-5
Suppose -4*u + 22 - 6 = 0. Solve 23 = u*d + c, 3*c = -d + 4*c + 2 for d.
5
Let a be (-1 - 17)/((-4)/4). Let x be (-6)/a - 10/(-3). Suppose s = -0 + x. Solve s*l + 4 = m, -m = 2*m + 5*l + 2 for m.
1
Let i be ((-6)/(-10))/((-15)/(-150)). Solve 2*f + 3 = h, -2*f - 15 = 5*h + i for f.
-3
Let q be 84/9 + 2/3. Let u(d) = -d**3 + 9*d**2 + 11*d - 5. Let p be u(q). Suppose -3*b + 4 = -p. Solve 0 = -2*i - 3*k - 4, -4*i - 7*k = -b*k + 4 for i.
1
Suppose 3*d = -5*c + 10, -2*c + 8 = 2*c - 4*d. Solve x + o = -c*o + 7, 9 = -x + 5*o for x.
1
Let f be (-4)/(0 + -2 - 0). Let d(g) = g**3 - g**2 + 4. Suppose 5*h = 6*j - 2*j, -3*j = 0. Let x be d(h). Solve -4*q + 3*a = -5, f*q + x*a - 3*a + 5 = 0 for q.
-1
Let q be 2 - 0/(3/3). Let k be (3/(-3)*-3)/1. Solve 0 = -5*a, -4*a + q + 1 = k*i for i.
1
Suppose 0*p + 4*p - 40 = 0. Let t(a) = 2*a**3 - 4*a**2 - 2*a + 4. Suppose 3*l = 4 + 5. Let k be t(l). Solve 0 = 3*c + 2*m + k, 0 = -5*m - p - 0 for c.
-4
Suppose -5*a = 4*j + 1, -5*a - 2*j = j - 3. Solve l - 3 = 4*z + 6, a*l + 5 = -4*z for l.
1
Let r be 6/(-9) + (-128)/6. Let n = -4 - r. Solve -2*u + 5*w + 12 = 33, 5*w = u + n for u.
-3
Let a be 11/2 - (-4)/(-8). Suppose -2*d = 3*d - u - 10, -2*d - a*u = -31. Solve 4*p + 3*r - 12 = 2*r, d*r = -2*p + 6 for p.
3
Let k = -22 + 11. Let p be (1/(-1) - 0)*k. Let f be 2/7 - (-5)/7. Solve 3*z - p + 1 = -4*v, 2*z - f = 3*v for v.
1
Let v be (-3 - -2)*1 + -113. Let c be (-6)/33 - v/22. Suppose -4*t + 13 = c. Solve -t*i = -4*w - 18, i - 4*w = -4*i + 33 for i.
5
Suppose 11 = 4*g - 21. Let m = g + -6. Solve -2*s - 13 = m*s - u, 3*s = -u - 8 for s.
-3
Suppose -3*i - 2*i = 0. Suppose 4*g = 6*o - 4*o - 26, o + g - 1 = i. Solve -p = -6*b + 3*b + 7, 0 = -b + p + o for b.
1
Suppose 0 = -2*k - 4*m, 0 = -5*k + 5*m - 2 + 32. Let x = -3 + k. Solve 2*r - 3*q - 2 = -1, -r + x = -q for r.
2
Suppose u - 4*u - 3 = 0, 2*u = -2*c - 22. Let x(h) = h**3 + 11*h**2 + 8*h - 2. Let f be x(c). Solve -2*l - 4*w = 10 + 2, 5*l = 2*w + f for l.
2
Let f = -5 - -8. Suppose -5*l = 5*p - 5, 6 - 20 = -2*l + 2*p. Solve c = f, l*i - 8 = 3*i - c for i.
5
Suppose -4*l - 1 = -13. Suppose 3*m - 4*j + 29 = 0, 2*m = -l*j + 7*j - 18. Let v = -4 - m. Solve -4*t - 1 = 5*a, -v*t = 5*a - 2*t for a.
-1
Let i be (30/20)/(3/26). Solve -3*t = b - 5, 3*b = 4*b - 3*t + i for b.
-4
Let m(p) = -6*p + p**3 + 0 + 3*p**2 - 5 + 0. Let q be m(-4). Solve 4*a - q - 3 = -k, 2*k - a = -6 for k.
-2
Suppose -3*v = -5*v + 54. Let y be 4/(-10) + v/5. Let g = 27 + -24. Solve 5*r = -4*c - y + g, -4*c - 12 = 0 for r.
2
Let q(m) = -3*m - 1. Suppose 0 = -0*d - d - 1. Let x be q(d). Let y be (-6 - -6)*x/6. Solve -3*o + 5*a - 17 = y, -2*o - 4*a - 8 = -26 for o.
1
Suppose 2*f = -2*f + 40. Solve 2*l - d = d - f, d = 3*l + 15 for l.
-5
Let v = 3 - 2. Let p(h) = 4*h**2 - 3*h + 1. Let n be p(v). Solve -3*r - n*g = 15 + 1, -3*r - 11 = g for r.
-2
Suppose 24 = 3*c + 4*d, -4*d - 21 = -5*c + 19. Let f = c + -5. Suppose -2*z = -f*i - 12, 3*z - i - 2*i - 12 = 0. Solve z = -p + q - 3, 0 = -q - 4*q + 15 for p.
0
Suppose -6*h = -3*h - 6. Suppose 4*c + 4*w - 2 = 2, -w = -c - 1. Solve -h*x - 3*p - p + 10 = c, -5*x + 3*p - 14 = 0 for x.
-1
Let d(m) = -1 - m**2 - 3 + 11 + 0*m**3 + m**3 - m. Let g be d(0). Solve 3*l - 6 = -2*b + g*b, -3*l + 6 = 3*b for l.
2
Suppose 0 = -5*c - 7 + 27. Let x = -1 + c. Solve 0*d = v + 2*d - 1, -2*v = -x*d - 16 for v.
5
Let d = -15 - -35. Let s be 3/(-2)*(-20)/6. Solve 4*r + d = 4*b, 12 + 10 = -s*r + 2*b for r.
-4
Suppose -5*h + 14 = -4*v, -7*h + 2*h = 5*v - 5. Solve 0 = -n - 5*g + 17, -4*n = -2*g - 0 - h for n.
2
Let p(i) be the first derivative of -i**2/2 + i + 4. Suppose -2*t + y = 3, 0 = t - 4*t - 3*y. Let x be p(t). Solve 2 = -3*s + 2*c, -c + x*c = s for s.
-2
Suppose c = -4*c + 15. Suppose t = -c*x - 10, 4*t + x + 3*x = 0. Solve -t*y = 2*g - 4*g + 4, 6 = y + 3*g for y.
0
Suppose 3*y - 19 = -7. Let o be y*9/(-6) - 2. Let r = o + 11. Solve r*h - 3*j - 6 = 0, 18 = -3*h - 5*j + 2*j for h.
-2
Suppose 0 = 3*a - 4*h + 24 - 5, -30 = 5*a - 5*h. Let w = 10 - a. Suppose -50 = -w*c + 10*c. Solve j - 15 = -2*j, r + c = 3*j for r.
5
Let t = 34 - 13. Let c be (-9)/(-6)*16/6. Solve -c*u = -5*d + 17, -2*d - 3*d + 2*u = -t for d.
5
Let q = -1 - -4. Suppose 0*n = n. Suppose 3*u - 3*j = 36, n*u - 5*j = u. Solve u = q*m - 0*m - 4*c, 3 = m - c for m.
2
Suppose 0*v + q + 148 = 2*v, -69 = -v + 3*q. Let m be v/9 - 6/(-9). Let d = m + -4. Solve d*i - c - 9 + 4 = 0, c - 13 = -4*i for i.
2
Let g be ((-7)/21)/((-1)/3). Let w = g - -1. Solve -5*z + w*l + l + 27 = 0, -2 = -2*z - l for z.
3
Let y be ((-4)/6 + 0)*-15. Suppose 0 = 4*h + 12, -y + 1 = 2*p + h. Let r be (4/p)/(12/(-18)). Solve r*s + 0*s + 4*f - 20 = 0, 4*s - 20 = -3*f for s.
2
Let p(x) = -x**2 - 2*x + 3. Let j be p(-3). Suppose 0*t + t = -2*z - 10, 0 = 2*t + z + 32. Let k = t - -23. Solve j = y + f + 6, k*y + 4*f + 24 = 2*f for y.
-4
Let j be (6 - 11) + 1*10. Let f = 3 + -2. Let q = f - 1. Solve -j*t = 20, -5*g + 3*t + 8 - 1 = q for g.
-1
Let t(h) = h - 5*h - h**2 + 7*h**2 - 4 - h**3. Let d be t(4). Suppose -d = v - 5*v. Solve g - 5*w = -v, 5*w = 5*g - 3 - 2 for g.
2
Suppose 0*z = 3*z - 12. Let q be 2/2 + z/2. Suppose 0*k + q*k = 12. Solve 0 = -2*d + 3*d + 2, 10 = -k*m - 3*d for m.
-1
Let y be 824/40 - 9/15. Solve -y = 2*o - 4*b, -4*b + 6 = -2*b for o.
-4
Suppose -12 = -3*w, 6 = -3*m + 5*w - 14. Suppose m = 6*f - 3*f. Suppose 5*g - 55 = -f*g. Solve 4*p = -5*j + g - 5, -j + 2 = p for j.
-2
Let n = 6 + -4. Suppose -5*y = -n*y. Suppose c + y = 4. Solve -2*l = -4*j - 2, 5*l - 1 = c*j - 8 for l.
-3
Let z = -39 - -44. Solve -17 = -3*c + z*d, -3*d + 2*d = 3*c + 7 for c.
-1
Let n(l) = l**3 + l. Let q be n(1). Solve 8 = -r - 3*r, -3*k + q*r = 2 for k.
-2
Let d be (3*1)/(2 - 1). Suppose -4 = -260*s + 258*s. Solve d*x = -4*n + 4, 0 = -6*x + s*x + 5*n - 36 for x.
-4
Suppose 0*j - 20 = -4*j. Let v = 9 - j. Solve v*n - b + 3 = -4*b, 9 = 3*b for n.
-3
Let h be 2/((-2)/(-3) + 0). Suppose -5*v = -5*a + 10, -v + 3*v = a + h. Solve 3*l = 4*w + 10, 3*w = -2*w + l - a for w.
-1
Let h(f) = -f**2 + 17*f + 56. Let z be h(19). Solve 0 = -5*p - 20, -5*x - p - p = z for x.
-2
Let j(m) = m**2 + m + 2. Let r be j(-2). Solve -3*y = 0, 6*i = 2*i - y + r for i.
1
Suppose -3*a + 66 = -4*c, -3*c + 4*a - 68 = c. Let k be (-9)/(-4) - c/20. Solve 0 = 3*t + 2*j + 8, -k*t + 16 = -8*t - 2*j for t.
-4
Suppose -c = -4*v - 2*c + 52, -4*v - 3*c + 44 = 0. Let x = v - -1. Solve -3*d + x = -5*s - 7, 4*d = -s + 14 for d.
4
Let j = 35 + -21. Let n be 10/(-4)*16/4. Let l = 14 + n. Solve -l*s + 18 = g, -g + 2*g + j = 4*s for g.
2
Let d = -39 + 44. Solve 3*b = -d*u + 7 + 1, 5*u - 4*b - 36 = 0 for u.
4
Suppose -2*k + 9 = 3*m, -5*k + 3*m - 9 = -0*m. Suppose k*t + t - 14 = -4*i, 1 = 3*i - 4*t. Solve 11 = j + 3*y, -7 + 2 = -i*j - 2*y for j.
-1
Let p be 18*(-2 + 1) + -3. Let b = -13 - p. Solve 0*l + 2*l - b = -3*m, -2*l = -3*m + 4 for l.
1
Let f be 12/(-8)*(-2 + 0). Suppose f*a + 0 = 6. Solve 2*i = -z - 2*i - 11, -a*z = 