p, a + d*p = n for a.
2
Suppose -a + 18 = h + 3*a, 18 = 5*h - 4*a. Suppose 9 = 15*u - h. Solve -2*o + o + u = 0, 2*y - 13 = -3*o for y.
5
Let x be 2 - (1 + 0) - 0. Let s be (-8)/(0 - -2)*(-239)/4. Let r = s - 236. Solve 0 = h + r*f - x, -2*f + 4 = 4*h + f for h.
1
Suppose 9*n - 2*n + n = 0. Suppose -3*d + 20 = 14. Suppose -3*y - 5*p = -d, -3*y + 5*p + 16 = -6. Solve n*j - 5*x + 10 = -2*j, -3*j + 2*x = y for j.
0
Let j = -2979 + 2993. Solve -2*c + 11*g = j*g - 14, -g = -4*c for c.
1
Suppose 22*h = -26*h + 60 + 516. Solve 43*y + c = 38*y + 4, 3*c - h = -y for y.
0
Let g(i) = i**3 - 2*i**2 - 22*i - 13. Let f be g(6). Let r be 6/(-4)*f*2. Solve -b - 4*q = -0*b - 19, 2*b + 6 = r*q for b.
3
Suppose -189*u + 12 = -192*u - 3*x, 0 = -5*u + 5*x + 50. Let l be 1 + -1 + (2 - 2). Let d = l - 0. Solve -5*o + r + 12 = d, -u*r + 4*r = -o for o.
2
Let l = 34 - 31. Suppose l*k + 5*q + 11 = 0, 2*q = k - 2*q - 19. Suppose -k - 1 = -h. Solve -j + f + 3*f - 9 = 0, h*j = 5*f - 25 for j.
-5
Let t(f) = -f**3 + 13*f**2 - 36*f - 29. Let p be t(8). Solve 4*c + 5 = -p*u, -22 = 5*c + 5*u - 17 for c.
-2
Let i = -577 + 37. Let w = i + 543. Solve -5*u = 3*m + 9, w = -5*u - m - 0 for u.
0
Let x = -40 - -132. Let o = 95 - x. Solve 5*g + 18 = o*h - 8, g - h = -6 for g.
-4
Let l(d) = -3*d**3 + 32*d**2 - 24*d + 49. Let r be l(10). Solve -47*f - r = -i - 42*f, -5 = -5*i + 5*f for i.
-1
Let y be (-8)/(-12) - (2 - (-294)/(-18)). Suppose 51*a = y*a + 144. Solve 2*u + 6 = 4*q + 18, -a = -5*u - 3*q for u.
2
Let s be 5 + (-3 + 150)*2. Let a = 322 - s. Solve -3*w + 2*j + 2*j + 7 = 0, a = -5*w - 2*j for w.
-3
Let d be -1 + 3 + -13 + 16. Solve 2*o - o + 19 = d*i, 20 = 5*i for o.
1
Let p(f) = -f**2 - 23*f - 107. Let o be p(-13). Suppose -5*m - r - 9 = -24, -5*r + o = -m. Solve m*q = -3*s + q + 8, 5*s + 5*q = 30 for s.
1
Let a be (13/(143/44))/2. Suppose 3*i - 7 = -1. Suppose i*j - 15 + 3 = 0. Solve 5*b = -p + 18, -5*p = 6*b - a*b - j for p.
-2
Let y be ((-2 + 41)/3)/(-5 + 6). Suppose y*w + 32 = 4*i + 9*w, 4*i - 14 = -2*w. Solve i*h - 7 = -2*p, 0 = 4*p - 6*h + 5*h - 3 for p.
1
Let o = 619 - 675. Let a = o - -58. Solve 6*k - 5*k = a*d + 2, -2*d = -3*k - 2 for k.
-2
Let m = 3596 + -3591. Solve -2*v - 10 = m*q - 1, v - 5*q - 3 = 0 for v.
-2
Let j = -38626 + 38648. Solve n = -3*q + 4, 5*q = 17*n - j*n + 10 for n.
1
Suppose 73*q + 92 = 78*q - 2*t, -q = 5*t + 14. Solve -v + 20 = -5*a - 4*v, -a - 3*v - q = 0 for a.
-1
Suppose 24*o + 4813 - 5341 = 0. Solve 4*q = -k - o, -5*q + 4*k + 9 = 26 for q.
-5
Let v be -6 + -7 + 42/3. Suppose -34 = -11*i - v. Solve -h + 6 = -i*u, -2*u - u = -2*h + 9 for h.
3
Let s be (-2240)/336*(-3)/4. Solve 0 = s*y + 2*z + 5, 4*y - 9 = -z + 2*z for y.
1
Let z(q) = 6*q**2 + 94*q + 300. Let u be z(-12). Solve -2*l = -4*a - 2, l + 4*a + 35 = u for l.
1
Suppose 4*q - 149 = -41. Suppose 12*p + 60 = q*p. Solve 5*w - 3*s + 6 = 0, -3*w + p*s + 2 = -1 for w.
-3
Suppose -6 = 3*p, -d + 3*p + 2 = 2*p. Let i = d - -2. Suppose -4*c = -16, 45 = 3*t + i*t + 5*c. Solve -h + 6*q = 2*q - 17, -t*q - 13 = -4*h for h.
-3
Let k(n) = -2*n**2 + 7*n + 42. Let z be k(5). Suppose -2*b + 2*p + z = -13, 4*b + 3*p = 73. Solve 0 = v - 5*v + l - b, 4 = -4*l for v.
-5
Let c = -332 - -340. Suppose b = c*b. Solve 8*i - 3*i - 4*w + 3 = b, -2*i + 6 = -4*w for i.
-3
Let u(j) = 3*j + 15. Let z be u(-5). Suppose -4*a + a + 5*v + 310 = 0, -4*a - 5*v + 355 = z. Let x = a - 92. Solve 3*d + 0*k = -k - 1, x*d - 9 = -3*k for d.
-2
Suppose -4*i = -2*q + 7*q - 26, 5*q = 5*i - 10. Suppose -2*f = -4*l + 4, -10 + i = 3*f. Solve 4*y - 5*r + 5 = 0, -3*y + l*r = -r + 12 for y.
-5
Let n(c) = -c**3 + 12*c**2 - 9*c - 20. Let g be n(11). Let x = g + -27. Let s be 2/((-35)/x + -1). Solve -m + s = 2*l, -m + 5*l = -5*m + 5 for m.
-5
Let i = -1 - -4. Suppose -m - 4 = -4*t - i*m, 0 = -5*t - 4*m + 2. Let v be ((-4)/8)/(t/(-8)). Solve 3*z + 0 + 15 = 0, l - 13 = v*z for l.
3
Let r(d) = d**3 + 2. Let m be r(2). Suppose -176*n + 21*n = -231 - 544. Solve -m = 3*b - n*o, 7 + 33 = 5*b + 3*o for b.
5
Let t(x) = 3*x**2 - 1. Let l be t(3). Let h be l/8 + 10/(-40). Suppose 4*w - 5*w = -2. Solve -w*s = b - h + 4, 3*s = -3*b for s.
-1
Let f be 2 - (4/1)/((-388)/291). Solve -31 = 4*w + 3*u, 0 = -f*w + 6*u - 8*u - 30 for w.
-4
Suppose -529*u - 72 = -533*u. Suppose -u*m = -m - 34. Solve -16 = 4*k, -2*k + 0 = -2*q - m for q.
-5
Suppose -5*x = 4*h - 19, -2*h = -4*x + h + 40. Suppose -d + x = 2. Suppose d*r - 8 - 7 = 0. Solve 0 = -c + r*w - 7, 0 + 4 = 4*w for c.
-4
Let f = -7 - -11. Suppose f*v + 29 + 29 = 3*l, 4*l - 2*v - 94 = 0. Let s be (-45)/((-63)/(-7)) - -8. Solve 0 = -2*m + s*d + 18, 2*d + 3*d + l = 2*m for m.
3
Suppose 3*u - 2*u = 2. Suppose -11*m - 23 + 34 = 0. Let f be 3 + 5/((-5)/m). Solve 2*j + f = -3*r, 2*r + 10 = u*j + j for j.
2
Let k be 16 - (-24 + 224/8). Solve -7*b - 5*o = -9*b - k, -10 = -5*o for b.
-1
Suppose -4*d + 30 = c, 25*d - 155 = -3*c + 26*d. Let p be (-8)/(-3) + c/150. Solve 2*h + p*g - 5 = 0, -13 = -2*h - 5*g + 2 for h.
-5
Suppose 123*b + 60 = 124*b. Suppose -b + 12 = -2*k. Suppose -2*f + 5*f - 17 = -4*y, -5*f + 5 = -5*y. Solve 3*g - k = -0*g + 3*t, -12 = f*t for g.
4
Suppose -2*i = 13 - 20 + 1. Solve 35 = -5*l + 10, i*x = -5*l - 34 for x.
-3
Suppose -1457 + 169 = -7*w. Suppose -5*k + w = 94. Solve 0 = 2*t - 2*u - 10, -5*t + 2*u = -k - 1 for t.
3
Suppose -115*o = -113*o - 26. Solve 4*l = -5*m + 24, 2*l + 1 = 4*m - o for l.
1
Suppose -73*o + 50*o = 0. Solve 4*k - 24 = 4*x - o, 0 = -5*x - 10 for k.
4
Let l(z) = 34*z + 8. Suppose -3*h - 4 = -1. Let a be l(h). Let q = -23 - a. Solve -4*f = -2*j - 6 - 0, 0 = -j - q for f.
0
Let d(g) = 3*g**2 - 48*g - 890. Let k be d(-11). Solve -t = u + 3*t + 11, -k = -4*u - t for u.
1
Suppose -60*t + 278 = -82. Solve 3*d + 3*a - 18 = t*a, 0 = -5*d + a + 10 for d.
1
Let w be ((-8)/(-6))/((-22)/(-132)). Suppose x - 70 = -3*v, w*x - 4*x = 5*v - 111. Solve 3*y + 4*g = v, -2*y + 4*g = -y + 19 for y.
1
Let t = -1085 + 1094. Solve -5*b - 4 = 5*y - 29, b = -3*y + t for b.
3
Let z(h) = -2*h - 77 - 69 + 134. Let b be z(-11). Suppose a + 0*a = 2*g + 1, -5*a - 3*g + 5 = 0. Solve a = 4*x - 5*x - 3*s, -2*x = -2*s + b for x.
-4
Let x = -197 + 197. Suppose x = 17*b + 11*b - 112. Solve 0 = -2*i - 5*m - b + 2, 2*i - 4*m + 2 = 0 for i.
-1
Suppose -3*z = 3*u - 6*u - 36, 0 = -2*u - 14. Solve 0 = -z*n + 8*n - 5*m - 16, 4*n = -4*m for n.
2
Let d be (-48)/(-18) - (28/(-12) - -3). Solve 0 = -3*x - d*o + 17, 3*o = 10 + 2 for x.
3
Let l(t) = t**2 - 87*t + 1657. Let d be l(59). Solve 15*h + 4*f - 20 = 13*h, -3*f + 29 = d*h for h.
4
Let u be (-28)/8 - (-525)/70. Solve 5*y = -3*q + 4 - 9, -u*y - 4 = q for y.
-1
Let k(a) = -a**3 - 43*a**2 - 81*a + 52. Let d be k(-41). Solve -2*y - d = 5*p, -3*y + 18 = 3*p - 7*p for y.
2
Let d be (2/4)/(2/4). Let v = d + 3. Let n = 209665 + -209662. Solve 4*w + 35 = 5*t, n*t + v*w + 11 = -0 for t.
3
Let t be (-55)/(-2) - (-11)/22. Suppose 6*p = 5*z + 3*p - t, 0 = -5*p - 5. Suppose z*r - 4 = 3*r. Solve 4*y + 2*v - 22 = 0, -4*y + r*v + 32 = 6*v for y.
3
Let u = -3 + 27. Let n(w) = 78*w + 2423. Let b be n(-31). Let p = 0 - -4. Solve -41 + b = 4*a + p*f, -f = 4*a + u for a.
-5
Suppose o + 334 = 2*l, 2*l - 3*o - 32 - 294 = 0. Let s = l - 165. Solve 2*g = -4*j - 20, 5*g - 4*j = 10 - s for g.
-2
Let h(w) = -1583*w - 3156. Let f be h(-2). Solve 101*r = -2*u + 97*r - 4, -5*u + r = f for u.
-2
Let z(j) = -j**3 + 5*j**2 + j - 5. Let l be z(5). Let w(y) = -y**2 + 220*y - 4354. Let f be w(198). Solve l + 2 = f*v - k, -5*v - 4*k = -18 for v.
2
Let x = 5238 - 5238. Solve 6 = -5*t - 3*r + 31, x = 4*r for t.
5
Let d(o) = 60*o - 686. Let r be d(12). Solve -5*w + 11 = -4*c, -2*w - 32 + r = -c for c.
-4
Suppose d - 10 = -0*z - 2*z, 4*d = -z + 12. Suppose -77*v - 119 + 119 = 0. Suppose v = -6*a - d*a + 2*a. Solve 4*i + i = a, -2 = 2*h - 2*i for h.
-1
Let h be (-1)/(-9 + (-88)/(-10)). Suppose -2*p + h*y = -21, 5 = -3*p + 4*p + 3*y. Solve 0 = -3*j + 4*j - u + 4, 2*j + 3*u = -p for j.
-4
Suppose 5*l + 667 = m, -4*l + 3*m - 530 = 4*m. Let c = l - -93. Let v = -30 - c. Solve h = -2*h + 4*f + 19, 2*f + v = 2*h for h.
1
Suppose 0*o = -2*o - 10, -3*y + 3*o = 111. Let k be (y/12 + 4)*26. Solve -t - 2*u - 12 = 0, 4*t + u + 7 + k = 0 for t.
-4
Let h be 5 + (-4074)/(-252) + 51/18 + -2. Solve -3*o = 5*i + h, o + 6*i + 24 = i f