2
Suppose -16 = 2*h - 42. Let v = 27 - h. Solve 8*w - 4*w = -c - v, 0 = -5*w - 2*c - 19 for w.
-3
Let n = 19 + -31. Let q = 14 + n. Suppose d + 2*s = -s + 12, s = -q*d + 9. Solve a = d*k + 5, 3*k + 10 = a + a for a.
5
Let m be 4*(-3)/(-9 - -3). Solve m*o - 6 = 0, -j = 2*j - 2*o for j.
2
Let l be (-4)/(-14) + 0 + 96/56. Solve -3*i + 10 = -d, l*i + 0*i - 4*d = -10 for i.
5
Let l(z) = -23 + 21 + 14 + 11 + z. Let p be l(-19). Solve p*o + 3*j + 19 = 0, 2*j = 7*j + 5 for o.
-4
Let b = 358 - 350. Solve 4*r + 2*f + b = 0, -2*r - 2*f = 3*r + 8 for r.
0
Let i = 33 + -30. Suppose -g = -1 - i. Solve 0 = -3*u - 4*x - 15 + 3, g*u - 2*x - 6 = 0 for u.
0
Let i be (-2)/7 - (-60)/14. Let j be (-2 - -22)/4 + -1. Let f be 0/(-1) - (j - 5). Solve 0 = 4*y - 2*q + 2, -f = 3*y + i*q + 6 for y.
-1
Let u be 4*-1*(-28)/(-16). Let b be u/(35/2)*-5. Suppose 4*p + b = 18. Solve -3*s + 2*m - 11 = 0, p*s + s + 16 = m for s.
-3
Suppose 30*l = -3*l + 165. Solve -3*k - c - 17 = -0*k, 3*k - 13 = l*c for k.
-4
Let g be 6/4 - 1/2. Suppose 5*y + g - 11 = 0. Suppose 2*o - 3*o = -y. Solve o*m + 5*h - 4 = 0, 0 = -3*h + 2*h for m.
2
Suppose 7*g + 14 = 5*g - 4*m, 3*g - 23 = 5*m. Solve -12 = -4*f + 3*s - g, 4*s + 19 = f for f.
-1
Let o(z) = -z**2 + 2*z + 4. Let t be o(0). Solve 3*j + 0*j + 9 = -5*m, 0 = -5*m + t*j + 12 for m.
0
Let w(j) = 2*j - 5. Let q be w(8). Let t = 35 + -44. Let c = t + q. Solve -5*x - 25 = 0, 3*x + c + 5 = 4*i for i.
-2
Suppose -6*r = -24*r + 11*r. Solve 2*j - 3*x - 8 = r, j + 0*x = -4*x - 18 for j.
-2
Suppose 2*u - 7*u - 70 = 0. Let z = -12 - u. Let l be 1 + 2 - (-6)/z. Solve n - 4*c = -n + l, n = -5*c - 4 for n.
1
Suppose -26*d + 286 = -4*d. Solve -j - 2 = -3*g - 3, 5*g = -4*j - d for g.
-1
Let l(u) = -u + 10. Let h be l(9). Let t be ((4 - 0) + 1)/h. Solve -10 = 4*p + 5*c + 10, -t*c = 5*p + 20 for p.
0
Suppose -8*y + 43 = 131. Let q = y + 16. Solve -4*r + u = 11, q*u - 13 = 4*r + 6*u for r.
-3
Let k be (-8721)/(-1767) - 2/(-31). Solve -k*d + 18*q = 15*q - 6, 2*q = -d + 9 for d.
3
Let p(b) = -10*b + 380. Let q be p(37). Solve 0 = 4*w - 5*d - 16 - q, 0 = w + 2*d for w.
4
Let u be (2 - 3)/(6/(-48)). Suppose -u = 4*h - 28. Suppose 1 = -2*n + h. Solve j - 12 = -n*j - q, 5*q + 5 = -2*j for j.
5
Suppose -21*q = -25 + 4. Solve 1 = m - q, 3*l + 3*m = 15 for l.
3
Let h be 5*(-1 + 1 - (-3)/3). Suppose 8 - h = y. Solve l = -4*g - 8, y*g - 2*l - 8 = 7*g for g.
-2
Let t(y) = -2*y**2 - 2*y - 2. Let q be t(-3). Let l(r) = 2*r + 33. Let b be l(q). Solve 27 = -5*x + 7, -b*s - 3*x = 7 for s.
1
Suppose 3 = -11*u + 47. Solve -u*m + 15 = n + 4*n, 9 = 3*n + 5*m for n.
3
Suppose -15*o = -10*o - 20. Solve 3*j - o*j = 3*l + 20, j + 10 = -l for l.
-5
Let a(c) be the first derivative of c**3/3 + 2*c**2 + 6*c - 7. Let n be a(-5). Solve -5*g - 2*p + 20 = -g, 5*g - n = p for g.
3
Let k(t) = 5*t**2 + 33*t - 33. Let v be k(1). Solve -l + 6 = v*o, -l + 0*l - 14 = -5*o for l.
-4
Let j be (5/(-10) - 1/(-2)) + 3. Solve j*o + 0*w = 5*w - 31, -3*o - 4*w + 14 = 0 for o.
-2
Suppose 2*u = -u + 15. Let o be u/((-10)/4) + 0 - -2. Solve o = -2*g, 2*s + 8*g - 4*g - 8 = 0 for s.
4
Suppose -341*o + 32 = -333*o. Solve -4*q + 4*s = 36, o*s = -3*q + 3 - 2 for q.
-5
Suppose -3*z + 4*a - 10 = 0, 0 = -z + 3*a + 1 - 11. Suppose -l - k - 2 = 0, 0*l - l - 6 = z*k. Solve 12 = -4*j - s, -4*s + 2*s = l*j for j.
-4
Let b = -20 + 39. Let q = 5 - b. Let h = -12 - q. Solve 5*p + 0*x = -3*x - 34, -31 = 5*p + h*x for p.
-5
Let h = -21 + 22. Let r be (4 - -3) + 0/(h + -2). Solve -3*d + g = -r, -g - 2*g = d + 1 for d.
2
Let t(q) = -2*q**2 - 14*q - 2. Let x be t(-6). Suppose -3*k + k + x = 0. Solve -p - k*i = -23, i + 5 + 6 = 5*p for p.
3
Let n be ((-8)/(-10))/(32/80). Suppose -2*k = n*k - 3*s + 27, -k + 6 = -5*s. Let q = k + 12. Solve 9 = -q*i - 2*a, -2*i - 4*a - 6 = -0*i for i.
-3
Let v = 257 + -254. Solve v*w + 2*w = -b - 21, 2*b = -2*w - 10 for b.
-1
Let y(l) = -7*l - 5. Let i be y(-4). Let w = i + -20. Solve 0 = -w*v - 2*a + 7, -3*v + 6*a + 12 = 3*a for v.
3
Let v be (14/(-189)*3)/((-2)/18). Solve -23 = -5*g + v*d, g - 3 = -2*d - 8 for g.
3
Suppose -2*k - 41 = -3*g + 2*g, 3*g = -5*k + 101. Solve -2*f + 5*m = 19, 2*f + 2*f = -5*m + g for f.
3
Let k = -367 - -375. Solve 3*p - 3*h = k*p + 22, -20 = 4*p + 3*h for p.
-2
Suppose -2*q + 0*q + 12 = 0. Let o(n) = n**2 - 7*n + 11. Let p be o(q). Suppose 0 = -3*d - 15, 0*k + p*d = k - 27. Solve 5*f = -x - k, -f = 3*x - 2*x - 2 for f.
-1
Suppose 9 = y - 8. Suppose -5*d - v = 24, 4*v = -d - 3 - y. Let s be d/(-6) + (-36)/(-27). Solve -s*j - 4 = 0, m + 2*j + 4 = -1 for m.
-1
Let y be 14/(-182) - (-237)/39. Solve -y*m - 18 = -4*m + 4*j, -2*m - 6 = j for m.
-1
Suppose 0 = c - 9 + 7. Suppose 4*i - c*i = 0. Solve 3*q - 4 = -k, -4*q = 3*k - i - 2 for k.
-2
Let z be 228/204 - 12/102. Solve -4*j - 6*p + z = -7*p, 5*j = 3*p + 10 for j.
-1
Let j be -5 + 2 + (-15)/6*-2. Solve -5*n - j*i = 29, n = -0*n - 4*i - 13 for n.
-5
Let h = 331 + -327. Solve d + 3*w + 3 = 0, -9 = 4*d - d - h*w for d.
-3
Let h be ((-84)/(-70))/(6/10). Let z(v) = -v + 8. Let x be z(5). Suppose -h = -w + x*w + 4*q, 11 = 3*w - q. Solve -8 = -5*n - 4*j + w, -2*j - 8 = -2*n for n.
3
Let x = -1 - -8. Let z be ((-6)/x)/(10/(-70)). Suppose 0 = m + 3*m + 4*t + 4, -5*m + 2*t + 30 = 0. Solve -4*a + r + z = -r, m*r = 4*a - 12 for a.
0
Let h be 2/(14/(-18) + 1). Let y = -7 + h. Suppose 0 = -3*s - 2 - 1, -y*c = s - 5. Solve 4*u = 4*d - 7*d, 2*d + c*u = -1 for d.
4
Let a = -134 + 139. Solve -3*x + 15 = x - a*c, -3*x + 16 = c for x.
5
Let n(l) be the second derivative of -l**4/12 + 4*l**3/3 + 13*l**2/2 + 13*l. Let a be n(9). Solve -3*f - 4 = 2*f - a*s, 3*s - 3 = 0 for f.
0
Let n be (-4 - -4)/(-2) + 2. Suppose n*c - 1 - 7 = 0. Let y be 2/c*18/9. Solve 0*q + 2*q = -v, -q - v = y for q.
1
Suppose 3*s - 449*k - 4 = -450*k, 0 = 4*s + 4*k + 8. Solve 5*c = 15, -c = -s*m + 4*c for m.
5
Let j(u) = u**2 + 12*u + 8. Let s be j(-8). Let y = s + 28. Solve y*m + 8 = -0*x + 2*x, -3 = 3*m for x.
2
Let f(l) = -2*l + 16. Let n be f(6). Suppose 4 = -3*a + n*a. Solve h = a*s - 15, -15 = -s - 5*h + 3*h for s.
5
Suppose -2*n = -5*n - 3*n. Solve -4*t + 2*j = 29 - 1, -j + 4 = n for t.
-5
Suppose -1 = 5*g - 16. Let a(c) = 3*c - 45. Let w be a(0). Let z be w/(-27) + 6/(-9). Solve l = -v + z, 10 = 4*l - g*v - 8 for l.
3
Let d be -86 + 95 + -5 + 1. Solve 16 = 2*u + 2*t + 6, -u + d*t = 7 for u.
3
Let u = 290 - 288. Solve -u = -2*g + a, -a = 5*g + 2 - 0 for g.
0
Let a be (-54)/(-10) - (-66)/(-165). Solve -3*w + 5*x = 0, -7*x + 3*x = -a*w for w.
0
Let f be (-15)/10 - 153/6. Let g = 39 + f. Solve -g = -4*o, 2*k + k - 3*o = -24 for k.
-5
Suppose 0*t = t + 4*j + 10, -5*t = 5*j + 5. Suppose -t*v = -r + 17, 5*r + 4*v - 53 = 18. Solve 3*b - 37 + r = -4*w, 3*w = 3*b + 6 for w.
4
Suppose -16 = -4*w + 8. Let q be w/(4 - (4 + -2)). Solve 3*c = h - 10, -q*h = 3*c - 5 - 1 for c.
-2
Let u be 2/13 - 1242/(-39). Suppose 0 = -3*o + 3*y + 21 + 3, 0 = 4*o + y - u. Suppose b + 16 = 5*b. Solve 0 = 5*k + 5*q + 30, o + b = 3*k - 3*q for k.
-1
Let g(s) be the third derivative of -3/2*s**3 - 1/60*s**5 + 0*s + 11/24*s**4 - 3*s**2 + 0. Let t be g(10). Solve 2*p + t = 4*p + k, 3*p + 2*k = 2 for p.
0
Let r be 1 - (-2 - -4 - 3). Suppose r*s + 3*i = -2, i = 4*s + 2*i - 6. Suppose 9 = s*t - t. Solve -2*o + g = -t, 5*g = o + 3*o - 27 for o.
3
Let x = -1951 + 1953. Solve b - 12 = x*j - 1, -j = -5*b + 10 for j.
-5
Let g(j) = -38 - 2*j + 26 + j**2 + 16. Let v be g(0). Solve 5*p - 5*y = 35, 0*y - 4*y - v = 4*p for p.
3
Let n(u) = u**3 - 18*u**2 + 17*u - 5. Let c be n(17). Let k be (4/10)/((-6)/30) - c. Solve -k*w - 5*f = -2*w + 27, 7 = -w - f for w.
-2
Let l = 407 + -402. Solve l*z = -p + 2*z - 7, 2*z = 4*p - 14 for p.
2
Let j(s) = s**3 + 19*s**2 + 16*s - 33. Let y be j(-18). Solve -f + y*q - 13 = -2*f, -5*f = -2*q + 3 for f.
1
Let a be (1 + 8)/(9/3). Solve -3*l - z + 0*z = 12, a*l = -2*z - 9 for l.
-5
Let o be (-1 + 2)*(4 - -1). Let f = 113 + -101. Solve -4*q + o + 10 = i, 5*i = q + f for q.
3
Let g = 352 + -348. Solve g*o - 3 = x + 4, -3*x + 9 = 3*o for x.
1
Suppose 3*t + 15 = 6*t. Let f(p) = -5 + t + 7*p - 7*p**2 + p**3. Let u be f(6). Solve 0 = -2*r - 4*k - u, -9 = 4*r + 8*k - 3*k for r.
-1
Suppose -i + 4 = 1. Suppose i*n - 2*n = 5*z + 4, -n + 4 = 0. Solve 0 = -4*r + 16, c + z*c = r - 7 for c.
-3
Let