12. Let m be (-8*(n - -4))/1. Solve 4*r = 4*l + 8, 4*l + m = -r + 2*r for r.
0
Let g = -52 + 57. Solve -4*c = -5*y + 2, -4 = -0*c - g*c + 3*y for c.
2
Let y be 10 - 5 - 4 - -4. Solve 3*q - 34 = 5*h, y*h + 9 + 4 = -4*q for h.
-5
Let h(x) = 3*x - 1. Let r(o) = -2*o + 1. Let j(b) = -3*h(b) - 4*r(b). Let w be j(-7). Solve 0 = 5*q - 2*q + d + 10, -2*q = d + w for q.
-4
Suppose -3*j + 11 = -1. Solve j*u + 5*l = 5*u + 12, -u - 5*l + 18 = 0 for u.
3
Let u(i) = -i**2 + 16*i - 11. Let d be u(15). Solve 0 = d*x, -x = -2*t + 3*x for t.
0
Suppose -2*t - 4*v - 10 = -5*t, 0 = v + 1. Solve 0 = 2*g + 2*g + b - 16, 30 = t*g - 5*b for g.
5
Let b(q) = -q**3 + 10*q**2 + 2*q - 17. Let d be b(10). Solve -18 = -d*h - 3*y, 6*h - 22 = h - y for h.
4
Let g(o) = o**3 - 3*o**2 + 2. Let c be g(3). Let y be (c/(-4))/(2/(-32)). Let x be 1*3 + 3/(-3). Solve -4*m = x*b - 0 + y, 0 = -4*b - m + 5 for b.
2
Let o(i) = i - 11. Let u be o(13). Solve -u*g - 3*t = 0, 0*g - 4*t = -2*g - 14 for g.
-3
Let s be ((-3)/(-6))/(1/(-2)). Suppose -2*z - 2*p - 2*p = 16, -4*z + p = 23. Let m = s - z. Solve 3*u = a - m, 1 = u - a + 4 for u.
-1
Let u(n) = -n**3 + 6*n**2 - 2*n + 13. Let l be u(6). Solve 5*t + 0*t = 4*v - l, 5*t - 2*v = 7 for t.
3
Suppose 2*p + r - 6 = 0, -22 - 8 = -2*p + 5*r. Solve -p*f = -3*n - 23, -2*f - 8 = -4*f for n.
-1
Let k(h) = 2*h - 2. Let m be k(3). Solve -3*o = -m*o + 4, 0 = 4*n + 4*o - 8 for n.
-2
Let z(q) = q**3 + q**2 - q + 2. Let r be z(0). Solve 0 = 4*w - 2*l + 8, 3*l = -w - l - r for w.
-2
Let x be (-4)/(-6)*18/3. Solve -u = b, x*u = 2*u + 5*b for u.
0
Let b(p) = 2*p**2 - 12*p + 1. Let s be b(9). Suppose -5*h - s = -10. Let x = -7 - h. Solve 3*o - 13 = x*g, -g + 2*g - 26 = -5*o for g.
1
Let l(n) = 2*n + 29. Let f be l(-12). Solve t = -3*s + 2 - 3, -f*t + 19 = 3*s for t.
5
Let f(q) = -q + 23. Let t be f(11). Solve -4 = -2*j, 4*j = -2*z + 4 + t for z.
4
Let a = 4 + -1. Let h be 1/(-1) + (15 - 12). Suppose -6*z + h*z + 12 = 0. Solve 0 = 2*l + a*l - 5*q + 50, -3*q = z*l for l.
-5
Let u(l) = l**3 + 3. Let d be u(0). Let h be -3*(0 - (-3 - 0)). Let a be (-2)/h + 158/18. Solve -5*g - a = -d*s, g + g - 15 = -5*s for s.
3
Suppose 4*c = 34 - 18. Solve 3*i = -d - 2, -5*d - 10 = -5*i - c*d for i.
1
Let q = -12 - -22. Let r = q + -5. Suppose 5*z = 2*p + 51, 2*z - 3*p = z + 18. Solve r*t + l = t - z, -5 = l for t.
-1
Let n = -6 - -10. Let t = -3 - -6. Suppose 1 - t = -y. Solve -n*w = 3*m + 25, y*w + 2*w + 4 = 4*m for m.
-3
Suppose 14*b - 855 = -5*b. Suppose 0 = l + 4*l. Solve -4*x - b = -5*v, 5*x - v - 13 + 43 = l for x.
-5
Suppose 4*f - 11 = 9. Suppose 2*i + 12 = f*i. Solve 5*w = 20, -3*w = -0*a + i*a + 4 for a.
-4
Suppose v - 3*p + 5 = 6, -6 = -v - 2*p. Solve 3*y - v - 1 = -4*i, 0 = 5*i + 3*y - 7 for i.
2
Let k(n) = -n**2 - 13*n + 23. Let c be k(-17). Let w be (15/c)/((-1)/15). Solve 2*x - 8 = 3*l, w = 5*x - 4*l - 1 for x.
-2
Let p be 1 + -2 - (-56)/8. Suppose p*a - 25 = a. Suppose 34 - 9 = a*k. Solve 0 = -k*z + 4*l - 2*l - 23, 3*z - 2*l = -17 for z.
-3
Let p = -50 + 54. Solve 13 = r - 5*m, 3*r - m - 5 = p*r for r.
-2
Let z(b) = b + 23. Let x be z(-20). Solve x*t + h = 11, t - 5*t + 2*h - 2 = 0 for t.
2
Let m(p) = p**2 + 5*p. Let w be m(-3). Let n be 5*-3*2/w. Solve -3*c + 2 = n*b, 0 = c - 4*c - 3*b + 6 for c.
4
Let k be (-2)/(-10) + 120/25. Solve k*c + 7 = 4*v, -5*c + 2*v + 0 - 1 = 0 for c.
1
Let o be 6*(-5)/(20/(-12)). Solve -2*r = -8*x + 3*x + o, 2*x + 16 = -5*r for x.
2
Suppose -4*d = 5*j - 0*j - 15, 0 = -5*d. Solve -o = -5*t + 23, -1 = 3*o + j*t - t for o.
-3
Let c = -2 - -6. Suppose -i = 2*i - c*g - 24, 5*i - 26 = 2*g. Solve 0 = -4*l - 2*u - 18, -5*l + 2*l - 11 = i*u for l.
-5
Let n be (14/35)/((-2)/20). Let a = 6 + n. Solve 0 = -2*c - a*s + 14, 3*s - 19 = -c - 4 for c.
3
Suppose 0*g = -2*p + 4*g + 4, g = 5*p - 28. Let w = -6 - -8. Solve 4*l - c + p = -6*c, -3*l - w = 5*c for l.
-4
Let p be -2 - -1 - (-3 - -1). Suppose -5*t = -8*m + 3*m - 5, 15 = 3*t. Solve 16 = -m*b, 2*d - 21 + p = 4*b for d.
2
Suppose -d - 2*d = -2*b + 2, -b - 2 = 0. Let s be 3*5*d/(-6). Solve 2*m = 4*n + s*m + 10, 3*m = 5*n - 1 for n.
-1
Let f be 4/(-14) + (-16)/(-7). Suppose -7*y + f*y = -45. Suppose 2*q = g + 11, 5*q - 2*q + g - 9 = 0. Solve -4*l + q*r = 3*r - 3, -5*l + 3*r + y = 0 for l.
0
Let j be (-18)/3*6/(-9). Solve -y - 8 = j*w, -3*y + 2*w = 5*w + 6 for y.
0
Let y = 103 + -98. Solve 2*n - 5*n - 23 = y*c, -2*n + 6 = -2*c for n.
-1
Let w be 3*1 - (-5 + 3). Suppose -w*l - 51 = -141. Suppose -4*u - 122 = -5*x, -4*x + 13 + 66 = 3*u. Solve -2*z + l = -z - 3*v, -5*v = z + x for z.
3
Let p = 39 + -37. Let m be ((-2)/4)/(3/(-12)). Solve -3*j = -p*w + m, w - 2 = -j + 2*j for j.
2
Suppose -5*c + 6 = -29. Let i be -2 + c + -2 - 1. Solve -2*o - 4*r + 7*r = -10, o - i*r = 5 for o.
5
Let i(f) = f**3 - 3*f**2 + 3*f. Let m be i(2). Solve 5*o - 17 = 3*s, -4*s + 3*o + m = 10 for s.
1
Suppose 0 - 65 = -5*n. Let x(b) be the second derivative of -b**3/6 - 5*b**2/2 + b. Let u be x(-9). Solve u = -3*s + 2*z, 0 = 4*s + 5*z - 0 + n for s.
-2
Suppose -3*j - 2*o = -8, 0*o = 2*j - 5*o + 1. Solve j*w = i - 5, -3*w + 0*w = -i + 9 for w.
-4
Let a be (3/(-9))/((-3)/54). Solve 5*h - 9 = -2*q, h = a*h - 5 for q.
2
Let x = 14 - -8. Solve 0 = -3*p + 3*u - u + x, 10 = -2*u for p.
4
Let j = 4 + 0. Suppose 5*z - 2*l = 11, -2*l - 1 - 7 = -j*z. Let t be (3/(-2))/((-1)/2). Solve x - 2*x + t = 4*b, -2*x + z*b + 6 = 0 for x.
3
Suppose 3*v - 8 = v. Let a be (-10)/(-3) - 4/(-6). Let m be (90/a)/(3/v). Solve 2*h = u + 3, -3*h + 2 - m = 5*u for h.
-1
Suppose 8*f = 13*f. Solve -2*o + 3*p = -7 - 2, f = -o + 5*p + 8 for o.
3
Let t = -19 + 23. Solve 0 = -5*r + n - 11, -t*r + 3*n = -n - 4 for r.
-3
Let h be ((-18)/(-9))/((-2)/(-3)). Suppose 0 = -2*f + 6*f - 20. Let m = f - 2. Solve -1 = v + w, -m*v - h*w = 2*v + 11 for v.
-4
Let a be 14/3 + -1 - 30/45. Solve 3*k - 12 = j + 2*j, -a*k - 2*j + 7 = 0 for k.
3
Let m be (-9)/4*40/(-30). Let q(w) = 6*w + 2. Let d be q(m). Solve -5*s = 5*i + 30, 2*i = -0*i - 4*s - d for i.
-2
Let o(v) = -10 + 13 + 0*v**2 + v**2 + v. Let u be o(0). Let c be (6/u - 4) + 6. Solve 4*l = 5*b - 20, 2*b - 12 = -c*l - b for l.
0
Let b = -4 + 6. Suppose -2*z + 4*g + 19 = -g, -g = -b*z - 1. Let l = 3 + z. Solve l = 2*a + d + 5 - 0, 0 = 5*a - 3*d - 15 for a.
0
Suppose -4 - 3 = 4*u + 5*c, -u + 14 = -4*c. Let j = -4 - -4. Suppose m - 5*m = j. Solve -u*p + 4 = m, 10 = v + 3*v - p for v.
3
Suppose 0 = -3*q + 9, -5*q + 0 = -3*n - 3. Solve d - 4*d = 3*k - 6, n*k = -12 for d.
5
Suppose -3*u - 3 = -18. Solve -u*p + 3 = 4*c, 0*c = -2*c + 4 for p.
-1
Suppose -6*q = -q. Solve -t - 1 = -3*x, q*t - 5 = 3*x - 4*t for x.
1
Let q = -5 - -8. Let g be q*(-7)/((-21)/10). Solve 3*x - 10 = x + 5*p, -2*x = -3*p - g for x.
5
Suppose 5*i + 10 = -5*r, -5*i + 0*r - r = -2. Let n be -4*-2*i/4. Solve 14 = -4*u + n*k, 5*k + 19 = -3*u + 2 for u.
-4
Suppose 3*g - 3 = v, 2*v + g - 8 = -0*v. Suppose -5*f = 2*s + 2*s - 84, 0 = v*s - 2*f - 40. Solve 3*j + s = -0*n - 5*n, 5*j = -4*n - 5 for n.
-5
Let o = -27 + 18. Let c be 2*5/((-30)/o). Let q be -3 + c + 3 - 3. Solve -4*k + 5*s = -25, 5*k - s - s - 27 = q for k.
5
Let h = -33 - -37. Suppose -2*b - 5 = p, -5*b - 49 = -2*p - 14. Solve 27 = 3*u + j - h*j, j + p = 0 for u.
4
Let q(h) = -h**2 - 7*h + 2. Suppose -u + 1 = 8. Let n be q(u). Solve 4 = r, -3*d - r + 6 = -n*d for d.
2
Let y be (-16)/(-104) - 28/13. Let l be 3/6 - y/(-4). Solve 2*q - 2*a + l*a = 10, -20 = -4*q + 3*a for q.
5
Let f be 12/(-3) + 0 - 1. Let n be (18/f)/((-10)/25). Let a be 20/n - (-8)/(-36). Solve m - 1 = -2*i, 0*i - 31 = -a*i + 5*m for i.
3
Let x(s) = s**2 - 18*s + 2. Let t be x(18). Let c = 5 - t. Solve -2*a - 10 = 0, -4*y - c*a + 0*a = -5 for y.
5
Let k be 12/18 - 61/(-3). Let v = -16 + k. Solve -4*h - f + v*f = 0, -2*h - 4*f + 6 = 0 for h.
1
Let v = 61 + -47. Solve -h = -x + 4, h + 4*h + x + v = 0 for h.
-3
Suppose -2*m + 5*m - 12 = 0. Suppose -4*v + 12 = 2*c, 0 = m*c - 5*v - 0*v + 28. Let j be (c/(-3))/(6/27). Solve 0*n + 4*n + 15 = j*d, 0 = -4*d - n + 20 for d.
5
Suppose -19 - 47 = -11*b. Solve m - b = -4*z - m, -5*z + 4*m = -14 for z.
2
Let k(o) = -6*o + 108. Let p be k(16). Solve -4*j + 0*q + 4*q + p = 0, 4*j + 2*q - 18 = 0 for j.
4
Let x be (-1)/(2/4*2). Let n be 2 + (-3)/x*-2. Let w be (6/n)/(3/(-6)). Solve -2*i + i - 2*u = 11, u = -