 = 12*q - s*q - 20 for q.
4
Suppose 7*p - 3*p = 5*r - 162, 4*r - 8 = 0. Let w = p - -46. Solve w*t - 10 = 3*t for t.
2
Suppose -5*x - 3*k - 36 = -121, 39 = x + 5*k. Solve -20 = 2*b - x for b.
-3
Let d = 25 + -20. Solve -15 = d*y + 10 for y.
-5
Suppose 3*b = o + 8 + 8, 0 = -2*o - 3*b + 4. Let k be (o/(-6))/(4/6). Suppose 8 = -4*m + 8*m. Solve -m*p = -1 - k for p.
1
Suppose -2*p + d - 44 = 5*d, 133 = -4*p + d. Let i = -30 - p. Solve 0 = -i*s + 4*s - 2 for s.
1
Let g(b) = -b + 8. Let n be g(4). Suppose 48 = -n*r + r. Let p = -14 - r. Solve -20 = -p*u + 7*u for u.
-4
Let c = -331 - -357. Solve c*j = 32*j - 12 for j.
2
Let g be (35/7)/((-5)/(-12)). Solve g*t - 7*t + 5 = 0 for t.
-1
Let l = 531 - 503. Solve d + 32 = l for d.
-4
Suppose 4*f - 36 = -4*b - 0*f, b = 2*f - 6. Suppose -2*q = -b*q. Suppose 5*z - 24 = -4*o, o = z - q*z - 3. Solve l = -l + z for l.
2
Let i(k) = -k**2 - 5*k + 1. Let j be i(-4). Suppose -r + 5 = j. Solve r*s = 4*s for s.
0
Suppose -2*o + 2*t = 3*o - 30, 0 = -5*o - 3*t + 5. Suppose -54 = -o*v + v. Let h be 7*(v/14 + -1). Solve -l = -1 - h for l.
3
Let k(t) = -t**3 + 6*t**2 - 3*t. Let r be k(2). Let y be (-4)/(-5) - 1 - 98/10. Let w = y + r. Solve q + q = w for q.
0
Suppose 0 = -125*m + 116*m + 36. Solve -m*w - 8 - 4 = 0 for w.
-3
Let c(f) be the first derivative of f**3/3 + f**2/2 + 10*f + 5. Let r be c(0). Let i = -4 + r. Solve -y = -i*y + 25 for y.
5
Let z be 12 - (7 - (-3 + 3)). Solve 0 = -z*y - 0 + 25 for y.
5
Suppose 4*g + 3 = 11. Let j(v) = -v**2 - 3*v + 3. Let l be j(-3). Let a = g + l. Solve 2 = -a*c + 7 for c.
1
Let p(v) = -2*v + 3*v - 3 + 1 + 5. Let k be p(-2). Solve k + 2 = 3*i for i.
1
Suppose 2*l - y = 7, l - 3*y + 24 = -8*y. Let c = l - -1. Let j(o) = -o**3 - 25*o**2 - 29*o - 120. Let f be j(-24). Solve -q - c + f = 0 for q.
-2
Suppose 12 = c - 4*c. Let l = c - -11. Suppose 5*d - 3*p - l = 54, 3*d + 3*p = 51. Solve -5*f - d = 1 for f.
-3
Let c be 50 - (16 - 30/6). Solve -25 = -c*p + 34*p for p.
5
Let c = -15 - -18. Suppose -2*s - c*q + 9 = -0*q, -5*s - q + 3 = 0. Let l be s + (4 - 3) + 4. Solve 2*o + 15 = l*o for o.
5
Suppose -2*u = 2*u. Suppose u = -6*z + 7*z. Suppose -f + 3*y = -6, z + 30 = 5*f + 3*y. Solve -2*s + 4 = -f*s for s.
-1
Let x be 8 - -15*(-2)/(-3). Solve -x*g + 19*g + 5 = 0 for g.
-5
Suppose -3*v + 5*m + 55 = 13, -3*v - m + 42 = 0. Solve 18*n = v*n - 8 for n.
-2
Let j be 3 + (-15 + 6)*(-1 + 0). Solve -j = 4*l - 0 for l.
-3
Let d(t) be the second derivative of t**3/6 - t**2 + 7*t. Let w be d(7). Suppose 0*x = 3*x. Solve x*r = w*r + 20 for r.
-4
Let s = -8 - -12. Suppose -s*g = -2*u - 14, g - 3*u - 17 = 2*u. Solve 0*w = g*w for w.
0
Let y(d) = d**2 - 4*d - 6. Suppose -v = u + 2*u - 20, 4*v + 22 = 5*u. Let p be y(u). Solve p*r + 15 = 3*r for r.
-5
Let x(u) = u**3 - 4*u**2 + 3*u. Let h be x(4). Suppose 3*w + 13 = -r + 2*r, 2*r - 4*w = 28. Let d = r - h. Solve 0 = -l + d for l.
4
Let r = -5 - -7. Let p be (-2 - -4) + 6/3. Solve -r*v + p = 2*v for v.
1
Let r(f) = -f**2 + 9*f - 4. Suppose -3*n - 7 + 38 = 2*x, -5*x - n + 45 = 0. Let h be r(x). Suppose -2*i - h = -4*i. Solve -i*j + 6 = j for j.
2
Let u = -10 + 18. Let y be 8/(-2) + 48/u. Solve -5*j - 3 = y for j.
-1
Let w be (141*(-6)/(-162) + -5)*18. Solve w*b - 3 = 5 for b.
2
Let y be (-12)/(-27) - (-948)/54. Solve -2 = -4*v - y for v.
-4
Suppose -6*y - 33 + 141 = 0. Suppose 4*x - y = x. Solve 0 = -3*q + x for q.
2
Suppose -3*u + 5 = -8*u. Let j be (-7 - -4) + (-5)/u. Solve 15 = l + j*l for l.
5
Let d(i) = -7*i + 1. Let w be d(-2). Let s(u) be the first derivative of -u**3/3 + 15*u**2/2 + 8*u + 12. Let f be s(w). Solve f = 5*g - 7 for g.
3
Suppose 0*b + 4*b = 0. Suppose -86*q + 4 = -84*q. Solve s + q*s = b for s.
0
Let o(n) = n**3 + 2*n**2 + 5*n - 12. Let h be o(-4). Let c = h - -68. Solve -j + 15 = -c*j for j.
-5
Let y be -3 + 8 + -2 + -12. Let q(u) = -u**2 - 10*u + 3. Let r be q(y). Solve r = 2*m - 5*m for m.
-4
Let l be (2 - -1)*(0 - -5). Let w be (-4 - (-51)/l)/((-4)/60). Solve v + 2*v - w = 0 for v.
3
Suppose 1612 = 9*r + 19. Let o = r - 173. Solve 0 = -3*a + 4*a - o for a.
4
Suppose 15 = -3*h - 2*w, h + w + w = -5. Let r be ((h - -4)*-5)/1. Solve 4 = r*q - 11 for q.
3
Let l be -2 + 156/9 - 1/3. Let k(c) = -15*c - 19. Let u(q) = 8*q + 10. Let r(a) = 6*k(a) + 11*u(a). Let d be r(-4). Solve n + l = -d*n for n.
-3
Suppose 2*k = -k - 2*a + 5, -2*k + 1 = -a. Solve -k + 10 = -3*o for o.
-3
Let d(a) = a**2 - a + 5. Let u be d(0). Suppose -3*c - 2*c + 3*i + 19 = 0, 0 = -u*c - i + 7. Suppose 0 = 5*v - c*v - 21. Solve 2*h = v*h for h.
0
Let a be 325/30 - (-3)/18. Let o(r) = -2*r + 24. Let j be o(a). Solve -j*c = -c + 3 for c.
-3
Suppose 0 = -5*t - 2*a + 255, -4*t = -5*t + 3*a + 68. Let w = 58 - t. Let k(r) = -r. Let h be k(-3). Solve -w*m - h = 22 for m.
-5
Suppose g = 3*g + 4. Let u(m) = -m + 2. Let a be u(g). Let x be 9/18 - (-10)/a. Solve 7 = x*z - 2 for z.
3
Let v(l) = l. Let g be v(3). Let p(s) = -s**2 + 7*s + 3. Suppose -4*q = -2*q - 14. Let r be p(q). Solve r*z = 12 + g for z.
5
Let j(i) = 10*i - 50. Let o be j(5). Solve o = 4*p + p + 5 for p.
-1
Suppose -6*n = -7*n + 2. Let i be (-1)/(147/(-476) - n/(-8)). Solve 3*l + 8 = i for l.
3
Let d be 6/5*20/6. Let w(o) = -22*o**2 + 6*o + 9. Let h be w(-3). Let q = h - -210. Solve -q*g + d = 13 for g.
-3
Let k be 0 - 5/((-15)/12). Let b be 4/(-14) + (-259)/(-49). Solve b = -k*m - 7 for m.
-3
Let j(q) = 8*q + 24. Let m be j(-4). Let n be (m - (1 - 4)) + 9. Solve v - n = -v for v.
2
Let l(a) = -7*a**2 - 6*a + 4. Let z(u) = -15*u**2 - 12*u + 9. Let m(w) = 13*l(w) - 6*z(w). Let n be m(-4). Let y = 67 + -59. Solve n*j - y = 4*j for j.
4
Suppose 7*b - 288 = -71. Let c = 31 - b. Solve -2*n - 3*n = c for n.
0
Let v(w) = w + 7. Let b(a) = a**2 - 11*a - 7. Let d be b(11). Let z be v(d). Solve 0 = -m - z*m for m.
0
Let x(m) = m + 19. Let y be x(-17). Suppose 13*k + 43 = 303. Solve k = 3*t + y*t for t.
4
Let f(p) = 7*p**2 + 9*p - 3. Let d be f(-2). Solve 0 = -5*m + 12*m - d for m.
1
Suppose 5*i - 32 = -7, -5*w + 3*i - 15 = 0. Suppose 2*s - 7*s = w. Suppose 0 = -4*h + h + 3*y + 12, s = 2*y + 6. Solve -h = -t + 4 for t.
5
Suppose 2*b = -2*s + 14, -6*b = -s - 3*b - 5. Solve -s*k - 4 = -24 for k.
5
Let d be (-80)/(-12)*(-6)/4. Let k = -5 - d. Solve -2*w = -w + k for w.
-5
Suppose 0 = -5*r - 7 + 2, -q - 5 = 3*r. Let a be (4/12 - -1)*(-3)/q. Solve 3*j = 8 - a for j.
2
Suppose -q + 9 = -0*y + y, -4*y + 30 = 2*q. Let k = -30 - -32. Solve 4*p - y = k*p for p.
3
Suppose -10*n = -9*n - 4. Let u(v) = 24*v**3 + 3*v**2 - 2. Let d be u(1). Solve 0 = -g - n*g - d for g.
-5
Let s be 0/(4*4/(-8)). Let b be -4 + 2 + 2/2. Let t = 5 + b. Solve -t*j + j - 15 = s for j.
-5
Let s be 4*-1 - 7/(-7). Let n be 4/(-12) - 7/s. Solve n*u = -2*u + 16 for u.
4
Suppose -2*o - 5*m + 198 + 84 = 0, 2*o + 2*m - 294 = 0. Let p = 157 - o. Solve 19 = 5*z - p for z.
5
Let u = 25 - 22. Suppose -j + 4*j = -5*d + 91, -u*j = d - 11. Solve -2*a = 3*a - d for a.
4
Suppose 0 = -574*d + 568*d. Solve -5*h = -4*h - d*h for h.
0
Suppose 13*x - 67 - 11 = 0. Solve 2 = j + x for j.
-4
Let a(k) = k**2 - 1. Let g(j) = 3*j**2 - j - 4. Let c(q) = -2*a(q) + g(q). Let u be c(-2). Solve u*r = r + 15 for r.
5
Let o = -133 - -142. Let q be (-1)/(12/6 + o/(-3)). Solve -2*v + 3 = -q for v.
2
Suppose 24 = -3*b + 7*b. Let g be 11/55 + 14/5. Solve a = g*a + b for a.
-3
Suppose 6*r + 281 = 299. Solve 7*s - r*s = 0 for s.
0
Suppose 4 = 2*v - 2*u, -17*v + 13*v + 26 = 5*u. Let c(t) = -t**3 - 7*t**2 - 5*t + 1. Let a be c(-6). Let b be (-4)/(-10) + 2/a. Solve b = v*r - 1 - 11 for r.
3
Let z(a) = -10*a - 2. Let p be z(-1). Let d(j) = 2*j - 12. Let v be d(p). Suppose 0 = 4*f + 4, -5*l - 2 = -2*f - v. Solve 4*o - 3 - 1 = l for o.
1
Suppose 0 = -5*g + 8*g. Let w = 1 - -10. Let b = 14 - w. Solve 3*p + b + 12 = g for p.
-5
Let n(w) = w**2 + 2*w - 1. Let j = 67 - 66. Let l be n(j). Solve l*a + 8 = -0*a for a.
-4
Let z = -7 + 9. Suppose -z*n = -n. Let u = n + 4. Solve -o - u*o = -15 for o.
3
Let q(i) = -2*i + 36. Let c be q(15). Let v = -41 + 48. Solve v*j - c = 4*j for j.
2
Suppose 4*a = 2*s + 4, 3 = -5*a + 4*s + 2. Suppose -a*v + 11 = 3*j + j, -7 = -2*j - v. Solve j*q = 3 + 7 for q.
2
Suppose 4*s = 4*j, 0*j + 4 = 3*j - 2*s. Suppose 3*u + j*a - 22 = 0, 5*a - 10 = -3*u + 13. Suppose 2*p + 11 = 3*c, -5*c