
Let s = 46 + -31. Suppose 0 = 3*j + s, -3*j + 0*j = -3*a + 30. Solve 5*b = 0, b + 2*b + a = v for v.
5
Suppose 0 = 3*k + j - 5, 4*k - 14 + 1 = 5*j. Solve -k*b - 12 - 2 = 4*x, b - 3*x + 2 = 0 for b.
-5
Let y = 7 - 19. Let m = y + 17. Solve -4*v + m*q = -0*q + 15, -3 = 2*v - q for v.
0
Let c(h) = -h**3 + 11*h**2 - h - 4. Let u(k) = 12*k - 1. Let y be u(1). Let o be c(y). Let w = o - -19. Solve w*d + 9 = d + 3*v, -3 = 3*d + 3*v for d.
-2
Let o(z) = -7*z + 383. Let m be o(54). Solve 0*k - 5*k = 5*q, -m*k + 4 = 3*q for q.
-2
Suppose -18 = 5*d - 11*d. Suppose 4 = -z - d*z, u - 15 = 5*z. Solve 3*n = -5*x - 11, -4*x = n + n + u for x.
-4
Let s be (22/(-6))/(0 + 6/(-18)). Solve -2*c - 4*j = -10, 3*j + 9 + s = 4*c for c.
5
Let m(q) = -q**3 - 6*q**2 - 4*q + 6. Let l be m(-5). Solve -4*j = t - 1, -l = -4*j - 2*t + 1 for j.
0
Suppose 0*j = j + 2. Let s be 5*-3*j/15. Suppose -2*o + 8*w = 3*w - 2, 4*o = -2*w + 4. Solve 3*x - o = s*q + 11, -13 = 3*q - 2*x for q.
-3
Let q be (-6 - 21/(-7))/((-6)/34). Let w = -50 + 73. Let i be (10/(-4))/(2/(-4)). Solve 4*m = -5*l - q, -i*l = -2*m + 3*m + w for l.
-5
Let k be (135/(-20))/((-6)/(-32)). Let o = k + 53. Suppose 0 = -3*m - 5*a + 1 - o, 15 = -3*a. Solve 0 = -u + m*r + 2, 5*u = -0*u + 5*r for u.
-1
Suppose 0 = 9*j + 3*j. Solve -4*v - 3*k + 28 = j, -5*k = -0*k - 20 for v.
4
Let r = -1434 + 1437. Solve -3*f + 9 = -3*l, 0 = 5*f - r*l - 10 - 7 for f.
4
Let q be (-4)/24 + 38/12. Suppose -2*m = 5*l - 7, -7 = q*l + 5*m - m. Solve -3*j - f = -l*f - 18, f = -3 for j.
4
Let n = 84 + -81. Let j(k) = -k**3 + 4*k**2 - 4*k + 3. Let x be j(n). Solve -4*d - 6 = 3*r - r, -r + 4*d + 9 = x for r.
1
Suppose -2 = -5*s + 8. Suppose 2*v = 12 + s. Let w(l) = 4*l + 56. Let o be w(-13). Solve -3*b - 12 = -v*b - o*h, 0 = 4*b - 2*h + 18 for b.
-2
Let h = -35 + 11. Let r = 26 + h. Suppose g - r*t + 5 = 11, 5*t + 15 = g. Solve g = -y - m - 9, -m - 2 + 9 = -3*y for y.
-4
Suppose -4*y = -y - 2*y. Solve y = -4*c - 3*p - 1, 2 = c + p + 1 for c.
-4
Suppose -4*n = -2*r - r - 39, -3*r - 21 = -n. Let x = 10 - 14. Let c = x + n. Solve 0 = 2*l - 2*w - 4, 2*l + c*w - 3*w = 0 for l.
-2
Let u = 25 + -59. Let o be -2 - ((-6)/10 - u/(-10)). Solve o*i - 1 = y + 3, -3*i + 5*y = 1 for i.
3
Suppose 2*w = 4*v - 2*w - 20, 2 = -2*v - 4*w. Solve i + m + 17 = -v*i, -3*m - 27 = 4*i for i.
-3
Let d(f) = f**2 + 4*f - 3. Let b be d(-5). Let w(q) = -q**3 - 6*q**2 - 2*q - 9. Let t = 3 - 9. Let j be w(t). Solve 2*l = j*o - l - 18, -b*l = o for o.
4
Let u(j) be the first derivative of j**4/4 - 8*j**3/3 + j**2/2 - 6*j + 4. Let m be u(8). Suppose -3*g + 11 = m. Solve -q = g*q - 5*t + 21, 3*t - 3 = 0 for q.
-4
Let s(c) = 8*c + 66. Let d be s(-8). Solve u - b - 2 = 0, b = -5*u + d*b + 6 for u.
1
Let i = -408 + 438. Let h(t) = t**3 - 3*t**2 - 2*t - 3. Let u be h(4). Solve u*r = -5*v - i, 8 = -4*r - 0*r for v.
-4
Suppose 0 = -9*n + 12*n - 18. Let p = n + -4. Suppose -3*l - 21 = -p*c, 4*l - 3*l - 21 = -4*c. Solve 2*i = -c*h + 3*h + 5, 5 = -4*i - h for i.
-2
Suppose 8 = -o - 5*q, -23 = -4*o + 3*q - 9. Solve 0 = 5*p + m - 5, -p + 7 = -3*m + o*m for p.
2
Let h be (0 - 11) + (-2 - 1). Suppose -7*p + 33 + 2 = 0. Let j = p - h. Solve 4*f + 5*u = j, 4*f + 5 = u + 2*u for f.
1
Suppose 0 = -5*z + 2*k + 6, 0 = -z - 3*z + 3*k + 2. Suppose -b + 0*g + 2 = z*g, -g + 3 = b. Solve -3*a = b*q + 5 - 25, -4*a = 0 for q.
5
Suppose -2*a = -a + 3. Let y(u) = 2*u**2 - 8*u - 13. Let p be y(a). Solve 0 = -3*n - 5*z + p, 2*z = -2*n + 21 - 7 for n.
3
Let s(z) = 2*z**2 + 11*z - 1. Let d be s(-6). Solve 0 = y + 4*a + 15, 4*y = d*y - 5*a - 12 for y.
-3
Let a(t) = -8*t. Let y(f) = 4*f - 1. Let v(k) = 4*a(k) + 9*y(k). Let m(n) = -n. Let h be m(-5). Let b be v(h). Solve -z = -5*l + b, -4*z = 2*l - 2*z - 14 for l.
3
Suppose 29*k - 65*k + 108 = 0. Solve -2*d = -k*o, 0 = -o + 6*o for d.
0
Let y(p) = 7*p - 66. Let x be y(13). Suppose -29 = -3*g + 4*v, 3*g - x = -v + 6*v. Solve 5*o = 2*m - 28, m + 1 + g = -5*o for o.
-4
Suppose -62 = -5*q - 2. Let n = -11 + 16. Suppose -n*k + 2 = -3*a + 4, -4*k + 5*a = q. Solve 2*u + 3*m - 2*m = -2, -2*m + 2 = k*u for u.
-3
Let n be 1/4 - (-189)/(-36). Let w be 4 + (-8)/(-28) + n/(-7). Solve w*s - 3*d = -0*s + 18, 0 = -s - d + 2 for s.
3
Let t(r) = -r**3 - 38*r**2 - 103*r + 74. Let g be t(-35). Solve -2*k = -g*k + 5*s + 10, -4*k - 4 = 2*s for k.
0
Let v(s) = s**3 - 17*s**2 + 15*s + 33. Let q be v(16). Suppose 0 = 4*y + 4*p - p - q, -4*y + 5*p = -57. Solve -5*a + 19 = 3*t - 1, -3*t = 2*a - y for t.
0
Let z be 15/(8 - (1 - -2)). Solve -5*i + 3*u = -35, -3*i - 1 = z*u + 2 for i.
4
Let d = 23 + 4. Let s = d - 25. Solve -2*g = -s*y + 6*y + 20, 0 = 3*y + 2*g + 16 for y.
-4
Suppose -5*g - 4*p - 8 = 0, -2*g - 10 = -2*p + 7*p. Let u = 3508 + -3504. Solve -w + i = g, -u*w - 1 = -2*i - i for w.
-1
Let i = -1089 - -1089. Solve i = -q + c, 10*c = -4*q + 5*c + 27 for q.
3
Let k be 0/((-3)/(9/3)). Let x be ((-45)/6)/((-9)/12). Suppose x = 3*r + 2*r. Solve k = -4*c + c + 5*p - 12, -c - r = -p for c.
1
Let f = -26 + 32. Suppose 4*q + f = 54. Solve 2*j = j - 3*l - q, 5*j = l + 20 for j.
3
Suppose -109*k = -97*k. Solve k = -4*v - 4*m + 20, -2*v = v - 5*m + 25 for v.
0
Suppose 0 = q + 5*g + 22, -3*q + 6*q - g - 14 = 0. Solve 0 = -3*w, -i + 15 = 4*i + q*w for i.
3
Suppose 0 = -15*g - 6*g + 5*g. Solve -5*z - 6 = -4*i - 0, g = -2*z + 4 for i.
4
Suppose 263 = 185*u + 21*u - 973. Suppose 0 = g + g - 6. Solve q = 4 - g, 5*v - q = -u for v.
-1
Let y = -29 - -19. Let q be (-30)/25*y/3. Suppose 4*x - 14 = -2*s, -2*s + 3*s = -5*x + 7. Solve 4*r = -0*a + 3*a + 5, -q*r - s = a for a.
-3
Let r = -23 - -30. Let u be r*3/12*4. Let m be u/49 + 2/(-14). Solve 2*h = 4, 0 = o + 3*h - 3 - m for o.
-3
Let m = -588 - -592. Let p be 0 + 4 + 0 + 1. Let d be 1 + (6 - (4 + -2)). Solve -m*c = -3*a + a - 22, -d*a - 40 = -p*c for c.
3
Suppose 0 = 8*x + 12*x - 40. Solve -2*l = 3*f - x, 0*l = 2*f + 2*l for f.
2
Suppose c + 4*u - 5 = 0, -2*c - 4*u = -3 + 1. Let a be (1 - (-4 - (c + 0))) + -2. Solve a = 3*q + 9, -2*s = -7*s - 5*q - 10 for s.
1
Suppose 0 = -5*j - 5*p - 20, -69*j = -65*j - 2*p - 8. Solve k = -3*l - 10, -3*k + 2*l + l + 30 = j for k.
5
Let q(u) = -u**3 - 4*u**2 - 2*u + 5. Let z be q(-3). Suppose 0 = -i - 5*c + 5, -2*i - 3 = -5*c + z. Solve 5*s = -10, 0 = 4*y + 2*s - i - 4 for y.
2
Suppose 0 = -7*n - 14 + 259. Solve -3*x + b + n = 5*b, 20 = 3*x + b for x.
5
Let r(f) = f**2 + 14*f + 50. Let j be r(-7). Solve -4*o + 3*m - 3 = o, 4*o = m - j for o.
0
Let g be (-100)/(-1000) - (-198)/20. Solve -4*r + 19 = 5*y - g, 5*r = 4*y - 15 for r.
1
Let b = -48 - -61. Suppose 3*m - 4*t - 28 = b, -30 = -2*m + 2*t. Solve -3*y + 0*y = 2*c - m, -5*c = -4*y - 13 for y.
3
Suppose -4*r + 14 = -2. Solve r*g = -3*f + 18, 2*g + 0 = 6 for f.
2
Suppose -40 - 8 = -4*g. Suppose 6*s - 6 = g. Solve 0 = -5*j + 5*k, -4*j = -j - 2*k - s for j.
3
Suppose -24*x + 3*x + 357 = 0. Suppose 5*r - 12 = r. Suppose x = 2*c + r. Solve f - 3*s = -7, 5*f - 2*s - c = -s for f.
2
Suppose 352*y = 342*y + 210. Let f be 108/20 - 2/5. Solve f*m - y = b + 1, 4*m = -4*b + 8 for m.
4
Let h = -229 - -229. Solve 3*r = q + 5*r - 2, -2*r + 6 = h for q.
-4
Let l(t) be the first derivative of 1/2*t**2 + 2 - 2*t. Let i be l(5). Solve -5*k + 26 = -i*n, -4*k + 18 = -n - 0*n for n.
-2
Suppose 5*q - 3*q - 12 = 0. Let z be (q/(-9))/((-8)/(-12)). Let b be 1 - (4/z)/1. Solve j = -w + b + 1, 0 = 3*w + j - 14 for w.
4
Let c be (15/(-6))/(-8 + (-756)/(-96)). Solve -o = 3*b - c, -4*o = -3*b - 0 - 5 for b.
5
Let z = 1834 + -1829. Solve 5*j - 4*w = -z, 3*j - 5*w + 40 = -10*w for j.
-5
Let t(n) = -n**2 - 19*n - 15. Let k be t(-18). Suppose k*m - 10 = -1. Solve -11 = p - m*c - c, -3*c = -5*p + 13 for p.
5
Suppose -4*q - 17 + 1 = 0. Let a = q - -7. Solve t + 3*h + 12 = a*t, -4*h = -t + 16 for t.
0
Let s be 4/(-10) - 394/(-10). Suppose -s*i - 39 = -42*i. Solve -5*l + 20 = -5*t, -3*t + 2*l = -6*t + i for t.
1
Suppose -i + 2*b - 26 = -2*b, -2*i - b = 16. Let l = -6 - i. Solve -y + 2*y + 3*j - 8 = 0, -l*j = -4*y + 16 for y.
5
Let u(v) = 9*v**3 + 2*v**2 - v - 1. Let j be u(1). Let s = j + -9. Solve 0 = y - p, -5*p + s - 3 = -2*y for y.
-1
Let z = -652 - -656. Solve -z*o - 5*t = -13, 0 = 2*t - 2 for o.
2
Suppose 511 - 451 = 20*x. Solve d + 0*m - m + 2 = 0, 2*d = -x*m + 21 for d.
3
Let o = 217 - 214. Solve 