= 3*t + j*n for t.
-2
Suppose 13*f - 12798 = 12058. Let z = 1917 - f. Let r = 5 + 0. Solve 2*k + 4 = 3*x + 1, 4*k - z = -r*x for k.
0
Let w(o) = 4*o + 29. Let r = 67 + -67. Suppose 0*m = 2*m + 3*q + 20, r = 4*m - 5*q + 18. Let t be w(m). Solve 0 = 2*u - 3*c + 1, -u + 3*c = t - 2 for u.
-2
Let y = 814 + 86. Let g = 900 - y. Solve -c - 5*t = -0*c - 23, g = 5*c + 2*t for c.
-2
Let g(n) = 2*n**2 + 103*n + 1062. Let k be g(-14). Solve 0 = -3*a + 3*t - 24, 0 = 4*a - 7*t + k*t + 14 for a.
-6
Let c = -762 - -768. Let g be ((-21)/28)/(2/8) + c. Solve q = 2*i - g*q + 4, -5*q = 3*i - 5 for i.
0
Suppose 2*o + 5*c = 251, -3*c = -2*c + 5. Let g = o + -136. Solve 2*k - 3*u - 6 = g*u, -2*u = -3*k - 2 for k.
-2
Let a(s) = s**3 - 2*s**2 - 4*s + 6. Suppose 2*l + 9*q - 8 = 7*q, 12 = 3*q. Let y be a(l). Solve 2*n + 29 = -5*z, -z = n + 13 - y for n.
-2
Suppose 16*a = 3*a + 546. Let u = -23 + a. Suppose -2*v + u = 9. Solve 0 = -2*l - 5*o, -2*o = v*l - 6*o - 33 for l.
5
Suppose 23*s - 4436 + 1170 = 0. Suppose s*t = 139*t + 15. Solve t*a = -g - 15, 0*a - 3*a = 9 for g.
0
Let h = -10 + 9. Let c be 28/(-35)*h/(-2)*-5. Suppose -c*q + 8 = 2*q. Solve 10 = -5*l - 3*k, -10 = 5*l - l + q*k for l.
-5
Suppose -7*h - 3236 = -3264. Let l be -2*1*7/2. Let x(u) = -u**3 - 6*u**2 + 8*u + 10. Let v be x(l). Solve h*m = 3*m, -3*c - v*m + 15 = 0 for c.
5
Let j(s) = -2*s**2 + 57*s - 28. Let p be j(28). Suppose h - 13 - 17 = p. Solve -2*i + 4 - 2 = -4*r, -3*i - h = 5*r for r.
-3
Suppose 61*b - 134*b + 58*b = -30. Solve 5*d = -b*g + 18, 10*g - 13*g = 3*d - 9 for g.
-1
Suppose -1552*c = -792*c - 780*c + 5320. Solve 2*o + 12 = 4*w, 3*w + 258 - c = o for w.
2
Let a be (-1 - 7 - (-3053)/355) + (-57)/(-5). Solve 3*x = -5*v - 32, 0 = -65*x + 62*x - a for v.
-4
Let g be 63/1323 - 520/(-105). Solve 3*l - b - 6 = -1, g*b = -25 for l.
0
Suppose -27*v + 22*v + 3*y + 5 = 0, 2*v - 3*y + 7 = 0. Solve -4 = -2*p + 5*j, v*j = -4*p + 2*j - 16 for p.
-3
Let d be ((-2)/(-6)*(41 + -41))/((-1)/1). Let w = 0 - 2. Let a = w - -7. Solve c = -f - d*f - 5, 5*f - 5*c + a = 0 for f.
-3
Let i be 3*1/(-10)*380/(-38). Solve 4*c - i*c = -5*f - 12, -c = 4*f + 9 for f.
-3
Suppose -4*p - 4 = 2*i, -3*i + 9*p = 4*p - 5. Suppose 32 + 2 - 10 = 3*o. Solve -5*v + 20 = -4*w, -2*v = 4*w - i*w - o for w.
0
Let o be (20/(-12))/((-1)/3). Suppose -2*v = -2*t - 0*t - 14, 5*t + o*v = -55. Let m be 3/(t/12) + (-48)/(-6). Solve -m*a - 2*p + 6 = -6*a, 0 = p - 4 for a.
1
Let m = 2843 - 2838. Solve 2*c - 4*t + 30 = 0, 0 = -2*c - m*t + 12 + 3 for c.
-5
Let w be 160*(8/1)/(-8). Let y = w - -168. Let r(n) = -n + 7. Let b be r(-6). Solve -5*d - 2*c + b = -c, 0 = d + 2*c - y for d.
2
Let c(j) = -j**2 - 10*j - 19. Let m be c(-4). Suppose n - r = 0, 3*n + 4 + 0 = m*r. Solve 5*t + 30 = -5*p, -n*p - 9 - 12 = 5*t for p.
-3
Suppose s = 1 + 1. Let y be 18/(-33) - 2408/22. Let l be 6/(-33) - ((-100)/y)/(-5). Solve -j - 9 = -l*j - s*p, -4*j - 30 = -5*p for j.
-5
Suppose -2*v - 9 = v. Let u(c) = c**2 - 2*c - 11. Let a be u(v). Suppose 3*j + o - 35 = -a*o, 2*j - 4*o = -6. Solve 0 = h - j*m - 6, 0 = m + 4*m + 10 for h.
-4
Let w be 7 + 1 - (5 + (-35 - -34)). Solve -4*b - w*p = 4, 4*b - 38 = -p - 36 for b.
1
Suppose -87*z - 72*z + 477 = 0. Solve z*r = r - 2*l + 4, r - 5*l = 8 for r.
3
Let x(z) = -2*z**3 - 14*z**2 - 12*z + 4. Let b(v) = -5*v - 116. Let p be b(-22). Let l be x(p). Solve 4*g = 7*g + 5*n + 23, -5*n = -l*g + 16 for g.
-1
Suppose -2*j = o + 7, 0 = 39*j - 42*j - 4*o - 8. Let q be (j*(-10)/(-180))/(1/(-9)). Solve -c - 4*c = q*d + 17, 0 = -4*c + 2*d - 28 for c.
-5
Let m = -52 + 57. Suppose 5*y + m*t - 409 + 39 = 0, 2*y + 5*t = 136. Let v = y - 75. Solve 0 = 3*n + 3, 5 = -5*g + v*g + n for g.
-3
Let r(k) be the first derivative of -k**2 - 18*k - 119. Let z be r(-11). Solve d + z = 0, -5*f - 19 = d + 5 for f.
-4
Suppose -3*v = -v - 3*y - 8, 4*y - 16 = 0. Suppose 0 = -2*o - 5*m + v, 2*m - 5 = -8*o + 7*o. Solve -4*t - 5*l - 2 = 0, -3*t = t - o*l - 18 for t.
2
Let p(r) = 18*r - 87. Let w = -251 - -256. Let s be p(w). Let d(l) = l**2 + 15. Let t be d(0). Solve -s*z = 3*m - t, 4*z - 3*m = -5*m + 16 for z.
3
Suppose 80 = -24*m + 22*m. Let p be (-9)/((-18)/8) + 41. Let g = m + p. Solve 3*f + g*t + 17 = 5*f, 5*t = -3*f - 37 for f.
-4
Suppose -3*c = -5*n + 15, -3*c - 2*c + 6 = 2*n. Let k(i) = -2*i**3 - 2*i**2 + 2. Let b be k(0). Solve 3*q - b*y - 11 = c, 2*y = 5*y + 12 for q.
1
Let x = 610 - 691. Let v = 85 + x. Solve 0 = v*z - 4*u - 16, -3*z = 2*z + 2*u - 20 for z.
4
Suppose 720 - 350 = 34*v - 1398. Let w be -3 + -48 - (-2)/1. Let f = w + v. Solve -2*y = -r - 3, 3*r + y + 1 = f*y for r.
1
Let u be 10*(54 - 1712/32). Let n be (1 - 1 - -1) + 1. Solve 3*f = -n*w - 5, -u = 2*w - f - 12 for w.
2
Let t be -1 + 7 + (-9 - (-42)/6)/2. Solve -5*n - 10 = -t*u, 0 = -u - 3*u + 3*n + 3 for u.
-3
Suppose -4*h - 2*g = 34, -g - 2 = g. Let a be h/(-3)*15*(-6)/(-60). Solve -2*b = -a*r + 14, 3*b = -0*r - r + 14 for b.
3
Suppose -111 + 279 = 4*j. Let d = j + -40. Suppose 2*u + h = -0 + 1, 2*u = 2*h + 16. Solve 0 = -u*z - x + 4*x, d*z - 20 = -3*x for z.
4
Suppose a = 4*m - 626, -2 + 10 = 4*a. Suppose -2*r + m + 67 = 0. Let l be 4/(-14) - (-256)/r. Solve l*d = -t - 0 + 3, 2*t + 2 = 4*d for t.
1
Let p = 36 - 36. Let y be (p - (-81)/(-6))*(-632)/(-6). Let z be y/(-72) + (1/4 - 0). Solve -4*g + 2*a = z, -a - 4*a = -2*g - 18 for g.
-4
Let n = 13 - -15. Let p(j) = -j + 43. Let y be p(n). Solve h + 0*k - 5 = -5*k, 3*k = -3*h + y for h.
5
Let a(x) = x**2 + 22*x + 14. Let b be a(-21). Let w(h) = h**2 + 23*h + 112. Let n be w(b). Solve -3*t - 21 = -3*y, n*t + 3*y = -5*t - 19 for t.
-5
Let o(w) = w**2 - 10*w - 34. Let n be o(10). Let d be (n - -35)*(5 + 0). Solve -p - 3*s - s + 2 = 0, d*s = 3*p + 11 for p.
-2
Let a be 12 + -2 - (1 - -6). Let w be -1 + 2 + ((-48)/(-8) - a). Let k = 3 + -2. Solve s = -w + 2, -h - 2*s = -k for h.
5
Suppose 2*n = -n + 5*n + 4*n. Solve -14 = -4*m - 5*b + 11, n = m + b - 5 for m.
0
Let g(h) = -22*h**3 + 2*h. Let z be g(-1). Let p be z/50 - 2/5. Solve -3*r = -3*y + 6, p = -3*y - 0*y - 5*r + 22 for y.
4
Let i(x) = 2*x + 24. Let p be i(-6). Let c be (0 + -1)/((-3)/p). Let n = -4 - -4. Solve f - c*k - 5 + 4 = n, 19 = -5*f - 4*k for f.
-3
Let a = 33 - 24. Let i(s) = s**3 - 9*s**2 + 4. Let f be i(a). Suppose d = -2 + f. Solve -j + 5*h = d*j + 16, -j - 10 = -4*h for j.
-2
Let b(u) = -103*u - 138. Let x be b(-2). Solve 73*j = -3*n + x*j + 20, 5*n - 12 = -3*j for n.
0
Suppose 0 = -40*s - 15043 + 3843. Let z = -275 - s. Solve -g + 18 = 2*g + 3*t, z*t - 15 = 0 for g.
3
Let q be 98/28 + (27/(-6))/(-3). Suppose 2*k + k = q*h - 60, 0 = -2*k. Suppose 4*j = -l + 16, -3*j + 4*l - 4 + 35 = 0. Solve 5 = -5*c, -c - h = -j*v + c for v.
2
Let h(k) = 71 - 29 - k + 31*k - 40 + 2*k**2. Let n be h(-15). Solve 5*r + 13 = -n*c - 17, -31 = 4*r + 3*c for r.
-4
Let q = -80 + 80. Suppose q = 7*u + 4*u - 660. Suppose 8*h - 5*h = u. Solve -4*o - h = 0, -o - 11 = 3*z - z for z.
-3
Suppose 6 = -2*i - 0*i + p, -i - 3*p - 10 = 0. Let u(f) = 4*f + 0*f + 1 + f**2 - 5 + 11. Let o be u(i). Solve -5*x = -o*r + 2*r, 3*r + 28 = -4*x for r.
-4
Suppose -s + 2*w - 5*w + 78 = 0, -s + w = -70. Let m = s - 60. Suppose -m = 3*p - 6*p. Solve 0*u + 2*u - 2 = -z, -p*z = 3*u - 13 for u.
-1
Let s be ((-27)/3)/(6 + (-85)/15). Suppose 4 = -g, 4*h - g - 4*g = -100. Let u = s - h. Solve 5*b - 17 = -3*f, -u*b = -f - b - 9 for f.
-1
Let o be 5 - (-3 - 7/(14/(-8))). Let l be -1 + (-12)/(-10)*10/o. Suppose l*n + 3*c + 5 = 0, 3*n - c + 6 = -5*c. Solve a + 1 = -p - 0, 3*p + 4*a = -n for p.
-2
Suppose -2*o = -12*a + 11*a - 70, 0 = 5*a - 4*o + 338. Let f be a/(-12)*(2 - (-20)/(-22)). Solve -4*y - 4*c = -4, -2*c - f = 4*y - 4 for y.
-2
Suppose -2*w + 38 = -4*m, 4*m - 18 = -w + 5*m. Solve -10*i + w = 5*d - 12*i, -4*i = d - 21 for d.
5
Let j be 65/(-26) - 13/(-2). Suppose -j*t + 5*c + 18 = 6, 4*t - 12 = 4*c. Solve -4*q - 3*b - 15 = q, -q = -t*b - 15 for q.
0
Suppose -22 = -2*w - k + 67, 5*k = -2*w + 85. Suppose 2*v + w = 11*v. Solve 2*d = -c - 2*c + 2, 5*d = -c + v for c.
0
Suppose 204*m - 202*m = -794. Let k = m + 414. Solve -5*q - k = -3*r - 0*q, 8 = r - 4*q for r.
4
Suppose -5*s - 8 + 38 = 0. Let t be 6/4*(34/s - -1). Suppose t*c + 6*c = 80. Solve 5*l + c = 5*g, -3*g = -2*l - 3 + 5 for g.
-4
Let o = 63 + -69. Let i be (2*6/(-8))/(3