 Solve -n + x - z = -1, 6 = l*x for n.
1
Suppose d = o - 3, -42*d - o - 1 = -45*d. Solve 3 = -2*t - 3*r, -9*t + 4*t - d*r = 2 for t.
0
Let d(g) = -g**3 + 10*g**2 + 10*g - 10. Let b be d(11). Let i be 2/(-14)*(b - -14). Solve 2*c = 2*f - 6, -5*f + c + 6 + i = 0 for f.
1
Suppose -3*j + 8 = -g - g, j - 6 = -g. Suppose -95 + 43 = -g*l. Suppose -4*q + 6 = 4*b - l, 20 = 4*q. Solve a = -4*r + 5, b*a - 5 = 10 for r.
0
Let h(t) = -199*t + 1401. Let v be h(7). Solve -5*a + 2*q + 24 = 0, -10 = 7*a - v*a + 3*q for a.
4
Let a = -67 + 86. Let h(k) = k - 15. Let i be h(a). Suppose 5*y = -i*s + 10, 5*s + 0*s = -2*y + 4. Solve -j + 2*j - 5*g - 12 = 0, -3*j + 4*g + 3 = s for j.
-3
Suppose -246 = -96*s + 234. Solve -2*x - s = -2*r - 15, 2*x = -4*r - 14 for r.
-4
Let b(c) = 6*c**2 + c + 2. Let q(v) = -v**2 + 1. Let y(n) = b(n) - 2*q(n). Let w be y(-1). Solve -2*m + 5*d = -w*m, -4*m - 5*d - 1 = 0 for m.
1
Let t(v) = -v**2 + 54*v - 511. Let l be t(13). Solve u - l = 5*d, 0 = -3*d - 3*u - 0*u - 6 for d.
-4
Let j be (-4312)/(-2310) + 215/(-75) + 3. Solve -3*b + j*c = 8, 0 = 2*b - 3*c + 102 - 100 for b.
-4
Suppose -6*h = h - 2*h. Let t be (-124)/(-21) + 6/63. Let l be ((-19)/t - -3) + 52/24. Solve l*j - 1 = -v + 4*v, -v - 1 = h for j.
-1
Let q(j) = -j - 4. Let s be q(-6). Suppose -5*h + 610 = -0*h + 2*y, 3*h - 5*y - 366 = 0. Let a = 147 - h. Solve -4*p = -5*t - 20, a = -s*t + 4*p + p for t.
0
Suppose 12*x = -7*x. Suppose -2*q + 4*z = 8, x = -0*q + q + 4*z - 14. Solve 3*s + 21 = -3*p, p - s = q*s + 13 for p.
-2
Let x = 84 - 47. Suppose 2*m = x + 1. Suppose 0 = -7*f - 5 + m. Solve -1 - 4 = s, 15 = -5*u - f*s for u.
-1
Let k be ((-85)/51)/((-10)/(-144)*-2). Let n be (k/10)/((-9)/15 + 1). Solve n*d - 3*m = -3, -4*d + 4*m + m = 5 for d.
0
Suppose 0 = -252*v + 247*v + 5*k, 0 = 4*k. Solve -13*i + 4*d + 21 = -18*i, 5*i + 2*d + 23 = v for i.
-5
Suppose -577 = -5*q + 203. Let g = q + -152. Solve -3 = t, -3*f + g*t = 2*t - 9 for f.
1
Let x(o) = o**2 - 235*o + 1388. Let z be x(6). Solve z = -8*v + h - 3*h, -v = -2*h + 13 for v.
-3
Let a = -551 + 583. Solve 0 = -4*n + 5*c - c + a, 4*n = 2*c + 24 for n.
4
Suppose 456*r = 442*r - 70. Let i be r + -4 + 14 + -3. Solve a = -2*d, -i*a + d = -d for a.
0
Suppose -8 - 8 = 118*a - 126*a. Solve -3*v + v - 3*k - a = 0, -v + 3*k + 8 = 0 for v.
2
Suppose -14*z + 4*x = -12*z, 5*x = z + 12. Let k be (-14)/(-5) - 3/(-15). Let f be 9/(-27) + 1/k. Solve -4*m - 4*d - z = f, 2*m + 6 = -d + 2 for m.
-2
Let m(b) = -b**3 - 4*b**2 - 2*b - 8. Let z be 2/(3 + (-35)/10). Let q be m(z). Suppose -t = -q*t. Solve 3*w + g = 7, t = 4*w - g + 4*g - 16 for w.
1
Suppose -15 + 305 = 10*a. Let c = -29 + a. Solve l + d = -c*l + 2, -d = -3*l + 18 for l.
5
Suppose -18 = 14*a - 4. Let s be 7*a - (13 - 23). Solve s*x + 2*x - 10 = 2*f, 0 = 2*f + x + 10 for f.
-5
Suppose 51 = 6*l + 3. Suppose 2*h = -3*v + 34, 0 = 3*v - l*h + 6*h - 38. Solve 3*m + v = 3*o, 5*m - 3*o = 6 - 22 for m.
-2
Let d be (-1 + 1 - -1) + 30. Suppose d = 3*p - 47. Let o = p - 13. Solve -4*u = -3*b - b - 20, o = b + 5*u for b.
-2
Let l = -875 + 877. Solve -3*u + 4 = -2*i + 7*i, -l*i = -5*u - 14 for u.
-2
Let t = 3 + 0. Let p(n) be the second derivative of -n**4/3 - 17*n**3/6 + 9*n**2 - 4*n + 13. Let w be p(-5). Solve -t*s = -w*c + 6, -22 = 6*c - 3*c + 4*s for c.
-2
Suppose 11*q + 57 = 1223. Suppose 110 - q = 2*k. Solve -4*m + 5 = k*u - 9, 4*u + m = 0 for u.
-1
Let o be 3/(-2 + 26/10). Suppose 130 = z - 3*b + 109, -4*z + 140 = -5*b. Solve o*w = 5*f - 0*f - z, -w = -3*f + 17 for w.
-5
Let d be (2 + 0)*13/2. Suppose -12*q + 2*q = q. Suppose n - x = 6 + 8, -4*n - 2*x + 50 = q. Solve 5*u + d + 6 = 3*z, -4*z = u + n for u.
-5
Suppose -19*k - 2*v + 26 = -14*k, 2*v = 6. Solve k*y = -3*f - 6, 0 = 4*y - 2*f + 6 + 10 for y.
-3
Let u = 0 + -37. Let d = u - -43. Let r be 5 - (-4 + d) - -1. Solve r*m - k = 5, -9 = 2*m + 4*k + 11 for m.
0
Suppose -3*j + 222 - 171 = 0. Solve t = -s - 2, -25*s + 4*t + j = -26*s for s.
3
Suppose -81 = -5*u + 19. Suppose 17*v + 6 = u*v. Suppose 2*w - 6 = k, w + 0*w + k - 3 = 0. Solve 18 = -d + 5*f, 3*d - v*d + w*f - 14 = 0 for d.
2
Let t = 8 - 11. Let l(f) = -18493*f - 3 + 18487*f - 18 + 7. Let h be l(t). Solve -2*s - h = -b + 2*b, 0 = -5*b - 2*s - 4 for b.
0
Let i be 1 - (-1 + 3 - 0). Let b be i + (-5)/15*-9. Suppose -b*x + j - 2*j = -4, 3 = 3*x + 3*j. Solve -x*p - 13 = 5*z, -4 = -3*p + 5*z + 3 for p.
-1
Suppose 125*x = -19*x + 576. Solve x*y - 3*b - 23 = 8, 0 = -3*y + 2*b + 22 for y.
4
Let x = -104 - -61. Let p = 46 + x. Suppose 0 = -p*z + 5*z - 10. Solve 0 = 4*m - z*c + 9 - 1, -5*m = 5*c + 10 for m.
-2
Suppose 4*l = g + 3*l - 105, 0 = -l - 2. Let n = 108 - g. Let z(u) = u**3 - 8*u**2 + 6*u + 7. Let t be z(7). Solve -n*j - 2*d - 17 = -0*d, 5*d + 5 = t for j.
-3
Suppose 0 = 43*x - 22*x - 21. Suppose -5*s - 3*v = -7*v + x, -4*s = -4*v + 4. Solve s*n + 3*j + 5 = n, -7 = 3*n + 5*j for n.
-4
Suppose 9 + 26 = 7*z. Suppose f - 5*x + 11 - 13 = 0, 0 = 3*f - z*x - 6. Solve 2*s - 16 = 4*p, 4*p = f*s + s - 18 for s.
2
Suppose -23*a + 87*a + 19*a - 2656 = 0. Solve 0 = 13*v - 10*v, 4*v = -4*m + a for m.
8
Suppose 0 = -3*w - 1130 + 1028. Let z be 3/(-1) + (w - -42). Solve -2*i + 3 + z = 0, r = -4*i + 12 for r.
-4
Suppose -12*c - 6 = -9*c, 2*l + 2*c - 2 = 0. Solve -l*k + 2*p - 21 = -2*p, 3*p + 3 = -4*k for k.
-3
Let g be 1*(-3)/9*-12. Let o(t) = t**2 - 8*t - 7. Let p be o(-1). Solve -8 = g*q + p*d, -5*d + 10 = 3*q + 2 for q.
-4
Suppose 2*d = -3*f + 6*f + 30, 6*d - 90 = -4*f. Solve -b + d - 11 = z, 8 = 2*b for z.
0
Let q(v) = -v**2 + 8*v - 5. Let l = 16 - 9. Let m be q(l). Let c be 132*(-16)/(-120) - m/(-5). Solve 3*y - c = -5*p, -2*p - y = p - 10 for p.
3
Let t be ((-216)/84)/(2/(-14)). Suppose 13*q = t*q - 20. Let h = -100 - -106. Solve -5*n = -q*b + 12 + h, 0 = -5*b + 10 for n.
-2
Let j(v) be the first derivative of v**2 + v + 15. Let i be j(3). Let a be ((-7)/i)/(1/(-2)). Solve 3*h = 3, a*k + k - 5*h - 4 = 0 for k.
3
Let k be 16/6 - (-3)/9. Let x be (-1)/k + (-40)/6. Let q = -7 - x. Solve q = 5*w - f + 23, 8*w + 13 = 4*w - f for w.
-4
Let i(o) = -o**3 - 5*o**2 + 6*o + 3. Let x be i(-6). Suppose -12 = -3*f + x. Suppose f*t - 50 + 5 = 0. Solve t*c + 2*h = 4*c - 15, 0 = -2*c + 4*h - 6 for c.
-3
Suppose 2*s + 2*s = -5*b + 35, -5*s + 28 = 4*b. Solve p - t - 2 = -2*t, -b = -5*p - 6*t for p.
5
Let c(u) = 6*u - 1. Let b be c(1). Let k be -3 + -2 + b + 4. Solve 4*w = -3*s + 22, 2*s + w - k*w = -8 for s.
2
Let o(q) = 5*q - 10. Let d(v) = v**2 + v + 1. Let s(r) = d(r) - o(r). Let y be s(2). Solve -2 = m - 2*m, 2*m = -3*t + y for t.
1
Suppose -3*u = 297*l - 292*l - 19, 4*l + 4 = 4*u. Solve -o = -2, 2*o + 15 = u*b + 10 for b.
3
Let t(o) = 119*o - 474. Let a be t(4). Solve -5*z = w - a, -w + 0 = z + 2 for z.
1
Let w be (-2)/7 + (-69)/(-21). Let t = -1118 - -1132. Solve -w*s = -6, t = 2*x - s + 5*s for x.
3
Suppose -2*i + 14 = 2. Suppose -2*g + 0*w = -4*w + 4, i = -2*g + 5*w. Suppose 24 = g*f + b, 16 = -3*f - 3*b + 58. Solve -2*y - f = 3*y - 2*n, n + 1 = y for y.
-4
Suppose 3 - 3 = -7*n. Suppose n*x + k + 5 = x, 5*k + 15 = 3*x. Suppose x = -18*v + 19*v. Solve b - 15 = -v*r, 5*b = 3*r - 8*r + 35 for r.
2
Let s(w) = -w + 20. Let k(h) = -h**3 - 5*h**2 + 18. Let i be k(-5). Let t be s(i). Solve -4*o + 14 = -t*c, 4*c + 2*o + 3*o - 37 = 0 for c.
3
Suppose -10*k = -28 - 12. Suppose 0 = -u + p + 1, p + 1 = -u - u. Suppose o - 4 = -u*o. Solve -3*i = -c + o, 0 + k = -i + c for i.
0
Let w = -6844 - -6849. Solve 4*a + 23 = -w*z - 11, 0 = 4*a - 3*z - 14 for a.
-1
Let t(s) = 4*s**2 - s**3 - 14*s**2 + 2*s + 2*s**2 + 18 + 16*s**2 - s**2. Let a be t(7). Solve 26 = 4*y - 2*n, -4*n - a = -2*y - 2*y for y.
5
Let d = 13389 + -13386. Solve -f + 2*p = p - d, -f - 12 = 4*p for f.
0
Suppose 0 = 5*m + 5*n - 250 + 65, 9 = 3*n. Solve 0 = -w - 3*g + 7, m*w - 33*w = -5*g + 11 for w.
1
Suppose -1 = -2*x + w, 5*x - 19 = -13*w + 10*w. Suppose -4*a - 18 = -2*l, 19 = 5*l + 5*a - x*a. Solve -l*y + 23 = p - 0, 0 = -3*y + 12 for p.
3
Let g = 322 - 323. Let x be (-12)/(-18)*(g - -7). Solve 7*a - 2*a + 40 = -5*w, -x*w - 20 = a for w.
-4
Let a be (6/4)/((-2)/(-4)). Suppose -32 = -0*w - 5*w - 3*v, -3*w + 28 = 4*v. Suppose -30 = q - w*q. Solve -m - q = a*g, -4*g - g + 4*m = -6 for g.
-2
Let w(m) = 725*m - 3613. Let h be w(5). Solve 2*v - 4 = -c, -14*c - 