Let j(w) = -w + 7. Let d be j(4). Let q be (-3)/12 - (-39)/12. Solve -d*l = -0*l + q for l.
-1
Let b be 2/4*(8 + 2). Solve -b*p = -12 - 3 for p.
3
Let m be ((-6)/(-7))/((-24)/(-84)). Solve 0*i - m = -3*i for i.
1
Suppose 0 = -c + 3*j - 8*j + 23, 25 = 3*c + 4*j. Let z(p) = -p**3 + 5*p**2 - 3*p - 3. Suppose 10*k = 5*k + 20. Let v be z(k). Solve -b + v = c for b.
-2
Suppose 4*t = -2*a - t - 51, t = -a - 21. Let d = 22 + a. Let b(i) = i**2 - 2*i - 2. Let s be b(3). Solve d*n - s = -5 for n.
-1
Suppose 0*r = 3*r. Suppose -2*q = -r*q. Solve 5*w + 15 = -q*w for w.
-3
Let a(m) = 8*m - 7. Let d(r) = 7*r - 7. Let j(z) = 6*a(z) - 7*d(z). Let y(x) = -x + 14. Let b be y(7). Let k be j(b). Solve k*g = g for g.
0
Let l(q) = q**3 + 14*q**2 + 15*q + 32. Let v be l(-13). Solve -3*y = -v*y + 12 for y.
4
Let z = 45 - 13. Suppose 5*i - z = i. Suppose -s - 3*o + i*o = -10, -2*o - 4 = 4*s. Solve s*d = -d for d.
0
Let l(v) = -v - 8. Let y be l(-8). Let t = y + 2. Suppose -2*i + 5 = x, -x + t = 3. Solve -i = -d - 2*d for d.
1
Suppose 20 + 0 = 5*v. Suppose -3*x + 15 = 3*y, 9 = v*x - 3*y - 4. Suppose 8 = 5*f - x*f. Solve -3*t = -f*t + 20 for t.
4
Let l be (3 - -7)/(-3 - -5). Solve -2*f - l = -7*f for f.
1
Suppose 0 = 2*h - 4. Solve 0 = -h*u - 1 - 1 for u.
-1
Suppose 0 = 5*n - 5*z - 15, -2*z = 4*n - 4*z - 10. Suppose r - 12 = -4*j + j, -3*r - n*j + 22 = 0. Solve -y = y - r for y.
3
Suppose -6*j = -10*j + 24. Solve -3*f = j - 0 for f.
-2
Suppose -4*c = -2*t - 14, 4*t + 10 - 47 = -5*c. Let p(m) = m**3 - 9*m**2 + 4. Let d be p(9). Solve d = t*i + 1 for i.
1
Let d(k) = 6*k + 3 - 2*k**3 + k**3 - k. Let j be 2 + -4 - (-2)/(-2). Let u be d(j). Solve 5*g - 2*g + u = 0 for g.
-5
Suppose -a - 6 = -4*a. Let d be (a/(-5))/(3/15). Let u be d/6*(-14 - -2). Solve 0 = -u*c + 14 + 6 for c.
5
Let c be (-14)/(-6) + 2/3. Suppose 3*w + 0 + 9 = 0. Let u be (-1)/6*2*w. Solve -c*b - 14 = u for b.
-5
Let u = 20 + -19. Let f = 5 - u. Solve 0 = -f*r + r - 12 for r.
-4
Let g = 0 + 4. Suppose 16 = r + g. Solve -4*s + r - 4 = 0 for s.
2
Let k be (-1 + -1 - -1) + 3. Suppose -3*w + 10 = l, -16 = k*w - 5*l - 0*l. Solve 0 = -2*r - w*r for r.
0
Suppose -3*t + 42 = 3*r, 2*t + 2*r = -t + 37. Suppose 0*b - t = -3*b. Let z be (-6 - -6) + b/1. Solve 0*i = z*i + 6 for i.
-2
Let b be (0/(1 - 0))/(-2). Suppose j + 0*j = b. Let u(m) = m**3 - 3*m**2 + 4. Let p be u(3). Solve -2*f = -j - p for f.
2
Suppose -40 = 4*u - 9*u. Solve 0 = -5*r - u - 17 for r.
-5
Let w be (-42)/(-35)*(-1)/(3/(-20)). Solve 3*b - w*b + 15 = 0 for b.
3
Let l be 0 - -4*(2 - 4 - -3). Solve j = l*j - 15 for j.
5
Let q be 2/4 - (-2)/(-4). Let n = 22 + -17. Suppose q = 3*k + m - n - 5, 0 = k + m - 6. Solve 0 = -a + k - 0 for a.
2
Suppose 2*a - 4 = -3*a - 4*d, d + 24 = 5*a. Let i(n) = -6*n + 1 - a + 2. Let k be i(-1). Solve 0 = -4*w - k - 3 for w.
-2
Suppose 10 = 4*q - 26. Let m = q - 6. Solve -m*j = j + 20 for j.
-5
Let u(r) = r + 4. Let n be u(0). Let p(a) = a**2 - 5*a + 1. Let q be p(5). Suppose -5*y = -q - n. Solve 0 = -c + 2 + y for c.
3
Let h = 0 - -5. Suppose -h*a + 0*s + 2*s + 12 = 0, -5*s + 20 = 0. Solve a*b - 10 = 10 for b.
5
Suppose n - v = -2, -n - 4*v + 8 = -6*n. Suppose n = -4*i + 19 - 3. Solve 2*m = i*m + 10 for m.
-5
Let a be ((-3)/1)/(3/(-10)). Suppose -3*t + 56 = -58. Suppose 5*k - 2 = t. Solve -k*p - a = -3*p for p.
-2
Let c(j) = j**3 - 9*j**2 + 3. Let a be c(9). Let p be 8/3 + (-4)/6. Suppose 3*x + p*k - 9 = 14, -19 = -x + 5*k. Solve 3*n + a = -x for n.
-4
Let x(y) = -y**3 - 4*y**2 - 5*y - 4. Let v be x(-3). Let k be 2/(-6) + (-14)/(-6). Suppose 3*n = k*n. Solve n*j + v = 2*j for j.
1
Let u = -5 - -6. Let c = u + 17. Solve -5*v + 7 = -c for v.
5
Suppose 2*p - 10 = -0. Suppose -p*z + 3*j = -27, -2*z + 2 = 2*j - j. Let f be (3 - 0)/((-9)/(-6)). Solve z*m - f - 13 = 0 for m.
5
Let v(x) = x**3 + 3*x**2 - 1. Let w be v(-2). Solve -5*t - w = -13 for t.
2
Let g be -4 - (3 + 2 + -4). Let k be 1*(-3)/1 - g. Solve 0 = i + k + 2 for i.
-4
Let b(w) = -w - 1. Let p be b(-1). Suppose -8*x = -4*x - 8. Suppose 3*s - x - 9 = -a, 0 = 5*s - 3*a - 9. Solve 0*n + s*n - 6 = p for n.
2
Let d = 34 - 24. Solve t = 6*t + d for t.
-2
Suppose -2*w - 3*w - 16 = -3*m, 12 = 4*m - 2*w. Solve 0 = -2*y - m - 0 for y.
-1
Let t(j) = j**3 + 4*j**2 - j + 6. Let q be t(-4). Solve p = -p - q for p.
-5
Let b(g) = g**3 - 6*g**2 - 4*g - 5. Let y be b(7). Suppose 5*c - c - y = 0. Solve 2*s = 6*s + c for s.
-1
Let p = -12 + 8. Let k = -1 - p. Solve 0 = d - 2*d + k for d.
3
Let q = 61 + -31. Suppose -5*l = -q - 15. Solve -3*d + 0*d + l = 0 for d.
3
Let f be 0 + (-14)/4*52/(-91). Solve v = -v + f for v.
1
Suppose 2*k + 4 = 3*k. Solve -2 = 2*w - k for w.
1
Suppose -3 = -3*a - 2*t, -4*a = -5*a - 5*t - 12. Solve 0 = -a*w - 15 for w.
-5
Let d(q) = 15*q + 90. Let o be d(-6). Solve -3*b - 3 = -o for b.
-1
Suppose 9 = i - 4*i. Let c(k) be the second derivative of k**5/20 + k**4/3 + k**3/3 + k**2/2 + k. Let v be c(i). Solve 4*j - 2*j + v = 0 for j.
-2
Let l(m) = -m**3 - 10*m**2 - 7*m + 21. Let i be l(-9). Solve 0 = -i*t - 0*t - 6 for t.
-2
Let g(f) = -f - 9. Let j be g(-6). Let t = j - -6. Solve 0 = t*r + 2*r for r.
0
Let p be ((-38)/(-57))/(4/54). Solve -v - 2*v = p for v.
-3
Suppose w = 3*l + 13, 4*w - 10 = 2*w + 2*l. Let f = 1 + 2. Suppose z = f*z. Solve n + z = w for n.
1
Let n be 10/25 - 26/(-10). Solve -n*x = -16 + 1 for x.
5
Let s(k) = k**3 + 3*k**2 - 2*k. Let m be s(1). Solve 2*h = 10 - m for h.
4
Suppose 0*s = -3*s. Suppose 3 = 2*x - 1. Solve x*i + s = -4 for i.
-2
Suppose -11 + 2 = 3*f, 2*z = -2*f. Let s be 3*(10/z)/5. Solve s*x + 5 = -3 for x.
-4
Suppose 0*o - 5*o = 0. Solve -2*i + i = o for i.
0
Let q = -1 - 1. Let l(a) = 2*a**2 + 4*a + 2. Let g be l(q). Solve -v = g*v - 15 for v.
5
Let b(p) = p**3 + 8*p**2 - p + 4. Let j be b(-8). Solve -3*x = -0 + j for x.
-4
Let x(a) be the third derivative of -3*a**2 - 1/12*a**4 + 0*a + 1/2*a**3 + 0 - 1/60*a**5. Let j be x(-3). Solve j = -4*f + 13 - 1 for f.
3
Suppose 2*y - 2 - 10 = 0. Solve -25 = p - y*p for p.
5
Let i = 27 + -14. Suppose -4*j = i - 1. Let u = 2 - j. Solve 0 + u = -5*a for a.
-1
Let k = 11 + -7. Solve k*n = 17 - 5 for n.
3
Suppose -33 = 8*c - 11*c. Suppose -3*r = -m + c, 3*m + r - 23 = -2*m. Solve 7*f = 2*f - m for f.
-1
Let i(k) = k**2 + 5. Let r be i(0). Solve 4 + 11 = -r*q for q.
-3
Let m = 20 + -15. Solve -3*o + m = -10 for o.
5
Let h(r) = -r**3 - 21*r**2 - 22*r - 38. Let t be h(-20). Solve -14 = 4*f + t for f.
-4
Suppose 0 = 2*a + 3*r - 5*r, 5*a - 4 = 3*r. Let k = 10 - 10. Suppose 10 = 5*q - k. Solve q = 4*y - a for y.
1
Let o(m) = m**3 - 6*m**2 + 3*m - 8. Let l be o(6). Let a be ((-4)/l)/((-4)/40). Let n = 2 + 4. Solve c + n = a*c for c.
2
Suppose 3*n = -0*n + 9. Suppose h + 3 - 1 = 2*p, n*p = 3*h. Solve g = h*g for g.
0
Let q(v) = v**2 + v + 14. Let p be q(0). Let y be 24/p + 10/35. Let a = y - 1. Solve -a = 4*d + 7 for d.
-2
Suppose 0 = -5*q, -4*q - 16 = -4*z - 0*q. Solve -z*v - 3 = 13 for v.
-4
Suppose -5*a + a - 24 = 0. Let u be 3/9 + (-10)/a. Solve -2*l - u = 2 for l.
-2
Let f be (-4 - -6) + (-1 - 0). Let s(r) = -6*r + 2*r - r**2 + f + 2*r. Let b be s(-2). Solve 1 + b = 2*h for h.
1
Let d = 8 - 16. Let h be 4/3*(-60)/d. Solve -5*m + h + 0 = 0 for m.
2
Suppose -5*p + 1 = -3*g - g, p = -g + 11. Solve -2*r + 0*r = -g for r.
3
Suppose -22 + 2 = -4*x. Solve 6 = -x*p + 1 for p.
-1
Suppose 5*d - 15 = -0*d. Solve -5*k = -d*k - 4 for k.
2
Suppose 0 = -4*w - w + 10. Let h = -3 + w. Let d be (-1 - h)*1/2. Solve -2*b - 3*b + 15 = d for b.
3
Let l(h) = h + 1. Let t be l(-1). Let z be 17 + -2 + 0 + 0. Solve 5*u + t*u + z = 0 for u.
-3
Suppose 0 = 4*u - 2*u - 6. Let m(d) = -d**2 + 2*d + 3. Let q be m(u). Solve q*n = n - 2 for n.
2
Suppose 11*s + 42 = 9*s. Let b = 41 + s. Solve 5*f - b = f for f.
5
Let j = 13 - 10. Suppose 5*p - 13 = -2*o, 2*p - o - j*o = 10. Solve p*u = -15 - 0 for u.
-5
Suppose 4*j - 35 = -0*s - 5*s, 2*j - 14 = -2*s. Suppose -3*i + 5*a + 12 = -5, -s = -2*i - a. Let l be i/18 - 32/(-18). Solve -l*y + 1 - 9 = 0 for y.
-4
Let g(y) = 5*y**3 - 6*y**2 + 10*y - 16. Let v(w) = -14*w**3 + 19*w**2 - 30*w + 47. Let h(b) = 11*g(b) + 4*v(b). Let s be h(9). Solve 0 = s*n - n - 8 for n.
4
Suppose -3*v - 4*v = -7. Let l = 5 + -2. Solve 0 = j - v + l for j.
-2
Let q(g) = -g**2 - 9*g - 6. Suppose 6*h + 40 = h. Let 