*y for y.
-1
Let b be 30/35 - 3/(-21). Suppose 9 = -a + 4*a. Suppose 5*m - 23 = -2*q, -a*m + b + 20 = 3*q. Solve -2*z + m = z for z.
1
Suppose 7*c - 24 = -c. Solve -x = -c*x for x.
0
Let q be (10/3)/((-6)/18). Let j be ((-8)/(-20))/((-2)/q). Solve 0 = 5*b + j + 8 for b.
-2
Suppose 5*v - 40 = -4*d, 2*d + 2*d - 5*v = 0. Suppose 2*x - 4 = 0, -w - 2*x - 4 = -d*x. Solve w*s + 5 + 5 = 0 for s.
-5
Let h be (-1)/(2 - 5/2). Solve -h*i = 2*i for i.
0
Let z(d) = -d**2 - 12*d + 16. Let t be z(-13). Suppose -48 = -t*m + 4*q, 0*m = 2*m - 4*q - 36. Suppose 0 = -6*a + 4*a + 4. Solve -2*u - a*u = -m for u.
3
Let c = -7 - -9. Solve n = c - 5 for n.
-3
Suppose 6*u - 4*u - 4 = -x, -28 = -5*u + 2*x. Suppose d + 5 = 2*y + 2*d, -4*d + u = 4*y. Let t = y + 1. Solve t*q + 2 = 3*q for q.
-1
Let l(j) = j**2 + j. Let d be l(-2). Suppose -3 + 11 = -4*k. Let x be 600/88 + k/(-11). Solve x + 3 = d*s for s.
5
Let r(y) = y**2 - 6*y - 3. Let f be r(4). Let t(i) = i**2 + 12*i + 11. Let n be t(f). Solve 0 = -n*l - 5*l + 5 for l.
1
Let x = 13 + -19. Let g = -11 - x. Let u(v) = v**2 + 4*v - 1. Let r be u(g). Solve -r*q = -9*q for q.
0
Suppose -5*f - 5 = -5*l, 0 = 3*f + 3*l - 0 - 3. Suppose -7 = o - 5*z, f = 4*o - z + 2 - 12. Solve -o*m + 7 + 2 = 0 for m.
3
Let g be 1 + (3/(-1) - -3 - -2). Solve -g + 5 = i for i.
2
Suppose -12*a + 30 + 42 = 0. Solve 3*d = 5*d - a for d.
3
Let x be (1*2*-2)/(-1). Solve 0 = -3*m - x - 11 for m.
-5
Let t be 1156/(-6) - 8/(-12). Let b be t/(-14) + 2/7. Let r be (-198)/(-42) + 2/7. Solve 3*l = b - r for l.
3
Suppose 5*z = -3*f + 34, 2*f - 28 + 7 = -3*z. Suppose 3*s = 5*o + 6, 0 = 4*s + 5*o - 2*o - 8. Suppose s = f*b - 4. Solve -r = -b*r for r.
0
Suppose -2*a = -0*a - 4. Solve a = -2*w - 4 for w.
-3
Let s be (-2)/6 + (-10)/(-3). Solve -s*t - 6 = -18 for t.
4
Suppose 4*k = 5*g - 3, -5*k + 3 = -k - 3*g. Suppose -k*u + 3*v + 27 = 0, 2*v + 0*v = -3*u + 7. Solve -5 = -5*t + u for t.
2
Let d be 6/(-4)*(2 + -4). Suppose 2*z - d*z = -2. Solve 0 = -2*s - z for s.
-1
Let g(f) = -3*f**3 - f**2 - 2. Let u be -3 - (-3 + 1) - 1. Let x be g(u). Solve 3*p + x = 3 for p.
-5
Let q = -17 + 20. Solve 0 = -5*i + q*i for i.
0
Suppose 2*b - f = 7*b - 111, -67 = -3*b - f. Suppose 2*k + 2 = -y + 6*k, 0 = 3*y - 5*k - b. Solve 0 = -3*p + y + 1 for p.
5
Suppose -2*k = -5*q - 15 - 9, 8 = -2*q. Suppose k*p - 5*r = 22, 7*p + r = 3*p. Solve 16 = -5*i + p for i.
-3
Suppose 10 = 4*p - 30. Let c = p + -10. Solve b - 4 + c = 0 for b.
4
Let c(q) be the second derivative of q**4/12 + 5*q**3/6 - 2*q. Let a be c(-5). Let b be (a*3/6)/1. Solve b = 5*k - 5 for k.
1
Suppose 1 = -5*q - 34. Let t(c) = -1 + 0*c - 7*c + 6*c**2 + 5 + c**3. Let m be t(q). Solve v = m*v + 9 for v.
-3
Let s be 5/(-20) + 5/4. Let l = s + 2. Let f be -1 + l/6*2. Solve 0*u - u + 3 = f for u.
3
Suppose -2*x + 19 = 5*p, 4*x + 4*p = 6*p + 98. Let i = -12 + x. Solve 0*q + 2*q + i = 0 for q.
-5
Let w be 1 - (1 - (2 - 5 - -5)). Solve -w*o = -o for o.
0
Let h = -1 - -2. Let z be (-1)/(-4) - h/4. Suppose z*y = 3*y - 3. Solve -2*n + 3 = y for n.
1
Let d(w) = 4*w - 2. Let q be d(2). Suppose 9 + 16 = 5*y. Suppose -y*p = 2*x + q, -p + x = 5*x + 12. Solve 4*t + p*t = -16 for t.
-4
Suppose 0 = -3*c - 2*c + 35. Solve 0 = -5*x + 13 + c for x.
4
Let d(y) = 5*y**2 - y - 1. Let t be d(-1). Suppose 0*j = -t*j + 10. Solve j*s + 2 = -0 for s.
-1
Let u(p) = 8*p**2. Let q be u(1). Suppose -q = -4*t - 4. Solve -t = -3*g + 4*g for g.
-1
Let f(c) = -2 - 4 - 3 + 2*c. Suppose 0 = b + 3*b - 32. Let m be f(b). Solve 0 = -2*l + m*l for l.
0
Let q be 1 + 0 + 3*1. Suppose 2*v = 62 - 16. Let w be 4/20 + 42/15. Solve -q*r + w - v = 0 for r.
-5
Let r(t) = t**2 + t + 1. Let n be r(-2). Let u = 61 + -61. Solve o - 7 + n = u for o.
4
Suppose 5*w + 3*c = 0, -3*w - 3*c = 2*c + 16. Suppose 2*j + 4 = w*j. Solve j*x - x = -6 for x.
-2
Suppose -2*u = -3*u - 5*i, -32 = 4*u + 4*i. Let o = 25 + u. Solve -4*c = c + o for c.
-3
Suppose 0 = -3*k + 49 + 14. Solve 0 = -4*o - 5 + k for o.
4
Let m be (-1 - -3)/(2 + -1). Solve 0 = m*v - 2 for v.
1
Suppose -p + 3*p = 5*h - 172, -h + 3*p = -24. Suppose 3*o + 2*o + 4*n - h = 0, -5*n + 32 = 3*o. Solve o = -3*w + 1 for w.
-1
Let n be (-3)/((-1)/((-2)/(-2))). Let d be (-1 + (-3 - -5))*6. Let h = d + n. Solve 7*i = 4*i - h for i.
-3
Suppose -r = -6*r + 15. Solve 2 = c - r for c.
5
Suppose 2*f - 8 = 6*r - 4*r, -5*r = 5. Solve -f*p - 15 = -6*p for p.
5
Suppose -p = p - 10, 0 = 4*r - 5*p + 69. Let u be (1 + 6)*-2 - 2. Let a = r - u. Solve 0 = q - 0*q - a for q.
5
Let z be (-112)/(-11) - 32/176. Solve -3*g - z = -5*g for g.
5
Let v(n) = -n**2 - 5*n + 2. Let r be v(-3). Solve 3*c - 1 = r for c.
3
Let u(o) = -o**3 - 9*o**2 + o + 11. Let y be u(-9). Let k be y + (-1*4 - -2). Let w = k + 2. Solve 0 = 3*a - w*a - 4 for a.
4
Let g be -2 + 3/(-3) + 6. Solve -l = g*l + 12 for l.
-3
Suppose 4*z = 4*v - 28, -v - z + 3*z = -8. Suppose -v = -3*t + 3*s, -t + 6 = s - 4. Let y = t - -9. Solve 6*b - b = y for b.
3
Let m be -2*((-1)/(-5))/(4/(-50)). Suppose 5*c - o = -6*o + 40, 4*o = 5*c + 5. Let l be 1*2 + (1 - c). Solve l = 2*i + m - 3 for i.
-1
Let x = 7 - 0. Solve x*i = 2*i - 10 for i.
-2
Let t be 0 - (-2 + 3 + -4). Solve -4 = -t*h - 1 for h.
1
Let b(t) = -5*t + 48. Let x be b(8). Solve -x = -0*a - 4*a for a.
2
Suppose n - 3*n + 2 = 0, 2*y - 2*n = -14. Let x(b) = -b**3 - 5*b**2 + 7*b + 6. Let s be x(y). Solve s = 5*a - 5 - 0 for a.
1
Let v = -1 - -13. Solve -w = -4*w - v for w.
-4
Suppose 0 = -2*s + 1 + 3. Let l be s/8 + 115/20. Solve 5*g - l = 2*g for g.
2
Let t = 114 - 112. Solve 5*n = 3*n - t for n.
-1
Let b be (9 - 6)*2/3. Suppose b*z = 3*z. Solve l + z = 4 for l.
4
Let r(k) = k**2 + k - 47. Let m be r(-8). Solve -5*g + m*g = 12 for g.
3
Let g = 49 - 44. Solve g*y + 13 = -12 for y.
-5
Let b be 5*(-18)/(-15) - 4. Suppose q = -2*v - 0*v + 23, -4*q = b*v - 38. Solve 4 - v = 5*d for d.
-1
Suppose -3*m = -4*m. Suppose -5*s - 6 + 56 = m. Solve 4*n - 2*n = s for n.
5
Let o be (0/2)/(-4 - -2). Let p be 2 + -3 + 8/2. Solve -p*k + 3 = -o*k for k.
1
Suppose -5*q - 3 = 2. Let i be (1 + 0 + q)/1. Suppose 2*l + 2*l = i. Solve -r + 2*r - 2 = l for r.
2
Let o be 5/(-4*(-3)/24). Let r = -11 - -15. Suppose 2*b = -b. Solve b = -r*a - 2 + o for a.
2
Let d = 3 + 0. Let p = -3 + 28. Solve -p = 8*v - d*v for v.
-5
Let f(l) = -l**3 - 7*l**2 + 5*l - 8. Let j be f(-8). Solve 3*b = 7*b - j for b.
4
Let i = -38 - -23. Let v = -8 - i. Solve -1 = 2*d - v for d.
3
Let p = -4 + 4. Suppose -5*b = -z - p*z + 2, 2*z - 16 = 4*b. Suppose 3*f - z = -0. Solve f = k - 0 for k.
4
Let k be (-10)/3*(-12)/10. Let f(q) = q**3 - 3*q**2 - 3*q. Let y be f(k). Suppose 3*b + 2*c - 10 = 0, -2 = y*b + 3*c - 16. Solve 0 = b*m - 2 + 4 for m.
-1
Let z(o) = o**2 + 5*o - 6. Let x be z(-7). Suppose -2*p + x - 2 = q, p = -5*q + 21. Let n be 2*(3 + (-6)/q). Solve -y + n*y = -10 for y.
-5
Let w be (-9)/15 + 39/15. Solve -4 + w = -j for j.
2
Suppose -4*f - 2 = 2*s, -2*f + 3*s + 4 = 1. Solve 4*v + 1 + 11 = f for v.
-3
Let x = 2 - -1. Suppose 0 = 5*b - l, b - x*l = -3*b. Solve -6*k + k + 25 = b for k.
5
Let w be (-1 + 1 - 0)/2. Solve -r - r + 8 = w for r.
4
Suppose 3*u - 6 = -z + 2*u, u = 2*z. Solve 0 = -z*g + 4 + 4 for g.
4
Let m = 32 - 29. Solve 0*x + 3*x - m = 0 for x.
1
Suppose 0 = j + 22 - 23. Solve -4*y + 5*y + j = 0 for y.
-1
Let a(i) = -i - 6. Let x be a(-10). Suppose v - 3*v = -x. Suppose c - 7 = -v. Solve -r + 2*r - c = 0 for r.
5
Let f be 1/(-2*1/(-8)). Suppose 0 = 5*l - l - f. Let y = -5 + 9. Solve 5*a = y + l for a.
1
Suppose 2*f = -4*m - 16, -4*f + 2*f - 3*m = 15. Let s = f - -10. Suppose 3*d - h - 3 = -s, -d - h = -5. Solve -l + 5 = d for l.
4
Let t(j) = 7*j**2 + 19*j + 29. Let k(d) = 3*d**2 + 10*d + 14. Let i(v) = -5*k(v) + 2*t(v). Let u be i(-9). Solve 5*y = u + 10 for y.
5
Suppose 1 = 3*b + 3*k - 2, 2*b = -4*k - 2. Solve 0 = 2*s + b*s for s.
0
Let n = 2 + 0. Suppose -1 = -3*i - 3*m + 5, 5*m + 32 = n*i. Solve -4*o = 10 + i for o.
-4
Let b be 6/(-9) - (-29)/3. Let u be 3 - (-3)/(b/6). Solve 6*h - u = h for h.
1
Suppose 5*f = -3 + 28. Suppose -5*k - c + 13 = -3*k, -f*k - 5*c + 30 = 0. Suppose -k = -3*d + 2. Solve q = 1 - d for q.
-2
Let g be (44/77)/((-2)/(-14)). Suppose -2 = -g*w + 10. Solve -a - 2*a = w for a.
-1
Suppose 10 - 1 = 3*t. Let s be ((3 + -2)*0)/2. Solve -m = -s*m + t for m.
-3
L