3 + 2. Let z be (-1)/(-1)*t*1. Let a(v) = 4*v**2 - v. Let g be a(z). Solve 4*h + 3*j + 3 = 2*h, h + g*j = 2 for h.
-3
Let a be 402/(-33) + (-2)/(-11). Let r = 16 + a. Solve 0 = -4*i + 12 - 32, -r*i - 16 = -4*l for l.
-1
Suppose s = 5*s - 4. Let j(v) = -v**3 - 5*v**2 + 5*v - 6. Let w be j(-6). Let g be (9/(-3))/(9/(-6)). Solve w*q + x = -q - s, x = -g for q.
1
Let o(c) = c**3 + 4*c**2 + 2*c - 1. Let w(v) = v**2 - 11*v + 7. Let n be w(10). Let r be o(n). Solve 0*q = r*j - 2*q - 12, 5*q = -3*j - 6 for j.
3
Let f(t) = -4*t + 1. Let a be 3*(-2)/(-3)*1. Suppose 4*h + 6 - a = 0. Let n be f(h). Solve 2 = n*b + 5*p + 7, -2*b + 28 = -4*p for b.
4
Suppose 27 = 4*l - 5. Suppose 0 = -3*n - n + l. Solve n = -0*t - 2*t - 4*w, 1 = -t - w for t.
-1
Suppose 0 = -5*f + 3*v + 40, f + 1 = 2*f - 2*v. Let q be 10/55 + 119/f. Solve -3*w = 3*r - 2 + 5, 4*w + r = q for w.
4
Let z(i) = i**2 - 3. Let a be z(0). Let w be a*((-2)/(-3) + 0). Let d = w + 6. Solve -2*s = -d*j - 2, 0 = j - 0*j + 5*s + 17 for j.
-2
Let o be 11/9 + (-4)/18. Let z be (9/15)/(o/5). Solve -g = 2*g, 15 = -z*w - 4*g for w.
-5
Let s = 21 - 17. Solve -n + 14 = 3*t + n, -3*t - s*n + 16 = 0 for t.
4
Let k = 6 - 3. Solve -9 = 5*x - f, -3*x - 2*f + k = 2*x for x.
-1
Let o(p) = 0*p - 4 + p + 0 - 3*p. Let y be o(-7). Let n = -8 + y. Solve -l = 4*t + 4, t + 8 = -n*l - 2*t for l.
-4
Let m be 4 - 3 - (-1 - 0). Solve 0*r - 2*r + 5*u = -10, m*r = -4*u - 8 for r.
0
Let o = 89 + -77. Solve -s - o = 2*s + 3*w, -s + 4*w = 9 for s.
-5
Let h(k) = -2*k**2 - 12*k - 1. Let y be h(-5). Solve q - a + 2 = 0, 5*q - 4*a + y + 0 = 0 for q.
-1
Let z = 14 - 9. Suppose h - 4*k = 22, -3*h - 19 = -0*h + z*k. Solve -h*t - 3*t - 17 = -3*r, -3*t - r = -1 for t.
-1
Suppose 0 = 5*j - j - 16. Solve f - 4*n = -10, -4*f = -j*n + 2 + 2 for f.
2
Let m be (10/20)/(2/(-60)). Let j = 17 + m. Solve -j*h + 5 = -5*c - 5, 5*c = -3*h - 10 for h.
0
Let m = -55 + 60. Solve m*t + 2*q = 25, 16 = -t - 5*q + 44 for t.
3
Let i = -15 - -19. Solve -9 = -i*l + 5*z, 5*l - z - 6 = -0*z for l.
1
Let j = 23 + -19. Solve -j - 2 = -3*m + 3*z, -1 = -3*m + 2*z for m.
-3
Let b(y) = -y**2 - 7*y - 6. Let n be b(-5). Suppose -4*f = -8 - n. Solve 5*a = 5*d, -f*a = d - 7*a + 9 for d.
3
Let b(a) = a**3 + 2*a**2 - 3*a - 3. Let c be b(-2). Suppose -c*p + 15 = 3. Solve p*r - r - 3 = 3*w, -4*r + 22 = 5*w for w.
2
Let u(o) = -8*o + 1. Suppose 0*j + j - 8 = -4*n, 2*j + 5 = -n. Suppose -v = -4*v - n. Let r be u(v). Solve 0 = 5*h, -3*q = -2*h + 7*h + r for q.
-3
Let v = 11 + -9. Suppose -d = -4*d + 12. Solve -5*z = p + 1, v*p - 14 + 2 = d*z for p.
4
Let h(n) = -n + 7. Let o be -4*((-21)/4 + 2). Suppose 4*w - 3 - o = 0. Let f be h(w). Solve 5*v - v - f*s = -2, -s = 5*v + 12 for v.
-2
Suppose -18 = -3*w - k, 3*k = -w + 1 + 5. Suppose -2*q = -w*q. Solve 3*p - 27 = 4*a, -5*a - 30 = -q*a - 3*p for a.
-3
Let v be 22/14 - 24/(-56). Solve n = -4*n + h - 7, 4*n = 2*h - v for n.
-2
Let c be -2*2/(-8)*2. Suppose 4 = -3*y - 5. Let b = y + 3. Solve -h + 2 = b, 5 = -k + h - c for k.
-4
Let q(s) = 5*s**2 - 2*s - 2. Let w be q(-1). Solve -w*x + 5 + 5 = -3*v, -x - 11 = 2*v for x.
-1
Let k = -100 + 100. Solve 3*l - 5*f + 4 = 0, -4*l + 4*f - 5 - 3 = k for l.
-3
Suppose 3*t - x = 4, -4*t + 3*x + 2*x = 13. Suppose 0 = t*z - j - 6, 3*z + 6 = 5*j. Solve -z*s - 14 = -m, 2*m - 6*m - s - 9 = 0 for m.
-1
Let d(j) = -j**2 + 0 + 1 + 2 - 6 - 5*j. Let x be d(-3). Solve 6 = x*s + l, -4*s - 3 = -3*s + 2*l for s.
3
Let c be -3 + 2 - (-5 + 1). Let s(q) = 13 - 3 + c*q - 2*q. Let u be s(-7). Solve 3*r - 4*j = 14, 3*j + 2*j + 16 = u*r for r.
2
Suppose -q - q = 0. Solve q = v + g + 2, -4*v + 0*g = 5*g + 9 for v.
-1
Let z(n) = -n**3 + 2*n**2 + 3*n + 2. Let a be z(3). Solve -2*u = a*c, u + 2*c - 1 = 2 for u.
-3
Let m(f) = f**3 - 5*f**2 + 5*f - 4. Let b be m(4). Suppose x - 6*x = b. Solve 4*l + x*j + 3*j + 8 = 0, -5*l = -2*j + 10 for l.
-2
Let g be (27/3)/((-2)/(-6)). Suppose 4*d = 3*p + g, 4*p = -2*d - 14 - 0. Solve 2*i + d = -2*f + f, 4*f = -5*i for i.
-4
Let b be -3*((-20)/(-6) - -2). Let n = b + 25. Let o(a) = -2*a - 2. Let t be o(-2). Solve -t*i + i = 2*s + n, 5*i - 2*s + 21 = 0 for i.
-5
Suppose 5*s = 0, -3*w + 10 = 2*w - 5*s. Suppose -4*k + w*k + 49 = m, 0 = 4*k - 4*m - 104. Solve -3*f + 5*h - k = -5*f, h - 5 = 0 for f.
0
Let g be 2*((-10)/4 - -2). Let b(c) = -4*c**3 - c. Let p be b(g). Solve -4*r = p*q - 3, 3*q - 3 = 8*q + r for q.
-1
Let q be 8/3*(-51)/4. Let u = -17 - q. Solve 14 = -2*i + 4*b, 5*i + 0*b + u = b for i.
-3
Let g(m) = -m**3 + 8*m**2 - 5*m - 10. Let v be g(7). Solve -v*j - 3*s = -0*s - 10, j = -s + 3 for j.
1
Let x(h) = 2*h**2 + 3*h - 2. Let v be x(1). Solve -5*w = 5*n, 2*w - v*w = 5*n - 12 for w.
-3
Let a be 1*(-1 + 2) - 0. Suppose 5*h - 11 = -a. Suppose q = -q + h. Solve -c - 3*d + q = -6, 2*c - 4*d = 4 for c.
4
Suppose 7*i - 108 = 3*i. Let q = i - 12. Solve 0 = -2*h - 2*g + 6 + 6, 5*g = q for h.
3
Let b be -21 + 0 + (0 - 0). Let u(g) = g**3 + 7*g**2 + 5*g - 4. Let f be u(-6). Let a be 6/b - f/(-7). Solve -12 + a = 2*j + 4*y, y = -5*j - 21 for j.
-4
Suppose -s - 3*k = -31, -6*s + 3*k = -s - 119. Solve u - 2*n - 8 = 2, -u - 5*n - s = 0 for u.
0
Let n(l) = -l + 5. Let v be -1*(-6)/(0 - -2). Suppose v*y + y + 32 = 0. Let s be n(y). Solve -11 = 2*h - 3*z, -2*h + z = -4*z + s for h.
-4
Let h(s) = -s + 10. Let f be h(6). Solve 5*i + f*l - 3*l + 6 = 0, -i + 3 = -4*l for i.
-1
Let l be -6*(3 + 7/(-2)). Suppose -4 = -a, 2*u + 2*a + 2*a = 36. Solve 6*o + m - 11 = l*o, 2*o - 2*m - u = 0 for o.
4
Let l be (-1 - 3)*(-3)/6. Solve -r = -2*r + 2*c + 2, 5*r - 2 = l*c for r.
0
Suppose 5*p - 15 = 5*g, 2*g - 7*p = -3*p - 4. Let w be (-6)/g*940/15. Suppose -5*a + 51 = -w. Solve -4*c - 12 = -2*o, o + 5*c + 0*c + a = 0 for o.
-4
Let r(i) = -i**2 + 7*i. Let c be r(7). Let f = c - -4. Solve -f*n + 0*w - 13 = -w, -3*n - 31 = -5*w for n.
-2
Suppose 4*h + j - 11 = 0, -4*h - 2*j + 3 + 7 = 0. Solve n + 2 = z - h, 1 = n + 2*z for n.
-3
Let n = -1123 + 768. Let i be (-1)/5 - n/25. Solve -4*o - d = o - i, 5*o - 3*d + 2 = 0 for o.
2
Let c be (-44)/(-10) + (-8)/20. Solve 4*z = -c*h - 4, -4*z - 4 = h + 3 for z.
-2
Suppose -3*f + 10 = -11. Suppose 6*x = 3*v + 4*x - 11, -v + 5*x + 8 = 0. Let b = -6 - -10. Solve -b*l + f*h = v*h - 24, -3*h - 14 = l for l.
1
Suppose 0 = -2*h - 4*u - 22, -4*h = -0*h - 2*u + 4. Let s be (h/5)/(7/(-35)). Solve 3*l + 2*l = -s*n - 2, 10 = -5*l - 5*n for l.
2
Suppose 0*b = -3*b. Suppose b = -6*z + 3*z + 21. Solve k + 3 = -v, -v = k - 2*k + z for k.
2
Suppose n = 24 - 4. Suppose -4*w - n = 0, -2*g + w + 25 = -2*w. Solve -2*s - 4*u - 22 = 0, g*u = 4*s - 28 + 7 for s.
-1
Suppose 0*t = -3*i - t + 20, 0 = -4*i - 2*t + 30. Let o = i + -2. Solve -2*b = 2*b + o*z + 3, 2*b + z - 1 = 0 for b.
3
Suppose -3*k = -k. Solve k = -d + 4*b + 24, -d + 0*b = -2*b - 14 for d.
4
Let o(a) = 20*a - 9. Let h be o(6). Let n = -61 + h. Suppose -n = -2*w - 2*u, 4*u + 116 = 3*w + 2*w. Solve 2*y + w = -3*x - y, -2*x - y = 11 for x.
-3
Suppose 0 = -3*a + 3*d + 2*d + 5, d + 1 = -4*a. Solve a = -3*q - 5*l + 2*l - 9, 0 = q + 4*l for q.
-4
Let a = -17 + 5. Let x be (-1)/(-3) - 20/a. Solve 5*q + 3*t - x = -9, -2*q + 2*t = -10 for q.
1
Let u = -37 + 44. Let a be 1 - -1 - (4 - 2). Suppose -j + a*j = -u. Solve -5*l - 13 - j = -i, -5 = i for l.
-5
Let a(g) = 4*g**2 + 2*g + 1. Let t be a(-1). Let u = 95 - 65. Solve t*v - 10 = v - m, u = 5*v + 5*m for v.
4
Let j = 27 - 46. Let u = -15 - j. Solve 5*m - 2 = 2*n - 37, -5*n + 45 = -u*m for m.
-5
Let y(x) = -x + 4*x - 4*x - 10. Let d be y(0). Let n be ((-8)/d)/((-8)/(-20)). Solve -b - t + 1 = -0*b, -n*t - 2 = -2*b for b.
1
Let q be -2 - ((0 - 3) + 5). Let z = -2 - q. Solve -5*t - 1 = -5*g - 6, g = z for t.
3
Suppose m - x - 4 = -3, -12 = -3*x. Solve -2*q - 14 = 4*y + 6, -m = y - 4*q for y.
-5
Let g be (-80)/(-38) - 14/133. Solve -3*z - 2 = -2*w, 5*z + 32 = -g*w + 2 for w.
-5
Let f be 1/1*(0 - -16). Let s(b) = 5*b**2 - b. Let o = -11 + 12. Let j be s(o). Solve -10 = 4*p - 3*k, -p - j*k = p + f for p.
-4
Suppose -2*j = 3*j - 25. Solve j*s + t - 15 = 0, -6*t = -11*t for s.
3
Let d be 3/12*-2*-8. Suppose -d*k = -2*k - 4. Solve 2*r + 8 = -k*h, 3*r = -5*h + 7*r - 20 for h.
-4
Suppose 4*w + 0*w - 16 = 0. Solve -3*t - t = -3*d - 4, 0 = -w*d - 5*t + 5 for d.
0
Let t be (-246)/(-8) - 2/(-8). Solve 4*w = r - 0*w 