*p - 5, c*p + 1 = k + 7*p for k.
1
Let j be (-2)/4*(-30)/15. Let g be j/(2/(-350)*-5). Let o be ((-4)/2 + 6)*4. Solve 4*t + x = -o, 0*x + g = -3*t + 5*x for t.
-5
Suppose 620*t = 584*t. Solve 0 = 3*w - u, -2*w - 2*u = -t*w for w.
0
Let h = -180 + 161. Let f = -16 - h. Suppose 3*u - 1 = 11. Solve -u = -4*n + 3*n + l, -4*n = f*l + 19 for n.
-1
Let t be (9/(-6))/((-3)/122). Let o = t - 59. Let h be (-40)/48*o*-3. Solve -5*g + 3 = 2*f, 0 = h*f + 5*g - 10 - 5 for f.
4
Let f = -499 + 503. Suppose -l + 10 = -2*o, 0*o = 3*l - 2*o - 10. Suppose h = 2*h. Solve h = 4*a + 20, 3*d + f*a + 15 - 1 = l for d.
2
Let p = 3074 - 3070. Let k = 1 + -1. Suppose k = -3*c + p*c. Solve 3*y - 12 = 4*l, c*l + 12 = 3*l + 3*y for l.
0
Let f(k) = -2*k**2 - 2*k + 50. Let p be f(-9). Let a = p - -129. Solve 3*w - 2*b = 3*b, -4*w - a = 5*b for w.
-5
Let c be ((-54)/(-108))/((-2)/(-16)). Let d be (c/(-10))/(34/(-425)). Solve -d*h + z - 13 = 0, 5*h + z = 3*z - 11 for h.
-3
Let o = -13 + 33. Suppose -8*h = -3*h - o. Solve -4*k + 3 = -3*f - 3, 3*k = -h*f + 17 for k.
3
Let h be (-16)/(-6) - (-352)/(-528). Solve -h*v + 35 = 5*x, -29 = -4*v - 9 for x.
5
Let f be ((-45)/(-75))/(2/10). Let o = 0 + f. Suppose -5*t - 25 = -4*i - i, -3*i + 15 = -2*t. Solve -o*r + i*k - 37 = 0, -r - 17 = 2*r - k for r.
-4
Let g be 372/2790 - 2/20*(-412)/6. Solve -5*y = 2*i - 1, g = i + 18*y - 22*y for i.
3
Let i = -5 + 13. Let f be (0 + -1 + 2)*103. Let b = -101 + f. Solve -z = -2*m - 5, 3*m + 3 = -b*z - i for m.
-3
Let l = 11135 - 11123. Suppose -6 = -4*t - 0*r - 2*r, -t + 2*r = -9. Solve 2*j + 10 = -3*j, 2*d - t*j = l for d.
3
Let j = 205 + -192. Let d be (j/2)/((-43)/(-86)). Solve -4 = -o, -r - 4*o - d + 33 = 0 for r.
4
Let l(r) be the third derivative of 5*r**4/24 + 23*r**3/3 - 7*r**2. Let w = -230 + 222. Let g be l(w). Solve 2*y - y + 3*h = g, -y + 3*h = 0 for y.
3
Let h(o) = o**3 - 7*o**2 - 3*o - 36. Suppose 4*f - 3*y - 34 = -y, 2*f - 4*y - 20 = 0. Let j be h(f). Solve c + c + 10 = 0, -j*m + 3*c = -11 for m.
-1
Suppose -50*a + 19 = 5*k - 51*a, -a = -2*k + 10. Let w(t) = t**3 - 9*t**2 - 7*t - 9. Let q be w(10). Solve 5*p = -k*f - q, -2*f + p - 5 = -4 for f.
-2
Let w be -22*17/(-34) + -7. Solve 0 = w*b + t - 17, -7*t + 2*t - 40 = -5*b for b.
5
Let g = -19358 - -19363. Solve 2*s = h - g, -4*s + 2*h - 5 = -s for s.
-5
Let i be (5/6*-2)/((-3)/9). Suppose 0 = -3*f - j - j - i, 2*f + 5*j + 18 = 0. Let g be 1/(3/(f + -4)) - -3. Solve 5*r - 10 = -5*d, g*d + 2*r = -d + 9 for d.
5
Let j = -14603 - -14606. Solve -4*o + 5*g = 10, -499*o + 498*o + j*g = 6 for o.
0
Suppose -9*c - 34 = -151. Let p be 4/10*(c - 8). Solve -k = -2*j + 4*j + 2, p*j + 26 = 5*k for j.
-3
Let d(r) = 2*r - 19. Let b be d(-11). Let o = b - -65. Let i be o/10 - (-24)/(-60). Solve 3*m - 13 = -i*m + 4*u, -2*m = u for m.
1
Suppose 2*t + 2*t = 24. Let g be t/(-60)*-10 - 14/(-1). Solve 0*m = 3*m - g, 4*d - 27 = -3*m for d.
3
Let z(b) = b**3 + 8*b**2 - 4*b + 31. Let v be z(-8). Suppose v - 93 = -15*d. Solve -u + d*h = -4, 0*h = u + h - 1 for u.
2
Suppose 3*v + 6*r - 42 = 0, -3*v - 3*r = 2*v - 77. Solve -5*o - i = -3*i + 2, 0 = 4*i + v for o.
-2
Let t(g) = -4*g**2 - 19*g + 6. Let w be t(-5). Let u be (w + -2)/(-3*2/18). Solve -4*b = -u*p - 23, -p = -3*b + 2*p + 18 for b.
5
Let k(j) = 11*j + 1113. Let p be k(-101). Solve -3*u + y - 13 = 0, -p*u = 5*y - 31 + 51 for u.
-5
Let j = 44 + -24. Let a be (-1*(0/(-6))/4)/2. Let x = 2 - -2. Solve 5*n - 2*n - 5*r = -3, a = 2*n + x*r - j for n.
4
Let x be 8/4 - (-14 - -16). Suppose x = i - 3*g + 13, 36*i - 2*g + 14 = 38*i. Solve 0*d + 13 = 3*d + b, i*d - 3*b = 5 for d.
4
Let q = -709 + 712. Suppose -3*y + q*m = -30, -3*m + 34 + 8 = 3*y. Solve 4*o - 8 = 2*n, o - y = 4*o + 3*n for o.
0
Let s(x) = -x - 4. Suppose 2*i = 4*u - u + 13, 2*u = -3*i. Let y = -6 + i. Let b be s(y). Solve 4*v - 2 = 2*a, b*a - 12 = 5*a - 3*v for a.
-3
Let j = -764 - -769. Let u(z) = z**3 + 2*z**2 + z. Let t be u(-2). Let f be (-4)/t*(-9)/(-6). Solve j*l + 16 = 2*w - 1, 23 = -2*w - f*l for w.
-4
Suppose -2*d = s - 0 - 6, -4*s - 3*d = 1. Let p be (s - ((-3 - -2) + 0)) + 8. Solve 5*z = -4*y + 2*y - p, -2*y - 4*z - 4 = 0 for y.
0
Let z(v) be the first derivative of v**3 + v**2 - 3*v + 21. Let b = -51 - -52. Let a be z(b). Solve 3*x + 5*r - 5 = 0, a*x + 2*r - 5 = 1 for x.
5
Suppose -13*t + 21*t = -16*t + 48. Solve 12 = -0*n - n - 2*f, 20 = -3*n - t*f for n.
-4
Let w(v) = 2*v + 42. Let x be w(-18). Let q = -1345 - -1347. Solve -3*d - a = -14, -q*a - 12 = -d - x*a for d.
4
Let k = 49 + -36. Suppose -3*n + k + 2 = 0. Let y(f) = -7*f + 137. Let l be y(19). Solve -n*p + 28 = -l*v - 1, -5*p + 27 = -2*v for v.
-1
Suppose 0 = -5*a + 2*g + 23, 60 - 38 = 4*a - g. Solve -5*r = -4*t - 10*r - 33, t = -r - a for t.
-2
Suppose 3*i + 2*f + 145 = -552, 4*i + 936 = -f. Let r = i + 239. Solve 5*b - 13 = r*g, b - 5*g = -g + 9 for b.
1
Let y(r) = 11*r**2 - 5*r**2 - 5*r**2 + 2*r. Let o be y(-3). Let l be 40/110 + 1209/33. Solve -4*u + 8 = -j - o*u, 5*u - l = 4*j for j.
-3
Let m be (-200)/(13 - 33) - (-1 - -3). Solve -m = -2*q - 4*l, 154*l = -3*q + 149*l + 8 for q.
-4
Suppose -140*t + 32 = -40*t + 32. Solve -2*x - 4*a + 8 = 0, -8 = 5*x + 3*a - t*a for x.
-4
Suppose 0 = -13*b + 23*b - 60. Solve 3*l - b*l = 4*d + 5, 0 = -5*l - 2*d + 15 for l.
5
Suppose 5*y = -4*f + 75 - 2, f - 34 = 4*y. Solve 0 = 3*i + 5*q - f, 5*i - 2*q + 12 + 3 = 0 for i.
-1
Suppose 5*s + 44 = -16. Let n be s/(-21) + 438/42. Suppose -n*m + 2 = -10*m. Solve 4*o = -5*g + 40, -4*g + 11 = o - m*o for o.
5
Let u be 4/6 + 153*(-50)/(-675). Solve f - 4 = 0, -3*p - 3*f = -u + 6 for p.
-2
Suppose -3 + 1 = -79*c - 2. Solve 8 = 3*r - 7, -3*o + 2*r - 7 = c for o.
1
Let y(j) = -j**2 + 2*j + 13. Let o be y(4). Suppose o*v = -15, -4*g - g = -v + 52. Let t = g + 12. Solve -5*a - t = 4*w, -3*a - 5 = -2 for w.
1
Suppose -15 = 3*m - 21. Let y be (-4)/((1/3)/(-1)). Suppose 2*p - 5*b - 4 - 26 = 0, 0 = p - b - y. Solve m = n + u, -2*n + u - p - 1 = 0 for n.
-3
Let o = -109 - -65. Let c = 47 + o. Suppose -3*x - c = 4*g, 0 = -2*g - 0*x + x + 11. Solve 0 = 5*k - 5*l + 30, -g*l + 4*l = -2*k for k.
-2
Let c = 56 - 36. Suppose c*q - 17*q = 12. Suppose q*f = -3*d + 2*f + 15, 6 = 5*d - 3*f. Solve d*v - 2*v + 1 = m, 16 = -4*m for v.
-5
Let b = -58 + 38. Let r be 3*(-27)/(-15) + (-12)/b. Suppose -5*u + r = 1. Solve -3*s + 7*s + w = -1, -5*s + u = -w for s.
0
Suppose 0 = 4*l - q - 13, -21*l - 3*q = -25*l + 23. Solve -l*g = 4*d - 6, -3*g + 0*g - 3*d + 3 = 0 for g.
-1
Let o(m) = 13*m + 1. Let n be o(2). Suppose 12*b - 393 = -69. Suppose b = 5*x + n. Solve -2*i + 2*u = -16, 4*i - i + 5*u + 16 = x for i.
3
Let b = 119 + -115. Suppose b*s + 3*k - 10 = 2*k, 0 = 2*s + 2*k - 8. Solve 2 = -j, 2*i + 6 = -j - s for i.
-3
Let z = 28 - 152. Let v = z - -81. Let g = v - -45. Solve -6 = -2*f, -2*h + g*f + 10 = 4*f for h.
2
Let q(a) = 20*a**2 + 76*a - 9. Let s be q(-4). Solve -4*w + m = 6, 4*w + 3 = s*w + 3*m for w.
-1
Let t = 26321 - 26293. Solve -x + y = -1, -t*y = -24*y + 16 for x.
-3
Let f = 85 + -80. Suppose -180 = -10*g - f*g. Solve -5*m = 5*d - 2*m - 18, -5*d + 3*m + g = 0 for d.
3
Suppose -4*x + 2*x = -60. Suppose x*v - 33*v - 171 = 0. Let d = 59 + v. Solve -4*b + 2*t = -8, -4*t = -0*b + d*b - 24 for b.
4
Let h(f) = -15 - 54*f + 111*f - 56*f. Let t be h(6). Let o be (-223)/t - 20/(-90). Solve 2*d + 5*r - o = 0, 0 = -r - 3*r + 12 for d.
5
Let t(s) = -4*s - 38. Let u be t(-11). Suppose -3*z + 7*z = 5*f + 12, -2*z + u = 3*f. Solve f = -5*w - j - 2*j - 13, -2 = 2*j for w.
-2
Suppose -4*l + 2*l = -2*o, -12 = -3*o. Suppose -l*d + d + 2*x = -4, 5*x + 10 = 0. Solve 2*h + d*h = -z, 5*h = 3*z for z.
0
Let a = 42 - -43. Suppose 4*u + 3*n + a + 35 = 0, -2*u - 3*n = 66. Let j be 34/(-6)*81/u. Solve -z = 3*y + j, 3*y - y = -z - 12 for y.
-5
Let i(g) = -g**2 + 6*g - 4. Let w be i(5). Suppose 10 = -28*y + 33*y. Suppose -1 = -s + 2. Solve -y*h - w = s*c - 2*c, c = 1 for h.
-1
Suppose -1533 + 1509 = -24*t. Solve 2*f = 4*s + 5 + 17, t = -4*f - s for f.
1
Let x be (-232)/(-60) + (2 - 84/45). Suppose -230 = x*z - 242. Solve 2*j + f - 6 = -z*f, j + 3*f = 2 for j.
5
Let a = -11775 + 11780. Solve 11 = 44*j - 47*j - 5*n, -2*j - 14 = a*n for j.
3
Let b(k) = -14*k + 4. Let t be b(-4). Let m = t - 35. Let x be -9*((-4)/(-2) + 14/(-6)). Solve 5*s - m = 2*c, -c + x