+ 9, -5*j - 4*l = 11 for j.
1
Let o(k) = -2*k**2 - 5*k - 1. Let q(c) = -c**2. Let x(z) = -2*o(z) + 6*q(z). Let y be x(5). Solve -3*t - 10 = 2*h + y*t, 0 = 5*t + 10 for h.
0
Suppose 0 = 3*w - 12, -x = -4*x + 5*w - 5. Solve -3*p + l - 7 = -x, 5*p + 2*l = 15 for p.
1
Let l = -4 - -7. Suppose 0 = -6*p - 89 - 31. Let h be 30/p*80/(-6). Solve -10 = -5*i + 2*u, -l*i - 2*i + 4*u = -h for i.
0
Let f = -25 + 7. Let t(n) = -n - 12. Let x be t(f). Solve 3*g - 3*a - x + 30 = 0, 4*a - 26 = 2*g for g.
-3
Suppose 221 - 193 = 7*i. Solve -2 = -3*m + 10, -16 = i*h - m for h.
-3
Suppose -4*l - 5 = 3, 95 = 3*b - l. Suppose 5*t + 30 = -g, g = -3*t + 3*g - b. Let d = t - -10. Solve -i = -4*j + 16 - 39, 4*i - 27 = d*j for j.
-5
Let p(c) = c**3 + 11*c**2 - c - 9. Let u be p(-11). Suppose 0 = 5*o + 5*d + 10, 0 = 4*d + 29 - 9. Solve o*x - 4*g + 20 = 0, 2*x - u*g = -7*g + 25 for x.
0
Suppose 0 = -2*p - 2*w + 4*w + 14, -p - 3*w = -27. Suppose -q = p - 35. Suppose -2*k - 2*c = -7*c - q, 9 = -3*c. Solve -4*r = 2*b - 6, r + 1 = k for b.
-3
Let c = 94 + -54. Let z = c - 59. Let j be z/(-5) + (-2)/(-10). Solve 5*i + 5*l - 16 = j, 12 = 2*i + 4*l for i.
2
Let w be ((-12)/9)/((-5)/270). Let u be 5*(w/20)/6. Solve 3*g - 9 = -3*o, -2*o + u = 5*g - o for g.
0
Suppose -32*n + 15 = -27*n. Solve -2*t - 2*c = -12, 7*t + 3*c = n*t + 19 for t.
1
Suppose 3*y = -5*j + 45, -3*j + 11*y - 13*y = -28. Solve -o - 2 = -4*z - j*o, 2*z = -2*o for z.
-2
Let a = 11 + -8. Suppose -y - 4*y = a*c + 7, -5*y - 5*c - 15 = 0. Solve -z - z = w - y, 4*z - 2*w - 6 = 0 for z.
1
Suppose 0 = -3*t - 2*t - t. Solve -3*g = g - 3*n + 11, g - 2*n + 9 = t for g.
1
Suppose 5 = 3*o - 76. Suppose 2*l - 21 = o. Solve 5*v = p - 26, 6 = 4*v + 2*p + l for v.
-5
Let r(x) = -x**2 - 9*x - 4. Let d be r(-8). Suppose -89*i = -82*i - 189. Solve 0 = -o - d*n + 21, i = 4*o - o + 3*n for o.
5
Suppose 0 = -6*t + 14*t. Solve -3*n + 2*o + 7 = t, 2*n + 4*o = 3*n + 11 for n.
5
Suppose -3*q - 3*v + 7*v + 119 = 0, 159 = 4*q - 5*v. Let f = 44 - q. Solve 2*b + 13 = -o + 6*b, -6 = -3*o - f*b for o.
-1
Let r be 1*1/(1/2). Let p(v) = 2*v**2 - 17*v - 9. Let z be p(9). Solve -3*c + z*c - g - 6 = 0, -5*g - 4 = r*c for c.
-2
Suppose 3*o - 12 + 3 = 0. Let r = -4 + 8. Suppose -5*u + 12 = r*l - 61, 0 = -u - 3*l + 8. Solve -u = -4*z + o*i, -4*i - 1 = -2*z + 5 for z.
5
Suppose 167*n - 174*n = -14. Solve -6 = u - n*c, 5*u + 6 = 2*c - 8 for u.
-2
Suppose -9*c + 39 = 12. Solve c = -4*k - 3*n, 5*n = 5*k - 4 - 1 for k.
0
Suppose 0*o = 5*o - 15. Let y be 1 + -4 - 48/(-18)*o. Solve -13 = -3*r - u, 0 = 2*r + y*u - u - 12 for r.
4
Suppose -148 = -3*t - 4*h, 4*h - 2*h - 256 = -5*t. Let j be (-2)/(-11) - t/44. Let w = j + 3. Solve -w*o - 4*m + 22 = -8*m, 4*m = o - 21 for o.
1
Let i = -10 + 13. Let p be 0*i*1/(-3). Solve -4*x - z = 7 + 2, p = x - 4*z + 15 for x.
-3
Let w = 229 - 224. Solve -3*s = -3*n - 24, -2*n + w*s = 14 + 11 for n.
-5
Suppose 31*g - 20 = 2 + 40. Let y(d) = 5*d - 1. Let p be y(1). Solve -p*c - 8 = g*s, 4*c = 3*s - c - 32 for s.
4
Suppose -15*c + 8*c = 0. Let l = -193 + 198. Solve -6 = -4*q - l*m, q - 2*m + 5 = -c for q.
-1
Suppose -96 = 15*l - 39*l. Let u be 1 - (-1 - 0/(-4)). Solve w - 2*h + 4 = -w, -u*w - 2*h = -l for w.
0
Suppose 5*q = 4 + 6. Suppose -10 = -4*w + 14. Suppose 2*y - 2*h = 8 + w, 4*y - 3*h = 24. Solve 8 = -q*a - 3*d, 4*d + 5 = -y*a - 7 for a.
-4
Let f(a) = -a**2 - 6*a + 7. Let j(t) = -t**2 + 1 - 12 + 8 + 2*t. Let q be j(3). Let o be f(q). Solve -x + m = -2*m + 10, 0 = 2*x + 3*m - o for x.
-1
Suppose 2*m - 27 + 11 = 0. Solve 0 = -3*t + 2*y + 23, m = -y + 4 for t.
5
Suppose -n = 2*m - 23, 0 = -n + 4*m + 2 - 3. Suppose -10*a = -13*a + n. Solve u + 6 = -h, -a*h + 5*u = 4*u + 6 for h.
-2
Suppose -61*r + 58*r - 3*c + 3 = 0, -r - 3*c = 7. Solve 3*z + 15 = -5*o + 6*z, -4*z = r*o - 20 for o.
0
Let i = -30 - -31. Let f(s) = 8*s**2 + s - 1. Let n be f(i). Solve 0 = -2*z + 4*v - n, -5*v + 36 = z + 3*z for z.
4
Suppose -4*n - 14 - 2 = 0. Let r = n + 5. Suppose l - r = 11. Solve -6*u = -5*z - 3*u + 20, 2*u + l = 3*z for z.
4
Suppose l + 0*l + 6 = 0. Let b be (-5 + -2)*l/6. Solve 5*a + 15 = 0, -2*a + 13 = -2*o - b*a for o.
1
Suppose 0 = -n + 3*n - 3*m + 32, 2*n + 5*m + 16 = 0. Let f = n - -16. Suppose 0 = 4*u - u - 15. Solve f*w = y + 8, u*y + 28 = 4*w - 1 for w.
1
Let p be (30/25)/((-6)/(-20)). Solve -p*j = 2*l - 3*l, 3*l = -4*j for j.
0
Let s be (-4)/((-4)/1)*37. Let i = s - 26. Suppose -3*j = 3, -3*o - 4*j + i = -3*j. Solve 5*l - 3*l - 2 = 3*z, 5*l - o*z = 12 for l.
4
Let l be 4 + 15/((-90)/12). Solve -16 - 2 = -3*o + 3*z, -4*z = l*o + 18 for o.
1
Let r(l) = -l**2 - 6*l. Let n be r(-5). Solve 0 = n*s - 0*t + t + 14, 4*s = -3*t - 20 for s.
-2
Let l be (-1 + 0)*(-132 + 130). Suppose -4*v = -1 - 11. Solve v*o - 4*y = -l*o - 10, 5*o - 2*y = -10 for o.
-2
Let q = 156 + -146. Solve -3*v = 5*y + v - q, 0 = 4*y + 5*v - 8 for y.
2
Let v be 1 - 0 - (11 + -9). Let b be 2 - v*(-2)/1. Let y be ((-2)/4*b)/(-2). Solve y = -h + 4*p - 9*p + 2, 0 = -5*p for h.
2
Let a = 112 + -111. Let s = 1 + a. Solve -2*b - 13 = 4*k + 9, -3*k = s*b + 18 for k.
-4
Let y = -60 + 56. Let l be (4/(-6))/(y/102). Solve 3*m = -15, -4*m - l + 5 = 2*q for q.
4
Let v(a) = 2*a**3 + 8*a**2 - 5*a - 7. Let y(r) = -r**3 - r**2 + r. Let p(s) = v(s) + 3*y(s). Let m be p(3). Solve 0 = -2*f - 2*z - 3 - 11, 0 = -m*z - 20 for f.
-3
Suppose 19*v = -6*v + 425. Let a(d) = d**3 + 5*d**2 - 5*d - 8. Let n be a(-6). Let c = v + n. Solve -u - 11 = -3*h, 3 = 2*h - c for u.
-2
Let z = 729 - 727. Solve -z*i + 5*i - 4*y - 25 = 0, -28 = -4*i + 4*y for i.
3
Let g be 1 - (1/3 + (-40)/(-6)). Let m be 30/45 - 116/g. Solve -4*h - 20 = h + z, 4*z = 5*h + m for h.
-4
Let i be 12/(-9)*(-9)/6. Suppose m + i*m = 9. Suppose -4*w = -5*g + 33, 24 = 5*g + 4*w + 7. Solve g*y - p = 2 - 23, -2*y - 5*p = m for y.
-4
Let f be 3*((-176)/(-12) - 0). Let u = f + -42. Solve 4*v + 2*o = -o, u = 2*v + o for v.
3
Suppose 70 = 15*v - 95. Solve -v*w = 5*r - 13*w - 24, 0 = r + 3*w + 2 for r.
4
Let o(v) be the third derivative of -v**4/8 - v**3/2 + 3*v**2. Let f be o(-2). Solve 0*a = -5*m - f*a + 8, 4 = -a for m.
4
Let p(f) = f**2 + 2*f + 1. Let s be p(-3). Suppose 0 + s = 2*w. Suppose 2*x - 28 = -w*x. Solve 17 = -3*z - 5*u, 2*z + 20 = -5*u + x for z.
-4
Let c(t) = -2*t**3 + t**2 + 5*t - 5. Let x be c(2). Let d = 21 + x. Let j = d + -10. Solve 0 = -r + 4*u + 13, 5*r - u + j*u = 19 for r.
5
Let a = -33 + 24. Let b be (3 + -1)*a/(-6). Suppose -2*x + b*w = -x - 17, -w = 3*x - 11. Solve 3*y = -x*p + 7, 5*y - 7 = 13 for p.
-1
Let u be (38/5)/((-16)/(-40)). Let x = 19 - u. Solve 5*l - j + 26 = x, -3*l + l + j = 11 for l.
-5
Let c(t) = -6*t + 23. Let p be c(-5). Let k = p + -51. Solve -k*n - n - 6 = -3*u, -24 = 3*n + 3*u for n.
-5
Let v(o) = -5*o + 1. Let m(l) = -6*l + 1. Let z(k) = -6*m(k) + 7*v(k). Let i be z(2). Solve 0 = -3*j - t + 11, 2*t = i*j - 14 - 9 for j.
5
Suppose 4*m + 67 = 47, -4*z + m + 13 = 0. Solve 0 = z*s + 5*i + 14, 0 = 4*s + 5*i + 18 for s.
-2
Let n be (10 + -32)*(-2)/4. Solve 3*m + n = a, 3*a - a = 5*m + 20 for a.
5
Suppose 28 = -3*p + 31. Solve z - b = -p, -4*b + 32 = 3*z - 0*b for z.
4
Suppose 5*n = i + 14, n - 2*i - 3*i = 22. Suppose -2*z + 8 = -0*a + a, -n*a - 12 = -3*z. Solve -2*w + 4*f + 22 = a, 2*f - 17 = -4*w + f for w.
5
Let i = 47 + -40. Let r = 12 - i. Let u be (3/(-3))/(1/(-7)). Solve 4*n + r*x = 10, n - 5*x + 3 = -u for n.
0
Suppose 4*k + 10 = 9*k. Suppose 0*f + 8 = 4*t - f, 3*t + k*f = 17. Suppose t*x - 39 = -9. Solve -5*h - 1 = 3*a - x, 2*h = -2*a + 6 for h.
0
Let a(u) = 3*u**2 + u + 2. Let z be a(-1). Let p(l) = -2 + 2*l - 4 + z. Let q be p(2). Solve -3*x = 2*c + 5, x - 3*c + q - 4 = 0 for x.
-1
Let s be ((-4)/(-4))/2*-14. Let j(n) = -8*n - 22 - 14 + 21. Let c be j(s). Solve c - 14 = 2*y - 5*r, r = -4*y - 1 for y.
1
Let g(o) = 2*o**2 - 2*o + 12. Let n(f) = -3*f**2 + 3*f - 12. Let t(z) = -4*g(z) - 3*n(z). Let b be t(-5). Solve -c = -h + 3, -h + 5*c = c - b for h.
-2
Let y(n) = -n**3 + 4*n**2 + 2*n - 2. Let h be y(4). Let b be (4/(-2))/(-7 + h). Solve 4*v = 2*d + b*v - 10, 2*v = -d - 10 for d.
0
Let s = -5 - -8. Suppose 0 = -p + 3*p + 2*b - 20, 4*b = s*p + 5. Suppose 10 = p*m - 5. Solve -2*j + r = -6, m*j = -7*r + 3*r - 13 for j.
1
Suppose 11*z + 77 = 77. Suppose -t = -2*t + 4. Solve u + 0 + t = 0, 3*o - u 