 12*t + 3 for t.
-1
Let l(t) = -4*t**2 + 219*t - 2282. Let g be l(14). Let n = 4 - -1. Suppose -n*k + 24 - 4 = 0. Solve g*y = k*y for y.
0
Suppose 0 = -3*f + 22 - 46. Let n = 8 + f. Let z be 1/2*2 - -4. Solve n = 2*b - 3 + z for b.
-1
Let c = -2 + 6. Suppose c*g - 22 = 290. Suppose -4 + g = 2*y. Solve 0 = -5*r + y - 12 for r.
5
Let i(k) = 8*k - 6*k - 4 + 2*k**2 - 3*k. Let o be i(-2). Suppose 0 = 4*t + 20, -4*m - 4*t = o + 10. Solve -2*y - m = -9 for y.
4
Let m be 3/(-15) - 1/(-5). Suppose m = -3*j - 10 + 28. Let v = 1454 + -1451. Solve -j = -0*x + v*x for x.
-2
Suppose 2*w + 68 - 60 = 0. Let r be w/(-18) + 2/(-9) - -2. Solve 0 = r*b - b - 4 for b.
4
Let q = 182 - -454. Let i = 652 - q. Solve -i = -5*f + 9 for f.
5
Let w(n) = n**3 + 13*n**2 + 11*n - 55. Let g be w(-10). Let i be (9/5)/(g/225). Solve -3*t = -t + i*t for t.
0
Let u be (-10)/(-2) + 376/16*-8. Let z = 185 + u. Solve -z*y - 4*y + 12 = 0 for y.
2
Let h = 14918 - 14901. Solve 0 = -h*r + 5*r - r for r.
0
Let s(p) = -10*p - 2. Let k be s(-1). Let q be (36/k)/(-1 - 12/(-8)). Let b be 15 + ((-3)/2)/(q/12). Solve 5*i + b - 3 = 0 for i.
-2
Suppose -i + 4*g = -2*i + 242, i - 4*g = 242. Suppose 4*m + 0*m - 168 = -2*f, -i = -3*f - m. Let p = f - 78. Solve -p*h = 3*h for h.
0
Let v be ((-57)/6 - -2)*(-34)/(-51). Let i(k) = -k**3 - 5*k**2 + 2*k + 11. Let s be i(v). Solve -h - 5 = -s for h.
-4
Let g(r) = 3*r + 70. Let i be g(-16). Suppose -x + 5 = 5*w - i, -2*w - 18 = -2*x. Solve 12 = -5*a + x for a.
0
Suppose -37*x + 1708 - 656 = -3351. Solve 0 = 28*l - 49 - x for l.
6
Let z = -55 - -71. Suppose 5*h = 3*n - 74, n - h - z = 10. Let v be (10/(-8))/((-7)/n) - 3. Solve -v*q - 3*q - 25 = 0 for q.
-5
Suppose 63*h = 67*h + 1064. Let v be h/(-57) - 2/3. Solve v = t + 7 for t.
-3
Let l be 2 + (2 - -2) - 2. Suppose 22 = -5*c + 3*j, -8*c + j = -7*c + 6. Let g be 0/(-2)*1*2/c. Solve g = -l*f - f for f.
0
Let z(r) = -7*r + 2. Suppose -h - 1 = a - 5, -4*h + 5*a - 29 = 0. Let j be z(h). Solve 0*c = 3*c + j for c.
-3
Let j = -29 - -43. Let n = j - 8. Suppose -3*m = -5*v - 5, -n*m + 21 = -m - 2*v. Solve -m*a - 2 - 8 = 0 for a.
-2
Suppose 2*t = 2*r + 3*t - 38, 3*r = t + 52. Let p(g) = 12*g + 144. Let j be p(-12). Solve j = -0*s - 9*s + r for s.
2
Let a be -9*(5/3)/(-5). Let j be 1 + a - (-20 - -19). Solve -1 - j = -3*u for u.
2
Suppose -37*g = -38*g - 10. Let h(o) = 10*o + 103. Let j be h(g). Solve j + 2 = t for t.
5
Suppose 0 = -108*t + 3924 + 6552. Solve t*a - 76*a + 21 = 0 for a.
-1
Let q(z) be the first derivative of z**3/3 + 5*z**2/2 - 14*z + 14. Let v be q(-6). Let w be 18 - v/((-32)/12). Solve -g + 4*g = -w for g.
-5
Let a be (0/1*(-7)/(-28))/(-1). Let x = 8 - 0. Let m = -4 + x. Solve -y + m = -a*y for y.
4
Suppose 4 + 0 = t. Suppose -t*h + 12 = 4*n - 32, -5*h - 2*n = -43. Suppose 5*a - h*a = -32. Solve 4*f - 4 = a for f.
5
Suppose -68*y - 32*y = -28*y - 3816. Solve y*c = 16*c + 259 for c.
7
Let v(t) be the second derivative of t**3 - 12*t**2 - 16*t - 1. Let b be v(4). Solve b = -0*f + 3*f - 9 for f.
3
Let t(y) = -y**2 - 3*y + 12. Let s be t(-5). Let d be (-130)/(-39)*(1/s + 1). Suppose -3*j + 0*j + 61 = 4*h, d*j + 3*h = 87. Solve j = -x + 6*x for x.
3
Suppose 94*l - 3733 + 3650 - 47387 = 0. Solve l - 507 = 2*p for p.
-1
Suppose 55*a - 65 = 50*a. Suppose -20 + a = -i. Solve -i*c = -c - 12 for c.
2
Let n(v) = v**3 + 40*v**2 + 60*v - 551. Let z be n(-38). Let p be 1*55 - (-1 - -1). Let i = z - p. Solve 0 = -w + i - 5 for w.
-3
Let m(u) = u**3 - 12*u**2 + 15*u + 3. Suppose 2*d = -17 + 37. Let k be m(d). Let h = 51 + k. Solve -h*f - 16 = -0*f for f.
-4
Let o(i) = -4*i. Let q be o(-1). Suppose y = -4*x + 18, 0*x - 5*x + 39 = q*y. Let a = 59846 + -59821. Solve -y*f = -f + a for f.
-5
Let r = 25 + -15. Let v = 10 - r. Let q be 1 + -1*1*(-2 - -3). Solve q*p + p - 1 = v for p.
1
Let d(v) be the second derivative of v**5/20 - 5*v**4/4 + 23*v**3/6 - 63*v**2 - 97*v. Let h be d(14). Solve h = 5*z + 26 - 1 for z.
-5
Let w = 5027 + -5027. Solve w = 23*r - 25 + 117 for r.
-4
Suppose -5*q - 4*c + 235 = 0, 3*q + 6*c = 5*c + 134. Suppose -q = -7*y - 8. Solve m + 0 + y = 0 for m.
-5
Suppose 2*l + 1600 = -34*l + 68*l. Solve l*a - 36 = 44*a for a.
6
Let c(k) = k + 2. Let x be c(4). Suppose 7*o = -18*o + 1300. Let m be (39/o)/((-9)/30)*-8. Solve x*u = 11*u - m for u.
4
Let k be (8/24)/((-8)/(-216)). Let j(p) = p**2 - 3*p + 1. Let z be j(3). Let u = z + 1. Solve 0 = u*n - 1 - k for n.
5
Suppose -7717*b + 7713*b = -1012. Solve 248 = k + b for k.
-5
Let g = 31 - 75. Let l be 5*(-4)/(-110) - (-8)/g. Solve -i + l = 2 for i.
-2
Let j(c) = 5*c**2 - 27*c + 3. Let f be j(6). Let k(m) = 1. Let v(w) = -w + 18. Let y(o) = 6*k(o) - v(o). Let t be y(f). Solve 2*x - 5*x = t for x.
-3
Suppose -113 = -3*g - 3*f - 2*f, 4*g - 136 = -3*f. Let c(i) = i**2 + 3*i - 7. Let w be c(3). Solve -g + 20 = w*t for t.
-1
Let w = 300 + -284. Let g(p) = -5*p + 86. Let v be g(w). Solve 0 = 10*z - v*z for z.
0
Let o be (350/42)/(40/48). Solve -t - o = -13 for t.
3
Suppose 0 = 4*k + 4*s - 68, 4*k - 34*s = -37*s + 63. Solve -21*y - k + 54 = 0 for y.
2
Let h = -1376 - -1379. Solve -2 = -z + h*z for z.
-1
Let f(x) = -x**2 - 84*x - 160. Let u be f(-82). Solve 8*j + 52 = -u for j.
-7
Suppose -156*h = 221*h - 12414 - 3420. Solve h*g - g = 369 for g.
9
Let b be (1/3 - (-8)/(-6)) + 4. Suppose -b*y - 52 = -4*c, 7*y = 4*y + 12. Solve 4*v - c = -4*v for v.
2
Let g(p) = p**3 - 18*p**2 + 35*p - 36. Let u be g(16). Suppose 0 = 4*i + 12*i - 96. Solve -i*s = -2*s - u for s.
3
Let v be (-1 + 1)/((-20)/(-20)). Solve v = -60*m + 21*m + 117 for m.
3
Suppose 0 = 13*w - 134 - 152. Let z be w + (4 - 19)/3 + 3. Solve z + 0 = 5*a for a.
4
Suppose -5*k + 2*k + 124 = 5*z, 5*k + 31 = 2*z. Suppose -29 = -2*h - z. Solve h*a + 5 = 4*a for a.
5
Suppose 46*u = 72*u - 260. Solve 60*i = 70*i - u for i.
1
Let o = -75 + 81. Let s be (-28)/(-8) + 0 + o/(-4). Solve s = 2*n - 4 for n.
3
Let n be 1618*((-124)/8 - -16). Solve -n = -k - 812 for k.
-3
Suppose 11*s = -17*s - 168. Let r be (-11)/(-5 - (-8)/(-12)*s). Solve -1 - r = 3*a for a.
-4
Let n be ((-153)/(-204))/(1/12*3). Solve n*j + 46 = 22 for j.
-8
Suppose -k + 340 = -0*k. Let n be 2/(-5) + k/100. Suppose n*t = v - 16, 1 = 5*t + 21. Solve -i = i - v for i.
2
Let k(i) = -i**3 - 74*i**2 + 309*i - 155. Let d be k(-78). Solve -83*y + d*y = 0 for y.
0
Suppose 2*z - 95 + 113 = 5*z. Suppose -5*s + s + 36 = 0. Solve 6 = -s*m + z*m for m.
-2
Let z(m) = 2*m**2 - 24*m - 31. Let y be z(13). Let o = y + 9. Suppose 4*w = 8*w + b + 3, 0 = 2*w + 5*b + 15. Solve w*s - 20 = o*s for s.
-5
Suppose 2*y - 5*x + 336 = -103, -4*x = -3*y - 662. Let j = 234 + y. Solve 0 = -6*d + 3*d - j for d.
-4
Suppose 15*g + 51*g = 578 + 5164. Solve -g = -8*k - 47 for k.
5
Let l(u) = -u + 73. Let i be l(13). Suppose -5*p + p = -i. Solve -11 + p = o for o.
4
Suppose 13*m - 8469 = -6519. Solve -m = -7*p - 136 for p.
2
Let q = -4219 + 4365. Solve 0 = -8*u + q - 90 for u.
7
Let q = 161 + -155. Suppose 8*h - 39 = 5*h. Let y be 18/117 + (-2)/h. Solve y = -q*a + 3*a + 6 for a.
2
Let d(p) = 2*p**2 - 377. Let z be d(14). Solve -z*g + 65 = -28*g for g.
-5
Suppose -4*u = -2*x + 22, u - 6*u - 4*x + 5 = 0. Let c be 1 + (-2 - u - 2). Suppose -4*z - 16 = -5*s, 0 = 3*s - 3*z - 0*z - 9. Solve c = -t - s*t for t.
0
Let j be 5/(-25) + (-784)/5. Let z = j - -164. Solve -o = -z*o + 24 for o.
4
Let z be (2 - 3)*0/(-5) + 104. Suppose 234 = 10*r + z. Solve 23 = r*h - 3 for h.
2
Let j = 21518 - 21513. Suppose 3*q - 6*q - 17 = l, q = l - 3. Let c = 0 - q. Solve -j - 15 = -c*n for n.
4
Let w = 669703 + -669700. Suppose 12 = -0*o + 3*o, -4*n = 2*o - 12. Solve w*r - 1 = -n for r.
0
Suppose 3*m = -2*q + 43, -4*q - 25 = -9*q. Solve 0 = m*z - 39 + 6 for z.
3
Suppose 2432*o = 2454*o - 59972. Solve -2730*s + o*s = 0 for s.
0
Let j(k) = -6*k**2 + 20 + 3*k + 10*k + 8*k**2 + 2*k. Let f be -2 + 2/(-6)*(4 - -8). Let t be j(f). Solve 4*x + t = 18 for x.
4
Let f(j) = 3*j + 137. Let c be f(58). Solve 1 = 310*t - c*t for t.
-1
Suppose -2*l - 5*s = -38, 2*s + 3*s = 20. Solve -l = -q - 6 for q.
3
Suppose 0 = 3*w + 7*n - 4*n - 9, -5 = 5*n. Suppose -1 = 5*m + 3*z - 25, 5*z - 9 = 2*m. Solve w*o = m*o for o.
0
Suppose -20 = -3*a + n, -4*a + 145 - 131 = 5*n. Solve 0 = 29*p - 26*p + a for p.
-2
Suppose -2693*c + 1365*c + 1350*c - 88 =