
0
Let n(g) = 3*g**2 - 25*g + 40. Let t be n(7). Solve 2*m - t = -16 for m.
-2
Let k = -83 - -109. Solve 17*n + k = -9*n for n.
-1
Suppose 16*l - 70 = 9*l. Solve 0 = 5*u - 0 - l for u.
2
Suppose -3*s - 5*c = 0, -4*s + 14 = -0*s + 2*c. Suppose r - f = 0, -5*r - s*f + 4*f = -6. Solve 3 + r = 2*a for a.
2
Let z be (-48)/(-27) - (-12)/54. Suppose -z*y = 2*y. Solve y = -t - 3*t for t.
0
Let k be (-1)/(-1 - 12/(-16)). Solve 2*q = k - 6 for q.
-1
Suppose -3*j = 3*j - 72. Let f(h) = -h**2 + 6*h + 7. Let d be f(7). Let c be (-6)/j*d/(-2). Solve c = -5*p + 4*p - 1 for p.
-1
Let l(g) = 4 + 9*g + 9 - 18*g + 6*g. Let b be l(3). Suppose -y + 17 = 8*j - 3*j, -b*j + 5*y + 31 = 0. Solve -h + 0*h = j for h.
-4
Let n be (-4)/(-18) - 392/63. Let x be -3 - (-2)/(n/(-9)). Solve x*k - 6 = 2*k for k.
-3
Suppose -9 = -3*a - 3*p, 85*p - 89*p + 12 = -a. Suppose -4*l + 11 = 31. Let w be 0 + 0 - 0 - l. Solve a = q - w*q + 20 for q.
5
Let k be (-4)/(-4)*(-74)/(-2). Let x = -38 + 19. Let j = k + x. Solve 5*t = 3 - j for t.
-3
Suppose 0 = -i - 3*i + 136. Suppose 35 + i = 4*o + 3*a, 0 = -o - 3*a + 15. Solve -6 + o = -3*m for m.
-4
Let o(y) = -y**2 + y + 2*y**2 + 0*y**2 - 3 + 4*y. Let g be o(-6). Let m be g/12 + 162/24. Solve 3*t = m*t for t.
0
Suppose -15 = -3*o + i, 4*o + 5*i - 3*i = 10. Suppose -m = m - 5*q - 4, 0 = -o*m - 4*q + 8. Suppose 0 = -m*x - x. Solve -5*f - 15 = -x*f for f.
-3
Let r(u) = u**2 - 7*u + 2. Let f be r(7). Let k be (-3)/(-6)*f - 1. Solve -3*w - 22 + 7 = k for w.
-5
Let u(m) = m**3 + 24*m**2 + 23*m. Let q be u(-23). Solve q = -t + 6 - 5 for t.
1
Suppose 50*q - 45*q = 20. Solve 2 = q*g + 14 for g.
-3
Let a(i) = -i**2 + 14*i + 3. Let s be a(14). Let h be (2 - 6)/(1 - s). Solve t - 3 = -h for t.
1
Let g = 11 + -2. Suppose -g = -0*w - 3*w. Solve 2 = i + w for i.
-1
Let g(w) = -w**3 + 7*w**2 - w - 21. Let s be g(6). Solve 24 = -s*z + 15*z for z.
4
Let s = 113 + -166. Let l = 63 + s. Let g(f) = -f**2 + 6*f - 2. Let j be g(4). Solve -j*p + p = -l for p.
2
Let r be (-5 - (-70)/15)*(1 + -28). Solve -r*p + 15 = -12*p for p.
-5
Suppose -8*x - 2*x + 140 = 0. Solve x = -4*s + 10 for s.
-1
Let k be (4 + 0)*1/(-2). Let o be k*3/3*-1. Suppose -h + o = -0. Solve -3 = -h*t + t for t.
3
Let b(r) = -r**2 - r + 8. Let f = -3 + 3. Let s be b(f). Let a be 4/s*-2*-1. Solve n - a = 2*n for n.
-1
Let y be 4/22 - (-184)/(-44). Let n be (-7)/y - (-5)/20. Suppose 0 = -4*x + c + 12, -2*x + 6*x - 4*c = 24. Solve k + n + x = 0 for k.
-4
Suppose q - 3*q = 3*i + 5, -3*i - 1 = 4*q. Solve q*u + 7 = 1 for u.
-3
Let h = 99 + -93. Suppose -z = -0 - 10. Solve z = -h*j + j for j.
-2
Suppose 6 = -b + 3*q - 4, q = -3*b + 10. Suppose 6*r - b*r + 2 = -5*w, -r = -2*w - 6. Solve -5*p = -r*p for p.
0
Let f(m) = m**3 - 7*m**2 + 5*m + 6. Let i = 43 + -37. Let z be f(i). Solve -4 = -z*s + 2*s for s.
-2
Let h(a) = -4*a. Let z be h(-1). Suppose 5*c = z*c. Let r = c + 5. Solve -r*d - 12 = -2*d for d.
-4
Suppose -2*n = 3*n - r - 60, -4*n + 48 = 2*r. Solve -n*z + 3 = -15*z for z.
-1
Let v be 58*((-5)/1)/(-10). Solve -v*z + 30*z = 0 for z.
0
Let r(m) = 2*m**2 - 5*m**2 - 5 + 8*m + 4*m**2. Let z be r(-10). Let t(a) = a**2 - 16*a + 16. Let s be t(z). Solve 0*i = i - s for i.
1
Let g(u) = u**2 + 5*u + 18. Let q be g(-6). Solve 4*l = -q + 8 for l.
-4
Let a = -450 + 453. Solve u - 2 = a for u.
5
Let u(d) = -d**3 - 4*d**2 - 2*d - 2. Let w be u(-4). Suppose 3*l = -0*l + 3*p + 21, -w = 2*l + 2*p. Suppose 0 = l*z - z. Solve -3*g - 3 + 9 = z for g.
2
Let q be (-4)/50 - (-602)/25. Solve -29*x + q*x - 15 = 0 for x.
-3
Suppose 0 = -m + 2*m + 5. Let u = m - -10. Let s be (80/(-12))/(-10)*3. Solve n + s - u = 0 for n.
3
Let g(k) be the third derivative of -k**4/12 + 8*k**3/3 + k**2. Let s be g(6). Solve 10 - 2 = s*r for r.
2
Let t = -295 + 308. Solve 11*q - 2 = t*q for q.
-1
Let r(y) = -y**3 - 10*y**2 - 8*y + 9. Let p be r(-9). Solve p = 3*o - 0*o + 12 for o.
-4
Let r = 10 - 6. Let m(c) = -c**3 + c + 14. Let n be m(0). Suppose -n*s + 5*s + 72 = 0. Solve -20 + s = -r*t for t.
3
Let g = -182 + 182. Let o = 10 - 4. Let q be (g + o)/(3 + 0). Solve q = a - 1 for a.
3
Let a be (-1)/(2/(-3))*2. Suppose a*k = -18 + 30. Solve -2*p + 4 + k = 0 for p.
4
Let y be -8*(10 - 8)*(-2)/8. Let l = 37 - 28. Let o be ((-18)/(-4) + -2)*2. Solve o*b = y - l for b.
-1
Let b(w) be the second derivative of w**4/12 + 13*w**3/6 - 11*w**2/2 + 37*w. Let c be b(-14). Solve 10 = -c*x + 4 for x.
-2
Suppose 2*h - 2 + 10 = 5*g, 3*g = 4*h + 2. Solve 4*v = -g + 22 for v.
5
Suppose -5 = -3*j + 4. Let v(r) = -r**2 - 10*r - 9. Let i be v(-9). Solve -j*b + 6 + 0 = i for b.
2
Let n = -199 - -202. Solve n = x - 0*x for x.
3
Suppose -5*f = -c + 15, -4*f = -3*c + f + 35. Let i(r) = -2*r**3 - 5*r**2 - 3*r + 1. Let m be i(-3). Let d be 1 + -4 - (-95)/m. Solve d*v - 4*v = -c for v.
5
Suppose 0 = -o + 5*y - 5, 2*o + 6 = 3*y + 3. Suppose o = -8*u + u. Solve 3*p = -u*p + 3 for p.
1
Let c be 531/15 + (-9)/(-15). Let w be ((-45)/c)/(1/4). Let v = -3 - w. Solve -7*d = -v*d - 10 for d.
2
Let w be 4/9*18/4. Suppose -6 = w*t, 2*t - 7 = -2*k - 1. Suppose -k = -2*j - j. Solve j*d - 15 = -d for d.
5
Let y = -5 + 7. Suppose y*w = -2*w. Let b = -446 + 450. Solve w*l - b*l = 12 for l.
-3
Let y be ((-77)/14)/((-2)/(-4) - 1). Let l = y + -3. Solve l*g - 1 = 7*g for g.
1
Let a be (-19)/19 - 46/(-2)*1. Let n = a - 13. Solve 0 = -2*r - n - 1 for r.
-5
Let r(k) = -6*k + 9. Let h be r(-1). Solve -6 + h = 3*g for g.
3
Let m be (-4)/14 - (-16)/7. Suppose m*x - 3 = v, 0*x = -x - 3*v - 9. Suppose x*s + 5*s = 0. Solve 4*q + s*q = 8 for q.
2
Let v be (44/(-8) + 2)*(-32)/56. Let z(f) = -f + 10. Let k be z(10). Solve k*i = 2*i + v for i.
-1
Suppose 4 = m - 3*m, -2 = 4*l - m. Let k(a) = 11*a + 1. Let h be k(l). Let d(b) = -b**2 - 11*b + 10. Let q be d(h). Solve -6*p = -2*p + q for p.
-5
Let k be 32/14 - (-8)/(-28). Suppose -3*t - k*m + 15 = 2*t, 5*t = 4*m + 15. Suppose 0 = 8*d - t*d - 10. Solve 27 = -5*f + d for f.
-5
Let z(y) = 4*y**3 + 3*y**2 - 4*y + 2. Let t be z(1). Solve 0 = 7*k - 2*k + t for k.
-1
Let g = -1327 + 1333. Solve g*z - 19 = -7 for z.
2
Let f be (-10)/(-65) + (-11)/(-13). Let b = 22 + f. Suppose -2*a = -x + 3*a - 7, -x - 5*a = -b. Solve -2*h = -0*h - x for h.
4
Let r be 10/180*6*6. Let y(w) = w**3 + 5*w**2 - 3*w - 3. Let l be y(-5). Solve l = 2*k + r for k.
5
Suppose -3 = -2*a - 5. Let w be 5 + a + (-4 - 0/(-3)). Solve -4*r + w*r = -16 for r.
4
Let a be (-8)/2*(-4 - (7 - 9)). Solve 3*o - 2 = -a for o.
-2
Let a = -320 + 355. Solve 2*c + a = 9*c for c.
5
Suppose 0 = 74*f - 13*f - 793. Solve -f*k = 27 - 79 for k.
4
Let o be ((-39)/(-9))/(1/3). Let h = o - 10. Suppose 7*n = h*n. Solve y + 4*y = n for y.
0
Let l(c) = -c**2 - 7*c - 8. Let r = -38 - -22. Let q = r + 11. Let a be l(q). Solve -1 = a*w - 9 for w.
4
Let s = 103 - 92. Solve s*v = 8*v + 12 for v.
4
Suppose -10 = -15*y + 20. Solve 4*i - y*i = 0 for i.
0
Let z = 0 + 0. Suppose -3*s - 3*c = -30, -5*s + 0*s + 4*c + 14 = z. Solve 4*o = o - s for o.
-2
Let t(k) = -4 + 5 - 7*k**2 + k + 8*k**2. Let u be t(-3). Solve -5*q + 3 + u = 0 for q.
2
Let f = 874 + -864. Solve 4*p = f*p - 18 for p.
3
Suppose 5*i + 51 = -14. Let b = 18 + i. Solve -b*z = -z for z.
0
Suppose -2*c - 5*u + 0*u - 6 = 0, 4*c = 4*u + 16. Let x = 4 + 1. Solve -c*t + 3*t = x for t.
5
Suppose 0 = -3*y - 3*q + q + 17, -y + 5*q - 17 = 0. Let x be (2 - 0*(-1)/2) + y. Solve 4*o - x = 3*o for o.
5
Let s(z) = z**3 - 5*z**2 + z - 1. Let v be s(2). Let k(x) = x**3 + 12*x**2 + 12*x + 9. Let u be k(v). Let i be 1 - (-3)/u*-2. Solve 0 = 3*l - i - 5 for l.
3
Let h = -53 + 33. Let p = 40 + h. Solve -5*z = -z - p for z.
5
Let r(c) = 12*c**2 + c - 4. Let w be r(1). Solve w - 7 = g for g.
2
Let p = 285 + -282. Solve k - 1 = -p for k.
-2
Suppose -10*y + 1 = -19. Solve y*s = -118 + 116 for s.
-1
Let d be (-510)/(-18) - -3 - 2/6. Solve 6 = 5*i + d for i.
-5
Let b be (-270)/(-6)*(10/(-6))/(-5). Solve -2*l - 11 = -b for l.
2
Let u(a) be the second derivative of a**3/3 + 11*a**2 + 11*a. Let j be u(-10). Solve 4*l - j*l = -2 for l.
-1
Suppose -4*m + 7 = -5. Suppose m*j - 2*j - 5 = 0. Let a = j + -4. Solve 0 = -5*t + 4*t - a for t.
-1
Let k(h) = h - 55. Let o be k(-19). Let i = -72 - o. Solve i*f - f = -1 for f.
-1
Suppose 5*x = 5*c + 20, 5*x - 4 = -3*c + 8. Solve x*l + 15 = 8*l for l.
3
Suppose 