s be i(4). Let u = p - s. Solve d - 3 + 7 = u for d.
-4
Suppose 0*d - 2*v = 3*d - 6, v - 4 = -2*d. Solve d*w = 5*w - 9 for w.
3
Let x = 5 + 0. Let n = -7 + x. Let l(z) = 2*z**2 + 2*z + 1. Let u be l(n). Solve 0*w - u = w for w.
-5
Suppose 0 = -3*u + 2*u + 11. Let t be (-2)/u - (-48)/22. Let i be (t - 2)*(-3)/6. Solve i*s = s for s.
0
Let o = 52 - 47. Solve 3*i = 8*i + o for i.
-1
Let n = 51 - 47. Solve -i = -n*i - 3 for i.
-1
Let f(y) = y**2 + 6*y - 2. Let o be f(-5). Let q be ((-4)/o)/(2/14). Solve -1 - q = u for u.
-5
Suppose 5*m + 0 = 15. Solve -m*b + 12 = 3 for b.
3
Suppose -3*j + 10 + 6 = 2*w, -w = -3*j + 1. Suppose j*a - 8 = 6. Suppose -4*z + 1 + a = 0. Solve -v = z*v for v.
0
Let a(k) = -13*k**2 - 29*k + 43. Let g(u) = 3*u**2 + 7*u - 11. Let p(l) = 2*a(l) + 9*g(l). Let f be p(-8). Solve -31 = -5*j - f for j.
4
Suppose 0 = -4*c - t + 8, -5*c = -4*t + 5*t - 9. Let r = -220 + 224. Solve -x - c = -r for x.
3
Suppose 5*q - q = 8. Solve 4*s + q = -14 for s.
-4
Let r(c) = 9*c**3 - 2*c**2 + c. Let u be r(2). Suppose -a - a = -b - u, -3*b = -5*a + 203. Let z be (-4)/18 - b/18. Solve z*g = 2*g - 2 for g.
-1
Let u = 256 + -252. Suppose -3*h = 2*h - 10. Solve 0 = -u*r - 10 + h for r.
-2
Let u be (7/(-21))/((-2)/(-6)). Let f be (5 - 4)/(u/(-2)). Suppose 3*c + 4*p + p + 11 = 0, -3*p - 9 = c. Solve f*h - c*h + 4 = 0 for h.
4
Let g = 32 - 28. Solve a - g*a + 3 = 0 for a.
1
Suppose 0 = 4*s - s. Let y be (5 - -1) + s/2. Solve o = -o + y for o.
3
Suppose 27 = 3*w + 6*w. Solve 0 = -6*m + w*m + 15 for m.
5
Suppose 4*d - 8 = -v + 9, 0 = -v + 5*d - 10. Solve v*g + 11 = -14 for g.
-5
Suppose -7*a + 16 = -5*a. Suppose 0 = 3*n + 2*n - 20. Let r = n + a. Solve b + 3*b = r for b.
3
Let b be 3/18 + (-6)/36. Suppose 0 + 4 = 2*d. Let g = d + b. Solve g*f - 4*f = 0 for f.
0
Let i(v) = -v**3 + 8*v**2 + 8*v + 16. Let y be i(9). Solve 8*a = y*a for a.
0
Let s(y) = 2*y + 1. Let j be s(9). Suppose 5*w = 2*k + 2*k + j, -2 = w + 5*k. Solve w - 7 = -4*r for r.
1
Suppose 0 = 5*i - 10 - 0, -i + 17 = m. Let k be 27/5 + (-6)/m. Solve -k*t - 6 - 14 = 0 for t.
-4
Suppose -3*r + 112 = 2*c, 3*c + 8 + 164 = 4*r. Suppose r = -0*n + 4*n. Solve -n = -j - j for j.
5
Let m be 2/(((-16)/36)/(-2)). Suppose -4*t + 20 = 4*n, 0 = t + 2*n + 1 - m. Solve -4 = t*h - h for h.
-4
Let c(l) = 2*l. Let f be c(3). Suppose j - 3*j = -f. Solve j - 23 = -4*h for h.
5
Suppose d = 5*d. Solve 3*y - y = d for y.
0
Let q be 6/(-27) + (-14)/18. Let d(i) = -i**2 + i + 2. Let l be d(q). Solve -2*g + l*g = -10 for g.
5
Let q be 1 + (-6)/(-2) + -2. Suppose l + 1 = q. Solve 3 = -c - l for c.
-4
Suppose 5*p = -3*k - 34, -3*k - 3*p - 16 - 20 = 0. Let v = k - -15. Solve -f - 6 = v*f for f.
-2
Let i(a) = -2 + 0 + 2*a**2 + 4*a**2 + 2*a - 3*a**2. Let m be i(-2). Suppose 5*v = m + 4. Solve 3*d + 4 = -v for d.
-2
Suppose -5*r + 8 = -r. Let t be -3 + 2 - (-38)/r. Solve 4*n - t = -6 for n.
3
Suppose -4*i + 5*i - 3 = 0. Let u be 7 - 8/(-1 + i). Solve 0 = u*z - 2*z - 2 for z.
2
Let v(p) = -p**3 - p**2 + 4. Let x be v(0). Suppose 20*r - 9 = 23*r. Let q = 6 - r. Solve x*b = q + 11 for b.
5
Let j(m) be the second derivative of -4*m**4/3 + 2*m. Let a be j(-1). Let r be (a/(-6))/((-8)/(-12)). Solve 15 = r*u - u for u.
5
Let j(u) = -2*u**2. Let x be j(-2). Let a(c) = -2*c. Let k be a(x). Solve -3*g = g - k for g.
4
Let a be (1/(-2))/((-1)/28). Suppose -6 = -2*z - 0. Solve 2 = -z*g + a for g.
4
Suppose -d - 5*i + 20 = 0, i + 12 = 6*d - 3*d. Solve -d*b - 7 - 13 = 0 for b.
-4
Suppose -20 = -4*p - 4. Suppose -10 = -p*h + 2. Suppose -4*z + 14 = -h*a, 0*z = z - 5. Solve -j + a = -1 for j.
3
Let b be (10*1)/(-2)*1. Let w be (b/15)/(2/(-6)). Let s(p) = -2*p - 2. Let m be s(-3). Solve m*x + 15 = -w for x.
-4
Let m = 171 - 159. Solve -4*q - m = -q for q.
-4
Let l(m) = -m**2 + 4*m. Let b be l(3). Let z be (2/(-2) - -1)/2. Solve b*o + 8 + 4 = z for o.
-4
Let d(n) = -n**2 + 8*n + 11. Let j be d(10). Let s be j/(-5 + 2) + -3. Solve s*w = -2*w - 4 for w.
-2
Let o = -215 + 217. Suppose -n + 2 + 1 = 0. Solve -k = -o*k - n for k.
-3
Suppose 0 = d + d - 10. Suppose 2*c - 5*x - d = 0, -3*x - 17 = 4*c + 12. Let f = c + 5. Solve f = -0*l + l + 2 for l.
-2
Let i(c) be the first derivative of 2*c**3 - c**2 + c + 3. Let g be i(1). Suppose 0 = -5*t + 15, -t - 68 = -5*f + 3*t. Solve n + f = g*n for n.
4
Suppose -13*a + 3*a = -10. Suppose 2 - 22 = -4*w. Solve 0 = 3*u - w - a for u.
2
Let g(x) = -4*x**3 - 2*x - 2. Let q be g(-1). Solve y - q*y - 12 = 0 for y.
-4
Let k = 1 - -1. Let x = k + -4. Let o be (-1 + x)*(-4)/6. Solve o*v - 15 = -v for v.
5
Let z = -9 + 11. Suppose x + x - z = 0. Solve -3*k - 2 = x for k.
-1
Let d = 16 + -14. Solve -7 - d = 3*s for s.
-3
Suppose 15*f = 13*f + 10. Solve -5*o + 0 + f = 0 for o.
1
Let w(h) = h. Let z be w(7). Let u(c) = -c**2 - 1. Let t(o) = -6*o - 4. Let q(f) = t(f) - u(f). Let j be q(z). Solve s + j*s = -15 for s.
-3
Let l(c) = -3*c - 1. Let b be l(-2). Solve 3*g - b = 4*g for g.
-5
Suppose 0 = -5*u - 38 + 8. Let s = u - -8. Solve 0 = s*t - 3*t - 4 for t.
-4
Let f(j) = -2*j**2 - 8*j - 1. Let r(q) = -2*q**2 - 7*q. Let u(z) = -4*f(z) + 5*r(z). Let p be u(-3). Let t = 12 + p. Solve -2*g + 20 = -t*g for g.
-4
Let b(q) = q**2 + 5*q. Let v be b(-5). Suppose f + 2*c = 13, -2*c = -4*f - 5*c + 27. Suppose -4*s = -f*s - 2. Solve v = -h + s - 4 for h.
-2
Let s = -4 + 8. Suppose -18 = -3*z - z + 2*j, 0 = -s*z + 4*j + 28. Suppose 0 = 5*v + 4*r + 8, 4 = -r + z. Solve 6*b - 4*b = v for b.
0
Let n be 18/81 - (-34)/9. Solve -n*x - 6 = -x for x.
-2
Suppose 7*a - 100 = 3*a. Solve -7*q + a = -2*q for q.
5
Let k = -41 - -45. Solve -16 = -k*a - 0 for a.
4
Let d = -5 - -9. Suppose -d = 2*z - 8. Let q = z - 1. Solve q = 4*k + 5 for k.
-1
Let a = -3 - 3. Let r = a - -9. Solve -5*u + 4*u = r for u.
-3
Let f be (-96)/(-44) - 6/33. Solve 4*h = -2 - f for h.
-1
Let f = 2 - -8. Suppose 3*n - 9 = -0*n. Solve -f = b - n*b for b.
5
Let b = -2 + -2. Let t(n) = n**3 + 5*n**2 + 5*n + 5. Let x be t(b). Solve -m - 1 = x for m.
-2
Let c(i) = -i**3 + i**2 - i. Let l(x) = -5*x**3 - 5*x**2 - 10*x + 11. Suppose 0 + 1 = -d. Let b(m) = d*l(m) + 4*c(m). Let u be b(-8). Solve 6*y = y + u for y.
1
Let l(t) = 3*t - 7. Let u be l(3). Let j(a) = a**3 + 5*a**2 - 4*a + 4. Let b be j(-6). Let v = u - b. Solve c = -c - v for c.
-5
Let n be 5*((-6)/15 - -1). Let o = -1 + n. Solve -j - 9 = o*j for j.
-3
Suppose -2*q = 4*l - 4*q - 14, 0 = 2*l + 4*q + 8. Solve l - 11 = -3*b for b.
3
Let z(w) = -w**3 + 2*w**2 + 4*w - 3. Let x be z(3). Suppose x = -k + 3*k - p + 4, 2*p = 4. Let y be 22 - 0 - (1 - k). Solve 9*c - 4*c = -y for c.
-4
Let y be (-6)/2 + 2 + 7. Let a be -12 - y/(2 + 0). Let b be ((-6)/a)/(3/15). Solve -b*x = -5*x for x.
0
Suppose 0 = 2*d + m - 24, 3*m = 4*d - 9 - 19. Solve 5*q - d = -0*q for q.
2
Let h(z) = 0*z - z**2 - 6*z + 3*z. Let r be h(-3). Suppose 3*l - 42 - 3 = r. Solve -3*b + l = 2*b for b.
3
Let v = 10 + 2. Solve -2*p = p + v for p.
-4
Suppose -3*l = -6*l + 6. Suppose 0 = -l*j + 4. Solve 0 = -b + j*b + 2 for b.
-2
Let x be 1/((-6)/9)*4. Let c = -4 - x. Suppose 15 = c*o + o. Solve -5*a + o = -0 for a.
1
Suppose -11 = 3*z - 2. Let m be -3 - (z + (2 - 7)). Solve -7 = m*s + 8 for s.
-3
Suppose 5*o = 5*i + 3*o - 51, -4*o + 15 = 3*i. Solve -s = 2*s + i for s.
-3
Let x be ((-1)/(-3))/((-8)/(-120)). Solve -x*f = -3*f + 6 for f.
-3
Let c(p) = p**2 - 2*p + 1. Let x be c(0). Solve -2*k + 9 = x for k.
4
Suppose 9 = -0*y + 3*y. Suppose c + y*c - 60 = 0. Suppose t - 33 = -5*p, -3*p + c = t - 8. Solve 2*x = 6*x + t for x.
-2
Let q = 19 - 14. Suppose -q*l = -8*l + 24. Solve -l - 2 = 2*o for o.
-5
Let k = -9 + 11. Solve t = 3*t - k for t.
1
Let w = -10 - -22. Let y be (4/w)/((-1)/(-15)). Solve -2*b - 3*b + y = 0 for b.
1
Let c = 4 - 5. Let i = c + 1. Let x be (6 + i)/(0 + 1). Solve -2*d = x + 4 for d.
-5
Let o be (4/(-10) - 0)/(3/(-90)). Solve 7*k + o = 3*k for k.
-3
Let m(z) = 5*z - 2. Let x be m(2). Let j be (-2)/4 - (-36)/x. Solve j = -2*g + 14 for g.
5
Let w be (-11)/(-9) - (-4)/(-18). Suppose -v + 3*j = 10, 3 = -2*v + 3*j - 2. Suppose 0 = v*l - 5*p - 25, 3*p + 5 = l - 0*p. Solve 2*i = l - w for i.
2
Let u be 6 + (3/(-3))/1. Suppose 0 = 4*s - 0 + 12. Let k be s*30/(-9) + -1. Solve u*d - k = 11 for d.
4
Suppose 8*b - 4*q = 3*b + 21, 5*b = 5*q + 25. Solve f + b = -4 for f.