 Solve 0 = -p*r + 4 + 2 for r.
2
Suppose -4*p = 20, -4*w + p = -0 - 5. Let r(i) = -i**3 - 6*i**2 - 5*i + 5. Let m be r(-5). Solve -m*o = -w*o - 5 for o.
1
Let y = -21 - -24. Solve -i = -4*i - y for i.
-1
Suppose 4*n + 10 + 10 = 4*u, u + 4*n = 0. Solve -3 = -u*l + 1 for l.
1
Suppose -9*c + 39 = 3. Solve 5*v = 4*v - c for v.
-4
Let b be 235/25 + (-6)/(-10). Let r = -17 - -9. Let q = r + b. Solve -q = 3*c - 11 for c.
3
Suppose -5*g + 2 = -4*g. Suppose g*l = 7*l - 20. Let t be l/(-18) - 58/(-18). Solve -2*m = -t*m for m.
0
Let t = 29 - 19. Suppose 5*o = t*o. Solve o = -2*j + j + 2 for j.
2
Let p(a) = 3*a - 7. Let r be p(4). Solve -6 = -r*v + 2*v for v.
2
Let w be (12/(-9))/(2/(-6)). Solve 0 = -0*n - w*n + 16 for n.
4
Let i be (32 + (-6 - -4))*4/8. Solve 0*n + i = -3*n for n.
-5
Let s be 21/4 + (-4)/16. Solve 4*l = -l + s for l.
1
Let p be 0 + (1 + -1)/2. Suppose 7*j - j + 30 = 0. Let l be (j/(-15))/((-3)/(-18)). Solve -l*u + 0 - 4 = p for u.
-2
Suppose -o - 1 = -2*n, 17 = 5*o - 4*n - 2. Solve -4 = o*t - 3*t for t.
-1
Suppose 3*p = 5*t - 52, 4*t - 4*p - 24 = 3*t. Solve t*v = 5*v for v.
0
Let s be 5 + 5 + -1 + -7. Solve -s = 5*n - 17 for n.
3
Suppose 5*p + 3*o - 18 = -5, 0 = -4*p - 5*o. Suppose -3*d = -2*d + 4*x + p, 0 = 5*d + x - 13. Solve -r = -d*r for r.
0
Let b = -103 + 103. Suppose -5*c + 13 = 3*v - v, 5*c = -4*v + 21. Solve v*s - s + 12 = b for s.
-4
Suppose 4*k = -5*i - 56, 1 - 4 = -k + 3*i. Let d = 6 + k. Let f be d/2*(-4)/3. Solve -f*m = -m for m.
0
Let l(a) be the first derivative of a**3/3 - a**2 - a + 2. Suppose z + z + 4*t = -14, 2*z + 3*t + 11 = 0. Let d be l(z). Solve -6*v = -d*v for v.
0
Let o be (6 - 1)/(10/12). Suppose 3*j = -2*j + 25. Let l be 0 + j - (o + -5). Solve 0 = -l*h + 8*h for h.
0
Let n be ((-22)/(-6) - 3)*9. Solve n*q = q for q.
0
Suppose 2*h = p + 2*p - 38, p + 10 = -5*h. Let w = -4 + p. Solve -u - 10 = -w*u for u.
2
Let t(c) = c**3 - 9*c**2 - 10*c + 2. Let j be t(10). Solve -2*x + 4 = j*x for x.
1
Let a be (-54)/(-12)*(-4)/(-6). Solve -2 = -a*r + 4 for r.
2
Let k(d) = d - 3. Let i be k(7). Suppose -4*s = v - 12, -5*v + 4*v = -i*s + 20. Solve -u = u - s for u.
2
Let t be (-24)/20*(-5)/2. Let r(y) = -2*y**2 - 9*y + 6. Let v(g) = g**2 + 9*g - 7. Let a(m) = t*v(m) + 2*r(m). Let j be a(7). Solve -j = 2*f - 15 for f.
5
Let v be (6/18)/(-1) - (-4)/3. Solve v = 2*c + 3 for c.
-1
Suppose 4*d + 3*w = 18, 5*d - 2*d + w - 11 = 0. Suppose -y - d*y + 72 = 0. Let j = y + -3. Solve 0*a + j = -5*a for a.
-3
Let p(n) = -2*n - 4. Let b be p(-4). Solve -3*c = -b*c + 2 for c.
2
Let q(u) = u**3 - 15*u**2 + u - 15. Let m be q(15). Suppose m = 4*a + a. Solve 3*d - 4*d + 5 = a for d.
5
Let r be (0/(-1) - -1) + 1. Let x = r - -2. Solve -v - x = 3*v for v.
-1
Let a be 8 + 3 + -2 + 1. Let v be a/14 + (-8)/(-28). Solve 0 = 3*z + v + 5 for z.
-2
Suppose 2*j = -0*u + u + 2, 13 = -5*j - 2*u. Suppose z - 22 = -s - 3*s, -3*z + 18 = 4*s. Let f = s - j. Solve -4*i = -f + 23 for i.
-4
Let s = 32 - 28. Solve -s*c + 5*c = 3 for c.
3
Let n = -8 + 14. Solve -2*f - f + n = 0 for f.
2
Suppose 5*z - 2*x = 16, 4*z - 2*z = -x + 1. Solve z*s - 1 = s for s.
1
Let n be ((-5)/3 + 1)*9. Let w be (20/(-12))/(2/n). Solve -w*m - 20 = -m for m.
-5
Suppose 0 = 2*c - 7*c + 3*c. Solve 0*u - 4*u + 20 = c for u.
5
Let k = -108 + 113. Solve -15 = 4*s + k for s.
-5
Suppose 0 = -4*b - 4, 0 = 2*s - 3*b - 8 + 1. Suppose 4*j - 3*y - 15 = 0, s*y = 3*j + 2*j - 17. Solve -6 = 3*v - j for v.
-1
Let u(b) = -b - 5. Let z be u(-7). Let y(q) be the third derivative of q**4/24 - q**3/3 - q**2. Let m be y(2). Solve -z*i = -m*i - 10 for i.
5
Let i = 5 - 1. Suppose -3*s - 2*b = -1, s - 3 = i*s + 3*b. Let x be 1*s - (-5 + 6). Solve -3*d - x - 7 = 0 for d.
-3
Let b(g) = -g + 1. Let z be b(-1). Suppose 0 = -5*c - 4*w + 26, z*c + 0*w + 12 = 4*w. Solve -2*o + 3*o - c = 0 for o.
2
Let r be (0 - 0)*(-1 + 0). Let i = 3 - r. Solve 0*h = -i*h + 9 for h.
3
Let b = -22 + 26. Solve 2*z = b*z + 10 for z.
-5
Suppose -5*n + 3 = -4*n. Solve -3*x = -n - 0 for x.
1
Let y(j) = j**2 + 19*j - 23. Let p be y(-20). Let v(n) = 4*n**2 + 2 + n**3 - 5 + n + 2. Let d be v(p). Solve -d*x - 5 = 15 for x.
-4
Let q = -4 - -4. Let r(h) = h**3 - 12*h**2 + 11*h + 1. Let a be r(11). Solve q*o - a = -o for o.
1
Let k be 2/(-4)*(-3 - -1). Solve k - 4 = -j for j.
3
Let h = 3 + -4. Let n be 0/(h/(-2)*-4). Solve x + 3 = -n*x for x.
-3
Suppose x + 2 = 2*x. Suppose -2*k = -1 - 3. Suppose k*m - 2 = -0. Solve -9 = x*q - m for q.
-4
Suppose 2*d + 24 = 5*d. Let o(r) = r**3 - 9*r**2 + 9*r - 8. Let b be o(d). Solve -x + 2*x = b for x.
0
Suppose 0 = 2*t - 6*t. Let x = t + 3. Solve x*y - 2*y = -2 for y.
-2
Let t = 11 + -6. Solve t*g + 25 = -0*g for g.
-5
Suppose 0 = u - 3*l - 0*l - 14, 5*u - 37 = 4*l. Let q be (2 + -3)/(6/(-222)). Solve 0 = -u*a + 12 - q for a.
-5
Let c = 30 - 25. Solve -20 = -5*w - c for w.
3
Let f(s) = -s**3 - 6*s**2 - 4*s + 7. Let k be f(-5). Suppose -6*u + 40 = -u + 5*d, -k*d = -10. Suppose 0 = -0*y + u*y - 9. Solve y*j = -j for j.
0
Suppose 0*t = -t + 3. Solve -t + 0 = -z for z.
3
Suppose 0 = -3*g - 6, -n - g + 6 = -2*g. Let h(y) = y**2 + 6*y - 10. Let j be h(-7). Let k be 3/9 + (-29)/j. Solve 6*a + k = n*a for a.
-5
Let h = -19 - -23. Solve 0 = h*c - 3 - 5 for c.
2
Let a(d) = -d**3 + 5*d**2 + 6. Let v be a(5). Suppose 5*t - v = 3*t. Let g = 15 - 7. Solve z + t = g for z.
5
Let o = 3 + -3. Suppose 0 = -s + 6*s - d - 25, 21 = 4*s - d. Solve o*p + p - s = 0 for p.
4
Let a(w) = -w**2 - w + 33. Let j be a(-6). Solve 0 = -j*t + 3 for t.
1
Let s = 10 + -8. Solve 0 = -s*v - 1 - 3 for v.
-2
Suppose -o + 2*o = 0. Suppose 3*y = -6*h + 3*h + 21, -h + 23 = 5*y. Solve o*g = -g - y for g.
-4
Let c(b) = -b + 1 - 5*b + 3*b + b. Let l be c(-3). Solve -4*u + 3 - l = 0 for u.
-1
Suppose 4*h + 4*l = -7 - 1, 4*h = -2*l. Solve -1 - 3 = -h*m for m.
2
Let t be ((-4)/5)/(10/(-25)). Let o be ((-12)/(-14))/((10/14)/5). Solve t*i + 8 = o*i for i.
2
Let h(p) = p**2 + 7*p - 4. Let x be h(-6). Let t(i) = -i - 7. Let b be t(x). Solve 0 = -5*y + 2 + b for y.
1
Let t = -63 + 66. Solve 2*k = 11 - t for k.
4
Suppose 3*t + t = 8. Suppose -p + f = -4*p + 38, 3*p - f - 34 = 0. Let g = p - 8. Solve -g = t*x - 12 for x.
4
Suppose -23 = -7*c + 12. Solve -c*t + t + 8 = 0 for t.
2
Suppose 4*m = 3*f + 14, -5*m + 31 = -2*f + 5*f. Solve 2*t + 0 = f for t.
1
Let r be 70 - (1 + 1) - -1. Suppose 3*s + 24 - r = o, -2*o + 64 = 5*s. Suppose 6 = 5*g - s. Solve -g*v - 1 = 3 for v.
-1
Let r be (-1)/((4 + -3)/(-5)). Suppose -r*u + 17 + 3 = 0. Suppose 16 + u = 4*y. Solve 0*m + y*m = 10 for m.
2
Let q(u) be the third derivative of u**5/60 + u**4/24 + 23*u**3/6 + u**2. Let z be q(0). Suppose 20 = 3*c + 2*c. Solve c*h = -z + 3 for h.
-5
Suppose -4*q - 5*h = -20, -5*h = -h - 16. Suppose q = -0*f + 2*f. Solve 3*d + f*d = 6 for d.
2
Suppose -255 = -5*t + 4*p + p, 0 = -2*t - p + 87. Let m(h) = 2*h**3 - 2*h**2 + 3*h - 3. Let x be m(2). Suppose -t = -5*u - x. Solve -2*n - 3 + u = 0 for n.
2
Suppose 2*o + o = 18. Solve j - o = -1 for j.
5
Let p be (-17)/(-3) + (-4)/6. Suppose 0*x - p*x = 5. Let o be 0*x*(-1)/(-2). Solve 0*d - d = o for d.
0
Suppose 2 = 4*g - 2*s, 3*s = -3*g - g + 27. Let y = g - 1. Solve -h + 0 = -y for h.
2
Suppose -3*w - 2*w + 10 = 0, 5*w - 65 = -5*p. Solve -2*s + p = 1 for s.
5
Let b be ((-12)/9)/((-4)/6). Solve -15 = -5*u + b*u for u.
5
Let p = -92 + 94. Solve p*g = -3*g + 5 for g.
1
Suppose p - 4*m - 8 = 0, 3*p - 9 = 2*m + 15. Let y = p + -5. Suppose u = y*u - 12. Solve u = 4*g - 14 for g.
5
Let b(l) = 4*l**2 + 3*l. Let o be b(-2). Suppose -3*z = 5*i - 0 - 1, -3*z = -2*i - 8. Solve 0 = z*k - 0 - o for k.
5
Let o(j) = 2*j**2 - 1. Let l = -2 + 3. Let x be o(l). Let w(b) = 5*b**2 - 2*b + 1. Let h be w(x). Solve -5*r + h = -16 for r.
4
Suppose 2*m + 0*m - 3*p + 6 = 0, 0 = -5*m - 3*p + 6. Solve 2*q - 2 - 2 = m for q.
2
Let t = -114 + 114. Suppose 3*d = 0, 0 = 3*m + 5*d - 4 - 2. Solve t = -2*q - m for q.
-1
Suppose -2*c + 4 = 3*s - 9, 4*s - c - 21 = 0. Solve -7 = s*a - 2 for a.
-1
Let i(b) = -b**3 - 11*b**2 + b + 11. Let a be i(-11). Solve z + 4 + 0 = a for z.
-4
Let z be (-6)/(-4) + (-26)/4. Let g = -5 - z. Solve g = -b - 4*b + 10 for b.
2
Let c = -21 + 29. Suppose -c = u - 10. Solve -3 - u = 5*v for v.
-1
Let u = -1 - -4. Suppose 5*h = -0*c + u*c + 19, -5*h + 2*c = -2