 Suppose 33 + 2 = -5*z. Let d be o(z). Solve 3*m + 1 - 10 = d for m.
3
Suppose -4*l - 3 = 3*z, -12 = 4*l - 0*l. Let m = 5 - z. Solve -h - m*h = 3 for h.
-1
Let u = -22 - -47. Suppose u = j + 4*j. Suppose 2*x = -4*g + 22, j*x + 34 = 3*g - 15. Solve -l + g = l for l.
4
Let o = -2 - -4. Suppose -2*w - 4*p = 0, -w - 2*p + 3*p = 0. Let z = w + o. Solve -z = y - 5 for y.
3
Suppose -2*p = p - 6. Suppose -12 = p*a - 5*a. Suppose -q + 18 = 4*m, -a*q + 2*m = -m + 4. Solve q*l + 1 = l for l.
-1
Let c(v) = v**3 - 8*v**2 + 8*v - 1. Let l be c(7). Let q = -4 - -19. Let k be (l/5)/(q/250). Solve i + k = 6*i for i.
4
Suppose -2*u = 2*v - 8, -2*u = -4*u + 2*v. Let t be -5 + u - (-7 - -4). Solve 0*r - 2*r = t for r.
0
Let u(p) = p**3 - 2*p**2 - p. Let f be u(2). Let b = 0 - f. Solve 5 = -t + b for t.
-3
Suppose 5*n - 9 = 6. Suppose 2*z - 5 = n. Solve -k - z = 3*k for k.
-1
Let z(d) = 6*d**2 - 2*d. Let u be z(1). Solve -u = 4*p + 4 for p.
-2
Suppose 0 = -q + 4*q. Solve -2*u + u - 1 = q for u.
-1
Let h = 3 + -1. Suppose d = h*d - 2. Solve d*x = 13 - 3 for x.
5
Suppose 0 = -4*x + 3*x - p + 25, 2*p = 3*x - 70. Suppose 4*r = -4*a - x, 8 = 2*r - 4*r - a. Let q = r - -5. Solve -2 = -q*b + 2*b for b.
2
Suppose -1 = 3*g - 13. Solve -5*a - g = -a for a.
-1
Let n = 8 + 2. Solve -c = -3*c - n for c.
-5
Suppose -149*z + 64 = -133*z. Let k(g) = -g**2 + 2*g + 4. Let x be k(3). Suppose -f = 3*j + j - x, 3*f = 3. Solve z = -4*q - j*q for q.
-1
Suppose 0*n - n + 24 = 0. Let r be (-78)/n + 2/8. Let w(l) = -2*l - 2. Let j be w(r). Solve -1 - j = -5*u for u.
1
Let z(y) = -y**2 - 9*y - 6. Let f be z(-7). Solve -2*l - f - 2 = 0 for l.
-5
Suppose l + 0*l - 5*h = 0, 0 = -3*l - 4*h. Solve l = -c + 4*c - 15 for c.
5
Let a be 22/2*1*-1. Let l = -6 - a. Solve -4*u - l = -5*u for u.
5
Suppose -4*u + i = -0*u + 2, -i + 2 = 0. Solve 0 = y - u - 1 for y.
1
Suppose -12*s - 35 = -17*s. Solve 3*o = s*o - 16 for o.
4
Let g = -5 + 3. Let y be (2 - -1)/(-3) - g. Let l(c) = -c**3 - 5*c**2 + 5*c - 2. Let p be l(-6). Solve p*b - 3 = y for b.
1
Suppose 4*g = g. Solve -w = -g*w + 2 for w.
-2
Let a(j) = j**2 - 6*j - 7. Let d be -14*(7/(-2))/7. Let f be a(d). Solve 0 = -w + 1 - f for w.
1
Let q(s) = -s**3 - 10*s**2 + s + 12. Let w be q(-10). Solve w + 2 = 4*h for h.
1
Let s be -3 - 51/(-15) - (-26)/10. Solve s*a + a + 4 = 0 for a.
-1
Let c = 27 - 27. Solve c*s = 3*s for s.
0
Let y be 1/1*(-12 - 3). Let p be (-5)/(3 + (-25)/8). Let d = y + p. Solve 0 = -6*x + x + d for x.
5
Suppose 3*q - 4*q = 0. Suppose q = -f - 2*f + 60. Suppose z - f = -z. Solve -j = -3*j + z for j.
5
Let d(g) = 18*g + 1. Let f be d(2). Let l = f - 16. Suppose l = i + 2*i. Solve 2*b - i - 1 = 0 for b.
4
Let n = -4 + 6. Suppose 0 = 2*d - n*f + 4 - 6, -2*d - 5*f = -23. Solve -d = -2*c - 14 for c.
-5
Suppose 3*r - 34 = 5. Solve -2*m + 5 = r for m.
-4
Suppose -3*h + 8*h = -2*l + 41, 27 = 4*l - h. Suppose 6*f = l*f - 8. Suppose f*m + 33 = 3*g - 2, 0 = 3*m + 15. Solve -10 = -g*s + 5 for s.
3
Suppose -6*h = -7*h. Solve 3*i + 15 = -h*i for i.
-5
Let m be (4/(-3))/((-2)/3). Let s(n) = n**3 - 2*n**2 + n. Let b be s(m). Suppose -5*u + 5 = -0*u. Solve -b*w - 7 = u for w.
-4
Suppose 0 = -3*l + j + 3, 2*j - 5*j + 17 = 4*l. Solve -l*t = -4 + 8 for t.
-2
Suppose 4*f - 16*f = -24. Solve -4*b = -f*b + 4 for b.
-2
Let k(i) = i**3 - 6*i**2 + 4*i + 7. Let g be k(5). Suppose 0 = w + w + g*b, 4 = -2*w - 4*b. Solve -3 = -c + w for c.
5
Suppose -6*j - 35 = -11*j. Solve -j*w + 3*w = -12 for w.
3
Suppose -r + 2 - 3 = 0, 89 = 5*s - 4*r. Let l = 24 - s. Let w be (-1)/((-1 + 2)*-1). Solve 3*b + w = l for b.
2
Suppose y + 3*b - 5 = 0, 5*y = 2*b + 8 - 0. Solve -q = -y*q for q.
0
Suppose -3*p = -2*p - 2*z - 4, 4*p = 3*z + 6. Solve 4*a - 4 + 24 = p for a.
-5
Suppose 2*o - 2*u = -27 - 7, o + 26 = 4*u. Let v(g) = g + 17. Let d be v(o). Solve -2*k + d*k = -3 for k.
-3
Let b(g) be the third derivative of g**7/5040 - g**6/120 + g**5/60 - g**2. Let w(q) be the third derivative of b(q). Let o be w(6). Solve -3*v - 12 = -o for v.
-4
Let c be 5 + (3/3 - 2). Suppose -2*l + c*l - 8 = 0. Suppose l*a - 3*s - 15 = -a, -4*a - s = 5. Solve -p = -a*p - 3 for p.
3
Suppose -51 + 15 = -6*i. Solve -i*k = -2*k - 12 for k.
3
Suppose -4*q + 8*q + 3*k - 27 = 0, 5*q - 2*k = 28. Suppose q = -0*g + 2*g. Solve 0 = -8*s + g*s + 25 for s.
5
Let c be (-4 + 14)*1/(-2). Let v = 5 + c. Solve v = -2*w + 2 + 4 for w.
3
Let f be 2/(6 + -4)*0. Solve 3*t + 4 + 2 = f for t.
-2
Let h be ((-9)/(-6))/(9/384). Let u = h - 43. Suppose 29 = 2*a - u. Solve -r + 6*r + a = 0 for r.
-5
Suppose 4*b + 4*v + 4 = 0, -7 = b + 3*v - 0*v. Let d(p) = 8 + p**2 + b*p - 6 - 1. Let w be d(-3). Solve 4 + 4 = -w*h for h.
-2
Suppose 12 = -0*n - 2*n. Let r be (-4)/(-6) - 248/n. Solve -5*t - r = -17 for t.
-5
Let o(c) = -4 - 1 + 3 + c - 1. Let y be o(6). Solve -2*a - y*a = -5 for a.
1
Suppose 9 - 1 = -g. Let o = 13 + g. Solve 11 = -o*s - 4 for s.
-3
Suppose i + 4*j - 3 = 0, 19 = 5*i + j - 15. Solve 3*p - i = 5 for p.
4
Let t be (4 + -1)/((-12)/(-8)). Solve -3*b + t*b = 4 for b.
-4
Suppose 0 = -8*d - 0*d. Solve -3 = -s - d for s.
3
Let j(m) = 2*m**2 - m - 2. Let t be j(2). Let s = t - -2. Solve -4 = h - s for h.
2
Let c = 10 - 5. Let p(f) = 2*f - 1. Let w be p(-1). Let l = w + 5. Solve c*n = l*n + 3 for n.
1
Let h be (-4 + -4 - -4) + 6. Suppose -f - f + 4 = h*i, -4*i = -8. Solve f*g = -5*g + 10 for g.
2
Suppose 4*t = 5*t - 5. Solve t*g = 4 + 1 for g.
1
Suppose -17*l + 15*l + 4 = 0. Suppose 2*p - 10 = 14. Solve -l*u + p = 4 for u.
4
Let q(r) = r**2 - 10*r + 11. Let h be q(9). Solve 0 = -h*a + 3*a - 3 for a.
3
Let k be 3/((-18)/8)*-3. Suppose 2*i + 5 = -3*r - 2*r, 0 = 5*i - 4*r - k. Suppose s + s - 16 = -5*c, i = 5*c - 3*s - 1. Solve 0 = 4*m - c*m for m.
0
Let p be ((-2)/8)/(2/(-8)). Suppose y - f = p - 0, -5*y = f + 19. Let l = -3 - y. Solve 20 = -l*h - 5*h for h.
-4
Suppose -2*d - 3*o - 11 = 0, d - 5*d = 3*o + 37. Let q = d - -24. Let x = -3 + q. Solve -x - 12 = -5*j for j.
4
Let f(a) = -a - 5. Let r(w) = 1. Let k(m) = -f(m) + 6*r(m). Let n be k(-8). Solve 4*z = -9 - n for z.
-3
Let y(i) = i - 11. Let z be y(13). Suppose 5*k - z*k = 0. Solve k*v = -2*v + 6 for v.
3
Let v = -158 - -162. Solve v*y + 6 = 26 for y.
5
Let l(c) = 4*c**2 + 8*c - 14. Let v(u) = u**2. Let s(b) = l(b) - 3*v(b). Let h be s(-10). Solve -h = q + q for q.
-3
Let o(g) = 3*g**2 + 1. Let t be o(-1). Let b(d) = 3*d + 1 - 4*d - t. Let c be b(-6). Solve 0 = 2*f - 3 - c for f.
3
Let q be (1 + -6)*6/(-5). Suppose -2*b = -b - q. Solve s = 3*s + b for s.
-3
Suppose 5*h + 28 = 9*h. Solve -h*n = -2*n for n.
0
Let y(v) = v - 4. Let x be y(4). Solve 3*o - 8 - 4 = x for o.
4
Suppose 14 = 5*v - 1. Suppose a = -0*a + v. Solve -a = -i + 2 for i.
5
Suppose -3*k = -2*g - 19, -k + 1 = -4*k - 2*g. Suppose -h + k*t + 0 = 15, 15 = 3*t. Suppose h*o + 10 = 2*o. Solve -3 = o*w - 2*w for w.
-1
Suppose 0 = -t - t + 4. Let n be -1*(-3)/t*4. Solve 0 = -5*k + n + 19 for k.
5
Let d = -6 - -8. Solve -d*q - 6 = -5*q for q.
2
Let w be 4 - (-12)/((-6)/2). Let u(s) = s**3 + s**2. Let y be u(w). Let t(k) = -k - 1. Let q be t(-3). Solve q*a = -y*a for a.
0
Suppose 0 = 4*y - 42 - 38. Solve y + 0 = -5*v for v.
-4
Let w = -28 + 39. Solve 3*z - 1 = w for z.
4
Let t be 0 + 0 + 17 + 1. Let u = t + -11. Suppose -3*h = -u*h - 4*k - 8, -24 = -3*h + 3*k. Solve -4 = -y - h for y.
1
Let x(a) be the first derivative of a**5/120 - a**4/24 + a**3/3 - 1. Let i(u) be the third derivative of x(u). Let h be i(2). Solve -5 - h = 3*w for w.
-2
Suppose 2*n + 9 = -u, -2*n - 6 = -0*n + 4*u. Let m = n + 8. Suppose -6*k = -k - 10. Solve -m*f = k + 13 for f.
-5
Let o be 3*(-9)/(1 + -4). Solve o = 3*s - 0*s for s.
3
Let r(t) = 15*t**3 - t**2 + 1. Let l be r(1). Let h = l + -11. Solve 3*c - h*c + 5 = 0 for c.
5
Let g be 6/(-2 + -1) - -2*3. Solve 9*j = g*j + 25 for j.
5
Let m be ((-6)/9)/((-2)/(-3)). Suppose 5*y + 4*k - 23 = 0, -2*k + 0*k = -y - 1. Let a = m + y. Solve a*p + 0*p = -10 for p.
-5
Let o(f) be the second derivative of -f**5/20 - 5*f**4/12 - f**3/2 + 5*f**2/2 + 3*f. Let n be 8*-1 + (-6)/(-2). Let b be o(n). Solve b = -0*s + 5*s for s.
4
Suppose 0*i - 2*i = 10. Let z be ((-8)/i)/((-2)/(-15)). Solve -b + z = 2*b for b.
4
Let a = -20 + 23. Solve -4*w + 5 = -a for w.
2
Suppose 0*o = -o + 4. Suppose -o*h = -5 - 7. Solve 21 = 