-3 = -q*z + 3 for z.
2
Let p = 27 - 27. Let q be p/(4/(3 + -7)). Solve 2*h + 2 = -q*h for h.
-1
Suppose -2*s + 3*s + i - 8 = 0, 5*s = 5*i + 20. Suppose 3*q + q + 16 = 0. Let c = q + 7. Solve 6 = c*u - s for u.
4
Let a(k) = 5*k**3 - k + 1. Let y be a(1). Suppose 0 = y*j - 0 - 15. Solve -2*p - p + j = 0 for p.
1
Let i(g) = -15*g**3 - g. Let b be i(1). Let k = -11 - b. Suppose -2*q - 3*j = -3, -2*j + 4 = k*q + 2. Solve q*o + 2 = o for o.
2
Let w be 6 + 3 + (-6 - 0). Solve w = c + 2 for c.
1
Suppose 0 = -5*q + q + 48. Solve -z + q = -4*z for z.
-4
Suppose -g + 0*i + i + 7 = 0, i + 13 = 2*g. Suppose 2*r + 8 = g*r. Suppose 3*u = r*w + 16 + 2, 3*w + 17 = 2*u. Solve u*f = 2*f for f.
0
Suppose 0 = 2*n + 3*n. Suppose -4*o = 4*p - 80, 5*p - 72 = -0*p + 2*o. Solve -5*s + s + p = n for s.
4
Let q be 0/(1/(-3)*(14 - 11)). Solve 2*h + 2*h = q for h.
0
Let g be (-5 - -3 - -1) + 1. Solve -4*c = -g + 8 for c.
-2
Let b be (-6)/15*60/(-2). Suppose 0 = x - w + 5, 3*x + 3*w + w = 20. Suppose -2*p = -u - 8, p - 2*u = 3 + 1. Solve -p*k + b + x = 0 for k.
3
Let w = 25 - 21. Solve 4*n = -w + 24 for n.
5
Suppose 6 = 4*u - u - 3*h, -14 = -4*u - 2*h. Suppose 5 = -4*n - u. Let c be 32/14 + n/7. Solve c = 3*b - b for b.
1
Suppose -n - 4*i + 23 = 0, -2*i - 2*i + 20 = 0. Suppose 3*a = -n*b + 6, 0 = -3*a - 2*a - b + 2. Solve f + a*f = -5 for f.
-5
Let g(w) = -w + 10. Let h be g(8). Solve h*x + x = 0 for x.
0
Let c(s) = s**2 + 5*s + 5. Let v be c(-5). Let f(l) = -8*l - 7. Let n be f(-1). Solve n = -v*g - 4 for g.
-1
Let p = 19 - 17. Solve -p + 0 = a for a.
-2
Let r be (-2)/(-6) - 88/(-24). Solve j = -j - r for j.
-2
Suppose 1 + 7 = 2*x. Suppose 0 = -3*s - 2*n + 1, -n - 13 = -x*s + 3. Solve -s*p = -0*p + 6 for p.
-2
Let c be 14/6 - 4/(-6). Suppose -6*y + 3 = -c*y. Let u(l) = -l - 6. Let s be u(-9). Solve -s - y = 2*p for p.
-2
Suppose 2*y = 7*y. Solve y = -2*u + 4*u for u.
0
Let i be (8/(-10))/((-16)/40). Solve -c + i + 1 = 0 for c.
3
Suppose 9*q - 55 - 26 = 0. Solve q = 2*m + 1 for m.
4
Let l(i) = i**3 - 1. Let a(g) = -6*g**3 - 4*g**2 + 6. Let w(x) = a(x) + 5*l(x). Let q be w(-4). Solve q + 0 = -u for u.
-1
Suppose c = -q + 2, -4*q + 0*c = -c + 7. Let s be 1/((q/1)/(-2)). Solve 5 = s*z + 1 for z.
2
Let k(g) = 2*g**2 - g + 1. Let p be k(3). Let y = -14 + p. Solve y*x = 10 - 4 for x.
3
Let r be (-20)/(-6)*-3*(-4)/10. Solve -r - 8 = -4*q for q.
3
Let d be 0*((-6)/(-36) + (-3)/(-9)). Solve d = -k + 4*k for k.
0
Let u = 3 - -17. Solve j - u = 6*j for j.
-4
Let h be 3/7 - (-15)/(-35). Let v(g) = 2*g + h*g - 2*g + 2*g. Let m be v(2). Solve -m = -3*y - 19 for y.
-5
Let b = -25 - -25. Solve b*m + 20 = 4*m for m.
5
Let d(l) = 3*l - 2. Let i be d(2). Let r(m) be the third derivative of m**4/8 + m**3/2 - 3*m**2. Let w be r(i). Solve 3*f + w = -2*f for f.
-3
Let v be -2 + (-7)/(-21)*18. Suppose -4*i - 1 + 45 = 0. Solve i + v = -5*g for g.
-3
Let x(l) = l**3 - l**2 - l - 2. Let o be x(0). Let w = 4 + o. Suppose -w*n + 12 = -2. Solve 0 = -3*k + n*k + 8 for k.
-2
Suppose 5*x + 5*f = x + 62, 2*f = -5*x + 69. Solve 4*w = -x + 1 for w.
-3
Let p(c) = 2*c + 43. Let k be p(-20). Solve k*i - 12 = -0 for i.
4
Let x(z) = 6*z**3 + 4*z**2 + 5. Let t(n) = -7*n**3 - 5*n**2 - 6. Let u(j) = 5*t(j) + 6*x(j). Let i be u(1). Solve i = o - 6 + 3 for o.
3
Let t = 5 + -3. Solve u = -t*u for u.
0
Let g(n) = 3*n**2 - 2*n + 1. Suppose -3*r - l - 4 = 0, 0 = -2*r + 3*l + 12. Suppose 5 = -r*f + 5*f. Let a be g(f). Solve 5*w = a*w for w.
0
Let x = 5 - 1. Let f = 8 - x. Solve f*m - 25 = -m for m.
5
Let w be -1 - (-2*2 - -2). Let r = w + 3. Solve -15 + 35 = -r*n for n.
-5
Suppose -4*v - 5*x = -3*x - 38, -v - 4*x + 20 = 0. Let m be 14/(-3) - (-1)/(-3). Let z = m + v. Solve 4*b - 1 - z = 0 for b.
1
Let a be 2/1 - (-4)/(-2). Let j = 0 + a. Let o = j - -8. Solve o = -3*y + y for y.
-4
Suppose -22 = 6*h - 28. Solve h = -5*t - 4 for t.
-1
Suppose 0 = -4*v + 2*v + 12. Let u = -4 + v. Suppose u*m + 6 = 3*m. Solve 0 = -r + m*r for r.
0
Let k be (-4)/((-20)/(-15)) - -5. Solve 4*a - 4 = k*a for a.
2
Let v = -7 + 11. Suppose v*l = 3*l + 5. Solve -l*p + 10 - 35 = 0 for p.
-5
Suppose -2*h = h - 0*h. Solve 0 = -d - h*d + 2 for d.
2
Suppose 0 = 2*h - 0*h - 4. Suppose 21 = -5*x + 66. Suppose h*o + o - x = 0. Solve 0 = -8*z + o*z - 20 for z.
-4
Suppose 7 = 3*s + 5*x - 3*x, 18 = 2*s - 2*x. Solve -2 = -s*m - 12 for m.
-2
Let p be 4 + -1 + 0 + 25. Solve p - 3 = 5*h for h.
5
Suppose 45 = -0*d + 3*d. Suppose -3*z + 6 = -9. Suppose z*c + 5 = l, 2*c = -c + 3*l - d. Solve c = -m - 0*m + 1 for m.
1
Let n(c) = c - 6. Let w be n(7). Let y be (-4)/(-10)*w*5. Solve y*s + 4 = -4 for s.
-4
Suppose 4*x = 15 - 7. Solve 4 = -x*p - 2 for p.
-3
Let s be 2 + -3 + 2 + 7 + 0. Solve k + k + s = 0 for k.
-4
Let k(z) = z**2 + 6*z + 7. Let i be k(-5). Solve -d + 4 = -i*d for d.
-4
Let r be ((-3)/5)/((-10)/50). Solve -4 = -r*p + p for p.
2
Suppose 5*j - 2*y - 6 + 3 = 0, -j - y = -2. Let u be (2*(-3)/(-6))/j. Let z be (-6)/12*0/u. Solve 3*a - a = z for a.
0
Let t be 38/10 - 3/(-15). Suppose 7 = -t*k + 55. Solve k = -2*r + 6*r for r.
3
Let n(u) = -u**3 + 19*u**2 - 17*u - 18. Let r be n(18). Suppose 54 = 2*l + 174. Let m be (5/10)/((-2)/l). Solve r*f + m = 5*f for f.
3
Let s(m) = m**2 - 1. Let k be s(2). Suppose -k*c + 0*c = -9. Solve -c*a = -a for a.
0
Let v(j) = 1. Let a(f) = -f**2 + f - 2. Let x(b) = a(b) + 6*v(b). Let m be x(0). Solve g + m + 0 = 0 for g.
-4
Let y(f) = -3*f - 19. Let n be y(-7). Let d(o) = -o. Let u(k) = k**2 - 4*k - 1. Let p(z) = -2*d(z) - u(z). Let m be p(6). Solve t = m - n for t.
-1
Suppose 0*q = 5*q. Let w be (1 + q - 1) + 3. Solve -3*g - w + 6 = 0 for g.
1
Suppose -8*x + 27 = -3*x + 3*k, 0 = -2*x + k + 13. Let l be ((-80)/x)/(-2)*3. Solve 4*p + 0 = -l for p.
-5
Suppose -5*a - 3*g = 0, -10 = 2*a + 3*g - 1. Solve j - 1 = a for j.
4
Suppose -3*r + 83 = -4*i, -4*r - 5*i + 110 = -10*i. Solve -6*y = -y + r for y.
-5
Suppose -2*r + 5*i = r - 32, -2*r - i = -4. Solve -r*p + 0*p = -20 for p.
5
Let l(o) = o**2 + 3*o - 9. Let w be l(-5). Suppose 0 = -2*a + 5 - 1. Solve -7 = a*c - w for c.
-3
Suppose -3*o + 4*o + 1 = -5*d, 4*o + 4 = 3*d. Solve 2*k + d = 2 for k.
1
Suppose 4*y - 1 = 3*g, 0 = 5*y - 5*g + 2 + 3. Suppose 33 = 4*p - p + t, -44 = -y*p - t. Suppose 3*d - 9 = 2*k + p, 2*d = -4*k - 8. Solve d*f - 6 = 14 for f.
5
Suppose 2*g = -3*g + 15. Suppose -4*l - 2*b + 10 = 0, -l = g*l - 2*b - 6. Solve 0*q - 8 = -l*q for q.
4
Let h(p) = p**3 - 4*p**2 - 12*p + 4. Let j be (24/2)/(-2 + 4). Let f be h(j). Solve 0 = d + d - f for d.
2
Let m(z) = 4*z**2 - z**3 - 4 - 4*z**2 - 2*z - 3*z**2. Let f be m(-3). Solve f*r + 5 = -5 for r.
-5
Let z(m) = m**3 + 5*m**2 + 5*m + 5. Let k be z(-4). Solve -2*i + 5 = -k for i.
3
Let c = -4 + 1. Let o be 8 - 5 - c/(-1). Let m = 18 + -11. Solve o = 4*n + m - 3 for n.
-1
Let c = 1 - -4. Solve -2*b = -b - c for b.
5
Let a(q) = q**3 - 4*q**2 - 8*q + 15. Let w be a(5). Solve -4*d = -w*d + 16 for d.
-4
Let j = 24 + -21. Solve 0 = -2*z - 5 - j for z.
-4
Let n be ((-2 + 2)/(-3))/3. Suppose 10 = 2*t - n. Solve 0 = t*w - 3*w + 8 for w.
-4
Suppose t - 1 - 3 = 0. Let d = -4 - -8. Suppose -25 = -d*n - 9. Solve -n*y + t - 16 = 0 for y.
-3
Let c be 32/6*9/2. Suppose -m = 2*m - c. Suppose 0 = -5*a + m + 2. Solve a*l - 1 + 7 = 0 for l.
-3
Let t be 1*(-3 + 6)*1. Suppose t*s - 3 = 9. Let b(w) = w**3 - 3*w**2 - 3*w + 1. Let j be b(s). Solve -u + 0 = -j for u.
5
Suppose -1 = -3*p + 5. Solve 5*o + p = 27 for o.
5
Let s(f) be the second derivative of -f**5/20 + 7*f**4/12 - 2*f**3/3 - 3*f**2 - 3*f. Let x be s(6). Let c = x - 3. Solve -c*m + 5 = 2*m for m.
1
Suppose -5*i + 2*i + 33 = 0. Solve 3*r = -4 - i for r.
-5
Let j = -9 + 13. Let x be 6/27 - 124/(-9). Let z = x + -5. Solve r - z = j*r for r.
-3
Let h be (-4)/(8/(-4)) + 7. Let t = h + -5. Solve -9 + t = 5*d for d.
-1
Let s be -3*1 + 9 + -2. Suppose -s - 8 = -2*w + a, -2*a = 4*w - 8. Solve -7 = -w*n + 1 for n.
2
Let m be (-4)/22 + 12/66. Let p be (0 + -2)/(-6)*15. Solve m = p*z - 2*z - 12 for z.
4
Let h(c) = -6*c + 1. Let i be h(-1). Suppose -s + i = -3. Suppose 2 - s = -4*r. Solve -r*v = -0*v + 4 for v.
-2
Suppose 0 = -3*m + 10 + 8. Let d(c) = -c**2 - 2*c + 8. Let x be d(-6). Let q be (-6)/4*x/m. Solve p + q = -p for p.
-2
Suppose 4*l - 15 = 7*l. Let g = l - -8. Solve a = 4*a + g for a.
-1
Let g b