+ a - 20 for x.
0
Let w(r) = 68*r**2 + 201*r - 5. Let q be w(-3). Solve -19*z + 2 = q*n - 20*z, 2*n + 5*z + 10 = 0 for n.
0
Suppose 2*i + 8 = -0, 11 = -k - 5*i. Suppose 0 = -5*u + 3*p + 1, 6*u = 10*u - p - 5. Solve u*l + k = -3*d, 5*d + l + 14 = -2*l for d.
-1
Suppose -67*b = 15*b - 1148. Suppose -5*i + 4 = -6, -4*p + 5*i = -54. Let n = p - b. Solve 4*c = 2*x + n, 3*c - 2 = -5 for x.
-3
Suppose -45*t - 59 = -149. Solve 15*p + t*q = 11*p, q = -5*p for p.
0
Suppose -14 = -2*r + 3*d, 4*r - 10 = -110*d + 107*d. Solve -15*a = -12*a + 9, 0 = r*t - a + 9 for t.
-3
Let q = -15 + 18. Let g(b) = b**2 + 5*b + 7. Let z be g(-2). Suppose -z + 10 = q*s. Solve -2*n - 5*f = -0*f - 25, -s*n - 15 = -3*f for n.
0
Let t(v) = -v**3 + 35*v**2 + 196*v + 177. Let x be t(40). Let y be (2 + 1)*(-1 + 0). Let l = -1 - y. Solve 4*c = 5*z + x, -2*c + l + 5 = -z for c.
3
Suppose 5*k + 3*g - 6*g - 88 = 0, 3*k = 3*g + 48. Let t be 1/(-3) + k/6. Solve -2*w = 4*j - 15 - 7, t*j - 2*w = -1 for j.
3
Suppose 34121 - 34148 = -9*v. Solve -v*m = -0*s + 4*s - 38, s = -4*m + 29 for m.
6
Suppose -20*l = -32 + 32. Solve 4*z - 2*j = 2, l = 45*j - 40*j + 25 for z.
-2
Suppose 37*g + 60 = 31*g. Let b be (-105)/(-6) + (-5)/g. Solve -3*t - b = 3*a, 2*a + 2*a + 18 = 2*t for a.
-5
Let j be (-5)/1 - (-1 + -21 + 0). Solve -3*a - 3*i - j = -2, 0 = a - 2*i - 7 for a.
-1
Suppose 0 = 6*m + 109 - 133. Let c be 11/m + (36/16 - 3). Solve -3*v + 5*z = -9, -c*z = 5*v - 0*z + 16 for v.
-2
Suppose -5*k + k + 20 = 0. Let x = -99 - 331. Let q = 433 + x. Solve -3 = -2*h - q*g, -3*g = 2*g - k for h.
0
Let n(v) = 46*v + 234. Let p be n(-5). Solve -3*l - p*h = 1, -6*l + 4*h = -10*l for l.
1
Let d(j) = j**2 + 6*j - 12. Let i be d(8). Suppose 0 = -0*p - 4*p + i. Suppose -30 = -11*g + p. Solve -2*s + n + g - 3 = 0, 3*n + 10 = 2*s for s.
-1
Suppose 206*o = 198*o + 40. Solve 2*k + o*t = -k - 27, -4 = 4*k - 4*t for k.
-4
Let b = -13250 - -13263. Solve m - 24 = -5*u - 21, -b = 4*m - 5*u for m.
-2
Let a = -85 - -65. Let m(u) = -u**3 - 19*u**2 + 20*u + 3. Let j be m(a). Solve -3*f = 4*k - j, -2*f + 30 = f - 5*k for f.
5
Let u(o) be the third derivative of -o**5/60 + 5*o**4/24 + o**3/2 + 45*o**2. Let p be u(5). Solve -l + 6 = -3*i - 0, p*i + 6 = -4*l for l.
0
Suppose -w - 56 = -58. Solve -w*d = -4*h + 20, 2*h + 4*d - 51 = -61 for h.
3
Suppose -14 = -4*y - 2. Suppose -13*t = t + 140. Let r be (4 - 4)*(-4 - -5) - t. Solve y*g = -u - r, -4 = -g + 2*g + u for g.
-3
Let l(w) = -w**2 - 24*w + 17. Let u be l(-25). Let a be -3 - (26/(-2) - u). Solve -5*c + 2*d - a = 0, 0 = c - 0*d - d - 2 for c.
-2
Suppose -j - 259 = 36*j. Let s be j/((-24)/(-16) + -5). Solve 6*k + 24 = 2*k - 4*m, 0 = -s*k - 4*m - 20 for k.
-2
Suppose 2*k - 7 = 7*y - 25, 12 = 5*y - k. Solve 137*l - 134*l = -2*t - 11, l = y*t - 9 for l.
-5
Suppose -3072*v + 3065*v + 49 = 0. Solve -17*j = 2*g - 22*j + 15, 0 = v*j - 7 for g.
-5
Let x = 674 - 631. Suppose -27 - x = -10*s. Let d(v) = v + 8. Let o be d(-6). Solve 2*k + o*j = -4, k - 3*j = -1 + s for k.
0
Suppose -5*i - 68 + 39 = -4*v, 2*i = -2. Solve 2*a = 4*m - 14, 2*a + 2 = -2*m - v for a.
-5
Let n = -75 + 75. Solve 3 = t - 5*h + 6, -2*t - 4*h - 6 = n for t.
-3
Suppose -3*u + 18 = 3*x, -x + 2 = 3*u - 6. Suppose x*z - 2 = 4*z. Solve 0 = 3*i - 0*i + j + 2, -1 = -i - z*j for i.
-1
Let u(m) = m**2 + 8*m + 10. Let d be (6/8)/((-1)/20). Let z = 8 + d. Let l be u(z). Solve -x - l*g = 15, 5*x + 20 = -3*g - g for x.
0
Suppose 138*o - 224 - 1357 = -201. Solve -58*x + 4*f - 22 = -63*x, -2*x - 2*f + o = 0 for x.
2
Suppose -217*x + 89*x = 9 - 265. Solve -2*c = -3*c - 4*n + 15, 5*c = -x*n - 15 for c.
-5
Let v be (-5 + 1)*504/112. Let j(u) = 15*u + 276. Let x be j(v). Solve 0 = -b - 4*r + 21, -3*b + 2*r = -x*b + 13 for b.
1
Suppose 2*a = -5*r - 3, 2*a + 4 = -5*r + r. Let t be r - (-2 + 6)/(-4). Solve 2*x - n + 0*n + 9 = 0, t*x = -2*n for x.
-3
Let m be ((-24)/(-9))/(((-92)/(-621))/(2/9)). Solve -4*t + 4*a - 36 = 0, -5*t - m*a + 0*a = 0 for t.
-4
Let a = 4539 + -4494. Solve 2*w = -2*m - 2, -a = -3*w - 39 for m.
-3
Suppose 941 = 46*j + 757. Solve 4*p + 3 = w, j*w = 2*p + 10 + 2 for w.
3
Let p = 28 + -25. Let t be 30/(-30) + (8 - (3 - 1)). Solve -3*n = p, 0 = t*l - 4*n - 9 - 0 for l.
1
Let f be 24*((-220)/8 + -3). Let g = f + 738. Solve g = -2*k - 2*d, 3*k + 6 + 3 = -5*d for k.
-3
Let u(r) = -15*r - 12. Suppose 4*m = -2*p + 16, -3*m + 4 = 4*p - 3. Let z be u(p). Suppose 6 = 8*c - z. Solve -5*x = 5*h - 5, 0 = -3*x - c*h - 2*h - 1 for x.
3
Let l(n) = 50*n**2 - 13*n + 11. Let f be l(1). Let o be -2*3/f + 5/40. Solve -6*w - 3*y = -2*w - 4, -2*w + 3*y + 2 = o for w.
1
Let z be (4/(-10))/((-2)/470). Let r = z + -46. Let a be 6/28*-2 + r/14. Solve 0 = -x + 4*x + 2*h, -a*x = 4*h for x.
0
Let p = -3 - -5. Suppose -11*j - 4689 = -20*j. Let m = 523 - j. Solve d = -m*q + 1, 0 = -2*d + 4*q - 0 + p for d.
1
Let y(g) = g**2 - 16*g - 10. Let k be y(17). Suppose -5 - k = -4*v. Let r be 12/v - (1 + -2). Solve 0 = 3*s + 4*t - r, t + 20 = -3*s - 2*s for s.
-5
Let b = 159 - 153. Let w be (-50)/75 - (-22)/b. Solve 0 = 3*d + 5*s + 30, -w*s = 3*d - 5*d - 1 for d.
-5
Let f = -5614 - -5617. Solve 4*u - m = 7, 4*u - f*u + 2*m = 13 for u.
3
Let f = 189 - 170. Suppose 24 = -f*t + 100. Solve -t*l + 3*a + 2 = a, 4*l - 5*a = 17 for l.
-2
Let s be ((-2)/(-6))/(1/9). Suppose f = 3*l - 12, 4*l = f - 2 + 17. Solve 2*a = s*g + 2, 2*a + l*a + 10 = 0 for g.
-2
Let z(i) = -2345 + 23*i - 2352 - i**2 + 4600. Let w be z(17). Solve 5*t = 3*m + 8, -w*t + 4*t + 2*m = -3 for t.
1
Let l = -7515 - -7520. Solve -l*j - 31 = -3*i, 49*j - 48*j = 3*i - 11 for i.
2
Let j be 1*32*8/16. Let o(l) = 1319 - 15*l**2 - j*l + l**3 - 1319. Let c be o(16). Solve -5*r + w = 14, -3*w + 4 = 4*r - c*w for r.
-2
Let m = -3 - -3. Suppose -6*i + 5 + 7 = m. Suppose -3*g + 2*s = -4*g - 3, i*g - 14 = s. Solve -5 = -g*n - 3*q, -2*q + 10 = 4*n + 4 for n.
4
Let j(y) = -2*y**3 + 87*y**2 + 1538*y + 63. Let q be j(57). Solve -q*a - 9 = -3*a, a = 5*z - 28 for z.
5
Let k = -5153 - -5172. Solve -22 = -2*r - 4*p, -9*r - 3*p + k = -5*r for r.
1
Suppose -832 + 936 = 52*n. Solve n*p + 18 = 92*d - 96*d, 5*d + 25 = 0 for p.
1
Suppose -561*r + 192*r + 845 = -262. Let y(q) = -q**3 - 5*q**2 - 6*q - 4. Let i be y(-4). Solve -6*n + k = -r*n + 8, -i*n - 20 = k for n.
-4
Let p(k) = 10*k + 25. Let t be p(-2). Solve t*q = 5*d - 30 - 10, 0 = -q - 3 for d.
5
Suppose -28*s = 86*s - 1368. Solve -3*h + j = s, -10*h = -14*h + 5*j - 5 for h.
-5
Suppose 0*q + 11*q + 21 = 175. Solve q = -3*y + 4*t, 0*y + 5*y - 2*t + 28 = 0 for y.
-6
Let f be 66/12 + -5 - 30/(-4). Let t be ((-81)/(-54))/(3/f). Suppose -5 = -o + 4*p - 7*p, 0 = -4*p + t. Solve -5*q - 2 = -3*h + 1, 0 = o*h - 2*q + 2 for h.
-4
Suppose 4*p = -4*c + 56, 61*c - p - 46 = 57*c. Solve -c*a - 7 = 2*o - 17*a, -2*a - 20 = 3*o for o.
-6
Let x(v) = -2*v + 14. Let m be x(9). Let w be m/(1 - 3) + 0. Suppose -3*f - l + 10 = 4*l, -7 = -w*f - 3*l. Solve 12 = -4*k, -3*y + 40 = 2*y - f*k for y.
5
Let w = -237 + 137. Let z = 117 + w. Suppose z = -3*p + 29. Solve 3*v - 1 = -4*h, -3*v + p = -5 for h.
-2
Let x(h) = 1019*h - 4071. Let z be x(4). Solve -6*d = 5*y - 9*d + 10, -z*y - 35 = 2*d for y.
-5
Let c be 4/(-6)*(1 - 25). Suppose 9*d - 26*d = -34. Suppose -5*x - b + 3*b = -c, -5*x - d = 4*b. Solve -x*y - y - 9 = 0, 3*h + y - 12 = 0 for h.
5
Let m(f) = 25*f - 148. Let b be m(6). Solve 3*h + a = -b*h + 26, h = -3*a + 8 for h.
5
Let f(o) = 631147*o + 3 + 15 - 631149*o. Suppose 0 = n + n - 14. Let c be f(n). Solve 5*s = k - 2 - 5, -c*k - 8 = -2*s for s.
-2
Let s = -53 - -55. Let l(k) = 5*k + 4. Let c be l(0). Solve -3*m - c = w, 3*w = -s*m + 2 - 7 for m.
-1
Let n(w) = 28*w + 1402. Let q be n(-50). Solve 0 = -q*k - 4*m + 18, 0*m + 5*m - 15 = 0 for k.
3
Let c = -18702 - -18704. Solve -c*j + 5 = -3*p, 2*j = 4*p - 3*p - 5 for j.
-5
Let p(r) be the third derivative of r**5/15 + r**4/24 - 14*r**3/3 - 26*r**2 - 3. Let j be p(-3). Solve 0 = -i - 2, -3*v = -0*v - j*i + 5 for v.
-5
Let o(b) = -b**3 - 7*b**2 - 4*b + 39. Let v be o(-4). Solve -5*j - 18 = -v*q + 4*q, 2*q + 5*j = -13 for q.
1
Let q = -546 + 549. Solve -10 = q*i + 5*y, i + 38*y = 35*y - 10 for i.
5
Let z be (6/(-20 + 26))/((-8)/10 - -1). Solve -3*x - 28 + 13 = 0, -x - 30 = z*w for w.
-5
Let b(g) = -g**2 + 5*g - 3. Let c be b(3). Let k be -2 + -5 + 