+ 3*v for c.
-4
Let a = 452 + -450. Solve 20 = 4*o + 5*i, a*i + 12 = -2*o + 5*i for o.
0
Let u(g) = 27*g + 621. Let n be u(-23). Solve y - 3*x - 2 = -n*y, -3*x + 3 = 0 for y.
5
Let m be 30/(-180) - ((-5)/(-6) - 1). Suppose m = -6*n + 15*n - 18. Solve 0 = -4*v + 5*a - 9 - 1, -4 = -n*v - 2*a for v.
0
Let r be (-4)/(-18) - 850/(-225). Let t = r + 0. Solve -4*j = -j - 3*s, -t*s - 14 = 3*j for j.
-2
Let h = -100 - -104. Solve 2*j - r + 2 = -j, h*r - 20 = 0 for j.
1
Let l be ((-46)/115)/((18/(-20))/9). Solve 3*k = 5*h - 0*k + 34, l*h - 5*k = -35 for h.
-5
Let r = 576 + -572. Solve -r*b = 4*i, -i = b + 2*i + 2 for b.
1
Let t = 289 + -286. Solve -g + t = i, 5*g + 0*i = 2*i + 15 for g.
3
Let x(i) = 5*i**3 + i**2 + 2*i - 4. Let p be x(2). Suppose -7*l + p = -61. Suppose 5*h - l = 2*h. Solve 6*y - y = 3*r, -h*r = -4*y for r.
0
Suppose 0 = v - 4*j - 20, -2*v + 4*j + 5 + 19 = 0. Solve 4 = v*i + 4*n, -n + 13 = 2*i - 4*i for i.
-4
Suppose -5*m = -43 + 8. Let z(u) = u - 3. Let r be z(m). Let p be 6/r*(11 + -9). Solve p*s = -d + 15, -4*d - 2*s = -7 - 3 for d.
0
Let i = 1012 - 1010. Solve j + 2*m + 7 = 0, 5*m = 3*j - i*j for j.
-5
Let m = 18 - 24. Let z be (-6 + -2)/(-7 - m). Let q be 6/z*(-2 + 6). Solve -4*r = q*s - 31, 5*r - s - 7 - 8 = 0 for r.
4
Suppose j - 6*j + 2*r = -53, 0 = -4*j - 5*r + 49. Let k be j/((-55)/(-30)) + (-1 - 0). Solve 5*u = -2*t + u - 6, 0 = 2*t + k*u + 7 for t.
-1
Let i = -46 + 58. Suppose 4*o = 44 + i. Let b = 6 - 3. Solve 4*j - 7 = b*x, 5*x + j + o = -13 for x.
-5
Suppose -4*m = 5*x + m - 60, x - 5*m = -18. Suppose 6 = 5*g - 4. Solve 4*k = o - x, -13 = -4*o - k - g for o.
3
Suppose -21 - 7 = -4*s. Suppose -s*h + 2*h = -10. Solve 0 = -i + 2*n - 9, h*i + 5*n = -3*i + 30 for i.
1
Let c = -9 - -8. Let k = 6 + c. Suppose -h - 2 = -2*v, -2 = -k*h + 3*v + 2. Solve 3*b - 3 = 4*f - 0, -h*f = -4*b + 4 for f.
0
Let v(l) = -l**3 + 39*l**2 + 38*l + 82. Let u be v(40). Solve u*r - 3*m = 14, -2*r - 7*m = -2*m + 2 for r.
4
Let s be -2 - (4/(-12) - (-581)/(-3)). Suppose 2*p = -6*p + s. Solve -4*h + 4*b + 7 = 43, -4*h = -b + p for h.
-5
Let g(p) = -p + 20. Let c(x) = -7*x + 18. Let v be c(0). Let k be g(v). Solve 13 = -2*y + 5*l, -3*l + k*l + 9 = -2*y for y.
-4
Let a = -236 - -114. Let z = 126 + a. Solve -4*m - 14 = z*v - 5*v, 4*m = -5*v - 26 for v.
-2
Let y(z) = z**2 - 134*z + 133. Let k be y(1). Solve 0 = -5*i + 10, -11 + k = -3*l - i for l.
3
Suppose 18 - 8 = 5*f. Solve -f*p - 5 = -u, 5*u = 2*p + 2*u + 7 for p.
-2
Let d(b) = b**2 + 18*b + 19. Let u be d(-17). Let y be (4/(-12))/(1/(-6)). Solve 4*j + 16 = y*v + u*v, -4 = j for v.
0
Suppose 0 = -5*z - 0*z - 10. Let f be z*(-2)/((-12)/(-15)). Suppose -r = -6*r + 25. Solve -f*n - r*o - 25 = 0, 5*n + 0*o + o = -17 for n.
-3
Suppose -4*g = -4*r - 45 + 1, 5*g = 2*r + 46. Let i = -1168 + 1176. Solve 3*h - g*h = -2*t + i, -2*t + 8 = 3*h for h.
0
Let f(x) = x**3 + 5*x**2 - 8*x - 35. Let v be f(-5). Solve 3*c = -2*q, -5*c = v*q - 10*c for q.
0
Suppose 0 = -16*o + 20*o - 20. Suppose -u = -2*u + 2*w - 5, -o*u = -5*w + 5. Solve 2*v + u*c = 5*c - 6, -3 = v - 5*c for v.
-3
Suppose -31 = -4*x + 3*o, x + 2*x - 5*o - 37 = 0. Solve 2*c - 2 = x*h - 12, -4*c - 2 = h for c.
-1
Let i = -75 - -104. Solve i = 4*r + 5*x, -2 = 4*r - r - x for r.
1
Let i(g) = g + 17. Let r be i(0). Suppose 5*y - r - 18 = 0. Let b be 2/y*(28 - 14). Solve -20 = -b*t + k - 1, 0 = 5*t + 2*k - 14 for t.
4
Let w = 6 - 4. Suppose i - 1 = 4*g, w*g + 23 = 5*i - 0*g. Suppose i*x - 10 = 5. Solve 3*q - 1 = -4*a, -5*a - 2 = 2*q - x*a for q.
-5
Suppose 3*n = 3*a - 120, 0 = -a - 3*a - n + 155. Suppose -42 = -3*z + a. Let m be (-2 - -3 - 1) + z. Solve -d = 5*u + m, u + 2*u + 15 = 0 for d.
-2
Suppose -3*h + 25 - 28 = -5*f, 26 = 5*h + 2*f. Solve -h*g = 2*u - 14, 0 = -3*g + 2*u + u - 12 for g.
1
Let d(q) = -2*q**2 - 8*q + 37. Let i be d(-6). Solve -4*w + i - 2 = 3*v, 4*v - 21 = w for w.
-1
Let j be ((-2)/(-4))/(12/120). Solve 3*l - 4*m + 26 + 3 = 0, j*l + m + 10 = 0 for l.
-3
Let p(n) = -n**3 - 7*n**2 - 12*n - 10. Let w be p(-5). Solve 0 = 2*t - 4*t + 4*f + 8, 4*t - f - 16 = w for t.
4
Let g(j) = 2*j**3 - 14*j**2 - 16*j + 4. Let w be g(8). Solve y + 12 = -4*v, 8 = -2*v - w*y + 2 for v.
-3
Let c = -2 - 0. Let u(g) = -g**3 - 2*g**2 - 3*g - 4. Let y be u(c). Let d = 4 - 2. Solve -4*t - y*f + 12 = 0, 4*t - 5*f + 8 = -d*f for t.
1
Suppose 9*p = -p - 890. Let k = 97 + p. Solve a = -b - 1, -6*b + b = 2*a + k for a.
1
Suppose a - 16 = -5*s, 0 = -4*s - 2*a - 2*a. Solve 0 = -2*c + 3*m + 6, -s*m - 8 = 10*c - 6*c for c.
0
Let i be (9/5)/((-3)/(-20)). Let j(s) = 3*s - 32. Let h be j(i). Solve f = -h*t + 4, 0 = f + 3*t - 0 - 2 for f.
-4
Let r = -155 + 158. Solve 12 - 4 = 2*g + 2*z, -r*z = 4*g - 12 for g.
0
Let r = 13 + -10. Suppose -18 = -2*i + 5*a, -r*i - i = -5*a - 26. Suppose x = 5*x - 4. Solve 3*f = i*l + 20 - x, 4*l = -2*f - 14 for f.
1
Let p be (0 + -5)/(12/(-48)). Solve 0 = 5*u - 5*j - p, -5*u + 7*j - 3*j + 15 = 0 for u.
-1
Let h = -142 - -150. Let i = 4 - 4. Solve 3*n = 4*x - i*x - 11, -n = x - h for x.
5
Let v = 4 - 8. Let q(d) = -3*d - 1 + 0*d - d**2 + 1 + 0*d**2 + 4. Let j be q(v). Solve 3*x + t + 11 = j, 0*t - 13 = 2*x - 5*t for x.
-4
Suppose 4 = -p + 3*o, 2*p - 2*o + 17 = o. Let g = -13 - p. Suppose 2*j + g = 6. Solve -4*y + d = -7, -y + j*d + d = 2 for y.
2
Let h = 140 + -140. Solve 3 = 5*f + 2*j, -4 = -j - h for f.
-1
Let y be -3 + (56/4)/2. Suppose -5*i + 5*f = -75, -y*i - 2*f + f = -60. Let z = 21 - i. Solve 7 = -r - z*n + n, -4*n - 5 = r for r.
3
Let w be 5/2*(-7 - -16 - 7). Solve -2*o + w = -5*u, -5*o - 5*u = -0 - 30 for o.
5
Let a = 361 - 355. Solve a*j = 4*s + 3*j + 25, -2*j = -5*s - 26 for s.
-4
Let m = -1012 + 1017. Solve -4*k = 4*h + 36, -25 = m*h - 2*k + 3*k for h.
-4
Let l(u) = -7*u**2 - 13*u + 2. Let t(n) = -15*n**2 - 27*n + 5. Let m(d) = -13*l(d) + 6*t(d). Let z be m(-7). Solve -4*y = -z*k + 3 + 17, 25 = 5*k - 3*y for k.
5
Let k(j) = -j**2 + 8*j - 9. Let o be ((-8)/(-20) - 0)*15. Let a be k(o). Solve 2*l - a + 0 = -5*u, 2*u + 2 = 0 for l.
4
Suppose -4 = -3*c + 2. Let u be (-54)/(-30) + c/10. Suppose -h - u = -3*h. Solve 3*b + 2 = -h, -3*f - b = -11 for f.
4
Suppose 11*v = 8*v + 3. Solve -v = -2*t + 4*h + 19, -4*t - 4*h = 8 for t.
2
Let b be ((-4)/((-4)/(-5)))/((-10)/4). Solve 12 = -s + 5*d, -2*s - b = 2*s + 3*d for s.
-2
Let w(b) = -4*b - 14. Let t be w(-4). Suppose -33*q + 35*q = t. Solve -5*i = -0*i + 5*x - 40, 0 = 3*i - 2*x + q for i.
3
Suppose -6*y + 14 = 2. Let k(l) = -l**3 + 13*l**2 + l - 13. Let u(s) = -5*s - 2. Let r be u(-3). Let i be k(r). Solve y*q + q + h - 11 = i, q = -h + 7 for q.
2
Let o be 11/(11/2) + 137. Let i = -133 + o. Solve i = 2*g + 3*l + 20, -g - l - 5 = 0 for g.
-1
Let t = 6 - 6. Suppose 3*q = p - 5*p - 19, 2*p + 4*q + 12 = t. Let h = p + 8. Solve 3*i = -3*k - 3 - 3, i - h*k = -2 for i.
-2
Let t be ((-72)/45)/((-6)/(-255)). Let h = 78 + t. Solve -p - 34 = -5*x - 6, -5*p = x + h for x.
5
Let l(f) = 10 - 1 + 33*f - 34*f + 5. Let o be l(11). Solve -4*b - b + 23 = 4*k, 3 = o*b - 3*k for b.
3
Let m be 2/(-6) - (-37)/3. Suppose -3*g = -5*g + m. Suppose 3*t = 3*a - g, 3*t - 4*t - 7 = -2*a. Solve 0 = -2*s + z + 9, -s - 5*z - 27 = -a*s for s.
3
Let f = 131 + -130. Solve 3*m - p - f = 2*m, 3*p = m - 1 for m.
1
Let p(q) = 7*q**2 - 8*q - 9. Let y be p(2). Solve -y*c + 0*c + 4*o - 7 = 0, 3*o - 4 = 2*c for c.
-5
Let r = 9 - 19. Let g = r - -28. Solve -5*f + 21 = -2*n, 4*n = -2*f - 0*f + g for n.
2
Let f(l) = 39*l + 81. Let s be f(-2). Solve -s*t + t + 4 = 0, -5*t = 2*w - 14 for w.
2
Suppose -2*c - x + 5 = -2*x, -2*c - 15 = 3*x. Suppose c = 4*y - 12. Solve 5*z + 5 = 0, 6*h - 5*z = y*h - 7 for h.
-4
Suppose 4*v = 19 + 73. Suppose 0 = -4*s + 6 + 6. Solve -7*q + 2*q + s*x = v, -3*q + x - 13 = 0 for q.
-4
Let z = -41 - -45. Solve -3*f + 4*g - 1 = 0, -z*g = -5*f - 3*g + 4 for f.
1
Let h = -24 - -29. Suppose 0 = -h*l - 2*x + 19, 0*x = -3*l - x + 11. Solve l*y = -2*y + 3*c - 25, 15 = 3*c for y.
-2
Suppose -226 = 41*h - 636. Solve 5*p - 3*m + h = 0, 0 = p - m + 6*m - 26 for p.
1
Let h be 12/18*(-2 + (-13)/(-2)). Let j = 7 + -7. Suppose j*w + 2*w - 8 = 0. Solve -5 = 2*n - 3*k, 2 = h*n + w*k + k for n.
-1
Let f(u) = u**3 - 9*u**2 + 17*u + 5. Let r be f(3). Solve -2*l - 4*a = 6, r*l + 4*a + 5 = -l for l.
1
Suppose -2*q - 30 = 4. Let z = -13 - q. 