1. Let k be l(o). Let s be ((-2)/12)/((-5)/30). Solve k*g + 4 = v - 0, 0 = -3*v - 2*g + s for v.
1
Let b = 158 - 153. Solve -3*g - 10 - 5 = -3*z, 5*z + 15 = -b*g for z.
1
Suppose -14*q + 56 - 28 = 0. Solve q*s = 0, 4*b - 5*s + 3*s - 12 = 0 for b.
3
Let c be (-7 + 47)/8 + 1 + 5. Solve -3*f = -f + 5*x - 26, 0 = f + 2*x - c for f.
3
Let q = -647 - -652. Solve 5*b = -3*z + z + 10, b = q*z - 25 for z.
5
Let o be (-8)/(-36) + 176/18. Let b(m) be the second derivative of -m**3/3 - 8*m**2 + 3*m. Let i be b(-10). Solve a + k - 5 = 0, 3*a - i*k + o = -10 for a.
0
Let b be 2 + (3 - 2/(-2)*-2). Suppose 20 = -4*s + 5*s - b*j, 5*j - 131 = -4*s. Solve 2*v + 27 = -5*f, 0*v = -4*v - 5*f - s for v.
-1
Let i = -8 + 13. Let j be -1 + (-32)/(-3) - 31/(-93). Solve -3*a + j = i*p, 4*a = 2*p + 3*p - 10 for p.
2
Suppose -4*w + w = 75. Let c = -22 - w. Solve -c*h = 4*l + 22, 0 = 7*h - 2*h + 2*l + 18 for h.
-2
Let t(r) = 2*r**2 + 4*r. Let u be t(-6). Let w be (-1 + 4/6)/(u/(-576)). Solve 30 = -k - 4*k + 5*j, w*j - 16 = -4*k for k.
-1
Let h be (-33)/(-6) + 15/(-10). Suppose -3*b = 4*f - 0 - 2, f = -5*b + 9. Let d = -11 - -11. Solve -h*s + 4 = -d*s - 5*i, 0 = 5*s - b*i - 5 for s.
1
Suppose 69 = 4*v + 5*p, 0*p - p - 3 = 0. Let o = -14 + v. Solve -4*c - 5*q + o = 0, -4*c - 2*q + 10 = -0*q for c.
3
Let u(b) = 51*b**2 - 403*b - 10. Let h be u(8). Solve 5*k - 5*j + h = 0, 0 = -3*k - 4*j + 30 - 13 for k.
-1
Suppose 0 = 65*l - 32*l - 231. Solve -2*x = -2*j + 3*x - 11, 5*x + l = -4*j for j.
-3
Let z be 30/(-20)*80/(-30). Solve -4*k + 8 = 2*b, 0 = -z*k + 5*b - 19 - 1 for k.
0
Let z(f) = 3*f + 88. Let t be z(-28). Solve t*l - 2*i + 20 = 2*i, -1 = l + 3*i for l.
-4
Suppose t + 20 = 6*t. Suppose 2*k = t*k - z - 3, -9 = -4*k + z. Suppose 0 = k*u - 16 + 1. Solve -u*d - 3 + 14 = 4*b, -4*b = 4 for d.
3
Let g be 3/(-3 + 6) - 3. Let u be g/((-2)/12*3). Suppose 8*f - 3*f - 90 = 0. Solve 0*l + f = 2*s - u*l, -3*s + 2*l + 19 = 0 for s.
5
Let c(s) = s**3 - 18*s**2 + 2*s - 36. Let t be c(18). Solve -p - 2*u + 4 = -t, -5*p - 24 = -u for p.
-4
Suppose -4*m + 12 = 4*u - 3*u, -2*u - 5*m + 15 = 0. Let w be 3 + -4 + 3 + (u - -1). Solve 0*z + 3*z - w = 3*x, -4*x + z = -8 for x.
3
Let k = -677 + 679. Solve 0 = 3*w + 3*f, -5*w + 11 = k*f + 2 for w.
3
Suppose 2*k - 5 = 5. Solve -j = -k*u - 3*j + 1, 5*j = -5*u + 10 for u.
-1
Let y = -73 + 78. Solve -3*o - q = o - 11, -y*o - 2*q = -10 for o.
4
Let k = -4588 + 4592. Suppose l + c - 28 = -3*l, 5*c = -20. Solve 0 = -4*i - 3*o - 9, k*i + 3*o = -o - l for i.
-3
Let u(x) be the third derivative of x**5/60 - 2*x**3/3 + x**2. Suppose 24 = 45*v - 51*v. Let o be u(v). Solve 0*s + 3*s - i = -o, s + 4 = -5*i for s.
-4
Suppose -25 = -5*p - 5*w, -346*p + 5*w + 2 = -342*p. Solve p*f - 18 = -5*r + 2, 0 = 5*r + 5*f - 30 for r.
1
Let m(v) = -v**3 - v**2 + v. Let w be m(-2). Let d be 3/9*(2 + 7). Solve -5*i + 4*n + 21 = 0, -d*n + 9 = w*i - 4*n for i.
5
Suppose -u + 2 = -m - 2*u, -3*u - 6 = 5*m. Let j(k) = -k**3 - 50*k**2 + 48*k - 148. Let x be j(-51). Solve -c = -4*h + 21, 4*c - x*c - 5 = m for h.
4
Let m = -164 - -169. Solve m*v = r + 3*r + 4, 3*r = 3*v for r.
4
Suppose -11*h + 26 = 4. Solve 0*i = h*i + 5*y + 15, 3*y = -15 for i.
5
Let c(z) = -z**2 - 19*z - 11. Let s be c(-14). Let g = -57 + s. Solve -27 = 3*x + 2*m + m, 2*x + 2 = g*m for x.
-5
Let z be (((-198)/4)/3)/((-33)/44). Solve -6*w + h = -2*w - z, w + 3*h + 1 = 0 for w.
5
Let w(h) = h**2 + h - 1. Let i be w(-4). Suppose 4*l = x + i, 4*l - 2*x + 1 = -5*x. Solve -l*f - 2*t = 4, f - 18 = -4*f + 2*t for f.
2
Suppose -481*i + 93 = 5*d - 485*i, 72 = 4*d - 2*i. Solve 0 = -y + 4*a + 8, 3*a + d = y - 3*y for y.
-4
Suppose j = 3*o + 37, 2*o + 3*j = -5 - 38. Let r be (-306)/o + (-7)/(-49). Solve 3*p - 6*p - g + 11 = 0, 4*p + 5*g - r = 0 for p.
3
Let u(b) = 4*b**2 + 3*b - 2. Let k be u(2). Suppose 0 = 5*i + 2*d - 2, 5*i - 22*d + 3 = -19*d. Solve -o = 4*y + k, 3*y + i*y = -4*o - 28 for y.
-4
Suppose -125 = -4*i + q, 0 = -3*q + 1 - 4. Solve 3*h + 0*p = 2*p + 11, 3*p - i = -5*h for h.
5
Let y(d) = -d**3 + 7*d**2 - 14*d + 27. Let l be y(5). Solve 4*w + 2*t + l + 7 = 0, 3*w + 12 = -3*t for w.
-3
Suppose -a = -a + 5*a. Solve -2*v + a*j + 3*j = -7, 2*v = 2*j + 6 for v.
2
Let n = 412 + -410. Solve 1 - 5 = 4*d, v + n*d = 2 for v.
4
Let x = -636 - -636. Solve -4*q + 24 = 4*l, x = -12*q + 10*q + l for q.
2
Let l be (-6)/5*(-30)/9. Suppose 0 = 4*x - l*y - 68, y + 2 = -x + 19. Suppose 0 = -3*j + x - 2. Solve -j*n = -3*z + 20, -3*n - 4 = -2*n - 3*z for n.
-4
Suppose -2 = -a, -m - 4 = -4*a - a. Suppose 3*w - 2*g - m = 0, -5*g - 15 = 4*w - 0. Solve -3*b + 14 = -w*b + 2*r, r = -5*b + 21 for b.
4
Let f(d) = d**2 + 7*d + 14. Let s be (2 - (1 - 1))*-2. Let b be f(s). Solve -b*n + 0*h - 7 = -3*h, -4*h + 12 = 0 for n.
1
Let c = -128 - -114. Let n(p) = -4*p - 52. Let y be n(c). Solve -3*r + y = -4*v, 5*v + 40 = -0*r - 5*r for r.
-4
Suppose -2*o - 3*z - 3 = 0, o - z - 1 = -0*o. Let h = -288 + 292. Solve -2*s + 4*a + 4 - 10 = o, h*s + 3*a = -1 for s.
-1
Let w(s) = s**2 + 5*s - 11 + 2 - 2. Let i be w(-7). Solve 4*z + 2*c - 1 + i = 0, -2*c = -z + 12 for z.
2
Let a = -30 - -25. Let y be ((-32)/40)/(2/a). Solve -y*c + 4 - 2 = 4*k, 2*k + 4 = -2*c for c.
-5
Suppose 0 = 5*i - 5*g - 20, 4 = -5*g + g. Suppose -27 = -0*x - i*x. Let f = 58 + -52. Solve -5*n = 3*z + f, 0 = 4*z - 3*n + x - 1 for z.
-2
Let r = 1086 - 1078. Solve 0 = -5*h + r*t - 3*t - 35, 0 = -3*h - 2*t + 4 for h.
-2
Suppose 0 = -3*z - 5*d + 21, 0 = z + 2*d + 3 - 11. Suppose 2*f = -z*f. Suppose -2*p + 1 + 7 = f. Solve 9 - 1 = 2*a + p*y, -5*a - 4*y + 2 = 0 for a.
-2
Let m be (0 - 9/5)/(684/(-11400)). Solve 0 = -5*a - 5*x - m, a - 10*x + 5*x - 12 = 0 for a.
-3
Let b be ((-3)/30)/(-1) - (-118)/(-1180). Solve m - 15 = 5*a - b*a, -3*m = 3*a - 9 for a.
-2
Let v = 1 + -1. Let n be 27/6 + (-4)/(-24)*-9. Let m = n - v. Solve -2*z - m*z - 7 = -2*l, 4*z + 4 = 2*l for z.
-3
Suppose -17 = 2*y + 5*d, 2*y - 12 = -d - 9. Solve 2*a + 2*a + 16 = -y*m, 4*m + 10 = -a for m.
-2
Suppose -5*t + 13 + 12 = 0. Let h be 10/(-85) - 427/(-17). Suppose 5*r - h - 65 = 0. Solve 4*u = -y - 15, 2*y - r = t*u - u for y.
1
Let q(f) = 14*f + 85. Let m be q(-6). Solve 5*c = -4*v, -v - 2*c + c = -m for v.
5
Let y = -15 + 21. Suppose y*k = 5*k + 11. Let f = 13 - k. Solve 5*w = 3*p - 27, 5*p - 7 = -5*w - f for w.
-3
Suppose -2 = -i + 7. Suppose 2*k + 2*n - 2 = 0, -5*n + i = -k + 34. Let j = 31 + -21. Solve y - j = -3*s, y = k*y - 2*s + 16 for y.
-2
Let q = 166 - 70. Let c = q + -60. Solve 4*v - c = -4*z, -4*z + 0*v + 26 = 2*v for z.
4
Let k = -224 - -237. Let p = -14 + 6. Let c = p - -11. Solve z - 4*z + 21 = 3*g, -z = -c*g + k for z.
2
Suppose 9 = 3*b + 2*j - 8, -4*b + 4*j = -16. Solve -4*x + 15 = -p, b*x - 2*p - 27 = 2*p for x.
3
Let q = -5 + 12. Suppose 5*m - q*m + 4 = 0. Suppose 5*z - 15 = -2*k, m*z + k = 5*z - 9. Solve -3*w - w + 19 = z*j, -3*w - j + 8 = 0 for w.
1
Suppose 2*l - 11 = -3*r, -2*l - 3*r = 2*l - 19. Solve -7 = q - 2*y, 2*q - 2 = -l*y - 0 for q.
-3
Let s be -2 + 1 - (1 - 5). Suppose 6 - 1 = w. Let i be -1*(w/(-15) + 1/3). Solve q - s*f + 4 = i, 2*f + 5 = 3*q + 3 for q.
2
Let i(k) = 57*k - 265. Let q be i(5). Solve -5*c = 4*p + q, 2*c - 5*c - 12 = -2*p for p.
0
Let a = 344 + -335. Solve 3*s + 0*s - a = 2*c, -4*s + 5 = -5*c for s.
5
Let x(p) = -p**3 + p + 4. Let y be x(0). Let t(z) = -2*z + 9. Let b be t(3). Let q = b + y. Solve 0 = -3*u - s - 2, -2*u + 5*s - q = 0 for u.
-1
Let t(q) = 31*q**2 - 2*q - 1. Let y be t(-1). Let r be (-24)/y*(-8)/2. Solve 3*j = 4*d - 13, d + j - 1 = -r*d for d.
1
Let r = 10 - 7. Suppose -r*x - 52 = -5*q, -q + 26 = -2*x + 10. Suppose g + g = q. Solve a = 4*a - g*o + 29, -5*a - o = 10 for a.
-3
Let s be 42 - (18/12)/((-6)/(-8)). Let w be (s/(-16))/(((-5)/(-2))/(-5)). Solve -w*y + 0*y = 4*f + 37, f - 7 = 2*y for y.
-5
Let g be (-10)/(-25) + 2/(-5). Suppose 0 = -5*u - d + 1, 5*u - 5 = -g*u - 5*d. Solve 3*o - 25 = 3*t - t, u = -o - 3*t - 10 for o.
5
Suppose -10*f = 52 - 82. Solve 0 = 3*s + w - 3*w - 1, -4 = f*s - w for s.
-3
Let x = 521 + -498. Solve 5*n = -4*s + x, -6*s = -s + 3*n - 19 for s.
2
Suppose -5*h = 2*u + 1 - 2, -3*u = -2*h + 8. Suppose h = 4*l - 15. Suppose 17 = -5*i + 42. Solve -o - 20 = -i*v + l*o, -3*o - 6 = 3*v for v.
1
Suppose 4*l - 7 = 1. Let a(s) = -s**2 - 25*s - 126. Let d be