
-2
Suppose 10*k - 40 = 5*k. Solve 4*l + y = 3*y - k, 20 = -4*l - y for l.
-4
Let z(r) = 2*r + 1. Let m be z(2). Let s be (-4)/(-14) + (-66)/(-14). Solve m*k - s + 14 = -3*c, -4*c - k + 5 = 0 for c.
2
Let v = -144 + 148. Solve h = -4*k - 14 + v, 3*k - h = -11 for k.
-3
Let n = 7 + -2. Suppose 3*l = n*m - 16, -2*m - 4*l - 6 = l. Let b = m + -2. Solve 2*p - z + 1 + b = 0, -5*p + 2*z = 4 for p.
-2
Let a be 1 + 5/(-10) + 7/2. Solve -3*s = a*t + 12, -s + 8 + 7 = -5*t for t.
-3
Suppose 3*u - 5 = -2*q, 5*q = -2*u + 21 - 3. Suppose 2*a - 43 = -5*f, -2 = -f + a + 1. Solve -k = j + f, 6*j - q*k = 2*j - 12 for j.
-5
Suppose 2*j + 5 = -y, 6*j + 16 = y + j. Suppose 1 = -v, -2*b + 3*v + y = -6. Solve 7 = 4*p - 0*p + 5*x, -x = -b*p + 7 for p.
3
Suppose -c + 0*c + 4 = 0. Suppose 0 = -h + 7 - c. Solve 2*l + 10 = -2*q, -4*q - q + h*l = 9 for q.
-3
Let s be 1*3/(-6)*86. Let h be 6/(-4) + s/(-2). Solve 0 = -5*v - 4*y - 7 - 24, -h = 5*y for v.
-3
Let w be 2/4 - (-72)/16. Solve -4*d + 10 = 3*y, -12 = -w*y - 4*d + 2 for y.
2
Suppose 3*o - 21 = -3. Suppose -25 = -5*m + 4*p, -m - p = -6*p - 26. Let g be ((-2)/o)/(m/(-12)). Solve -5*t = x + 20, -t + 4*x = 3*x + g for t.
-4
Let w(r) be the third derivative of r**5/60 - 7*r**4/24 - r**3/2 - 3*r**2. Let z be w(9). Solve 4*t + z = b, 0*t + 4*t = 5*b + 5 for b.
-5
Suppose 38 + 12 = 5*f - 5*i, f + 2*i = -5. Suppose -15*o + 13*o = 52. Let c be ((-13)/o)/((-2)/(-16)). Solve 2*l - c*v - 22 = 0, -7 = f*l + 3*v - 23 for l.
5
Suppose -9 = -r + 4*f + 2, -5*r - 2*f = -33. Solve -r*h + 3*h + 12 = 0, 2*h + 4 = -5*k for k.
-2
Suppose 0 = -3*w - 3 - 3, x - 30 = w. Let j = 45 - x. Solve -6*b + 2*l + j = -b, l - 2 = -b for b.
3
Let y be 5/10 - (-1)/(-2). Let f be -1 + (y + 1)*3. Solve 2*j - 3 = 2*x + 1, -x = -f*j + 2 for x.
-2
Let w = -14 - -15. Solve -g + 0*g = q + w, -2*q - 2 = 5*g for g.
0
Let f be (24/9 - 3)*-15. Solve -2 = 2*b - f*q, -3*b + 2 = -5*q - 0 for b.
4
Let k(z) = z**3 + 6*z**2 + 4*z + 4. Let m be k(-5). Solve -3*p + m = -2*x, 6*x - 5*p + 15 = x for x.
0
Let x = -24 + 27. Solve -3*c + 18 = -x*z, 3*c = 3*z - 8*z - 14 for c.
2
Suppose 4 = -3*s - 4*t + 2, 4*s - 2 = -3*t. Let z be 4*(4 + -3)/s. Solve z*r = 4*c - 3 + 5, 5*r = -2*c - 31 for c.
-3
Let a(v) = -v**2 + 10*v - 6. Let t be a(9). Solve -3 = m + 2*b - 1, -t*b = 2*m + 5 for m.
-4
Suppose -4*b - b + 10 = 0. Let c = -14 - -18. Solve c = 3*d - 2*t + b, d + 5*t = -22 for d.
-2
Suppose -2*x = 3*w + x, 4*x = -5*w + 4. Solve -3*n = -3*r - 3, -4*n + w + 1 = -5*r for r.
-1
Let o(n) = -n**3 - 7*n**2 - 4*n + 6. Let m be o(-5). Let t = m - -29. Solve a = -2*l - t, 2*a + 0*l + 10 = -2*l for a.
-5
Let s(v) = -4 - 2 - 4*v**2 + 2*v + 0*v**2 + v**3. Let f be s(4). Suppose 0 = -2*t + 2 + f. Solve q + q - 4 = t*a, -2*q + 18 = 5*a for q.
4
Suppose 0*w = 5*w. Let u(j) = j**2 + 3*j + 3. Let y be u(-3). Solve h + 3*p = -y, 4*p - 7 = -5*h - w*p for h.
3
Let t be (-4)/8 + 18/4. Solve -6 = -3*n, 0 = -t*k - n - n + 12 for k.
2
Let p be 38/8 - 2/(-8). Suppose 15 = 4*x - p. Solve 4*z + x*k = 2*k + 32, 0 = -2*k + 8 for z.
5
Suppose 3*b - 2 + 15 = m, 4*m + 4*b = -12. Solve -4*k + 8 = 4*j, 0 = -4*j + 5*k - m for j.
1
Suppose -4*g + 5 + 6 = -y, -3*g - 4*y = -32. Suppose c = g*c - 18. Suppose h - 3 = -2*h - r, -2*r + c = 3*h. Solve h = 3*d + 12, d - 33 = -5*b + 3*d for b.
5
Let v(h) = -2*h - 13. Let b be v(-16). Solve 3*k + 2*m = -b, 5*k - 2*m = m for k.
-3
Let i = 5 + 0. Suppose -2*n + 11 = i*o, -n - 19 = -3*n + 3*o. Solve 0 = -4*u + 3*u + j + 3, -2*u - 5*j = n for u.
1
Let k(u) = -u**2 + 10*u + 4. Let d = -28 + 39. Let a be k(d). Let m = 16 + a. Solve 0*b - 2*s = -b - m, s - 7 = -2*b for b.
1
Let u = 24 + -42. Let c = -7 - u. Suppose c + 14 = 5*d. Solve d*l = z + 8, 5*l - 2*z + 0 = 6 for l.
2
Let l = -19 - -23. Solve -l*a = -d + 13, -3*a - 7 = -2*a + d for a.
-4
Let v be 12/5 - (-10)/(-25). Suppose v*c - 4 - 2 = 0. Solve -5*x - 20 = -c*k, 4*k - 8 = -5*x + 7 for x.
-1
Let d = -8 - -13. Suppose 2*n - d*m = 10, -5*n = m - 24 - 1. Solve 5*r = 2*w - 17, 4*r + 3 + n = -4*w for w.
1
Suppose 0 = 3*k - 3 + 39. Let z be (-4)/(-10) + k/(-20). Solve n + 3*u = -2, z + 9 = 5*n + 5*u for n.
4
Let h be (-208)/6 - 2/6. Let d be (-30)/(-7) + 10/h. Suppose 3*f = d*f - 32. Solve -3*k = i + 5, 4*i - 5*k - f = -1 for i.
4
Suppose -5*w - u + 3 = -7, 0 = 2*w - u - 4. Solve 5*c + 9 = -k, -5*k - 18 = -w*c - 0*k for c.
-1
Let n(c) = c + 5. Let y = 14 - 20. Let d be n(y). Let g be (0 + d - -23) + -2. Solve 0 = -4*z - g, 2*l + l + 8 = -z for l.
-1
Let g be 1/(((-9)/(-102))/(-3)). Let p = 48 + g. Let t be 24/p + (-6)/(-21). Solve o = -5*f + t*f + 20, -f + 15 = 2*o for o.
5
Suppose -5*z = -3*i - 95, 4*z - 9 = -5*i + 30. Solve -z = 2*h - 4*d, -3*h - h - 3*d = -12 for h.
0
Let p = -8 + 8. Solve 3*o + 2*n - 14 = p, 3*n - 8 = -2*o + 2*n for o.
2
Let m(v) = 44*v**2 + v + 1. Let o be m(-1). Suppose k = 3*k - o. Solve -5*n - f + 5 = 0, -3*f = n - 9 + k for n.
2
Suppose 7*s + 7 = 21. Solve 2*t = -3*b - 1, 3*t - s + 8 = 0 for b.
1
Let k(g) = -2*g + 9. Let f be k(3). Solve 5*v - f*x = -9, 3*v - 9 = -3*x - 0 for v.
0
Let u = -150 - -96. Let b be (-2)/9 + 312/u. Let y = b + 11. Solve -3*l + 7 + 3 = -q, -q = -y*l + 14 for q.
-4
Let u be (-26)/(-8) + 5/(-20). Suppose -3*a = j - u, -5*j - 13 = a - 0*j. Solve a*s - 8 = -2*c + 4*s, -5*c - 5*s + 20 = 0 for c.
4
Let z(o) = o**2 + 7*o + 2. Let g be z(-7). Solve 4*s + 6 = b, 0 = g*s - 3*b - 0 - 2 for s.
-2
Let u(b) be the second derivative of b**5/20 - b**4/3 + b**3 - 7*b**2/2 + b. Let z be u(3). Solve -z*j + m = 1, -5*j - 2*m + m = 6 for j.
-1
Suppose -2*t - a + 14 = -3*a, -t + 1 = 2*a. Solve -t*l = -3*b - 3*l + 2, 0 = 5*b - 5*l + 5 for b.
4
Suppose 2*b + 0 - 6 = z, 0 = 3*z. Solve -2 = 5*t + b, -t - 5 = -2*w for w.
2
Suppose -5*m - 20 = -3*a, -5*a + m + 3*m + 29 = 0. Solve -8 = -4*i + 2*r, -a*r - 1 - 6 = 3*i for i.
1
Let f be 18/27*6*3. Suppose -2*x = 4 - f. Solve 0*k + 2*k = 4*w + 18, x*k - w - 8 = 0 for k.
1
Let q(s) = -4*s**3 + 2*s**2 + 2*s. Let f be q(-1). Solve 4*a + 0*a + f*c = 8, -15 = -3*c for a.
-3
Let y(j) = j**3 - 4*j**2 - 5*j + 11. Let i be y(5). Suppose 2*b + 4*v - i = 17, 6 = 4*b - 2*v. Solve -r = -4, -2*t - b*r - r + 12 = 0 for t.
-4
Let a(g) = -g**3 + 8*g**2 + 10*g. Suppose 60 = 5*z - 3*b, -3*b - 8 = 7. Let m be a(z). Solve 12 = -4*r - 9*q + 4*q, -5*q + m = -3*r for r.
-3
Let q = -119 + 123. Solve -2*m = -q*m + 3*d - 6, m + 2*d - 11 = 0 for m.
3
Let y = 17 - 13. Solve x = y*a + 9, -3*a = -4*x + x + 18 for x.
5
Let w(j) = -4*j - 4 - 9*j - 3 + 3. Let y be w(-2). Solve -5*g + 4*k = 3*k + y, -5*k = 4*g + 35 for g.
-5
Let w = -7 + 4. Let f be w/15 - (-4)/20. Suppose -3*v + 12 = -f*v. Solve 3*s = -v*m - 3, 2*m = -2*s - s - 3 for m.
0
Suppose 4*k + 3 - 11 = 0. Let z(l) = l + 14. Let s be z(0). Suppose -2*h - 5*j = -0*j - s, -j + 58 = 5*h. Solve 3*m - 4*x + 6 = -h, -3*x + 13 = -k*m for m.
-2
Let l be 0*(4 - 14/4). Let m be (l + (-1)/3)*0. Solve m = w - 2*f - 1, -w + 0 = -3*f - 4 for w.
-5
Let a be 80/15 - 2/6. Let s = -6 + 8. Suppose s*j - 28 = -a*o, -o = 4*o - 20. Solve -n + 3 = -6*q + 2*q, j*n = -3*q - 26 for n.
-5
Let x = 38 - 34. Solve -4*b + 17 + 1 = k, 2*k + 12 = x*b for k.
2
Let o be 1 - 0/(-2) - 1. Suppose -3*z = o, -4*j - 4*z - 12 = -6*j. Solve 2*i - v + 9 = 0, -3*v = 2*i - v + j for i.
-4
Suppose 3*n + 2*n = 40. Suppose n = -u + 2*q, -2*q = 5*u + q - 25. Solve -u*s - 4*t = -6, s + s = -3*t + 4 for s.
-1
Let l be (63/(-27))/(2/18). Let i = 33 + l. Solve 5*v - i = -3*g, -v + 2*g = -2*v + 8 for v.
0
Let a = 148 - 144. Solve 3 = -s - 5*z - 10, 0 = -a*z - 12 for s.
2
Let m = 1 + -3. Let v be (-7)/m*80/28. Solve -5 = 6*i - 3*i - 4*y, -3*i + 5*y - v = 0 for i.
5
Let o be 0/(-2) - (-3 - 2). Suppose o + 1 = 3*s. Solve s*g = 10, 5 = -8*u + 3*u - 4*g for u.
-5
Let f be (3 + -4)/(-2*1/4). Solve -f*n = 5*j - 3, -2*n - 8 = 3*n - 3*j for n.
-1
Suppose y + 0*y = 0. Let h = y - -5. Solve -1 = 3*d + h*w, 4*w + 2 = 6*w for d.
-2
Suppose -2*w = -3*c - 1, -5*w = -w + 2*c - 26. Solve n + 4*s + 9 = 0, w*n = 2*s - 5*s + 6 for n.
3
Let d(x) = x**2 - 12*x - 11. Let l be d(13). Solve 0 = -0*j + 4*j - 2*h - 18, 0 = -l*j - 2*h - 6 for j.
2
Let g(a) = a**2 + 5*a - 1. Let y be g(-7). Suppose y = 2*f + 3. Suppose -5*c = 5, -2*c + 3 = -5*t - 5*c. Solve 2 = -f*h - 2*w, -4*h - w - 4 = -t for h.
-2
Let g = -44 + 44. 