- p*w for c.
3
Let m(i) = 317*i - 1265. Let g be m(4). Solve -g*f = 3*r - 12, 2*r - 4*r = -3*f - 8 for r.
4
Let c(z) be the first derivative of z**3/3 - z**2 - 20*z + 2. Let y be c(-4). Let a be (-1)/2*y*(-10)/4. Solve 0 = 4*u + 5*n + 17, 2*u = -4*n - 21 + a for u.
2
Let f(u) = 18*u**2 + 35*u. Let z be f(-2). Solve z*w + 21*x = 16*x + 3, 5*x - 4 = -w for w.
-1
Let y(a) = -a**3 - 21*a**2 + 5*a + 103. Let z be y(-21). Let i be ((-16)/18)/(z/9). Solve -1 = i*g + m, -20 = 2*g + 4*m - 2 for g.
1
Suppose -67*z + 1815 = 43*z + 715. Solve -2*r = b - 13, -4*r - 15*b = -z*b - 35 for r.
5
Let g be ((-18)/(-12))/(3/8). Let x(l) = 15*l**2 - 11*l + 2. Let n be x(1). Suppose -24 = -0*y - n*y. Solve -3*o + 8*w = y*w, g*w + 12 = 0 for o.
-4
Let x(p) = -7*p + 64. Let q be x(7). Suppose -r - k + 5 = 0, 3*r = 7*r - k - q. Solve 2*d + 12 = -r*f, 0*d = f - d + 6 for f.
-4
Let f(g) = 0*g**3 - 4*g**3 + 10*g**2 + 5*g**3 + 13 + 5 + 11*g. Let d be f(-9). Solve -z = -d*z + 4*t - 13, -2 = 4*z - 2*t for z.
1
Let c be (-56)/32*(-48)/21. Solve -2*j - 6*r + 3*r = 9, -c*j - 5*r - 13 = 0 for j.
3
Let d = -206 - -228. Suppose d*n - 84 = n. Solve -n = -0*h - 3*h + 5*c, 2*h + 2*c = 8 for h.
3
Let t = -4 + 9. Suppose 2*y + 2*y = -m - 14, -5*y = -4*m + 28. Let x(v) = -1897*v - 5690. Let l be x(-3). Solve -u - l = -m*u + t*o, o = 5*u - 5 for u.
1
Let p = 108 - 79. Let t = p - 25. Solve -v + o - 3 = -7, v - 4*o - t = 0 for v.
4
Let z = -29 + 24. Let c be (4/z)/((-12)/390). Suppose -4*x + l + c = 0, -x + l - 2*l + 4 = 0. Solve -3*w + w + x = -4*n, -2*n + 7 = -3*w for n.
-4
Let d(k) = -3*k**2 + 9*k + 3. Let c = -31 + 34. Let t be d(c). Solve 5*y - 24 = g + y, 15 = t*y for g.
-4
Let z be 9/4 + (10/(-8))/5. Let c be (-126)/30 + 4 - (-720)/100. Solve 4*l - z = p, -2*p - 4 = 2*l - c*l for l.
0
Suppose 30*y = 29*y - 42. Let j be (-122)/(-6) + 14/y. Let d(b) = b + 2. Let s be d(-1). Solve -j = -4*x - 4*g, x - 5*g + 6 = -s for x.
3
Let x(h) = -h**3 - 12*h**2 + 2*h + 28. Let g = -4 + -8. Let i be x(g). Let q(v) = v + 27. Let m be q(-16). Solve 1 = 2*b + 5*o + 13, -i*o - m = 3*b for b.
-1
Let t(p) = 4*p**2 + 92*p. Let z(s) = -5*s**2 - 21*s - 45. Let n be z(-2). Let c be t(n). Solve -11 = -2*h - x - 0, c = 4*h - 2*x - 2 for h.
3
Let y = -6208 + 6226. Solve d - 3*d = -4*c + 12, -d + y = 4*c for d.
2
Suppose -3*h + 6 = 2*b, 4 + 18 = 2*b - 5*h. Suppose g = 5*r + 15, r - 13 = 3*g - b*g. Solve g*c - 4*m = 21, 5*c = -4*m + m - 7 for c.
1
Suppose -15*z + 2112 = 8*z + 9*z. Solve 4*u = -3*n + 19, -2*n + z = u + 55 for u.
1
Let t(z) = -12*z + 87. Let g be t(7). Suppose -8*d = -g*d - 15. Solve 17 = u + d*o, 5*u + 5*o - 33 = u for u.
2
Let g be (38/152)/(2/40). Solve 0 = 4*z + 28, 5*z - 109 + 159 = g*m for m.
3
Suppose -20*d - 178 = -18*d. Let s = d + 105. Suppose -s = g - 5*g, -4*y + 64 = 5*g. Solve -4*k = b + 18, 5*b - y = 5*k + 24 for b.
2
Let p(g) be the second derivative of -g**4/12 - g**3 + 2*g**2 + 31*g. Let f be p(0). Solve -f*u - 45 = 5*s, 3*s - u = -0*s - 10 for s.
-5
Let a = -5676 - -4023. Let q be a/(-323) - 6/51. Solve -2*d + q*u + 21 = 0, 0 = -d + 4*u + 1 + 17 for d.
-2
Suppose -130*l + 183*l - 159 = 0. Solve 5*s + 2*n = 33, -l*s + n + 596 = 585 for s.
5
Let d be -30 - (0/1)/1. Let n be (-25)/(3*(-60)/252). Let a be -2 + (-7)/(n/d). Solve a*o - 18 = 5*p, 0 = -2*o + o + 2*p + 6 for o.
2
Suppose 149*b = 3*o + 151*b - 43, 3*o + 4*b = 59. Solve -k + 11 = o, 0 = 4*d + 2*k + 16 for d.
-5
Let q be ((-9)/(-3))/(15/65). Suppose -23 = -3*g + q. Suppose -5*d + 10 = -10. Solve -3 = -5*r + d*u - g, 21 = -5*r + u for r.
-5
Let k(i) = 9 + 4*i - i - 2*i. Let z = -207 - -201. Let u be k(z). Solve -4*w - 3 = n + 12, 0 = -5*w + u*n - 23 for w.
-4
Let f(k) = -44*k + 101. Let v be f(4). Let a = v - -76. Solve 3*d - q + a = -3, -4*d - 3*q = 27 for d.
-3
Suppose 5*f + 3 - 18 = 0. Let c(d) = -f*d**3 + 2*d**3 + 24*d**2 - 19*d - 43*d**2 - 16. Let m be c(-18). Solve -2*g = l - 5*l - 10, -m*l - g = -5 for l.
0
Let m(o) = o**2 - 7*o - 5. Let x be m(8). Suppose 3*d + 2*n = -291, 4*d - n = x*d - 102. Let t = -96 - d. Solve -2*f = -3*w - 4*f - t, 15 = -3*w + 2*f for w.
-3
Suppose 0 = -5*y + 3*t + 59, -8*t + 3*t - 15 = 0. Let l be (y/(-6))/(11/(-66)). Solve 5*j = 3*b - 34, 4*b - l = 2 for j.
-5
Let n(c) be the third derivative of c**5/20 + 2*c**4/3 + 5*c**3/6 - 45*c**2 + 1. Let o be n(-5). Solve -t - 4*t - 2*h - 21 = o, -2 = -h for t.
-5
Let k = 171 - 169. Suppose -4*p + 18 - k = 0. Solve 3*h - 11 = 5*g - 0*h, -h + 13 = -p*g for g.
-4
Let d = 63 + -63. Suppose -2*u + 65 - 61 = d. Suppose 15 = 4*z - 5*m - 6, -u*z = -m - 15. Solve 3*y + 5*r = -21, -r + 0*r = 3*y + z for y.
-2
Let m be -13 + (4 - 2) + 170 + -156. Solve -m*d = v + 13, -v - 3*v - 24 = 5*d for d.
-4
Suppose -4*h = 5*j - 522, 0 = -5*j - 0*h + h + 507. Suppose -j = 22*a - 23*a. Let u = a + -89. Solve -3 - u = 4*r - l, r - 3*l - 7 = 0 for r.
-5
Let c = 5345 + -5342. Solve c*p + 35 = q + 32, p = -q - 9 for p.
-3
Let c(u) = 109*u - 3240. Let r be c(30). Solve 3*l + 20*z - 25*z = r, -5*l + 16 = 3*z for l.
5
Let j = 2 + 2. Suppose -50 = -4*d - j*s - 10, -2*d + 15 = s. Let u = -114 - -116. Solve 35 = -4*g + d*z, -4*g - 19 = -u*g - 3*z for g.
-5
Let t(i) = -231*i**3 + 3*i**2 - 8*i + 5. Let j be t(1). Let z = j - -231. Solve 5*n - 3*v = -z*n + 32, -4 = -4*n - 3*v for n.
4
Let p = 135 - 141. Let g be 1*(p/7)/(18/(-42)). Solve -4*m + x + 3 = 0, g*m + 6 = 10*x - 8*x for m.
2
Let z(x) = 2*x**3 + 7*x**2 + 14*x - 5. Let j be z(-6). Let v = j - -271. Solve 4*u = 3*w + 18, v*w - 2*u = -2*w - 14 for w.
-2
Let g(j) = 2*j**2 - 2*j - 2. Let p be g(2). Let y = 45 + -43. Suppose -y*o = -6*o. Solve -2*a - b - p = b, o = a + 2*b for a.
-2
Let o(l) = -l + 5. Let s(w) = w - 4. Let g(x) = -2*o(x) - 3*s(x). Let f be g(-8). Let z = -5 + f. Solve 3*h - 5*n = 25, -3*n = z*h + n + 20 for h.
0
Let n = -718 - -723. Suppose -65*v + 60*v = -2*s - 25, s + n = 0. Solve 10 = -2*d - v*u, -3*u + 1 = -d - 4 for d.
-5
Let l(u) = 5*u - 7. Let p be l(3). Let g = -474 + 476. Suppose -5*w = -2*m + 7 - 35, -w + 4*m + 2 = 0. Solve -h - g = -2*d - w, 3*d + p = h for d.
-4
Suppose 0 = 3*l - 221 - 343. Suppose -12*q = 44 - l. Suppose 2*b - 4*b = -4*h - 12, q = 3*b - 3*h. Solve 4*i = 2*a - 11 - 17, 0 = b*i + 2*a + 2 for i.
-5
Suppose 34 = 4*m - 2*o, 5*o = 648*m - 643*m - 75. Let z = 82 + -57. Solve -2*f - 5 = -l, -5*f = m*l - 2*f + z for l.
-5
Let i = -3 + 6. Suppose -m + 3*x - 12 = 6*x, -3*m = 5*x + 28. Let z(o) = 13*o + 78. Let v be z(m). Solve 2*k = v, -i*s + 3*k = s - 4 for s.
1
Let z(y) be the third derivative of -y**5/20 - y**4/12 + 3*y**2 - 13. Let o be z(0). Solve -2*h + 7 = 3*x, o*h - x - 26 = -5*h for h.
5
Suppose 3*y = 1106 + 1135. Let u = -741 + y. Solve 4*o - 15 = x - u*x, 2*o - 6 = -2*x for x.
3
Suppose -10 = -3*k + 2*h, 3*k - h + 2*h - 13 = 0. Suppose -k*i + 19 = 3. Let d = -278 + 279. Solve 3*o + 3 + d = -s, -i*s - 16 = 2*o for o.
0
Suppose 6*u = -5*u + 44. Let g(o) = -o**3 - 4*o**2 - o + 10. Let b be g(-3). Solve -2*i - 20 = -u*l, 0*l + 5*i = b*l - 26 for l.
4
Suppose 13*x = 5*x + 96. Suppose -r - 7 = -x. Solve r*n - 2*g = 2*g + 31, 0 = -3*n + 3*g + 21 for n.
3
Let u be (-6)/(-117) - (-52)/(-1014). Solve -2*k = -2*z + 17 - 13, 5*z - 4*k - 12 = u for z.
4
Suppose 5*i - 38 = 57. Suppose -i*q + 36 = -q. Solve 4*r + f + 5 = q*f, 3*r = -f + 5 for r.
0
Suppose 5*z - 45 = -4*w, 8*w - 2*z = 10*w - 20. Suppose 0*h = -w*h. Solve -4*c + 4*i = -h*i - 12, -5*c + 35 = 5*i for c.
5
Suppose 0 = -6*w + 3*w + 15. Let l be 3/w - (-308)/70. Solve -x - l*v - 22 = 2*x, 2*v + 4 = 0 for x.
-4
Let x = -6647 + 6652. Solve 0*k = 2*k - x*k + 2*v, 4*v = 0 for k.
0
Let r = 13543 - 13541. Solve 15 = -3*s + 5*b, -3*s - r*b - 29 = -14 for s.
-5
Let a be (-54)/36*(-4)/6. Let m be 4 - (-3 - (2 - a)). Solve 0 = -5*w - 3*k + m, -4*k - 8 = w + w for w.
4
Let n be ((-34)/(-6))/((-2)/6) - -2. Let s = n + 6. Let h be 3/s - (-38)/6. Solve -8 = -4*i, w - 5*i = -0*i - h for w.
4
Let u(l) = -3*l + 12. Let i be u(-9). Suppose 71 = 5*k + 2*w, -4*w = -3*k + i + 14. Let a be k/(-20)*-4 - (-7 - 0). Solve a = -3*z - 5, 25 = 3*v - 5*z for v.
0
Let p = 660 + -872. Let v = p - -214. Solve 0*a + v*a - 4*u = -2, 0 = 5*u for a.
-1
Suppose 0 = -8024*j + 8032*j - 72. Solve -7*q = 5*u + 10, j*u = -q + 6*u - 6 for q.
0
Suppose -15*q = -89 - 46. Suppose -q*j 