*f, 3*f = j*r - 0*r - 1 for r.
-1
Suppose 4*h + 27 = 2*m - 1, 0 = -2*h - 10. Solve -m*b + 12 = 4*a, -1 = -3*b - 4 for a.
4
Suppose -29*y + 68 = 5*y. Solve k = 2, 0*k - 6 = y*u - 5*k for u.
2
Let p(a) = -a**3 - 7*a**2 + 2*a + 61. Let o be p(-5). Let k(u) = -u**2 - 7*u - 5. Let z be k(-5). Solve 2*r - s + 6 = o, -z*r - 2*s = 17 for r.
-3
Let q(c) = 2*c**3 + 15*c**2 + 6*c - 4. Let o be q(-7). Solve j - 3 = -2*v, -o*v - 3*j + j = -3 for v.
3
Let n = -3 - -6. Suppose -10 = -2*g - n*g. Suppose -2*v + 4 = -x - 2, -2*x = -g*v + 2. Solve k = 4*u - 5, 0*u + 3*u = v*k + 25 for k.
-5
Let c be (2 + 0)*(2 - 1). Suppose c*d + 4 = -4, 3*b + 4 = -4*d. Let q be 1/(-4) + (-2 + 3)/4. Solve w = -q*w + 5*o + 24, b*o + 23 = -3*w for w.
-1
Let n be 2 + 3 + -2 + 7. Let p be n/4*(-6)/(-5). Let y be (-26)/(-3) + 1/3. Solve y = m - p*u, 4*u = m - u - 13 for m.
3
Let f(g) = -2*g**2 + 2*g - 1. Let n be f(1). Let x = n - -3. Suppose 11*m = 10*m + 3. Solve x*p + 15 = 3*h, 0*p = -p - m for h.
3
Suppose -2*x - 6 = g - 12, -2*x = 4*g - 36. Solve -w + 0 = 5*b + 2, 5*w - 2*b = -g for w.
-2
Let n(d) = d**2 - 11*d + 31. Let h be n(7). Suppose -14 = -2*u + h*w, -2*u - 5*w + 4 = -3*w. Solve -8 = -3*x + k - 0*k, -u*x = k + 1 for x.
1
Let g = -5 - -10. Let v be 1/(-5) - (-1)/((-25)/(-105)). Suppose -2*l + 30 = q + 4, -q - v = 0. Solve g*x = -3*j - 4 - l, 0 = -3*x - 6 for j.
-3
Let b(o) = -7*o + 9*o**2 - 12*o + 9 + 18*o - o**3. Let z(r) = 3*r**2 - 3. Let j be z(-2). Let u be b(j). Solve 4*t + 5*m + 1 = 0, u = 3*t - 5*t + 2*m + 4 for t.
1
Suppose -2*u - 3*p = 8, -2*u - 2*p + 0 - 4 = 0. Suppose 0 = -u*x + x + 3. Solve 5*l - 3*z = 4 - 44, -2*l + x*z = 25 for l.
-5
Suppose 4*h + b - 1 = 0, 0 = -4*h + 5*h - 5*b + 5. Solve -g - 5 = z, 4*z = -2*g - h*g - 20 for z.
-5
Suppose -k + 2 = y, 4*k - 16 = -2*y + 8*k. Solve 8*j - 3*j - 11 = y*m, -7 = -3*j + 2*m for j.
3
Let d = -9 - -22. Let h = d - 25. Let y be (-4)/h + 16/6. Solve y*w = c - 12, 2*w = 7*w + 2*c + 9 for w.
-3
Let j be (59 + 1)*(-5)/(-15). Let d = 20 - j. Suppose i + d*i = 2. Solve -5*x - 15 = i*m, 9*m + 5*x + 15 = 4*m for m.
0
Let h be -45*(-4 - (-18)/5). Let r = -3 + -2. Let q = r + h. Solve 3 - 1 = 2*f, 0 = 4*n + 5*f - q for n.
2
Suppose 72 = 29*o + 14. Solve 5*j - 4*f + 4 + 3 = 0, 4 = -o*f for j.
-3
Let j = -19 + 38. Let p be j/2 - (-6)/(-4). Let k(z) = z - 8. Let l be k(14). Solve -l = t + 5*a - a, 0 = 4*a + p for t.
2
Let n be (3 - 4)/(9/(-36)) - 0. Solve -4*c = -4*z + 8, 3*z = n + 2 for c.
0
Let r = 356 + -352. Solve 4*d + 5 = -d - r*s, d + 5*s = -1 for d.
-1
Suppose -3*b - b = -3*z + 20, 3*z = -5*b + 2. Let c be (b/4)/(1/(-10)). Let w be 70/49 + 828/126. Solve -4*a - 16 = -r, 0*a + c*r - w = 2*a for a.
-4
Let k(p) = p**2 + 16*p + 18. Let x be k(-15). Suppose -1 = -v, 2*n - x = 4*v + 1. Solve 3 + 1 = -n*j, -3*c + 5*j = -17 for c.
4
Let n(t) be the first derivative of 1/2*t**2 + 7 + 13*t. Let l be n(0). Solve -2*r + 1 + 9 = a, -r + 4*a = l for r.
3
Suppose 0 = -17*p + 11*p + 54. Solve p*g - 10*g = 3*v, v + 4*g = 0 for v.
0
Let m(q) = -27 - 6*q**2 + 21*q**2 - 5*q**3 - 8*q**3 + 2*q + 12*q**3. Let j be m(15). Solve 2*c + 7 = 3*u, j*c = u - 5*u + 32 for c.
4
Suppose 2*n = 5*u - 8*u + 9, 10 = -u - 5*n. Solve 2*k + 3*v + 16 = 0, 16 = -u*v + v for k.
-2
Let f be (-3 + 2 - 12) + 0. Let i(h) = -h**3 - 13*h**2 - 2*h - 8. Let x be i(f). Solve -2*s + 0*c - 5*c = x, 4*c + 12 = -s for s.
-4
Suppose 4 = x - 4. Let y(f) = -x*f - 4 + 6 + 9*f. Let o be y(0). Solve -4*c = 3*b - 1, -3*b + 0*b - o*c + 5 = 0 for b.
3
Let t = -120 - -121. Solve -f = o - 0*o + 1, o = -2*f - t for o.
-1
Let g(s) = -s - 1. Let j be g(0). Let k(b) = 9 - 18 + 8 + 34*b**2. Let v be k(j). Solve 5*n = 4*q + v, 4*n - n = -2*q + 11 for n.
5
Suppose 11 = -26*k + 141. Solve 22 = k*v + 2*y, -v + 9 = 2*y + 3*y for v.
4
Suppose -d - 3*s + 1 = 0, -3 = -3*d + s - 10. Let o be 126/4 + (-1)/d. Let g be o/24*(-6)/(-4). Solve -g*q = -j - 4, -4*j - 10 = q + 6 for q.
0
Let j be 14/(-10) + (-2)/(-5). Let t be 44/14 + (-29)/203. Let w = t - j. Solve -2*s + w*c = -s + 2, -c + 4 = -2*s for s.
-2
Let i(z) = 2*z**3 + 2*z**2 - 3*z. Let p be i(2). Solve -3*k + p = 3*s, -1 - 2 = -3*k for s.
5
Let m be ((-198)/(-27) + -10)*3/(-2). Suppose 3*r = -3, -3*a = -5*r + 3*r - 8. Solve -m*x + 0*x - 2 = a*z, 4*z + 3*x = -4 for z.
-1
Suppose 27*d - 37*d + 50 = 0. Solve -j + 3*a + 13 = 0, 0 = -j + 4*j - d*a - 27 for j.
4
Let r = 40 - 31. Let w be (r/6)/(8/16). Solve 2*f + 19 = -5*a, w*f = a - 0*a - 3 for a.
-3
Let m = 24 + -17. Let l be (-3)/(m + -4) + 5. Solve -2*s = 5*c, -l*s = -c - 0*c for c.
0
Let r = -278 + 299. Suppose 14 = 3*c + 2*z, 0*c + z + 32 = 5*c. Solve 4*v = -3*t + r, -3*t + 3*v + c = 2*t for t.
3
Let v(b) = 12*b - 175. Let a be v(15). Solve -a*i + 3*s - 25 = 2, s = 2*i + 10 for i.
-3
Let t = -43 - -24. Let f = t + 22. Solve 5*m - 3 = f*i + 2, -14 = -m - 2*i for m.
4
Let w be 30/(-4) - (-12)/24. Let y(x) = x**2 + 8*x + 9. Let z be y(w). Solve z*l + 5*c - 10 = 0, 0 = -c - 3*c for l.
5
Let m be (-3)/((-4)/(48/9)). Suppose -i = -3*s - 2*i - 13, 0 = 2*s - 4*i + 32. Let v be (-8)/s - 80/(-12). Solve 0*b - k + v = m*b, 4*b + 2*k = 8 for b.
2
Let u(h) = h**3 + 9*h**2 + h + 14. Let k be -9 - (-5)/10*0. Let z be u(k). Solve 3*s + 4*v = 23, z*s + 2 + 3 = 2*v for s.
1
Let p(o) = -6*o - 23. Let g be p(-5). Let c(j) = j**3 - 7*j**2 + 2*j - 10. Let x be c(g). Solve 5*u + m = 10, 5*u + 2 = x*m - 13 for u.
1
Let l = 85 - 85. Solve -3*h + 5 = 3*c - 10, l = 3*c - 4*h - 15 for c.
5
Suppose -10*u + 11*u = -6*u. Solve -3*l + 4*z - 5*z = 2, u = 3*l + 3*z + 6 for l.
0
Let n be -6*(-10)/(-4) + 3. Let x = n - -14. Solve -2*y - 2*k = 8, -5*y + x*k = 13 + 14 for y.
-5
Let b be (-2)/(-1) - (-2 - -4). Suppose 2*l + b*z - 66 = 2*z, -2*l + 3*z + 65 = 0. Solve 4*k = 3*o - k, 0 = -5*o - 3*k - l for o.
-5
Let z be (-9 + 5)/((-4)/22). Suppose -w + 4*m = -23, z = w - 5*m - 4. Suppose -v - 6 + 11 = 0. Solve -4*t + w = 2*f + f, t + 10 = -v*f for f.
-3
Let x be -37*(-1 + 3) - 0. Let h = 76 + x. Solve -3 = -3*y, 7*i - 3*y = h*i - 3 for i.
0
Let u(z) = 39*z + 200. Let m be u(-5). Solve 4*i + 4*t = -8, m*i + t + 12 = -3*t for i.
-4
Suppose 3*n = 0, 0 + 8 = 4*o + 3*n. Solve 0 = -3*d + 12, 5*d - 16 = -o*k for k.
-2
Suppose -2*p = -5 - 5. Let k = -3 - -5. Suppose k*l = -2*l. Solve l = 2*x + 5*a - 9, -4*a - 9 = -p*x - 3*a for x.
2
Let h(f) = f**3 + 17*f**2 - f - 8. Let v be h(-17). Let s(x) = -x + 13. Let l be s(v). Solve l*z = 3*z + o + 6, -5*o - 12 = 4*z for z.
2
Suppose -4*y - 5 = -3*h, y - 5*y + 1 = -h. Solve -2*b = -2, 3*b - 8 = h*q - 2 for q.
-1
Let z = 604 + -569. Solve -j - 5 = 2*b + 2*j, 5*j = 2*b - z for b.
5
Let c(u) = -u**3 + 15*u**2 - 26*u + 5. Suppose 46 = 3*o + 7. Let m be c(o). Solve 0*t - 4 = 2*k - t, 12 = -2*k + m*t for k.
-1
Suppose 2*q = -3*q - h - 5, -25 = 5*q + 5*h. Solve q = -3*l - 3*r, -5*l = -3*r - 6 - 10 for l.
2
Let f = -29 + 22. Let a = 16 + f. Solve -a = 3*t, -5*s + 9 = t - 8 for s.
4
Let z = -294 - -294. Solve 2*s - 6 - 2 = 3*q, 2*q + 4*s = z for q.
-2
Let g be 15/2*(-80)/15. Let l = g + 44. Solve 0 = 2*x + 3*i - 9, -x + l*i = 3 + 9 for x.
0
Let z be ((-9)/4)/(-2 - (-78)/48). Suppose -87 + 75 = -z*u. Solve -4*s + 4*n + 4 = -u*s, -2*n = -2 for s.
4
Suppose 0 = -10*w - 24 + 64. Solve -w*k - 5*y - 1 = -3*k, -k + 4*y = 1 for k.
-1
Let n = -7 + 13. Let l(j) = -j - 1. Let u be l(-3). Suppose 0 = 3*z + 55 - 64. Solve n*m = 3*m + u*k + 9, 0 = -m + z*k - 4 for m.
5
Let l = -27 - -30. Let k = -10 - -12. Suppose 0 = k*f - 4*q, 22 = 2*f + 2*f + 3*q. Solve f*v + 0*r - l*r = -7, 5*r + 19 = -v for v.
-4
Let w(n) = 14*n + 101. Let l be w(-7). Solve -5*u - 6 = -5*m - u, l*m + 4*u = 10 for m.
2
Let h = 38 + -35. Suppose -a = 5*p - 5 - 7, 0 = -h*a - 5*p + 16. Solve -2*x = -a*u - 7*x + 5, 3*u - 18 = 3*x for u.
5
Let a be (-2)/((-18)/111) + (-28)/(-42). Solve -8 = 2*d, -3*f - 3*d - d - a = 0 for f.
1
Let s be 4/(-2) + 2 - 56 - 1. Let i = s - -64. Suppose 0*y + 4*y + m - 17 = 0, -2*y = -3*m - 5. Solve -3*a - 2*a - i = y*v, -4*a - 18 = -3*v for a.
-3
Let m(k) = 2*k. Let p be 15/18 + 3/18. Let h be m(p). Suppose a = -4, h*x + a = -x + 2. Solve -n + 20 = -2*f - 6*n, -x*f + 2*n = -8 for f.
0
Suppose 5*i = -2*d + 4*d + 16, d = -5*i + 7. Solve 9 = -3*a, 0 = -2*s - i*s + 5*a + 11 for s.
-1
Let i = 489 + -489. Solve 4*y - 5*y + 2*r = -5, -3