14 = 0 for p.
5
Let t be (60/24 - (-1)/2) + 2. Solve 5*p = -o + t, o + 2*p = -0*o + 5 for o.
5
Let b = 28 + -23. Suppose b*x + 3*f = -2, 2*x - 6*f + f = 24. Solve 2*v - h - 2*h = 22, 3*v = x*h + 23 for v.
5
Suppose 33 + 7 = -5*c. Let v(j) = -3*j - 20. Let r be v(c). Solve -4*f + 0*f + r*u + 12 = 0, 2*f - 12 = -4*u for f.
4
Suppose 1 - 3 = 2*t. Let g(r) = -3*r + 32. Let y be g(11). Let m = y - t. Solve -c - 4*b = 4 - 21, m = 5*c - b + 20 for c.
-3
Let k be (-20)/6*(-6)/5. Let b be 0*((-9)/21 + k/(-56)). Solve -4*w - 2*y + b + 2 = 0, -5 = 5*y for w.
1
Let w be (24/(-32))/(3/4*-1). Solve -2*z - 7 = p, 2*z - p + w = 4 for z.
-1
Suppose 4*f = 3*y - 28, -3*y - 2*f + 45 = 5. Suppose 8 = 4*j - y. Solve -5*m + u = -4 - 9, -2*m - 11 = j*u for m.
2
Let i(a) = -67*a + 335. Let t be i(5). Solve 9*h = 10*h - 5*l + 13, -2*h - 5*l + 19 = t for h.
2
Let o(z) = 2*z + 5. Let x = -42 - -42. Let a be o(x). Suppose 0 = -2*s - 0*s + 2*q + 14, 4*q - 14 = -3*s. Solve 0 = a*p - k - 18, s*p = 2*p - 4*k for p.
3
Let x = -20 + -4. Let y be x - (-4)/16*-4. Let a = y + 44. Solve 8 = -4*h + 20, 5*h - a = -2*c for c.
2
Suppose 0*a = -a + 51. Suppose a = 4*v - 9. Solve 0 = -z + 5*r - v, r - 6*r - 10 = 4*z for z.
-5
Let h = -435 - -439. Solve -5*f + 0*m - 3*m = -12, 0 = f + m - h for f.
0
Suppose -15 = -3*z, -2*c - z + 43 = -48. Let f = c - 40. Solve 5*n = -5*k - 4 - 16, k + f*n + 4 = 0 for k.
-4
Let t(l) = -l**2 - 9*l + 4. Let x be t(-9). Suppose 0 = 2*y + 4*w - 28, x*y - w + 0 = 101. Solve -3*f + 18 = 3, -4*f + y = -2*p for p.
-2
Suppose 2*q = -2*q. Suppose 3*a - 4*s - 9 - 1 = q, -a + s = -5. Suppose a = -5*g, -g - 6 = -4*m - 2*g. Solve 2*l + m*n = -8, -3*l - n = n + 13 for l.
-5
Let d(k) = k**2 - 3*k - 5. Let h be d(5). Suppose -w + h*a - 3*a + 1 = 0, 0 = 4*w + a - 22. Solve 3 = x - 3*x + w*s, -x - s = 5 for x.
-4
Let w = 1276 - 1270. Suppose 2*n - 4*y - 20 = 0, 0*y = -4*n + y + 26. Solve 2*v + w = t, -4*t + 15 = -5*v - n for v.
-1
Let k(w) = 6*w + 218. Let j be k(-34). Solve 0*s = 5*i - s + 18, -3*i - j = s for i.
-4
Let g be (-10)/(-4)*(-41)/((-205)/10). Solve 4*j - 7 = g*x, -4*x - 10 = -0*j - j for j.
-2
Let l(n) = -n - 2. Let w be (4/(-12))/((-2)/(-42)). Let r be l(w). Let o be (-1 + -8)/(-1*1). Solve 2*a + o = i - 2*i, -15 = -5*a + r*i for a.
-2
Suppose 0 = 2*d - 5*c + 13, 0 = -5*d + 3*d - 2*c + 8. Let l = 3 + d. Let t be (144/20)/((-6)/(-20)). Solve -4*f - 4*q = t, 5*q = l*f - 0*f - 21 for f.
-1
Let q be (-2)/14*(9 - 16). Let l be 6*-6*q/(-9). Solve -3*o + o = -4*j - 14, -l*j - 2*o = 18 for j.
-4
Suppose -7*r = 184 - 198. Solve -5*g + 4*b = 11, 3*g - 4*b = -3 - r for g.
-3
Suppose 0 = 3*a - 70 + 64. Solve 5*d + 23 = 2*j, -17 = -d + a*j - 7*j for d.
-3
Let g(x) = x**2 + 5*x - 21. Let y be g(3). Solve 0 = -5*w + 4*w + 3*d - 6, y*d = 5*w + 18 for w.
-3
Suppose 2*o - 4*n = o + 39, 186 = 4*o - n. Let b = o - 45. Solve 5 = 5*c + w - 8, b*w + 4 = 0 for c.
3
Let q = -13 - -35. Let o = 35 + -18. Let z = q - o. Solve -3*c - 5*j + z = 0, -3*j - 28 = -4*c + j for c.
5
Let g(o) = 2*o**2 - 3*o + 6. Let x be g(3). Suppose 4*u + 3*w + 2 = 0, -w - x = -5*u + 4*w. Solve -4*p + 9 = 5*m - u, -3*m + 3*p + 6 = 0 for m.
2
Suppose 8*h - 23*h + 30 = 0. Solve -b - 3*p + 18 = h*p, -4*b - 5*p + 12 = 0 for b.
-2
Let q(a) = 5*a - 34. Let s be q(8). Solve -4*i + s = -2*l, 4*i + 2 = -5*l - 27 for i.
-1
Let w be (6 - 0) + -4 - 0. Solve 0 = 3*d - a + 6, 0 = 4*d + w*a - 5 + 23 for d.
-3
Suppose 2*t - 5*m + 0*m - 28 = 0, 0 = t - m - 8. Let y(f) = 8*f - 19. Let x be y(3). Solve -t*j + 5 = 4*v + 17, 16 = -4*v - x*j for v.
1
Suppose -44*m = -73*m + 87. Let i(k) = k**3 + 7*k**2 - k - 7. Let o be i(-7). Solve -6*v - 4*g = -m*v + 35, o = v - 2*g - 5 for v.
-5
Let q be -2 + 1 + 3 - 4. Let v be (20 - 6/(-3)) + q. Suppose -5*u + 30 = b, 3*b = u - 2*u + v. Solve 3*h - u*o + 1 = 17, -5*h + 5*o + 10 = 0 for h.
-3
Let z = -124 + 126. Let w(v) = -v**2 - 5*v - 2. Let i be w(-4). Let s be 2/i + 2 + 0. Solve q + q - 4 = 0, z*f - s*q = -12 for f.
-3
Let d = 10 - 13. Let h(c) = 3*c**2 + 7*c + 8. Let g be h(d). Solve 2*u = -y + g, 2*u - 3*u = 3*y - 17 for u.
5
Suppose -61*m + 60*m = -55. Let v = 55 - m. Solve -4*c + 16 = v, -2*b - 2*c = 3 - 17 for b.
3
Let w(h) = 5*h**3 - h. Let v(f) = f**3 + f**2 + f + 1. Let c(g) = 4*v(g) - w(g). Let o be c(5). Solve 6*j - j - 33 = o*q, 0 = -4*q - 8 for j.
5
Let j = 6 - 3. Let o(a) = 46*a - 1231. Let u be o(27). Solve 0 = -w - m - 3, -4*m + u = -w + j for w.
-4
Suppose 15*f - 12*f - 5*n + 7 = 0, 43 = 3*f + 5*n. Solve -f*y + 4*y = 4*h + 16, 4 = y - 2*h for y.
-2
Let y(p) = -p**2 - 12*p + 30. Suppose -10 - 74 = 6*u. Let k be y(u). Solve -4*o + 3*m = -7, -m = 3*o + k*m - 21 for o.
4
Suppose -3*r = 5*z + 4, z + 20 = -5*r + 28. Solve -3*s = 0, r*v + 5 = 4*s + 11 for v.
3
Let m = -82 + 84. Let r be 2 - 0 - (2 + -3). Suppose 5*i - 4*i - 2*n = -6, 0 = 5*i + 3*n - 9. Solve -g = -5*q - r - 2, m*g - 10 = i for q.
0
Suppose -13*x + 140 = -42. Solve k - 3*k - 4*c = -2, -4*k - 2*c = x for k.
-5
Let j(t) = -t**2 + 2*t + 5. Let v(q) = 9*q - 51. Let p be v(6). Let r be j(p). Solve -i + 0*i - r = 0, 4*k + 22 = -5*i for k.
-3
Let n be (-5)/(-2)*2/1. Suppose -5*s + o - n = 0, 2*o + 5 = 2*s - 1. Let t = 2 + s. Solve -2*c + t*c + 2*r - 2 = 0, -35 = 5*c + 5*r for c.
-4
Let h be (-141)/(-12) + (-1)/(-4). Solve 0 = -3*o + 5*l - 22, -7*o + 3*l = -h*o + 20 for o.
1
Let j(g) = 2*g**2 + 4*g + 2. Let k be j(-2). Suppose -k*i + 1 = 1. Solve -f + 2*u = i, 4*u + 2 + 6 = 0 for f.
-4
Suppose 2*c - 22 + 32 = 0, -2*c + 2 = 2*o. Solve 5*h = -5*y - 5, -y + 2 = o for h.
3
Let s(m) = -2*m**3 + 9*m**2 + m + 25. Let c be s(5). Solve -3*d = -2*d + c*l - 6, -4*l + 8 = 0 for d.
-4
Let x = -16 - -8. Let w = 13 + x. Solve 3*s - 4*k - 8 = 0, w - 2 = -2*s + k for s.
-4
Let j be (-6)/(-4)*50/(-15). Let f be (-4)/((-4)/j)*1. Let x be (-20)/(-8)*(-18)/f. Solve 3*u - 21 = -3*g - x, -5*u = 4*g - 15 for g.
5
Suppose 0 = -d - 8*j + 3*j + 10, -5*j + 15 = 2*d. Solve o + d*h - 1 = 3*h, -o - 4*h = -5 for o.
-3
Let c be (3/9)/((-13)/3 - -4). Let i = 1 + c. Solve 6 = -3*o - 3*y, i*o - 3*y - 8 = o for o.
1
Let j(w) = w**3 + 23*w**2 + 21*w - 17. Let q be j(-22). Suppose 3*h - 17 = -q. Solve d - 2 = 0, 3*a - h*a + 3*d = 10 for a.
-4
Let y(h) = 3*h + 3. Let v be y(3). Suppose 2*p = -2*r + 310, 86 = 4*r + 2*p - 530. Let g be 1/5 - r/(-85). Solve 3 = -3*m + 4*s - v, -g*m = 5*s + 10 for m.
-5
Suppose -2*l + 20*l = 36. Solve 3*c = -3*x + 1 + 2, 0 = -c - l*x - 1 for c.
3
Suppose 272*l - 251*l - 42 = 0. Solve -5*w + 15 = l*z, 4*w = -z - 3*z + 24 for z.
5
Let h(v) = 2*v**2 + 3*v + 2. Let q be h(-4). Suppose m = -5*d - 24, -5*d - 8 - q = -5*m. Solve -4*p - 3 - m = n, 5*p + 4 = -n for n.
-4
Let o(y) = 13*y - 75. Let m be o(6). Solve -2*h - 12 = -2*k + m*h, 4*k = -2*h - 24 for k.
-4
Suppose -4*w = 5*r - 26 + 2, 4*r + w = 17. Suppose -r*i = -9*i + 20. Suppose 31 = i*q + 11. Solve 0*h - 14 = -4*h + 3*a, -2*h + q*a = 0 for h.
5
Let k = 37 + -44. Let y(f) = -f**2 - 5*f + 14. Let g be y(k). Let t = -3 + 5. Solve -4*z + 3*n - 1 = -2*z, 5*z + t*n - 7 = g for z.
1
Suppose -j = 5*u - 21, -28 + 29 = -3*u - 4*j. Suppose -2*c + 6*c - 12 = 0. Let h(a) = a + 2. Let w be h(c). Solve -n - 18 = 2*s - w*n, -u*s - 18 = -n for s.
-3
Let l be (3 - 2) + (5 - 1). Suppose 0 = 4*t + 3*w - 7, 5*w + 0*w = -2*t - 7. Suppose 2*p + t*p - 12 = 0. Solve 0 = -3*g - 3*q - 3, l*q + 3 = -3*g + p for g.
-2
Suppose -b + 2*p = -10, 3*p + 16 = 1. Suppose -j - 2*n = -b*n - 8, -j - 4*n + 14 = 0. Solve 2 = -j*v + 4*i, -5*v = i - 25 + 8 for v.
3
Suppose 0 = 8*u + 35 - 43. Let m be u + 2 + 0/3. Let y = -4 + 7. Solve -y*q - a = -3*a + 2, -q + 11 = -m*a for q.
-4
Suppose -c + 6*c = 60. Suppose -4*j + c = -0*j. Suppose -w - 2*w = 0. Solve 5*d - j*l - 17 = 0, w*l + 14 = 4*d - 2*l for d.
4
Let a be (-10 + (-1106)/(-56))/(3/8). Solve -5*u - 2 = o + a, 0 = -5*u - 25 for o.
-3
Let p be (-1)/(-1 - 4/(-8)). Suppose p*u + u = 12. Let b be (1 + 2/4)*2. Solve 2*y + 10 = 4*j, -b = -u*j - 3*y - 2*y for j.
2
Suppose 15*r - 24*r + 27 = 0. Solve 0 = -2*b - 3*y - 13, 2*y = b - r*y for b.
-5
Let m(f) be the second derivative of -f**5/20 + 5*f**4/6 - 4*f**3/3 - 5*f**2/2 + 2*f. Let u be m(9). Solve -2*j = -0*q + 3*q - 7, u*q - 11 = -j for q.
3
Suppose g + 2*g = 6. Suppose 3 = -w - 4*b + g*b, 5*w = 3*b + 24. Solve 4 = -w*x - 