a*l + 5 for l.
4
Let o be (10/(-8))/((-2)/8). Solve 6*p + o = -19 for p.
-4
Suppose 1 = b - 3*k - 17, -5*b + 5 = 2*k. Suppose 0 = -4*u - b + 11. Solve -4 = -u*v - 10 for v.
-3
Suppose -4 = -2*l - 32. Let t(y) = -5*y - 67. Let s be t(l). Solve -12 = -6*q + s*q for q.
4
Suppose 3*o + 87 = 4*l + 6*o, -22 = -l - o. Solve 0 = -5*k - l + 6 for k.
-3
Let y = 68 - 40. Suppose -31*a = -y*a - 9. Suppose 3*v = v + 12. Solve -a*k + 0 = -v for k.
2
Let h(q) be the second derivative of -q**4/12 + 7*q**3/6 + 4*q**2 + 2*q. Let i be h(7). Let l be 6/i*(-16)/(-12). Solve -7 + l = 2*z for z.
-3
Suppose -p = 4*p - 40. Suppose -3*h = q - p, 4*h - h = -4*q - 4. Suppose 0 = -3*d + c + 64, 28 = 2*d + h*c - c. Solve m = -3*m - d for m.
-5
Suppose -65 = -15*s + 20*s. Let a = 14 + s. Solve -5*u + 4*u = a for u.
-1
Let m = 5751 + -5751. Let d(s) = s**2 + s - 4. Let c be 1*(1 - -2)*-1. Let f be d(c). Solve m = -f*i + i for i.
0
Suppose 4*r - r + 4*i - 47 = 0, r - 7 = 3*i. Suppose r*b + 8 - 47 = 0. Solve g - b*g = -2 for g.
1
Let j = -81 - -82. Let c be (-2)/5 - 108/(-20). Solve -3*f + j = -c for f.
2
Let c(g) = 9*g + 15. Let w be c(-7). Let n = 63 + w. Let i be (-2)/((-1 + 2)/(-1)). Solve -i*v = 3*v - n for v.
3
Suppose 0 = -2*q - 10, l - 3*q = 36 - 19. Solve -l*u = 2 - 12 for u.
5
Suppose -2*f + 16 = 4*p, 9 = 5*f - 11. Solve p*y = -5*y - 7 for y.
-1
Suppose 0 = -3*k - k + 196. Suppose -t = 3*t + 2*l + 196, -t + l = k. Let o be (-14)/t + (-24)/(-14). Solve 3 = o*c - c for c.
3
Let u be (24/(-15))/(12/30). Let n be 6 - (3 - -3)*u/(-8). Let p(c) = -c**2 - 8*c - 6. Let z be p(-5). Solve -3*l - z = -n for l.
-2
Let u(z) = 2*z**2 + 39*z - 75. Let c be u(2). Solve -7*s + c*s - 4 = 0 for s.
1
Suppose -3*w - 4*i = -23, 2*w + i - 11 - 6 = 0. Suppose -4*o + 3*b = -6, -w = -o - 4*o + 3*b. Solve o*d - 4 = 4*d for d.
-4
Let m = -906 - -908. Solve -2*x + m = 8 for x.
-3
Suppose 2*u = 3*u - 3*o + 13, -1 = -o. Let x = u + 10. Suppose -2*f - f + 15 = x. Solve f*p + 0*p + 25 = 0 for p.
-5
Suppose -122 = 4*y - 102, y + 13 = 4*c. Let n = -23 + 38. Solve j = -c*j - n for j.
-5
Let r(n) = 13*n + 343. Let c be r(-26). Solve -c*i = -16 - 9 for i.
5
Let d(m) = -2*m - 2*m**2 + 4*m**3 + 1 - 3*m**3 + 3*m**2. Let r be d(1). Solve -a = 4 - r for a.
-3
Let y = 16 - 14. Let b be 0 + -4 + (y - -2). Solve b = -2*m - 2*m - 16 for m.
-4
Suppose 14*s - 13*s = 5*k - 57, 5*k + 2*s = 66. Solve -8*t = k + 28 for t.
-5
Let s(q) = 3*q**3 + q**2 - 3*q. Let v be s(2). Suppose -4*g - 5*k + 10 + 25 = 0, -v = -5*g + k. Solve -3*y = -g*y + 2 for y.
1
Let y = -11 - -6. Let q(z) = z**2 + 6*z + 10. Let f be q(y). Solve 7 = -f*g + 27 for g.
4
Let l = 493 - 486. Solve l*z + 1 = 36 for z.
5
Suppose 0 = 5*l + 17 + 18. Let x = -5 - l. Let s be 4*(5/x + -2). Solve -i - 1 + s = 0 for i.
1
Let a(y) = y**3 + 5*y**2 - 2*y - 7. Let d be a(-5). Let h(r) = r**2 - 64*r + 664. Let q be h(51). Solve 0 = -4*w + q + d for w.
1
Suppose 5*b = 2*q - 4*q + 11, 0 = q - b - 2. Suppose 2*c = q*c. Suppose -2*u + 3*u - 2 = c. Solve -u*w = -7*w for w.
0
Let b = -25 - -15. Let g = -8 - b. Suppose -g*u + 2 = -4. Solve 5*o - 8 = u*o for o.
4
Suppose 0 = 10*y - 2*y - 24. Suppose -r = -y, -5*m + 0*r - 36 = -2*r. Let a be (m/4)/((-3)/2). Solve a = -2*q + 5 for q.
2
Suppose k + 3*p + 9 = -25, 4*k = 3*p - 136. Let t = 13 + k. Let f = t + 22. Solve 4*g + 9 = f for g.
-2
Let q = 0 + 5. Suppose -q*r = -8*r + 18. Solve -r*g = -g - 20 for g.
4
Let n be 8/(-10)*145/(-58). Solve 2*o = n*o - o for o.
0
Suppose -3*a + 9 = y - 4*y, -y + 3 = 0. Suppose -a*l + 30 + 0 = 0. Solve -12 - 8 = l*o for o.
-4
Let u = 51 - 39. Suppose 0 = 5*n - h - 15, -u = -3*h + 3. Solve 20 = -r - n*r for r.
-4
Suppose -7*s + 348 = -3*s. Suppose t - s = 25. Suppose 2*q - 3*a - 62 + 10 = 0, -3*a - t = -5*q. Solve -2*w = 2*w + q for w.
-5
Suppose 2*f + 5*s = -3*f + 45, 0 = -3*f + 3*s - 3. Suppose -4*y + 4*n = -16 - 20, -36 = -f*y - 5*n. Solve -5*d - y = -4 for d.
-1
Let g = 150 - 117. Let l = g - 32. Solve -2*w + w + l = 0 for w.
1
Let u be ((-2)/4)/((-1)/(-4)). Let t = u + 5. Solve -2*z = z + t for z.
-1
Suppose -6 = -3*u - 0. Let c = 41 - 41. Solve c = h - u*h + 1 for h.
1
Let t(z) = z**2 + 7*z + 7. Let m be t(-8). Suppose -6*j = -3*j - m. Let l be 1 - (-2 - (-5 - -2)). Solve j*w - 2*w + 12 = l for w.
-4
Let a(r) = -r**3 + 6*r**2 - 7*r + 8. Let w be a(3). Solve -w*p = -15*p - 5 for p.
-5
Let g(r) = r**3 + 8*r**2 + r + 10. Suppose 0 = 3*i - 0*i - 4*h + 4, 2*i = -h - 21. Let q be g(i). Let f be 6/(-14) + (-51)/(-21). Solve -8 = -q*p - f*p for p.
2
Let f(g) = -g**3 + 10*g**2 + 23*g + 22. Let v be f(12). Solve -64*a = -69*a - v for a.
-2
Suppose -2*f - 30 = -7*f. Suppose 0 = -f*u + u. Let o = -1363 + 1363. Solve 3*g + u*g + 9 = o for g.
-3
Suppose -4*z + 2 + 6 = 0. Suppose 2*n = z*y - 66, -3*n - 4*y - 156 = 2*n. Let s be (-248)/n + 2/8. Solve 0 = 4*g - 0*g - s for g.
2
Let g(t) = -11 - 5*t + t + 6*t. Let z be g(8). Suppose -3*b - 12 = -3*q, 5*q = 2*q + b + 10. Solve q*j - 2 = -z for j.
-1
Suppose -36*i + 35*i = 0. Solve -20 = -5*y - i for y.
4
Let u(x) = x**3 + 2*x**2 + 1. Let g be u(-2). Suppose 3*r = 5 + g. Suppose -r = -2*j + d, -3*d = -6*d - 6. Solve j = 4*a - 2*a - 10 for a.
5
Suppose 4*o - 2 = -3*a, -4*a = -3*o - o - 12. Let s(y) = y**3 - y**2 - y. Let l be s(2). Let i be l/1*(-10)/(-4). Solve -8 = i*p + a for p.
-2
Let i = 89 - 85. Suppose -3*j + 12 = -b + 2*b, -5*b + 16 = i*j. Solve b = -a + 5*a for a.
0
Suppose 12 = -12*z + 96. Solve z*d + 12 = -23 for d.
-5
Let d(h) = h**3 + 6*h**2 + 5*h. Let o be d(-5). Suppose o*c = -2*c + 62. Suppose 3*u = -3*g + 28 - 4, 5*u - c = -2*g. Solve 0 = -0*n + u*n + 15 for n.
-3
Let q(v) = -v + 4. Let l be q(4). Suppose l*i = -5*i. Suppose -14*s + 7437 - 7395 = 0. Solve i = -s*u - u for u.
0
Suppose 2 = 2*g - 6. Suppose q + g = 12. Solve 0 = -h - 3*h + q for h.
2
Let x = 44 - 28. Suppose 3*n - 8 = 2*q, 2*q = -0*q + 5*n - x. Solve q*l + 8 = -0*l for l.
-4
Suppose 2*c = 5*f - 15, f - c + 2 = 5. Suppose 5*a - 5*a = -f*a. Solve -3*x + a - 6 = 0 for x.
-2
Let n(w) = 28*w + 56. Let c be n(-2). Solve c*i = i for i.
0
Let c(x) = -x**3 - 5*x**2 + 6*x. Let n be c(-6). Let r be ((-10)/(-15))/(1/12). Let g = 8 - r. Solve g = v - n*v for v.
0
Let p be ((-54)/5)/((-117)/390). Solve 0 = 10*z - p + 6 for z.
3
Suppose 312 - 276 = 3*r. Solve r = 4*l + 12 for l.
0
Let v be (-5 + 4)/(1/(-11)). Suppose -7*o + v*o - 16 = 0. Solve o*h = h - 9 for h.
-3
Let b(k) = -3*k - 5. Let s = 16 + -19. Let o be b(s). Solve o*x - 3 = 1 for x.
1
Suppose 0 = 8*m - 7*m - 3. Let v(q) = q**3 - 4*q**2 - 4*q - 5. Let k be v(5). Let d = 0 + k. Solve d = -2*c + m*c for c.
0
Suppose -5*f + 7*f - 12 = 0. Let i be 50/(-40)*4/(-1). Suppose -i = -5*m + 15. Solve -f*b = -4*b + m for b.
-2
Let a = -1513 - -1515. Solve a*p - 15 = -9 for p.
3
Let d(k) = k**3 + 12*k**2 + 8*k - 17. Let w(h) = -h**3 + 5*h**2 + 5*h - 5. Let i be w(6). Let s be d(i). Solve -s = -5*y - 1 for y.
3
Let h be (-1 + 7 + 3*-1)*-8. Let r = -21 - h. Solve -2*x - x = -r for x.
1
Let v be (-2)/8 + 747/12. Let s = v - 60. Solve q - s*q - 3 = 0 for q.
-3
Let m be ((-1)/(-1))/((-4)/148*1). Let x = 40 + m. Solve 4 - 7 = x*o for o.
-1
Let k(h) = -4*h + 36. Let i be k(7). Let v be 120/54 + i/(-36). Solve s = v*s - 2 for s.
2
Suppose -k = q - 4, 4*k = -q - 0*q - 2. Solve -9*b + 12 = -q*b for b.
4
Let k(z) = -z**3 + 4*z**2 + 3*z - 1. Let a be k(4). Let j be (1 + 3/6)/((-2)/(-4)). Solve -4 - a = -j*o for o.
5
Let u = -4 + 4. Let r be 18/30 + 24/10. Suppose r*a = 5 + 10, -3*a - 5 = -5*o. Solve -2*c + o*c - 8 = u for c.
4
Let l(d) be the third derivative of d**4/24 + 7*d**3/6 + 10*d**2. Let j be l(-5). Suppose -2*o - 3*q = -17, 3*o - 2*q + 8 = o. Solve -j = -k + o for k.
3
Suppose -2*p = 4*k, -5*p + 2*k + 12 = -0*p. Let a be 6 + (16/(-4))/p. Let y be 1/(-4*a/(-16)). Solve 0 = 4*c + 17 - y for c.
-4
Let a = -259 + 259. Solve a*n = -4*n for n.
0
Let z(s) be the first derivative of -s**4/4 - 6*s**3 - s**2/2 - 14*s + 16. Let r be z(-18). Solve 0 = r*k + 9 + 3 for k.
-3
Let i(x) = x**3 + x + 1. Let g(r) = 6*r**3 + 14*r**2 + 4*r - 14. Let y(n) = -g(n) + 5*i(n). Let m be y(-14). Solve -5 - m = 5*o for o.
-2
Suppose 60 + 24 = 28*n. Solve -m + n = 4 for m.
-1
Let m = 227 - 225. Solve z = m*z - 3 for z.
3
Let p be 8 - 11/55*35. Solve 0 = 6*k - 5*k - p for k.
