7 for k.
4
Suppose 59*p = 55*p + 136. Suppose -11*q - p = 21. Let g be 1 + 2 + (q - 1) - -13. Solve -g = -4*r + 3*h, 3*r - r - 10 = -h for r.
4
Let i(c) = -c**2 + 16*c - 55. Let a be i(7). Let q = a - 5. Solve -20 = q*p + 5*y, y + y = -p - 8 for p.
0
Let a(u) = 2*u**3 - 10*u**2 - 9*u - 219. Let k be a(8). Solve 18 = 5*q - t, 0 = -90*q + k*q + 2*t - 16 for q.
4
Suppose 0 = -202*u + 194*u + 296. Suppose 5*b - u = -3*d, 3*b - 20 + 1 = -d. Solve -3*y + 3*o = 15, 5*y + d*o + 2 = -5 for y.
-3
Suppose 0 = -l - 213 + 229. Suppose 4*c - 5*h + 20 = c, 2*c - 4*h + l = 0. Solve -5*i + x = -14, c*x + 10 = i - 2*x for i.
2
Let z be (3/(-4))/((-6)/16). Suppose 5*o - z*o = o. Let r be (0 + -3)*(4/(-2) - o). Solve 0 = 5*g - 2*a + 16, 0*a = -g + 5*a + r for g.
-4
Suppose -15*l - 2*l + 7140 = 0. Suppose -427*m = -l*m - 14. Solve -q - 2 = -3*f + m, 0 = 2*f - 4*q + 14 for f.
3
Let z(l) = l**2 - 14*l - 1. Let s be z(13). Let y be (-3 + 2 + s)*(-4)/12. Let t be (0*y/(-25))/2. Solve -2*j + 7*j - 3*r = 3, -j + r - 1 = t for j.
3
Let l(g) = 4*g - 12. Let f(v) = -12*v + 38. Let c(w) = 5*f(w) + 16*l(w). Let j = 14 + -13. Let r be c(j). Solve 4*p - 4*o + 40 = -0*o, r*o + 5 = -3*p for p.
-5
Let t(d) = -d**3 - 4*d**2 + 16*d + 31. Let b be t(-6). Suppose -b*n - 15 = -12*n. Solve -3*g + 6 = -n*o - 0*g, -g - 13 = 4*o for o.
-3
Let r(w) be the first derivative of w**3/3 - w**2 + 3*w - 20. Let y be r(1). Solve -4 = -2*k - 3*k + 3*v, -y = -v for k.
2
Suppose -333 + 684 - 318 = 11*t. Solve t*m + 10 = -5*r + 35, -m = 3*r - 15 for r.
5
Let l = 9161 - 9157. Solve -9*n + 6*n = -4*c + 3, -l*n - c - 4 = 0 for n.
-1
Suppose 19*u = -10*u + 116. Solve u*p = 2*g + 2*g - 4, -22 = -4*g - 5*p for g.
3
Let d = 259 + -109. Let r = d - 146. Solve r*x + 0*x - y = 8, 0 = 2*x - 2*y - 10 for x.
1
Let u be (-472 + 477)*(-4)/(-10). Solve -3*z = -z - 4*q + 14, u*q - 10 = 4*z for z.
-1
Let p be (-294)/(-102) + ((-6)/(-8))/(204/32). Solve p*f = -3, -2*d - 3*f - 13 = -0*f for d.
-5
Let z be (5/(-15))/(1/(-141)). Let o be (-3 - -2)/(-1) + z. Suppose 8*j - o = -0*j. Solve v + 0*v - 2 = -2*f, -3*v = 2*f - j for v.
2
Let d(p) = 2*p**2 + 6*p - 8. Let m be d(-5). Suppose -m = -4*r - 0. Solve -r*t - 6 = -2*z - 17, -10 = -2*t for z.
2
Let r be (-29 - -30)/(-3*(-4)/60). Solve -14 + 6 = 5*o - 2*q, -3*q - r = o for o.
-2
Let b = -47 + -236. Let d = -280 - b. Solve -d*g - 21 = -3*o, o + 5*g = -3*o - 17 for o.
2
Let i(w) = -2*w - 14. Suppose -22*u + 27 = -25*u. Let y(b) = -b**2 - 7*b + 9. Let v be y(u). Let k be i(v). Solve -2*j = 5*p - 5, -k*j + 5*p - 20 = -3*j for j.
-5
Let k(b) = -b**2 - 9*b + 69. Let g be k(-13). Suppose 41*q = g*q. Solve -j + 4 = -2*d - q*j, -28 = 3*d + 4*j for d.
-4
Let z = -7 - -15. Suppose -108 = -592*k + 565*k. Solve -4*j - z = 3*h, 5 = -k*h - 2*j - 9 for h.
-4
Suppose -40*j - 20 = -82*j + 40*j. Solve j*y - 1 = -4*s + 15*y, -4*y = -3*s for s.
4
Suppose -608*a - 290 = -753*a. Solve -5*b + 176 = 186, -a*b - 2 = -c for c.
-2
Let c(o) = o**3 + 17*o**2 + 28*o - 23. Let t be c(-15). Suppose -1584 + 1500 = -t*q. Solve -z - 3*x - q = 0, -3*z + 5*x + 20 = -z for z.
0
Suppose 3*m - 9*m = 0. Suppose q = -4*u + 7, u - 8 = -2*q - u. Solve m = 2*w - 2*l - 2 - 0, -4*l - 32 = q*w for w.
-4
Let z(k) = k**3 - 10*k**2 - 9*k - 25. Let t be z(9). Let o = t + 203. Solve -5*n = c - 24, 7*n - 2*n - c = o for n.
4
Let u(x) = x**3 + x**2 - 5*x - 4. Let i be u(-2). Let d be (-3 + i)/((-7)/(19 + -5)). Solve 2*f - d*r = 0, -1 = 4*f + f - 4*r for f.
-1
Let g(l) = l**3 + 11*l**2 + 17*l - 1. Let b be g(-9). Suppose 0 = 2*n + b*m - 4*m, 5*n = 3*m + 13. Solve -4*o = -o + 2*z + 5, n*o - 2*z - 10 = 0 for o.
1
Let x = -5693 - -5733. Solve 4*j + 32 = -x*r + 36*r, 4*r = 5*j - 5 for r.
-5
Suppose -3*w + 4*j - 6 = 0, -38*w + 5*j - 21 = -41*w. Solve 9*k - 11*k = 5*q - w, -1 = -4*q - k for q.
0
Let c = -22401 + 22434. Solve 2*d = 4*s - 14, -5*s - c = 4*d - 44 for s.
3
Let s = -20109 + 20144. Solve 0 = -5*q - 2*x + 5*x + s, 3*q = -3*x - 3 for q.
4
Let m = 8959 + -8871. Solve -2*j = 2*o + 4, 2*j + 4 = -m*o + 93*o for j.
-2
Let o = -88 + 96. Suppose -12*u = -o*u - 12. Let m be 9/(-12) + -17*u/(-4). Solve 0 = -2*g + 5*p + 34 - 6, -2*g + p = -m for g.
4
Suppose -r + 6*r = 5*d - 145, -3*r + 109 = 4*d. Let a be 37/d*4 + 2/(-7). Let k = 1 + 2. Solve -n = a*t + 5, 5*n + 25 = -k*t + 2*t for t.
0
Let h = 764 + -760. Suppose h*x - 7*x - 30 = -3*f, -3*x - 50 = -5*f. Solve -3*i + f = 4*k - 12, -26 = -4*k - 5*i for k.
4
Let z = 346 - 344. Suppose -q + 5 = -4*l, 6*q = 4*q - z*l + 10. Solve 2*m = q*r + 19, 4*m + 5*r + 7 = -0*m for m.
2
Suppose 55 = -3*z + 8*z + n, -5*n - 15 = -4*z. Solve -3*a - 18*r + 5 = -20*r, -5*r = -z for a.
3
Suppose 11*r = -3*r - 15*r + 145. Solve 2*s - 21 = -r*c, 12 = 5*c - s - 0*s for c.
3
Suppose 3*s = -13*s + 272. Let y(l) = -l**3 + 16*l**2 + 18*l + 21. Let w be y(s). Solve -q - 4*v - 15 + w = 0, -v = -q - 2 for q.
3
Let g = -13399 + 13423. Solve 0 = 4*n - 11*w + 9*w - g, n - 15 = 5*w for n.
5
Suppose 49 = -5*s - 61. Let m = s + 24. Solve -4 = 3*g - i - 5, -m*i = -g - 8 for g.
2
Suppose 8*d + 4 = -w + 4*d, -3*d - 3 = 3*w. Suppose -8*b + w = -40. Solve -2*o - b - 3 = -2*v, -o = 5*v - 26 for v.
5
Let f(a) = 17*a**2 - 337*a - 56. Let o be f(20). Solve -o*g + 1 = -5*w, 0*w - 4*g + 10 = -2*w for w.
3
Let g be 2/(-1) + ((-27)/(-18))/((-3)/(-4)). Solve 0*r = 5*r - o - 24, 2*o + 8 = g for r.
4
Let z = 145 + -85. Suppose -5*r - 7*r = -z. Solve -2*q - 18 = -r*a, 2*a = 5*q + 4 - 1 for a.
4
Let c(k) = -8 - 1 - 4*k + 510*k**2 - 509*k**2. Let x be c(6). Suppose 3*z - 6 = 0, x*s + 3*z - 6 = 9. Solve -22 = -s*v - 0*t + 2*t, -5*t = 25 for v.
4
Suppose -t = 4*t - 25. Let d be -28 + 32 + (-1)/1. Suppose 2*u + 2*y = 4, -3*u + d = -y - 11. Solve -u*x + 5*j - 9 = 0, j - 2*j = -t for x.
4
Let z = -3433 + 5496. Suppose -1991 + z = 6*i. Solve -9 = -3*t, -2*q - q = -t + i for q.
-3
Let h(p) = 159*p + 4620. Let l be h(-29). Solve 4*x + 32 = l*x + 4*o, -5*o + 40 = -4*x for x.
0
Let w = -1294 + 1314. Solve -2*j + w = 4*c, 16*c = 21*c - j - 18 for c.
4
Suppose -26 = -3*a - 4*i, -4*a + 7*a + i = 11. Let f = 10 + 1. Suppose -f*m = -3*m - 16. Solve -m*n = -a*l, 3*n = 4*l + n + 8 for l.
-4
Let j(h) = -4*h - 1. Let n be j(-1). Suppose 15 - 6 = n*c. Let q(z) = -z**3 + 18*z**2 + 18*z + 20. Let w be q(19). Solve 3*y + c*v + 3 = 0, -3 = v - w for y.
1
Let q be (16 + 0)*(3/18 - (-7)/84). Solve 12*k - 17*k - 2 = 4*y, 5*k + 2*y - q = 0 for k.
2
Suppose 928 + 1048 = 76*d. Solve 2*b + 5*p + d = 0, b - 5*p - 11 = -2*b for b.
-3
Suppose -f - 3*f = 40. Let d be 1434/f + 1 + 10/25. Let o = d - -145. Solve 0 = -o*b - 0*p + 2*p + 3, -2*p = 0 for b.
1
Let l(m) = 910*m**2 - 911*m**2 + 2 + 8*m + 22. Let a be l(-2). Solve -3*i - 2 = -r, 0*r = -a*r - 5*i - 26 for r.
-4
Suppose b = 3*m - 9, -3*m - 2*b + b = -3. Let c be -2 - 10/4*(-48)/20. Suppose q = -0*d + 5*d, 5*q - 29 = -c*d. Solve -q*x = v + 24, v - m*v + 1 = 0 for x.
-5
Let c(t) = t**3 - 42*t + 131. Let v be c(3). Solve 3*d + 4 = 5*y, -5*y = 5*d - 12 + v for y.
-1
Suppose 0 = -4*w - 0*w - 5*b + 23, w + b - 5 = 0. Let x(s) = -s**2 + 15*s + 36. Let m be x(17). Solve w = 2*q - 3*i + 24, -3*i + 2 = m*q for q.
-5
Suppose 5*b + 25*j - 67 = 26*j, 0 = b - 5*j - 47. Solve -4*a + 1 = 5*d - 29, b = 5*a + 2*d for a.
0
Suppose 0 = 349*v - 357*v - 784. Let k = -92 - v. Solve -o = -3*i + 7, -2*o + k = -4 for i.
4
Let a(x) = -x**3 - 54*x**2 - 52*x + 58. Let c be a(-53). Solve 0 = 4*l - 5*n - 0*n - 15, -3*n - 22 = -c*l for l.
5
Suppose -2*n + 23 = -n. Suppose -y + 2*h - 3 = 0, -6*y + 3*y = h - 12. Let g = -279 + 292. Solve -5*s + n = -d, y*s = d - 0*d + g for d.
2
Suppose 1 = 13*k + 79. Let c be k/21 - (-161)/49. Let p = -12 - -12. Solve -l - 9 = -c*d - p*l, -d - 4*l = -16 for d.
4
Let a(y) = -y**2 - 5*y + 14. Let j be a(-6). Let r = 0 - j. Let s be (-49)/(-17) - r/68. Solve -3*c = -5*t + c, -s*t - 13 = -5*c for t.
4
Let g(k) = 6*k - 115. Let m be g(24). Solve -27*p = -m*p + 3*n + 25, -5*p = n - 20 for p.
5
Let d be -1*(3 + -13) - (-2 - -10). Solve 5*f = -3*a - 19, d*f - 2*a + 4 = -10 for f.
-5
Let z(o) = -25*o**2 - 101*o - 1. Let f be z(-4). Solve -f*n + 4*x + 3 = 0, 2*n + 5*x = 4*n + 5 for n.
5
Let i be (-3*(-2)/(-8))/(132/(-5280)). Solve 5*z - i = p, 3*z - 20*p = -18*p + 25 for z.
5
Let a = -58 - -113. Suppose -i = 5*v - a, 4*v - i =