 a for q.
4
Let a be -2 + 5/(15/(-6)). Let y be (15/10)/((-2)/a). Let l = 6 + -4. Solve l*n + 3*n = y*h + 1, 2*h + 9 = -5*n for h.
-2
Let m = 1 + 6. Let b = m + -4. Solve -3 = 3*c - 0*c, 4*w = b*c - 1 for w.
-1
Suppose -5 = -10*k + 9*k. Solve k*s = c - 5*c + 13, 3*s - 11 = -4*c for c.
2
Let q = -6 - -8. Let k be -2 + (-1 - -3) + q. Solve 13 = y + k*s, -4*y + s + 21 = y for y.
5
Let f = 13 + -11. Solve 0 = 4*r + 5*i + 10, -i = f*r - 1 + 9 for r.
-5
Let u(b) = b**3 + 5*b**2 - 1. Let g = 4 + -9. Let l be u(g). Let n = 6 + l. Solve -n*o + 3*t + t - 23 = 0, -o - 13 = -5*t for o.
-3
Let o(p) = p + 1. Let x be 2/3*(-108)/(-8). Let u be o(x). Solve -5 = -2*n + 3*w, -2*w + 0*w + u = -4*n for n.
-5
Let y be (-30)/(-26) + (-14)/91. Let t = y + 3. Solve -t*c + 13 = -n + 1, -3*c = -3*n for n.
4
Let d be (84/15)/(2/5). Solve 3*x + d = -5*c, 2 + 2 = -2*x - 2*c for x.
2
Let m(g) = g + 2. Let i be m(5). Suppose -4*d = -i*d + 3. Solve -2*s = -d + 3, -o = 3*s for o.
3
Let r be (1 - 0)/((-2)/(-4)). Solve r*k + 16 = -4*b, -2*b - 5*k = 3*b + 15 for b.
-5
Suppose 2*s + 3*s - 10 = 0. Suppose s*f - 15 = -3*f. Suppose 2 + 1 = 3*b. Solve -r - f = -4*p + 1, -b = 4*r - p for r.
0
Suppose 2*a - 4 - 6 = 0. Suppose -2*q - q + 9 = 0. Suppose u + q = 8. Solve 0 = 3*k + a*v + 20, 4*k + 10 = k + u*v for k.
-5
Suppose 2*l + 3 = -r, 0*l + 3 = 2*r + l. Solve -2*u - 3*z - z = -18, -r*z = -3*u + 9 for u.
5
Let g be 1/(-3) - 28/6. Let z(y) = -y**3 - 5*y**2 - 5*y - 7. Let q be z(g). Solve 3*r = 3*n + q, -r = -6*n + n - 26 for r.
1
Let c be (-264)/(-32) - 6/(-8). Let p = c - 5. Solve 0 = -3*t + 3*m + 3, p*t - m - 8 = 2 for t.
3
Suppose 13 = 4*i - 7. Solve 5*r = g - 7, r = -i*g - 18 + 1 for r.
-2
Let b(y) = y + 1. Let c be b(1). Suppose -c*w + 3*w - 2 = 0. Suppose -4*s + 88 = -w*k, k = 3*s + 4*k - 48. Solve 0 = -o - 3*v + 5, v = -4*o - 4*v + s for o.
5
Suppose -2*b + 3 + 3 = 0. Solve r - 3*q + 4*q = 6, -2*r + 7 = -b*q for r.
5
Let k be (-2)/8 - (-1)/4. Let p = k + 0. Suppose 2*o - 10 = p, w - 14 = -2*o - 4. Solve -10 = 2*n - 7*n + f, n + 2*f - 13 = w for n.
3
Suppose -5*m - 8 = -2*k - 0, -m = 5*k - 20. Solve m*u - 4*u = 16, 0 = -2*s + 2*u - 2 for s.
-5
Suppose 4*h - 2*h + 8 = 0. Let j = 0 + h. Let s be 0/(-1)*j/8. Solve -16 = 2*n - 4*d, s = -4*n - d - 3 - 2 for n.
-2
Let z = 0 + 5. Solve g + 5 = -2*m, m + 2*g = -0*m + z for m.
-5
Suppose -11*r - 8 = -15*r. Solve -2 + 10 = -r*s + 4*j, -s = 3*j - 1 for s.
-2
Suppose -10 = -3*z + 5. Solve z*h + i - 8 = 0, 4*h - 5*i + 0 = -11 for h.
1
Suppose 3*c - 4 = 2. Let z(i) = -9*i**2 + 12*i**2 + 2*i - 4*i**2. Let p be z(c). Solve -3*d = x - 12, 5*d - 4*x - 3 = -p*d for d.
3
Let u = -16 - -16. Solve x + 0*x - 5*a + 2 = 0, 4*a - 4 = u for x.
3
Suppose w + 7*b - 20 = 2*b, 0 = 5*w - 2*b - 181. Let y = 1 - 1. Let i be y/1 - (-4)/1. Solve -16 = -i*j - k - 0*k, -3*j = -5*k - w for j.
5
Suppose -10*l - 2 = -11*l. Solve -4*y - y + 2*p = 6, l*p - 2 = 3*y for y.
-2
Let d(p) = -p**2 - 3*p + 2. Let n be d(-3). Solve -k + 6 = -4*b + n*b, 3*k = 0 for b.
-3
Suppose 0*b + 11*b = 6*b. Solve g - 6*g = 0, b = -v - 3*g + 5 for v.
5
Let l(w) = 3*w - 28. Let v be l(12). Solve -v = u - 3*g, 3*u + g - 15 = -3*g for u.
1
Suppose -1 = -l + 4*d - 37, -4*l + 2*d - 88 = 0. Let k be ((-21)/12)/7*l. Solve -k*c + 2*z = -35, 2*c = -3*c + 3*z + 40 for c.
5
Let n(h) = -h - 5. Suppose 0 = v + 2*y - 6, 2*v + 5*y = -3*v + 5. Let x be n(v). Let a(t) = -9*t + 1. Let q be a(x). Solve 5 = -0*b - b, -5*f = -b - q for f.
1
Let z be (4 - 1)*(-2)/(-2). Let w be 58/(-5) + 18/30. Let a(d) = 2*d + 27. Let l be a(w). Solve 6*b - z*b = -y - 12, -4*b + 3 = -l*y for y.
-3
Let q be (-24)/(-36) + 26/(-3). Let s = q + 10. Solve 0 = -s*a - 0*a + 5*o - 8, -5*o = -5*a - 5 for a.
1
Suppose -29*n - 5 = -30*n. Solve -c + 5*b - 31 = c, 37 = -4*c + n*b for c.
-3
Suppose -3*d + 5*d = 0. Suppose d = -3*a + 16 - 1. Solve a*b + 21 = 3*m, -6*m + 16 = -m - 2*b for m.
2
Let u = 15 - 13. Let v be (5 - 20)/(1 - u). Solve 5*q = v, -4*a = -3*a - 2*q + 7 for a.
-1
Let k(u) = -2*u - 7. Let t be k(-6). Let n = 58 - 33. Suppose -3*i - 3*v = -15, -n = 2*i - 4*i - 5*v. Solve 3*s - o - 4 = -1, -5*s - 2*o + t = i for s.
1
Suppose 1 = -g - 1. Let m = g + 4. Solve -4*b + m*j - 11 = -9*b, -4*b = -5*j - 22 for b.
3
Let j(x) = -x**2 + 13*x + 19. Let u be j(14). Solve 0 = -3*w - 6, u*w + 2 + 6 = -2*f for f.
1
Let p = -146 + 146. Solve -4*t - 3*h - 11 = 0, p = t + 4*h - 7 for t.
-5
Let z(x) = 4*x + 0*x - 5*x + 23. Let j be z(14). Solve 5*w = -2*a - j, 0 = -5*w + w - 4*a for w.
-3
Let d be 45/12 + 1/4. Let j be (d/(-6))/((-2)/(-30)). Let l = j - -14. Solve -5*m + 3*u + 1 = -10*m, -l*u = -5*m + 13 for m.
1
Let f(p) = p**2 + 3*p - 6. Let a be 6/4*(-42)/9. Let x be f(a). Solve 11 = -4*b - 3*o, 2*b = -0*b + 4*o + x for b.
1
Suppose 4*t - 15 = -t. Suppose -2*n - 4*d + 0*d = -38, -2*n + 52 = -t*d. Solve l + 4*j = n, 0 = -l - 4*l + 2*j + 5 for l.
3
Let u(r) = r**3 + 4*r**2 + r + 4. Let v be u(-4). Suppose v = -5*z + z. Solve -5*h - 3 = -q - 4, 4*h = z for q.
-1
Let w be 15/10*(0 + 2). Solve w*q = 6*q + 3*c - 6, -2*q - 8 = -c for q.
-2
Suppose 4 = 2*n - f, 5*n + 4*f + 0*f - 36 = 0. Let c be (1/3)/(n/36). Solve -9 = -2*z + 2*v - 5*v, -c*z - 3 = -v for z.
0
Suppose 2*l - 4*l + 14 = 0. Let x(p) = -6*p**3 + 15 - 2 - p + l*p**3 - 10*p**2. Let w be x(10). Solve -w*j + 10 = -k - 0*j, 2*j - 16 = 3*k for k.
-4
Let q(z) = z + 2. Let p be q(-3). Let n be (25/(-20))/(p/4). Suppose -n*x = 5*v - 10, -5*x + 6 = v - 8. Solve -5*w + 0*r = -5*r - 10, -x*w + 7 = -2*r for w.
3
Suppose 7*m - 6*m - 8 = 0. Solve 5*v - 30 = -c - m, 4*c - 3 = -3*v for c.
-3
Let a(w) = -w + 1. Let d be a(-3). Suppose -d*h = h + 40. Let o = -3 - h. Solve 3 = -5*k + 3*x, 4*x - o = 5*k - 1 for k.
0
Let g be ((-4)/(-12))/((-1)/3). Let n be 4 + -7 - (-5 - g). Let y be (-5 - n)*(-1)/3. Solve -2*x - 14 = 3*x + c, y*x = c for x.
-2
Suppose 0*v + 6*v = 0. Solve -5*k + v*k + 17 = 4*d, 0 = 2*d + 4 for k.
5
Suppose 3*d + d - 28 = 0. Let j = d - -7. Solve 0 = -x + q - 2, -5*x - 2*q + 4 = -j for x.
2
Let u be (10/4)/(1/2). Suppose u*k - 21 + 1 = 0. Solve -k*v + 8 - 2 = 3*j, 5*j + 5*v - 5 = 0 for j.
-2
Suppose 2*q + 4 = 2*h, 5*q = 5*h + 2*q - 14. Let n(s) = -2*s**2 + 20*s + 23. Let y be n(11). Solve -5*o + 3*o - y = -m, -7 = h*m + 3*o for m.
-1
Let p(d) = -d**2 - 8*d. Let u(h) = -7*h. Let r be u(1). Let c be p(r). Solve m - 10 = t + 3*m, 2*t - 5*m - c = 0 for t.
-4
Let x(i) = -i**2 + 8*i - 3. Let v be x(7). Let a(h) = h**2 - 6*h + 2. Let g be a(6). Solve -31 = 2*z + g*t + 3*t, 4*z - v*t = 8 for z.
-3
Let y = 53 - 50. Let u = -2 + 7. Suppose -t + u*t = m + 71, t + 2*m - 11 = 0. Solve -b + y = b - h, t = 3*b + h for b.
4
Suppose 0*d - 39 = -3*d. Suppose 0*y - 3*c + d = y, -4*y - 3*c = -16. Solve 5*h - 6*n + 20 = -n, -5*n = 2*h + y for h.
-3
Let m be -1 + 1/(2/6). Solve -3*w = 0, 0 = m*f + w - 5*w - 8 for f.
4
Let d(n) = 3*n - 5. Let l be d(5). Suppose -2*b + 0*b + l = 0. Let o = 9 - b. Solve h = o*h - 2*g - 13, 5*g + 30 = 5*h for h.
1
Let w(v) = -v**3 - 2*v**2 + 2*v. Let r be w(-3). Suppose r*j - 11 = -4*c, -j + 2*j - 12 = -3*c. Solve -c*h + l = -29, 2*h + 1 = -2*l + 3 for h.
5
Let a(g) = g**2 - 18*g + 34. Let k be a(16). Solve c - k = 5*o - 3*o, -3*o - 3 = -3*c for c.
0
Suppose -4*w = 5*h + 9 - 4, -3*h - 3 = -2*w. Solve 3*v = -7 + 19, w = -2*q - 5*v + 22 for q.
1
Suppose q = 1 + 3. Suppose -4*o - 2*i - 3*i = -33, -i = o - 7. Suppose 0*t - 3*j - 36 = -3*t, 5*j = o*t - 36. Solve k - q*g - 10 = -g, -k + 2*g = -t for k.
4
Let h = 7 - 1. Let t = 10 - h. Let i = t + -1. Solve 3*g - 30 = i*d, 0*g + 5 = -2*d - g for d.
-5
Suppose 3*t = 8*t + 4*t. Solve t*r = -3*r - 3, -r = -l for l.
-1
Let i(p) = -4*p + 1. Let f be i(1). Let z(w) = -2*w - 2. Let k be z(f). Solve -2 = -2*a, -k*d - 7 = 5*a + 4 for d.
-4
Suppose -5*w = 2*x - 21, 3*x - 1 = -5*w + 18. Solve i + w*o = -3*i + 26, -4*i = 3*o - 22 for i.
4
Let m = 20 + -12. Let f be 36/m - (-2)/(-4). Suppose 4*d - 49 = -5. Solve -3 = -3*j + f*w - d, -3*w = 3*j - 6 for j.
0
Let k = -8 + 11. Solve -8 = 2*j, -j = -k*p + 4*j + 5 for p.
-5
Let r(a) = a**2 - 2*a - 11. Let j be r(5). Solve 3*d - 2*w = -22, -4*d + j*w = 19 + 17 for d.
-4
Suppose -9*s + 12 = -6*s. Solve 4*u - 8 = -4*r, r + s*u - 13 = -2 for r.
-1
Let y be (-3)/(-5) - (-14)/10. Suppose y*n - 3*l = 7, -l = 3*n + 