13 = -z*g + 12 for g.
5
Let j(q) = -q - 13. Let v be j(-7). Suppose 2*b - 3*o = -11, -2*b - 15 = -5*o + 2. Let x be v/(b + (-4)/8). Solve x*w + 6 = w for w.
-2
Let v = 17 - 19. Let y be (-20)/(-15) + v/(-3). Solve 3 = y*s - 5 for s.
4
Suppose -7*z = -12*z + 15. Suppose -z*w - 4 = 3*t - 19, 3*t - 2*w = 15. Solve -3*l + t*l + 4 = 0 for l.
-2
Let m be (-4)/18 - 20/36*-13. Solve 2*r + 20 = m*r for r.
4
Let u be 2/(-5) - (-3 - 132/55). Solve -o - 16 = -u*o for o.
4
Let z = 105 - 104. Solve -14*q + 15*q = -z for q.
-1
Let f be 76/2 - (-16)/(-4). Suppose -x - 3*l - 2 + 10 = 0, 3*x = l + f. Suppose 0 = 4*h - 3*j + x, 0*j = 2*h - 2*j + 8. Solve -3*q = -4*q - h for q.
-1
Let q(y) = 71*y - 59. Let o be q(1). Solve 2*v = 5*v + o for v.
-4
Let l be 6/(-4) - (-14)/4. Suppose -4*o + l = -6. Suppose o*c - 2 - 4 = 5*a, 0 = 3*a. Solve -c*i = i - 8 for i.
2
Let c(f) = -f**2 - 6*f + 5. Let l be c(-6). Let a be (57 + -57)*(2 - (2 - -1)). Suppose 5*m + l = a, 0*q - 7 = -q + 4*m. Solve 0 = q*x - 5*x for x.
0
Let w be (-3)/(-6)*-2 + -1. Let g be 0/(10/w) + 1. Solve g + 7 = 2*l for l.
4
Let s(i) = -i - 5. Let u be s(-2). Let v = 3 - u. Solve -c = -v*c for c.
0
Suppose -3*k + 0*k = -12. Let h = k - 4. Suppose 5*d - q = 49, h*d + 4*q + 61 = 5*d. Solve d + 1 = 5*c for c.
2
Let h(i) = i + 11. Let f = -35 + 24. Let s be h(f). Solve 0 = q - s*q for q.
0
Suppose 53*t = 51*t + 6. Let o be (-2)/(t/(-6)*1). Solve 0 = -2*z + 2 + o for z.
3
Let i(h) = 34*h - 374. Let l be i(11). Solve l = 7*v - 3*v for v.
0
Let p(s) = -21*s - 164. Let i be p(-8). Solve 6 = 2*j + i for j.
1
Let d = 1 + 2. Let b(m) = -m**3 + m + 10. Let x be b(0). Suppose 4*s = -s + x. Solve s*j + d = -5 for j.
-4
Suppose -17*u = -4*u - 780. Solve 14*s - u = 2*s for s.
5
Suppose -5*s - 9 = -34. Let r = 22 - 17. Let f = s - r. Solve f = -5*m + 6*m - 3 for m.
3
Suppose 2017*k = 1978*k. Let b = 13 - 7. Let o(u) = 2*u - 9. Let d be o(b). Solve k*s + s = d for s.
3
Let j = 176 + -159. Solve -j = 5*x - 32 for x.
3
Let o be 4 + (4 + -3 - -3). Suppose 0 = -2*w - 0 + o. Suppose -10 = -5*x + i, 0 = x - 2*x + i - 2. Solve -w*p = -x*p + 2 for p.
-2
Let r = -21 + 21. Suppose r = 10*k - 13*k. Solve -i + 2 + 1 = k for i.
3
Suppose -1065*i = -1057*i - 8. Suppose 3 = -2*k - 9. Let q(n) = -n**2 - 7*n - 2. Let t be q(k). Solve t*l - 3*l = -i for l.
-1
Let k(z) = z**2 - z. Let h be k(-4). Suppose -16*i + h = -28. Solve 2 - 14 = i*r for r.
-4
Let t(d) = -d + 3. Let b be t(0). Let g be 0 + 5 + -1 + 54. Suppose 4*z - 2*f = -0*f + g, -67 = -5*z - 3*f. Solve -5 = b*y - z for y.
3
Let f = -17 - -22. Suppose 4*m + f = 9*m. Solve -4*i - m - 11 = 0 for i.
-3
Suppose -4*z + w + 4*w + 40 = 0, -41 = -5*z + 4*w. Suppose z*v - 4 = 6. Suppose -2*b + 36 = -3*t, b - v*t = -b + 32. Solve 3*y + y + b = 0 for y.
-3
Let w(p) = p**2 - 7*p + 10. Let b be w(6). Let d be (-65)/(-20) + (-1)/b. Solve 20 = d*i + 2*i for i.
4
Let i(q) = -q**3 - 7*q**2 + 5*q - 9. Let g be i(-8). Suppose -4*b + g = -k - 2*k, 20 = -5*b - 4*k. Solve b = -0*n - n + 2 for n.
2
Suppose 0 = 10*s - 65 - 5. Suppose -s*f + 1 = -69. Solve 0 = n + f - 11 for n.
1
Let a(k) = -k**3 - 7*k**2 + 13*k + 5. Let s be a(-9). Let q = -30 + s. Suppose 0 = -5*g - q, 4*g = -5*b + 4*b - 14. Solve -o = -b*o for o.
0
Suppose -3*r = 4*b - 22, 4*r = -10*b + 13*b - 4. Solve 142 = -b*w + 146 for w.
1
Let b(t) be the third derivative of t**5/30 - 17*t**4/24 - 3*t**3/2 - 15*t**2. Let d be b(9). Solve c - 6*c - 20 = d for c.
-4
Let n = 1629 - 1553. Solve -n + 86 = 2*i for i.
5
Let t = 60 - 43. Let c be ((-2)/4)/((-1)/(-26)). Let i = t + c. Solve i*w = -w - 5 for w.
-1
Suppose 2 = v + 4*i, -11*i = -2*v - 7*i + 4. Solve -v*j - 5*j = -21 for j.
3
Let o = 415 + -412. Solve 0 = -7*x - 18 - o for x.
-3
Let v(t) = 5*t + 130. Let r be v(-24). Solve 5 = r*a - 15*a for a.
-1
Suppose 13 = n - 3*t, -4*t + 5 = 17. Suppose 4 = 3*y - 2*l, n*y = 5*y - 5*l + 16. Suppose 4*p - y - 8 = 0. Solve p = f + 2*f for f.
1
Let h = -113 + 198. Let g = h + -77. Solve m = -m + g for m.
4
Suppose 2*w - 5*b + 0*b = 24, -b = 4. Solve -c + 1 + w = 0 for c.
3
Let m = 2 + 7. Solve 0 = 4*n - m*n for n.
0
Let z(h) = -h**3 + 9*h**2 + 19*h - 210. Let x be z(8). Solve -6*t = -9*t - x for t.
-2
Let a(u) = u**3 - 38*u**2 - 41*u + 81. Let h be a(39). Solve -16 + 4 = h*j for j.
-4
Let y = -33 + -27. Let p = -33 - y. Let i = p - 24. Solve i*v - 11 = 4 for v.
5
Suppose -2*n - 3 = 7. Let m(o) be the second derivative of -o**4/12 - 5*o**3/6 + 3*o**2/2 - o. Let g be m(n). Solve -2*d + 20 = g*d for d.
4
Let c(t) = -t**3 + t**2 + 48*t - 14. Let m be c(7). Solve -14*k + m = -21*k for k.
-4
Suppose 3*l + 3*g = -g - 28, 3*l = -2*g - 26. Let k be (-2)/l + (-165)/(-44). Suppose 3 = -k*o + 5*o. Solve -o*s - 1 + 13 = 0 for s.
4
Suppose 0*g + 15 = 5*g, -2*a + 3*g = -9. Solve -a + 5 = 2*i for i.
-2
Let z be (2/3)/((-8)/204). Suppose 5*i + 16 = 101. Let y = z + i. Solve -g = -5 - y for g.
5
Let n be -3 + -5 + 110/10. Solve -2*w = w - n for w.
1
Let c be ((-472)/590)/((-4)/30 + 0). Solve -5*f + c + 4 = 0 for f.
2
Suppose 9*q = 12*q. Suppose q = c - 28 + 16. Solve 2 - c = -2*z for z.
5
Let y(l) = 5*l**3 + l**2 + l - 1. Let m be y(1). Let i(t) = 4*t + 4. Let p be i(0). Let r be -2 + p + (4 - 3). Solve c = r*c + m for c.
-3
Let n = -27 + 44. Let t = -11 + n. Suppose 2*z = t*z. Solve z*x - 4*x - 20 = 0 for x.
-5
Let p(l) = 3*l - 24. Let u be p(9). Suppose q + 4*s = 3*q + 20, 2*q + 4*s - 4 = 0. Let v be (-4)/(2/q*1). Solve -w + u = v for w.
-5
Suppose 12*b = 11 + 49. Solve -s - b*s = 0 for s.
0
Let y(t) = 18*t - 12. Let s be y(-3). Let q = s + 69. Solve -q*k = -k + 8 for k.
-4
Let f(w) = w**3 + 18*w**2 + 16*w - 15. Let i be f(-17). Solve -2*d - i*d = -8 for d.
2
Suppose 0 = -20*u + 26*u - 36. Solve 9*z - 12*z = -u for z.
2
Let n be 32/(-6)*-2*(-3)/(-4). Let k be 148/20 + n/(-20). Solve -k*u + 15 = -4*u for u.
5
Let i(t) = 2*t - 12. Let q be i(7). Solve 0 = -q*m - 2 - 8 for m.
-5
Let n = 3 - -4. Let a(h) = 3*h - 18. Let v be a(n). Solve -v*o = o - 20 for o.
5
Let v be 1 + (-4)/4 + 0. Suppose v = 6*x - 2*x - 4. Solve -i + x = -2*i for i.
-1
Let x(k) = 15 + 3*k + 5*k - 15*k + 0*k - k**2. Let t be x(-9). Let m(p) = -p**3 - 4*p**2 - p + 10. Let i be m(t). Solve -i*h - 4 - 8 = 0 for h.
-3
Let a be 4/(-18) + (-7110)/81. Let y = 90 + a. Solve 2*p + y*p = -16 for p.
-4
Let t be -3 + -4 - (-18 + 5). Solve 24 = -0*a - t*a for a.
-4
Suppose q - 5*a = -17, q - 4*a + 5 = -2*a. Let i be (q + 42/(-9))*-3. Solve 0*o = -i*o + 15 for o.
3
Let k(o) = o**2 - 13*o - 2. Let z be k(13). Let g = z - -2. Let a = g - -3. Solve 0 = a*i + 6 - 18 for i.
4
Let r be 0*(1 - 18/12). Solve r*d - 11*d = -33 for d.
3
Suppose -8*s + 15 = -9. Solve -5 = -o - s for o.
2
Suppose -6*g + 9*g = 30. Let v be (-32)/g - 1/(-5). Let o be v + (2 - -8) - 1. Solve 0 = 3*b + o + 6 for b.
-4
Let n(a) = 2*a**2 + 16*a + 9. Let f be n(-7). Let s(i) = 2*i**2 + 6*i - 16. Let w be s(f). Solve 4 + w = 4*l for l.
2
Suppose 0*p + 5*g = -p + 12, 4*p + 3*g - 14 = 0. Let i be (5 + (-55)/5)/(-2). Suppose -p*h - h + i*b + 3 = 0, -4*h + 4 = -3*b. Solve -h - 3 = -q for q.
4
Let l(m) = -1. Suppose -2*t - 3*t = 5. Let v(a) = a + 5. Let u(s) = t*v(s) - l(s). Let q be u(-8). Solve 25 = q*h + 5 for h.
5
Suppose a = 5*g - 27, a - 1 - 2 = -g. Suppose 3*r - 3 = g*t, 4*r - 2 = 2*t + 2*r. Let z be ((-2*1)/2)/((-8)/24). Solve -z = -t*i - 3*i for i.
1
Let j = -237 - -272. Solve -5 = j*x - 34*x for x.
-5
Suppose 0 = -2*g, -6*d = -4*d - 10*g - 24. Solve -8*x + d = -12 for x.
3
Let a be (-16)/5 - (4 + 21/(-5)). Let r be a*2 + 3 + (-42)/(-3). Solve 4*i - r - 9 = 0 for i.
5
Suppose 8*g + 430 = 13*g. Let w = 106 - g. Solve -4*k = -0*k + w for k.
-5
Suppose 10 = -5*w + 5*a, 13 - 3 = 2*a. Suppose 11 = 2*g + w. Solve m - 2*m + g = 0 for m.
4
Let k be 2 + (3 + -4 - 14/(-1)). Suppose -5*p + 2*s = -s - 50, -k = 3*s. Solve -p*d = -3*d for d.
0
Suppose 4*v - 4 - 12 = -4*n, -4*n = v - 4. Solve 4*r - 4 = -n*r for r.
1
Let q be (264/15 + 4/10)/2. Solve 1 = -2*u - q for u.
-5
Let w = 25736 - 25716. Let h(b) = -b**3 + 2*b**2 + 2*b + 3. Let l be h(3). Solve 4*n - w = -l*n for n.
5
Suppose 16*w = 395 + 1045. Solve w*b - 86*b = -16 for b.
-4
Suppose -12*u = -15*u + 87. Solve 0 = -t + 26 - u for t.
-3
Let o(f) = 61*f + 856. Let g be o(-14). Solve 2*a - 6 = g for a.
4
Let s(u) = 