(-4 - -6)). Suppose 10*t = 7*t + d. Let w be (-1 + 2)/(2/t). Solve 2*p + 10 = w*p for p.
2
Let x(o) = o + 4. Let v be x(0). Suppose 5 - v = h. Let z = 1 - h. Solve z - 3 = -3*p for p.
1
Let j = 87 + -82. Solve j*y - 20 = -0 for y.
4
Let r = -94 - -107. Solve -5*i - 2 - r = 0 for i.
-3
Let w be -1*(-3 + 1) + 4. Let q be -4*(w/4 + -2). Suppose 13 = 3*i - q. Solve -v = -i*v for v.
0
Let g be (-6)/4 - (-6 - (-6)/12). Solve g*o + 5 = 3*o for o.
-5
Suppose 3*m + m = -5*s - 46, -5*m + 3*s - 39 = 0. Let g(i) be the second derivative of i**3/6 + 13*i**2/2 + i. Let n be g(m). Solve -n = -5*x - 29 for x.
-5
Let f be (-122)/6 - 1/(-3). Let b be (5/2)/(f/(-16)). Solve b*i = 6 - 0 for i.
3
Let t = 20 + -20. Suppose 2*v - 4*v = t. Suppose -2*x - 2*x = v. Solve 0 = -c + 5 - x for c.
5
Let r(i) = -i - 5. Let f be r(-4). Let y be (-4 + 2 + 4)/(f + 3). Solve -y = -2*g - 7 for g.
-3
Let d(t) = 22*t**2 + 1 - 3*t**3 - 7*t**2 + 5*t**3 - 3*t**3. Let n be d(15). Let r be (8 + -9)*n*-2. Solve 3*j - j + r = 0 for j.
-1
Let p be ((300/(-35))/4 + 3)*28. Solve -5*w + p = -13*w for w.
-3
Let l(k) = 2*k**2 - 18*k - 16. Let d be l(10). Suppose 5*t - 4*m = 10, 4*t + d*m + 7 - 51 = 0. Solve 3*y = y - t for y.
-3
Suppose -37 = -3*l + 5. Suppose 0 = -5*c - 15, -2*x + 3*c + 24 = 3*x. Suppose 2*z + 8 = 2*h, l + x = -3*z + 4*h. Solve -3 - z = -2*n for n.
2
Let i(g) = -g**3 - g**2 + 1. Let w(p) = 4*p**3 + p - 3. Let t = -24 + 25. Let z(l) = t*w(l) + 3*i(l). Let y be z(3). Solve 0 = q + y*q for q.
0
Let m(b) = -11*b**2 - b + 2. Let d(s) = 30*s**2 + 3*s - 5. Let t(v) = -4*d(v) - 11*m(v). Let f = 3 + -1. Let z be t(f). Solve -l = 2 - z for l.
-2
Let d be 56/16 - (-2)/(-4). Let a(o) = -o**2 - 5*o. Suppose 5*j + 19 = -6. Let c be a(j). Solve d*t - 4*t = c for t.
0
Let h = -14 + 17. Solve h*n = -n for n.
0
Suppose 4*d + 252 = 5*n, 4*n + 189 = 4*d - 7*d. Let i be (-4)/18 - 203/d. Suppose -3*l + 25 = -y, -6*y = i*l - y - 19. Solve l = -4*a - 8 for a.
-4
Let a = 215 + -210. Solve 6 = -7*z + a*z for z.
-3
Let c(t) = t**3 + t**2 + 11. Let v be c(0). Suppose -k + 34 = 5*y, -3*y - 2*k + 37 = v. Suppose -7*p + y*p = -3. Solve -25 = -8*q + p*q for q.
5
Let i be (6 - 7)/(3/18*-2). Let x = -1 + 4. Suppose 5*r - w = 27, -r + 0 = -x*w + i. Solve 0 = -b + 3*b + r for b.
-3
Let u = 68 - 68. Solve u = -3*m + 4*m + m for m.
0
Let l(a) = a**2 + 3*a - 16. Let u be l(-5). Let z(c) be the first derivative of -3*c**2/2 - 12*c + 2. Let n be z(u). Solve -5*w - 3 = -n*w for w.
3
Let p(y) = 6*y**2 + y - 1. Suppose 2 = 2*h + 2*h - 2*m, 0 = 2*h - 3*m + 1. Let i be p(h). Solve 2*l = -l - i for l.
-2
Suppose g = 2*s + 3, -4*s - 5*g + 14 + 15 = 0. Solve z + 0 = -s for z.
-1
Let f(t) = -t**2 + 3*t + 1. Let r be f(2). Suppose -3 = -3*l + r. Solve 3*x = -l*x + 20 for x.
4
Suppose -44*s + 59*s = 150. Let g = -2 - -4. Solve -g*j + 4*j - s = 0 for j.
5
Suppose 7*o = 8*o - 3. Let r = 1 + o. Solve r = m + 1 for m.
3
Suppose 380 = 5*j + 3*w + 65, 5*w - 126 = -2*j. Solve -j = 3*u - 72 for u.
3
Suppose 7 = 2*q - 4*t + 25, -q - 4*t + 9 = 0. Let o be 6*((28/q)/(-7) + -1). Solve -o = -0*k - k for k.
2
Suppose -26 = 5*p - 111. Solve -35 = 9*w - p for w.
-2
Let l be (1/(-2))/((-49)/2842). Solve -38*i + l*i = 18 for i.
-2
Let i be (-99)/55*(-20)/6. Solve -2 - i = 8*z for z.
-1
Let q(f) = 6*f. Let c(o) = -7*o. Let g(i) = -4*c(i) - 5*q(i). Let h(w) = -w**2 - 8*w. Let b be h(-8). Let v be g(b). Solve -j - j + 2 = v for j.
1
Let s = -132 + 134. Suppose 3*r - 5*b + s = 1, -b - 1 = -r. Solve r*i = -i - 8 for i.
-2
Suppose -3*u + 54 = -8*g + 6*g, 0 = -4*u - 3*g + 89. Solve -24*l + 20 = -u*l for l.
5
Let c(x) = -9*x - 11. Let w be c(-3). Suppose -2*k = u - 6, -6*k + 2*k + w = 4*u. Suppose 3*r - 5*r + 8 = 0. Solve -k = -r*n - 6 for n.
-1
Suppose -26*j + 5*y = -23*j - 14, 4*y = -4*j + 40. Solve 49*r - j = 45*r for r.
2
Let u = 1944 - 1944. Solve u = 102*o - 96*o - 30 for o.
5
Let n = 3 + 2. Suppose n*g + 3*v - 20 = 0, 0 = g + 6*v - 2*v - 4. Solve g*z + 5 + 3 = 0 for z.
-2
Suppose 3*o - 6 + 12 = 0. Let f be (o/4)/((-2)/(-4)). Let c = 4 + f. Solve -2 + c = -z for z.
-1
Let o = -103 + 103. Let t be (-10)/(-8)*(4 + o). Solve -2 = 3*s - t for s.
1
Let u = -317 + 331. Solve u*n = 10*n - 20 for n.
-5
Let r be (10/(-7))/(15/(-105)). Solve -r*v + 7*v - 15 = 0 for v.
-5
Let g(s) = -s**3 + 5*s**2 + s + 6. Let k be g(5). Solve k*m = 14*m + 15 for m.
-5
Let u be 3/(-12)*0*1. Suppose 3*o + 6*x - 9 = 2*x, o + 5*x - 3 = u. Solve 4*v - 7 = -o for v.
1
Suppose -274 = -35*j + 601. Solve 6*i - j = i for i.
5
Let p(b) = -b**2 - b + 1. Let x be p(-7). Let c = -38 - x. Solve 0 = -c*h - 2*h - 20 for h.
-4
Suppose 4*h + 15 - 31 = 0. Suppose -4 + 3 = -2*l + 3*n, -2*l + h*n = 0. Solve -l*f + 3*f + 4 = 0 for f.
-4
Let s be (-1 + (-15)/(-6) + -4)*-2. Suppose -s*q + 5*n - 20 = 0, -3 = -2*n + 5. Solve q = -2*w + 2 - 0 for w.
1
Let q = 2 + 1. Suppose 0 = -7*r - 3*r + 40. Suppose -2*h + 2*m = -0*h - 42, -h - m = -13. Solve -q = -r*j + h for j.
5
Suppose -56 = -2*w - 44. Solve 0 = 3*p + w + 9 for p.
-5
Suppose -s = -n + 13, s + 10 = 4*n - 48. Suppose 3*d - 5*i = 21, -5*i = -d - 3*i + 8. Suppose d*h + h - n = 0. Solve 3 = -h*a + 2*a for a.
-1
Suppose -594 + 598 = 4*x. Solve x = 3*c - 8 for c.
3
Let x(s) = s**3 + 13*s**2 - 2*s + 2. Let t(o) = -o. Let q(p) = -2*t(p) + x(p). Let b be q(-13). Suppose 2*i = -0 + 4. Solve -4*a - i = b for a.
-1
Suppose -c + 6 = -d, 2*d - 13 = -0*c - 3*c. Let o = 22 - 16. Suppose -j + 0*j + o = -2*a, -12 = -c*j + a. Solve -5 = 3*m - j*m for m.
-5
Suppose -4*d + 15*d - 22 = 0. Solve -9*n + d*n = -21 for n.
3
Suppose -l + 3 = 7. Let x(i) = 3*i**2 + 5*i. Let q be x(l). Let y be q/4 - (-1 + 2). Solve -r = r - y for r.
3
Let t(f) = f**2 - 55*f - 228. Let g be t(59). Solve -7 + 39 = -g*v for v.
-4
Suppose -2*f = -17 - 35. Suppose 2*m + 5*u = m + f, 2*u = -3*m + 26. Suppose 10*q = m*q. Solve -g + 1 = -q for g.
1
Let k be (-6351)/(-145) + 4/20. Solve 0 = -5*s - 6*s + k for s.
4
Suppose 3*u - 4*m = -7, u + 1 = -2*m + 12. Suppose -u*r - 1 = -j, -3*j - r + 1 = -2*j. Solve -5*f = 14 + j for f.
-3
Suppose 0 = -2665*w + 2662*w + 9. Solve -w*n - 12 = -0*n for n.
-4
Let y = 197 + -186. Solve -y*v + 5 = -16*v for v.
-1
Let b(t) = t**2 - 4*t - 1. Let c be b(5). Suppose -271*s + 685 = -276*s. Let i = s - -152. Solve -v = c*v - i for v.
3
Suppose 1 = 2*k - 3*p - 8, 5*k = -5*p + 10. Solve k + 12 = -3*f for f.
-5
Let i = -15 - -22. Let v(p) = p**2. Let l be v(1). Let f be 2*l/2 - -3. Solve i = -f*k - 1 for k.
-2
Suppose -184 = 7*j - 205. Solve v + j - 2 = 0 for v.
-1
Suppose -2*r - 3*r = -150. Suppose r = 5*c + 5*a, 20 = 3*c + a + 8. Suppose c*u = 4*s, -3*u = -s - 2*u. Solve s = -z + 5*z for z.
0
Let p be (1 - 9)*8/4. Let b(r) = 4*r + 68. Let a be b(p). Solve a*s + s = 25 for s.
5
Let u(z) = 16*z + 82. Let k be u(-5). Solve k*q = q + 2 for q.
2
Let t(j) = j**2 + 8*j + 10. Let v(p) = p**3 - 12*p**2 + p - 19. Let o be v(12). Let k be t(o). Solve -a = -k*a for a.
0
Suppose -5*a + 50 = 3*r + 27, r = -3*a + 13. Solve 0 = -7*o - 2*o + a*o for o.
0
Let t be -1*0/(8 - 2). Solve t = 15*c - 17*c + 10 for c.
5
Let i be -2 + 2 + 1 + -11. Let k be ((-14)/(-35))/((-2)/i). Let c = k - 2. Solve -3 + c = -u for u.
3
Let m(q) = q - 39. Let f be m(13). Let a = f + 8. Let d be (-12)/a + (-3)/(-9). Solve 4*u - d - 7 = 0 for u.
2
Suppose -4*w = w + g - 105, -5*g - 113 = -4*w. Solve 0 = 4*t + 30 - w for t.
-2
Suppose 0 = -5*u - 5*v + 60, 3*u = -5*v - 30 + 74. Solve -u*y = -22*y - 70 for y.
-5
Let j be -2 - (-2*1)/(5/10). Suppose -j*r + r = -2. Solve 0 = b - r*b - 2 for b.
-2
Let i be (-16)/(-20)*15/2. Solve -3*u + 15 = -i*u for u.
-5
Suppose 5*t - 2*b - 16 = 0, -14 = -5*t + b - 1. Solve 4*n - t*n = 8 for n.
4
Let k = -7 + 9. Suppose q + 3*z = 7*z - 20, 0 = k*q + 4*z + 28. Let w = -12 - q. Solve -r = w*r for r.
0
Let b = -906 + 909. Solve -2*k = b*k for k.
0
Let i(a) = -a**3 - 6*a**2 + 7*a - 3. Let j(u) = -u**3 - 7*u**2 + 2*u + 7. Let p be j(-7). Let s be i(p). Let n be 9/6 + s/(-2). Solve -n*t = t for t.
0
Let o(k) = -k**3 - 5*k**2 + 3*k - 1. Let j be o(-4). Let g = -29 - j. Solve g = 7*m - 2*m for m.
0
Suppose 64 - 112 = -2*z. Let u be (96/(-112))/(z/14 - 2). Solve -2*l - l + u = 0 for l.
1
Let p = 16 + 4. Suppose 4*w + 0*w - p = 0. Solve g = 4 - w for g.
-1
Let z(h) = 2*h**2 + 4*h - 4 + 2 - 