/c. Solve 4*u = z*u - 2 for u.
2
Let v(q) = q**2 + 4*q + 4. Let w be v(-4). Suppose -a - a - 8 = 4*u, -w*u - 4 = 4*a. Solve l = -l + a for l.
1
Let u be (-8)/(-12)*(-6)/2. Let o(j) = -9*j - 3. Let z be o(u). Let a(l) = -l**2 - 6*l. Let g be a(-6). Solve g = 5*v - z - 5 for v.
4
Let l(x) = -x - 1 + 3 + 1. Let z be l(3). Suppose -3*w - 7 = q - w, z = -4*q + 2*w + 12. Solve q = 4*s - 7 for s.
2
Suppose -4*w + 15 = -w. Suppose 4*m = 14 - 2. Suppose f - 2*p - 26 = -3*f, -5*p = m*f. Solve -5*y = -f - w for y.
2
Let l = 20 + -8. Suppose -z = -n - 2*z + 5, -4*z + l = -4*n. Suppose -2*o = 3*o - 80. Solve 0 = 5*a - n + o for a.
-3
Let s be ((-99)/12)/((-76)/16 + 4). Suppose -4*b + 3 = 4*y - 1, -2*y - 18 = -3*b. Let i = 7 - b. Solve 2*v - s = -i for v.
4
Suppose -2*y + 4 = 5*p, -3*p - 11 = -4*y - 3. Solve y*s = s - 1 for s.
-1
Let f = -151 - -156. Solve -12 = f*a + 3 for a.
-3
Suppose 2*q = 2*l + 10, 5*l = -6*q + 2*q + 11. Let h be (q/3)/((-3)/(-9)). Suppose 4*y + 2 - 4 = -5*s, -y - 2 = 0. Solve -3*g - s = -h*g for g.
2
Let l be (-84)/8 - 9/(-6). Let z = -8 - l. Solve -2*j + z = -j for j.
1
Suppose 0 = 2*u + 2 - 4. Let z(x) = -2*x + 24. Let n be z(10). Let w be (1 + u)/(n/10). Solve w*p - 2 = 13 for p.
3
Let s be 66/(-5) - 2/(-10). Let g = 19 + s. Solve g*d - 2*d = 0 for d.
0
Suppose f = -2*f + 15. Suppose -15 + 0 = -f*h. Solve i = -h*i + 4 for i.
1
Let y be ((-21)/(-14))/(6/16). Let d = -8 - -4. Let u be 4*((-9)/d - 2). Solve -o - y = u for o.
-5
Suppose 0 + 3 = -b, 2*b = -3*n + 3. Let t be 120/28 - (-2)/(-7). Solve 11 = t*g + n for g.
2
Suppose -5*h - 8 + 3 = 0. Let d be 2/((-4)/(-2)) - h. Solve -2*k - 8 = -d for k.
-3
Suppose 0 = -4*y - 1 + 5. Solve -y = 2*z + 1 for z.
-1
Suppose 3*z - 2*p - 25 = 0, 2*p = 5*z + p - 44. Let w = -6 + z. Solve -5*t - 10 = -w*t for t.
-5
Let a(p) = -4*p + 2. Let v be a(-2). Suppose -3*r = 2*m - v, -2*r - 5*m + 7 = r. Suppose r*h - 6 = 2*x, 6 - 3 = -4*x + 5*h. Solve -x*i + 0 = -12 for i.
4
Suppose 5 - 3 = 4*w + 2*y, 3*y = 4*w + 3. Solve -4*d + 5*d - 2 = w for d.
2
Let d be 1/(-6) + (-8)/(-48). Let u = -18 - -26. Suppose 4*f - 5 = 3. Solve 0 = f*i - d*i + u for i.
-4
Let n = -1 - -4. Let g be (1/(-2)*0)/1. Let b(l) = -7*l - 159. Let h be b(-23). Solve g = -h*y - y - n for y.
-1
Let t be (-2)/(-5) - (-6)/10. Let n(z) = 3 + 2*z**2 - z**3 - 10*z**2 + t. Let x be n(-8). Solve -x = -5*j + 6 for j.
2
Let y be 1 + 11/6 - 2/(-12). Solve -2 = -y*g + 4 for g.
2
Suppose 0*u + 5*f = 5*u + 5, u = -4*f + 14. Solve 0 = 2*i + u*i - 20 for i.
5
Suppose a - 1 = 0, -f - 5*a - 27 = -5*f. Let x = 12 - f. Suppose -m = x*m - 60. Solve -4*c + m = -c for c.
4
Let b be (-2 - 1)/((-3)/(-2)). Let x = b + 5. Let g = -24 - -27. Solve x*c = g - 0 for c.
1
Suppose -7*z = -5*z. Let b be 0 + 3 + z/2. Solve 0 = -0*f + f + b for f.
-3
Suppose 0*o = -o + 4. Suppose f - o*u - 15 + 1 = 0, -5*f - 2*u = -26. Solve -f*c = -c for c.
0
Let y be 1 + (-1)/((-1)/2). Let w be 0/(-2 + 1 + y). Solve w*s - 2 = 2*s for s.
-1
Let n = 89 - 59. Suppose n = v - 6. Suppose 19 = 4*j - 1. Solve j*d - v = -11 for d.
5
Let a(l) = -l**2 - 3*l - 3. Let z be a(-2). Let d be z*(4/(-2))/2. Let b = 8 + -6. Solve b*k + 9 = d for k.
-4
Suppose 0*g - 5*g = 3*d - 39, 0 = 4*g - 4*d - 44. Solve 2*u + 1 = g for u.
4
Suppose 0 = 3*o - 2*w + 1, -2 = -4*o + 2*w. Solve b = -1 - o for b.
-4
Let n be (-3 - -3)/((-2)/(-1)). Suppose w - 4 - 1 = n. Solve -12 = -w*i + i for i.
3
Let h be (-20)/(-16) + 6/8. Suppose 4*b + 6 = t, -h*t + 0*b - 1 = 5*b. Solve t*m - 8 = -2 for m.
3
Let i be 6/(-4)*(-12)/9. Suppose -3*q + 9 = 0, -3*q - 1 + 7 = 3*s. Let k be (s + 13)/i + 0. Solve 2*p - 4*p = k for p.
-3
Suppose -4*o - 14 = 2*r, 2*r - 4*o - 19 = -r. Let y = 3 + r. Solve -y*c - 25 = c for c.
-5
Suppose 0 = -3*q - 3*h + 3, q - 5*h + 3 = 5*q. Suppose -35 = -0*g + q*g - 5*a, 18 = -3*g - 4*a. Let p(i) = -i. Let t be p(g). Solve -6*b + t = -b for b.
2
Let b(x) = -x**3 - 7*x**2 - 11*x - 5. Let n be b(-5). Solve 3*s + n*s + 15 = 0 for s.
-5
Let o be 4/14 + (-2)/7. Let n be o/(8/(-2 + -2)). Solve 3*j - j - 10 = n for j.
5
Let r(n) = -n + 8. Let c be r(5). Solve -c*m = -0*m for m.
0
Suppose -3*h + 33 - 21 = 0. Solve 0*p + h*p + 12 = 0 for p.
-3
Let w(s) = s**2 + 2*s + 2. Let b be w(-2). Suppose -1 + 31 = b*j. Suppose 3*f + 3*g = j, 4*f + g - 17 = -0*f. Solve -2*k - f = -k for k.
-4
Let y(x) = -x + 8. Let n be y(10). Let a be (-14)/n + 2 + 1. Solve 2*l - 7*l - a = 0 for l.
-2
Suppose 0 = -7*t + 4*t + 33. Solve -t - 9 = -4*h for h.
5
Let r(o) = -2*o**2 - 11*o - 4. Let k(v) = -4*v**2 - 21*v - 8. Let t(a) = -6*k(a) + 11*r(a). Let m be t(-3). Solve m = -3*w - 5 for w.
-4
Suppose 47 = -2*h - 3*n, 2*n - 86 = h + 3*h. Let z = 26 + h. Solve 0 = 5*f + 1 + z for f.
-1
Let p = -46 + 93. Suppose 3*f = -4*v + p, 4*f - 3*v - 48 = -v. Let r = f + -9. Solve r*t + 0*t = -20 for t.
-5
Let x be (-1)/(1/(-1))*1. Suppose 0 = s + 4*b + x + 5, 0 = -5*s - 5*b - 15. Let w = s - -8. Solve r = 3*r - w for r.
3
Let t(k) = 3*k + 8. Let r be t(-4). Suppose -5*h + h + 36 = 0. Let b = h + r. Solve b*o = -2 - 3 for o.
-1
Suppose -4*p + 29 = -7. Suppose p*a - 20 = 4*a. Solve -3*n + a = 1 for n.
1
Let v = -54 - -78. Suppose -5*i + v = 4. Let z(g) = 6*g - 3. Let a be z(2). Solve -p + i*p = a for p.
3
Suppose 3*t + 2*l = 4*l + 18, -3*t = -3*l - 18. Suppose -d - d = 0. Suppose d = 5*u - t*u. Solve u*c + 3*c = 0 for c.
0
Let a(o) = 308*o + 1. Let y be a(1). Suppose -3*m + y + 66 = 0. Let w = m + -80. Solve -5*f - w = -20 for f.
-5
Let i = 2 + 1. Suppose -2*k + 28 = 4*t, -4*k + i*t - 7 = -74. Solve -4 = -4*m + k for m.
5
Let d(z) = -12*z**3 + z**2. Let p be d(-1). Let s = p - 11. Solve 5*u = s*u for u.
0
Suppose 4*u = -13*u + 34. Solve -j = -2*j + u for j.
2
Suppose 0*d = -4*d - 12. Let n be (-7)/((-35)/d)*-5. Solve 1 = -n*m - 2 for m.
-1
Let u(j) = -j**3 - 17*j**2 + j + 22. Let t be u(-17). Solve 6 = t*m + 31 for m.
-5
Suppose -3*m - 2*m = -10. Suppose f = -m*f. Solve f = v - 2*v + 1 for v.
1
Suppose 13*s - 16*s = -6. Suppose 3*l - 2 = s*l. Solve 3*f - 10 = -l*f for f.
2
Let d be (24/72)/((-79)/(-39) - 2). Let g = 4 + -3. Let x be (-1)/(g/(-2))*1. Solve 3 - d = x*r for r.
-5
Suppose -t = -1 - 2. Suppose 4*r + 7*d - t = 2*d, 3*r + 12 = d. Let c be (-1)/r*3 - 0. Solve 2*u - 1 - c = 0 for u.
1
Let j be (-35)/(-15) + 3/(-9). Solve j = 5*m + 7 for m.
-1
Suppose 0 = 2*s + 2*s. Let j(q) = 3*q + 4. Let t be j(-3). Let z be (-3 + s - t) + 0. Solve -2*x - z = -x for x.
-2
Let v be (-2)/(6/(-21)) - (0 + -3). Solve v = -3*l - 2*l for l.
-2
Suppose -5*t = 4*h + 24, t - 2*t + 4 = 3*h. Let l be (-22)/t - (-3)/12. Solve 5*b - l*b = -2 for b.
-1
Suppose 0 = j - 6*j - 10. Let s be j/3 - (-11)/3. Suppose 0 = -n, -d + s*n - 25 = -6*d. Solve d*c = c for c.
0
Let a = 16 - 14. Solve -b + a = 3 for b.
-1
Let d(u) = -u**2 + 6*u + 3. Let z be d(5). Solve -3*j - 5 = -z*j for j.
1
Suppose 2*b - 11 - 19 = 0. Suppose 4*g - 30 - 10 = 0. Let y = b - g. Solve 13 = 2*t + y for t.
4
Let p(s) = -3*s + 1. Let d be p(2). Suppose -j - 14 = -5. Let f = d - j. Solve -2*u - f = -0 for u.
-2
Suppose -z - 48 = -13*z. Solve 3*o + o = z for o.
1
Let z(s) = s**2 + 20*s + 19. Let h be z(-19). Solve -4*d + 5 - 1 = h for d.
1
Suppose 0 = 4*n - v - 31, -3 = -2*v - 1. Suppose x - 7 = f, f = 3*f + n. Suppose -30 = t - 3*t + x*m, 2*m = 4*t - 44. Solve 0 = 6*b - 3*b + t for b.
-3
Suppose 5*y = -3*d + 35, 4*d - 4 + 0 = 4*y. Solve a = -a + y for a.
2
Let n = 11 - 11. Suppose -4*f + 2*j - 2 = 0, -5*f + j - 2*j + 1 = n. Solve -5 = -5*h - f for h.
1
Let j(h) = -h**3 - h**2 + h + 5. Let n be j(0). Solve n*v - 21 = -1 for v.
4
Let b be 48/(2 - -2)*(-1)/(-3). Solve -5*h + h = b for h.
-1
Let g be 2/(7/(-9) - -1). Let m = g - 4. Solve 0 = m*w - 2*w + 6 for w.
-2
Let u = -29 - -31. Solve 0 = u*t + 3*t - 15 for t.
3
Let m = 13 - 8. Suppose -5*h + 10 = y, -3*y + 40 = m*h - 0*h. Solve 5*q + 5 + y = 0 for q.
-4
Let b(o) = -o**2 + 5*o - 2. Let u be b(4). Suppose 0*k + u*k = 0. Let t(c) = -c**2 + c + 3. Let g be t(2). Solve -l = -k*l + g for l.
-1
Let m(l) = 2*l**2 + 14*l - 7. Let s be m(-8). Solve 2*c = -c + s for c.
3
Let g(x) = -x**3 + 8*x**2 - 6*x - 7. Let s be g(7). Solve 2*b = -s + 4 for b.
2
Suppose 5*t - 3*n - 2*n = 30, -4*t - 3*n - 4 = 0. Let r = 4 - t. Let g be (-1)/2*5*-2. Solve 0 = g*j - r*j - 9 for j.
3
Let h be (-1