12. Let c be 0*z/(-2 - -6). Suppose c = -2*u + 5*u - 6. Solve u*a = -a - 6 for a.
-2
Suppose -104 = 4*x - 3*i, 2*x - 17 = -3*i - 69. Let v = x - -30. Solve 8 + v = 4*j for j.
3
Suppose 27*t - 11 = 28*t + 4*x, -5*x - 40 = -4*t. Solve -t*i - 37 = -17 for i.
-4
Let d(m) = -m**2 - 2*m - 4. Let s be d(-5). Let u = s - -19. Solve 2*h - 4 + 2 = u for h.
1
Suppose 2*n + 12 = -16. Let l = -6 - n. Suppose 2*z - 33 = t, -4*z + 34 = -3*t - 31. Solve -z - l = 5*g for g.
-5
Suppose -p - 5 = 2*a - 4, p + 5*a = -10. Solve -44 = p*n - 64 for n.
4
Let f(i) = i**3 - 4*i - 3. Let k be f(-1). Let v be (-1*1)/((-1)/5). Solve k = d - v*d - 16 for d.
-4
Let a(u) = 39*u + 7. Let n be a(-1). Let l = -14 - n. Let f(k) = -k**3 + 5*k**2 + 5. Let q be f(5). Solve 0 = q*r - 2 - l for r.
4
Let x(g) = -47*g - 469. Let t be x(-10). Suppose 4*y + 7 - 27 = 0. Solve y*u + t = -9 for u.
-2
Suppose -4*s = -0*s + 6*s. Suppose -4*o + 64 - 16 = 0. Let w = 18 - o. Solve s = -w*p + p + 15 for p.
3
Let c be (1 + 0/(-2))*-15. Let w = c - -20. Suppose 30 = 2*d - 4*v, -d + w*v + 34 = d. Solve -2 = f - d for f.
5
Let x = 17 + -11. Suppose -2*r = -x*r. Solve r = -0*v + 2*v for v.
0
Let f be 1*-2 + 12/3. Suppose 13 = 5*w + 3. Suppose -2*b = 3*q - 9, -7*q = 2*b - 2*q - 15. Solve b*c + w = f*c for c.
1
Suppose -6*m = -2*m + 32. Let v be (6/(-4))/(4/m). Suppose -v*r + 12 = -0. Solve -4*i = -2*i + r for i.
-2
Let s be (-1)/(-2)*32/1. Let v be s/(-28)*7/(-2). Solve 0 = -v*k + k for k.
0
Suppose 6*d = 2*d + 32. Suppose -4*s = d, -3*h + 5*s + 12 = -25. Let u be 80/15 - 3/h. Solve u*v = 3*v - 8 for v.
-4
Suppose -6*l + 10*l - 124 = 0. Suppose 0 = 2*q + 6, 0 = -3*h + 2*q - 7 + l. Solve h = 5*b - 9 for b.
3
Let m(t) = t**3 - 12*t**2 + 10*t + 11. Let b be m(11). Let l be (1 - -1)*(b + -3 + 4). Solve l*x + 2 - 10 = 0 for x.
4
Suppose 5*h = 3*h + 6. Suppose 19 + 4 = 4*t - h*c, t - 4*c = 22. Solve -t + 7 = -5*b for b.
-1
Suppose -q + 2 = -1. Suppose 61*p - 1 = 60*p. Solve 0 = -q*m - p - 2 for m.
-1
Let b(r) = r - 20. Let p be b(7). Let f = -9 - p. Let d be 3/(-9) + (-3)/(-9). Solve d = f*i - i - 9 for i.
3
Let f be 1 - (-4 + -1 - -1) - 2. Solve -m - 1 = f for m.
-4
Let d(t) = -5*t + 62. Let y be d(10). Solve 8*x - y = 11*x for x.
-4
Let u(b) = -b**3 - 10*b**2 - 4. Let a be u(-10). Let j(c) = -2*c**2 - 10*c - 5. Let g be j(a). Solve 8*l - 10 = g*l for l.
2
Suppose -3*g = -2*m + 8 - 42, 3*g - 20 = -5*m. Let c(b) = -3*b + 30. Let t be c(g). Solve 2*v - 5*v + 15 = t for v.
5
Let s be -1*1*6*(-15)/(-10). Let z be (s + 44)*(-1)/(-5). Solve -z = 2*k + 3 for k.
-5
Suppose 8*g - 7 + 15 = 0. Let r be (-2)/(-6)*g*(2 + -2). Solve 3*h + 13 + 2 = r for h.
-5
Suppose 3*r = 4*v - 27, 3*r - 7*r + 39 = 3*v. Solve -v*p + 22 = 2*p for p.
2
Suppose 14 = 3*l - l - 2*p, l = -p - 3. Solve -l*n + 4*n = -8 for n.
-4
Let j = 2504 + -2179. Solve 321*g = j*g + 20 for g.
-5
Let h = 19 - 9. Suppose 4*b - w = -11 + 42, -3*b = -w - 23. Suppose 4*f - 36 = 3*c - 8, -5*f + b = 3*c. Solve -f*z - 2 = h for z.
-3
Suppose 5*s + g - 26 = 0, 0*s = -4*s - 2*g + 22. Let t be (-3 + 20/s)*(-1 - -11). Solve 3*p + 2*p - t = 0 for p.
2
Let v = 265 + -259. Solve 6*c = 4*c - v for c.
-3
Let x be -5*((-32)/10 + -1). Solve x = -5*g + 1 for g.
-4
Let d = 172 - 155. Solve -11*u - d + 61 = 0 for u.
4
Let y(j) = j**3 - 4*j + 3. Let h be y(2). Solve 4 = -h*t + 5*t for t.
2
Let q be -15 + (-3 - (-3 - (1 - 5))). Let p = 27 + q. Solve 5*n + 7 + p = 0 for n.
-3
Suppose p + p = 5*z + 34, 3*p - 5*z - 41 = 0. Solve -p*q - 8 = 6 for q.
-2
Suppose 0 = -2105*w + 2096*w + 1269. Solve 3*h - 147 = -w for h.
2
Let w = 14 + -1. Suppose -d + w = -5*d - 5*o, 20 = -4*o. Solve 0*t - d*t + 6 = 0 for t.
2
Let g be ((-90)/50)/((-12)/100). Solve -5*p = -g*p for p.
0
Suppose -7*y - 108 = -11*y. Suppose -y + 9 = 3*d. Let t be (-5)/(-1 - 1/d). Solve -t*n - 5 = -n for n.
-1
Let r = -144 - -133. Suppose d + 1 = -8. Let h = d - r. Solve h*k + 6 = 2 for k.
-2
Let z(s) = s**3 + s**2 + 3*s - 3. Let c(i) = 3*i**3 + i - 2. Let a be c(1). Let t be z(a). Solve 5*u - 5 = t for u.
4
Let f(c) = -c**2 - 10*c - 1. Let l be f(-7). Let o = 21 - l. Solve -4*u = -7 - o for u.
2
Let s(p) = p**2 - 3*p + 2. Let r be s(2). Suppose g - 1 - 2 = r. Suppose -w = -5*b + 26, 10*w + 50 = 5*b + 15*w. Solve 0 - b = g*c for c.
-2
Let v(u) = u - 2. Let w(d) = -4*d. Let m be w(-1). Let q be v(m). Suppose -q*g - 12 = 2*g, -5*g = -5*o + 25. Solve -2*b - o*b = -16 for b.
4
Suppose 2*w + 4*d = 106, 0 = -5*w + 5*d + 198 + 112. Solve 49 = 2*i + w for i.
-5
Suppose 0 = -4*s - p + 19, s - 10 = 3*p - 2. Suppose 0 = -4*u + s*u - 8. Solve 5*t = t - u for t.
-2
Suppose 4*t - 2*q - 50 = 0, -t + 3*q = -3*t + 5. Solve 13*k = t*k + 15 for k.
5
Let s(m) = -m**3 + 10*m**2 - 14*m - 7. Let z be s(8). Let l(n) = -n**2 + 8*n + 9. Let t be l(z). Solve -q + t*q + 4 = 0 for q.
4
Let h be 148/18 + 30/(-135). Let g be h + (-4 - 0) - -7. Let m = 15 - g. Solve m*n + 1 + 7 = 0 for n.
-2
Let t = 316 + -316. Solve t = -4*m - 5 + 25 for m.
5
Let q(z) = -z**3 + 25*z**2 - 24*z + 10. Let f be q(24). Solve -3*n + 1 - f = 0 for n.
-3
Let l = -648 - -721. Solve l*j - 24 = 85*j for j.
-2
Let h(z) = 11*z - 12*z + 1 + 1. Let a be h(0). Suppose 4 = -c - 2*y, 12 = c - a*y + 4. Solve -q = 2 + c for q.
-4
Suppose 2*q = a + 1, 3*a + 2*a + 14 = q. Let g be -1 + 1 + q/1. Let d be (8 - 4)/(2 + g). Solve 0 = -d*k + 1 + 3 for k.
1
Let u be -1*(-4 - (-57)/3). Let b(q) = q + 21. Let w be b(u). Let v be (-2)/(-6)*(w + -6). Solve -4*a - 4 = -v*a for a.
-1
Let o be 5 + -5 - (-142 + -2). Suppose 143*c - o*c + 12 = 0. Solve 5*i - 13 = c for i.
5
Suppose -27*v = -24*v - 18. Solve -28 = v*r - 13*r for r.
4
Let l be (-6)/(-4)*(-8)/8*-10. Solve 0 = l*h - 8*h + 21 for h.
-3
Let l be (-25)/(4/(-16)*2). Suppose 0 = -9*f + l - 5. Solve -3 - f = -2*x for x.
4
Let l = 268 + -251. Solve 6*p + 13 + l = 0 for p.
-5
Let q = -279 - -281. Solve q*z = -z for z.
0
Let c(l) be the third derivative of -11*l**4/24 + 11*l**3/3 - 28*l**2. Let h be c(2). Solve -i + 0 + 4 = h for i.
4
Let b(l) = l**3 - 2*l**2. Let a be b(2). Solve a = -2*c + 6 for c.
3
Let a = -2 - -6. Let j be (a + -6)/(2/(-16)). Let r = 18 - j. Solve 2*x = x - r for x.
-2
Let f be (-1 - -4) + 1 + 1. Suppose -g + f*g = -g. Solve -3*d = -g*d for d.
0
Suppose -36*l + 34*l + 4 = 0. Solve 3*r = 7 + l for r.
3
Suppose -6*g + 8*g + 5*b = 30, g = 3*b - 7. Solve -g*d - 13 - 7 = 0 for d.
-4
Let a(n) = 1 - 4 - 5 + 3*n. Let q be a(6). Let w be (-9)/(-6) + 5/q. Solve 2*o - 4*o = -w for o.
1
Let q(f) be the second derivative of -f**3/6 + 13*f**2 - 14*f. Let i be q(24). Solve 4 = 2*x - i for x.
3
Let c(i) = i**2 - 4*i - 2. Let f be (10/(-4))/(-4*5/40). Let s be c(f). Solve s*x + 15 = 3 for x.
-4
Let d = 21 + -17. Let a(n) = 2*n**2 + 5*n + 2. Let x be a(-2). Solve -2*f + d*f = x for f.
0
Let f be (-3)/9*(-6 - 0). Suppose 4*x + f*u = 82, -x + 14 + 5 = 2*u. Let n = 21 - x. Solve i + n*i = 0 for i.
0
Let n = -24 + 55. Let c = 19 - n. Let h = -12 - c. Solve 2*f + h + 2 = 0 for f.
-1
Let i = 30 + 18. Let y = i + -32. Solve 3*f + f = -y for f.
-4
Suppose 37*r = 8*r + 1015. Solve 4*a - r = -31 for a.
1
Suppose -v - 5*s + 8*s = -5, 5*v = 4*s + 14. Solve 37 - 43 = -v*k for k.
3
Let p(w) = 36*w - 16. Let l be p(2). Let b = -56 + l. Solve -3*u - u + 20 = b for u.
5
Let f(w) be the first derivative of w**3/3 + 3*w**2 + 5*w - 8. Let x be f(-5). Let n(q) = -q + 3. Let h be n(0). Solve x = -h*m + 4*m for m.
0
Let f(o) be the second derivative of -o**3/3 - 15*o**2 + 7*o. Let p be f(-17). Solve -p*v + 6 = -2*v for v.
3
Suppose 2 + 64 = -6*n. Let t(l) = -l + 9. Let b be t(n). Solve -6*a + a = -b for a.
4
Suppose -2*z + 3*k + 6 = -6*z, -4*k + 11 = -z. Let n = 6 + z. Let c = -49 + 63. Solve n*v - c = -5 for v.
3
Suppose 2*s - 3*c = 21, 0 = -4*c - 12 - 8. Let j(w) = -w**3 + 2*w**2 - w - 2. Let a be j(s). Let n = a - -17. Solve -n + 1 = -f for f.
2
Let y be 1/(-2)*(-4 + 0 + -8). Solve 7 = -y*b + 1 for b.
-1
Let c = -25 - 0. Let u = 29 + c. Solve 0 + 20 = u*v for v.
5
Suppose 3*n - 2*b - 27 = 0, 2*b + 13 + 7 = 2*n. Solve -n = 5*m - 12*m for m.
1
Let f be 4/(-14) - (-92)/28. Suppose -f*h + 10 = -h. Let r = -10 - -22. Solve 0 = -2*g + h*g - r for g.
4
Let p = -38 + 62. Suppose -2*o + 4*o = -2*k + p, 4*k - 5*o - 12 = 0. Let v = -1639 - -1647. Solve -v*y + k = -4*y for y.
2
