
-2
Let n be ((-2)/(-4))/((-2)/12). Let c(l) = 4*l + 12. Let v be c(n). Solve 3*u + 3 = -2*r + 20, v = 2*u - 10 for r.
1
Let m(j) = -j**2 + 6*j - 7. Let q be m(8). Let u = -20 - q. Let t = -57 + 70. Solve -2 = u*g + t, 3*g + 13 = 2*n for n.
-1
Suppose -3*n = -89 - 91. Suppose 0 = -4*u + 2*q + n, -u - 2*u - 2*q = -52. Suppose 8*h = 4*h + u. Solve -h*g = -5*l + 4, 4*g - 24 = -2*l - 0*g for l.
4
Let j = -11 - -18. Suppose -5*r = -20, 3*r - 92 = 3*c - j*c. Solve -d - 10 = -t, -t - 5*d - c = -0*d for t.
5
Suppose 5*o + 6*z - 4*z - 10 = 0, 5*o - 10 = z. Solve v + o = 2*v + 5*b, 3 = 3*b for v.
-3
Suppose 94*t - 90*t = 0. Let g(f) = 4*f + 9. Let u be g(t). Solve b - o = -4*b - 15, 4*o = 3*b + u for b.
-3
Let i be 20/8*(-32)/(-5). Suppose -5*j - i = 14. Let q = 9 + j. Solve -3*d = q*s - 3, -s = 4*d + 6 + 2 for s.
4
Let j(y) = -y - 14. Let d(u) = 2*u + 15. Let n(k) = -4*d(k) - 3*j(k). Let h be n(-4). Solve 3*z - 3 = -5*v, h = -2*z + v - 3*v for z.
-4
Let t = 113 - 110. Suppose -1 = t*n + 5*f - 32, -n + 12 = 2*f. Solve 22 = 4*s - n*j, 5*s - 4*j - 20 = 15 for s.
3
Let p(q) = -19*q - 25. Let a be p(-2). Solve 2*o = -3*u + 11, -3*u - 3*o = -a - 2 for u.
1
Suppose 79*n - 82*n + 12 = 0. Solve n*x = -5*h + 15, 2*h + h - 12 = -3*x for x.
5
Suppose 25*z + 11 = 4*a + 26*z, -5*a - 3*z + 12 = 0. Solve a*s = -2*p - 15, 2*s + 15 = -s - 3*p for s.
-5
Suppose 0*r - 4*r = s, 3*s = -2*r. Solve 4*q = r, -4*q + 2 = 2*d - 2 for d.
2
Let d = 6 - 15. Let v = 12 + d. Suppose v*z = 5*c + 6*z, -c = z. Solve y + 2*y = 2*u + 22, c = -5*u - y - 21 for u.
-5
Let g = -3 + 1. Let j be 1 - -2 - -1*2. Let u be (-5)/g*6/j. Solve -h + u*h = 3*b + 5, h = 4*b + 10 for b.
-3
Let k = -31 - -45. Let q = k - 19. Let u be 34/10 + 2/q. Solve 2*o - 4 = -r, 12 = -u*r + 3*o - o for r.
-2
Suppose -2*o = -2*m - 2, -28 = -4*m - 2*o - 2*o. Suppose 0*g - g + 3 = -2*d, -m*d + 3 = g. Solve 4*f - l + 3 = 2, 0 = -f - g*l - 10 for f.
-1
Suppose -25 + 10 = -3*o. Suppose o*z - 40 - 25 = -5*t, t - 23 = -3*z. Solve -2*i + t = -2*c, 4*i = -3*c + i - 12 for c.
-4
Suppose 4*a + w - 425 = -4*w, 0 = a - w - 113. Let r = a - 105. Solve r*c - 4*p - 12 = 0, 18 = 5*c + 4*p - 10 for c.
4
Let t = 304 + -297. Solve z = -5*g + 2*g - t, 4*g = -3*z - 1 for z.
5
Suppose -c + 2*b = -14, 2*c - 9*b + 10*b - 3 = 0. Solve -4*l = -5*h + 41, c = l + 8 for h.
5
Let b(l) = -3*l**2 - 52*l - 15. Let f be b(-17). Solve -3*k + 3*h = 0, -f*k + 4*h + 2 = 3*k for k.
2
Let o(f) = -f**3 + 3*f**2 + 20*f - 7. Let k = 37 + -31. Let x be o(k). Solve -3*h + 2*z - 5 = 0, 0 = x*h + 3*z - z + 3 for h.
-1
Let j(d) = -20*d**2 + 2*d + 2. Let a be j(-1). Let w = 23 + a. Suppose -g = w - 10. Solve 5*u + 41 = 3*b - g*b, -4*b = 4*u + 36 for u.
-5
Suppose -3*i = 9, 5*i + 0*i = 5*m - 140. Let c be 3 + 6*m/15. Solve 2*y = 3*w, -5*y + 5*w = 4*w - c for y.
3
Let n = 13 + -12. Let s(f) = -26*f**3 + 2*f - 1. Let h be s(n). Let t = h + 27. Solve -4*i + t - 1 = 5*w, -5*w - 35 = -5*i for i.
4
Let p(z) be the second derivative of z**3/6 - z**2 + z. Let o be p(-8). Let l be (-5)/o - 2/(-4). Solve 3*g + j = -2*g + l, -5*g + j - 1 = 0 for g.
0
Let j = 11 + -7. Let a be 12/16*(0 + 4). Suppose 0*q - q - a = -o, 3*o = -2*q + 19. Solve -19 = -3*r + o*u - u, -u = j*r for r.
1
Let b = -389 - -394. Suppose 3 = 2*a - 1. Solve 3*t = a*r + 23, -b*t + 16 = -3*r - 21 for r.
-4
Suppose 8*x - 15 = 13*x. Let t be 342/133 - x/7. Solve -t*h - 14 = 4*s - 4, -2*s - h - 4 = 0 for s.
-1
Let m(j) = j**2 + 2*j. Let f be m(-2). Solve -r - 14 = -0*r - 3*q, f = -4*r - 3*q + 4 for r.
-2
Suppose 5*q = -t + 10, 2*q - 3 - 1 = -2*t. Solve t = -3*n - 3, -4*z - 9 - 7 = 4*n for z.
-3
Suppose 0 = -4*s + p, -p = -4*s - 6*p. Suppose 3*n + 2*n - 20 = s. Let q be 8/(64/120) + -12. Solve -8*c + 15 = 4*m - q*c, 3*m - 11 = -n*c for m.
5
Let u be -5 + ((-4)/(-1) - 2). Let n = u - -8. Suppose -n*y = 10, y + 2 = -2*p + 18. Solve -3*l = -6*l + 4*q - p, -2*l - 6 = -2*q for l.
-3
Let c = -434 + 437. Solve -3*b + 3 = c*z, 4*b - 3*z = -2*z - 11 for b.
-2
Suppose -4*i + 5*h = 62, -4*i - 2*h - 36 = 12. Let w = i + 13. Solve -2*q + q = 4*t - 9, w = -3*q + 4*t - 5 for q.
1
Let b = 284 + -276. Solve -t + 5*h + 6 = -18, 3*t = -h - b for t.
-1
Suppose -d - 3*d - 336 = -5*k, 0 = d + 4*k + 84. Let j = -60 - d. Let f = 28 - j. Solve r = -0*r + 1, f*a - 5*r - 11 = 0 for a.
4
Let l(y) = y**3 - 13*y**2 - 16*y + 38. Suppose 21*n - 14 = 20*n. Let c be l(n). Solve -1 = -4*v + 5*j - 7, -5*j - c = 0 for v.
-4
Suppose 0 = -4*v + 4*p + 100 - 16, -36 = -v - 4*p. Suppose 30 = -2*r + 4*r. Suppose 4*g - r = 1. Solve g*j - h - v = -9, 5*j + 3*h = 40 for j.
5
Suppose -4*u = -0*u - 20. Suppose 2*y + 46 = 4*j - 0*y, 0 = u*j - y - 56. Suppose -20 = 6*c - j*c. Solve -5*m - 5*k - 12 = -42, 2*k - 18 = -c*m for m.
3
Let u = 97 - 24. Let g be u/5 + 3/(-5). Solve -4*y - 14 = 2*n - 0*y, y - g = 3*n for n.
-5
Let m(z) = 5*z**2 - 5*z - 3. Let r be m(-3). Suppose -s - 18 - 24 = -3*l, -r = -4*l + s. Let w = 1 + l. Solve -4*c + 16 = 0, c = -6*d + d - w for d.
-4
Suppose -13*j + 8*j = 2*h - 29, 3*j - 17 = -h. Let z = 24 + 3. Solve 3*c - 31 = j*l, -5*l = -2*c + c + z for c.
2
Let z(g) be the third derivative of -g**4/8 - 7*g**3/3 + 7*g**2. Let n be z(-6). Solve l + 3*b = -17, n*l - 4*b + 3 = 15 for l.
-2
Let t = 2 - 8. Let j(k) = k**2 + 7*k + 9. Let w be j(t). Suppose 4*h + 4 = 0, -3*h + 3 + 0 = 2*m. Solve -4*r + w*g = 31, m*r = -0*r + 2*g - 22 for r.
-4
Let p = -13 - -16. Suppose -u = -p*u. Solve -5*m = 2*w - u*w + 9, -5*w + 5*m = -30 for w.
3
Let y be 41/6 - 3/(-18). Suppose y = 2*m + 3. Let h = 12 - 6. Solve 2 - h = 2*r - m*v, -6 = -2*v for r.
1
Let k be 1 + -1 - (-13 + 11). Solve 0 = 4*x + c + 6, 4*c - 3 - 1 = -k*x for x.
-2
Let i(j) = -j + 6. Let m be i(3). Suppose f + 6 = -3*b - 1, -5*f + 13 = -b. Solve 3*x + 12 = m*z, 0 = 5*z + 4*x - f*x + 15 for z.
-1
Let w be 2/((-14)/(-6) + -2). Suppose 0 = -4*h + 14 - w. Suppose 17*m - 79 = 193. Solve 0 = h*q + 4*b + m, b + 4 = q - 3*b for q.
-4
Let w(x) = 7*x**3 + 6*x + 7. Let o be w(-2). Let n = -56 - o. Solve k - 12 = -3*l + 6*k, 0 = -n*k - 15 for l.
-1
Suppose 2*i - 2*n = -4*n + 12, 0 = 5*i + 2*n - 27. Suppose i*a = a + 44. Solve -a = 8*o - 3*o - 2*j, 4*j = -8 for o.
-3
Suppose 5 + 0 = m, 5*q = -3*m + 30. Solve -3*t - 5*s + 3 = 0, -q*s + 5*s = -4*t + 4 for t.
1
Let x = 189 - 184. Solve 3*l - x*c + 29 = 0, -12 = l - 5*c + 11 for l.
-3
Suppose -w = -4*w + 12. Let j(y) = y**3 + 10*y**2 - 2*y - 18. Let m be j(-10). Solve f = -5*u - m*f + 17, -w*u - 4 = -2*f for u.
1
Let i = 37 + -34. Suppose 8 = i*f - 2*f. Solve 0 = -4*l, -5*l + 2*l - f = -2*q for q.
4
Let q = -2313 - -2318. Solve -2*t = i + q, -i - 22*t - 4 = -21*t for i.
-3
Suppose -y - y = -c - 138, 3*y = 4*c + 217. Let t = -60 + y. Solve -2*m = 2*r + 4, 5*r - 3*m = -33 + t for r.
-4
Suppose 16*n - 12*n + 7 = 3*r, -2*r - 4*n + 18 = 0. Solve -3*f - 20 = 2*f - r*t, 4*f + 5*t - 11 = 0 for f.
-1
Let d be 0/(2 - (-4)/(-1)). Suppose 5*v - 30 + 5 = -5*x, -3*v + 15 = d. Solve -2*g + 0*i - 11 = -i, 2*i - 6 = x for g.
-4
Suppose -4*s = -l - 25, -6*l - 5 = -l. Solve 0 = 5*b + 5, 0*b - s = 2*q - 4*b for q.
-5
Let z = 31 - 43. Let q = z + 13. Let t be 6/6*(16 - q). Solve -5*o - 4*g + 32 = -0*g, 5*g - t = 0 for o.
4
Let z = -45 + 47. Solve -z*s - b + 10 = s, -2*s - 3*b = -9 for s.
3
Let t(y) = y + 17. Let i be t(0). Suppose r + 4*s - 20 = 0, 8 = 4*r + 5*s - i. Suppose 12 = 3*n - n. Solve 5*x - 7 + 27 = r, -n = 5*k - x for k.
-2
Let d(b) = -b**2 + 6*b + 1. Let r be d(6). Let z(h) = -46*h + 1 - 18*h + h**2 + 63*h + h**2. Let x be z(r). Solve -x*j - 13 = k, 23 = -j - 3*j - k for j.
-5
Let x be (-2)/2 + 4 + 2. Let g = -144 - -150. Suppose g*k = k + x. Solve 5*p = -4*v + 6, v + p - k - 1 = 0 for v.
4
Let p(a) = a + 10. Let l be p(-10). Suppose l = 11*j - 4*j. Suppose 2*h = 8, j*v - 2*h + 3 = -v. Solve 2*r - x - 17 = -6*x, 0 = 5*r - v*x + 45 for r.
-4
Suppose 3*g + 3*v = 12, -3*v + 12 = -g - 2*g. Let l(i) = i**3 - 2*i**2 + 2. Let y be l(2). Solve p = y*k - k - 1, g = 5*k for p.
-1
Let l be 10/15*(2 - -7). Suppose 31 = 5*j + l. Solve 4 = j*s - u, 3*u + 12 = s - 0*u for s.
0
Let k = 509 + -230. Let b be k/39 + (-18)/117. Solve -5*g + 18 = -5*j - b, -2*g - 3*j = 0 for g.
3
Let w be -6 + -3 + 6 - -3. Suppose w + 28 = 4*a. Suppose a*v - 20 = 2*v. Solve 0*q = -5*h - 3*q - 40, -v*q = 3*h + 