 + 4*y - 4 = n, 5*r - 17 = 3*y - 2*y for r.
4
Let v(x) = x**2 + x. Let z be v(3). Suppose 2*i + 3*n - 21 = 12, 4*n - 4 = 0. Let c = i - 13. Solve r = 4*g + z, -5*g - 4 - 11 = c*r for r.
0
Suppose 129*s = 620 + 283. Let k(a) = a**3 + 4*a**2 - a - 4. Let i be k(-4). Solve 3*w + p + s = i, w + 4*p = -0*w - 6 for w.
-2
Let r be 18/(-21) - (-2)/(-14). Let v be (-2 - (-5)/1)/1. Let p = v + r. Solve p*h - 18 = -h - 3*w, 5*h - w = 0 for h.
1
Let w(v) = -v**2 - 59*v - 523. Let q be w(-11). Solve q*t - n - 20 = 0, 0 = -t + 3*n + 1 + 17 for t.
3
Suppose 0*d + d = -5*i + 29, 2*d - 18 = -2*i. Suppose i*c - 2*c = 18. Solve -3*s - g + c*g = 19, s = -g - 1 for s.
-3
Suppose t - 5*t = 5*z - 40, 2*z - 4*t + 12 = 0. Solve -11 = -w + z*w - h, 9 = -5*w + 4*h for w.
-5
Suppose 23 = -3*s - 40. Let p be (7/s)/((-1)/6). Solve p*q + 4 = 0, q = 5*a - 3*q - 13 for a.
1
Suppose 27 = o + 22. Solve 2*s + 29 = 5*k, -4*k + 4 = o*s - 6 for k.
5
Let q = 6 + -1. Suppose q*w = -5 + 45. Solve -2*n - w = -2*b, -5*n - 12 = -0*n + 3*b for n.
-3
Let q = 19 - 20. Let k(j) = -j**3 + 2*j + 1. Let n be k(q). Suppose -2*u = 0, 12 = 4*p - n*p - 2*u. Solve 4*l + 5*h = h + 12, -2*h = 5*l - p for l.
-1
Let d(l) = l**3 + 9*l**2 - 20*l + 26. Let p be d(-11). Solve -y - 2*s = 1, p*y - 3*s + 2*s + 4 = 0 for y.
-1
Let n(m) = -2*m + 22. Let v be n(10). Suppose q + 1 = -1. Let t be (6/9)/(q/(-30)). Solve -v = -i + 2*h - h, 5*i - h = t for i.
2
Let g = -7 + 5. Let r = 21 - 19. Let m be r - 1 - g*1. Solve 3*h + 2 = -u, m*h + 3 = h - u for h.
1
Let x(k) = -k**3 + 4*k**2 + 6*k - 5. Let b be x(5). Let u be ((-21)/(-35))/((-1)/(-45)). Let y = 29 - u. Solve b = -5*c - 5, y*n - 2 = 3*n + c for n.
-1
Suppose -42 = 29*c - 50*c. Solve -5*k = -3*y + 24, -6*y + 5*k = -c*y - 27 for y.
3
Suppose -m = -4*m + 21. Suppose 0*w - 2*w + 11 = q, 6 = 2*q. Suppose -m + w = -j. Solve 0 = 3*p - j, l + 4*p - 3*p + 2 = 0 for l.
-3
Suppose -19*p + 17*p - 28 = 0. Let b = 30 + p. Solve b = 4*u, -u + 31 = -5*o + 2 for o.
-5
Suppose 0 = 122*l - 267 - 221. Let s = 3 - 2. Let f be s*(-1 - (-3 + 2)). Solve 3 = -b + 3*o, l*b + b - 5*o + 5 = f for b.
0
Let c(z) = 3*z + 1. Let d be c(1). Let i = 1881 + -1878. Solve 3*o + 1 + 2 = -i*a, -d*a + 41 = -5*o for a.
4
Let c = 128 - 122. Suppose 5*h = 13 - 3. Solve -2*v + v = -s + c, v = -h*s for v.
-4
Let f(w) = -13*w + 19. Let i be f(2). Let k be (6/(-2))/(i/((-245)/(-15))). Solve b - s = -2*b + k, -9 = -5*b + s for b.
1
Suppose 0*h - 2*s = -5*h + 14, 0 = 3*h - 5*s + 3. Suppose 4*z = 3*o - 7*o + 4, 17 = 2*z - 3*o. Solve -r - 24 + 5 = h*u, z*u = -16 for r.
-3
Let p(f) = 51*f + 275. Let g be p(-5). Solve -q + 4 = -l, -7*l + 5*q = -5*l + g for l.
0
Suppose 0 = -2*v + 1 - 9. Let g be (-19)/(-3) + v/3. Solve 0*j = 3*t + g*j + 3, 2*t + 2 = -4*j for t.
-1
Suppose 76*v - 81*v = -65. Solve -4*j + 2*n = -8 + 2, n - v = -2*j for j.
4
Suppose 5*y - 5 = r, -13 = 3*r + 2. Suppose -5*n + 2*u = -2*u - 29, u - 9 = -2*n. Solve n*d + 8*i - 3*i = 5, y = 3*d + 5*i + 5 for d.
5
Let c = -875 + 875. Solve -5*t + c*q + 26 = -2*q, -4*t = -q - 19 for t.
4
Let o be (-30)/12*(-3)/(-15)*-2. Solve i + m + o - 7 = 0, 3*i = 3*m + 6 for i.
4
Suppose -y = -6*y + 5. Let v be 6/((-4)/(-4))*y. Let g(o) = -o**3 + 5*o**2 + 8*o - 8. Let x be g(v). Solve 3*u = -x*p - 13, u = -4*p + 5*u + 8 for p.
-1
Suppose -5 = z + 8. Let i = -9 - z. Suppose -q + 1 = -0*q. Solve -2*m + 1 = -b, -i*b + 5*m + 0 - q = 0 for b.
1
Let v(u) = 8*u + 4. Let m be v(0). Solve 27 = m*k - 3*o, 0*o + 3*o + 6 = -3*k for k.
3
Let a be (-306)/(-136) - 3/(-4). Solve 2*q + 2 = a*u, q - 5 = u + 6*q for u.
0
Let s(r) = -4*r**3 + 3*r**2 + 6*r + 4. Let k be s(-1). Solve j - 4*j - 2*c = -5, -k*j = 5*c - 15 for j.
-1
Suppose -4*i + n + 37 = 0, 5*i + 3*n = 4*n + 45. Suppose i*k - 27 = 5. Solve k*l + 3*c = 8, -2*c = -2*l + 8 - 18 for l.
-1
Let v be 4/6 - ((-220)/(-33) + -11). Solve -2*s - 2*h + 6 = s, -v*s + 10 = 4*h for s.
2
Suppose 5*v + 1 = -4, -n = 5*v. Solve -3*r - r = p + n, -2*p - 7 = 5*r for p.
-1
Suppose -11*t + 7*t - 76 = 0. Let s = 21 + t. Suppose 5*d = -s*q, 4*d + 18 = q + q. Solve q*w - 4*u = -0*u - 13, -2*w = 5*u - 8 for w.
-1
Let p(d) = 0*d**2 - 5*d**2 + 3*d - d**3 + 1 + 4*d**2 + 0*d. Let a be p(-2). Let t be 95/19*a/(-1). Solve t*h + o - 2 = -0, -5*o - 13 = 2*h for h.
1
Let f be (5 + -4)/((-1)/(-2)). Suppose f*i + 4 = 24. Suppose 0 = -2*x + 2*n + i, -x - 4 - 6 = 4*n. Solve 0 = -5*t - w + 26, 8 = 2*t - 0*t - x*w for t.
5
Let n(a) = -2*a**2 + 14*a - 18. Let o be n(4). Solve -m + 5*s = -2*m - 12, m + o = -2*s for m.
-2
Suppose 0 = 8*j - 5*j - 3, -5*n + 4*j = -6. Solve n*z = -v - 11, -1 + 4 = -v for z.
-4
Suppose -4*b = -b + 30. Let h be (b/4)/(3/(-6)). Solve 5 = -2*s + z, -20 = 6*s - s + h*z for s.
-3
Let n be 3 - (-1 - 2)/(-1). Suppose n = 2*c - 2*v + 6*v - 84, -4*c + 156 = 4*v. Solve -3 = -4*i + 5*t + 1, 5*i = -4*t - c for i.
-4
Let u be (-2)/8 + (-74)/(-8). Let i = -32 + 45. Let g = 332 - 330. Solve 4*m - m - g*j + i = 0, 0 = -m - 4*j - u for m.
-5
Let r = 115 - 103. Solve j + 1 + 4 = 2*f, -3*f - 3*j = -r for f.
3
Let z(u) = -26*u**3. Let a be z(-1). Suppose -31 = -5*y + 3*p, 3*p - 6*p = -4*y + a. Solve -d - y = 3*l + 6, -5*l - 5*d = 5 for l.
-5
Let o be 18/10*((-4)/(-6) - -1). Solve c = -8*k + 5*k - 11, 5*k + o*c = -25 for k.
-2
Let t be (-111)/(-185) + 1 + 44/10. Solve -2*n = -4*d - 26, -3*n - 1 = t*d - 2*d for n.
5
Let q be 264/27 - 18/(-81). Let r(b) = -2*b + 4. Let i be r(-7). Solve -y + i = 4*j, -q - 14 = -4*y - 4*j for y.
2
Let k be (-75)/50*(-76)/(-6). Let a = -17 - k. Let o(p) = -p**2 + 7*p - 1. Let g be o(6). Solve -3*x - g = -2*x, -y = a*x + 6 for y.
4
Suppose -g + z + 13 = 0, 0*g - 5*z + 79 = 4*g. Solve 0 = -4*c + g, 0 = 3*o + 4*c - 3 + 2 for o.
-5
Let u be ((-6)/(-7))/(7/245). Suppose 2*p = -u + 12. Let a = -5 - p. Solve -2*r + a*l + 6 = 0, -5*r + l - 4 + 1 = 0 for r.
-1
Let o be ((-1)/2)/((-1)/60). Let s be ((-27)/36)/((-2)/8)*1. Suppose s*w = -4*k + 81, 0 = -8*w + 3*w + 15. Solve -q = 3*n - k, o = 2*n + 4*q + 8 for n.
5
Suppose 4*c + 5*k + 5 - 45 = 0, 0 = c - 2*k + 3. Suppose 49 = 11*f + c. Solve -5*s = 4*b + f - 2, 3*b = -s - 7 for s.
2
Let w(x) = -x**3 + 3*x**2 - x - 2. Let z be w(3). Let a be z/(10/6) + 18. Solve 3*o = 2*q - 2*o - 11, 0 = 5*o + a for q.
-2
Let n = -127 + 120. Let z(s) = s**2 + 3*s - 9. Let r be z(n). Solve 32 = -4*o + 4*y, 5*o - y + 1 = -r for o.
-3
Let k = 815 - 810. Let j(l) = -l**2 + l - 4. Let m be j(7). Let i = m - -68. Solve 2*q = -x + k, 3*q = 3*x + i - 1 for x.
-3
Let j(b) = -b**3 + b**2 + 2*b - 25. Let m be j(0). Let r = -25 - m. Solve r = -2*x - 2*h + 10, 2 = -x - 3*h + 9 for x.
4
Let q(g) = 2*g**3 - 2*g**2 - 2*g. Let z be q(2). Let n be 2/z - 50/(-4). Suppose t + 20 = 5*t. Solve 0 = -t*l - x + 1, -3*l - 4*x = -0*x + n for l.
1
Let z(s) = 16*s - 156. Let t be z(10). Solve 3*k = -2*p + 4, -t*k + 5*p - 17 = -53 for k.
4
Let g = -315 - -317. Solve j + 3*t + 12 = 0, t = g*j - 2*t - 3 for j.
-3
Let b(f) = f**3 - 4*f**2 + 3. Let s be b(4). Let a be (-12)/15 - 24/(-5). Solve -a*q = -m + 25, -m - s*m = -q - 25 for q.
-5
Let o(f) = -f**3 + 2*f**2 + 2*f + 7. Let z be o(3). Suppose -z*k - i + 35 = 0, -3*k + i = -8 - 20. Solve 2*j + 3*s = -10, 5*s = -k*j + 4*j - 25 for j.
-5
Let t be 30/(-60)*(1 + -11). Let y = -1 + 1. Let x = 3 - y. Solve x*b - 3 = -2*r, 4*b - 27 = t*r - 0*b for r.
-3
Suppose 3*j + 6 = 0, 3*x - 9 + 6 = -3*j. Solve 0*g - g - 12 = -x*y, -3*g = -5*y + 24 for y.
3
Let h be (-3)/((0 - -3)/(-6 + 2)). Solve -16 = 3*w + h*f, -5*f + 3 = w + 23 for w.
0
Suppose c = -5*p - 0*p + 41, -4*p + 16 = 0. Let h = 7 + -11. Let j be (-2)/8 - 25/h. Solve -g - c = -j*k + k, -9 = -5*k + 4*g for k.
5
Let b be -34*(3 + 84/(-24)). Solve -c + a - 6*a = -b, -4*c + 4*a = 28 for c.
-3
Let s be (-645)/(-6) - (-1)/(-2). Suppose 5*o + 93 = 2*q, 4*q - s = -o + 46. Suppose -2*y + q = -4*b + 1, -4 = 2*b. Solve 3*k - 9 = 6, 0 = n - 2*k + y for n.
-5
Let r be 12 + -4 - -1*2. Suppose 3*b = 7*b - 4*k - 36, 5*b + 2*k - 17 = 0. Let s(f) = f + 7. Let w be s(-7). Solve w*v - r = 5*m + v, b*m + 2*v = -15 for m.
-1
Suppose -2*p = p. Suppose p*o = -5*o + 125. Let g(a) = -a**2 - 8*a + 23. Let k be g(-10). Solve 5*w + 13 = 4*i, k*w - w + 5*i = -o for w.
-5
Let k be ((-5)/(-4) + -2)/((-29)/116). Solve s = -3*d + k, -5*d + s = 4*s - 5 for d.
1
Let w(i) be the