for k.
-2
Let g(j) = -2*j**2 + 9*j + 53. Let u be g(-15). Let m = 548 + u. Solve -m = -2*w - 6 for w.
5
Let q = -622 - -626. Solve 0 = -q*n + 114 - 122 for n.
-2
Suppose 17*d + 117 = 5*x + 19*d, -12 = -2*d. Solve 8*b = -19*b + x*b for b.
0
Let s = -509 - -300. Let u = 214 + s. Solve 13 = u*w - 12 for w.
5
Suppose 3755 = 2*j - 5*o, 5*o + 0*o - 5595 = -3*j. Suppose p + j = 1891. Solve -24*d = -p*d - 12 for d.
4
Let c be (-3 + 2)/(2390/300 - 8). Solve c = 45*x - 55*x for x.
-3
Let h = -3471 + 3473. Solve 7 - h = d for d.
5
Let v = -9363 - -9654. Solve -35 = 298*g - v*g for g.
-5
Suppose 2*p - 68 = -62. Suppose -42 = -p*o - 5*w, 2*o + 3*w = 7*w + 28. Solve -3*f - o + 2 = 0 for f.
-4
Suppose 0 = -7*j + 271 + 65. Let h = j - 65. Let y be (-32)/h - 14/(-119). Solve -k = y*k for k.
0
Let g(h) = -5*h + 36. Let b be g(17). Let d = b + 53. Let p(c) = -c**3 + 5*c**2 - c - 10. Let m be p(d). Solve q + m = -0*q for q.
-2
Let g(i) = -2*i**3 + 39*i**2 + 23*i + 32. Let t be g(20). Solve -19*s - 4*s = -t for s.
4
Let h(f) = -16*f**2 - f**3 - 84*f - 42*f - 14 + 67*f - 15*f**2. Let g be h(-29). Solve -20*u + 23*u = -g for u.
-5
Let j(u) = 26*u + 1802. Let n be j(-69). Solve n*z = 28 - 60 for z.
-4
Let v(c) = 963*c - 16348. Let a be v(17). Solve -54*h + a = -31 for h.
1
Suppose -7*j + 471 + 26 = 0. Let l(w) = w**3 - w**2 - 68. Let p be l(0). Let y = j + p. Solve 20 = -u - y*u for u.
-5
Let r be ((-38)/(-4) - 8)/(-1 - (-12)/8). Solve -485 = -r*z - 497 for z.
-4
Let j be ((47 - 34) + -12)*(-7)/(2/(-2)). Solve -11*s + 59 + j = 0 for s.
6
Let x(l) be the second derivative of -l**3/2 + 9*l**2 + 11*l - 3. Let t be x(-7). Suppose -16*j - 46 = -t*j. Solve 0 = h + j*h for h.
0
Let o(f) = -20*f**2 - 1160*f + 346. Let h be o(-57). Solve -1516 = -10*r - h for r.
3
Let n = 17775 + -17773. Solve 2*f = -f - n*f for f.
0
Suppose -3*k + 220 = -n, n + 79 + 213 = 4*k. Solve k = -13*h - 32 for h.
-8
Let m be (149 + -18)/((-2)/(-2)). Suppose -103 - m = -9*c. Let k = c + -21. Solve 0 = -k*p + 4*p - 3 for p.
-3
Suppose w + 0*w = 0. Suppose -14 = -23*q + 9. Let t be (8 - q)*60/210. Solve -3*c + t*c = w for c.
0
Let g = 34563 + -34556. Solve 0 = -1587*x + 1580*x + g for x.
1
Let z = -1773 + 1815. Solve 7*p = 56 - z for p.
2
Suppose -10*i + 29 = -11. Suppose -1 = -4*x + 4*j + 7, -2*j - i = -x. Suppose -2*m + 8 = -0*a + 2*a, -5 = -2*a - 5*m. Solve x = -w + a*w + 12 for w.
-3
Suppose 0 = -5*r - 4*y + 18 + 49, 5*r - 58 = -y. Let q be (12 - (-119)/(-21))/((-2)/(-6)). Solve -2*h = q - r for h.
-4
Suppose -69*w = -78*w + 54. Solve -w*h + 4*h = 8 for h.
-4
Let y be 10/(-2)*1/(16 + -17). Let s = 13 - 11. Suppose 4*k = s*k + 4. Solve k*r + y = 13 for r.
4
Let d be (252/(-24) + 11)/(2/44). Suppose -h - 6 = -3*o, d*h + 3 = 12*h. Solve 23 - 38 = o*x for x.
-5
Let y(v) = 8*v**2 + 21*v + 37. Let a be y(-5). Suppose a = 3*n - 5*r, 28*n + 144 = 32*n + 4*r. Solve 5*g - n = -29 for g.
2
Suppose 4*w = -v + 781, -3*w - 3*v + 2*v = -586. Let n = -194 + w. Solve -n = -5*j - 6 for j.
-1
Let r(p) = p**3 + 23*p**2 - 54*p + 50. Let g be r(-24). Let c = 775 - g. Solve c*n = 9 + 6 for n.
3
Let b(w) = -w**3 - 29*w**2 - 56*w - 50. Let u be b(-27). Suppose m + 11 = s - m, -u*s = 4*m + 4. Solve -s*v = -9 - 6 for v.
5
Let z be (-2)/(-4) - 44/8. Let h(u) = u**3 + 5*u**2 - 5*u + 1. Let m be h(z). Suppose -28*w = -m*w - 2. Solve -5*d + w + 4 = 0 for d.
1
Let k(y) = y**2 + 23*y - 931. Let i be k(22). Solve i*z - 2*z = 57 for z.
1
Let b be ((-8 - -8) + 2/(-4))*0. Solve 434*l - 436*l = b for l.
0
Let h be ((-37)/(-3))/(160/12 + -13). Solve h*j + 38 = -73 for j.
-3
Let d = -234 + 244. Suppose 21*a - 53 = d. Solve b - a + 4 = 0 for b.
-1
Let h = 1573 - 1573. Let x = 4 - -4. Solve x*i - 7*i = h for i.
0
Let u = -28350 + 28476. Solve 244*p = 258*p + u for p.
-9
Let y = 33 - -30. Suppose 27 = 2*n - 2*v + v, y = 4*n - 5*v. Let c be ((-8)/n)/((-1)/9). Solve -2*j + 5*j - c = 0 for j.
2
Let v be (-119)/(-14)*76/19. Solve 0 = -11*n - 10 - v for n.
-4
Suppose -2*s + 112 = 4*d + 14, 3*s = -5*d + 123. Solve -55 = d*b + 41 for b.
-4
Suppose 248*u + 639 = 5103. Solve 0 = -u*r - 109 + 37 for r.
-4
Suppose -104 = 5*v - 18*v. Suppose o = -v*o. Solve o = -5*k + 3*k for k.
0
Let x = -16 - -19. Suppose 2*k - x*v - 28 = v, 0 = -5*k - 2*v + 34. Suppose -k*f + 2*f = -48. Solve z = 3*z - f for z.
4
Suppose 59*t = 255*t - 354 - 626. Solve 104*d - 103*d = -t for d.
-5
Let t(j) = j**3 - j**2 - 2*j. Let z = 51 + -49. Suppose -5*y = z*y - 14. Let i be t(y). Solve 5*u + 5 + 5 = i for u.
-2
Suppose 4*y + 5*x = 16 + 438, -x + 115 = y. Solve -y*q + 10 = -119*q for q.
5
Suppose 4*v - 7*z = -4*z + 204, 3*z = 2*v - 114. Solve -v*k + 21*k + 21*k = 0 for k.
0
Let s(d) = 12*d**2 - 64*d + 453. Let w(q) = 5*q**2 - 32*q + 227. Let p(a) = -3*s(a) + 7*w(a). Let r be p(6). Solve t = -r*t - 12 for t.
-4
Let f(b) = -16*b**2 - 124*b + 193. Let m be f(-9). Suppose 2*c - x = 2, -6 = -c + 4*x - 19. Solve 1 = -c*w + m for w.
4
Let u(y) = 528*y + 6386. Let z be u(-12). Solve -19*j - 6*j = z for j.
-2
Let z = 12368 + -12355. Solve 80*q + z = -67 for q.
-1
Suppose -3*q = 2*i - 14, -5*i + 4*q = q - 35. Let g be 35/2*388/679. Solve g*v - 6 = i*v for v.
2
Let v = 9295 + -9295. Solve 4*h - 1 - 35 = v for h.
9
Suppose 3*v + 4*x = 6, 4*x + 30 = 396*v - 393*v. Solve -v*a - 2*a = 32 for a.
-4
Let c be 3 + 8 + -9 - -3. Let d = 14 - 10. Solve -d*v + c = -15 for v.
5
Suppose -9*p + 31 = -14. Let s(w) = -30*w + 162. Let q be s(p). Solve q*b + 11 = -13 for b.
-2
Suppose 18 = 604*l - 602*l + b, 3*l + 5*b = 6. Solve -l - 8 = 10*r for r.
-2
Let b(l) = -l**3 - 7*l**2 + 9*l + 8. Let p be b(-8). Suppose -w = -287 - 47. Let s = -332 + w. Solve p = -s*c - 0 - 4 for c.
-2
Suppose 18 = 3*u, -n - u + 124 - 62 = 0. Solve -n*d + 309 = -139 for d.
8
Let d(z) = z**2 + 6*z. Let n be d(-6). Suppose 84*a - 18 = 82*a. Suppose -5*u = 3*b + a, -2*b - 8 = 3*u + u. Solve b*c - 2 - 8 = n for c.
5
Suppose -51*j - 5*j = 0. Solve -20*q - 8 + 28 = j for q.
1
Let x = -7 + 11. Let o = -173 - -176. Suppose -o*d = -6*d + 3*s, -4*d + 30 = 2*s. Solve 29 = d*w + x for w.
5
Let x = -10172 - -10297. Solve -x*t + 115*t + 20 = 0 for t.
2
Suppose -5*y + 2*z + 90 = -313, -3*z - 12 = 0. Let p = -79 + y. Solve -2*f - 6 = -p*f for f.
-3
Let h = -148 - -227. Let g be ((-308)/10)/(148/370). Let c = h + g. Solve b - c = 3 for b.
5
Let c(h) = 2*h**2 + 29*h + 92. Let o be c(-12). Solve -o*u - 135 = -7 for u.
-4
Suppose -33*s + 81 = -6*s. Let j(z) = -z + 18. Let f be j(14). Suppose f = 3*u - 20. Solve s*o - o + u = 0 for o.
-4
Let p(z) = -7*z - 37. Let c be p(-7). Suppose c - 87 = -5*w. Solve 0 = 5*r - 0 - w for r.
3
Let z(o) = 2*o**2 + 3*o + 166. Let v be z(-12). Solve -v*u = -414*u for u.
0
Let t = 549 + -537. Suppose 7*k - t*k + 20 = 0. Solve -2*s - k = -8 for s.
2
Let w be (36/45)/((-4)/(-10)). Let a be -3*w/18*-6. Solve 2*x - 6 = a for x.
4
Let g = 7776 - 7728. Solve 29*w + 39 = -g for w.
-3
Let o(r) = -2*r**3 - 4*r**2 - 4*r - 14. Let u be o(-4). Let d be u/30 - (-2)/(-10). Suppose v = -2*m + 4, 2 = 5*m - d*v - 26. Solve m*z = 2*z for z.
0
Suppose 126 = 416*k - 434*k + 342. Let b(c) = c + 7. Let o be b(8). Solve k*l = o*l + 12 for l.
-4
Let u(t) be the third derivative of -3*t**4/8 - 217*t**3/3 - 30*t**2 + 4. Let q be u(-52). Solve -31*c + q*c = 15 for c.
5
Let w(g) = -2*g**2 - 11*g. Let o be w(-5). Suppose -3*t + 3*c + 14 = 4*c, 0 = -2*t - o*c + 31. Solve -6*r + t*r - 15 = 0 for r.
-5
Let z = -19 - -60. Let g be 4 - (4 + 4 + 35). Let s = z + g. Solve -5*h - s = 23 for h.
-5
Let f(h) = -180*h - 2695. Let c be f(-15). Solve c*b = 21*b - 80 for b.
5
Let t = 9170 + -9148. Solve -27*v - 98 = t*v for v.
-2
Let q(j) = 140*j - 3. Let m be q(1). Let z = -131 + m. Solve 0*v = -3*v - z for v.
-2
Let q(a) = 61*a**2 + 190*a + 385. Let x be q(-2). Solve -14 = -x*c + 251*c for c.
-7
Let k be (2 - 76/(-6))/(14/((-378)/(-9))). Solve -25*j + 171 = -k*j for j.
-9
Let l(y) = y**3 + 9*y**2 + 10*y + 2. Let c be l(-7). Let n = -28 + c. Solve -n*h = h - 3 for h.
1
Let t = 11 - -2. Let w = 27 - t. Let i be (14/49)/(2/w). Solve -1 = d + i for d.
-3
Suppose -3*w - a + 0*a = -7, -4*w + 26 = -2*a. Suppose 2*q - w*q = -4*i + 84, -4*i = -4*q - 92. Solve 4*y - i*y = -30 for y.
2
Suppose -3*r + 168 = 2*j, 55 = 3*j - 4*r - 129. Solve -w + j = 78 for w.
-6
Suppose 2*c