 - 11 = -2*k. Solve c - 13 = d*p, -4*p - b = -w*c + 9 for p.
-4
Let i(x) = x**2 + 2*x + 2. Let g be i(-3). Suppose 24 - 4 = g*h. Solve 4*m + 4*c = 40, 2*c + c = -h*m + 35 for m.
5
Let a = 2 + 0. Let z be -6*-2*a/12. Suppose 0 = -z*o + 26 + 8. Solve 4*q = 3*t - 7 - o, 20 = 5*t for q.
-3
Let f = 8 - 5. Let j = -14 + 25. Solve -3*v + 2 + 10 = 0, -f*q = -v - j for q.
5
Let u = 10 + -6. Solve 5*a = 2*v, -u*v = -v for a.
0
Let d = 8 - 5. Let r = -17 - -20. Suppose d*y + 11 = n, 5 = -n - n - r*y. Solve 2*a + 4 = -4*t, 0 = 2*a - 4*a - 2*t - n for a.
0
Let y(z) = z**2 + 6*z - 5. Let n be y(-7). Suppose -n*q - 2*a + 349 = 3*q, 341 = 5*q - 2*a. Let m = q - 41. Solve 4*t - 15 = -5*w, -6*t + t = -3*w - m for t.
5
Let a(t) = -t**2 - 9*t + 3. Let m(h) = 1. Let n(o) = a(o) - 3*m(o). Let q be n(-8). Solve 0*p + 3*p + q = -4*y, -4 = -5*p + 2*y for p.
0
Let b(s) = -7*s - 4. Let i be b(-3). Solve -r + 5*w - i = 0, r + 2*w + 3*w = 13 for r.
-2
Let m(d) = -d - 1. Let t be m(5). Let x be (2/t)/(3/63). Let b = x - -10. Solve 3*o + w = 2*o - b, -5*o = w + 11 for o.
-2
Let z be 1*(12 + -3 - 2). Suppose -2 = -3*k + 2*o, 2*k - 4*o = -o - z. Solve -k*m + i + 5 = 0, -2*m + 5*i - 16 + 5 = 0 for m.
2
Let w be (-28)/6*(-36)/14. Suppose 2*c + 16 = 2*i - 6*i, w = -3*i - 2*c. Let m = 4 + i. Solve 0 = f - 3*f, m = -y + f - 3 for y.
-3
Suppose 5*a - 36 = -11, -4*a - 12 = 4*o. Let p be (-2)/o + (-35)/(-20). Solve 0 = n - p*n + 4*t + 9, -t - 12 = 3*n for n.
-3
Let k be (-8)/20 + (-39)/15. Let l be (-9)/(k - 0) + 0. Solve l*i = -5*y - 2 + 13, -i = -5*y + 3 for y.
1
Suppose g = -w - g + 11, 3*w - g - 5 = 0. Suppose n + l - 4 = 0, -4*l - 4 = 2*n - w*n. Solve j = 1, -n*x - 21 = x + 4*j for x.
-5
Let d(k) = -k - 14. Let f be d(-18). Solve 17 = 3*p + f*w, 0 = 4*p - 3*p - w + 6 for p.
-1
Let t = 7 + -15. Let a(v) = -v**2 - 10*v - 11. Let o be a(t). Solve m - 16 = o*y + 8, -5*m + 2*y = -5 for m.
-1
Suppose 0 = 5*u - 0 - 15. Suppose -u*t = 3*q, -2*q - 2*t - t - 5 = 0. Solve -x - 3*p = -q, p = 5*x + 6*p - 5 for x.
-1
Let n be 2 - (8/(-1) - -3). Let a = -2 + -3. Let f = -4 - a. Solve -b = -s - f + 4, -b = 4*s - n for b.
-1
Let o = 9 + -3. Let n = -6 + o. Solve n = -3*i + 12, 2*u + 2 = 2*i - 16 for u.
-5
Suppose o - 6*o = 0. Suppose 4*m - 4 = o, m = -2*b - 0*m + 9. Solve 0*d + y + 3 = -d, -3*d + b*y - 16 = 0 for d.
-4
Let d be (-1 - -1)/((-18)/(-9)). Solve d = 2*n + 3*j - 5, j + 3*j + 20 = 4*n for n.
4
Suppose 3*i + 10 = i. Let v = i + 10. Let x be v/10 - (-26)/4. Solve z = -3*z + 3*j - x, -5*z + 3*j - 11 = 0 for z.
-4
Suppose 2*i = 1 - 7. Let y be (-9)/12*(i + 7). Let w be 3 - (0/3 + y). Solve 6*r - 4*r = -a - 2, 3*a + w = 0 for r.
0
Suppose -b - 2 = -2*b, 2*z = -4*b + 14. Solve 3*a + 4*j - 3 + 22 = 0, 5*a - z*j = 7 for a.
-1
Suppose 3*c - 2*r - 14 = 0, 11 = 3*c - r - 8. Let y be (-2)/(-4)*(0 - 0). Suppose -4*o + c*o - 8 = y. Solve -4 = -o*w + 2*m, -m - 2 = -0 for w.
0
Let t be -6*5/(-15) - -2. Suppose -4*b - 2 = -10. Solve -b = -d + x, -5*x + x = t*d - 24 for d.
4
Let m(h) = -8*h**3 + 6*h**2 - 1 + 9*h**3 - 5 - 11*h. Let w(u) = -6*u - 1. Let g be w(1). Let o be m(g). Solve -2*d - d + j = 9, -4*d = 2*j + o for d.
-4
Suppose 0 = m + 4*m. Solve 0 = 4*h - 4*o + 4, m = -o - 0*o + 5 for h.
4
Let n(r) = 2*r**2 - 3*r - 2. Let a be n(4). Solve -1 + 4 = -4*u - 5*v, 0 = -5*u + v + a for u.
3
Let l = 24 + -9. Solve -2*k = 2*a, l = -8*k + 3*k for a.
3
Suppose 0*y + 6 = y. Let v be y/9*(1 - -2). Solve 2*s - r - v = 4*s, -2*s - 5*r = -14 for s.
-3
Let u be (-3)/(5 + -2) - -5. Suppose -u*t + 10 = t. Solve 23 = -5*x - 2*c, t*c - 2 = -0 for x.
-5
Let a(i) = i - 3. Let t be a(5). Let g = t + -2. Solve 4*d + 8 = g, -3*k + 3*d + 10 = -8 for k.
4
Let n(q) = q - 6. Let f be n(6). Suppose f = -4*y - 50 + 10. Let k be 3/(-5) + (-6)/y. Solve k = -3*i - 4*p - 19, 3*p = -4*i + 7*p + 12 for i.
-1
Let v = 15 - 10. Suppose -4*y = -v*y + 4. Solve 8 = y*x + 5*g - 8, -5*g + 24 = -4*x for x.
-1
Let q be (10/5)/(3/6). Solve 4*f = 3*f + q*s + 12, 0 = 2*f - 3*s - 4 for f.
-4
Let i(t) = -2*t - 10. Let v be i(-9). Let p be 1 - (v + -2)/(-2). Solve 27 = -p*l + 3*j, -4*l + 6*j - 37 = j for l.
-3
Let v = -4 + 11. Let a = v - -1. Suppose -3*x = x - a. Solve 2*g + 2*u + 0*u = x, 3*u = -9 for g.
4
Let l = -12 + 12. Suppose l*t = 3*t - 15. Solve 2*i + 2 = -6, -t*b - i = 29 for b.
-5
Let x(u) be the second derivative of 5*u**3/6 - u**2/2 - 3*u. Let s be x(1). Suppose -117 = -s*h + h. Solve 2*y + 2 = -3*l, -2*l - h + 11 = -4*y for y.
5
Let r(k) = k - 3*k - 3*k**2 + 4*k**2 + 4*k. Let w be r(-3). Suppose -w*z - 2*z = -25. Solve 5*s + 50 = -z*y, -5*y - 16 = 4*s + 29 for s.
-5
Let b(d) = -d + 5. Let q be b(5). Suppose -3*h - 11 = w, 4*w + q*w = -3*h + 1. Solve 2*o - 18 = w*l, 0*l = l + o for l.
-3
Let j be 4*((-147)/(-12) + -1). Suppose 5*n = -3*b - j, -n = -5*n - 5*b - 36. Let s be (-24)/n*(-3)/(-2). Solve 35 = -5*m - 0*m - 4*u, -s*u - 20 = 0 for m.
-3
Let z be -1 - -2 - (3 - 22). Suppose -4*n + z = -2*n. Solve 2*q = 4*d - n, d + 0 = -4*q - 2 for d.
2
Suppose 4 = r - 1. Let v = r + 1. Solve 12 = 5*g - q, -5*g + q = v*q for g.
2
Suppose 3*v = 5*j + 45 + 15, 5*j = -v - 60. Let q = 17 + j. Suppose -i - 2*i - 2*g = -7, -q*i + 15 = 5*g. Solve 0 = 5*x + y - 4 - i, 0 = -5*x + 3*y + 25 for x.
2
Let x(j) = 3*j**2 - 9*j - 4. Let k be x(7). Suppose 0 = 14*o - 10*o - k. Solve -3*g + 24 = -3*t, o = 6*g - 3*g - 2*t for g.
4
Suppose -l = -6*l + 5. Let q be 2/((2/l)/(-2)). Let w be (2/(-5))/(q/10). Solve d = -4*p, 4*p - w = 2 for d.
-4
Suppose -2*x = 3*x. Suppose x = -5*a + 2*a. Suppose -q - l + a*l = -7, -2*l - 11 = -3*q. Solve 2*n - 12 = n + 3*g, -2*g = -q*n + 8 for n.
0
Let d = -11 + 27. Solve -5*c - d = u, u - 14 = -0*u + 5*c for u.
-1
Suppose 33*h = 36*h - 9. Solve 0*x - 2 = -4*x + 2*n, -h*x + 3*n + 3 = 0 for x.
0
Suppose 12 - 20 = -4*a. Solve a*d + s - 7 = 0, 3*d = 2*d - 2*s - 1 for d.
5
Suppose -3*r + 6 = -4*o, 3*r = -0*r - 2*o + 6. Suppose -3*m - 6 = -r*m. Let b be m/(-9) - (-4)/(-6). Solve -3*q + 14 = -0*i + 4*i, b = -2*q - i + 1 for q.
-2
Let n be (1 - -4)/(2 + -1). Let z = -9 + n. Let h = z - -6. Solve -3*p = 5*y + 6, p = y - h*y for y.
-3
Let m be 10/(-8)*(-3 + -1). Solve -4*l + m = -4*a + 13, 3*a + 5*l + 26 = 0 for a.
-2
Let k = -24 + 46. Solve 2*g - 5*b + 39 = 8, g + 5*b = k for g.
-3
Let p(x) = x**3 + 10*x**2 + 10*x + 12. Let z be p(-9). Solve q = 2*v + 3*q - 2, 4*q = -z*v + 1 for v.
3
Let m(h) be the second derivative of h**3/6 - h**2 - h. Let w = -2 + 8. Let p be m(w). Solve -10 = -2*t, 0*t - 11 = -p*o + t for o.
4
Let c be (138/161)/(2/14). Solve -2*a + 20 = -c*a, 2*i + 5*a + 21 = 0 for i.
2
Let b = 6 - 3. Suppose s - 5*s + 2 = 2*l, -10 = 5*s. Let o be (-2)/(4 - (1 - (2 - 7))). Solve -z = w + b*z - o, -5*w = 5*z - l for w.
1
Suppose -5*p - 136 = -13*p. Solve -4*q + 12 = 4*c, 3*c - 3*q = 4 + p for c.
5
Suppose -4*d = d. Suppose 3*x = 12 - d. Solve -5*f + 5 = 2*o, -x*f + 3*o = -0*f + 19 for f.
-1
Suppose -1 + 4 = -3*z, 0 = 3*x - 3*z - 18. Solve 2*r - t + 5 = 0, -x*t = -0*r - 3*r - 4 for r.
-3
Let w be -1 + -3 - (-8 + -1). Solve 5*h - 4*x + 2*x = -14, w*x = -4*h - 31 for h.
-4
Let j be (8/(-20))/((-2)/150). Suppose -i - j = -6*i. Let a = -1 - -4. Solve i = a*v, 3*v = 2*t - 0*v - 2 for t.
4
Suppose 2*l - 4*r - 6 = -5*r, r + 4 = 0. Solve -h = -4*h - 5*f - l, -3*h - 4*f - 4 = 0 for h.
0
Let g be 5*6/(-15)*-1. Suppose -g*p + 3*o = -8, 4*p - o = -3*o + 16. Suppose 4*v - 19 - 39 = 2*d, p*d = 4*v - 52. Solve 3*f - 6 = 0, -2*k - f = -5*f + v for k.
-4
Suppose 16*f = 15*f + 2. Suppose 2 + 4 = 2*s. Solve f*l = 5*q - 1, -5*q + l + 3*l = s for q.
1
Let w(z) = -z**2 - 4*z + 5. Let p be w(-5). Let b be (0 - p)*(-2)/(-4). Solve -3*f - 5*l + b*l = 19, -2*f - 5*l - 16 = 0 for f.
-3
Suppose 9*w - 21 = 8*w. Solve -5*k + 2 = -g - 3, -3*k - 3*g + w = 0 for k.
2
Let y = 47 - 32. Let s = y - 13. Solve 5*v - 5 = 0, 3*j - s*v = v - 18 for j.
-5
Let n(a) = 2*a**2 - 14*a + 5. Let k be n(7). Solve -3*t + 5*u - k - 12 = 0, 3*t + 4*u + 8 = 0 for t.
-4
Let d(g) = g + 1. Suppose -3*p + 17 = 2. Suppose p*a - 5 = 5*q, 3*a + 20 = 4*q + 7*a. Let f be d(q). Solve 2*j - t = f, 3*j - j + 2*t = 0 for j.
1
Let x(q) = q**3 + 9*q**2 + 7*q. Let n be x(-8). Let m be (-4)/3 - (-6)/(-9). Let y be m/(-3)*(-2 + 5). Solve -3*f + y*c = 5*c, 2*f - n = -4*c for f.
-4
Let x = -13 - -22. Suppos