*k - 3. Let i be b(10). Let r(x) = -x + 21. Let l be r(i). Suppose -2 - 1 = 3*a - 3*g, -5*g + 7 = -l*a. Solve -13 + 3 = -a*t for t.
5
Let f(c) = -22 - 17*c + 14*c + 8. Let u be f(-6). Solve u = -3*i - 2 for i.
-2
Let w(t) = -9*t - 3. Let r be w(-2). Suppose 7*u - r = 6. Solve 2*b + u = -3 for b.
-3
Let k(v) = -3*v**3. Let c be k(-1). Suppose s - 2*s + 5*t = -14, c*t - 33 = -4*s. Suppose 0 = a + 4 - s. Solve 4 - 19 = a*b for b.
-3
Let m(b) = 2*b**2 - 4*b + 4. Let v be m(3). Let c be 34/v - (-6)/(-15). Suppose -117 + 60 = -19*a. Solve 0*i + a = -c*i for i.
-1
Suppose 345*f + 25 = 350*f. Solve f*u + 2 = 7*u for u.
1
Let o(w) be the second derivative of w**5/20 + 11*w**4/12 + 4*w**3/3 - 5*w**2 - 4*w. Let t be 1 + 0 - (12 - 1). Let q be o(t). Solve -i + 3*i + q = 0 for i.
-5
Let q(j) = 83*j - 911. Let u be q(11). Let z = -3 + 6. Solve -u*a = a - z for a.
1
Let y(p) = -2 - 3*p + 2 - 2 - 15. Let v be y(-7). Solve 8 = -4*s - v for s.
-3
Suppose 418 = -9*v + 40. Let f = -26 - v. Solve -h - f = -5*h for h.
4
Let x = 70 - 48. Let p = x + -22. Suppose -b + 4*a = 13, p = -2*b - 2*b - 3*a + 24. Solve -2*s + b = 9 for s.
-3
Suppose 3*t - 7 = 77. Suppose -3*h = -4*k - 42, 4*h = -4*k - 0*k + t. Solve -5*v + 5 = -h*v for v.
-1
Let u(z) = z**3 + 4*z**2 - 34*z - 7. Let d be u(-7). Solve -d*y - 10 = -82*y for y.
-5
Let w be 26/10 - (16/10 + -1). Suppose -4 = w*q - 4*q. Solve -1 = -q*u - 5 for u.
-2
Suppose -23*l + 123 = 54. Solve l*v = 8*v + 5 for v.
-1
Let p be (2/6)/(2/24). Suppose -5*c + 1 = 2*u - 3, -2*u + p = 0. Suppose -4*r + 11 = -r - l, -2*r - 5*l - 21 = 0. Solve c*z - z + r = 0 for z.
2
Let g be (140/350)/((-1)/(-5)). Solve -g*p = 80 - 86 for p.
3
Suppose 24 - 30 = -6*j. Solve -5 = -b - j for b.
4
Let g = -921 - -933. Solve 58 = -g*r - 2 for r.
-5
Let z = -1852 - -1852. Solve -9*q + z = -9 for q.
1
Let l be (2/12*-4)/(2/(-24)). Let f be (1 - 1)/(3 - 1). Solve f = 5*v - v - l for v.
2
Suppose 0 = -5*v + 3*v + 36. Suppose 0*i - 4*i = 2*p - 6, 5*i - v = p. Solve 0 = 4*f + i - 23 for f.
5
Let q be -1 - ((-9)/(-5 + 2) + -4). Suppose -g + 4*g = 15. Let d be -3 + q + g + -2. Solve -4*b - 12 = -d*b for b.
-3
Let l be 189/36*(3 - (-5 + 4)). Solve -10*s = -l - 19 for s.
4
Suppose -b + 16 - 1 = 2*u, -3*u + 2*b + 5 = 0. Suppose 3 + u = -4*r. Let z be 6*(21/(-18) - r). Solve p - z*p + 4 = 0 for p.
1
Let j be (1 + 1)/((-5)/(75/(-10))). Suppose -j*l - 3 = -15. Solve -l = u - 6 for u.
2
Let b(m) = 2*m**2 + 21*m + 20. Let z be b(-10). Solve z - 6 = 2*f for f.
2
Let f be (-30)/((-4)/4*1). Suppose -23*r + 21*r = -f. Suppose -30 = -3*v - 0. Solve -5*x = v + r for x.
-5
Let q be 4/(-10) - (-24)/10. Let j be 2/6*36/6. Solve 2 = q*d - j for d.
2
Let m be (-25)/4*(-16)/4. Let o = 25 - m. Solve o = b + 2*b + 12 for b.
-4
Suppose -w = -2, -4*s + 36 = 5*w + 6. Solve -2*b = -s*b - 9 for b.
-3
Suppose -20 = -2*j - 0*l + 4*l, 4*l + 4 = -2*j. Suppose 5*p - 5 - 5 = 0, 4*d - j*p - 4 = 0. Solve -1 = -g + d for g.
4
Let p(m) = m**3 - 6*m**2 + 7*m - 1. Let i(r) = -r**3 + 7*r**2 - 7*r + 11. Let y be i(6). Let z be p(y). Suppose -b + z = 7. Solve -b*a + 5 - 15 = 0 for a.
-5
Suppose 2*l = g + 3*l - 12, -g + 8 = 5*l. Suppose -g*i = -14*i. Solve o + 2*o - 6 = i for o.
2
Suppose 0 = 2*x + 10, -5*v - 12*x = -15*x - 70. Solve 12*l + 5 = v*l for l.
-5
Let s(t) be the second derivative of t**5/20 + 5*t**4/4 + t**2 + 10*t. Let k be s(-15). Solve -i - k = -2*i for i.
2
Let g(t) = -2*t - 2*t - 2*t + 2*t. Let h be g(-1). Suppose -2*p - 2 = h*a, 0*p = -2*p - 2. Solve -6*x + 5*x + 2 = a for x.
2
Let s(h) = -10*h + 409. Let j be s(39). Solve j*c + 1 = 18*c for c.
-1
Let f = 199 + -199. Solve 4*m - 5 - 3 = f for m.
2
Suppose -28 = -4*j - 0. Solve 6*i = -i - j for i.
-1
Suppose 28 = 297*a - 290*a. Solve 0 = 12*b - a*b - 24 for b.
3
Suppose -8*w + 5*w = -21. Solve -w*k = -12*k for k.
0
Suppose -6 = -m - 0*m. Let d = m + -2. Solve d*f - 1 = 3 for f.
1
Let h be (-9 + (-112)/(-8))*(-6)/(-10). Solve h*m - 4 = -m for m.
1
Suppose 67*k + 4*u = 63*k, -k = -2*u. Solve k = 4*n - 14 + 2 for n.
3
Let a = 356 - 350. Solve 2*q + a = 4*q for q.
3
Suppose 7*z = 1 + 13. Suppose 6 = 4*h - 3*u + u, z*h + 9 = -3*u. Solve h = q + 4*q + 10 for q.
-2
Let d = -24 + 26. Let q be (d - 1)*(4 + -1). Let t(c) = c**2 + 4*c + 5. Let y be t(-3). Solve 15 = q*w + y*w for w.
3
Suppose 1415 = -8*j - 9. Let y be j/(-9) - 6/(-27). Solve -4*x + y - 4 = 0 for x.
4
Let x be -3 - (26/(-2) - -2). Suppose 4*j - x*j = -40. Solve -5 = -3*b + j for b.
5
Let k be (2/(-4))/(63/(-56) + 1). Solve -k*d = 8 + 4 for d.
-3
Let r(a) = 44*a**2 - 10*a + 10. Let c be r(1). Solve -14*x = 16 - c for x.
2
Suppose 3*r = 3*a - 6*a - 6, -5*a = 10. Solve r = 6*f - 6 for f.
1
Suppose 2*q = 5*v - 25, v - 2*q - 1 + 4 = 0. Solve 2*j + 3 = v for j.
2
Let t(z) = 3*z + 48. Let h be t(-9). Solve h*b - 20*b = -1 for b.
-1
Let j be (85/(-10))/((-2)/(-4)). Let d = 32 + j. Suppose d = 5*c + 5. Solve 1 - 9 = -c*v for v.
4
Let t be 2*1*50/20. Suppose j + 7 = 2*r, 0*r - 1 = r - t*j. Solve 0 = r*q + 13 - 1 for q.
-3
Let q(b) = b**2 + b + 12. Let w be q(0). Let r = -5 - w. Let y = r + 20. Solve d = -y*d for d.
0
Let a = 367 - 347. Solve -a*j + 21*j = -5 for j.
-5
Suppose -m = -2*q + m + 20, 3*m = 4*q - 35. Let y be -2 + q - -4 - 2. Solve 3*h + y + 4 = 0 for h.
-3
Suppose 4*i - 50 = 5*k, 5*i + 5*k - 52 = 6*k. Solve -4*n = -6*n - i for n.
-5
Suppose 12*w + 32 = 16*w + 4*j, 2*j = -5*w + 28. Suppose -5*b = -6*b + w. Solve -30 = -b*v - 14 for v.
4
Let n(b) = b**2 - 2*b + 1. Let r be n(2). Let v(u) = 21*u - 2. Let d be v(r). Let s = 24 - d. Solve s + 1 = -3*i for i.
-2
Let q be 710/45 - 2/(-9). Suppose 0 = -2*h + 6*h - q. Solve -h*i - i = 0 for i.
0
Suppose -5*g + 7 + 43 = 0. Let h = g - 8. Solve -4 = 2*b + h*b for b.
-1
Let a = -10 + 10. Suppose a = 23*i - 25*i + 10. Suppose i*x = 3*x + 10. Solve 0 = -0*t - x*t + 20 for t.
4
Suppose x + 3*m - 7 = -6, x - 8 = 4*m. Solve -2*w = -x*w + 4 for w.
2
Suppose 0 = -3*y - 15, -2*q - 3*q + 3*y + 20 = 0. Suppose 0*p + 13 = 2*p - 5*a, -4*p = -4*a - 20. Let v = p - q. Solve 2*k = k - v for k.
-3
Let p be (28/(-10))/7*-5. Suppose 2*t - k = 0, 3*k = -3*t - 0*k + 9. Let i = 6 + t. Solve 3 = p*n - i for n.
5
Suppose 11*c - 13 = 20. Solve c*w = 8*w - 20 for w.
4
Let m(f) be the second derivative of -f**4/12 - 7*f**3/6 + f**2 + 4*f. Let u be m(-6). Solve -11*q - 12 = -u*q for q.
-4
Let x(q) = -q + 12. Let r be x(11). Let z(j) = 13*j + 2*j**2 + 8 + 3 - 4 + r. Let u be z(-6). Solve u*l + 10 = -3*l for l.
-2
Let h be 5*(-3)/(-6)*6. Suppose 0 - h = -5*p. Suppose 2*z - 1 = c, 5*c + z = -p*z + 23. Solve c - 8 = b for b.
-5
Let g be 8/20*(-3 - -8). Suppose -g*k = -l + 5*l - 18, 5*k = 5*l. Solve k = -p - 2*p for p.
-1
Let q(h) = h**3 - h**2 - 4. Let y be q(3). Let p be (-2 - 0)*(-21)/y. Solve -z = p*z + 12 for z.
-3
Let h be 10/((-200)/36)*-5. Solve -10*r + h*r = 5 for r.
-5
Suppose -61*v = -58*v - 6. Solve -u = v*u + 12 for u.
-4
Let z be 6 + 0 + 3 + -4. Let f(y) = 4*y + 30. Let u be f(-7). Let j be 2/(u - 9/6). Solve t + j*t = -z for t.
-1
Let z = 107 - 86. Let w be (-1 - z/3)*(-2)/8. Solve 0 = w*f - 0*f for f.
0
Let c be (-180)/150*5/(-3). Solve i = 3*i - c for i.
1
Let x be (-3 - -123)*(-2)/(-2). Let u be 13/(52/x) - 4. Let z(o) = o**3 + 5*o**2 - 3*o - 4. Let c be z(-5). Solve c = -3*n + u for n.
5
Let t be (-20)/(-12)*(-8 + 11). Solve -7*f + 10 = -t*f for f.
5
Let l = -54 - -153. Let q = l - 95. Solve -4*b - q = -0 for b.
-1
Let m(p) = -p - 6. Suppose -4*g + 2*h = -50, -3*g + 2 = -2*g + 3*h. Suppose -5*q - 59 = g. Let a be m(q). Solve -2*j + a = -6*j for j.
-2
Suppose -a = 3*a. Let i be 1*-2 + 9 + -2. Solve -d = -a*d - i for d.
5
Let h = -34 - -41. Let f be (h + -4 - 4)*-3. Solve -5*x = -f*x + 2 for x.
-1
Let j be (0/1)/(-1 - 0). Let z(u) = 2*u**2 + 135*u + 570. Let d be z(-63). Solve -d*s - 2 - 10 = j for s.
-4
Suppose -5*c + 1020 = 2*r, 50*r = -4*c + 55*r + 849. Solve -202*a - 20 = -c*a for a.
5
Let u = -3 - -3. Suppose 2*j - 1 - 3 = u. Let p be 5*1 - (-5 - (-42)/6). Solve j*q = -p*q for q.
0
Suppose -6*k = -10*k + 20. Suppose -40 = -k*r - 5. Let m be (-12)/28 - (-3)/r. Solve 0 = -3*w - m + 12 for w.
4
Let p be (-3)/5 + (-1168)/(-80). Let x be 4/14 + 290/p. Let b = -20 + x. Solve 2*v - b = -11 for v.
-5
Suppose 0 = -12*j - 2*j + 266. Solve -j*f + 25 = -14*f fo