= 0 for c.
-1
Let a = 33 - 28. Solve -5*s - 2 = -2*r + 3, 20 = -5*s + a*r for s.
1
Suppose 2*k - 25 = -3*k. Suppose 1 = k*j - 14. Solve 5*a - 13 + j = -l, 24 = 5*l - a for l.
5
Let v(l) = -l**2 - l + 4. Suppose 0*h = -4*h. Let q be v(h). Solve q*d + 8 = f, 4*f - 21 = 5*d - 0*d for f.
4
Suppose -2 = -2*l + 4. Let w = 8 - l. Suppose 10 = -5*z + 5*y, 0*z + 14 = 3*z + 2*y. Solve 0 = -w*f + 5*d + 5 - 0, -z*f + 4*d - 4 = 0 for f.
4
Suppose 1 + 9 = 5*c. Solve 3*b - 10 = x, 3 = -c*x - 3*b + 10 for x.
-1
Suppose 0 = 46*n - 43*n - 15. Solve n = k - 4*c, 0*k = k + 4*c + 3 for k.
1
Suppose -7*g + 10 = -3*g + p, -3*p = 2*g. Solve 3*b + 3*d = g, 4*b - 3*d = d + 12 for b.
2
Let t be 4/18 + 88/(-72). Let p be 19 + t*(1 + 1). Solve -p = l + 5*w, 0 = l + l - 3*w - 5 for l.
-2
Let x(m) = m + 9. Let g be x(-9). Let i(b) = -b + 7. Let v be i(6). Suppose 0*o - 2*o = -6. Solve -5*h + o*f = -v, g = 2*h + f + f - 10 for h.
2
Let c(k) = k**3 + 10*k**2 - 2*k - 18. Let p be c(-10). Solve -p*y - 4*d = 6, d + 0*d = -1 for y.
-1
Let a = 12 - 7. Solve y - 6 = a*i - 3*i, i - 2*y + 3 = 0 for i.
-3
Let q(v) = 5*v**3 - 2*v**2 - v + 2. Let w be q(1). Solve -2*u = 3*u + 5, 0 = -w*a - 3*u + 5 for a.
2
Let v be (234/195)/(4/10). Solve -v*z - 12 = 0, 4*w - 4 = z + 8 for w.
2
Let m be ((-2)/3)/(4/(-18)). Suppose 3*k - 17 = 2*h - 40, 0 = -m*h - 3*k - 3. Let d(u) = u + 13. Let q be d(-10). Solve q*f + f + 12 = 5*t, f + 3 = -h*t for f.
-3
Let p = 3 + 0. Suppose -3*q - 17 = -l - p*l, 3*q = 3. Solve 5*c - 6*c - 7 = -3*t, -t + l = -c for t.
1
Let r(p) = p**2 - 2. Let g be r(2). Solve -g*b = -4*a - 16, -b + 0*b + 5*a = -20 for b.
0
Let u be (100/80)/((2/2)/4). Solve -3*f = 4*t - 0*t - 20, -4*t = -u*f - 20 for t.
5
Let f = 7 + -4. Let j = -3 + 8. Suppose 0 = -f*l + j*l + n - 1, 2*l - 13 = 3*n. Solve -r + 1 = -l*r + 5*m, -19 = -4*r - 3*m for r.
4
Let w be 15/2*(192/40)/4. Solve 3*n + w = k + 2*k, -2*k - 4*n = 0 for k.
2
Let h = 0 - -2. Solve -2*c = h*j - 6, -2 = 2*c - 3*j - 8 for c.
3
Let a be (-1)/(3/9 - 0). Let j be (-2)/a - (-12)/9. Solve -o + 20 = k + 4*k, -j*o + 2*k = 20 for o.
-5
Let b(u) = u**3 - 7*u**2 - 6*u - 4. Let o be b(8). Suppose 2*i = 5*i - o. Let a be (i + 0)*(-2)/(-4). Solve -a*p = 4*h - 10, 5*p - 12 = 3*p - 5*h for p.
1
Let w(t) = t + 8. Suppose 0 = -o - 5*g + 2, 4*o = -g + 5*g - 40. Let p be w(o). Solve 12 = -2*h + 5*i - p*i, h - 9 = -5*i for h.
-1
Suppose 0 = -2*w + 5*f, 4*w + 12 = 2*f + 2*f. Let p = 9 + -7. Let h be (-5)/(w/p) - -3. Solve 4*z = -2*v + 5 + h, -2*v + z = 5 for v.
-1
Suppose 0 = -4*a - a + 125. Let p = -54 + a. Let b = p + 48. Solve -4*g = -d - 11, 2*d - 7*d - b = -2*g for g.
2
Let k(r) = r**3 + 15*r**2 - 13*r + 48. Let z be k(-16). Solve -2*b + 2*c - 14 = z, -2*c + 8 + 10 = -3*b for b.
-4
Suppose k - 15 = 4*i, 5*i + 0*i = 5*k - 30. Let b = 3 - 1. Suppose -b*o = -10*l + 5*l, -4*l = 0. Solve o + 6 = 3*j + k*x, 3*x - 12 = 0 for j.
-2
Let c be (-3 - -3) + 8*1. Let v be 18/12*c/3. Let u be (-2)/4 + (-22)/(-4). Solve -2*z + v*z + 5*y = 0, 5*y = -u*z + 15 for z.
5
Suppose n + p + 4 = 6, -5*n + 4*p + 1 = 0. Let m be (n + -1)/(8 + -7). Solve -5*a + 2*w + 14 = m, 4*w = -a - 2*a + 24 for a.
4
Let q(u) = -u**2 + 1 - 2 + 0*u + 3*u + 3*u. Let z be q(5). Suppose -3*r - 2*r + 19 = x, -3*r - 3*x = -9. Solve -r*t + 18 = -z*g - 2*t, 5*g + 12 = -t for g.
-3
Let f(o) = 2*o**2 - 15*o + 6. Let x be f(6). Let d be (16/x)/((-2)/12). Solve d = 2*q, 8*q = 5*v + 3*q + 5 for v.
3
Let q = -10 - -14. Suppose 0*k + q = 2*k. Solve -r + 2 = -k*t, -4*r - 2 + 10 = 4*t for r.
2
Suppose 25*x + 28 = 32*x. Solve 3*k = -x*d + 2*k - 7, -k = 2*d + 5 for d.
-1
Let g be (-19)/((3 - 2)*(-3 - -2)). Solve -5*v = 3*b - v + g, 3*v = -2*b - 13 for b.
-5
Let y = 23 - 21. Solve -2*l = y*t - t, -3*l + 3*t = -18 for l.
2
Suppose -g - 20 = -3*g + 4*j, 0 = 4*g + 3*j - 62. Let t = -12 + g. Let d = 10 + -6. Solve 0 = d*r + w + 5, 0*r - 10 = r + t*w for r.
0
Suppose 14 = 4*x + 4*u - 2, -2*x + 5*u + 8 = 0. Solve -h - d - 2 = 0, 2*h = -0*h + x*d + 8 for h.
0
Let a(n) = n**3 + 11*n**2 - n - 9. Let d be a(-11). Solve -m = -0*m + 2*q + d, -4*q - 8 = 4*m for m.
-2
Suppose 20 - 8 = 3*r. Let v be ((-2)/(-3))/((-2)/3). Let q = v - -1. Solve q = -r*d + 5*b + 37, -d - 5*b = d + 19 for d.
3
Let z be ((-2)/(-3))/(2/12). Suppose 2*l - 5*v - 35 = 0, -5*l - 3*v + z + 6 = 0. Solve 0 = l*y + 5, 2*r - 4*y = 16 - 2 for r.
5
Let t be (-2)/((4/(-10))/1). Solve 0 = -m - 3*v + 17 - t, 0 = 2*m - 4*v + 6 for m.
3
Let o(j) = -6*j. Let h be o(-1). Suppose -m = -4*m - h, i - 2 = m. Solve -v - 2*d = -1, i*v + 21 = -3*v + 2*d for v.
-5
Let l(r) = -r**3 + 5*r**2 + 5*r + 12. Let c be l(6). Suppose p = -0*p - 4, -3*p - c = 2*x. Solve -x*k + k = -4*h + 6, 5*h = 2*k + 7 for h.
1
Let s = -10 + 17. Suppose 3*v + 2*z - 18 = -v, -2*v = 3*z - s. Let r be 4/4 - (-1 + 2). Solve 5*g + v*t = r, -g - t = 2*t - 10 for g.
-5
Suppose -12 = -8*i + 2*i. Suppose 4*x = -z + 33 + 18, -x + 4*z = 0. Suppose 0 = -4*n - x + 32. Solve n*t = 2*u + 3, 4*t = i*u + t + 5 for u.
-4
Let g = 18 - 14. Solve 4*k + g = p, 0 = -4*k + 7*k - 3*p + 12 for k.
0
Suppose 3*n - 64 - 26 = 2*l, 2*n - l - 60 = 0. Suppose 3*m = 5*m - 20. Let p be 8 + -4 - (1 + -2). Solve 4*h + m = 3*t + n, 2*t - p = -h for h.
5
Let f = 16 - 9. Suppose 6*c = f*c. Solve 2*p - 2*m = -4*m, c = 4*p + 2*m for p.
0
Suppose 3*t + 11 = -r + 2, 0 = -5*t - 20. Solve 2*i + 10 = r*m, -i + 1 = -0*i for m.
4
Suppose -5*h + 2 = -3*h + 4*n, h + 3*n - 1 = 0. Solve -5*y + 3*i = 0, -2*y + 3*i - 10 = -h for y.
3
Let m(p) = -2*p**3 - 2*p**2 + 2*p + 1. Let f be m(-2). Suppose j - 6 = -2*c, j + 4*j = 3*c + 4. Solve -f*r = -l - 5, j*l + 3*r + 10 = r for l.
-5
Suppose 9 = i - 4*i. Let y be 6/2 + 6 - i. Solve -3*v = 2*j + y, -5*j - 17 = -0*v + v for v.
-2
Let b be (9 + -1 - 2)/2. Let d be (-3)/(-6)*0 + b. Solve 4*f + 3*s - 4 = d*f, -2*s + 5 = 3*f for f.
1
Suppose 1 = -4*q + 5. Let u(z) = z**3 + 3*z**2 - 3*z. Let k be u(-3). Let h be (k + -9)/(q/(-1)). Solve h = 3*x, x + 19 + 6 = -5*d for d.
-5
Suppose 3 = -j - 4*h - 5, -3*j = 5*h + 3. Solve 4*y + 0*y + 35 = 3*a, j*a + 2*y - 10 = 0 for a.
5
Let x = -7 - -10. Solve w + x = -k, 10 + 5 = -k - 5*w for k.
0
Suppose 0 = -0*u - 5*u. Let b be 2/((-1)/5*-2). Solve -4*x - b*m = -0*x, u = 2*x - 5*m - 30 for x.
5
Suppose 0*b - 9*b = -27. Suppose -8*m + 3*m + 4*s + 2 = 0, -5*s = -m - 8. Solve 4*y - 16 = 2*f, -4*y - b*f + 10 = -m*f for y.
3
Let c(r) = 2*r**2 + 13*r + 9. Let i be c(-6). Solve i*k - 10 = 4*j, -5*j - 22 = 3*k - 2*k for k.
-2
Let g(j) be the first derivative of -j**4/4 + 7*j**3/3 + 7*j**2/2 + 11*j + 7. Let s = 9 - 1. Let k be g(s). Solve 0 = k*r + 3*q, 0*r - 5*q = -4*r + 9 for r.
1
Let y = -5 + 5. Solve 2*n + 21 = 5*m, y = -2*n + 2*m + 1 - 7 for n.
2
Suppose 0 = 3*r + 2*r - 15. Suppose -25 = -4*j - 5*t, 0*j + 3*t - 15 = r*j. Solve j = -3*y - 5*p + 37, 2*y - 4*p = -2*p - 2 for y.
4
Let v(t) = -t**3 - 5*t**2 - 6*t - 5. Let z be v(-4). Let k = -19 - -24. Suppose -q + 10 = q. Solve -2*o + 4*o + q*r = 15, 0 = k*o - z*r + 9 for o.
0
Suppose -4*q = 8, -c + 4*q = -66 + 7. Suppose n + 2*n = c. Suppose -3*y + n = -22. Solve 0*s - 2*j - y = s, 3*s + 24 = -3*j for s.
-3
Suppose i - 4*f = 11, -3 - 6 = -i + 3*f. Let j = 8 - i. Let l be ((-3400)/16)/(-17) - 1/(-2). Solve l = -2*b + 3*o + 2*o, -o = j*b + 19 for b.
-4
Suppose 5*q + 1 = u - 7, -q - 1 = 0. Suppose 0 = -6*x + u*x + 66. Solve 6*g - 2*g = -5*s - x, 4*s - 1 = 3*g for g.
-3
Suppose 0 = -2*q + 3*s + 1, -5*q - s = -40 - 5. Solve -j - 3*j = 2*c + 4, -q = -2*c for j.
-3
Suppose -4*f + 136 = -4*d, -f + 31 = -2*d - 2*d. Solve 34 = -5*t + 9, 3*z = 4*t + f for z.
5
Let d be (6/(-10))/(3/(-45)). Let c(q) = -q**2 + 9*q + 2. Let b be c(d). Solve -3*s - 7 = -b*f, s - f + 3 = -0*f for s.
-1
Let q(v) = v**3 + 5*v**2 - 5*v - 2. Let i be q(-6). Let z be (-44)/(-10) - i/(-20). Let g = z + 4. Solve 0 = -2*u - g, c + u + 8 = -c for c.
-2
Let i = 49 - 46. Solve -10 + 3 = i*a - 5*b, 0 = 4*a - 2*b + 14 for a.
-4
Suppose 1 - 3 = -p. Solve -m + 3 = k, p*k - 2*m + 9 = 3 for k.
0
Suppose 0 = -u + 6 + 11. Let q = u + -12. Suppose 3*p = -3*p + 30. Solve 2*w - 4*m = -p*m + 7, -w + q = m for w.
2
Let y(g) = -15*g**3 - 2*g**2 - g. Let j be y(-1). Let t = j - 3. Suppose -s + 0*p - 3*p + 3 = 0, 0 = 3*s + 2*p - 9. Solve c = s*r + 16, c + 5 = -5*r - t for c.
4
Let m = -26 - -14