a = j*k + 4 for a.
0
Suppose -k + 26 = 2*t - 0*k, -4*t - 5*k + 46 = 0. Suppose 3*c + 2*f = 3*f + t, 2*c = -5*f - 19. Solve 2*v + 3*u = 12, 3 = c*v - 2*u - u for v.
3
Let x be ((-47)/7 - -5)/((-2)/(-14)). Let u be 17 + x - (0 - -1). Solve -u*y + 4*h = -4 - 0, -31 = 5*y + 4*h for y.
-3
Suppose 12*k + 74 = 110. Suppose -3*o + 10 = -5*f, -3*f + k + 10 = 2*o. Solve 1 = -2*z + 5*r, 2*r - f = -z + 6*r for z.
-3
Suppose 11915*p + 214 = 12022*p. Solve 13*i = 4*q + 12*i - 5, 5*i = p*q - 25 for q.
0
Let d = 90 + -54. Suppose 4*r - 22 = -2*h - 4, 3*r = -4*h + d. Let z be 3/(h/(-2))*(-6)/2. Solve -3*y - 5*g = 0, -4*y - z*g = g for y.
0
Suppose 88 = -18*l + 142. Solve u + l + 4 = -b, -5*u = 3*b + 25 for b.
-5
Suppose -f = i - 7, 0*i - 5*i + 5 = -f. Solve 3 = -y - 0, 0 = 3*d - i*y for d.
-2
Let f(r) = -r**3 - 20*r**2 + 16*r - 105. Let u be f(-21). Solve -5*t + 0*t + 2*k - 25 = 0, u = 4*t + k + 20 for t.
-5
Suppose -2*w + 35 + 11 + 0 = 0. Solve -5*u + 2*s = -21, -4*u + w + 1 = -4*s for u.
3
Let k(t) = -t**2 + 11*t - 2. Let i be k(10). Suppose -18*f + 2470 - 166 = 0. Suppose 0 = f*v - 136*v + 96. Solve -3*d + v = -3*a, -a = 4*d - 2*d - i for d.
4
Let o(q) = 48*q + 161. Let z be o(-3). Solve 22 = -y - 4*x, 0 = 2*x - 7 + z for y.
-2
Let u = -862 + 867. Solve 4*a + 5*x = 13 + 7, -u*a + 25 = -4*x for a.
5
Let a = 6 + -2. Suppose -a*n + 0 = -8. Let j be (-1540)/(-77) - (10 - -2)/2. Solve 2*f = -4*p + j, f - 3 = n for p.
1
Let g = -295 + 300. Let a be 1*(g + -2) - -2. Solve -7 = 2*u - a*f + 3, 4*f - 8 = 2*u for u.
0
Let u = -207 + 212. Let h(r) = -r + 12. Let y be h(9). Solve 4*o = 5*o - u*w - 5, -2*o - y*w - 16 = 0 for o.
-5
Let d be (-4)/6 - 4/(-6). Let x = -1991 - -1995. Suppose x*m = 30*u - 27*u + 74, -4*u = 2*m - 48. Solve d*g = -4*n + 5*g + 17, m = 5*n - 5*g for n.
3
Let w = -6130 - -6130. Solve -4*z + 33 - 13 = w, 7 = f + 2*z for f.
-3
Let x = 23973 - 23970. Solve 0 = 4*c - 4, -5*c = -x*h - 93 + 79 for h.
-3
Suppose -5*m + 3*v + 2 = 0, -2*m + 15 - 1 = v. Solve 4*d = -m*a + 33 - 29, -4*d - 6 = 2*a for d.
-4
Let j(f) = 33*f - 493. Let o be j(15). Solve g - 32 + 31 = 0, -o*n + g = 1 for n.
0
Let f = -4204 + 4204. Solve f = -4*i - 4*k + 11 - 3, -5*k + 10 = -2*i for i.
0
Let d be (-346)/((-15)/6 + 3). Let v = d + 694. Solve c = 5, 3*u - 3*c = -v*c - 11 for u.
-2
Let i be 16 + ((-158)/22 - (-36)/198). Solve 3*t - 12*k - 15 = -i*k, -4*k = -5*t + 21 for t.
1
Let s(j) = 178*j + 2141. Let k be s(-12). Solve 0*t - k*v + 12 = -t, 2*t = -4*v + 4 for t.
-2
Let r(y) = 331*y + 7 - 162*y - 167*y. Let k be r(-2). Solve k*s + 3*h = 0, -20 = -3*h - h for s.
-5
Let k be (-22114)/(-22) - 14/77. Suppose k*w - 1000*w = 0. Solve 4*o = -n - w*n + 5, -4*n + 9 = 5*o for n.
1
Suppose -6*u = 6*u + 6*u. Suppose -x + 2*x - 7 = u. Solve -3*p = x + 2, -3*k + 5*p + 3 = 0 for k.
-4
Let y(u) = 19*u**2 + 14 - 10*u - 2 + 0*u**3 - 2*u**3. Suppose -80*n + 215 = -415 - 90. Let q be y(n). Solve -q*b = 5*o + 19 + 6, 2*b = o + 5 for o.
-5
Suppose -154*y + 157*y = 90. Suppose -4*f = -5*k + f + y, -4*k + 9 = f. Solve 5*o + 0*z = 5*z, 0 = -k*z + 15 for o.
5
Let x be (-1)/1 - 1426/(-46). Suppose 0 = -27*a + 12*a + x. Solve -t + 1 - 12 = -a*u, 4*u - 15 = -5*t for t.
-1
Suppose -6*i - 10299 = -9*i. Let q(v) = i*v - 15 - 37 - 3435*v. Let m be q(-28). Solve -3*c - 3*s + 0 = 6, 3*c + 10 = -m*s for c.
2
Let s be 27/(-12)*(2 - -10). Let t = 67 + s. Let d be (42/14)/(((-9)/(-28))/((-24)/(-14))). Solve -4*m = 5*k + t, -k = -4*m - 0*m - d for k.
-4
Let s(p) = -36*p - 127. Let r be s(-20). Suppose r*a - 9 = 590*a. Solve 0 = -4*y - 3*h + 12, 5*y = 2*h - a + 18 for y.
3
Let q(s) = -s - 6. Let h be q(-6). Suppose 111*y - 102*y - 36 = 0. Solve -f + m + 6 = 0, 4*f - y*m + 2*m - 14 = h for f.
1
Suppose 5*t - 16 + 1 = 0. Suppose -7*z - 4*b = -6*z - 19, -4*b + 1 = -5*z. Solve 2*n + 11 = -z*y, 0 = 2*n + t*n + 3*y + 23 for n.
-4
Suppose 12*n - 178 - 182 = 0. Let y be 25/n - 2/(-12). Solve 5*t - 3*f = 12 - y, 4*f + 3 = -5*t for t.
1
Let p = 5149 - 5096. Solve 56*y = p*y + l - 15, 2*y - 3*l + 10 = 0 for y.
-5
Let r(c) = -c**2 - 6*c + 19. Let d = 509 - 517. Let j be r(d). Solve a - 1 = -x - j, -x + 4*a = -8 for x.
0
Let z(k) = -k + 2. Let b be z(-2). Let x be 84/35 + b/(-10). Let l(j) = -2*j**2 + 116*j + 127. Let h be l(59). Solve 5*o - h = -4*s, -2*o = 3*s - 7 + x for o.
1
Let p be (-4)/((-20)/65) + 9. Suppose -37 = -p*a + 359. Let i be (-21)/(-12) - 2/(-8). Solve 2*c = i*h - a, 0 = -4*c + h - 1 - 20 for c.
-4
Suppose -37 = -5*o + n, 3*n + 18 - 67 = -5*o. Let p be (o - (6 - 3))/1. Solve 2*l + 5 + 0 = -q, -p*l = -5*q + 5 for q.
-1
Let v(q) = q**2 - q - 50. Let n be v(7). Let u be (-18)/n*120/45 + 1. Solve 4*g - u*r + 2*r = 16, -g = r + 5 for g.
-1
Let z(f) = -f**3 - 20*f**2 - 9*f - 30. Let u be z(-19). Let w = -315 - u. Let k = 100 + w. Solve y + k*m = -0*y + 4, 3*m = 0 for y.
4
Suppose -949*g + 76 = -945*g. Solve -2*q + 2*a = 2, a + 5 + g = -4*q for q.
-5
Suppose -2*y - y + 5*h = -350, -h - 478 = -4*y. Let v = -115 + y. Solve 2*u - 2*o = -2*u - 6, v*u - 5*o + 20 = 0 for u.
1
Suppose 5*l = 3*l + 4. Suppose -l*g + 1 = -3. Suppose -g*s + 2 = -68. Solve w - 2*w = 2*n - 15, -s = -4*w - 3*n for w.
5
Let q = -144 - -165. Suppose -4*j + r - 14 = -7*j, -q = -4*j + r. Solve 20 = -j*v + 3*n - 2*n, -3*v - n - 20 = 0 for v.
-5
Let b = 2488 - 2484. Solve 4*g - b = 11*q - 7*q, -g = 2 for q.
-3
Let v be 161/28 - 11/4. Solve v*r + 2*g = 5, r = -r + 3*g - 14 for r.
-1
Let v = -374 + 337. Let d = v + 64. Solve -3*n + 0*m + 2*m = 3, d = -5*n - 4*m for n.
-3
Suppose 163 = 5*l + p, -404*p + 406*p = -5*l + 166. Solve 5*a = r - 7 + l, 4*r + 8 = -3*a for a.
4
Suppose -2*i + 4*i = 4. Let v(p) = -95*p - 659. Let y be v(-7). Let o be i/2 + -6 + y. Solve 2*n + o = -2*b - 1, 12 = -4*b for n.
2
Suppose -6*j + 4*j + 8 = 0. Let f be (j/(-6))/((-18)/(-54)). Let h be 3 - (4 - (-8)/f). Solve 5*d - 19 - 8 = t, d = -h*t - 1 for d.
5
Suppose -258 - 363 = -23*u. Let q = u + -21. Solve d + q = 3*y - 0*y, -4*y + 27 = 5*d for d.
3
Suppose 9*p - 82 = 35. Let q = 13 - p. Solve -3*f + q*f + 2*x = 14, 2*x = f + 10 for f.
-2
Suppose -5*i = -8*i + 12. Let s = -114 - -119. Solve -2*v + s*p = 3*p + 10, 15 = -3*v - i*p for v.
-5
Suppose 0 = x - v - 19, 41 = -485*x + 488*x + 5*v. Solve -x - 18 = 5*y - 3*f, 5*f = 0 for y.
-7
Suppose 85*f - 217 - 684 = 32*f. Solve 4*d - 1 + 5 = -4*i, i - f = 5*d for i.
2
Let k = 3404 + -3401. Let q(x) = x**2 + 18*x + 21. Let d be q(-17). Solve -3*n = -k*y - 18, 0*n + 14 = 2*n - d*y for n.
5
Suppose 55*p - 64*p + 5868 = 0. Let j = p + -648. Solve -j*l = 5*k + 30, 4*l + 4*k = -l - 33 for l.
-5
Let g(p) = p**2 + 20*p + 58. Let k be g(-17). Suppose 10*n = 27 - k. Solve -t = 2, 5*q - 5*t = n*q - 2 for q.
-4
Let h(n) = -n**2 + n + 4. Let z be h(0). Let o(b) = 3*b**3 + 37*b**2 + 43*b - 10. Let u be o(-11). Solve -z*d - 4*a - 12 = -2*d, -u = -4*d - 3*a for d.
4
Let c(i) = -i**2 - 14*i + 99. Let b be c(-19). Suppose 9*u + j - 147 = b*u, 2*u + 5*j = 68. Solve -u = 3*x + 5*a, 4*x = -2*a - 3*a - 32 for x.
-3
Let u(t) be the third derivative of t**4/12 - 4*t**3/3 + 2*t**2. Let r be u(4). Suppose -26 = q - 26. Solve r = -i - 5*c + 18, 0 = 5*i - 5*c - q*c for i.
3
Suppose -38 = -u + 3*j, -3*j + 56 - 117 = -2*u. Solve 4*o = -3*b - u, -2*o + 29*b = 34*b + 15 for o.
-5
Suppose -3*r = 5*p - 2*r - 21, 0 = -4*r + 24. Solve 4*d - 18 + 46 = -p*t, 5*d = -5*t - 40 for d.
-4
Let s = 13764 - 13761. Let m = -30 + 51. Let p be 48/m + 2/(-7). Solve p*q = 4*g - 26, -s*g - 4*q = q for g.
5
Suppose -3*k + 144 = -4*p, -60 = -2*k + 3*p + 38. Solve -k = 5*y + 4*w, -2*y + 4*y - 17 = 5*w for y.
-4
Suppose 0 = 4*r + 3*l - 5, -6*r - 5 = -2*r + 5*l. Solve 30 = -2*v - r*j, 11*v + 3*j + 22 = 9*v for v.
-5
Suppose -1874*k + 1864*k = 0. Solve -3*l + 21 = -k*i - 3*i, -17 = 3*i - 2*l for i.
-3
Let t(b) = -b**2 - 38*b + 2348. Let n be t(-71). Solve 2*a + 6 = -w - 2, n*a + w + 17 = 0 for a.
-3
Let q = 483 - 471. Let d be (-2*(q - 10))/(12/(-9)). Solve -4*h + 30 = -5*o, -3*h + 0*o - d*o + 9 = 0 for h.
5
Suppose 14*u + 28*u - 126 = 0. Suppose 10*b - 15*b = -3*a + 37, u*b - 1 = -4*a. Solve 5*j - 12 = -4*q + j, -a*q + 2 = 2*j for q.
-2
Let n = -45 + -59. Let x = 107 + n. Solve -2 = -4*t - x*h - 0, -4*t + 10 = -h for t.
2
Let l be 88/(-10) + 5/(-25). Suppose -s - 3*g - 5 = -3, -3*g - 12 = 3*s. Let 