 for t.
-1
Let b = -85 - -340. Suppose 55 = 266*y - b*y. Solve -32 = y*t - 17 for t.
-3
Suppose -589 = 4*p + 5*j, p + 4*j - 685 = 6*p. Let z = p + 144. Solve 11 + 4 = -z*w for w.
-5
Let v(u) = 3*u**2 - 79*u + 561. Let d be v(27). Solve -d*q = -619*q + 4 for q.
1
Let r be (-4)/4*3 + 86. Let s = r + -15. Suppose -5*t + 12 = -s. Solve 5*o - 4 = t for o.
4
Let j(f) = -f**3 + 10*f**2 - 4*f - 3. Let q be j(5). Let r(a) = 336*a + 3463. Let w be r(-10). Let z = w - q. Solve -4*m + 5 = z for m.
1
Suppose -9*s + 6*s + 2*r = -15, 5*s + r - 25 = 0. Suppose 0 = 5*a + 96 - 121, s*o - 5 = a. Solve 0 = y + o - 3 for y.
1
Suppose -t - 2 = 0, -3*o + 3*t + 0*t + 30 = 0. Let b(v) = -22*v + 179. Let i be b(o). Solve i*r + r = 8 for r.
2
Let l(i) = i**2 - 243*i - 1229. Let x be l(-5). Solve -x*z + 3*z = -3*z for z.
0
Let t(d) = -d**2 + 6*d + 55. Let y be t(-5). Solve -11*o - 7*o - 18 = y for o.
-1
Suppose 0 = -4*j + 1 - 25, 4*f - 890 = j. Solve 222*i - f*i = 1 for i.
1
Let x(n) be the third derivative of 7*n**4/12 - 151*n**3/3 - 2*n**2 - 45*n. Let k be x(22). Solve k*g - 12 = -0*g for g.
2
Let v(w) = -18*w**2 + 124*w + 20. Let m be v(7). Let u(t) = t**3 + 4*t**2 + t + 4. Let s be u(-4). Suppose s = 2*r - m*r. Solve r = -0*c - c for c.
0
Suppose 0 = w - 4*r - 42, -w + 0 + 49 = -5*r. Solve 54*x + 160 = w*x for x.
-4
Let l(t) = -t**3 + 9*t**2 + 3. Let d be 2 - -6 - (10 + -11). Let j be l(d). Solve j*u = -1 - 11 for u.
-4
Let b be -1*(-130)/4*2*1. Let u = 70 - b. Solve 0 = 3*j - u*j - 10 for j.
-5
Let z be -9*3/(-9) - (17 - 20). Solve -z*w - 1209 = -1203 for w.
-1
Let d(g) = -8*g + 8. Let o(i) = -2*i**2 + i. Let a(q) = -d(q) - o(q). Let u be a(-5). Solve u*j + 5 = 19 for j.
2
Let n(j) = -j**2 - 71*j - 605. Let s be n(-11). Solve -74*m = -63*m - s for m.
5
Suppose -8 = -3*x - 83. Let v = -24 - x. Let c be 27/(-81)*(-9)/v. Solve -12 + 0 = -c*o for o.
4
Let v = 6 - 10. Let i be ((-64)/(-3))/v*-3. Suppose -3314 = -333*b - 2315. Solve 0 = b*l + l - i for l.
4
Suppose -5*q - 6 = -f + 15, 3*q - 5*f + 17 = 0. Let i be (3 + 3 + q)*1*4. Suppose 8*z = 12*z - i. Solve 0 = z*w + w - 9 for w.
3
Suppose -4*z - 115 = -6*z - a, -245 = -4*z + a. Let t be 4/128*8*z. Solve -w = 11 - t for w.
4
Let b = -506 - -528. Solve 0 = 15*y + b - 82 for y.
4
Let b be (-1 + -4 - (-8 - -4))*-1. Suppose 14 = 2*g + 5*r, -g = -5*r + 6 + 2. Solve t + b - g = 0 for t.
1
Let h(a) = -a**2 - 12*a + 696. Let y be h(-33). Solve -y*p = 10*p + 52 for p.
-4
Let f(v) = -v**3 + 2*v**2 + 187*v + 309. Let p be f(15). Solve -47*c + p = -140 for c.
7
Suppose 10 - 2 = 4*v. Let i be (1/v)/((-5)/(-90)). Suppose i*j - 16 = j. Solve -j*n + 0*n = 4 for n.
-2
Suppose -32*r + 2*r + 1674 = r. Solve h + 50 = r for h.
4
Let i(d) = d**2 - 2*d + 4. Let r be i(3). Let c(l) = l**2 - 37*l - 39. Let q be c(38). Let b be (-107 - -107)/(q/1). Solve 4*u - r + 3 = b for u.
1
Let o(g) = -2*g**3 + 34*g**2 - g + 20. Let q be o(17). Suppose -3*m = q*m - 6. Let w be (m + (-7)/14)*4*3. Solve w*c - c = -20 for c.
-4
Let x = -45023 + 45041. Let f be (-2)/((-2)/5) + 1. Solve -4*w - f + x = 0 for w.
3
Let i(q) = 8*q - 14. Let d be i(7). Let t be (-10 - (-660)/d)*(-14)/(-4). Solve -3*p = 2*p - t for p.
4
Suppose -313*d = -244*d - 207. Solve -d + 8 = l for l.
5
Suppose 6 = 5*b - 3*b. Let k = 39 - 35. Suppose -k = -3*s + 2*q, 4*s - 9 = b*q - 4. Solve s*l - 3 + 1 = 0 for l.
1
Let q(f) = f**3 - 48*f**2 + 44*f + 147. Let z be q(47). Solve -z*w + 10 - 46 = 0 for w.
-6
Suppose 0 = 2*t - 5*t + 6. Let y be -2 - (-660)/(-21) - 15/(-35). Let m be (-6)/y + 320/55. Solve -16 = -t*r - m for r.
5
Let u be 1/(-3) - (2090/(-15) + 5). Let m = -130 + u. Solve 3*r = m*r for r.
0
Let o(n) = -1418*n + 4265. Let i be o(3). Solve -5*p - 80 = i*p for p.
-5
Let u(p) = 5*p + 38. Let b be u(5). Let c = 94 - b. Solve -c = -5*d - 11 for d.
4
Let c = -130 - -148. Let q be 5 + 2 + (c/3)/(-6). Solve -3*u + q = -9 for u.
5
Suppose 20 = -5*k, -4*k + 1 - 7 = 5*b. Let t(o) = 261*o - 5481. Let w be t(21). Solve w*f = -b*f + f for f.
0
Let i = -28 - -32. Let p be (420/112)/(3/i). Solve p*m = -m + 30 for m.
5
Let m = 115 - 106. Suppose -2*a = -4*q - 26, 3*a = -2*q + 8 - m. Solve a*p - 2*p + 5 = 0 for p.
-5
Let h(n) = 5*n**3 + 17*n**2 - 10*n - 18. Let i(b) = -b**3 - b**2 + 2*b + 1. Let v(g) = h(g) + 6*i(g). Let o be v(11). Solve -10 - o = -5*a for a.
4
Suppose 45*p - 190 = -10. Solve -10*a = p*a for a.
0
Suppose -315 = -2*c - 3*o + 583, 1812 = 4*c - 2*o. Solve 0 = -11*h - 474 + c for h.
-2
Let l(c) = 194*c + 1288. Let w be l(-6). Solve -148 = 6*d - w for d.
-4
Suppose 5*z = -5*n + 2*n + 880, -n + 4*z + 282 = 0. Let j = 294 - n. Solve -20 = -j*t - t for t.
4
Let w be (-8361)/(-45) - (0 + 2)/(-10). Let o = w - 184. Solve -1 - 3 = o*h for h.
-2
Let p(h) = -85*h - 1351. Let n be p(-16). Let o = 23 + -17. Solve -3 = -o*k + n for k.
2
Let z = -38374 + 38409. Solve -113*a + 78 + z = 0 for a.
1
Suppose 24*b - 5136 - 1680 = 0. Let u = b + -284. Solve u = -4*k + 8*k + 4 for k.
-1
Suppose 4*i - 132 = -v - 37, v - 73 = -3*i. Solve i*s + 52 = -4*s for s.
-2
Suppose 4*f + v - 3*v - 24 = 0, 4*v = -f - 3. Let m(p) = 3*p - 13. Let o be m(f). Let b(x) = x**2 - 8*x + 9. Let a be b(7). Solve o*t + 0 = a for t.
1
Suppose -4*x + 5*w - 9 = 0, -33*x + 32*x - 3*w + 2 = 0. Let q be 60/25 - x*(-6)/15. Let m be 4/(-6) + 4/6. Solve -q*f - f = m for f.
0
Suppose 2 - 6 = -p. Suppose 0 = u + 5*v - 0 + 2, 5*u = -3*v + 12. Let b = 497 - 495. Solve -u*t + b = -p*t for t.
-2
Let i(o) = 2*o + 17. Let a be i(-6). Suppose -2*c - 7 + 70 = -a*y, -2*y + 114 = 5*c. Solve 22*d - c*d = 2 for d.
-1
Suppose -2*i + 31 = 5*t - 5*i, 5*i - 15 = 0. Suppose -9 = -t*h + 7*h. Solve 5*y = h*y for y.
0
Let a(d) = d**3 + 32*d**2 + 186*d - 139. Let g be a(-24). Solve g = -10*b + 15 for b.
1
Let r(n) = -29*n + 28. Let h be r(5). Let l be (-4)/26 - (5 + 954/h). Solve 4*z = l*z - 4 for z.
-4
Let y be (55/10 - 4) + (-4439)/(-46). Solve -25*d - y = 27 for d.
-5
Suppose 10 = -9*k + 10*k. Suppose 0 = -21*x + k*x + 33. Solve -x*m - 11 = -5 for m.
-2
Let t(k) = 8*k + 138. Let q be t(49). Let o = q + -528. Solve -10 = o*i - 0*i for i.
-5
Suppose -89*g + 4268 = -9*g - 36*g. Solve -w - g + 95 = 0 for w.
-2
Let g be 756/40 + (-1)/(-10). Solve 0 = -21*u - g - 2 for u.
-1
Let b be 2560/260 + -10 - (-1666)/13. Solve -42 = -122*j + b*j for j.
-7
Let k = 365 + -271. Suppose k*d = 45*d + 245. Let a be (-1 - -1 - 1) + 3. Solve 0 = -a*x - d - 1 for x.
-3
Let m be 0/(5/(5/6) + -4). Solve 18*i - 26*i = m for i.
0
Let a(o) be the first derivative of -1/2*o**2 - o + 10. Let n be a(-3). Solve -n*q = -0*q + 2 for q.
-1
Let q(v) = -2*v**2 + 4*v. Let m be -27 - -29 - (-2)/(-1). Let z be q(m). Solve z = -c + 4*c for c.
0
Let n = -9 + 13. Let l(i) be the second derivative of -i**3 - 3*i**2 + 5*i. Let c be l(-1). Solve c*a + 8 = n*a for a.
2
Suppose s + 1 = 2*n, -2*s = 7 - 5. Let y = -99 + 102. Solve n*d = -y*d for d.
0
Let o(u) = 6*u - 20. Let v be o(5). Suppose 15*t - 10*t + v = 5*q, 3*q - 21 = -2*t. Solve 5*f + t + 2 = 0 for f.
-1
Let w(z) = -2*z + 55. Let t be w(26). Suppose t = -3*y, r + 5*y = -72 + 76. Solve 10*x - 7*x + r = 0 for x.
-3
Let f(z) be the third derivative of -z**6/120 + 13*z**5/30 - z**4 - 25*z**3/6 - 3*z**2 - 2*z. Let i be f(25). Solve -5*d + 3 + 2 = i for d.
1
Suppose 0 = -4*b - 5*s + 2693, -4*b - 32*s + 28*s + 2696 = 0. Solve b = 7*q + 649 for q.
4
Let z = -130 - -135. Suppose -13 + 38 = z*x. Solve -6*t + 2 = -x*t for t.
2
Let k = -7 + 11. Let p be (4 + -10)/(3/(-2)). Let f(g) = -35*g + 140. Let n be f(p). Solve n*y + 16 = k*y for y.
4
Let v be (8/3)/((-4)/42). Let x be 12/30 + v/(-5). Let p be ((-16)/12)/((-2)/x). Solve p*h = -h + 20 for h.
4
Suppose 55*w - 60*w + 160 = 0. Suppose w*i - 3*i = 29. Solve q - i - 3 = 0 for q.
4
Suppose -j + 1 = -2*q, -14*q + 4 = -12*q - 2*j. Let o be (-18)/4*2/q. Suppose -15 = -3*p - 3*d - 6, 0 = -5*p + o*d + 47. Solve 5*s - 8 = p for s.
3
Let q(u) = -u**3 - 17*u**2 - 12*u + 67. Suppose 70*s - 73*s = 48. Let v be q(s). Solve -4 = v*c + c for c.
-1
Suppose -2*y + y = -5*x + 15, -12 = -y - 4*x. Suppose 4*f = 4 + 8. Suppose -f*z - 1 + 7 = 0. Solve y = -o - z for o.
-2
Let y(x) = 4*x**2 - 447*x - 2205. Let t be y(-5). Solve 35*g = 95 - t for g.
-1
Suppose -8*r = -20 - 12. Suppose 5*l - 3*q - 12 = 0, -l + 5*q + 0*q = -20. Solve