
Let a = -100 - -125. Let c = -9 + 14. Solve -p + 5*p - 16 = -2*y, c*y - a = -5*p for p.
3
Suppose 0 = -23*k + 40 + 6. Solve -6 = -j + p, 4*j - k*j + 5*p = 5 for j.
5
Let q = -12 + 18. Let g be 8/(-1 - (-3)/q). Let s = g - -18. Solve -4*b + a = 6, -2*b + 3*a = -s*a - 6 for b.
-2
Let y(u) = -u - 2. Let o be y(0). Let z be o/((-12)/9) + 6/(-4). Solve 4*j - 2*g - 6 - 10 = 0, 3*g = z for j.
4
Let u = 86 - 82. Suppose -33 = -u*h - 13. Solve 2*q + 2*i = -8, -h*i = -2*q - 4*i - 11 for q.
-5
Suppose -420 + 372 = -6*n. Solve m + 9 = 5*o, 5*o = 4*m + 13 + n for m.
-4
Suppose -3*y + 12 + 11 = w, -4*w = y - 48. Solve 5*u - 5 = t + w, -5*u = -2*t - 12 for u.
4
Let x be -1*4*(-1 + 0). Suppose 2 = -a, x*q + a = 3*a + 12. Suppose -2 = -2*w + q. Solve -u + 5 = 0, -3*j + w*j = 5*u - 27 for j.
2
Suppose -42 = 13*u + 140. Suppose 35 = 3*f - 13. Let w = f + u. Solve m = 3*n + w*m + 14, 4 = -n - m for n.
-5
Suppose -252*u - 12 = -258*u. Solve -2*d - n = u*d, 5*n = d for d.
0
Let g(y) = 3*y**3 + 2*y**2 - y - 1. Let u(x) = -2*x**3 - 2*x**2 + x. Let o(z) = 3*g(z) + 4*u(z). Let p be o(3). Solve -3*c - p = 2*n, -3*c - 19 = 5*n + c for n.
-3
Suppose -m - 5*k - 21 = 2, -2*k = 7*m - 4. Solve -m*x = -0*r - 3*r + 16, 0 = -2*r - 2*x - 6 for r.
2
Let f(g) = -g**2 + 10*g - 24. Let q = 103 - 97. Let o be f(q). Solve -3*k + 0*u + 23 = 2*u, 5*k + 5*u - 45 = o for k.
5
Let z be 48/(-80) - (-26)/10. Suppose -2*j - z = u, -j = -3*u - 4*j. Solve 5*g + 7*q - 25 = u*q, -q + 7 = 3*g for g.
1
Let n = 373 + -369. Solve -29 = 3*q - 4*d, 32 = -n*q + d + 3*d for q.
-3
Let x(p) = -p**2 + 6*p - 5. Let w be (20/12 - 2)*-6. Suppose 2*g - 6 = -4*m, -w*m - m = -5*g - 37. Let z be x(m). Solve z*j = -3*r - r + 20, -j = 0 for r.
5
Let r = -5 - -5. Solve 3*i - 3*j = r, -3*i - 6 = 2*i - 3*j for i.
-3
Let h = 10 + -46. Let m = h - -12. Let f = 27 + m. Solve -2*u + 7 = 3*t + f, -5*t + 2*u - 20 = 0 for t.
-2
Let o = 10 - 5. Let b = o + -1. Let w = -51 + 53. Solve j + 9 + 3 = -b*p, -w*p = -j for p.
-2
Let y(w) = -13*w**2 + w**2 + 7 - 11 - 12*w - w**3. Let h be y(-11). Solve -3*t + 28 = -h*t - 4*f, t - 5*f = 17 for t.
-3
Let q be 1*(-1 + -2 - -3) + 0. Suppose q = -7*n + 32 - 11. Solve -n*d = -4*d + j - 1, -j - 11 = -4*d for d.
4
Let p(u) = 4*u**2 + 38*u + 3. Let l(a) = -a**2 + 6*a - 3. Let n be l(7). Let q be p(n). Solve 2*b + 1 - 11 = 2*o, 3*o + q = 5*b for b.
4
Let b = -65 - -109. Let v = b + -40. Suppose 5 = 2*s - 5. Solve s*z - v*c + 6 = -c, 6 = -2*c for z.
-3
Suppose -2*t - 14 = 4. Let m be t/12 - (-35)/20. Let f = 2 + m. Solve -4*i + 11 = -5*u, -4*u + 11 = f*i - 5*u for i.
4
Let o = -77 + 91. Let i be 35/o*(-12)/(-15). Solve -l = 4*p - 1, -i*l + 6*p - 3*p + 2 = 0 for l.
1
Let o = 22 - 59. Let z = 40 + o. Solve h + 8 + z = 4*l, 8 = 4*l - 4*h for l.
3
Let k(w) = w**3 + w**2 + w - 24. Let g be k(0). Let f = g - -26. Let c be 50/15 - f/(-3). Solve -c = 2*p + 2*j, -7*j - 40 = -5*p - 2*j for p.
3
Let p be (-3 + 2)/((-2)/6). Solve o - p*o - 3 = q, -q = -o + 3 for o.
0
Suppose 6*f - 16 = 2*f. Suppose y - 3 = -c - f, 3*y - c = 17. Suppose 0*r - 4*t = y*r - 24, -3*r = -3*t. Solve r*j - v = -4, -2*v = -2*j - 0*j for j.
-2
Suppose -28*d + 253 = 57. Solve 5*j - 4*o = -d*o - 29, 4*o = 3*j for j.
-4
Let a be (-10)/55 + (-6)/(-33). Suppose a = -3*c + 12 - 42. Let i be (-20)/(-3) - c/(-15). Solve -2*y = -6*y + o - 2, 4*y + o = -i for y.
-1
Let c be 14/(-133) - 6/(-57). Solve 4*n = r + 19, -r - n + 2*n - 4 = c for r.
1
Suppose -2*h = -q - 0 + 7, 0 = q + 3*h + 3. Suppose 0 = 2*z + 22*z - 48. Solve 0 = i + z, d - 3*i - 4 = q for d.
1
Suppose 0 = -7*j + 2*j - 120. Let x = -24 - j. Solve x = -2*q - y - 3*y + 10, 3 = 5*q - y for q.
1
Suppose 85 - 93 = -4*r. Solve -r*o - 14 = 4*x - 4*o, o = 5 for x.
-1
Suppose -b + 12 = 4*z, 3*z - 1 = b + 1. Solve -m - 15 = z*g, 48 = -3*g - 4*m + 13 for g.
-5
Let h be (-4)/(-14) - (-864)/(-84). Let n be (-4 - 10)/(4/h). Let m = n - 25. Solve -5*y - m = 0, -w - w = 5*y for w.
5
Let p(k) = -8*k + 227. Let w be p(28). Solve 1 = -3*z - c - w, 0 = z + 5*c + 20 for z.
0
Let f(j) = -2*j + 34. Let a be f(17). Suppose -g + 3 = v - a*g, -5*v + 12 = 4*g. Solve -4*b + 4 = v, 0 = -5*h - 0*b - 4*b + 14 for h.
2
Suppose 22 = -3*o - 5. Let i be ((-30)/o + 0)/(14/21). Let d(c) = -c**2 - 5*c - 2. Let r be d(-4). Solve i*p = -5*k + 25, -r*k = -4*p + 5*p - 8 for k.
3
Suppose o - 22 + 18 = 0. Solve -a + 3*u = o*a - 18, a = 5*u + 8 for a.
3
Let w = 798 + -794. Solve d - 9 = -j, d - w*j + 4 = -7 for d.
5
Let v = -127 + 129. Solve -s - 2 = v*w, -2*s + 2*w - w = 4 for s.
-2
Let v be 2/4 - (-177)/6. Suppose 5*a + 16*y - 17*y = -95, -y + 59 = -3*a. Let u be a/v - (-69)/15. Solve -5*z - 2*o - 3 = 0, o - 5 = -5*z - u for z.
1
Suppose 0 = 2*x - 4 - 6. Let y(o) = o + 7. Let q = -18 + 28. Let j be y(q). Solve 0 = b - 1, j - 3 = x*c - b for c.
3
Suppose -3*s + t + 12 = -2*t, t = 3*s - 4. Let y(o) = -o + 1. Let n be y(-7). Let m be 9/(28/n + -2). Solve -b = b - 2*k - m, s = 3*b + 2*k + 6 for b.
0
Let i(g) = g**3 - 5*g**2 + 3*g - 8. Let z be i(5). Let a be 28/z*(0 - -4). Solve 5*j - 32 = 4*x, 4*x = -0*j + j - a for j.
4
Let n = 1 - -5. Suppose 0 = x + 5*w - 10, -5*x + n = 5*w - 4. Suppose 18*u + 93 = 129. Solve -u*k = 3*b + 2, -4*k = 4*b - 4 - x for k.
5
Let l be ((-18)/(-5) - 3) + (-37)/(-5). Let r(y) = 2*y - 11. Let t be r(l). Solve -u = -3*x - 4 - 1, -2*u - 12 = t*x for x.
-2
Suppose 23*j = 28*j + 3*h - 7, -3*j + h + 7 = 0. Solve 0 = 2*u + 2*m - 4 + 10, -j*m = 10 for u.
2
Let i(p) = 2*p**3 + 2*p**2 - 2*p - 3. Let l be i(2). Solve w + 2*o + o = l, 0 = 4*w + 4*o - 36 for w.
5
Let z(j) = -3*j**2. Let o be z(4). Let c be o/(-2) - (1 - 2 - -5). Solve 2*u = -2*a + 1 - 3, 5*a + c = 0 for u.
3
Let z be 9/(-90)*-5*4. Solve 10 = -z*d, 2*u - 5*d - 24 = u for u.
-1
Suppose 0 = 10*g - 7*g + h - 9, 3*h - 9 = -3*g. Let t(d) = -d**3 + 7*d**2 - 7*d + 9. Let q be t(6). Solve g*c = q*f + 12, 4*f = 3*c - 13 - 4 for c.
-1
Suppose 0 = 26*k + 121 - 225. Solve 4*r = -3*y + 26, 0 = -k*y - 0*y + 4*r - 12 for y.
2
Suppose 5*m = v + 11, -3*v - 12 = -4*m + v. Let b be ((-2 - -2)/4)/((-4)/m). Solve -3*o + 0 - 3 = b, -2*o = y + 6 for y.
-4
Let b be (-68)/(-20) + 2/(-5). Suppose 1 = -3*p + 2*p + o, 4*o + 21 = -p. Let i be (-8)/(-20) - 13/p. Solve 5*d + 13 = i*v + b, -v = -5*d for v.
5
Suppose -124 = 5*y - 144. Solve 0 = 4*m - y*u + 24, m - 2*u + 18 = -3*m for m.
-3
Suppose 19*y + 36 = 131. Solve 3*b - 23 = -4*j - 7, 4 = j + y*b for j.
4
Suppose 0 = -0*f - 4*f - y + 91, 5*f = -5*y + 110. Suppose f - 3 = 4*t - 2*u, -5*u = 4*t - 6. Solve 5*c - t - 8 = -3*g, -c = -g + 4 for c.
0
Suppose 0 = 4*g + 3*g - 35. Let z be (g - (4 - -1))*(-1 - 0). Solve z = 4*k + 16, 3*i - 4*k = -7*k - 24 for i.
-4
Let g = 437 + -419. Solve 0*f + g = -2*f + 4*u, 4*f - 29 = -5*u for f.
1
Let p(v) = -v - 4. Let o be p(6). Let a = 12 + o. Suppose -8 = -2*l - 2*z + z, a*l - 2*z = 20. Solve -l*c + 5*c = 2*f + 11, -f - c - 6 = 0 for f.
-5
Let q be -2*(0 - 10*(-4)/(-8)). Solve -4*j - q + 3 = 5*c, -5*j = 3*c - 1 for c.
-3
Let c = -2147 - -2152. Solve -3*j + 7 = -v - 5*j, -c*v + 4*j = 7 for v.
-3
Let d be ((-48)/(-32))/(1/2). Suppose 2*n = -d*i + 3*n + 2, 2*n = -4. Solve -16 + 45 = 4*k - 3*m, -2*k - 4*m - 2 = i for k.
5
Let i(z) = z - 16. Let w be i(16). Suppose w = -13*v + 99 - 21. Solve -3*p = v, 1 = -2*l + 2*p + 11 for l.
3
Let d = -10 + 12. Let b(y) = y**3 + 15*y**2 - 16*y + 6. Let l be b(-16). Solve -2*q = 4*a - l, -d*a = -0*a - 4*q + 22 for a.
-1
Let a(c) = -c**2 - c - 1. Let k be a(-1). Let t = k - -4. Solve -5*z = t*d + 2*d - 20, -3*z = 5*d - 10 for d.
-1
Let p(i) = 7*i - 7. Let k be p(5). Suppose -3*w + 20 + 39 = d, w - k = -2*d. Let j be (-2)/(-9) - (-122)/w. Solve q + 2*q - 5*u = 22, -2*u = -3*q + j for q.
-1
Let k = -121 + 89. Let h = k + 32. Solve -2*f = 0, 2*z + h*z = -5*f - 6 for z.
-3
Let n = -10 - -10. Suppose 2*w - 8 = -2*d - 0*d, 5*w + 4*d - 19 = n. Let b = 5 - w. Solve b*p - 2*o + 4 = 2*o, o - 1 = -5*p for p.
0
Let n = 46 - 32. Solve 3*g + 7 = 5*g - 3*a, -g = 2*a + n for g.
-4
Let y(g) = -g**2 + 9*g + 15. Suppose 3*f - 32 = -2*o, -32 - 2 = -5*o + 4*f. Let x be y(o). Solve -x*a + 4*h = 13, -6 + 3 = h for a.
-5
Suppose -8 = -2*p + 3*n, p - 124*n + 127*n = 22. Solve 3*l - 2*l + s = -p, 2*l - 4*s - 10 = 0 for l.
-5
Let z = -8 + 12. Suppose 0*u - 25 = -z*u + 3*a, 0 = 4*u +