- 12. Let i be 0*((7 - 4) + -4). Let k be r(i). Let o = k - -14. Solve -3*c - o = -2*h + 9, 24 = -4*c - 2*h for c.
-5
Suppose 6*y - 7*y = 29. Let o = y - -34. Solve v + 2*t + 0*t - 7 = 0, o*t + 15 = 4*v for v.
5
Let q = -399 + 403. Solve 0 = 3*w + 12, -w = -4*m - q*w for m.
3
Suppose 147*u = 167*u - 80. Solve 2*m + 3*m + 26 = u*f, 0 = 3*m - f + 10 for m.
-2
Suppose 37 = 2*w + 4*z + 7, 5*z - 13 = w. Solve -5*m + 26 = -4*b, 5*b = -4*m - w - 5 for b.
-4
Suppose -7*b + 268 = 247. Solve -5*o + 11*z + 25 = 6*z, -o + 5 = -b*z for o.
5
Suppose 2*p - 32 = -8. Let m be (p/9)/((-3)/(-9)). Solve m*q + 3*i + i = 16, 0 = 2*q - 4*i - 8 for q.
4
Suppose 17 = 4*v + 5. Solve 2*g + d + 16 = 5*d, 0 = -4*g - v*d + 1 for g.
-2
Let x be 7*1 + (-108 - -109). Solve -x*s - 3 = -10*s - 5*m, -s + 3*m = -7 for s.
4
Suppose -8 + 20 = -3*h. Let f = -3 - h. Suppose 4*l - 4*q = 4, f - 6 = l + 5*q. Solve 0 = 3*o + 2*k - 13 + 2, o + 5*k - 21 = l for o.
1
Let g(p) = -p - 6. Let a(u) = -u**2 - 11*u - 4. Let x be a(-12). Let y be g(x). Suppose s + 0 = y. Solve 4*m = -2*k + 6, 2*k - m - s = -4 for k.
3
Let n be ((-3)/21)/(5/(-35)). Suppose -2*c + 2 = z, -5*z - 4*c + 7 = 3. Solve -5*d - 3*t - n = z, -5*t + 6 = 2*d - 5 for d.
-2
Let w be 40/25*10/4. Let q(x) = x**3 + 7*x**2 + x + 8. Let l be q(-7). Let b = l + -1. Solve b*h + w*h + r - 17 = 0, 14 = 3*h + r for h.
3
Let s = -3 + 5. Let g be 1/(15/(-6) + 2). Let p be (g - -1)*(-7 - -2). Solve -4*z = h + p, -8 + s = 3*z for h.
3
Let q(g) = -2*g**2 + 9*g + 3. Let m be q(4). Solve u = -2*v - 2, 5 = 5*v - 2*u + m*u for v.
-3
Let v(u) = -u**2 + 3*u + 10. Let x be v(0). Solve -3*q = -8*q + 5*i - x, 5*i = -15 for q.
-5
Let u be (-3)/(-12) + 110/8. Let t(w) be the first derivative of -w**3/3 + 7*w**2 + 5*w - 35. Let y be t(u). Solve -21 = 3*l - y*i, 3*l - i = l - 7 for l.
-2
Suppose 4*c = -4*p + 2 + 10, 3*p = -2*c + 6. Let i(t) = -t - 2. Let z be i(-1). Let w be z/(-1 + 4/6). Solve 4*q = x + c, w*x + 2*x = q + 23 for q.
2
Suppose 0 = -42*p + 62 + 106. Solve 2*x + p*v + 10 = 0, 5*x - 3*v - 15 = 12 for x.
3
Suppose 2*v - 46 = -2*b, -4*b + 3*v + 95 = 6*v. Let m = 29 - b. Solve -8 = -2*a - 0*a + m*w, a - 5*w - 11 = 0 for a.
1
Suppose -m + 17 = -3*g - 2*g, 87 = 3*m + 3*g. Solve -5*r - s = m, 0*r - 2*s = 2*r + 14 for r.
-5
Suppose -875 + 5 = -30*o. Let r = 3 + -3. Solve -19 = -3*a - r*n - n, 5*a + n = o for a.
5
Let d = -9 + 11. Suppose -o - 3 = d*o. Let n(x) = -7*x**3 - 2*x**2 - 2*x - 1. Let s be n(o). Solve 12 = 4*w + 4*m, -m = -0*w - 2*w - s for w.
-1
Suppose -2*l - 3*c = -136 - 55, -4*c = 2*l - 192. Let q = l + -73. Solve -2*m + 2 = 2*u, 3*u - 10 = 4*m + q for u.
5
Let p(h) = -50*h + 102. Let x be p(2). Suppose 2*z + 55 = 7*z. Suppose 0 = y - 0*y - z. Solve -5*i + y = -n, -x*i + 5*n = 3*i - 15 for i.
2
Let w be (-75)/(-20)*(-4)/(-5). Suppose 3*t + 0 - 3 = 0. Let v(f) = 9*f**2 + 1. Let j be v(t). Solve 0 = w*l - u + j, 2*l - 10 - 5 = 5*u for l.
-5
Let l = -10 + 14. Let m = 615 - 607. Solve 2*n - 7 = -2*x + x, m = l*n for x.
3
Let u = 6 - -3. Let b be -7 + u + -1 + 14. Suppose -3*t + 1 = 2*t - 3*a, -3*t - 3*a = -b. Solve t = 3*d - 2*w, 0*d + 2*w - 26 = -4*d for d.
4
Suppose 4*j + 3*b = 146 + 11, 0 = -j - 3*b + 37. Suppose -2*d + j = k, -2*k - 28 + 130 = 5*d. Solve 3*h + 16 = 4*a - 4, -3*h = -5*a + d for h.
-4
Suppose -43 = -3*i - 2*o, 3*i + o = 6*i - 37. Let u be (12 + -6)/(2*1). Solve -2*y + 12 - 4 = -2*d, -2*d - i = u*y for d.
-5
Let b(m) = -6*m + 78. Let q be b(13). Solve q*l + 2*l + 4 = n, 0 = 3*n + l - 12 for n.
4
Let z be (2/(-10))/(8/(-120)). Solve c + 8 = z*f, -4*c - 2*f - 2*f - 16 = 0 for c.
-5
Suppose 12*i - 63 = 33. Solve j = 5*b - 19, 3*b + 3 = i*b + 3*j for b.
3
Suppose 3*p + 170 = -22. Let o = p - -68. Let w be 0/2 - (1 - 1). Solve w = o*c - r + 1, c = 3*r - 9 - 5 for c.
1
Let k be ((-24)/60)/((-2)/65). Solve 2*r + k = 5*h - 6, 4*r = 3*h - 3 for h.
5
Let l be 4 + 24/(-20) + 2/10. Suppose 12 = 5*h + 3*s, -5*s = -5*h - 0*h + 20. Solve 5*x + 6 = l*u - 4, -5*u = h*x + 6 for u.
0
Suppose -6 = -4*u + 14. Suppose -5 = -l, 2*p - 6*l - 1 = -u*l. Suppose 2 + 28 = 5*x. Solve 14 = p*w + r + 4*r, 5*w + r + x = 0 for w.
-2
Suppose -46 = 5*l - 1. Let y = -11 - l. Let u be 1 - (y + 6/2). Solve -t + 2*t - 4*n + 25 = u, 2*t + 2*n = 0 for t.
-5
Let n = 4 + -2. Let t(g) = 11*g + 1. Let l(x) = -7*x - 1. Let j(p) = -8*l(p) - 5*t(p). Let b be j(n). Solve -b*y - 4*d + 19 = 0, 7*d - 3*d - 1 = y for y.
3
Let y(l) = 3*l - 1 - 3*l**3 + 0*l**3 + 4*l**3 - 3*l**2. Suppose 0 = -u + o, 17*o - 3 = 14*o. Let r be y(u). Solve -6*w + s + 5 = -w, 3*w - 3*s - 15 = r for w.
0
Let i be (3 - (-4 - -5))/((-1)/(-2)). Suppose -h = -5*c + 20, 2*c = c - i*h - 17. Solve 3*x - 10 = -o, 2*o + c*o - x = -30 for o.
-5
Let k = 5 - 7. Let v be (8 + -7)/(k/(-6)). Suppose d = -6*b + 3*b + 8, -2*b + v*d = 2. Solve 5*r + 3*i = 19, 0*r - b*r - 2*i + 6 = 0 for r.
5
Let h(v) = -v**2 - 10*v - 19. Let a be h(-10). Let m be (-739)/a - 2/(-19). Let r be 170/6 + (-13)/m. Solve 5*y = i - r, y + 6*i - 4 = 3*i for y.
-5
Suppose 4*w - a + 0*a = 20, w + 2*a + 4 = 0. Suppose n - 75 = -w*n. Let m = n - 11. Solve 0 = 2*q + f + m, -f - 4*f = -2*q + 8 for q.
-1
Suppose 0 = 5*v - 3*w - 40, 5*v - 15 = -3*w + w. Suppose v*j = -0*j + 15. Solve 0 = 2*i - m + 1, 17 = -j*i - i - m for i.
-3
Let y be 3 + 3/((-3)/1). Suppose 292 = 4*n - y*g, 3*n + g - 224 = 5*g. Let o be (n/40)/((-1)/(-5)). Solve -o = -3*a - 21, t - 5*a = 23 for t.
3
Let b(j) = -j**2 + 6*j. Let o be b(5). Suppose -v + o = -5*z, -4*z + z - 15 = -3*v. Solve 3*k + 5 = v*c, 4*c = 2*k + 9*c - 5 for k.
0
Suppose 2*g - k - 8 = 0, 0 = 4*g + 3*k - 8*k - 28. Solve 3*h = 2*h, x - g = -4*h for x.
2
Let x be 4/((-32)/(-6) + -4). Suppose g - 2*g + 6 = 5*v, -g = x*v - 2. Solve 3*f + 8 = k - v*k, -k = -f + 4 for k.
-5
Let z(r) = r + 2. Let j be z(1). Let i = j - 0. Suppose 0 = -i*h - 3 + 12. Solve 15 = -3*x - 4*g, -7*x - 2*g = -h*x + 10 for x.
-1
Suppose 0 = -m - 1 - 8. Let w = 15 + m. Suppose 0 = -18*g + 9 + 27. Solve -3*z = -15, g*x = -w*z + z + 19 for x.
-3
Let v(d) = 2*d**2 - 9*d + 3. Let i be v(6). Suppose -5*z + 3*j + i = 0, -4*z = -0*z + 4*j - 4. Solve -3*g - 2 = -y, g + 21 = 5*y - z*g for y.
5
Let r(m) = -m**2 - 24*m - 76. Let v be r(-20). Solve 12 = -v*g, 4*j - 1 = -2*g - 3 for j.
1
Let o = 25 + -25. Let s = 23 + -34. Let z = 15 + s. Solve z*d = -4*t - d + 32, -2*t + 2*d - 2 = o for t.
3
Let u be 2 + 3 + (-4)/2. Suppose -2*v + 4 = -u*v. Let k be 1/(v*(-3)/24). Solve z = -z + b + 5, k*b = -6 for z.
1
Let x(y) = 18*y + 26. Let f be x(-1). Solve 4*h - 3*h - 4*o + 14 = 0, 2*h + 4*o = f for h.
-2
Let n be ((-6)/(-6))/((-3)/6). Let k be n/(-12) - 328/(-48). Solve 3*j - 4*i + 35 = 0, -3*i + k*i = -2*j + 10 for j.
-5
Let g(w) = 11 + 6*w - 3 - 8 - 20. Let q be g(4). Solve 0 = -2*h - q*t - 6, 7*h - 4*t - 13 = 2*h for h.
1
Let i = 519 + -519. Solve 4*a + 8 = -a - 3*v, -5*a + 5*v = i for a.
-1
Suppose -4 = 4*n - 32. Let b be (20/6)/((70/15)/n). Let w be -2 + 2 + 4 + 1. Solve 31 = -w*l + 4*j, l = -j + b - 4 for l.
-3
Let k(t) = t**3 - t. Let h be k(1). Solve 5*q + 2*y - 2 = h, 4*q + 2*y - 7*y - 28 = 0 for q.
2
Let r(f) = -f + 18. Let b be r(16). Solve 2*v - 5*q = 3, 7 = -0*v - b*v - 5*q for v.
-1
Let i be 28/(-126) + (-58)/(-18). Solve 3*d + 3*h - 4*h = -15, 10 = -2*d + i*h for d.
-5
Let z(j) = 2*j - 25. Let b be z(13). Let d be ((-1 + b)/(-5))/2. Solve -5*v - 2 = -c, d = 4*c - 2*v + 10 for c.
-3
Let f(q) = q**3 + 4*q**2 - q + 4. Let v be f(-4). Suppose -5*b + 54 = 4*l, b - 5*l + v - 42 = 0. Solve 6*s = -2*g + 2*s + b, g + 5 = 4*s for g.
3
Let w(f) = -f**3 - 11*f**2 - 14*f - 5. Let v be w(-10). Let b be (2*-1)/((-8)/20). Solve -3*t - 5*g - 5 = 0, 3*t + 0*g - b*g = v for t.
5
Let o = 29 + -55. Let l = o - -31. Solve -4*z - 4*b + 24 = -2*z, 20 = l*b for z.
4
Let c be 3*2*((-228)/24 + 10). Solve -4*k = 3*x + k - 22, c*x + 28 = 5*k for x.
-1
Let p(w) = w**3 - 7*w**2 + 17*w - 30. Let x be p(5). Solve -5*k = -x, -3 - 1 = 3*n + 2*k for n.
-2
Let b = 77 - 85. Let m(z) be the first derivative of -z**2/2 - 8*z - 3. Let w be m(b). Solve 5*n + 3*d + 17 = w, 3*n + d = -n - 15 for n.
-4
Let a(c) = 2*c + 25*c**3 - 1 + 33*c**3 + 0*c. Let d be a(1). Suppose 5*z - q = d, -3*z = -q - 0*q - 35. Solve -z = -4*y, 0*w - 2*y = -5*w - 1 for w.
1
Let x = 60 + -53. Solve 5*w + 3*o + x = 0, 3