l.
2
Suppose 0 = 3*i + 5*m, 4*i = 8*m - 3*m + 35. Solve 10*s - 10 = i*s for s.
2
Suppose -3 = -p, -3*y + 6*y + 3*p - 21 = 0. Let m = y - 2. Solve -15 = m*c + c for c.
-5
Suppose 4*h - 2 - 6 = 0. Solve -5 = -7*v + h*v for v.
1
Suppose 0 = 4*g - 0 - 8. Let h = -28 + 30. Solve j = h*j + g for j.
-2
Suppose 2*x = -9*n + 4*n + 11, 4*x + 11 = n. Solve n*j + 10 = 5*j for j.
5
Let s(a) be the first derivative of 2*a**3/3 + a**2/2 - a + 1. Suppose -2*b - 2 = 2. Let n be s(b). Solve 0 = -3*f - 2*f + n for f.
1
Let x be 303/12 + 1/(-4). Suppose 4*b - x = -b. Solve -20 = -b*h + h for h.
5
Let p(b) = -b**3 - 6*b**2 - 5*b + 6. Let y be p(-5). Suppose 15 = -x + y*x. Suppose -1 - 2 = -x*v. Solve 2 = -h - v for h.
-3
Suppose -6 = 3*s + 6. Let p(f) = -4*f + 0*f - 5 + 2*f. Let o be p(s). Solve o*j = 3 + 3 for j.
2
Let q(z) = -7*z**3 - 2*z**2 + 2*z - 3. Let w be q(2). Suppose 3*k + 8 + 4 = 0. Let x be w/k - (-3)/12. Solve o + 3*o + x = 0 for o.
-4
Let c(a) = a + 5. Suppose -k + 7 = 10. Let n be c(k). Solve 1 + 5 = n*i for i.
3
Suppose -2*d - 8 = -6*d. Let x(o) = o + 7. Let g be x(-5). Suppose -4*s + 6 = -g*s. Solve d*y = s*y + 3 for y.
-3
Let b(i) = -5 + i + 4 - 2*i. Let a be b(-5). Suppose -5*y - s + 16 = 6, -5 = s. Solve -a*q = -q + y for q.
-1
Let r = -33 + 89. Let z = -31 + r. Solve -z = b - 6*b for b.
5
Suppose 2*j = o - 20, -41 = 4*j + j + 2*o. Let m be (0/j)/(3 - 1). Solve p + m*p + 2 = 0 for p.
-2
Let m be 3/(-15) - (-41)/5. Solve m*y + 5 = 3*y for y.
-1
Let a(d) = d**3 - 4*d**2 - 2*d + 8. Let z be a(4). Solve 4*h + 0*h + 12 = z for h.
-3
Let m be (-2)/3*(-90)/20. Solve -3 = -0*a - m*a for a.
1
Let m = -16 - -20. Solve 22 - 6 = -m*b for b.
-4
Let l = 36 - 29. Let r be 1/2 + (-5)/(-10). Solve -l = 4*i + r for i.
-2
Let c(q) = q - 2. Let l be c(-5). Let z = 2 - l. Suppose -5*s + z = -1. Solve -4*p = -s*p - 8 for p.
4
Suppose q - 4 = -q. Solve -q*u + 20 = 3*u for u.
4
Let x be ((-3)/(-6) - -1)/((-9)/(-24)). Solve x = -r + 2 for r.
-2
Let k(r) = -3*r + 5. Let g be k(0). Solve g*p - 7*p = 0 for p.
0
Let p = -4 - -6. Suppose 0 = -b + 5*o + 8, -p*o - o = 6. Let j(h) = -2*h**3 - 2*h**2 - 1. Let d be j(b). Solve -5 = -3*x + d for x.
4
Suppose 3*q - 4*q + 21 = 3*b, -b - 89 = -5*q. Suppose -3*w - 21 = -5*m, -4*m + w = -2*w - q. Solve 3 = m*a - 0 for a.
1
Suppose -8*m + 100 = -3*m. Solve 3*w - m = -w for w.
5
Let a be 1 - 0/(0 - -1). Suppose c + 2*z = a + 6, -4 = -z. Let x be (c/(-3))/(1/6). Solve t - 12 = -x*t for t.
4
Suppose -2*g = 4*h - 34, 4*g + 0*g - 52 = -4*h. Solve -1 = -2*b + g for b.
5
Let r = 2 - -4. Suppose r*i - i - 15 = 0. Solve 15 = i*l - 6*l for l.
-5
Let z(m) = 3*m + 24. Let x be z(-8). Solve x = -2*j + 11 - 3 for j.
4
Let i = -10 - -14. Let q = i + -2. Let m = -3 - -3. Solve -3*k - 14 + q = m for k.
-4
Let v(a) = 2*a - 7. Let l be v(5). Let y(t) = -10*t. Let i be y(-1). Suppose -i = -5*d - 0. Solve -l*f = -8 + d for f.
2
Let r be 70/(-20)*24/(-14). Suppose 3 + 3 = 3*o - 4*l, r = 3*o + l. Solve -13 = -3*f + o for f.
5
Suppose -2*a = 3*a. Suppose 4*v - 4*w - 48 = a, -5*v - 3*w = -71 + 11. Let k(f) = -f. Let g be k(-2). Solve 0 = -s - g*s + v for s.
4
Let y = -69 + 122. Suppose -j = -0*j + 5*f + y, -j - 8 = -4*f. Let i be 3/2*j/(-3). Solve -11 = 5*a + i for a.
-5
Let l be 15/(0/(-2) - -1). Solve 10 + l = -5*j for j.
-5
Let k = -13 - -7. Let t = k + 11. Solve t*y - 12 = 2*y for y.
4
Suppose 4*j = -2*w - 34, -4*j - 5*w = 21 + 10. Let l = 12 + j. Solve l*g - 10 = 2 for g.
4
Let r = -21 - -37. Solve 4*d + 4 - r = 0 for d.
3
Let g be (-76)/(-10) - 6/(-15). Let b = -3 + g. Suppose -5*q - 20 = 2*c, c + 3*c + 2*q + 8 = 0. Solve c*h = -b*h - 25 for h.
-5
Let v be 2 + (0 - -10)/(-2). Let w be v*((-4)/(-2) + -3). Solve -w = -s - 8 for s.
-5
Let b be -3*2/(2*-1). Let d = -3 + b. Suppose d*c = 5*c. Solve -2 = -2*u - c for u.
1
Suppose -3*f + 5 = -l, l + l + 5*f = 34. Let i = 6 + 2. Solve -3*c - l = i for c.
-5
Suppose -12 = -2*s + 2*r, 5*s - s - 22 = 3*r. Solve 0*d - s*d = -8 for d.
2
Let g(z) = -z + 3. Let d be g(3). Suppose -5*x = 5*k - 30, 0 = -3*k - d*x + x + 38. Suppose 0 = 3*v - w - k, -3 = 3*w + 3. Solve -8 + 23 = -v*h for h.
-5
Suppose 2*s - 8*s + 30 = 0. Solve 0 = s*c - 0*c for c.
0
Let u(a) = -a**2 - 3*a + 5. Let n be u(5). Let m = 55 + n. Solve -t = 4*t - m for t.
4
Suppose -1 = v - 4. Solve v*t + 2 = -4 for t.
-2
Suppose -3*x + x = 52. Let q = x - -36. Let p be (-2)/(-1) - (-3 + 1). Solve -p*v = v + q for v.
-2
Let l = 44 + -44. Solve -2*m + 3 - 7 = l for m.
-2
Let l(a) = -a**2 - 7*a - 8. Let j be l(-6). Let z = j + -1. Let x be ((-12)/z)/(1/4). Solve -2*b - x = 2*b for b.
-4
Let y = 20 + -15. Solve g - 6*g = -y for g.
1
Suppose 30*k - 28*k = 0. Solve -2*t - t - 6 = k for t.
-2
Let l be (-2)/12 + (-190)/(-60). Solve n = l*n for n.
0
Let o(g) = 4*g**3 - 2*g**2 + 1. Let i be o(1). Solve i*b + 2 = 8 for b.
2
Let p(o) = o + 12. Let k be p(-7). Let d(c) = -c - 2. Let r be d(-6). Suppose 2*l = r*l. Solve l*z + k*z + 20 = 0 for z.
-4
Let c(i) = -2*i**2 + 8*i + 2. Let x be c(4). Solve 0 = -v + 3 - x for v.
1
Suppose 4*x = 17 - 5. Solve q + x*q = -8 for q.
-2
Let r be -3*1/6*2*0. Solve 8*m - 3*m = r for m.
0
Let h(q) = -q**3 + 4*q + 3. Let f be h(-2). Let r(b) = 3*b - 8. Let n be r(6). Suppose f*m = 2 + n. Solve -6 - m = -5*i for i.
2
Suppose -4*h + 8 = 3*n + n, 0 = 3*n + 5*h - 10. Suppose 5 = -3*o + 17. Suppose -o*j - 4*a = -28, -3*a = 4*j - 4*a - 23. Solve -3*d + j + 0 = n for d.
2
Let t = -19 - -19. Solve t*u + u = -5 for u.
-5
Suppose 2 = 4*h - 14. Solve -6*m = -h*m - 2 for m.
1
Let d(i) = 3*i + 4. Let c(j) = -j + 3. Let q(v) = v - 4. Let n(x) = 5*c(x) + 4*q(x). Let k(f) = 6*d(f) + 17*n(f). Let l be k(-4). Solve -5 = -l*a - 2 for a.
1
Let h be 5 + (0/(-2) - 2). Suppose 3*b - 5*g = -0*b + 75, h*b - 57 = -g. Solve 0 = 2*q - 6*q - b for q.
-5
Let m be (4*-1)/((-1)/2). Let n = -7 + 7. Solve 2*p + n = -m for p.
-4
Suppose 4*w = -5*s + 70, -5*s + 3*w - 2 + 37 = 0. Let u = 7 - s. Let z be 2*(u/6)/(-1). Solve -y = -4 - z for y.
5
Let s(i) = -8*i**2 - 3*i - 1. Let b be s(-2). Let x = -13 - b. Solve -4*a = x + 2 for a.
-4
Let z = 29 - 23. Solve -5*k - 1 = -z for k.
1
Let b be (-3 + 2)/(2/(-8)). Suppose 35 + 13 = 8*a. Solve b*w + 10 = -a for w.
-4
Let r be -3 - (-2 + 2 - 3). Let i be (1 + -1)/(r + 1). Let y be ((-4)/(-2))/((-2)/(-10)). Solve i - y = -5*v for v.
2
Let m = -6 + 9. Let b be 25 - ((0 - 3) + m). Suppose 3*r - b = -2*r. Solve -d - 8 = -r*d for d.
2
Let l be -2 + 19/4 - (-12)/48. Solve l*z - 5*z = 10 for z.
-5
Let j = -34 - -47. Suppose -2*m + 10 = -3*u, -3*m + u + 2 = -j. Solve 0*i = m*i + 25 for i.
-5
Let s = -87 + 90. Solve -s*b - 8 = -7*b for b.
2
Let i = 3 + 2. Solve 10*h = i*h + 15 for h.
3
Suppose 3*d + 15 = 5*l, 4*d = 5*l - 17 + 2. Solve -4*z + 2 + 2 = d for z.
1
Let n = 7 - 5. Suppose 3*h + n = -4, -3*h = -u + 8. Solve u*m - 12 + 2 = 0 for m.
5
Suppose 5*s - 17 = 18. Let f be (-6)/(-21) + 19/s. Suppose 4*p - 2*a = 28, -2*p - 4 = -3*p + 2*a. Solve -f*k - p = 4 for k.
-4
Let v(k) = -3*k + 1. Let q be v(5). Let y be ((-36)/21)/(4/q). Solve y*n + 16 = 2*n for n.
-4
Let d(i) = -7*i**2 - 2*i + 3. Let r(v) = -v**3 + v**2 - v. Let g(n) = -d(n) + r(n). Let a be g(8). Solve 8 = -a*u + u for u.
-2
Suppose 3*n = 5*n + 4. Let i be -1 + (-1 - n)*9. Solve -5*x + 3*x = i for x.
-4
Let n be 2*(-1 - 0)/1. Let u be n*(3 + (-22)/4). Suppose 0 = j + u*a + 17, -4*a - 20 = -4*j + 8. Solve -j*w = 13 - 4 for w.
-3
Suppose 3*z + z - 8 = 0. Let n be 12 - (-3)/(0 + -1). Solve z*l = -l - n for l.
-3
Suppose -4*h + 0*h = 12. Let m be 1 - (h/3 - 2). Solve -m*r + 14 = 2 for r.
3
Let k(o) = o**2 - o - 2. Let d be k(3). Suppose 0 = 5*b - 4*n - n, 0 = -5*b + 2*n + 6. Let i = d - b. Solve i = 2*l - 6 for l.
4
Let c = -11 + 14. Solve -2*p = -c*p + 4 for p.
4
Suppose 0*o = -4*o. Let r(n) = -n**3 + 5*n**2 + n - 2. Let c be r(5). Suppose o = -5*a + 2*d + 29, c*a - 3*d - 12 = 9. Solve -11 = 4*w + a for w.
-4
Suppose 34 = 5*x - 2*m, -4*x - 21 + 59 = 2*m. Solve -12 = -4*t + x for t.
5
Let f = 33 - 32. Solve 0 = -j + f + 4 for j.
5
Suppose -6*i - i - 5*i = 0. Solve i = 2*r - 7*r + 15 for r.
3
Let q(n) = -n**2 - 21*n - 16. Let o be q(-20). Solve -3*z + o*z = -4 for z.
-4
Let v(o) = o. Let z be v(3). Suppose -z*f = f + 3*k + 3, 5*f + 2 = -2*k. Solve f = -4*m - 18 + 6 for m.
-3
Let o(t) = t*