 - 2*v + 3*v - 6, -f*v = 2*x for x.
-1
Suppose -20 = 2*i - 4*i. Solve 0 = t - 3*t + g + 15, -3*t - g = -i for t.
5
Let t be 4/18 - 200/(-72). Solve 2*o + 4 = -t*i, 3*o = -i + o - 4 for i.
0
Let x = 20 - 16. Solve 0 = w - 5*n + 4, n - x = w - 0*n for w.
-4
Suppose -85*s + 84 = -81*s. Solve 0 = y + 3*w + 12, -4*y + 4*w - 5 + s = 0 for y.
0
Let z(u) = -2*u**3 - 15*u**2 - 9*u - 10. Let k be z(-7). Solve -3*a + 0*y + 2*y = 5, -3*a = -y + k for a.
-1
Suppose 20 = w + 3*m, -10 = -4*m + 10. Solve -w*i = -3*g + 20, 2*i + 8 = -2*g - 2*g for g.
0
Let z be (1/3)/((-1)/(-15)). Solve -12 = 4*v - 2*o, -4 + 19 = -z*v - o for v.
-3
Suppose 0 = 3*i - 2*i - 3. Solve i*g - 2*a = -9 - 6, 0 = -5*g - 5*a for g.
-3
Suppose 3 = q - 12. Solve 3*k - 8*k + q = 0, 0 = -5*u - 5*k + 15 for u.
0
Suppose -l = -3*g - 4*l - 114, l - 137 = 4*g. Let m = 52 + g. Solve t = -5 + 1, m = -3*o - 5*t for o.
1
Let v(o) = -3*o - 2. Let b be v(4). Let r be (-74)/b - 2/7. Suppose 32 = -r*d + 172. Solve -2*k - l + 8 = k, 2*l = 5*k - d for k.
4
Let g(c) = -c - 3. Let j be g(-3). Solve j = -4*f - 2*r - 10, 3*f + 2*r = -2*r for f.
-4
Let p(h) = 3*h - 3. Let l(r) = -r**2 + 6*r - 3. Let s be l(5). Let o be p(s). Suppose -i + 8 = 3*i. Solve -2*a = -o*q + 2, a - 2*q + i = -a for a.
-1
Let z(l) = l**2 + 3*l - 2. Let m be z(1). Suppose m*p = -p. Solve 4*y + 3*t - 15 = 2*t, p = 4*y + 4*t for y.
5
Let z be (-3 - (1/1 + -11))*1. Solve -3*g - m - z - 4 = 0, 0 = g + 4*m for g.
-4
Let p be (-258)/(-30) + (-6)/10. Solve 0*b - 11 = -g + 3*b, 0 = g - 2*b - p for g.
2
Let k = -7 + 10. Solve 3*f - k*q = -6, 5*f = -2*q + 4 + 14 for f.
2
Let a(m) = -2*m**3 - 3*m**2 + m + 2. Let d be a(-2). Suppose -2*z - 2*z = 2*x - 144, d*z - 2*x = 128. Solve -3*c = 5*g + z - 7, 0 = c - g + 1 for c.
-4
Suppose -3*n + n + 10 = 0. Suppose -m + 5*s = 16, 4 = n*m - 3*s - 4. Solve -m*o - o = -4*x - 2, 13 = -2*o - 3*x for o.
-2
Suppose 2*t = -3*l + 53, 4*l + 2 = t + 3. Suppose -25 - t = -2*i. Let b = i - 6. Solve -v + m + 7 - 1 = 0, 2*v - 4*m - b = 0 for v.
4
Let r = 4 - -6. Suppose 5*l = 2*p - 2 + 6, 0 = 5*l - r. Solve 2*n - p*h = -4, 0*n - 8 = 2*n - h for n.
-5
Let v(h) = -h - 14. Let d(j) = -3. Let t(p) = 11*d(p) - 2*v(p). Let n be t(5). Solve 5 = -f + 2*k, 6 = 3*f + n*k - 1 for f.
-1
Suppose -9*d = -0*d + 2*d. Solve 4*f = -2*x + 2*f - 4, d = -4*x - f + 4 for x.
2
Let p = 5 + -3. Let c be 3 + 10 - (p - -1). Solve -3*d = -2*b - 4, 0 = -d - b - 4*b - c for d.
0
Suppose 3*g - 4*r = 29, 5*g + 3*r = -0*r. Let f be -2 + (1 - -4 - 1). Suppose -f = g*d - 4*d. Solve z = 5*l + 2*z + 30, d*z + 10 = 0 for l.
-5
Suppose -3*r + 8 = -1, 41 = 5*m - 3*r. Solve 3*q = -5*i + 35, 3*i + 4*q = 22 + m for i.
4
Let i(g) = -7*g + 2. Let o(q) = 11*q - 3. Let d(n) = -8*i(n) - 5*o(n). Let b be d(4). Solve 0 = 4*w + a + 13, -b*w + 2*a + 3 + 1 = 0 for w.
-2
Suppose 2*n = 1 + 3. Suppose -x - n*x + 12 = 0. Solve 3*g + 2 = -4*q - 0*g, g = -x*q + 2 for q.
1
Let d be (4/(-10))/(-1*(-4)/(-40)). Solve 20 = -4*j - d*o, -2*o - 24 = 5*j + 2*o for j.
-4
Let a be 1*3*(-3)/(-3). Let v = 7 - a. Solve -v*b + 6*b + 2 = 2*i, 6 = 3*i for b.
1
Suppose 5*d = -0*d + 115. Suppose 0 = 3*f - d - 28. Suppose -n - 4*n + 25 = 0. Solve n*j + 2*g - f = 0, -19 = -j - 2*j + g for j.
5
Let o be (-10)/(-4) + (-1)/2. Let k(c) = c**3 + 8*c**2 - c - 4. Let u be k(-8). Let l be u/o*10/4. Solve 0*i - 15 = -l*i - 5*g, 2*i - 4*g = -24 for i.
-2
Let b(j) = j**3 - 7*j**2 + 6*j + 4. Let o be b(6). Let x = o + 1. Suppose 0 = x*g - 7 - 3. Solve -3*k + 6 = -g*r - 3, -4*k + 7 = -r for k.
1
Suppose 0 = -25*w + 22*w + 6. Solve -3*s - 7 = w*a, 3*s + s + 2*a + 10 = 0 for s.
-3
Let a = 99 - 5. Suppose 5*t = a + 6. Solve -4*p + t = -3*f, p + 15 = 4*p for f.
0
Let x = -15 + 20. Suppose x*f - 42 = 3. Solve -v + 10 = s + 4*v, f = 3*v for s.
-5
Let i = -3 - -2. Let h be 2/(-3)*(i + -2). Let u be (-2)/6 - (-11)/33. Solve 4 = n - 3*z, 5*z + u*z = -3*n - h for n.
1
Let o be (-14)/(-3)*(-6)/(-7). Solve o*f - 20 = -4*q, 2*f = -3*q - 0*f + 11 for q.
1
Let d(j) = -j**2 - 12*j - 13. Let o be d(-10). Let u(w) = w**3 + 5*w**2 + 4*w + 4. Let t be u(-4). Solve -t*v = -6*v - z - o, 4*v + 13 = -z for v.
-3
Let l = 6 - 4. Solve 0 = -4*u - u + 5*z + 15, 2*u = -l*z + 2 for u.
2
Let n(l) = 2*l**2 + 7*l. Let k = -18 + 14. Let q be n(k). Solve 4*r - 5*f - 3 = 0, q*f - 12 = -5*r + r for r.
2
Suppose 5*v - 29 = -4*f + 1, -v + f + 15 = 0. Suppose -3 = -3*k + 2*i + 22, -4*i + 31 = 3*k. Suppose j - k = -4. Solve -3*s + j*c = v, 0*s + 2*c + 7 = -s for s.
-5
Suppose 1 = -0*v - v. Let y = -2 + v. Let h be 6/(-18) - 13/y. Solve 0 = 2*g + 8, -a - a + h*g = -26 for a.
5
Let o(n) = n**2 - 6*n - 3. Let k be o(8). Let v = k + -11. Solve 0 = v*y + 3*y - 5, -4*y = 2*z - 6 for z.
1
Let n be (8 - -11) + (3 - 1). Let t = n + -13. Solve -5*z - 3*k = -10, -2*k = 4*z + 3*k - t for z.
2
Let x = 3 + -1. Suppose -3*q = x*q - 10. Let m be (0/(-6))/(q/1). Solve g - z = -4*z - 12, -g + z = m for g.
-3
Let o be (-4)/6 - (-70)/42. Solve 5*x + o = 5*c + 6, 3*c - 4*x + 1 = 0 for c.
-3
Let p be ((-1)/(-2))/(3/30). Suppose -p + 3 = -2*m. Suppose -2*o + 3 + m = 0. Solve 2 = -2*j - 4*q, -o*q - 5 = -7*q for j.
-3
Let v be (-3)/(-2) + 285/10. Let k be 2/1 + v/3. Solve 3 = 3*o + m, m + 3*m = o + k for o.
0
Let z(h) = -h**3 + 15*h**2 - 28*h + 28. Let w be z(13). Solve -5*u - 10 = w*p + p, -5*u = -2*p + 35 for p.
5
Let y(l) = 1 + 0*l + l - 4. Suppose 2*a - 14 = x, 15 = -a - 2*x - 3*x. Let v be y(a). Solve -2*o = -5*i - 19, -i - 4 = -v*o + i for o.
-3
Suppose -3*b = 3*m - 24, -2*m + 4*b + 2 + 2 = 0. Suppose -v = -m*v + 85. Let y = v + -12. Solve 0 = -3*z + 3*g - 18, -y*z - 3*g = -0 + 6 for z.
-3
Let f(c) = c**3 + 16*c**2 + 14*c - 14. Let x be f(-15). Let n(z) = z**2 - 2*z - 4. Let r be n(4). Solve -r*v - 6 = 5*m, 2*v + x = -4*m - 5 for m.
-2
Suppose o + 0 = 5. Let y = 27 + -15. Suppose f = -m + y, 4*m = 6*m. Solve 0 = o*h + r + 15 - 4, 5*h + f = -2*r for h.
-2
Let y be 2/7 + (-52)/(-14). Solve 16 = -y*n + 4*t, -4*n + 15 = 2*t + 1 for n.
1
Suppose -4*s = 5*y - 95, -5*y = -5*s - 110 - 30. Solve -n + 5*b - y = 0, -3*n - 5*b + 3 = -8 for n.
-3
Suppose 0 = -2*m + 10 - 0. Suppose -m*o + 17 = 2. Solve -k = -o*d - 19, -3*k = -0*d - 4*d - 32 for d.
-5
Let o(f) = 5*f**2 - 3*f + 4. Let l be o(3). Suppose z = -z + l. Let x be (23/(-2))/((-3)/6). Solve 5*v + x = -a + 3*a, -4*v - z = 0 for a.
-1
Let u be (-2 - -2)/(5 - 6). Solve -4*d = q - u*d - 8, -5*d = -3*q - 27 for q.
-4
Suppose 0 = -3*t + 15 - 0. Solve 0 = 4*j - t*v - 15, -3*j - 2*v + 27 = 2*j for j.
5
Let a = -36 - -36. Solve a = -4*s + 4*f + 20, 2*s - 1 - 9 = -2*f for s.
5
Let k = -8 - -5. Let r(l) = l**2 - 5*l + 5. Let v be r(5). Let w = v + k. Solve 2*j + 3*o + 3 = 5*j, w*o = 0 for j.
1
Suppose -9 = -j - 2*s, 0 = 5*j - 2*s - 13 - 8. Solve -5*a + 16 = 2*k, 4 - j = -5*a + 3*k for a.
2
Let b(m) = -m**3 + 12*m**2 - 10*m - 8. Let i be b(11). Let w = 5 + i. Solve 13 = q + 2*h + 3*h, q - 2*h = -w for q.
-2
Let b(o) = -o**3 + 9*o**2 + o - 6. Let n be b(9). Suppose 0*f = n*f - 9. Solve -3*x = f*h - 4*h - 5, -2*h - x - 10 = 0 for h.
-5
Suppose 2*l - 2*r + 11 = 3*r, 4*r + 8 = -4*l. Let q = l + 5. Let s be 40/8 - 2/q. Solve -5*k + 15 = -5*h, k - 14 = -s*h - 1 for k.
5
Let a(t) = 2*t + 16. Let m be a(-11). Let j be (-2)/(-6) - 22/m. Solve -2*z - b - 10 + 0 = 0, j*b = 0 for z.
-5
Let b be ((-3)/6)/(4/(-48)). Suppose 0 = t + t - b. Solve -5*p + g + 1 = -0*g, 0 = t*p + 5*g - 23 for p.
1
Suppose -5*v + 4*v = 0. Solve 4*c - 3 = 2*n + n, -5*c + 3*n = v for c.
-3
Let i be 4/6 - 282/(-9). Suppose -i = -h + 4*q, -3*h + 116 = -0*q - 2*q. Solve -3*k + h = 6*u - u, 3*u = 3*k for k.
5
Suppose -5*c + 16 = -2*v, v + 3 = c + 1. Suppose 36 = v*s + 4*o, 0*s - 5*o = -2*s + 9. Solve -4*g - 5*y = 15, -6*g + 3*g + s = -4*y for g.
0
Let l be ((-2)/(-8))/(4/32). Solve -4*q = l*a - 14, -2*q = -2*a - 18 + 2 for a.
-3
Let w(l) = l**2 - 3*l - 1. Let y be w(4). Solve z = 3*m, z - 6 = -y*m + 4*z for m.
-1
Let x(c) = -c**2 + 3*c + 1. Let o(n) = n**3 + n**2 - n + 5. Let h be o(0). Suppose -h*k = -5 - 5. Let b be x(k). Solve 0 = b*g - 2*g + 3, -1 = -w - g for w.
4
Let w be 0 - 0 - (-6 + 1). Let j = 16 - w. Suppose 6*a = 2*a + 8. Solve 5*l + 5*t + 5 = 0, -j = -a*t - 3 for l.
-5
Suppose 4*r - 29 = 3*t, 0 = t + 3*t + 12. Suppose -r*j = -10 - 10. Solve -2*n - j = 2*x + 2, 0 = 