Solve a*s = 0, t - 5*s - 2 = -6 for t.
-4
Suppose 2*d - 76 = -50. Solve -3*u = 4*g - d, -9 + 0 = -3*u for g.
1
Suppose 0 = -w + 3*r + 5, -10 = -3*w + w - 4*r. Let z(n) = -3*n + 11. Let l be z(w). Let a be 27/(-6)*l - -4. Solve 5*k - y = -5*y + a, 0 = -k + y - 1 for k.
2
Let v(n) = n**3 - 14*n**2 + 15*n - 21. Let d be v(13). Solve w + i = d, 5*i = -2*w + w + 25 for w.
0
Suppose -5*z + 6 = -9. Suppose 0 = 5*d - 5*w - 25, 25 = 2*d + z*d - w. Solve -8*y - 2*b + 6 = -5*y, -4*b = d*y - 8 for y.
4
Suppose 59*h + 112 = 66*h. Solve 0 = 2*r - 5*t + 4, 0 = -3*r - 5*t + h + 3 for r.
3
Let u = 80 + -82. Let k be 14 + -8 + (-8)/u. Solve k = 3*d - 0*d - y, -d - 4*y = -12 for d.
4
Suppose 3*s + 3*l = -1 - 2, 5*s - 2*l = 16. Solve s*t = 4*x - 6, -4*t + 3*t + 3*x = 6 for t.
3
Suppose y - 8 = -3*y. Suppose 15 = h + u, 5*h + 4*u - 74 = -y. Suppose 2*s + s - h = 0. Solve s*f = 2*n + 4, n = -5*f - 0*n - 9 for f.
-1
Let r be (3 - (-80)/(-12)) + (-1)/3. Let z be 1*(3 + r) - (0 + -1). Solve z = 2*x - 2*l - 15 + 5, -5*x + 2*l = -13 for x.
1
Let a be ((-18)/5)/(18/(-45)). Suppose 6 = 12*w - a*w. Solve -2*t - 2*t = -z + 7, 0 = -w*t - 5*z - 9 for t.
-2
Let r(s) = -4*s + 38. Let c be r(9). Let f = -7 - -1. Let g = f - -9. Solve 2*p + 8 = 4*p, g*p = -c*o + 12 for o.
0
Let f = 18 + -15. Suppose -2*k = 5*w - 18, -18 = -f*w - 0*w - 3*k. Solve -3*j + 4*t + 6 = -3, -w*t - 6 = 0 for j.
-1
Suppose -11 = -3*x - 3*g + 13, -4*x - g = -17. Solve 0 = 5*y - 2*l - 0 - 6, x*l = y - 9 for y.
0
Suppose 4 = 9*z - 41. Solve -6*j + 4*j = 4*y - 20, 2*j + z*y = 25 for j.
0
Let c be (-46)/(-11) - 46/253. Solve 2*d + 2*d = -c*p, -4*d + 6 = 2*p for d.
3
Let u(x) = x**2 - 3*x - 10. Let h be u(-4). Suppose -2*w - 72 = 3*r - 28, -r - 4*w - 8 = 0. Let z = r + h. Solve -35 = -z*d - 5*q, 3*d - q = 2*d for d.
5
Suppose 8*a = -0*a + 64. Suppose 3*j = 4*j + 5. Let v(c) = -c**3 - 4*c**2 + 3*c - 7. Let u be v(j). Solve 3*s + g = 0, -g = 4*s + u*g + a for s.
1
Let z be (-54)/(-7) - 4/(-14). Let y(p) = -2*p. Let h be y(-2). Suppose h*g + z = 6*g. Solve g*c - 4*t = 40, -4*c - c = -4*t - 45 for c.
5
Suppose -5*o + 1 = 2*p + 7, 3*p - o - 8 = 0. Solve r - 7 = -p, -3*a + 4*r - 26 = 0 for a.
-2
Let q(u) = 22*u - 62. Let d be q(3). Solve d*v = 4*z - 0*v, 4*z = v + 3 for z.
1
Let q(r) = r**2 + 3*r - 3. Let u be q(-5). Suppose -3*s - a = -11, 7 = s + 4*a - u*a. Suppose 2*x - 5 = 5. Solve o = 2*p + 2 + 1, -x*o = -s*p - 15 for p.
0
Suppose 2*l - 3*q + 2*q = 11, -l + 4 = q. Solve l*b - 5*y = 2*b - 20, -5*b + 2*y = 8 for b.
0
Suppose -39 = -2*j + 15*j. Let g be (-5 - (j - 3))*(-6)/(-2). Suppose 3*t = 5*t. Solve g*h + 5*n + 24 = t, 2*n = -3*h + 6*n + 3 for h.
-3
Let z(y) be the first derivative of y**2/2 - 2*y - 19. Let k be z(5). Solve -p + 0*p = k*g - 5, 5 = -5*p for g.
2
Let g = -32 + 35. Solve -2*u + g*c = -7*u + 34, 16 = 5*u - 3*c for u.
5
Suppose -3*y - 23*z + 18*z + 34 = 0, 2*z = -3*y + 19. Solve -7*g - n = -5*g - 8, 23 = y*g - 4*n for g.
5
Let j be (-12)/(-15) + 870/(-25). Let w = j - -38. Suppose -30 = -2*c - w*c. Solve 0*f - 2*k = c*f - 2, -f + 4*k + 18 = 0 for f.
2
Let l be ((-36)/20)/(3/(-5)). Suppose 6*u = -l + 15. Solve k - 3 = 5*x - 10, 4*x = 2*k + u for x.
2
Let a be (-2 + 8/12)*-3. Suppose -4*y + f - 16 = -52, -2*y + a*f = -32. Solve 3*j - 4*b + 1 = y, j - 2*b = 3 for j.
1
Let y(d) = d**3 - 4*d**2 + 2*d + 1. Let n be y(1). Solve 0*o + v = -o - 10, n = -3*o - 4*v - 35 for o.
-5
Suppose 3*m - 10 = -2*i + 8, 5*m - 35 = -5*i. Suppose 0 = 2*f - 2 - m. Suppose -c = -5*q - 18, -q + 2 = c + 2*q. Solve -2*w - c = 3*b + 2, -f*w = 15 for b.
0
Suppose 6*l + 42 = 3*l. Let k = l + 33. Let j be (k - 17)*6/4. Solve t - 3 - 4 = j*o, -t - 5*o - 1 = 0 for t.
4
Suppose 0 = 13*f - 23*f + 50. Solve -2*n - 5*m + 11 = 0, 0 = -0*n + n + 2*m - f for n.
3
Let k = -1644 + 1647. Solve -3*j + 9 = k*l, -4*l - 4*j + 10 = -l for l.
2
Let x be (4/(-8))/(16/(-128)). Solve 2*v = 3*g + 12, g = -x*v - 11 + 7 for g.
-4
Let d = 3 + -3. Suppose -2*f + d = -24. Suppose -f = -2*m - 4. Solve 26 = -m*p - 5*q + 2*q, 5*q - 5 = 3*p for p.
-5
Suppose 6 = -3*l - 4*i, 5*l - 5*i - 25 + 0 = 0. Solve 0 = -u - l*k - 6, -17*u + 13*u - 2*k = 0 for u.
2
Let t = 227 - 224. Solve 2*i + 2 = -0*i, 4*i - 5 = -t*z for z.
3
Suppose -22 = -5*m - 7. Suppose -20 = 4*w, -4*l + m = 3*w - 2*w. Solve 3*g + 6 = 0, 3*a = 8*a + g + l for a.
0
Suppose 4*j + 57 + 9 = 3*h, 3*h = j + 66. Let l be (2/11)/1 - (-62)/h. Solve 3 = -0*c - 3*c - l*t, -3*t = 2*c + 7 for c.
4
Let a = -32 + 39. Suppose 38 = a*p + 10. Solve 0 = -3*z - 2*z - 2*w - 1, -z + p*w = 9 for z.
-1
Let d be 5/(-10)*-3*12. Suppose -x = -3*k - 3, d - 3 = 4*k + 5*x. Suppose -3*q - q = y - 25, y + 2*q - 15 = k. Solve -20 = -y*z, 3*s - 6 + 17 = 2*z for s.
-1
Let f = -3 - -6. Suppose 0*t - 5*v = -5*t + 25, t - 5 = -5*v. Solve -5 = t*u - 2*m, -u + 4*m = 4 - f for u.
-1
Suppose -2*y - 5*o - 2 = -0, -3*o - 14 = -2*y. Solve 5*s - 16 = -y*v + 2*v, -3*s - 9 = -5*v for s.
2
Let q be 16 + (24/8 - 9). Solve d + c + 5 = -3*d, 4*d + q = -2*c for d.
0
Let m = 81 + -77. Suppose 1 = -z + 6. Suppose -4*b + 19 = 2*d - 13, 5*b - 10 = z*d. Solve 0 = 4*l - f - 15 + m, -l = -2*f + b for l.
4
Suppose 0 = 3*q - q - 18. Suppose 0 = -5*x - 0*x - 7*x. Suppose -g + q + x = 0. Solve 2*o + 3*i - g = 0, 2*i + 4 = -5*o - 1 for o.
-3
Let l(m) = m**2 - 3*m. Let w be l(5). Let d = 15 - w. Suppose 107 - 74 = 3*a. Solve -u + 4 = u - x, 2*x = d*u - a for u.
3
Let p(h) = -h**3 - 2*h**2 - 3*h - 4. Let j be p(-2). Let l be 0/4 - -4 - j. Solve c + 5*v = 18, c + l*v = 2*c + 10 for c.
-2
Suppose 3*f = 0, -3*z = f + f - 24. Suppose 11 - z = 3*b. Solve -q - b = -o - 3, 0 = 2*o for q.
2
Let q = 83 + -63. Solve -5*j - 4 = w, q = 3*j + 2*w - 7*w for j.
0
Let s(j) = j**3 + j**2 - j + 7. Let w be s(0). Let k = -88 - -86. Let b be 4 + (-2)/(-1) + k. Solve -3*m - 7 = -2*m + b*f, -3*m = 5*f + w for m.
1
Let b be ((-78)/(-15) - 5)/(2/230). Solve b = 5*v - n, 2*n - 5*n = -5*v + 29 for v.
4
Let c(y) = y**2 + 12*y + 23. Let o be c(-10). Solve o*d + 2*d = -5*i - 10, 0 = 3*d + 5*i + 16 for d.
3
Let c = 34 - 32. Let z be (c - 0)/(-1 - (-6)/4). Solve 0 = b - 0*b + 2*r - 9, z*r - 8 = 0 for b.
5
Suppose 0 = -3*h - 18 - 36. Let w(r) = -3*r - 54. Let m be w(h). Solve -5*s = -5*d + 35, -s + m*s + 17 = 5*d for d.
4
Suppose -7 = -3*i - 5*t + 4, 0 = 5*i + 2*t - 12. Solve -p - 5*q - 16 = -8*q, 8 = -4*p - i*q for p.
-4
Let g be 10/(-5) - (8 - 11). Suppose -3 = -2*k + k. Suppose -k*o + 4*q = -0*o - 17, 4*q = -8. Solve -3 = 5*y - 6*y - o*x, 0 = y + x - g for y.
0
Let y be 8 - 1 - (-5 - -6). Suppose y*u = 11*u - 525. Suppose 2*w + 3*w - u = 0. Solve 4*z - 6 + w = -3*g, 5*g - 2*z - 1 = 0 for g.
-1
Let r(l) = -l**3 + 5*l**2 - 3*l - 1. Suppose -f = 1 - 3. Let o be r(f). Solve t = 0, o*t - 4 + 1 = h for h.
-3
Let m be (-20)/(-6) + (-2)/6. Let a be 3/2*(-2 - -4). Suppose 3 - 8 = -2*u + i, -m*u - a*i + 30 = 0. Solve u*n + 7*d = 2*d, 5*n + 30 = 5*d for n.
-3
Suppose 8*s - 2*j = 9*s, 0 = 5*s + 3*j. Solve b + 4*u + 11 = s, -1 = -2*b + 2*u + 7 for b.
1
Let z(u) = u + 5. Let b be z(-7). Let h be b/(-4) + (-44)/(-8). Let q = 357 + -355. Solve 4*f - 3*j = 0, h*j = -3*f + q*j for f.
0
Suppose 0*z + 2*u = -z - 19, -5*u + 37 = -4*z. Let v = z + 15. Solve 0 = 2*r + v*m - 6, -5 = -r + 2*r + 5*m for r.
5
Let r(d) = -d**3 + 8*d**2 - 9*d + 9. Let n be r(7). Let p be (-17)/n + (-14)/35. Suppose -89*q + 88*q + 13 = 0. Solve -h - 6*v + q = -2*v, -p*v + 9 = h for h.
-3
Let p be 3 + (-27*2)/(-2). Suppose 17*u - p = 7*u. Solve -3*l - 14 = 1, t = u*l + 15 for t.
0
Suppose -m + 54 = 2*m + 5*n, -n = m - 16. Suppose -10*r - 18 = -m*r. Solve 2*q - r = -2*l, -4*q + 5*l + 21 = -9 for q.
5
Suppose 5*i - 7 = 2*y, -3*i = 2*i - 5*y + 5. Suppose 36 = -3*j + 48. Solve -f + 0*f = -5*a + 11, 0 = j*f + i*a - 2 for f.
-1
Let k be (0 - 4)*(7 + -15). Solve 4*x - k = 5*w, 0*x = -5*x - w + 11 for x.
3
Suppose 11 = -3*g - a, 4*a + 0*a = 4*g + 20. Let k be (10/4)/5*0/g. Solve -h + r + 2*r = 4, k = -2*h - 4*r + 12 for h.
2
Let i = 3 - -3. Suppose 0 = i*n - 3*n - n. Solve a + m - 8 = n, a - 20 = -a - 3*m for a.
4
Let s(d) = -d + 8. Let j be (4/3)/(1/6). Let l be s(j). Suppose 20 = -c - l*c - 5*i, 5*c - 5*i - 20 = 0. Solve -p + 3*b + 13 = c, -p + b + b = -8 for p.
-2
Suppose -38 - 18 = -7*t. Solve 6*v + t = 2*v + 4*m, -2*m = 5*v - 18 for v.
2
Let 