m, 5*m = 5*y + 5 for y.
-3
Let j be (0 - 116/(-4)) + (1 - -3). Solve -j = o + 4*o + 2*s, -5*o = 5*s + 45 for o.
-5
Let g(o) = -29*o**3 - o**2 + 9*o - 4. Let z(a) = 7*a**3 - 2*a + 1. Let b(u) = 2*g(u) + 9*z(u). Let t be b(1). Solve 3*c + 13 = 5*q, 4*q + 8*c - t*c = 36 for q.
5
Let a = -33 + 36. Solve -4 = -4*v + a*m, -1 = -0*v - v + 5*m for v.
1
Let z = -31 + 21. Let f be ((-12)/z)/((-3)/(-20)). Solve 0*a + 10 = 5*a + 5*b, 3*a - f = -4*b for a.
0
Let p = 10 - 8. Suppose 1 - 7 = -4*m + 2*j, -p*j - 4 = -3*m. Solve z = -4*f + 21, -m*f + z = -3*z + 12 for f.
4
Let j(c) = -c**2 - 3*c + 2. Let n be j(-3). Suppose 0 = n*m + 3 - 9. Solve 4*u = -5*s + 19, -4*u - m*s = -3*u - 10 for u.
1
Let w be (2*3)/(1/2). Suppose 65*u - 68*u = -6. Solve -n + w + 0 = -3*f, -4*f = u*n + 26 for f.
-5
Let s(c) = 2*c + 14. Let z be s(-6). Solve 2*u = 4*g - 6, 2*u - 1 = 5*u + z*g for u.
-1
Let a = -6 - -7. Suppose -2*l - 3*q + 15 - 3 = 0, -19 = -5*l - 2*q. Suppose a + 14 = l*z. Solve z*x - 13 = 4*r, 2*x + 0 = -2*r - 2 for x.
1
Suppose -109 = 3*o - 124. Solve -4*z + 12 = -o*k, 7 = -2*z + 3 for k.
-4
Let f = 76 - 64. Solve 3*k = 3*l + f, 0*k - 3*l = k for k.
3
Suppose 3*m + 6*c - 4*c - 18 = 0, -m = 5*c - 19. Let w = 3 + -1. Solve u - w = 0, -2 - 8 = m*v - 5*u for v.
0
Suppose -4*z - 3*k + 8 = 0, 2*z + 2 = 3*z + 2*k. Suppose -z*d = -d - 11. Let q(x) = 2*x - 12. Let o be q(d). Solve 5*a - 20 = 5*y, 4*y = a - 0*a - o for a.
2
Let u be 45/18*(-12)/(-10). Solve 0 = -4*w - 3*n - 9, -5*w + u*n + 0*n = -9 for w.
0
Let o be 2 - -2 - 4/1. Suppose 4*n - 36 = 5*d, 3*d - d = -8. Solve 0 = -t - b, o*b + n = 5*t + b for t.
1
Let h = 23 + 5. Suppose u + 4*p = 7, 2*u = -2*u - p + h. Suppose -3 - u = -5*v. Solve 4*o + 4*l + 31 = 3, v*l + 11 = -o for o.
-3
Suppose u = -2*u + 6. Solve 4*f - 2 = -p, -3*f - p - u*p = 3 for f.
1
Let r be (-10)/25 - 4/(-10). Suppose -2*b + r + 2 = 0. Suppose b = 2*q - 9. Solve 6*o - 4 = -2*z + 5*o, 5*z - q*o + 5 = 0 for z.
1
Let p = 21 + -18. Solve -g + p = 4*c, 0 = 2*g + 5*c - 0*c for g.
-5
Let b(k) = -k**3 + k**2 + 9. Let q be b(0). Let f be ((-14)/(-3))/(3/q). Solve 4*n = -5*z + f, 2*n - 10 = -4*z - 0*n for z.
2
Suppose 0 = 2*z + x - 20, -4*z - 3*x - x + 44 = 0. Solve -2*q + 0*i = -2*i + 6, -i = 5*q - z for q.
1
Let o = -15 - -15. Solve o = 2*d - 4*r + 22, 4*r - 37 = 7*d - 2*d for d.
-5
Let o(y) = -2*y. Let x be o(-4). Let t(q) = q - 2. Let r be t(6). Solve -2*s - x = -s + r*d, 2*s = -3*d - 1 for s.
4
Suppose 5*g - 40 = 4*i, -12 = 2*g - 0*g + 4*i. Let a be (18/(-15))/(8/(-20)). Solve -5*p + 2*t + 31 = 0, -p + a = 2*p + g*t for p.
5
Let r be (-1)/((-18)/15 + 1). Suppose 5*u + 0*z = -2*z + 8, -r*u = -3*z + 12. Solve u = q - 5*h + 8, 6 = h + 2*h for q.
2
Let a be 16/4*(-3)/(-6). Solve -l = -a*k + 3, -3*k + 22 = -5*l - 0*k for l.
-5
Suppose 0 = 5*b - 17 + 7. Solve 5*y + 0*y - 10 = 0, 0 = b*f + 4*y - 14 for f.
3
Suppose 2*g + 26 = 3*l + g, 0 = l + 4*g. Suppose -36 + l = y + 4*w, -2*w + 40 = -4*y. Let u be (-2)/y - 22/(-12). Solve 0 = 2*q + u*n, q + 3 = 3*n - 9 for q.
-3
Let m(v) = -v**3 - 6*v**2 - 4*v - 3. Let w be m(-5). Let n be ((-1)/2)/(2/w). Solve 0 = -2*x + n*y, 7*x + 40 = 2*x - 5*y for x.
-4
Let h(d) = 5*d**2 - 22*d + 2. Let z be h(5). Solve u - g + 5 = -0*u, -u = -5*g + z for u.
-2
Let j be (-1 - 2)/6*0. Suppose j*m + m = -10. Let c be m*(1 + (-15)/6). Solve 24 = 4*i + 4*z, -2*z - 5 = -c for i.
1
Let l(f) = -f**3 - 29*f**2 + 28*f - 37. Let y be l(-30). Solve -2*j + 21 = -z + 8, z = 4*j - y for j.
5
Let k(h) = 2*h + 1. Let u be k(-1). Let l be (0/1)/u*-1. Solve -5 = y + y + a, y - 5*a - 14 = l for y.
-1
Suppose 2*o + 5*a = 29, -4*o + 13 + 5 = 2*a. Solve 0 = 5*w + 2*t + o, -2*w + 3*t + 1 = -2 for w.
0
Let t = 15 - 12. Suppose 0 = v - 2*v + s - 3, s = -t*v + 11. Solve 4 = v*w - 4*o - 8, w - 9 = 5*o for w.
4
Let n be (-2)/(-8) - 14/(-8). Suppose -4*l = -n*l - 8. Solve t + v + l = 0, 4*t + 8 = 2*t - v for t.
-4
Suppose -10 = -4*v + 10. Solve 0*f + 17 = -v*d - 2*f, 2*d + 3*f = -9 for d.
-3
Let c be 1*(0 + -1) + -1. Suppose -3*b = 2*b - 10. Let n be (b - -4) + 2 + c. Solve -3*i = m + 14, m - 2*m + i = -n for m.
1
Suppose 5*y - 2 = 5*q + 28, 5*y + 2*q - 16 = 0. Solve x + 5 = y*g, 3*x - 4*g = x - 10 for x.
-5
Let r = 2 + 3. Solve -3*j + 4 = 4*k - 6, j + r*k = 18 for j.
-2
Suppose -3*z + 2*v + 94 = z, -2*z + 5*v + 35 = 0. Solve 5*m + 5*l + z - 5 = 0, 0 = 2*m - 4*l + 8 for m.
-4
Suppose -5*k = 2*f - 6, -4*k - f = -2 - 4. Solve 2*b - 2*l - k = 0, 0*l + 5*l + 20 = 0 for b.
-3
Let f = 21 - 19. Suppose -f = q - 5. Solve 0*g = g + q, -3*u + 21 = -3*g for u.
4
Let x = -22 + 24. Solve 2*l + 3*a - 2 = -3, 2*l + x*a = 2 for l.
4
Suppose -5 = y - 7. Solve -9 = -5*b + 3*z - y, -2*b - 2*z = 10 for b.
-1
Let s(z) = z**2 - 9*z + 2. Let n be s(9). Let u = 2 - n. Solve u = -l - 0*l, -5*l + 3 = x for x.
3
Let v be 0/(-4 + 3 + 3). Solve v = -4*d + 4, g + 3*d = 7*d + 1 for g.
5
Let g(b) = 2*b - 6. Suppose -8 = -2*n + 3*l, 3*n + 3*l - 4*l - 12 = 0. Let t be g(n). Solve t = 4*q + o + 13, -3*o = 3*q + 6 for q.
-3
Let f = -32 + 45. Suppose -4*d = 2*s - 20, f + 12 = 5*d. Suppose -4*h + h = s. Solve h*c = 5*c + 5, 7 = 2*u + c for u.
4
Let v(c) = 11*c - 3*c**2 + 10 - c**2 + 3 + 3*c**2. Let d be v(12). Solve -d = 2*i - q, 3*i - 21 + 3 = -5*q for i.
1
Let z(o) = -o**3 + 18*o**2 + o - 13. Let f be z(18). Solve 0 = f*h - m + 20, -3*m - 12 = 3 for h.
-5
Suppose 3*a - 1 + 16 = 0. Let r = a - -5. Solve r = 3*s + 3*n, -5*s - n = 9 + 3 for s.
-3
Let y be (-50)/(-20)*(-24)/(-10). Let f = y + -2. Solve 0 = -2*p - 2*q + 12, f*q = -p - 0*q + 18 for p.
2
Suppose -5*p + p - 24 = 0. Let h(v) = v**2 + 7*v + 8. Let r be h(p). Solve -4*y + 2 = 2*n, r*n - 4 + 6 = 0 for y.
1
Let z be (-3328)/(-144) - (-1)/(-9). Solve z = 5*i + 3*a - 0*a, 0 = -2*i - 5*a + 13 for i.
4
Let p be (-10)/15 + (-4)/3. Let w be p - (2 + -6*1). Solve -2*n + 30 = -6*j + w*j, -20 = -4*n for j.
-5
Let x be -1*(0 + 0) + 3. Let f(m) = m. Let b be f(x). Solve -b*w - 5*p + 14 = 0, 2*p + 0 - 6 = -w for w.
-2
Let q(d) = 3*d - 3*d + 7*d**3 - 6*d**3 - d**2 - 4. Let a be q(3). Suppose 39 = 3*z - 3*s, -5*z + 3*s = -68 + 11. Solve -3*u + 7 = -5*x - z, -a = 3*u + x for u.
-3
Let c = -10 - -15. Suppose 0 = 11*g - g - 130. Solve -3*v + x - g = c*x, v - x = 5 for v.
1
Let j be (0/(-1))/2 - (-4 + -8). Solve 2*f - j = 5*y, -5*f + 0 = y - 3 for f.
1
Suppose 4*k = 9*k. Suppose 0 = -4*o - t - 3, 2*o + 2*t = -0*o - 6. Suppose g + o*g = k. Solve -5*z + 16 = -4*q, g*z - 5*q - 20 = 3*z for z.
0
Suppose -10 = 63*c - 65*c. Solve -s - n + 4 = 0, s + 5*n = c*s + 11 for s.
1
Let p = -40 - -45. Solve 2*t + 18 = 4*i + 4, -p*t - 5*i = -40 for t.
3
Let z = -1 + 4. Let o be 3/2*(z - -1). Solve 0*q - q = d + o, 0 = -5*q - 5 for d.
-5
Suppose -6*p - 3 = -7*p. Let x be (0/p + 0)/(-1). Solve 5*q = -2*h - 33, x*q + 23 = -3*q - 2*h for q.
-5
Let i(w) be the second derivative of -w**3/3 - 2*w**2 + 4*w. Let s be i(-3). Solve 0 = m + 5, f - 2*m - 19 = s*m for f.
-1
Let l(s) be the second derivative of -s**4/12 + 13*s**3/6 + 8*s**2 + 2*s. Let t be l(14). Solve 5*g + r - 2 - 1 = 0, t = -2*g - 2*r for g.
1
Let t = -38 + 53. Let w = t - 11. Solve -3*s + 3*d + 6 = 0, 0*s + s - w*d = 5 for s.
1
Let u(w) = w**3 + w**2 + 2*w + 2. Let r be u(0). Solve j - 4*h - 12 = -j, 14 = 3*j - r*h for j.
4
Let f be (6/(-12))/(2/(-36)). Suppose 21*z - 18*z = f. Solve -3*i = -z*x + 27, -4*x - i = 4*i for x.
5
Let n = -104 + 107. Solve n*a - 7 = -2*t + 1, -30 = 5*t - 5*a for t.
-2
Suppose 6*u - 20 = 4*u. Suppose -u - 2 = -3*s. Solve 3*w = -2*w - 5, 0 = j + s*w + 4 for j.
0
Let m(s) = 6*s**2. Let c be m(-1). Let t = 8 - c. Solve 0 = 3*z + 12, -3*i - 16 = t*i - z for i.
-4
Let p = 31 - 21. Solve 0*s = 5*s - 4*v + 5, 0 = -3*s + v - p for s.
-5
Let d = -55 + 59. Solve -5*g = q - 3, 0 = 3*g - 5*g + q + d for g.
1
Suppose -31 = 3*g - 2*h, 4*h + 0 = -3*g - 1. Let k = g - -15. Let m(j) = j**3 - 5*j**2 + 5*j - 1. Let v be m(4). Solve 0 = p + z - 9, v*z - k = z for p.
5
Let o(z) = -z**2 - 23*z - 58. Let t be o(-20). Solve -3*a + 2*m - 10 = -t*a, 5*a + 8 = -4*m for a.
-4
Let h(z) = 2*z + 4*z - 7*z. Let v be h(-3). Solve 7*f = 2*f + 3*j - 27, v = 3*f + 3*j for f.
-3
Suppose 0*d - 3*d + 96 = 0. Let g be -3 + 3 + d - 3. Solve -2*k + 3 + 28 = 5*v, 3*k = -4*v + g for k.
3
Suppose -4*l + 18 = -14. Let s = l - -2. Let k = s 