+ q for u.
1
Let k(c) = c + 9. Let r be k(-4). Suppose 2*i + r*n - 23 = -7, -5 = -5*i + 5*n. Solve 3*s = 2*z, -i*z + 0 - 3 = -3*s for z.
-3
Let x(y) = -y**3 - 2*y**2 + y - 3. Let s be x(-3). Let d(c) = -c**2 - 2*c + 7. Let u be d(-5). Let g = u - -11. Solve 5*k + s*p - 2*p = -20, 15 = -g*p for k.
-3
Suppose 4*p - 16 = 0, o - 2*p + 1 = -p. Suppose 5*s - 12 = 33. Suppose -3*v = -6 - s. Solve 5*r = o*w - 20, w - v*r = -3*w + 20 for w.
0
Suppose 1 = -x, -3*l + 3*x - 7*x = 4. Suppose i - 2*i - 3 = l. Let o(r) = r**2 + r - 3. Let c be o(i). Solve 4*s = c*q - 12, -2*q - 3*s + 7 = -1 for q.
4
Let u(m) = m**3 - 7*m**2 + 7*m - 4. Let v be u(6). Let s be (-2)/10 + (-56)/20. Let n be 20*1 - (s - -1). Solve 4 = -r - 4*x, x = 7*r - v*r - n for r.
4
Suppose 10 = -5*w + 4*l, -3*w + 5*l = 3 + 16. Suppose -7*x + 2*x + 45 = 0. Suppose 57 = 4*i + x. Solve i = 4*d, z - 1 = 3*d - w*d for z.
4
Suppose 2*r = 3*q, -4*r + 4*q = -r - 1. Solve 2*l - 21 = -0*l + 5*v, -4*l + r*v + 21 = 0 for l.
3
Suppose -19 = -j - 2. Let u = j + -13. Solve -3*m = u*a - 2*a + 13, 5*m = 4*a + 15 for m.
-1
Suppose -3*j - j = 3*b - 115, -j - 140 = -3*b. Let c = -26 + b. Solve 5*u - 32 = -4*v, c = 6*v - v + u for v.
3
Let r be 23/69*(0 + 15). Solve 4*n + 3*c + 4 = -4, r*n + 4*c + 11 = 0 for n.
1
Let c be 49/8 - (-3)/(-24). Let i be (-3)/(-18) + 59/c. Solve -11 = -5*z - 2*o, 3 + i = z + 4*o for z.
1
Let h(v) = 6 - 5 + 1 + v. Suppose 8 = 4*c - 4. Let z be h(c). Solve x - 2*r = 3 - 11, -z*r + 23 = -4*x for x.
-2
Let x(m) = m**2 - 3. Let v be x(5). Suppose 0*s + 21 = s + 4*y, 2*s + 3*y - v = 0. Solve b - 17 = 5*f + 13, -s*f - 4*b - 5 = 0 for f.
-5
Suppose 20 = 4*n - 4*t, -3*t = 3*n + 6 - 3. Let l be 19 + -1*(1 + n). Solve -2*k = 4*w - 8, -4*k + l = -0*k + w for k.
4
Suppose x + 4 = -3*t, 2 = -3*x + t - 5*t. Suppose -r - 8 = -5*o, 0*o - 6 = x*r - 5*o. Solve 4*v - r*j = -26, -2*j = -3*v - 6*j + 8 for v.
-4
Let q = -4 + 21. Let m be 0/(-2) + 14 + -11. Solve 0*t - t + m*u - 17 = 0, q = 4*t + 5*u for t.
-2
Let d be 3 + (1 - 1 - 0). Suppose -2*q - 2*q = -4*u - 152, -d*u + 126 = 3*q. Solve -2*h - 5*j - 1 = -29, -5*j + q = 5*h for h.
4
Suppose -2 = 2*d, 3*d - d = 3*f - 11. Suppose -f*u + u = -4. Solve 0*t = -u*t + 3*r + 9, -2*t = 5*r + 15 for t.
0
Suppose 0*q + 21 = -q - 5*x, -q - 16 = 4*x. Solve -q*h - 20 = -7*j + 3*j, -5*h = 5 for j.
4
Let u be 45/(-6)*(-8)/(-10). Let r be (1 - 2)/(u/12). Solve -13 = -5*b + 3*h, 0 = r*b - h - h - 6 for b.
2
Suppose 3*l + 3*p - 9 = 0, 18 = -0*l + 2*l - p. Solve -4*m + 21 = -3*w + 2*w, -w = 3*m - l for w.
-5
Let f be -2 + (-12)/(2 - 3). Solve 2 = y + b + 12, 3*y = 5*b + f for y.
-5
Let v(n) = n + 15. Let f be v(-12). Solve -5*u - w - 22 = 0, -4*u + u = f*w + 6 for u.
-5
Let c be (23 + -3)*(-3 - -2). Let r be (16/c)/(6/(-15)). Solve r*z - 5*f = 17, 6 = f - 3*f for z.
1
Suppose 0 = 2*c - 7*c + 25. Suppose -5*i + 5 + c = 0. Solve 0 = 4*x + 2*j, 3 = -i*j + 11 for x.
-2
Let n(d) = d**2 + 4*d - 2. Let l be n(-5). Suppose l = 3*v - 3*z, v + z = -2*z + 1. Suppose 0 = -y - v + 4. Solve -y*i - 9 = m, -3*i - 3*m - 18 = m for i.
-2
Let f(o) = -o**2 + 9*o - 2. Let y be 1 + 1 - 1*-6. Let h be f(y). Solve -v - p = 2*v - 6, 3*p = -3*v + h for v.
2
Let t(f) = 3*f - 2 + 2. Suppose -2*k + 5 = -5*v, k - 5 = -0*k. Let b be t(v). Solve x = b*s + s + 17, 4*s + 3*x + 13 = 0 for s.
-4
Suppose -2*y + 3*t + 27 = 0, -4*t = -5*y + 22 + 56. Solve -3*w - w - 16 = 3*c, 0 = -2*w + 5*c + y for w.
-1
Suppose 3*o = 4 + 29. Let b be o/2 + 6/(-12). Solve 0 = 3*r + 3, b*g + 5*r + 6 = -19 for g.
-4
Suppose -o = -3*u + 8*u, -2*u = 4*o - 72. Solve w + 4*g - o = 0, -2*w = -g + 5*g - 20 for w.
0
Let r be (-4)/(-2) + (-7 - -6). Let l be 6 + -3 + 2 + r. Solve -3*d - t - 17 = 0, -t = d - l*d - 15 for d.
-4
Suppose -2*h = 5*l - 35, -3*l + 3*h + 25 = 5*h. Let i(o) = -o**3 - o + 4. Let y be i(0). Solve 0 = -l*v + 2*u - 10, 0 = -y*v - u + 2*u - 8 for v.
-2
Suppose w = 3*w - 4. Solve 16 = -4*x - 4*r, r + 11 = -w*x - 4*r for x.
-3
Let p = 2 - 0. Suppose r - 8 = -r. Suppose -x = -3, 0 = 5*v - p*x - r. Solve -4*o - 14 = 3*n, n - v*n - 2*o = 8 for n.
2
Let q(o) = 2*o - 7. Let f be q(7). Let z = f + -7. Solve 4*r - 11 + 4 = -3*v, z = -3*r + v + 2 for r.
1
Let v be (-2 - 0)*6/(-4). Let r(l) = -l - 3*l**2 - 7*l**2 + 11*l**2 - 4. Let q be r(v). Solve -i - 2*z + 12 = 2*z, q*i - 4*z = -24 for i.
-4
Suppose -2*i = 4*u, -4*u + 1 = -5*u. Solve i*p + 2*p - 12 = 0, -p = 4*g - 23 for g.
5
Let t be 68/3*(-21)/(-14). Solve 2*j = -8, 2 = 5*c - 4*j - t for c.
4
Let m be 378/15 + (-1)/5. Suppose 15 = 2*c - m. Solve -r - a - 2 = 0, -4*a = -2*r - r - c for r.
-4
Let v(i) = -i + 3. Let s be 7*-2*9/(-21). Let o be v(s). Let n(p) = -p**3 - 3*p**2 - 2*p - 4. Let t be n(o). Solve 5*j = t*r + 9, -r - 4 = 2*j + 2*r for j.
1
Suppose -4*j = m + 2*m - 29, 2*m + 54 = 4*j. Let q = j + -3. Suppose 2*d = -d + 15. Solve -z - 2 = d*g, 4*z = -3*g + 4*g - q for g.
0
Suppose 2*h - 3 = h. Suppose -5*u + 5*d + 54 + 26 = 0, -2*d = -u + 20. Suppose 4*j = 6*j - u. Solve -b - 2 = 0, h*w - 2*b = -5*b + j for w.
4
Let l(v) = -v**2 + 4*v + 6. Let n be l(5). Suppose n = w - 47. Let p = -33 + w. Solve -d = -4*s - p, 18 = -s - s + 4*d for s.
-3
Let i(z) = -z**2 + 7*z - 9. Let d be i(6). Let f = d - -5. Solve 0 = 5*y - 4*c - 7, f*y + 0 = -2*c - 8 for y.
-1
Suppose 0 = -4*w + 2*w - 154. Let d be w/(-63) + (-4)/18. Let p be (2 + -3)/(d/(-4)). Solve 5*z = 3*o - 34, 0 = -3*z - 2*o + p*o - 21 for z.
-5
Suppose -i + 5*i - 16 = 0. Solve -27 = -i*c + 4*g - 7, -5*g = 3*c - 7 for c.
4
Let d = -19 + 21. Suppose d*n = 3 + 1. Let j be ((-6)/(-4))/(2/4). Solve 2*h - 17 = -k - n*h, 5*k - 2*h = -j for k.
1
Let i be (-8)/(-7 + 4 + 1). Solve 0 = -3*r + i*b - 14, -5*r + 0*b - 2*b = -20 for r.
2
Suppose -28 = -11*p + 4*p. Solve 3*q + q = -2*v + 6, 4*v - p*q = -24 for v.
-3
Let v be 8/3*9/6. Solve 0 = 3*s - 2*w - 25, 5*s - v = -4*w + 1 for s.
5
Let a(p) = -p**3 - 2*p**2 - 4*p - 3. Let c be a(-2). Solve -4*f = -x, -5*x + 9 - 24 = -c*f for f.
-1
Let y = 2 - 0. Let h be 0/4 - (y - 2). Solve 9 = 3*t, -3*b + 3*t + h*t - 9 = 0 for b.
0
Suppose 0 = r - 0*r - 11. Suppose -g = 5*n - 21, -2*n = -g + 3*n - 9. Solve u - f = -3*f + r, f = -u + g for u.
1
Let i(c) = -c**3 + 7*c**2 - 10. Let g be i(7). Let n = g + 14. Solve -3*k = 3*p - 6, 0 = -2*k + 4*k + n for p.
4
Suppose 4*p = 7*z - 2*z - 35, 2*p + 19 = 3*z. Suppose 3*r = -z*q + 36, -7*r + 3*r - 3*q + 44 = 0. Solve 2*b + b = 5*o - r, 0 = -b + 3*o - 4 for b.
-1
Let a = -10 + 10. Solve -2*m - 3 = -3*f, -f + 0*f - 3*m + 1 = a for f.
1
Let l = 1 - 1. Let x be -2 + (0 - l) + 14. Solve 0 = -3*d - 15, h + 2*d + x = -h for h.
-1
Let k(c) = c - 13. Let l be k(6). Let i(o) = -o**3 - 6*o**2 + 7*o + 6. Let q be i(l). Let a be 0/1 - (4 - q). Solve a*m + 4*j + 2 = -12, 12 = 4*m - 2*j for m.
1
Let v = 1 + 2. Suppose 18 = 2*f - p, -3*f = 5*p + v - 4. Suppose 0 = -4*u - 3*i - f, 4*u - 4*i = 28. Solve 0 = a - u*s - 7, 16 = 4*a - 0*s - 4*s for a.
1
Let a(u) = -3*u - 17. Let f be a(-6). Let c(w) = w - 1. Let k be c(f). Solve b + k = 3*j - 6, 5*b = -5*j - 10 for b.
-3
Let h = -23 - -15. Suppose 0*c + 11 = -c. Let x = h - c. Solve l + f = -4*f + 10, 2*l - x*f + 19 = 0 for l.
-5
Let x(y) be the first derivative of y**4/4 + y**3/3 - y**2/2 - y + 1. Let n be x(-1). Solve -4*j - 8 + 0 = 4*o, -5*o + 2*j + 4 = n for o.
0
Let u = 27 - 23. Solve 0 = -4*r + 12, 4*h + 5*r - u + 1 = 0 for h.
-3
Let x be 46/8 + (-3)/4. Solve 4*q + 1 = 3*q, x*q + 8 = -3*r for r.
-1
Let w = -9 + 5. Let s be 12 + 3 + -1 + w. Let l(o) = -o**3 + 9*o**2 + 11*o - 5. Let t be l(s). Solve 2*i + 3 = 5*j, -2*i + 2 = 5*j - t for i.
1
Let u(i) = i**3 - i**2 - i + 9. Let y be u(0). Suppose -y = -4*r - 1. Suppose 12 = c - 3*t, 5*t = 2*c - r - 18. Solve 4*g = 0, c*g - 6 = -2*d - g for d.
3
Suppose 0 = -4*d - 3 + 35. Let u be d/3 + 2/(-3). Solve -3*z - 3*b + 15 = -0*z, u*z = -b + 8 for z.
3
Let c(p) = p**2 + 13*p - 6. Let h be c(-15). Solve -7*n + 3*n - h = -l, 0 = -5*n - 25 for l.
4
Let k = -9 - -4. Let i be (k/(-4))/((-1)/(-4)). Suppose -2*c = -y - 1, 0 = 3*c - i*y + 10 - 1. Solve -2*m + 8 = 5*q, -2*m - 16 = -6*m - c*q for m.
4
Let k(f) = f - 2. Let y = -3 - -7. Let a be k(y). Suppose 0 = -a*t - t + 63. Solve -5*x + 2*w = t, 5*x + 4*w - w = -6 for x.
-3
Let u(f) = -f**3 - 8*f**2 - 7*f - 2. Let i be u(-7). Let t = -2 -