p, 2*x + c*p = -14 for x.
-1
Suppose 10*u = -167 + 187. Solve -u*m + 3 = -4*w - 7, 5*m + 31 = -4*w for w.
-4
Let g be -10 - -10 - -2*(-10)/(-4). Solve 9 = -3*o - g*r - 0, -o - 3 = 3*r for o.
-3
Let l = 217 + -99. Let u = -116 + l. Solve -z = -u*w - 2*z, 3*w = -3*z for w.
0
Suppose 15 = 2*p - 43. Let q(f) = -5*f**3 + 7*f**2 - 5*f - 2. Let z be q(2). Let g = z + p. Solve 4*c - 45 + 13 = -g*a, 3*a - 4*c = 0 for a.
4
Suppose -j = j + 4*j. Solve -4*d - 5*i - 32 = j, 5*i + 5 = 2*d + 3*d for d.
-3
Suppose -u = -3*p + 43, -3*u - 1 = 2. Solve -2*s - p = 4*r - 0*s, 7 = -3*r - 5*s for r.
-4
Let l = -12 + 21. Suppose 0*f = 3*f - l. Suppose -3*q + f = -9. Solve 11 = 4*x + q*d + 43, 12 = -4*x + d for x.
-4
Let h be (-2 + 1)*-5 - 3. Suppose -5*x - 2*i - 3*i + 125 = 0, 5*i = h*x - 64. Let j be -3 - (-9)/(x/42). Solve -3*o = -5*z - 11, 2*o + 4*z + j = -11 for o.
-3
Suppose -u = -4*p - 4, 60 + 16 = 4*u + 4*p. Solve -l - u = -4*i - 2*l, -22 = -2*i - 4*l for i.
3
Let t = 44 + -39. Suppose -4 = 3*s - t*s. Solve -s*n + d + 6 = 0, -2*n + n - 4 = 3*d for n.
2
Suppose y = -0 + 4. Let q = 17 + -12. Suppose q*o = -3*c + 7, 3*c = -0*c - 3. Solve 3*t - o = -s, 4*t + 0 - y = -s for s.
-4
Let a = -589 - -593. Solve a*w - 6 = 5*s + 15, w = 2*s + 9 for s.
-5
Suppose -c + 8*c = -35. Let j be -2*c*4/4. Solve 5*x + j = 0, 0 = 2*z + 2*x - 6*x - 8 for z.
0
Let s = 1495 - 1487. Solve 0 = -d - 2*w - s, 2*w - 16 = -0*d + 5*d for d.
-4
Suppose 19 = 3*k + 4. Let p be (4 - (-4)/4)/1. Suppose -4*y + 4*r + 26 = -y, -2*r + 26 = p*y. Solve -4*u - 4*l + 25 = k, -4*u + 3*l = -y for u.
3
Let b(p) = 2*p**2 + 14*p + 16. Let c(v) = -v**2 - 1. Let n(h) = b(h) + c(h). Let s be n(-13). Solve 3*g - 4*r = -6, -3*g - 3*r - s = 4 for g.
-2
Let x be 10/2*-16*(-20)/320. Solve -x*c + 4*w + 41 = 34, -5*w = c + 16 for c.
-1
Suppose 3*o - 5*d = 50, 6*o - 2*d - 16 = 5*o. Solve -4*g = 5*j + 13 + 3, 4*j + 5*g + o = 0 for j.
0
Suppose -5*u = 3*j - 2 + 22, 0 = -5*u - 5*j - 30. Let q be u + 0 - 120/(-6). Solve 4*y = -3*o + 4, o = 2*y - q + 7 for y.
4
Let r(u) = u**3 + 10*u**2 + 7*u - 11. Let w be r(-9). Let l = w + -4. Solve -l*x - 3*a = 0, -5*a - 4 = -2*x + 3*x for x.
1
Suppose -7*r - 14 + 35 = 0. Solve -3*h - r*q = 9, -3 = -0*h + 3*h + q for h.
0
Let g = 23 + -6. Suppose -g*s + 8*s = -126. Solve -5*p + 19 = 2*t, t - 4*t + p = s for t.
-3
Let u(j) = j**3 - 1. Let p(c) = 2*c**2 + 2*c - 1. Let g = -2 - -3. Let s(t) = g*u(t) - p(t). Let h be s(3). Solve h*o - o - z = -14, -o + z - 9 = 0 for o.
-5
Let j = 3236 + -3236. Solve j = u - 3*n + 12, 0 = -4*u - 4*n - 10 + 26 for u.
0
Suppose 14*r - 11*r - 60 = 3*i, 5*r - 100 = -4*i. Solve -8*n + r = 4*a - 4*n, a + 3*n = 15 for a.
0
Let f(n) be the first derivative of 5*n**2 + 0*n + 3*n**3 + 5 - 1/4*n**4. Let g be f(10). Solve g*r + 2*r + 10 = 4*a, 5*r - 2*a + 25 = 0 for r.
-5
Let q = -715 + 720. Suppose -2*b - 2 = k - 4*b, 5*b = 5. Suppose 4*d + 4 - 20 = k. Solve -4*t - 5*j - 1 + 23 = 0, -d*t = -q*j - 2 for t.
3
Let t = -9 + 9. Suppose 3*b - 22 - 23 = t. Let f = 30 - b. Solve 5*v - 5*y + f = 0, 0*v - 4*y + 14 = -5*v for v.
-2
Suppose -5*a + 17 = -a + 5*k, 1 = 2*a - 5*k. Solve d - 3*t + 7 = -3, 0 = 5*d - a*t + 26 for d.
-4
Let z = 718 + -715. Solve -z*n - 10 = -p + 9, -4*p + 31 = -3*n for n.
-5
Let j(t) = t**2 - 8*t + 25. Let f be (-15)/((-7)/((-56)/(-12))). Let q be j(f). Solve 2*c + 5 = -l, -c + 5*c - 5*l = -q for c.
-5
Suppose 233*w + 324 = 251*w. Solve 0*x + 2*x + 2*t = -12, -w = x + 5*t for x.
-3
Let a(h) be the first derivative of h**3/3 - 4*h**2 + 2*h - 30. Let z be a(8). Solve -3*j = f - z*j - 3, -2*j = 3*f - 6 for f.
0
Let h be (-3)/6*-6 - 2. Suppose b - h = 2*i - i, -2*i - 2*b = -14. Suppose 14*j - 56 + 14 = 0. Solve -y + 1 = -5*r - 5, 0 = i*r + j for y.
1
Let t be (-6)/(-16) + 6/(-16). Solve -5*u + 0*u + 26 = -x, -4*x - u + 1 = t for x.
-1
Suppose 0 = 5*s - 3*t + 9, -s - 4*s - 2*t + 6 = 0. Let n be (60/30)/((-2)/(-16)). Solve r - 3*r - q - 4 = s, -r - 5*q = -n for r.
-4
Let m(o) = -3*o**2 - 7 - 5*o + o**2 + 11 + o**3. Let w be m(4). Suppose -2*d = -12 + 4. Solve 3*x + f = 8, 4*f - d = w for x.
1
Let b = -2 - -5. Let l = -2666 - -2668. Solve -x - h = -l*h, -9 = -b*h for x.
3
Let w(q) = q**2 + q + 2. Suppose 0*c + 12 = -6*c. Let t be w(c). Suppose t + 8 = 4*x. Solve 4*k - 2*k - 2*s = -2, x*s + 5 = 5*k for k.
4
Suppose -10*r - 41 + 121 = 0. Solve 22 = 5*j + 5*h - r, j = -3*h + 8 for j.
5
Suppose 127*i - 112*i = 240. Solve 0 = t + q - 0 - 6, 2*q - i = -3*t for t.
4
Suppose 0 = -5*k - 10*b + 13*b + 94, -92 = -5*k + 4*b. Solve 5*n = -k, 2 = 3*t + n - 3*n for t.
-2
Let l = -3 - -9. Suppose -3*k = -3 - l. Let p be -3 - (-56)/12*k. Solve 4*i - p = -t, -3*i = -4*t - 13 - 19 for t.
-5
Let d be 4 - (2 - 4)/(-1). Let u be (d/(-7))/((-5)/70). Solve 0 = 3*z - u*j + 2, -4*j + 18 = 5*z for z.
2
Suppose -6*v + 42 = v. Solve -3*c - 2*m + v = -9, 0 = -m for c.
5
Let a(l) = -l + 12 - l**3 + l**2 - 11*l**2 + l. Let u be a(-10). Let w = 168 + -167. Solve 4*s + c = -u - 12, s - c = -w for s.
-5
Let h = 57 - 45. Solve 0 = x + 2*g - 3*g, 0 = 5*x + g + h for x.
-2
Let b = -292 - -294. Solve -5 = 5*g + 3*m + 6, g + b*m = 2 for g.
-4
Suppose -9*y + 3*t = -120, 0 = -4*y - y - 3*t + 90. Solve 2*q - 5*n = 21, 2*q = q + 4*n + y for q.
3
Suppose 0 = -32*h + 65 - 1. Solve -3*b + h*q + 1 = 3, 2*b - 5*q = -5 for b.
0
Let d(h) = h**2 - 7*h + 5. Let o be d(5). Let m(t) = 0*t**3 - 5*t + t**3 + 4*t**2 + 0 + 1. Let u be m(o). Solve 3*z + 5*y - 22 = 0, -u - 15 = z - 3*y for z.
-1
Let l = -254 + 263. Solve -i = 2*a + 6, -7*i - l = -4*i + 3*a for i.
0
Let b be ((-36)/(-14))/(3/14). Suppose 0 = 23*h - 25*h + b. Solve -y = 3*i - 10, -h = i - 3*i for y.
1
Let y = -33 - -58. Let k = -1 + y. Suppose 4*o - 4*m + 6 - 22 = 0, 2*o = -4*m + 14. Solve -o*r + 15 = w - 3, 2*w = 5*r - k for w.
-2
Suppose 0 = -5*l + 18 + 7, 0 = -5*k - 2*l + 20. Let p = k + 0. Let y(d) = -3*d + 6. Let j be y(p). Solve 20 = 5*q, j*w + 12 = w + 2*q for w.
4
Let r(p) = p**3 - 8*p**2 - 9*p + 9. Let f be r(9). Suppose -6*m = -3*m - f. Solve m*o = 3*k, -4*k + k + 4*o = 1 for k.
1
Suppose 108*k = 109*k - 5. Solve 1 = -3*f - 2*v - 3, -5*v = -k*f - 15 for f.
-2
Let b(m) = m**3 - 3*m**2 - 3*m - 3. Let k be b(4). Solve -d = -p + 7, -k = 5*d + 14 for p.
4
Suppose 4*z = 3*h + 15, -5*z - 5*h + 18 = 8. Solve -3*a + b + b = z, a + 5*b = 16 for a.
1
Let j = -42 + 71. Let c = j - 24. Solve -g + f + 5 = -f, c*g + 5*f = -50 for g.
-5
Let w(i) = -6*i - 117. Let o be w(-20). Solve o*f + 2*u + 1 = -11, 20 = -4*f - 4*u for f.
-2
Let l = 447 + -442. Solve 4*w = -f - 1, -2*f + 3*w + 3 = -l*f for f.
-1
Let d be ((-48)/30)/(1/5). Let u be ((-104)/13)/(2/d). Suppose -u = -5*q - 17. Solve 4*o + 2*c = -0*c + 22, 0 = q*o + 2*c - 19 for o.
3
Let l be (3 - 1) + (0 - 25). Let h = l + 21. Let y be 4 + -2 - 6/h. Solve 0 = 4*b + v - 13, -2*b - y*v - 31 = -6*b for b.
4
Suppose 0 = -2*f + 13 - 1. Suppose f = -3*b + 6*b. Suppose 6*i = 4*i. Solve -r + 5 = i, 4*l + 6 = -0*r + b*r for l.
1
Let q(z) = 17*z - 49. Let x be q(3). Solve -6 = 2*s - x, -m - 5*s - 6 = 0 for m.
4
Let k be -3 - (2 + -8 - 13). Solve 27 = 2*m - 5*n, -m + 4*n + k = n for m.
1
Suppose -2*h = -5*g + 14, -2*h + 2*g - 2 = -0. Solve 2*l - 4*b - 12 = 0, -4*b + 2*b = h*l + 22 for l.
-4
Let s be 0/2 + 0/2. Let o(p) = -p**2 - 9*p - 27. Let n be o(-6). Let g be 55/33 - (-6)/n. Solve 2*d = a + 1, s = d + 4*a + 5 - g for d.
0
Suppose 3 = -3*z, z + 67 = 3*f - 0*z. Solve o + f = -5*b, -3*o + 7*o - 2*b - 22 = 0 for o.
3
Let y = 35 - 9. Suppose -4*g - 5*d = -y + 4, -10 = -g + d. Suppose -t = -0*b + 4*b - 2, -b + g = 4*t. Solve 3*f + l = -t*l + 3, -6 = -2*f - 3*l for f.
-3
Let y be (-1)/(-3) + (-6)/18. Suppose 2*o - 4*j = 14, -2*j + y*j = -8. Solve 0 = -2*b - 5*k - 2 - o, -4*k - 20 = 0 for b.
4
Let d be 6 - (-3 + 3 - -4). Suppose d*i - 2 = i. Suppose -6*b = -i*b - 12. Solve -f + 6 = -2*a, -a - 6 = b*a + f for a.
-2
Let a(l) = 3*l - 4. Let z be a(2). Let g = 4 + z. Let t = -6 + g. Solve -3*o = 2*o + q + 3, 2*o - 4*q + 10 = t for o.
-1
Suppose 9 = -3*z, 5*n - 40*z = -35*z + 25. Solve -n*s + 6 + 6 = 4*t, -3 = -s - t for s.
0
Let h be 9/(-3)*(-2)/(-3). Let u be (-1)/2 - h/4. Suppose -14 + 6 = -2*l. Solve -l*r - 2*g + 13 - 3 = 0, u = r + 2*g + 5 for r.
5
Suppose 124 = -19*p + 352. Solve -4*y = 2*d + p, 0 = 2*d + 5*y + 4 + 13 for d.