12. Let c = -30 + 31. Suppose -g + 7 = -c. Solve -g = 3*b - f for b.
4
Let o(n) = -n**2 - 26*n - 44. Let s be 6/((-15)/12 - -1). Let l be o(s). Let m be 19/4 + (-2)/(-8). Solve l*j + m = -j for j.
-1
Let p = -9 + 14. Suppose 5*i - 2*y = -49, -2*i + p*i = -4*y - 19. Let b be (15/i)/(2/(-6)). Solve -z = -b + 1 for z.
4
Suppose -5*j + j - 8 = -3*y, j - 17 = -4*y. Suppose -5*b - 3*o + 31 = 0, 0 = -3*b - 0*b + 3*o + 33. Solve b*v = y*v for v.
0
Let c(t) = t - 7. Let q be c(9). Suppose -9 = 4*h + 5*r - 34, -q*h + 4*r = -6. Suppose h*d = -9 + 29. Solve -f - 25 = d*f for f.
-5
Let v be ((2/5)/(-1))/((-13)/65). Let b be (3/2)/((-3)/(-6)). Solve b*c - c - v = 0 for c.
1
Let u = -317 + 333. Solve -6*a + u = -2*a for a.
4
Suppose -6*j = -15*j + 36. Suppose 5*r = 5*r - j*r. Solve r = -g - 0*g for g.
0
Suppose -2 - 10 = -3*m. Solve m*w + 3 = 11 for w.
2
Let k = -24 - -50. Suppose k*f - 28*f = -16. Solve 0*u - f = 2*u for u.
-4
Let u = 149 - 77. Suppose 5*g = -7*t + 3*t + u, 3*g - 27 = 3*t. Suppose 0 = 3*p - 6*p + g. Solve -p*f - 5 - 7 = 0 for f.
-3
Let r = 163 - 159. Solve -t - 9 = -r*t for t.
3
Suppose 3*q = -35 + 44. Solve -2 - 1 = q*v for v.
-1
Let k = -3 - -7. Suppose 3*a + a - 2*z = k, 0 = -4*a + 3*z + 2. Suppose 5*c = -v - 1, -c + a*c - v - 1 = 0. Solve c*u = 2*u for u.
0
Let r be 2728/56 + (-4)/(-14). Solve -r = -o - 48 for o.
1
Let f be 47 - (-2)/(-5 - -3). Let r be (-9)/15 + f/10. Solve 0 = -3*g + r*g + 1 for g.
-1
Let q(u) = -u**2 - 7*u + 11. Let d = -2 + -6. Let r be q(d). Solve -5*t = -r*t for t.
0
Let b = 1925 + -1913. Solve 56*m = 53*m - b for m.
-4
Let o = 1 - -1. Let z(q) = -q**3 + q**2 + q + 1. Let i(f) = 3*f**3 + 2*f**2 + 2*f + 1. Let n(d) = i(d) + 2*z(d). Let a be n(-2). Solve -1 = a*r - o*r for r.
-1
Suppose -l = -k - 6, -5*l + 3*l + 6 = -5*k. Suppose 3*x - l = -x, -5*v + 73 = -x. Solve -v - 5 = 5*q for q.
-4
Suppose 0 = 4*n - 0*b + 4*b - 4, 4*n - 11 = 3*b. Let h(l) = 2*l**2 + 2*l + 2. Let r be h(0). Suppose r*u - 4 = -2. Solve u = -n*o - 1 for o.
-1
Suppose h = -3*s - 7, -5*h + 3*s = -2*s - 25. Suppose -4*z - q + 34 = 0, 0 = 4*z - 0*q - q - 30. Let g be (4/z)/(2/8). Solve -g*p + 8 = h*p for p.
2
Let d(p) = -2*p**3 - 3*p**2 + 2*p + 5. Let r be d(-2). Solve 0 = -14*f + 9*f + r for f.
1
Suppose -u = 3*v - 0*v - 35, -5*v + 85 = -5*u. Let t(p) = -v - 2*p**2 - 5 + 6 + p**2 - 8*p. Let h be t(-5). Solve h*x + x = -4 for x.
-1
Let u = 83 + -90. Let x = 19 + u. Solve -x = 3*y + 3 for y.
-5
Let w(g) = 3*g + 0*g**2 - 4 + 2*g**2 - g**2. Let i be w(6). Suppose 4*y - 18 - i = 0. Solve 2 = -3*f + y for f.
5
Let r(w) = w**3 - w**2 + 48. Let u be r(0). Suppose -u - 42 = -6*o. Solve -5*g + 2*g = -o for g.
5
Let v = 8 + -7. Let g(s) = -11*s**3 + s**2. Let q be g(v). Let u be (-4)/q + 4/(-10). Solve u = 4*l + 3 + 1 for l.
-1
Let n = -3 + 11. Let a be (-1)/(-3)*-3 + (-30)/(-6). Suppose 2*y + 8 = -a*c, 2*c + n = -3*c - 2*y. Solve -w - 2*w - 6 = c for w.
-2
Let u(p) = -34*p - 403. Let k be u(-13). Solve 0 = -k*f + 42*f + 3 for f.
-1
Let d be ((-4)/16)/((-1)/20). Suppose 2*m = 3*g - 12, -20 - 3 = -4*g + d*m. Solve -g*a - 9 = -5*a for a.
3
Suppose 0 = 9*c - 13*c + 12. Suppose c*z = -4*q + 60, 0 = -5*z - q - 2*q + 100. Solve 0 = -0*v + 5*v - z for v.
4
Let a be (9/(-6))/(9/(-174)). Let l = 23 + a. Let u be (-8)/l - (-2)/13. Solve u*c + 3*c = 3 for c.
1
Let a(t) = -t**3 - 60*t**2 - 60*t + 20. Let s be a(-59). Solve -77 + s = n for n.
2
Suppose -61*l - 2 = -62*l. Let d(q) = 7*q**2 - 3*q + 1. Let f be d(l). Solve 3 = 4*a + f for a.
-5
Let q be (-208)/(-80) - (3 + 102/(-30)). Solve -10 = q*m + 2 for m.
-4
Let b(o) = 5*o**3 - 2*o**2 + 13*o - 25. Let z be b(3). Solve z*q = 130*q + 5 for q.
5
Let s be -2 + -1 + (14 - 12). Let q be 2 - (s + 2)*-2. Solve q*w - 5 = -w for w.
1
Suppose -5*k - 5*q = 30, 3*k + 2*q + 20 = -0*q. Let f = -3 - k. Solve 0*p = f*p + 25 for p.
-5
Let h(n) = -n**2 - 10*n - 6. Let b be h(-9). Suppose -5*d = -t - 18, b*d = 2*t + t - 6. Let c = t - 4. Solve 4*y - 2 = c*y for y.
2
Let i be (-3)/(-4) - 7/168*-30. Solve 0*k = k - i for k.
2
Let s(x) be the third derivative of -x**4/24 + 3*x**3/2 - 11*x**2. Let o be s(4). Solve -2 = o*p - 3*p for p.
-1
Let c(i) = 2*i**2 - 3*i + 1. Let w be c(2). Suppose 4*p - 7*p + w = 0. Let z(j) = 14*j + 2. Let q be z(p). Solve q - 4 = 4*f for f.
3
Let q be 1119/75 - 30/(-375). Let c be 2 - (0 + 2) - -4. Solve c*y - 7*y = q for y.
-5
Let x = 434 + -427. Solve -19*v - 60 = -x*v for v.
-5
Let x = -2 - -1. Let d be ((-36)/(-14))/(x/(-7)). Suppose -2*j + 5*w + 41 = 0, 2302*w + 5 = 4*j + 2303*w. Solve -d = 5*i - j for i.
-3
Let h be 86/6*-3 - 2. Let o = -45 - h. Solve 5*s - 10 = -o for s.
2
Suppose -5*f + 2848 - 2738 = 0. Solve 0 = 7*w + 4*w - f for w.
2
Suppose -5*x = -w + 23, -x + 67 = 4*w - 4. Suppose 3*y = 6*y - w. Solve y*s = 2*s + 12 for s.
3
Let l be 14/77 - (-200)/110. Solve 0 = -4*y + 2*y + l for y.
1
Let x be (-2 + -1)*(-2)/3. Suppose u - 10 = -u. Suppose h = 0, u*n = 3*n - x*h. Solve 2*k + 2*k - 16 = n for k.
4
Let j = -817 + 822. Solve 2*l = -0*l - j*l for l.
0
Let z be (1 + 1/(-2))/((-3)/(-12)). Suppose -2*b + z*w = -2, -w + 4*w = 4*b - 3. Solve b = -5*a - 3 - 2 for a.
-1
Let h(d) = -d**3 + 13*d**2 - 12*d + 16. Suppose 2*g - 3*p = 18, -2 - 6 = -4*p. Let q be h(g). Let m = q - 16. Solve m*b = -5*b for b.
0
Suppose 2*c - 2*a = 2*a + 12, -4*a = -c + 8. Suppose 0 = -3*h - 4*i + 2, 3 = -c*i - 1. Suppose -f = -4*q + h*f + 25, -2*q + 5 = f. Solve q*p - 5*p = -4 for p.
4
Let t = -30 - -10. Let a be -2 + 1 + 3 - t. Let k be 3/(-6) + a/4. Solve 0 = o + k for o.
-5
Let g(q) = 2*q - 18. Let v be (3/5)/(8/120). Let c be g(v). Solve -z + 4*z - 15 = c for z.
5
Let i = 376 + -371. Solve -2*h - 3*h = i for h.
-1
Let p = -69 - -129. Suppose 20*w - p = 8*w. Solve 4 = 3*s - w for s.
3
Let t be ((-4)/4 - -2)*5*1. Let r(s) = s**2 + s + 4. Let y be r(-3). Suppose -5*n = -y, -t*n + n = -4*l - 8. Solve -5*g + 2*g - 9 = l for g.
-3
Suppose -2*x + 178 = 4*u + 3*x, -4*x = -3*u + 118. Let b = u - 42. Solve b*p + 6 = -2*p for p.
-3
Let w = 1326 - 1323. Solve -13*i = -w*i - 10 for i.
1
Let q be 48/9*(1/2 + -2). Let k = 12 + q. Solve k = 3*c + c for c.
1
Suppose 7*o - 1 = 6*o. Let j be (0 + o)/((-1)/(-4)). Suppose -10 = -3*q - j. Solve -25 = 7*t - q*t for t.
-5
Suppose 6*p = p - o + 19, 0 = 3*p + 2*o - 10. Suppose p*b = b. Suppose 2*w = -b*w. Solve w*t = -5*t for t.
0
Suppose 2 + 13 = 3*q. Suppose s = -k + 3, -k + q*s - 15 = 6. Let t be (-9)/(k + -2) - 1. Solve -v - 6 = t*v for v.
-2
Let z = -515 + 516. Solve 70*g = 71*g - z for g.
1
Let m = 67 + 0. Let l = -67 + m. Let c be (1/(-3))/((-2)/18). Solve -i + l - c = 0 for i.
-3
Let a(q) = -3*q**2 - 3*q + 1. Let m be a(-3). Let v = 29 + m. Let p be 4 - (-2 - 12/(-3)). Solve v = 2*u + p*u for u.
3
Suppose -129*z + 133*z = 16. Suppose 2*l + r + 2 = -1, l = 2*r - 4. Let s = z - l. Solve b + s = 1 for b.
-5
Let t(q) be the first derivative of -q**4/4 - 2*q**3 - q**2/2 - 4*q - 1. Suppose -21*h - 6*h - 162 = 0. Let v be t(h). Solve 2 + 0 = -v*d for d.
-1
Suppose -5*v + k = -25, 0 = -3*v - 12*k + 7*k + 43. Solve v = -3*g - 0*g for g.
-2
Let v be (-21)/(-4) - 1/4. Let q = 120 - 15. Suppose 11*o - q = 4*o. Solve -o = 5*m + v for m.
-4
Suppose 0 = -x - 5*q - 25, 2*x + 2*x = -2*q - 10. Let n = x - -3. Let k be 2/(-2) - 0 - -1. Solve k = n*y + 2*y - 5 for y.
1
Let t be 4/22 - 126/(-33). Let w = 1 - 1. Solve t*k = -w*k - 8 for k.
-2
Let c = -80 + 47. Let z = c - -35. Solve 5 = -z*w + 11 for w.
3
Suppose 0 = -50*t + 261 + 639. Solve 0 = -t*h + 20*h + 6 for h.
-3
Suppose -57 = -5*g + m + 40, -46 = -2*g + 4*m. Solve 4*s = -15 + g for s.
1
Let t(z) = z**2 - 11*z + 14. Let c = -20 - -30. Let b be t(c). Solve 4 + b = 2*o for o.
4
Let c be (3 + 3)/(-42) - 113/(-7). Solve 5*g - g = c for g.
4
Let k = 102 - 100. Solve k*l + 3 = 1 for l.
-1
Suppose 24*j - 128 = 20*j. Solve -j*u + 39*u - 28 = 0 for u.
4
Suppose -8 = -4*q - l, -3*q - 2*q = -4*l - 10. Suppose -6 = -q*a + 4*s, -6*a + 2*s = -a - 23. Let v be (-3 - -1)/(a/(-10)). Solve v*g = 24 - 4 for g.
5
Suppose 9*b = -b + 20. Solve 4*o = b + 2 for o.
1
Let x be ((-96)/(-30))/((-2)/20 - 0). Let d = -30 - x. Solve -2*c = d*c for c.
0
Let s(x) = x**2 - 5*x - 1. Let p be s(6). Suppose 8*c = p*c. Suppose -2*y + 6 = 5*b - 4, c = -b + y + 2. Solve b*l = -l - 6 for l.
-2
Let q