 + 2*s + 10, -5*c = -s + 1 - 6 for c.
0
Suppose x + 21*x - 352 = 0. Solve 5*i + x = -4*l - 0, 5*i + 2*l + 8 = 0 for i.
0
Let s(d) = 2*d + 38. Let g(a) = 1. Let o(f) = -4*g(f) - s(f). Let q be o(-27). Solve 5*t + q = -4*c, 5*t + 14 = -4*c + c for c.
2
Let t(u) = -u + 8. Let b = -3 - -10. Let j be t(b). Suppose 16 = w - j. Solve -3*x - x + 3*a - w = 0, 2*x - 4*a = -16 for x.
-2
Suppose 11*i = 10*i + 5. Solve -i*b + 3*w + 25 = 0, 2*b - 10 = -0*w - 2*w for b.
5
Suppose 0 = 29*y - 51 - 36. Solve 2*i + 8 = -2*d + d, -d - y*i = 10 for d.
-4
Suppose 33*x - 4 = 31*x + n, 4*n - 23 = -5*x. Solve -7 = 5*l + x*v + 5, -20 = 5*v for l.
0
Suppose -7*c + 60 = -2*c. Suppose 0 = -n + 2*n - c. Suppose -2*x - x = -n. Solve -3 = -u + 2*y, u = x*u - 4*y - 3 for u.
-3
Let v(l) = -l**2 + 2*l + 3. Let u be v(0). Suppose 0 = 3*p - u*f - 15, 19 = 3*p + f - 0*f. Solve p = 3*x - x, 4*c + 5*x = 27 for c.
3
Suppose 0 = -2*f - 45 + 15. Let k be (24/(-15))/((-6)/f)*-4. Solve -5*i + 2*i + t = -9, 0 = 2*i - 4*t - k for i.
2
Suppose 2*b - 2*f + 12 = 2*f, f = 4. Solve -2*y = -5*i + 21 + 1, 0 = -b*i + y + 9 for i.
4
Let h = 1 + 0. Suppose 0 = 3*u - h - 8. Suppose 0 = -2*c + u*c - 8. Solve -4*v - 8 = -4*a - 24, -c = -2*v - 2*a for v.
4
Suppose d - 3 = x, -4*d + 15 - 3 = x. Solve 1 + 2 = 4*w - d*j, -6 = -2*j for w.
3
Suppose 152 = 59*o + 34. Solve -k = 2*p + 1 + 2, o*p - 5*k = 15 for p.
0
Let g be 2/(-7) - (-322154)/98. Suppose -887 = -3*a - g. Let t be (2/5)/((-10)/a). Solve 0 = -2*p - 3*b + 1, -p + 5*p = 4*b + t for p.
5
Let i = -146 - -149. Solve -5*j - i*h = 28, -2*j = -0*h - 2*h + 8 for j.
-5
Let i be ((-24)/54)/((-3)/((-54)/(-4))). Let r = -6 - -16. Let p be 5/(-2)*(-12)/r. Solve p*k - 7*k - h = 20, -5*k = -i*h + 25 for k.
-5
Let q be 1/(4/28*-1). Let f = 9 + q. Suppose h = -3*z + f*z + 5, 2*z = -h + 3. Solve 0 = 5*k - p + 15, h*k - 2*p = 4*k - 2 for k.
-4
Let k be (-152)/20*25/(-10). Let s = -19 + k. Solve -n + 3*n - 5*d = 5, s = -5*n - 4*d + 29 for n.
5
Let p = -274 + 277. Solve -p*s + 25 = -5*v, 10 = -2*s - 2*v - 0 for s.
0
Let n(j) = -2*j - 11. Suppose 0 = -10*t - 27 - 43. Let z be n(t). Solve -10 = z*m + 4*u - 41, 2*m - 14 = -u for m.
5
Let b(p) = -4*p - 2. Let x be b(-6). Let a(d) = -11*d + 156. Let m be a(14). Solve y - 3*n = 2*n - x, -3*n + 8 = m*y for y.
-2
Let l(d) = d**2 + 5*d + 3. Let n be l(-5). Suppose 3*k = 4*k + 5*c - 20, 5*c = -2*k + 50. Solve -5*u + 18 = 2*t + n, 5*u - k = -5*t for t.
5
Let q(a) = -a**3 - 5*a**2 - 12*a - 15. Let m be q(-3). Solve 3*h + 9 = 0, -4*h = m*n + 2 + 4 for n.
2
Let z(x) = x**2 + 5*x - 80. Let p be z(-12). Solve s + 18 = -p*g, 0*s + g + 15 = 5*s for s.
2
Suppose 24 = -k + 5*w - 1, 15 = -k + 3*w. Solve 0 = -3*c - 2*v + 12, -2 = -k*c + 5*c - 4*v for c.
2
Suppose 3888 = c + 8*c. Suppose 0 = 2*p + 14*p - c. Let r be 8/(-36) - (-94)/18. Solve 0 = -o + 5*s - 18, 0*s - p = 4*o - r*s for o.
-3
Suppose 3*i = -8*i + 33. Solve 0 = 5*p - 5*h + 25, 4*p + h + i*h + 20 = 0 for p.
-5
Suppose 5*l + 3*z - 19 = 0, -8 = 2*l - 0*l - 4*z. Let q = l + 1. Let i = -639 + 643. Solve -2*m = q*m + 2*w - i, 2*w - 4 = 3*m for m.
0
Suppose 0 = p + 4*l - 42, -174 = 2*p - 7*p - 2*l. Let y = p + -32. Solve -2*z - 2 = -2*m, -13 = -5*m - y*z - z for m.
2
Let x = 337 + -325. Solve 2*w - 2*b - 2*b = 16, -3*b - x = 3*w for w.
0
Let i be 0 - -1 - (5 + -4). Let p be 3 + i*(-4)/(-12). Suppose -b + 3*b = -u + 11, -p*b - 99 = -4*u. Solve -4*s - 4 = -4*h, -4*s - h = -0*h - u for s.
4
Suppose -6*w - 322 = w. Let l = w - 12. Let r = -22 - l. Solve 2*t - t + 12 = -4*q, 0 = 4*t - 5*q - r for t.
4
Suppose 5*o = 3 + 12. Suppose 15 = 2*a + o*a, 0 = -s - 5*a + 17. Solve 0*r = -s*w - 2*r + 4, 5*w - 3*r = 18 for w.
3
Suppose -h + 8 - 4 = 0. Let t be ((-4 + 2)/h)/(6/(-24)). Solve 3*j - t*v = -6*v - 35, 4*j + 5*v = -45 for j.
-5
Let q(x) be the third derivative of -x**6/120 + x**5/60 + x**4/2 + 5*x**3/6 + x**2 - 1. Let l be q(4). Solve z + l*m - 12 = 0, 4*z = -z - 4*m - 3 for z.
-3
Suppose -5*n = -7*n + 12. Suppose 2*p = -2 + n. Solve -2*w + 3*z - 8 = 13, w - 7 = -p*z for w.
-3
Let z = -500 - -500. Solve 5*y - 16 = -3*v, -5*v = -3*y - z*y - 4 for v.
2
Let h = -14 - -19. Solve 0*s - 27 = -5*r - s, h*s = -2*r + 20 for r.
5
Let k(p) = 3*p**2 + 25*p + 25. Let h be k(-1). Solve 3*a + 5*v + 2 + 12 = 0, -a = h*v + 10 for a.
2
Let f = -31 + 34. Suppose -f*i = -2*w - 7, 5*i - 2*w - 20 = -7*w. Solve -4*o + 4*q = 0, 3 + 5 = -5*o - i*q for o.
-1
Let l(h) = h + 28. Let k be l(-12). Suppose -5*m + p + 20 = 0, -4*m + k = p - 9. Solve 0 = m*c - 2*c + 3*o - 15, 0 = 4*c - o for c.
1
Let w be 68/16 + (-3)/12. Solve 21 = -5*x + i, i - w = -3*i for x.
-4
Let c(x) = -14*x + 828. Let n be c(59). Solve 0 = n*g + 5*t - 27, -7*g - 15 = -2*g - 4*t for g.
1
Let i(a) = 3*a. Let n be ((-5)/(-15))/((-2)/(-6)). Let y be i(n). Suppose y*s = 5*s. Solve -5*u = 2*j + 10, -u = -s*u + 2 for j.
0
Let l(w) = 36*w - 139. Let j be l(4). Solve t - 4*p = -3*p - 3, -3*p = -t - j for t.
-2
Let z(c) = c**2 - 4*c**2 - 2*c + 4 + 2*c**2. Let w be z(0). Solve -3*n + 13 = -w*y - 4, -3*y - 2*n = 0 for y.
-2
Let z be 13/7 + (-6)/(-42). Solve -5*g + 2*g - 9 = z*u, -5*g + 2*u + 1 = 0 for g.
-1
Let x(r) = -2*r + 6. Let c(o) = -2*o + 5. Let b(t) = 6*c(t) - 5*x(t). Let z be b(-2). Suppose -2*i + 3 = -7. Solve -21 = i*m + z*s, 4*s + 10 = 3*m + 29 for m.
-5
Let t(u) = 12*u - 152. Let p be t(13). Solve -l + 12 = -p*z, 2*l = -0*l + 5*z + 15 for l.
0
Let k(t) = t**2 - 29*t - 163. Let z be k(34). Solve 0 = 3*f - 3 + 6, f = 3*p - z for p.
2
Let c = 56 + -48. Suppose 5*h = h + c. Solve -f = t + 4, -h*f = 3*f - 5 for t.
-5
Let v = -238 + 239. Solve 4*t = 3*p - v + 4, -5*t - 5*p = 40 for t.
-3
Suppose -3*b = -c + 4, -7 = -2*c + 4*b + 1. Let d be c/(-10) + (-332)/(-5). Suppose -d = -0*a - 3*a. Solve -4*t = -r + 9, 4*r - 2*t - a = -0 for r.
5
Let i be (-4)/(((-20)/(-80))/(1/(-4))). Solve l + 12 = -i*m, -3*m + 2*m - 3 = 2*l for l.
0
Let z = 11 - 8. Suppose 0 = -z*x - 0*w + 4*w + 25, 0 = 2*x - 3*w - 18. Solve -d + 2 = 2*b, -4 = 5*d - x*b - 1 for d.
0
Suppose -3*j - 15 + 5 = l, 4*l = 2*j + 30. Solve -l*g - 2*u + 7 = 0, 3*g - 2*u - 8 = 9 for g.
3
Let r(y) = y + 4. Let s be r(5). Suppose -3*c - 7 = n - 9, 3*n = 4*c + 32. Solve 5*g = -2*o + 1 + s, -2*o = -4*g + n for g.
2
Let c(z) = -z**3 + 7*z**2 + 19*z - 8. Let w be c(9). Let d = 5 - 2. Solve -d*l - 21 = 2*i, i - l - 1 = w for i.
-3
Let a = 4 + -22. Let z be (-20)/(-90) + 4/a. Suppose 20 = 4*t - 2*q + 3*q, z = 5*t + q - 25. Solve -3*p = 3*x - t*x - 14, -2*x + 4*p - 18 = 0 for x.
-1
Let o(l) = -l**3 + 14*l**2 - 12*l - 10. Let f be o(13). Suppose 3*a - 24 = -f*s, 0 = -s - 4*s - a + 20. Solve h + 15 = -s*x - 0*h, 0 = 3*h for x.
-5
Suppose -4*h - 6 = z + 193, 5*h - 5*z = -280. Let d = 57 + h. Solve -2*y = -2*m + 2 + 6, -5*m = 2*y - d for m.
2
Suppose 13 = 2*y + 3*a - 6, 10 = 5*y - 5*a. Solve -3*o + 1 = y*t, 6*o = 4*t + 4*o + 8 for t.
-1
Let c be (2 + -2 - -1)/((-28)/(-336)). Solve 2*x = 17*a - c*a + 9, -2*x + 3 = a for x.
2
Suppose -n + 48 = -2*f, 2*f = 6*n - 3*n - 52. Let o = f + 44. Solve -3*q - 2*y - 11 = -0*y, -q - 5*y - o = 0 for q.
-1
Let j = 30 + -27. Suppose -3*z - 132 = 2*r, 127 = -4*r + 3*z - 119. Let l be (20/(-7))/(18/r). Solve 0*x = 5*u + 5*x - l, -5*u + j*x = -10 for u.
2
Let w = -18 - -18. Let n be 3/(-1) - (15 - 1)/(-2). Solve w = -n*s - 4*j - 36, -7 = s - 3*s + 3*j for s.
-4
Let r be -1 + 8/(16/66). Suppose -6*b + 2*b + r = 0. Solve -t - p = -b, 2*t - 7 = -p + 2*p for t.
5
Let t = -195 - -201. Solve 4*f + 3*l = -t, -1 = 4*f - 3*l + 17 for f.
-3
Suppose 19*k - 37 - 1 = 0. Solve k*p - q + 13 = 0, 5*p = 5*q + 15 - 55 for p.
-5
Suppose 0 = 2*d - d. Let z(n) = n**3 - 2*n**2 - n - 1. Let x be z(4). Suppose f + 2*f - x = d. Solve 5*t - h = f + 1, -5*t + 4*h - 5 = 0 for t.
3
Let p be (-3)/12 - 102/8. Let q = p + 18. Suppose -v = 4*i - 23, -i + 5*i = q*v - 19. Solve 3*r = 2*j + 5*r + 6, v = -3*j - r for j.
-2
Suppose -4*z - 2*k + 22 = 0, -5*z + 20 = -9*k + 10*k. Solve 5*x + 6 = -4*m, 5*m - 4 = -z*x - 18 for x.
2
Let i = 212 + -204. Solve 2*t - 1 = 3*n - i, -2 = 2*t - 2*n for t.
4
Let s(c) = c + 4 + c - 2 - 1. Let p be s(2). Solve -i = -2*t - 2*t - 1, p*t = 3*i - 10 for t.
1
Let a be 42 - (1 + (3 - 1)). Suppose -u + 4*t + a - 119 = 0, u + 2*t + 68 = 0. Let h be 6/(-8)*u/27. Solve 3*m - 14 = h*d, -5*d - 4*m 