k + 6, -17 = -2*y + 4*k - 29. Solve 4 = 2*q - y*q for q.
2
Let r(x) = x**2 - 15*x - 4. Let l be r(16). Suppose 0 = -7*k + 23 + l. Solve 8 = 3*u - k*u for u.
-4
Let b be (0 + -184)/(-4) + -2. Let h = b - 34. Suppose -40 = 5*l - h*l. Solve 0 = -4*x + 2*x + l for x.
4
Let y(h) = h**2 - h - 2. Let d be y(-2). Let l be -9*(d/(-12) - -2). Let z be ((-50)/l)/(4/6). Solve p = -0*p + z for p.
5
Let b be (63/7)/(-3) + 13. Solve 7*l - b*l + 3 = 0 for l.
1
Let d be (11/2)/((-5)/(-10)). Suppose -5*t = -d - 9. Solve 25 = t*b - 9*b for b.
-5
Suppose -57 = -3*x - 3*n, -3*n + n = 2. Suppose -4*b - x = 4*d, 2*b - 4*d = -2*b + 20. Solve g - 2 + 6 = b for g.
-4
Suppose 0 = -g - 3*g - 2*w - 186, 2*g = -2*w - 98. Let x be (110/g)/((-2)/4). Solve -5*v + x = -5 for v.
2
Let k = -9755 + 9801. Suppose -3*u - 3*a + 11 = -2*u, u = 4*a - 3. Solve 21 - k = u*z for z.
-5
Suppose 3*y = -5*o + 2, 3*y - 6 = -o - 2*o. Suppose 3*i - 5*m = -m + y, -m = -5*i + 35. Let g = -6 + i. Solve -g*w + 1 = 7 for w.
-3
Let o(z) = z**3 - 8*z**2 + 6*z + 9. Let r be o(7). Let y(a) = 2*a**2 + 3*a - 7. Let c be y(r). Solve -x - 4 = -c for x.
3
Let s be 180/22 - (-2)/(-11). Let v be 202/s - 3/(-4). Suppose d + 4*d - 2*p - 7 = 0, -5*p + v = 2*d. Solve 4*b - 5 = d for b.
2
Suppose 32*v - 14*v - 72 = 0. Solve 8 = v*t - 0 for t.
2
Suppose 5*j = -55 - 15. Let p = j - -15. Suppose d = p + 4. Solve 3*l = -4 - d for l.
-3
Let p = 41 + -37. Suppose 9 = -p*l + 33. Solve -f - f = l for f.
-3
Suppose -6*i + i - 20 = 0. Let f be 1/3*(i - -13) - 0. Solve 4 + 2 = f*q for q.
2
Suppose 4*s - 2 = 2, -4*s - 6 = -5*y. Suppose -y*l - 2*l + 13 = 5*j, -4 = -4*j. Solve 0*n = -l*n + 8 for n.
4
Let y be (-8)/6*(-1 + 259/(-14)). Solve -10*b - 6 = -y for b.
2
Let y be (0 + -1)/(95/(-475)). Solve -y = 2*r - 3 for r.
-1
Suppose -21*w + 719 = 215. Solve -w*q = -26*q for q.
0
Let a = 1536 - 1524. Solve 0 = 3*p + a - 0 for p.
-4
Let t = 18 - 3. Suppose y + t = 6*y. Let v = -683 + 683. Solve 0 = -y*p - v*p for p.
0
Suppose 10 = 2*a + 10. Solve a = 8*w - 7*w for w.
0
Suppose 0 = -3*s + 2*a - 18, 2*s + 22 = 4*a + 2. Let w be s*(-1 + 1/4). Solve w*c + 2*c + 5 = 0 for c.
-1
Let v = -146 + 138. Let f be 4/(-14) + (-61)/7. Let j = v - f. Solve 3 + j = 2*r for r.
2
Let j(i) = -3*i + 94. Let o be j(26). Let g(k) = k - 6. Let w(t) = -t**2 - 6*t + 7. Let u be w(-6). Let h be g(u). Solve 0 = -5*l - h + o for l.
3
Suppose 0*k = -k + 2*x + 39, 3*x + 181 = 5*k. Let y be -3 - ((-266)/k - 6/15). Solve -5 = y*s - 0 for s.
-1
Let u be (-13)/((-364)/64) - 2/7. Let h be u + -3 - (-1 - 0). Solve h = z - 0*z for z.
0
Let l(j) = 2*j**2 + 138*j + 152. Let m be l(-68). Solve -m*d - 18 = -66 for d.
3
Let q = -374 - -377. Solve q*j = -3*j - 24 for j.
-4
Let x(r) = r**2 + 5*r + 2. Let b be (3*10/(-6))/1. Let t be x(b). Suppose 10 = t*c + 3*c. Solve -p - 1 = c for p.
-3
Let a be ((-16)/(-32))/((-1)/(-10)). Solve -28 + 3 = a*u for u.
-5
Suppose 0 = -4*t + 2*t + 10, -5*d = 4*t - 35. Solve d*n + 2*n = 10 for n.
2
Suppose -3*u + 2 = 2*m - 51, 0 = -5*m + 4*u + 75. Solve -3*n = -m*n + 64 for n.
4
Let p = 113 + -113. Suppose 0 = -p*l - 10*l + 30. Suppose 0 = -2*z - b + 37, 3*z + 2*b = 7*b + 49. Solve -5*w - l = -z for w.
3
Let b(p) = 2*p - 4. Let a be b(4). Suppose 6*u = 4*u + a*i + 8, 2*i = 4*u + 14. Let d = u - -11. Solve d = 4*m + m for m.
1
Let c(x) = -x**2 + 13*x - 34. Let i be c(5). Solve -5 = i*w - w for w.
-1
Let y be (12/(-4))/(-1 + 2). Let b = 9 - y. Solve b = 5*k - 13 for k.
5
Let u = -66 + 43. Let a = u + 29. Let w = a + 0. Solve 2*h = w - 0 for h.
3
Let k(a) = -a. Let h(u) = -u**2 - 5*u + 4. Let b(l) = h(l) - 6*k(l). Let x be b(0). Solve i + 10 = -x*i for i.
-2
Suppose 0 = -4*m + q + 3, 4*q = 2*m + 3*m - 12. Suppose m*y - 5*y - 10 = 0, -t + 4*y = -8. Solve -3*g - 8 - 1 = t for g.
-3
Let a = 91 + -18. Let y = a + -70. Solve y*m + 4 = -m for m.
-1
Suppose 0 = -6*r + 3*r + 15. Solve 4*y + r = -11 for y.
-4
Let n be (-3*2/1)/(-2). Suppose -8 = -4*w + 40. Solve -w = n*o + o for o.
-3
Let k(n) = n**3 + 4*n**2 - 3*n + 12. Suppose h - 7 = 3*r + 5*h, 4*h = 8. Let q be k(r). Solve q*x + x = -15 for x.
-5
Suppose -16*h = -6*h + 720. Let t = -71 - h. Solve -3*i = t + 2 for i.
-1
Let x be (-12)/(-2)*3/2. Let i(l) = 3*l - 52. Let d be i(21). Solve 5*s + d = -x for s.
-4
Let i = 216 - 212. Solve 0 = 9*o + i + 23 for o.
-3
Let o = -388 + 397. Solve 7 = -x + o for x.
2
Let y be -1 + (-1)/((-8)/36)*6. Suppose 4*j - 5*b = 37 - 6, -2*b - y = -5*j. Let a(f) = -f**2 + 8*f - 7. Let r be a(7). Solve -j*t + 1 + 15 = r for t.
4
Suppose -7*n = -11*n + 20. Suppose n*y = 25 + 15. Solve 2*m + y = 4 for m.
-2
Suppose 21*x + 12*x - 495 = 0. Solve 5*b - 5 = -x for b.
-2
Suppose 4*q = 4, m - 4*q - 3 = 5. Suppose -49*w + 63*w = 28. Solve 2 = w*z + m for z.
-5
Let g = -944 + 947. Solve -7 = g*n - 22 for n.
5
Let z(g) = -5*g**2 - 17*g - 1. Let f(m) = 6*m**2 + 17*m. Let s(b) = -4*f(b) - 5*z(b). Let x be s(-17). Solve 4*c + x = -15 for c.
-5
Let m = 0 + 0. Let s(r) = r**3 - 9*r**2 + 7*r - 2. Let n be s(7). Let h = n + 59. Solve -h + m = 2*o for o.
-4
Let u = -2914 + 2916. Let n(f) = -f - 6. Let k be n(-6). Solve -u*c = -k*c for c.
0
Suppose 3*r = -3*r + 12. Suppose 2*q + r*b = 22, 0 = q + 3*q - 4*b - 4. Solve -3*z + z - q = 0 for z.
-3
Suppose -4*s = -g - 0*s - 8, -2 = -s. Solve -2*u + 17 - 13 = g for u.
2
Suppose 1 = 2*d - 1. Let z(s) = -12*s + d + 0 + 4 + 11*s. Let y be z(5). Solve -4*x + 0*x = y for x.
0
Suppose 7*q - 3*q - 8 = 0. Suppose 2*y = 4 + q. Suppose 5 = 2*a - y. Solve 0 = a*z - 0 + 12 for z.
-3
Let x be 3 + -1*(-47 + 0). Let p = x - 22. Let c be 1/4 - (-105)/p. Solve 3*k + 2 = c*k for k.
2
Let r be 115/46*(-1 + 3). Let a(j) = -j**3 + 5*j**2 - j + 8. Let q be a(r). Solve 3*o = 3 + q for o.
2
Let k = 84 + -81. Let a be 4 - (-3)/3 - k. Solve a = -l - 0*l for l.
-2
Let j(o) = -4*o - 1. Let a be j(-1). Let l be (-2 + 5 + 9)/(2 - 1). Let f = l - 8. Solve f*k - a = 1 for k.
1
Suppose 44*y - 51*y = 336. Let z be (2 + 32/(-10))/(y/160). Solve -2*q + 0 = -z for q.
2
Let m be 6/(-14) - (-7810)/77. Solve -16*w - 21 = -m for w.
5
Suppose 0 = 5*y + 10, y - 39 = 5*w - 141. Solve -4*x = -9*x - w for x.
-4
Let p be (-82)/(-615) + (-73)/(-15). Solve a - p = 2*a for a.
-5
Suppose 4*q + 10 = -2*y + 26, 4*q - 16 = 0. Let o be 4 - (1 - -1) - -31. Let u be 138/o + 2/(-11). Solve y = -h - 0 - u for h.
-4
Suppose 6*k = 2*k + 32. Let p(f) = -8*f + 4. Let q be p(4). Let r = q + 30. Solve r = 5*d - k for d.
2
Let z be (-2)/(-10) - (-2)/(-10). Suppose 5 + 31 = -3*f. Let x be (-12)/(3 - (-44)/f). Solve z = 3*o - 3 + x for o.
-5
Let r = -20 - -9. Let a = -8 - r. Suppose 0 = -205*x + 192*x. Solve x = l - 0*l - a for l.
3
Let w be 1 + (1 - 0 - 0). Let z be (-14)/(-2)*(-320)/(-224). Solve -4*u + w*u - z = 0 for u.
-5
Suppose -29 = -3*n - 26. Solve 0 = 8*j - n - 15 for j.
2
Let y be (-11 + (6 - -4))/(1 + -2). Solve -5*c - y = -4*c for c.
-1
Let d(k) be the second derivative of -k**4/12 - 7*k**3/6 - 7*k**2/2 - 10*k. Let h be d(-4). Solve f - h*f = 0 for f.
0
Let x be (0 + (0 - 3))*2. Let q = x - -7. Suppose -3 = -2*t + q. Solve -4 = -2*w - t*w for w.
1
Let j(d) = 3*d - 1. Let l be j(4). Suppose -l = -3*w + 4. Solve 2*g - w = 3*g for g.
-5
Suppose -24*o + 64 = -20*o. Solve 4*x - o = -0 for x.
4
Let x(k) = 2*k**2 - 13*k + 13. Let b be x(7). Suppose -8*w = 5*w - 52. Solve -w*h + b = h for h.
4
Let f = -16 - -10. Let c = f - -9. Let j = c - 1. Solve -j*n - 2*n = 8 for n.
-2
Suppose 27 - 11 = 4*d. Suppose f - 4*l - 18 = 0, -6*f = -f + d*l + 6. Solve -f*z - 1 = 5 for z.
-3
Suppose a - 15 = 2*o, -o = 2*a + 2*o - 58. Solve 5*l - a = 2 for l.
5
Let w = 69 - 9. Let j = w - 55. Solve 0*g + j*g = 5 for g.
1
Let j = -73 - -38. Let k = j - -39. Solve -3*r + k = r for r.
1
Let z be 0/((0 - 1)*1). Suppose z = -5*w + w. Suppose -d = -p - 7, -2*d = -0*d - 3*p - 18. Solve w = d*r - 4*r + 1 for r.
1
Suppose -m + h - 3 = -13, 0 = -5*m + h + 62. Suppose m*q = 3*q + 80. Solve -2*f = q - 10 for f.
1
Suppose 5*c + 2 = 4*c. Let p(b) = -2*b**3 - 4*b**2 - 2*b + 1. Let j be p(c). Solve -j*k = -10 - 5 for k.
3
Let p(h) = -h**3 - 7*h**2 - 5*h - 6. Let n be p(-6). Let a be n/(-5) - 4/10. Suppose -a*d + 10 = 2. Solve d = s + 1 for s.
3
Let w(h) = -14*h + 11 - 19 + 1. Let a be w(-3). Let b = a + -23. Solve 5*u - 2*u - b = 0 for u.
4
Let r be 