 4 + 7 for m.
-3
Suppose 5*a - 14 = 3*q, -a = 4*q - 2*q - 8. Suppose 39*x = 43*x. Let h = 6 + -4. Solve -s - 4*f = x, -s - h = -q*f + 4 for s.
-4
Let t(w) = 2*w**3 + 8*w**2 - 5*w - 15. Let a be t(-4). Solve -3*r = -5*y - 26 + 5, -a = -4*r - y for r.
2
Let j = 178 - 149. Solve 5*a - j = -3*o, -1 = -3*o - 3*a + 5*a for o.
3
Suppose -12*v + 338 = 146. Solve 4*p - 5*r + 36 = 0, 0*p - 3*p = -r + v for p.
-4
Let o(p) be the second derivative of -p**3/6 + 11*p**2 - 25*p. Let k be o(17). Solve w = 2*w, k = -5*n + w for n.
-1
Let p(q) = 5*q**2 + q - 1. Let z be -2*(3 + -3 - 4). Let g = 9 - z. Let o be p(g). Solve f - o*l = 5*f - 28, 4*l = -2*f + 20 for f.
2
Suppose 25 = -5*a + 2*m, 5*a + 6*m = 4*m - 45. Let o be -1 - 8/a - 18/126. Solve o = 2*k - 6, -4*y + 5*k - 10 = -3*y for y.
5
Suppose -84 = 4*w - 11*w. Suppose -8*n + w*n = 0. Solve n = 3*t - 5*h, -5*h = -t - 2 + 12 for t.
-5
Suppose -6 = -4*f + 3*h, 4*f + h = 8 + 6. Let s = f - -2. Solve -5 = 5*p + s*a, 2*p + 1 = p - 2*a for p.
-1
Let n be 43 + 4/(-6)*-3. Let g = 24 + -22. Let s(c) = 2*c**3 - 4*c**2 + 2*c - 1. Let o be s(g). Solve -o*k + n = 5*l + k, 2*l + 2*k = 20 for l.
5
Let z(i) = -2*i**2 - 13*i - 16. Let d be z(-4). Solve 0 = -3*w + 2*s + 3 - 9, -2*s = -d*w - 6 for w.
0
Let m = 248 + -246. Solve j + 2 = 3*k - 2*k, k + 1 = -m*j for k.
1
Suppose 3*b + 114 = 2*f - 3*f, -5*b - 530 = 5*f. Let o = f + 107. Solve 0*w = -3*t + w - 1, 3*t + o*w + 13 = 0 for t.
-1
Suppose -3*i - 12 = -2*r, -4*i - 5*r = -7*i - 21. Let j be 1/i*(-2 - 4/1). Solve 0 = -4*l + 2*z + 1 + 9, 0 = j*l - 3*z - 9 for l.
2
Suppose 3*q + 7*q = 30. Solve 2*p - 4*t = -6*t - 4, 0 = q*p + 4*t + 3 for p.
-5
Let z be 3/3 + (-8)/(-2). Suppose y + y - 14 = 0. Solve z*m - 3*o - y + 20 = 0, 5*m = -o - 9 for m.
-2
Let p(q) = -q**3 + q**2 + 3. Let c be p(0). Suppose 0 = -k - c + 8. Solve -4*u + 3*i = 4 - 13, -k*u + 4*i + 11 = 0 for u.
3
Suppose -10*g - 5 = -11*g. Suppose -5*r - 3 = -8*r, -15 = -5*f + g*r. Let a be (19*-1)/(0 - 1). Solve -5*s = 4*y - f - a, -y = -3*s + 7 for y.
2
Let z be (1 - 0)*16/4. Let m be (-774)/63 - z/(-14). Let b be (-40)/m + (-6)/(-9). Solve 6*y - b = y + 3*g, -2*g - 2 = -3*y for y.
2
Suppose 0 = 28*z - 24*z + 260. Let p = z - -68. Let d(l) = l + 8. Let o be d(-6). Solve o*x + 8 = -f, -2*x - f - p*f - 14 = 0 for x.
-3
Suppose 0 = 2*a + 4, 3 = 2*k + 5*a + 1. Let w(o) = o**3 + 5*o**2 + o + 7. Let j be w(-5). Let z = j + 0. Solve 0 = -3*r + 3*c - k, 0 = r + c + 2*c - z for r.
-1
Let h be (-1)/(-2) - (-7)/2. Let v(i) = -49*i - 146. Let m be v(-3). Let y be 4 - (m - -3)/h. Solve -2*r = -4*u + 14, -1 + 8 = -u - y*r for u.
2
Suppose -57*t + 61*t + 312 = 0. Let h = -75 - t. Solve d + h = 0, 5*q + 0*d = d + 28 for q.
5
Let r = -18 - -22. Suppose r*m + 12 + 28 = 0. Let n be (-1)/((-10)/(-4))*m. Solve 0 = 2*d + 8, -n*d = j + 2*j + 28 for j.
-4
Suppose 3*f = -3*f + 30. Suppose 0 + 2 = 2*t - 4*p, 3*t - 5*p = f. Solve 2*r - 5*n = 6*r + 1, t*r = n - 23 for r.
-4
Let j(z) = -36*z + 187. Let x be j(5). Solve 4*w - 12 = 0, 2*c + x - 2 = 3*w for c.
2
Let o(k) = -k**3 + 6*k**2 + 18*k - 14. Let m be o(8). Solve -2*y - m*y = -4*g, -2*g = -4 for y.
2
Let j(k) = -k**2 - 2*k + 15. Let m be j(-3). Suppose 16 + 14 = 5*c. Let f be (-3 + -7 + 2)/(-2). Solve -o - m = -f*h, c = -2*h + 4*h - o for h.
3
Let h be (200/6)/(2/6). Suppose 2*o + 0*o = h. Suppose 22 = 4*x - o. Solve -3*m + x = 3*j, 0*m = 4*m - 2*j - 18 for m.
5
Let f be (22 + -22)/(1*6 - 1). Let d be -1*10/(4/(-2)). Solve c + 3*s = 8, -d*c + f = 3*s - 4 for c.
-1
Let d = 58 + 1. Suppose -4*c + 45 + d = 0. Solve t - 3*r - 2*r - 6 = 0, 5*t + 3*r = -c for t.
-4
Let j be ((4/12)/1)/((-1)/(-12)). Suppose 0 = -5*k + 7 + 28. Suppose -1 - k = -j*f. Solve f*t = 3*h + h - 10, -t + 2 = 5*h for h.
1
Suppose 65 = r + 4*r. Let g be r/((-3)/(12/(-4))). Suppose -2*n = -6*n + 56. Solve 5*k + s = -n, 3*s - s + g = -5*k for k.
-3
Let v be (-4)/14 + 120/196*7. Solve 9*c - 4*c - 3*s = 0, 0 = v*c - 3*s for c.
0
Let l be (-1 - -8) + (-10)/5. Let g be 2*-1 + -4*(-20)/16. Let k be (-9)/g - -7 - 1. Solve 5*w + s - 3 + 28 = 0, l*s = -k*w - 37 for w.
-4
Suppose -64*a = -57*a - 7. Let g be (-14 - -21) + (a - 5). Solve -g*r - 28 = -5*b, -2*b + 22 = -2*r + 2*b for r.
-1
Let c be (-4)/10 - -6*5/75. Solve 4*v = -6*p + p - 5, c = 2*p + v - 1 for p.
3
Let w(k) = -5*k + k**3 + 1 - 15 - 15*k**2 - 3*k**2 + 6*k. Let u be w(18). Solve 3*x + 2 = -x + c, x - u = -2*c for x.
0
Let l be (-21 + 22)*(1 + 32). Let d = l - 31. Solve 3*f + 12 = 0, -18 = -d*u + f + 2*f for u.
3
Suppose 0 = -m - 3*m, 8 = 2*d + 2*m. Let r = 304 + -34. Suppose 13*y - 4*y = r. Solve -7*t + 3*t + 18 = 2*g, -d*g + y = 5*t for g.
5
Let y = 35 + -30. Suppose 0 = -d + 5*o - 3 + y, -5*o + 10 = 5*d. Solve -2*z + 2*w - d = 0, -2*w + 0*w + 2 = z for z.
0
Let m = -572 + 576. Solve m*y - 4*t + 18 = y, 2*y - t + 7 = 0 for y.
-2
Suppose -5*u = -r, -3*r - r - 2*u = 0. Solve r*n - n = c, -n + 9 = 4*c for n.
-3
Suppose -6*x + 23 = 5. Solve -3*m + x = -r, 4*m - 3*r - 11 = -4*r for m.
2
Let a = -1316 + 1333. Solve 0 = 3*t - 4*j + 2, 3*t + 4*j + 3 = a for t.
2
Suppose -4*f = -4*b + 32, 56*b - 60*b = 4*f - 8. Solve b*q = -4*g + 37, 2*q - 6 - 10 = -2*g for q.
5
Suppose -4*x + 13 = -7. Let v be (-16)/(-4) + 1 + 8. Suppose 3 - v = -x*f. Solve 0 = 4*l + 4, -f*q - 3*l - 4 = -l for q.
-1
Let j(h) = 20*h + 1. Let k be j(1). Let v = 24 - k. Solve v*y - 4 = -4*l, -y - y - 2*l = 0 for y.
-4
Let c(w) = 2*w**2 + 46*w + 5. Let n be c(-23). Solve 0 = u - 4*u - 3, 0 = -p - u - n for p.
-4
Suppose 0 = n - 2. Suppose 2*v = 2*m + 28, v - n = -0*m - 2*m. Solve l - v = -4*r - l, -3*r + 5 = 4*l for r.
3
Suppose -l + 11 = -11*a, 2*l + 5*a + 1 = -4. Let o be 12 - (2 + 0)/1. Suppose 5*h - o - 5 = 0. Solve -2*i = -5*r + 6, l*i + 15 = -5*i + h*r for i.
-3
Suppose 37 - 47 = -5*g. Suppose -4*z - 3*l + 4 = -4, 8 = 4*z + g*l. Solve -4*k = -z*r - 12, 4*r - 5*k + 9 + 6 = 0 for r.
0
Suppose 4*n = -5*g + 435, -n + 5*g = n - 195. Let o = n - 100. Suppose 0 = -x + 2*x. Solve x = -2*f - 4, 5*p - o*f + 8*f + 26 = 0 for p.
-4
Let y = -117 + 178. Suppose -y*b = -59*b - 8. Solve -5*p - 4*d = -p + 16, p + b*d = -19 for p.
1
Let g be 6/1*(-44)/(-33). Suppose 0 = -2*r + g - 2. Suppose -4*l - 60 = -5*j, j + 3*l - 20 = -8. Solve 2*q = p - 8, r*q + p + j = 2*p for q.
-4
Let q(k) = 1 - k + 8 + 14 - 13. Let r be q(3). Solve -5*c - 12 = -3*o + 5*o, -o = -4*c - r for c.
-2
Let y(x) = 3*x - 3. Let k be y(4). Let i be 3*((-30)/k + 4). Solve i*p + 2 = 4*w - 0, -3*w = -2*p + 1 for p.
5
Suppose 18 = 5*j - 37. Let o(f) = f**2 - f - 4. Let g be o(3). Solve -m - 4*u = j, 4*m - g*u = -m + 33 for m.
5
Let o(v) = -15*v - 220. Let m be o(-15). Solve d = 5*x - 29, 0*d - 41 = 4*d - m*x for d.
-4
Let t(k) = -k**3 + 9*k**2 - 13*k + 9. Let i be t(5). Suppose 60 - i = 2*x. Solve 3*b + b + c - 17 = 0, b - x = -c for b.
3
Let r(s) be the second derivative of 1/12*s**4 + 7*s + 2*s**2 + 0 - 2/3*s**3. Let v be r(4). Solve 5*o = -w + o + 11, 4*o = v*w + 36 for w.
-5
Let v = 979 - 979. Solve v = -o - 2*z - z + 4, -3*o - 4*z + 7 = 0 for o.
1
Let i(m) = m**3 + 6*m**2 + 2*m + 8. Let s be i(-6). Let w = -157 - -152. Let p be (s - w)*(-15)/(-3). Solve 0 = u - p*v - 26, 5*u = -0*v + 4*v + 25 for u.
1
Let i = -9 - 0. Let g be (-12)/i + 148/6. Let y = g + -22. Solve 4*q - 2*l = 6, 0 = -0*l + y*l + 12 for q.
0
Suppose 4*c - 1 + 5 = 0. Let b = 4 - c. Solve -2*i + 14 = -3*n, b*i + 4 - 24 = 0 for n.
-2
Suppose 3*c = 0, 3*v - 3*c = -2*v + 60. Suppose 0 = 5*a + 3*g - 11 - v, -2*a + 13 = 5*g. Solve a*w = -4*y + 12, 3*w + 2 + 3 = 4*y for y.
2
Suppose -69*n = -71*n. Suppose n = 5*d - 6 - 19. Solve -4*j + 0*j = -2*q - 2, -5*j - 5 = d*q for q.
-1
Let d(w) = -5*w + 3 + 5*w**3 - 4*w**3 + 1. Let r be d(3). Let s be r/(-12)*3/(-2). Solve -q - 4*t = -2*t - s, q - 4 = -3*t for q.
-2
Suppose -49*c = -62*c + 65. Solve 0*l = -c*x - l - 16, 4*x = -5*l - 17 for x.
-3
Let l = -690 - -694. Solve -5*p - 4*c = 21, 3*p + 0*p - l*c = -19 for p.
-5
Let c be ((-15)/(-9))/5 + 20/12. Let q(r) = -2*r - 2. Let v be q(-4). Solve 2*l + 22 = 3*k + v, -5*k = -c*l - 24 for k.
4
Let x = -5 - -9. Suppose 4*z + 2*q = 0, 2*q + 0*q = -3*z. Solve -l + z = -x*a - 11, -2 = 2*l for a.
-3
Let r be 6/3 - 2/((-7)/(-7)). Solve -4*f + 32 = 5*b, r = f + 5*b - 0*b - 23 for f.
3
Suppose 0 = -0*p - 6*p. Suppose 0 =