 = 4*y for a.
4
Let i = 9148 - 9144. Solve -i*w - 3*q - 14 - 13 = 0, 5*q + 25 = 0 for w.
-3
Let a be 37/5 - (-8)/(-20). Let r = -699 - -703. Suppose -r*c + 15 = l, -3*l = -a*l + 3*c + 22. Solve -3*n + 4*m = -l*n + 12, 0 = 3*n - m - 5 for n.
2
Suppose -3*q = 5*l - l - 19, 4*q + 2*l = 22. Let g(x) = 2*x**2 - 22*x + 1. Let r be g(11). Let f = -3 + 5. Solve -f*z + r - 3 = 0, -4*z = q*y + 29 for y.
-5
Let f = -533 - -542. Let l = f + -7. Solve -l*o = -3*m + 7, m - o + 10 = 4*m for m.
3
Let i(y) = -y**3 + 12*y**2 + 30*y - 27. Let m be i(14). Let f(w) = w**2 - 9*w + 3. Let v be f(9). Let t = v + 0. Solve l - r - m = -0*l, -3*r = t for l.
0
Suppose -8 = 4*s - 8*s. Suppose -3*w + 2*d - 2 = d, -5*w = -d + 6. Let t be w + 9 - 3 - -1. Solve -s*p = p + 3*n + 3, t*n + 5 = 3*p for p.
0
Let w = -177 + 174. Let c be (4/8)/(4*w/(-48)). Solve 2*v - 1 = -c*y - 11, 1 = 3*v - 5*y for v.
-3
Let l(w) = -20*w - 2176. Let c be l(-109). Solve 14*t + 8 = 10*t - 2*i, 0 = 4*t - c*i + 20 for t.
-3
Let r(l) = 12*l - 54. Let f be r(4). Let i(n) = n**3 + 18*n**2 + 71*n - 3. Let q be i(f). Solve q*b - b = -2*g + 4, -b + 14 = 5*g for g.
3
Let v(i) = -i**2 - 27*i - 16. Let g be v(-26). Suppose g = 9*a - 7*a. Solve -2*w + 3*k - 8 = -0*w, 0 = 4*w + a*k - 28 for w.
2
Suppose -11 = -2*y - 7. Let u(t) = -t**3 - 5*t**2 - t - 3. Let l be u(-5). Suppose y*f - 4 = -o - 0*o, f = -l. Solve p = -j - 3, -4*p + 0 = o for j.
-1
Let x = 4176 - 4174. Solve 3*d + 0*f - 3*f = 0, -x*f = -2 for d.
1
Let d = -18391 - -18393. Solve -d*h + 3*w = 5, 6*w - 11 = -4*h + 5*w for h.
2
Let a(m) = -67*m**2 + 10*m + 2*m - 13*m + 79 + 68*m**2 - 35*m. Let v be a(34). Solve -n + 4 = -3*p - 4, -5*n - 2*p = v for n.
-1
Let j be ((-12)/(-24))/((-2)/(-228)). Let g = j - 42. Suppose 5 = 10*l - 25. Solve g = r + 2*c, -l*c - 20 = r - 8*c for r.
5
Let h(o) = -22*o + 48. Let g be h(2). Let f(x) = -3*x + 15. Let r be f(g). Solve 2*d - r = -3*i - 0, d + 1 = -4*i for d.
3
Let p(h) = -7*h - 3. Let q be p(-3). Suppose 3 = q*c - 17*c. Let v = 750 - 725. Solve -2*x = -c*x - 5, -n - 4*x - v = 0 for n.
-5
Suppose 3*b = 2*u + 21, -5*u - 3 = -5*b + 3*b. Suppose -b*g + 305 = 44. Solve -g = -4*y + 3*w, -5*w + 2 = 4*y - 3 for y.
5
Let x(b) = b + 1. Let o(p) = -p - 24. Let r(n) = o(n) - 4*x(n). Let j be r(-6). Solve u - 19 = 5*w, 4*w - 1 = j*u - 15 for u.
-1
Let c be (-2)/(((-4)/(-10))/(((-120)/50)/1)). Solve -2*o - c = -0*o - 2*u, -o - 5*u = 0 for o.
-5
Let x(h) = -41*h + 114. Let v be x(15). Let r = v - -505. Solve -5*f = 0, -r*u - 20 + 0 = 2*f for u.
-5
Let k(v) = v**2 + 4*v - 188. Let g be k(-16). Suppose -g*t = 5*x - 30, 4*x = 3*x + 5*t - 23. Solve 2*f + 0*f = x*b, -4*f = -3*b + 1 for f.
-1
Let h(j) = j**3 + 10*j**2 - 5*j + 2. Let o be h(-5). Let d = o + -141. Solve 3*a + 0 + 9 = -3*y, 3*a = -2*y - d for a.
-5
Suppose -2242 = -9*d - 919. Let f = d - 134. Solve -m + 4*c = -f, 28 = -0*m + 4*m - 4*c for m.
5
Let g = -5544 + 5552. Solve -g = 2*h + 5*z, 17*h = 22*h - 5*z + 20 for h.
-4
Let u be (-3 - 2) + -20 + 56/2. Solve 3*i + u*g = 12, 5*g = -4*i - 0*i + 19 for i.
1
Let k = 1073 - 1833. Let l be (1/(-4))/(k/(-192) + -4). Solve 0 = -4*o - 12, y - o = l*y - 22 for y.
5
Let z be (-1*0/(-1))/(88/(-44)). Suppose h - 42 - 30 = 2*m, -5*h + 4*m + 372 = z. Let b = -75 + h. Solve 5*q - 2*i = b, 0*q - 2*q + 5*i = 8 for q.
1
Let n(x) = 5*x**2 - 33*x + 8. Let b be n(6). Let h be (0/(-15))/((-3)/(6/b)). Solve -4*a + 2*f - 14 = 0, 0 = 5*f - h*f - 15 for a.
-2
Let j(r) be the first derivative of -r**3/3 + 7*r**2 + 3*r + 6. Let w be j(8). Suppose -3*l = -w - 24. Solve u + 3*p + 6 = 26, 0 = -u - 4*p + l for u.
5
Suppose 17*n = -10*n + 135. Solve -n*x - 11*j = -7*j - 11, 5*j = 20 for x.
-1
Let k be -5 + 2 + (1 - 5). Let s(z) = z**3 + 6*z**2 - 17*z - 67. Let d be s(k). Solve 0 = 2*a + 6, -d*h = -4*h + 4*a + 7 for h.
-5
Let j(n) = 3*n**3 + 17*n**2 - 13*n - 36. Let u be j(-6). Solve 2*r - 22 = u*c, 0*r + 12 = -4*c + 2*r for c.
-5
Let s be 1*5/(-20) - 144/(-64). Solve 2*v - 4*z + s = 4*v, -v + 2 = z for v.
3
Let j(z) = 1529*z - 1529. Let d be j(1). Solve 19*q - 15*q + 5*k - 45 = d, -4*q + 2*k + 10 = 0 for q.
5
Suppose -27*v = -26*v - 6. Suppose a + 4 = 2*x, a = -v*x + 3*x + 16. Solve -2*f - 14 = 3*j, 2*f - a*j = -2*j + 6 for f.
-1
Let d(r) = 2*r**2 - 53*r + 278. Let a be d(7). Suppose -4*z = -3*z - 5. Solve z*k = f - 2, 0*f + 2*k = a*f - 10 for f.
2
Let k(g) = -g**3 - 10*g + 31. Let x be k(2). Solve 5*c + 14 = -n, -2*c = 2*n + x + 9 for n.
-4
Let k(j) = -2*j**3 + 6*j**2 - 7*j. Let f be k(4). Let i = 62 + f. Solve -i*a + 0*a = -t + 3, 4*a + 11 = 3*t for a.
1
Suppose 0 = -8*j + 16*j. Let h be (-16)/(-4) + j - 2. Solve -4*w + h*t = -3*w - 4, -5*t - 8 = -3*w for w.
-4
Suppose 0 = -z + 3*i - 10, 2*i - 69 = -2*z - 41. Solve x + 4 = w, 3*x - z*w = -3*w - 8 for x.
-6
Suppose 60*n - 68*n + 1432 = 0. Let d = 181 - n. Solve -4*h - 8 = 4*a, -a - d*h + 3*h = 0 for a.
-1
Let d(m) = -39*m - 116. Suppose 5*n + 33*r + 18 = 36*r, -4*n - 14 = -2*r. Let i be d(n). Solve -2*y - 3*v - 7 = i, 4*v = -y - 4 for y.
-4
Suppose -10*i = -19*i + 18. Let b be -2*(-1)/i - 0/3. Solve -4*j - 28 = 3*k, b = -3*k - 5*j - 31 for k.
-4
Let l = 3591 - 3588. Solve -p = -3*p + 5*d - 29, 0 = -l*p - 2*d + 4 for p.
-2
Let m be 10/(-28)*-26 - 106/371. Suppose 86*q = 85*q + m. Suppose -4 = q*s - 49. Solve s*v = g + 1 - 6, -4*v = 3*g - 15 for v.
0
Suppose 3*p - 25 = -o, 0 = -p - 0*p + 4. Let u = o - -9. Suppose -17*w + u*w - 40 = 0. Solve 4*c + 3 - w = d, 0 = 2*c for d.
-5
Let u = -3 + 6. Let j(h) = h**2 - 13*h - 19. Let w be j(14). Let s be 2 + w*8/(-20). Solve -5*n - 2*c - 15 = u*c, 5*c + 13 = -s*n for n.
-2
Let l be (-3)/(-2)*(-8 - (-204)/18). Suppose 131 - 101 = -l*r. Let h be -2 + (-1)/(3/r). Solve -6*a = -5*c - 2*a - 8, h = -3*c + a - 9 for c.
-4
Let v be ((-7)/((-21)/6))/((-8)/(-20)). Suppose 3*k + 4 = v*k. Let r(h) = -h**2 + 5*h - 3. Let b be r(k). Solve -7 - 6 = -4*q - b*c, -4*q - 5*c = -19 for q.
1
Let a(z) = z**3 + 17*z**2 - 28*z + 194. Let o be a(-19). Solve 7 = -2*m + k, -o*k + 18 = m + m for m.
-1
Let u be 2/5 - (-9)/(855/247). Solve 5*p = t + 11 + 10, p = u*t - 7 for t.
4
Suppose 0 = -5*y - 2*f + 75, 6*f + 3 = -y + 2*f. Solve 13*c - 15*c + 30 = -5*v, -2*v = 5*c - y for v.
-4
Suppose -10*b = -28 + 38. Let r(u) = 21*u + 25. Let s be r(b). Solve -5*m = -s*q + 4, -3*m = -5*m - 4*q - 24 for m.
-4
Suppose -5*h + 3*d + 31 = 0, -h = 40*d - 36*d + 3. Solve b - q = 3*q + 10, h*b + 5*q = -25 for b.
-2
Suppose 0 = 4*c + a + 58 - 53, -2*c = -2*a - 10. Solve 2*y + 4*f + 2 = 5*f, c = -4*f - 8 for y.
-2
Let s be 24/(-22)*9 - (-30)/(-165). Let p be s*(4/40)/(-1). Solve -g + 2 = -i, 2*i + 0 = g + p for i.
3
Suppose 24 = 4*y + 8. Let l be 24/(-16)*6/(-9). Solve 2*b + y*x = -l + 31, x = -3*b + 20 for b.
5
Let m = -1152 + 1098. Let q be (61 + -2)*(-2 + 1). Let f = m - q. Solve -t = -f*c + 2*c + 11, 0 = 2*c - 4*t + 6 for c.
5
Let s = -3602 + 3655. Solve 25 = 4*w - o, 50*w - 4*o - 5 = s*w for w.
5
Let v = 447 + -422. Suppose -97 = -6*y - v. Solve 2*r = -5*a + a - y, 9 = -5*a - 4*r for a.
-5
Let x(v) = -106*v**2 + 219*v - 11. Let j be x(2). Solve 4*h - a = -4, 5*h + 8 = -5*a + j for h.
-1
Suppose -32*i - 314 + 378 = 0. Solve -g + 5*z = -23, i*g + 3*z + 20 = 1 for g.
-2
Let s(g) = -22*g**2 - 11*g**2 + 11*g**2 + 10 + 12*g**2 + 6*g + 12*g**2. Let z be s(-3). Solve -y = 2*y + 2*q + 7, z = 2*y + 5*q for y.
-5
Let b(m) = m**2 - 25*m + 94. Let l be b(21). Solve -2*k - 15 = k + 3*s, 3*s = -2*k - l for k.
-5
Let u = 5 + -2. Let a be 2 + (-4361)/14*-2. Let p = a + -624. Solve 2*t = 3*b - p, 0 = -3*b + 5*t + u + 4 for b.
-1
Let q = 7 + -3. Suppose 26 = 54*v - 50*v - 3*b, -4*b = -v. Let h(n) = 21*n - 163. Let t be h(v). Solve -z - z + 25 = t*u, -3*z + 20 = q*u for z.
0
Suppose -18*g - 250 = -322. Solve -d - 128 = 5*q - 131, -11 = g*d - 3*q for d.
-2
Suppose 5*n = 5*y - 260, -4*y = -3*n + 6*n - 222. Let q = 27 - 78. Let c = y + q. Solve -5*f + 8 = 4*v, -3*v + 4 + c = 4*f for f.
4
Let u = -136 - -133. Let w be 8 - (2 - u - 1). Solve 2*s - w*f = -6, 4*s - 2*f - 10 = 2 for s.
5
Let t(l) = l**3 - 24*l**2 - 18*l + 90. Let c be t(24). Let q = c + 344. Let o = -8 + 12. Solve 3*a - 5*a - v = -o, -q*v = -3*a + 13 for a.
3
Let v(r) = -r**3 - 149*r**2 - 2*r - 298. Let p be v(-149). Solve -12*m = -14*m + 4*b - 8, p = 7*m + 2*b - 20 f