- 6 = -f*k for k.
-1
Suppose -35*t = 4*t - 78. Solve -3*y - 3*j + t*j = -7, -14 = -5*y - 4*j for y.
2
Let v = -387 - -391. Solve 4*n + 6*x - v = 5*x, 3*x = -5*n + 5 for n.
1
Let a = 377 + -374. Solve 5*n + s + 9 = -6, s + 11 = -a*n for n.
-2
Let h(m) = m**2 + 6*m + 7. Let v be h(-1). Let w be ((-4)/v)/1*6/(-3). Solve -f = 1, u - 2 = 5*f + w for u.
1
Let j = 3 - 3. Let l = -19 + 21. Suppose -l*b + 3*h = -22, j*h + 35 = 3*b - 5*h. Solve b*a - 4*i + 8 = 0, i + 5 = -2*a - 6 for a.
-4
Let p(b) = 2*b**3 - 2*b**2 + b - 6. Let j be p(2). Solve 0 = 2*h - j*m - 12, 6 = -h - m - m for h.
0
Suppose -3*n + 14 + 34 = 0. Solve -5*t = r - n, -17 = -4*r - 3*t - 4 for r.
1
Let v(g) = -g**2 + 10*g + 15. Let y = -17 - -28. Let m be v(y). Solve -5*x + 3*n + 2 = 0, -x + 8 = m*n + 26 for x.
-2
Let r be (-68)/238 + (-33)/7 - -10. Solve i = -3*z - 4*i - 2, -4*z + 9 = -r*i for z.
1
Let q = 13 - 7. Let v be (-1)/(5/(100/(-8)))*2. Suppose 0 = m - 3*k - v, 2*m - q*m + 20 = 2*k. Solve s - 10 = -2*d + 3*s, 3*s + 7 = -m*d for d.
1
Let p be (4/8)/((-5)/(-30)*1). Solve -4*h - 2*c - 26 = 0, 0 = -p*h + 4*c - 6 + 14 for h.
-4
Suppose -11 = -3*j - 107. Let h = -93 + 61. Let x = j - h. Solve -3*v = 3, -v + x = 4*w - 7 for w.
2
Let r(b) = -2*b**2 + 55*b + 31. Let n be r(28). Solve -3*j + 5*q - n = 18, -5*q + 5 = 5*j for j.
-2
Suppose 3*z + 2*y = 7*y + 10, z = 5*y. Let n be (-7)/(-3) - (-156)/(-117). Let j = 4 - 0. Solve j = -4*r + z*m, 4*m = -3*r - 2 - n for r.
-1
Let p be ((-8)/16)/(1/32). Let b = 16 + p. Let q be (-25*1)/((-1)/1). Solve 5*m + q = 0, b*m + 4 = -4*k - 4*m for k.
4
Let l be 6/15*-5 - (-12)/2. Solve 0 = -5*w - 3*j + 3, l*w = j + 3 - 4 for w.
0
Let j = -84 - -45. Let i = j - -50. Solve -5*y = -10*y + 5*o - 15, y = 5*o - i for y.
-1
Let l = 828 - 825. Solve -5*y + 4*y = -c - 6, 2*c + l*y + 7 = 0 for c.
-5
Suppose 5*t = 16 + 54. Let n = t + -9. Solve 14 = -n*x - 3*s, 3*x - 3*s + 1 = 7 for x.
-1
Suppose v - 3*p = -0*p - 4, 2*v - 4*p = -2. Let c = -242 + 243. Solve -v*j - 19 = 4*w, c - 4 = 3*w for j.
-3
Let c = 13 - 11. Suppose -c*s = -5 - 1. Suppose y = 4*o + 8, y - o - s = -1. Solve -5*j - a - 5 = y, 0*j + 4*a + 2 = -2*j for j.
-1
Let z(g) = -g**3 - 10*g**2 - 7*g - 26. Let m be z(-9). Let j be (-5)/(m/8 - -5). Solve 2*p = 5*f - 10, 3*p - 3*f + j = 4 for p.
0
Let u = 345 - 343. Let i = 3 - 0. Solve -3*a - i*q - 9 = 0, 2*a + 12 = -2*a + u*q for a.
-3
Suppose 0*w + 3*w = 5*m, 3*w = -4*m + 27. Let t(f) = 2*f - 3. Let i be t(3). Solve -i*k - 2*q + 20 = -q, 5*k - w = 4*q for k.
5
Let f be (-3)/(4/(-18) - 115/90). Solve -2*n + 3*n + 5*u = -25, u - 6 = f*n for n.
-5
Let q(w) = 3*w - 21. Let t be 9/(-12)*6/(-3)*6. Let s be q(t). Solve 4*l - s = 10, 13 = k + 3*l for k.
1
Suppose -5*z = -10 - 5. Suppose -5*p + 2*p = -6. Suppose 2*a + 5*j - 6 = -a, -p*a + 5*j = -4. Solve h + z - 17 = -5*v, -h = v - a for v.
3
Let v be (-16)/24 - (-95)/3. Let r = v + -29. Solve 4*s + 2 = 5*q, r = -2*q + 5*s - 4 for q.
2
Let j be 88/(-2)*(-31)/124. Solve -18 = -2*h - 4*p, j*p - 15*p + 12 = 0 for h.
3
Let l be (-3)/((-3)/(-2))*-2. Let v be -76*(-15)/40*4/(-6). Let x = -18 - v. Solve 2*d = l*t - 14, -x = 2*t - 4*d + 1 for t.
5
Suppose 5*a = 1 + 9. Suppose -3*d = 4*r - 209, 3*d - a*r - 111 = 86. Suppose o = q + 22, -o + 5*o = -3*q + d. Solve 0 = -3*w + 12, j - o = -4*w - 0*w for j.
3
Suppose 15*j - 113 = -53. Solve -4*z + 4 = 12, j*m - 3*z = 22 for m.
4
Let l(c) = -c**3 + c**2 - c + 1. Let k be l(1). Let d(t) = -t**2 + 4*t. Let g be d(2). Suppose g*j - 3*j = k. Solve j*u + 9 = u - 2*o, 4*o = -8 for u.
5
Let c = 174 - 170. Suppose c*r = 2*d + 4, d + r + 4 = 4*r. Solve -d*g - 2*v = -0*v, -4*v = -g - 25 for g.
-5
Suppose -30 = -9*r + 3*r. Solve 4*c - 15 = -5*i, -3*i + r*i = -c + 6 for c.
0
Let q = 1387 - 1387. Solve -2*d = r + 3, d = -3*r - q + 6 for r.
3
Suppose 598*f + 40 = 608*f. Solve 2*t - 2 = 2*n, 4*n + f = -0*n - 3*t for n.
-1
Let b = -5 + 22. Suppose a - 4*k = 2*a + 7, a - 4*k - b = 0. Solve 10 = -2*f - 5*c + c, 0 = 2*f - c + a for f.
-3
Suppose -10*m - 132 = -43*m. Solve 2*p + m*t = 0, 18 = -6*p + 2*p + t for p.
-4
Suppose h + 3*d = 16, -12*h + 4*d = -10*h - 12. Solve -20 = -2*u + u + 4*l, -5*u - 2*l = h for u.
0
Suppose -4*s = x - 8*s + 15, 0 = -4*x - s + 25. Suppose 0 = 2*t + t - 6. Solve -2*k + 3*k + 1 = -t*z, -x*k = -z - 28 for z.
-3
Suppose 4 = -m - 2. Let i = m + 8. Let o = -20 + 22. Solve 0*n + 4*f = -i*n - o, f = -3*n + 7 for n.
3
Let f = -304 - -309. Solve 2*d + c - 5 = -0*d, f*d = -c + 20 for d.
5
Let b = 14 + -10. Let c(f) = -f**2 - 9*f - 10. Let n be c(-7). Suppose 5*s - 7 = 3. Solve 2*x = -x - n*h - 21, -s*x + b*h = -6 for x.
-3
Let a = 155 + -144. Suppose 0 = 4*t + b - 20, -a = -5*t - 2*b + 11. Solve 0 = x - 4*w + 3*w - t, 5*x + 5*w = 0 for x.
3
Let f be -4*1/(-4) - (-2 - 21). Suppose -3*v = -7*v + f. Solve -j = -v*a + 2*a, 3*a + 2*j = 0 for a.
0
Let c = -770 - -773. Solve 4*s + 0*f = c*f + 15, -8 = -3*s - f for s.
3
Suppose 2 = -m - u + 9, 3*u = 12. Let a = -11 + 11. Solve 1 = -o - 4*n - 1, m*o + 5*n - 1 = a for o.
2
Let a = -126 + 90. Let b be 5/(-5 + 0) - a. Let j = b + -24. Solve 5*r + 25 = -v + 3, r = 2*v - j for v.
3
Let f(y) = -4*y. Let o be f(-1). Let c be (-3)/o*176/(-66). Solve -2*u = -2*g + 12, 3*g + 2*g - c*u = 15 for g.
1
Let f be 5/1 + 5/(-5). Solve -f*b + 4 = 2*u, -4*u - 23 + 5 = -5*b for u.
-2
Suppose 7*q - 4 = 5*q. Suppose -q*b + 1 = -3*u + 11, 2*u + 4*b = 12. Let y be 0*(1/2 - 1). Solve -4*g - 14 = 3*t - t, y = u*t - 4*g - 8 for t.
-1
Let z be -3 + 0/(4 + -1). Let a = z + 3. Let x = 109 + -107. Solve 4*i - g + 6*g - 33 = a, -x*i - 1 = -g for i.
2
Let a(d) = 4*d**2 - 125*d + 47. Let m be a(31). Solve 0*p = 4*p + 8, -5*v = 3*p + m for v.
-2
Let a = -58 + 6. Let u = a + 76. Solve 0 = -4*z + r + 8 + 11, -3*z = -4*r - u for z.
4
Let r = 17 - 15. Suppose -27 = -5*p - 3*l + 2*l, p + 4*l + 6 = 0. Let t = -374 - -389. Solve -4*n + 15 = z, r*z = n - p*n + t for z.
-5
Suppose 4*v = 16, -3*y + v = -4 - 7. Suppose -2*w = -y*w. Suppose w = -2*s + 7 + 3. Solve 0 = -3*b - g - 11, 2*g - s = b + g for b.
-4
Suppose -3*x + 9 = 0, -3*u - 2*x + 5 = -7. Solve -y - u*n - 4 = 8, -4*y - n - 20 = 0 for y.
-4
Suppose -4*q + 3*r = 196, -r = 2*r + 12. Let d = 56 + q. Solve 2*n - k + 5 = 0, 3*k - 2*k - 5 = d*n for n.
0
Suppose 0 = x - 3*r + 7*r - 10, 0 = x - r. Let z be (2 + -4)/(14/91). Let g = 17 + z. Solve 2*u + x*u - 4 = -4*n, 0 = g*n + 5*u - 3 for n.
2
Suppose 2726 = 134*z - 40*z. Let t be ((-2)/4)/(2/(-8)). Let g be (-1)/(-1) - (-8)/2. Solve i = -g*l, -t*i + 4*l + z = 3*i for i.
5
Let l = 140 + -140. Suppose 0 = 2*v - 2*w - 14, -4*v + 4 + 16 = -2*w. Solve 3*z + 3 = 3*i - l, 5*i - v = 3*z for z.
-1
Suppose 8*o = 4*o. Suppose 20 = -o*g + g. Solve -5*x + 5*w = -g, 0*x - 4*w - 12 = -3*x for x.
4
Suppose 9*q = 6*q + 4*h, 2*q - 4*h = 0. Solve -3*a = -f - 3, a - f = -q - 1 for a.
2
Suppose 5*b - q + 27 = -0*q, -21 = b + 5*q. Let n = b + 10. Solve -2*s - 25 = 7*l - 2*l, 0 = n*s + 20 for l.
-3
Let y(k) be the first derivative of -k**2/2 + 3*k + 1. Let v be y(5). Let i be -1 - -2 - v/1. Solve -i*g + 2 = 5, 2*g + 10 = -2*s for s.
-4
Let n(s) = 2*s**2 + 22*s - 100. Let m be n(4). Solve 4*d - 9*d = 4*x + m, 5*d = -x - 5 for d.
0
Let f be 6/(-12)*(-6)/1. Suppose 29 = f*d + 4*a, -a + 9 = 2*d - d. Let i = d - 5. Solve b - 7 = i*p, 3*b - 5*p = b + 16 for b.
3
Let a be (12 - 9)*(4 + 1). Let g be (1/2)/(a/(-8) + 2). Solve g*i + 21 = 5*p, 2*p + i - 15 = -4*i for p.
5
Suppose 5*g - 4 = -2*o + 11, 25 = -5*o. Solve 5*u - 4 + 3 = -v, -5*v = -g*u + 25 for u.
1
Suppose -20 - 5 = 5*p. Let b = p - -3. Let f = 0 - b. Solve -3*z = 5*k - 4*k - 8, -5*z - f*k + 14 = 0 for z.
2
Let d = -63 + 61. Let y = d + 6. Solve 3*k - y*j + 12 = 0, 9 = -k + j + 2*j for k.
0
Suppose 3*g - 38 + 32 = 0. Solve -2*v = -g*f - 4, 2*v = -3*v + 3*f + 16 for v.
5
Let d(l) = l**2 + 4*l - 55. Let j be d(-10). Solve -j*w + 2*n = -22, 4*w + 4*n - 13 + 1 = 0 for w.
4
Let t(m) = m**3 - 3*m**2 - 2*m - 5. Let p be t(4). Let q = p + 2. Suppose -23 + 3 = -q*l. Solve 3*z = -l*a + 2*z, a = z + 5 for a.
1
Let z be ((-35)/(-15))/(-7)*12 - -7. Solve 5*k - z*f = -2*f - 24, -3*k = 2*f + 4 for k.
-4
Let k(h) = 4*h**3 + 30*h**2 + 9*h - 33. Let u be k(-7). Solve 0 = 3*c + 2*i - 7, 0*i - 28 = -4*c + u*i for c.
5
Let b(i) = -i**3 - 3*i**2 + 10*i + 5. Let p be b(-