 3*a - h*s - 2, -s = 5*a - p for a.
1
Let c = 12664 + -12659. Solve -r - 3*y = -8, c*r - 6 = -0*r + 2*y for r.
2
Let g be (116/16 - 7) + 38/8. Suppose 3 = -3*o, -g*t + 0 = -4*o - 4. Let x = 21 - 15. Solve 5*u - 20 = t, -5*c + 4*c - x = -u for c.
-2
Let t(m) = -4*m + 33. Let f be t(-7). Suppose -d + 13 = f. Let k = d + 48. Solve k*s + 4*s = -4*h + 28, -s - 18 = -4*h for h.
5
Let w be 1/((29/203)/(-1*8/(-28))). Solve 2*y - 7 = g, -5 - 10 = -5*y + w*g for y.
1
Suppose -4*r + 11 = 3*i, -269*r + 29 = -265*r - 3*i. Solve 0 = 12*f - 11*f - r*h - 22, f = 4*h + 18 for f.
2
Let n(c) = c**2 + 8*c + 15. Let x be (-4)/((-8)/6) - (4 + 2). Let v be n(x). Solve v = 5*y - 3*s - 14, -3*y + 5*y = -3*s + 14 for y.
4
Suppose -56*i + 10997 = 10829. Solve -3*x + l - i = 0, 0*x = 4*x - 3*l + 9 for x.
0
Suppose -12960 = 21*r - 57*r. Let u = 362 - r. Solve -2*j - 2*j - u = -2*k, -5*k + 5 = 0 for j.
0
Let w = -183 + 194. Let d = 29 + -19. Suppose d = -y + 3*y. Solve 2*q + 2 = -2*j, -q + y*j = 2*j - w for q.
2
Let u be -11 - (-696)/64 - 201/(-8). Suppose u*n = 11*n. Solve -6*o + 8 = -2*o - 4*g, n = 5*o + 4*g - 37 for o.
5
Let g(c) = -4*c. Let v(b) = b**2 - 19*b + 87. Let y be v(11). Let u be g(y). Solve -5*j + 20 = 0, 4 = -o - u*o - 4*j for o.
-4
Suppose -3*d + 2*x = -0*x - 40, 3*x + 6 = 0. Let o(y) = -y**2 + 17*y - 42. Let v be o(d). Solve -4*j - 2*t - v = 0, -5*j = -j + 5*t + 15 for j.
-5
Suppose 0 = 336*z - 335*z + 4*p - 17, -20 = -z - 5*p. Solve 3*x - z*i = 11, 11*x - 4*i = 10*x + 6 for x.
2
Suppose 4*r - 16 = u, 4*r - 23 = -4*u - 7. Let z(n) = -2*n**3 + 65*n**2 - 31*n - 31. Let m be z(32). Solve 5*x - r*t = -t + 18, 0 = t + m for x.
3
Let x = -237 - -242. Suppose 0 = 4*v + 8, x*o + 3*v = 2*v - 2. Solve 4*u + q + 12 = -3*q, 3*u + 2*q + 10 = o for u.
-4
Let o be (-21)/(-3) - 2*(-4 - -6). Suppose 5*c + 17 = o*g, -16 = -4*g + 2*c + 2. Solve -4*f + 2*k - 16 = -2, -g*k - 8 = f for f.
-4
Let g be (-1 + 2)/((153/(-18) - -7)/(-6)). Solve -g*n = -3*n - 4*s + 1, 2*n + 2 = -s for n.
-1
Let b(n) = 10*n - 3. Let q be b(3). Suppose -q = -5*j - 3*i, 2*j = -5*i + 18 + 8. Suppose 238 - 40 = 33*m. Solve -12 = -3*u + j*h, -2*h - 6 = -m*u + 2*u for u.
-1
Suppose -12 + 30 = 4*k - t, 2*k - t - 8 = 0. Suppose 491 = 2*g + 3*l, 0 = -l + 2 + 1. Suppose -5*x = 176 - g. Solve -5*q - 20 = -c, 5*q + 53 = k*c + x for c.
5
Suppose -11*u - u + 846 = 6*u. Solve -51*z + 28 = -5*q - u*z, 2*q + 16 = 4*z for q.
-4
Let r = -6535 + 6537. Solve 5*v + o - r = v, 5*v - 4*o = 34 for v.
2
Let j be (-6)/24 - 73/(-4). Suppose -j = 5*d - 33. Solve 2*y - 2*p = -8, -d*y - 7 = -2*p + 1 for y.
0
Suppose 4*r = 8*r - 8. Suppose r*l = d + 9, -l + d = -2*d - 12. Solve 3*s - 4*k + 34 = 11, -2*k + 13 = -l*s for s.
-1
Let j(k) = -25 + 72*k + 39 + 45 - 99*k. Let l be j(2). Let t be (1*6)/(6/3). Solve 3*f - 2*x - t*x = -19, 10 = l*x for f.
-3
Suppose -95*r - 98 = -93*r. Let y = r + 54. Solve 2*z = -2*z + y*a - 4, 0 = z + 5*a + 1 for z.
-1
Suppose 0*q = 3*y - 3*q - 147, 5*y = q + 265. Suppose 39 - y = -3*s. Solve -4*h = 2*l + 9 + 5, l + s = 0 for h.
-1
Let y be 580/(-4)*-1 - -3. Suppose 0 = -149*a + y*a + 2. Suppose 0 = 4*b + g - 144, -g + 0*g = 5*b - 179. Solve 0 = -5*d + 3*x, a*x = 5*d + 6*x - b for d.
3
Let d = 4400 - 4396. Solve 4*k - 2*g = 2, -11 + 15 = k - d*g for k.
0
Let o = 41 + -39. Suppose -b = -2*r + 7, o + 1 = 2*r + 3*b. Suppose 0 = x - 0*z + z - 9, -r*z + 17 = x. Solve -u + 4*u = -4*w + 3, -x*u = 3*w + 6 for u.
-3
Let a be (5/15)/((1/(-324))/(46/(-138))). Solve 4*s = -4*u - 32, -14*u - 4*s = -9*u + a for u.
-4
Let l(r) = -r**3 - 10*r**2 + 145*r + 21. Let h be l(-18). Solve -3*t + 124*c - 129*c + 3 = 0, h*c = 4*t + 25 for t.
-4
Suppose 5*c - 1 = 2*b + 70, 2*c + 2*b = 34. Suppose 0*x + c = 3*x, x - 20 = -3*n. Solve -2*m = -4*h + 6 + 4, n*h - 6 = -4*m for m.
-1
Let l be (-636)/106 - (0/(-3) - 8). Solve 4*o + l*i = 5*i + 4, -o - i + 8 = 0 for o.
4
Suppose -2477 = -152*z + 2387. Solve -3*n - 5*a + z = 0, -2*a - 5 = -n - 9 for n.
4
Let f(m) be the third derivative of -m**5/60 - 7*m**4/12 + 19*m**3/2 - 32*m**2. Let u be f(-17). Solve -b = x + 3, -2*x + 14 = -u*x - 5*b for x.
-1
Let z(g) = 12*g**3 - 3*g**2 - 6*g - 3. Let n be z(-2). Let r = n + 102. Suppose f + r*f + f = 0. Solve f = -3*x + 3*v + 5 + 13, 0 = -2*v - 4 for x.
4
Suppose 0 = 3*c - 2*q - 174, -4*c - 30*q + 28*q + 246 = 0. Solve 5*a = -4*y - 24, 1 = 63*y - c*y - a for y.
-1
Let k be (6 + -17)/(9/(-18)). Suppose -k = 23*u - 183. Solve 2*s + h = 2*h - u, -3*s = 5*h + 30 for s.
-5
Suppose 5*s + 2 = 17. Let j be (s - 1)/((-1)/(-7)). Suppose -2*v + 5*b = -j - 49, 15 = -5*b. Solve 3*y = -a + 4 + 2, 4*y - 4*a = v for y.
3
Suppose 0 = -11*r + 56 - 2135. Let i be r/54*(-4)/7. Solve -i*c + 14 = 2*k, -2*k = c + 5 - 16 for k.
4
Let k = 5035 + -5024. Solve -m = -3, s + 2 = -k*m + 10*m for s.
-5
Let n(y) = 2*y - 12. Let b be n(-3). Let o(f) = -f**2 - 18*f + 18. Let s be o(b). Let a be s/(-27) + 16/6. Solve -2*q = a - 6, -10 = -4*w - q for w.
2
Let r(j) = 425*j - 3397. Let s be r(8). Solve -2*y + 22*i = 18*i - 2, 3 = 3*y + s*i for y.
1
Let k = -206 - -344. Let i = k + -130. Solve 0 = 3*j - 2*g - i, -2*g = 4*j - 6*g - 16 for j.
0
Let q be -10 + 381/12 - 28/16. Solve 0 = 19*h - 23*h - q, 2*r - 13 = 3*h for r.
-1
Let a be (-2 - (-51)/4 - 6 - 4)*4. Solve -5*l = a*w + 15 - 10, 2*w + 5 = -5*l for w.
0
Let t = 3356 - 3338. Let q be -2*(-2)/12 + (-110)/(-30). Solve 0 = q*o + v + t, 3*o + 10 = v - 7 for o.
-5
Suppose -4*r - 8 = -28. Let h be 11*(-136)/187 + 14. Solve -3*d - r = -0*d - 4*x, -3*d = -3*x + h for d.
-3
Let d = -79 + 83. Suppose -2*q - 2*h + 3*h = -31, 16 = 2*q + d*h. Suppose 11 = -j + q. Solve 16 = 4*o - 8*o + j*c, -2*c + 20 = -5*o for o.
-4
Let r be 1*6/(-21) + 16/7. Suppose -3*f + 4*a = -9 - 16, -a = 2*f - r. Let c be (-4 + 1)*(-12)/18. Solve f*y - 2*q - 4 = -y, 3*y + c = -q for y.
0
Suppose -8*w = 3*w. Suppose w = 2*h + 3*h - 5*v - 50, -15 = -5*v. Suppose -9*r = -h - 14. Solve 4*b - r*l = 0, 4*l = -0*b - 2*b for b.
0
Suppose -27*u = -34*u + 7. Let i be u - (3/(15/(-10)) + -1). Solve 2*p + 2*v + 2 = -6, 5*p = i*v + 16 for p.
0
Let t = -41 + 27. Let y be 7/t + 18/(-4). Let b be (1 + y)/(10/(-5)). Solve 5*d - 16 = 2*o, -5*d = -b*d - 5*o - 21 for d.
2
Let k be -3*((-65)/15 + 4 - 0). Let z = 2 + k. Solve 8*x - z*x + 31 = -4*a, 20 = -5*a for x.
-3
Let r be -3*8/(-18)*(580/40 - 13). Solve 4 = -3*y + 2*y, 5*y = -r*i - 18 for i.
1
Let y be (-9)/((-20)/5*2/24). Suppose 2*q = 5*q - 24. Suppose 3*k = 1 + q. Solve p - 2*n = -k*n - 1, -y = -5*p + 3*n for p.
3
Let i = -10425 - -10430. Solve 3*d + 2*z + 11 - 1 = 0, d - i = z for d.
0
Let s = 2 + 1. Let r = 271 - 283. Let w be (r/(-24))/(15/12 + -1). Solve 24 = -w*p - 5*b - 2, -s*b = -3*p + 3 for p.
-3
Let c(q) = 427*q - 35426. Let u be c(83). Let o be 2/3 - (-4)/3. Solve 5*b = -5*p + u, o*b + 5*p + 0*p = 12 for b.
1
Let k = 1190 + -1188. Solve k*b + 5 = 5*s, -5*s - 3*b + 9 = -7*s for s.
3
Suppose 3*w - 3*j = -8*j - 127, -w - 3*j - 37 = 0. Let z = -7 - w. Let c = -42 + z. Solve 2*b - b - 2*h + 4 = c, 2*b = 5*h - 10 for b.
0
Let d(s) = 2*s**2 + 58*s + 278. Let k be d(-6). Solve -20*a = 4*r - 17*a, 0 = -k*r - 3*a + 6 for r.
-3
Let n = -648 + 638. Let r be (3/(-30)*-8)/((-4)/n). Solve -3*p = z, z - r*z + 2 = p for z.
3
Suppose 3*r + 12 = -r. Let h be (5/r - (-5 + 3))*15. Suppose n + 4 = 7. Solve 2*t = q - 0*t + 12, -32 = n*q - h*t for q.
-4
Suppose 43*h + 3*r + 21 = 48*h, -2*r + 5 = 3*h. Solve -2 = h*j + l, -12*j + 13*j = 4*l - 5 for j.
-1
Let g = 134 - 119. Suppose -2*b - 10 = 0, 12*f - g*f + 2*b + 22 = 0. Solve 2*l + 2*w = 0, -2*w = -0 - f for l.
-2
Suppose 89*t - 849 = 91*t - 5*v, 3*t = -5*v - 1211. Let x = t - -412. Let z = 2 + -1. Solve 0 = u - 2*g - x + z, -5*u = 3*g - 21 for u.
3
Let r(i) = -i**3 - 9*i**2 - 2*i - 9. Let c be r(-9). Suppose 5*v - 6 = c. Let u be (1216/640 - 3/2)*5. Solve 2*t = -2*k - u, -v*t - 10 = k - 3 for t.
-3
Let j(r) = -r**3 + 19*r**2 - 25*r - 146. Let l be j(17). Solve -4*i = -t + 17, 3*t + 5 = l*t + 5*i for t.
5
Let c(q) = -45*q**2 + q**3 + 13*q - 41*q**2 + 9 + 77*q**2. Let t be c(7). Solve 0 = -5*k + 4*y - 5 + 1, 0 = t*k - 5*y + 5 for k.
0
Suppose -q = -5*b + 20, -909*b = -913*b - q + 7. Solve -5*r = -b*g + 39, 11 = 5*g - 5*r - 24 for g.
-2
Let p be -3*1 + (4 - -5). Let c be 2*(-1 + p + -3) - 1. Solve 