 = y*p for p.
0
Let u = -98 + 103. Solve -u*r + 3*r = 0 for r.
0
Let z be (-6)/5*(-10)/4. Suppose 0 = -z*n - 0*n + 6. Solve 4 = n*w + 2*w for w.
1
Suppose 33 - 4 = -2*w - 5*r, 4*w - r = -47. Let a be 33/4 + 3/w. Let y = -5 - -5. Solve y*x + 2*x - a = 0 for x.
4
Suppose -7 = -3*p - 1. Let o(r) = -r**3 + 6*r**2 + 2*r - 9. Let s(n) = 2*n. Let m be s(3). Let a be o(m). Solve a*w = p + 7 for w.
3
Suppose 6 = -0*r + 2*r. Let k(c) be the third derivative of c**5/60 - c**4/12 + c**3/2 + 2*c**2. Let w be k(r). Solve -i + w*i = 0 for i.
0
Let d(u) = 34*u - 1. Let m be d(-1). Let f be m/(-11) + (-8)/44. Solve 0 = -2*a - f*a + 15 for a.
3
Suppose 32*m = 34*m. Solve -4*g + m = 4 for g.
-1
Let y be -24*((-12)/(-8) + -2). Let j = -10 + y. Solve -j*p = -6 - 4 for p.
5
Let z = 3 + 0. Suppose 0 = -0*v + 2*v - 10. Suppose s + 1 - v = 0. Solve s*r + z = 5*r for r.
3
Let u = -15 - -21. Solve -3*w + w - u = 0 for w.
-3
Let h be 13/5 + 2/5. Let s(d) = -d**2 + 21*d - 20. Let k be s(20). Solve h*t - 8*t - 10 = k for t.
-2
Let r be (4/(-6))/(1/(-3)). Let c be (3/r)/((-4)/(-8)). Solve -v + 16 = c*v for v.
4
Let o = -27 + 47. Suppose -5*z + o = -z. Solve -z*v + 28 - 8 = 0 for v.
4
Let s be 12/8 - (-1)/2. Suppose -t + 2 = -5*c + 3*c, -5*t = 2*c + s. Solve -4*x + 25 - 5 = t for x.
5
Let y be -1*2*(3 - 2). Let b be (-3)/6 + (-5)/y. Suppose 4*r + 48 = 5*z + 3*r, -b*z = -5*r - 10. Solve 3*g + z = g for g.
-5
Let x(t) = -t**2 + 5*t + 5. Let i be x(5). Suppose j - 17 - 1 = -i*s, 2*j - 21 = -5*s. Solve 2 = -s*g + 17 for g.
5
Suppose -4*b = d - 12, 8*b - 24 = 4*b - 4*d. Solve -b*f = -4*f for f.
0
Suppose 4 = 5*p - 1. Solve d - p = 1 for d.
2
Let x = 42 + -36. Suppose t = -4*t. Solve 5*m - 3*m + x = t for m.
-3
Suppose 13*m - 12 = 9*m. Solve -m = 2*h - 7 for h.
2
Suppose 4*k - 52 = 4*c, 2*k + 4*c - 4 = -2. Solve -2*a + 1 - k = 0 for a.
-4
Let o = 7 - 11. Let v = 6 + o. Suppose -v + 0 = -2*a. Solve 0 = 4*n - 11 - a for n.
3
Suppose 3 - 23 = -5*n. Suppose 0 = f + n*f. Solve 5*t + f = -5 for t.
-1
Let a be ((-1)/2)/((-6)/24). Solve -a = -3*h + h for h.
1
Let w = -10 + 16. Let i be -10*3/w*1. Let h be (i/(-2))/((-3)/(-6)). Solve -3 = -h*a + 2 for a.
1
Suppose 0*i = 4*i. Suppose i + 5 = 5*n. Solve -3*t + n - 13 = 0 for t.
-4
Suppose -3*l - l = 3*c + 10, -4*l - 22 = -3*c. Solve -4*q = -2*q - c for q.
1
Suppose 2*w = 3*z + 4, -11 = -2*w - 1. Solve -z*u + 3 - 7 = 0 for u.
-2
Let f be (-6)/33 + 272/44. Suppose -f*y + 37 = 1. Solve y*i = i + 5 for i.
1
Let q(t) be the first derivative of -t**2/2 - 2*t + 22. Let g = -1 + -4. Let v be q(g). Solve 3*o - v = 6 for o.
3
Suppose -3*w + 2*w - 7 = 3*b, 0 = w - b - 13. Suppose w*x = 3*x + 40. Let s = x + -6. Solve 2*y = y - s for y.
-2
Let m = 3 + -13. Let b = m + 13. Solve 0 = -v + b*v - 6 for v.
3
Suppose 0 = x - 2 - 5. Suppose x*y = 3*y. Suppose y*l = l. Solve 0 = 2*g - l*g - 2 for g.
1
Let a be (51/68)/((-1)/(-4)). Solve a*p = p for p.
0
Suppose b + 14 = 3*z, 18 = 4*z - 3*z - 3*b. Solve p - 2*p = z for p.
-3
Let d(f) = -f - 2. Let j be d(0). Let w be 1/(j/(-4))*10. Suppose w + 12 = 4*h. Solve -25 = h*s - 3*s for s.
-5
Let z = 9 + -3. Let k = -18 - -18. Solve k*d + 2*d = z for d.
3
Let z(h) = -h**3 + 4*h**2 + 3*h - 5. Let q be 3*((-20)/(-3))/5. Let c be z(q). Solve -3*t = -c*t + 20 for t.
5
Let d = -11 + 6. Let l = d - -9. Solve -5*u - l = 6 for u.
-2
Let g(k) = -16*k**2 - 2*k + 1. Let h be g(1). Let b = h + 17. Solve b*a + 4*a + 8 = 0 for a.
-2
Suppose n = -2, 0*t + 5*n = 3*t + 17. Let w = -5 - t. Solve -u + w*u - 9 = 0 for u.
3
Let n(d) = -d**3 - 5*d**2 - d - 2. Let o be n(-5). Suppose 2*f - 7 = -c, -o*f = -4*c + 4 - 42. Solve -5*p + f = 21 for p.
-3
Let t be 0*(2 + -2 - 1). Let v be 42/18 + (-6)/(-9). Solve a - 4*a - v = t for a.
-1
Let w(c) = -c**2 - 8*c - 3. Let q be w(-7). Let t = 0 + q. Solve t*s - 4 = -0*s for s.
1
Let t(n) = 8*n - 4. Let c be t(-2). Let b = c + 35. Solve -4*z - z + b = 0 for z.
3
Let q be ((-30)/9)/(4/(-6)). Suppose -5*r - 2*d + 13 - 1 = 0, q*r = 4*d + 6. Let w = 29 + -21. Solve -r*z = 2*z - w for z.
2
Suppose 6*g = 3*g + 15. Solve g + 0 = 5*m for m.
1
Let j(g) = -g**3 - 8*g**2 - 8*g + 1. Let n be j(-7). Solve 4*x - n*x = 0 for x.
0
Let u be (-1)/((-3)/(-12)*-1). Suppose -u*v = 0, -v + 16 = 2*w + v. Solve i = -i - w for i.
-4
Let z = -10 + 26. Solve -z = -4*l - 0*l for l.
4
Let l be (-1 - -2)*0 - -2. Suppose -p = -l*p + 9. Solve 5*d + p = -1 for d.
-2
Let x(h) = h**2 + 9*h + 2. Let p be x(-9). Solve 0 = p*t + 2 for t.
-1
Let m(k) = -5*k - 3. Let b be m(-1). Solve -x - 9 = b*x for x.
-3
Suppose -4*x + 8 = -12. Suppose n - x = 8. Solve -5*p = n - 38 for p.
5
Let o = 7 + -10. Let w = o - -6. Solve -2*j - w*j = 0 for j.
0
Let a(p) = p**2 - 6*p + 7. Let x be a(5). Let d(m) = 2*m**3 - 3*m + 1. Let i be d(2). Let l be x + (i - (1 + 1)). Solve -3*v - l - 1 = 0 for v.
-4
Let g be -1 - (2 + 0)/(-2). Let b(h) = h + 2. Let k be b(g). Solve -k = -3*x + 1 for x.
1
Let w = 1 + 4. Suppose -2*t = -3*u - 67, -141 = -5*t + u - 6. Let x(n) = n**3 + 2*n**2 - 5*n. Let g be x(-3). Solve g - t = -w*s for s.
4
Let t(h) = -3*h - 3. Suppose -5*v - 12 = -v. Let u be t(v). Let l be ((-40)/(-15))/(4/u). Solve 4*b = -0 - l for b.
-1
Let p be (2 - 2) + 2*1. Let n be (4/(-2))/(2/(-8)). Suppose -2*m + n = p*m. Solve -r - 5 = -m for r.
-3
Let k(p) = p**3 - 4*p**2 + 5*p - 4. Suppose -6 = 4*g - 6*g. Let o be k(g). Solve -o*v - v = 15 for v.
-5
Let i(u) = u**2 - 9*u - 7. Let m be i(10). Solve -2*z + 7 + m = 0 for z.
5
Let m(z) = -z - 10. Let d be m(-9). Let j = 1 - d. Solve 1 = -j*x - 5 for x.
-3
Suppose 0*v - 4*v = -40. Let t be (-30)/4*v/(-15). Suppose t*k - 7 = 28. Solve 3 + k = 2*g for g.
5
Let l = -3 + 13. Suppose z - l = 4*y, 0*y + 2*y + 10 = 3*z. Solve -z*n + 15 = -7*n for n.
-3
Let i(z) = -3*z + 10. Let b be i(3). Solve -b = -s - 0 for s.
1
Let k be (-10*1)/(2/(-4)). Suppose 5*z = -50 + k. Let n = 11 + z. Solve g = n*g for g.
0
Let d(k) = 8 - 8 - 3*k + k**3 + 5*k**2. Let v be d(-5). Solve -5 - v = 4*t for t.
-5
Let m = -7 + 9. Let z(c) = c**2 + 2*c - 3. Let k be z(-4). Solve -k*f = -m*f - 15 for f.
5
Suppose 6*i - 3*i = 5*i. Let l = -6 - -10. Solve b - l = -i for b.
4
Suppose 3*j - 6 = p - 0, -3*p - 2*j + 4 = 0. Suppose 7 = 5*n - 3. Solve -d + p = -n for d.
2
Let i be ((-4)/(-4))/((-2)/(-2)). Suppose 0*f + 3*f = 12. Solve f = 5*a - i for a.
1
Let h(o) = -7*o**2 - 13*o - 15. Let c(j) = 3*j**2 + 6*j + 7. Let k(q) = -13*c(q) - 6*h(q). Let b be k(-1). Solve b*v - 3 = 7 for v.
5
Let f(c) = -155*c + 1 - 2*c**3 + 155*c. Let i be f(-1). Solve 2 = i*q - 4 for q.
2
Let o be 4/(12/15) + 1. Suppose -2*c + o = -0*c, 2*a + 2*c - 6 = 0. Solve v = -a*v + 3 for v.
3
Let t be (-2 - 10)*(-10)/8. Solve -1 = 4*h + t for h.
-4
Suppose -8 - 12 = -10*c. Solve -d = -c*d - 4 for d.
-4
Let m(r) be the second derivative of 1/6*r**3 + r + 1/10*r**5 + 0*r**4 + 0 + 0*r**2. Let j be m(1). Solve z + 2 + j = 0 for z.
-5
Let g be 14/(-4 + 4 + 2). Solve 3*m - 8 = g for m.
5
Let o = -35 - -37. Solve -o*u - u = -15 for u.
5
Let a(h) = h - 3. Let v be a(5). Solve -1 = -v*l + 1 for l.
1
Let r = -1 + 10. Let v(i) = -5*i**2 - 8*i - 18. Let u(w) = w**2 + 1. Let t(k) = -6*u(k) - v(k). Let s be t(r). Solve -3 = s*b - 0*b for b.
-1
Suppose 13*f = 15*f - 4. Solve 0 = -f*w - 8 for w.
-4
Let k = -1 - -3. Suppose -k*p + 16 = 2*c, 4*c - 5*p + 12 = -1. Let u be -3*(-1 - (-2)/6). Solve -u - 13 = -c*t for t.
5
Suppose -4*t = -2*t. Suppose t*p - 1 = -5*z + 3*p, -3*z + 4*p = 6. Solve z*r + 20 = 6*r for r.
5
Let o be (-4 - 21/(-6))*-4. Solve 6 - o = -2*k for k.
-2
Let d = 15 + -24. Let u be (40/12)/((-2)/d). Solve 4*s - u = 5 for s.
5
Suppose -4*s + 5*l + 33 = 0, 0 = 4*s - 2*l + l - 13. Suppose g = 3*i - 63, -g + 25 = 8*i - 7*i. Solve 5*u - s + i = 0 for u.
-4
Let l = 115 - 109. Solve -d + l*d - 10 = 0 for d.
2
Let g(k) = -3*k**2 + 13*k + 19. Let d(y) = -2*y**2 + 6*y + 9. Let n(v) = -5*d(v) + 3*g(v). Let u be n(-8). Solve c + u - 5 = 0 for c.
1
Suppose 0 = 6*t - 2*t + 4, 2*t - 14 = -4*z. Let b(l) = -l**3 + 3*l**2 + 4*l. Let c be b(z). Solve -20 = 4*p - c*p for p.
-5
Let u = -2 - -12. Solve 3*x - u = x for x.
5
Let n = 7 - -5. Solve 0 = -3*k + 6*k - n for k.
4
Suppose 1 - 5 = -2*g. Solve -6*f + g*f + 16 = 0 for f.
4
Suppose -2*k = -0*k - 190. Suppose 0*f - k = -5*f. Solve -3*z + 4 = f for z.
-5
Let t(u