= -w*r + 1 + 3 for r.
1
Let g(m) = 103*m + 846. Let a be g(-8). Solve 12 = -18*z + a*z for z.
3
Let m(w) = w**3 + 9*w**2 - w - 9. Let c be m(-9). Solve -x + c*x - 5 = 0 for x.
-5
Suppose -x - 5*p = -13, 0 = x + 2*p - 2 - 8. Solve -7*n - n + x = 0 for n.
1
Suppose -23*s + 25*s - 6 = 0. Suppose -s*v + 12 = -b, 3*v + 2*b = 5*v - 12. Solve -v*p = -2*p for p.
0
Let k(h) = -h**3 - 12*h**2 - 17*h + 33. Let w be k(-10). Solve 2*y + 1 = w for y.
1
Let p(g) = g**2 + g - 4. Let x be p(4). Suppose -4*n = -8*n + h + x, n - 3*h = 4. Let u = -40 + 40. Solve -n*k = -u*k for k.
0
Suppose -5*v + 5 = -0, -5*t + 12 = 2*v. Suppose k - 2 = 0, t*s + 0*k + k - 2 = 0. Suppose -2*x = p - 2, -x - 3 = 5*p - 13. Solve -p*j - j = s for j.
0
Let g be (-6)/(-8) + (-3)/(0 - 12). Suppose -5*a + 13 = -q, 4*a = q - 0*q + 10. Suppose 0*i = 3*i - a. Solve 0 = c - g - i for c.
2
Let i be 2 + (-2)/4 - (-48)/32. Solve 12 = -i*j - 0 for j.
-4
Let q(o) = -5*o + 5. Let b be q(-12). Let p = 73 - b. Solve -3*w - w + p = 0 for w.
2
Let c be 0 + 2 + -2 + 2. Suppose c*p - v = -1 + 5, -8 = -4*p - 2*v. Solve -p*f - f + 6 = 0 for f.
2
Suppose 0 = 4*v + 8, 5*s - 2*v - 34 = -0*v. Solve -1 = -h - s for h.
-5
Let w = 1542 + -1540. Let k = 2 - -3. Solve r - k = w*r for r.
-5
Let v = 81 + -62. Suppose 5 = 6*j - v. Let d be 1 + 0 + -1 + 2. Solve j*p - 2 = d for p.
1
Let r be (-2 + 2 + 2)/(-2). Let v = -12 - r. Let h = -7 - v. Solve h*o + 6 = -10 for o.
-4
Suppose -5*j + 18 = 8. Suppose -4*k + 18 + j = 0. Solve 5*y - 5 = k for y.
2
Let n = -44 + 24. Let j = -18 - n. Solve -s = -3 - j for s.
5
Let s(v) = 10 - 11*v + 13*v - 3*v. Let u be s(8). Solve -x = -u*x for x.
0
Let q be (-240)/4 - (-1 - -3). Let n = q - -65. Solve n*f = -f for f.
0
Suppose 4*q + 5*w = 20, -7*w + 10*w = 12. Solve -5*u - 14 + 4 = q for u.
-2
Let z be (-65)/39 - 100/(-6). Solve z*p - 14*p = -1 for p.
-1
Let r(f) = -13 - f**2 + 9*f - 4*f**2 + 4 + 4*f**2. Let l be r(7). Let b be (0 + -4)*(-21)/12. Solve l*u = -b - 3 for u.
-2
Let o = 159 + -146. Solve -o*x = -8*x + 5 for x.
-1
Let k(o) = o**3 - 4*o**2 + 2*o + 3. Let t be k(3). Suppose 8 = -0*n + 4*n. Suppose 1 = -5*r - 4*a, -18 = -2*r + n*a + a. Solve f - r*f + 10 = t for f.
5
Let o = 253 + -249. Solve 8*t + 12 = o for t.
-1
Let h(g) = -6*g - g**2 - 6*g + 3*g. Let m be h(-9). Suppose -4*i + 12 = -m*i. Solve 0 = i*c + c for c.
0
Suppose 0 = 5*g - 16 + 6. Let q be (24/g)/4 - -26. Suppose 3*r = 3*l - q - 10, 0 = 2*r + 2. Solve h - 5*h + l = 0 for h.
3
Suppose 0 = -2*i + 2*c + 8, -2*i = 3*c - 8 - 15. Solve 5*n = -i - 3 for n.
-2
Let q(c) = c**2 - 46*c + 115. Let v be q(44). Solve v = -16*s - 5 for s.
-2
Suppose -10 = -2*k - g + 1, -2*g = -10. Let r be 24/(-18) - (-1)/k. Let m = r + 5. Solve m*h + 3 + 1 = 0 for h.
-1
Let d be ((-8)/(-4))/(1 + 0). Suppose -512 = 3*m - 527. Let t = -14 - -37. Solve m*o + t = -d for o.
-5
Let o(x) = 22*x + 69. Let y be o(-3). Solve 20 = 7*z - y*z for z.
5
Suppose -3*c = -5*r - 35, -r + 0*c + 2*c = 14. Let b be r/10 - (-51)/15. Solve 0*y - y - b = 0 for y.
-3
Let f(v) = v**3 - 18*v**2 + 33*v + 9. Let y be f(16). Solve 0*q + y = -5*q for q.
-5
Let r be (-2)/(-1) + 2 - (-10 + 14). Solve 6 = -r*m + 3*m for m.
2
Let u be 0*(-2 + (5 - 2)). Suppose o - 8*o + 28 = u. Solve o = -q - 1 for q.
-5
Let p(b) = -b**3 - 2*b**2 - 2*b - 1. Let a be 2/4 - (-5)/(-2). Let x be p(a). Solve 12 = -x*m - 0*m for m.
-4
Suppose 5*c - 96 = -21. Let r be -3 + (-9 + 13 - (1 - 0)). Solve -4*n - n - c = r for n.
-3
Let b be 5/2 + (-3)/6. Suppose 0 = 3*t - u - 22, 0 = -t - 2*t + 2*u + 20. Suppose t*a - 20 = 4*a. Solve -a*d = 17 - b for d.
-3
Let a(s) = s**3 - 2*s**2 - 2*s. Let h(y) = y**2 + 7*y + 13. Let c be h(-5). Let d be a(c). Solve -d*i + i = 6 for i.
-3
Suppose -15*x + 8 = -19*x. Let n be (-8 - 16/x)*(-2)/(-4). Solve n*i - 3*i = 0 for i.
0
Suppose 4*c + 5*z + 4 = 56, z = -5*c + 44. Solve c*m + 16 = -0*m for m.
-2
Suppose -5*w - 3 = g, 3*w + w + 8 = 0. Let t = 15 - g. Solve t*a = 3*a - 10 for a.
-2
Let b be -5 + (-126)/(-15 + 8). Solve 10*q + b = -27 for q.
-4
Let m = 1 - 1. Let h(n) = -n**3 + 3*n**2 + 6*n - 5. Let v be (5 - -2 - -1) + -4. Let g be h(v). Solve -g*s = -m*s - 15 for s.
5
Let s = -1 + 2. Let k(h) = -2*h**3 + h**2 - h - 1. Let o = 16 + -17. Let q be k(o). Solve -2*b - s = -q*b for b.
1
Let a(d) = -16 - d**2 + 14*d - 3 - d - 6. Let x be a(10). Suppose 5*y = x*j - 0*j - 15, -y = -2*j + 6. Solve y = 6*n - 2*n + 8 for n.
-2
Let m be 8/(-1) + 0 + -2. Let n be m/(-3) + 8/12. Suppose 0 = -5*b + 11*b. Solve n*q = -b*q for q.
0
Let y(s) = -s + 15. Let w(x) = 6*x - 11. Let z be w(4). Let r be y(z). Solve 6 + r = -4*f for f.
-2
Let j = 983 + -963. Solve -9*d - j = d for d.
-2
Suppose 38*v - 124*v = -172. Let p(y) = y**2 + 6*y + 5. Let s be p(-5). Solve 3*d - d + v = s for d.
-1
Suppose 8*y - 12*y - 2*i = -10, -2*i - 17 = -5*y. Solve -j = -y*j - 6 for j.
-3
Let m(n) = -n**2 - 12*n + 26. Let f be m(-14). Let p be 0/((-6)/f - 5). Solve 2*i + 6 = -p*i for i.
-3
Suppose 0 = -0*o - 2*o. Suppose 0*a + 2*a = o. Suppose 2*n - 16 = -a*n. Solve -n*h = -4*h for h.
0
Let h(j) = 3*j**2 + 3 - 2*j + 0 + 4*j**3 - 5*j**3 + 0. Let w be h(2). Suppose 0 = -w*p - p. Solve p = 2*o + 2 for o.
-1
Let z(u) = -2*u**2 + 15*u - 4. Let r be z(5). Suppose 5*a + 0*a - r = -2*v, 5*v - 15 = 0. Solve a + 7 = -5*x for x.
-2
Let b be 5/(75/42)*15/6. Suppose b*t - 19 = -5. Solve -t*j - 4 = -2 for j.
-1
Suppose -4*i - 5*p + 7 = 0, 3*i - 4*p = 287 - 243. Solve -i = -9*y + 13*y for y.
-2
Let a = 64 + -54. Let i be (0 + 0)*(a + -9). Solve -z + 5*z - 4 = i for z.
1
Let r be ((-168)/(-35))/(2/(0 + 10)). Solve 0 = 4*u - 10*u + r for u.
4
Let c be (-176)/(-20) - (-10)/50. Solve 4 = -c*p + 8*p for p.
-4
Let u(l) = -l - 5. Let a be u(-8). Let m be ((-15)/(-5) - a)*-1. Solve m - 2 = -2*w for w.
1
Suppose -v + 4*d + 20 = 0, 40 = 5*v - 2*d - 3*d. Suppose -6*m = -m - 2*k - 17, v*m - 8 = -4*k. Solve m*b - 10 = b for b.
5
Suppose -3*r - 18*o = -14*o - 31, -2*o - 43 = -3*r. Solve -r*l = -0*l + 39 for l.
-3
Let y be ((-15)/(-25))/((-2)/(-30)). Let w = y + -7. Suppose -4*x + 10 = -10. Solve 3*z = w*z - x for z.
-5
Suppose -3*b + 18 = -11*c + 13*c, -c - 2*b + 8 = 0. Solve -c*s - 28 = 8 for s.
-3
Suppose -7*u + 4 - 11 = 0. Let d = u - -4. Solve -m = d - 5 for m.
2
Suppose -1 - 14 = -3*o. Suppose 3*p - 5*x = -20, 4*p + o*x = x + 16. Let k be (-1)/7 - (-165)/77. Solve p = y + k*y for y.
0
Let l = 94 + -92. Solve -l*n - 2 = -0 for n.
-1
Let m be 4 - ((-4)/(-4 - -8))/(-1). Let v be (-82)/(-7) + 4/14. Suppose -3*y + v + m = 0. Solve -c + 12 = -y*c for c.
-3
Let o be (-1 - -2)/((-1)/(-23)). Suppose 0 = 92*b - 93*b + 1. Let t be 0/((-7 + b)/6). Solve t = 5*s + 8 - o for s.
3
Let q be (1716/715)/(2/5). Solve q = -2*a + 2 for a.
-2
Suppose 4*d - 14 = -u, 2*u + u - 4*d - 10 = 0. Let v be 15*(u + -2 + -3). Solve -3*o + v = -0 for o.
5
Let m be (-6)/4 - (830/(-20) + 3). Solve 39*a - m*a = -8 for a.
-4
Let h = -3 + 12. Suppose 0*v + v = -f, h = 4*v + f. Solve -6 = v*p - p for p.
-3
Let x be -1*((-50)/(-10) + -2 + -44). Solve -40*f = -x*f - 3 for f.
-3
Suppose q - 5*q + 40 = -r, 4*r = 5*q - 50. Solve 18*p - 16*p + q = 0 for p.
-5
Let f be 7 + 0 + 0/1. Let h(z) = -z**2 + 8*z + 5. Let v be 8/(-3)*(-12 - -9). Let d be h(v). Solve d = -3*n - f for n.
-4
Let s be 4/(-16) - (-29)/116. Solve -3*a + 89 - 104 = s for a.
-5
Let z be (6/9)/(1 + 532/(-540)). Solve 0 = -p - 8*p + z for p.
5
Suppose -4*j + 21*l = 19*l - 8, 0 = -l - 2. Solve 2*u - u = -j for u.
-1
Let f = -5 + 8. Suppose -f*w + 7*w = -60. Let m be (-2 + -1)*20/w. Solve 2*h - m*h = 0 for h.
0
Suppose 4*g = n + 26, 0 = 3*g - 4*n + 2 - 15. Suppose g*p = 9*p - 8. Solve z = -p*z - 5 for z.
-1
Suppose -3*t = -0*t + 30. Let a = 10 + t. Let l = -1 - -4. Solve 0 = -a*b - l*b + 15 for b.
5
Let s(f) be the third derivative of -f**4/24 - 2*f**3/3 - 12*f**2. Let w be s(-7). Solve w*k - 2*k + 4 = 0 for k.
-4
Let w = 618 - 608. Solve 10*v + w*v - 15*v = 0 for v.
0
Let v = 66 - 60. Let l = 8 - v. Solve l*f + 16 = 6*f for f.
4
Let f = -1591 - -1594. Solve -8 = -f*u + 4 for u.
4
Let a(m) = 13*m + 22. Let f(t) = -7*t - 11. Let c(p) = 6*a(p) + 11*f(p). Let s be c(-9). Suppose -s*u = 4*u. Solve y + 3 = -u for y.
-3
Let f be 3/9*1*9. Let u = 71 - 73. Let m be 3 - (u - -4) - 1. Solve m = -f*l - 14 - 1 for l.
-5
Suppose 10*