 for k.
0
Suppose 6 = 4*z - 2*z. Let h be (-2 + z)/(-1) + 3. Suppose 4*b - 5*d = 98, 52 = h*b + d - 2*d. Solve -2*m - b = 5*p, 0 = 5*p - 6*m + m + 20 for p.
-5
Let f(k) = -k - 2. Let w be f(-13). Suppose 3 = -4*n + w. Suppose -2*i = -i - n. Solve 4*z + i*g - 6 = 0, 5*z - g - g + 15 = 0 for z.
-1
Suppose 6*r = 5*o + r, o + 5*r = 0. Solve -4*x - 5*v = -22, o = 4*x - 4*v - 2 - 2 for x.
3
Suppose 4*i + 5 = y + 13, -2*i + y = -4. Solve -5*x + 4 = i*d, -d - 2*x = -0 - 1 for d.
-3
Let j(o) = o**2 - 43*o - 136. Let a be j(46). Solve 0*n + 2*n - d = 15, -a*n + 3*d + 25 = 0 for n.
5
Suppose -5*f - k + 8 = 0, -2 = -6*f + f - 4*k. Let j = 334 - 332. Solve j*y + y + f*q + 4 = 0, -y - 4*q + 2 = 0 for y.
-2
Suppose 4*s + 75 = -0*s + j, 10 = -s + 2*j. Let i = -17 - s. Solve -u = -3*v + 16, v + 4*v + i*u = 8 for v.
4
Let j be 8 - (-9 + 9 + 6). Solve -5*k - t - 18 = 0, j*t = -3*k - 3*t - 2 for k.
-4
Let t(g) = g**3 + 6*g**2 + 5*g - 4. Let b be t(-2). Solve -1 = 2*p + b*k - 3, -5*p = -2*k - 33 for p.
5
Let n = 393 + -390. Solve -4*w + 4 = -4*q + 12, 2*q - w - n = 0 for q.
1
Suppose 3*h + 0*h - 12 = 0. Let m(b) be the third derivative of 3*b**5/4 - 5*b**2. Let n be m(1). Solve -2*v = 5*k + 15, h*v + 0*v - n = 5*k for k.
-5
Let b = -52 - -42. Let t = 2 + -8. Let d = t - b. Solve -d*i = 4*x - 5*x + 5, 16 = -2*x - 5*i for x.
-3
Let h be (-207)/(-92)*(1 + 3/9). Solve k - 3*g - 12 - 4 = 0, -15 = h*g for k.
1
Let y(h) = -h**3 + 15*h**2 - h + 20. Let f be y(15). Suppose 4*z - f*z = -2. Solve -3*c - 3*k = 0, -3*k = z*c - 6*k - 15 for c.
3
Suppose -5*i + 9*i + 8 = 0. Let f be -10*i/(-4) - -2 - -39. Solve -3*t - f = 4*k - 7*t, -k = -2*t + 13 for k.
-5
Suppose -60 = 59*d - 79*d. Solve -4*f = d*w - 6, 0*w = -3*w + 2*f + 6 for w.
2
Suppose 4*v - 10 = -2*i, 3*v = 2*i + 2*i + 24. Solve v*s - 20 = 0, 5*b - s + 20 = 3*s for b.
0
Let n be (-3)/((-3)/(-2)) - -4. Suppose -49*p = -40*p - 18. Solve -3*s - w = -n*s - 2, -3*w = -p*s + 9 for s.
3
Let k = -23 + -8. Let w = -27 - k. Solve 3*d + o + 10 = 1, -4 = -2*d - w*o for d.
-4
Let m(a) = a**3 - 5*a + 7. Let w be m(0). Solve -3*j = -x - w, 0*x - 4*x = 3*j - 2 for j.
2
Let a be (3/9)/(1/141). Let f = -42 + 47. Suppose 6 = -2*g, -3*z + f*g = -a - 43. Solve -z = -5*t, 2*t = s + 8 + 1 for s.
1
Suppose 3*u + 12 = 0, 2*a - 7*a - 3*u + 118 = 0. Let h = 29 - a. Solve -11 = 4*k - 0*k - h*f, -2*k - 5 = -f for k.
-2
Suppose 0 = k - 7. Suppose a = h - k, 3*h - 3*a - 19 = -a. Solve g - s = 0, 5*g - 3 = 4*s - h for g.
-2
Let m(d) = -d**2 + 8*d + 53. Let a be m(12). Solve -h = -a*u + 12 + 15, -4*h - 23 = -3*u for h.
-2
Let h(j) = 2*j + 2. Let f = 8 - 2. Suppose f*g = g. Let c be h(g). Solve -5 = 5*u + 4*n - 0, -2*n - 4 = c*u for u.
3
Let r(l) = 6*l - 8. Let m be r(4). Suppose 5*a - m = -4*d, -5 = 3*d - 2. Solve a*i - 16 = 0, -2*h + i - 14 = -i for h.
-3
Suppose 3*q - 23 = -2*i, 4*q + 13 = i + 6*q. Solve -4*g - i = -g + w, 23 = -5*g + 4*w for g.
-3
Let p be 1/(-8 - (-25)/3). Solve 0 = -5*v + t - 10, 3*v + p + 16 = -2*t for v.
-3
Let b be 40/140 - ((-16)/(-7) - -2). Let k be b + 2 - -10 - 4. Solve 12 = -k*r, -5*f - r - 10 = -6*r for f.
-5
Let g be 188/(-60) + 4/30. Let b be 6/(-9) + (-17)/g. Suppose -z = -b*x + 8, -2*z + 3*z + x = 10. Solve -2*q - y = 10, -2*q + 4*y + 28 = -z*q for q.
-4
Let p(r) = -2*r. Let n(l) = l. Let h(y) = -12*n(y) - 3*p(y). Let w be (14/21)/((-6)/27). Let c be h(w). Solve -7*d + j - c = -3*d, 5*d = 4*j - 17 for d.
-5
Suppose 0 = 4*g - 4*m + 3 + 9, 3*g - 2*m + 4 = 0. Let z = 73 + -68. Suppose z = -5*v + 25. Solve 3*q = -2*u + 9, -v*u + g*u = -2*q + 16 for q.
5
Let w(m) = -12*m + 86. Let h be w(7). Solve i - 4 = -6*v + h*v, v - 2*i = -8 for v.
0
Suppose 3*z = -g + 11, 2*z - 10 = -4*g + 4. Let a(t) = t**3 - 4*t + 3. Let n be a(g). Solve 5*s + 11 = 2*p, -p + 0*p - n*s - 11 = 0 for p.
-2
Suppose 15 - 6 = 3*f. Suppose -m + 3 = -27. Let o be m/(-6)*8/(-10). Solve o*h + 9 = 2*j - 13, -5*h = f*j for j.
5
Let r(c) = -c**2 - 13*c + 14. Let j be r(-14). Let a be (2 + j)/((-12)/(-24)). Let u be 4 - (-3 - (a - 8)). Solve 5*q + 15 = 5*x, -4*x - q = u*q - 20 for x.
4
Suppose 0 = c + 5*d - 4*d - 12, 2*c = -d + 23. Solve 3*u = 2*u - 3*x + c, 2*u - 2 = -2*x for u.
-4
Let l(h) = -49 - 29 + 2*h + 117. Let c be l(-18). Solve 0 = -4*b + g + 25, 6 = b - c*g - 14 for b.
5
Suppose 413*g = 404*g + 81. Solve -10*s + 5*z - 10 = -5*s, 4*z = 3*s + g for s.
1
Let w(n) = -4*n - 4. Suppose -2*f = -5*f - 3. Let h be w(f). Solve h = c + 2*r - 2 + 9, -2*r = -2*c - 2 for c.
-3
Suppose 4*r - r = -21. Let v(y) = -y**3 - 8*y**2 - 5*y + 16. Let t be v(r). Solve -2 = -3*g - 2*u, g + g - t*u - 18 = 0 for g.
4
Let q(b) = 5*b**3 + 3*b**2 - 2*b - 1. Let o be q(2). Suppose 5*m - 122 = -o. Suppose 4*g + 3 = m. Solve -w - w - 17 = -5*t, g*t - 7 = -2*w for t.
3
Let s(m) = -4*m - 21. Let x be s(-6). Suppose -8 = x*q - 5*g, g + 8 = 4*q - g. Solve q*y - u = -3, y + 3*y - 5*u = 1 for y.
-1
Let o = 139 + -124. Solve -5*c - 24 = 3*d, 5*d + 27 = 11*c - o*c for d.
-3
Let f(z) = -z**3 - 28*z**2 - 42*z - 402. Let v be f(-27). Solve -y = 4*t - 4, -3*y = 2*t - v*t + 1 for y.
0
Let i(h) be the second derivative of -h**3/6 + 2*h**2 - 30*h. Let u be 4/(-3)*(-21)/14. Let k be i(u). Solve 4 = c - a - a, -8 = -k*c - 5*a for c.
4
Let k(c) = -c**3 + 9*c**2 + c - 7. Let i be k(9). Suppose -5*a + 10 = 4*f, 0 = -5*f + 4*f - a + i. Solve 2*y + 8 + f = 2*l, -2*y - 12 = -3*l for l.
4
Suppose 4*l + 12 = 5*f, -5*l - 9 = 4*f - 2*l. Suppose 0 = -4*z + 3*z + 2. Solve b - z*n = 6, f = b + 6*n - n + 1 for b.
4
Let b be 7/(-7) - (-4 + 1). Suppose b*g - 10 = -0*g. Suppose -96 = w - g*w. Solve -3*d - 4*z + w = 0, -3*d + z + 13 = d for d.
4
Suppose i - 3 = 1. Let z be -3*((-1)/1)/((-6)/(-10)). Suppose y = -z*x - 6, 23*y - 21*y = 4*x + 16. Solve f - 5*j = 22, -2*f - y*j - 20 = -i*f for f.
2
Let n be -39 + (3 - (-4 + 4)). Let d = 39 + n. Solve -d*m + 15 = -3*b - 6*m, 3 = -3*b + m for b.
-2
Let u(q) = -q**2 + 4*q - 3. Let b be u(2). Let z be ((-24)/(-20))/(b/10). Solve -3*w - 4 = -5*s, s - z = -w - 4*w for s.
2
Let z = 19 - 28. Let t = z - -14. Solve -5*k + t*d = -40, d + 0*d = 2*k - 12 for k.
4
Let u be (-9)/(-12) + 45/4. Suppose -2*z = g - 3*z - u, -3 = -z. Let d = g + -13. Solve -8 = -2*r - 4*w, -d*w + w = 0 for r.
4
Let h(s) = 3*s - 41. Let t be h(14). Let m be (-2)/((-5 - -6)*t/(-2)). Solve -m*z = -5*q + 12, -4*q + 1 = -2*z - 11 for q.
4
Let s(x) = x**2 - 21*x - 70. Let b be s(24). Solve -b*o - 2*o = -4*q + 24, -19 = -3*q + 4*o for q.
5
Let x(a) = -a**2 + 7*a - 2. Let q be x(6). Let y be 7*-4*(-2)/14. Let b(v) = v**3 - v**2 - 12*v + 9. Let c be b(y). Solve -3*d - w + 2 = 8, q*d = -w - c for d.
-3
Suppose -2*x = -1 - 1. Let w = 6 - x. Solve -2*y = 2*j - 0*j - 10, -10 = -2*y - w*j for y.
5
Let q(n) = -n**2 + 6*n + 16. Let m be q(7). Let b be (13 - -1)/2 + m + -11. Solve -4*p = 5*i - 41, -2*i + 1 + b = -p for i.
5
Let p be (4/(-8) - -1)*0. Suppose -o + p*o + 3 = 0. Suppose h + 3*h - 36 = 4*a, -3 = h + o*a. Solve 4*x = -16, 0 = h*l - 3*l - x + 5 for l.
-3
Let q(o) = -12*o + 3. Let n be q(2). Let w = -127 - -150. Let g = n + w. Solve -6 = g*l - 3*s, 0 = -3*l + 2*s - 4 - 5 for l.
-3
Suppose 5*n + 4*q - 24 + 17 = 0, 0 = n + 2*q + 1. Solve h - 3*t + 12 = 0, 2*t = -h + n*t - 2 for h.
3
Let t = 3 + -6. Let z be 0*((1 - t) + -5). Solve r + 12 = -2*g - z, g = -4*r - 13 for g.
-5
Let u = 35 - 14. Suppose 0 = -2*d - f + 14 - 0, f = 5*d - u. Solve -3*b = -d*o + 22 - 4, 5*o + b = 14 for o.
3
Suppose 89 + 61 = 75*z. Solve 4*t - 7 - 1 = 0, z*f + 4*t = 14 for f.
3
Let y(p) be the first derivative of 7*p**3/3 + 4*p**2 + p - 91. Let k be y(-2). Let d(f) = f + 6. Let l be d(-6). Solve -3*m + 15 = l, m - k = 3*i - 4*m for i.
4
Let y = -15 - -23. Suppose 0 = 4*d + o - 22, -5*o + y = 3*d - 0*d. Let g be (-3 + d)*6 - 0. Solve 3*p + t = 6, p - 4*p + g = -3*t for p.
3
Suppose -f = -2*y - 4*f - 9, -20 = 4*f. Suppose 3*p = -2*o - 2, 16 = 4*o - y*p + 2. Suppose 0 = 2*x + o*x - 28. Solve k + 4*a = 2*k + 7, 3*k + 2*a = x for k.
1
Let l be ((-13)/((-455)/(-14)))/((-4)/50). Let z be (-2 - -1) + (2 - -13). Solve -2*q - l*r - 2 = -z, -13 = -3*q - 5*r for q.
1
Suppose d - 2*d - 4*z + 2 = 0, -5*z + 25 = 5*d. Solve -d*g + 4 = 2*m - 2*g, 21 = -3*m + 3*g for m.
-4
Suppose -3*v - 3*q + 3 = 0, -4*v + 5*q - 22 - 10 = 0. Let y be (v/(-2))/(1/2). Solve 4