+ 12 = -5*j for j.
0
Let y be 12*2 + (3 - 0). Let t = -24 + y. Solve -t*j = 3*u + 24, -2*u + 9 - 1 = -4*j for u.
-4
Let a = 26 + -13. Suppose -a*z - 15 = -16*z. Solve -n + 2*n + j + 2 = 0, -z*n + 8 = -j for n.
1
Let s be 4 + (-10 + 6)*1. Solve 17 = 4*a + v + 2*v, 2*a + 2*v - 10 = s for a.
2
Let g = 66 - 16. Let s = 52 - g. Solve -8 = -3*z + 5*q, -3*z - 3*q = s*q + 2 for z.
1
Let u(d) = -d - 7. Let s be u(-7). Suppose 3*n - 24 + 9 = s. Let c be n + -1 - (-4 + 4). Solve 0 = -v + c*y - 3 - 18, 3*y - 22 = 2*v for v.
-5
Let r = -4 - -4. Suppose y - 46 + 34 = r. Suppose -16 = -6*a + 2*a - 4*u, -5*u + 11 = 2*a. Solve y = 3*s + a*w, s + 3*s = -3*w + 17 for s.
5
Let y = -27 - -67. Suppose y = 2*o - 7*o. Let c = 10 + o. Solve -9 = -4*p - 3*j + c, -2*p - 1 = -5*j for p.
2
Suppose -9 = -6*l + 105. Suppose h - j + 2*j - 7 = 0, -h = 4*j - l. Solve -2*b + b - 19 = 4*c, h*c = -b - 14 for c.
-5
Let j be 4/8 - 4/8. Suppose 5*b = -j + 40. Solve 0 = -4*w - b, -2*x - 2*w - 12 = -4*x for x.
4
Let b = -963 - -968. Solve -5*d = 2*k - d + 24, -b*k = 3*d + 25 for k.
-2
Let z(c) = 13 - 3 + 6*c + 2 - 5*c. Let n be z(-8). Solve -3*x - n*f - 23 = 0, -5*f - 19 - 10 = 4*x for x.
-1
Let o(g) = -4*g**3 + 4*g**2 - 2*g - 1. Let x be o(2). Let h = x + 29. Suppose h + 4 = 4*j. Solve 2*b - 18 = -4*u + b, -2*u = -j*b - 2 for u.
4
Let x = 599 + -594. Solve 6*w - w = -4*z + x, 3*w + 24 = 3*z for w.
-3
Let d(r) = r**3 - 7*r**2 + 8*r - 9. Let y be d(6). Suppose 14*i - 22*i = -128. Solve 2*b - y*j + 12 = 0, -4*b = j - 3*j + i for b.
-3
Let z = -743 + 766. Solve -g - 4*a - 13 = 0, -5*g - 2*a - z = -3*a for g.
-5
Let s = 5 + 0. Suppose 7*i = i. Suppose 7*v - 12 - 16 = i. Solve 26 = 4*m - 0*z + 2*z, v*m - 35 = -s*z for m.
5
Let a = 71 + -94. Let g = a - -36. Solve 5*c = -3*h - g, c - 15 = -6*h + h for c.
-5
Suppose -t + 0 = 1. Let z be 3*(-2)/36*-12. Let d be (-7)/(2*t/z). Solve -2*n - 14 = -d*n - q, 3*q - 16 = -2*n for n.
2
Let m be -1 + 12 - (-8)/4. Let c(t) = -t + 15. Let i be c(m). Let l = -9 - -11. Solve i = -l*j, -5*j - 6 - 3 = -h for h.
4
Suppose 32 = 5*c + 3*w, -22*c = -21*c + 3*w - 4. Solve -n = -3*g - 13, -36 = -5*n + 3*g - c for n.
4
Suppose 0 = -3*h + 2*h + 1. Let o be (-90)/(-9) - 2*h - 3. Solve -k + b = 3*b + 2, 0 = -3*k + o*b + 16 for k.
2
Let d(p) = p**2 + 8*p. Let j be d(-8). Suppose -z = -j + 1. Let s = z + 6. Solve 0 = -5*n - 2*a + 5, -5*a + 0 = s*n + 10 for n.
3
Let t = 7 - 4. Suppose -5*h + 2 = 4*r, 6*h - t*h - 10 = 2*r. Solve -4 = h*g, 0 = -2*j + 4*j - 4*g - 14 for j.
3
Let k be ((-14)/4)/(3/6). Let a be (20/(-30))/((-4)/42). Let g = k + a. Solve 3*m + g*m = u + 4, 9 = 3*u - 2*m for u.
5
Suppose 77*h + 323 = 631. Solve -2*t + 4*n + 16 = -6*t, 4*n = -h for t.
-3
Suppose -t = -5*t. Let d be t + 0 + (-200)/(-10). Suppose -2*h = 3*h - d. Solve 4 = -s + 5*s + h*g, 0 = 3*s + 5*g + 3 for s.
4
Suppose -l + 12 = 3*a, -10*l + 6*l = -12. Let v(q) = -q + 4. Let b be v(0). Solve -b*h + 8 = 0, s + a*h - 4 = -1 for s.
-3
Let t = 24 + -20. Let y be ((-5)/10*-6)/(3/t). Solve 2*w = 5*f + y, 4*w = 3*f - 6*f + 8 for f.
0
Suppose 0 = -56*d + 131 + 429. Solve 5*c = -y - d, -3*c = 3*y - 25 + 43 for c.
-1
Let v be 0*(9/6 - 2). Suppose -4*s + 2*s - 2*y = -32, 2*y = s - 1. Solve v*b + b - 3*d = -s, 0 = 2*b - d + 12 for b.
-5
Suppose 2 = z + 1. Let t = 4 - z. Let o be 2 + (t - 7) + 2. Solve 5*a - x - 5 = o, 5 = 5*a + 3*x + 2*x for a.
1
Let t = 5 - 2. Suppose 0 = -0*j - t*j. Solve -3*z = 4*k - 1 - 15, j = z + 4*k - 8 for z.
4
Let f = -16 + 23. Let d = 0 + f. Suppose 5*c = 5*h - 5, 0*h = -3*c + h + d. Solve -1 = -u, -a + c = -4*a - 2*u for a.
-2
Suppose -9 = 4*b + 3. Let s be (-18)/b - (1 - -2). Suppose 0 + 8 = 2*a. Solve -m = 2*g - a*m, m = s*g for g.
0
Suppose -16 + 4 = -3*c + 3*n, 4*c - 4 = -2*n. Solve -9 = c*q + j, -5*j + 8 = -2*q - 7 for q.
-5
Let i = 182 - 182. Solve -8*l + 3*p = -4*l + 19, -5*l + 5*p - 30 = i for l.
-1
Let p be (-1*(7 + 1))/(10/40). Let n = p + 41. Solve 5*b + 5*f - 11 = 2*f, -f + n = 3*b for b.
4
Let y(q) = -q + 14. Let r be y(-9). Let z = r + -21. Solve 0 = -5*o + 2*w + 17, 0 = -5*o + z*w + 2*w + 19 for o.
3
Let n(v) = -8*v**2 + 15 - 11*v + 5*v**2 + 8*v**2 - v**3 + 7*v**2. Suppose 0 = 2*b - 27 + 5. Let h be n(b). Solve s - 4*a + h = 0, 0 + 15 = 5*s - 2*a for s.
5
Let w be 2 + (-3 - -1) - (-12)/6. Solve c = 5*c + n - 6, n = -w*c + 2 for c.
2
Let p(t) = -t + 23. Suppose 10*i = 5*i, 0 = 5*a + 2*i - 85. Let v be p(a). Let q be v/(-3) - (-6 + 2). Solve -u - 4 = 4*o, -2 = -o - 2*o - q*u for o.
-2
Suppose 5*q + 5 = q + 5*p, 2 = 5*q + 2*p. Solve 4*k = q, 6*m - k = 2*m + 8 for m.
2
Suppose -5*s + 13 = -2*y, -2*s = -y + 2*s - 11. Solve 2*q + 20 = -2*g, -5*g + y = -4*q + 6 for g.
-5
Let m(z) = 23*z - 296. Let u be m(13). Solve 5*p = u*k - 27, 0 = 4*p + 2*k - 0*k + 4 for p.
-3
Let j = -62 + 64. Suppose -8*s - j = -26. Solve -4*r + 0 = 3*v - 1, s*r + 2*v = 0 for r.
-2
Let g = 254 - 251. Solve -5*b - g*r - 18 = 0, 3*r + 12 = b - 4*b for b.
-3
Let w be 147/15 + (-52)/65. Suppose -5*h + 128 = 38. Suppose t + h = 3*t - 4*o, 0 = -2*t + 3*o + 14. Solve n - 4*n = w, n + t = -k for k.
2
Let u be 0/((-63)/(-42) + 2/(-4)). Let o = 34 - 23. Let w be 2/3 - 2/3. Solve 3*g + n = o, w = 2*g - u*n - n + 1 for g.
2
Let w(s) = s**2 + 4*s + 4. Let p be w(-7). Suppose 5 = -4*q + p. Solve 3*m - 7 - 6 = -z, -5*m = -5*z + q for m.
3
Suppose 0 = 11*b - 8*b - 12. Let h be (-2)/b + (-20)/(-8). Solve 5*f - 2*j + 12 = 0, 5*f + 5*j + h = -3 for f.
-2
Suppose -4*l = -21*l + 34. Solve l*v - 7*t + 5*t = -8, 3*t = -v + 8 for v.
-1
Suppose 53 = -y + 57. Let o be y - (3 + -2 + 3). Let s be 3 + -4 + 4 - o. Solve 21 = 4*m - 5*g, -s*m - g = -6*g - 22 for m.
-1
Let p = 14 + -6. Let v = p - 5. Suppose -4*u + g + 7 + 46 = 0, 0 = 3*g + 15. Solve -2*f - b - v = 0, 0 = 2*f + 5*b - b - u for f.
-4
Suppose 0 = m - 2 + 1. Let r be (-354)/(-30) + m/5. Solve -3*w - 3*o - 3 = -r, -5*w + 15 = 3*o for w.
3
Let k(m) be the first derivative of -m**4/4 + m**3/3 + 11*m + 5. Let t be k(0). Let j = t - 6. Solve 2*i - 9 = -5*u, -4*i - j*u + 4 = 1 for i.
-3
Let v = -47 + 47. Solve 2*t = -2*h - 3*h - 10, v = -5*t - 2*h + 17 for t.
5
Let d be 0/5*(-3)/(-18)*2. Solve d = 6*w - 3*w + j + 5, -j + 7 = -3*w for w.
-2
Suppose 4*t - 3*q - 9 = -0*t, -3*t - q = -10. Let c be (-2)/(-8) + 10/(-8). Let s = c + 1. Solve -4*n = u + 4, -12 = t*u - s for n.
0
Let o be (4/10)/((-4)/(-640)). Let q = 74 - o. Solve 3*l + l - 8 = 2*i, -q = -5*l - 4*i for l.
2
Let w = 199 - 194. Solve -3*k = -12, -w*r + 1 = 4*k - 5 for r.
-2
Let q = 1 + 1. Let t = 27 + -22. Let f be 10*(-4 - (-22)/t). Solve f*m - 3*v = 20, 5*m = q*m - 2*v - 2 for m.
2
Suppose -4*x - 12 = 4*i, 5*i - 21 + 48 = x. Solve r = -2*r + t + 12, x*r - 3*t - 1 = 0 for r.
5
Let r(u) = u**3 - 9*u**2 + 6*u + 26. Let s be r(8). Solve p + 2 = 2*o, -5*o = s - 5 for p.
-4
Let o(m) = -m**3 - 5*m**2 - 4*m + 4. Let y be o(-4). Let h(u) = -u + 14. Let r be h(-7). Let d = 27 - r. Solve -4*c - 20 = 4*x, -d*c - x - 7 = -y*c for c.
-2
Suppose 0 = r - 5*f, 2*f + 23 = 3*r - 3. Solve -3*m + j + 24 = r, 5*j = 4*m - 37 for m.
3
Let u = -392 - -398. Solve 0 = b + f - 9, 10 + u = -b + 4*f for b.
4
Let g(l) = l**2 + 9. Let p be g(0). Let q be (6 + -3)*24/p. Suppose q*i - 5*i - 15 = 0. Solve 0 = i*u + 5*m, -1 = -5*u - 3*m + 3 for u.
2
Suppose 0 = 9*p + 148 - 193. Solve -2*b - 15 = -p*q + 13, -b + 2*q - 12 = 0 for b.
-4
Suppose 0 = 26*h - 25*h, -h - 12 = -3*i. Solve 2*v = 2*f - 12, -f + 17 = -i*v - 4 for v.
-5
Suppose -5*i - 41 - 4 = 0. Let v be (-33)/i + 3/9. Let d = -3 + 6. Solve n + d*b = -16, 0 = -5*n + v*b + b for n.
-4
Suppose -2*n - 10 = 4*o, 10 + 10 = -4*n. Let r be (-10)/(-4 - -2 - o/1). Solve -25 = r*j, -f - 5*j - 11 = 14 for f.
0
Suppose -83 - 77 = -20*b. Solve 3*r = 2*u + 1, -u = -b*r + 3*r - 3 for u.
-2
Let d = 108 - 183. Let k = 77 + d. Solve k*r = -n - 12, -5*r = -3*n + 10 - 2 for r.
-4
Suppose -19 = -5*k - 6*v + 7*v, 3*k - 13 = v. Solve -3*l - 3*g + 8 = -10, -l + 2*g = -k for l.
5
Let h = -40 - -45. Suppose -2*r - 6 = -2*p, 5*p - 2*p - 3 = h*r. Solve 4*n + 5 = 13, -2*s - 5*n = -p for s.
-2
Let i = -367 - -369. Solve -z - 10 = -i*g + z, 4*g - 2*z = 20 for g.
5
Let m = 24 - 42. Let u = m + 23. Solve c + 17 = u*r, -4*r + 5 = -3*r - c for r.
3
Let p(w) = -w**3 + 6*w**2 + 13*w - 86. Let k be p(5). Solve -5*a + 11 = -3*q