81 = 123 for a.
3
Let r be (2/5)/(30/675) + -6. Solve 10*j = r*j - 14 for j.
-2
Suppose 4*w + 8 = 0, -2*d + 0*d = -4*w - 18. Let r = 149248 - 149235. Solve r = d*b - 7 for b.
4
Let h(j) = 16*j**2 + 8*j. Let p be ((-4)/6)/(-2 + (-8)/(-3)). Let d be h(p). Solve 6 = d*k - 5*k for k.
2
Let q be ((-6)/8)/(3/(-24)). Suppose 2*b + k = 18, -5*b + 14 = -3*b + 2*k. Suppose -5*i + 6 = -m - b, -m = 5*i - 23. Solve m*l + 0*l = q for l.
2
Let y be ((-57)/(-6) - 4) + 3 - (-15)/(-10). Solve 3*a = -y - 8 for a.
-5
Suppose -8*k + 36*k = 94 + 18. Solve k*j + 9*j = -52 for j.
-4
Let c = -47 + 38. Let d be 3*(-12)/c + (-13 - -12). Solve 7 = -d*s + 22 for s.
5
Let t(i) = -16*i - 27. Let v be t(-2). Suppose 0 = -4*k + 3*x - 8*x + 18, -2*x = v*k - 14. Solve -11*u = -13*u + k for u.
1
Suppose -5*a + 3*a + 6 = 0. Suppose 77 = -2*o + 13*o. Suppose n = -o*n + a*n. Solve -3*x = -n*x - 12 for x.
4
Let h(c) = c**2 + 10*c + 18. Let i be h(-8). Suppose 0*q = 2*q + i*j - 12, 5*j = q + 6. Solve -3 + 19 = q*k for k.
4
Let v(k) = -k**3 - 4*k**2 - k - 3. Let o be v(-4). Suppose -6 - 27 + 1 = -16*m. Suppose w - m = -o. Solve 2*t - 5 = -w for t.
2
Suppose t = -4*r + 63, -147 = -t + 2*r - 60. Solve 13*y = t*y - 264 for y.
4
Suppose 8 = 4*g - 12. Suppose -3*f = -3*s - 3, 5*f - g = -6*s + s. Suppose -5*d = 0, 4*w - 4*w + 4*d - 20 = -5*w. Solve -w + s = 4*v for v.
-1
Let t(n) = 2*n**2 + 16*n + 4. Let h be t(-11). Let b = -54 + h. Suppose 11*m - b = 6. Solve m*z + 0 = 2 for z.
1
Suppose -3*o + 2983 = 5*n, -n - 35*o + 719 = -48*o. Solve n*y - 611*y - 54 = 0 for y.
-6
Suppose 0 = -2*v + 5*v - 5*h - 113, -2*h + 34 = v. Let n(p) = 7*p**2 + 1. Let c be n(-1). Solve 0 = x + c*x + v for x.
-4
Suppose -9672 = -45*c + 13998. Solve c*m - 524*m - 10 = 0 for m.
5
Let p = -656 - -663. Suppose -p*w = 26*w - 132. Solve 0*k + 12 = w*k for k.
3
Let m(u) = 10*u - 308. Suppose -161*o + 154*o = -217. Let s be m(o). Solve -s*i + 16 = 10 for i.
3
Let w(q) = -q**3 + 59*q**2 + 61*q - 47. Let z be w(60). Solve 0 = -2*k - z*k - 15 for k.
-1
Suppose 136*b + 118*b = -41*b + 86*b. Solve 16*n + 41 - 57 = b for n.
1
Let x(a) = -27*a**2 + a. Let l be x(1). Let o(v) = 2*v**2 - 27*v - 188. Let m be o(18). Let g = l - m. Solve 4*s - 4 - 4 = g for s.
2
Let y be 2/(-14) + (-1330)/(-49) + -3. Let l be (3 - 3) + 5 + 1. Let i = l - 1. Solve -i*o = -1 - y for o.
5
Suppose 18*v - 42 = 4*v. Suppose v*l - t + 2 = 0, -5*l = -0*l + 5*t - 10. Solve c = -l*c + 1 for c.
1
Let k be 1/(-2)*(2 + -10). Suppose -6*l + 5*q + 13 = -3*l, k*q = l + 5. Suppose -32 = 7*j - l*j. Solve 7 = 5*p - j for p.
3
Let h be (-174)/(-10) + (-4)/10. Suppose p = -g - 2*g + h, -25 = -3*g - 5*p. Let x = 5336 - 5330. Solve 4 + x = g*n for n.
2
Suppose -y - 1 = -3. Let t = 82 - 45. Let u = -27 + t. Solve -u = -7*z + y*z for z.
2
Suppose 4*a - 4*l = -4, a + 0*l + 2*l - 8 = 0. Suppose 4*j + 12 = 0, 8*z + 3*j - 31 = 3*z. Suppose 2*w - c = 15, c + 17 = 4*w - z. Solve a*n - 6 = w*n for n.
-2
Let h = 2004 - 1931. Solve 0 = 25*r - 2 - h for r.
3
Suppose -12*f + 15*f + 8 = 2*g, -5*f + 5*g = 20. Let l = -12 - -8. Let i be 1/(l/(-20)) + -3. Solve j + f = -i for j.
-2
Suppose 0 = 3*b - 2*w + 2, 132*b - 135*b - 3*w + 3 = 0. Suppose 30 = 11*h - h. Solve b = -3*z + h - 0 for z.
1
Let f = 6 + -2. Suppose 3*x + w = 22, 2*x + f*w + 14 = 7*x. Suppose 122*i = 138*i - 32. Solve x = o + i*o for o.
2
Suppose -3*g = -2*g - 2*q - 7, -3*g = 3*q - 30. Suppose 4*f + 3*z = 107, 29 = 4*z + g. Solve -i - f = -20 for i.
-3
Suppose -5*y - 4*i = -3524, 0 = -5*y - 0*y - 2*i + 3532. Suppose -69*q + y = -10*q. Let l(x) = 2*x. Let w be l(1). Solve -w*h = -5*h - q for h.
-4
Let k be (-9*11 - -5)*(-7)/14. Solve 52*c + 20 = k*c for c.
-4
Let p be (1 - 9/6)*0. Let j(n) = n**3 + 85*n**2 + 683*n - 6. Let w be j(-9). Solve -w*b + 6*b - 15 = p for b.
5
Let q be (7998/(-43))/(-31) - (-1 - -2*1). Let g be (-2)/(-7) + (-120)/(-21). Solve q = -g*n + n for n.
-1
Suppose -15*l + s = -10*l - 113, 0 = l + 5*s + 19. Solve 148 = 16*i + l*i for i.
4
Suppose -3*w + 63 = 2*x, -6*w + 2*w - x = -94. Solve -w*h = 6 + 44 for h.
-2
Let h(z) = z**3 + 11*z**2 - 2*z. Suppose 18*b + 4*v = 16*b - 30, -50 = 4*b + 3*v. Let l be h(b). Solve -6*a = -4 + l for a.
-3
Let u(c) = c + 10. Let l be u(-11). Let i be (4/(-48)*-4)/(l/(-12)). Solve i = 3*f - 11 for f.
5
Let r(f) = -57*f + 402. Let u be r(7). Suppose 2*g - d = 34, 4*g - u*d - 40 - 30 = 0. Solve -2*j = 2*j + g for j.
-4
Suppose 2*i - 2*f = 80 + 80, 0 = -3*i - f + 212. Solve i = 6*h + 61 for h.
2
Let y be 5902/2270*10/(2 - 0). Solve 0 = -26*f + y*f - 13 for f.
-1
Let s(o) = -o**3 + 9*o**2 + 13*o - 26. Let l be (-1 + 3/(-2))*-4. Let a be s(l). Solve -a*p = 15 - 3 for p.
-3
Suppose 2*r - 5*g = 18 + 19, 5*r - 55 = 5*g. Suppose k - r = -q, 0 = -2*q - 3*k - 10 + 22. Solve q = -7*a - 1 for a.
-1
Let g(b) = -b**3 + 16*b**2 - 61*b - 13. Let k be g(7). Suppose 3*r - 11 = -5*z, 0 = -r - 3*z + z + 3. Solve -k = -6*y + r*y for y.
-1
Suppose 57*h = 56*h + 4*d - 2, -8*h = 5*d - 95. Solve 157*r - 155*r - h = 0 for r.
5
Let j(b) = b**3 + 6*b**2 + 12*b + 10. Let t be j(-4). Let y be (2/t)/(1/(-3)) - 1. Let x be (10/6 + -2)*y. Solve -6*s + s = x for s.
0
Let c(v) = 2*v + 45. Let f be c(-17). Suppose -5*l - 2*m = -f, -2*l = -5*l - 2*m + 5. Solve -l*w - 2*w = 0 for w.
0
Let j(h) be the second derivative of -5*h**3/6 + 107*h**2/2 + 39*h. Let y be j(15). Solve -y*p - 6 = -30*p for p.
-3
Let v = -3014 - -3045. Solve -55 + v = -6*c for c.
4
Suppose 4*f + 136 = 5*c, 2*f - 8*c + 68 = -5*c. Let w(q) = -9*q - 297. Let d be w(f). Solve -8*i + 5*i - d = 0 for i.
-3
Let p(u) = -288*u**2 - 4*u + 12. Let b(s) = -72*s**2 - s + 3. Let j(w) = -9*b(w) + 2*p(w). Let t be j(1). Suppose 0 = d - 11*d + t. Solve 0 = 6*i - d*i for i.
0
Suppose 5*v - 3*o - 34 = 0, 0 = 5*v - v + 5*o - 42. Suppose -12*b = -8*b - v. Solve 0 = 2*l - 4*l - b for l.
-1
Let v be (-2 + -6 + -243)/(-3*(-1)/(-3)). Solve -v*b + 21 = -248*b for b.
7
Let o = 12847 + -12829. Solve -17*f + o*f - 3 = 0 for f.
3
Let c be 33/((-66)/6)*-37. Solve -66*v + c = -29*v for v.
3
Let i(f) = -2*f**3 - f**2 + 81*f - 10. Let v be i(6). Solve -v*w = 16*w + 120 for w.
-5
Let i = 268 + -182. Let d = -38 + i. Suppose 0 = -3*j - j + 4*x + d, 0 = -j - 2*x + 15. Solve -5*z - 38 = -j for z.
-5
Let o be (-1)/((-18)/1526) - (-906)/4077. Solve -1 + o = -21*u for u.
-4
Let a(w) = 4*w**2 - 35*w - 37. Let o be a(16). Let b = 432 - o. Solve 0*k = -b*k - 25 for k.
-5
Let y be (-2)/16 - ((-159651)/216)/9. Solve 84*d + 14 = y*d for d.
-7
Let v(c) = -6*c**2 + 90*c + 114. Let k be v(16). Solve 12*y + k*y - 150 = 0 for y.
5
Let g = -49 + 57. Suppose 4*h = -16, h = 6*s - g*s - 4. Solve 4*i - 16 = -s*i for i.
4
Suppose -76952 = -44*n + 289*n - 485367. Solve -n*i = -1666*i - 5 for i.
5
Suppose 4*u = 64 - 24. Let g be (-7)/(-2) - 82/164. Suppose -g*l + u = -2*y, 4*l + 0*y = y + 5. Solve l = -3*f + 3 for f.
1
Suppose h = -4*g + 421, -52*g - 2*h - 418 = -56*g. Solve 45*n - g = 60*n for n.
-7
Let k = -1846 - -1273. Let d = k - -601. Solve -d*r = -33*r - 25 for r.
-5
Let t(z) = z - 3. Let y be t(4). Suppose 5*g - 11 = -y. Suppose f + 2*o = -g, 3*f = f + 4*o + 20. Solve -6*j + f*j = 0 for j.
0
Let v(g) = 2*g + 27. Let r be v(-11). Suppose 55 = -3*d + r*c, -3*c + 97 = -7*d + 2*d. Let s be (-2)/8*-2 - 30/d. Solve 2*i + 10 - s = 0 for i.
-4
Let y be 1/(2/(-90))*(-3905)/2343. Solve -y*s = -55 + 505 for s.
-6
Suppose 0 = 4*o + 5*g + 5, -2*g + 1 = -5*o - 30. Let f be -60*-3*3/18 - o. Solve 8*q + f = -5 for q.
-5
Let o be (92 + -90)*(6/(-24) + (-747)/(-4)). Solve o*r - 368*r + 5 = 0 for r.
-1
Suppose 57*f - 4*f - 223 + 64 = 0. Let k be (-4)/(-6)*3 + -1. Let r be k*(1 - 2/(-1)). Solve -r*o = f - 0 for o.
-1
Let c(v) = 681*v**2 - 4. Let j be c(1). Let o = -640 + j. Solve -o = -7*m - 16 for m.
3
Let x be (-681)/(-5)*30/51 - 14/119. Solve x = 14*r - 34*r for r.
-4
Let w be (-40)/48 + 1/(-6). Let l be w + (8 - ((3 - 0) + 1)). Solve o = l + 2 for o.
5
Let a = -28 + 27. Let d(r) = -2*r**2 + 2. Let t be d(a). Suppose -3*i + 11 + 7 = t. Solve -s + i*s = 20 for s.
4
Let z(i) = 5*i**2 + 100*i - 1485. Let d be z(12). Solve 9*y + d - 399 = 0 for y.
-4
Suppose 3259 = -8*k + 3443. Solve 0 = k*y - 21*y - 4 for y.
2
Suppose -4*z + 75 = 3*j + 2*j, 2*j = -5*z + 98. Suppose 0 = -m + 3*r - 4, -3*m + 0*r = -r - z. Suppose