1
Suppose -4*s - 3 = 1, -4*s + 26 = -3*d. Let y be 6/15 - 36/d. Solve t - 7 = 3*i, -y*i - 5 = -3*i + t for i.
-3
Let q = 14 + -10. Suppose q*v = 2*v + 8. Suppose -1 = 5*u + 3*c - 11, -2*c = 10. Solve -u*i + 5*f = v*f - 2, 0 = -4*i - f + 7 for i.
1
Let s(f) = f**2 + 5*f + 6. Let a be s(-5). Suppose 3*y = a*y. Let v = 5 + y. Solve 2*k + 3*k = -v*z, 0 = -3*k for z.
0
Let t be ((-3)/(-5))/(1/5). Let o = 8 - t. Let h(r) = 19*r + 1. Let q be h(1). Solve q = -o*v + l, -l + 8 = 2*v - 3*v for v.
-3
Let l = 43 - 42. Suppose -3*u - 6 = -0*u, 2*v - 5*u - 20 = 0. Let m = v - 5. Solve m = -w - 2*h + 6, -w + 0*w - h = -l for w.
-4
Let m(y) = y - 3. Let g be m(4). Suppose -3*x + g + 20 = 0. Let n = 13 + -8. Solve -z - x = 5*d + 2, 5*d = -n for z.
-4
Let o(v) = 10*v**2 - 1. Let f be o(1). Let d = 4 + f. Suppose -2*l = -5*w + l + 27, -3*w + l = -d. Solve -3*a + 2*n + 8 + 7 = 0, w = -n for a.
3
Suppose 0 = -4*b - 7 - 9, -4*a + 92 = -4*b. Suppose 11 = 5*s - a. Let o = s - 1. Solve 2*z + 6 = -f, 2*z - 4*f + 1 = -o for z.
-3
Let v(h) = -h**2 - 11*h + 1. Let p be v(-8). Solve 5*m = 5*n - p, -12 = 3*m + n + 3 for m.
-5
Let a = 11 - 5. Let m = 13 - 9. Let r = a - m. Solve -9 = -i - p, 2*p - r = -i + 11 for i.
5
Let r(g) = g**3 + 5*g**2 - 14*g + 2. Let u be r(-7). Solve 2*x = l - 3, l - 4*x - u = -1 for l.
5
Suppose 35 = 3*t + 2*t. Suppose -5*i + t = -3. Solve 13 = -3*o + p, -4*o - p - 13 = i*p for o.
-4
Suppose 0 = -4*s + i + 79, s + 2*i = -2*s + 51. Let j be 1 - -2 - -2*1. Let u be (-2)/(-6) + j/3. Solve 0*a = 3*t + a - s, 5*t + u*a - 33 = 0 for t.
5
Let t = 16 - 11. Solve -5 = t*a + 2*y, 15 = -5*a + 2*y - 10 for a.
-3
Let g = 112 + -102. Let o(l) = -2*l + 4. Let w be o(4). Let f = w + 10. Solve -5*s + 5*z + g = 0, -f*s - 4*z = -2*s for s.
1
Let a be 1230/51 + 4/(-34). Solve 13 = -5*y - 2*g, 4*y + 6*g + a = g for y.
-1
Suppose -5*p + 5*i + 11 = -9, -24 = -4*p - 4*i. Solve 4*n + 0*n + p*s = -6, -10 = -5*s for n.
-4
Let f be 8/36 + (-140)/(-18). Let m = f + -4. Suppose -m = -3*b - c + 13, -5*b = 2*c - 29. Solve 3*q - 18 = 4*x, -2*q - 19 = b*x - 4*q for x.
-3
Let p(c) = -c**2 + 5*c. Let k be p(5). Solve k = -2*w + 4, -f + 5*w = 4*f + 10 for f.
0
Let h be 6/(-27) + 4/18. Solve 0 = 2*a - 7*a - 3*k - 26, 3*a + k + 14 = h for a.
-4
Let c(n) = 6*n**2 + n. Let w be (-1)/(-2) + 24/(-16). Let d be c(w). Solve 5*z - 5*m = -d, 0*z - 5*m + 17 = z for z.
2
Let n(k) = 7*k + 5. Let z(f) = f. Let a(y) = -n(y) + 6*z(y). Let o be a(-7). Solve 0 = 4*x + o*u + 16, 1 = 5*x - 2*u + 3 for x.
-2
Suppose 0 = -d - 3*n - n + 12, 4*n - 12 = 5*d. Suppose -3*w - 7 = -19. Solve 20 + d = 5*g, -4*o - w*g + 16 = 0 for o.
0
Let y(r) = r + 4. Let b be y(-5). Let h = 3 + b. Suppose 2*c - 4 - 4 = 0. Solve 4*w = -3*f - 9, 4*f = h*w - c - 8 for w.
0
Suppose 21 = 6*m + m. Solve -2*w - p + 3 = -0*w, -3 = m*w + 4*p for w.
3
Suppose 0 = 3*z + c + c - 7, 2*z - 4 = -2*c. Let m = z + -3. Suppose m = -r - r. Solve b - 4*a - 1 = 0, -b = -r*b + 3*a - 1 for b.
1
Let m be ((-4)/(-10))/((-4)/(-20)). Solve -m*s = 5*t + 1 - 5, -3*t + 15 = -3*s for s.
-3
Suppose -2*j + 2*v - 3*v + 18 = 0, 0 = 4*j - 3*v - 46. Suppose -1 = 3*r - 7. Solve r*t + 2*s - 7*s = 14, j = -5*s for t.
2
Let q be (-8)/(-36) - 151/(-9). Let t(j) be the third derivative of j**4/24 + j**3/6 - 2*j**2. Let u be t(2). Solve u*w - o = -12 + 25, -q = -4*w + o for w.
4
Let d(j) = 2*j**2 + j. Let y be d(-4). Suppose -g + 3 + 4 = 2*i, -4*i = -2*g - 2. Solve -5*c - 6*u + 41 = -2*u, -4*c - i*u = -y for c.
5
Suppose -5*u - 3*w = -15 + 4, -4*u = -w - 2. Let h be u + -4 - (-2 - 1). Suppose -d + h + 2 = 0. Solve -3*t - 4 = -n - 14, -d*n - 5*t = -35 for n.
5
Let b = 1 - 1. Suppose -3*l + 2*m + 19 + 7 = b, 4*l + 5*m - 50 = 0. Let s = 20 - l. Solve -p - p + 20 = 4*n, 2*n = s for p.
0
Let c(j) = -j**3 + 12*j**2 - 10*j - 7. Let x be c(11). Let b(i) = 3*i**2 - 4*i. Let o be b(3). Solve -q - x*a = -a + o, -5*a = 20 for q.
-3
Suppose 0 = -3*o - o - q - 96, o - q + 24 = 0. Let m = -34 - o. Let t be (0 - 1)*(m - -8). Solve -2*f - t*d = 2*d + 8, 4*f + 4 = 4*d for f.
-2
Let y(r) = r + 4. Let g be y(-2). Solve -g*h = 5*v + 23, 5*v = 5*h + 6*v for h.
1
Let g = 47 - 44. Solve -g*d + 5*a = -7, 5*a + 8 = 2*d - 0 for d.
-1
Let f = -5 - -7. Let i = 1 - -8. Solve -3*b = 15, -b = f*x - 4*b - i for x.
-3
Suppose -2*m + 16 = 3*g - 3, 16 = 2*g + 3*m. Solve 0 = -4*w - 3*b - 10, -8*b + 3*b = -g*w + 5 for w.
-1
Let h be 3*12/(-9)*4. Let j = h - -21. Solve 0 = y + 2*s - 8, 13 = j*s - 12 for y.
-2
Let d be -6*(4/(-3) + -1). Let x(w) = -w + 16. Let q be x(14). Suppose q*h - 2*t + 1 = 7, 0 = -h - 3*t - 9. Solve 5*m - 3*a = -d, h*a = -5*m - 4*a - 28 for m.
-4
Let b(y) = -y**2 + 9*y - 11. Let s be b(7). Solve 2*x - 4 = 5*k + 5, x - 5 = s*k for x.
2
Suppose -8*w + 4*w + 8 = 0. Solve m - 15 = 5*o, 0*o - 8 = -w*m - o for m.
5
Let u = -63 + 68. Solve 5*q - 17 = -4*g, u*q - 3 - 5 = -g for g.
3
Let n be 24/14 + (-2)/(-7). Let x be (-4)/16 + (-2)/(-8). Solve -3 = 4*k + j + 3, x = -j + n for k.
-2
Let u = -77 + 108. Let w = -15 + u. Solve -2*z = 5*d + 14, -5*z = 4*d - d + w for d.
-2
Suppose 0 = -2*s + 3*s - 12. Suppose 7*q - 6*q - s = 0. Suppose p - 6*p = -i, 3*p = 2*i - 21. Solve 2*g = 2*m - q, -5*g - 3 = -m + i for g.
-3
Suppose 0 = -2*i - 3*l + 22 + 32, 0 = -2*i + 3*l + 66. Solve 5*p - 5*t = -i, 3*p + p + 5*t = 12 for p.
-2
Suppose 4*y + 12 = a + 3*a, 0 = 4*a + y - 17. Suppose u - a = -4*x + 9, -u - 3*x = -16. Solve -4*r = -q - 25, -4*q - 3*r = -4*r + u for q.
-5
Suppose 3*z = 5*z + 2. Let l = z - -3. Suppose -3*u + l*u + 2 = 0. Solve -3*v = -5*x - u - 11, 0 = -5*v + 5 for x.
-2
Let n(r) = r**2 + 4*r - 1. Let l be n(-5). Suppose -l*j + 32 = -0*j. Solve 4*d + j = -h, 0*h - 6 = 3*h + 3*d for h.
0
Suppose 8 = 3*u + u. Suppose c - 2 = f, u*c - 5*c = -f - 12. Solve 0 = c*m - 5*d - 15, 5*m = 2*m - 2*d + 19 for m.
5
Suppose -5*h - 2*g = -42, 3*g + 1 = 4*g. Solve -3 = 4*f - 3*n - h, -2*f - 3*n = -25 for f.
5
Let m be (-24)/(-7) + ((-6)/(-7))/(-2). Solve -w + 8 = 2*h - h, -m*w + 4*h - 4 = 0 for w.
4
Let h(z) = 2*z**2 + 4*z + 2. Let l be h(-2). Solve l = -2*x + t + 1, 4*x = t - 1 for x.
0
Let j(a) = -2*a + 3. Suppose 5*o = -5*d, -3*d + 2*o = 6*o. Suppose y + 4*m + 14 = d, y - m = 2*m. Let w be j(y). Solve 5*g = -w, 0*r + 2*g - 6 = 3*r for r.
-4
Let b = -27 + 44. Solve -b = 5*j - 3*n, 3*j - 9 = -0*j - 3*n for j.
-1
Let j be (-6)/((-2)/((-12)/(-9))). Let h = -1 + j. Suppose 0*v - 48 = -h*v. Solve 2*b + v = -2*c, 2*c + 5 = 5*b - 2*c for b.
-3
Suppose 7*k = 3*k + 72. Suppose -4*q - 6 = -k. Let o(s) = s**3 - 8*s**2 + s - 4. Let p be o(8). Solve 18 = -q*f - p*m, f - m - 1 = -0*m for f.
-2
Let l be ((-18)/15)/(2/(-10)). Suppose 4 = 4*r - 4*f, -3*f - l = -3*r - f. Suppose r*s = 2 + 14. Solve s*d - 2*d - 5*k = 17, -3*d - k = 0 for d.
1
Let d = -17 + 20. Suppose 3*v + 0*f - 5*f = 80, -3*f = d. Solve -x = -2*x + 2*l + 5, -5*x = -2*l - v for x.
5
Let v = -24 + 26. Solve -2*f = 2*t + 12, -10 = -3*f - v*f + 3*t for f.
-1
Let l be (18/3)/(12/8). Solve l*c - 6 = 3*t - 2*t, c + 4*t = -7 for c.
1
Let l = 16 - 6. Let z be l/15 - 2/3. Solve p = -3*t - z + 2, -4*p + 3*t + 8 = 0 for p.
2
Let x(a) = -2*a + a - 1 - a. Let f be x(-2). Solve -5*c + j + 10 = 0, f = 3*c - j - 1 for c.
3
Let u be 3*4/18*3. Let d be 2 - (u + -1) - -1. Let s = 18 - d. Solve 0*h - m = 2*h - 4, -2*h + 4*m - s = 0 for h.
0
Suppose -5*j - 25 = -i, 4*j + 0*j - 100 = -4*i. Let m(t) = -t**2 - 9*t - 5. Let r be m(-8). Solve r*x - 15 = 0, -3*x = -2*f - 8*x + i for f.
0
Let i(b) = -b**3 - 6*b**2 + 2*b - 6. Let w be i(-6). Let f = w - -21. Solve 9 = -f*h - h - 5*y, -5*y = 5 for h.
-1
Let y = 1 + -1. Let j be (7 + -3 - 3) + 1. Suppose 0 = j*x - y*x. Solve x = 2*v - 4*g + 4, 5*v + 3*g - 3 = 13 for v.
2
Suppose 3*v - 4*b = 8*v - 10, 0 = -4*b. Solve 4*u - v*r = -3*r - 11, 2*u - 3*r = -9 for u.
-3
Let b(u) = -u**3 - 7*u**2 - 7*u - 4. Let m be b(-6). Let j(g) = -3*g - 6. Let o be j(-4). Suppose o + 0 = p. Solve 2*i + 14 = -2*r, m*i = -r + p*r + 7 for r.
-3
Suppose 3*u = -0*u + 4*i + 17, 4*i = -2*u - 22. Let x be (0/(u - -3))/(-2). Solve -4*d + r - 5*r - 16 = 0, x = 3*d + r + 12 for d.
-4
Suppose -2*i - 40 = -0*i. Let x be 5*(1 + (-36)/i). Solve 3*s - l - 18 = 0, s + 6 = l + x for s.
5
Let d be ((12/10)/(-3))/(2/(-10)). Solve d*l - 24 = -3*p - 8, -4*l + 12 = -4*p for l.
5
Let