17 for q.
2
Let n be (3/4)/((-1)/(-4)). Let t be (-3)/(n/3) - -7. Solve -t*r = 4, 3*i - 3*r - 2 - 7 = 0 for i.
2
Let i = 6 - 3. Suppose i = -t + 7. Solve 17 = 3*l - w, -4*l = -l + t*w - 7 for l.
5
Suppose 4*h = 2*g + 7 + 1, -g + 3*h = 8. Let x = -1 - 0. Let d = g + x. Solve -5*v + d*w + 35 = 0, -4*v - 2*w + 1 = w for v.
4
Let d(l) = -l**2 - 7*l - 4. Let b be d(-6). Suppose -b*f = -3 - 1. Solve j + n = 4*j - 2, -f*j = -2*n for j.
1
Let v = -1 - 2. Let w be -1*(0 + v/1). Suppose 4*o + 3*g = 5*o - 2, w*o = -5*g + 20. Solve -2*l + o*l = 2*j - 9, j = -l + 2 for j.
3
Let s be (-9 - 1) + -2 - 1. Let d = 23 + s. Let j be d/3*(-12)/(-10). Solve -j*y - 2*n = 0, 22 + 2 = -2*y + 5*n for y.
-2
Let s be (-2)/((-4)/(-2))*-2. Let h = 261 - 245. Solve -s*t - h = i + 2*i, 4 = -4*t + i for t.
-2
Let h = -23 - -57. Suppose 3*d = d - 5*w + h, -3*d + 5 = -4*w. Solve -d = -2*s + t, 3*t - 15 = -s - 2*s for s.
4
Suppose 0 = 3*c - 37 + 1. Solve -q + 3*w + w - 12 = 0, 4*q = -2*w - c for q.
-4
Let j(r) = -3*r + 4 - 4. Let m be j(-1). Suppose 0*q + 2*i + m = -q, 2*q - i - 9 = 0. Solve 4*p + p + 4 = -q*c, -4*c = 3*p - 2 for c.
2
Let o = 2 + -4. Let b(d) = 3*d**2 - 4*d - 3. Let h be b(o). Solve -3*i = 5*t - 4*t + h, 5*t - 2*i = 0 for t.
-2
Suppose 2 = h - 2. Let k = -2 + h. Solve b - 4*a - 16 + 0 = 0, 4*b - k*a = 22 for b.
4
Suppose 0*a = -4*w - a - 33, 0 = 2*a + 2. Let v = -6 - w. Solve -2*n - 35 = n + 4*z, v*z = 5*n + 15 for n.
-5
Let n(w) = 2*w - 3. Let d be n(3). Solve 0 = -v - d*r + 10 + 4, v + r - 6 = 0 for v.
2
Let n be 3 - (2 - (-3 + 4)). Solve 0 = n*v - v + 4, 3*v = 2*w - 8 for w.
-2
Let q(t) = -4*t - 16. Let k be q(-5). Solve -12 = -k*d, -2*d = 3*w - 3*d + 12 for w.
-3
Let a(w) = 5*w**2 + w. Let q be a(-1). Let n be q/(-18)*-12*3. Suppose -o - 4 = -2*y, -y + n = o + y. Solve 0*r + 4*r - 3*s = -1, -3*r = -o*s for r.
2
Let k(m) = -m**2 - 6*m - 3. Let s be k(-5). Suppose s = -c + 4. Solve c*o = 4*t - 2*t - 10, t = 4*o + 8 for t.
4
Suppose -5*x - 8 - 2 = 0, -3*k - 3*x = 0. Suppose -2*t + k*h = 4, -t = t - 5*h + 16. Solve 0 = 5*v + t*f + 25, 30 = -5*v - 3*f - 0 for v.
-3
Let g(z) = z**2 - z + 4. Let r be g(3). Suppose -4*f - f + r = 0. Solve 0 = 3*c - j + 11, f*c - c - 3*j = 7 for c.
-5
Let j(k) = -k**2 - 8*k + 4. Suppose 21 = 5*a - 19. Let b = a + -16. Let q be j(b). Solve -n = q*n + d - 22, -4*d = -3*n + 27 for n.
5
Suppose 21 = 4*u + 1. Solve -5*v + 3 + 42 = 4*j, v = u*j - 20 for v.
5
Let d = 16 + -8. Solve 2*l - 7 = x, d = 2*l - 2*x - 4 for l.
1
Let j(d) = -d**2 - 14*d - 20. Let n(s) = -s**2 + 4*s - 2. Let q be n(6). Let r be j(q). Let m = 33 + r. Solve 5*l + 4 = 4*b + 35, -b + 3*l - m = 0 for b.
-4
Suppose -12 = -x - 3. Suppose -4*m = 16, c = -5*m + 2*m - x. Solve -c*y = 2*r, 0*r + 5*y = -3*r + 1 for r.
-3
Suppose 0 = 5*v + 3*x - 46, -7 = -4*v - 2*x + 29. Let o be (-4)/(-5)*5/2. Solve 5*h + o = 4*h, -q = -2*h - v for q.
4
Suppose -4*i + 15 + 29 = 0. Suppose 0 = 3*f - 2 - 4. Suppose -5*q + 18 = o, 4*q - f*o - 8 = 3*q. Solve -q*s = 2*h + 2, 6*s - 2*s = -5*h - i for h.
-3
Suppose 3*h - 15 = -0. Let i = 2 + 1. Let q = h - i. Solve 0 = q*p - 2*g - 10, 6 = -3*g - 9 for p.
0
Let r(h) = h**3 - h**2 - h - 1. Suppose 8 = 2*t + 2*t. Let p be r(t). Solve -3*i + k - 14 = -p, -i - 19 = -4*k for i.
-3
Let w = 4 - 5. Let d be 8 + (w - (-1 - 1)). Suppose 1 = 5*n - d. Solve 2*b = n*g, -3*b - 10 = -0*b - g for b.
-5
Suppose y = 5*y - 20. Solve -2*l + 13 = 4*n + 1, y*n - 30 = 5*l for n.
4
Suppose n = -6 + 16. Let v be ((-8)/(-10))/(4/n). Solve -2*s - v*k = 3*k - 22, -5*k = -5*s - 15 for s.
1
Suppose 5*f + 1 = 4*f. Let r be 4*f/(1 - 2). Solve -15 = r*m + 3*i + 6, 2*m - 5*i = 9 for m.
-3
Let i(h) = h + 7. Let b be i(-4). Suppose 8*q - b*q = 10. Suppose 5*u = 2*u + 12, -4*c = -q*u - 4. Solve -c*y = -5*k + 1, -5*k - 17 + 4 = 4*y for k.
-1
Suppose 4 = -u + 2*o, u - 16 = -3*o - 5. Solve 2*t + 4 = -u*x, -t - x = -6*x + 14 for t.
-4
Let k(g) be the first derivative of g**3/3 - 5*g**2/2 - 13*g + 9. Let f be k(7). Solve n - 4 = 4*y, 2*n = 2*y - f + 3 for n.
0
Suppose 2*f = -2*k - 2, 5*k + f - 19 = 4*f. Solve 2*s = k*d - 6*d + 22, 0 = -4*s + 2*d + 14 for s.
5
Suppose 5*a - 10 = -0*a. Let j = 0 + 4. Suppose a*o - 5*k + 25 = j*o, -4*o + 3*k = 15. Solve 0*n = -3*n + 6, o = 4*i - 2*n + 20 for i.
-4
Let a be 20/(-30) - 22/(-6). Solve k + 0 = -4*o + a, o - 2 = k for o.
1
Suppose -t = 4*u - 18, -5*u = 5*t + 9 - 39. Let z = 1 - -19. Suppose 11*n - 15*n = -z. Solve u*q - 7*q = -2*x - 13, 5*x = n for q.
5
Let c(o) = -o**3 + 14*o**2 - 14*o + 19. Let d be c(13). Suppose -d*h + 28 = h. Solve 0 = 3*v - h*k + 3, -3*v - 3*k = -v + 2 for v.
-1
Let v be (-2)/5 - (-28)/(-5). Let u = -3 - v. Solve u*z + 2*t = 16, 4*t = 3*z + 3*t - 10 for z.
4
Let j be (0 + -1)*24/(-3). Suppose 2*i - j = -0*i. Suppose i = t + t. Solve 0 = -4*r + 3*z - 11, -3*r = -7*z + t*z for r.
-5
Suppose 0 = -3*l + 3*k - 21, -3*l - 2*k = 1 + 10. Let s be 3/(-15) - 16/l. Solve 0*u + 6 = 2*d + 4*u, -s*u + 12 = 0 for d.
-5
Suppose 3*y - 30 = -3*y. Solve -5*q - y*v + 35 = 0, q + 3*v + 13 = 7*v for q.
3
Let d(q) = -q + 3. Let j be d(-4). Let g = j + -4. Let y = -1 - -1. Solve -l - g*a - 5 = y, -3*a - 3 - 26 = -5*l for l.
4
Suppose 3*f = -2*f. Suppose r - 5 = -4*r. Let y be (31/1)/(r/1). Solve -5*v - 3*p = -y, f = 3*v + p - 29 + 12 for v.
5
Suppose 0*n + n - 4 = 0. Let w be (160/(-12))/n*-3. Solve 5*b + 5*d - d - w = 0, -2*d = -2*b - 14 for b.
-2
Let h(c) = -2*c**2 - 16*c - 9. Let y be h(-6). Solve 3*u = -2*k - 4 - 1, -y = 3*u for k.
5
Suppose -4*r - 1 = -9. Suppose 0 = l - 4*l + 15. Solve q - 4*b - 9 = 0, l*q = -0*q + r*b + 27 for q.
5
Let w(n) = 0 - 4*n**2 - 3*n + 4*n + 5*n**2 + 2. Let g be w(0). Solve 3*z + h + 10 = 0, -g*z = h + h + 4 for z.
-4
Suppose -6 = -4*q + 2. Solve -5 = -4*a + 5*y + 15, -q*a + 10 = 2*y for a.
5
Suppose 21*n = 14*n + 28. Solve -3*s - n*w = 4, -5*s + 24 = -5*w + 4*w for s.
4
Let r = 11 + -8. Let w be 0 + 3*4/r. Solve 3*h = -4*a - 2 + w, 0 = 5*a - 3*h - 16 for a.
2
Suppose 4*c - 2*c - s + 32 = 0, -2*c - 5*s - 20 = 0. Let l be 12/5 + 6/c. Suppose 1 + 3 = g - 4*z, -l*z = 0. Solve k - 3*k + 2 = 4*d, 0 = 2*d - g*k + 4 for d.
0
Let x = -5 - -8. Suppose -17 = -2*g - x. Let z be 4/(-18) - (-984)/54. Solve 2*t - g*t = -2*h + z, 2*h = -2*t - 10 for h.
-1
Suppose 0 = c + 2*t - 3, 0 = 5*c - t + 6 - 32. Solve 2*g = -4*m - 4, 4*g - c = -3*m + 2 for m.
-3
Let w(x) = x**3 - 5*x**2 - 5*x - 2. Let n be w(6). Solve 3*d = 4*t + d + n, 5*t - d + 2 = 0 for t.
0
Let n = 94 + -91. Solve -5*h = -2*x + 20, 2*x - n - 1 = h for x.
0
Let o be -66 - (-3)/9*-3. Let j = -42 - o. Solve 15 = -3*q - 2*y, -3*q - 5*y + 1 - j = 0 for q.
-3
Suppose 5*d - u = 65, -2*d - 5*u = 2*d - 23. Solve 5*m = -4*v - 15, -5*v + 2*v - d = 3*m for v.
-5
Let z = 27 - 22. Solve -2 = -5*k - t - 3, z*k + 3*t - 7 = 0 for k.
-1
Suppose -4*g = 5*s - 65, s - 57 = -4*g + 4*s. Let x = 2 + g. Solve 11 = f + 3*y, -f = -4*f - 5*y + x for f.
-1
Let j = 13 + 2. Let z be -5*((-36)/j + 2). Let o be (-1)/(-1) - (z - 2). Solve -3*k + 4*i - o = 0, -i + 2*i = 5*k - 4 for k.
1
Suppose -3*x - 6 = 0, 5*f + 0 + 4 = -2*x. Solve 5*z - 6 = -5*s + 6*s, 4*s + 5*z - 26 = f for s.
4
Let u(r) = 3*r**3 - 1. Let n be u(1). Suppose 0 = n*j - 6*j + 8. Solve 3*g - 18 = -2*i - j*i, -i + 11 = 4*g for g.
2
Suppose -8 = 30*o - 34*o. Solve 0 = 3*a - 2*s - o, 3*a - 4*a - 10 = 2*s for a.
-2
Suppose -4*f + 2*f = 2*p - 14, -5*p + 2*f = -7. Suppose p*x + 4*b = 8, -5*x - 4 - 6 = -5*b. Solve 2*m - 5 = g, 0 = -g + 5*m - 8 - x for g.
-3
Suppose -2*x = t + 22, -x = -t - 2*t - 38. Let h = -6 - t. Solve -4*p + h = 4*u, 5*u + 2*p + 2*p = 12 for u.
4
Suppose 3*v - 6*r = -2*r + 73, -v + 35 = -4*r. Suppose 3 = -k + v. Suppose -3*f - k = -s, -s + 2*f - 3 = -15. Solve 2*m + 5*i + 1 + s = 0, 5*i + 30 = 3*m for m.
5
Suppose 3*m = -4*t - 3, -6*t + t = -5*m - 5. Let f = t + 2. Solve -5*i + 2 = -f*b - 3*i, 5*b + 3*i + 37 = 0 for b.
-5
Suppose 35 = -0*g + 5*g. Let h = -3 + g. Solve w - 2*c = -3*c + 5, c = h*w for w.
1
Suppose 0 = h, -3*v = -0*h + 2*h - 15. Suppose 2*s + 110 = 4*a, -3*a - s + 95 = -v*s. Solve a = -2*k - 3*k, u = -4*k - 23 for u.
-3
Let v = -28 + 33. Solve -4*s + 4*c = 32, 2*s - s + v*c - 10 = 0 for s.
-5
Let h = 8 + -3. Let d(l) = -l**3 + 4*l**2 - 3*l + 3. Let f be d(2). Suppose 3*n - 4 = n. Solve n*q = 6*q - 5*v + h, 5*v -