- 4. Let m be p(r). Let b be (6/m)/(1/(-5)). Solve -b*y = -5 + 15 for y.
-5
Suppose 4*q = -0*q. Suppose 0 = -5*t + 5*b + 25, 0 = t - 4*b + 7 - 21. Solve q = 2*y + t*y + 12 for y.
-3
Let u(f) = -5*f - 2. Let p be u(-2). Let t = p - 3. Solve t*w = w + 8 for w.
2
Let l be 3 + (-4 + 6 - -1). Solve l*q - 2*q = 0 for q.
0
Let a(o) = o**3 + 5*o**2 - 1. Let h be a(-5). Let f = 2 - h. Suppose 2*n = -f*n. Solve n = 2*r - 4*r for r.
0
Let h be -3*(0 + 1 + -2). Suppose -h*n + 1 = -2. Suppose 4*x + 10 = -f + 4*f, -3*f + n = 5*x. Solve 0 = b + f*b + 9 for b.
-3
Let d be (-1 - -1)/(-2 + 1). Solve y - 4 + 0 = d for y.
4
Let b be (-6)/10 + 26/10. Solve y - b = 1 for y.
3
Let y = 0 - -4. Suppose 2*p + 26 = y*g, -3*g - 4*p - 12 = -g. Suppose -r + 3*r = 3*q - 10, -r = -4*q + 10. Solve -q = 2*k - g*k for k.
1
Let o(c) = c**3 + 7*c**2 - 7*c + 10. Let u be o(-8). Suppose -19 = -2*j + 11. Solve -i = u*i + j for i.
-5
Suppose 51*k + 6 = 53*k. Let m be 1 + -1 + (-12)/(-2). Solve 0 = -0*j + k*j + m for j.
-2
Let h(m) = m + 19. Let w be h(-13). Solve w*y + 15 = 3*y for y.
-5
Let r be 3 + 1/(1/4). Solve -2 = 5*g - r*g for g.
1
Suppose 5*g + n = -0*g - 1, g = -4*n + 15. Let s be 1 + (g - (-3 - -3)). Solve 3*p + s = 3 for p.
1
Let r(t) = -t + 7. Let g be r(-9). Suppose g = 2*j - j. Solve 3*p = -1 + j for p.
5
Let t be -16 + (0 - 0/2). Let c = t + 22. Suppose b = 5*x - 17, c + 2 = 5*x - 4*b. Solve -3*y + 8 = -x for y.
4
Let t(d) = -5*d - 3. Let o(r) = -6*r - 3. Let h(g) = 4*o(g) - 5*t(g). Let w be h(-9). Let l be (-68)/(-12) - (-4)/w. Solve -l*y - 5 = -4*y for y.
-5
Suppose y - n - 6 + 3 = 0, -y - 4*n = -3. Suppose 0 = -j - 2*p + 18, y*j - 5*p - 51 - 14 = 0. Solve -5*l - j = -0*l for l.
-4
Let c(i) = -i**3 - 5*i**2 + 4*i - 9. Let z be c(-6). Solve 6*d - z*d + 3 = 0 for d.
-1
Let j = 97 + -167. Let s be (j/25)/((-4)/10). Solve -s = -q - 3 for q.
4
Let m(q) = 3*q + 1. Let j be m(6). Let y be -4 + 4 + 3 + 1. Solve -1 - j = y*a for a.
-5
Let k(x) = x**3 + 4*x**2 + 5*x. Let c be k(-4). Let r be 3/5*c/(-4). Suppose -r*t + 4 = -2*t. Solve 4*o - 2*o = -t for o.
-2
Let b = 4 + -3. Let r(m) = -m**2 + 7*m - 7. Let d be r(5). Let o = d - b. Solve 4*s = o*s + 4 for s.
2
Suppose 0 = -20*h + 16*h. Solve h = 4*z - 1 - 3 for z.
1
Suppose 0 = -4*x + 2 + 2, 3*x - 13 = -5*k. Let b be (-1 - -2)/(k/200). Suppose -b = -4*f - 0*f. Solve -3*w = 2*w - f for w.
5
Let i(o) = o**2 + 4*o + 8. Let v be i(-4). Solve -n - v = -11 for n.
3
Let i be (54/15)/(2/5). Let n be i/(-6)*28/(-6). Suppose n = 2*q + 1. Solve -q*h - 2 - 10 = 0 for h.
-4
Let r be (4 - -5)/((-3)/2). Let u = r + 6. Suppose u = -o - 0*o. Solve o*n - 10 = 2*n for n.
-5
Let k = 8 + -18. Let g = k - -11. Solve 0 = -0*d - d - g for d.
-1
Suppose -3*y = -0*y. Suppose y = -6*h + 2*h + 48. Solve 0 = -w - 2*w + h for w.
4
Suppose 3*j + 2*w = w + 10, -4*w = -4*j - 8. Solve -3 = -j*t + 5 for t.
4
Let r be (-1)/2 + (-171)/(-6). Let s = 214 + -122. Let p be s/r - 2/7. Solve 2 - p = x for x.
-1
Let w(v) = v**3 - 3*v**2 + 3*v. Let o be w(2). Suppose o*b = -0*b + 4. Let h = 0 + b. Solve -4*j + h = -2*j for j.
1
Let k(p) = p**2 + p - 7. Let r be k(3). Suppose 4*v - 27 = -r*f, -f = -5*v + 21 + 20. Solve 0*w - v = 4*w for w.
-2
Let d be 4/8 - 30/4. Let t = d + 10. Solve t = -z - 2 for z.
-5
Let u be 6/(-10)*8/12*-5. Solve u*b - 3 + 7 = 0 for b.
-2
Let j be 0/(-1*(-2 - 0)). Let v = 3 + j. Suppose 2*d - 5*d + 12 = 0. Solve v*h = h - d for h.
-2
Suppose 2*m = 3*o - 6*o + 60, -3*m - 40 = -2*o. Solve 6*r - r + o = 0 for r.
-4
Let d(v) = 4*v - 31. Let q be d(9). Solve 3*b + q = -4 for b.
-3
Let d be ((-10)/2)/(1 + -2). Let h = d + 2. Let g = h - 7. Solve -2*x + 0*x = g for x.
0
Suppose -2*m - 15 - 1 = 0. Let r = m + 9. Solve -j + 0 = r for j.
-1
Let s(n) = n**2 + 3*n + 2. Let q be s(-3). Let g be q/(-3) - (-80)/12. Let b be 14/4 - (-3)/g. Solve 3 = b*a - 5*a for a.
-3
Suppose 8*i = 7*i + 5. Solve 0 = i*h - h - 16 for h.
4
Let w = 11 + -11. Solve w = h - 2*h - 3 for h.
-3
Let m(r) = -3*r**3 + 2*r**2 - 1. Let g be m(1). Let b(c) = c**3 + 4*c**2 + 3*c + 3. Let i be b(g). Solve 12 = i*z - z for z.
3
Let u(m) = -m**2 + 4*m. Let c be u(0). Solve c*i + i - 1 = 0 for i.
1
Suppose 0 = -4*g + n + 12, -3*g + 5*n - 2*n + 9 = 0. Solve -5*r + 2 = -g*r for r.
1
Suppose 18 = 4*z + 2. Solve z*i + i = 5 for i.
1
Suppose -3*q + 0*q = 0. Solve -5*a = -q*a + 15 for a.
-3
Suppose -2*n + 0 = -4. Suppose -n + 8 = 3*f. Suppose -5*i + f*i = 0. Solve -2*p + p - 2 = i for p.
-2
Let z be 0 - ((-9)/(-1))/1. Let y be (z/4)/(-3)*4. Let o be 4/(-22) + 13/((-858)/(-408)). Solve -o*n + y*n = 12 for n.
-4
Suppose -2*t = -3 - 27. Let k = 31 - t. Solve k = -r - 3*r for r.
-4
Let s be 1*(-30)/(-2) - 3. Suppose 0 = 5*p + 2 - s. Let f be (-5)/((-10)/6) + p. Solve 3*n - 20 = -f for n.
5
Let f = -6 + 7. Suppose 9*q - 4*q - 5*r - 40 = 0, 2*q + 9 = -3*r. Solve q = -2*i + f for i.
-1
Suppose -z = -2 - 3. Suppose 5 - 3 = -2*h - k, -z*h = -5*k - 25. Let n be 12/2 + h + -1. Solve 5*i = -n - 9 for i.
-3
Let r be (-4)/(-3)*45/3. Suppose -2*w + g - 16 = -3*g, -r = -3*w - 5*g. Solve w = -3*n + 5*n + 8 for n.
-4
Let u be ((-2)/3*9)/2. Let s = 3 + u. Solve -2*t + s = 4 for t.
-2
Let l(v) = -11*v**3 + 24*v**2 - 8*v + 15. Let p(f) = 4*f**3 - 8*f**2 + 3*f - 5. Let q(j) = 3*l(j) + 8*p(j). Let z be q(8). Solve -z*h - 1 = -16 for h.
3
Let x(p) = 12*p**2 + p - 10*p**2 + 0*p - 2. Let v be x(-2). Solve 4 = v*s - 2*s for s.
2
Suppose 30 = x + 2*x. Let b(r) = r - 4. Let g be b(x). Solve 0 = -0*t - 3*t - g for t.
-2
Let i be ((-1)/2)/((-1)/(-18)). Let x be i/(-2) - (-3)/(-2). Suppose x*r - 54 - 3 = 0. Solve 7 = -3*m + r for m.
4
Suppose 0 = -5*i + 45 - 5. Let s be 6 + -5 + (-1)/1. Suppose 0*b - b = s. Solve -4*f = -b - i for f.
2
Let g(v) = -v**2 + 6*v - 2. Let b be g(5). Suppose y + b - 4 = 0. Solve 19 + y = 5*w for w.
4
Suppose 5*y + 0 = 10. Let w(x) = x**2 - 3*x + 3. Let c be w(y). Solve 2 - c = r for r.
1
Let d(q) = -q + 8. Let u be d(8). Solve u*a - 2 = -2*a for a.
1
Let s be 2/((-21)/(-10) - (-1 + 3)). Solve -6*q = -q - s for q.
4
Let v(b) = b**3 + 7*b**2 - 10*b - 11. Suppose 3*k + 12 = 0, 5*r + 0*k + 32 = 2*k. Let x be v(r). Solve -2*a + x = -7*a for a.
-1
Let m = -24 + 26. Solve -m*a + 3 = -a for a.
3
Suppose -5*d + 2*d - 6 = 0. Let y be (d/(-4))/((-1)/4). Let s = 0 - y. Solve s*c - 9 = -c for c.
3
Let a = -7 - -22. Let q be ((-12)/15)/((-1)/5). Let d be 25/10 + 2/q. Solve d*k + 2*k = a for k.
3
Let y(s) = -s - 4. Let u be y(-6). Suppose 4*t = -3*g - 17, -4*t + t = 15. Solve -g = -f - u for f.
-1
Let y be (14/49)/((-1)/(-7)). Let a be 44/16 + y/8. Solve -3*q - a = 6 for q.
-3
Let s = 39 - 19. Solve 0 = -2*j - 3*j - s for j.
-4
Let s be -3*-3*8/(-18). Let k = s + 10. Solve 2*g + 0 + k = 0 for g.
-3
Let a = 16 - 8. Suppose 0 = -14*l + 10*l + a. Solve -3*y + l = 11 for y.
-3
Let w(v) = v + 1. Let n = -5 - -6. Let p be w(n). Suppose -p*i = -3*c + 16 + 12, 3*i + 14 = c. Solve -4*y - c = 4 for y.
-3
Let q(f) = f - 4. Let c be q(7). Let z be 1/3 - (-70)/6. Solve b = -c*b - z for b.
-3
Let z = 8 - 6. Solve 2*s = -z*s + 12 for s.
3
Let g = -11 - -20. Let n be (-2)/9 - (-137)/g. Solve a = -2*a - n for a.
-5
Let q be ((-10)/(-6))/((-2)/6). Let m be (-3)/(-2)*(1 - q). Let a be 9/11 - 2/(-11). Solve -2*y + a = m for y.
-4
Let t = -7 - -10. Suppose 2*h - h + 4*r = 25, -t*r + 15 = 0. Solve h*s - 17 = -2 for s.
3
Suppose 0 = -5*o + 2*o + 21. Let r(c) = -c**3 + 6*c**2. Let q be r(6). Suppose -2*w = 2*f - 6, -5*f = -5 - q. Solve -3 = -w*b + o for b.
5
Let h(k) = k + 3 + 4 - 3 + 1. Let y be h(-7). Let o = y - -5. Solve 0 = o*i - 4*i + 4 for i.
4
Suppose 8*c + 15 = 3*c. Let s be -1*-9*(2 + c). Let v(i) = -i**3 - 9*i**2 + i + 11. Let k be v(s). Solve 3 = -3*o + k*o for o.
-3
Let o(g) = 3*g + 36. Let i be o(-11). Solve 4 = -i*j + j for j.
-2
Let p be 2/(-1 + (-7)/(-5)). Suppose -4*l = -5*y + 13, 0*l - 4 = -3*l + y. Let b(r) = r + 4. Let m be b(6). Solve p = -l*f - m for f.
-5
Suppose -14 = -5*d + 11. Suppose 3*z = 2*z. Solve z = -k + d - 2 for k.
3
Let t(o) = -o**2 + 11*o - 8. Let d be t(10). Suppose -4*a + 4 = 4*c - 16, -a = 5*c - 9. Suppose a*q + 9 - 25 = 0. Solve d*n + q = -0 for n.
-2
Let l(u) = u**2 + 5*u - 44. Let j be l(-10). Solve -4*d = 2 + j for d.
-2
Suppose -55 = 3*b + 11. Let o be (-3)/(-12) - b/8. Solve o*r - r - 10 = 0 for 