 for q.
-3
Suppose 3*v - 3 = 4*b + 19, -v - 5*b = 18. Suppose 0 = p - v. Solve -2*i + p*x = -8, 3*i + 4*x = x for i.
2
Let t be (133/(-21) - -6)/(2/(-24)). Solve -4*b = 5*o - o - 4, o + 9 = t*b for o.
-1
Let i(o) = -o**2 - o. Let g be i(-1). Suppose g = 4*a + u + 16, 0 + 8 = -2*a - 3*u. Let v = 15 + a. Solve 7*r - h = 5*r - v, 5*h = 5 for r.
-5
Let s(d) be the third derivative of -d**4/8 - 2*d**3/3 - 5*d**2. Let c be s(-3). Solve -4*g - f - c = 0, -3*g - 9 = -0*g - f for g.
-2
Suppose -6*c + 25 = -c. Suppose 2 = t, 4*t + 1 - 18 = -3*g. Suppose g*y = 8*y - 25. Solve -40 = y*x - c*f, -x - 8 = -2*x - 3*f for x.
-4
Let d be 13/4 - 1/4. Let r(t) = t**2 - 16*t + 5. Let p be r(16). Solve u - d = c + c, -u + 9 = -p*c for c.
-2
Let h = -2 - -1. Let w be 1 + h/((-1)/2). Solve 0 = z - t + 1, 5*z = 3*t + w + 2 for z.
4
Let u(c) = -2*c - 1. Let x = 4 + -7. Let i be u(x). Solve -7*a = -2*a + 4*y - 23, -y = a - i for a.
3
Let v be (8/32)/(2/16). Solve 3*w - f - f = -9, w + v*f - 5 = 0 for w.
-1
Suppose h + 10 = 3*h. Suppose 0 = -4*g + 3*n + 22, -1 = 4*g + 2*n - 13. Solve 3*a + h*m = 2*a - 7, -3*a + g*m + 17 = 0 for a.
3
Suppose -5*r = g - 4*g - 64, 5*g + 48 = 3*r. Let n = r - 8. Solve -3*x + 2*i = -4*x + 8, -i + n = 0 for x.
2
Suppose 0*y = -5*c + 4*y - 2, 4 = -c - y. Let m be (c/3)/(12/(-162)). Solve k + 0*k = -4*d + m, -2*k - 4 = -3*d for d.
2
Let v(w) = w**2 + 4*w - 8. Let x be v(-6). Solve -5*q + x*f = -41, 2*q + 3*f + 2 = -0*f for q.
5
Suppose 0 = -3*h - h + 28. Let j = h - 5. Suppose -5*i = -0*u - j*u, -5*i = 5*u. Solve m + 3*d + 4 = u, 3*d + 0 = 5*m + 2 for m.
-1
Suppose b + 1 = 5. Let q(y) = y**2 + 6*y + 4. Let l be q(-5). Let j = l + b. Solve 5*c - 5 + 6 = -p, j*c + 2 = -2*p for c.
0
Suppose 2*q - 34 = -2*x, 5*x + 0*q + 2*q = 82. Let k be x/(-10)*(-10)/2. Let b be 2/k + 1/(-4). Solve -5*z = 2*f + 17, -5*z = -b*z - 2*f + 13 for z.
-3
Suppose o + 53 = -0*o - 3*y, 0 = -o - 5*y - 55. Let k = o + 75. Solve 2*a = -3*s + 25, 0*s - k = -a - 4*s for a.
5
Let d(j) = -j**3 + 10*j**2 + 8. Let v be d(10). Let u = 4 + -4. Solve -4*m + v = -3*m + f, -5*m + 3*f + 8 = u for m.
4
Let k(a) = a - 1. Suppose 5*t = 2 + 23. Let m be k(t). Suppose m*n = n. Solve 7*q + 16 = 3*q, -4*l + 2*q = n for l.
-2
Suppose 2*s = o + 1, -4 - 7 = -o - 2*s. Suppose 0 = o*i - 11 - 4. Suppose -m + i = -2, 0 = 3*n + 3*m - 24. Solve 4*r = 3*r + 2*q + 8, -n*r + 2*q + 12 = 0 for r.
2
Let y(b) = b**2 - 8*b + 16. Let z be y(4). Solve -3*t - 4*n - 20 = z, -3*n - 15 = -t - t for t.
0
Suppose 5*f - 5*v + 7 + 3 = 0, -5*v = -4*f - 13. Solve 6*o + 8 = 3*o + 5*k, -f*o = -4*k + 7 for o.
-1
Suppose -6*c + 4*c + 10 = 0. Suppose 0*j - 3*j = -5*r + 19, -r = j - 7. Solve 3*m - j*t - 12 = -6*t, c*m = t - 3 for m.
0
Let o(y) = -y**2 + 9*y + 27. Let i be o(11). Solve -1 = -i*d + d - q, 3*d = -4*q - 9 for d.
1
Let h be (-9)/(-2) - (-1)/(-2). Solve 0 = -5*j + h*c - c + 3, 0 = 2*j - 2*c - 2 for j.
0
Let h be -2 + (-5)/((-10)/8). Solve -3*k - 2 = h*l + 6, -l = -2*k + 4 for l.
-4
Let w(y) = y**2 - 4*y. Let c be w(2). Let j be (c - -70)*(-2)/(-2). Let n be (-2)/8 + j/8. Solve -3*t - 3 = -4*u - n, 7 = -3*u - t for u.
-2
Suppose -4*b = -4*x + 2 + 10, b + 3 = 0. Solve x*t + 5*t + 10 = r, -3*r - 4*t + 11 = 0 for r.
5
Suppose 2*h = 3*y + 9, 2 + 1 = -3*y. Solve -g = -h*z + 2*z + 4, -4*z - 8 = 2*g for z.
0
Let z(u) = -u + 5. Let b be -1 - 1 - 0/(-3). Let r be b*5*2/(-4). Let n be z(r). Solve -4*y = 4*w - 4, -5*w - 2*y + n*y - 10 = 0 for w.
-4
Let b be (0 - -5)*(-3)/(-1*3). Let o = -6 + 6. Solve -b*k - 4*h = 45, 20 = -4*h - o*h for k.
-5
Let a be ((-4)/(-6))/((-2)/3). Let r = a + 4. Solve -c - 24 = -4*c - 4*p, 2*c + r*p - 17 = 0 for c.
4
Let l(q) = -q**3 - 2*q**2 - 2*q. Let s = 39 + -24. Suppose h = b + 4*h + 5, -5*h - s = 5*b. Let n be l(b). Solve -w = 5*c - 22, 2*c + c - n*w = 27 for c.
5
Let b(c) = 4*c**2 + 8*c + 4. Let a be b(-5). Let r = -39 + a. Solve 2*w - 4*f = -3*w - 15, 0 = -5*f + r for w.
1
Let a = 3 + -4. Let m be -1 + (2 + 1 - a). Suppose 12 = -m*z + 5*z. Solve 0 = 4*f + 5*c + 16 + z, 8 = -4*f + 2*c for f.
-3
Let x be (15*1)/(-2 - -3). Solve x + 6 = -2*y - 5*v, 0 = -2*y + 2*v + 14 for y.
2
Let i be 9/((-36)/(-112)) - 4. Solve -4*v - i = -5*n - 3*v, -5*n + 20 = -5*v for n.
5
Let u(w) = -w - 9. Let q be u(-11). Solve -4*t = -a, -q*t = -8*a + 4*a for t.
0
Suppose 0 = 5*g + 3*m + 160, -3*g - 4*m = g + 128. Let h = g - -46. Solve -2*t - 8 = 0, -3*c - h = -2*t + 7*t for c.
2
Let y be 4/(-6)*-1*9. Let d = y - 0. Let s(x) = -x - 6. Let w be s(-9). Solve d*l + 17 = w*l + q, -2*l - 4*q = -12 for l.
-4
Let y be (-31)/(-3) + (-14)/42. Suppose 16 = c - 5*c, 25 = d - 5*c. Solve -4*u + d*h = 9, 4*h - y - 2 = 2*u for u.
4
Let o(g) = -g**2 - 8*g - 7. Let y be o(-6). Suppose -4*k + 0*k - 4 = 0. Let v(z) = -3*z**3 - z. Let m be v(k). Solve y + 3 = -m*l + 2*q, 0 = -4*q + 8 for l.
-1
Suppose 0 = -5*l - 2 + 27. Suppose -23 = -l*o - 3, -8 = -p - o. Suppose 3*z - 4*z = 0. Solve -k + z = a - 5, 0 = 4*a - 2*k + p for a.
1
Let s = -18 - -29. Let g = 11 - s. Solve -5*v + 4*u - 4 = g, -3*u = -3*v - 0*u for v.
-4
Let j = -21 + 37. Solve 0*w + 5*w = 4*f - 31, 0 = -4*f + j for w.
-3
Suppose 20 = l + 3*l. Let y(t) = -t**3 - 6*t**2 - 5*t. Let n be y(-5). Suppose 5*w - 5 - l = n. Solve -z + 17 = -3*c, -13 = w*z + 3*c - 2 for z.
2
Suppose -f + 1 - 6 = -4*w, -w - 5 = f. Suppose w*i = 3*i. Let z = 2 + i. Solve -4*r = -2*j - 5*r + 5, r + 15 = z*j for j.
5
Let k(g) = -4*g - 1. Let w(y) = -y**2 + 2*y + 1. Let s be w(3). Let m = -3 - s. Let t be k(m). Solve -p = 3*r - 2*p + 10, -9 = 4*r + t*p for r.
-3
Suppose -14 = m - 5*n + n, -2*m = -2*n + 4. Solve j - m*y - 12 = 0, 2*j - y = 8 + 1 for j.
2
Let w(i) = -i - 6. Let b be w(-6). Solve b = -5*g - 2*q - 20, 2*g - q + 8 = -3*q for g.
-4
Let p(f) = -f**2 + 6*f + 6. Let d be p(6). Let l = d - 4. Suppose -5*r + 4*a + 63 = 0, 5*r - 5*a - 2 = 58. Solve 0 = l*i + 5*m - r, -i = 4*i - 5*m + 15 for i.
0
Suppose 0 = 2*i + 3 - 43. Suppose 3*y - i = -2*y. Solve -y*f + m + 0*m + 9 = 0, 5*m = -4*f - 21 for f.
1
Let p be (30 - 4/(-2))*1. Suppose 3*d = -d + p. Let f = -7 + 11. Solve 3*s + d = -4*m, -3*s = -4*m - 5*s - f for m.
1
Suppose -l - 2 + 6 = -3*x, -3*l + 12 = -4*x. Suppose f + x*f = 3. Solve 4*o = 4*h, -f*h - 7 = 5*o - h for o.
-1
Suppose -2*v = 5*z + 5, -4*v + 2 = 4*z + 18. Suppose -5 = -2*m + z. Solve 3*a + m = -5*k, -3*k + 0*a - 5 = 5*a for k.
0
Suppose -f + 4*f = 30. Let a = 10 - f. Solve 2*o + 5*k - 35 = 0, -4*o + 3*k + 4 + 1 = a for o.
5
Let n be (-2)/(-4) + 38/4. Suppose -2*m - k + 3 = 0, -4*m = -k + 1 - n. Let a = 5 - m. Solve a*u = -0*o + o + 1, -3*u + 3*o = -3 for u.
0
Let c be (-3)/(-2) + 1/(-2). Solve -2*j - 5 = 5*m - 0*j, -m = 5*j + c for m.
-1
Suppose 0 = -2*k - 2*p, -2*p + 6*p = 3*k + 14. Let f(b) = -3*b - 3. Let j be f(k). Solve -z + 5*z = -a, -j*a - 4*z = -8 for a.
4
Suppose -4*x + 7 + 1 = 0. Suppose 3*d + x = 8. Let h be ((-1)/3)/(d/(-12)). Solve -2*g = 3*s + 5, 0 = -h*s + g + g for s.
-1
Let l be -3 + 2 + 2*1. Let y(m) = m**2 - 13*m - 43. Let c be y(16). Solve -s + 0*p + 2*p = l, -c*p = 4*s - 9 for s.
1
Suppose -20 = -5*t - 5. Let v = t - -21. Solve 2*n + 2*n = -4*l + v, -4*n + 22 = 2*l for l.
1
Let n = -2 - -5. Let r be 21/(-4)*(-8)/n. Suppose 0 = -3*b + r - 5. Solve 2 + 3 = -4*d + s, -b*s = d - 2 for d.
-1
Let r(f) = f**3 + 7*f**2 - 10*f - 10. Let h(t) = 2*t + 6. Let d be h(-7). Let c be r(d). Let x be c/5*10/4. Solve -3*n = -4*i + 20, 0 = -x*i + 5*i - 4 for n.
-4
Let b(y) = 3*y + 42. Let p be b(-13). Solve -2*s + 8 = p*j, j - 12 = 3*j - 3*s for j.
0
Suppose 2*z = -2*z + 12. Solve -3*r - 2 = 4*d, -d + 3 = z*r - 1 for r.
2
Let f(q) = q**2 + 3*q + 3. Let a be f(4). Solve -o - o - 5*u + a = 0, -3*u = -4*o - 3 for o.
3
Let p be 20/6 + 8/12. Solve -5*q - p*z = -4, 0*q + 16 = q - 3*z for q.
4
Suppose -p - 52 = -57. Solve d = 4*g - 12, -p*d + 4*g + 12 = 2*g for d.
4
Let t(a) = a + 12. Let l(q) = q**3 - 5*q**2 - 6. Let g be l(5). Let f be t(g). Suppose 0 = -0*k + 2*k - f. Solve 4 = -k*h + 2*x - 8, 3*h = -2*x for h.
-2
Let d be (-2)/(-4)*(-3 + 3). Let v = d + 0. Suppose 5*a + 10 = v, 5*n + 4 + 0 = -2*a. Solve n = -z - 4*t - 17, t - 2 + 1 = -2*z for z.
3
Let u(k) = k + 7. Suppose 2*t + 5 + 5 = 0. Let w be u(t). Let v be w/(-1)*-7 - 1. Solve -v = -5*c + 4*j, -2*j - 2*j = -2*c + 10 for c.
1
Suppose -h 