
3
Suppose -4*v - v + 25 = 0. Let k(h) = -h**2 + 8*h - 4. Let m be k(v). Let f be (-1)/(5/(-20)) + (1 - 1). Solve -f*n + n = 5*t - 21, -m = -3*t - n for t.
3
Let p(m) = m**3 + 56*m**2 + 4*m + 230. Let u be p(-56). Solve 6*t - 4*t = -5*r - u, t = -2*r - 3 for t.
-3
Let u be 4/(-14) + 19/(-7). Let c(w) = -w**3 + 2*w**2 + w + 1. Let b be c(2). Let p = b + u. Solve p = 4*q - y + 2, -1 = -q - 2*y - 6 for q.
-1
Suppose -11*s + 40*s = 174. Solve -c = -4*g - 7 + s, 4*c - 3*g = 4 for c.
1
Suppose 0 = -54*t + 57*t + 306. Let g = t + 102. Solve 7*h - 3*h + u - 4 = g, 4*u + 12 = -2*h for h.
2
Let u be 0*((-4)/5 - (-65)/(-325)). Solve -i + 3*s + 14 = u, -4*s - 27 = -3*i - 0*s for i.
5
Let v(f) = -f**2 - 11*f + 15. Let l be v(-12). Let s be (0 - 1)*l/(-3)*4. Solve 19 = -4*z + z - 2*x, s*x = -3*z - 23 for z.
-5
Suppose 5*b - 4*b + 5*y - 113 = 0, -4*b - 2*y = -452. Let l = b + -92. Solve l = 5*o + t, 0*t - 2*t = 2*o - 10 for o.
4
Let i = -26 - -24. Let n(s) = 2*s**3 + 2*s**2 + s - 2. Let u be n(i). Let o(h) = -2*h - 19. Let k be o(u). Solve 2*x + 0 = b - 13, k*b - 3*x - 37 = 0 for b.
5
Let f = 58 + -84. Let y = 30 + f. Solve y*z + 11 = t, 5*t - 3*z + 33 = -5*z for t.
-5
Suppose -6 = -2*d - 3*f + 8, 20 = d - 5*f. Suppose -5*z + d + 10 = 0. Let t be (-10)/(-4) - 2/4. Solve 2*b = 3*y + z*b - 1, -3*y = 5*b + t for y.
1
Let j(r) be the first derivative of -r**3/3 - 2*r**2 - 5*r + 5. Let a be j(-4). Let k be (-16)/(-40) - 18/a. Solve -k*x + 4 = 0, v = -4*v - 2*x + 7 for v.
1
Suppose 5 = c + 2*c - 5*s, -5*c = -4*s - 4. Suppose -3*h = 4 - 22. Suppose -5*j + h*j = c. Solve -4*f - 5 = x, j*x + 4*x - 22 = 5*f for x.
3
Suppose -95 = -5*p + 65. Suppose p = -2*x + 42. Solve -3*n - 3 = 0, 3*s - 5 = 4*n + x for s.
2
Let o(d) be the second derivative of d**4/12 - 5*d**3/3 + 5*d**2/2 - 2*d. Let x be o(11). Solve a - 3*a + 8 = -t, -2*a - 3*t = -x for a.
5
Suppose 39 = -4*o + 51. Suppose -3*t + 0*t + 15 = 3*r, -5*t + o*r = -9. Solve 2*l + t*j + 8 = 0, l + 2*j - 1 + 5 = 0 for l.
-4
Let d = -9 - -20. Let x = 1 - d. Let n be ((-24)/5)/(4/x). Solve -b = -0*b + g - 2, n = 4*b + 2*g for b.
4
Suppose 0 = 4*w - i - i + 218, -3*w = i + 151. Let n = w - -79. Solve -3*x + 3*a = -n, -4*a = -x + a + 29 for x.
4
Suppose 0 = h - 5. Suppose -5*t + 12 + 3 = 0. Suppose 9 = 10*u - 91. Solve 0 = -5*o + o + h*q - 5, -5*o + t*q = -u for o.
5
Let t be 0*(-4)/(-12)*3. Solve t = -3*u + r - 19, 3*r + 0*r = 2*u + 22 for u.
-5
Let h be (-910)/(-45) - 2/9. Suppose -10*j + h*j - 50 = 0. Solve 0*a + 5*v + j = -2*a, -v = 3*a + 1 for a.
0
Let u be (-22)/(-110) + 116/(-5). Let k = u + 21. Let p(y) = y + 7. Let m be p(k). Solve 2 = -2*c - 3*h - 1, 2*h = m*c - 2 for c.
0
Let w(n) = -n**3 + 6*n**2 - 5*n + 5. Let p be w(5). Suppose -b + 2 = p. Let m be 0/(-4) + b - -13. Solve -m = 2*l + 3*h + 5, -2*l - 4*h = 18 for l.
-3
Let j be (6*12/144)/(3/18). Solve j*m + 20 = 2*m - 5*a, -4*a - 16 = 3*m for m.
0
Let q(u) = u**2 - 20*u - 124. Let k be q(-5). Solve 4*g - 20 = -4*y, g + 6*y + k = 7*y for g.
2
Suppose y = -4*w + 8*w + 23, 4*y - 3*w = 27. Solve 4*z - 3*c - y = -0*z, 2*z - c = -1 for z.
-3
Let d = -640 - -643. Solve -5*u - 11 = 2*x + 10, -2*x = -d*u - 3 for x.
-3
Suppose -4*g = -0*g - 68. Let h = g - 13. Solve 3*m = h*u - 5, -2*m + 18 = -3*u - 7*m for u.
-1
Let t(u) = -u**2 + 15*u - 6. Let s be -1 - (-19 - -4)*1. Let j be t(s). Solve -3*b = -5*r + j - 30, 0 = 2*r - 2*b + 8 for r.
-5
Let o be 2 + -8 - 42/(-7). Solve -2*x - 4*n = -0*n - 18, -n + 5 = o for x.
-1
Let n(c) = -c + 3. Let q be n(-3). Let d be 13/(78/(-18))*(-4)/q. Solve 10 = -3*m - 5*o - 10, -3*m = -d*o - 8 for m.
0
Let m = -1615 - -1617. Solve 3*r - 5*b + 9 = 0, -5*b + 6 = -m*r - 0*r for r.
-3
Suppose 24 - 60 = -4*d. Suppose -5*s + 2*b = -12, 2 = -5*s - 3*b + d. Suppose s*t = -2*t + 12. Solve -h - 2*g = -t*h + 10, g = 4*h - 11 for h.
2
Suppose 9*k + 85 = 130. Solve -4*l - 16 = -4*h, 0 = -k*h - 4*l + 6*l + 11 for h.
1
Suppose -x - 14 = -6*k + k, -36 = -x - 5*k. Let j = 34 - 32. Solve 19 = -3*p - a, a - j*a = -3*p - x for p.
-5
Let u(t) = t**3 - 20*t**2 - 23*t + 44. Let h be u(21). Suppose h*c = y + y - 4, 0 = -4*y + 5*c + 8. Solve 0 = -y*i - 6, -3*r - 1 = 4*i + 5 for r.
2
Let m(x) = x**3 - 2*x**2 - 2*x - 1. Let v be m(-1). Let n = 1 - v. Suppose n*b + b - 44 = 0. Solve -l + 2*a + b = 0, -4*l + 0*a - 2*a - 6 = 0 for l.
1
Let d(c) = -3*c + 16. Suppose -45 = 4*a - 33. Let o be d(a). Solve -5*l = 4*i - 0*i + o, -3*l - 3*i - 18 = 0 for l.
-1
Let p be (-652)/(-92) - (5 + 113/(-23)). Solve -5*c + 3 = 4*d, -4*d - p = 3*c - 6*d for c.
-1
Suppose -p = -6*p + 135. Let w = -24 + p. Solve -w*b = -c + 2*c - 7, -3*b - 2*c = -11 for b.
1
Suppose -9*j = -6*j. Suppose j = 78*r - 83*r + 15. Solve 18 = -r*x + 3*c, -3*x + 3*c = -4*x + 2 for x.
-4
Let a(x) = x**2 + 16*x + 65. Let s be a(-9). Suppose s*j + u + 0*u = 13, j + 2*u = 14. Solve 0 = -2*z - m + j, -4*z - 2*m = 3*m - 2 for z.
3
Let d = -32 + 48. Let s be (-1)/(-1)*-1 - -3. Suppose 0 = s*m + 2*m - 8. Solve 2*g - l = 0, m*g = -0*l - 3*l + d for g.
2
Let c(a) = -a**3 + a**2 + 13*a - 17. Let r be c(3). Solve -5 = 3*h - 0*x + 4*x, 5*h - r*x = 45 for h.
5
Let m(j) = j**2 + 9*j + 26. Let t(c) = -c + 1. Let h(l) = m(l) - 3*t(l). Let s be h(-10). Solve -s*a = -2*n - 21, 0 = -n - 0 - 3 for a.
5
Suppose 5*q - 36 = 11*q. Let x be (q/(-10))/(12/60). Solve x*r - 14 = -5*v, r - 2 - 5 = -4*v for r.
3
Suppose -4*o + 166 = -5*g, -3*g - 5*o = -10 + 117. Let v(y) = -y**2 + 14*y - 3. Let w be v(10). Let q = g + w. Solve -5*r = -5*k - 13 + q, 5 = -5*k for r.
1
Suppose 1 - 6 = 5*n. Let v(i) = -18*i. Let z be v(n). Suppose 4*o = -z + 78. Solve -3*x - o = 0, -5*x - 17 = q - x for q.
3
Let m be 0/(-6 - -1 - (-42)/7). Solve m = n + 4*w + 17, -5*n + 15 = -3*w - 15 for n.
3
Let b = 3 - 3. Suppose b*a - 3 = -a. Solve -4*s = a*k - 7*s, -s = -4*k for k.
0
Suppose -d = l - 4, -d + 3*l - 2*l + 2 = 0. Solve 0 = d*r, c + 3*r + 8 = -c for c.
-4
Let f be 165/20*(4 + 0). Let v = f + -30. Let b be 38/4*2 + 0. Solve 3*y + 2*w + b = -2*y, 0 = -3*y - v*w - 15 for y.
-3
Let u = 19 - 9. Let k = u + -6. Solve 2*q + 5*l = 2 - 0, -2*q - k = 2*l for q.
-4
Let i = 43 - 40. Solve i*o - 7 = 3*f + 5, -f + 16 = 3*o for f.
1
Let j = 272 + -268. Solve 2*m - 10 = j*w, -3*w - 6 = 2*m - 16 for w.
0
Let n(f) = f**3 - 5*f**2 + 8*f - 3. Let d be n(3). Suppose -2*v - 5*k = -5*v - 1, -d*v + 4*k + 1 = 0. Solve -3*x = v*p + 9, x = -0 - 4 for p.
1
Let o = 1497 - 1493. Solve 2*f = 2*x + x - o, 4*f + 20 = 0 for x.
-2
Suppose 2*q = -3*q + 30. Let f(y) = -y**2 + 7*y - 3. Let t be f(q). Solve 6*l = 2*l + a + 23, t*l = -5*a for l.
5
Suppose g + 10*m = 8*m + 5, -5*g = -m - 14. Solve g*l + 4*z - 17 = 0, -2*l + z = -6*l + 14 for l.
3
Let l be -10*((-12)/(-8))/(-3). Solve 4*r - 5*u + 10 = -7, -l*r + 4*u - 10 = 0 for r.
2
Suppose -4*u + 5 = u. Let o be (-10)/(2/(-2) - u). Suppose i + 5 = -o*y + 17, -i + 10 = 4*y. Solve -5*t = 4*q + 22, -2*t = -4*q - 6 - i for q.
-3
Suppose 7*u + 74 - 109 = 0. Solve u*g - 3*n = 8 + 3, -4*n = -3*g for g.
4
Let j be (3/2 - (-9)/(-18)) + 4. Solve 0 = -j*s + 10, 3*a + 3 - 12 = -3*s for a.
1
Suppose -24 + 60 = 18*s. Solve 5*l = 5*x, 4*x = -s*l + l for x.
0
Let k be (-102)/(-24) - (-6)/(-24). Solve -t + 2*a = -3 + 14, 0 = k*t + a + 8 for t.
-3
Suppose 4*g + 5*o = 20, 0 = -g + 5*o + 3 - 23. Solve 0 = 3*x - 4*t - 16, g = -5*x - 0*x + 4*t + 24 for x.
4
Suppose 2*u = -4*t - 12, 9*u - 4*u = 2*t + 6. Solve 4*p + 4*v - 4 = u, -v = 4*p + 4*v - 8 for p.
-3
Let a be (1 + 5)*(-2)/(-6). Let f(z) = -z**2 - z + 12. Let c be f(-4). Solve 3*b + 18 = -2*t, -b + c*b = -2*t - a for t.
-3
Let x = 8 + -6. Suppose 125 = -9*c + 179. Suppose -c = u - x*u. Solve -3*t = -2*m + u, 2*m = -0*t + 5*t + 10 for t.
-2
Let w = 235 + -233. Solve a = -4, -12 = -2*d + a - w for d.
3
Suppose 5*h = 3*v + 15, 0 = v + 3*h + 3 + 16. Let q be (-1 - 9)*4/v. Let f(g) = 5*g**2 + g - 2. Let d be f(-2). Solve -2*m + 4 = -3*m, 3*u = -q*m - d for u.
0
Let j(i) = 7*i - 1. Let n be 3 + 0/(1 + -2). Let p be j(n). Suppose 0*m = -4*m + p. Solve w = -w - 4*l + 24, l - 15 = -m*w for w.
2
Suppose -c - 2 = -4*a + 4*c, 2*c = 5*a - 11. Let n be (-8)/4 - -1 - -2. Let v be 5 - (2 - 0) - n. Solve -a*t + d = 1 - v, 0 = -d + 5 for t.
2
Let b = 1737 + -1734. Solve 3*s - 2*c = -7, -b*c - 7 = -2*s - 20 for s.
1
Suppose 15*s + 9 = 84.