-3 = -2*k + s for k.
1
Suppose 2*h - 5 = -5. Suppose 5*k = 5*u, 3*k - 9*u + 8*u + 2 = h. Let o be 2/(-4)*6*(0 + k). Solve -2*j = 0, 0 = o*r - 2*j - 0*j - 3 for r.
1
Suppose -11*z + 47 = 99 - 206. Solve 3*h = -s - z, -4*h - 4 - 22 = 5*s for h.
-4
Let s = -65 + 83. Solve -4*i = -2*d + 10, -s*i - 5 = -3*d - 14*i for d.
-5
Suppose -4*u = -3 - 17. Suppose 4*d - 5*d = 4, -2*w - 3*d = 16. Let l be (-1)/w*8*(-5)/(-20). Solve -5*i = 3*q + 7, 0*q - 2*i + l = u*q for q.
1
Let t = -47 - -49. Suppose -4*z + 21 = -v, -13 = 2*z + 4*v - 19. Suppose 0 = -4*b + 16, -5*b = -0*p - z*p - 5. Solve 2*u = 3*c + 6 + p, -5*c - t*u = 31 for c.
-5
Let y(u) = u**3 - 9*u**2 + 6*u + 19. Let s = 106 + -98. Let g be y(s). Solve 0 = -3*x + 3*c + 6, -4*c + c = g*x - 18 for x.
4
Suppose -43 = 4*y - 59. Suppose -4*f - y*q = 0, 4*q + 6 = -10. Solve -7*z = -3*z - f, 0 = -c - z for c.
-1
Suppose -5*s + 11 = 3*g, -34*g + 29*g - 11 = s. Solve 24 = s*i - 4*x, -i - 14 = -x + 4*x for i.
1
Let x(d) = d**2 + 17*d - 725. Let z be x(-37). Solve 4*r + 15 = -5*y, 5*y = 10*r - 15*r - z for y.
-3
Suppose -16*y = -20*y - 12, -11*m - 5*y = -29. Solve -m*t + 11 = 3*r, -2*t + 8 = -3*r + 5*r for r.
5
Let j(k) = -4*k - 61. Let w be j(-18). Suppose 0 = 16*v - w*v - 30. Let m = 7 + v. Solve -h + 2*s + m = -2*s, -3*h - 2*s - 3 = 0 for h.
1
Let a be (-6)/(-2) - (-5)/(-30)*-6. Solve -5*z + a*o + 23 = 0, -4*z = -4*o - 6 - 14 for z.
3
Suppose -2*g = -5*y - 84, -6*y + 3*g - 70 = -2*y. Let x be (24/y)/((-6)/(-64)). Let v be (x/32)/((-2)/20 + 0). Solve -t = -v*n - 24, -5*t = -0*t + 5 for n.
-5
Suppose 6 + 3 = -3*t, 0 = -k - t + 12. Let g be ((-6)/(-5))/(54/22140*123). Solve -a - 2*a - 3*d = k, -d = -g*a - 20 for a.
-5
Let t = 163 + -89. Let p = -70 + t. Suppose -5*x + 30 = 5*j, -11 = -p*j + 5. Solve -7 = -3*u + w, -u + x*w + 7 = -3*w for u.
2
Let b = 359 - 365. Let n be b/(-4) + (-141)/(-94). Solve -l + 3*a + 9 = -6, n*l - 2*a = 10 for l.
0
Let j = 7986 + -7981. Solve 0 = 5*z + 2*y - 0*y + j, z = -4*y + 17 for z.
-3
Let f be (-34 - 1)/5 - -5. Let n be (10/f)/(-10*1/4). Solve n*r - 14 = -4*c, 4*c + 0 = 12 for r.
1
Suppose 7*y = 23 + 19. Suppose -24 = 4*m - y*m. Suppose -m*h = -7*h. Solve -5*n + 15 = -4*t, h*n - 4*n - 9 = t for n.
-1
Let k(g) = -128*g + 2821. Let o be k(22). Solve 0 = -5*f + 4*j + 12 + 3, -o*j = f - 3 for f.
3
Let t = -30227 + 30232. Solve -q + 5 = r, -t*r - q + 10 = q for r.
0
Suppose 5*a = b + 10, 4*b + 0*b = a - 2. Suppose 4*t + 3*k - 329 = b, 142 + 111 = 3*t - 4*k. Let r = t + -81. Solve 5*z = -f - 6, z + r*z + 1 = 2*f for f.
-1
Suppose 12*x + 579 = 7983. Let m = x - 612. Solve -18 = m*s + u, -3*s - 3*u - 1 = 5 for s.
-4
Let r(v) = -v**2 + 11*v - 20. Let y be r(3). Suppose -d - 14 = 4*o, y*d + 9*o - 9 = 6*o. Solve -d*g + g = -3*a + 6, 5*g + 24 = -3*a for a.
-3
Let f = 198 - 306. Suppose 0 = -5*x - 23 + 3. Let z be 6/x*f/6. Solve 3*l = 5*k - 0*k - z, 0 = -3*l - 2*k - 6 for l.
-4
Let w = 193 + 213. Let h = 409 - w. Solve -5*i = -10, i + h*i = 2*p + 10 for p.
-1
Let z be -18*((-186)/(-18) - 9). Let d(q) = 6*q + 147. Let b be d(z). Solve 0 = -4*k + 2*c - 16, 0*k - 4 = k + b*c for k.
-4
Let x(o) = -o**2 - 3*o + 3. Suppose -13*g - 44 = -5. Let z be x(g). Solve -5*l - 5 = 2*y - 1, 6 = -z*l for y.
3
Let k be (4/(-7))/(304/(-1064)). Solve 18 = -5*s - 4*v, -2*v - 4 = -2*s + k*v for s.
-2
Suppose 3*w + 5 = 2*u, 227*w + 16 = 231*w + 3*u. Solve 5*l + 4*n = -8, -l + 5*n + 11 = w for l.
0
Let w(h) = h**3 - 9*h**2 + 3*h - 2. Let o be w(8). Let l = o - -44. Solve -z = -2*f - l, -z = z + 5*f - 13 for z.
4
Let r = -248 + 262. Let q be (-20)/r*28/(-8). Solve -24 = -4*m + q*s, -2*m - 3*m - 5*s - 15 = 0 for m.
1
Let m(y) = y**2 + 2*y - 3. Let h be m(-5). Let k be h/(-4) - (-198 + -1 + 4). Let p = k + -137. Solve 0 = z - 5*f - 20, 18 = -5*z + 4*f + p for z.
5
Let l be (-12)/246 + 1992/492. Solve 0 = l*c - 4*d - 36, 3*c + 10*d - 32 + 83 = 0 for c.
3
Suppose -5*t - 22 = 5*f + 8, 5*t + 16 = 2*f. Let g be (-319)/(-87) - f/6. Solve -g*h + 16 = 0, -14 = 2*m - 5*h + 8 for m.
-1
Suppose 0 = 5*i + k - 192 + 54, 5*i + 2*k = 141. Suppose 6*p - 57 = -i. Solve -4*a = p*y + 21, 5*a + 2 = -5*y - 18 for y.
-5
Suppose -43*i + 11*i = 2976. Let v = 97 + i. Solve 4*b + 32 = v*y, -2*b - 20 = b - 2*y for b.
-4
Let n(m) = 47*m + 2731. Let k be n(-58). Solve 144*i - 140*i = 3*h + 10, -4*i + k*h + 6 = 0 for i.
4
Suppose 16*v = -109 + 189. Let q be (((-480)/(-18))/(-8))/(2/(-3)). Solve 4*k - 4 = 5*a + 1, 3*k = -v*a - q for k.
0
Let l = -157 - -157. Suppose l = 2*n - 61 - 39. Solve 3*g + 5*s + n = -2*g, 2*g + 25 = -3*s for g.
-5
Suppose 27*z + 78 - 159 = 0. Solve 4*q = -3*d - 6, -3*q + z*d - 4*d = 7 for q.
-3
Let a(d) = 29*d + 29. Let t be a(4). Let c = t - 143. Suppose 4*z = 4*y, c*z - z + 4 = 3*y. Solve 2*i + i + y*s = -9, -i = -3*s - 8 for i.
-1
Let u(c) = -c**3 - 14*c**2 + 34*c + 33. Let x be u(-16). Let o be x + 1 + 22/(1 - 12). Let q = 0 - 0. Solve -y + 4*t = o, q = 5*y - t + 5*t for y.
0
Let y = -2421 + 2421. Solve -5*c + 5 = 2*k - 7, y = 5*k + 5*c - 15 for k.
1
Let h be 307 + (-5 + (-2 - -1) - -5). Suppose 305*s = h*s - 4. Solve i - 11 = -3*n, i + s*n = 4*i + 6 for i.
2
Let k be 14 + -18 + 19/((-114)/(-36)). Solve 2*o + 3*n - 13 = -7, k*o = 3*n - 6 for o.
0
Suppose 3*n = -3*x + 9, n = -4*x + 15 - 0. Let j = 417 - 532. Let h = j + 120. Solve -2*s = -3*c - 14, 3*s - x*s + h = -c for c.
-4
Suppose 5*u + 49 = z, u = z + 8 - 45. Suppose -z = -4*c - k - k, -5*k + 31 = c. Suppose 9*a = c*a + 6. Solve -5*n - 6 = -g, 3*n - n - a = -4*g for g.
1
Suppose 2*x - 5 - 11 = -4*m, -3*x = -4*m + 36. Suppose 2*t - 18 + m = -2*a, -3*t + 16 = 2*a. Solve 3*z - 2 = h, a*h - h = 5*z for h.
-5
Let v = 23206 + -23160. Solve -5*a - 2*w + 45 = v, -w - 1 = 2*a for a.
1
Let v be 4605/(-614) + (-54)/(-4). Solve -2*w + 4*j + v = 0, -6 = -2*w - 59*j + 58*j for w.
3
Suppose 20873*g - 756 = 20837*g. Solve 5*w + 3*b = -19, g + 1 = -4*w + b for w.
-5
Suppose 28 = -437*q + 451*q. Solve -k + q = 0, 3*w + 6 = -5*k + 13 for w.
-1
Let w = 46 - 44. Let d be w - 5 - (-180)/9. Suppose 2*z = 2*m - 36, 4*m + z = 65 + d. Solve 0*x + 15 = -3*t + x, -4*t = 3*x + m for t.
-5
Let a(q) be the third derivative of 13*q**4/24 + 71*q**3/2 - 14*q**2 - 8*q. Let b be a(-16). Solve 2*y = 3*s - 5, y - 45 = -b*s - 3*y for s.
5
Suppose -12 = -9667*t + 9663*t. Solve 0 = 4*q - 22*z + 19*z - 19, 3 = -t*z for q.
4
Suppose 4*o - 10 = 10. Let g = -4 + 128. Let u = g + -124. Solve 0 = o*b - 20, 5*b - 11 = 3*q - u for q.
3
Let a be -2*(-5)/45 + 1346/18. Let m = -94 + a. Let t = m + 25. Solve 3*c + 3*f - t = 0, -5*c - 2*f + 9 = -1 for c.
2
Suppose -z + 6*z + 2*a - 3 = 0, -4*z - a = 0. Let r be (2/3*-9)/z. Suppose 4*c - r = 2. Solve 2*l + 8 = c*f, 4*l + 5*f - 1 - 1 = 0 for l.
-2
Let f be 14/(-77) - (-972)/22. Suppose 11*z = -11*z + f. Solve 3*m + 2*x = 0, 5*m + 5 + 11 = z*x for m.
-2
Suppose -60*f + 665 = 47*f + 26*f. Solve -4*v + 30 = f*l, -3*l = 76*v - 74*v - 18 for v.
0
Let h(r) = 4*r**2 - 144*r + 3. Let j be h(36). Solve -j*t = y - 2 + 15, 3*y = -t - 7 for t.
-4
Let f(h) = -7*h**2 - 689*h - 294. Let k be f(-98). Solve k = -4*t + 3*g + 14, -3*t - 38 = 2*g - 40 for t.
2
Suppose -2*y = 4*j + 2*y - 16, -6 = -j - 2*y. Suppose -j*k = 2*k - 80. Suppose 14*o + k = 19*o. Solve o*p + 10 = -2*n, 16 - 44 = 4*p - 4*n for p.
-4
Suppose 2*s + 10 + 6 = -2*d, -2*d - 3*s - 21 = 0. Let h be 8 - (-20)/(-3) - 11/d. Solve -2*p + 18 = -5*v - 5*p, -v + 2 = -h*p for v.
-3
Suppose -16*f = -3*f - 39. Suppose 4*a - 100 = f*z, -3*a - 3*z = -4*a + 34. Solve 4*m - 2*p = a, -4*m + p - 4*p - 3 = 0 for m.
3
Let l be 1 - (-5 + 14 + -8). Suppose 198*b - 201*b + 27 = l. Solve 4*m + b = d, 0 = -5*d - 3*m + 11 + 11 for d.
5
Let s be ((-27)/(-14) + -3)*(-16)/20*7. Solve -2*h + 2*x = 4, -h + 4*x - s = -1 for h.
-1
Let n(d) = 13*d - 99. Let y be n(8). Suppose -2*h - 4*q + 24 = 0, 6 + 7 = -h + 3*q. Solve 0 = y*c - 0*i + h*i + 2, 5*i = -5 for c.
0
Suppose s = -o - 3*o - 64, o - 5 = 5*s. Let q = 4 - o. Let h = -16 + q. Solve h*f = 7*f + 4*m, -4*m = 12 for f.
3
Let x be 5 - ((25 - 23) + 4/(-2))/(-2). Solve -4*u - 12 = 4*o, -x*o = -18*u + 17*u + 9 for o.
-2
Let w be (-19)/2*-2 + 3575/715. Solve 2 = -3*d + 11, -3*f - w = -3*d for f.
-5
Let r = -418 + 435. Let o be (-1 - (3 + -3)) + 1. Solve -z = -2*i + 7*i + 15, o = -3*i + z - r for i.
-4
Let s