t f be 2 + -4 + z/(-1). Solve m + m + 10 = f for m.
-5
Let j be (1926/535)/(3/10). Suppose -2*b = -15 - 1. Solve b*a + j = 4*a for a.
-3
Let w be -4*(10 + 510/(-40)). Solve -8*t + w*t = -6 for t.
-2
Let y = -11 - -9. Let a = 7 + y. Suppose k = -a*j + 4*k - 5, -j + 22 = 4*k. Solve -2 - 6 = j*t for t.
-4
Suppose -3*z - 1 = 2*p - 12, p + 5*z = -12. Let a be (-1 + p)*2/4. Suppose -4*o = -7*o + a. Solve -4*v = -o*v + 2 for v.
-1
Let f = -728 - -732. Let o be -2*(-1 + 6/(-3)). Suppose 0 = -2*z + o. Solve -f*t = -z*t for t.
0
Let k(i) = i + 33. Let u be k(-11). Let c = -21 + u. Solve 0 = h + 3 - c for h.
-2
Suppose -2*l + 5*x - 92 = 0, 4*l + 7*x = 2*x - 124. Let i = 39 + l. Let b = 1 + 3. Solve b*m + i = -9 for m.
-3
Suppose -832 = -50*k + 518. Solve -24*w + 15 = -k*w for w.
-5
Let x be -2 - -6*(4 - 3). Suppose 2*h - s = 3*s - x, -2*s + 2 = 4*h. Suppose 4*a - 12 = -4*p, 2*p + h*a - 2*a = 10. Solve p*c + c + 20 = 0 for c.
-4
Let r(f) = f - 8. Let i be r(4). Let h be 1*(-6)/i*-4. Let y be ((-8)/h)/((-10)/(-45)). Solve -q = q - y for q.
3
Suppose 5*w - 59 = -4*z, w + 2*z + 2*z + 1 = 0. Let y = 25 - w. Solve 0 = 4*d - y - 2 for d.
3
Let b = 42 - 21. Let h = b + -6. Suppose 4*f - h = 5. Solve 0 = l - f*l for l.
0
Let v(z) = -z**3 - 12*z**2 - 28*z - 70. Let w be v(-10). Solve 3*o = w*o + 28 for o.
-4
Suppose 0 = 2*o - 0*n - n - 434, -3*o + 650 = -n. Let f be 1032/o + 4/18 + 0. Solve f*j + 3 + 17 = 0 for j.
-4
Let n(x) = -x**3 + 9*x**2 + 2*x - 9. Suppose -2*q + 0*q = -18. Let w be n(q). Let j be (-2)/w*(-1 - 8). Solve -c - j*c = 12 for c.
-4
Let a = 9 - 29. Let i be 41/4 - (-5)/a. Suppose -f = f - i. Solve -8 = -f*u + 12 for u.
4
Suppose -j + 5*s = -5*j + 36, -2*s = 0. Solve j*p - 6 = 6*p for p.
2
Let z(a) = 11*a - 3. Let y(g) = -10*g + 2. Let d(q) = 5*y(q) + 4*z(q). Let j be d(-1). Solve c + 2 - j = 0 for c.
2
Suppose 0 = w - 2*l - 5, 2*w + 5 = 3*w + l. Suppose z = u + w*z - 20, 0 = 2*u + 3*z - 25. Solve -3*g + u*g = -5 for g.
-1
Suppose 0*z - 4*g - 23 = -z, -4*z + g + 17 = 0. Solve -z*d - 3 + 3 = 0 for d.
0
Let s(j) = 5*j**2 + 84*j - 83. Let m be s(1). Solve 29 = -23*c + m for c.
-1
Suppose -s = 2*s + b - 120, -5*s = -2*b - 200. Let k be s/35 - (-2)/(-14). Solve -3*x + 4*x - k = 0 for x.
1
Let s = 710 - 691. Solve -23 = -y - s for y.
4
Let d(w) = -w**2 + 19*w - 14. Let a(p) = -p**3 + 8*p**2 - 6*p + 3. Let j be a(7). Let g be d(j). Let k = g - 51. Solve 0 = 4*f + f - k for f.
5
Suppose 5*n - 7 = -4*f, 2*f - 4*n = -9*n - 9. Suppose 2*p + 5*z - 63 = 0, -3*z - 121 = -4*p - f. Let g = p + -29. Solve -d - 2*d - 12 = g for d.
-4
Let p = 104 - 101. Solve 8 = -m + p*m for m.
4
Suppose 11 = 3*j + 4*c, c + 1 = -4*j + 7*j. Let p = 0 - -6. Let h be 26/p + 2/3. Solve -j = -t - h for t.
-4
Let c = 159 + -159. Solve -i + 2 + 0 = c for i.
2
Let k = 2271 + -2271. Solve k = -7*r - 35 + 49 for r.
2
Suppose -5*l + 10 = 2*k, 27 = 3*k - 2*l - 26. Let h = -13 + k. Suppose 4*x = 12, 5*f + h*x - 17 = 4. Solve f*t - 5*t = 10 for t.
-5
Let x be ((-126)/(-49))/((-6)/(-56)). Let c = x + -24. Solve 2*g - g = c for g.
0
Suppose u + 4*u = 80. Suppose u = 6*v - 2*v. Suppose -v*i + 64 = -p, -4*i = i + 5*p - 55. Solve -7*c + 2*c = -i for c.
3
Let r = 920 - 868. Solve 10*s + r = -3*s for s.
-4
Let i(g) = -g**3 - 5*g**2 - 5*g. Let q be i(-4). Suppose -5 = -t + 4. Let k be 2 + 1 + t + -10. Solve -2*z = -q*z + k for z.
1
Let s be 0/((-2 + -1)*-1). Suppose 0 = 3*h - 4 - 8. Suppose -14*m + 13*m = -h. Solve s*a - m = 2*a for a.
-2
Suppose w + 1 = 3. Let x(h) = h**2 - 9*h - 35. Let d be x(12). Let b(j) = 4*j**3 + 3*j**2 + j - 2. Let p be b(d). Solve k = -w*k - p for k.
-2
Let b be (-2 - 120/(-14)) + (-8)/14. Suppose 10*t = -b*t + 32. Solve t*r = r - 3 for r.
-3
Let h(c) = c**3 + 13*c**2 + 34*c + 46. Let v be h(-10). Solve v*l + 4 = 8*l for l.
2
Let x(g) = 3*g**2 - 5 - 10*g**2 - 3*g + 11*g + g**3 - 2. Let q be x(6). Suppose 0*m - 97 = -q*m + 3*c, 39 = 3*m + 3*c. Solve 0 = 5*h - 8 - m for h.
5
Let d = -38 - -38. Suppose -4*u + u - 9 = 0. Let x = d - u. Solve 2 = -x*t + 2*t for t.
-2
Let f be ((-2)/(-4))/((-1)/(-12)). Suppose -v + 4 = 2*j, -2*v - 1 = -4*j + 5*j. Suppose 3*u = 3*o + j, 3*u = -4*o - u + 28. Solve -5*r = -o*r + f for r.
-3
Let j(z) = z**2 - 12*z - 13. Let k be j(13). Suppose 5*f + 32 = 22. Let m be k/(-3 - (f - 3)). Solve m = -7*v + 4*v for v.
0
Let c(o) = -o**2 - 6*o - 1. Let i be c(-5). Suppose -i*t = 66 + 42. Let l be 6/t - 10/(-45). Solve l = k + 2*k - 3 for k.
1
Suppose 0 = 4*d - 29 + 9. Let o(w) = -3*w - 6. Suppose 3*k + 6 = -3. Let n be o(k). Solve n*s - d = -2 for s.
1
Let s(j) = j**2 - j + 2. Let u be s(0). Suppose l - u*l = -3. Solve 0*y - l*y + 12 = 0 for y.
4
Let q be (-1)/(2*3/(-24)). Suppose -4*z = 3*p - 25, 1 = 5*p - q*z - 30. Let a = 6 - -10. Solve p*l - 3*l = -a for l.
-4
Let a = 42 + -38. Suppose 0 = -12*y + 14*y - a. Solve -3 + 9 = y*l for l.
3
Suppose -50*j + 45*j - 640 = 0. Let r be (-4)/14 + j/(-56). Solve -r*n - 1 = 9 for n.
-5
Let u(p) = 2*p**2 + 29*p - 140. Let z be u(4). Suppose 0 = 4*d + 5 - 17. Let x = z - d. Solve -x*h = -h + 8 for h.
-2
Suppose 857 = -w + 861. Solve -9*j - w = 23 for j.
-3
Let x = 31 + -28. Suppose -3*v + c - 1 = x*c, 5*c = -10. Solve -f = -3 + v for f.
2
Let u(f) = 0*f + 41 - 35 + f. Let p be u(2). Let k = p + 7. Solve k = z - 6*z for z.
-3
Let v(t) = 3*t**2 + 7*t - 6. Let l be v(-4). Suppose -5*h = 2*h - l. Solve -h - 4 = 2*d for d.
-3
Let x = -116 - -176. Suppose -6*b = -b + x. Let t = b + 16. Solve 0 = -t*u + 2*u + 4 for u.
2
Let u be (-1 - -1) + (-1 - -1). Let n = 2 - u. Suppose 0 = c + 2*c - 6. Solve -n*g + c = -4*g for g.
-1
Let k = 531 + -529. Solve -k = -2*r + 4 for r.
3
Let y be 129 + -121 - (2 + -1). Suppose -v + 22 = -0*v - 2*g, 5*v - 2*g = 78. Let i = v + -9. Solve 2*j - y*j = -i for j.
1
Let w(j) = 8*j - 14*j + 5*j + 0*j + j**3 + 4*j**2 + 4. Let g = 1 - 5. Let p be w(g). Solve 2*h + p = -2*h for h.
-2
Let g be 30/(-20)*92/(-6). Suppose -q - g = -2*q + 5*d, 4*q = 5*d + 32. Solve -q*b = -2*b + 5 for b.
-5
Let s be ((-3)/(-2))/(-1 + (-55)/(-40)). Solve -3*i = s*i + 14 for i.
-2
Suppose 3*w - 2*k = 10, 5 + 11 = 3*w - 5*k. Suppose 0 = s + 2*d - 3 - w, -3*d = -4*s + 9. Solve h = s*h for h.
0
Suppose -5*l + w = 600, 0*l - 2*w = 2*l + 240. Let j be ((-8)/(-12))/((-6)/(-63)). Let c be (-1)/j + l/(-56). Solve 0 = -c*y + 10 for y.
5
Suppose 5*i + 4*u = -11, u - 5*u - 8 = 4*i. Let g be 6*(i + 4) + (0 - 1). Suppose 0 = 3*d - d - 12. Solve f + d - g = 0 for f.
-1
Suppose -4*s + 3*k + 12 = -0*s, -5*k = 0. Suppose -3*y + 0 = -6. Suppose -2*v = s*l + 3*v - 7, 0 = -y*l - 2*v + 6. Solve 3 + 9 = l*w for w.
3
Let q(b) = -6*b - b**2 - b**3 + 5*b + 8 - 3. Let v be q(0). Suppose 5*m + 3*r + 0*r = 19, -29 = -v*m + 2*r. Solve t + 16 = m*t for t.
4
Suppose 3*o + 2*d + 4 = 0, -5*o - 6 + 2 = 2*d. Solve o = 10*b - 7*b - 9 for b.
3
Let w = -318 + 322. Solve -w*k = 3 - 7 for k.
1
Suppose -48 = -2*w - 10*w. Suppose 6*v = w*v + 6. Solve -c + v*c - 8 = 0 for c.
4
Let t = -2 + 0. Let d(n) = n**3 + 4*n**2 + 2*n + 1. Let r be d(t). Suppose 5 + r = 5*j. Solve 0 = 2*q - 0*q + j for q.
-1
Suppose 0 = -9*k - 489 + 579. Solve -y + k = 14 for y.
-4
Suppose -3*s + s - 28 = -2*j, 3*s + 12 = 0. Suppose c + 45 = -4*w, -3*c - 47 = 3*w + 52. Let q = c - -31. Solve -q - j = -3*f for f.
4
Let q = 47 + -82. Let a be (3 - 1)/((-7)/q). Solve -2*m + 2 = a for m.
-4
Suppose 0 = 76*s - 6*s - 490. Solve s*i = -19 + 47 for i.
4
Let q be 9*((-20)/(-6) + -2). Suppose 4*o - 4*u = -5*u - 19, 19 = o + 5*u. Let j = q + o. Solve v - j = -v for v.
3
Suppose 4*l = -8, 0*l - 41 = 3*c + 4*l. Let t = 11 + c. Let r be 0 + 5 + -1 + -1 + -1. Solve t = b + b - r for b.
1
Let p be (8/(-4) + 2)*-1. Let r be 8 + (4 + -13 - -6). Solve 25 = -r*q - p*q for q.
-5
Let q = -5 + 23. Let w = -257 - -271. Let i be 12/(-42) + q/w. Solve 7 + i = 2*s for s.
4
Suppose 3*x + w - 43 = 0, -2*x + 2*w + 24 = -18. Let k be (-2)/(-3) + 329/(-21). Let z = k + x. Solve z = 3*h - 2 for h.
1
Let p = 18 + -24. Let q be (-2)/p*(11 + 7). Let z be 4 + -3 + 0 + 2. Solve q*v - z*v = 9 for v.
3
Suppose -3 + 5 = -w - 2*h, 2*h + 22 = 4*w. Suppose 0 = 35*n - 33*n - w. Solve 0 = 3*i + n*i + 5 for i.
-1
Let i = -171 - -184. Solve 10*z - 12 = i*z for z.
-4
Suppose -228 = -4*v + 3*k, 228 = 6*v - 2*v + 2*k. Let u = v + -55. Solve a - 4 = 