- 1. Let g be y(1). Let j be s/18 - g/12. Solve 3*k + j*z - 11 = 2*z, -3*k - 3*z = 9 for k.
1
Let n = -35 - -23. Suppose f + 31 = -4*o - 2*f, 4*o - f = -27. Let v = o - n. Solve -2*p + v*c = 30, -c + 29 = -p - 4*p for p.
-5
Let g = 7 + 10. Let i = g - 17. Solve j = -5*b - 3, 2*j + 5*b + 1 + i = 0 for j.
2
Let t be (-3 + 180/24)/(3/2). Solve 8 = -3*f + 3*p - 2*p, -8 = 5*f - t*p for f.
-4
Suppose -105 - 49 = -22*r. Solve 8 = a + 4*w, w - r = 4*a - 3*a for a.
-4
Let g(j) = 5*j - 2 + 4*j**2 + j - 3*j - 1 - 2*j**3. Let i be g(2). Solve -3*h + 6 = -i*v, -3*v = -3*h + 7*h - 22 for h.
4
Let s = 77 - 46. Let g = -20 + s. Suppose n - g = 4. Solve n = 5*h - 5*v, 9 = 3*h + h - 3*v for h.
0
Let v(n) = n**2 + 23*n - 11. Let f be v(9). Suppose f = 15*i - 23. Solve 0 = 7*w - 3*w - 4*t - i, 5*w = -2*t + 18 for w.
4
Suppose 2*l = -2*c + 5 + 41, -2*c = 0. Suppose 4*m - m - l = 5*s, 0 = 2*m - s - 27. Let x be ((-4)/m)/((-1)/20). Solve 20 = 5*q, -3*q + 22 = 5*j - x for j.
3
Let w = -964 - -969. Solve 3*h - l = 0, -5*h - l + w*l = 0 for h.
0
Let j = 851 + -849. Let x be ((-2)/(-6))/((-6)/(-54)). Solve k - p + 1 = 0, 5*k - x*p = -j*p + 3 for k.
1
Suppose 2*l + 19 + 5 = 0. Let n be (-143 + -1)*6/l. Suppose 5*f - 3 = n. Solve 0 = -5*h - 5*u - f, 4*h + 0 = -5*u - 14 for h.
-1
Suppose 2*g = 3*l - 35, 72 = 4*l - 3*g + 25. Let f(s) = -s**3 + 10*s**2 - 6*s - 13. Let k be f(9). Solve 5*y - t - l = y, k = 5*y - t for y.
3
Let q(j) = 3*j**2 - 2*j - 3. Let k be q(-2). Suppose 5*m + 2*f = 32, 3*m - 5*f = -0*f + k. Suppose m*d - 13 = -1. Solve 3*g = -9, 0 = -3*l + 5*g + 7 + d for l.
-2
Let d(j) = 3*j**2 - 8*j + 8. Let c be d(2). Solve -3*z - w = -8*z - 5, 4*w = 4*z + c for z.
-1
Suppose 3*j + 0 = 9. Let u = 13 + -10. Solve 3*n + u + 1 = -k, -34 = j*n - 5*k for n.
-3
Let z be (-90)/3*(-3)/6. Suppose f - 35 = -4*a + 2*f, 5*f = a + z. Suppose a = 2*m + 2. Solve 2*i - m = -5*s, 4*s - 2*i - 2*i + 8 = 0 for s.
0
Let a = -57 - -69. Let g = 10 - 5. Solve 2*o + 13 = g*r - 10*r, -3*o = -3*r - a for o.
1
Let o(g) = -43*g - 161. Let z be o(-4). Solve 2*r + 8 = 3*u, -4*u + z = -6*r + 3*r for u.
2
Let w be ((-7)/(-1))/(-1)*(0 + 8). Let a be (-246)/(-7) - (-8)/w. Solve -a = 5*x - 5*f, 4*f - 20 = 5*x + 2*f for x.
-2
Suppose 0 = 2*a - 0*a + 30. Let c = 22 + a. Solve 4*x + t + 9 = 0, -2*t - 15 = -c*t for x.
-3
Let j = 46 + -21. Suppose 0 = -4*s + 9*s - j. Solve s*z = -2*a - 14 + 2, 0 = 5*a - 20 for z.
-4
Let r be (-25)/2*(-18)/45. Suppose -10*v = d - 7*v + 13, -2*v - 6 = 2*d. Solve -d*n + 5*n = -2*g + 15, -n = 5*g - r for n.
5
Let q = -15 - -10. Let v be 5/(q/(-4)) + 20. Solve 2*z = -4*k + v, 4*k - 5 = -5*z + 31 for k.
4
Suppose 2*h = -4*v - 4, -3*v + 5 = 14. Solve -2*r - 12 = -z, h*r + 23 - 7 = -2*z for z.
2
Let v(f) = f**2 - 5*f - 12. Let d be v(-2). Solve 8*h = 3*h - 15, 0 = -3*r + d*h + 21 for r.
5
Let h = -25 - -22. Let y be 2/(h/(-6) - 0). Solve 3*k + 3*b + 24 = 0, -24 = y*k + k + b for k.
-4
Suppose 6*j - 20 = 2*j. Suppose -1 = -y - 0, y - 36 = j*c. Let r be 11 - (c - (-6 + 3)). Solve i = -2*b + 13, -4*i - 2*b = -r - 7 for i.
3
Let v be (-1368)/96*8/(-6). Solve -2*j = j + 15, v = w - 4*j for w.
-1
Let h = 499 - 496. Solve 0 = 4*g - h*d + 13, 0 = 3*g - 4*d + 4 + 4 for g.
-4
Let p(u) = u**2 + 12*u - 61. Let b be p(-16). Solve 5*k - 18 = 4*f, 2*k + 1 - b = -f for k.
2
Suppose -9*q = -4*q + 30. Let l(o) = -o + 3. Let h(s) = -1. Let m(r) = 4*h(r) + l(r). Let f be m(q). Solve -11 = -4*k - 3*i, -f - 9 = -k + 3*i for k.
5
Let b(c) = c + 3. Let j be b(-5). Let f(t) be the first derivative of -t**2/2 + 2*t - 13. Let x be f(j). Solve -w - 2*u = -3, -x*w + 9 = -u + 24 for w.
-3
Suppose 0 = -4*z + 3*i - i + 4, 4*i + 8 = 3*z. Solve 4*p + 2*o - 8 = 4*o, p - 5*o - 11 = z for p.
1
Let i be -2*(-2 - -3) - 0. Let h be ((-2)/i)/(-2)*0. Solve -2*k + h*k + 5*d = -22, -5*d - 15 = 5*k for k.
1
Let g be ((-3)/9)/((-1)/24). Suppose 3*q = 3*l - q - 12, -g = -2*l - 2*q. Solve -4*c + 4 = -0, -3*j - l*c = 11 for j.
-5
Let q(v) = 3*v + 71. Let s be q(-23). Let p = 24 - 34. Let j be 4/(-10) - 4/p. Solve j = -w - 2, -w - 5 = -u + s for u.
5
Suppose j = -4*y + 18, 42*j = 47*j + 10. Solve 4*o - 2 = y*s + 6, 5*o + s - 10 = 0 for o.
2
Let x be (-5)/45*(4 - 4). Solve -9 = -3*u, x = -c - 3*c - 2*u - 10 for c.
-4
Let l be (-5)/(-10)*72/2. Suppose a + 0*r = r + l, -5*a + 88 = -4*r. Suppose 3*q + q - a = 0. Solve -4*s + 0*c + q*c - 8 = 0, -3*s + 2 = -c for s.
2
Let h be 4/20 - 48/(-10). Suppose -h*i + 3*v - 10 = 8*v, -3*i + 3*v = -6. Solve -x - x + 2*m = i, -3*x = 4*m - 14 for x.
2
Let h be (-1)/3*(1 + 1 - 11). Suppose -q = n - 2 + h, -3*n = -5*q + 19. Solve 5 = -5*z + 5*b, 0*z - q*b = 5*z + 12 for z.
-2
Let d = -331 + 334. Solve 4*w + d*m - 16 = 4*m, -3*w = 2*m - 23 for w.
5
Let v(k) = -3*k + 6*k - k**2 + 3*k + 1. Let t be v(5). Solve -5*w + t = -3*g, -3*w = -w - 6 for g.
3
Let r(y) = y + 3. Let b be r(3). Let s be 2/(-3)*-1*b. Solve 4*a = -s*g - 28, 4*a - a + 27 = -5*g for a.
-4
Suppose 4*u - 3*s = 20, -4*u + 3*s + 28 = -2*s. Solve 5*z + 1 = 5*a - 24, u*a - 5 = -3*z for z.
-1
Let a(s) = -s**3 - 7*s**2 + 8*s + 2. Let n be a(-8). Solve -n*v = 2*j + 2, 0*j - 4 = 4*v - j for v.
-1
Let p = -123 - -149. Solve p = -3*z + 7*z + 5*w, -2*w + 12 = 2*z for z.
4
Let r(y) = y - 3 - 1 + 2 - 2*y. Let t be r(-5). Let h be 1/(4/48*t). Solve 0 = 2*l - h*g, l + g = 2*g + 2 for l.
4
Let n be -3 + (6 - -3 - 1). Suppose 5*h = -n*y + 6 + 14, -y - 5*h + 20 = 0. Suppose -w = w - 4. Solve y = -3*z - w*x - 2 - 3, 2 = -2*z - x for z.
1
Let g(b) = -2*b - 22. Let r be g(-12). Suppose -4*l - 3*t + 20 = 0, 6 - 16 = -r*l - 5*t. Solve 4*z = -3*i + 3*z - 4, 5*z + 20 = -l*i for i.
0
Suppose -3*s - 51 = -3*j, -2*j + 2*s - 4*s = -14. Suppose -5*o = -0*o + 35. Let d = j + o. Solve 15 = 4*a + d*x, -4*a + 24 = a + x for a.
5
Suppose -5*z - 39 = 106. Let b = z - -29. Solve 2*f = r - 7, b = 3*f - 2*r - 2*r + 23 for f.
-1
Suppose 0 = -2*k - 4*h - 14, k + 8*h - 9*h - 8 = 0. Solve -k*t = 3, 3*t = 2*q + q - 9 for q.
2
Let a = 296 + -291. Solve a*b - 5 = 0, 0 = -s + 4*s - 5*b + 2 for s.
1
Let t(p) = p**2 + 6*p - 14. Let j be t(-9). Suppose 3*d + 4 = j. Solve 12 = 2*w + w, -d*f - 8 = -5*w for f.
4
Let g(f) = f**2 + 24*f - 2. Let i be g(-24). Let u be ((-28)/8*4)/i. Solve u = 4*m - 3*y, -m + 0 = 2*y + 1 for m.
1
Let n be (-5)/(-25) - (-84)/5. Let b = n - 12. Solve 9 = 5*g + 4*t, -g = -t - b - 4 for g.
5
Let a(x) = x**3 + 4*x**2 - 3*x + 6. Let z be a(-5). Let p be (-3)/(-4) + 45/20. Let i be ((-6)/4)/(p/z). Solve 5*n - 6 = 2*j, -n + 10 = i*j + 2*j for j.
2
Let g(c) = 2 - 4*c**3 + 2*c**3 - 11*c**2 + 11*c + 3*c**3. Let k be -4*2/(16/(-20)). Let i be g(k). Solve 0 = -4*j - b - 0*b - 8, i = 3*b for j.
-3
Suppose -2*z = -0*z - 6, 2*z - 4 = -2*a. Let f = 5 - a. Suppose f*m - 13 = -1. Solve -w + 4 = 5*l, -m = 4*w - 2*w for l.
1
Suppose -3*x = -12, -34*x + 16 = o - 30*x. Solve v - 20 = -5*i - 18, o = i - 2*v + 4 for i.
0
Let i(f) = 33*f - 31. Let r be i(9). Let w be 28/r + (-2)/19. Solve 3*o + 6 = w, 5*o + 7 = 2*k - k for k.
-3
Let m be 30/(-9)*(-18)/4. Let f(n) be the third derivative of n**4/24 - n**3/2 - 3*n**2. Let d be f(m). Solve 4*k + a = -11, 3 - d = 3*a for k.
-2
Let v = 2487 + -2485. Let q = 6 + -1. Suppose -4*a = -3*y - 6, q*a = 4*y - 5 + 12. Solve -3*u - 3 = a*l, -u + 5*u + 2*l - v = 0 for u.
2
Suppose 0 = -2*t - 10, -z - z + 3*t + 19 = 0. Let j = z + 0. Suppose k - j - 1 = 0. Solve k*u = 15, -9 = 4*w - 2*u + u for w.
-1
Suppose 3172*s = 3182*s. Solve 0 = -3*o - l - 8 + 11, o + 3*l - 1 = s for o.
1
Let b = 453 + -451. Let p be 3 + (1 - 2/2). Solve 4*x = p*q + 8, 3*q - 10 = 2*x - b*q for x.
5
Let u(r) = r**3 + 8*r**2 - 7*r + 18. Let a = 23 - 32. Let p be u(a). Solve -5 = 3*l + 2*w, -4*l = -p*w + 4*w + 12 for l.
1
Let u = 269 + -257. Solve -5*j = -3*h - u, -2 = -4*h - 2*j - 18 for h.
-4
Let x(i) = -i**3 + 15*i**2 + 55*i - 15. Let l be x(18). Solve 0 = 3*z - 2*c - 7, -z = l*z - c - 1 for z.
-1
Let s(r) = -4*r - 4. Let d = -16 + 10. Let k be s(d). Suppose -5*g = -4*t + 2*t + k, t = 3*g + 11. Solve t*p = 4*b - 37, p - 1 = -5*b + 9 for p.
-5
Suppose 14 = 2*y + 4*r, -5*y + 4*r + 5 = -r. Solve -5*f + 4*b - 23 + 12 = 0, -f = -b + y for f.
1
Suppose -68*z + 36 = -59*z. Solve -s + 20 = -5*i + 3*s, i = -z*s - 4 for i.
-4
Let v = 25 + -12. Let w(a) = v*a**2 - 22*a**2 + 10*a + 10*a**2