 = 3*t. Solve 0 = t*c - 5*c for c.
0
Let j be (-2)/5*5*-1. Let l be (6 + -6)*13/26. Solve l = -3*w + 10 + j for w.
4
Let i = -1739 + 1763. Solve -30*d + i*d = 18 for d.
-3
Let x = 117 - 92. Solve -25 = 20*d - x*d for d.
5
Let p(t) = t**3 - t**2 - t + 10. Let c = 1 - 1. Let r be p(c). Suppose 877*n = 871*n + 12. Solve -n = 3*f + r for f.
-4
Let y(j) = -j**2 - 27*j - 49. Let h be y(-2). Solve 0*g + g - h = 0 for g.
1
Let s = -229 + 235. Solve -j - s = j for j.
-3
Let v be 60/28 - 1/7. Solve 2*j - 6 = -v for j.
2
Let q be 27/(-12)*12/(-9). Solve -5*i + q*i = 6 for i.
-3
Suppose -4*a + 4*x = x + 105, 3*x - 33 = a. Let g = 51 + a. Suppose -c - 3*o = -7, 2*o = -3*c - o + g. Solve -4*s = -2*s - c for s.
5
Let c be (0 + (-1)/(-2))*-52. Let h = -54 - c. Let t = h - -32. Solve -16 = -0*y - t*y for y.
4
Suppose 3*k + 39 = -0*k. Suppose -125 = -5*g + 4*z, 0*g + z + 24 = g. Let u = k + g. Solve y + 3*y = -u for y.
-4
Suppose 5*q = 64 - 19. Let y(d) = -d + 5. Let c be y(q). Let j(v) = v**2 + 3*v - 3. Let g be j(c). Solve z - 3 = -g for z.
2
Let i(v) = -5*v - 1. Let f be i(-1). Suppose -15 = 12*h - 9*h. Let q = 8 + h. Solve f = q*k - 11 for k.
5
Suppose 0 = -4*p - 4*k + 36, 9 + 5 = p + 2*k. Let u(f) = -40*f - 834. Let j be u(-21). Solve j = c - p*c for c.
-2
Suppose -9*b + 63 = -2*b. Solve b*u + 12 = -33 for u.
-5
Suppose z + 3*v - 20 = 0, -3*z + 2*v + 18 = -9. Let f(a) be the first derivative of a**2 - 17*a + 74. Let r be f(z). Solve r + 1 = -3*x for x.
-2
Suppose -3*v = -20 - 10. Suppose 0 = 7*j - v*j. Solve -5*y + 1 - 21 = j for y.
-4
Let d be 4/1 - (2 + -3). Suppose d*k - 22 + 2 = 0. Suppose 0 = -k*t + 5*t. Solve t = -3*q - q - 16 for q.
-4
Let v be (90/54)/(2/6). Suppose -3*a + v*y - 1 = 0, -y + 3 = 4*a - 11. Solve 4 = -a*g - 8 for g.
-4
Suppose c - 3*h = -6*h + 20, -4*h + 30 = 2*c. Suppose -9 = c*q - 59. Suppose 12*g - 7*g = q. Solve -g*d = 2*d for d.
0
Let t be 1*((3 - 3) + 104). Suppose -v - 7*v + t = 0. Solve -33 = -5*n - v for n.
4
Let o(i) = 5*i - 12. Let c be o(-3). Let j = 31 + c. Solve -3*m + 2*m - j = 0 for m.
-4
Suppose -3*s + 15 = 3*k, -3*k = -0*k. Suppose -s*h = -3 - 12. Suppose r - 4 + 0 = 0. Solve -r*a + 17 = -h for a.
5
Let p(a) = -2*a**2 - 6*a + 8. Let g be p(-4). Solve -2*f + 3*f = g for f.
0
Let s = -195 - -199. Solve s*v - 15 = -v for v.
3
Suppose 2*u - 3*y = 40, 6*u - 5*u + y = 10. Solve 0 = -17*m + u*m for m.
0
Let h be 16/(-48)*3/(-2)*18. Solve 16*w - h = 13*w for w.
3
Let o(k) = -k**3 - 11*k**2 + 122*k - 51. Let n be o(-18). Solve -19*c - 40 = -n for c.
-1
Let x(f) = 2*f**2 + 40*f - 28. Let m be x(-21). Solve -5*i + m = 4 for i.
2
Suppose -5*x + 6*x - 3*k = 0, 3*x = 4*k + 15. Solve -x*g - 8 = 28 for g.
-4
Let z = 266 - 265. Suppose -d - 2*v + 3 + 5 = 0, -2*d - 8 = -2*v. Solve d*u + u + z = 0 for u.
-1
Let n(g) = -252*g + 26 - 2*g**2 + 3*g**2 + 262*g. Let y be n(-6). Solve y*z + 3*z = 5 for z.
1
Let i be 32/(-12)*45/(-60). Solve i*o + 10 = -0*o for o.
-5
Suppose -30*p + 40*p = 30. Solve p*q + 0 = -6 for q.
-2
Suppose -16 = -v - 4*u, -2*v - 7*u + 45 = -12*u. Solve 16 = c + v for c.
-4
Let l(k) = 2*k**3 - 2*k**2 + k - 2. Let u be l(3). Let i = -32 + u. Solve 0*p - 10 = -i*p for p.
2
Suppose -17*a + 38 = -234. Suppose -12*x = -8 - a. Solve 0 = x*r - r for r.
0
Let u(f) be the second derivative of f**5/20 - f**4/12 - 7*f**3/6 + 5*f**2/2 + 3*f. Let a be u(3). Solve 0 = a*t + 3 - 7 for t.
2
Suppose -3*w - 5*v - 20 = -v, 4*v + 20 = 0. Solve w = 2*g - 44 + 54 for g.
-5
Suppose -16*r + 96 = -4*r. Let o = -11 + 19. Let u = -8 + o. Solve u = 3*c + c - r for c.
2
Let g(f) = -2*f - 4. Let z be g(-5). Let l(y) be the second derivative of y**4/12 - 2*y**3/3 - 4*y**2 + 23*y. Let u be l(z). Solve -x - u = -6 for x.
2
Let l(x) = 2*x**3 - 5*x**2 + 4*x - 2. Let h be l(3). Let o = 19 - h. Solve o = 4*a - 1 - 19 for a.
5
Suppose 151*m = 138*m + 208. Solve -6*a - 2 - m = 0 for a.
-3
Suppose -4 = -5*q - 14, 0 = -4*h - 2*q + 16. Suppose 30 = h*l - 2*n - 2*n, -l = -3*n - 17. Solve -2*f = l*f for f.
0
Suppose -5*f = f - 18. Let l(w) = w**2 + 9*w + w + f - 7*w. Let v be l(0). Solve v*x - 5*x - 8 = 0 for x.
-4
Let g(i) = -1 - i - 93*i**2 + 93*i**2 - i**3 - 2*i**3. Let j be g(-1). Solve -2*o = -j*o - 3 for o.
-3
Suppose -r + 0*i + 2*i + 10 = 0, -2*r - 4 = 4*i. Let k = r + -4. Suppose k*q + 4*q = 8. Solve -3 = u + q for u.
-5
Let x(v) = v**3 + 6*v**2 - v - 1. Let t be x(-6). Suppose t*m - 5 = 5. Solve -m*z + 3*z = 0 for z.
0
Let s be 14/6 - 2/6. Let u = -87 - -93. Suppose 3*a = -9*a - u*a. Solve a = s*y + 6 - 4 for y.
-1
Let x be (-1)/(-2)*10 + (31 - 33). Suppose 4*a = 8, a - 2 + 0 = 2*n. Let p be (n + -6)/(0 - 1). Solve x = -3*i + p*i for i.
1
Let w(t) = 2*t. Suppose -u + 21 = -0*y - 4*y, -4*u - 5*y = 0. Suppose 2*k + u*f - 14 = 0, 3*k + f - 8 = -0*f. Let v be w(k). Solve -s = -2*s + v for s.
4
Let h be (-19 - 0)/((-3)/(-6)). Let u = -38 - h. Solve u = -o - 0 + 4 for o.
4
Let o = -34 - -41. Suppose -7 = -2*d + o. Solve -20 = -2*j + d*j for j.
-4
Let v be (6/(-11))/((-78)/429). Solve -2*k + k = -v for k.
3
Let f(x) = 22*x - 52. Let y be f(3). Solve 5*g + y = -1 for g.
-3
Let n be -5 - -2 - (-6 - (-9)/3). Let h(y) = -y**3 + 6*y**2 + 8*y - 4. Let g be h(7). Let q = -1 + 4. Solve n*r = q*r - g for r.
1
Suppose 3*v - 5*t = 4*v - 9, 0 = 2*t + 6. Let a = v - 19. Solve -a*j - 8 = 17 for j.
-5
Let q(j) = -j**3 + 10*j**2 + 22*j + 37. Let f be q(12). Solve f = -2*v + 3 for v.
-5
Suppose 0 = -14*l + 41 + 29. Solve a - 24 = -l*a for a.
4
Suppose -21*i - 26 = -25*i - 5*x, 0 = -4*i + 2*x + 40. Solve 4*t - 7*t = -i for t.
3
Let m(d) = -d**3 - 20*d**2 - 36*d. Let a be m(-18). Solve a = -6*y + 2*y for y.
0
Let k(g) = 2*g**3 - 11*g**2 + 18*g + 5. Let u be k(6). Let s = u - 147. Solve 0 = s*q - 3 - 3 for q.
3
Suppose 12*o = 11*o + 3. Solve 12 - 9 = -o*h for h.
-1
Let m(a) = a + 8. Let x be m(8). Suppose -5*f + 20 = -2*f + 5*w, 4*f + 3*w = 23. Solve -s + f*s + x = 0 for s.
-4
Suppose o = 5*l - 0*o + 66, 18 = -l - o. Let y be (-216)/l - 3/7. Let d = 15 - y. Solve d = z + z for z.
0
Let a = -692 + 694. Solve a*n - n = -4 for n.
-4
Let g = 8 + -6. Suppose 2*o - 16 = -g*f, 72 = 5*o - f - 2*f. Let z = -12 + o. Solve 5*y - 15 = -z*y for y.
3
Suppose -4*o + 37 = 3*i + 10, 3*i - 15 = 0. Suppose 0 = 5*c + o*w - 53, c + 0 = 5*w + 5. Let t be 3/(-1) + -2 + c. Solve 0 = 3*f - 17 + t for f.
4
Let v(w) = -11*w + 68. Let u be v(6). Solve 7 = -u*o - 3 for o.
-5
Suppose -11*u = -6*u. Solve u*p = 8*p for p.
0
Let g(d) = d**2 - 4*d - 8. Let a be g(6). Suppose -150*o = -151*o. Solve o = -s - a*s - 5 for s.
-1
Let l be (2 - (-7)/(-5))*5. Suppose -2*m + 12 = 5*t - 4*m, -4*t = -l*m - 11. Solve t*f = -0*f for f.
0
Suppose 13 = 5*b - 3*j, 10*j - 8*j - 4 = -3*b. Suppose -2*s - 5*f - 11 = 0, 2*s - 6*s = -2*f - 14. Let g = -15 + 15. Solve p - s*p - b = g for p.
-2
Let u = -197 - -214. Solve 14*n = -u*n for n.
0
Let y(o) = 6*o**3 + 14*o**2 + 10*o - 31. Let z(s) = s**3 + 3*s**2 + 2*s - 6. Let a(j) = -2*y(j) + 11*z(j). Let l be a(5). Solve -4*w - l = -7*w for w.
2
Suppose -28 = -5*m + 2. Let f = -2180 - -2182. Solve -m = 4*s - f*s for s.
-3
Let x = 16 - 13. Suppose x + 3 = 2*l. Solve 7*g - 16 = l*g for g.
4
Suppose -z + 4 = -3*s - 5, -2 = -2*s. Let u = 39 + -39. Solve u = 3*k - z for k.
4
Let i(q) = -q**3 - 16*q**2 - 17*q - 30. Let t be i(-15). Solve -z - 1 - 1 = t for z.
-2
Suppose -4*c + s = 64 - 95, -4*s + 28 = 3*c. Solve c*r - 58 = -58 for r.
0
Let h(g) be the first derivative of g**5/120 - 5*g**4/8 - 4*g**3/3 - 9. Let c(w) be the third derivative of h(w). Let s be c(17). Solve y = -s*y for y.
0
Suppose -6*s - 23 = -125. Let u be (s - -1)*5/10. Solve 3*b - u = -3 for b.
2
Suppose -7 = 4*p - m - 21, 5*p - 24 = -2*m. Let g be -4 + 10 - (-1 - -4)*-1. Suppose -3*t + g = p*d, -8 = -4*t + 5*d + 4. Solve 2 = -t*r - 1 for r.
-1
Let s(k) = 4*k**2 + 5*k - 1. Let v(m) = m**2. Let r(j) = -s(j) + 3*v(j). Let q(x) = x**2 - 4*x. Let a be q(2). Let h be r(a). Solve -10 + h = i for i.
-5
Suppose -5*a + 30 = -8*a. Suppose -3*w + 0*w - 5*i = -49, -2*i + 4 = 0. Let f = a + w. Solve -4*z = -f - 1 for z.
1
Let z = -1 - 10. Let p = 15 + z. Solve -2*w + 0 = -p for w.
2
Suppose -2*p - 2*f - 15 + 31 = 0, 38 = 5*p + 3*f. Solve 0 = -24*d + 31*d + p for d.
-1
Let z be (-16)/(-5) + 4/(-20). Suppose 0*n - z*n = n. Solve n = -p - 1 -