+ j for q.
-2
Let c(a) = -a**3 + 25*a**2 + 26*a. Let i be c(26). Solve -3*s - 12 = -i*s for s.
-4
Let t be 3 - (-3)/(-3) - -4. Solve 5*h + 9 + t = 0 for h.
-3
Let g(u) = -2*u + 36. Let r be g(17). Solve 0 = l - 3 + r for l.
1
Suppose 4 = 4*j - 0*j. Suppose 2*m - 2 - 1 = i, 5*m - i = 3. Suppose 4 - 16 = -4*t. Solve t*g - j + 4 = m for g.
-1
Let o(x) = x**2 + 1. Let j be o(1). Suppose -10 = -j*s - 3*b, -5*s + 14 = -2*s + 5*b. Let t be (-10)/(-6) + (-2)/(-6). Solve 2*q = -t*q - s for q.
-2
Let q(y) = -y**2 - 8*y - 5. Let f be q(-5). Suppose 3*k + 10 = 40. Let v be k/5 - (2 - 4). Solve -f = -2*l - v for l.
3
Let z = 17 + -13. Solve 14 = z*q - 2 for q.
4
Let x(i) = i**3 + i**2 + i + 2. Let n be x(0). Solve 0*p - n*p = 10 for p.
-5
Suppose -25 = -9*s + 20. Solve s - 7 = -w for w.
2
Let y = 0 + 10. Let d(f) = -f + 10. Let q be d(y). Solve q = -a + 6*a for a.
0
Let i(a) = 7*a - 1. Let n be i(1). Suppose -b = l - 5*l - 12, -2*b + 2*l = -n. Suppose b = -c - 2*t - 4 - 4, -3*t - 15 = 0. Solve k = -c*k for k.
0
Let t be (-2 + 4 - -4)*(-10)/(-30). Solve 0 = 4*j + 6 + t for j.
-2
Let r = -5 + 3. Let d = -2 - r. Suppose 0 = i - 2 - 1. Solve -c + i = -d for c.
3
Let m = -51 - -58. Let w = 2 + 0. Solve -m*s + w*s = 0 for s.
0
Let v(m) = -3*m - 2. Let c be v(-2). Suppose -c*d + 6 = -34. Suppose 0 = -g - 0*g + 5. Solve -g*k + 0*k = -d for k.
2
Let v be (-33)/(-21) - 6/(-14). Solve v*q = -0*q + 2 for q.
1
Let j(p) = -3*p**2 - 4*p + 7. Let h(g) = -8*g**2 - 13*g + 20. Let x(c) = -4*h(c) + 11*j(c). Let v be x(7). Solve 0 = v*d + 3 + 17 for d.
-5
Let h(n) = n + 1. Let a(o) = 7*o + 5. Let c(w) = -a(w) + 5*h(w). Let z be c(-2). Solve 0*v = z*v + 12 for v.
-3
Suppose -15 = -4*l + 3*m, -4*l + 4*m = -0*l - 20. Solve l*k = -2*k + 8 for k.
4
Let g = 9 - 12. Let r = g + 5. Solve -3*b - r*b = -25 for b.
5
Suppose p + 0*p - 3 = 0. Solve p*b = -8 + 2 for b.
-2
Let j = -2 - -2. Solve -2*y - y + 3 = j for y.
1
Suppose 6*i - 7 = -1. Solve u + i = -4 for u.
-5
Let i(t) = t**2 - 6*t + 3. Let q = 5 - -1. Let p be i(q). Solve -4*m + p = -1 for m.
1
Let k(l) = l - 2. Let f(n) = -5*n + 7. Let s(w) = 4*f(w) + 18*k(w). Let m be s(-6). Suppose m*r = r + 9. Solve b = -r*b for b.
0
Suppose -2*a + 2*w + 15 = -1, 4*a - 8 = -4*w. Solve -2*u = 15 - a for u.
-5
Let u(b) be the first derivative of b**4/4 - b**3/3 - 2*b**2 + 4*b - 1. Let x be u(3). Solve 3*i = i + x for i.
5
Let o(m) = m**3 - m**2 + 1. Suppose -5*q = -10, -8*t + 5*q = -4*t + 2. Let k be o(t). Solve 0*w - k*w - 25 = 0 for w.
-5
Let s(q) = -2*q**3 + 8*q + 8. Let k be s(-1). Solve -k*z = -0*z + 10 for z.
-5
Let i = 21 + -15. Suppose -15 + i = -3*n. Solve 2*y - y = n for y.
3
Suppose 5*u + 5*u = 0. Solve u = -3*b + b for b.
0
Suppose -6 = -b + 3*i + 19, 4*i = -3*b + 10. Solve 0 = -3*p - 2*p + b for p.
2
Let j be 11 + (5 - (2 + 0)). Let z = -13 + 18. Solve z*b + j = -11 for b.
-5
Let f(p) = -p**2 - 2*p + 1. Let m be f(-2). Solve 2 = c - m for c.
3
Let f be -5*(1 - 3/5). Let t be (-6*4/6)/f. Solve -4 = i - t*i for i.
4
Let i(p) = -p. Let r be i(3). Let t(z) = z**2 + 4*z + 3. Let c be t(r). Solve c = -0*u + 4*u - 4 for u.
1
Suppose -2*x - 12 = -s, 2*x = 5*s - 9 - 27. Suppose -3*i + 1 = -8. Let u be (i/(-2))/(9/(-24)). Solve -s = u*n - n for n.
-2
Let i be (2 - 1)/((-3)/(-6)). Solve -z = 3 + i for z.
-5
Let l = -9 + 10. Let g be (0/6)/(l/(-1)). Solve g*j + 4 = -j for j.
-4
Let g(d) be the third derivative of -d**5/60 - d**4/4 - 4*d**2. Let i be g(-6). Solve -3*h + 1 + 11 = i for h.
4
Suppose -2*j = 2*j - 8. Solve z + j*z = 12 for z.
4
Let y(o) = -o**3 - 10*o**2 + 13*o + 2. Let k be y(-11). Let a be k*3/30*-6. Solve -s - a = 3*s for s.
-3
Let g be 9/(-2 - 1) - -9. Suppose -3*p = -g*p. Suppose -3*h + p = -9. Solve -8*w - 15 = -h*w for w.
-3
Let o be -1*-39*(-2)/(-3). Suppose -o = -5*y - 6. Solve -z = y*z for z.
0
Suppose 0 = -4*o + 19 - 7, -2*g + o = -3. Let s = g + 3. Solve 5*t - 11 = -s for t.
1
Let f(g) = g**2 - 11*g - 5. Let a be f(10). Let h be 8/(-6)*a/5. Solve h*d = 10 + 2 for d.
3
Let g = -18 + 13. Let z = g - -11. Solve 1 = -f + z for f.
5
Suppose -5*z - i + 63 = 0, -4*z - 4*i - 40 = -100. Solve z = 8*o - 12*o for o.
-3
Suppose 30 = 2*g - 5*o - 1, -2*o - 16 = -2*g. Solve 0 = -g*d + 1 - 13 for d.
-4
Suppose -2*o = -4*o + 5*z + 10, -5*z = -o + 5. Suppose 2 = 3*y - 3*k + 5, -o*y + 3*k = 3. Let b = y + 4. Solve -5 = -w - b*w for w.
1
Suppose 4*t - 6 = 2. Suppose t*v + v - 6 = 0. Solve 0 = v*w + 4 + 6 for w.
-5
Suppose 4*v + v = 3*o - 6, -4*o + 3 = -5*v. Let z = 6 + o. Solve -1 = -2*b - z for b.
-1
Let x = 10 + -14. Let q = x - -6. Let f be 11/4 - (-2)/8. Solve q*v - f = 3 for v.
3
Suppose -w - 137 + 141 = 0. Solve 0 = 3*a - w*a for a.
0
Let a(w) = w**3 - 5*w**2 - 5*w + 2. Suppose -9 = 4*s - 33. Let m be a(s). Solve -3*b + m = -4 for b.
4
Let h be (-2)/8 - (-26)/8. Suppose 0 = -h*r - 3*m, r - 5*m + 5 = -1. Let c(d) = -3*d**3 - d**2 + 1. Let x be c(r). Solve -2*z - 5 = -x*z for z.
5
Let s = -1 + 1. Let x = s - -3. Solve 6*l = x*l - 12 for l.
-4
Suppose 3*q - 12 = -0*q. Let f be (2/(-6))/((-3)/18). Let c be ((2 - 2)/f)/(-2). Solve c = 2*d - d - q for d.
4
Suppose 5*r - q = 4 + 12, r - 4*q - 7 = 0. Solve -r*p - 11 = 1 for p.
-4
Let b = 31 + -28. Solve -b + 28 = 5*x for x.
5
Suppose 44 = 7*u + 2. Solve 20 = a - u*a for a.
-4
Suppose 5*t + m + 3 = 0, 5*t - 3*m + 1 = -10. Let p be (1 + t)*2/2. Solve -2*n - 8 + 0 = p for n.
-4
Suppose 0 = -4*c - c - 25, 5*k - 2*c = 40. Let t = 0 - -3. Solve n - t*n + k = 0 for n.
3
Let p(x) be the first derivative of x**4/4 - x**2/2 + 3*x + 3. Let d be p(0). Let u be (-9)/(-5) - (-2)/10. Solve -d*f = u*f + 20 for f.
-4
Let d = -1 + 1. Let j(z) = -z**3 + 0 - 7*z**2 - 6 - 1 - 8*z. Let g be j(-6). Solve d = -3*a + g - 2 for a.
1
Let a be 0 + (1 - -2) + 71. Let p be 2/(-8) - a/(-8). Solve 0 = 3*w - 3 - p for w.
4
Let p be ((-78)/12)/(2/(-4)). Solve -p = -4*v + 7 for v.
5
Suppose 0 = -o + 23 - 20. Solve o*h + 7 = -2 for h.
-3
Let t = 140 - 137. Solve -t*q + q + 2 = 0 for q.
1
Let h = -25 - -27. Solve h*o - 12 = 5*o for o.
-4
Let z(m) = -m**3 + 11*m**2 + 3*m - 26. Let j be z(11). Solve 3 = 4*q + j for q.
-1
Suppose 0 = i + 4, -2*b - 6*i + i - 10 = 0. Solve -b = s - 2 for s.
-3
Let k(l) be the third derivative of l**4/24 - l**3/2 - l**2. Let d be k(8). Solve -j = -0*j + d for j.
-5
Let u be (124/(-5))/(4/(-10)). Suppose 5*x = u - 2. Solve 3*i + x = -3 for i.
-5
Suppose -4 - 8 = -4*q. Let a(v) = -2*v + 18. Let f be a(8). Solve -1 + q = -f*c for c.
-1
Suppose -7 + 8 = v. Solve -2 + v = h for h.
-1
Suppose -p + 3*v + 29 = 4, -2*p + 10 = 2*v. Let f be p/(-8) + 1/4. Let i = 2 - f. Solve -i = 4*z - 3*z for z.
-3
Let v = 40 - 32. Solve 0 = -3*h + v*h - 5 for h.
1
Let p be 6/(-4)*((-8)/(-24) + -3). Solve 0 = 2*i - p - 4 for i.
4
Let f(q) = -q**3 - 16*q**2 + 19*q + 40. Let r be f(-17). Solve i - 15 = r*i for i.
-3
Let f be (-2)/((-12)/5 - -2). Let z = -37 - -52. Suppose 4*n + 3*i - 28 = 0, 4 = 2*n - 5*i + 4*i. Solve -f = -n*b + z for b.
5
Let i be 18/99 - (-31)/11. Solve 0*o = -i*o + 9 for o.
3
Suppose -2*v = 3*v - 20. Suppose 0 = 2*h - 3*j - 13, 25 = 4*h - v*j + 5. Solve 0 = h*r - 9 + 3 for r.
3
Suppose 2 + 2 = 4*h. Let d be (0/h - 1)*0. Solve -5*w - 35 + 10 = d for w.
-5
Suppose 5*i = -0*i + 10. Suppose 2*j + 0*j + 6 = 0. Let z = -1 - j. Solve -i*b - z = -6 for b.
2
Let u(d) = d**2 - 6*d. Let k be u(6). Suppose -12 = -4*w + 3*o - 2*o, k = -3*w - 5*o + 9. Let n be 2/5 - 8/(-5). Solve -q - w = n*q for q.
-1
Let r(d) = d**3 + 2*d**2 - 2*d - 2. Let t be r(-2). Suppose 3*j = -t*j. Solve 4*g + 8 = -j*g for g.
-2
Suppose 0*g - 3*g + 7 = r, -4*r = -3*g - 13. Solve 3 = 2*p + g for p.
1
Let u = 20 - 19. Solve -u + 7 = -3*r for r.
-2
Let a(x) = -x**2 + 6*x + 1. Let q(k) = k**3 + 6*k**2 - 7*k + 6. Let m be q(-7). Let s be a(m). Solve z + 0 = -s for z.
-1
Suppose 5*s = 26 - 6. Let g be 6/(-4) + 14/s. Let p = -3 - -5. Solve p*h - g = 8 for h.
5
Let j = 35 - 32. Solve -j*p = 1 - 4 for p.
1
Let j be (-34)/(-8) - (-9)/(-36). Solve -4*d = j - 0 for d.
-1
Suppose -2*m + 5 = -1. Solve 2*q = -m*q - 15 for q.
-3
Let c(f) = f**3 + 3*f**2 - 1. Let l be c(-2). Solve -14 + 5 = l*d for d.
-3
Let b be -2 + 1/(3/102). Suppose -6*t = -2*t - b. Let u be 22/t - 3/(-12). Solve -16 = u*j + j for j.
-4
Let a(t) = -t - 3. Let v be a(-3). Suppose -2*p - 3 =