*p + p for p.
3
Suppose 0*j = -5*j. Solve 5 = -j*v - v for v.
-5
Let r be (-78)/(-18) - (-4)/(-3). Solve 0 = -r*v - v + 4 for v.
1
Suppose -m - 6 = -z + 3*m, 0 = 2*m - 2. Suppose -2 = 2*p - z. Suppose 5*i = 3*i - 3*u - 7, -4*i + 4*u + 36 = 0. Solve 0 - p = -i*t for t.
1
Let n(z) = 16*z**2 - 1. Suppose 4*b - 24 = -7*i + 3*i, -23 = -3*b - 4*i. Let y be n(b). Let a be 4/6 + 35/y. Solve 0 = -t - a + 1 for t.
-2
Let t = 3 + 0. Let z = t - 0. Solve m + z*m = 0 for m.
0
Let s = -9 + 18. Let j = 4 - 1. Let p(i) = 3*i + 39. Let q be p(-11). Solve j*u = q*u - s for u.
3
Suppose s = -2*s. Suppose s*f = 3*f - 12. Solve -3*q + 2*q = -f for q.
4
Let n(a) = -a**3 + 5*a**2 - 5*a + 6. Let f be n(4). Solve f*o - 1 = -9 for o.
-4
Suppose 4*q - 3*c - 221 = -2*c, -2*q = 4*c - 106. Let g be 10/q + 4/(-22). Let t be (-34)/(-10) + (-2)/5. Solve t*u = -g*u + 12 for u.
4
Let b(p) = 3*p + 9. Let y be b(-7). Let l = y + 20. Solve l - 3 = -z for z.
-5
Let b be (-2)/(-9) - 151/(-9). Let u = -19 + 34. Suppose 2*s - b = 3*k, 0*s - 4*k = 5*s + u. Solve 2*y - 9 - s = 0 for y.
5
Let a be 9/6*(-4)/(-2). Let k(p) = -6*p - 2. Let c be k(-4). Solve -a - c = 5*t for t.
-5
Let u = 5 - 5. Let a be (u - 2)/(3/(-6)). Suppose 2*y - 10 = 0, 2*y - 5 = s + a*s. Solve -9 = -4*m - s for m.
2
Let z be -1 - -1*(1 + 4). Solve z*u - 14 = -6 for u.
2
Let p be 33/7 + 2/7. Let h = 40 - 40. Solve -p = n - h*n for n.
-5
Let b = 97 - 94. Solve 4*c - b*c + 3 = 0 for c.
-3
Suppose -3*j - 38 + 41 = 0. Let b be 18/8 - 2/8. Suppose y + 2*i - b = 4*y, 5*i - 5 = 0. Solve j = o - y*o for o.
1
Let f(j) be the first derivative of -j**4/4 - 7*j**3/3 + j**2/2 + 7*j - 3. Let y be f(-7). Suppose 5*h - 2*h - 6 = 0. Solve y = -0*p - h*p for p.
0
Suppose 2*p + 6*k - 3*k - 8 = 0, 3*p + 3*k = 6. Let n be 4 + (0 - (-4)/p). Solve -n*v = -3*v - 2 for v.
-2
Suppose -4*f - 15 = -7*f. Let p = 31 + -16. Let a = -92 - -92. Solve 0*c + f*c - p = a for c.
3
Let y = -53 + 56. Solve -6*h = -y*h + 6 for h.
-2
Suppose 0 = 5*h - 4*g + 263 - 33, -5*h + 3*g = 230. Let t = -30 - h. Solve -4*z = -0*z - t for z.
4
Let y(z) = -2*z + z - 2 - z. Let a be y(-3). Solve 0 = a*p + 3 + 13 for p.
-4
Let b(n) = -8*n + 1. Let r be b(2). Let p = r + 16. Solve 3 = -2*z + p for z.
-1
Suppose 2 = -5*y + 17. Let k = 3 - y. Let c be -2 + k - -6 - 1. Solve -7*t = -c*t - 20 for t.
5
Let z be 0/(4*2/(-4)). Let w(a) = 1 - 10*a - 7 - a**2 + z. Let q be w(-9). Solve -v - q = 2*v for v.
-1
Suppose -3*l - 4 - 5 = 0. Let v = l - -3. Let w be 0 + v*(3 - 2). Solve 4 = -2*c - w for c.
-2
Suppose 7*o + 5*x - 45 = 2*o, -5*o - 2*x = -36. Solve -2*i = -o + 2 for i.
2
Suppose 23*l = 21*l + 8. Solve -4 = l*y - 5*y for y.
4
Suppose 3*u + 2*n = -1 + 7, -4*u = 3*n - 8. Solve -10 = -u*r - 0 for r.
5
Suppose 2*u - 41 = 21. Let s = -7 + 10. Suppose 2*x - 26 = -3*z, s*z - u - 9 = 5*x. Solve 2*h + 0*h = z for h.
5
Let v = 19 + -10. Solve v*a = 4*a - 25 for a.
-5
Let y be 26/8 + (-2)/8. Solve -q - y = -0*q for q.
-3
Let m be (2/3)/((-16)/24). Let c be (-2 - 6)/4*m. Solve -b = -c*b for b.
0
Let r(a) = -9*a**3 + 2*a**2 + 2*a + 1. Let l be r(-1). Let g be (-22)/(-5) + (-4)/l. Suppose -g = -z - 0. Solve z + 8 = -4*x for x.
-3
Let y = -8 - -12. Suppose 0*r - 5 = 5*r, 4*d + y*r = 4. Solve -l = 5 - d for l.
-3
Let y = 3 + -3. Let l be 4 + y + 1 + -1. Let u = l - 2. Solve 1 + 3 = u*d for d.
2
Let x(c) = c**3 + 7*c**2 + 5*c - 6. Let b be x(-6). Let y = b + 3. Suppose -y*w = 3*l - 0*w - 9, -9 = -4*l - w. Solve -l*j + j = -1 for j.
1
Suppose 4*h + 2 + 0 = -2*b, -4*h - 4*b = 4. Let m be ((-18)/(-15))/(6/100). Suppose -2*g + z = -4, -4*z = z - m. Solve h*o = -g*o + 16 for o.
4
Let c be (-4)/(-7) + 44/(-77). Let q be 1/(-3)*(-1 + -14). Solve q = -p - c for p.
-5
Suppose 5*i + k = 8 + 14, 0 = 3*i - k - 18. Solve -2*a = -i*a for a.
0
Let r = 6 - 1. Let x = 7 - r. Suppose 0 = 4*u - x*k - 20, u + 4*k + 1 = -3. Solve -o - 10 = u*o for o.
-2
Let b be -2*4/(-8) + -2. Let g = 6 + b. Solve g*t - 15 = -0*t for t.
3
Let k(p) = -p**2 - 8*p - 8. Let v be k(-6). Let u = 1 + v. Solve 0*r - u = 5*r for r.
-1
Suppose -3*u + 55 = 2*g - g, -2*u - 5*g + 54 = 0. Solve -4*i - u = 3 for i.
-5
Let i(r) = r**3 - 6*r**2 + 5*r + 3. Let n be i(5). Let g be (-2)/(-5) - (-12)/20. Let m = 4 + g. Solve 2 + n = m*q for q.
1
Suppose -6*b + 7 = -b - 4*v, b + 7 = 5*v. Solve -b*a = -1 + 4 for a.
-1
Suppose -2*s + 6 + 6 = 0. Suppose -30 - s = -2*i. Let v = i - 13. Solve -15 = -4*g + v for g.
5
Let i = 105 + -97. Solve 0 = -i*l + 4*l for l.
0
Let w be -21*(-1)/((-3)/(-1)). Let l = 2 + -6. Let r = l - -7. Solve q - w + r = 0 for q.
4
Suppose -16 = -2*r + 3*x, 20 = -3*x - 2*x. Let h(n) = -3*n**3 + n. Let v be h(-1). Solve r*k + v + 4 = 0 for k.
-3
Let u(l) = -l**2 + 1. Let r be u(1). Solve -2*n + r = 4 for n.
-2
Let r(f) = f**2 + 4*f - 5. Let g be r(-5). Suppose 0 = -3*m + 2*q + 53 + 9, -57 = -3*m - 3*q. Suppose -5*d + g = -m. Solve 4 = -d*a - 4 for a.
-2
Let d(b) = -b**3 - 3*b**2 + 4. Let l be d(-3). Suppose l*u + u = 0. Solve -3*c + c - 4 = u for c.
-2
Let z(u) = -u**3 + 12*u**2 + 2*u - 15. Let d be z(12). Solve 3*v + 6 = -d for v.
-5
Suppose -2*k + 29 = 5*m, k - 16 = -2*k - 2*m. Solve -7 = -j - k for j.
5
Let p(y) = -3*y**2 + 2*y - 1. Let t be p(3). Let f be 2/(-9) - t/18. Solve f = -v - 0*v for v.
-1
Suppose o = 3*o - 3*l - 15, 0 = 4*o + 5*l + 25. Solve -4*g + g - 6 = o for g.
-2
Suppose 0 = 12*v - 4*v. Solve v = -f - 2*f for f.
0
Let s = 4 - 1. Suppose s*h - 3 = 6. Solve -w - 1 = h for w.
-4
Suppose 6*p - 15 = p. Suppose 4*b = p*b + 6. Suppose -b = -w - q, 0 = 5*q - 9 - 1. Solve 0 = 2*h + 2 + w for h.
-3
Let p(i) = 2*i - 1. Let s be p(-2). Let f(g) = -g**3 - 5*g**2 + 3. Let m be f(s). Solve -m*a - 1 = -16 for a.
5
Suppose 4*v - 21 = 51. Let h(j) = j**2 - j - 2. Let d be h(-2). Let w be (6/d)/(v/48). Solve -2*a - w = -3*a for a.
4
Let w(t) = t**3 - 7*t**2 + 7*t + 4. Let a be w(6). Let u = 11 - a. Solve 2*o + 7 = -u for o.
-4
Let o(i) = -i**2 - 6*i - 5. Suppose -2*v + 16 = 4*q, 3*q = -q + 5*v + 30. Let s(a) = -2*a + 6. Let u be s(q). Let n be o(u). Solve n*m = 5*m - 8 for m.
4
Let h be (-6)/(-21) + 1/((-7)/(-103)). Let b(z) = -z. Let v be b(-5). Solve h + 5 = v*i for i.
4
Let g = 17 - 15. Solve g*k = 7*k + 10 for k.
-2
Let f(d) = 4*d - 11. Let g be f(8). Let a = 40 - g. Suppose -3*s + 5*w + a = 0, -5*s = 3*w - 6 - 71. Solve -3 = 4*i + s for i.
-4
Let v be (32/(-10) - -2)/(2/(-5)). Solve -v*o + 13 = 1 for o.
4
Let f be (-48)/36*(-9)/2. Suppose 4*r - 2*m = 60, 3*r - r - 2*m - 26 = 0. Suppose -5*t + r + 8 = 0. Solve -4 - f = t*a for a.
-2
Let z = -13 - -7. Let s = z + 4. Let l be ((-15)/s)/((-6)/(-8)). Solve -x - x = -l for x.
5
Let v = 11 + -4. Suppose -v = -3*d + 2. Solve 0*z + d*z + 6 = 0 for z.
-2
Let j = -1 + 6. Suppose -4*t = j*x - 113, -2*x + 2*t + 2*t = -34. Suppose -5*g - c + 17 = -4*c, x = 4*g + 5*c. Solve -g = 2*z - 3*z for z.
4
Let l(k) = 0 + 3*k - 2*k + 3. Let q be l(0). Solve q = -4*j - 1 for j.
-1
Let y = -136 + 141. Let v = -51 - -71. Solve y = -3*q + v for q.
5
Let t = 11 - 7. Solve -t*j = -9*j - 25 for j.
-5
Suppose 4*l = 9*l. Suppose 0 = -2*o + 6*o + 4*z - 16, 4*z - 16 = o. Solve o = -t - l*t - 2 for t.
-2
Suppose -34 = -4*y + 18. Let s = 9 - y. Let x = 6 + s. Solve -x = -4*f + 5*f for f.
-2
Let x = 19 - 18. Let f be (4 - (0 - -2))/x. Suppose 5*t = t + 8. Solve t*j = j - f for j.
-2
Let x(g) = g + 10. Let v be x(-10). Solve v = k + 1 - 3 for k.
2
Suppose 3*o + 3*n - 5 - 7 = 0, 0 = 3*o + 4*n - 16. Suppose 5*p = p - w + 53, o = -p - 4*w + 32. Solve 5*h = -p - 13 for h.
-5
Let i = 7 - 9. Let a be 0 + -2 - i*25. Let n be a/10 + 1/5. Solve -n = l - 2*l for l.
5
Suppose 5*w + 28 = 38. Solve 7 = -w*g + 13 for g.
3
Suppose -6*o = -4*s - o + 37, 4*s - o - 17 = 0. Suppose -6 = -5*j + s*j. Suppose -j*a = -h - 5, -4 = 4*h + 4. Solve -2 = -x - a for x.
1
Let p = 17 - 11. Solve p = -4*o - 2 for o.
-2
Suppose -4*g - 6 = -22. Suppose 2 = 2*p - g*s + 8, 4 = -3*p + 5*s. Solve -4*u - 1 = p for u.
-2
Suppose 0*q + 6 = 3*q. Suppose -g - q*g = -9. Suppose g = -4*l + 4*c + 7, -2*c = -l. Solve 0*p - l = -p for p.
2
Let w be (0 - 1/(-1))*-12. Let k be (-2)/(-11) + w/66. Solve -2*l + k*l = 0 for l.
0
Suppose -5*o - 3*i + 15 = 0, -4*o + 5*o - 3*i = 3. Let t = 2 + 2. Suppose -o*h + t*h = 0. Solve v + h*v + 1 = 0 for v.
-1
Let o = -13 - -17. 