 + 3*j for f.
3
Let s(k) = -k**2 + 5*k + 5. Let l be s(5). Suppose -95*j + 2168 = 268. Solve 6*u - u = j, -4*y = -l*u + 36 for y.
-4
Suppose 14622*s - 14632*s + 210 = 0. Solve -19 = -2*t + 3*d, 22*t - 25*t + 2*d = -s for t.
5
Let m(p) = p**2 + 158*p + 1485. Let b be m(-148). Solve 0 = -5*x + 10, 0 = -b*k + 9*k + 2*x - 4 for k.
0
Let k(i) = 8*i + 35. Let o(z) be the first derivative of -z**2/2 + z + 20. Let u(m) = k(m) + 3*o(m). Let g be u(-7). Solve -4*r = -g*c - 5, 0*c = 5*c - 5 for r.
2
Let s be ((-726)/(-110))/((-2)/50). Let k = s - -166. Solve -u + 0 - 1 = 3*f, -3*u = 5*f - k for u.
2
Suppose 4*f - 176 - 26 = 2*k, 0 = -5*f + 4*k + 257. Let g = -46 + f. Let v be (-126)/12*(-2)/g. Solve 2*b - 19 = -3*h, 4*b = -5*h + v*b for h.
3
Let h = 8082 + -8071. Solve -21*l - h = -24*l - 2*m, l - 5 = -2*m for l.
3
Let d be (72/96)/(1/(-4))*-1. Solve 5*f - 2*z - 7 = 0, 3*f = -d*z + 6*z + 6 for f.
1
Suppose -3*d - 3*f = -18, -1 = -6*d + f + 7. Solve -2*q - 9 = -d*p + 3, 5*p = 5 for q.
-5
Let h(s) = s**2 + 6*s + 5. Let j be ((-3)/4)/((-2)/(-16)). Let x be h(j). Let w = -1114861 - -1114865. Solve -w*l + 5*t - 25 = 0, x*t = l - 0 + 10 for l.
-5
Let b be -2*(-9)/288*8*4. Solve -f = 3*a, -3*f + b*a = -3*a for f.
0
Suppose -351 - 181 = -28*u. Solve v + u = -5*g + 34, -3*g + 21 = 3*v for v.
5
Let a(w) = w**3 + 16*w**2 + 56*w + 8. Let x be a(-5). Suppose -19 = -x*o - 7. Solve -2*z + o*n = -6, -2*z + 0*n - n = 9 for z.
-3
Let m = 817 - 293. Suppose -530*k = -m*k. Solve 5*g = 2*a - 26, k = 4*a - 4*g - 23 - 5 for a.
3
Suppose 0 = -0*k - 2*k - 4, -5*k + 233 = 3*p. Suppose 53*o + 3070 + 1573 = 403. Let f = p + o. Solve -4*b - 9 = 5*s - f, 4*b + 8 = 5*s for s.
0
Suppose -21*o - 13 = -22*o. Suppose 2*r + m - 2 = 0, -6*m = 2*r - 2*m + 4. Solve 2*f + 3*s - o = -r, 2*f - 2*s = -4 for f.
1
Suppose 21 = 62*p - 68 - 35. Solve 5*f - 40*u + 45*u - 5 = 0, 0 = p*u for f.
1
Let j = -203 - -214. Suppose -3*d = -18 - 36. Suppose y + j - d = 0. Solve 0 = 3*t - t - 3*l + y, 14 = -5*t + 4*l for t.
-2
Let v = 72 - 17. Let l be 2 + 15/(-12) + v/(-20). Let n(g) = -g + 2. Let r be n(l). Solve 4*u - r*c + 8*c = -4, 3*u - 2*c - 17 = 0 for u.
3
Let a = -5436 + 5460. Solve -2*o = 2*v + 12, -a = 2*o + 2*o + 2*v for o.
-6
Let v(a) = -73*a + 1032. Let n be v(14). Solve 4*z + 14 = 2*p, 4*z + 6*p - n*p + 24 = 0 for z.
-1
Suppose 25*c = 28*c + 2*n + 5, -2*c - 3*n - 15 = 0. Solve -5*z + 3*b = 0, -c*z = -2*z - 4*b + 17 for z.
3
Let j(o) = -o**3 + 16*o**2 - 60*o - 25. Let u be j(9). Suppose 3*z + 12 = 7*z. Solve u*y + 4 = 4*x - 6, -13 = -z*x - 4*y for x.
3
Let u(t) = -87*t - 1041. Let o be u(-12). Solve 2*i = x - o, 6*i - 8*i = 0 for x.
3
Suppose -11*n + 250 = -6*n. Suppose 4*y - 3*z + z = -n, 20 = 4*z. Let t be (-5)/y - 3/(-6)*5. Solve -x = -t*m + 11 + 2, -3*x - 3*m + 9 = 0 for x.
-1
Let o(g) = -g**2 - 11*g - 20. Let k be o(-6). Suppose -l + k = b + 7, l - 4 = -2*b. Suppose -7*a + 10*a = 15. Solve z + 9 = -4*x, x + l*x + 1 = a*z for z.
-1
Suppose 5*g + 75 - 125 = -5*g. Solve 4*a = -2*h - 1 - 9, 0 = 3*h + g*a + 15 for h.
-5
Suppose 0 = 22*a + 13*w - 12*w - 134, a + 3*w = 12. Solve -4*t = -108*m + 106*m + 4, -3*m + 3*t = -a for m.
2
Suppose 0 = t - 18 + 17. Let r be (18/(-2))/(42/(-14)). Solve 2*s = -5*a - 7, 0 = 2*s - r*s - a + t for s.
4
Let s(y) = -9*y**2 + 665*y + 76. Let n be s(74). Solve -f - 5*r = -n*f - 15, 0 = r - 2 for f.
-5
Suppose -4*f = -4*v + 16, -14 = -3*v + 2*f + 1. Suppose -v = -3*c + 35. Solve -s - 10 - 6 = -3*h, -s - 3*h = -c for s.
-1
Suppose -72 - 91 = -28*g - 51. Solve -3*p - 10 - 21 = g*v, -16 = -v + 4*p for v.
-4
Suppose 38 + 104 = 69*b - 65. Solve 5*a = i, i + b*a = -0*i + 8 for i.
5
Let s be (-2)/(((-16)/(-12))/((-6)/(-9))). Let k(q) = 41*q + 46. Let v be k(s). Solve p = -4*b - 0*p + 8, 0 = 2*b - v*p - 26 for b.
3
Let u(b) = 2*b**3 + 16*b**2 + 21*b + 53. Let g be u(-7). Solve 0 = 3*t + 5*k + 27, -3*t - g = -3*k - 1 for t.
-4
Let z(l) = l - 19. Let c be ((-44)/10)/((-50)/250). Let s be z(c). Solve 8*p - 3*p + 29 = -g, p = 2*g + s for p.
-5
Let d = -7 + 5. Let k = d + 2. Let f(b) = -b**3 + 2*b**2 + 3. Let h be f(0). Solve q + 12 = 3*r - k*q, 3*r + h*q = 12 for r.
4
Let m be ((-5)/(-1) - (-19 + 28))/(-1). Solve 3*p - 3*t = -6, 0 = m*p - p + 4*t - 29 for p.
3
Let z be ((-6)/10)/((-25)/((-3750)/(-45))). Solve -12 = -4*k, -4*t - 28 = z*k - 6*k for t.
-4
Let j(g) = 32*g - 198 + 286 + 76. Let w be j(-5). Solve -4*c + w = -4*f, 4*f - f + 2*c = -8 for f.
-2
Let n be (-76)/(-22) - (-1134)/2079. Solve 4*t - 2*y - 2 = 6*t, 5*t + 1 = -n*y for t.
3
Let z be (-2 + 30/8)/(5/20). Suppose z*k = 75 + 23. Solve -3*i + 16 = 2*h, -4*i + 2*i = 2*h - k for i.
2
Let w = -12897 + 12905. Solve -3*c = t - 10 - 6, -2*t = -4*c + w for t.
4
Suppose -2 = 2*g - 4*n, 3*g = -3*n - n + 47. Suppose -q + 0*q - 2*x = g, -4*q + x = 9. Let y = q - -7. Solve -j + 22 = -5*b, -10 = -b + y*j - 3 for b.
-5
Let l be (5 + -4)/(3/6). Suppose -31 + 35 = l*r. Solve -d = r*v + 11, 5*d - v + 2*v = -10 for d.
-1
Suppose 24*g + 1146 - 1266 = 0. Solve 5*l + 15 = 5*o, -g*l - 3 + 8 = 0 for o.
4
Let g = 2218 - 2193. Solve 2*r + 5 - 10 = 3*q, -5*q = g for r.
-5
Suppose -18*p - 5 = 5*g - 23*p, -5*p = -4*g - 10. Solve 9*u = 5*u - 3*q + 8, -g*q = 2*u - 18 for u.
-1
Suppose -22*f + 3154 + 1620 = 0. Let k = -215 + f. Solve -4*w - 9 = 3*u, k*u = -3*w - 4 - 3 for u.
1
Suppose -7*k + 377 = 1588. Let i = -157 - k. Solve 3*q - 4*f = i, 3 = -q - 2*f - 5 for q.
0
Let i be 3745/56 + 1/8. Suppose 58*h - i*h + 45 = 0. Solve -15 = h*y + 3*l, -3*l + 15 = -5*y - 2*l for y.
-3
Let k be 4*(-3)/12 + -4. Let a be -7 + (k - (-7 + -8)). Solve -3*u - 9*w + 27 = -4*w, 21 = a*u + 3*w for u.
4
Let r be (7/21)/((-52)/(-24) - 2). Solve -q + 5*i = 4*q - 10, -2*i + 12 = r*q for q.
4
Let y be ((-78)/(-4))/(7 + (-209)/38). Solve 5*m + d + y = m, 0 = 2*m + 3*d + 19 for m.
-2
Let n be -6 + 1/(-7) + 4118/406. Solve -4*h - 12 = 0, -n*z + h + 4*h - 1 = 0 for z.
-4
Suppose 31*u + 29*u - 64*u + 20 = 0. Solve -2*j + 2 = h, -60*j + 55*j + u = 5*h for h.
0
Let x be 14/(-14 + 7) - -7. Let o be (-15)/(-5) + x + -6. Solve 3*s = o*y + 4, 6*y + 4*s - 36 = y for y.
4
Suppose -6*q + 3*o + 30 = 0, -57*q = -56*q + o + 4. Solve i = q, -2*w - 5 + 7 = i for w.
0
Let j(d) = 3*d**3 - 22*d**2 + 7*d. Let t be j(7). Let b be 1/(-3)*(5 + -17). Let k = 90 + -87. Solve t*y + y = h, -2*y + b = -k*h for y.
-4
Suppose -17*m + 12*m + 10 = 0. Suppose 10*n + m*n - 24 = 0. Solve -3*x = n*u + 3 + 10, -5*x + 5*u = 30 for x.
-5
Suppose -3*v + 10 = -2*m, 0 = 7*m - 6*m - 3*v + 5. Let s(a) = -a**2 - 6*a + 10. Let i be s(m). Let n = -52 + 56. Solve -u = 4*c - i - n, -5*u = 3*c - 10 for u.
-1
Suppose 4*i - 2*r - 82 = 0, 5*r + 43 = 2*i - i. Suppose i*n + 8 = 44. Solve 0 = -2*z + 2*t - 2, -2*z + 5*t = n*z + 9 for z.
4
Suppose 69*w + 2476 = 2821. Solve w*o = -4*b + 15, 100*b = 95*b + 25 for o.
-1
Suppose 0 = -5*a + 1246 - 1146. Solve -k + 5*l = -26, -a = 61*l - 57*l for k.
1
Let a = -11975 - -11981. Solve -5*d - 3 = m + 3, -a = 3*m + 3*d for m.
-1
Let q be (16/(-2) - 0) + (-210)/(-21). Solve 3*s = 4*s - l + 6, -q*l = -10 for s.
-1
Suppose -3*w = -w + 5*r + 25, -2*w = -2*r - 10. Suppose 11 = d + 3*v, 46*d + 2 = 44*d + 6*v. Solve 3*g + w*g - 15 = -a, -5*a + g = d for a.
0
Suppose 153*f = 166*f. Solve 3*z = -87*b + 85*b + 7, f = -5*b - 3*z + 22 for b.
5
Suppose -136*k - 3*s = -129*k - 95, 5*k - 25 = 5*s. Solve 5*f - 30 = -5*h, -f + 3*h = k - 1 for f.
2
Suppose 0*d - 3*d = -j, -3*j + 24 = -3*d. Let c(o) = 16*o - 20 - 28*o + o**2 + j*o. Let q be c(5). Solve 0 = -4*m + 2*a - a - q, 0 = -3*a - 9 for m.
-2
Let d be 2/10 - (-101)/(-5). Let y = d - -20. Let j(a) = -a**3 - 17*a**2 - a - 13. Let x be j(-17). Solve y*w + 10 = x*r + 2*w, 3*w = 3*r - 12 for r.
3
Suppose -3*p + 56 = 4*p. Suppose -6 = 3*w - 5*h, 6*w - 2*w + 3*h = -p. Let v be 32/(-24)*((1 - 2) + w). Solve 0 = -5*t, 2*m + 2*t = -2*m - v for m.
-1
Let u = -1275 + 1279. Solve -3*v + u*g = -7, 5*v + 2*g - 25 = 4 for v.
5
Let v(s) = s**2 + 2*s - 20. Let j be v(-6). Suppose n + 0*n + 2*k - 3 = 0, -4*k = j*n - 12. Solve -n*l - 3 = 3*f, -f - 2*l = 3*l + 17 for f.
3
Suppose -2*j + 4*s = j + 4, 5*j - 5*s + 10 = 0. Let q be (-2 + 1)/(1/j). Suppose 7*w - 55 + 41 = 0. Solve -q*c = -0*v + w*v - 6, 3*c - v - 17 = 0 for c.
4
Suppose 35 = i - u, u + 33 = 2*i - 37. Suppose 33*r + 