3
Suppose -6 = -t + 2*t. Let g be (-27)/t*6 + 0. Let u = 35 - g. Solve 5*w + u = -4*z - 9, -4*w = z + 18 for z.
2
Suppose 4*k - 49 = 3*j, -j - 15 = -4*j. Suppose -k = 148*q - 152*q. Suppose -2*c - q = r + 4*r, 2 = -c. Solve 0 = -2*u - 3*y + 12, r = 4*y - y - 6 for u.
3
Let z(l) = -22*l**3 + 14*l**2 + 20*l + 6. Let i be z(-1). Solve -2*n + 12*g - 8*g + i = 0, n - 16 = 3*g for n.
1
Suppose -l = -2*l + 24. Suppose -29*v + l*v = -25. Suppose -7*o + v = -16. Solve 0 = 5*h + o*p + 14, -4*p = -7*p - 9 for h.
-1
Let r(w) = -w**3 + 7*w**2 + 8*w + 9. Let a be r(8). Suppose f - 57 + 24 = 0. Let s = f - 30. Solve -4*t - 10 = m - 22, -s*t + 2*m + a = 0 for t.
3
Let r(u) = u**3 - 88*u**2 + 106*u - 1651. Let a be r(87). Suppose -i - 3*i = 0, -4 = -x - 2*i. Solve 0 = -2*m + h + x, a*h = -2*m + 3 + 1 for m.
2
Let q(v) = 8 + 50*v + 10 - 49*v. Let r be q(-14). Let z be (-9)/(-2) - (-2)/r. Solve 0 = -o + z*i + 21, -3*o + 0 = -i + 7 for o.
-4
Let n be -2 - 20/(-6) - 84/63. Suppose n = -y + 2*k + 17, y + 4*y - 2*k - 117 = 0. Solve 4*d - 3*i + 25 = 2*i, -d = 5*i - y for d.
0
Suppose -629 = -22*w + 16333. Let i = w - 771. Solve -3*q = f - 4*q + 2, 3*f - 5*q = i for f.
-5
Let t(u) = -15*u + 153. Let j be t(10). Solve -3*p - 9 = -j*x + 15, 0 = 5*p + 5*x - 10 for p.
-3
Suppose -13*w = -3*l - 18*w - 18, 3*w = 2*l - 7. Let t be l*1*(-57 - -57). Solve 32 = 4*f + 4*q, 0 = 2*f - t*f + 4*q - 26 for f.
3
Suppose -16*g - 61 + 233 - 92 = 0. Solve -g*v = 4*r + 11, 12*v - 9*v + 6 = -3*r for v.
-3
Let v be 0 + (-1)/(4/216). Let n be (v/12)/((-2)/4). Suppose u = n + 3. Solve -5*a + 15 = -4*c - 0*a, -5*c - u = -4*a for c.
0
Let h = 141 - 149. Let z be (15/6 - 4 - -1)*h. Solve 2*k = -2*c + z, 0*k - 6 = -4*c - 3*k for c.
0
Let v(f) = f**2. Let g(n) = -10*n**3 - 2*n**2 + 5*n + 3. Let r(z) = g(z) + 3*v(z). Let k be r(-1). Solve 8 = -0*t - 4*t - 5*i, 0 = t + 3*i + k for t.
3
Let q(j) = j**3 - 5*j**2 + 4*j + 4. Let h be q(5). Let t be 1 - 3 - h/(-4). Suppose -t + 13 = 3*b. Solve 0 = -b*s - 3*w + 3, -4*s - 2 = -3*w + 29 for s.
-4
Suppose -5*w - 184 = -3*l, -l - 8*w + 38 = -5*w. Suppose -4*a = -l*s + 58*s - 27, 2*a + 2*s - 12 = 0. Solve -5*k - 15 = -a*c, -2*c + 10 = -2*k - 0 for c.
5
Let y = -370 - -458. Suppose 0 = 4*n - 4*t - y, n + 16 = 3*t + 30. Solve -5*s - 2*i - 2*i - 37 = 0, -2*i = 4*s + n for s.
-5
Let n be 3/((-2)/(-552)*(-57 + 66)). Solve 4*w + n*x - 94*x = -4, 4*w + 4 = 5*x for w.
-1
Suppose 17*d = -200*d + 868. Solve d*h = -3*w + 6, -3*w + 6*w - 6 = h for w.
2
Let a be (-736)/(-23) - -4*(-1)/2. Suppose -3*m + 12 = a. Let y be 27/m*(2 + (-16)/6). Solve 5*g + 2*d - 5*d = 2, -y*g + 2 = -d for g.
1
Suppose -5*j = -x - 96, -88 = -4*j + 2*x - 4*x. Let m be (j/15)/(2/(-6)). Let n be 1/(m/(-160)) + -5. Solve 5*r + n = 5*i - 0*r, -2*i = -r - 10 for i.
3
Suppose -8*o + 4*o + 2*u = -8, 0 = 3*u. Let t = -36 - -41. Suppose 7*p = 2*z + 2*p, t*z - p = 23. Solve -2*m = -f - 0 - o, m = -z*f + 1 for f.
0
Let z(d) = 29*d + 28. Let t be z(-3). Let b = 69 + t. Solve -2*r - 3 = -5*u + b, 5*u = 3*r + 17 for u.
1
Suppose -120 = -9*o + 5*o. Let z be (34/8 + -5)*-2*o. Suppose -z = -3*t - 3*m - 12, -5*t + 4*m = -19. Solve 10 = 3*y - r, -r = y + 1 - t for y.
4
Let t(c) be the second derivative of c**5/4 - c**4/12 + 2*c**3/3 - c**2 - 63*c. Let h be t(1). Solve 11 = a - 3*n, n = 5*a - 7 - h for a.
2
Let y = 94 - 43. Suppose 0 = -56*d + y*d + 20. Solve 3*x + 15 = -d*n, 5*x - 2*x + 15 = 5*n for x.
-5
Let r = -6985 - -6987. Solve -2*u - 3*u + r*k - 12 = 0, 2*k + 4 = u for u.
-4
Let k be 20 - 2 - (4 + -10). Suppose -3*a - 84 = -k*a. Solve 0 = -5*p + 3*s + 14, a*p + 4*s + 3 = -5 for p.
1
Suppose 0 = -0*z + 9*z + 36. Let q = 1 - z. Solve 0*y - 30 = q*h + 4*y, h + 7 = -y for h.
-2
Let o = 6 - 7. Let q be (o/(-2))/(3/126). Suppose 4*u - 18 = 39*t - 37*t, -2*u = -4*t - 18. Solve -2*p = w - 3, u*w + w - q = p for p.
-1
Suppose 4*v - 5*j = 37, 4*v + 3*j = 2 - 5. Suppose -8*k - v*k = 0. Solve 3*w + 2*w = 15, 3*z + 3*w - 9 = k for z.
0
Let k(f) = 41*f**2 + 5*f + 4. Let d be k(-1). Let h be (30/25)/(16/d). Solve -o + h*b = 3, -b - 4*b + 5 = 3*o for o.
0
Let z = -33 - -38. Suppose -25 = -5*w - z*g, 0 = 4*w - 5*g + 7*g - 14. Suppose 0 = 6*f - w*f - 76. Solve -l + 0 = 4*t - f, -3*l + t + 5 = 0 for l.
3
Suppose -8 = -2*b + 4*h, 6*b + 12*h - 66 = 10*h. Solve 0 = -5*g + 4*k - 10*k + b, -2*g + 2*k = -4 for g.
2
Suppose 3*l + 50 + 7 = 4*m, -2*l = 5*m - 54. Let g be 0/(3*8/m)*-1. Solve 16 = -g*q - 2*q + 4*o, -21 = -3*q - 3*o for q.
2
Let i(s) = s**3 - 4*s**2 - 13*s. Let j be i(6). Let k(a) = -a**3 - 6*a**2 - 9*a - 50. Let p be k(j). Solve -p*u - 6 = -c + 2, 11 = -u - 2*c for u.
-3
Suppose 5*q - 11 = -c, -42*q + 40*q - 5*c = -9. Solve -10*t = -7*t + q*i + 3, -2*t = i + 1 for t.
1
Let m = -14 - -9. Let w(l) = -8*l - 11. Let q be w(m). Suppose -2*v + 2*n + 4 = -3*n, 5*v - 3*n = q. Solve v*g = 2*g - a + 25, -3*a + 3 = -3*g for g.
4
Let m be -6 + 36/6 + 2. Suppose -3*o - 4 = -13. Solve -5*i - o*t = 23, 5*i - m*t + 3 + 15 = 0 for i.
-4
Suppose -5*u + 3*s + 76 = 0, -19 + 42 = u + 2*s. Solve -2*h + u = -3*d, -2 - 10 = 3*d + 3*h for d.
-5
Let r be ((-22)/33)/((-4)/42). Suppose 0 = -r*v - 9 + 23. Solve 3*p + d = v*d - 11, -4*p = 4*d - 12 for p.
-2
Let d = -289 - -293. Suppose d*m + 8 = 52. Solve -3*g = i + m, -2*i - i - 19 = 2*g for g.
-2
Suppose -54*d + 874 = 874. Solve i - 7 = -o, d = 4*o - 8*o + i + 8 for o.
3
Let m = 25808 + -25805. Solve 2*f = 2*y + 4 - 2, 4*f = m*y - 1 for f.
-4
Let s(c) = -1821*c - 5460. Let l be s(-3). Solve -2*h = -3*v + 13, l*h - 23 = -45*v + 41*v for h.
1
Suppose 2 - 26 = 6*i. Let d(a) = a**2 + 3*a + 1. Let o be d(i). Let j be (-1)/o + 7/35. Solve -3*m + 2*m + 8 = -2*v, -v - 5 = j for m.
-2
Suppose 4 = 163*q - 168*q - 2*x, 4*x = -28. Solve q*o = -2*k, 3*o + 21*k - 25*k = -14 for o.
-2
Suppose -17 - 47 = -32*s. Solve -4*t - 2*u - 20 = s*u, 0 = -t - 2*u - 7 for t.
-3
Let f be 2*((-112)/8 - -15). Solve -5*k = g - f, 20*g = 24*g + 3*k + 9 for g.
-3
Suppose -r = 5*h + 15, 4*r + 2*h = r + 7. Suppose r*d + 3*t + 1 = 4*t, t = 4*d + 1. Suppose z + d = 4. Solve 3*g - 3*p = -9, -g + 3*p - 11 = z*g for g.
-1
Let q(x) = 12*x - 86. Let g be q(8). Suppose 2*t - 4*h + 12 = -0*t, -3*t = h - g. Solve t*y = -0*y - 4*n - 6, n + 12 = -4*y for y.
-3
Let t be -1 + 3 + (-16)/120*-15. Let a(n) = -n**3 - 11*n**2 + 13*n + 14. Let h be a(-12). Solve t*b + 4 = h*q - 0, 5*b = 4*q - 5 for q.
0
Suppose 2*a + 3*y = -17, y = -4*a + 6*y - 1. Let t be 7/(-6 - 8)*a. Solve -w - t*i - 1 = 1, 5*w - 5*i = -25 for w.
-4
Suppose -3*x = -3*d + d + 59, -x - 143 = -4*d. Let t(r) = 8*r. Let b be t(-4). Let i = b + d. Solve -4*s + 4 = -3*q, 3*s - s + 24 = -i*q for s.
-2
Let v = 27 - 24. Let t = -19 + -65. Let a be (48/t - (-22)/14)*7. Solve o + a = -0*u + v*u, 5*u + 4*o = 40 for u.
4
Let f be (10 - -1) + -2 + 0/5. Solve -2*r - f = -5*n, -n - 21 = 3*r - 16 for r.
-2
Suppose -2*d + 29*g = 34*g + 1, -6 = -2*d + 2*g. Let c = 102 + -81. Solve c = -5*i + u, d*i + i + 16 = 4*u for i.
-4
Suppose -2*j - 6 = -7*j + q, -3*j - 3*q = 0. Let n be 26/65*(j + 26/4). Solve -u + 4*m = 2*u + 5, n*u = -5*m + 13 for u.
1
Suppose 6 = 2*c + 3*m, -1421*m + 1416*m + 9 = 3*c. Let y(a) = 6*a**2 - a - 2. Let b be y(2). Solve t + 4*x = 21, 8*t - c*t + b = 5*x for t.
1
Suppose 101 = 6*m + 83. Let k be 20/30 + -2 + 19/m. Solve -3*y = 4*z + 4, k*z + 2*y - 3*y + 5 = 0 for z.
-1
Suppose -v = -19 + 7. Suppose -2*w + v = 2*w. Let n = 364 - 361. Solve -y + 8 = -w*k, -3*k - n*y = -k - 2 for k.
-2
Let b be 18*14/84*(-17)/(-3). Solve -5*f + 16*h - 20*h = -b, -4*h + 13 = f for f.
1
Suppose -2*n + 6*n + 12 = 0. Let j = -1 - n. Suppose -3*g + 33 = 3*a, -18024*g + 18023*g + 3*a - 13 = 0. Solve -28 = -4*x - j*b + 2, 0 = g*x - 5*b for x.
5
Let s(g) = -5*g**2 - 11*g + 4. Let b be s(5). Let u = b + 180. Solve 0 = -u*o + 4, -3 - 1 = 2*n + 2*o for n.
-3
Let j be 27/(-42)*-4*-7. Let b(i) = -i**3 - 18*i**2 - 3*i - 48. Let w be b(j). Solve -c = 4*n + 2*c - 8, -3*n = -5*c - w for n.
2
Let w be (-12)/20 + (-974)/10. Let p = w - -99. Solve -l + 3*d - p = 4*d, -5*d - 45 = -5*l for l.
4
Let u = 0 + 2. Suppose -651*y + 646 = -656. Solve q = 2*d - 2, -u*d - y + 8 = -2*q for d.
-1
Let u = -29078 - -29080. Solve 4*l + 18 = 22, -u*x - 5*l - 3 = 0 for x.
-4
Suppose 20*y - 16*y = -2*r - 4, 4*y - r - 20 = 0. Solve -5*d +