 -v*b - n - 3, 2*n + 11 = -h*b for b.
-5
Suppose 7*y = 4*y + 9. Suppose 8*b - 30 = 3*b. Suppose -6*j + 8*j = b. Solve -j*q + y*p + 12 = 0, -2*p + 1 = 4*q - p for q.
1
Let s(z) = -z**2 + 3*z + 2. Let m be s(3). Let k(b) = 2*b - 22. Let g be k(17). Solve -q + 4 + 15 = -5*p, 4*q + g = -m*p for q.
-1
Suppose 0 = 2*g + g. Suppose 5*o + g*o = 5*m + 60, o - 18 = 4*m. Solve -6 = -7*n + 4*n, -2*w + 4*n = o for w.
-1
Let w(l) = l - 7. Let d be 21/14 - (-18)/4. Let p = 3 + d. Let t be w(p). Solve -t*h + 4*h = 2*g, h = -4*g + 15 for g.
3
Let m = 4 + 0. Suppose 0 = c + m*n - 8, -2*n = -c - 0*n + 2. Solve 2*j + 4*h - c = 12, -3*j - 3*h = -18 for j.
4
Let h = 10 + -19. Let p = -22 + 25. Let s be p/((-4)/(24/h)). Solve -5*a - s*r - 22 = 0, 0*a + 2*r = -3*a - 14 for a.
-4
Let m(t) = -t + 1. Let f be m(-2). Suppose s - 62 = -5*l, 2*l - f*s - 5 - 13 = 0. Solve -4*p + l = 4*r, r + 5 = 4*p + 8 for p.
0
Suppose 0 = -0*t + 3*t. Solve 5*r - 5*a = -40, a - 12 = 2*r - t*a for r.
-4
Suppose -18 = -3*a - 6*a. Solve 3*b = -0*b - 9, l = a*b + 1 for l.
-5
Let z = -1 - 4. Let t = z + 3. Let v = t - -7. Solve 0*w + j = v*w - 25, w = -4*j + 5 for w.
5
Let v = 43 - 21. Let a = v + -18. Solve 2*u + 5*g + 2 + a = 0, 3*u + 2*g = 2 for u.
2
Let g(d) = d**2 + 4. Let z be g(0). Solve 0 = -4*s + 5*v - 3*v + 14, 4*s + z*v = 8 for s.
3
Suppose -6*b = -2*b - 48. Let q be ((-9)/2)/(3/(-4)). Suppose 5*c + 2*k = q, 4*c - 3*k = -0*k + 14. Solve -4*h + b = 4*a, c*h - 11 = -3*a - 2*h for a.
1
Let a be 12*(1 + 4/(-6)). Solve 0*n - n = -a, 0 = -4*v + n - 24 for v.
-5
Suppose 0 = -4*z - 4*u + 16 + 16, -3*z + 26 = 5*u. Let j = z + -5. Solve 0 = 5*c + b + 25, -2*c - j*b - 2*b - 28 = 0 for c.
-4
Let c = -6 - -11. Suppose -2*w + w + 4*n = 8, n + c = 2*w. Solve -k + 2*k = -5, w*k + 29 = -3*d for d.
-3
Suppose 0 = -c - 4*c - 45. Let t be -3*3/c + 3. Solve -5*a + 2*a + 4*h = 26, 0 = t*h - 20 for a.
-2
Let g be (6 - 3)*(-3 - -4). Suppose t - 1 - 3 = 0. Suppose h - 7 = -p - t, 2*h + 5*p - 15 = 0. Solve 3 + 5 = 4*w - x, -2*w - g*x + 4 = h for w.
2
Let k = 6 - 4. Let n be 1*(6 - (-1 + k)). Solve -4*q + 2*g - 2 = -3*q, 4*g = -n*q + 4 for q.
0
Suppose 2*b = 6*b - 28. Suppose -3*m = -2 - b. Let d = m + 2. Solve 2*i + 6 = -d*r - 9, 0 = -3*r + 3*i - 30 for r.
-5
Let g(b) = b - 8. Let o be g(10). Solve h = 2*h + z - 3, -o = -z for h.
1
Let d = -30 + 50. Solve 5*c - 2*q = -7*q + d, -c = -q + 4 for c.
0
Let k(o) = -o**2 - 2*o + 28. Let n be k(4). Solve 2*x + n = -5*b - 6, 5*x + 6 = -3*b for x.
0
Let o = 45 + -19. Let w be ((-8)/2)/((-1)/(-2)). Let d = w - -12. Solve -o = -d*a + h + h, h + 1 = -a for a.
4
Let v(f) = f**2 - 5*f - 3. Let r be v(6). Solve 3*l - 6*m = -2*m + 22, 2*m = -r*l - 2 for l.
2
Let j be ((-10)/2)/(2/(-10)). Solve -4*b = 2*l + 7 - j, 0 = 2*b - 2*l for b.
3
Let f(h) = h**2 - 8*h + 15. Let x be f(5). Solve -2*k - k - 6 = -3*p, -2*k + p = x for k.
2
Let l(n) = -n**3 - 9*n**2 + 3*n + 31. Let v be l(-9). Solve -v*u - 10 = 3*z, -5*z = 2*u - 6*u + 6 for u.
-1
Suppose 2*u = -3 + 7. Suppose -3*r + o = -13, u*o = -4*r + 20 + 4. Let x be 5/(-15) - (-1)/3. Solve 3*d = -4*m + 13, -d + x*d + r*m = 2 for d.
3
Let f be 90/(-12) - (-2)/(-4). Let h(k) = -k**3 - 6*k**2 + 6*k - 9. Let i be h(f). Let w = -41 + i. Solve b + b = 4*r - 28, -5*b = -2*r + w for r.
5
Suppose -4*v + 1 = -7. Suppose b - 4*b = -5*k - 20, -3*k = v*b + 12. Solve 3*u - 2*y = 4, b = 3*u + y - 5*y - 14 for u.
-2
Suppose -5 = -3*l + 4. Suppose -3*q + 39 = 12. Suppose 0*c = 3*c - q. Solve -2 = c*o + 3*t - 11, 4*o + l = t for o.
0
Let k = 1 + -1. Let m = -50 + 85. Let i = m - 0. Solve 3*g = 4*o + i, 3*o - 4*g + 13 + 22 = k for o.
-5
Suppose 0 = -5*p + 71 - 66. Solve 2*j + 2*r = 7*j + p, 5*r + 14 = -4*j for j.
-1
Let r(z) = 5*z - 7. Let i be r(3). Solve 5*j - i = -2*u, -5*j - 4*u + 16 = -0*u for j.
0
Let w be ((-4)/(-8))/((-1)/(-62)). Solve -2*t = -4*y - w + 5, 5*y + 31 = 2*t for y.
-5
Let f = 1 + 4. Solve 0 = -5*p + 5*l + 15, 13 + 8 = -f*p - 4*l for p.
-1
Let x = 40 + -40. Solve x = -z - g + 3, -g + 3 = 2*z + 1 for z.
-1
Let u = -33 + 21. Let c = -8 - u. Solve -c*d = 2*b + 16, -2*b = 2*b + 4*d + 12 for b.
2
Let p be (4/(-2))/(4/(-6)). Suppose -3*c = -0*v + v + 9, 0 = 5*v + 3*c - 3. Suppose 0*g = v*g. Solve g = -3*y + 3, -p*z - 2*y + 0 + 2 = 0 for z.
0
Let y(t) = -t + 5. Let g be (3 + -4 - -1)*1. Let w be y(g). Solve 0 = 5*m - 15, -w*a + 2*m + 6 = -3 for a.
3
Suppose n + 0 + 10 = 0. Let s be (-8)/n*(-15)/(-6). Let g(t) = t. Let y be g(6). Solve 0 = -s*a + 4, 5*a - y = 4*v + 24 for v.
-5
Suppose -x + 2*z + 13 = 0, z = -z - 6. Solve -4*w - 2*c + 5*c = -x, 5*c - 19 = -w for w.
4
Suppose -3*w = -11*w + 32. Solve 3*c - 5*c + w*x = 12, -3*c + 3*x - 9 = 0 for c.
0
Let d be -1*(-12)/(-15)*-5. Suppose -l + 0*l = -d*t, 3*l = -4*t. Solve 3*b = 2*o - 21, 0*o + o - 3 = l for b.
-5
Suppose 3*m - p = 0, -p - 11 = -2*m - 4*p. Let u = m + 1. Solve -3*j + u*h + 2 = -14, -4*j - 5*h = 17 for j.
2
Suppose -4*n + q = -4, 3*q - 4 = -2*n + 4*q. Let o be (0 - -1)*0/2. Let v = o - n. Solve 3*j + 12 = v, 5*i = -0*i + 4*j + 21 for i.
1
Suppose 8*k - 3*k - 15 = 0. Let x(v) = -v + 3. Suppose -a = -4*a. Let d be x(a). Solve 0 = -d*c + 4*c - k*o + 12, 3*c + 15 = 2*o for c.
-3
Let h be -1 - -1 - (-25)/5. Let k be (-2)/h + 128/20. Suppose -a - 2 = 5*o, 17 = 4*a + a - 2*o. Solve -7 = 2*r - a, -k = -2*f + 4*r for f.
-1
Let x be 2/5 + 18/5. Solve -b + 17 = -4*t, t - x*t = 5*b + 30 for b.
-3
Let d(c) = c - 5. Let m(f) = f - 6. Let j(k) = 4*d(k) - 3*m(k). Let z be j(12). Solve 2*x - 4*v = -10, -z + 0 = 3*x - 5*v for x.
5
Suppose 0*i - 4*y + 18 = 3*i, -3*y + 30 = 5*i. Suppose 0 = 2*v - 4*v + i. Solve 0 = -5*b - v*c, -4*b - 7 = -0*b + c for b.
-3
Let n(f) = -f**2 + 5*f. Let t be n(5). Suppose 0 = 3*b - t*b - 6. Solve 5*g + 4 = r + b, 5*r - 10 = g for g.
0
Let y(s) = s**3 + 19*s**2 - s - 16. Let g be y(-19). Solve g = 3*r - 4*p, r - 2*p + 4 = p for r.
5
Suppose 0*k - 4*k = -12. Let o(m) = 3*m**2 + 2*m - 1. Let j be o(-2). Let d be -6*(-10)/(-18)*(-6)/4. Solve d = -5*l, n - k*n + l = -j for n.
3
Let c be (160/15)/((-4)/(-6)). Solve -4*o - 2*k - 12 = -k, -o + 3*k - c = 0 for o.
-4
Suppose 4*v + 0*v - 28 = 0. Let r = -2 + v. Suppose s - r*s = -84. Solve -c = -2*u - 13, 3*u - c = c - s for u.
-5
Let p be (-18)/144 - 89/(-8). Solve -3*s + p = -0*s + l, 5*s - 3*l = 23 for s.
4
Suppose 3*f + 98 = 4*v + f, -2*v + 54 = -2*f. Let r = v - 18. Solve -2*y - r = 3*s - s, -4 = 4*y for s.
-1
Let b(c) = 2*c**2 - 3*c - 4. Let v(l) = l**3 - 2*l**2 + l + 1. Let o be v(2). Let t be b(o). Let a = 7 - t. Solve 9 = -a*u - p, u + p = -0*p - 7 for u.
-2
Let t(z) = -z. Let y be (-2)/(-1*2/(-5)). Let u be t(y). Suppose 0 = l + 4*h - 10, -4*l + 10 + 8 = 5*h. Solve -2*x + p + 18 = l*x, u*x - p - 22 = 0 for x.
4
Let t(k) be the first derivative of -k**2/2 + 3*k - 1. Let y be t(2). Solve 5*x + 4*f = -22, 0*f = -x + f + y for x.
-2
Suppose 0*u + 3*m - 14 = -u, 2*u + m = 18. Let w = -8 - -3. Let k = w + u. Solve -k*n - 4*l - 4 = 0, 5*l = 3*l + 4 for n.
-4
Suppose 0*k + k = -3*k. Solve -8 = 2*z + 2*a, -5*z + k*a = 3*a + 12 for z.
0
Suppose -4 = -4*a + 8. Solve -18 = i - 3*x, 0 = i - a*i - 3*x + 9 for i.
-3
Let i(b) = -b - 1. Let w(t) = 4*t**2 + 2*t + 1. Let x(s) = i(s) + w(s). Let h be x(-1). Solve 3*p = 4*g - 2, -2*g + 2*p + h - 1 = 0 for g.
-1
Let p be (-94)/18 + 4/18. Let b = -2 - p. Suppose -5*h = b*y - 84, 28 = -4*y + 5*h + 105. Solve 2*v + 14 = -4*j, 5*j + y = 2*v + v for j.
-4
Let l be (1 - 0) + (-1 - -5). Let h be l/(-25) + (-16)/(-5). Suppose -o = -0*q + 5*q, -o = -2*q. Solve q = -h*z - 4*u + 17, -u - 8 = -3*z - 1 for z.
3
Suppose 0 = -12*j + 10*j + 16. Solve -3*s - j = -0*s + i, i = s + 8 for s.
-4
Suppose 5*y = 5*l + 60, 0 = -0*y - 3*y + 5*l + 46. Solve -m = -2*i + 6, i - y = -m - 1 for i.
4
Let i(u) = -u**3 - 4*u**2 - 5*u - 2. Let f be i(-3). Solve -3*q = -r + 5, -r - 5 = 4*q - f*r for q.
-2
Suppose -v + 52 = -5*v. Let w = 18 + v. Solve -8 = x + w*f + 8, 0 = 3*x - f for x.
-1
Let h(d) = d**3 + 6*d**2 + 4*d - 5. Let o be h(-5). Suppose n = -o*n. Suppose 3*g + n*g = 45. Solve 5 = 3*s + 4*m - g, -s - 4*m + 20 = 0 for s.
0
Suppose 0 = 4*t + 5*r - 9, 2*r - 4*r + 2 = 0. Solve 0 = 4*w - b - 18, 4*w - 9 = 5*b + t for w.
5
Let w = -1 + 3. Suppose w*o = -3*o + 10. Let t = o + -2. Solve 2*n - 2 = y, 2*n - n - 1 = t for y