. Solve 17 = 4*i + l for i.
3
Let u be -2 - (1 - 3/(-1)). Let x(d) = -d**3 - 5*d**2 + 5*d - 1. Let r be x(u). Suppose -5*y + 11 = 31, -5*n - r*y = 10. Solve n*t + 2 = t for t.
-2
Let u be (-12)/(-2)*(-10)/(-30). Solve -k + u = 3 for k.
-1
Let f = 23 - -7. Suppose h = 6*h - f. Solve m = 4*m - h for m.
2
Let t(s) = 5 - s - 2 + 4. Let n be t(5). Suppose 0*d + 18 = 2*z + 5*d, z - 6 = -d. Solve -n*m = -z*m + 2 for m.
1
Let h(p) = -p**2 - 7*p + 34. Let c be h(-10). Solve c*u + 6 = 14 for u.
2
Let g be -10*((-2)/(-2) - -1). Suppose -5*m = -0*m - 25. Let j be ((-4)/m)/(8/g). Solve j*c - 1 = 5 for c.
3
Suppose -2*d = -7*d + 35. Solve -5 = 3*k + d for k.
-4
Suppose 50 = -8*y + 3*y. Let v be 6/(-10) + (-6)/y. Solve -3*i - i + 4 = v for i.
1
Let o be 1/(-4) + 292/16. Let s = o - 30. Let k be (-27)/s + (-2)/8. Solve k*n - 4 = -0 for n.
2
Let z = 11 - 9. Solve 3*c + 8 = z for c.
-2
Let z = 1 - 0. Let g = 0 - -5. Suppose 0*k = -g*k. Solve -r - z = -k for r.
-1
Let v be ((-15)/(-10))/(1/(-4)*-3). Solve 0 = -v*a - 3*a - 5 for a.
-1
Suppose -t - 9 = -4*t. Suppose 3*w - t + 0 = 2*k, -2 = -5*k - 2*w. Solve -b + k = -3 for b.
3
Let w = -38 + 41. Suppose w*a = -5*a. Let n(u) = -u**2 - 4*u + 2. Let d be n(-4). Solve a*m = d*m for m.
0
Suppose -5*f + 36 = -f. Let u = 14 - f. Solve -10 = u*t - 5 for t.
-1
Suppose m = -3*g + 43, -g + 5*m = 2*m - 11. Let y be 0 + -1 + 56/g. Solve 0 = y*z - 2*z - 3 for z.
3
Suppose 48 = 4*p + 4. Suppose p*x - 12*x + 5 = 0. Solve 0*z = x*z - 25 for z.
5
Suppose -2*f + 26 = -2*z + 4*z, 0 = 3*z - 2*f - 24. Solve 25 = 3*r + z for r.
5
Let j be (2/(-6))/((-8)/120). Solve 4*r + j - 1 = 0 for r.
-1
Let v be (-9)/(-6)*8/(-3). Let y = v + 6. Solve -y*o = -1 + 5 for o.
-2
Let j(t) = -4*t**2 + t. Let s be j(1). Suppose 4*b - 5*f = -1, -b - 4*f - 16 = -0*b. Let h = s - b. Solve -v - h = -2*v for v.
1
Suppose -6*p = 5*p. Solve p = 4*q - 3*q for q.
0
Let m = 40 - 67. Let l = 14 + m. Let k = 21 + l. Solve -k = -0*g + 2*g for g.
-4
Suppose 0 = 2*y + 8, -2*p + 20 = -0*y - 4*y. Suppose 4*s + 59 = 5*a, -p*a - a + 57 = 3*s. Solve a = 6*c - c for c.
3
Let q = -55 - -57. Solve -5*x + 3 = -q*x for x.
1
Let s be 3*20/12*5. Solve -g - 4*g = s for g.
-5
Suppose -20 = 2*k + 3*k. Suppose -b - 1 = -5, l + 15 = 4*b. Let r = l - k. Solve a - r = -0*a for a.
5
Suppose -u + 3*p = -14 + 4, -5*u + 2*p = -89. Let o = -15 + u. Solve 0 = -o*n + 3*n - 3 for n.
-3
Let s be (-1)/((-4 - -5)/(10/(-2))). Solve s*c + 8 = c for c.
-2
Let d(w) = -5 - 2*w**2 - 5*w**2 - w**3 + 0*w - w. Let b be d(-7). Suppose -8 = 4*q - 4*m, m - 8 + 3 = -2*q. Solve b*i = i + q for i.
1
Suppose -4*h = -3*m - 29, 2*h - 2*m - 6 = h. Solve -3 = -h*s + 5*s for s.
1
Let x = 94 - 92. Solve 0 = -b + x for b.
2
Let v(u) be the third derivative of -u**4/8 - 5*u**3/6 + 4*u**2. Let z be v(-2). Solve 9 = 5*f - z for f.
2
Suppose 0 = -3*u + u - 10, 4*u = 2*s - 22. Solve 1 = 2*y - s for y.
1
Let i = -27 - -47. Solve -i + 0 = 4*c for c.
-5
Suppose -3*j = -2 + 5, 3*n = -4*j + 11. Let h = n - 0. Solve -h*m - 7 = 3 for m.
-2
Let l(x) = -x**3 + 6*x**2 - 6*x + 7. Let t be l(5). Let m be ((-30)/(-20))/(1/t). Solve -2*b = 9 - m for b.
-3
Suppose 0 = 3*c + 4*i - 53, i - 3*i - 71 = -5*c. Solve 7*s - 2*s = -c for s.
-3
Suppose 8 = 4*t + u, 5*t - 4*u + 0 - 10 = 0. Solve -1 + t = -v for v.
-1
Let i(g) = 4*g**2 - 10*g + 5. Let q be ((-1 - 0) + 0)*1. Let n(c) = -c**2 + c. Let r(s) = q*i(s) - 5*n(s). Let p be r(-7). Solve 3*y = -p - 3 for y.
-4
Suppose -5*h = -4*b - 0*h + 14, 0 = -4*h + 8. Solve b = 3*f - 3 for f.
3
Let r be -1*(0/1)/1. Let f be (-6)/(-4)*12/9. Suppose f*d - 3 = -d + 5*u, r = d - u - 1. Solve a + 0 = d for a.
1
Suppose -2*i - 3*i = -30. Suppose -2*m = 2*q, 5*q + 2*m - 45 = i*m. Suppose 0 = -2*y - 0*y + 14. Solve 3*r - q = y for r.
4
Let g = 8 - 6. Suppose g*r + 3*r - 5 = 0. Solve -3 = -2*o - r for o.
1
Suppose -29 = -3*h - 8. Let f = h + -3. Solve 0 = -t + f*t + 15 for t.
-5
Let f = -34 + 64. Suppose -4*r = r - f. Solve -r*l + l = 25 for l.
-5
Suppose 4*r + 3*x - 13 = 14, -6 = 3*r - 3*x. Suppose -5*b + 2 = -r*b. Solve q = -0 - b for q.
-1
Let a(u) = -u**2 - u. Let v be a(0). Let f = 3 + v. Solve -7*t + f*t = 16 for t.
-4
Suppose -5*z = -z - 16. Let m(j) = j**3 - 5*j**2 + 5*j - 2. Let f be m(z). Solve l - f = -0 for l.
2
Let i(g) = -g**2 - 5*g - 2. Let v = 9 + -5. Suppose 5*j - 17 = -2*n, 3*j - v = -4*n - j. Let l be i(n). Solve -2 = -l*t - 8 for t.
-3
Let l be 3/3 + 1 - 1. Let i be (l - 0)*-5*-1. Solve -20 = 5*b - i for b.
-3
Let m(d) = 2*d**2. Let p be m(-2). Suppose 0 = -k + 4*l - 4, -4*l + p = 0. Solve 5*v + k = 3*v for v.
-2
Let i(a) = -2*a - 2. Suppose -2*h - 2*h - 8 = 0. Let y be i(h). Suppose 3*o = f - 9, -3*f + 4*o + 36 + 1 = 0. Solve y*m = 7*m + f for m.
-3
Suppose 0 = 5*m - 20, s = -s - 4*m + 28. Let z = 0 + s. Solve 5*f = 3*f - z for f.
-3
Suppose 5*m = 2*d + 40, -2*m - 8 + 33 = d. Let t be 0 + 7*(1 + 0). Let s = m - t. Solve -s*j + j = 0 for j.
0
Suppose -d + 2*u - 38 = -6*d, 0 = -3*d + 4*u + 2. Let b = 7 - d. Solve 3*a + b = 4*a for a.
1
Let u = 4 + -3. Let w = 1 + u. Solve w*s = 4*s for s.
0
Let x be ((-3)/((-9)/21))/1. Let o = -2 + x. Solve n = o*n for n.
0
Let p(f) = -f**2 - 8*f - 7. Let t be p(-5). Let k(u) = 0*u - 9*u + 0*u**3 + u**3 + t*u**2. Let c be k(-9). Solve -w = -c*w - 1 for w.
1
Let i = 38 + -35. Solve 0 = -5*o + i - 13 for o.
-2
Let g(f) = 9*f**2 + f. Let r be g(1). Suppose -5*p + r = -25. Let v(c) = -c**2 + 3*c + 4. Let d be v(3). Solve 27 - p = d*n for n.
5
Let i = -2 - -4. Let o(h) = -i*h + 1 + 1 + h + 0*h. Let l be o(-3). Solve l*r + 9 = -6 for r.
-3
Let y = 6 + -3. Let r be 0 + -3 + 3 - -1. Let b = 4 - r. Solve y*w + b = -0*w for w.
-1
Let q = 19 + -14. Solve q*m = -0*m - 25 for m.
-5
Let w = -10 - -15. Suppose 2*x = -0*x, 0 = -w*d - x. Solve 2*q + d*q = -2 for q.
-1
Let i(j) = j + 2. Let c be i(5). Suppose c = 2*d + 1. Solve -d*z = -7*z + 20 for z.
5
Suppose -m - 7 = -3*t, -5 = 2*m - 2*t - 3. Solve -m*y = y for y.
0
Let c be (-204)/(-10) - 10/25. Solve 9*r - 4*r = -c for r.
-4
Suppose 5 + 0 = -q. Let i = 5 + q. Suppose -f + 5 + 1 = i. Solve 3 = x + f for x.
-3
Let k(n) = -n**3 + 6*n**2 + 7*n + 4. Let b be k(7). Suppose b*g + g - 5 = 0. Let f be 3/g*(-8)/(-3). Solve -5*t - f = -t for t.
-2
Let h(k) = -3*k + 19. Let l be h(6). Solve 2 = 3*y - l for y.
1
Let p be 3/(-3) - (1 + -9). Let r = p + -3. Solve -12 - 8 = -r*b for b.
5
Let v = -6 + 6. Suppose v = -5*c - 3*w + 6 + 23, 4*w - 4 = 2*c. Solve -5*b = -c*b for b.
0
Suppose -2 = d - 7. Let b(z) be the third derivative of -z**5/60 - z**4/24 + z**3/2 + 3*z**2. Let r be b(0). Solve 0 = 2*g - r + d for g.
-1
Suppose c + 4 = 6. Let q be (-5 - 0)*16/(-20). Suppose w - 15 = q*w, -2*w - 14 = -2*a. Solve c = 2*t - a for t.
2
Let u = 6 - 2. Let r be (20/(-25))/((-4)/(-30)). Let o = r - -8. Solve o*i - u*i = 8 for i.
-4
Let n(l) = 2*l + 16. Let b be n(-8). Solve 2*m + 5 + 5 = b for m.
-5
Let d(x) = -4 + 4*x**2 + 3*x - 3*x**2 + 0*x**2. Let r be d(6). Suppose -5*c + 5*v = -r, 2*c - 21 = -0*v + v. Solve 4*m = -c - 1 for m.
-3
Let r(a) = 3*a + 4. Let o be r(-4). Let u = 11 + o. Let z be u*(0 - -1 - 0). Solve 4*x - z = 13 for x.
4
Let x(c) = c**2 - 2*c + 6. Let r be x(0). Solve 2*f - 4 - r = 0 for f.
5
Let r = -480 + 482. Let h(t) = 0 + 0 - 4*t. Let y be h(-1). Solve -6 = r*i - y for i.
-1
Let l(g) = 4*g**2 + 0*g**2 - 2*g**3 + 8*g + 3*g**2 + g**3. Let o be l(8). Solve -i + o + 1 = 0 for i.
1
Suppose -3*f + 150 - 27 = -3*b, -f = -5*b - 25. Let d be ((-1)/3)/((-3)/f). Solve -2*v = -d + 3 for v.
1
Let n be 6/15 - (-18)/5. Suppose n*w + 2*d = -0*d + 6, 4*w = 2*d + 26. Suppose 7*o = w*o + 18. Solve -20 = o*r - r for r.
-4
Let i(k) = 4*k**2 + 2*k - 1. Let y be i(1). Suppose 4*q + y = 37. Solve -5*d - q - 2 = 0 for d.
-2
Suppose -2*r = c + 2 - 28, 2*c = -8. Solve 3*i = -0*i - r for i.
-5
Let c be (-18)/4*(4 - 6). Let r be 18/5*25/10. Let g = r - c. Solve j + 2 = -g for j.
-2
Let v be (-4)/(-2 - (-3 + 3)). Solve -t - v + 3 = 0 for t.
1
Let w(f) = f**2 + 5*f. Let k be w(-6). Suppose -2*j = -k*j + 4. Solve -c = -0 + j for c.
-1
Let j be 8/36 + (-61)/(-9). Suppose 3*a + 17 = -4*t, -j = 3*a - 0*t + 2*t. Let p = 10 - a. Solve 3*l - 6 = p for l.
5
Let a be (-4)/10 + (-51)/(-15). Suppose c - 2 = -1. Let g(k) = 6*k**2 - 1. Let r be g(c). Solve -4*d + a = -r*d fo