 13 = 4*s for u.
5
Let s(j) = -2*j + 15. Let d(w) = -1. Let h(q) = 4*d(q) - s(q). Let a be h(10). Let b be ((-5 - -2) + 3)/a. Solve -3*t = 5*v + 4 + 21, b = -3*t for v.
-5
Let r(f) = -4*f**2 - 102*f - 40. Let o be r(-25). Solve 4*s - 8 = 5*q, -5*q + 4 - o = -3*s for q.
0
Let x be (-5)/(-2*10/12) + -3. Solve x = -5*p + 9*p + 12, 3*k + 12 = -5*p for k.
1
Suppose 36*z - 35*z - 14 = 0. Let n be (6/15)/(2/20). Solve f - n*l = -23, 2*f + 8*l = 4*l + z for f.
-3
Suppose 28 = 2*i + 26, 0 = -4*o - i + 21. Solve f = 2*j - 10, -5*f = -o*j + 21 + 4 for j.
5
Suppose j + 71 = 5*y, -y + 4*y = 5*j + 25. Suppose -11*q + 65 - 10 = 0. Solve 0 = -3*n + 3*f - y, q*f - 2*f = n + 11 for n.
-2
Let q be (4 - (-2 - 0)) + 13/(-13). Solve q*j + 1 + 3 = -2*r, 5*j - 5*r - 10 = 0 for j.
0
Let k(w) = -w**3 + 7*w**2 + 10*w + 4. Suppose -3*x + f + 20 = -0*f, -2*x + 4*f = 0. Let c be k(x). Solve 0 = -s + 4*i + c, 2*s - i - 4*i - 28 = 0 for s.
4
Let j be 7/3 + (-2)/6. Let b = 5108 - 5096. Solve b = 3*l + j*q, -3*l + 8 = -l - 2*q for l.
4
Let t = 165 + -163. Solve 4*x = -4*r - 12, 4*r = -t*x - 0*x - 10 for x.
-1
Let d(g) = g**2 + 16*g - 2. Let k be d(-15). Let c = -24 - k. Let m = 11 + c. Solve 5*t - 41 = -m*y, 2*t + 7 = 4*y + 1 for t.
5
Suppose a + 3 = -g + 5*a, 0 = -2*g + a + 8. Solve 3*v - 4*v - 3*s = -18, 2*s + 5 = g*v for v.
3
Suppose -2*o + 3 = 103. Let l = -45 - o. Solve -14 = w + 2*s - 0*s, -45 = 5*w + l*s for w.
-4
Suppose -2*l - f = 0, -f = -5*l + f - 9. Suppose x - t + 2 = -1, 6 = -2*x + 3*t. Let g be (x/6)/(l/34). Solve 2*n - n = -3*a + g, -a + 4*n - 16 = 0 for a.
4
Suppose 4*n + 32 = 2*g, 28*n - 30*n = g + 4. Solve 2*b - 4*y - 4 = 0, -g*b - 3*y + 23 = -b for b.
4
Let u(z) = -z**3 - 2*z**2 + 5*z + 2. Let x be u(-3). Let i be ((-2)/x)/(2/16). Solve -5*d + 4*c - 9*c + 50 = 0, 5*d - i*c - 5 = 0 for d.
5
Let p be 5/(-2)*(-8)/10. Suppose -x = -p*l - 4*x + 20, 8 = l + x. Solve -2*u - 2*g - 6 = 0, -2*u - l*g + 18 = -8*g for u.
1
Let z be (-10)/(-4) - (-5)/(-10) - -15. Solve 4*l + u = -11, -5*l + 3*l + z = 5*u for l.
-4
Suppose -f + 6*z = 16, -2*z - 4 = -10*f + 5*f. Solve -2*q - 3*o - 25 = f*o, -25 = 3*q + 5*o for q.
0
Suppose -5*v + i = 2*i - 68, v + 4*i - 25 = 0. Solve -w - w = 5*j + 23, -4*w = -j + v for w.
-4
Let q be 152/38 - (-1 - -1). Let p(j) = -j**3 + 9*j**2 - 7*j - 2. Let s = 9 + -1. Let b be p(s). Solve 2*f = -2*x - 2 + q, -b = -4*f - 3*x for f.
3
Let a be 1/3 - (-22)/6. Let q be (5/(-2))/((-2)/48). Suppose t + q = 6*t. Solve k = -0*k - a*r + 3, -2*r + t = 4*k for k.
3
Suppose 1 = 4*d - u + 6*u, -3*d + 15 = -u. Suppose -d*k + 17 = 1. Let n = 3 + 1. Solve k = -n*v + 2*t, -4*v = v - 2*t + 3 for v.
1
Let f = 287 - 283. Solve -f*o - 2*c - 30 = -0*o, -5*o - 35 = 2*c for o.
-5
Let m(j) = -6*j**3 + 4*j - 3. Let i be 2*((3 - 1) + -1). Let h be m(i). Let q = -20 - h. Solve 3*x + 5*r + q = 0, 0 = x - r + 3*r + 9 for x.
-1
Let m be 0/(1 - (7 - 4)) - -2. Solve 2*o - 2*x = 4, -m*x + 0*x - 14 = 3*o for o.
-2
Let b be (-20)/9*3 - (-7)/(-21). Let m(s) = 2*s**2 + 11*s - 9. Let x be m(b). Solve 3*f = 3*d + 9, x = -0*d - 3*d for f.
-1
Suppose 8*q - 5*q = 9. Solve -2 = q*g + y + 8, -5*g = 5*y for g.
-5
Let i = -71 + 73. Suppose -5 = -b - i*b + 2*w, 2*w = 10. Solve 3*g + 12 = -2*s - s, -4*s + b*g - 7 = 0 for s.
-3
Suppose j - 21 = -2*w, 0 = 3*w - 3*j + 6*j - 30. Solve 2*y - 4*m = 16, 4*y + w = 5*m + 34 for y.
2
Let c(p) = 3*p + 49. Let f be c(-15). Suppose j + 4*o = 4*j - 11, -f*j = -5*o - 15. Solve 5*q - q - 8 = 2*i, -j = -5*q for i.
-2
Let t = 64 - 60. Solve -5*o + 9 = -t*f, -2*f + 12 = f for o.
5
Let a be -3*(104/(-15) + 20/(-50)). Suppose -a*l + 16*l = -12. Solve -13 = -l*o - f - 6, 5*o + f = 13 for o.
2
Let b = 985 + -982. Solve -4*l - b*x = -3, 4*l + 2*x = 9 - 7 for l.
0
Let j be (-6)/4 - 1/2. Let n be -1 + (6 + j - -15). Let l be 0 + n/2 + 0. Solve -3*v = -s + l, -s = -v - 2 + 1 for v.
-4
Let p(a) = 2*a**3 + 3*a**2 + a - 2. Let r be p(-2). Let t(m) = m**2 + 10*m + 20. Let v be t(r). Solve -5*o - 3*w + 8 = -w, v*w - 16 = 3*o for o.
0
Suppose -4*q + 4 = -4*g, q = -4*g - 3*q + 4. Solve 23*t = 21*t - s - 4, g = 4*s for t.
-2
Let d = 997 + -972. Solve d = -a - 4*q, -2*a = -0*a - 2*q for a.
-5
Let q = 1635 + -1633. Solve q*d + 2*n = 3*d - 7, 4*d - 23 = 3*n for d.
5
Suppose -4*b = -b - 9. Suppose 24 = b*p + 9. Solve 4*u = 2*d + 14, -5*u - 1 = -p*d - 16 for u.
4
Let i(g) = 3*g + 6*g**2 - 1 - 3*g. Let q = 307 + -306. Let z be i(q). Solve -3 - 6 = z*k - 4*v, 0 = -2*v - 8 for k.
-5
Let j = -58 - -58. Suppose -8*b + 9*b - 2 = j. Solve 4*l = y - 1, -b*y + 4*y - 2 = -4*l for y.
1
Suppose 4*i - 1 = v - 14, -v = -i + 2. Suppose 2*x - x = -1. Let z be (-21)/v - (0 - x). Solve -2*b - z*f = -0*b - 6, -3*b + 4*f + 23 = 0 for b.
5
Suppose 4*z = -4*d + 40, -3*z + 2*d - 6*d = -27. Suppose -3*y = -5*r - 1, 0 = 5*y - 5*r - z - 2. Let o = -2 + y. Solve o*p - w = 16 + 10, -4*p + w = -21 for p.
5
Let q = -44 - -59. Let m be 25/5*(-1)/((-3)/q). Solve -4*h + 4*v + 12 = 0, 4*v + m = 9 for h.
-1
Let o be 0 + (-2 - -6) + -2. Suppose i - 8 = -2*n + 4, -2*i + 3 = n. Let x be (-10)/(-8)*28/n. Solve o*c + 10 = -3*g, -2*c - x*g = -3*c + 8 for c.
-2
Let j(y) = -y**3 + 17*y**2 + 16*y + 48. Let u be j(18). Solve 2*d = 5*r + 7*d - 20, 3*r = -d + u for r.
4
Let p be (-8)/3*(-15)/10. Let q be (-16)/(-6)*3/4. Solve b = 0, 5*b - p*b = -2*x + q for x.
1
Let f be (-2)/6 - (-1)/3. Let k = f - -4. Suppose -4*p + 12 = 2*x, p - 13*x = -14*x + 3. Solve -p*o = 3*t + 2*o, 0 = -k*t + 5*o - 35 for t.
-5
Suppose 2*t - 14 = 6*t + 2*q, 3*t - 7 = 2*q. Let h be 45/((-1 + t)/(-2)). Let g be 2/(-14) - h/(-21). Solve g*a - 21 = -3*a - 3*m, 2*a = 5*m - 4 for a.
3
Let k(p) = p**2 - 3*p. Let l be k(4). Suppose -3*a + 68 = 5*s - 3*s, -l*a = 2*s - 88. Suppose 0 = 4*g - 16 - a. Solve 4*d = 4*q - 0*q - 24, d = -2*q + g for q.
5
Let j be 1 - 1 - (3 + -4 - 2). Solve -j*q + 32 = 4*h, 0 = h - q + 3 - 4 for h.
5
Let p = 16 - 12. Let h = p - 3. Let c(d) = -d**2 + 4*d. Let q be c(3). Solve j + 0*z + h = z, z + q = 0 for j.
-4
Let v = -123 + 127. Solve -4*f - 2*s - 10 = -4*s, 4*f - v*s + 16 = 0 for f.
-1
Suppose 4*o - 3*z - 2 = -1, 10 = 2*z. Solve -o*v + 5*h - 16 = 15, -v + 3*h = 13 for v.
-4
Let g(j) = j**3 + j**2 - j. Let r(q) = -2*q**3 + 5*q**2 - 7*q + 2. Let x(l) = -g(l) - r(l). Let s be x(5). Solve -w = -6*b + 3*b + 11, 3*b + w - s = 0 for b.
4
Suppose 0 = -t + 4, -13*h + 15*h + 12 = 3*t. Solve p - 18 = 3*r, -4*p + h*p - 3*r = 3 for p.
3
Let a(l) = -2*l - 23. Let d be a(-13). Solve 5*m - 4*s - 9 = 0, 12 - 1 = d*m - s for m.
5
Suppose -4*f + 6*l = 3*l - 190, -4*f + 178 = 3*l. Suppose 0 = 5*p, -q = q - p - f. Solve -4*j = -5*r - 15, 4*r - 5*j = 2*r - q for r.
1
Suppose 19*a - 18*a - 2 = 0. Let s be a/10*5 - -4. Solve -10 = -s*z - i, z = 6*i - 2*i + 2 for z.
2
Suppose 3*j = 5*y - 10, 3*y = 8*y + 5*j - 10. Solve 2*x + 2 - 14 = -c, 3*c - 16 = -y*x for c.
2
Suppose -8*i + 20*i - 12 = 0. Let a be 7 - (0 + 2 - (i - 2)). Solve -7 = 3*j - a*q, -j - 2*j = -5*q + 5 for j.
-5
Let m be 52/(-39) - 38/(-6). Suppose -2*h - 2*h + o + 7 = 0, -5*h + 15 = m*o. Solve 0 = -h*j + 5*l - 29, -16 - 19 = 5*j - 5*l for j.
-2
Let v(d) = -d**3 - 3*d**2 - d - 1. Let z be 4*(33/(-12) + 2). Let r be v(z). Solve 3*i + 4*l - 1 = 13, 4*i - 2 = -r*l for i.
-2
Suppose -6 = 5*i - 1, -v - 3*i - 3 = 0. Let l(k) = -k**2 - 4*k + k + v*k**2 - 5 - 5*k. Let b be l(-6). Solve 4*r = -s - 7, -r - s = s + b for r.
-1
Let q(m) = m**3 - 8*m**2 - 8*m - 6. Let k be q(9). Solve -5 = -2*a - k*a + 4*x, -18 = a + 3*x for a.
-3
Suppose -5*z - 69 = -28*z. Solve -z*n - 29 = 5*v - 5, 0 = -5*v + 5*n for v.
-3
Suppose 46*c = 59*c - 65. Solve 0 = -4*g - u + c, 5*u - 27 + 2 = -3*g for g.
0
Suppose 0 = 3*d - 5*x + 260, -x + 276 = -3*d - 4*x. Let f be d/(-24) - 9/12. Solve s + s = 4*i - 18, -s = -f*i + 12 for s.
-3
Let r(h) = 4*h**2 + 1. Let u be (-17 - -18)*2/(-4)*-2. Let l be r(u). Solve l*k + 18 = -2*o, -4*o = -k + 6 - 14 for k.
-4
Let h be 0*(1 + 0/2). Let j(z) = 3*z**2 + 11*z + 14. Let i be j(-6). Let n = i + -53. Solve 22 = u - h*u - 5*p, 4*p = n*u - 22 for u.
2
Suppose 4*y - 3 = m - 12, -m = 2*y - 3. Let u be 2/(-11) - 560/(-55). Solve -2*s = -m*a + 3*s, a - u = -s for a.
5
Let y(f) = f + 11. Let d be y(-9). Solve 0 = q, 2*t + 4 = -5*q - d for t.
-3
Let d be (-1)/4*-4 - 1. Suppose d = -5*r - 0*r + 470. Suppo