 -2*t + 6, 0 = -6*i + 3*i. Suppose 25 = 2*s + t*s. Suppose 432*n = 433*n - 4. Solve n*j - s = -1 for j.
1
Let f(d) = 2*d + 3. Let n be f(-7). Let j = -17 - n. Let x = -2 - j. Solve -3*p + 8 + x = 0 for p.
4
Suppose -4 = 7*a - 60. Solve n = 3*n + a for n.
-4
Let f(z) = -2*z**3 + 8*z**2 + 9*z + 6. Let a be f(5). Solve -a = -o - 4 for o.
-3
Let k = -4 + 8. Let z be (-10)/(-4)*16/20. Solve 0 = -k*j + z - 18 for j.
-4
Suppose -a + 3*s = -5, -5 = -2*a - 0*s + s. Solve 0 = 5*n - 8 - a for n.
2
Let l(s) = s**3 - 14*s**2 + 15*s - 20. Let q be l(13). Solve -2*w - q = -4 for w.
-1
Suppose 5*x = 4*x - 3, 4*r = -4*x. Solve 4 = -t - r*t for t.
-1
Suppose 17 = 4*o + 5*z + 4, -3*z - 23 = -2*o. Suppose o*n = 3*n + 12. Solve 0 = n*t + 2*t + 15 for t.
-3
Let n(f) = -3*f + 13*f - f**2 + 0*f**2 - 11. Let w be n(8). Let o(t) = 2*t**3 - t**2 + 2*t - 1. Let x be o(1). Solve b - x = -w for b.
-3
Let i(x) = 3*x**2 - 4*x + 1. Let p be i(1). Solve k + p = -4 for k.
-4
Let f be -3 + 6 + (-5 - -2). Suppose 4*u - 3 - 1 = f. Suppose -3*l + u = -h, -h + 0*l + 4 = 2*l. Solve 1 = n - h for n.
3
Let q(b) be the second derivative of -b**4/12 + b**3 - 5*b**2/2 + 3*b. Let i be 114/22 + (-10)/55. Let w be q(i). Solve 2 = -s - w for s.
-2
Suppose 6*b - 3*b = 27. Solve 1 = -5*y - b for y.
-2
Suppose -f = 2*j + 3*j - 7, -5*f - 4*j - 28 = 0. Let u = f - -12. Solve -u*i = i for i.
0
Suppose -q - 3*q = -4. Suppose -6 = -g - 2*g. Suppose g*w = -4*x + 2, 3*x + 0*w + 4*w + 11 = 0. Solve x = o + q for o.
2
Let n(d) = 7*d**2 + 18*d - 19. Let i(h) = -3*h**2 - 9*h + 9. Let k(o) = 9*i(o) + 4*n(o). Let z be k(9). Solve g + z = -4*g for g.
-1
Let x(k) = 3*k**3 - 8*k**2 - 2*k - 4. Let h(w) = 7*w**3 - 16*w**2 - 3*w - 7. Let a(l) = 4*h(l) - 9*x(l). Let p be a(-7). Solve 3*q + p = -0*q for q.
-5
Let d = 12 + -7. Suppose -2*o + d*o - 39 = 0. Solve o - 3 = -5*j for j.
-2
Suppose 10 = 3*j - 2*q, -2*q = -2*j - 4*q + 10. Solve 0 = 2*g + j - 6 for g.
1
Let n = 24 - 10. Let u = -28 + 31. Solve u*g = 2 - n for g.
-4
Let i be (-1)/4 + (-516)/(-16). Let x be (-2 - i/(-12))*3. Solve -x*q + 4*q = 0 for q.
0
Let s(o) = -1. Let b(f) = -5*f - 1. Let u(l) = -4*l - 1. Let t(k) = -3*b(k) + 4*u(k). Let r(m) = 6*s(m) - t(m). Let z be r(7). Solve z*x + 20 = 7*x for x.
4
Let y(q) = -2*q + 5. Let k be y(6). Let m(n) = n**2 + 7*n + 3. Let w be m(k). Solve -w*b + 3 = -3 for b.
2
Let f be (3 - 0)*(-6)/(-9). Suppose -s = -3*s. Suppose f*k + s*k = 16. Solve i - 3*i = -k for i.
4
Suppose -3*y + 2 + 7 = 0. Solve -3*q + y + 9 = 0 for q.
4
Let c(a) = a + 8. Let l be c(-6). Let w(r) = l - 2*r + 0*r + 2*r + r. Let d be w(5). Solve 4*t - 9 - d = 0 for t.
4
Let c(y) = -y**2 + y - 10. Let u be c(0). Let o = -8 - u. Solve -3*t = -o - 7 for t.
3
Suppose 0 = -0*a + 4*a - 60. Solve -b - a = -6*b for b.
3
Suppose -2*l = 4*n + 20, l + n = -0*l - 5. Suppose l*z - 19 = z. Let u = z - -27. Solve -2 + u = -2*y for y.
-3
Suppose t - 5*t - 2*s + 34 = 0, 0 = 4*t + s - 31. Let c(v) = -v**3 + 7*v**2 + v - 7. Let x be c(t). Suppose 0 = -2*n + 4*n - 2. Solve -j + x*j - n = 0 for j.
-1
Let c(p) = p**2 - 5*p - 66. Let s be c(11). Solve -3 = -3*o - s for o.
1
Suppose -10 = d - 3*d. Suppose 5*y + 4 = -2*k + 2, -d = 5*k. Solve y = -3*r - 0 - 9 for r.
-3
Let q(f) = f**3 - f**2 + 4. Let v be q(0). Suppose 0 = -0*l + 5*l - 10. Let r be (-10)/8*-2*l. Solve 0 = c - r*c - v for c.
-1
Suppose 7 + 25 = 8*u. Solve -y + 1 = u for y.
-3
Let q(n) = -n**2 - n + 5. Let m be 0*3*(-2)/(-12). Let u be q(m). Solve 4*t = u*t + 4 for t.
-4
Let m = 7 + -14. Let q be ((-21)/(-6))/m*0. Solve q = -0*h - h for h.
0
Let h be 468/24*4/6. Solve 3*t + 4 - h = 0 for t.
3
Let p = 24 + -24. Let c = 3 - 5. Let d be c/5 - 4/(-10). Solve 2*a + d*a - 2 = p for a.
1
Let z(l) = l**3 - 4*l**2 - 5*l + 3. Let h be z(5). Suppose 24 = h*r - 0*r. Solve 2*u - r = -0 for u.
4
Let a = -21 - -25. Solve 18 = -a*i - 2 for i.
-5
Suppose 12 = -2*l + 4*l. Suppose -y = -l*y + 20. Solve f - 2*f - y = 0 for f.
-4
Let m(w) = w. Let d(z) = -5. Let y(f) = -d(f) + m(f). Suppose 0 = -2*u, -4*u - u = -4*k - 20. Let p be y(k). Solve p*t + 8 = -2*t for t.
-4
Let v be (-200)/(-72) - (-2)/9. Solve 0 = -v*h - 3 for h.
-1
Let f(c) = 2*c + 24. Let y be f(-12). Solve y = 10*r - 14*r - 20 for r.
-5
Let t = 3 - -2. Let w = t - 8. Let r = -2 - w. Solve -13 + r = -4*k for k.
3
Let m(n) = 3*n**2 - n. Let k be m(1). Suppose 2*g - 14 = 3*i, g + 2*g - 4 = -4*i. Let o(x) = -x + 6. Let y be o(g). Solve -y*c + k - 8 = 0 for c.
-3
Let n be -6*((-14)/6 + 2). Suppose n*h + 5*d = 0, -26 = 4*h + d - 62. Solve 3*l + h = l for l.
-5
Let m be (-4)/(-18) - (-60)/(-27). Let s be m/(-2)*0/(-2). Solve 0*d - d = s for d.
0
Let o(y) = -y**2 + 3*y + 54. Let i be o(-6). Solve 4*b + 0*b + 8 = i for b.
-2
Let i(y) = 3*y + 2*y - 4*y. Suppose 0 = -3*a - 3*f + 16 - 7, 0 = a + 4*f. Let w be i(a). Solve 0 = -m - w*m for m.
0
Suppose 6*n - 12 + 0 = 0. Solve 3*k = n*k for k.
0
Suppose p + p - 2*d - 2 = 0, -p - 5*d + 25 = 0. Solve p*y - 12 = 3 for y.
3
Suppose -2*t = 3*h - 18, h + 3*h - 25 = -3*t. Suppose -t*l - 80 = -7*l. Suppose 4*p - f = 3*f + 28, -2*p = -4*f - l. Solve -p*n - 4 = 4 for n.
-2
Suppose -n - 8 = -3*n. Solve n = -5*q + 9 for q.
1
Let o be (-1 - -2)*(-2 - -1). Let r be o/2*32/(-4). Solve -w = -2*w + r for w.
4
Let l(x) = x**3 - 4*x + 4. Let k be l(2). Solve 2*i - 4 - k = 0 for i.
4
Suppose 25 = -5*z, 5*z + 23 + 5 = g. Solve -5*w + 8 - g = 0 for w.
1
Let r be (2/(-4))/((-4)/(-256)). Let s be ((-9)/6)/(6/r). Solve 1 = 3*q - s for q.
3
Let x be (1 - 1)*(-2)/(-6). Let g(n) be the first derivative of -n**2/2 + 10*n - 4. Let u be g(7). Solve -2*w + u*w = x for w.
0
Let h(v) = -v**2 + 6*v + 2. Let k be h(6). Suppose 3*t + 0*r = r + 26, -k*r = -4*t + 34. Solve t = -0*z - 3*z for z.
-3
Let k be 0 - ((-1 - -2) + -2). Suppose -2*a = -7 + k. Solve -3*z + a + 0 = 0 for z.
1
Let y = -52 - -56. Suppose -31 = -5*u + u + 3*t, 0 = 4*u + 3*t - 25. Solve -27 = -y*a - u for a.
5
Let g = -15 + -6. Let u be 28/g*3/2. Let d(t) = -t**3 - 3*t**2 - 3*t - 1. Let k be d(u). Solve -k = -l - 0*l for l.
1
Let j be 3/2 - 22/4. Let w = 10 + j. Solve 1 = -m + w for m.
5
Let m be (-5)/(0/(-3) + -1). Suppose -10 = -m*z - 3*x, 3*z + 0*x - 25 = 2*x. Solve -z*p + 20 = -p for p.
5
Let g = -21 - -10. Let s(p) be the second derivative of p**5/20 + 5*p**4/6 - 11*p**3/6 + 3*p**2 - 7*p. Let d be s(g). Solve d = 3*k - 6*k for k.
-2
Suppose 0 = 4*v - 3*y - 35, -3 = 5*y + 2. Suppose j + 3*b - 1 = 18, 0 = -4*b + 20. Suppose -j*p = 5 - 13. Solve p*q + 2*q + v = 0 for q.
-2
Suppose f = 5*d - 4, -d - 20 = 4*d + 5*f. Let g = 648 + -640. Solve d = i + g - 4 for i.
-4
Let o(f) = f**3 - 11*f**2 - 11*f - 19. Let a be o(12). Let z be (7/(-2))/((-2)/4). Let q = z + a. Solve q = 2*i + 4 + 4 for i.
-4
Let w(l) = -12*l**3 - 4*l**2 - 2*l. Let s = 2 - 4. Let a be w(s). Suppose 3*c = -3*q + a, 15 = 3*c + 2*c. Solve 2*v = -3*v - q for v.
-5
Let p(k) = k**3 - 3*k**2 - 5*k + 3. Let m be p(4). Let b be (m + (5 - 3))*3. Solve 0 = -b*f + 2 + 1 for f.
1
Let c(j) = j**3 + 2*j**2 + 2*j - 2. Let q be c(-2). Let w be (-14)/q + (-1)/3. Solve -2*n + n = w for n.
-2
Suppose 18*h - 21 - 33 = 0. Solve -h*g = -7*g + 20 for g.
5
Suppose 3*l - 5*w = 13, -2*l + 3*w + 12 = 4. Solve l = f + 6 for f.
-5
Let g(y) = -y**2 - 4*y - 2. Let b be g(-2). Let w(u) = -u**3 + 3*u**2 + 2*u - 1. Let q be w(3). Let m = 24 + -18. Solve m = -q*a + b*a for a.
-2
Let z be 1/(-1) + 1 + 3. Suppose 3*c = -c + 12. Solve 3 = c*v - z for v.
2
Suppose 5 = -2*i + 3*i. Let b = -5 - -3. Let o be 0/((-9 + 3)/b). Solve f + i = -o*f for f.
-5
Let j = 311 - 219. Suppose -j = -3*t + 3*x + x, -x = t - 19. Suppose -4*p + 32 = 2*u, t = -5*u + 2*p + 80. Solve 0*q = -3*q - u for q.
-4
Let n = -49 + 56. Let i(q) = q**2 - q - 2. Let j be i(2). Suppose j = h - 3. Solve h*l - 4 = n*l for l.
-1
Let b = -4 - -7. Solve -b = -w - 4 for w.
-1
Suppose 5*w - 5*s - 15 = 0, 1 = -w - s - 2. Solve f + 4 = -w*f for f.
-4
Let c(v) = -v - 5. Let z be c(-5). Solve t + z*t = 0 for t.
0
Let p(l) = -l**2 + 5*l + 3. Let u be p(5). Let c(x) = -x**3 + 3*x**2 + x + 1. Let q be c(u). Let n(a) = -a**2 + 3*a + 4. Let t be n(q). Solve t*j - 4 = j for j.
-4
Let y(i) = -i**2 - 3*i + 3. Let c be y(-3). Suppose -3*s - 17 + 2 = -c*k, 0 = -4*s - 20. Solve -12 = -3*q - k*q for q.
4
Let z(n) = n**2 - 2*n + 