1
Let m(p) = p**3 + 9*p**2 - 13*p - 25. Let d be m(-10). Solve -10 = -d*c - 5 for c.
1
Let v(b) = -b**3 + 20*b**2 - 19*b - 27. Let s be v(19). Let k = s + 39. Solve 3*i - k = -0*i for i.
4
Let q be (-1218)/(-147) + -2*1/7. Solve 4*u = q + 8 for u.
4
Suppose -14*b + 704 + 444 = 0. Solve b = -2*n + 88 for n.
3
Let p(h) = h**3 + 2*h**2 - 7*h + 14. Let r be p(-4). Solve r - 1 = -3*m for m.
-3
Suppose 1 = -f, w - 5*w = -f - 145. Suppose -w = -5*x + 89. Solve p + x = -4*p for p.
-5
Let z = -24 - -28. Suppose 3*w = -5*c - 3 + 1, -12 = -z*c + w. Solve 7 = u + c for u.
5
Let j(s) = -s**3 - 18*s**2 + 40*s + 4. Let n be j(-20). Suppose 5*c = -25, 2*y - n*c - c - 33 = 0. Solve -6*q + 4*q - y = 0 for q.
-2
Suppose -26 + 98 = 4*x. Suppose -5*n = x - 28. Solve -3*o + n*o - 2 = 0 for o.
-2
Let m = 1604 - 1602. Solve m*o = -3*o + 5 for o.
1
Suppose 3*s - 93 = -0*s - 3*c, -5*s - 3*c = -159. Solve s*l + 1 = 34*l for l.
1
Suppose 4*k - 61 = -41. Solve 0 = k*j - 8*j - 15 for j.
-5
Let f(z) = z**3 + 2*z**2 - 2*z - 1. Let n = 9 + -11. Let l be f(n). Solve 0 = -l*s + s + 8 for s.
4
Let b(u) = u**2 - 13*u + 14. Let g be b(12). Suppose 2*x = 2*k + 6*x + 16, 4 = -g*k + 2*x. Let r be -5*(52/5)/k. Solve -r = -4*l + 7 for l.
5
Let z be 0 - -13 - (-2 + -1). Suppose 24 = 4*g + z. Solve -g*f = 2*f - 16 for f.
4
Let u be 3/((-30)/75*(-6)/16). Solve 5*s = 15*s + u for s.
-2
Let k(j) = -4*j**2 - 37*j + 1. Let w be k(-9). Solve -w*p - 27 = -p for p.
-3
Suppose 15*h = 145 - 100. Solve -h*w - 77 + 71 = 0 for w.
-2
Let s(x) = x + 5. Let k be s(0). Suppose 4*o + h = 16, 2*h = -4*o + k*h + 16. Suppose 2*u + o - 10 = 0. Solve 0 = -2*c + 11 - u for c.
4
Let t(j) be the second derivative of 0 + 11/2*j**2 + 7/6*j**3 + 5*j - 1/12*j**4. Let p be t(8). Solve 3 + 0 = p*o for o.
1
Let i be 8/(-28) - -76*18/84. Solve 0 = i*a - 5*a + 11 for a.
-1
Let d = -17 + 22. Solve 12 = -a + d*a for a.
3
Let j(t) = t**2 + 13*t. Let c = 11 + -24. Let n be j(c). Solve n + 2 = -2*p for p.
-1
Let t = 51 - 46. Suppose -4*x = -m - 17, -t*x + 4*m + 11 = -13. Solve x*q - 2 = 6*q for q.
-1
Suppose 16*o - 12*o - 12 = 0. Solve 2*z - o + 11 = 0 for z.
-4
Suppose 12 = 108*b - 107*b. Solve 23 = 11*q + b*q for q.
1
Let v = -1728 + 1765. Solve 2*f + 45 = v for f.
-4
Suppose -w = 2*k + 6, -5 = 5*k + 3*w + 12. Let o = 5 - k. Solve -20 = o*i - i for i.
-4
Let h = -47 - -154. Suppose -4*w = -v + h, -3*w + 7*w + 103 = 5*v. Let y = -25 - w. Solve 2 + 4 = -y*b for b.
-3
Let n = -835 + 876. Solve 0 = -4*c + n - 33 for c.
2
Let s(i) = -i**2 + 7*i + 3. Let z be s(8). Let x = z - -7. Let u be (-7)/(-3) + 4/6. Solve 4 = -u*l - x for l.
-2
Let z(x) = x**2 + 15*x - 4. Let p be z(-16). Let i be (p/75*5)/((-4)/(-10)). Suppose 0 = 2*j + 2*k - 0*k - 24, -5*j + 4*k = -15. Solve j + i = 3*m for m.
3
Let r(l) = -3*l. Let n = -37 - -36. Let u be r(n). Solve u - 18 = -3*p for p.
5
Let i be 576/(-40) + (-4)/(-10). Let k(m) = m**2 + 16*m + 34. Let a be k(i). Solve r = -2*r - a for r.
-2
Let l be 0 - 0 - (3 - 19 - -10). Solve 0 = 6*f - l + 24 for f.
-3
Let j(i) = 6*i + 155. Let f be j(-25). Let o(r) = 2*r - 8. Let a be o(6). Suppose 2*c = 2*n - 14, 0 = a*n - 2*c + c - 22. Solve n = f*t - 15 for t.
4
Suppose -2*o = 5*r - 12 - 3, 30 = 5*r + 5*o. Let l = 318 + -315. Solve -l = -4*q + r for q.
1
Let n(q) = 4*q - 15. Let i be 1 + 2 + 4/2. Let o be n(i). Suppose 0*b = -b - 5, -o*b = 2*t + 15. Solve 0 = r + t for r.
-5
Let l(q) = 134*q + 555. Let z be l(-4). Solve -9*g + z = -8 for g.
3
Suppose 83*y - 15 = 78*y. Solve -y - 30 = -11*s for s.
3
Let i = 385 + -383. Solve i*y + 0 = -2 for y.
-1
Suppose 100 - 35 = 5*z. Suppose c = -0*c + z. Suppose 0 = 11*k - c*k. Solve k = i + 2 for i.
-2
Let u(h) be the second derivative of -h**4/12 + 5*h**3/2 + 5*h**2/2 - 4*h. Let v be u(11). Suppose 5*k - v + 9 = 0. Solve k*f = 3*f - 20 for f.
-4
Suppose 5*p + 3*w = 4, 0*p - 4*w = -5*p + 18. Let j be 5 - 1/((-3)/(-6)). Solve -j = p*n + 3 for n.
-3
Let w(x) = -x**2 + 11*x - 4. Let p be w(10). Suppose -f + p = f. Solve -8*u = -f*u for u.
0
Let w(b) = -b**3 + 7*b**2 + 3*b + 3. Let z be w(7). Suppose -4*l + 5*c + z = 3*c, -4*c - 12 = -2*l. Solve -l*q + 2*q = 0 for q.
0
Suppose -3*t + 4*t - 3*p = 152, 5*t = -3*p + 850. Let z = t + -165. Let k(o) = 2*o - 2. Let h be k(2). Solve h*c = -z*c - 12 for c.
-3
Let j be -2*((-15)/(-10) - 3). Suppose o + 2*s - 8 = -2*o, j*s - 10 = -4*o. Solve i = -i - o for i.
-2
Suppose 5*u - 12 = -2*i, -4*i = -15*u + 13*u. Solve -12 = -u*c - 2 for c.
5
Suppose 0 = -2*m - 21*m + 828. Solve 0 = 11*y - 2*y + m for y.
-4
Let n = -17 + 21. Suppose -n*g = 4 - 20. Solve -6*z - 4 = -g*z for z.
-2
Let q be 1*(-3)/((-12)/8) + 1. Suppose -k = 4*o - 6, q*o = -0*k - 5*k - 4. Let c be (-1)/1 - (-12 + 2). Solve c = o*x - 1 for x.
5
Suppose 165*x = 195*x. Solve 2*g - 10 + 6 = x for g.
2
Let d = 2487 - 2479. Solve 9*c + 5 = d*c for c.
-5
Let c be -2*8*6/(-48)*(-4)/(-2). Let v = 6 - -19. Solve 5 - v = -c*t for t.
5
Let c(a) = a**2 - 11*a + 30. Let d be c(3). Solve k + d = 3 for k.
-3
Suppose 4*d + 5*q - 95 = 0, -d + 4*q + 31 = 2. Let x be -2 + 0 - (-1 + -1). Suppose 3 = 3*y + p, -3*y + x*y = -p + 3. Solve 8*s - 3*s + d = y for s.
-5
Let q(v) = v + 4. Let x be q(-11). Let y = -9 - x. Let f be 6/9 + y/3. Solve 0 = 2*d - f*d for d.
0
Suppose -12*l - 11 + 59 = 0. Solve -l*x - 17 + 1 = 0 for x.
-4
Suppose -3*k + 2*k + 4 = 0. Suppose k*t - 22 = 2*x - 4, -4*t + 19 = -x. Let z be (-5)/2*(-40)/50. Solve z*o + t = 1 for o.
-2
Let f(x) be the first derivative of x**4/2 - x**3/3 - 5*x**2/2 + 2*x + 7. Let r be f(2). Solve y - r + 5 = 0 for y.
-1
Let m(x) = -x**3 + 8*x**2 + 7*x + 11. Let s be m(9). Let r be (-2)/14*s - (-1 - -2). Solve 0 = -2*a - 2 - r for a.
-1
Suppose 5*t + 4*h = 4, 3*t - 3*h = -24 + 48. Solve -14 = 2*g - t for g.
-5
Suppose 9*m = 12*m - 33. Let v be 3*(1/(-1) - -2). Let z = m + v. Solve -2*x = -z + 6 for x.
4
Let o be (4 + 44/(-8))*2*-1. Suppose 0 = o*a - p - 17, -4*p = -4*a - 0*p + 28. Solve 4*h = a*h - 4 for h.
4
Let r(n) = -5*n**2 + 42*n - 12. Let h be r(8). Solve v + h = 3*v for v.
2
Suppose 2 = l - 2*l - 2*y, y + 1 = 0. Suppose l = 5*f - 2*f. Solve -4*i + 0*i - 4 = f for i.
-1
Let p = 467 - 463. Solve 0 = -p*c - 17 + 9 for c.
-2
Suppose -3*u + 100 = -u. Let w = u + -47. Solve -w*f = -2*f for f.
0
Suppose -8*k - 122 - 54 = 0. Let u(h) = -h**3 - 23*h**2 - 22*h + 2. Let c be u(k). Solve z = c - 3 for z.
-1
Suppose 0 = 7*s + 20 - 55. Solve -q + 4 = s for q.
-1
Let z be 688/(-56)*(-14)/4. Suppose 42*u = z*u - 2. Solve -n + 3 = u*n for n.
1
Let k(t) = 2*t**2 - 7*t - 7. Let f(q) = -q + 2. Let n be f(2). Suppose 5*o = w, n*o + 4*o = 4. Let s be k(w). Solve -v = 3*v + s for v.
-2
Let p(w) = -w**3 - 5*w**2 + 6*w + 2. Let b be p(-6). Suppose 5*a - 9 = -3*o + b*a, -19 = -5*o - 4*a. Solve -o*g + 10 = -2*g for g.
2
Let a(v) = v - 3. Let q be a(6). Suppose 4*z - 17 = g, 4*z = -q*g - 0*z + 13. Let h be 12/(g + -3) - -3. Solve h = 2*l + l for l.
0
Suppose -10 + 40 = 5*d. Suppose d = 14*n - 11*n. Solve -1 = -n*p - 3 for p.
-1
Let v(g) be the second derivative of -g**3/6 + 2*g**2 + 2*g. Let p be v(3). Solve -p = 4*j - 21 for j.
5
Suppose 4*w - 3*i - 139 = -2*i, -2*w + 56 = 4*i. Suppose 0 = 6*x - 23*x + w. Solve 0 = -x*q + 1 + 3 for q.
2
Let c be 410/130 + (-2)/13. Suppose 3*f = -5*j - f + 4, 3 = -5*j + c*f. Solve j = 5*v - 0*v + 15 for v.
-3
Let t = -111 + 111. Solve t = p - 1 - 4 for p.
5
Let o be 1/((-3)/(-24)) + -3. Suppose 3*x - o*j - 59 = 17, 88 = 3*x - 2*j. Suppose 3*q + x = 7*q. Solve 2*s = 6*s + q for s.
-2
Suppose -8*v + 72 = -0*v. Suppose -v*t + 10 = -4*t. Solve -t = -5*y + 8 for y.
2
Suppose c + 3*f + 2*f = 0, -5*c - 3*f = -22. Suppose -26 + 2 = -c*r - 3*i, -5*i + 15 = 0. Suppose 675 - 3 = 42*j. Solve -j = g + r*g for g.
-4
Suppose 3*p = -0*p - 4*i + 44, -6 = -p + 3*i. Solve -p*z + 40 = -4*z for z.
5
Suppose 0 = -2*x - 4*g, -4*g - 90 + 70 = 0. Solve 0 = -5*d - x*d - 75 for d.
-5
Let d(t) = 7*t + 5. Let a be d(-5). Let i be (-3)/9 + a/(-9). Suppose i - 1 = s. Solve -3*g = 13 + s for g.
-5
Let s = 1 - 4. Let r be (s + 2)*-4 + 1. Suppose 0 = -r*i + 9*i - 12. Solve 5*o + 8 = i*o for o.
-4
Suppose -100*j + 105*j - 10 = 0. Solve -j*p - 8 = -0*p for p.
-4
Let s(g) = -g - 2. Let i be s(-5). Let m be 4/(-4)*(-1 + i). Let v be m*(-2)/(-4) - -1. Solve -2*f = -v*f + 6 for f