-4
Suppose -z = 2*o - 3, 4*o - z = 10 - 1. Let d = o - 5. Let k = d - -7. Solve -3*u = -t + 12, -3*u + 3 + 0 = k*t for u.
-3
Suppose 0*s = -2*s - 4*y + 16, -6 = 3*y. Let m = s - 5. Let l(t) = -4*t - 1. Let f be l(-3). Solve 0 = -q + 5*u + m, -u - f = q + 2*q for q.
-3
Let s be (-30)/(-8) - (-21)/(-28). Let r = -7 + 13. Solve -s*w + 5*i = 4, 3*i + 10 = 2*w + r*i for w.
2
Let v = -6 + 11. Let c = -21 + 26. Solve -v*k = -s - s - 18, 3*s = c*k - 17 for k.
4
Suppose 9*b - 20 = 4*b. Suppose -2*c + 4*x - 4 - 2 = 0, -4*c = -b*x. Solve 0 = 3*j - 4*i + 9, c*i + 2*i = 0 for j.
-3
Let m = 16 + -12. Solve -j - m*s = -1 + 6, -2*j - 5*s - 4 = 0 for j.
3
Let g(o) = o**2 + 5*o + 5. Let t be g(-4). Let f(b) = b**2 + 2*b - 1. Let r be f(4). Suppose j - r - t = 0. Solve 4*c = 4*a - j, -3*a + 4 + 5 = 0 for c.
-3
Let r = 8 - 8. Let j be r + (-9)/(3/1). Let s = j + 6. Solve 2*w = -s*w - 5*b - 25, -5*w = b + 9 for w.
-1
Let j(o) = -o + 2. Let p be j(-1). Let c be (p/(-4))/((-3)/12). Solve -5*b - 2*z + 35 = 0, -4*b - 2*z = -c*b - 15 for b.
5
Suppose 2*u - 3*o + 18 = -3*u, -3*o = -3*u - 6. Let c be u*(1 - 0)/(-3). Suppose -3*r = -3*d + c - 8, 4 = 2*r + 3*d. Solve 2*m + 12 = -r*i, -1 + 5 = -4*i for m.
-5
Let k = 22 + 48. Let r be (-4)/(-6) + k/30. Solve -3*p - p - j + 14 = 0, -p = r*j - 9 for p.
3
Suppose -5 = -z - 3. Solve -3*o + 4*n + 30 = 7, -22 = -z*o + 4*n for o.
1
Let l be (39/9 - 0)*3/1. Solve 4*a + 2*j + l = a, 4*j - 4 = 0 for a.
-5
Let k be -2*(-2)/4*1. Let m be 3 + (k - -1) + -3. Solve -4*s = -m*v - 24, -16 = 3*v - 4 for s.
4
Let s be ((16 + 2)/1)/(-1). Let q be 4/s + 76/18. Suppose 0 = -3*w + 8*w - 20. Solve -w*d - 5*y = -45, d + q*d = 5*y for d.
5
Suppose -10 = -9*s + 26. Solve -2*y - 2 = 0, -s*m + 6*y - y = 15 for m.
-5
Suppose -f + v = -0*f, 5*v - 5 = 4*f. Solve a + 3*o - 6*o = 3, 4*o + 23 = -f*a for a.
-3
Let x = 16 + 2. Solve -7 - 7 = -3*h + z, z - x = -5*h for h.
4
Suppose h - 55 = -2*h + j, 15 = h - j. Solve -3*t = 4*u + 17 - 2, 0 = 4*t + 5*u + h for t.
-5
Let a = 16 - 13. Let h be (-11)/(-4) + a/12. Solve 0 = -2*t - h*f + 10, 2*f + 0 = -t + 6 for t.
2
Let k = -31 + 35. Solve 0 = 6*l - 2*l - 5*a - 7, k*l - 15 = -3*a for l.
3
Let u be 2/5 + (-2)/5. Suppose 2*c - 3*c = -4. Solve -a - c*n = u, -3 = a + 2*n - 1 for a.
-4
Let l = -5 + 39. Let j = l + -18. Solve -5*u - 18 = 3*i + 11, -u = 4*i + j for u.
-4
Suppose p = -0*q - 3*q - 7, -3*p = 5*q + 5. Let i be 100/(-8)*(-16)/10. Solve 0*t - 2*t = 3*h - i, 3*t + p*h = 32 for t.
4
Let x(b) = b**2 - 3*b - 1. Let o be x(3). Let a = 9 + -8. Let r be (a + -9)/2*o. Solve -y - 18 = -r*t, -5*t + 12 = -t + 2*y for t.
4
Suppose -4*u + 4 = 0, 4*y - 73 - 52 = -5*u. Suppose -4*x + y + 6 = 0. Solve 4*k - 7 = 2*s - s, -3*s + x = -2*k for k.
3
Let o(z) = -4*z**3 - z**2 - z - 1. Let g be o(-1). Suppose 2*q - g*q = 0. Solve q = i - 2*n - 2, 0 = 5*i - 2*n - 1 - 9 for i.
2
Suppose -2*n - 8 = -2*d, 0 = n - 2*n - 3*d + 12. Suppose n*c + c - 5 = 0. Solve q - 2 = c*y + 18, 0 = 5*y - 4*q + 35 for y.
-3
Suppose -6*f + 21 - 3 = 0. Solve r + 3 = 4*a, 1 + 3 = f*r + a for r.
1
Suppose -4*q = 3*z + 14, 5*q - 4*q + 9 = 2*z. Solve -23 = -z*t + 5*s, 0 = 2*s - 2 + 8 for t.
4
Suppose y + 11 = 2*g - 0*g, y + 17 = 4*g. Solve -4*r - 2 + g = -3*u, 5*r + 5*u = 10 for r.
1
Let j(r) = -r**2 + 7*r - 2. Let g be j(6). Solve 0 = c - 0*p + p - 4, 4*p + 24 = g*c for c.
5
Let i(f) = f**3 - 4 - f + 6 - 3 + 6*f - 5*f**2. Let t be i(4). Solve -p + 2 = -t*q, 4*p + 3*q + 18 = p for p.
-4
Let i(j) = j**2 + j - 2. Let u be i(0). Let k be u/(-10) - (-136)/20. Let o(c) = c + 3. Let x be o(-3). Solve 2*m - k*m - 2*f + 3 = x, m + 9 = 2*f for m.
-1
Suppose 0 = 7*x - 2*x. Let y = 2 - -3. Suppose 11*d - 12*d = -4. Solve 0 = -x*a - y*a - 4*w + 9, -3*w = a - d for a.
1
Suppose 4*y - 10 - 10 = 0. Solve 3*h + 6 + 3 = -3*u, -3*h = y*u + 17 for u.
-4
Let v = 54 + -52. Solve -c - i - 4*i + 22 = 0, 6 = -c + v*i for c.
2
Let l(y) = y - 10. Let w be l(5). Let t(z) = z**2 + 4*z - 1. Let c be t(w). Solve 4 = -c*a - 4*g, -3*a + 12 = -2*g - 0*g for a.
2
Suppose -13*t = 2*t - 75. Solve -t*g + 1 = o - 3, 0 = 2*g - 4*o + 16 for g.
0
Let q = -12 - -26. Solve -2*s - 6 = 0, 3*s + q = b - 0*s for b.
5
Suppose -4*v = 0, -4*s + 2*v + 12 = -0*s. Solve -p - 2*b = -3*b + s, 0 = -b + 5 for p.
2
Let o be ((-10)/8)/((-2)/8). Suppose -3*z + o*z = -l, -3*z = -5*l. Solve -5*p + 11 + 1 = -2*a, l = 2*a + 3*p - 20 for a.
4
Let r(s) = s**3 + 4*s**2 + 2. Let v be r(-4). Let m = 2 + v. Solve u = -m, o + o = -u - 2 for o.
1
Let f be 15*(24/(-9) + 3). Suppose -4*b = -4*o - 20, 2*b + 0*o = -3*o + f. Solve -2*v = 5*p + 2*v - 19, 5*v - 17 = -b*p for p.
3
Let h = 5 - -2. Suppose -5 = -5*v - 0*z - 4*z, 5*v - 4*z - 45 = 0. Solve -v*l = -q - 7, 5*q - 3*l = l + h for q.
3
Let o = 224 - 189. Solve 4*j - o = 4*s + s, -s + 2*j - 13 = 0 for s.
-3
Let y = -26 - -28. Solve -5*u - 24 = -w, -2*w - y*w + 5*u + 21 = 0 for w.
-1
Suppose 5*o = 34 - 14. Suppose -r - 66 = -o*r. Solve 5*l = -v - r - 4, -2*l - 11 = v for l.
-5
Let m = 1 + 1. Suppose -a = -4*h + m*a + 26, -2*h + 6 = 2*a. Solve g + o - 13 = -2*g, 10 = -h*o for g.
5
Let b(f) = f**3 + f - 25. Let t be b(0). Suppose -3*m + 0*k + 149 = 2*k, 243 = 5*m + 2*k. Let i = m + t. Solve -4*u + 19 = 3*z, 0*u - 3*u - i = -5*z for u.
1
Let n(l) = -1 - l + l**2 + l + 2*l. Suppose -3*h + 14 = -5*m - 2*h, -3*h - 12 = 3*m. Let r be n(m). Solve 2*o + 2*o = 2*a - 12, -15 = 5*o - r*a for o.
-3
Let w(s) = s**3 - 7*s**2 + 9*s - 3. Let o be w(6). Solve 5*q + 2*v + 14 = -7, 5*v - o = q for q.
-5
Let r(k) = k**3 + 3*k**2 - 2*k + 4. Let l be r(-3). Suppose 10 = c + 3*h, 11*c - 3*h = 8*c - 6. Solve -5*p + 0 = 5*g + l, -3*g + c = -4*p for p.
-1
Let p = 28 + -23. Solve 0 = -y - 2*n + p, -5 - 1 = -2*n for y.
-1
Let p(s) = s**2 + 7*s + 14. Let h be p(-8). Solve -h = -4*g + 3*w, -2*w - 25 + 1 = -5*g for g.
4
Let q = -4 - -6. Suppose 4*d - 56 = 4*g, -g - 2 = -2*g. Solve -3*s = -4*n - d, q*s - 4 - 16 = 5*n for n.
-4
Suppose 3 = -3*q + 9. Suppose 73 + q = 5*b. Solve b = -3*m - 0*f + f, 0 = -m - f - 5 for m.
-5
Let v(k) = -2*k + 2. Let z(l) = 3*l - 1. Let q(n) = 4*v(n) + 3*z(n). Let t be q(-10). Let b be 3/(15/(-4))*t. Solve b*j - 4*w = 11 + 1, 3*w + 21 = -3*j for j.
-2
Let y(v) = -22*v. Let m be y(3). Let k be 12/m + 48/22. Solve c - 1 = k*l + 3*l, c + 9 = -5*l for c.
-4
Let y(g) = g**3 + 3*g**2 + g. Let k be y(-3). Let i(u) = -u**2 - 5*u - 2. Let o be i(k). Let t = -18 + 29. Solve -2*a - t = -5*n, 2*n - a - o*a - 17 = 0 for n.
1
Let i be 2*1/(-6)*(3 - 9). Solve i*t = 3*p - 1 + 8, t - 16 = 4*p for p.
-5
Suppose 2*n + 3*t = -3, 0*t + 2*t = -2. Suppose -j - 4*h - 11 = n, 5*j + 0*h - 33 = 2*h. Solve 0 = j*d + 2*w - 22, -d - 7 = -3*d + w for d.
4
Let h(u) = -u - 2. Let r be h(-7). Solve -3 = -3*q - 3*m, r*m + 3 = 3*q + m for q.
1
Let b(h) = -h**2 + 7*h - 1. Let f be b(6). Suppose -10 = -f*l - 0. Solve -4*w - 3 = 3*j, 4*w - 37 = 7*j - l*j for j.
-5
Let w be (-2)/(-6)*6 + -6. Let g(i) = i + 8. Let k be g(w). Let f be (1 - 2)*(1 - 13). Solve -u = -4*b - f, 5*b + 3 = k*u - 23 for u.
4
Suppose -2*r - 5 = -3*m, m + 3*r - 10 = 2*m. Let n be 1*(-3 - -2)*3. Let f = n + m. Solve -5*l - 7 = 3*w + 3, -l - 15 = -f*w for w.
5
Suppose x + 0*x - 21 = -5*c, 4*x - 12 = -2*c. Solve -c = 2*i, -4 = -2*o - 5*i - 10 for o.
2
Let z = -9 + 0. Let v = 1 - z. Solve -3*r - 15 = 0, -8*s - 3*r + v = -3*s for s.
5
Let l = -9 - -8. Let g = l + 4. Suppose 2*y = 4*y - g*w - 4, -6 = -3*y + w. Solve 3 = f - y*o + 12, -17 = -2*f - 3*o for f.
1
Let f(z) = -4*z**2 + 6*z + 2. Let x(c) = -c**2 + c + 1. Let h(i) = -f(i) + 5*x(i). Let t be h(0). Solve 2*g - 3*g + 4*j + 9 = 0, t*g + 5*j = 10 for g.
5
Let v = -9 + 9. Suppose v*s = -4*s. Solve 4*k - 2*j + s*j = 18, 0 = k + 3*j + 13 for k.
2
Let i = -8 - -15. Let c(s) = -s**2 - 10*s - 7. Let u = 1 - 7. Let v be c(u). Solve b + 3*b + 5*k = -v, -i = -b + k for b.
2
Let y = 68 + -65. Solve 0*u + 23 = -5*b + u, y*b + 9 = -u for b.
-4
Let v be (-12)/28 + 114/21. Solve 0 = -3*z + v*z, -3*z + 3 = -3*t for t.
-1
Let f be 2/(-12) - (-122)/12. Suppose f = 2*g + 3*g. Suppose -u = g*b - 9, u + 21 - 6 = 4*b. Solve 5*m + b*p + 12 = 0, -12 = -2*m + 3*p + p for m.
0
Let d = -10 - -14. Solve 26 = -4*z - 2*u, d*z - 2*z - 5*u - 17 = 0 for z.
-4
Suppose -3*f - f - 12 = 5*u, 0 = -5*u - 20. Let z = 1 + f. Solve -5*a + t - 16