r = -74 for l.
-3
Let r = -240 - -311. Solve -64*a = -r*a + 7 for a.
1
Let b = -935 + 937. Solve -6*k = 22 + b for k.
-4
Suppose -27 = -14*b + 141. Solve b = r + 7 for r.
5
Let b be 15/(-2)*104/(-39). Solve -6*q + b = -10*q for q.
-5
Let c(k) = -5*k**3 - k**2 + 1. Let w(y) = 16*y**3 + 4*y**2 - y - 3. Let b(g) = -7*c(g) - 2*w(g). Let z be b(1). Solve 0*l = z*l for l.
0
Let a(j) = -1 + 50*j + j**2 - 50*j. Let u be a(-3). Suppose 7 - 2 = -5*f + 5*y, -u = -2*y. Solve -f + 1 = n for n.
-2
Let c(o) = -3*o + 21 + 7*o - o. Let z be 224/16*2/(-4). Let y be c(z). Solve -4*x = -y*x - 8 for x.
2
Let z = -369 + 377. Solve z*q - 10 + 2 = 0 for q.
1
Suppose 6 + 3 = 2*z + 3*d, 5*d + 5 = 0. Solve 4*f = z - 14 for f.
-2
Let c = 65 + -60. Let v be -9*(-2)/(-12)*2 + c. Solve 0*z + 6 = v*z for z.
3
Suppose 10 = 69*h - 64*h. Solve -h + 2 = -4*u for u.
0
Let p(c) = -2*c**2 + c**2 + 21 - 5*c + 20*c. Let z be p(16). Solve z*o + 0*o + 20 = 0 for o.
-4
Let y(x) = 3*x**2 + 11*x + 5. Let c(j) = j**2 - j + 1. Let p(u) = 2*c(u) - y(u). Let m be p(-12). Solve 0 = -2*d + 7 - m for d.
-1
Let g(n) = -n**3 - 3*n**2 + 5*n + 8. Let v be g(-4). Solve -18 = -v*k - 2 for k.
4
Suppose 0 = 10*u - 12*u. Suppose i = -6*i + 28. Solve -i*n + 9*n = u for n.
0
Suppose -5*h + 72 = -0*a + a, 0 = 5*h - 4*a - 87. Let l be ((-26)/39)/((-2)/h). Solve -m - 2 = -l for m.
3
Let a = -653 - -664. Solve -a*u = -3*u - 32 for u.
4
Let j = -2243 + 2253. Solve 0 = -3*i + 4 - j for i.
-2
Let g be ((-12)/2)/(-164 - -162). Let s = -21 + 43. Suppose 0 = -2*r - 2 + s. Solve g*j - r = -2*j for j.
2
Suppose 9 = -2*r + 19. Let x be -6 - (2 + (-3 - -4)). Let w be (-6)/(-9) - 129/x. Solve 0*j - r*j = -w for j.
3
Let a(l) = l**3 + 11*l**2 + 24*l + 5. Let w be a(-8). Suppose -14 = -5*z - 4. Solve -w = -z*k + k for k.
5
Suppose 2 = -h + y - 5, 25 = 5*y. Let x(f) = -5 - f - 4*f - f. Let k be x(h). Solve 0 = k*n - 5*n + 4 for n.
-2
Let t(p) = 14 - 3*p**3 - 6*p**2 + 8*p + p**2 + 2*p**3. Let j be t(-6). Solve 0 = f + j - 1 for f.
-1
Let g(t) be the third derivative of -t**6/40 - t**4/12 - t**3/3 - 18*t**2. Let s be g(-1). Solve s*i + 2*i = -5 for i.
-1
Let n(l) = l**2 + 13*l + 64. Let f be n(-5). Solve 0 = -q - 7*q + f for q.
3
Suppose -313 = 2*p - 323. Solve -p*i - 26 + 6 = 0 for i.
-4
Let a(b) = b**3 + 5*b**2 - 9*b - 9. Let d = 10 - 16. Let h be a(d). Let j be h + (3 - 0) + 2. Solve 0 = -4*s - j - 2 for s.
-4
Let b be 8 + -2 + (-28)/7. Suppose 4*r = 6*r - b. Solve v + 5 = r for v.
-4
Suppose -52*p = -355 - 165. Solve 6*r - p - 2 = 0 for r.
2
Let k(r) be the second derivative of -r**3/6 + 3*r**2 - 8*r. Let x be k(3). Suppose x*i + 3*p = 24, -p + 2*p = -2*i + 21. Solve -4*f - 7 = i for f.
-5
Suppose -36*d - 12*d = -1008. Solve 16 - d = -b for b.
5
Let x = 12 - 9. Let f = -33 - -37. Solve -x*o - 1 = -f*o for o.
1
Suppose -6*g - 5*g + 330 = 0. Solve g = -b + 7*b for b.
5
Let u(r) = -r**3 + 9*r**2 - 11*r + 11. Let j be u(8). Let n be (-1)/2*(-1 + j). Suppose n*p = c + 2*p - 19, -2 = -2*c - 2*p. Solve -3*a - 5 = c for a.
-3
Let f = -13 + 16. Suppose f*p = -p. Suppose -3*z - 2*z = -5*v - 10, p = -3*z - 5*v + 6. Solve w = z - 0 for w.
2
Let i be ((-2)/(-4))/(2/4). Let q(a) = 5*a**2. Let l be q(i). Let g(v) = 7*v - 6. Let x be g(1). Solve l = -2*k - x for k.
-3
Let u = -12753 - -12757. Let n = -4 - -7. Solve u = -n*k - 8 for k.
-4
Let j be (-4)/((-27)/(-36)*16/6). Let l(v) = -v + 2. Let b be l(j). Solve -b*g + 5 = -3*g for g.
5
Suppose 25 = -5*i - 5. Let j(g) = -g**2 - 9*g - 14. Let x(k) = -1. Let v(h) = j(h) - 2*x(h). Let s be v(i). Solve -z = -4*z - s for z.
-2
Suppose -4*b - 29 = -4*z + b, 4*z + 3*b - 53 = 0. Suppose 0 = 2*c + 3*u + z, u + 2 = c - 5. Solve 3*g = -c*g for g.
0
Let u(m) = m**2 + 2*m - 4. Suppose -q = -0 - 2. Suppose -x + 6 - q = 0. Let p be u(x). Solve p = l + 4*l for l.
4
Let w be 39*(96/9)/16. Solve -w = -12*b + 22 for b.
4
Let g(a) = 39*a + 234. Let j be g(-6). Solve j = 2*m + m - 5*m for m.
0
Suppose 3*q - 24 + 18 = 0. Solve -q*f = -3 - 5 for f.
4
Let a(d) = d**3 - 9*d**2 + 8*d + 7. Let j be a(8). Suppose j*l = 5*l + 6. Solve -1 = -o - l for o.
-2
Let w(t) = 27*t - 184. Let p be w(7). Solve -c + 30 = p*c for c.
5
Let n be 24/14 - (-4)/14. Let p = -19 - -31. Solve n*o + 2*o = -p for o.
-3
Let n(q) = q**3 - 3*q**2 - 2*q - 5. Let f(r) = r**3 + 12*r**2 + r + 16. Let o be f(-12). Let c be n(o). Solve -2*y = c*y + 20 for y.
-4
Let o = -50 + 81. Let w = -26 + o. Suppose -y - 4*z = -2*y - 4, 2*y + 5*z - w = 0. Solve -2*t + 0*t = y for t.
0
Suppose 0 = f + 1 - 4. Let s be 3/f*2 - 2. Let i be s/(-3) + (9 - 5). Solve -x = x - i for x.
2
Let k(x) be the second derivative of x**5/20 + x**4/12 - x**3/2 - x**2 - 4*x. Let l be k(2). Solve 0 = -p + 1 - l for p.
-3
Let f(m) = m + 23. Let j be f(-18). Suppose -j*y + 12 = -18. Solve y*d = d for d.
0
Let l(v) = -v**3 - 8*v**2 - 17*v + 1. Let c be l(-4). Solve 0*z = -c*z + 5 for z.
1
Suppose 6*c - 3*c = -3*r + 102, 98 = 3*c + 5*r. Solve -31*d + c = -40*d for d.
-4
Let w(a) = a**3 + 7*a**2 + 5*a - 1. Let d be w(-6). Let x be 160/(-24)*(-36)/30. Solve d*t - x + 3 = 0 for t.
1
Suppose 3*x - 2*z = 5 - 1, -3*z = -4*x + 6. Let n(g) = -2*g**3 + 20*g**2 - 3*g + 30. Let r be n(10). Solve r = -x*j - 2*j - 8 for j.
-4
Let s be (-6 - 1) + (0 - 3). Let z be 224/140 + 0 + (-4)/s. Suppose 12 = 3*h + 3*o, 2*h + 4*o - 2 = 8. Solve -n + h = z*n for n.
1
Let x = 1587 + -1583. Let j be (-1 - -2) + 9/1. Solve x*t - 30 = -j for t.
5
Let u = -5 + 5. Solve u = -n - 0*n + 5 for n.
5
Let n(i) = -i**3 - 5*i**2 + 2*i - 14. Let d be n(-6). Suppose -19 = -t + d. Suppose -t - 7 = -4*m. Solve 0 - m = 3*b for b.
-3
Suppose -3*b - 12 = -5*b. Solve -5*p - 21 + b = 0 for p.
-3
Let t = 1815 + -1812. Solve r = -0*r + t for r.
3
Let p = -6060 + 6061. Let o = 0 - -3. Solve o*j = -p - 2 for j.
-1
Let m be 462/39 + 1 + (-6)/(-39). Solve 4*w - 7 = m for w.
5
Let y = -6 + 6. Let d = y + 0. Suppose -28 = -3*q - 13. Solve d*k = -q*k - 15 for k.
-3
Suppose -6*q + 5*q = -9. Suppose 0 = -5*h - 4*h + q. Let u be (-1 - 2) + (-25)/(-5). Solve -k - h = -u*k for k.
1
Suppose -6*h = -18 - 18. Solve 0 = -2*z + h + 4 for z.
5
Suppose 2*s = -2 - 0. Let z(h) = -h**3 + h. Let d be z(s). Suppose 3*i + 0*i - 9 = d. Solve -1 = -t + i for t.
4
Let s(d) = 2*d**2 + 21*d + 41. Let z be s(-8). Solve -k + 0*k = z for k.
-1
Let a be (-26)/130 + 3 + (-191)/(-5). Solve 0 = -4*m - 21 + a for m.
5
Let v(b) = -4*b**2 + 5*b**2 + 11*b - 7*b - 19 + 6*b. Let n be v(-12). Solve -2*w + n = -5 for w.
5
Suppose 2*a = 2*b + 100, -5*b - 195 = -4*a - 6*b. Suppose 3*w = p - 23, -4*p + p - w + a = 0. Solve p + 3 = 4*v for v.
5
Let v be 3/(18/92) - 196/(-294). Solve -3*y - 4 + v = 0 for y.
4
Let b(k) = -2*k - 4. Let f be b(-5). Suppose 0 = n - 3*h + h - 13, 0 = -h - 4. Solve a + n = f*a for a.
1
Let q = -1240 + 1240. Solve l + 1 + 3 = q for l.
-4
Let s(f) = -3*f - 5. Let c(i) = 4*i + 6. Let p(u) = 2*c(u) + 3*s(u). Let g be p(-3). Suppose g = -2*l - 2*l + 20. Solve 6*o + 1 = l*o for o.
-1
Suppose -50 = -d + o - 0*o, 3*o + 105 = 2*d. Solve d = -10*r + 15 for r.
-3
Let u(r) = 11*r - 236. Let x be u(22). Solve x - 10 = 4*a for a.
-1
Let i(u) = -u**2 + 8*u - 8. Suppose -6 = 4*p + 6, -5*c + 2*p + 26 = 0. Let z be i(c). Solve z - 3 = 5*s for s.
1
Suppose 5*b = -30 - 185. Let p = -43 - b. Solve 0*u - 5*u + 10 = p for u.
2
Suppose 36 + 42 = -2*r. Suppose 60*s = 102*s + 3528. Let a be s/r + (-16)/104. Solve 0 = 4*o + a + 6 for o.
-2
Let d(p) = -p**3 - 22*p**2 - 21*p + 18. Let c be d(-21). Suppose 19*n - 1 = c. Let x = 1 - 1. Solve i = -x*i + n for i.
1
Let i be ((-8)/10)/(2/(-5)). Let v be (-2 + 0)*(-18)/12. Let j(f) = -28*f - 15. Let y be j(-1). Solve 0 = -i*n - y + v for n.
-5
Let q = -560 - -571. Solve -4 = -3*z + q for z.
5
Let z = 3872 + -3870. Let f be (0 - 3)*1*-1. Suppose 4*s + 3*c = 5 - 0, 25 = 4*s - c. Solve f + z = s*x for x.
1
Let s(a) = 12*a - 84. Let x be s(8). Solve -5*d + 2 = x for d.
-2
Let t(f) = f + 15. Let q be t(-5). Suppose q = -8*j + 13*j. Solve j*n - 5*n = 0 for n.
0
Suppose 11*m - 16 - 83 = 0. Solve m = -34*i + 37*i for i.
3
Suppose w - 15 = -12. Suppose 2*h + 2 = 2*u + u, -3 = -2*u + w*h. Solve u*d - d + 4 = 0 for d.
4
Let h be -2*1*(-1 - 1). Suppose 46 = 10*z - h. Suppose -11 = -2*y - m, 2*m = -3*y + 5*y - 26. Solve 0 = -x + z*x - y for x.
2
Let 