 = c - 29 for c.
5
Let d be (-51)/(-15) - 6/15. Suppose -9 = -d*m + 6. Let r = -6385 + 6387. Solve -2*x + 2*c + 6 = -0, -15 = r*x + m*c for x.
0
Suppose -5*b - 10 - 5 = -4*y, -16 = -3*y - b. Let q(a) = -a**2 + 5*a - 4. Let l be q(3). Let i = -4 - -6. Solve -4*z - j = -y, -i*z + j - 3 - l = 0 for z.
0
Let o(y) = 6*y**3 + 12*y**2 - 9*y - 4. Let x be o(1). Solve x*i - 6*i = -k, -2*k + 16 = 2*i for i.
4
Suppose 1128 = 63*a - 132. Solve -4 - a = 4*s - 3*v, 0 = -5*v + 20 for s.
-3
Suppose 0 - 1 = k - 3. Solve 5*m + 25 = k*t, -10 = t + 27*m - 22*m for t.
5
Suppose 1982*d - 1975*d = 77. Suppose c = 2*v + 3 - d, 0 = c + 2. Solve -8 = 2*r - v*f + 3, -r - 4*f = -11 for r.
-1
Suppose v - 3*s + 3 = 0, -14*v - 4*s + 4 = -10*v. Suppose 21*i - 29*i = v. Solve 2*z - 5*x = -11, 3*z + x + x - 12 = i for z.
2
Suppose 2*x + 3*b + 2 = 0, x + 19*b - 18*b - 1 = 0. Solve g = -x*r - 12, 31 = g + 33 for r.
-2
Let u = -166 - -180. Suppose u*l = 18 + 38. Solve -s + 1 = 2, -18 = l*c - 2*s for c.
-5
Let s = 6204 - 6200. Solve -10 = 2*d + 5*k, -21*d + 26*d - 2*k - s = 0 for d.
0
Let z be (-8)/2*(-3)/3. Suppose 2*a - z = 2*j, -2*a + 6 = -2*j + j. Let v be 25 + -35 + ((-6)/3 - -17). Solve 5*i - 6 = j*i, 3*f - 2 = v*i for f.
4
Let b(q) = -q**3 - 11*q**2 - 20*q - 25. Let u be b(-10). Suppose -2*o + 76 + 62 = 0. Let h = u - o. Solve -h*j + 1 = -4*j + 5*y, -5*j = 5*y - 10 for j.
3
Suppose -3*q + 47 = -2*h, -4*h - 14 = -10. Let p = 16 + -9. Suppose p*j - 20 = 3*j. Solve 5*a - a + 3*s = -20, -q = 3*a + j*s for a.
-5
Let s be 81/3*(0 - 1) - 1. Let n = s - -33. Suppose 0 = -3*p + w - 0*w + 9, -4*p - n*w = -12. Solve 4*u - 7 = -p*d, 5*u - 2*d - 2 = d for u.
1
Suppose -160*g + 136*g + 96 = 0. Solve 0 = -5*a + g*z + 20 - 7, 4 = -2*z for a.
1
Let v be (-44 - -3)*(28 - 17). Let u = 496 + v. Solve 4 + 1 = 5*g + 5*w, 0 = -5*g + 5*w - u for g.
-4
Suppose 5*y - 59 = -5*t + 6*y, 0 = 5*t + 2*y - 32. Solve -2*i - 2*o = 14, 0 = 2*i + 3*i - 4*o - t for i.
-2
Let y = 3419 + -3419. Solve 3*j - 11*w + 9*w - 20 = y, -5*j = 3*w - 8 for j.
4
Let p be (5 - (-188)/(-28)*1)*-7. Suppose p - 24 = -6*i. Solve -n = -2*j + i*n - 9, 1 = 2*j - n for j.
3
Suppose 6*h = 5*h + 6*h. Solve -3*b + 2*c = -8, -5*c + h - 20 = -3*b for b.
0
Suppose -27*w + 514 = 514. Solve 0 = -2*l - 3*j + 1, -2*l + j - 11 = w for l.
-4
Let c = 11194 + -11162. Solve 5*r + 2*i = 29, 2*r + 5*i + 12 = c for r.
5
Let d(j) = 2*j**3 + 25*j**2 + 22*j - 16. Let g be d(-11). Suppose -183 = -16*u + g. Solve 0 = -y - 4*z - 14, y - 4*y = -3*z - u for y.
2
Suppose -5*c + 16 = 1. Suppose 3*h - 3*a - 24 = 0, 0 = 3*h - a - 13 - 11. Let v = h + c. Solve g - v = -4*d, -2*d - g - g + 4 = 0 for d.
3
Let l = 23 + -17. Let q be (3 + -2)*l/(0 + -3). Let c = 4 + q. Solve -4 = -2*z + 4*i, -3*i = c*i for z.
2
Let d = -960 - -966. Suppose 20 = 8*o - d*o. Solve -4*t = -3*x - o, -t - t = -2 for x.
-2
Let i(o) = -14*o - 6. Let g be i(-4). Suppose 2*h - 220 = 2*b, -3*b + 462 = 4*h + g. Let f = -90 + h. Solve f - 5 = -2*n + 5*x, -1 = 4*n - 3*x for n.
2
Let h be (50/(-20))/((-5)/2). Let q be (-49)/(-14)*h*4. Solve 0 = 4*m - 3*a - q, 4*m - 3 - 3 = -a for m.
2
Let u be ((60/8)/(-3))/(-1 - 1/(-2)). Solve 4*a = -5*i - 32, -101*a + 106*a - u*i - 5 = 0 for a.
-3
Let t(y) = 5*y**2 + 16*y - 4. Let a be t(-4). Suppose 0 = -2*c - 4*w - 1 - 5, 4*c - a = -2*w. Solve 0 = 5*j, -c*i + 3 + 12 = 4*j for i.
3
Let y = 27 + -30. Let a(k) = -k**2 + 3*k + 11. Let x be a(y). Let j(v) = -7*v - 44. Let l be j(x). Solve p + 3*p + 40 = -4*f, 0 = -f + l*p + 20 for f.
-5
Suppose 5*l + 5 = 4*m + 14, 3*l = 5*m - 5. Let u = -655119 - -655119. Solve m*k + 5*h - 48 + 16 = 0, -2*k - 2*h + 14 = u for k.
3
Let k(l) = -l + 1. Let y be k(1). Suppose 5 = 5*f - 18*u + 13*u, 5*f - 3*u - 3 = y. Solve 5*b + 20 = f, -4*s - b + 4*b + 20 = 0 for s.
2
Suppose 5*u - 4*d - 32 = 0, -6*u + u + 3*d + 29 = 0. Let n be u/((-44)/(-20) + 1/(-5)). Let x = -23 + 39. Solve n*g - 2*j - 10 = 0, 2*j = 2*g + 2*g - x for g.
3
Let u be 399/6 - 2*6/(-24). Suppose 0 = -68*p + u*p. Solve -3*c - 2*f = -8 - 17, p = 2*c - 4*f + 10 for c.
5
Let v = 50 + -48. Let i be 2*(3/(-2) - (-19)/v). Suppose -y + i = -6. Solve 3*s - 10 = q, 2*q + 5*s - y = 5*q for q.
-4
Let d = -12131 + 12133. Solve d*n + 2 = -3*i, 6*n = -2*i + 5*n for i.
2
Let m be 5 - 7/((-49)/42). Suppose -10*j + m*j = 10. Solve 4*n + 2*t + 6 = t, 0 = 3*n - 2*t + j for n.
-2
Let y(r) = r + 17. Let c(g) = g**3 - 2*g**2 + 2*g - 1. Let s be c(1). Suppose -4*d + 5*d + 13 = s. Let i be y(d). Solve i*n + 3 = -5, 0 = -4*q + 2*n for q.
-1
Let y(l) = 2*l + 35. Let v be y(-15). Suppose 0 = 2*d - d - 1. Suppose 3*o + d = 13. Solve 3 = v*f - b, b + b = o for f.
1
Let d(g) = g**3 - 4*g**2 + 2*g - 5. Let z = 18 - 14. Let q be d(z). Let v = -34 - -36. Solve -q = x + w + v, 0 = -2*w - 4 for x.
-3
Suppose 81 + 57 = 46*q. Solve m + m + 4*f + 2 = 0, 2*f - 3 = q*m for m.
-1
Let v(q) = -10*q - 38*q**2 - 5 + 36*q**2 - 6*q - 19. Let r be v(-5). Solve m = -1, 0 = x - 0*m - m - r for x.
5
Let t = -9 + 9. Suppose t = -45*o + 42*o + 12. Suppose -14 = -4*j - 2*x, o*j - 2*x = 7*j - 11. Solve -5*f + 3 = 3*b, 4*f + j = 5*b - 2*b for b.
1
Let y be 2/(-4)*(184 + -206). Solve 2*z + u + 2*u + y = 0, 26 = 3*z - 4*u for z.
2
Suppose 0 = -3*f + 42 + 3. Let n = f - 11. Let k be -1*(-4 + -8) + -1. Solve 4*h - k = 3*h - n*x, 0 = -h - 3*x + 9 for h.
3
Suppose 0 = -o - 3, v - 1 = -4*o - 0*o. Suppose v*u = 4*u + 36. Solve -q - 21 + 6 = -3*j, -q = -u*j + 19 for q.
-3
Let k be (-160)/6 + (-2)/6. Let h be (440/60)/(16/72). Let a = k + h. Solve -32 = -5*r - 3*v, -2 = -r - v + a for r.
4
Let x(y) = -3*y**2 - 150*y - 143. Let t be x(-49). Solve t*r = 4*m + 12, -26*r + 21*r - m - 15 = 0 for r.
-2
Let i be ((-46)/4)/(2/52). Let y = i + 307. Solve 2*z = 3*v + 9 + 12, -4*z = 4*v + y for z.
3
Let u(q) = 2*q - 22. Let w(c) = -11 - 4*c + 0*c - 7*c + 12*c. Let g(b) = -4*u(b) + 9*w(b). Let r be g(15). Solve -3*i = -r*o - 2, 0 - 2 = o for i.
-2
Suppose -29*t + 342 + 6 = 0. Let c(w) = -w**2 + 8*w - 7. Let u be c(6). Solve f = 4*p + u*f + t, p - 5*f = 15 for p.
0
Suppose -166*s + 154*s + 72 = 0. Solve 13*i = k + 10*i - 6, 3*i = -3*k + s for k.
3
Suppose -5*l + 9 + 1 = 0. Suppose -l*a = 8*a - 270. Suppose a = z + 2*z. Solve 4*d + 2 - z = -c, 3*d + 3*c + 6 = 0 for d.
3
Let h be 2*(2 - 0)*66/24. Let j(a) = a**3 + 28*a**2 + 56*a + 106. Let k be j(-26). Solve -5*r + 5 = -2*m, 4 - h = r - k*m for r.
3
Let w = 238 - 244. Let y(n) = -n**2 - 19*n - 73. Let o be y(w). Solve 0 = 2*a + 4*f - 0*f + 14, 0 = -o*a - 4*f - 23 for a.
-3
Let a = 1915 - 1911. Solve 2*k = -x + a, 27 = 3*x + 33 for k.
3
Let w(z) = -z**3 + z**2 + z - 1. Let o be w(2). Let j = o - -6. Let c = 330364 - 330359. Solve -c = q + j*t - t, q + t + 5 = 0 for q.
-5
Suppose -2*x = -6*x + 16. Suppose -x*u = -15 + 23. Let c be u/(2/1 + (-20)/8). Solve 2*z + c*n - 2 = 0, 0 = z - 4*z + n + 10 for z.
3
Suppose 22*g - 493 + 252 = -175. Solve -g*s - 25 = 4*z - 6*z, -4*z + 4*s + 40 = 0 for z.
5
Let t(p) = p**3 + 16*p**2 + 18*p + 41. Let z be t(-15). Let d be 126/z*(3/9 + -1). Solve -1 = 4*m - 3*s, m + 5*s = -2*m + d for m.
2
Let m be (74 - 23)/(1 + 2). Let f = m - 14. Solve -2*j - f*g = j + 15, -4*g - 12 = 0 for j.
-2
Let i be 1/(-9) + (-4147)/99. Let g = -42 - i. Suppose 4*l + 3*l - 35 = g. Solve -5*j = -4*m - 20, -3*j + 10 = -l*m + 3*m for m.
-5
Let q(z) = -z**2 - 54*z - 527. Let y be q(-41). Solve 0 = 2*o - 2*u + 6, o + u - y*u = -11 for o.
-1
Let l = -8720 + 8729. Solve y + 10 = j, 3*y + 29 = j + l for y.
-5
Suppose 0 = -2*o + 43 - 33. Let m be (0 - 8/(-6))/(o/15). Solve 7*r - 11 = -m*z + 2*r, 15 = -3*z + 4*r for z.
-1
Suppose 193 = -34*a + 39*a - 4*z, 2*a + 2*z = 70. Solve -4*v = -5*i + a, -8 = 5*i + 5*v - 18 for i.
5
Let p = -966 - -378. Let f = -588 - p. Solve 0 = 3*d - 5*m - 14, 4*d + 0*m + m - 11 = f for d.
3
Let o = 1334 + -1324. Solve -o = r + 3*s, 0 = -4*r + 2*r + 4*s for r.
-4
Let o(n) = 22*n**2 + 20*n - 24. Let b be o(1). Let m(j) = j**3 + 5*j**2 + 5. Let k be m(-5). Solve 2*a = -k*v - 24, 0 = -4*v - a - 0*a - b for v.
-4
Suppose -d - 11 - 1 = 5*c, -d - 4*c = 9. Solve -5*i + 3*q + 14 = 0, -d - 13 = -i + 5*q for i.
1
Suppose -251 - 177 = -233*d + 271. Solve 4*v - 20 = h + d*h, 11 = -5*h - 2*v for h.
-3
Let b = 246 + -223. Suppose -b*u + 63 = -6. Solve 2*d + 6 = 2, 0 = -u*y - d + 7 for y.