
Let k(c) = c**2 + 14*c + 3. Let u be k(-8). Let r = u + 69. Suppose -3*i = -i - 8. Solve -i*d = -2*p, -4*d = 4*p - 0*p - r for d.
2
Let b be -3*1 - (-32)/4. Suppose b*d + 17 - 27 = 0. Solve -24 = 5*l - d*t, 10 = 6*t - t for l.
-4
Let a(m) = -m**2 - 7*m - 3. Let l be a(-6). Suppose 5*u = 5*o + 35, u + 5 = -4*o + 2*o. Let h = -10 - -31. Solve 0 = l*n + x - 7, -4*n + h = n - u*x for n.
3
Let f be 2/7 - (-102)/(-14). Let w = f + 11. Suppose -15*o - 17*o + 128 = 0. Solve 0*y + m = 2*y + 12, -w = o*y + 3*m for y.
-4
Let w be 3/2*(-30)/(-9). Suppose w*z + 19 = a, 0*z + 2*z - 6 = -3*a. Solve -a*v - 5*b + 28 = 0, 2*v - 7*v + b = -6 for v.
2
Let c be -1*(-2)/(-4)*(-6 - -6). Solve -2*s + 12 = 5*g - 4*s, 4*g + 5*s - 36 = c for g.
4
Let v be (-8)/((-5 - -4) + 0). Solve 2*d + v = 2*k, d + 4*d + 4*k = 7 for d.
-1
Suppose 0 = 8*b - 13*b + 25. Let n be -10*((-27)/b)/3. Solve 2*m + 4*r = n, -2*m + 22 = 5*r + 2 for m.
5
Suppose 3*f - 15 = 5*y, 0 = -4*f + y + 8 + 12. Suppose f*b - 2 = 4*b. Solve -5*g = 5*w - 45, 3*g - b*g - 29 = -5*w for w.
5
Let f = -17 - -18. Let y be 16*(3 + f + -3). Let q = 17 - y. Solve 4*k = -2*v - 1 - q, -4*v = 4 for k.
0
Let a(q) = -q**2 + 7*q + 11. Let x be a(8). Suppose -u = -3 - x. Suppose -10 = -u*w + 4*w. Solve -5*r + 2*i + 7 = 0, 4*r = -4*i + w*i + 8 for r.
3
Let a = 4 + 0. Suppose 3 = 2*x + x - 4*t, -4*x = 3*t - 29. Suppose 0 = 4*f - 5*p - 7, 0*f + x = f + 2*p. Solve f*q - 6 = q + a*u, -3*q - 5*u = -20 for q.
5
Suppose 35*d + 3*d - 380 = 0. Solve 0*n - 2*n = 0, 5*j - 5*n - d = 0 for j.
2
Let a(d) be the second derivative of -d**3/6 + 13*d**2/2 - 13*d. Let c be a(5). Solve 2*m + c = 4*f, 0 = -3*f - f for m.
-4
Let d(j) = 4*j - 2. Suppose -o + 5*o = 20. Let w be d(o). Let h be (-14)/(-35) + 85/(-25) - -5. Solve 5*r - 2*v - w = 2*v, 0 = 5*r + h*v - 6 for r.
2
Let l(n) = n**2 + 19*n + 40. Let g be l(-17). Let f be (-5 + g)*1*3. Solve -f*j - 8 = -2*a, 6*a + 3 = -3*j + 3*a for j.
-2
Let t be (-5)/15 - (-256)/48. Let c be 1 - 2 - (0 - 2). Let j(p) = p**2 + 1. Let f be j(c). Solve g = t*g - 4*m, 4 = g - f*m for g.
-4
Suppose 6*c = -52*c + 1160. Solve -5*z + 10*z = c, 2*z - 14 = -2*b for b.
3
Suppose -5*f - 3*v + 10 = 0, 0 = f - 3*f - 3*v + 4. Let c = 9 - 17. Let d = c - -11. Solve 0 = -f*b + 3*j - 11, -b - d*j - 8 = -7*j for b.
-4
Suppose 4*n = 16*n - 60. Solve 4 = 3*o + 2*g, n*o - 3*g = -5*g for o.
-2
Let g be 22/(-11)*(-4)/2. Suppose 0*u - f + 7 = u, g*f = 12. Let n = 7 - u. Solve -6*s + x - 15 = -3*s, 4*s - n*x = -25 for s.
-4
Let k = 370 - 367. Suppose 5*h + 3*p = 6, 6 = -2*h + h + 3*p. Solve 3*q + 7 = q - 3*r, h = k*q + 3*r + 3 for q.
4
Let r = -94 + 97. Let b(j) = -j**3 - 7*j**2 - j - 3. Let n be b(-7). Solve -3*h - d = -r*d, 20 = -n*h - 4*d for h.
-2
Suppose 103 + 11 = 3*h. Suppose 0*g + 4*g + 2*z = h, 41 = 4*g - z. Let m be 18/g - (-2)/10. Solve 3*p - 3 = -m*f - 1, 21 = -p - 5*f for p.
4
Let c = 13 + 4. Let y = 9 - c. Let h = y - -8. Solve 4*m = -u - h + 1, -4*m = 3*u - 3 for m.
0
Let p(y) = 2*y**2 - 14*y + 29. Let t be p(4). Suppose -3*d + l + 3*l + 24 = 0, 0 = 2*l + 6. Solve 0 = d*k - x - 3*x - 4, 0 = -2*k - t*x - 5 for k.
0
Let b = -10 + 15. Let x(s) = s**2 - 5*s + 10. Let q be x(b). Suppose v + 5 = q. Solve v*o + 4*h - 8 = 0, -2 - 2 = o - 2*h for o.
0
Suppose -7 = x + 5*s, 0*s + 27 = 3*x + 3*s. Let z(w) = w**3 - 9*w + 19. Let y be z(2). Suppose -5*c + 11 = -y. Solve -5*h - 4*r - 17 = x, r - 3 = c*h for h.
-2
Let b be (-22)/12 + 4/(-24). Let r be 4/(-2 - (1 + b)). Let d be (-3)/(-1) + r + 1. Solve -v + 2*p + 3*p + 10 = d, -2*v + p + 11 = 0 for v.
5
Let f be ((-52)/(-8))/(1/(-2)). Let z = -60 - -78. Let w = f + z. Solve 0 = -3*v - 4*b - 5, 5*v - 4*b - 8 = w for v.
1
Suppose -3*d - 42 = 3*a, 0*d + 51 = -4*a - 3*d. Suppose -3*c = -6*c + 21. Let t be 4 + a + 2 + c. Solve 1 + 8 = -t*l - q, -l + q = 1 for l.
-2
Let f = -349 - -351. Solve 0 = 4*a - 0*g - f*g - 14, -2*a - 3*g - 5 = 0 for a.
2
Suppose 3*f - 48 = 4*m, 4*m + f = -44 - 20. Let b be (-4)/3 - -1 - 5/m. Solve 3*t - 2*j - 19 = -b*j, 7 = -t - 2*j for t.
3
Let j be 23/(-138) - (-254)/12. Solve -o = w - 6, 0 = 3*w + 4*o - j - 1 for w.
2
Let n(t) = -t + 6. Let o be n(-5). Let m(i) = i**3 - 10*i**2 - 10*i - 9. Let j be m(o). Solve -x + 5*x = 3*g - 1, 0 = j*x + 8 for g.
-5
Let a = -2 - -39. Let l = a + -34. Solve l*p - d = 3*d + 32, -4*d = -2*p + 28 for p.
4
Suppose 4*w - 1 = 3*k - 119, 0 = -2*k + 4*w + 84. Suppose 3*l = -2*f + 6*l + 30, k = 2*f - 5*l. Solve 2*o - x + 4*x + f = 0, -2*o = 2*x + 8 for o.
0
Let x(b) = b**2 + 17*b + 4. Suppose -3*n = 2*r + 59, 3*r - 39 = 3*n - 0. Let v be x(n). Solve -v*d - 14 = 6, 0 = 3*h - 2*d - 13 for h.
1
Let i(k) = 3*k**2 + 58*k - 36. Let c be i(-20). Solve 3*h - 4 = 5*l - 1, c*l = 2*h - 4 for h.
-4
Let x be ((-14)/49*-7)/1. Solve 3*p = -f + 1, -x*f = -3*p - 5*f + 9 for p.
-1
Let g be 0/((-16)/10 - 12/30). Solve g = -4*z + d, 5*z = -3*d - 0*d - 17 for z.
-1
Let c(p) = -2*p + 2. Suppose -5 = l - 1. Let i be c(l). Suppose -20*t = -21*t + 3. Solve -5*m - 4*q = -40, t*q = -2*m + i + 13 for m.
4
Suppose -m - 84 = -15*m. Let l be -4*(0 + 1) + m. Solve -4 = t + 1, 5 = l*c - t for c.
0
Let t(g) = -g**2 + 7*g - 3. Let j be t(6). Suppose -j*f + f = 0. Let c be (f/(-1))/(-2) + 2. Solve 3*z + 18 = -3*s, -5*z + c*s - 18 = 3*s for z.
-3
Let n be (2/3)/(5 + 137/(-27)). Let o(b) = 2*b + 20. Let f be o(n). Solve -2*q + 18 = f*t, -2*q + 26 = -0*q + 4*t for q.
5
Let c = -2 - -5. Let v(j) = -j**3 + 3*j**2 + 2. Let d be v(c). Solve -4*w + 0*u - 4*u = -16, 0 = -d*w + u + 2 for w.
2
Suppose -2*l - 7 = 3*k - l, 3*k - 3 = -3*l. Let b be -2 + 0 + (k - -6). Suppose 0 = -q - 0*q + 7. Solve b = -3*o - o + 2*g + 14, -3*g = o + q for o.
2
Let o = 11 + 6. Let l = o - 13. Solve -l*z = -2*c - 14, -2*z = -3*c - 5*z + 15 for c.
1
Let l be -3 - -2 - -6 - (0 - 3). Suppose -l*w + 8 = 8. Solve 4*g - 24 = -4*h + 16, w = -2*g + h + 5 for g.
5
Let v be (-1)/2 + (-45)/(-6) + 6. Solve 2*w + v = m, 0 = -2*m - w - 0*w + 1 for m.
3
Let y(d) = d**2 - 119*d + 681. Let v be y(6). Solve 0 = v*o + 15, 4*o + 23 = 3*m - 0*o for m.
1
Let k = 37 + -32. Suppose -5*i + 1 = -2*l - k, -4*l + 10 = i. Solve 3*j + 3 = 0, -3*j - 8 = -x + i*x for x.
-5
Suppose -2*r - 2*r = 0. Suppose r*l + l + 8 = -2*m, -2*l - 6 = 2*m. Suppose -l*h + 6 = f, -7*f + 2*f = 0. Solve -2*b = b - 3*w, 2 = -b + h*w for b.
1
Suppose 0 = 4*p - 8, -p = 5*z + p - 4. Let a(d) = -d + 3. Let r be a(z). Solve r*h - 2*x = 17, 2*h - 4*x - 13 = 3*h for h.
3
Suppose 46*z = 36 + 884. Solve 6 = 2*k - 4, i - z = -3*k for i.
5
Suppose -2*z + 12 = -5*d, 5*z - 2*z + 4*d - 64 = 0. Suppose -o = 5*y + 13, 11 = o - 5*y - z. Solve 0 = u + 4*b - b + o, -5*b - 21 = 4*u for u.
-4
Suppose 0*i + 28 = 2*i. Let k be (-4)/i + (69/7)/3. Solve 3*g + 4 = g - d, 0 = -4*g - k*d - 12 for g.
0
Let o be (24/(-6))/(8/(-4)). Solve 2*p = 5*h - 2*h - 3, -3*p = -o*h - 3 for p.
3
Let r(f) be the second derivative of -4*f + 0 + 1/12*f**4 + 13/6*f**3 - 6*f**2. Let c be r(-14). Solve 2*l - 6 = 0, -l = -c*p - 3*l + 6 for p.
0
Let v be -2 - (-4 + (-1 - -1)). Let f be (2 + (0 - v))/(-3). Suppose f = -9*o + 7*o + 38. Solve 0 = p - 4*h - o, 3*h + 12 = 3*p - 0 for p.
-1
Let s = 273 - 256. Solve -5*u + 4*m = 5*m - s, 0 = m - 2 for u.
3
Let z be 20/(-8)*2/(-1). Let b(q) = -q**2 + 5*q + 5. Let x be b(5). Solve 2*v + 3*v + x = -z*y, 18 = 3*v - 4*y for v.
2
Let s be 8/(-40) - 26/(-5). Suppose -s*k = 2*r - 16, -5*k = -10*k + 4*r - 2. Solve -k*g + 19 = -d - 6*g, -5*d - g = 0 for d.
1
Let r = -65 + 89. Suppose 3*j = -7*f + 3*f + r, -5*f - 5*j + 35 = 0. Solve -2 = 5*h - f*q - 1, 5*h + 16 = -2*q for h.
-2
Let k be (-111)/(-21) + 20/28 + -1. Suppose -2*a + 5 = j - a, 0 = j + 3*a + 1. Solve x + 4*l + j = 4*x, 2*x - k*l - 17 = 0 for x.
-4
Let l(b) = 3*b - 2*b + 1 - 45*b - 3. Let c be l(-1). Let g = c + -19. Solve -3*z = -3*w + 21, 2*z + g = -0*z + 5*w for z.
-4
Suppose 4*g + 53 = -91. Let x be g/8*32/(-12). Solve -2*r + x - 4 = 2*a, -3*a = 2*r - 8 for r.
4
Suppose 91 = 49*f - 56. Solve 0 = 5*j - f*k - 27, -4*j + j + k + 13 = 0 for j.
3
Let b be (-1220)/(-120) - (-3)/(-18). Solve b*c = 5*c + 5*g - 5, 4*g = 8 for c.
1
Let x(h) = 20*h + 365. Let c be x(-18). Solve 0 = -0*q + 4*q - d - 11, -c*q - d + 7 = 0 for q.
2
Let q(g) = -g**3 + g**2 + 4*g + 2. Let z be q(-1). Solve -4*u - 4*s = -8 - z, 4*u = 2*s 