 for y.
3
Suppose -5*p + 3*p = 0. Suppose c - 3 = -p*c. Solve 0 = z + c*z for z.
0
Let c be 92/(-28) - 2/(-7). Let j = -3 - c. Solve -4*r = -j*r - 12 for r.
3
Let a(b) = -3*b - 8. Let d be a(-4). Solve -d*y + 2 = -5*y for y.
-2
Suppose -y + 2*l - 3 = l, 4*y + 3*l - 16 = 0. Let n(p) = p + 4. Let b be n(-2). Suppose b*k - 9 = -k. Solve k - y = -x for x.
-2
Let c(r) = 1 + 13*r**2 - 6*r**2 - 9*r**2 + r**3. Let u = 3 + -2. Let m be c(u). Solve -3 = -m*n + 3*n for n.
-1
Let p be (5/4)/((-2)/(-8)). Let m = -3 + p. Solve 5*a - 7 = -m for a.
1
Let u = 15 + -13. Solve -u*t + 0 + 8 = 0 for t.
4
Suppose -1 = 4*s - 4*i - 17, -3*s - 2*i = 8. Solve 2*f + 3*f - 15 = s for f.
3
Let t(g) = -g**2 - 8*g - 11. Let v be t(-6). Solve -v + 11 = 5*u for u.
2
Let l(g) = 3*g**2. Let m be l(-1). Let i be 2/8 - 44/(-16). Let y(j) = j**2 + 3*j + 2. Let b be y(-3). Solve b*z + i = m*z for z.
3
Let w(j) = 2*j**3 - 16*j**2 - 11*j + 11. Let b(g) = 5*g**3 - 33*g**2 - 22*g + 23. Let f(c) = 3*b(c) - 7*w(c). Let q be f(-12). Solve -a + 3*a - q = 0 for a.
2
Suppose 0 = 4*l + 8 - 28. Suppose 0 = l*y - 6*y + 2. Solve 3 + 3 = y*x for x.
3
Let m(z) = -z + 8. Let l be m(7). Let g(p) = -p**3 + 5*p + 5*p**2 - 5*p + 2. Let r be g(5). Solve -r - l = -f for f.
3
Let d be (-16)/(-8)*(-7)/(-2). Solve -3*t - d = 2 for t.
-3
Let v(y) = y**3 + 6*y**2 - y - 6. Let s be v(-6). Suppose 4*r = 5*d + 56 - 23, s = r + 3*d + 13. Solve 4*t = -14 - r for t.
-4
Suppose -3*v - 82 - 242 = -4*x, -162 = -2*x + v. Let o be (-2)/9 - (-99)/x. Solve 5*g - o + 21 = 0 for g.
-4
Suppose o + 6 = 3*o. Solve -8 = o*i + 1 for i.
-3
Let v(i) be the first derivative of -i**3/3 + 2*i**2 + 5*i - 3. Let t be v(5). Let p(j) = j - 5. Let h be p(6). Solve -h = -t*l + l for l.
-1
Let m = -5 + 3. Let d = 0 - m. Solve d*o = o - 2 for o.
-2
Suppose -2 = -5*y + 2*v, -11 + 16 = -2*y - 5*v. Solve 1 = -r - y for r.
-1
Let y(w) = -4*w - 16. Let a be y(-4). Solve -4*l - 8 = -a*l for l.
-2
Let q(u) = -u**3 - 8*u**2 - 8*u - 4. Let c be q(-7). Solve -i = c*i - 20 for i.
5
Let i be (-24)/16 + 22/4. Solve s + 0*s - i = 0 for s.
4
Let w be 1/2 + 3/2. Suppose -t = 2, -2*o + 0 = -4*t - 8. Solve -w*a + 4 + 0 = o for a.
2
Suppose -2*z - 52 = 4*d, 2*d + 0*z + 42 = 3*z. Let v = -11 - d. Solve 10 = v*q + 2 for q.
2
Let x = 54 - 35. Let i = x - 10. Solve -2*p + i = p for p.
3
Let l = -5 - -2. Let v = l + 5. Solve t = -v + 4 for t.
2
Let f = -8 - -5. Let j be (-58)/6 - (-1)/f. Let b(o) = -o**3 - 11*o**2 - 11*o - 6. Let u be b(j). Solve -2*n = -4*n + u for n.
2
Suppose -3 = j - 7. Let o be (j/3)/((-2)/(-3)). Solve -p = -0*p + o for p.
-2
Let h be (-10)/(2 + -7) - (2 + -2). Solve y + 0 = h for y.
2
Suppose -3*b + 7*b = 4*r - 28, r - 3*b = 15. Suppose 2*c = r*y - 14, -6*c + 2*c - 18 = -y. Solve 0 = s + y*s + 9 for s.
-3
Suppose -p - 4*b + 4 = 0, -3*p + 3*b + 4 = 7*b. Suppose p = -0*t + 2*t - 6. Solve 0 = -0*d - t*d - 3 for d.
-1
Suppose -3*b + 8 = -2*b. Suppose 0 = v - 4*w - 24, 4*w + b = -v - 0*w. Let k = -10 - -14. Solve 0 = k*l + v for l.
-2
Suppose -v = 5*r + 6, -2*v - 2*v = 3*r + 7. Let z be r/2 + (-105)/(-14). Let o(b) = 7*b - 1. Let w be o(3). Solve z*y = 2*y - w for y.
-4
Let a be (-1 - -1)*(-17 - -16). Solve -3*g + a + 9 = 0 for g.
3
Suppose 1 - 6 = 5*i. Let l = 3 - i. Suppose -2*b - o = -9, -3*b + 6 = -2*b - o. Solve -x - b = l*x for x.
-1
Suppose -2*g - 2 = -14. Suppose -4*m - g = -m - 3*v, 2*v = 5*m - 2. Let y = -7 - -11. Solve t - m*t = -y for t.
4
Let n be (0 + -1)/((-1)/2). Solve b - 1 = n for b.
3
Let i = 3 + 0. Suppose -5*a + 18 = -i*m, -a + 5*m - 26 = -2*a. Solve -4*s + a = -14 for s.
5
Suppose 4*y - 4 = 3*y. Solve y*z - 5 = 15 for z.
5
Suppose 2*l = -6 - 0. Suppose o + 3*o + 4 = 0. Let q = o - l. Solve q*x = 7*x + 10 for x.
-2
Suppose 5*q - 31 = -3*b, -2*b - 4*q + 30 = 3*b. Suppose 8 = 3*n - 10. Suppose n*x = 2*x. Solve -b*m + x - 6 = 0 for m.
-3
Let q = -17 - -17. Solve -3*z + 1 - 10 = q for z.
-3
Suppose -5*i - 2*g = 0, -3*i = -0*i - g. Suppose i = -5*r + 22 + 3. Solve -r*k - 15 - 5 = 0 for k.
-4
Let j be (-1)/(-2)*(9 - 7). Suppose -p + j = -2. Solve -p - 12 = -5*r for r.
3
Let s(u) = 2*u - 14. Let x be s(11). Suppose x = i + 3*i. Let f = 20 - 10. Solve i*p - 2 + f = 0 for p.
-4
Suppose 15*c = 20*c - 10. Let x = 7 - 4. Suppose -x*n = -2*n - 4. Solve -18 = n*p - c for p.
-4
Let u = -49 + 50. Solve 0 = 5*j + u - 6 for j.
1
Let n(q) = -q**2 + q. Let c(k) = 4*k - 4. Let j(t) = c(t) + n(t). Let s be j(3). Solve s = u + 6 for u.
-4
Let p(f) = -f**3 + 10*f**2 + 12*f - 7. Let v be p(11). Let l be (-6)/24 + (-15)/v. Let d be (-6)/l*(-5 + 13). Solve -2*h - d = h for h.
-4
Suppose 4*v = -0*v. Solve -4*h + 4 + 16 = v for h.
5
Suppose 0 = -2*j + 16 - 8. Solve 5*z = 3*z + j for z.
2
Let m = -29 - -34. Solve -m*z = -39 + 14 for z.
5
Suppose d = -2*d + 12. Suppose 3 = m - d. Solve -22 + m = 3*j for j.
-5
Suppose 0 = -4*z + z. Let x = 1 + z. Solve x = -r + 2 for r.
1
Suppose 7*a - 20 - 15 = 0. Let f(r) = -r**2 - 7*r - 3. Let i be f(-5). Solve i = -4*c - a for c.
-3
Let x(u) = -3*u - 8. Let z be x(-4). Suppose 0 = -4*j + z*y - 4, -4*j - y + 4*y = 1. Suppose 4*s - 40 = 8. Solve -k = j*k + s for k.
-4
Let w(f) = f - 4. Suppose d - 5*i = -10*i + 1, 2*d = -3*i + 9. Let l be w(d). Solve l*p - 5 = -3*p for p.
1
Let o be 3/((-4)/(112/6)). Let y = -4 - o. Solve 6*a = 4*a - y for a.
-5
Let b be 3*(2 + (-2)/3). Let l be b/(-10) - (-22)/5. Solve -2*x + l = -0*x for x.
2
Let f be (0 - (-1)/1) + 5. Let k be 3 + (-1 - f/(-3)). Let z be -2 - ((-2 - -3) + -3). Solve z = k*y - 10 + 2 for y.
2
Suppose 2*b - 2 = -r, -4*r + 0*r + b = -44. Let w be (5/r)/((-2)/(-12)). Solve w*s - 2*s = 0 for s.
0
Suppose -5*l + 3*k + 45 = -0*k, -10 = 2*k. Let g = -123 + 124. Let h be (l/g - -1)/1. Solve 20 = -h*b + 2*b for b.
-4
Let n(k) = -k**3 + 4*k**2 + 7*k - 4. Let v be n(5). Let x = 8 - v. Solve -5*r + x*r = 0 for r.
0
Suppose 4*s - 3*t - 3 = 9, -5*s + t + 4 = 0. Let r be 6*10/6 + s. Solve g - r = -g for g.
5
Let d = 52 - 48. Solve -l + 5 - d = 0 for l.
1
Let o(g) = g. Let t be o(2). Solve -3*k + t = -4 for k.
2
Let d(f) = f**2 + f - 1. Let m be d(4). Suppose -4*q = -4*k + q + m, k - 3*q = 3. Let v = k - 0. Solve -v = -0*t - 3*t for t.
2
Suppose 3*m + 3*a = 6, -41 = m - 4*m + 4*a. Solve 0 = w - 2 + m for w.
-5
Let x = -16 + -6. Let b = x + 28. Solve -2*o - 20 = -b*o for o.
5
Suppose v + 6*l - 17 = l, -5*l + 9 = -3*v. Solve 2 = 4*f - v for f.
1
Suppose 0 = -2*p - p - 9. Let l = p + 6. Suppose -3*s = 5*y + l, 2*s - 2*y - 25 = -11. Solve m = -s*m for m.
0
Let z(u) = 2*u + 32. Let d be z(-15). Solve 13 = -5*f - d for f.
-3
Suppose -8 = k - 4*u - 24, -2*k + 3*u = -12. Solve k = -2*j + j for j.
0
Let g(p) = -p**3 - 2*p**2 + 2. Let b be g(-4). Let z be 6/(-9) - b/(-6). Let t = -3 + 4. Solve -z*j - 6 = -t for j.
-1
Suppose -4*s + 12 = -3*o - o, 3 = o. Let c be (-2 + 9/s)*0. Solve 0*t - 5*t - 5 = c for t.
-1
Let r = -31 - -19. Let c = -12 - r. Solve c = q + 2 - 4 for q.
2
Let h be (8 + 2)*(-2)/(-4). Solve -h*s = 15 - 5 for s.
-2
Let p(w) = -w**2 + 4*w - 3. Let s be p(3). Suppose 17 = -l + 5*a, -5*l - 5*a + 34 = -1. Suppose -j = -l*j. Solve 4*d + j*d + 4 = s for d.
-1
Let k = -75 - -80. Solve 0*r = -k*r + 25 for r.
5
Let k(h) = -h**2 - 4*h + 1. Let u be k(-3). Suppose -w + 3*g + 15 = g, 45 = 4*w - 5*g. Let p = -2 + w. Solve -u = c - p for c.
-1
Let f = 75 + -50. Solve -5*g + f = 5 for g.
4
Let x = -9 - -43. Let s be (-14)/35 + x/10. Suppose s*b + 3 = 4*l, 2*b - 4*b - l = -9. Solve -b*w = -4*w for w.
0
Suppose 2*s + 12 = -5*a - 0, 5*s = -3*a + 8. Solve -t + s = 2 for t.
2
Suppose -3*m = -5*s + 35, s = -3*s - 3*m + 1. Solve 0 = -s*r + 8*r for r.
0
Let r = 7 - -2. Let x be 5*(-1 + r/5). Solve 0 = -x*o - 0*o + 16 for o.
4
Let h(i) = -i - 1. Let t(u) = 5*u - 5. Let f(l) = -4*h(l) - t(l). Suppose -2*a - 15 = -2*b + 7, 5*b = -2*a + 41. Let z be f(b). Solve 5*y + z*y = 15 for y.
3
Let g(i) = -3*i - 9. Let z be g(-7). Let f(n) = -7*n - 12. Let r be f(-2). Solve -5*l + z = -r*l for l.
4
Let m be 7/21 - (-1)/(-3). Solve m = 3*t - 4*t for t.
0
Let r = -16 + 19. Suppose -6*o = -r*o. Solve a + o*a = 5 for a.
5
Let t be 0/(1 + 0 + 1). Let v(l) = 3*l + 3. Let u be v(-2). Let i = t - u. Solve 10 = -8*w + i*w for w.
-2
Suppose -4*l + 12 = -l. Let k = 9 - l. Suppose 54 + 16 = 3*x + 2*z, 4*x - k*z = 55. Solve -