 -4*i for c.
1
Let c(y) = -y**2 + 15*y + 9. Let z be c(13). Suppose -28*q - 14 = -z*q. Solve -3*a + 5 = -3*b - 4, -5*a + 29 = q*b for b.
2
Suppose -6*y = -4*y + 6. Let o be y + 7/(-2)*-6 + 4. Solve 3*b - 5*f + o = 6*b, 12 = 3*b + 3*f for b.
-1
Let w be -1 + 4 - (4 + -1). Let y = 2 - w. Solve y*n - 3*m + 6*m = -17, -m = -5*n for n.
-1
Suppose 0 = -3*o + 7 - 7. Suppose 3*y = -5*w + 23, -y + o + 1 = 0. Solve 5*g - 10 = 3*f, -2*g + 27 + 3 = w*f for f.
5
Let c(p) = -p - 8. Let l(t) = -t**2 + 5*t + 6. Let d be l(7). Let u be c(d). Suppose 20*g = -1 + 1. Solve g*b - b + 2*h - 4 = 0, 4*b - 3*h + 1 = u for b.
2
Let u(r) = r**3 - 14*r**2 + 11*r + 31. Let a be u(13). Solve 4*l - a*b + 17 + 4 = 0, -3*l - 9 = 3*b for l.
-4
Suppose 7 = 5*v - 8. Suppose -v*l + l + 4 = 0. Suppose -4*i = -3*k - 8 - 1, 3*i = -5*k + 14. Solve -4*t + l*b + 8 = 0, -i*t + 2 = -t - 2*b for t.
3
Let z = -693 - -696. Solve -z*k = -3*t - 2*k + 7, -8 = 2*k for t.
1
Let w(x) = 6*x + 69. Let s be w(-11). Suppose -u - 4 = u, 2*a - 12 = -2*u. Solve a*o - s*o - 1 = t, 0 = 5*t - 3*o - 17 for t.
4
Suppose 2*s = -4*f - 6, -4*s = -5*f + 5 - 32. Let k = -26 + 29. Suppose 5*d - k*d - 42 = 0. Solve 3*l - 6 = s*j, 3 = j - 5*l + d for j.
2
Suppose -y = -w - 3*w + 6, -w - 5*y + 12 = 0. Solve -2*s - 2 = -k, 3*s + 13 = w*k + 2*k for s.
1
Suppose -9 + 20 = 3*o - x, 0 = -4*x + 16. Solve -4*c + 3*c = -3*f - 15, -3*c + 25 = -o*f for c.
0
Suppose -1 = -d + 1. Let i(f) = 20*f**2 - f**3 - 1 + f**2 + f + 5. Let q be i(21). Solve q = 5*l, 5*x + l = d + 13 for x.
2
Let q(y) = y**3 - 4*y**2 + 5*y - 4. Let t be q(3). Let c(p) = 14*p - 224. Let a be c(16). Solve -2*n = 2*o - a*n - 4, -t*o = -n - 13 for o.
5
Let c = 229 - 227. Solve 0 = -3*w + 5*h + 10, 2*h + 9 = c*w + h for w.
5
Let n(u) be the first derivative of -4*u**2 + 28*u - 5. Let s be n(3). Solve s*o = -3*j - 21 + 6, j - 11 = 4*o for j.
-1
Let x(o) = -o**2 + 12*o + 3. Let k be x(12). Suppose -k*w + 7 = 4. Solve -5*s - f + 3*f = -w, 4 = 2*f for s.
1
Suppose 0 = -4*h + 4*q + 28, 3*h - 5 = h - q. Solve 0 = -3*m - 2*v + 5, 2*v - 5 = m - h for m.
1
Let c be 4 + 6/(-1*3). Suppose -2*p - c*p = -16. Suppose 48 = -38*l + 54*l. Solve -4*g - p = 4*u, -u + l = -0*g - 3*g for g.
-1
Let z(x) = -x**2 - 17*x + 4. Let l(u) = -u**3 - 3*u**2 + 2*u - 1. Let y be l(2). Let f be z(y). Solve -5*b = 10, -f*b + 4 = 2*d + 10 for d.
1
Let i(a) = a**2 - 9*a + 23. Let o be i(6). Solve 5*x - 3 = 4*w + 2, x - o*w - 22 = 0 for x.
-3
Let q = 23 - 9. Suppose 4*l - 4*f - 16 = 0, 3*l = 2*l + 5*f. Suppose 9*i + n = 4*i + 18, 0 = l*i - 5*n. Solve -2*k + 4*v + 4 = -q, -i*v = 3*k + 9 for k.
1
Let w be 2*56/16 - 4/2. Solve -5*s = g, -s - w*g + 8 = -16 for s.
-1
Let c(i) = -11*i + 1. Let g be c(-2). Let w = g + -11. Let b be (16/6)/(w/126). Solve -5*o = -4*m - b, -1 = m + o - 3 for m.
-2
Let p(u) = -68 + 3*u - 4*u**2 - 2*u**3 + 65 - u**2 + 0*u**3. Let g be p(-4). Let m = -21 + g. Solve b + 0*i - 2*i - m = 0, 5*b + 15 = -5*i for b.
2
Let r(w) = -w**2 + 13*w - 16. Let j be r(11). Suppose f - j = -f. Solve -f*b - 2*a = -13, -5*a + 8 + 2 = 0 for b.
3
Let i = 3 - 17. Let f = i + 17. Suppose 0 = 2*g, 5*g = -t + 3 - 2. Solve -2*j = -z - f*j + t, 3 = -z - 2*j for z.
5
Let q be 3/((1/21)/(2/6)). Solve 2*z - 5*d - q = 0, d + 6 = 3 for z.
3
Let v be ((-22)/(-8))/11*4. Solve 2*w + i = -0*i - v, 0 = 4*w + i + 3 for w.
-1
Let f(u) = -2*u - 3 + 3 + 10 + 3. Let k be f(6). Solve -4*o - 5*r = -r + 12, o - k = r for o.
-1
Let d be (10/(-4))/(8/(-16)). Let i be (-2)/5 + (-68)/(-20). Let x = 5 - i. Solve a + 11 = -d*y, x*a + y = -3*y - 10 for a.
-1
Let u be ((-6)/(-5))/((-10)/25). Let h(a) = -2*a**2 - 8*a - 3. Let v be h(u). Suppose v*z + 0*z = 3. Solve -2*c + 35 = 3*c + 5*d, 0 = c - 3*d + z for c.
5
Suppose 0 = -x, 24*f - 19*f = 5*x + 30. Solve -6*z - 3*b + f = -5*z, b - 2 = 2*z for z.
0
Let x = 666 + -663. Solve 4*a + 8 = -x*m, 2*a + 2*m = 5*m - 4 for a.
-2
Suppose 0 = -q + 11*q. Suppose 5*l = 3*u + 1, 0 = -5*u - 2*l - 3*l + 25. Solve q*v + 2 = v + n, -7 = -u*v - 2*n for v.
3
Let q = -2 + 38. Let a be (-56)/(-6) + (-356)/267. Solve -5*z + 4*o = q, 0 = -4*z - 5*o + 3*o - a for z.
-4
Let v(p) = 32*p**3 + 3*p**2 + 4*p + 2. Let w be v(-1). Let m = -27 - w. Solve -18 = b + b + 5*y, 19 = 3*b - m*y for b.
1
Let k(q) = -q**2 - 7*q - 9. Let v be k(-5). Solve -t = -5*p - 11, 0 = 2*t - 2*p - v + 3 for t.
-4
Let a(n) = -n**3 + n**2 + n. Let g(m) = 3*m**3 + 14*m**2 - 2*m - 38. Let z(c) = -4*a(c) - g(c). Let q be z(18). Solve -5*o = -4*f - 6 - q, 0 = -f - 2 for o.
0
Let d(w) = -1. Let k(i) = i - 5. Let c(n) = 2*d(n) - k(n). Let l be c(1). Solve -5*z - 22 - 1 = -l*j, -16 = -j + 4*z for j.
4
Let j(v) = -10*v**3 + v**2 + 4*v - 1. Let p be j(-2). Let b = -70 + p. Solve b*h = 10, -6 = -4*s + h + 2*h for s.
3
Suppose 3*a + 23 = 5*z - 16, 2*z = -2*a + 22. Solve -5*v + i - 7 = 0, -4*i - z = -i for v.
-2
Let d be (-2 + 12)*(-2)/(-4). Let p be 4/(-14) + 240/(-140). Let x be p/(2 - 20/8). Solve 0 = i + 5*h - 10, x*h = d*i + 6 + 2 for i.
0
Suppose -119*l + 111*l = -16. Solve 0*b + 2 = 4*a - l*b, 5*b - 13 = a for a.
2
Let x = 377 + -362. Solve -2*z = 3*p + 17, -2*p - p = x for z.
-1
Let w = 1169 + -1164. Solve w*o = 0, -8 = -4*q - 3*o - 0*o for q.
2
Let s(i) = -3*i**2 - 5*i**2 + 2 + i + 7*i**2. Suppose 0*g - 6 = -3*g. Let l be s(g). Solve l*b = n - 5*b - 21, -3*b - 11 = -n for n.
-4
Suppose 22*d - 66*d = -528. Solve o - x - x = 5, -3*x = d for o.
-3
Let v(a) = a**2 - 27*a + 180. Let t be v(12). Solve p + 2*b = -p + 16, 3*p + 2*b - 21 = t for p.
5
Let f(c) = -3*c + 2. Let s be f(-1). Suppose -l = m + s, -l - 10 = m + m. Solve -q = 2*o - 6, -5*q + q + 3*o + 2 = l for q.
2
Let d(a) = -a**3 - 3*a**2 + 10. Let t be d(-3). Suppose k - 33 = -t*k. Solve -k*v - 5 = 2*o - 4*v, -4*o + 3*v = 7 for o.
-4
Suppose 4*w - 24 = -3*m, -m + 7 = w - 0. Let h(p) = -p - 1. Let g be h(-3). Suppose -w*s - g*s = -45. Solve y - 6 = -a + 2*y, 4*a - s = y for a.
1
Suppose 668 = -12*a + 32. Let f = 56 + a. Solve -2*k - b - 11 = -2*b, 13 = -f*k - 2*b for k.
-5
Let i = -78 + 82. Suppose i*t = 17 - 1. Solve t*o - 4*k - k = 9, 4*o - 2 = -2*k for o.
1
Let f be 34*(-2 - (-5)/2). Suppose 23*h - 20*h = 9. Suppose h*m + 15 = 24. Solve 5 = -2*u - m*c, -4*u + 5*c - 4 = f for u.
-4
Suppose 7*j - 1303 = -1268. Suppose -2*a + 3*c - 9 = 0, 5*a + 3*c - 10 = 4*c. Suppose -20 = -a*p + 25. Solve 4 = -2*t, -7*f + j*t = -2*f + p for f.
-5
Let n be 0 + 1 - 1*6. Suppose 0 = 3*s + 2*c - 52, -120*c = -s - 119*c + 24. Let a be (-12)/s + (-13)/n. Solve -3*w - 1 = -p - a*w, 0 = p - 5*w - 9 for p.
-1
Let b(f) = 5*f**2 + 16*f + 37. Let s(n) = -2*n**2 - 5*n - 12. Let c(i) = -3*b(i) - 8*s(i). Let k be c(10). Solve 0 = -2*p + 8, -k*d - 12 = -d + p for d.
-4
Let o be (5 - 3)*(3 - 99/6). Let k be (-5)/10*(o + -1 + 2). Suppose -3*s + 10 = -s. Solve 0 = -s*x + 5, -3*x - k = 3*y - x for y.
-5
Let o(u) = -2*u**3 - 162*u**2 - 5*u - 403. Let p be o(-81). Solve 5 + 5 = -m - 5*j, m + 3 = p*j for m.
-5
Let t(z) = 3*z - 30. Let k be t(10). Let r be (2 - (0 - k)) + 0. Solve 0 = 4*m + f + 14, -m - r = 2*m + 5*f for m.
-4
Let t = 167 + -97. Let o = t - 68. Solve -o*a = f + a + 7, -11 = 4*f - 5*a for f.
-4
Suppose 0 = 4*b - 3*b. Suppose b = -10*h + 5*h + 10. Suppose l = t + 3 + 1, -h*l + 3 = 3*t. Solve -2 + 15 = -l*r + 4*c, c - 7 = 2*r for r.
-3
Suppose 0*o + 19 = 2*r - 3*o, 5*r + 3*o + 5 = 0. Solve 6 = -g - 5*k + r, -5*k = 5 for g.
1
Suppose -18*o = -1 + 1. Let q be (-21)/(-6) - (-1)/2. Let g = q + o. Solve 5*j = -t + 14, 2*j - 3 = t + g for j.
3
Let k be (12/10*-1)/(27/90). Let b be (k/4)/(3 - 93/30). Solve -b = -2*h + 5*s, -h - 1 = -0*h - s for h.
-5
Suppose -s - 10 = -12. Suppose s*p + 3 = -3*a, 2*p - 3*a = -a + 12. Solve -4*f + 4*z - 4 = 0, -p*f + 5 = -0*f + z for f.
1
Let c = -9 + 11. Let k = 12 - -4. Let z = c + k. Solve 0*p - z = -3*l + 2*p, 2 = -l - 2*p for l.
4
Suppose 43*b = 45*b + 222. Let a = -107 - b. Solve a*l - 3*k = 29, -5*l + k = -0*l - 28 for l.
5
Let r = 28 + -22. Suppose 16 - r = 2*j. Solve 1 = -2*v + j*o - 11, 2*v + 2*o - 16 = 0 for v.
4
Let b = 113 + -73. Suppose -y = -6*y - b. Let t = 8 + y. Solve p + 0 + 1 = t, l - 2 = -p for l.
3
Suppose 3*k + 88*c - 27 = 85*c, k - 2*c + 6 = 0. Solve -v = 4*v - k*t + 5, 4*t = 20 for v.
3
Let b = 136 + -92. Let h = 46 - b. Solve -4*x = -20, h*a - 2 = -x - 1 f