23*f = r - 32 for f.
-1
Suppose 0 = -f + 3*f + 4. Let a(n) = -3*n - 3. Let z be a(f). Solve 7*s - z*s = -16 for s.
-4
Suppose 2*v + 2*v = 220. Let p = -39 + v. Let g(i) = -i + 19. Let m be g(p). Solve z - m*z = 8 for z.
-4
Suppose a + 3 = 0, -3*o - 4 + 10 = 2*a. Let h = o - 2. Solve -h*c + 7*c - 15 = 0 for c.
3
Let w(j) = 17*j**2 + j**3 - j**3 + 35*j - 2*j**3 - 42*j - 8. Let a be w(8). Solve -5*z = -a*z for z.
0
Suppose 5 = 4*z - b - 20, -5*z + 2*b + 32 = 0. Solve i + 0*i = z*i for i.
0
Suppose n - 33 = 4*n. Suppose 0 = -l + 7 + 10. Let j = n + l. Solve p = -p + j for p.
3
Suppose 18*b = 20*b - 4. Solve b*u - 1 = 7 for u.
4
Let c(x) = -x**3 + 4*x**2 + 3. Let v be c(3). Let y = 92 - 99. Let a = v + y. Solve -13 - 2 = a*i for i.
-3
Let x(p) = -p**2 - 4*p - 8. Let m be x(-4). Let n be ((-342)/24)/(-19) + 6/m. Solve n = -2*r + 3 - 7 for r.
-2
Let c = 8 + -18. Let r be (c - 8)*(-2)/4. Solve 4*q - r = q for q.
3
Suppose -3*f = -4*c + 60 - 20, 0 = -2*f - 8. Let u(p) = p**2 + 18*p - 87. Let b be u(4). Solve 2*j + b - c = 0 for j.
3
Let o(y) = -y**3 - 7*y**2 - y - 4. Let m = -9 + 2. Let b be o(m). Suppose -16 = -2*a + 2*j, 1 = -4*a - 2*j + b. Solve -a*f = 9 + 6 for f.
-5
Suppose -9440 = -13*v - 8699. Solve -v + 75 = 9*m for m.
2
Suppose -47*d = -63*d + 352. Solve -d + 30 = -2*u for u.
-4
Suppose 4 = g + g. Suppose 0 = 2*j + g*l - 16, -4*j - 2*l + 0 = -24. Solve 2*t + 2*t = -j for t.
-1
Let y(m) be the first derivative of 2*m**3/3 - 3*m**2/2 - 10*m + 22. Let k be y(4). Solve -k = -5*s - 0*s for s.
2
Let d(k) = k**2 - 3*k - 7. Let v be d(5). Suppose -g = -0*g + 10*g. Suppose f - 6 = 3*f, g = -5*t + f + 28. Solve -v*n + t*n + 6 = 0 for n.
-3
Let a(p) be the third derivative of p**6/120 + p**5/12 + p**4/24 + p**3 + 10*p**2. Let z be a(-4). Solve 4*i = -2 + z for i.
4
Suppose 7 = 3*p - 38. Let c = 4 - 0. Let r = c - 4. Solve 0 = 5*i - r*i - p for i.
3
Let g be ((-105)/(-175))/((-2)/(-10)). Solve 0 = y + 2*y - g for y.
1
Let d(o) = -3*o + 13. Let h be d(3). Let w be -4*h/8 - -2. Solve w*f + 4 = -f for f.
-4
Let y be 1*(-3 + (-5 - (6 - 37))). Solve -16*w = y - 7 for w.
-1
Let f = 760 + -760. Let u(v) = -6*v - 1. Let q be u(-1). Solve q*i - 8 - 2 = f for i.
2
Let g = 412 - 405. Solve 0 = -g*s + 3 + 4 for s.
1
Suppose -x + 5*x = 20. Let h = 188 - 188. Solve -2*f - 3*f - x = h for f.
-1
Let p be ((-16)/(-6))/((-30)/(-45)). Suppose -p*b = -b - 3. Solve -5 = -2*i - b for i.
2
Let w = 10 - 5. Suppose -4*l = -w*y + 27, -y - 3*y + 21 = -3*l. Solve 0*g - 9 = -y*g for g.
3
Suppose -7 = -4*o + 13. Suppose o*i + 9 = -3*c, i - 3*i = -2*c + 10. Solve c - 6 = -d for d.
4
Suppose -4*l = -3*l. Suppose 0 = -5*g + 4*z + 251, -101 = 2*g - 4*g + z. Let n be ((-6)/(-4))/(g/68). Solve 3*r - n*r - 4 = l for r.
4
Suppose 36 = z + 27. Solve -2*f = -z + 5 for f.
2
Let m be 2/(-8) + 10/8. Suppose h = -0*h - 3*o + 14, 24 = h - 2*o. Suppose 3*y + 11 = h. Solve -r - y = -m for r.
-2
Suppose 3*a = 1 + 11. Suppose -5*w - 125 = -a*m, -3*m + 2*w + 100 = -3*w. Solve -2*d - 19 = -m for d.
3
Let k(m) = m + 12. Let t be k(-7). Suppose -7*f + 205 - 198 = 0. Solve -f = -t*b + 4 for b.
1
Let w be -2 + 3 - 13/(-2 - 11). Solve 4*f + 4*f = w*f for f.
0
Let f be 23/5 + 2/5 - -3. Suppose -141 + 21 = -f*t. Solve -2*w - t = 3*w for w.
-3
Let h be 1*3 + (-7 - -5). Suppose h + 20 = 3*f. Let d(i) = i**2 + i - 19. Let k be d(-5). Solve 4*r - f = k for r.
2
Let m = 33 + -31. Let y(n) = 4*n - 15*n - n**2 - 9 - 1. Let d be y(-8). Solve -3*s = m - d for s.
4
Let d be 9/2 - (-4)/16*-6. Let n = d + -3. Solve -j + n = 1 for j.
-1
Let c(q) = -22*q + 3. Let r be c(-2). Suppose -2*o + 15 = -3*u + r, -3*o = -u + 13. Suppose 2*j = -3*j + u. Solve -4 = k - j for k.
-2
Suppose 9*z = -9*z + 180. Solve 26 = -4*y + z for y.
-4
Suppose 14*v - 23*v + 414 = 0. Solve 1 = -47*j + v*j for j.
-1
Let u(a) = a**2 - 12*a - 2. Let z be u(12). Let w = z + 6. Suppose n = -n + w. Solve n + 18 = -4*b for b.
-5
Let u be 1188/660 - 1/((-10)/12). Solve u*t = -82 + 91 for t.
3
Let g = -2 - -4. Suppose 0 = g*u - 13 + 3. Let m = -1 + u. Solve 4*x = -8 - m for x.
-3
Let u be 3*(-138)/(-45) - (-24)/(-120). Solve 39*m = 42*m + u for m.
-3
Let g(c) = -4*c - 3. Let n be g(-2). Let b = 12217 + -12214. Solve 0 = -2*s + n*s - b for s.
1
Let g = -2 + 3. Let d = -20 - 35. Let t = -53 - d. Solve -x - g = -t for x.
1
Let u = -1507 + 1513. Solve -7 - 5 = u*w for w.
-2
Suppose 21 = -1581*k + 1588*k. Solve -1 + 7 = k*d for d.
2
Suppose 23 = 5*h + a, 0 = -2*a - 3 - 1. Solve -h*i + 9 = -1 for i.
2
Let t be 4/32 + (-143)/(-8) - -3. Solve 3*b - t = 10*b for b.
-3
Let o be 122/8 - 6*(-1)/(-24). Solve -y + 6*y = o for y.
3
Let y(c) = c**2 + 17*c + 46. Let d be y(-14). Solve -4 = d*z - 2*z for z.
-2
Let y be 63 - (9/(72/112))/2. Solve -y + 38 = 9*d for d.
-2
Let s(z) = 27*z - 1 + 28*z - 53*z. Let k be s(1). Solve -q - 5 = -k for q.
-4
Let b(a) = a**3 - 3*a**2 - 6*a + 5. Let v be b(4). Let o be 36/10*7 - v/(-15). Let k = 5 - 0. Solve -k*l + o = -0 for l.
5
Let w be ((40*3)/5)/(-1 + 2). Suppose -5*r = 3*d - w, 3*r - 3 = -0*d + 2*d. Solve h + d*h = -12 for h.
-3
Suppose 0 = 6*x + 25*x - 279. Solve 13*s - x*s = 0 for s.
0
Suppose -18*r = -133 - 191. Solve -10*z + r + 2 = 0 for z.
2
Suppose 90 = 4*d - d. Let s be ((-3)/5)/((-6)/d). Suppose -3 = s*p - 12. Solve -p*n = -5*n for n.
0
Suppose 3*p = -4*s + 89, 4*s - 52 = 2*p + 42. Solve 13*h - s = 16 for h.
3
Suppose -82 = -c - 77. Solve -4 = -c*z - 29 for z.
-5
Suppose 0*r - 3 = -3*r + o, 0 = 4*o. Solve 9 + r = -2*h for h.
-5
Let z = -7 - -19. Suppose 2*p - z = -2*p. Solve -p*r - r = 0 for r.
0
Suppose 7 = 3*y - 2. Suppose -5*g - 4 = j - 3, -2*g - 3 = y*j. Let n be g*(0 + 3 + -4). Solve 2*k = -n*k + 10 for k.
5
Let l(a) = -a**3 - 4*a**2 + 5*a + 1. Let v be l(-5). Suppose 5*j + 572 - 597 = 0. Solve j - v = q for q.
4
Let y be (-3 + 0)/((-3)/5). Suppose 5*n - 5*r - 10 = 0, n - 5*r + 6 = -0. Suppose -5*j = 5*x - 20, 4 = 2*j + 4*x - n. Solve j*i - y = -1 for i.
1
Let b(u) = u**2 - 24*u. Let j be b(24). Let o(y) = -y**2 - 2*y + 1. Let x be o(j). Solve 2*t = -x - 3 for t.
-2
Let g = 2 + 3. Suppose 10*r - 15*r + 10 = 0. Suppose r*l - g*t = 49, 2*t = -4*l + t + 65. Solve -8 = 5*f + l for f.
-5
Let o be (-20)/(-70) + 0 + (-38)/(-14). Solve o*q = -8 - 4 for q.
-4
Suppose -170 - 24 = -5*y - t, -2*t - 30 = -y. Suppose -y*k = -39*k + 17. Solve -3*b = -k + 2 for b.
5
Suppose 2*j = 11 + 13. Suppose -3*i - 17 = -3*y - y, j = 3*y - 2*i. Suppose -l = y*l - 18. Solve -l*d + 16 = -2*d for d.
4
Suppose -320 = -4*o - o. Let a = o - 55. Solve a + 3 = 4*b for b.
3
Let v = -94 + 94. Suppose -9*l - l = v. Solve 2*w + w + 6 = l for w.
-2
Let d(w) = 3*w - 4. Let m be d(4). Suppose 5*g + 3 = m. Let n be 2 + (2 + g - 1). Solve -i = -2*i + n for i.
4
Let t(u) = 1 - 6*u**2 - u + 8*u**2 + 0 + 13*u**2. Let v be t(1). Let o = 34 + -32. Solve -3*n = o*n + v for n.
-3
Suppose 965*m - 968*m = -6. Solve -d = m*d + 15 for d.
-5
Suppose 0 = 3*x + n - 13, 3*x + 2*x - 5*n = 35. Let q(a) = -3*a - 3 + x*a + 5*a + a. Let f be q(1). Solve -f*y - 4 = -y for y.
-1
Let x(h) = h**3 - 3*h**2 - h + 5. Suppose -5*v = -10 - 5. Let s be x(v). Solve s*w + 3 = -w for w.
-1
Suppose -11*k - 97 = 2. Let t(g) = g - g**3 - 4 + 0 - 10*g**2 - 11*g. Let c be t(k). Solve -4 - 11 = -c*b for b.
3
Suppose -q + 3*x + 16 = 0, 4*q - x - 32 = 32. Solve -q + 3 = -13*m for m.
1
Let b be ((-8)/14)/(918/84 + -11). Suppose -3*v + 4*z - 11 = 0, 5*v + 3 = -5*z + 43. Solve -v*l - 1 = b for l.
-3
Suppose 5 = -0*d + d. Suppose -d*t = -0*t - 20. Suppose 6*w = t*w + 24. Solve 2*s - w = 5*s for s.
-4
Let r = -37 - -34. Let n(d) = -10*d - 27. Let s be n(r). Solve s*u - 17 + 8 = 0 for u.
3
Suppose 3*n - 2*n - 32 = 0. Suppose n = 3*l + 5*h, -3*l - 3*h = -10 - 14. Solve l*u = -2 - 6 for u.
-2
Let n(f) = f**2 + 3*f - 34. Let r be n(0). Let z = r + 54. Solve 0*a - z = -4*a for a.
5
Suppose 24*q = 568 + 776. Solve -q + 50 = 3*s for s.
-2
Let c be (-8)/(-6) - 572/(-66). Solve 6*a = a + c for a.
2
Let m(s) = s**3 + 10*s**2 + 8*s - 6. Let l be m(-9). Let i be 7 - 8 - (l - 1). Let b be i*(-8)/(-6) - -9. Solve 0 = b*f - 0*f - 15 for f.
3
Let v = -1279 + 1283. Let d = 2 - 0. Let j = 4 - 2. Solve d*s + v = -j for s.
-3
Let d = -48 - -49. Suppose 3*o - 4*o = -d. Solve 2*c = 3*c - o for c.
1
Suppose -f - 12 = -4*t - 0*t, 3*t