lve d*p + 7*p = -0*p for p.
0
Suppose -5 - 5 = -5*i, -5*q = -i - 53. Solve -3*r + 16 = -q*r for r.
-2
Suppose 33*w - 80 = 23*w. Suppose 3*j = -5*b + 11, -2*j + 4*b = -5*j + 10. Suppose 0 = -z + j - 0. Solve -4*x - w = -z*x for x.
-4
Let p = 24 + -69. Let q = -35 - p. Suppose -b + 4*l = 12, -4*l + 2*l - 4 = -3*b. Solve -3*h = -q + b for h.
2
Let u = 1511 + -1383. Solve 21*m + u = 23 for m.
-5
Suppose 257 = -5*f + 4*o + 326, 5*o - 34 = -3*f. Solve -10*c + 23*c - f = 0 for c.
1
Let u(c) = 2*c**3 - 225*c**2 + 330*c + 334. Let m be u(111). Let z be 30/4 - (-2)/(-4). Solve 3*k - m = -z for k.
-2
Let w be 13/((-91)/(-28)) + -2 + 200. Solve -199*p - 3 = -w*p for p.
1
Let k = 28 + -31. Let n be 0 + 0 + 3 + k. Solve n = -2*l - 3 + 1 for l.
-1
Let a = 28 + -26. Suppose 0 = -2*n + 7*n + 10, 14 = 2*v - 3*n. Suppose -v*p + a = -3*p. Solve 7*g - p*g - 25 = 0 for g.
5
Let i(m) = m + 1. Let p be i(1). Let y be (-2 - 1) + p + 0. Let h(a) = 4*a**2 + a + 1. Let d be h(y). Solve 4 = -d*o - 12 for o.
-4
Let n(p) be the second derivative of -p**5/20 + 7*p**4/12 + p**3/3 + 3*p**2/2 + 7*p. Let l be n(7). Suppose 4*d - l = 43. Solve 0 + d = 3*k for k.
5
Let g be 4728/312 - (-8)/(-52). Let y(r) = 4*r**2 + r - 1. Let c be y(1). Let d be 15/c - (-2)/8. Solve -f + g = d*f for f.
3
Let j be 1/(-2) - (-50)/4. Suppose 10 = -6*m + 8*m + 2*d, -2*m = -4*d + 20. Suppose m = y + 3*y - 12. Solve -j = -y*p + 3 for p.
5
Let a = -443 + 464. Solve -5*j = a - 6 for j.
-3
Suppose -6*i + 10*i = 12. Suppose -5*z = -q - 1, -z + i*q - 1 = -4. Solve -5*w + 10 + 0 = z for w.
2
Suppose 0*l + 20 = -4*l + 4*q, -2*l = q - 5. Let d(f) = -f**2 - 3*f + 5. Let p be d(l). Solve 8 + 7 = p*o for o.
3
Let p be (-228)/(-42) - 3/7. Suppose 27 = -7*g + 4*g. Let z be 3/g + (-4)/(-3). Solve 4 + z = p*x for x.
1
Suppose 3*v + 9 = 0, 4*t + 3*v + 14 = -19. Let p be (-31)/(-11) + t/(-33). Solve -4*l + 5 = -p for l.
2
Suppose -27*l - 3 = -26*l + 4*z, -4*l + 72 = -5*z. Solve 6*u - 1 = -l for u.
-2
Let g(z) = -z + 31. Let k be g(8). Let l = k + -23. Solve l*c - 1 = -c for c.
1
Let r(t) = 9*t**2 + 41*t - 135. Let f be r(3). Solve 0 = -4*b - 81 + f for b.
-3
Suppose -2*z = -5*l - 11, 1 = -4*z + 3*z - 4*l. Suppose -2*w - 5*t = -0 + 1, 5*w - 7 = -z*t. Suppose -w*h + 0*h = -18. Solve h = 4*b - 7 for b.
4
Let k be (4/3 + -2)*-69. Suppose 0 = k*g - 53*g. Suppose 0*t = 2*t - 8. Solve -5*m + t*m = g for m.
0
Suppose -2*l - 3*l = 0. Suppose -4*b + 2*n - 6*n + 28 = l, -22 = -2*b + 2*n. Suppose 51*a - 1025 = -209. Solve -5*c + a = -b for c.
5
Suppose 3*v + u - 94 = 0, -3*v + u + 188 - 102 = 0. Solve 2*r + 8*r + v = 0 for r.
-3
Suppose 4*y - 29 = y + n, 3*n = 3*y - 33. Solve 3*q = y - 3 for q.
2
Let m be (-36)/(-72)*(8 - 2). Solve m*u = -u for u.
0
Suppose -r + 3 + 0 = 0. Let a be ((-20)/5)/4 - 55. Let k be 0 - (-2)/14 - 832/a. Solve -k = -0*w - r*w for w.
5
Let y = 113 + -89. Suppose -7*f = -f - y. Solve f*r - 17 = -5 for r.
3
Suppose 69 = 5*o + x + 55, -o - 2 = -x. Solve o*i = -15 + 11 for i.
-2
Suppose 3*k + 1078 = 1087. Solve -r = -k*r - 4 for r.
-2
Let z(x) = -x. Let o be z(-2). Let v(f) = -2*f**3 - 13*f**2 - 20*f - 187. Let n be v(-7). Solve -o*a - n + 4 = 0 for a.
1
Suppose -2 = -2*i, -5*z + i + 3*i - 4 = 0. Suppose 3 = -u + 7. Solve z = -p + 2 - u for p.
-2
Let i = 1067 + -1061. Solve -9*l - i*l = -60 for l.
4
Suppose 5*u + 24 = 2*g, 4*g - 2 = -u + 2. Suppose -3*p - l = -1, -2*l = -3*p + g*p - 2. Let m be 2 - p - (-24)/12. Solve -m*k = 7 - 3 for k.
-1
Suppose 5*a + 69 = -36. Let f be ((-6)/4)/(a/28). Solve f*l = -0*l - 4 for l.
-2
Suppose 15*f = 14*f + 9. Suppose 4*s = 3*x + 19 - 45, -5*x - 5*s + 55 = 0. Let a be f/(-2)*x/(-15). Solve a*o - 6*o + 15 = 0 for o.
5
Let m(z) = -z**2 - 9*z - 16. Let p = -23 - -20. Let d be m(p). Solve 2*v + d*v = 4 for v.
1
Suppose 5*x = 3*u + 1, -10*x + 11*x - 4*u + 10 = 0. Let b(i) = i - 4. Let d be b(4). Solve d*k - x = k for k.
-2
Suppose 14*i - 9*i - 3*i = 0. Suppose w - 7 + 6 = i. Solve -w + 3 = y for y.
2
Suppose -2*p + s + 3 = 0, 2*p - 6 + 12 = 4*s. Let n be (4 - -2) + 0/1. Solve -n*t = -p*t + 9 for t.
-3
Suppose 4*r + 8 = 2*w, r + 5 + 7 = 3*w. Let x be 0 - ((-4)/5 - 102/85). Solve r = d + x for d.
-2
Let i(z) = z**3 - 2*z**2 + z - 1. Suppose 0*r + 12 = 6*r. Let w be i(r). Solve t - w = -0*t for t.
1
Let z = 119 - 95. Suppose -3*u = -l - 4*l - z, 0 = u - 2*l - 9. Solve 2*i + i = u for i.
1
Suppose -119*z + 18 = -113*z. Solve 2*h + 1 - z = 0 for h.
1
Let q be (-1 - 0)*-475 + -3. Suppose 4*j - q = -172. Suppose -4*a + 0*a + 71 = -3*c, j = 5*a - c. Solve -3*u + 1 + a = 0 for u.
5
Let d = 163 - 160. Solve d*u - 7*u + 12 = 0 for u.
3
Suppose 0*c + 20 = 5*c. Let z = c + -2. Suppose s - z = 2. Solve -3*a = a - s for a.
1
Suppose 12*b = 15*b. Suppose b*z = z. Solve z = o - 0*o + 2 for o.
-2
Suppose -h + 0 = 2. Let a(t) = -t**2 + 2. Let l be a(h). Let o be (-6)/(-12) - (-1)/l. Solve -4*d + o*d - 12 = 0 for d.
-3
Let u(d) = 2*d**2 - d + 1. Let m be u(-1). Suppose 6 = -m*a + 3*l + 66, 3*a = -l + 45. Solve -b = 4*b + a for b.
-3
Let u be ((-20)/(-30))/((-6)/(-153)). Solve -u + 2 = 3*f for f.
-5
Suppose -3*v + 3 = -5*k, -4*v = 2*k - k - 4. Let m be (0/v)/((-1)/(-1)). Solve m*g + g - 1 = 0 for g.
1
Let r be (-2)/5*(-19 - -9). Solve 5*o = r*o for o.
0
Let i be (-2)/10 + ((-344)/(-20))/1. Solve -5*h = i + 8 for h.
-5
Let o be 7*2/(-56)*-4. Let d be 20/4 - 4 - o. Solve -2*x = -d*x for x.
0
Suppose 2*g - 8 = -4. Suppose -16 = 3*c - 5*c. Let p = 8 - c. Solve p*a = g*a for a.
0
Let d be (4/(-1) - -9)*3/5. Solve -14 + 11 = d*g for g.
-1
Let i(h) = -16*h**2 - h. Let r be i(-1). Let s(w) = -2*w - 27. Let t be s(r). Solve -12 - t = -3*z for z.
5
Let w be (-24)/(-42) + (-328)/(-14). Let a be (5 - -1) + (-1 - 0). Suppose a*j - 34 = -3*n, 4*j + 3*n = w + 5. Solve -j*t = -14 + 4 for t.
2
Let v be 3*5/(75/20). Let x = 12 - 12. Solve v*r = -x*r + 8 for r.
2
Suppose y = -2*y - 6. Let v(l) be the first derivative of 4*l**3/3 + 2*l**2 + 2*l - 1. Let b be v(y). Solve 0 = 2*q - b for q.
5
Suppose -3*a = 2*x + 6 - 5, 5*x = -a + 17. Solve -4*d = -8*d - x for d.
-1
Let h(n) = -6*n + 114. Let a be h(19). Let x = 14 + -9. Suppose a = -4*s + x*s - 2. Solve -v = -s*v + 4 for v.
4
Let v(h) = h**2 + 22*h - 73. Let l be v(-25). Let x be 27*((-8)/(-6) - 1). Let f = -6 + x. Solve l*a - 5 = f for a.
4
Let l(q) = -q - 2. Let k be l(-5). Suppose 6*b - 3*b = -k*b. Solve 0 = 2*g - b*g for g.
0
Suppose -d = 4*i + d + 38, -4 = 2*i + 4*d. Let w be -6*(i/(-4))/(-6). Let z be 0/(-1) - (0 - 20). Solve -w*u + 7*u - z = 0 for u.
5
Suppose -6*y - 13 = -43. Suppose 2*f = 3*f - y. Solve -2 = -f*u + 3*u for u.
1
Let f = -318 - -331. Solve 15*j = f*j + 2 for j.
1
Let j(v) = 4*v + 1. Let l be j(2). Solve r + l = -2*r for r.
-3
Let n = -80 - -26. Let y be 3/4*(-72)/n. Let c be 4*(0 - (y - 2)). Solve c*o = 2 - 22 for o.
-5
Let r = 240 + -238. Suppose 2 + 2 = g. Solve -c = r - g for c.
2
Suppose -z - 5*z = -66. Let h = -9 + z. Solve 3*s + h*s = -15 for s.
-3
Let r = 130 + -73. Let u = 77 - r. Solve -13*l = -8*l + u for l.
-4
Let c = -441 - -445. Solve -9*k + c = -5*k for k.
1
Let u be 2/(-7) + 1988/98 + -4. Solve 8*v = u*v - 40 for v.
5
Let r(t) = 50*t. Let w be r(-1). Let k be (1 - 0)/((-10)/w). Solve -8 + 3 = -k*j for j.
1
Let v be ((-24)/(-96))/(4/112). Solve -v*a = -a for a.
0
Suppose -4*m = -m - f - 163, 2*m - f = 108. Let n = m - 38. Let i be 14/8 - n/(-68). Solve -4 = -i*k - 0*k for k.
2
Let c be 80/20 + (15 - -1). Suppose 4*s = -c, 5*l - 4*s - 18 = 17. Solve -3*b - 15 + l = 0 for b.
-4
Suppose -c + 5*l = 0, 0 = -c + 2*c - 3*l - 2. Suppose 0 = 2*y + c*z - 23, 4*y + 20 = 6*y + 4*z. Suppose 8 = -y*m + 24. Solve 0 = -r - m*r + 10 for r.
2
Let t be (284/(-5))/((-11)/(-55)). Let n = -158 - t. Suppose 7*k = k + n. Solve 4*c = -k + 1 for c.
-5
Suppose -2*i + 14 = 3*f, 3*f + 2*i - 34 = 4*i. Let c(j) = -24 - j**3 + 24 - f*j**2 - 7*j. Let y be c(-7). Solve q + y = -1 for q.
-1
Let a = -3 + 7. Let l = -10 + 23. Suppose -5*x + 8 = 5*b - 7, -l = -4*x - 5*b. Solve -a*r - 6 = x for r.
-2
Let h = -1404 + 1407. Solve 5 = -h*y + 4*y for y.
5
Let o(s) = 2*s**2 - 13*s - 21. Let x be o(8). Solve -7*p - x = -8*p for p.
3
Let v be 2710/45 - (-6)/(-27). Let r be (4/(-6))/((-8)/v). Suppose -k = -r*k. Solve -2*n + n - 4 = k for n.
-4
Suppose 3*s + 3*x - 22 = 29, 4*x 