r p.
-1
Suppose -39*s = -9 - 147. Solve 4 = s*w - 8*w for w.
-1
Suppose 2*a - 72 = -60. Solve -7*f + 4*f = -a for f.
2
Suppose -19*u + 321 = 17. Solve -u = -19*b + 15*b for b.
4
Let s(r) = r**2 + 26*r - 117. Let j be s(-30). Solve 0 = -j*d + 14*d + 33 for d.
-3
Suppose -25 = -2*v - 3*l, 3*l = 5*l - 10. Suppose -5 = 7*x - v. Solve -3*j = -x - 6 for j.
2
Let a be (-4)/((88/16)/(-11)). Solve 4*p + 4 = a for p.
1
Let f(a) = 4*a**2 - 55*a + 99. Let c be f(12). Solve -507*z + c = -502*z for z.
3
Let k = -4044 + 4045. Suppose -2*t = -18 - 0. Suppose c + 1 = 6. Solve -c*b + t = -k for b.
2
Let u(p) be the second derivative of -p**4/12 - 2*p**3/3 + 3*p**2/2 + 3*p. Let l be u(-4). Let x be (-18)/21*98/(-21). Solve s + l*s + x = 0 for s.
-1
Let u(c) = c**3 - c**2. Let l be u(2). Let r(p) = 8*p**2 - 313*p + 41. Let z be r(39). Solve 0 = -z*g + l for g.
2
Let j be (17/2)/(33/66). Solve 0 = -2*v - j + 19 for v.
1
Let l(j) = -j. Let b(f) = -4*f + 1. Let v(c) = 2*b(c) - 11*l(c). Let s be v(1). Solve a - 20 = s*a for a.
-5
Let f = 1382 + -1373. Solve -8 = -b - f for b.
-1
Let l be 1/(-1)*-1*0/(-4). Suppose 4*y = -w + 12, -w + 10 + 1 = 3*y. Suppose l = 5*h - w*h + 9. Solve -2*f = -7 + h for f.
2
Let q(h) be the third derivative of h**5/15 + 5*h**2. Let l be q(-1). Solve -5*o + o - l = 0 for o.
-1
Let m be 4/2 - (1 + -2 - 0). Let f be ((-3)/3 - -2)/(5/75). Solve -8*o = -m*o + f for o.
-3
Let b(x) = x**3 + 7*x**2 + 6*x + 1. Let y be b(-6). Solve -3 = w - y for w.
-2
Let i = 7 - 11. Let q = 7 + i. Let z(c) = 2*c**2 - 3*c + 2. Let d be z(3). Solve 0 = -q*s - 2 + d for s.
3
Suppose 0 = 2*k + 10*k - 264. Solve 6*c + k = -5*c for c.
-2
Suppose -5*n + 10 = -3*o + 36, 0 = -4*n - 4. Suppose 0 = -5*y + 25, -2*y = -4*g - 5*y + 23. Solve g*l - 1 = -o for l.
-3
Let f(m) = -m**3 + 3*m**2 + m - 3. Let q be f(3). Let t(y) = q*y**2 + y**3 - 7 + 16 - 16*y - 6*y**2. Let z be t(8). Solve -4*l - 3 = z for l.
-3
Let h be ((-8)/(-4))/(2/16). Suppose 0 = v - 3 - 0. Let s = 10 - v. Solve s*t = 3*t - h for t.
-4
Let y(m) = 33*m - 3. Let a be y(5). Suppose -4*s = -s - a. Let k = s - 34. Solve 4*t + k = -t for t.
-4
Let i(a) = 6*a - 6. Let g be i(6). Solve -3*z = 21 - g for z.
3
Let v(w) = 2*w - 11. Let c be (-9)/(-3) + -3 - -15. Let y be v(c). Suppose 0 = 3*q + 2*h - 19, -3*q = 2*q - 3*h - y. Solve 4*d = q*d - 4 for d.
4
Let w(o) = -16 - 18*o - 15 - 3 + o**2 - 2. Let r be w(20). Solve f = -f - r for f.
-2
Let y(v) = 3*v + 8. Let d be y(2). Let a be ((-48)/(-9))/(d/21). Solve 0*x + 2*x = -a for x.
-4
Let m be (0*1/(-3))/((-36)/(-12)). Solve -j = -m*j for j.
0
Let m(b) = b**2 - 4*b - 17. Let v be m(7). Suppose -5*y = -v*s + 25, 3*s - 18 - 1 = 4*y. Let k = -55 - -58. Solve -k*x = -s*x + 6 for x.
3
Suppose 0 = -15*a + 9*a + 24. Let p(h) = h**2 + h + 6. Let g be p(0). Suppose -3*i + g*i = 0. Solve i*w - a*w - 8 = 0 for w.
-2
Let m(t) = t**2 - 9*t - 37. Let g be m(-4). Solve -46*d = -49*d + g for d.
5
Suppose 6 - 3 = i - 2*l, 0 = i + 5*l - 10. Suppose 4 - i = -t. Suppose 0*m + 5 = m. Solve m*s - 11 = -t for s.
2
Let j be (-3 - -2)/(1/3). Let m = 1 - j. Suppose -2*s - m*t + 18 = 0, -s = -t - 3 + 6. Solve -1 = -b + s for b.
2
Suppose -17*q = 5*b - 21*q + 4, -q = 2*b - 1. Solve -5*s + s - 2*s = b for s.
0
Let p be 91/(-39)*(-4)/((-8)/(-6)). Solve -p*l = -14 - 21 for l.
5
Let s(w) = -3*w - 4. Let x(u) = 5*u + 9. Let h(m) = 5*s(m) + 2*x(m). Let f be h(-3). Suppose 2*b + 1 = f. Solve 4*g - b = 10 for g.
4
Suppose 4*j = -16 + 28. Suppose 4*q + 26 = 2*t + 3*t, -j*t + 22 = -4*q. Let u(m) = m**3 - 3*m**2 - 5*m + 6. Let f be u(4). Solve 0 = f*b - t - 4 for b.
3
Let q(n) = n**3 + 9*n**2 - 3*n - 12. Let z(l) = 4*l + 7. Let m be (4/3)/((-3)/9). Let k be z(m). Let g be q(k). Solve 2*a - g = 5*a for a.
-5
Let c(x) = -2*x**3 - 14*x**2 + 10*x + 79. Let s be c(-7). Solve -s*l = 1 + 8 for l.
-1
Let t be (-40)/(-15) - ((-24)/(-9))/4. Suppose t*z - c = -0*c + 45, 120 = 5*z - c. Solve 0 = 4*l + l - z for l.
5
Suppose 0 = -5*s + d - 3, -4*s + d + 2*d = 9. Let x(o) = -o + 4. Let a be x(s). Solve -a = -2*m - 10 for m.
-3
Let i(q) = 2*q**2 - 11*q - 19. Let n be i(7). Solve 0 = -4*j - 6 - n for j.
-2
Suppose 2*o - 7*k - 8 = -2*k, 4*k = -5*o + 53. Let c = o - 9. Suppose -5*f - 7 = -17. Solve c*z = -2*z - f for z.
-1
Let n(r) = 3*r**2 - 2*r - 1. Let l be n(-1). Let z(u) = u + u**3 - l*u**2 + 0*u**3 + u. Let x be z(4). Solve -k + x = -5*k for k.
-2
Let v be (-9 - 1)/(-5) - 9/(-1). Suppose -12*q + v + 37 = 0. Solve -6 = q*h - 18 for h.
3
Suppose r + 133 = 2*g, 85 = -r - 4*g - 18. Let b = -123 - r. Solve -j + 0 - 1 = b for j.
-1
Let l be (-9 + 4)*(-4)/(-10) + 4. Solve -l*a = a for a.
0
Let w be 2/(-9) + 35/(-45). Let d be 12*(w - 2)/(-6). Let v be 2 + 0*(-2)/d. Solve 0*t = v*t + 8 for t.
-4
Suppose 5*b + 9*r = 6*r, 2*b = -5*r. Suppose 0 = -5*v - 5, -z + 3*v = 4 - 1. Let x = -4 - z. Solve b*l + x*l = 2 for l.
1
Let o be (12 + -8 + 1)*2. Solve o*t - 67 = -17 for t.
5
Suppose 0 = -2*s - 4*c - 2, 4*s - 5*s - 3*c + 3 = 0. Let h be s*5/((-45)/6). Suppose -3*r + 74 = 17. Solve 5*p + r = -h for p.
-5
Let q = 8 + -7. Let f(y) = 5*y - 2. Let z be f(q). Suppose v - 2 = 2*l, z*l - 7 = -2*v + 4*l. Solve v = -3*h + h for h.
-2
Suppose -3*n - 11*n + 28 = 0. Let r(i) = -1 + i**2 + 2 + 0*i**2 - 6*i + 2. Let w be r(6). Solve n*d = -w - 7 for d.
-5
Suppose -4*o = -8*o + 480. Solve 3*k - o = -132 for k.
-4
Suppose 0 = 93*p - 100*p + 77. Suppose -3*w - 2 + 11 = 0. Solve 0 = -w*a + 4 + p for a.
5
Suppose w = -w + 24. Let z(r) = -2*r + 14. Let x be z(-15). Suppose 4*d + d = -m - w, x = 3*m - 5*d. Solve p + m = -3*p for p.
-2
Let p(f) = 5*f**2 + f - 1. Let z be p(-3). Let q be (-3)/(-6) - z/2. Let g = q + 22. Solve 7*i - 10 = g*i for i.
2
Let o(u) = 2*u**2 - 12*u + 3. Let y be o(6). Suppose 4*m + 0 + 7 = y*h, -h - 3 = -4*m. Solve -5*t = -4*t + m for t.
-2
Suppose -4*s = 4*g - 28, 4*g - 4 = 7*g - 2*s. Suppose 1 = 3*h - 5. Suppose -c - 21 = -3*k + g*c, 0 = -h*k + c + 10. Solve 0 = -k*a - a + 4 for a.
1
Let b = 13 + -18. Let o be 0/(-2*(-5)/b). Solve o = 3*m - 2*m - 3 for m.
3
Suppose -4*f = 2*m - 34 + 22, -3*f - 2*m + 10 = 0. Solve f*u - 10 = -0*u for u.
5
Suppose -4*z + 16 = 3*d, -4*z + 33 = -2*d - 3. Let o be (-2)/6 - (-92)/6. Solve z*l + o = 2*l for l.
-3
Let h = 72 + -63. Solve p - h = 4*p for p.
-3
Suppose -3*b - 2*j - 10 = 3*j, 2*j + 4 = b. Solve -o + 0*o = b for o.
0
Let h = 147 + -145. Let j(r) = -r**3 - 2*r**2 - 2*r - 4. Let s be j(-3). Suppose s = 2*w + u, -h*w - 3*u = u - 20. Solve w*b = 2*b + 10 for b.
5
Let v(k) = k**3 - 5*k**2 + k + 5. Let u be v(5). Let m = -1391 + 1392. Solve 3*i - m = -u for i.
-3
Suppose -225 = -13*f - 2*f. Suppose -o - 10 = -v, 0 = 2*v - 12*o + 8*o - 30. Solve 4*i + v = -f for i.
-5
Suppose 2*q = -0*q + 5*o - 11, -4*o = -12. Solve 0*y + q*y = 8 for y.
4
Let w = 1361 - 1354. Solve -w = y - 8*y for y.
1
Let r(y) = y**2 - 9*y + 12. Let h be r(8). Let a be 0/(-2) - (0 - h). Suppose 0 = 3*v - 4*w - 59, -22 = -5*v - a*w + 23. Solve -4*b - 3 = v for b.
-4
Let s = 71 + -67. Suppose 0 = -11*m - 0. Solve -d + m = s for d.
-4
Suppose -24 = -2*b - 2*h, -4*h - 59 = -4*b - 11. Let f be -1 + 2 + -3 - 3. Let n(g) = g**3 + 4*g**2 - 7*g - 7. Let d be n(f). Solve v + d*v = -b for v.
-3
Let g = 1 + 2. Let c be (-4)/(-12) + 2/g. Suppose c = -5*d + 36. Solve -20 = -d*b + 3*b for b.
5
Let i = -20 - -22. Let d(a) = a - 6. Let l be d(13). Solve i*o - 10 = l*o for o.
-2
Suppose 0 = -3*j - k - 0*k - 13, 0 = -5*k + 25. Let g = j + 8. Solve n + g = -n for n.
-1
Let x be 97*4*(12 - 376/32). Solve g + x = 95 for g.
-2
Let q(w) = -2*w - 12. Let h be q(-8). Let v be ((-2 - -4) + (-15)/6)*-6. Solve 4*j = v*j - h for j.
-4
Let n be (-1)/(22/84) - (-2)/(-11). Let b be ((-6)/3)/((-5)/((-150)/n)). Solve -5 - b = -5*u for u.
4
Let z be 1/14*4 + (-432)/(-56). Let f = -15 + 11. Let t be z*(2 + 3 + f). Solve 0 = -2*r + 4*r - t for r.
4
Suppose -3*s + s + 6 = 0. Suppose i + b = 6, -3*i + 12 = 4*b - s*b. Solve 0 = -2*h + i*h for h.
0
Suppose -k + 4*c = -c - 3, 5*k + 4*c = 15. Suppose -3 = -3*j, -d - k*j + 8 = 4*d. Solve -d = 2*i + 3 for i.
-2
Let q(r) = r**2 + 33*r - 177. Let h be q(-39). Solve 59*z - h*z = 6 for z.
3
Suppose -1 = -3*u - i, 39*u - 40*u + 5*i - 5 = 0. Solve 2*c + 6 = -u for c.
-3
Let j(x) = x - 4. Let b be j(-7). Let v = 10 + b. Let q be (