- 6 for y.
3
Suppose -k = 2*p + 31 - 3, -5*p - 34 = k. Let q = 15 + k. Let c = 9 + q. Solve 4*l - 15 - 5 = c for l.
5
Let l be (426/568)/(2/40). Solve -6*q = -3 + l for q.
-2
Let r be (-1 - (-5 - 2))*1. Suppose -2*u = -5*d - 18, 5*u + d = 4*d + 26. Let m = u - -5. Solve -3*x + m = -r for x.
5
Let f = 3 + 11. Let t = f + -24. Let p be 60/25*t/(-3). Solve 3*x = x - p for x.
-4
Let y(d) = -2*d - 6. Let o be (-4)/(-14) + 576/(-56). Let c be o/25 + (-23)/5. Let q be y(c). Solve 3*j = 5*j + q for j.
-2
Suppose -4*g = -g - 15. Suppose g*o - 12 = 13. Suppose -3*d + 40 = o*v + 2*d, d - 3 = 0. Solve -v*q = -3 - 12 for q.
3
Let h = 476 - 474. Solve c + h*c = 6 for c.
2
Suppose -c + 0*c = 15. Let n be 39/(4*(-12)/(-32)) + 1. Let s = n + c. Solve g = -3*g + s for g.
3
Suppose -7*t - 794 + 871 = 0. Solve -4*f = t - 11 for f.
0
Let s(y) = 8*y - 3 + 8*y - 23*y. Let x be s(-2). Solve -2*i + x = 1 for i.
5
Suppose -4*r = -4*g - 0*r + 64, 0 = -4*g - r + 54. Suppose b - g = 4*v, -v - 2*v = b. Solve 20 = b*d - 2*d for d.
5
Let b = -7 + 21. Suppose 4*r - 3*d - 16 = -5, -2*r + 4*d - 2 = 0. Let v = b - r. Solve 4*a - a = -v for a.
-3
Suppose 0 = -5*z - 4 + 14, 2*q - 4*z = 114. Let b = -56 + q. Solve -b = -2*h - 3*h for h.
1
Let o(x) = -x - 11. Let i be o(9). Let g be -3 + -1 + i/(-5). Solve 0 = -g*k + 4*k + 12 for k.
-3
Suppose 0 = 2*a + 4*a - 18. Suppose 0 = -2*x - 1 + 3, -f + 2*x = -a. Solve f*u = 1 + 4 for u.
1
Suppose -42*v + 29*v + 598 = 0. Solve 0 = -3*h + 40 - v for h.
-2
Let j be ((-1)/2 + -1)*-2. Suppose -9 + 87 = j*i. Suppose f - 2*f = 5*u - i, -5*u + 20 = 0. Solve 3*a = -f - 3 for a.
-3
Let d = -6 - -1. Let x = -3 - d. Let w(o) = -o**2 - 7*o - 7. Let p be w(-5). Solve p*y - 4*y = x for y.
-2
Let f be (5 + -2 + -4)*2 - -4. Solve 3*h - f*h - 5 = 0 for h.
5
Let z(p) = 12*p - 10. Let y be z(1). Solve 17*l + y = 16*l for l.
-2
Suppose 24 + 18 = -7*s. Let o be (-204)/(-85) - s/10. Solve 3 = o*v - 6 for v.
3
Let n = -245 + 252. Solve -22 = -3*o - n for o.
5
Suppose -q = -2*r + 10, 0 = r + 3*q + 2*q + 6. Solve r*l = -23 + 39 for l.
4
Suppose 0 = 2*q + 4*b - 50, -2 = 5*q - 4*b - 141. Solve -7*i = 6 - q for i.
3
Suppose 5*m + 2*v - v - 4 = 0, -4*v + 16 = 5*m. Suppose -2*q - 2 = 3*t - m, t - q = 1. Solve -p = -t*p for p.
0
Let m be (-45)/(-6) + (-3)/2. Solve 27*h = 25*h - m for h.
-3
Let g(m) = 3*m + 0*m - 6*m + 2*m + 14. Let r be g(-7). Suppose -5*f + r = 2*y, -5*f = -3*y - 2*f. Solve 3*z + y = 18 for z.
5
Let r(d) = -d + 12. Let f be (-38)/(-4) - 3*2/12. Let a be r(f). Solve -6 = -3*z + a for z.
3
Let b(h) = -9*h - 45. Let l be b(-5). Suppose l = 9*a - 10*a + 20. Solve m + 4*m + a = 0 for m.
-4
Let u = -62 - -62. Solve 3*p = -u*p - 6 for p.
-2
Let z(x) = 4*x**2 - 5*x + 3. Let o be z(4). Let p = 62 - o. Solve -p = -7*d + 2*d for d.
3
Let i = -957 - -970. Solve i*v - 32 = 21*v for v.
-4
Suppose -t - 3 = 2*m + 10, -3*m = -5*t + 13. Let k(x) = -2*x - 6. Let c be k(m). Solve -z = -4*z + c for z.
2
Let h(u) = -u**3 - 17*u**2 - 16*u + 4. Let a be h(-16). Suppose a*s - 8*s = -16. Solve -5*v + 6 = -s for v.
2
Suppose t - 22 = -4*v, -32*t + 4 = -34*t + 4*v. Solve 0 = t*w - 8*w - 4 for w.
-2
Suppose j - 32 = -j. Let o be (2 - 20/15)*90. Let y be (-4)/(-6) + 260/o. Solve 0 = -s + y*s + j for s.
-4
Suppose 5*v + f - 8 = 4, -v = -4*f + 6. Suppose -4*y = -4*b + 8, -v = -3*y - 3*b + 4. Let u = -22 + 40. Solve y = 5*m + 2 + u for m.
-4
Let c be (1 + 0/1)*132/44. Solve -c*d = -0*d for d.
0
Suppose f - 48 = 2*k - 13, 2*k - 3*f = -41. Let g = -12 - k. Solve -2*i + 0 + g = 0 for i.
2
Let r be (-2)/(-2)*(0 - 0). Suppose f + r*o - 10 = -4*o, -5*f - 3*o = -118. Solve 0 = -5*y + f - 1 for y.
5
Suppose -3*r + 18 = q, -39*q - r + 62 = -34*q. Solve -18 = -6*m + q*m for m.
-3
Let t(p) = p**3 + 7*p**2 + p + 9. Let f be t(-7). Let r be (-5 + f)/(21/(-98)). Let g = r - 14. Solve 8 = 2*d - g for d.
4
Suppose -3*o + 20 = -61. Suppose 2*w + o - 3 = 0. Let k be (-33)/w + (-2)/(-8). Solve -2*u = -11 + k for u.
4
Suppose 5*j - 2 = -4*x + 3*j, -4*x = -5*j - 23. Solve -2*k + 3*k = -x for k.
-2
Suppose 15 = 3*a, 6*a + 133 = 4*r + 3*a. Let t = 40 - r. Solve 3*q - 4*q + t = 0 for q.
3
Let g be (-404)/(-28) - 152/(-266). Solve 0 = -367*i + 364*i + g for i.
5
Suppose -4*j + 2*k = -6, -2*j = -3*j - 2*k - 6. Suppose j = 9*f - 2*f - 112. Solve -4*s - 4 = f for s.
-5
Suppose -4*t + 4 + 28 = -4*j, -j - 16 = -3*t. Let v be j/(-10) + (-32)/(-20). Let c be (-2 - (0 - 0)) + v. Solve d + 0 + 3 = c for d.
-3
Let d(x) = x - 3. Let p be d(7). Solve 2 = -6*y - p for y.
-1
Let x = 15 + -12. Suppose -5*f = 5*y - 25, f - x*y + y = -1. Suppose -r - 4 = 5*t - t, 3*t + f = 5*r. Solve r = c + c for c.
0
Let q(v) = -6*v - 126. Let z be q(-21). Solve 6*d + 3*d = z for d.
0
Let z(p) = 2*p**3 - 29*p**2 + 16*p - 25. Let c be z(14). Solve -c*b = 2*b - 10 for b.
2
Suppose -5 + 1 = -v + 2*z, -3*z = -4*v + 16. Solve -v*p = -3*p for p.
0
Let t be (15/(-8))/((-80)/640). Let c = 8 + 0. Let r be (0 + c/(-6))*-3. Solve s = r*s - t for s.
5
Let j(h) be the third derivative of h**6/120 - 3*h**5/20 - h**4/12 + 5*h**3/3 + 7*h**2. Let z be j(9). Let v = z - -16. Solve -v = -0*u - 2*u for u.
4
Suppose 2*m + 226 = -2*m - 2*k, -4*m = -k + 241. Let u = m + 36. Let x = u + 24. Solve -y - x = -5 for y.
4
Let j be (-3)/(-1) - 14/(56/12). Solve 3*q - 11 + 2 = j for q.
3
Let z be (-12)/16*13/(117/(-108)). Solve z*o + 32 = 14 for o.
-2
Suppose 22*w - 406 = 8*w. Solve 0 = 33*q - w*q for q.
0
Suppose -2*x - 25 = -4*z + 9, -3*x - 19 = -2*z. Suppose 0 = -0*f + 4*f - 16. Solve f*n + z = -4 for n.
-3
Suppose 0 = -3*r + 4*p + 23, 3*r + p + 0 - 13 = 0. Let q = 115 + -112. Suppose -q*b = 2*u, -2 = r*b + 6*u - 2*u. Solve -m - b = m for m.
-1
Let n(q) = -46*q + 14. Let f be n(0). Solve -f = 8*s - s for s.
-2
Let u = -2828 - -2828. Solve u = 9*s - 112 + 67 for s.
5
Suppose 4 = y - 2*j, 2*j - 32 = -5*y - 0*j. Let m be y + (-1 - 1)/2. Solve 0*u = m*u for u.
0
Let p(u) = -u**3 - 3*u**2 - 2*u - 3. Let y be p(-2). Let t(o) = -o**2 - 7*o - 10. Let a be t(y). Solve 0 = a*w + w for w.
0
Suppose 3*k = 16 - 10. Solve -7*n - k = -23 for n.
3
Suppose 10 = -5*x + 10*x. Let a be (0 + 4)/(-2) + x. Suppose a = -0*b - 4*b. Solve b = -8*i + 4*i for i.
0
Let q be (-360)/(-150) - (-4)/(-10). Solve p = q*p + 4 for p.
-4
Let k(z) = 13*z**2 - 17*z**3 + 16*z**3 + 6 - 3*z**2. Let u be k(10). Solve u*d - 4*d = 0 for d.
0
Let k be 1*(-8 + 4)*-2. Let d be 4/k - (-7)/2. Solve d = -3*w + w for w.
-2
Suppose 0*j + 10 = n - 5*j, 0 = n + 3*j - 2. Let t(i) = i + 4. Let d(b) = b + 1. Let k(u) = 2*d(u) - t(u). Let s be k(n). Solve -17 = -5*r + s for r.
4
Suppose -s = -39 + 37. Solve -2 = -s*q + 8 for q.
5
Suppose -12*a = -21*a. Solve a = z - 0*z + 2 for z.
-2
Suppose -4*j - 153 = -3*q, -15*q + 19*q = -5*j + 204. Solve 19*d = 2*d + q for d.
3
Let k(h) = 4*h**3 - h**2 + h. Let b = 20 - 19. Let z be k(b). Solve v = -7 + z for v.
-3
Let n(k) = -2*k + 28. Let m be n(13). Suppose -m*x = x. Let i = 4 + -1. Solve -i*y + x*y + 9 = 0 for y.
3
Let l = -255 - -257. Solve -2*c - 12 = -l for c.
-5
Suppose 2*h + f - 3 = 0, 3*h - 2*f - 3 = -9. Solve -4*g + 28 - 32 = h for g.
-1
Let p be (-10)/6*(-18)/15. Solve 5*h + 3 + p = 0 for h.
-1
Suppose 4*a + 5*x = -a - 110, 2*x = -a - 19. Let f = a + 25. Suppose -2*z + 1 + 3 = 0. Solve f = c + z*c - 12 for c.
4
Let o(t) = -t - 8. Let u be o(-5). Let v be (-20)/(-6) + (u - (-8)/3). Solve -j = -v*j for j.
0
Suppose 0 = 40*j - 37*j - 39. Solve 4*y + j - 29 = 0 for y.
4
Let c(h) = h**2 - 23*h - 5. Let o be c(24). Suppose -v - 4*v + 20 = 0. Suppose 4*z + o = 3*x, -z - 2*z - 23 = -v*x. Solve -l = -x*l for l.
0
Let k(x) = x**2 - 4*x + 5. Let r be k(5). Suppose 3*h - r = h. Solve 0 = -h*t - 1 - 9 for t.
-2
Let b(d) be the first derivative of -d**3/3 + 9*d**2/2 + 2*d + 5. Let r be b(9). Solve -r*z + 4 = -0*z for z.
2
Suppose -37*x + 1650 = -237. Solve -x*s + 47*s + 12 = 0 for s.
3
Let c(d) be the first derivative of -3*d**2/2 - 10*d + 22. Let r be c(-5). Solve -2*i = -7*i + r for i.
1
Suppose 3*i + 4*u - 10 = 0, -2*i + 4*u - 3*u + 14 = 0. Let j = 13 - 9. Solve i = j*c - 6 for c.
3
Let h(z) = z**3 + 8*z**2 + 4*z + 3. Let k be h(-7). Suppose c + 1 = 5*y + k, -c + 4*y + 19 = 0. Suppose 1 = -c*a + 10. Solve a = -u - 2 for u.
-5
Let n(g) = -g**2 - 5*g + 7. Let c be n(-6). Let w be (2 - -3