))/((-2)/12). Suppose -3*i + 0*t + 3 = -2*t, 5*i - 27 = -4*t. Solve -i*p - s = p for p.
-1
Let h be (18/(-15))/((-6)/(-20)). Let c be 2 + (-2)/h*2. Solve c*d + d + 12 = 0 for d.
-3
Let d be -3 + 1*(-18)/(-3). Suppose 0 = d*v - 15. Solve -z + 0*z = -v for z.
5
Let c = 33 + -33. Solve c*v - 1 = -v for v.
1
Let v = 4 - 3. Let s be 1/(v/2) - 0. Suppose s*z + 3*z = 0. Solve 0 = -3*f - z - 3 for f.
-1
Suppose 0*k - 6*k = 0. Solve n + 2*n - 12 = k for n.
4
Let g(z) = -z**3 + 7*z**2 + z + 1. Let n be g(7). Solve -5*w + n = -w for w.
2
Let l be 8/76 - (-220)/76. Solve l*f - 20 = -f for f.
5
Let p = -40 - -48. Solve 10*y - 6 = p*y for y.
3
Let m be (-10)/(-4) - 11/(-22). Let a be -4*m/(-42)*7. Solve -14 = -a*z - 4 for z.
5
Let n(c) = -c**2 - 11*c - 8. Let l be n(-10). Suppose t = 6*t. Solve l = i - t for i.
2
Suppose -4*l = p + l + 1, 3*p - 17 = 5*l. Solve b + p*b = 0 for b.
0
Suppose -c + s - 4*s = 9, s = -3. Solve c = 3*a - a + 8 for a.
-4
Let y = 104 + -54. Let u = y - 21. Suppose 2*z + 10 = -3*j + u, -3*j - 6 = -3*z. Solve -m = -j*m + 4 for m.
2
Suppose 5*g = -9 + 34. Solve 15 = -g*l - 5 for l.
-4
Suppose 3*s + 0*s + u = 34, 66 = 5*s + 4*u. Suppose 4*o - s = -30, -4*k + 9 = 3*o. Solve 0 = -3*h + k for h.
2
Let c(j) = -j**2 - 8*j + 4. Let l be c(-8). Let n be (-2 - 10/(-4))*0. Suppose 3*d - 2*k + 1 = 3*k, l*k - 8 = n. Solve d*y + 2*y = 5 for y.
1
Let r be (-1)/(-3) + 50/30. Solve 3*w = -r*w for w.
0
Suppose -4*n + 26 = -2*n. Suppose 0 = 4*x - 2*z + 5*z - n, -x = -2*z - 17. Solve 3 + x = 2*h for h.
5
Suppose 0 = 6*a - 3*a - 15. Let x be -1 + -9 - (-4)/(-2). Let r be 3/(-2)*x/9. Solve a = r*z - 3*z for z.
-5
Let b(y) = y - 3. Let d be b(3). Let a be 1 + 1*3/3. Let z(q) = 6*q + 56. Let l be z(-8). Solve d*w = a*w + l for w.
-4
Let t(m) = -m**2 + 7*m - 3. Let p be t(3). Let l(v) = 4*v**3 - 2. Let o be l(2). Suppose -y = 2*w - 3*y - 12, 0 = -5*w - y + o. Solve 3*i - p = w*i for i.
-3
Let q be ((3 - 7) + 3)*6. Let x(n) = n + 10. Let i be x(q). Let t be 5 - 2 - (-2 + i). Solve f - t - 2 = 0 for f.
3
Suppose 4*f + 6*f = 6*f. Solve 3*p = -f*p for p.
0
Let n(u) = u**3 + 7*u**2 - 7*u + 11. Let g be n(-8). Let c be -5*3*(-4)/(-15). Let o be (-1 + g)*(-10)/c. Solve -39 = o*b - 14 for b.
-5
Let k be 1*-1*(-5 + 5). Let l be k - (-8 - 0)/1. Solve 5*h = h + l for h.
2
Let p be 1*3*24/9. Solve -3*h + h = -p for h.
4
Let t be -10*((-18)/(-15))/(-3). Solve 5*m - 5 = t*m for m.
5
Let n(p) = -p**3 + 8*p**2 + 7*p + 13. Let f be n(9). Let s = f + -2. Let d = 9 + s. Solve -d*i + 16 = 2*i for i.
4
Let g(p) = p + 7. Let l(v) = v - 1. Let d be l(-4). Let i be g(d). Solve -i*f = -6 - 0 for f.
3
Let a be 1/(15/6) - 264/(-15). Solve 5*m + 3 = a for m.
3
Suppose -l = g + 3*l - 22, -4*g + 58 = l. Let b be (1 - g/10)*-10. Solve -h - b*h = -5 for h.
1
Let x be 17/3 + 6/(-9). Suppose 3*u = x*u. Solve u*s = 4*s for s.
0
Let g(f) = -9*f - 2. Let i be g(-2). Solve 2*m + i = 6*m for m.
4
Suppose -n + 8*b - 14 = 3*b, 2*n + 4 = 2*b. Solve -m + n + 1 = 0 for m.
2
Let y(z) = z. Let c be y(5). Solve -c = -3*n + 10 for n.
5
Suppose 0 = -0*i + i - 11. Let w = i - 9. Let l be (-4 - 6)*(-2)/w. Solve 0*f = 2*f + l for f.
-5
Let i be (3 + 10/(-3))*-9. Suppose 0 = -i*a + g + 9, g + 12 = 4*a - 0. Solve -a*y - 5 = 2*y for y.
-1
Let k be (2/3)/(4/18). Let v be (k/2)/((-3)/(-2)). Let r be 4 + v + (1 - 3). Solve r = 2*x + 5 for x.
-1
Let n(d) = -6*d + 54. Let v be n(8). Solve s = 4*s - v for s.
2
Suppose 0 = -0*z - z + 3. Suppose g = -3*g + 8. Solve -h = -g*h + z for h.
3
Suppose 1 - 21 = -4*q. Let x = -3 + q. Solve x*b + b = -9 for b.
-3
Let z(p) = 2*p**2 + 5*p + 2. Let x be z(-3). Let y = 0 + x. Suppose -y*v + 91 = 11. Solve 2*d + 2*d = v for d.
4
Suppose -y + 7*y = 36. Suppose y*u - 22 = -4. Solve 0 = u*r - 12 - 0 for r.
4
Suppose p + 1 = 5. Let j be ((-14)/p)/(1/(-2)). Let y(q) = -q**2 + 8*q - 4. Let s be y(j). Solve -s*n - 12 + 0 = 0 for n.
-4
Let c(t) = -4*t**3 - t**2 - 2*t - 2. Let w be c(-1). Solve -2*q + 3*q + w = 0 for q.
-3
Let k(j) = j - 4. Let n be k(6). Suppose 3*g = g. Solve 5*m + n + 23 = g for m.
-5
Let k(z) = -z - 5. Let l be k(-9). Solve 0 = 5*u - l*u for u.
0
Let g(d) = -d**2 - 11*d + 29. Let a(z) = -z**3 - 5*z**2 - 2*z - 5. Let q be a(-4). Let i be g(q). Suppose -2*p - 1 + 5 = 0. Solve 0 = -i*m + p*m for m.
0
Suppose -7 = 5*z - 2. Let y be (-14)/(-2) - (z + 3). Solve d - y*d - 16 = 0 for d.
-4
Suppose 0 = -6*u + 4*u. Solve u = r - 3 for r.
3
Let g(y) = y**3 - y**2 + 2*y + 5. Let d be g(0). Solve d*m - 4 - 1 = 0 for m.
1
Let q be 4 - (-10)/(0 - 5). Solve c + q + 2 = 0 for c.
-4
Let c = 64 + -59. Solve -c*m = 1 - 11 for m.
2
Let r(v) = -28*v - 1. Let x be r(-1). Solve 0 = 4*p + x - 7 for p.
-5
Suppose -q = -3*q. Let c = 0 - q. Solve 0 = -3*u - 12 - c for u.
-4
Let v = 11 - 7. Suppose -v*o + 3*d = -13, -o = -0*d - 5*d + 1. Suppose -18 = -5*u + 3*j + 54, -u - o*j = 4. Solve u = 4*w - 8*w for w.
-3
Suppose 0 = -0*o - 3*o. Solve 4*v + 0*v - 20 = o for v.
5
Let p be 8/(-20) - 2/(-5). Solve p = -5*s + s + 4 for s.
1
Let v = -18 + 10. Let d = 11 + v. Solve d*c + 5 = -7 for c.
-4
Let y = 12 + -19. Let x = y - -7. Solve -q + 3*q - 2 = x for q.
1
Suppose 0 = 10*m - 8*m - 26. Solve 1 = 3*i + m for i.
-4
Let b(d) = d**2 - d. Let j(c) = c**2 + 5*c - 6. Let k be j(-6). Let w be b(k). Let a(p) = p**2 - 6*p - 13. Let f be a(8). Solve w = -f*z - 0*z for z.
0
Suppose -10*k = -8*k - 2. Let w = 8 + -5. Suppose 0 = -w*y + 32 + k. Solve -2*v - y = -3 for v.
-4
Let q(b) = -b**2 - 10*b + 2. Let c be q(-9). Let y = c + -8. Solve f = y + 2 for f.
5
Let f be (-24)/(-18) + (-10)/(-6). Suppose -f*r = -2 - 4. Solve -2*m = -4 - r for m.
3
Let h = -54 - -80. Let g = h - 11. Solve 2*x + g = 5*x for x.
5
Let r(y) = -3*y**2 + 2*y - 2. Let t be r(1). Let b be 8*(8/(-4) - t). Solve 3*o + 23 - b = 0 for o.
-5
Suppose 0 = 8*h - 4*h. Let j = h + 3. Solve -j = -2*c + 3 for c.
3
Suppose 0*r + 4*r + 5*h = -29, 2*r - 3 = h. Let c be (1 + (-2)/(-1))*r. Let a be ((-2)/c)/(3/9). Solve -a*w - 2 = 2 for w.
-2
Let v be ((-4)/(-2))/(3 - 1). Let c be (-4)/(-14) + 225/21. Suppose 2*s - c + v = 0. Solve 10 + 15 = -s*l for l.
-5
Let d be (-5)/(-10)*2/1. Solve -4*t + d = -3 for t.
1
Let a be (3 - 2/1)/((-2)/(-18)). Solve 3*g = 3 - a for g.
-2
Let t = -23 - -26. Solve -1 - 2 = -t*p for p.
1
Let w = 5 - 3. Suppose 0*i = -0*i - 5*i. Solve i = 3*u - w*u for u.
0
Let i(o) = -o - 19. Let p be i(-23). Solve 0 = p*f - f + 9 for f.
-3
Let j = 41 + -19. Let o = -13 + j. Solve -4*l + o*l - 20 = 0 for l.
4
Let k(n) = n**2 - 1. Let g be k(-2). Suppose -6*j + 4*y + 20 = -g*j, -2*j + 4*y + 20 = 0. Solve j = -2*o - 15 + 5 for o.
-5
Suppose 3*i = 5*a - 6, 4 = -5*a - 2*i - 0. Solve 2*h + a*h + 10 = 0 for h.
-5
Let d(s) be the second derivative of s**3/3 + 4*s. Let j be d(-1). Let v be 1/((-1)/(-22 - j)). Solve z - v = 6*z for z.
-4
Suppose 0 = -t - t - 6. Let m be t/2 - (-44)/(-8). Let n = 10 + m. Solve 6*s = n*s for s.
0
Let z = 36 + -34. Solve 2*w + z*w = 16 for w.
4
Suppose 0*l + 2*r - 6 = -4*l, -4*l = -3*r - 21. Let y(b) = -6 + 1 + l + b. Let d be y(5). Solve -d = j - 0 for j.
-3
Suppose 2*g = 3*c + 15, -5*c - 6 = 3*g - 0*c. Solve g*o + 16 = -o for o.
-4
Let u = -6 - -4. Let s be u/(-7) - 6/21. Solve s*g = -4*g - 16 for g.
-4
Suppose 135 - 50 = 5*u. Let j = u + -8. Let s be 42/j + 1/3. Solve -s*d - 6 = -1 for d.
-1
Suppose -3*x + 25 = 2*x, -2*x + 25 = 3*h. Let r be 0*(-3)/9 + 16. Solve h*m - m = -r for m.
-4
Let h(z) = z**3 + 4*z**2 + 2*z + 2. Let c be h(-3). Solve -3*j + c = 2*j for j.
1
Suppose 4 = 2*c + z, -7*c + 11 = -2*c + 2*z. Suppose -2*j = c*j - 5. Let s be (-26)/(-8) + j/(-4). Solve m = -s*m for m.
0
Let l = -5 + 13. Let d be 6*(7/10 + 2/(-10)). Solve -d*g + 10 = -l*g for g.
-2
Let f(r) = -r**3 - 5*r**2 - 6*r - 6. Let h be f(-4). Solve -h*v = v for v.
0
Let t = 6 + 0. Suppose -t*o = -o. Suppose o = 4*z - 2*z - 20. Solve 0 = 3*v + 2*v - z for v.
2
Let y = 12 + -7. Solve 2*g = 3*g - y for g.
5
Let i(h) = -h**2 + 4*h - 1. Let s be i(2). Suppose 5*b = 2*r + 12, 0*b - 10 = 2*r - 4*b. Let a be r*(1 + -3 - -1). Solve -a + 16 = -s*d for d.
-5
Suppose 2 = 3*d - 2*m, 5*d - 3 = -0*d + 3*m. Solve d = -5*w + 14 - 4 for w.
2
Let q(m) = -m**3 - 4*m**2 - 6*m - 7. Let a be q(-3). Solve -5*r - 27 = -a for r.
-5
Let u(o) = -o**3 - 3*o**2 + 3*o + 1. Let h be u(-