.
-1
Let r(m) = 6*m. Let f be r(1). Suppose -f*t = -5*t - 4. Solve 0 = -t*l + 2*l for l.
0
Suppose 2*u - 4*h = h + 25, -h - 5 = -5*u. Suppose 3*m = 2*o + 1, u*m - o = -3*m + 5. Suppose -12 = -l + 2*l - m*a, -2*a = -l - 7. Solve 12 = -0*i + l*i for i.
4
Let h(f) = 4*f**3 - 3*f**2 - f - 3. Let g be h(3). Let z = 53 - g. Let x = 22 + z. Solve x*d = -4*d - 8 for d.
-2
Let u = -3 - -17. Let x(q) = -q**3 + 13*q**2 + 17*q - 12. Let c be x(u). Let p be 6/(-45) - (-124)/c. Solve 25 = v + p*v for v.
5
Let n(a) = -a**2 + 3*a + 7. Let j be n(5). Let x(s) = -s - 19. Let f(z) = -3*z - 38. Let b(p) = j*f(p) + 7*x(p). Let v be b(11). Solve 6*l = v*l for l.
0
Let u be 1*(3 - 1 - -18). Suppose 4 - u = 4*y. Let f be ((-2)/(-5))/(y/(-20)). Solve 0 = -h - f*h + 9 for h.
3
Let x = -35 - -38. Solve a + x*a + 20 = 0 for a.
-5
Let f(a) = -a**2 - 16*a + 6. Let i be (-222)/14 + 3/(-21). Let w be f(i). Solve 2*j - 4 = w for j.
5
Suppose -74 + 29 = -5*v. Let q be (-14)/8 + 9/(-36). Let d(b) = b**3 + 3*b**2 - 2. Let u be d(q). Solve u*i - v = -i for i.
3
Let m be (1/3)/((-4)/(-32 - -8)). Solve m*j = 3 - 1 for j.
1
Suppose 35*u - 254 = -9. Solve -x - 7 = -u for x.
0
Suppose 3*g + x + 31 = 0, g - 4*x + 6*x = -12. Let z(f) = f**2 + 8 + 9*f - 9 - 4 - 2. Let t be z(g). Solve 2*u - 5 = -t*u for u.
1
Let x be 24/108 - 4/18. Solve x = 3*p - 8 + 5 for p.
1
Let s = 615 - 588. Solve 0 = 9*h + s for h.
-3
Let l be (-532)/(-36) - 6/(-27). Suppose 3*y + 1 = -d - 6, 0 = -5*y - l. Let k be (6 - d) + 3 - 2. Solve 3*w - k = 1 for w.
2
Suppose -40*v = -41*v + 2. Solve v*g - 6 = 4 for g.
5
Suppose -4*q - 12 = -q. Let x be (-6)/(q - 10/(-5)). Solve x*b = 6*b + 6 for b.
-2
Let c be (-44)/(-55) + 4/(-5) + 2. Solve -6 + 12 = -c*j for j.
-3
Suppose 2*h - 1 - 3 = 0. Suppose 0 = 5*m + o + h - 5, -2*o - 9 = -5*m. Let n be (2 + m)*(-3)/(-9). Solve 5*c - 4 = n for c.
1
Let n be (4/16*0)/(-1). Suppose g - 2 + n = 0. Solve 2*v = 4*v - g for v.
1
Let d = -27 - -22. Let k = -5 - d. Solve k = 6*n - n - 10 for n.
2
Let c(w) = -3*w**2 - 2*w + 2. Let o be c(-2). Let a(z) = -7*z - 36. Let b be a(o). Solve -21 = -3*j - b for j.
5
Suppose 14*w - 15*w = 7. Let f(d) = -4*d - 8. Let b be f(w). Solve 5*y = b + 5 for y.
5
Suppose 3*y = 2*s + 32, 80 = -4*s - s + 3*y. Let g = s + 17. Let v be 26/13 - (3 - g). Solve 3*w - 15 + 6 = v for w.
3
Suppose 4*t = -5*y + 29, 3*y + 4*t - 18 = t. Solve 4*z = y*z - 5 for z.
5
Let b(d) = 2*d**2 - 2*d - 216. Let v be b(11). Solve -9*n + v = -7*n for n.
2
Let p(w) = 2*w**3 - 4*w**2 - 5*w + 11. Let f be p(3). Solve f - 44 = 6*g for g.
-5
Let i be -4*10/60*(-9)/2. Solve 2*r - r + i*r = 0 for r.
0
Let p(q) = -2*q - 2. Let h be p(-2). Let m be h + -4 + (0 - -1). Let g be m/(-4 - -5) + 7. Solve -5*d = -2*d - g for d.
2
Let k be (-11 - -10)/(1/17). Let q = 21 + k. Solve 3*m = q*m for m.
0
Let x = -7 + 3. Let t be 0*2/x*1. Suppose -6*g - 2 + 14 = 0. Solve g*u + t*u = 8 for u.
4
Let z = -4 + 6. Let g(n) = 3*n - 54. Let j be g(18). Suppose j = 4*q - 3*q - 5. Solve 0 = q*r - z*r - 3 for r.
1
Let v = 505 + -500. Solve 0 = -v*q - 16 + 31 for q.
3
Suppose 26 = 4*z - 4*m - 6, 0 = -3*z - 4*m - 4. Suppose 13*p = 58*p - 2700. Suppose z*u - p = -0*u. Solve -v = 4*v + u for v.
-3
Let x = -225 + 235. Solve -x - 3 = -13*z for z.
1
Let y(c) = c + 25. Let f be y(-22). Let i be (20/(-30) + (-2)/(-12))*-4. Solve i*s = -s + f for s.
1
Suppose -4*j = 8, -4*j - 43 - 5 = -5*d. Solve -d*a = -2*a + 18 for a.
-3
Let p(w) = 7*w**3 + 15 - 13*w**3 + 5*w**3 + 9 - 3*w. Let o be p(0). Suppose -3*g + 0 + o = 0. Solve 0 = -m + 5*m + g for m.
-2
Suppose -7*m - 13*m = 0. Solve 6*o = -m*o for o.
0
Let q = 16 + -47. Let g = q + 31. Solve 0 = -2*u + 4 - g for u.
2
Let o(m) = -2*m**3 - 3*m**2 - 13*m - 22. Let f be o(-2). Solve -f = -u - 12 for u.
-4
Suppose -3*l = -359 + 143. Suppose -8*x - l = -6*x. Let f = -30 - x. Solve -f = m + m for m.
-3
Suppose -105*j = -102*j - 6. Solve j = 2*h - 2 for h.
2
Suppose 0*i - 13 = -i + 3*r, 4*i - 72 = 2*r. Let w = -16 + i. Let z be (-48)/(-27) + 4/18. Solve -5*g - w = z for g.
-1
Suppose 5*h - 2*u = 13, 0 = -7*h + 3*h - 2*u - 4. Solve 4*o + h + 11 = 0 for o.
-3
Suppose -4*v + 15 = -185. Let q = v + -46. Solve -q + 0 = -o for o.
4
Let r(o) = o**2 - 3*o - 2. Let g be r(-2). Let l(h) = 5*h - 14. Let v(q) = 9*q - 26. Let p(b) = -7*l(b) + 4*v(b). Let z be p(g). Solve z*s - 9 = -1 for s.
4
Let y(j) = j + 22. Let r be y(11). Let b = r + -20. Let l(p) = -p + 19. Let o be l(b). Solve 0 = -t - t + o for t.
3
Let b = -27 - -29. Suppose 2*j + j - 4*u + 6 = 0, b*j = -2*u + 10. Solve -j*i - 2*i = -20 for i.
5
Let j be (-21)/(-2)*30/35. Solve -24 + 6 = -j*s for s.
2
Suppose -3*f - 2*q + 0 = -15, 0 = f + 4*q - 5. Let v(b) = -3*b + 21. Let a be v(f). Solve -7*j + 4*j = -a for j.
2
Let t = 128 - 126. Solve t = -6*f - 16 for f.
-3
Suppose 13*l + 35 = 18*l. Suppose -l*d + 10 = -2*d. Solve -a + 3 = -d for a.
5
Let o(v) = v**2 + 4*v + 4. Let f be o(-6). Solve 18*r = f*r - 6 for r.
-3
Let w(s) = 2*s + 52. Let o be w(-24). Suppose 0 = 2*v + v - 9. Solve -v*z = -z - o for z.
2
Let y = 48 + -31. Suppose y = 9*p - 1. Solve -2*t + 2 = -p for t.
2
Suppose -5*w - 4*n + 98 = 0, -6*w - 2*n = -w - 104. Suppose -21*j = -19*j - w. Solve -14 - j = -5*q for q.
5
Let h = -145 + 106. Let s = -28 - h. Solve s = 3*y - 4 for y.
5
Let f be 14 - (9 + (12 - 11)). Solve f = -7*i - 3 for i.
-1
Let h = 1 + 0. Suppose h = -3*a - 11, -5*m - 4*a = 11. Solve -x + m + 4 = 0 for x.
5
Let h be (-12)/(-15) - ((-160)/25)/(-8). Solve h = -t + 2*t - 4*t for t.
0
Suppose -5*o + 2*j + 26 = 0, 4*o + 3*j = 2*j + 13. Suppose 2*b = -r + 11, 0 = 3*b - o*r + 11. Solve b*l = -4 - 5 for l.
-3
Let v be (-75)/50*4/(-6). Let i(f) = -f**2 + 8*f + 1. Let r be i(8). Solve w - r = v for w.
2
Let g(q) = q**3 - 5*q**2 + q + 28. Let y be g(7). Let f = y - 126. Solve -4*u - 13 - f = 0 for u.
-5
Let j be (1 - 2)/((-8)/88). Let y(o) = o**3 - 9*o**2 + 8*o + 1. Let r be y(8). Let u be (-9)/(-18)*(j - r). Solve -u*s - 2 = -4*s for s.
-2
Let y(g) = 15*g**3 - 5*g**2 + 2*g + 2. Let f be y(1). Solve -13*j + f*j = 3 for j.
3
Let r = 0 - 0. Suppose 0 = 3*z - z, -3*g = -z - 6. Solve r = -u + 2 + g for u.
4
Let b(d) = d**2 + 2*d - 1. Suppose 3 = -8*n + 11. Let c be b(n). Solve c*r - r = 3 for r.
3
Let n be 0 + -1 + (-1 - 102). Let c = n + 104. Solve c = 7*s - 4*s + 12 for s.
-4
Let j(s) = -s + 7. Suppose -4*n + 0*n = -12. Let f be j(n). Suppose 20 = f*b, -b = 3*w - w - 17. Solve 2*h = 2 + w for h.
4
Let t be 14 - 7/(7/(-2)). Let k = -7 + t. Suppose 0 = -3*c + m + 18, -3*c = -k*m + 4*m - 30. Solve -c = 5*h + 10 for h.
-3
Let x be 43/5 + (-2)/(-5). Let u be 7 - 4/(-28)*-14. Solve u*i + 4 = x for i.
1
Let c = -80 + 99. Let j(d) = 9*d**2 + 18*d + 23 + 2*d**3 - 3*d**3 + 9*d**2. Let z be j(c). Solve -z*i = i for i.
0
Suppose 4*z + 0*z - 75 = -5*l, 54 = 4*z - 2*l. Suppose z*n = n. Solve n*p = p for p.
0
Let q(x) = -x**2 - 14*x - 16. Let o be q(-8). Suppose 12 = -b + o. Solve 0 = -0*t + 5*t - b for t.
4
Let f be (-9)/(-2) + ((-18)/3)/12. Solve 5 = h + f*h for h.
1
Let a be (1 - 0) + (-1)/1. Suppose 0 = -11*y - a*y + 2*y. Solve y = -2*b - 3*b + 10 for b.
2
Let x be -3 + 3 - 5 - -2. Let a be ((-18)/x)/6*0. Solve -4*i + 3*i = a for i.
0
Let z = -4 + 8. Suppose -j - r = -6*r - 8, -24 = -3*j - 3*r. Suppose 0 = 5*c - 5*d - 65, c + 0*d - j = -z*d. Solve -3*m + c = -3 for m.
5
Suppose -7*t = -2 - 19. Let c be 4 - (8 - 4 - t). Solve -2 + c = -s for s.
-1
Let b(h) = 5*h - 2. Suppose -2*i - 10 = 2*c + i, 2*i = 5*c - 13. Let o be b(c). Solve -5 - 7 = o*r for r.
-4
Suppose a + 2*m = 4, 5*m - 24 = 5*a - 59. Solve -248 = a*i - 218 for i.
-5
Let t(f) = -f**3 + 22*f**2 - 40*f + 8. Let v be t(20). Solve 0 = 4*j - 12 - v for j.
5
Let d(q) = q - 5. Let g be d(5). Suppose g = 5*c - 4*c. Solve c = -2*x - 2 - 4 for x.
-3
Suppose 0*v - 70 = 5*v. Let f be (-8)/(-14) - 104/v. Solve 0 = j + f - 3 for j.
-5
Let l(j) = -2*j**2 + 4*j + 1. Let h be l(2). Let g be (-10)/(-2) - (-3 + h). Suppose -g*k = -5 - 2. Solve 3*p + k = 4 for p.
1
Let m be (5/5)/(-1 + 2). Let j be 3 + (5 + -1)*m. Solve -j = -4*t + 1 for t.
2
Let n(j) = 0*j + 0*j + 0*j - j. Let b be n(-3). Suppose -c = -9*c + 16. Solve c*s = -b*s for s.
0
Suppose -4*x = -147 - 13. Solve 0 = -7*h + 17*h + x for h.
-4
Let k = -15 + 21. Let s(d) = d**3 + 11*d**2 + 28*d