 + 14 = 2*b. Suppose 2*v - 6 = -l, 3*l + b*v - v = 18. Solve l*n - 16 = 2*n for n.
4
Let y be 4 - (1*-4)/(-19 + 20). Solve 8*l + 0*l - y = 0 for l.
1
Let b be (2 + 1)/1*(-8)/(-12). Suppose -b*a + 10*a = 0. Solve a*d = d for d.
0
Suppose -4*r + y - 38 = -5*r, 4*y = -3*r + 119. Let t(q) = q**3 - 6*q**2 + 6*q - 6. Let w be t(6). Let l = r - w. Solve 6*c - 15 = l*c for c.
5
Let w be -2 + (-12)/(-4) - -45. Suppose 3*m = w - 7. Solve -m = 3*y - 4 for y.
-3
Suppose 4*d - d - 25 = -2*y, 2*d - 3*y = 34. Solve -d*l - 20 = 35 for l.
-5
Let l(f) = 2*f + 5. Let z be l(2). Suppose 3*b = z + 6. Solve j + 4*j + b = 0 for j.
-1
Let l = -44 - -20. Let r = 24 + l. Suppose -3*c - c = r. Solve -5*v = -c*v for v.
0
Let i(x) = 6*x - 35. Let n be i(9). Solve 3*c + 4 = n for c.
5
Suppose 15 = 5*h - 5*c, 0 = 4*h + 3*c - 28 + 2. Solve 0*d = h*d + 25 for d.
-5
Suppose 0*u - u = 0. Suppose k = 5*r - 2*r, -2*k - 2*r = u. Suppose k*q + q = 4. Solve -q*m = -2*m - 4 for m.
2
Let u(v) = -19*v - 10 + v**2 + 31*v - 21*v. Let t be u(10). Solve -3 = -t*i - 3*i for i.
1
Suppose 0 = 5*n + 3*w - 43, -2*n + 0*w = -w - 26. Let u = n - 7. Solve g + 20 = -u*g for g.
-4
Let r = 1843 - 1837. Solve -4*w = -r - 10 for w.
4
Suppose -131*d + 121*d + 20 = 0. Solve -3*q - d*q = 20 for q.
-4
Suppose 3*k = 4*k. Let s be 279/465 + 24/10. Solve k = -s*w - w for w.
0
Suppose -107*x = -103*x - 36. Solve 6 + x = 3*n for n.
5
Let a = -99 - -141. Suppose 0 = -3*h - 3*o - o + 48, 4*h - 2*o = a. Solve 5*p + h = 2*p for p.
-4
Suppose -21*r = -18*r. Suppose n + 5*j - 23 = r, 4*j - 25 = -n - 2*n. Solve n*o + 19 = 4 for o.
-5
Let a(p) = p**2 - 18*p + 7. Let b be a(18). Solve -5*o + 2 = b for o.
-1
Let l = -2854 + 2879. Solve -18*w + l*w = -7 for w.
-1
Suppose -2*s + 3*s = 3*s. Suppose h = -3*o + 12, 4*o - 64 + 4 = -5*h. Solve 4*r + 0*r - h = s for r.
3
Let x(f) = -f**2 + f - 18. Let t be x(-7). Let v = 76 + t. Solve v*m = -5 - 1 for m.
-3
Let i(f) = -f**2 + 13*f - 8. Let p be i(12). Let c be 76/(-19)*(-3)/p. Solve 6*j + 12 = c*j for j.
-4
Let o be (-56)/(-21) + (16/(-6) - -2). Let h(m) = -3*m**2 + 4*m. Let t(n) = 2*n**2 - 3*n. Let z(l) = -3*h(l) - 4*t(l). Let s be z(o). Solve s = -p + 1 for p.
-3
Let z(n) = -32*n. Let h be z(0). Solve h = 2*j + 42 - 50 for j.
4
Suppose -5*d - 41 = -161. Solve 4*a - 10*a + d = 0 for a.
4
Suppose -9 + 59 = 25*s. Solve -5*i = 22 - s for i.
-4
Let k be -38 + 35 + (7 - -2). Let z = -16 - -26. Solve s + z = k*s for s.
2
Suppose 65 + 75 = 10*s. Solve -20 = -3*t - s for t.
2
Suppose 9*z - 177 = -60. Let k = -8 - -11. Suppose 4*v = -a + 74, -z = 5*a - k. Solve -4*l - 7 = -v for l.
3
Let i(h) = -h**2 - 2*h + 20. Let v be i(0). Suppose -4*u + 8*u = v. Solve -u*a + 5 = -0 for a.
1
Let x(l) = -l**2 + 6*l - 3. Let r = -3 - -8. Let p be x(r). Suppose a = -p*a. Solve 2*y = -a*y for y.
0
Let l(x) = -2*x**2 + 16*x - 23. Let m be l(6). Solve 11*i + 1 = m for i.
0
Let p = 78 - 70. Let y be (p/7)/((-11)/((-462)/12)). Solve -11 = y*o + 1 for o.
-3
Suppose 159 - 45 = 6*c. Solve -33 = -13*s + c for s.
4
Let k(u) = -u**3 - 2*u**2 - u. Let n be k(-2). Let w(z) = z. Let c be w(2). Let s be c + -1 + (-13 - -29). Solve n = 5*m + s for m.
-3
Let c(q) = -q + 2. Suppose 14 = -2*p - 2. Let o be 10 + p - (-1 - -11). Let t be c(o). Solve -l = l + t for l.
-5
Let y be 18/12 + -5 + (-81)/(-6). Solve -y*f - 15 = -13*f for f.
5
Let b = 47 + -39. Solve b*x = 6*x for x.
0
Let n = 52 + -32. Suppose -2*m + n = 8. Solve 0 = -m*b + 3*b - 6 for b.
-2
Let d be (0 - 2)*(7 - (-64)/(-8)). Suppose -f - 3*f = 0. Let s be -1 + ((-2)/(-2) - f). Solve d*b - b + 2 = s for b.
-2
Let i = -17 - -16. Let x be -2 - i - (6 + -7). Solve 0 = -g - x*g for g.
0
Let f be (-308)/66*((-9)/(-6))/(-1). Solve 44 = f*u + 9 for u.
5
Let f be ((-45)/12)/5*(-364)/39. Solve -13 = 5*y + f for y.
-4
Suppose 19 = 2*t + 3. Let x = 11 - t. Let h be 2*(x - 1) + -2. Solve h*r = r for r.
0
Suppose 105*t - 30 = 99*t. Solve -t*k + 2 = -23 for k.
5
Suppose 43 + 157 = 25*l. Solve l*u + 0 = 8 for u.
1
Suppose 0 = -3*l - 12, -2*d + 4*l - 8 = -4*d. Suppose -5*y + d*y = 21. Solve y*k = 7*k + 16 for k.
-4
Let o(a) = -a + 11. Let c be o(11). Let g be (c - 0)*(-14)/28. Suppose -19*d - 10 = -21*d. Solve -d*n + 15 = -g*n for n.
3
Let i(x) = -23*x**3 - 2*x**2 + x. Let z be i(1). Let g = z + 26. Solve 0 = 6*t - g*t for t.
0
Let r(j) = 2*j**2 - 6*j**2 - 3 - 2*j**3 + j + 10*j**2. Let f be r(3). Solve a + a = f for a.
0
Suppose 0 = -2*a + 5*t + 20, -3*a + 1 - 5 = t. Suppose k + 3*h = -1 - 0, 2*h + 4 = a. Suppose -22 - 14 = -5*n + 2*x, -5*n + k*x = -45. Solve -n = s + s for s.
-3
Let l = -1687 + 1690. Solve 5*b - l*b - 10 = 0 for b.
5
Let j be 12 + 16/(-40)*30. Let v be (1 - 1)/(-2) - -8. Solve -5*x + x - v = j for x.
-2
Let k = -15 + 20. Suppose -21 = -k*n + 9. Suppose 2*o = b + 5, 15 = 3*o - 2*b + 5. Solve o = 2*l - n*l - 20 for l.
-5
Let o be -7 + 13 + -7 - -11. Solve 0 = o*z - 11*z for z.
0
Suppose -33*w - 99*w = -1584. Solve -72*n - w = -75*n for n.
4
Suppose 8 = -o - 2. Let t = o - -15. Let u be (t + -5)/(1 - 2). Solve u = -i + 2 + 2 for i.
4
Let v be 0/(-4 + 1)*1. Suppose v = -7*i + 4*i + 6. Solve -i*h = -h for h.
0
Let d(m) = -m**3 + 8*m**2 + 10*m - 4. Let v be d(9). Let k = v + -3. Solve -k*y + 2 = -0*y for y.
1
Let i(w) = w - 5 + 2 - 4. Let x be i(9). Let o(c) = c**3 + 4*c**2 - 5*c. Let k be o(-5). Solve k = -x*u + 7*u for u.
0
Let t(y) = -y**3 - 18*y**2 - 16*y + 6. Let l be t(-17). Let k = l - -15. Solve 7 = -k*s - 5 for s.
-3
Let c(t) = -t**2 - 6*t + 16. Let i be (9/3 - 6)*2. Let k be c(i). Suppose -5*z + 0 = 4*h + 1, -4*h + 19 = z. Solve 0 = 5*o + k - h for o.
-2
Suppose -259*h + 40 = -254*h. Solve 6*i = 2*i + h for i.
2
Let g(s) = s**2 + 4*s - 4. Let c be g(-5). Suppose 6*v = 13 - c. Let b = 8 - 6. Solve -m = -b*m + v for m.
2
Let q(n) = -4*n**3 + 2*n + 2. Let h be q(-2). Suppose 3*k - 6 = 0, -3*k - 32 = 4*z + h. Let j = -7 - z. Solve 0 = 2*x + 3*x - j for x.
2
Let r be 8*1 + (-4 - (-8 + 5)). Let d = r + -3. Solve -1 = x + d for x.
-5
Let l = -45 + 48. Solve -b - l = 2*b for b.
-1
Let v(f) = -3*f. Let t be v(-2). Let g(b) = -b + 7. Let a be g(t). Solve 0 = s - a for s.
1
Let x be ((-8)/(-14))/((-152)/(-532)). Solve -36 = -14*s + x*s for s.
3
Let a be (-2)/(-2) + 1*15. Let s = a + -16. Solve v = -s*v + 4 for v.
4
Let w(t) = 0*t + 0*t - t - 4*t - 20. Let n be w(-6). Solve -5 - n = -3*x for x.
5
Let w(k) = -4*k + 4. Let t be w(0). Suppose -3*h = t*h. Solve v - 3*v = h for v.
0
Suppose 4*s = -h + 14, 5*h - 5*s = -17 + 137. Let i be (99/h)/((-2)/(4/(-1))). Solve -i = 3*k - 6*k for k.
3
Suppose -4*y + 15 = d, -3*y = 2*d - y - 24. Let m be (d/(-4))/(3/(-12)). Let h = m + -8. Solve 9 = 3*o + h for o.
2
Let s(w) = w**3 + 9*w**2 + 7*w - 14. Let x be s(-8). Let n(z) = z**2 + 4*z + 8. Let a be n(x). Solve 3*q + a = -2*q for q.
-4
Suppose -2*y + 3*y - 7 = -5*r, -3*r - 5*y = -13. Solve -5*o = r + 24 for o.
-5
Let m be 10/3 - (-96)/(-72). Solve 5*t - 17 = -m for t.
3
Let m(w) = 9*w - 20 - 12 + 11 + w**3 + 12*w**2. Let c be m(-11). Solve -3*k + c = 4 for k.
-1
Let n(c) = c**3 + 10*c**2 + 3*c - 8. Let s be n(-4). Let w = s + -76. Solve w = -0*g + 5*g for g.
0
Let p(g) = g**2 + 15*g + 21. Let a be p(-14). Let c = -3 + a. Let k(z) = z**2 - 5*z. Let u be k(5). Solve -w - c*w - 20 = u for w.
-4
Suppose 0 = 60*b - 57*b - 15. Solve -b*a - 66 + 41 = 0 for a.
-5
Let r(d) = d**3 + 2*d**2 + 3*d + 2. Let l be r(-1). Let t = 3 - l. Solve 1 = 2*f - t*f for f.
-1
Let k = -3 + 5. Suppose 0 = -q - 4*p + 24, 4*q - 26*p - 45 = -25*p. Solve -q = -i - k*i for i.
4
Suppose 6*r + 1 - 31 = 0. Suppose 2*s = 5*u - 5 - r, -4*u + 11 = -s. Let z be 13/5 + 6/15. Solve -z*v = -s*v for v.
0
Let b = 15 + -10. Solve 6*d - 35 = -b for d.
5
Let q(v) = 3 + 16*v - 13*v - 1. Let y be q(2). Let b = y - 3. Solve 0*u + b*u + 20 = 0 for u.
-4
Let n(r) = -6 + 5*r - r - 6*r**2 + r**3 - 3*r. Let d = 183 + -177. Let s be n(d). Solve 4*h + h - 25 = s for h.
5
Suppose -3*k - 9*w + 8*w = -125, 4*k - 164 = -4*w. Solve -k*p = -48*p + 24 for p.
4
Let w be ((-1)/(-4))/(39/1248). Solve 12 = -4*h - w for h.
-5
Let v(l) = -l**3 - 25*l**2 - 28*l + 11. Let s be v(-24). Let c = s + -107. Suppose -2*j - 3*i + 0*i - 2 = 0, -3*j - 2 = 4*i. Solve j*m = -c*m for m.
0
Let u(a) = -3*a - 53. Let p be u(-18). Solve -7*k - 27 - p = 0 for k.
-4
