 -c - 3 = 5*u - 2*u for u.
-1
Suppose -7*a - 16 = -9*a. Let p = 1 + 1. Solve 5*f = -2*v + p, 5*v + a*f - 5 = 3*f for v.
1
Let g be 30/9 + (-1)/3. Let m = 16 - 8. Suppose -u + m = g. Solve -3*q + l + 1 = 0, u*q + 4*l - 15 = -l for q.
1
Let t = 44 - 27. Solve -4*p = -3*z + t, -3*p + z + 0 = 9 for p.
-2
Suppose u - 5*c = 0, 2*u - c - 3 = 6. Solve -1 = -3*k - y, 0 = k + u*y - 0*y - 19 for k.
-1
Suppose -3*w = -2*w - 5*z - 22, -2*w = 5*z + 1. Let q(m) = m**3 - 7*m**2 + m - 2. Let t be q(w). Solve u - 7 = -t*d, -2*d = -3*d - 2*u - 4 for d.
2
Let b be (-2*(-5)/30*-15)/(-1). Solve -n - k = -1, -2*n = n + 2*k - b for n.
3
Let u(k) = k**2 - 1. Let z be u(0). Let a be (24 - 0)/(-1)*z. Solve 5*m - m - a = 2*n, 0 = -3*m - 3*n for m.
4
Suppose -3*h + 5*u + 0*u = -25, 3*u = 4*h - 37. Suppose -3*r + 3*d = d + 10, 5*r = -2*d + h. Solve 5*b - 3*v = 11, 3*b + v - 1 = -r for b.
1
Let n = 26 - 21. Solve -5*p = -0*p + 2*i + 9, n*i + 13 = -3*p for p.
-1
Suppose -4*c - 5*g - 9 = 0, -2*g - 2 = c + 4. Suppose -w + 5*x = 2*w + 11, -c*w + 2*x + 4 = 0. Solve 3*a = 4*a - w*y - 14, 5*a = 4*y + 37 for a.
5
Let u = -60 - -92. Let h = u + -16. Let c(q) = q**3 - 3*q**2 - 3*q - 3. Let o be c(4). Solve 8 = 2*x, 2*x - h = -3*b + o for b.
3
Let s be (-440)/(-198) - 4/18. Solve -2 = -a - l, -1 + s = -4*a - l for a.
-1
Suppose 18 = m - 4. Suppose 2*y + 0*y - m = 0. Let q = y - -4. Solve -3*t - 19 = -2*l, -4*t = 5*l + 2 - q for l.
5
Suppose -6*c + 4*c = 2. Suppose 5*a + 3*j - 3 = -2, 4*a = -2*j. Let y be (c - a) + (0 - -2). Solve -6*q + 3*q = -6, 10 = 3*p + y*q for p.
2
Let n be (-20)/8*((-36)/10)/3. Solve w = -l - 1, -n*l - 11 = 2*l - w for l.
-2
Suppose -25 = -2*n + 3*g, 2*n + 2*n - g = 55. Suppose -5*l + 10 = -4*l. Let w = n - l. Solve -b + v + 10 = -w*b, 0 = 3*b + 2*v + 8 for b.
-4
Suppose 4*h + h = 45. Let u be ((-24)/(-9))/((-3)/h). Let o = 8 + u. Solve o = 4*f + 3*w - 26, 4*w = -2*f - 3*f + 33 for f.
5
Let r = 6 - 3. Solve 0 = -5*s - 2*n - 21, -4*n = r*s + 17 + 4 for s.
-3
Let p(o) = -2*o**2 + 5*o + 4. Let f be p(4). Let j = f - -13. Suppose -4*v = v + 25, -3*r - 4*v - 11 = 0. Solve i - j = s, -r*i = i + s for i.
1
Suppose -4*m + 0*m + 4*k + 4 = 0, 0 = -3*m + 4*k. Let c = 9 + -21. Let b = 19 + c. Solve -m*x + 2*t + 3*t = -14, -b = 3*x + 5*t for x.
1
Let g = -15 - -17. Let w(n) = n**3 - 3*n + 2. Let u be w(g). Solve u*k + t - 23 = -2*t, 0 = 3*k - 4*t - 11 for k.
5
Let t be 2 + 3*(-1)/(-3). Suppose 0 = -3*o + 3 + t. Suppose -j - 19 = -o*h, -3*h + 3*j + 41 = h. Solve -l + h = -0*l - 2*i, 0 = 3*l + 2*i for l.
2
Suppose 4*c + 0 - 16 = 0. Suppose 21 = f + 4*z + 3, 4*z = -c*f + 24. Let h be (-4 - 1)*(-2)/f. Solve q + q - 4 = -2*m, -2*q = 5*m + h for q.
5
Let g(m) = -m**3 + 7*m**2 - m + 10. Let f be g(7). Let i(b) = 0*b - 2*b + 10 + f*b. Let x be i(-8). Solve -5*c - 2 = -4*n, -n = x*c - c + 4 for n.
-2
Let h(k) = k**2 - 5. Let l be h(0). Let j = 9 + l. Solve 5*o + 4 = 5*z + j*o, -5*z = 5*o - 10 for z.
1
Let b be 4*3*(-5)/(-12). Solve -5*n + 0 = -b*w + 20, 4*w + 5*n = -11 for w.
1
Suppose 0 = -3*c - v - 4*v + 219, 0 = -4*c - 2*v + 306. Let p = -56 + c. Solve 0 = -5*q - 4*j - 28, -3*j - p = 3*q + 2*j for q.
-4
Let x be (-2*8/4)/(-1). Let d(j) = -j**2 + j - 1. Let a be d(0). Let q be (a + 8/6)*12. Solve 32 = -y + q*y - x*t, y + t + 1 = 0 for y.
4
Let h be ((-4)/2)/((-1)/10). Let y be 52/h + (-2)/(-5). Solve x + 4*i + 3 = -20, 4*x + y*i = -27 for x.
-3
Suppose -3*h = -4*h - 2. Let q be h/(-2) - (-1 - -2). Suppose -4*r = -5*i + 30, 17 + q = i - 3*r. Solve 4 = z, -i*t - 10 = -4*t - 4*z for t.
-3
Suppose -2*s + 4*m - 6 = 0, 3*m - 8 = s - 1. Let q = s + -1. Suppose 0 = -k - q*k + 25. Solve -k*l - 8 = -l, -4*j + 12 = 4*l for j.
5
Let z = -5 - -8. Suppose 4*a + 5 = i + z*a, 1 = -i - 2*a. Suppose 3*d - 4*j = 0, -2*d - 5*j = 3*d. Solve d = -i*l + t - 2, 2*l - 5*t = -2*l - 10 for l.
0
Let g = 18 - 7. Suppose 3*b = -2 + g. Suppose 2*c - b*c + 3*k = -38, -4*c = 5*k - 84. Solve m = -3*w - 3*m + c, 2*w = -5*m + 29 for w.
2
Let g(a) = -7*a**3 - 2*a**2 - a. Let v be g(-1). Suppose -3*h + 9 = -v. Solve -3*t + 15 = h*o + 2*t, -5*t = 3*o - 11 for o.
2
Suppose -8 = 4*j + 4*h + 4, 4*j - 28 = 4*h. Solve -f = 4*r - 8, -3*r + j*r + 13 = 3*f for r.
1
Let c = 31 - 26. Solve b - 19 = c*i - b, -13 = 2*i + b for i.
-5
Let p be -3 - (-32)/12 - 14/(-6). Solve 2*t = 4*t + p*z + 2, -4*z = -3*t - 31 for t.
-5
Let o(p) = p**3 + 4*p**2. Let v(l) = 2*l + 6. Let u be v(-5). Let n be o(u). Solve -2*h + 2*z + 3*z - 16 = n, -4*h + 24 = 4*z for h.
2
Let d be 2*2 - 4/(-4). Suppose -d*i + 1 = 3*r, 0 = -0*r - r + 5*i + 7. Suppose -16 = -r*z - 6. Solve -3*m = -5*c + 9, -33 + 8 = -z*c - 5*m for c.
3
Let f be (-1088)/(-20) + 2/(-5). Suppose -17 = -o - 4*j + 2*j, j = -4*o + f. Solve -4*y + 19 = 5*n, -2*y + 5*n - o = -0 for y.
1
Suppose j + 5*o - 11 = 6, 0 = 4*j + 5*o - 23. Suppose 4*s - 22 = j*s. Solve 0 = -3*z + 5*v - s, -2*v = -2*z - 2*z - 10 for z.
-2
Let g(b) = b + 2. Let i be g(-12). Let j be (-96)/(-5) - (-2)/i. Solve 2*q = -3*p - 9, 0 = 3*q - p - p - j for q.
3
Let m(r) = -r**2 - 6*r + 5. Let s be m(-4). Suppose 3*q = 4*b - 52, -4*b + s + 39 = q. Let l = b + -8. Solve -4*n + 39 = -l*y + 14, 0 = -3*n + 5*y + 20 for n.
5
Let w be 3 + 6/(-1) + 3. Suppose w = -4*z + 16 + 4. Solve -11 = -3*j - z*a, 5*a - 13 = 2*j - 6*j for j.
2
Let r be ((-18)/15)/(16/(-40)). Solve 3*t = 6, -r*w + 3*t = w - 6 for w.
3
Let n(m) = -2*m**2 + 22*m + 3. Let x be n(11). Suppose x*c = -c - 20, 0 = -2*y - 4*c - 20. Solve 0 = -3*z - 4*d + 8 + 5, -z + 3*d = y for z.
3
Suppose 5 - 32 = -3*b. Let k be b - (-1 - -5) - 2. Solve -k*p + 2*p + i = 0, 0 = 4*p + 5*i - 9 for p.
1
Let k(c) = -c**3 - 9*c**2 - 8*c + 1. Let i be k(-8). Let n be (-5)/(-2)*24/20. Solve -5*x - 5*l - 25 = 0, 4*l + 18 = -n*x - i for x.
-1
Let h(w) = w**3 + 5*w**2 + 3*w + 7. Let u be h(-4). Suppose -4*r - 20 = -b, -3*b + 3*r + 28 = -r. Let y = -7 - -10. Solve -f + y = b*d + u, 0 = f + d - 1 for f.
4
Suppose -127 - 23 = -6*o. Solve 8 + 12 = -2*u - 4*b, -5*b = u + o for u.
0
Suppose 0 = -4*o + 12 + 8. Solve -x - 14 = -o*k, 4*k = -2*x - x + 15 for k.
3
Let b be (4/3)/(2/3). Solve -x - 4*r - r = 27, -2*x - 14 = b*r for x.
-2
Let u = 11 + -3. Let r = -2 + u. Let i = 8 - r. Solve 5*w = i*z - 20, z + 2*w = -3*z - 8 for z.
0
Let p(g) = 5*g**2 - 2*g + 1. Suppose 2*x - 2 = -0. Let o be p(x). Let c = -36 - -40. Solve 0 = c*y + o*r - 4, 2*y = r - 1 for y.
0
Let n = 3 - 0. Suppose 4*d - 8 = -m - 0, -56 = -3*m + 4*d. Suppose -z + m = n*z. Solve 4*t + 5*l = 28, -4*l = -3*l - z for t.
2
Let i = -77 + 112. Suppose -2*n + 2 = -0*s + 2*s, 0 = 3*n - 5*s - i. Solve 3*g + 4*x - 17 = 0, -n*g = 2*x - 7 + 2 for g.
-1
Suppose 4 - 10 = h. Let k be (-30)/h + 1*-3. Solve -3*q = p - 9, -k*p - 3*p + 5*q - 15 = 0 for p.
0
Let s = -22 - -22. Solve -j = -s*j + 4, 0 = -2*f - 2*j - 6 for f.
1
Suppose -2 = -2*s + s. Let j = s + 0. Suppose -2*z + 4*i = 8, -z - 2*i = 3*i - 24. Solve -4*d = -d - j*m, 0 = d - z*m - 10 for d.
-2
Let a = -1 - -3. Solve -15 = 5*h, h - a*h - 8 = -j for j.
5
Suppose 0 = -h + 2*h + 1. Let z = h - -3. Suppose 3*l - 9 = -0*l. Solve 5*t = l*n + z*n, -n = -3 for t.
3
Let o = -39 - -71. Let j = -29 + 11. Let m be (-80)/(-36) - (-4)/j. Solve 4*w = -3*u + o, w - 31 = -m*w - 4*u for w.
5
Suppose 5*g = g - 12. Let n = g - -7. Solve 5*z - 2*a = -0*z - 15, 0 = n*z - 2*a + 14 for z.
-1
Suppose r + 2*r - 18 = 0. Let f be 3*-1*2/r. Let y be f/4 - 45/(-20). Solve 0 = -4*k - 4*v + 28, 3*k + 6 = 2*v + y for k.
2
Let z(q) = 2*q + 7. Let l(a) = a + 1. Let c(r) = 3*l(r) - z(r). Let d be c(4). Let v = 52 + -34. Solve -2*b + 10 = -k + b, k - 5*b + v = d for k.
2
Suppose 5*c + 5 = 15. Suppose 2*d + 2*r - 12 + 0 = 0, -r - c = -3*d. Let x be (d - 2 - -10)/1. Solve k - u - 2 + 0 = 0, -2*k + 5*u + x = 0 for k.
0
Let u be (-1 - 1) + -1 - 1. Let h(z) = -z**2 - 5*z. Let o be h(u). Solve -5*l - 18 + 6 = o*v, -3*l = v + 3 for v.
-3
Let m be (-9)/(-4) + 2 + 14/(-56). Suppose -9 = -u - 3*j, -2*j + 0*j = -5*u + 11. Let y be (-1)/(-2)*(1 - 1). Solve y = -u*i + 3*l, m*l = 3*i - l - 8 for i.
-4
Let v = -87 + 91. Solve 5*c = v*h - h + 4, -c = 3*h + 10 for c.
-1
Let f(k) = -k**3 + 8*k**2 - 6*k - 7. Let j be f(7). Suppose 90 = -0*y + 3*y. Let g = 28 + -25. Solve -g*v = -0*v - 3*d, j = -4*v - 2*d + y for v.
5
Let t = -4 + 7. Suppose 0 = -4*w - 17