6*k for k.
1
Let i = 301 + -197. Suppose -3*b - 10*b = -i. Solve 3*m = b*m for m.
0
Suppose -3*l - 44*s = -43*s - 47, 4*l - 2*s = 86. Solve 15*r - l*r + 18 = 0 for r.
6
Suppose 293*x = 285*x - 104. Let w(d) = d**3 + 14*d**2 + 20*d + 106. Let i be w(x). Solve 6*a - 11*a + i = 0 for a.
3
Let u(r) = -5*r. Let q be u(-1). Suppose -3*n = f + q, 5*n + 1 = -f - 8. Let v = n + 4. Solve 0 = 7*m - v*m for m.
0
Let f(d) = -9*d**2 - 92*d + 79. Let u be f(-11). Solve -2*l + u*l + 2*l = 0 for l.
0
Let x(k) = k**3 - 11*k**2 - k + 1. Let a be x(11). Let w = a + 40. Suppose 5*z = 11*z - w. Solve 0 = -z*g - 20 + 5 for g.
-3
Suppose -28*x + 19*x = -2106. Let n be (18/(-8))/((x/24)/(-13)). Solve -8*v - n = -5*v for v.
-1
Let x = 55 - 39. Let w be (-3 + -3)/(-48) - (-1150)/x. Let t = 74 - w. Solve 9 = -t*a + 1 for a.
-4
Let c be ((-3184)/4)/4 - 6. Let l be 41/c - 6/(-5). Solve 2*v = 7 - l for v.
3
Suppose -2*z + 128 = 2*z. Suppose 7 = -5*g + z. Suppose 4*q - 9 = -n + 3*q, g*n - 33 = -2*q. Solve 5 = -n*o - 10 for o.
-3
Let o be ((-717)/(-6) + 0)/((-58)/580). Let l = o + 1197. Suppose -6*u + 60 = -u. Solve l*p + 2*p = -u for p.
-3
Let j(a) = 39*a - 3300*a**2 + 118 + 3337*a**2 + 2*a**3 - a**3. Let f be j(-36). Solve -i = -f*i - 18 for i.
-2
Let j = 308 + -306. Suppose -4*w + 4 = -4*b, -w = -3*w + j. Solve b = 5*y + 6 - 1 for y.
-1
Suppose 5*u - 373 = 17*a - 20*a, 0 = -7*a - 4*u + 855. Solve -30*v + a = 91 for v.
1
Let s be (-2661)/(-177) - (-52)/(-1534). Solve 24*b = s*b + 54 for b.
6
Let o = -140 - -140. Suppose -d - 4*s + 15 = o, -3*s = -d - 10 + 4. Solve -d*i - 21 = 4*i for i.
-3
Let t(n) = -n**2 + 33*n + 165. Let f be t(36). Solve 0 = -20*d + f + 43 for d.
5
Suppose -3*z - 2 = -5*n + 12, 0 = z + 2*n + 23. Let f(l) = -l**3 - 10*l**2 + 40*l + 17. Let i be f(z). Solve 2 = 3*r - i for r.
2
Let o = 231 - 223. Let d = 6 + -18. Let z be (9/4)/((-9)/d). Solve o - z = -k for k.
-5
Suppose 2*u = 3*u + 80. Let d(o) = 58*o + 294. Let m be d(-5). Let n be u/(-30) + m/(-6). Solve n*h = -10 + 2 for h.
-4
Suppose 6 = -154*l + 151*l, 0 = -3*k - 4*l + 100. Solve k*p = -27*p + 63 for p.
1
Let o be (-9846)/(-54) - (-50)/30. Solve 0 = 7*h - o + 205 for h.
-3
Let d(l) = -2*l**2 + 14*l - 10. Let o be 3/((-104)/(-20) - 4)*2. Let z be d(o). Solve -3*q = -19 + z for q.
3
Suppose 82 = 3*d + 2*o, d + 0*d - 34 = o. Let l be (0 - -2)/(20/d). Solve l*n = -2*n + 25 for n.
5
Let c be 2*7 - (-20 - -19). Solve -44*j = -39*j + c for j.
-3
Suppose 138*z = -158*z + 33744. Solve -z = -46*r - 22 for r.
2
Suppose 260 = 2*x + 4*s, 278 = -4*x - 5*s + 777. Solve 73*a + x = -176 for a.
-4
Suppose 16*q = 6*q - 4*b + 176, 0 = 5*q - 4*b - 64. Solve -q = 4*w - 8 for w.
-2
Suppose -5*p + 286 = -3*n, 0 = -7*p + 10*p + n - 180. Let r be (24 + 98)*(2 + 9/(-6)). Solve r*q - p*q = 0 for q.
0
Suppose 2*h - 37 = 4*o + 3, 3*h - o = 30. Solve -h*m = 35 + 5 for m.
-5
Let n be 1/(1/30*2). Let o(s) = 37*s**2 + 112*s + 7. Suppose -29 - 79 = 36*g. Let b be o(g). Solve 0 = -b*t + t - n for t.
-5
Let q be (7/(-14) - 0/(-1))*-10. Suppose -w - w = -3*v - 3, q*v = 3*w - 4. Suppose 0*j + j - 15 = -p, 3*j - w*p = 15. Solve -j = s + s for s.
-5
Let w = -90 - -97. Let m be (((-28)/(-8))/w)/(1/8). Let p be 0 - (-87)/27 - m/18. Solve 4 = a + p*a for a.
1
Let m be 63/27 - (-1)/(-3). Let w be (1/m)/(((-28)/152)/(-7)). Let o = 29 - w. Solve o = -v - v for v.
-5
Let l be 126/27*-1*18. Let x be (4/(-6))/(7/l). Solve -x = -h + 3*h for h.
-4
Let a(h) = 229*h + 4138. Let c be a(-18). Solve c*n - 5*n = -44 for n.
-4
Let y = 21454 - 21433. Solve 132 = -a - y*a for a.
-6
Let x be (0 - -136) + (-15 - (-2 - 13)). Solve -13*w + 47*w - x = 0 for w.
4
Let z = -66 - -18. Let t = z - -40. Let f be (-6)/((-9)/((-36)/t)). Solve 0 = f*b - 3 + 9 for b.
-2
Let z = 24 + -21. Suppose 4*k - 8 = i, 5*i + 13 = 6*i + z*k. Suppose d - 8 = 2*d + 5*o, o - i = -3*d. Solve 3*h + d + 1 = 0 for h.
-1
Let u be (-120)/(-12)*1 + -10. Solve 15*r + 389 - 344 = u for r.
-3
Suppose 4*j - i = 37, -4*j - 5*i = -7*j + 15. Suppose -8*a + 6*a = -2*b, -3*b + a + j = 0. Solve -3*s = -17 + b for s.
4
Let u(s) = 3*s**2 - 5*s + 79. Let q be u(19). Let c = 1069 - q. Solve 0 = 5*n - c + 12 for n.
-2
Suppose 36 = r - 5*a - 8, -4*r + a + 252 = 0. Solve -r*s - 79 - 49 = 0 for s.
-2
Suppose -35*d + 445 + 255 = 0. Solve 7*f - 15 = d for f.
5
Let j be (1 + -1)/(23/(115/30)). Suppose -4*h - 5*q - 2 + 34 = j, 5*q - 5 = 5*h. Solve -4 + h = -k for k.
1
Let t be (-564)/(-10)*35/(-147)*-7. Solve 130*x = t*x - 216 for x.
-6
Suppose 10 = -5*b + 35. Suppose 5*o - 55 = 2*n + 7, -3*o = 3*n - 33. Suppose -2*u + o = 3*v, 0 = 2*v + 2*v - 16. Solve 0*p - b*p = u for p.
0
Let g(f) = 14*f - 29. Let q be g(2). Let v be (-63)/(-7) + (-4 - q). Solve -7*t + 22 = -v for t.
4
Let s(k) = 2*k**3 - 28*k**2 + 96*k - 868. Let v be s(13). Solve -12 = -v*d + 44*d for d.
-6
Suppose -2*o + o = 7*h, 3*h = -15. Solve 38*p = o*p + 9 for p.
3
Let s(r) = 14*r - 40. Let k(v) = v**3 + 19*v**2 + 17*v - 14. Let n be k(-18). Let q be s(n). Solve -q = -p + 5*p for p.
-4
Let v be (-4)/(-18) - (-37)/(6993/6384). Solve 19*f = -15*f - v for f.
-1
Let t be 8/(-24) + (-2)/(-6). Suppose -25 = -2*i + 5*v, -3*i + 3*v + 34 = -v. Suppose -h + i = -3*n + 30, 2*n = -4*h + 4. Solve t*g = 3*g - n for g.
2
Let b(g) = 2*g**2 - g + 4. Let s be b(0). Let c = 8786 - 8779. Solve s*t = c*t - 9 for t.
3
Let c be ((-1100)/30)/((-14)/21). Solve 4*d - c = -7*d for d.
5
Let c be (-30)/(-20) - 15/(-2). Let z be (c/(-12))/((-3)/72). Suppose 0 = 2*s - 5*b - z, -s = -4*b - 11 - 1. Solve 2*y = s*y - 4 for y.
2
Let l = -10 - -15. Suppose -c - 1 = t, -4*c = -4*t + 7 - 27. Solve c*o - l + 3 = 0 for o.
1
Let j be (-26)/91 - (-834)/(-14)*3. Let h = 184 + j. Solve 0 = -k + 2*k + h for k.
-5
Suppose -z + 457 = -5*g, -2*g + 3*g + 3*z = -85. Let v = -75 - g. Solve 0*l - 4*l + v = 0 for l.
4
Suppose -162 = g - 3*g. Suppose 0 = 7*q - 4*q - 2*z - g, 2*z = -6. Suppose -5*b + q = 4*j, j + 0*j - 5*b = 0. Solve 9 = -j*r - 1 for r.
-2
Let o(s) = -s**3 + 4*s**2 + s - 10. Suppose 2*v - x = 1, 2*x - 3*x = -5. Let b be o(v). Suppose 4*w + 20 = 4*m, -4*m - 8 = -2*m + 4*w. Solve -m = b*j - 0 for j.
-1
Let q(b) = -b**3 - 6*b**2 - 5*b + 5. Let s be q(-6). Suppose 2266 = -324*f + 322. Let r be f/10 + 266/s. Solve -r*j - 25 = -2*j for j.
-5
Let s be (-4)/(-34) - (1628/(-34) + 8). Solve s*l - 26*l + 70 = 0 for l.
-5
Let n(w) = -43*w + 1210. Let c be n(27). Solve c*q - 34 = 15 for q.
1
Let g(a) = 15*a - 35. Let w be g(47). Let k = -669 + w. Solve 2*z = z - k for z.
-1
Let f(h) = 22*h**2 - 85*h - 155. Let x be f(-2). Solve -6*g - 145 = -x for g.
-7
Let g(k) = -9*k + 18. Let p be g(4). Let h = 21 + p. Solve -h = -3*j - 0 for j.
1
Let n be 102510/134*((-1)/(-3) - 0). Solve 14*d + 269 = n for d.
-1
Let i be 23/(8 + (-4 - 3)). Solve -i*u = -17 - 29 for u.
2
Suppose 5*c - 1215 = 3*t, 3*c - 2*t - 37 - 691 = 0. Solve -c*b - 16 = -250*b for b.
4
Let g(r) = 2*r**2 + 19*r - 33. Let b be g(-11). Suppose 4*t = 3*x - 5 - 17, 3*x - 2*t - 26 = b. Solve -5 = j - x for j.
5
Let z be 4/6 + (-21)/(-9). Suppose -2*l - 4*v - 1 = 7, -5*l = -z*v - 32. Solve -4*o - l = -6*o for o.
2
Suppose 0 = -0*d + 2*d - 24. Suppose -d*u = -152 - 208. Solve 8*g + u = 2*g for g.
-5
Suppose 2413 = 164*z - 37*z. Solve 0 = z*t + 9*t - 56 for t.
2
Let w(r) be the second derivative of -r**3/6 - r**2/2 - 151*r. Let j be w(-1). Solve j = q - 5 - 0 for q.
5
Let t(f) = -f**2 + 41*f + 114. Let w be t(42). Solve -z + 37*z - w = 0 for z.
2
Let t be 4 + -1 + 0/1. Suppose -13*i = -18*i + 5. Let c be 2/i*(-2 + t). Solve -c*m - 13 = -3 for m.
-5
Suppose -5*z = 43 - 53. Suppose 7*l + 2*h - 2 = z*l, -2 = l - 2*h. Solve k + 4 = -l for k.
-4
Let h = 27 - 26. Let z(y) = -y**3 - 17*y**2 + 16*y - 8. Let m be z(-18). Let j = -24 + m. Solve -j - h = f for f.
-5
Let w be 3 + (-78)/39*((-3)/2)/1. Suppose 0 = -5*f - 0 + 15. Solve a - f*a = -w*a for a.
0
Suppose -58*y + 2 = -57*y. Solve -22*w = -21*w + y for w.
-2
Let i(a) = 8*a**2 + 89*a - 263. Let x be i(3). Solve 27*w - x = -238 for w.
-6
Let g(i) = 4*i - 6*i + i + 15 + 2*i. Let h be g(-11). Solve 0 = 2*c - 2 + h for c.
-1
Suppose 120*h = 370*h - 500. Let n = 3 + 0. Solve 3*a - n = h*a for a.
3
Suppose 1 = -n - a, n = 3*n + 4*a + 12. Suppose 5*w - w + r = 33, 4*r = n*w - 28. Solve -d = -5*d - w for d.
-2
Let