 for c.
3
Let j(i) = -i**2 - 10*i + 13. Let h(c) = c**2 + 8*c - 11. Let x be h(-8). Let f be j(x). Solve 0 = 4*m + k, -2*m + 2 = f*k - k for m.
-1
Let s(p) = p**3 + 17*p**2 + 13*p + 18. Let q be s(-16). Let o be ((-4)/(-22))/(6/q). Solve 4*h + 2 = -5*x, -o*x + h = -4*x - 2 for x.
-2
Suppose -4 = -2*y, -5*l + 5*y + 208 - 23 = 0. Let c = l + -23. Let i = 38 - c. Solve 4*o - 3*x = i, 7*o - 12 = 2*o - 4*x for o.
4
Let h = 97 + -234. Let d = -132 - h. Solve -20 = d*u + b, 5*u + 13 + 7 = -3*b for u.
-4
Let h = 115 - 110. Suppose -4*r = -4 - 4. Solve -h*l + 4*s = 0, 4*l + 3 = r*l + s for l.
-4
Let y(x) = -23*x + 1. Let v(o) = -8*o. Let k(u) = 8*v(u) - 3*y(u). Let q be k(-6). Let z = q - -38. Solve 4*a = 2*r + 7*a, -z*r + 4*a = 0 for r.
0
Let n be (-9)/(-3)*(8/(-6))/(-2). Solve -20 = -2*f - 2*v, f - n*v - 15 = -4*f for f.
5
Suppose -3*w + 186 - 45 = 0. Let o = -43 + w. Let j(l) = 2*l - 1. Let s be j(2). Solve -1 = 2*u - o*n - s, 0 = -n + 1 for u.
3
Let r(t) = -2*t - 12. Let s(f) = -f**3 - 7*f**2 - 7*f - 13. Let h be s(-6). Let q be r(h). Solve -o + 0*g - 3 = 3*g, 2*g = -q*o - 6 for o.
-3
Let u be (-2)/(-4)*(-1180)/(-118). Let y = -7 + 9. Solve u*w - v + 6*v = 10, v = -y*w for w.
-2
Let z = 27 + -22. Suppose 5 = z*q - 10. Solve 7*y = 2*y + 4*v + 5, -q*v = -y - 10 for y.
5
Suppose 0 = -2*u + 408 - 434. Suppose -2*j - 3*n + 24 = -j, 2*j - n = 27. Let d = u + j. Solve l = -5*v, d*l = 2*v + v for l.
0
Let r(g) = -g**2 - 4*g + 3. Let u be -1 + 11 + 2*-1. Let l = u - 12. Let j be r(l). Solve -s + a + 0*a - j = 0, 3*s + 2*a = -4 for s.
-2
Suppose 3*g = 8*g - 10. Suppose 3*w + 30 + 18 = 0. Let j be w/(-7) - (-26)/(-91). Solve -r - 3 = g*q, j*r - 10 = 4*q - 0*q for r.
1
Suppose 4*q - 2*q = 6. Suppose 14 = 3*h + 8. Suppose 0 = 4*n - n + h*n. Solve -c - 2*c = -q, n = -l - 5*c + 7 for l.
2
Let j be (6/(-2) - -6)/1. Solve c + 7 = 2*v, 2*c + 25 = 5*v - j*c for v.
2
Suppose 51*w = -179 + 434. Solve -3*d = -c, 0 = -3*c - w*d - 0*d for c.
0
Suppose 5*b + d - 2 = -88, 3*b + 66 = 3*d. Let o be 1*(-12)/(-30) - b/5. Solve 3*u + 3*s - 4*s - 11 = 0, 36 = o*u + 4*s for u.
5
Let s be 1*3 - (18 + -18). Suppose 0 = c + s, -5*z + 2 = -z + 2*c. Solve d = z*g - 7 - 3, 0 = -3*d - g - 9 for d.
-4
Let v be (-51 - -127)*(0 - 6/8). Let u = -46 - v. Solve 3*h + u = s, h = -5*s - 2*h + 1 for s.
2
Let r be 6/(4 + -1*2). Let x be ((-10)/105*3)/(6/(-63)). Solve 3*n + 5*m - r*m = 13, x*m = n + 14 for n.
1
Suppose -g - 45 = -147. Let s be ((-5)/((-10)/g))/1. Suppose 2*p = s + 19. Solve p = -5*w + 2*l, -5*w + l + 4 = 34 for w.
-5
Suppose -5*g = -5*l - 20, 4*g + 2*l - 5 = -1. Suppose g*a + 5*y = 19, 3*a - 25 = -2*y - 2*y. Solve 4 = v, -5*b - 3*v + 0*v = -a for b.
-1
Suppose 4 = -416*m + 420*m + o, -5*m + 14 = -o. Solve 4*h - 2 = -2*i - i, m = i for h.
-1
Suppose 3*b = -137 + 146. Solve 2*m + 13 = -5*a + b*m, 2*a = 5*m + 4 for a.
-3
Let q be (-4)/22 - (-506)/121. Solve 4 = -q*x + 4*v, -4*v + 2*v = -x + 3 for x.
-5
Let m(w) = w**2. Let o be m(-2). Suppose -o*y + 9 = -27. Solve 4*p = 20, 5*l - p - 15 = y*l for l.
-5
Let x be 206/12 - 7/42. Suppose 25 = 2*i + x. Solve 5*j - 6 = i*h + 4, -2*j = -4*h - 4 for h.
0
Let l = 62 + -52. Suppose 3*f - 4*f + 11 = 0. Let u = f + -8. Solve -21 = 5*k + 5*m + 4, -2*m = -u*k - l for k.
-4
Let r be -2*(-1 + -1 + 3)*-1. Let f(p) = 4*p**3 - 2*p**2 + 2*p - 1. Let k be f(1). Suppose -r*g + k = -3. Solve 2*t - 4*j + 30 = -3*t, 11 = 2*t + g*j for t.
-2
Suppose -3*m = -91 - 29. Let k be ((-1)/2)/((-5)/m). Let n = 8 - k. Solve 11 = n*o + 3*s, 0*o + 4*s = o + 2 for o.
2
Let w be (-4 + 2)*48/(-32)*1. Solve 11 = -4*h - 3*x, -5*h = w*x + 5 + 11 for h.
-5
Suppose 0 = 4*w + 4*x - 20, -59*w - x - 7 = -60*w. Solve 3*t = -4*i + w + 1, 5*i - 3*t = 29 for i.
4
Let b(r) = -r**3 + 2*r**2 + 8*r - 3. Let z = 120 - 117. Let g be b(z). Let x = -1 - -10. Solve -3*m + g = -3*i, -4*i = -x*i for m.
4
Let b = -3 + 3. Let u = -133 + 137. Suppose -2*o + 18 = -5*f - 8, -u*o = f - 8. Solve 3*g - 17 = 5*h, h + o*g + 4 + 3 = b for h.
-4
Let h = -505 + 521. Solve -h = -5*w - 4*q, -w = -2*q + 1 + 7 for w.
0
Let n = 4 + -2. Suppose 5*w = 3*f - 5, 5*w - f - 25 = -4*f. Suppose w*q - n = q. Solve q*v + 15 = -5*m, 0 = 3*m + 3*v - 5 + 23 for m.
-1
Suppose -4 = -133*o + 132*o. Solve -4*a + f + 21 = -o*f, 29 = -4*a - 5*f for a.
-1
Let q(l) = 3*l**2 - 2*l**2 + 2*l - 2 + l + 3*l**3. Let a be q(2). Let n = -10 + a. Solve -4*b - t = -n, 6*b - 4*t = 4*b + 2 for b.
5
Suppose -100 = -36*h - 28. Solve 0 = -2*d + 5*b - 6, -h*d + 9*b - 13*b - 6 = 0 for d.
-3
Let v = -20 + 36. Let w(f) = -f**3 - 22*f**2 + 24*f - 4. Let u be w(-23). Let p = 29 + u. Solve -4*x - 16 = 2*t, t + v = -p*x - 2*t for x.
-2
Suppose r - 1 = -u + 5, -3 = -u. Solve -47 = -5*k - 27, -r*d = 4*k - 22 for d.
2
Let o = -20 + 20. Let a = o + 3. Suppose -3*q + a*g = 3, 4 + 3 = -2*q + 3*g. Solve 5*f = -20, -q*f + 9 - 50 = 5*i for i.
-5
Let g(m) = m**2 - 11. Let q be g(4). Solve 3*a - q*t - 25 = 0, 4*t = -4*a + 2*t + 16 for a.
5
Let v(z) = -z - 5. Let x be v(-9). Let c be (-3)/(-6)*2*5. Suppose -2*d + 14 = t + 3*t, -3*d = 5*t - 16. Solve x*p + 0 = o - 4, -t = 5*p - c*o for p.
-1
Let u be (-1)/(4/(-21))*228/171. Solve -3*c + 9 = 0, u*c = 4*n + 2*c + 27 for n.
-3
Suppose -3*l + 4 = -5. Suppose -l*r - 6 = -48. Let h = r - 13. Solve 2*z + 5*v - 17 = 0, 0 = -v - h + 6 for z.
-4
Let n be (-2)/4*3*(-4)/3. Solve -3*s - 19 = n*s + 3*j, -4*j = -5*s - 33 for s.
-5
Suppose 5*k + 2*l = 3*l + 28, 5*k + 3*l = 16. Solve 8 = 3*b - r - 10, -b = k*r + 10 for b.
5
Let y be (-90)/180*-3*10/3. Solve -2*q - a + 4 = 0, 7 = 3*q - 4*a + y*a for q.
3
Suppose -6 = -4*y + 2*y. Suppose -o - 36 = -3*x, 3*o - 14 = -y*x + 34. Solve 0 = -w + 7*r - 3*r, 4*w - 3*r = x for w.
4
Suppose 4*z - 6 = 2. Let k be (26 - (0 - -3)) + 2. Let p be (k/(-10))/((-1)/z). Solve 5*g - m - m - 9 = 0, -3*g = -m - p for g.
1
Suppose -252 = -7*y - 21*y. Solve -y = 2*k + 2*l + 3, 2*l = 2*k for k.
-3
Suppose 0 = -3*l + 7*l + 24. Let c be (-8)/l + 99/27. Solve 4*f - 13 = c*v, 2*v = -2*f + f for f.
2
Let r = -4 - 14. Let m be r/(-10)*(-50)/(-30). Solve m*h - 4*n = 2*h + 13, -4*h - 32 = 5*n for h.
-3
Suppose r = 2, -12 + 0 = -5*c + 4*r. Suppose -c*v + q - 3*q + 40 = 0, 4*v = -3*q + 40. Suppose m = -4*m + v. Solve 5*f = -t + 5, 9 = -2*f + m*t - 1 for f.
0
Suppose 4*p = 5*x - 49, -5*x = 2*p - 2 - 11. Let l be (-9)/p*98/21. Solve 2*n - l*n - 3*m = 13, 0 = 2*n - 4*m for n.
-2
Suppose -12*u + 28 = -128. Let o = u - 11. Let b be (-3)/(-2)*(-8)/(-6). Solve -5*p = a + 29, o*a - 4*p + b*p = 2 for a.
-4
Let k be (-3 + -1)*2/(16/(-6)). Solve -k*p + 15 = -5*n - 0*n, -3*n - 9 = 0 for p.
0
Suppose -2*j = -2*o - 12, 2*j + 3*o = 6*j - 19. Solve -4*p - 8 = 0, 3*f - p - j = -8 for f.
-3
Let t(a) = -a**3 - 4*a**2 + 6*a + 10. Let v be t(-5). Suppose -5*b = -i + 4*i - 53, -v*i = -5*b + 45. Solve -b = -5*g, 0*g - 2*g = 5*j + 1 for j.
-1
Let v be (-8)/(-240)*-4 - (-2)/15. Solve v = 4*w + j - 0*j - 9, -4*w + 2*j - 6 = 0 for w.
1
Suppose 26*u - 22 + 22 = 0. Solve -2*c - q + 11 = u, 4 = -3*c + 2*q + 3 for c.
3
Suppose -5*j - 4 = -s - 4*j, -5*s + j + 28 = 0. Suppose 5*l - 22 = -4*z, 0*l - 5*l = 2*z - 16. Solve -2*k = -2*o, -2*o + s = l*k + 14 for k.
-2
Suppose 12*c - 88 = -4. Solve w = -r + 3, 0 = 2*w + w + 2*r - c for w.
1
Suppose -18 = -4*s - 74. Let a(u) = -u**3 - 14*u**2 + 2*u + 31. Let z be a(s). Solve 3*g - 3 = z*h, -4*h - h + 4*g = 7 for h.
-3
Suppose -110*x + 115*x - 120 = 0. Solve -12 = 3*v + m, -4*v + m - x + 1 = 0 for v.
-5
Suppose -13*q + 10*q = -i + 26, -5*i + 88 = -q. Solve -i*a + 2 = -c - 12*a, 1 = 2*c - 5*a for c.
3
Let k be -3*(-2)/36 + 69/18. Solve -3*m - 4*y - 10 = 4, 0 = -2*m - k*y - 16 for m.
2
Let z(q) = -q**2 + q + 1. Let f be z(0). Let p = -5 - f. Let w be p/14 + 31/7. Solve 5*g + j - 29 = 0, -w*g + 2*j + 8 = -4 for g.
5
Suppose 0*a + 2*a + 20 = 5*q, 2*a = 10. Solve -4*t + 5*t - p - q = 0, 2*t - 9 = -p for t.
5
Suppose 5*b + 0*f - 15 = -2*f, -f = 4*b - 12. Let k(q) = q**2 - 11*q + 13. Let d be k(10). Solve b*a - 2*s + d = -4, -5*a - 2*s + 15 = 0 for a.
1
Let x = 23 + -23. Suppose -10 = 5*y, x*b - 5*b + 21 = -3*y. Solve 2*j + 2*f = 6*j, -b*f = -3*j for j.
0
Let h be (2 - 1) + (5 - 2)/3. Solve -4*v + 17 = 3*f, h*v = -5*f + 3 + 2 for f.
-1
Let c(z) = -z**2 + 9*z - 9. Let m be c(7). Suppose -2*y + 37 + 5 = 0. Suppose -m*h