= 4*c + 2*t, c - 5*t + i = -t for c.
1
Let d = -398 + 281. Suppose 0 = z + 12*z + 351. Let p be (-4)/(-6) + d/z. Solve 4*u - c - 10 = 0, u - 4 = p*c - 4*c for u.
2
Suppose 0 = -2*u + 7*u - 15. Suppose 0 = u*b + 2*a - 3, 5*b + a - 9 = -a. Solve 4*q + 3*h + 10 = 5*q, 14 = 5*q - b*h for q.
1
Let j = -29 + 21. Let k = 11 + j. Suppose 2*b + 60 = 8*b. Solve k*y - 9 = -f, 2 = -f + 4*y - b for f.
0
Let t(a) = -6*a**2 - 48*a - 39. Let n be t(-7). Solve 2*d = -n*z - 20, -2*d = -3*z - z - 8 for d.
-4
Let v = 10 + -13. Let w(o) = -5 - 8*o + 2 + 5. Let f be w(v). Solve t + i = -1, 6*t = 2*t + 2*i + f for t.
4
Let y(x) = -x**3 - x**2 + x + 6. Let s be y(0). Let w be (s/12)/(1/6). Suppose -w*c = -4 - 2. Solve -c*a - 2*h + 2 + 0 = 0, 4*h + 4 = 0 for a.
2
Let r(y) = y**2 - 4*y - 60. Let j be r(0). Let v = j + 75. Solve -3*p + 5*n = v, 0 = 2*n + 2*n for p.
-5
Let r(t) = t**3 + 12*t**2 + t + 15. Let u be r(-12). Solve -5*j = -u*f - 31, j - 22 = f - 3*j for f.
-2
Suppose -8 = -c + 5*p, -5*p - 21 = -4*c - 4. Solve v + 3 + 5 = -3*l, -4 = -l + c*v for l.
-2
Let k = -55 - -58. Suppose k*s - l - 3 - 1 = 0, 0 = -s + 5*l - 8. Solve 4*v + 25 = -v - 3*j, 3*v = -s*j - 16 for v.
-2
Let q = -334 + 337. Solve -20 = 5*m, q*m = -2*j - 12 + 2 for j.
1
Let k be (10/6)/(1 + 8/(-12)). Suppose 9 + 6 = k*b. Solve -b*a = -2*o + 5, 2 = -a + 2*a + 3*o for a.
-1
Let r(g) = g**3 + 2*g**2 + 2*g + 3. Let v be r(-2). Let x = 1 + v. Solve -t + 4*h + 12 = 2*t, -t - 3*h - 9 = x for t.
0
Suppose 6*b - 8*b = 5*a - 33, 4*b - 6 = 2*a. Solve -t - k - 3 = -0*t, b*k = 8 for t.
-5
Let n(t) = 5*t - 148. Let m be n(30). Solve 15 = -5*z, 4*w + 3*z - 13 = m*z for w.
4
Suppose 4*r = 2*h - 16, -r = -2*h - 0*r + 7. Suppose 5*c = h*o + 24, 5*c + 0*c = -o + 33. Solve -m + 21 = 5*z, 4*m - 2*m = -z + c for m.
1
Let h be (17 + (-1586)/91)/((-2)/14). Solve 0 = 2*x - l + 3 - 2, h*x + 4 = 2*l for x.
2
Let x(d) = -2*d**2 + 6*d - 4. Let g be x(1). Solve -q - s = -1, 4*q = -g*q - s + 13 for q.
4
Let c = -1 + 3. Let a(f) = -4*f - 24. Let i be a(-7). Suppose -5*x = -25, -5*x = -i*g - 3*x - 10. Solve -4*d - c*q - 8 = g, 0 = -2*q - 3*q for d.
-2
Suppose 30 = -4*s + 74. Let k(l) = -l**2 + l + 2. Let f be k(-1). Solve 2*t + f*t - 5*r = -11, -3*r = t - s for t.
2
Suppose 7*w - 11*w = -8. Suppose -2*z = 3*d - 17, w*d + 2*z + 7 - 19 = 0. Solve 15 = -5*i - d*g, 5*g - g = 3*i - 12 for i.
0
Let a(n) = 7*n - 13. Let u(m) = -m. Let g(b) = a(b) + 5*u(b). Let o be g(8). Solve o*k - 12 = -q, 0*q + 3 = q for k.
3
Suppose -42*l - 14*l + 224 = 0. Solve 5*y + 19 = 5*m - m, -m + 13 = -l*y for y.
-3
Let j(r) = -r**2 - 5*r + 60. Let x be j(-10). Solve -4*o + 5*p - x = -5*o, -3*p + 6 = 2*o for o.
0
Suppose 0 = 2*h + 2*h + 4. Let o be 6 + (-9)/(-3)*h. Suppose -o*t = -10 - 2. Solve -5*q - 10 = -v + 2, t*q + 21 = -3*v for v.
-3
Let h be 3 + 0*7/(-24 - -3). Solve 3*m + h*g + 6 = 0, 0*g - g = 4*m + 8 for m.
-2
Let d(y) = y**2 - 40*y + 236. Let u be d(7). Solve 0 = k + 3*k + 16, -u*k - 28 = 2*o for o.
-4
Suppose 0 = 2*l - 2*o + 4, 4*l + 1 = l + 2*o. Suppose 6*x + 44 = 8*x. Solve 3*g - z + 16 = -l*z, -4*z = g + x for g.
-2
Let z be (11 - 4)*2/2. Let t be 7*(4 - 26/z). Let c be 48/(-40)*(-5)/t. Solve c*f - 8 = u - 0*u, -f = -3 for u.
1
Suppose 2*x = -0*x + 4. Let r be 0*(-2)/(8/x). Suppose -o = -r*o. Solve -4*s = -z, o*s - 5*s = 4*z - 21 for s.
1
Suppose -m = 3*m - 20. Suppose 8*s - 9 = -1. Let o be -1 - 1 - (-5 - s). Solve -r = -2*r + o, -5*q - 5*r = m for q.
-5
Let k be (16/56)/((-4)/(-42)). Solve -12 = 2*f - k*j - 14, 2*f + 5*j = 18 for f.
4
Let s be (-2 + (-14)/(-6))*6. Solve -o - 8 = -2*b - 4*o, -5*b - 3*o + s = 0 for b.
-2
Let r = 6 + -3. Suppose -t - 66 = 3*i, -5*t + t - 4*i = 296. Let k = -76 - t. Solve k*h + 4*z = -0*h - 14, 5*h + 22 = r*z for h.
-5
Let m = 318 + -295. Solve -4*p = -5*f + m, -6 = -2*f - 0*f for p.
-2
Let o = -58 - -60. Suppose o*s + d - 5 = 0, s - 4*d - 10 = -6*d. Solve 3*q - 5*f + 6 = s, -q - 1 = 5*f + 1 for q.
-2
Let q = 1173 + -1173. Solve q = -5*i - 4*g - 35, -2 = i + g + 6 for i.
-3
Suppose 270 - 70 = 40*n. Solve 2*h + 2*o + o + 21 = 0, -4*h - 37 = n*o for h.
-3
Suppose 0 = 3*u - 93 + 78. Let w be ((-1)/2)/((-2)/32). Suppose 0 = -u*s + 23 - w. Solve 2*j - h + 2 = -2*j, s*j + 6 = 3*h for j.
0
Let c(x) = -x**3 + 12*x**2 - 17*x - 7. Let w be c(10). Suppose -y + 26 = z, -4*y - 99 + w = -2*z. Solve -z = 2*h + d + 4*d, 0 = -h + 5*d + 15 for h.
-5
Suppose 8 = -4*n - 4*f, 5*f + 3 = -n - 7. Suppose 3*a + n*b = 4*b + 2, 3*a + 2 = 5*b. Solve 0 = a*p - 4*p - 4*v, p - 3*v = -2 for p.
4
Let n = -17 - 10. Let b = 49 + n. Suppose -u - b = -4*o, -3*u + 2*u = 2. Solve -4*i + 6*x - x - 23 = 0, -o*i + 3*x = 19 for i.
-2
Let t = -186 - -188. Solve -12 = -5*n - 4*i - 3, 4*n = t*i + 28 for n.
5
Let x be ((-630)/(-36) - 17) + 6/4. Solve x*m = 2*y, y - 2*m = -10 + 15 for y.
-5
Let r = -100 + 102. Let b be (-1 - -3)*(0 + r). Solve -y - 4*y = h - 9, 0 = -5*y + b*h - 11 for y.
1
Let c(w) = w**3 - 8*w**2 - 20*w. Let r be c(9). Let f = 103 + r. Let i = -2 + 5. Solve 6 = -i*o - 0, 3*o = -f*p + 6 for p.
3
Suppose 56*r = 62*r. Solve r = 2*g + 4, -3*d + 3*g - 12 = 6*g for d.
-2
Let u = -6 - -10. Let j(x) = x**2 + 3*x - 2. Let i be j(-4). Suppose -g - g + 8 = 0. Solve 3*n = u*l - 3, 3*n - g = -i*l + 11 for l.
3
Suppose 3*w + 6 = 0, 5*c + 6*w + 4 = 4*w. Let d be 8/2 - 2/(-2) - c. Solve -4*m + d*t - 3*t = -8, 0 = -2*m - 2*t - 2 for m.
1
Suppose k + 4*q - 10 = 5, -5*q + 15 = 0. Solve 0 = 4*c + 4*p, -2*p = 3*c + k*p - 2 for c.
-1
Let y(j) = j - 2. Let b be y(6). Let i be 1/(b/4)*-8. Let o be ((-6)/1)/(12/i). Solve -r - 2*g = -1, -r - 3*r - 2*g + o = 0 for r.
1
Let v = 217 - 213. Solve -4*z + 12 = -5*r, v*z + r - 9 = z for z.
3
Suppose q - 4*i = -q + 120, -2*i - 260 = -5*q. Let t = 60 - q. Let x = -3 - -5. Solve t = 5*w, -v + 2*w + x = 3 for v.
3
Suppose 2*q + 0*q - 3*r = -5, -4*q - 3*r = -17. Solve 0*u = -4*g - u - 4, -q*g = u + 2 for g.
-1
Let j(p) = p**3 - p**2 + p + 2. Let q be j(0). Solve q*f - 6*i + 2*i = 0, -18 = -2*f - 5*i for f.
4
Let k(i) = i**3 - i**2 - 9*i - 1. Let l be k(-2). Solve -3*q - 11 = 2*u - 4, l*q = u - 16 for u.
1
Let k = -18 - -22. Let a = 7 - k. Solve -2*h + 24 = -5*d, a*h - 5*d - 8 = 18 for h.
2
Let v(t) = -t**2 - 10*t - 12. Let y be v(-8). Suppose 4*n = -k + y*k + 8, -5*k + 25 = n. Solve 5*q = 3*q - 8, -n*q - 32 = 3*s for s.
-4
Let d be 4*((-9)/(-44) - (-210)/385). Let u(o) = -6*o. Let k be u(-4). Suppose -2*s = -6*s + k. Solve 2*l = b - 0*l + s, 9 = d*l for b.
0
Let k(o) = 6*o**2 + 20*o - 8. Let r be k(-4). Solve -4*y = 4*a + r, -7*y + 3*y = -4*a for a.
-1
Let f = -42 + 34. Let v = f - -12. Solve v*n - 2 = -4*m + 5*m, -10 = 5*m - n for m.
-2
Suppose 14 = -195*s + 197*s. Solve -p + 2 = -4*f, -s*f + 5*p - 10 = -2*f for f.
0
Let y(h) = h**3 + h**2 + 3. Let u be y(0). Let b = 0 + 3. Suppose -21 = -0*t - b*t. Solve -4*x = -u*r + t, 4*x - 1 = r + x for r.
5
Let v be ((-288)/(-56) + -6)/((-1)/7). Solve 0 = -2*w - 4*q + v, -q - 1 = 3*w + 5 for w.
-3
Let z be 50/4 - (-104)/(-208). Solve 2*i - i = -q - 7, i + 2*q = -z for i.
-2
Let i(o) = 16*o - 14. Let p be i(6). Let c = p - 52. Solve -3*z + 5*a = -6*z - 10, 5*z = a + c for z.
5
Let p be 13 - (-1 - (-2 - -2)). Suppose 4*z = -9*j + 4*j - 10, 4*z + 20 = 0. Solve 0 = j*v + c - 5, -3*v = 5*c - p - 11 for v.
0
Suppose 20 = 15*n - 10*n. Suppose 0 = -h + 8 + n. Suppose 5*v - 2*v = h. Solve 3*c - v*c + 2*x - 5 = 0, -4*c + 2*x = 14 for c.
-3
Let c(a) = -2*a - 6. Let y be c(-6). Suppose 4 = 3*f - y*f - 2*r, f = -5*r - 10. Solve 5*i = -4*k + i + 8, f = k + 4*i - 2 for k.
2
Let o = 45 - 13. Suppose 6*k - 4 = -5*u + 2*k, 5*u = 3*k + o. Let a be (-860)/86*2/(-5). Solve 0 = -3*x + u*t + 16, 3*x + 0*x = t + a for x.
0
Suppose -2*o + 8 = g, -o + 17*g + 4 = 15*g. Solve -4*l - 11 - 5 = h, -o*l - 4 = -2*h for h.
-4
Suppose -2*a = -4*b - 12 - 10, 0 = a - b - 7. Solve -a = -3*m, 0*z + 5*z - 2*m = -17 for z.
-3
Suppose -7*s = -4*s - 24. Suppose 2*y = -6 + s. Solve -y = l - b, l + 4*b = 15 + 4 for l.
3
Let r = -653 - -656. Solve 3*n + 12 = 5*l - 22, -3*n = -r*l + 24 for l.
5
Suppose -8*y - 20 = 76. Let r be ((-3)/(-2))/(y/(-232)). Solve -4*c = -2*d + 10, -d - 2*d - r = 5*c for c.
-4
Let r(z) = -z**2 - 6*z + 3. Let h be r(-6). Let i(u) = -u**2 - 10*u + 1. Let k be i(-7). Let s = 22 - k. Solve 2*a - y = 1, 4*a + 