*y for y.
3
Suppose 0 = -3*z - 0*z - 4*j + 46, -j - 6 = -z. Solve 6*p - 8 = z for p.
3
Let r be 0/(-4)*(4 + (-63)/14). Suppose 3*h - 20 = 1. Suppose 3*f - a - 8 = r, -5*f = 3*a - 25 - h. Solve -f = z - 2 for z.
-2
Let o(v) = v**2 - 6*v - 5. Let q be o(7). Let h = 2 + 17. Let k = -17 + h. Solve -q - 6 = -k*b for b.
4
Let l = 64 - 134. Let x = l + 70. Solve 0 = 3*k - x*k for k.
0
Let o = -34 - -64. Suppose 3 = -3*l + o. Suppose -4*h = 2*r + l - 1, 2 = -5*r - h. Solve -3*m + m = r for m.
0
Let l(r) = -2*r**3 - 8*r**2 - 2*r + 3. Let x be l(-3). Let q be (1 - (-15)/x)/((-1)/3). Solve 3*u + 1 = q*u for u.
-1
Let f be -2 - (2 + -3 + -38 + -1). Suppose -33*u - 10 = -f*u. Solve -u - 3 = 5*q for q.
-1
Let l be (3 + 0 + -1)*4. Suppose 2*j - p = 8, 2*j = 2*p - 5*p + l. Suppose 4*a + 4*x + 4 = -0, 0 = 3*a + j*x + 4. Solve 3 = h - a for h.
3
Let y(j) = 3 - 12 - 23 + 36*j - 17*j**2 - j**3. Let t be y(-19). Solve -4*u + u - t = 0 for u.
-2
Suppose -x + 3 = -2. Suppose 3*p + 20 = -2*p. Let w = x - p. Solve 5*q - 4 = -w for q.
-1
Suppose -15*c = -17*c + 6. Solve -15 = -0*f + c*f for f.
-5
Let s be 20/70 + (-257)/(-7). Suppose 4 = 41*q - s*q. Solve u = -0*u + q for u.
1
Let r(k) = k + 6. Let c be r(-12). Let z be ((-4)/c)/(4/24). Let t be 16/6 - z/(-12). Solve x + 4 = t*x for x.
2
Let v(i) = i + 15. Let p be 3/(-6) + 50/(-4). Let s be v(p). Solve -2 = s*y + 4 for y.
-3
Let j = -392 - -401. Solve 12*z - 9 = j*z for z.
3
Suppose o - 9 = 6. Suppose 2*x - o = -3*x. Let h be -1 - ((1 - 2) + 0). Solve -x*p + 4*p = h for p.
0
Let q be (-5)/(-20) - (-177)/12. Solve 0*z = 3*z + q for z.
-5
Let r be -3*4/6 + 1. Let b be -4 - (5/r - 2). Solve -4*v + b*v + 2 = 0 for v.
2
Let k = 894 + -894. Solve k = -9*b + 3*b + 6 for b.
1
Suppose 4*s = 11 + 13. Suppose -n + 10 + 10 = 0. Let m be n/6 - (-6)/(-18). Solve 5*h = m*h + s for h.
3
Let n = 16 + -24. Let p = 43 + -49. Let o = p - n. Solve 1 - o = c for c.
-1
Let a = 33 - 29. Suppose -4*x - 4*p - 5 = -1, -p = 3*x + 1. Solve 4*k - a = -x*k for k.
1
Let n(h) = h**2 + 5*h + 4. Let t = -125 + 119. Let z be n(t). Solve 0 = -f + 3*f - z for f.
5
Let u(i) = 2*i**3 - 2*i**2 - 4*i - 2. Let x be u(-2). Let p be 12/(-8)*96/x. Suppose 0 = 3*k - p*k. Solve k*w - 3 = w for w.
-3
Suppose -34*b + 252 - 82 = 0. Solve 5*y + b + 5 = 0 for y.
-2
Suppose -5*m - 4*x + 28 = 0, -3*m - 3*x + 2*x = -14. Suppose -2*k - 4*f - 4 = 0, -m*f = -8*k + 3*k + 46. Solve -c - 25 = -k*c for c.
5
Let z be 2 + ((-6)/1)/(-3). Let t(m) = -3*m**2 - 3 - 2 - 2*m + 0*m**2 + m**3. Let l be t(z). Solve l*r + 15 = -2*r for r.
-3
Suppose 5*v + 3*w - 50 = 0, 5*w + 34 + 6 = 4*v. Suppose 26 - v = h. Solve 5*z - z = -h for z.
-4
Suppose -6*h + 36 = -36. Suppose h*y = 8*y. Solve g + y*g = 3 for g.
3
Suppose -4*h = -0*h - 8. Let n(f) = f**3 + 14*f**2 - 16*f - 18. Let l be n(-15). Let r be 3*l/(-6)*h. Solve 3 = r*a + 12 for a.
-3
Let n(r) = r + 70. Let q be n(-64). Solve 0 = q*v - 0*v + 18 for v.
-3
Let t(x) = 2*x**2 + 9*x + 4. Let d be t(-4). Let o be d/27 - (-3 - 0/2). Solve -o = 2*v - v for v.
-3
Suppose -223*a + 432 = -205*a. Solve i + 7*i + a = 0 for i.
-3
Let u(d) = -3*d - 10. Let j be u(-4). Suppose 0 = 2*k + 4*b - 12, -3*b + j*b = 5*k - 3. Solve k*a = a - 4 for a.
4
Let x(g) be the first derivative of -g**4 + g**3/3 + 3*g**2/2 + 3*g + 29. Let a be x(-1). Solve a*f - 17 - 3 = 0 for f.
4
Let d(n) = -n**2 - 9*n - 11. Let p be d(-8). Let i(s) = s**3 + 3*s**2 - 2*s - 4. Let g be i(p). Let x be g/(2/(-3)) + 13. Solve -x = f - 3*f for f.
5
Let c(m) = 6*m**3 - 4*m - 4. Let i(v) = -v**3 + v + 1. Let t(n) = -c(n) - 5*i(n). Let d be t(0). Let y = d + 7. Solve 9 = 3*h - y*h for h.
-3
Let w(v) = -2*v**3 + 2*v**2 + v + 1. Let j be w(2). Let b be (j + 5)/(2/1). Suppose 7*a = 22 + 48. Solve -2*y + 4*y + a = b for y.
-5
Let k(b) = b**2 - 12*b + 20. Let r be k(9). Let t be (r + 6)/((-3 - -4)*-1). Solve -13 + t = 3*a for a.
-4
Let b = 116 - 30. Suppose 4*w - 92 = -4*d, 2*d - 1 - 48 = -w. Suppose 3*s + d = b. Solve -2*k + s = -6*k for k.
-5
Suppose -2*g + 2 = -3*g, 5*g + 2 = -4*h. Suppose 0 = 5*w + 6*w - 99. Solve 0 = -h*k - k - w for k.
-3
Let t be (-4)/8 - (-11)/(-2). Let b be t/27 + (-8)/(-36). Solve b*h + 2*h - 8 = 0 for h.
4
Suppose 8*b - 16 = 4*b. Suppose 27*y = 23*y + 12. Solve -g + y - b = 0 for g.
-1
Let p = 5 + -1. Let q(n) = n**3 - 3*n**2 - 4*n + 5. Let l be q(p). Suppose 1 - l = -c. Solve -b + 10 = c*b for b.
2
Let t = -2 + 5. Let a(y) = 2*y**2 + 20*y + 50. Let c be a(-6). Solve -l - t = c*l for l.
-1
Let p(q) be the second derivative of q**3/6 + q. Let g = 21 - 19. Let s be p(g). Solve -2 = s*f + 4 for f.
-3
Suppose 7*q - 3*q = -40. Let v be (-6 - 0)*25/q. Suppose -2*x = -7*x + 15. Solve 0*a + v = -x*a for a.
-5
Suppose t = -3*u - 0*t + 8, -t = -2*u - 3. Let c be (17 - 8) + (u - -1). Let b = -3 - -5. Solve 3 = -b*o + c for o.
4
Suppose 0 = 2*a - 2, -9*l - 18 = -13*l + 2*a. Solve -4*t - 13 = -l for t.
-2
Suppose 6*k + 2*v + 16 = 11*k, 0 = 2*v - 4. Let c be 0/(k - (4 + 1)). Solve 4*q + 0*q - 8 = c for q.
2
Let m be -2 + 3 - (-7 + (-4 - -7)). Solve -m*s - 37 = -27 for s.
-2
Let b be -4 - -22*4/8. Suppose -b = -3*g + 5. Solve -4 = -2*z + g*z for z.
-2
Suppose 5*x + 16 = -2*t, -2 = t - 3*x - 16. Suppose -6*o - 16 - 32 = 0. Let k be (-9)/(-4) + (18/o)/9. Solve -k*u = t*u + 12 for u.
-3
Let w = -486 - -488. Solve 25 = 3*f + w*f for f.
5
Suppose 0 = -21*g + 19*g + 60. Let x = -30 + g. Solve 0 = -5*h + 10 - x for h.
2
Let o = 129 + -70. Let z = -51 + o. Solve -4*b - 20 = -z*b for b.
5
Let i(p) = p**2 - 2*p - 8. Let w be i(5). Let s(f) = f - 7. Let r be s(w). Suppose 3*n + 3*l - 18 = r, 3*n + 5*l = 3*l + 14. Solve t = -n*t + 12 for t.
4
Suppose -2*f + 2*o = -12, -2*f + 4*o + 24 = -o. Suppose 0*l + 9 = 4*l + 5*p, -f*l + 7 = 5*p. Solve 11 = 3*x - l for x.
4
Let q = 165 - 139. Solve 27*j = q*j + 2 for j.
2
Let c = 69 - 59. Let i be (24/c + -2)/(2/10). Suppose 0*h = -5*d - 3*h + 57, -d + 3*h + 15 = 0. Solve 0 = -2*v - i*v - d for v.
-3
Suppose -15*m - 64 = -289. Suppose 4*o - 4*b = 7 + 5, -5*b = m. Solve 2*u - u = o for u.
0
Let f be 4 - -1*0*(-3)/(-9). Solve -f*p + 29 = 17 for p.
3
Suppose -3*x - 2*l + 4*l - 2 = 0, -3*x = l - 1. Solve x = a - 2 + 1 for a.
1
Suppose -91*k + 8 = -90*k. Solve -2 + k = 2*r for r.
3
Let s be 6 + (-2)/8 + (-2)/(-8). Solve 0 = -11*w + 8*w + s for w.
2
Suppose -4*r = 41 - 57. Solve -3*i - 5 = r for i.
-3
Let i = 17 + -14. Suppose -i*b = -0*b - 48. Let m(s) = s + 2. Let v be m(5). Solve v*k - 3*k = b for k.
4
Let y(w) be the third derivative of -w**6/120 - w**5/20 + w**4/8 + 4*w**3/3 + 36*w**2. Let j be y(-4). Solve -v + 4*v = -j for v.
-4
Suppose 0 = 2*v - 8 - 4. Let r be v/(-9) - 388/12. Let f be r/(-15) + (-6)/30. Solve 6*j + 12 = f*j for j.
-3
Let a = 96 - 81. Suppose 8 = -14*f + a*f. Solve 3*d = d - f for d.
-4
Let j(t) = -t - 10. Let v be j(-9). Let l(n) = -3*n + 2. Let m be l(v). Suppose 0*x = -m*x. Solve x = a - 3*a for a.
0
Suppose r = -2*r. Suppose -2*s + 6 + 0 = r. Suppose -2 = -4*b - 0*b + 3*u, 3*b + 4 = 5*u. Solve i + s = -b for i.
-5
Let d(y) = y**2 + 5*y - 2. Let x be d(-6). Suppose -27 = -x*k + b - 0*b, -4*k = b - 21. Let u(w) = w**2 - 5*w - 6. Let g be u(k). Solve g = o - 2 for o.
2
Suppose 82 = 2*t + 52. Solve 0 = -c - t + 11 for c.
-4
Let k(p) = -p**2 - p - 2. Let u be k(3). Let t = 351 + -332. Let c = t + u. Solve 0 = -3*y + c + 7 for y.
4
Suppose 0 = -5*z - 15, 2*v - 3*z = v + 14. Suppose v*x = 4*x + 11. Solve -4*g = -x + 3 for g.
2
Let x(n) = n**3 - 12*n**2 + 20*n + 19. Let q(r) = -r**2 - r - 1. Let z(t) = -5*q(t) - x(t). Let v be z(16). Solve v*j - 6*j + 8 = 0 for j.
2
Let b(r) be the first derivative of 4*r - 3 + 1/2*r**2. Let z be b(-2). Solve -z*c + 8 = -4*c for c.
-4
Let f = 6 + -1. Let a be ((-1)/3)/((-2)/(-18)). Let h be (-15)/f + a/(-1). Solve h = -x - 0 + 1 for x.
1
Suppose -3*r + 50 = -28. Suppose -31*w = -r*w. Solve 0 = -f + 1 - w for f.
1
Let m be ((-1)/(2/(-4)))/2. Let w = -76 + 72. Let h be (-4)/w*6 + m. Solve -h = 5*b + 18 for b.
-5
Let z be (-2 + 3)/((-2)/(-86)). Suppose 0 = -2*o - 5*d + z, 0 = -4*o - d + 27 + 14. Solve -6 = -5*w + o for w.
3
Suppose -10*c = 5*k - 9*c - 165, -116 = -4*k - 4*c. Solve -25 + k = 3*u for u.
3
Suppose 0 = -19*p + 14*p + 15. Let t be ((-88)/(-12))/(2/p). Solve -3*v - t = -2 for v.
-3
Let a(t) = t**2 - 3*