u + 6 + w for x.
4
Let f be -1*3/((-9)/12). Suppose u - f*u = 0. Let x = -2 - -6. Solve u = -3*m - 9, -m - 1 = b + x for b.
-2
Suppose q + 2 = 3*q. Solve 5*b + a = -22, 0*b = b + 2*a - q for b.
-5
Let d be 20/(-5) - 9/(-1). Solve -d*j - 10 = r - 0*r, 4*j + 12 = 0 for r.
5
Let f(a) = -a**3 - 11*a**2 - 12*a - 15. Let h be f(-10). Suppose h*r + 0 - 15 = 0. Suppose -2 = 2*q, q = 3*c + 2*q - 5. Solve 5 = w + r, 1 = -u - c*w for u.
-5
Let i be (-104)/(-260) - (0 - (-56)/(-10)). Solve -g = 5*r + i, -2*g = -r - r for r.
-1
Suppose v + 4 = 6. Solve -v*f - 8 = g - 4*g, 2*f + 3*g = 16 for f.
2
Let c be (-32)/(-144) - (1 - 68/18). Solve 0 = -t + g + 1, 0 = t + c*g - 1 for t.
1
Suppose 5*i = i + 8. Suppose i*n - 2*u = 6, -n - 2*n - 5*u = -1. Solve 4*b + 8 = -3*y, 2*b = n*y - 3*b - 33 for y.
4
Suppose -4*m - m - 310 = 0. Let g = -35 - m. Solve a - 4*a + 3*o = -g, -3*a + 19 = -o for a.
5
Suppose -3 = -o + 3. Suppose 3*c + 13 = x, 8 = -3*c - 1. Let n = -7 + 13. Solve -o*a - 5*y = -3*a + x, -2*a + n = -y for a.
2
Suppose i - 3*m + 2 = -6, 0 = -3*i + 2*m + 4. Suppose i*u = -2 + 10. Let x be 4/6 + (-4)/6. Solve 3*r - 6 = -3*d, -d - u = -x for r.
4
Let y(g) = -g - 23. Let t be y(-25). Solve -t*n = -2*z + 18, -z - 8 = 4*n + 3 for z.
5
Suppose -281 = -3*g - 116. Let u be g/22*(-12)/(-5). Solve 2*x = -f - 12, -f - x - u = 1 for f.
-2
Suppose 16 = 5*l - 4*k, -2*k + 14 = 3*l - 0. Suppose l*o = -0*o + 8. Let n = 9 + -5. Solve n*a - 7 = o*a - t, 4*t = -3*a + 8 for a.
4
Suppose 0 = 3*v + 5*h - 24, 0 = 5*v - 2*h - h - 40. Let y(a) = a**3 + a**2 - a + 5. Let x be y(0). Solve -5*p = -5*w - 3*p + 17, -w + x*p = -v for w.
3
Let f = 8 - 6. Suppose -f*x + x + 2 = 3*m, 3*m + 5*x + 14 = 0. Suppose 1 = 4*g - 7. Solve -3 = -g*v - h, -3*v - v + 10 = -m*h for v.
2
Let r = -27 - -31. Let p be 4 - (r - 1) - -3. Solve -p*a + 3 = b, -5*b + 6*a = a + 35 for b.
-5
Let x be 6 + (0 + -2 - -2). Suppose -5*c + 19 = -x. Let d = 13 - c. Solve -z + 3*t = -15, 3*t + d = -4*z - 2*t for z.
3
Suppose 0 = -2*k - k + 24. Let f(y) = 2*y - 11. Let d be f(k). Solve 4*n = -d*c + 5, 5*n + 16 = -3*c + 6 for c.
5
Let y(o) = o - 2. Let m be y(5). Solve -2*t + 4*l = -m*t + 11, 0 = -2*l + 6 for t.
-1
Suppose -w - 3*b = -10, -2*w = 5*b - 7 - 11. Suppose -3*u - 12 = 0, -w*v = u - 5*u - 32. Solve 4*a = -v*n - 0*n - 4, 3 = -a - 3*n for a.
0
Let x(n) = 7*n**2. Let p be x(-1). Suppose -4*s + p*s = 0. Suppose s = 5*w - 112 + 12. Solve -4*k - 3*q = w, -5*k - 4 + 2 = -2*q for k.
-2
Let s(p) = p**3 + 12*p**2 + 12*p + 8. Let t be s(-11). Let r be 2/(-12)*t*-46. Let h be (-6)/(-15) + r/(-5). Solve 3*a - 11 = -g, 2*g - 5*a + 17 = h*g for g.
-1
Suppose r = -r - 4*a - 16, a = -r - 5. Let n be 1503/117 - r/13. Solve -5*g - 2*x = 21, g + n = 4*x - 0*x for g.
-5
Let k(y) = y**2 - 10*y + 10. Let l be k(9). Suppose 5*t - 12 = -2. Let s = 4 - t. Solve s*u + 20 = 4*c - 4, l = -3*u - c for u.
-2
Let v be 2/4*0/2. Let a(l) = 6*l**3 - 2*l**2 + 1. Let t be a(1). Let m = t - v. Solve -2*w + 16 = -m*u, 3*u - u + w = -1 for u.
-2
Let d = 23 + -21. Solve -2*i = 3*m + 2*m + 30, d*m = -5*i - 33 for i.
-5
Let h be 0 + (-4)/(-14) + 235/35. Solve 5*z = 4*b + 39 + 1, -b + h = 3*z for z.
4
Let c(l) = l**2 - 6*l + 3. Suppose 0*x + 4 = 2*x. Let k = 8 - x. Let q be c(k). Solve -i - 7 = -q*i + z, 4 = 2*i + 2*z for i.
3
Let d(j) = 4*j**2 + j. Let s be d(-1). Suppose 3*c - 2*z = z - 12, -c = 3*z - 12. Solve -8 = -2*f, c*y + y - s = -f for y.
-1
Suppose -5*y + 4*l = -41, 13 = 5*y + 3*l - 0*l. Solve 4*d = -2*s + 10, 20 + 5 = y*d + 5*s for d.
0
Let m(x) = -x**3 + 3*x**2 + 2*x - 1. Let j = 0 + 3. Let b be m(j). Suppose 3*o = b*o. Solve -4*n = 3*z - 8*z, o = 4*z + 2*n for z.
0
Suppose 3*m = -0*m + 21. Solve 0 = l + 4*o + o - 14, l + m = 2*o for l.
-1
Suppose -q + 19 - 16 = 0. Solve 5*h + 3 = -q*t, -3*h = -t - 3 + 16 for h.
-3
Let j be 19 + 0 - (1 + -3). Let a be j/12*3*4. Suppose 2*l - 4*h + 6 = 0, -5*l + 2*l + a = 4*h. Solve 5*k - l*g - 4 = 0, 5*k - 1 = -3*g + 15 for k.
2
Let j be (-8)/3*15/10. Let x be 11/4 - j/16. Let n(l) = l**3 - 4*l**2 + 3*l + 2. Let h be n(3). Solve -x*c + h*g - 3 = 1, c + 2 = g for c.
0
Let z be 21/(3/1) - 2. Solve 2*s = -5*c - z, 3*c - 6*s + 3 = -2*s for c.
-1
Suppose -10 + 36 = y. Suppose 3*o + 0*r + 3*r - 12 = 0, 5*o - y = -2*r. Solve -2*b = 2*v - 10, -o*b = -2*v - 2*b - 2 for v.
3
Let a(m) = 2*m**3 + m**2 + 2*m + 1. Let u be a(-2). Let n = -12 - u. Solve 4*t = c, -6 = -n*c + 4*t + 2 for c.
4
Let t be 2/(-7) - (-44)/7. Let p = -4 + t. Suppose -4*b - p*g = -12, -5*g + 16 = 2*b + b. Solve -b*h + 14 = -4*v, -5*v = 3*h - h + 13 for v.
-3
Let x = 12 - 8. Let k = -6 + 5. Let c be k + 9/(-3) + 4. Solve x*z - 5*i - 35 = c, 4*i = z + 3*z - 32 for z.
5
Suppose j - 9 = -2*j. Let s = -55 - -57. Solve 9 = -j*g + 4*c, 3*g + s*c + 10 = 1 for g.
-3
Let g(o) = -o**2 - 10*o + 10. Let n be g(-9). Solve -k = -5*v - n, -2*v - 4*k + 0*k = -10 for v.
-3
Let m(i) = i - 4. Let j(p) = -1. Let g(l) = 4*j(l) + m(l). Let f be g(10). Solve -2*v - c = f*v - 9, -5 = -2*v - c for v.
2
Suppose 2*p + 18 = 5*m + p, -24 = -3*m + 5*p. Suppose -m = -2*g + 3. Solve a + 3 = -g*h, -h + 0*h + 15 = -5*a for a.
-3
Let y be 6 - (1 + -1 + 1). Suppose 4*o = -3*u + 8, 5*u - 5 + 1 = -2*o. Solve -n = 4*n - o*a + 4, -8 = y*n - 4*a for n.
0
Let q be 36/15*(-25)/(-10). Solve 5*r - q*f + 1 = -2*f, -2 = -2*r + 4*f for r.
-1
Suppose -6*i = -i + 2*z - 19, 5*i - 7 = 4*z. Let q(d) = d - 2. Let v be q(4). Suppose v*c - 6*c = -12. Solve 0*h - 2*t = c*h - 1, -t = i*h + 1 for h.
-1
Suppose 9*o + 18 = 6*o. Let c be (o/(-4))/(1/2). Solve 2 = -4*t + 3*t - v, 0 = c*t + 4*v + 6 for t.
-2
Let m(z) = z**3 - 2*z**2 - 2*z + 2. Let q be m(2). Let j be (-40)/(-6)*(q + 5). Solve -2*n + 5 = -4*k - 7*n, 4*n = -j for k.
5
Suppose -4*q + 39 = 31. Solve -5*a = -a - 5*i + 26, -q*a - 18 = -5*i for a.
-4
Let u = -5 + 9. Let k be 28/(-13) + u/26. Let b be 6/(-4)*(k - 0). Solve 3*v + 18 = -b*x - v, v - 3 = 3*x for x.
-2
Suppose -2*k = 3*c + 3*k - 27, 3*c + 2*k - 27 = 0. Solve -5*r - 4 - 3 = -3*o, -o = -5*r - c for o.
-1
Suppose 2*n + 11 - 17 = 0. Solve -5*b = -3*l + l + 33, -5*l + n*b + 35 = 0 for l.
4
Suppose -8*x - 15 = -191. Solve n + 3*n + 2*s - x = 0, -5*n + 27 = 2*s for n.
5
Let j = -42 + 47. Solve -r - 8 = j*o - 0*r, 0 = 3*r - 6 for o.
-2
Suppose 0 = 5*y - 4*z + z - 6, 0 = 4*z - 12. Let c = y + 1. Let p be (c + -2)/4*4. Solve -p*j - o + 4 = 0, 0 = -4*j + 2*o - 3*o + 10 for j.
3
Let o(x) be the first derivative of -x**2/2 - 4*x + 2. Let b be o(-7). Solve 4*w + 3 = -3*f + 7*w, 0 = 3*f - 4*w + b for f.
-1
Let x(t) = t**2 + 4*t. Let y be x(-5). Solve -2*u - 2*u = m + 5, -5 = m - y*u for m.
-5
Let b(z) = 3*z**2 - 5*z - 8. Let p be b(3). Solve 3*h - 2 = -2*g, -p*h = -3*g + 7*g for g.
-2
Let c = 3 - -1. Let z(s) = s**3 - 3*s**2 - s - 4. Let t be z(c). Let k be (-3*t/6)/(-2). Solve -k*x + 5 = n, -2*n - 2*x + 5*x + 3 = 0 for n.
3
Suppose 2*c + c = 0. Let a = 17 - 37. Let z = -8 - a. Solve x = -2*f - z, c*f = 2*f + 10 for x.
-2
Suppose -5*n = -n - 12. Solve 2*a + 4*t + 9 = 3, n*a - 3*t = 0 for a.
-1
Let h = -5 + 8. Let w = 8 - h. Solve 0 = -5*c + 5*i + 5, -3*c - w*i = 2*c - 45 for c.
5
Let v = 1 - 0. Let d be 3/(((-9)/(-12))/v). Let i be (4/2)/d*16. Solve 3*q - u - i = 0, -1 = 5*q + 5*u + 19 for q.
1
Let q be 2*(-1)/3*-3. Let j be (q/(-3))/(2/(-15)). Suppose 6*l - 8 = 2*l. Solve 0 = r - j*r - 4*m + 12, -3*r + 9 = -l*m for r.
3
Let i be 1/5 + (-2)/10. Suppose m + b = 24, -b + 62 = 3*m - 0*b. Solve 3*u - 2*s - 3 = m, 3*s + 15 = i for u.
4
Let b(a) = -6*a**3 + a**2 - a - 1. Let r be b(-1). Let s = -4 + r. Solve 5*w - s = m, -m + w - 1 + 2 = 0 for m.
2
Suppose 15 = 2*h + h. Let r be 2*2 + -4 + h. Let o(j) = -j + 6. Let y be o(r). Solve -3*m = 4*d + 1, m + y + 1 = -3*d for d.
-1
Let s = 491 - 476. Let w be 2/(-4)*1*-10. Solve -2*h - w*x = -10, -3*h + 6*h - s = -4*x for h.
5
Let j(h) = h**3 + 8*h**2 + h + 10. Let w be j(-8). Solve 0 = -w*i + 4*t, i - 3*t = -1 - 0 for i.
2
Suppose 3*m = -6, -2*y - 3*m + 8*m = -18. Solve 5 = -4*u + 3*p - 2, -y*p + 1 = 3*u for u.
-1
Let q(p) = -p + 6. Let s be q(3). Solve x = 4*h - 17, -s*h + x - 5*x + 27 = 0 for h.
5
Let u be ((-3)/2)/(3/(-6)). Let z = u - -2. Solve -5*g = 0, b + 4*g + z = -4*b for b.
-1
Let u(g) = -15*g - 7*g + 24*g - 4. Let i be u(5). Solve d + i = 2*o, -3*o = -o + d - 