-4*u for a.
-2
Let a(b) = b**2 - 13*b + 40. Let q be a(9). Let o be 2/(-3 + 35/11). Let x = -9 + o. Solve -k + 14 = q*h - 3*k, x*k = -4*h + 10 for h.
3
Suppose -2*a - 12 = -5*a. Let g = 27 - 18. Suppose -8*u + g = -5*u. Solve 3*x = -a*n + 5, -13 = u*x + 2 for n.
5
Suppose -5*y + 4*v + 133 = 0, 6*y - 9*y = -4*v - 83. Solve 0 = -5*p + y, -2*i - 4 = -3*p + 5 for i.
3
Let f(h) = h**3 + 9*h**2 + 8*h + 1. Let x be f(-8). Let n be (-1 - x)*5/(-2). Solve 2*y + 4 = -2*d, d + 2*y = n*y + 14 for d.
2
Let x = -6 + 4. Let i = x - -6. Let t(m) = 2*m**2 - 231*m + 1002. Let r be t(111). Solve -2*y - y + k + 4 = 0, y + i*k + r = 0 for y.
1
Let z(u) = 3*u**2 - 18*u + 7. Let q be z(6). Solve 4*j = 2*r - 2, 4*r - q*r - 1 = -4*j for j.
-2
Let d = 392 + -386. Solve -d = -4*l + 5*m, -6*l - 4*m = -l - 28 for l.
4
Let n be 18/(-6) + 13 + -2. Solve 2*a + a = -12, 0 = -4*v + 3*a + n for v.
-1
Suppose 4*q - 3*y = 11, -7 + 0 = -4*q - y. Solve q*m + 13 = -3*v, -v = 3*m - 0*m + 2 for m.
1
Suppose 4*b - 19 = -63. Let n be (-22)/b + (-3 - -6). Let l be 5/2 - (-1)/2. Solve 11 = -n*y - w, 4 + 11 = -y + l*w for y.
-3
Suppose -u + 2 + 1 = 0. Let s be 0/(-1) + 0/(3 - 6). Suppose v = -s*t - 3*t + 7, -5*t - 4*v = -14. Solve -2*j - t = -2*m, -j = -u*m + j - 1 for m.
-3
Suppose 0 = v + 5*a - 12, 4*v = -5*a - 10 - 2. Let b be 30/9*(v - -2). Let o = 24 + b. Solve 3*x - 6 = 5*j - 16, -3*j - 23 = o*x for j.
-1
Let c(v) = v - 4. Let i be 2/(((-25)/(-15))/5). Let m be c(i). Solve 2*w - m*s + 2 = -0*w, 1 = -w - s for w.
-1
Suppose 18 = 6*l + 6. Suppose 4*j - 12 = l*v + 2, -13 = -4*j + v. Solve 4*n + 8 = j*k + 1, 4*k = -n - 16 for k.
-3
Let b(o) = -o**3 + 6*o**2 - 4*o - 3. Let m be b(5). Solve 0*j - m*c = 3*j + 16, 4*j = c - 3 for j.
-2
Suppose -n - 2*n = -3*j - 18, -5*j - 20 = 5*n. Let m be 48/(-20)*(j - 0). Let d be m/30 + 24/15. Solve -4*v - 4*o + 18 - 2 = 0, -d*o = -2*v - 4 for v.
1
Suppose 0 = 5*n - 0 + 5. Let k = 228 - 232. Let y = n - k. Solve 5*l = 2*c - 9, 0 = -l + y*l - c + 4 for l.
-1
Let x(h) = -h**3 - 21*h**2 - 22*h - 17. Let i be x(-20). Suppose 8 = 4*t - v, -t - 2*v = 3*v - i. Solve -2*j + 20 = -t*w, -4*w = -0*j - 5*j + 36 for j.
4
Let v(p) = p**3 - 6*p**2 - 3*p + 20. Let m be v(6). Solve 3*b + m*b = d + 28, 4*d = -5*b + 13 for b.
5
Suppose -3*z + 3 + 6 = 0. Let w be 2/((-8)/3 + 3). Let a be ((-5)/z)/(w/(-18)). Solve -a*q = 2*t - 3 - 3, -t + 4*q - 10 = 0 for t.
-2
Let v = 8 + -6. Let z = -1974 + 1974. Solve -o = l + v, -l + z*l + 3 = -4*o for o.
-1
Suppose -k = 4*q - 31, 20*k - 5*q + 65 = 23*k. Solve 5*h = 5*i - k, -17 = -8*i + 4*i - h for i.
4
Let n(p) = p**3 - 40*p**2 - 84*p + 2. Let i be n(42). Solve 0*t - t + 16 = 3*m, 5*m - i*t - 23 = 0 for m.
5
Let i(z) = z**2 + 9*z - 30. Let b be i(-13). Suppose -4*m - 2*v = -b, -1 = v - 2*v. Solve -4*u + 3*r + 2 = 0, 3*u + 3*r = m*r + 1 for u.
-1
Let s be -1 - ((-3)/(-3) - -4). Let n be 2/s - 686/(-42). Solve 0*d = 4*v + 5*d + 32, 4*v + d = -n for v.
-3
Suppose 3*o + 5*r = 27, 4*o - o + 2*r - 36 = 0. Solve 0 = 3*y - 4*i + 26, -5*y = 5*i - o - 1 for y.
-2
Suppose -15*c + 15 = -10*c. Solve 2*s = 5*r - 0*s + 30, -2*s = c*r + 2 for r.
-4
Suppose 2*a + 3*y - 21 = 0, 4*y - 39 = 5*a - 80. Solve -2*l = 5*h - a, 5*h - 3*h - 21 = 5*l for h.
3
Let q = 147 - 130. Solve -5*y - 20 = 0, -3*t - 3*y - q = 2*y for t.
1
Let n(z) = -7*z + 122. Let h be n(17). Solve i + 2*q - 12 = -4*i, -3*i = -3*q - h for i.
2
Let r(i) = -9*i**3 + 3*i**2 + i - 3. Let s be r(2). Let l = s - -63. Solve -3*b - 3*k = 21, -7*k = 3*b - l*k + 29 for b.
-3
Let c be (-2)/(-5) - 10/25. Suppose c = -3*r + 9 - 3. Solve 0 = 2*w + 2*l - 6, 2*w + 3*l - 5*l = -r for w.
1
Let b be (-8)/(-6)*(-36)/24. Let y be b*2/(-4) + 4. Suppose 2*u - y - 5 = 0. Solve 3*c = -n - n + 5, 4*n + 5*c - u = 0 for n.
-5
Let d = 940 - 912. Let i(x) = -x**3 - x**2 - x - 15. Let t be i(0). Let b be 5/2*(-12)/t. Solve 5*a - l = 2*l - d, -b*a + 2*l = 12 for a.
-5
Let c(s) = -s**2 - 3*s + 3. Let q be c(-2). Suppose -45 - 110 = q*l. Let a = l + 43. Solve 5*v - 2*x = -a, -4*x - x = -2*v + 12 for v.
-4
Let z be (-1)/(1*3/(-30)*2). Suppose -z*c - 4 = 3*i, 3*i - 4 - 4 = c. Solve 2*a = -i, -5 = -3*k + 2*a - 0*a for k.
1
Let z = 2 - 6. Let i be -4 - (z - -3) - -19. Suppose -5*l = -4*q - 36, -2*l = 3*l + q - i. Solve -5*a - 2*k + 12 = 0, l*a - k = -6*k + 13 for a.
2
Let c(k) = k**3 - 8*k**2 + 18*k - 10. Let w be c(5). Solve 3*h + 8*z - w*z = -6, -5*h - 12 = 3*z for h.
-3
Suppose -2*t = -g - 5, 4*g - 5 = -3*t - 25. Solve 5*w + t*w - 5 = -4*u, 4*u = -3*w + 11 for u.
5
Suppose k = -1 + 7. Suppose 12 = 6*b - k. Solve 0 = -2*i + 2*c - 8, 0 = -3*i + 4*c - b*c - 6 for i.
-1
Let m be 1/1 - (-2 - 11). Let v be 3/(((-2)/((-16)/(-12)))/(-1)). Suppose m = 4*p - d, -v*p - 3*d + 9 = 3*p. Solve 5*u = g + p + 20, 2*u + 3*g + 1 = 0 for u.
4
Let x(f) = -f**3 + 6*f**2 + 9*f - 10. Suppose -7 = -16*a + 15*a. Let w be x(a). Let q be 3/((-6 + w)/(-2)). Solve 6 = -q*s + 2*y, 15 = 6*y - y for s.
0
Suppose 3*x - 487 = 4*h, 0 = -2*h - h + 4*x - 360. Let n = h - -127. Solve 4*u - n*u = -2*o + 11, 2*u - 2*o = 4 for u.
5
Let g = -74 - -135. Suppose 2*a = 4*y + 81 + 33, 4*y + 129 = -3*a. Let l = y + g. Solve 0 = -5*u - f - 29, 8*f + l = -3*u + 4*f for u.
-5
Let z = 9 + -4. Suppose -d - 9 = -2*d + l, z*l + 5 = -5*d. Suppose t + 12 = 5*t. Solve n + 8 + t = d*x, 12 = 3*x for n.
5
Let h(u) = -u**2 + 6*u + 11. Let n be h(7). Solve -4*d - 5*v + 44 - 11 = 0, 2*d + n*v - 24 = 0 for d.
2
Suppose -3*q - 102 + 105 = 0. Solve -4*u + m = q, -u = -3*u - 5*m - 17 for u.
-1
Let i = 46 - 64. Let a = 22 + i. Let v = 9 - 0. Solve v*w - k = 4*w, a*w = k for w.
0
Suppose 0 = 2*u + 10, -2*j - 21*u + 16*u + 23 = 0. Solve 0*y - 5*y - p + j = 0, -2*p + 20 = 3*y for y.
4
Let m = -53 - -52. Let j be (-1 - -8) + m + 2. Solve 4*i - 5*b + 12 = -3*b, -b = -4*i - j for i.
-1
Let m be -3 + 30 + 6 - 5. Solve -2*d + 6*d - m = 3*t, -5*t - 5*d = 0 for t.
-4
Let c(u) = -u + 2 - 4 + 4. Let y be c(0). Solve 20 = 3*h - 7*h, -y = -4*z + 2*h for z.
-2
Let x = -16 + 21. Suppose 3*p - 2*p - 1 = -2*w, -5*w - 10 = x*p. Suppose w*d = 7 + 8. Solve 2*r + d*s + 16 = -9, 5*r - 3*s = -16 for r.
-5
Let j be 8/(24/33) + -5. Solve -2*a + a = -f + j, 0 = -4*a - 3*f + 11 for a.
-1
Suppose -20*x + 16*x = 0. Solve -m - 5*i + 23 = 0, 3*i = -x*m - m + 15 for m.
3
Suppose -2*a + 4*h + 121 = -a, -3*h = -2*a + 227. Suppose -a*p = -112*p + 15. Let n(u) = u. Let l be n(2). Solve 2*c = 2*s - l, 0*s - 5 = p*c - 4*s for c.
-1
Let t be (0 - -15)*3/15. Solve -2*x = -0*x + 4*j, -3*x + t*j = 18 for x.
-4
Let r(n) = n**2 + 14*n - 30. Suppose x - q - 15 = 2*x, -3*x - 43 = 5*q. Let h be r(x). Solve h = 2*c, -4*a + 3*c = c + 10 for a.
-2
Let h(j) = -j**3 - j + 3. Let q be h(0). Suppose q*z = u + 10, 4*u = z + 2*z - 4. Solve 3 - 5 = n + c, -13 = -z*n + 3*c for n.
1
Let i(t) = t**2 + 17*t + 12. Let c be i(-17). Suppose 3*o = -2*z + 4*o + c, -3*z = o - 8. Solve -2*h - 4*q + 2 = 0, -3*q = z*h + h - 12 for h.
3
Suppose 3*f = 4*k - 17, -3*k + 4*f + 29 - 18 = 0. Solve -k*d - 5*j = 30, j + 14 - 4 = -3*d for d.
-2
Let i = 1162 - 1158. Solve i*c + 5*m = -22, 1 + 4 = -5*c + 5*m for c.
-3
Let v(k) = -k**3 - 17*k**2 + 104*k - 119. Let a be v(-22). Solve a = 5*p - 4*h, -2*p - 5*h + 10 = -3*p for p.
5
Let d = -44 + 47. Let o be d/4 + (-4)/(32/(-34)). Solve o*y - 2 = 4*y - g, -3*y + 9 = 2*g for y.
5
Let o = 664 - 659. Solve a - 4*z = -13, -3*a = -o*z + 2 + 16 for a.
-1
Let t(m) = 16*m - 1. Let v = 16 - 15. Let i be t(v). Let h = 17 - i. Solve 3*f + 12 = -0*x - 4*x, -5*f + h*x - 20 = 0 for f.
-4
Suppose 0 = -r - r + 6. Suppose -3*x + 7 = -2*j, r*x = 5*x + 5*j - 11. Let o(h) = 4*h + 8. Let i be o(-2). Solve -4*k = -i*p + p - 2, x*k = 5*p - 10 for p.
2
Let m(o) = 4*o**2 + 29*o + 9. Let w be m(-7). Suppose -5*y - 2*i = -124, -y - 20 = -2*y - 2*i. Let s = -13 + y. Solve -b - 3 = a, w*b - a - 4*a = -s for b.
-4
Let h(a) = 6*a - 2. Let x be h(1). Let k be x/(8/(-6)) + 7. Suppose -2*j - 5*g = -35, 5*g + 0*g = -k*j + 45. Solve 5*u = 3*u + 2*c - 2, 17 = -2*u + j*c for u.
4
Suppose 0 = 4*r + 3*p - 27, 4*r - 17 = -p. Solve h - r*b + 21 = -2*h, b = 5*h + 15 for h.
-2
Suppose -4*f = -4*o + 112, 4*o - 2*f = -3*f + 92. Suppose b - 27 = -o. Solve u = -5*m - 0 + 4, b*u = -5*m + 12 for u.
4
Suppose 12*u - 19 = 9*u + i, 0 = 3*u + i - 29. Solve -j - 16 = 5*t, 2*t