 + 12 for m.
1
Suppose -9*u + 46 = 1. Solve 4*a + 2*n = 20, 0 = 4*a - n - u - 15 for a.
5
Let i(o) = 2*o + 12. Let a be i(-4). Let q(x) = -4*x**3 + x**2 + x. Let w be q(-1). Suppose 2 = -w*k + 10. Solve -k*z + 3*z = 4*j + a, -5*z + 20 = j for j.
0
Let c = 11 + -5. Let z be (0 + -2)*(-9)/c. Let i = -3 - -5. Solve 3*s = 4*n - 3 + 4, 0 = 5*n - z*s + i for n.
-1
Let h(v) = -20 - 7*v + 2*v + 2*v - v**2 + 25*v. Let w be h(21). Solve 3*k - w = -f + 3*f, -5*k + 2*f = 1 for k.
-1
Suppose 4*y + 2*r + 1 + 1 = 0, 2*r + 2 = 5*y. Suppose 2*p + y*z = z + 38, 4*p = -5*z + 76. Let q = 3 - 3. Solve q*v - s = -3*v + p, -4*s = 5*v - 9 for v.
5
Let j be (-78)/(-24) + 10*(-3)/24. Solve -5*t + 0 + 5 = j*i, 3*t - 3 = -i for t.
1
Suppose -11 = -30*w + 25*w + 2*a, 3*a - 18 = -4*w. Solve 4*o = -2*q + 2, q - w - 1 = -5*o for q.
-1
Let y be (-3 - 3 - -16) + -5. Solve 0*c + 3*c - 5*q = 20, -y*q - 20 = 2*c for c.
0
Suppose 0 = 36*j - 31*j - 15. Solve 4*x = 3*z - j, 14*z + x - 28 = 9*z for z.
5
Let t(y) = 8 - 7*y - 25*y**3 - 5*y**2 + 13*y**3 + 13*y**3. Let f be t(6). Solve 5*b - 8 = 2*c, -2*c - 5*b + f*b + 8 = 0 for c.
1
Let f be 2/(-6) + (52/12 - -2). Solve -5*k + f = 3*v, -v + 3 = 2*k + 1 for v.
2
Let y(k) = k**3 + k + 4. Let i be 8/(-3)*(-6)/8. Let a be y(i). Solve -4*c + 4*j - a = 2*j, -23 = 5*c + 3*j for c.
-4
Let s be 9/15 - (3 - 47/5). Solve -3*j - 10*k = -s*k - 30, k - 25 = -4*j for j.
5
Let j(g) = 5*g - 1. Let k be j(-3). Let x be (-80)/(-24)*(-48)/(-10). Let t = x + k. Solve 2*o - 6*o = s - 25, t = 3*o - 2*s - 5 for o.
5
Let w(o) = -o**2 - 8*o - 6. Let m be w(-6). Suppose -5*p + m = -4. Solve -p*x + 2*c - 6 = 0, -3*c + 4*c = -5*x - 3 for x.
-1
Let d(s) = s**2 + 19*s - 37. Let j be d(-21). Solve 1 = -4*v + j*z + 15, -4*v = 5*z + 6 for v.
1
Let g = 139 - 98. Let i = -37 + g. Solve 0*y + 5 = -y - 3*c, 2*y - i*c = 10 for y.
1
Suppose 0 = 4*i + 2*x - 6*x, i - 3*x = 0. Solve -2*c + 15 = 3*s, i = s - 3*c - 6 + 1 for s.
5
Let r = -1 + 13. Suppose -6 = 3*h + 6*d - d, -r = h + 5*d. Solve h*a + 3*f = 15, 2*a + 4 - 29 = -5*f for a.
0
Let u be ((-3)/(-3))/((-4)/(-128)). Suppose 2*i + u = 4*y, -5*y + 22 = -2*y - i. Suppose 2*l = y*l. Solve l = 3*d + t + 12, 5*t + 6 = -d + 2 for d.
-4
Let d = -10 + 10. Solve d = 5*i - l - 22, -2*i + 12 = -2*l - 0*l for i.
4
Let g = -1191 + 1193. Solve m + 0*v = g*v - 8, -3*m = -5*v + 19 for m.
2
Let v be ((-2)/5)/((-102)/20 + 5). Solve 0*x + q = x - v, -2*q - 6 = 0 for x.
1
Let x(o) = o**2 - 4*o - 1. Let j be x(5). Suppose 5*v - 28 = v + 3*m, 0 = -2*v - 2*m. Solve 4*l - j = s, l - 5*l = -5*s - v for l.
1
Suppose -1 - 176 = -3*o. Let z = -59 + o. Solve 4*x = 4*h + 8, z*x + h - 18 = -3*x for x.
5
Let f(a) = -4*a - 7. Let k(q) = -11 - 2*q + 3 - 2*q - q. Let w(c) = 3*f(c) - 2*k(c). Let s be w(-4). Solve s*d - 5*i = 2*d + 29, -7 = 2*d + 3*i for d.
4
Suppose 24 = l + 7*l. Solve -l*k - 20 = 2*y, 0 = -2*k + 4*k - 4*y - 8 for k.
-4
Let q = -226 + 229. Solve -10 = -j - q*g, -2*j + g + 14 = 5*g for j.
1
Let w(s) = -s**3 + 4*s**2 + 8*s - 14. Let j be w(5). Solve -3*t - 8 = 4*u, 0*t - j = 3*u + t for u.
1
Suppose -6*q = -3*q - 3. Suppose q = -2*k + 9. Suppose 2*w + k = 3*w, 4*i = w + 8. Solve 3*d = -g, -i = 5*g - 3*g + 3*d for g.
-3
Let s be 17/34*(-2)/(-4)*0. Suppose s*x - 16 = -4*c - x, 5*c = 4*x + 41. Solve -c*b + 3*f = -2*b - 3, 5*f + 26 = -2*b for b.
-3
Suppose 16 = 2*g - 3*k, -g - 3*k + 5*k = -10. Solve -g*l + 4 = -3*r - 3, 2*r - l = -6 for r.
-5
Suppose -7*w = 11*w - 14*w. Solve -h - s + 2 - 10 = w, 3*h + 18 = -s for h.
-5
Suppose -4*z = -2*i, 3*z - 8 - 3 = -4*i. Let j be (i/(-4))/((-15)/90). Solve -g = 2*m + 3*m + 9, -9 = 3*g - j*m for g.
-4
Let w be 2/(-8) + 204/48. Suppose -w*c + 56 = -12. Solve -1 = -4*j - 3*q + 6, -3*q = -j - c for j.
-2
Suppose 4*s + 65 = -s + 5*l, -5*s = l + 41. Let p(k) = -k + 3. Let i be p(-9). Let d = i + s. Solve -4*g - 7 = -u, -5*g - d*u - 2*u - 40 = 0 for g.
-3
Let f = -12 - -12. Suppose -5*i + 5 = -2*y, f = -4*y - 3*i + 4*i + 17. Solve 5*h + 5*q = q - 12, -4*h + 15 = -y*q for h.
0
Let w(q) = -q**2 - 15*q - 16. Let x be w(-14). Let v be (-1 - -14)*(x + 3). Suppose -63 = -4*d + v. Solve 7*k - r + d = 2*k, k + 7 = r for k.
-3
Suppose -5*c + 3*o = -33, 0 = 4*c - 3*o + 6*o - 21. Suppose 2 = -y + c. Solve -8 = 3*x - 2*a + 3, -y*a = 2*x + 2 for x.
-3
Let p(g) = 2*g + 7. Let s be p(-2). Suppose l = 2*l - 12. Let y = l - 8. Solve 0 = s*t - 4*m, 0 = y*t - 6*t + m for t.
0
Let q(t) = -9*t - 1. Let p be q(-1). Suppose p = j + 3. Let w(l) = -9*l - 69. Let n be w(-8). Solve -4*h - 23 = 3*s, j*h - 3*s - n - 2 = 0 for h.
-2
Let m(y) = -2*y**3 + 115*y**2 + 61*y - 172. Let t be m(58). Solve 4 = 3*i - 2*j, 3*i = -i - t*j - 4 for i.
0
Let u = 52 - 96. Let h = -28 - u. Solve -4*y - h + 4 = -d, -5*y = -d + 15 for d.
0
Let v(p) = -p**3 + p**2. Suppose g + 2 = -1, 39 = -3*t - 5*g. Let a be 7/9 - t/36. Let l be v(a). Solve 0 = -2*s + j - 5, -3*s + 0*j + 4*j - 15 = l for s.
-1
Let d be 4/14 - 720/(-420). Let r(u) = -3*u + 1. Let l be r(-1). Solve -j = -l*v + 5, -3*j - d = -v + 2 for j.
-1
Suppose 2*p = -5*i - 9 + 25, 3*p + 4*i - 17 = 0. Solve 3*k + 32 = 4*c, 4*c + p*k = -0*c + 8 for c.
5
Let t(k) = -k - 5. Let f be t(18). Let q = f - -25. Solve 0 = -2*h - q*z, -2*z - 6 = 3*h - 4 for h.
-2
Suppose 2*h - 26 = -3*a, 3*a + 5*h + 0*h = 29. Solve -3*p - 3 + 0 = -d, -4*d - a = -2*p for d.
-3
Let m(t) = -t**3 + t + 5. Let h be m(0). Solve -3*c - 9 = -4*y + 23, 0 = h*y - 25 for c.
-4
Let n = 1949 + -1946. Solve 0 = -5*q + h + 3, n*h - 3 = 4*q + 4*h for q.
0
Suppose 16 = 4*d + 6*r - 2*r, 2*d = -4*r + 12. Suppose -d*h + 9 = j, -7 = -2*j + 3*h + 32. Solve -3 = 3*b + 4*v, 3*b + 0*v = 2*v + j for b.
3
Let m(j) = j**3 - 11*j**2 - j + 12. Let u be m(11). Let o be (-3 - -8) + (-1)/u. Suppose -o = -3*n + 5. Solve n*v + k + 4 = -4, -3*v - 4*k - 14 = 0 for v.
-2
Suppose 0 = 3*x - 4*v + 2*v + 8, -3*v - 3 = -2*x. Let k be -3*(0 - (-16)/x). Solve k = 4*n - 0*q + 4*q, -3*n + q = -10 for n.
3
Suppose -4 = 4*p - 16. Let w = -4 + 30. Let f = w + -13. Solve -9 = -t + 4*t + p*m, 0 = 3*t - m + f for t.
-4
Let j(c) = -18*c**3 - 2*c**2 + 1. Let d be j(-1). Let p(k) = -d + k + 17. Let z be p(2). Solve 3 = h + v, 0 = -4*h - z*v + 6 for h.
0
Let o(i) = i**2 + 5*i - 4. Let u be o(1). Solve 5*q = -2*y - u + 21, -5*q + 22 = y for y.
-3
Suppose 5*p - r - 5 - 10 = 0, 6 = 2*p - 3*r. Suppose h - 36 = -h. Let v be 2*(h/4 - p). Solve -3*b + 3 = -v*y - 6, -5*b + y = -23 for b.
5
Let p be (-9)/2*18/(-27). Solve -2*n - 8 = -4*w + n, 0 = 2*w - p*n - 10 for w.
-1
Let q be (36/90)/(1/20). Suppose -n = -3*n + q. Let t be (-2 - (n + -8)) + 2. Solve 17 = t*f - 3*o, 4*o + 3 = 4*f - 13 for f.
5
Suppose -358*d + 350*d = -16. Solve -d*h - 5*k - 26 = 0, 3*h - 3*k = -k - 1 for h.
-3
Let g = -118 - -178. Suppose -3*c + 3*q + 42 = 0, -5*c - g = 3*q - 146. Solve 6*u - 2*u + c = 4*a, u = -4*a - 9 for u.
-5
Let r(k) = -5*k**2 + 6*k + 2. Let y be r(1). Solve -2*l = -3*d, y*d + 2*l = 5*l - 3 for d.
2
Suppose -25*h = -26*h + 4. Solve 0 = -3*c - i + h*i + 6, 2*c + 4*i - 22 = 0 for c.
5
Suppose 5*v + 0*r = -4*r + 40, v = -r + 9. Suppose -o + 2*o + 4 = 0. Let z(j) = -j**2 - 6*j - 5. Let a be z(o). Solve -h + v = 3*x, -3*h = x + 1 + a for x.
2
Let x be 3/((-9)/(-6)) + -18. Let w = x - -7. Let b = 13 + w. Solve 2*o = -b*y - 12 - 2, y = -2*o - 2 for y.
-4
Let h(o) = -o**3 - 16*o**2 - o - 12. Let q be h(-16). Solve -4*b + 6 = -2*j, -j + q*j = 4*b - 5 for b.
2
Let o(y) = 5*y - 6. Let u be o(3). Suppose -66 = -u*z + 3*z. Solve 2*t - t + 15 = -5*d, 0 = 3*t + d - z for t.
5
Suppose 0 = 9*v - 3*v - 12. Solve 4*k + 4 + 8 = 3*j, v*k - 3*j + 12 = 0 for k.
0
Suppose 4*f + 366 = 5*f. Suppose 2*m + m = f. Let c be m/10 - (-5)/(-25). Solve -5*l - 15 = 4*z + 6, c = -4*z + 4*l for z.
-4
Suppose -5*f + 2*f + 117 = 0. Let l = f + -23. Solve a + a - 5*g + l = 0, 2*a - 2*g + 10 = 0 for a.
-3
Suppose -41 = 3*o - 8. Let h = -7 - o. Suppose -5*q + 3 = 3*u, 4*q + u - 5 = -h*u. Solve q = 4*k + 2*f + 2*f + 4, 29 = k - 5*f for k.
4
Let s = -419 + 423. Solve 0 = 2*n + 2*z - 16, -s*z = -8*z + 16 for n.
4
Let q(v) = -8 + 3*v + 1 + 3*v**2 - 2*v**2. Suppose -17*n + 22 = 107. Let l be q(n). Solve 2*j = -r - 9, -j + l*r + 7 = 3*j for j.
-2
Suppose -5*t + 12 = 2. Let r = -19 - -1. Let v = -3 - r. Solve -4*p + 7 = -2*j - 3, v = 5*j - t*p for j.
5
S