Let m be h(-14). Solve -m = p + 4*s, 4*p = 2*s + 2*s + 12 for p.
-2
Let y(b) = -4*b - 1. Let i be y(-2). Let x be ((-36)/60)/((-1)/5). Solve -5 = -v, -5*c + i = 4*v - x for c.
-2
Let d(r) = -r**3 + 3*r - 4. Let h be d(-3). Let k(t) = -t**3 - 2*t**2 + t + 2. Let j be k(0). Solve h = -2*q + 5*i, 2*q - 9 = -j*i + 5 for q.
3
Let b be 28/4 - 2*1. Suppose -70 = -b*d + 2*l, -2*d - 2*l = 3*d - 50. Solve 2*p + 2*i - d = 0, 2*p - 3*i + 12 = i for p.
2
Suppose -w = -2 + 8. Let a = -14 - w. Let o be (a - -5)/((-3)/4). Solve -c + 2*u - 4 = -o*c, c - 2*u = -4 for c.
0
Let q = 31 + -31. Suppose 0 = x + 3*b - 4, -4*x + b = 3*b + 34. Let w = 16 + x. Solve -3*y = q, w*m - 5 = -y + 10 for m.
3
Let u(c) = -3 + 2*c + 0 + 4*c - 5*c. Let d be u(7). Solve -12 = -d*t + t, 2*n - 3*t + 22 = 0 for n.
-5
Let z(k) = k - 4. Let i be z(9). Solve i*c + 11 = 2*h - 3, 0 = -4*h - 2*c + 4 for h.
2
Suppose 4*r - 18 = 2. Suppose -3*n + r*j - 4 = -43, 0 = -2*n + 3*j + 27. Solve -2*v = -2*w - n, 0 = -3*v - 7*w + 4*w + 3 for v.
5
Suppose f - 1 = -5*u + 1, -2*f + u - 7 = 0. Let q = 1 - f. Solve 16 = -q*v, -m - 3*m - 20 = 3*v for m.
-2
Suppose -9*n + 168 = -2*n. Solve -n = 7*j - 3*j - 5*v, 3*v - 17 = 5*j for j.
-1
Suppose -5*o + 2*o = -15. Solve -2*q - 9 = -4*r + 13, 2*q + 26 = o*r for q.
-3
Let i = -36 + 38. Solve -10 = -2*z - i*l, 5 = z + 2*l - 0*l for z.
5
Let q(i) = i**2 - 8*i + 11. Let t be 57/6 - 1/2. Let z be q(t). Solve -2*r + 4*r - z = -2*g, 3*r = g + 10 for r.
5
Let l = 1 - -1. Let i be -1*5/(-2)*2. Suppose 6 = 4*a + l, -n + i*a = 1. Solve 0 = 5*c + 20, 0*v - 16 = -n*v + 3*c for v.
1
Let z(a) = a**3 - 14*a**2 + 12*a - 4. Let p be z(13). Let h = p - -25. Solve 2*c - 4 = -q, 4*c = -q + 5*q + h for c.
2
Suppose 5*n + 5 = -0. Let g be (-2 + 1)*3/n. Let l be -2 + -2 + 6 + 1. Solve 2*x - 4*k = -x - g, -15 = -2*x - l*k for x.
3
Let n(u) = u**3 - 13*u**2 + 2*u - 24. Let k be n(13). Solve -d = k*z + 13 - 4, -z - d = 7 for z.
-2
Let p(t) = -t**3 - 6*t**2 - 6*t - 4. Let u be p(-5). Let o = -1 + u. Suppose 15 = 3*r - o*r. Solve -3*z - 5*f = 21, f - 2*f - r = z for z.
-2
Let t = 78 - 69. Solve -f = k + 6, -4*k - f - t = -2*f for k.
-3
Let y be 2/7 - (-270)/(-14). Let q be y/(-4)*(1 - -3). Suppose -3 - 3 = 2*g + 3*z, -g + 5*z + 10 = 0. Solve -b + 5*f + q = g, -2*b + b - 4*f - 8 = 0 for b.
4
Let d be 48/(-40)*40/(-3). Let n = -11 + d. Solve 0 = -n*l + 5, -3*r + l = -0 - 2 for r.
1
Let y = -23 + 27. Solve -f - 5*c + 6 = -1, -14 = -5*f - y*c for f.
2
Suppose 2*z - 16 = -4*j, -4*z - 4*j = z - 28. Solve -r - 2 = -p, -5*p + 2*r + z = -2*p for p.
0
Let f be 4/2 - -4*(-2)/4. Solve 3*x - 4*g - 13 = 0, f = 4*g - 7*g - 12 for x.
-1
Let w(g) = g + 1. Let j be w(-1). Let b(i) = -i**2 + 10*i - 4. Let k be b(8). Let s = 17 - k. Solve m + s*x + 15 = j, -2*m - 15 = -0*m + 5*x for m.
0
Let j(t) = t**2 + 3*t - 3. Let k be j(-5). Solve -4*h = 3*b - 31, h + 3*b = 3*h + k for h.
4
Let x(w) = w**2 + 21*w + 54. Let j be x(-18). Solve -3 = d, -5*b - 2*d - d - 24 = j for b.
-3
Let s = 1 - -4. Suppose 4*y - 32 = -s*k, 0 = 4*k + 4*y - 2*y - 22. Solve 16 = -4*l + 2*i - 0*i, k*l + 3*i + 16 = 0 for l.
-4
Suppose -420 = -0*o - 5*o. Suppose -c + 2*n + o = 3*c, -20 = -5*n. Solve -2*t + c = -3*u - 6*t, 3*u + 21 = -3*t for u.
-5
Let t = -43 - -78. Suppose 0*l - 5*l = 0. Solve 3*u + 3 = -x + 10, -5*u + 3*x + t = l for u.
4
Let j(w) = -4 + 0*w**2 - w**3 + 3*w**2 + 2. Let x be j(2). Suppose x*i - 6 = -i. Solve -m + 22 - i = 4*b, 0 = -4*m + 16 for b.
4
Let b(q) = q**2 - 7*q + 7. Let o be b(6). Suppose 0 = -2*a + 3 - o. Solve 3*j - 2*m - 2 = -j, -2*j - m = a for j.
0
Let k be (-6)/24 + 2/8. Suppose k*t + t + 1 = n, 4*t = -2*n + 26. Solve x + 13 = 2*x + 4*q, 2*q - t = 0 for x.
5
Let a = 10 - 6. Suppose 0 = a*f - 38 - 10. Solve -9 = -3*d + 5*q - 4*q, -4*d + f = -5*q for d.
3
Let k(v) = v + 3. Let w be k(-8). Let g(u) = -3*u + 9. Let t be g(6). Let l = w - t. Solve 2*h - 4 = 0, 0*r - 3*r = -l*h + 14 for r.
-2
Suppose 5*f - 3 = 4*f. Solve -6*k = -2*k + f*s, 4*s = -3*k for k.
0
Suppose 4*v + 29 + 11 = 5*y, 5*v + 29 = y. Let z be y/(-2) + 2 + 7. Solve 5*t + 5*c + 15 = c, 0 = 2*t - c - z for t.
1
Let l = -2 - 1. Let o = l - -5. Solve 5*c + r + o = 8, 2*c - 4 = -2*r for c.
1
Suppose 2*v - 1 = v. Let n = -1 - v. Let y = n + 7. Solve -3*a + 6 = 0, y*o - 11 = -5*a + 2*a for o.
1
Suppose -5*w = 2*h - 7*h - 125, 5*w = 2*h + 134. Suppose -4*y + w = -8. Let m be (-64)/(-36) - (-2)/y. Solve -3*z = g + 8 - 1, m*z = g + 2 for g.
-4
Suppose 2*x + 12 = 3*t, -x - x - 2 = 2*t. Suppose 0 = -0*m - t*m. Solve -4 = -0*w + 3*w + 2*q, 3*w + 5*q + 10 = m for w.
0
Suppose 9 = 3*i - 6. Solve r - 6 = -c, 5*r + 0*r = i*c + 10 for r.
4
Let q = -6 + 18. Solve 0 = 3*n - 2*c - 2*c - q, 5*n - 5*c - 20 = 0 for n.
4
Let w be ((-12)/(-8))/(2/4). Solve -4*t = 2*y - y, w*t - 3*y = 0 for t.
0
Let r be 15 - (4/(-2) - -4). Suppose -r = -3*s + 5. Let y be 3 - (-3 - 0 - -3). Solve s*i - i + 9 = 2*c, -11 = 5*i - y*c for i.
-1
Suppose 3*d - 32 = 4*k - 8, -5*k = d + 11. Let c = 27 - 27. Suppose 5*q = -c*j - d*j + 12, 0 = -5*q + 3*j + 26. Solve 2 = 4*a - 3*y, -q*y = -4*a - 0*y for a.
2
Suppose -3*h + 18 = -0*h. Suppose 0 = -3*c - 2*s + 18, -h*s = -3*c - s + 18. Solve 3*v - 3*p + 5*p + 15 = 0, 5*v = 3*p - c for v.
-3
Let j = -146 - -146. Solve j = -3*c + t - 1, -c + 4 - 7 = -t for c.
1
Suppose 0 = 3*l - 5 - 1, 5*h = 4*l + 2. Suppose -3*q - 23 = 2*s - 7*s, 4*q + 22 = -h*s. Let x = -2 - q. Solve -7*b + 4 = -4*b - a, 0 = -5*b + x*a + 2 for b.
2
Let r be (12/(-4))/(3/(-4)). Let y = 63 + -59. Solve -y*h = -4*m + 10 - 30, 3*h - 8 = -r*m for m.
-1
Let i be 50/(-6) + (-6)/9. Let w be 1 + 0 - (i - -7). Solve 4*x - 6*s + s = 41, w*x + s = 7 for x.
4
Let m be (-2 + -3 + 4)*-1. Suppose 9 - m = 2*s, -2*s + 65 = 3*f. Solve 0 = v - 5*w - f, -2*v + 4*w - w = -10 for v.
-1
Let n(i) = -3*i**2 + 2*i + 4. Let q(l) = 4*l**2 - 3*l - 4. Let f(b) = 3*n(b) + 2*q(b). Let u be f(0). Solve 3*s = u*j + 4*s - 4, 6 = -3*j - 3*s for j.
2
Let p(m) = m**3 - 2*m**2 + 2*m. Let v be p(2). Let n be ((-4)/(-2))/(-2) - 1. Let d = n + 10. Solve 5*u = -x - 2, -2*u = 3*u - v*x - d for u.
0
Suppose 5*g + 2*y - 13 - 11 = 0, 22 = 4*g + 3*y. Solve 0*i = -2*d + 5*i, 14 = -g*d + 3*i for d.
-5
Let b = -3 + 11. Solve 3*q - b = -l + 3*l, 0 = -2*q - 4*l for q.
2
Suppose 12 = 3*y + 3*o, -2*o = -3*y + y + 28. Let p(f) = f - f - 3 + y + f. Let m be p(-3). Solve m*j + 1 = -2*v - 3, -5*j - 5 = 3*v for v.
-5
Let a(g) = -13*g + 107. Let k be a(8). Let f(y) = -y + 6. Let s be f(3). Solve 4*j = -12, -s*d - k*j - 17 = -5*d for d.
4
Let s be (-2)/6 + (-20)/(-6). Let f be (12*-1)/(6/(-4)). Suppose -d = 3*k - 18, -4*k = -d - 5*k + f. Solve 4*m + d*w = s*m - 3, -m = 2*w + 2 for m.
0
Let r(j) = -1 + 0 - 49*j**2 - 4*j + 45*j**2 + j**3. Let y be r(5). Solve 3*u - 17 = -y*p, -4*u + 8*p - 4*p = -4 for u.
3
Let l(i) = 6*i - 9. Let f be l(9). Suppose f = 5*r - 15. Solve y = -4*d - 3, -4*d = y + 3*y - r for d.
-2
Let p = 125 - 122. Solve -2*f = -4*b + 5 + 1, p*f + 5*b + 20 = 0 for f.
-5
Suppose 36 = 5*z + f - 3*f, -4*z + 21 = f. Let i be (-4)/z - 55/(-15). Solve 5*g + 19 = a + a, 0 = 2*g + i*a + 19 for g.
-5
Suppose 0 = 5*j - 16 + 6. Suppose -j*g - 5*u = g - 59, 0 = 3*g + 4*u - 55. Solve -5*a - 3*m - 6 - g = 0, 2*a = -5*m - 19 for a.
-2
Let p be (-4)/(-6) - (-64)/(-6). Let g(r) = -r**2 - 6*r + 14. Let l be g(-6). Let j = l + p. Solve -d + 2*d - 5*a = 11, -j*d - 4*a - 4 = 0 for d.
1
Let j(p) = p**2 - 8*p + 12. Let a be j(8). Solve -3*i - 2*z = -a, -5*z = -2*i - 10 - 1 for i.
2
Suppose q + q = 8. Suppose 5*p - 29 - 1 = 0. Let s = 7 + p. Solve -3*l = -0*l - q*b - s, -5*l - 9 = b for l.
-1
Suppose 11*z - 4 = 9*z. Solve -z*m + 16 = -2*t + 3*m, -2*t = m - 8 for t.
2
Let k be (-390)/(-95) - (-4)/(-38). Suppose -4*v = -13 - 3. Solve 22 = -k*i - s + v*s, 0 = -3*s + 6 for i.
-4
Let z(s) = -3*s - 2. Let u be z(-4). Suppose f - u + 5 = 0. Let m be ((-22)/(-5) - 9/(-15)) + -2. Solve 0*d + 3*d = f*x + m, -5 = -d + 3*x for d.
-4
Suppose 3*j = 4*c + 92 + 3, 3*j - 3*c - 90 = 0. Solve 0 = -5*a - 2*t + 3*t + j, 12 = -2*a - 4*t for a.
4
Suppose -4*t = 2*o - 36, 2*t - 13 = -4*o + 5. Let n = 5 + t. Solve -4 = -0*b - 4*b + 2*m, n = 2*b + 5*m for b.
2
Let q(h) = -2*h + 21. Suppose -f = -15 + 6. Let r be q(f). Solve -8 = -k + r*d, 2*d + 3 = 4*k + 1 for k.
-1
Let v(s) = 5*s**2