2
Suppose 7*o = 3*o + 12, 0 = -3*b + 4*o + 3. Solve 20 = 4*x, -20 = 5*h - 2*x + b for h.
-3
Let s(f) = -f + 12. Let o be s(6). Solve o*a - 2*a = 2*j + 14, 5*j = -4*a + 7 for j.
-1
Suppose -2*f + 0*f + 8 = 0. Suppose f*b + 3*z + 0 = 4, 0 = -4*z - 16. Suppose -2*m + 0*m = -i, 3*m - 1 = i. Solve i = q, 5 = -b*a + 2*q + 1 for a.
0
Let h be -2 + 1 + 1 + 2. Let t(p) = 3 - 4 + h + 2*p. Let a be t(1). Solve -4*o = -o + 3*g + 27, -o - 17 = a*g for o.
-5
Let c(m) = m**3 + 5*m**2 + 4*m - 1. Let n be c(-3). Suppose 8 = -n*x + 3. Let w = 4 + x. Solve -2*r + 4*r + 20 = 4*k, -3*k - w*r - 3 = 0 for k.
3
Suppose 0 = v + 5*r - 37, -v + 4*v = 5*r + 31. Let x = v - 10. Let z(i) = i**2 + i - 9. Let w be z(-4). Solve w*t - 5*f = -12, -4*t + 3*f + x = 4*f for t.
1
Suppose 0 = r - 0*r + 5, 0 = -2*q - r + 15. Solve 3*y + 0*y - m = 0, -5*y + 5*m + q = 0 for y.
-1
Let h = -4 - -7. Suppose 4*m - 2*m = -a + 20, -3*m - 2*a + 28 = 0. Suppose -3*o + m = -0*o + p, 3*o = -5*p. Solve 7 = -2*l + h*v - 4, -4*l - o*v = 11 for l.
-4
Suppose -4 = -o - 0*o. Suppose 0 = p - o + 2. Solve 0*x + 5*b = 2*x - 21, -p*x + 15 = -3*b for x.
3
Let d be 21/(-12)*(-4)/(-1). Let z = -5 - d. Solve -z*r = 5*j - 2, 2*r + 4 = -r - 4*j for r.
-4
Let c = 0 + 4. Let m = c - 1. Solve -v - 3*v - m*f + 3 = 0, 0 = 4*v - 3*f - 21 for v.
3
Suppose -8*l + 12 = -11*l. Let q be 9/(-6)*l/3. Solve -4*r + 20 = 5*j, -4*j - q = 2*r - 18 for j.
4
Let w(z) = 4*z**2 + 2*z - 1. Let a be w(1). Suppose 0 = -2*p + k - 0*k - 25, 5*p - 2*k + 60 = 0. Let c = 13 + p. Solve 3*i - a*o = 29, -i - c*o + 3 = 4*i for i.
3
Let y(a) = a**3 - 14*a**2 + a - 6. Let u be y(14). Let l = -4 + u. Solve 2*i - 4*n = n + 21, -l*i - 33 = 5*n for i.
-2
Let y(c) = -c - 2. Let l(n) = 8*n**3 + 2*n**2 - 1. Let d be l(-1). Let x be y(d). Solve -7 = -x*k - 3*g, 3*k + 0 - 10 = 4*g for k.
2
Let y = 42 + -22. Solve 2*u - 8 = -2*r, r + u = 6*r - y for r.
4
Suppose -10*t + 14*t - 8 = 0. Solve -2*x = -2*l - 2, t*l + 2 + 2 = 0 for x.
-1
Let w(b) be the first derivative of -b**4/4 + 5*b**3/3 + 4*b**2 + 5*b + 7. Let a be (12/14)/(3/21). Let n be w(a). Solve 4*u = 3*l - n, -u + 4*l = 1 - 0 for u.
-5
Suppose 0 = -3*s + 8*s. Suppose s*t = -t. Solve 3*a + 3*i - 18 = t, 0*a = a - 2*i + 9 for a.
1
Let j = 34 - 30. Solve -j*k + 5 = -3, -2*d + 5*k = 0 for d.
5
Suppose 0 = 3*c - 4*x - 14, -2*c = c + 2*x - 20. Suppose 4*k - 14 = c. Suppose -31 - 4 = -k*w. Solve -7*d = -2*d - 5*f + 5, 0 = -3*d - 2*f + w for d.
1
Let t(n) = -n**2 - 10*n + 5. Let g be t(-9). Let o be 202/18 + g/(-63). Solve -z + 16 = 4*j - 1, o = -3*j + 4*z for j.
3
Suppose -3*f + 20 = 2*f. Let n = -3 + 5. Suppose -15 = -t - 6. Solve -n*v = q - 8, -f*v - q - 6 = -t*v for v.
2
Let v = -169 - -172. Solve 0 = -0*r - 2*r - 3*z + 21, v*r - 14 = -z for r.
3
Let l(g) = -4*g + g**3 - 6*g + 5*g**2 + 11 + 2*g**2 + 0. Let c be l(-8). Solve -3*w + 18 = 3*f, -5*f - 1 = w - c for w.
1
Let v(o) = 3 - 3*o**2 + 2 + 2*o**2 - 5*o. Suppose 1 = -j - r, -2*r - 6 - 6 = 4*j. Let f be v(j). Solve -3*x = -2*s + f, 7*x - 2*x + 1 = -4*s for x.
-1
Let a(c) = -c - 4. Suppose v = -3*v + 5*w - 41, 4*v - 3*w = -31. Let s be a(v). Solve -4*m + 12 = s, 3*m = 3*t + t + 25 for t.
-4
Suppose -4*c + g + 116 = -0*c, 3*g - 72 = -3*c. Solve -3*w + c = w - 2*u, 3*w - 2*u = 23 for w.
5
Let f(r) = 4*r - 4. Let i be f(2). Solve 2*q = 3*q - p, -3*q + 5 = -i*p for q.
-5
Let t = 19 + -15. Suppose 5*n - 42 = -2*r, 5*n - 4*r - 26 = 4*n. Solve 10*c - 5*c - t*d = -11, 5*c + n = 5*d for c.
-3
Let o(v) = v**3 - 6*v**2 + 6*v - 2. Let y be o(5). Suppose -y*s = s. Solve -4*t - 5*i - 5 = 0, s = -4*t - 4*i - 4 for t.
0
Let v = 146 - 139. Solve -5*u = -n + 24, -u - 5 = -2*n + v for n.
4
Let u = -12 + 12. Solve 5*v + 9 = -2*o - 2*o, u = o + 4*v + 16 for o.
4
Let g be (-21 + -5)/(-3 + 1). Suppose y - g = -q, 5*q = 4*q - 4. Solve -4*j = -3*o - 8, -4*o - y = -5*j - 6 for j.
-1
Let a be (-1 + 0)*6/6. Let h = 3 + a. Solve 5*c = 15, 4*c = h*r + 3*r + 17 for r.
-1
Let w be ((-99)/27 - 2/6)*-1. Solve 3*u = 4*x + 22, -w*u = -0*u + 3*x + 4 for u.
2
Suppose -3*t = t. Suppose t = 3*k - 4*k + 2. Suppose 0 = k*z - 2 - 4. Solve z*q = 2*d - 7 - 13, -40 = -5*d + 5*q for d.
4
Suppose p = -3*p + 16. Solve 4*m + p*k - 20 = 0, 0 = -m - 5*k - 5 + 10 for m.
5
Let r(q) = -q - 4. Let p be r(-9). Solve -5*c = 2*w + w + 9, 3*c + 15 = -p*w for c.
0
Let y = 5 + -4. Suppose -5*i = -y + 16. Let r = i + 3. Solve p = 2*m - 3, m = -4*p - r*p + 6 for p.
1
Let i = 68 - 68. Solve 3*y + 3 = -3*k, -k = 2*y - i + 5 for k.
3
Let m(v) = -v**3 + 9*v**2 - 7*v - 6. Let g be m(8). Solve -2*n = -4*n - g, 3*n = -5*b + 22 for b.
5
Suppose 3*q - 11*q = -24. Solve 0 = -5*n + 2*x + 18, n + q*n - 21 = -5*x for n.
4
Suppose -12*t + 106 = -2. Solve -i + 9 = 2*l, -2*l + t = -4*i + 25 for i.
5
Suppose 0 = f - 3*f + 6. Solve 1 = -5*a + f*k - 5*k, -2 = 4*a + k for a.
-1
Suppose 0 = 4*h - 9 - 15. Let a(c) = -c**3 + 7*c**2 - 4*c + 1. Let k be a(h). Solve 0 = -4*m - x - 3*x - 12, 3*m + x + k = 0 for m.
-5
Suppose 0 = -4*z, -4*z = m - 4*m. Solve m = 2*r + k + 3, 2*r + 9 = -3*k - 0*k for r.
0
Suppose 0 = -8*n + 4*n + 24. Solve 2*h - n = 0, -3*f + 8*f - 34 = -3*h for f.
5
Suppose -5*l + 26 = -l + 5*n, -2*n = -3*l + 31. Let v be (-3)/l*7*-21. Let p = v - 34. Solve -b = -z + 3, b + 2*b + p = 5*z for z.
3
Suppose -p - p + 4 = 0. Solve 0 = p*n - 2*a, 2*a = -2*n - 2*a + 12 for n.
2
Suppose -14 = 3*k - 5*k. Let h be (-6 + k)*1*2. Solve 0 = w + 5*f - h + 4, 0 = -2*w - 5*f + 1 for w.
3
Let n(m) = -2*m - 2. Let h be n(-2). Solve t - h*t = -v, 0 = 5*v + 3*t for v.
0
Let f = -61 + 63. Solve -l + 3*q = f*q - 2, 4*l - 2*q - 10 = 0 for l.
3
Let i = 3 + 0. Suppose 0 = 2*u + 10, 0 = -w - 5*u + u - 17. Solve 0 = i*f + 3*r - w, 2 = -4*f - 0*r + 2*r for f.
0
Suppose 3*f + 2*r = 15, -f - 5*r = -0*f - 5. Solve -d + 10 = -5*q - 2*d, 0 = -3*q - f*d - 6 for q.
-2
Let a(q) = q**2 + 5*q + 6. Let o be a(-6). Suppose 2*z - 5*z + o = 0. Solve -4*u = 3*w - 10 + 4, 0 = -5*u + z*w + 23 for u.
3
Let w be -2*(-3 - -2) - -1. Let m = -2 - -6. Solve m*a = -w*u - 32, 3*u + a + 27 = -2*a for u.
-4
Let v(u) = u**2 + 8*u + 3. Let n be v(-8). Let g(i) = i**2 - 3*i + 3. Let m be g(n). Solve -3*x + 4*r + 7 = 0, 31 = 5*x + m*r - 0*r for x.
5
Let r = 7 - 5. Suppose 3*t = -4 - 35. Let h(k) = -k - 7. Let i be h(t). Solve r*u + o = 14, i*u - 21 = u + o for u.
5
Let j be (60/9 - 2)*3. Let z be 49/j - 3/(-2). Solve -5*h = -4*p + 13, -3*p = -8*p + z*h + 15 for p.
2
Let z = -21 - -23. Solve z*f + 2*x = 4, 4 = x - 1 for f.
-3
Let y = 5 + -5. Let b be 3 + (y + 0 - 1). Solve 2 = b*v + 3*p, 0 = -7*v + 2*v - 5*p for v.
-2
Suppose -4*u + 31 - 3 = 0. Solve 2*s + 27 = -5*q, 0 = -2*s + u*s + 4*q + 25 for s.
-1
Let r(n) = n**3 - 6*n**2 + 4*n + 7. Let w be r(5). Let a be 0/(-4) - -5*2. Solve u = -w*u - o + 10, -u = -3*o - a for u.
4
Suppose 6 = d - 19. Suppose 2*c + l - 8 = 0, -4*l + 1 + 15 = 0. Let r be 1 - ((c - 1) + -5). Solve 5*y = -5*o - 15, -5*o - d = -r*y - 0*y for y.
1
Let s be (-8)/6 - 26/(-6). Solve -4 = -m - 3*p, m - 1 + s = -p for m.
-5
Suppose -4 = -29*p + 25*p. Solve 0 = -n - 3*k - 2*k + p, -4*k = -4*n + 4 for n.
1
Let v(r) = r + 11. Let j be v(6). Let i = j + -14. Solve -2*x = -4*g, -i*g + 5*x = -6*g for g.
0
Let l be 4/(-10)*1 + (-8)/(-20). Solve -3*p + f + f = -3, l = -p - 5*f - 16 for p.
-1
Let f be (10/2)/(-1)*-1. Suppose 2*w + 4 = 4*d, -4*w = -d - d - 4. Solve -3*s + 14 = -5*x, -9 = w*x - f*s + 8 for x.
-1
Let q be (189/(-6))/(3/(-4)). Suppose 4*y + 2*i - q = 0, -4*i = -y - 2*i + 3. Solve 5*c + 4*w + 2 = 5, -5*w = c - y for c.
-1
Suppose -5*i = -3*s + 5, -s + 0 = -4*i + 3. Solve -4*k - 3*w - 2*w + 8 = 0, k + 4*w = i for k.
2
Suppose -136 = -3*h + h. Let b(f) = f**3 - 2*f**2 + 2*f + 2. Let p be b(4). Let i = h - p. Solve -k - 2 = -m, -5*k - m + i = 3*m for k.
2
Let j(a) = a**2 + 8*a - 4. Let i be j(-7). Let z = 15 + i. Solve -r = -0*r + 3*w - 17, w = z*r - 16 for r.
5
Let w(l) = 2*l**3 + 3*l + 2. Let y be w(-2). Let r = y - -34. Solve -3*b + c = 2*b - 9, 4*c + r = -2*b for b.
1
Let h(x) = 6*x + 6. Let b be h(3). Suppose -7*p = -p - b. Solve -5*d = -p*o + 15, 0 = 3*o + 4*d - 2*d - 17 for o.
5
Let j(k) = k**2 - 13*k - 10. Let a be j(14). Solve -4*r + 32 = -3*v, 0*v - 5*v = -a*r + 40 for v.
-4
Suppose 8*w = 5*w + 57. Suppose 0 = -3*u + 4*d + w, 2*d + 17 = -2*u + 5*u. Solve -u