0
Let o(b) be the first derivative of -7*b**2 - 67*b - 65. Let t be o(-6). Solve 3*m + 16 = -4*j, -5*j - 3 = -5*m + t for j.
-4
Let p be (-1570)/(-65) + (112/(-52) - -2). Suppose 2*m + p = 8*m. Solve -3*t - 11 = -2*l + 7*l, l - 8 = -m*t for t.
3
Let r(j) = -431*j + 2158. Let o be r(5). Solve -3*w + 31 = 2*h + 6, -o*h = -5*w + 10 for w.
5
Suppose -416*p = -237*p - 1432. Solve x + p*t - 7 = 3*t, -2*x + 2*t = -2 for x.
2
Suppose 5*n = -4*n + 144. Suppose a - 12 - 15 = 0. Let j be (-72)/a*3/(-2). Solve -k + n = -j*b, 5*k + 11 + 14 = -b for b.
-5
Let k(r) = -11*r + 25. Let p be k(0). Suppose -6*d - p = -43. Solve d*w + 6 = -4*x - 9, 2*w + 11 = -3*x for x.
-3
Suppose -2*h - 7 - 23 = -5*c, 0 = 4*c - 3*h - 31. Solve 3*x + c*v + 14 = x, x = -3*v - 11 for x.
1
Let p(x) = 15*x - 960. Let s be p(64). Solve s = -2*j - 3*g - 9 + 5, 4*g = 0 for j.
-2
Let q(p) = -p**3 + 10*p**2 + 24*p + 21. Let o be q(11). Let a = o + -162. Solve 10 = 2*i, a*j - 4*i = i - 23 for j.
1
Let q(u) = -2*u**3 + 11*u**2 + 17*u - 61. Let j be q(6). Solve -2*k - j*v = 10, 4*v = -k - 4*k - 8 for k.
0
Suppose 5*q = -3*r - 162, -5*q + 2*r + 0*r - 142 = 0. Let p be (4 + 10/(-3))*q. Let d be 6*p/(-15) + -3. Solve 1 = -2*c + d*o + 11, 0 = -o - 4 for c.
-5
Let c(f) = -13*f**2 + f + 1. Let v be c(-1). Let y(a) = -a**3 - 14*a**2 - 13*a + 3. Let z be y(v). Let r = 21 - z. Solve -b + 4*n = n - r, -4*b + 17 = -n for b.
3
Let u be (0/2)/(-1 - 1). Suppose 21*w = 18*w - 4*d + 10, 2*w - 4*d = u. Solve 3*h + 2*y = -w*y + 19, 14 = 2*h + 3*y for h.
1
Let k be 11/((-44)/(-760))*4/(-10). Let d = 80 + k. Solve 8 = -4*w + 4*r, 5*r = d*w - 0*r + 11 for w.
1
Let i be 4/18*(-202 + 196) - (-104)/6. Solve 0 = 4*b + 4*x + 20, 15*b + 2*x = i*b + 2 for b.
-4
Suppose -21 + 18 = -p. Suppose -231 - 57 = -p*r. Let l = -91 + r. Solve -g + 4 = y, 3*g - l*g = 5*y - 23 for y.
5
Let i(r) = r**2 - 19433*r + 38862. Let u be i(2). Let n(l) = -l**3 + 5*l**2 + 7*l - 6. Let h be n(6). Solve u = t - h*t - 4, -q = t for q.
-4
Let c(y) = -2*y**3 + 17*y**2 + 18*y - 76. Let l be c(9). Suppose 2*i + l*u = 1 + 30, 5*u = 25. Solve k - 5*k + 23 = 5*f, 5*k - 19 = -i*f for k.
2
Let k = 15020 - 15015. Solve -k*n + 2*a + 29 - 21 = 0, -5*n = -a - 4 for n.
0
Suppose r = 7*r. Suppose r = -3*w - 3*t - 6, 0 = -t - 3*t. Let q be -6 + 3 + w + 9. Solve 4*c - 2*f + q = 0, 3*c + f + 10 = c for c.
-3
Let n(t) = t - 17. Let l be n(-11). Let j(v) = -2*v - 27. Let w be j(l). Let u = 38 - w. Solve -4*g + 5 = x, 0 = -3*g - 5*x - 0*x - u for g.
2
Let c(v) = 2*v**2 + v - 9. Let h be c(-8). Let s be (-66)/231 + (1642/(-7))/(-2). Let u = s - h. Solve 3*p + 3 = 0, a - 2*p = -u*p for a.
4
Suppose -19 = -j - 16. Suppose x - k + 0 = 10, 10 = -x - j*k. Solve 4 = -u - z - 0*z, -x*z = -2*u + 6 for u.
-2
Let i(x) = 185*x + 1855. Let a be i(-10). Solve -4*z - s = -2, 2*z = -a*s - 7 + 17 for z.
0
Let d(z) = -399*z - 7177. Let s be d(-18). Let f = -2 - -6. Let a(n) = -n. Let b be a(0). Solve -f*y + b*y = 4*x, -10 = 5*y - s*x for y.
-1
Let i be (9 - -3)/(186/124). Let z(p) = 4*p**3 + 3 + 2*p - 5*p**3 + 8*p**2 - 17. Let a be z(i). Solve -a*f - k - 2*k + 4 = 0, f + 5 = 2*k for f.
-1
Suppose 0*p - 17*p = -55*p + 190. Solve 4*f + p*c = 0, f - c = -2*c - 1 for f.
-5
Suppose 90*r - 20 = 85*r + j, -25 = -2*r - 3*j. Solve -2 = 2*u + 2*b, -u + r*u = 4*b + 28 for u.
3
Suppose -12 = -1510*l + 1504*l. Solve -l*c - 4*s = -6, 0 = -3*c - 10*s + 7*s for c.
-3
Suppose -r - 1 = -1 - 2. Solve 3*k = c + 4, 3*k + r*k + 5 = 4*c for c.
5
Let r be (-118)/(-177)*(-75)/(-10). Solve 13*d - 15*d = r*b + 30, -2*b = -2*d + 12 for d.
0
Let d(x) = 20*x**2 - 32*x - 64. Let g(n) = -7*n**2 + 11*n + 21. Let q(v) = -6*d(v) - 17*g(v). Let l be q(8). Solve -2*w = l*z + 22, -3*w + 5 = -4*w for z.
-4
Let n(o) = -13*o**2 - 16*o + 1. Suppose -q + 5*a = -10 - 4, 4*q - 2 = 2*a. Let t be n(q). Solve 5*v - 4*y = 6, -t*y - 8 = 2*v - 3*y for v.
-2
Suppose i = 6*i - 15. Let j(b) = b**3 + 3*b**2 - 3*b - 4. Let w be j(-3). Suppose w*l + 7 = 17. Solve 3*c = 3, -2*d - i*c + 5 = l for d.
0
Let d(i) = i - 19. Let u be d(6). Let y be 4 + (-2)/2 - (-39)/u. Solve 2*x - 11 = -4*n - x, y = -3*n - x + 12 for n.
5
Let u(f) = 6*f**2 - 16*f + 15. Let m be u(1). Let v(i) = -i - 10. Let n be v(-11). Let x = n + 1. Solve -2 = -m*q + 2*g, 3*g - 2 = 4*q + x for q.
2
Let j be (-3)/(-5) - (-162)/(-270). Solve 2*n + 2*z - 22 + 42 = j, 0 = 5*n - z + 20 for n.
-5
Let z be 4 + 4 + (0 - 3). Let a = 1385 - 1379. Solve 13 = -q + z*s, s + a = -3*q - 1 for q.
-3
Suppose 0 = -71*h - h + 360. Solve -4 = 4*q, -2*q + 0*q - 17 = -h*t for t.
3
Suppose 108 = 10*n + 58. Solve -3*a + 8 = -0*d - 5*d, d - 16 = n*a for d.
-4
Let g be (-1)/(-2 + (-8)/(-10) + 1). Suppose 4*u + 393 = -g*x, 4*x - 2*x - 192 = 2*u. Let b = -86 - u. Solve -2*w + 2*z - 7 = w, -5*z - b = 2*w for w.
-3
Suppose 104 = -o + 16*o + 44. Solve -s + 29 - 40 = -3*c, -3*s = o*c - 19 for c.
4
Suppose 3*t = 5*x + 11, -283*x + 278*x = 3*t - 31. Solve x*y - 7 = l, -y - 8*l + 4*l = 19 for y.
1
Let s(i) = -14*i + 12. Let j be s(-2). Suppose 195 = 5*z + j. Solve v - 7 = -3*q, 4*q + v - z = 4*v for q.
4
Let t(r) = r**2 + 4*r - 10. Let x be t(-6). Suppose -3*g = 5*z - 68, x*z - 3*g - 16 = -7*g. Solve 2*f - 3*b = z, -b + 3 = 2*f - f for f.
5
Let b(m) = -m + 5. Let s be b(-2). Suppose -5*k + 0 + s = -4*p, -3*p = 3*k - 15. Solve -k*d + 7*d - 19 = -a, -3*d = -15 for a.
-1
Suppose 5*d + 28 = 2*f, 14*f - 7 = 13*f - d. Suppose -4*q = -105 + f. Solve -2*r + 5*b + 26 = -3*r, r - 5*b = q for r.
-1
Suppose 0 = w - 3. Suppose 0*k = w*k - 4*p - 6, -p = 5*k - 10. Let q = 2930 + -2918. Solve -2*i + q = -k*n, -n - 5*i + 4 + 2 = 0 for n.
-4
Let s(x) = 12*x**2 + x + 2. Let y be s(-1). Suppose -y*g + 17 = -35. Solve 0 = 2*q + 3*a + 5, 5 = -2*q - g*a - 1 for q.
-1
Suppose 21*n = 10*n - 649. Let a = n - -68. Let l be (-45)/a*(-8)/10. Solve 0*m - d = -m - 1, l*m - 4 = -4*d for m.
0
Let j be (-3 - (-36)/10)/((-2)/(-10)). Suppose -3*n - 8 + 33 = 4*w, 5*n + j*w - 27 = 0. Solve -5*t + 0 - 1 = d, 3*d + n = 0 for t.
0
Suppose 57*t - 3 = 56*t, 0 = w - 5*t + 11. Solve -8 = w*h - 4*d, -7 + 2 = 5*d for h.
-3
Suppose 2*u - 52*a = -51*a + 13, -u + 4*a + 3 = 0. Solve -u*f + 18 = -10*f - 5*i, f - 5*i = 14 for f.
-1
Let o(c) = -22*c - 123. Let r be o(-6). Suppose -3*x = -r*x. Solve x + 15 = 2*k + l, 5*l - 50 = -5*k for k.
5
Suppose -3*h - 3*y = 21 - 18, 3*y = 4*h - 31. Suppose h*t - 10 = -z, -14 = 2*t - 3*z - 12. Solve u = 2*r + 2*u - t, -10 = 2*r - 5*u for r.
0
Let b(j) = -24*j - 35. Let l be b(-4). Let i = l - 58. Solve -2*y + 2*m = i*m - 8, 4*y - 2*m = 16 for y.
4
Suppose 5*s + 2 = 4*c, 5*s = -3*c + 2*c - 12. Let t(a) = a + 1. Let j be t(c). Let p be (-5)/(9 - 4)*j. Solve 0*v + p = -v, q - 1 = -v for q.
2
Let l be (-4 - (-50)/8)*(-5 + 247/39). Solve -u = 5*t + 7, -2*t - l*u - 10 = -5*u for t.
-2
Suppose 106*l = 20221 - 19691. Let y be 1/(-2)*0 - -3. Solve -y*w + w + l = c, -2*c + 10 = 3*w for c.
5
Suppose -12003*t + 12005*t = 0. Solve 4*p - m + 24 = 9*p, t = 4*p + m - 20 for p.
4
Suppose 7*t - 17 - 32 = 0. Let o be (5 - 12)/t - -6. Solve 0*r = -5*y + 2*r - 19, 5*r - 10 = o*y for y.
-5
Suppose -4*k - 4*k + 56 = 0. Suppose 884 = k*q - 2042. Let j be q/77 + 4/7. Solve s + s = -4*t + j, 0 = -2*s + 4*t - 26 for s.
-5
Let l be 1 + 42/(-18) + 40*16/120. Solve -2*w - 5 = 3*x, -4*x - x = -l*w - 21 for x.
1
Suppose 198 = -5*y + 27*y. Suppose -45 - 9 = -y*x. Solve 2*i + i = 3*v - x, 4*i = -16 for v.
-2
Suppose 28 = 7*p + 7. Suppose 7*z + 12 = -q + 2*z, -5*z - 6 = p*q. Solve -3*v - 28 = -q*i - 7, -3*i + 9 = v for v.
-3
Let c = -1275 - -1279. Solve -2*z + 1 = -k, 5*z = -c*k - 26 - 4 for k.
-5
Let o = -106 + 108. Suppose 3*s - 29 = o*d, -2*s + 23 - 5 = -d. Suppose 2 = -2*i + 12. Solve 0 = x + 4*f - s, -7 + 2 = -i*f for x.
3
Suppose 4*f - 4*x = -689 + 673, 0 = -f - x + 12. Solve m + 3 = -f*w + 25, -2*m = 2*w - 14 for w.
5
Let m(c) = -27*c - 138. Let o be m(-5). Let y be (0/(4/(12/o)))/(-3). Solve -2*g + 5*a - 1 = 0, g + a - 1 - 2 = y for g.
2
Let w be 24/(-12) + 14 - 2/1. Solve -v = 4*i - w, -i = -6*i + 4*v - 19 for i.
1
Let k be 736/6*(-3)/2. Let j = -180 - k. Solve 2*a - j*q + q = -1, -5*q - 1 = -4*a for a.
4
Suppose 5*v - 168 = -63. Let o = v - 16. Suppose 35 = o*q + 5*i, -4*i + 25 = 2*q + 7. Solve 4*y - 2*y = 2*k - 6, 0 = q*y + k - 15 for y.
2
Suppo