5*p + 62*p - 4*i - 4 = 0 for p.
0
Suppose u = 16 - 12. Suppose u*q = 41 - 29. Solve 0 = -q*h + 6*p - p - 30, 5*h + p + 22 = 0 for h.
-5
Suppose 0 = -4*l + 20, -809*b - 4*l + 10 = -811*b. Solve 0 = 3*j + 5*x - 14, 0 = -b*j - 5*x + 28 - 8 for j.
3
Let a(s) = s**2 - 7*s - 144. Let h be a(-9). Suppose h = -122*g + 125*g - 15. Solve 0 = -2*n + 2*y - 5 - 11, 5*n = -2*y - g for n.
-3
Suppose 2*n + 5*t = -4, -400 + 331 = -3*n + 5*t. Solve -n = -5*i - 2*x - 44, 3*i = x - 12 for i.
-5
Suppose 5*m - 5*q = 40, 29 = 32*m - 28*m - 3*q. Suppose -3*t - 11 = -2, -5*t = 3*b + 9. Solve -b = j, 0 = 3*i + m*j + 32 - 10 for i.
-4
Let u be 6/(-4)*(-174)/9 + 2. Let i = 57 - u. Suppose -2*l + 3*c = -11, -30 = -5*l - 2*c + i. Solve l = -5*p - 2*b, -5*p + 4*b + 0*b = -20 for p.
0
Let k be (-6)/(-2)*(21/(-7))/3. Let p be (21/(-9) - k)*120. Let d = -68 + p. Solve -21 = w - 4*f, 0 = -2*w + 2*f - d for w.
-1
Let m(g) = -g**2 - 8*g - 12. Let l(o) = o - 17. Let s = 7 + 4. Let w be l(s). Let q be m(w). Solve 6 + q = -a + 2*u, -4*u + 20 = 2*a for a.
2
Let k be (-15)/(-9) - (-2)/6. Let j be 69/3 - (-1 - -1). Let d be -3 + 1 + 7 - 10/5. Solve -2*z = -d*l + 1 + 1, -3*z = k*l - j for z.
5
Let p = -742 - -746. Let x(i) = -i**2 + 13*i + 51. Let y be x(16). Let b(c) = c. Let o be b(5). Solve 1 = -4*n + o*t - p, n - y*t = -3 for n.
0
Suppose 11*n + 256 - 344 = 0. Suppose 0*o = 5*g + o + 5, -2*g - 5*o = -21. Let m = 1 - g. Solve -4*y + m*c - 2*c = n, -c - 4 = 0 for y.
-3
Let g = 234 + -148. Let h = g + -72. Let b be 1/(-3) - 7/(-3). Solve 0 = b*p + 2*c + c - 21, -3*p + h = c for p.
3
Suppose -2*s = -3*r - 312, 5*s + 4*r = 2*r + 818. Suppose 5*o + s = -x, 3*o = -5*x + 1 - 85. Let m = -17 - o. Solve -3*y = -4*h - m, 0*y + 5*y - 2*h = 8 for y.
0
Let i = -81 - -120. Suppose 4*o - i + 19 = 0. Suppose o*s - 13 - 12 = 0. Solve 4*a = -3*w - 25, -14 = s*a - w - w for a.
-4
Suppose 2*p - 20 = 4*r, -3*p - 3*r = r + 10. Suppose 0 = 3*l + 6, k + p*l = -2 + 5. Solve 3*v - k*v + 2*i = -6, -2*v - 9 = -5*i for v.
3
Suppose -143 = 6*v - 413. Suppose -17 + v = 2*q. Let s be ((-9)/(-18))/(1/q). Solve -16 = -2*j - 2*j, j - s = -3*z for z.
1
Let l be (-3)/(-4) + 8/((-32)/15) + 3. Let k = -112 - -114. Solve 0*d - 5 = -h + d, -k*h + d + 10 = l for h.
5
Suppose 14 = -5*o + 44. Let a be (9 - 46)/(3/o). Let k = a + 74. Solve k = -2*c - x + 5, -2*x = 2*x - 20 for c.
0
Let m(v) = 26 - 59 - 783 + 85*v + 37*v - 159. Let q be m(8). Let c(h) = -h**2 - 5*h - 1. Let a be c(-4). Solve q + 5 = 3*d + a*i, 5*d + 10 = -i for d.
-3
Suppose -2*c + 32*c - 16*c + 31*c = 0. Solve -5*k - 5*d = c, 0 = 35*k - 40*k - d for k.
0
Let t(n) = 2*n + 20. Let z be t(-8). Suppose -z = -4*m - 2*b, m - 8 + 0 = 3*b. Solve m*r = 3*r - 4*v + 17, -r + 3*v - 12 = 0 for r.
3
Suppose -39*g - 36 = -27*g. Let u be 8/((6/4)/(g/(-4))). Solve 5*t = p - 0*p - 16, u*t - p + 12 = 0 for t.
-4
Let z = 103 + -98. Suppose 0 = -4*o + 4*g - 0*g, z*o = -5*g + 30. Solve m - 4 + 5 = -2*b, 5*m + o*b = -19 for m.
-5
Suppose 4*j = -5*d + 228, 228 = 4*j + 3*d - 4*d. Suppose j - 49 = 2*i. Solve 3*b = -0*b - 2*p - 8, 3 = -i*b + 5*p for b.
-2
Let u(z) = 6*z**2 + z. Let g be u(-2). Let h = 26 - 18. Suppose q = -h + 14. Solve -d + q*d - g = -4*m, 3 = m for d.
2
Let a(j) = -3*j**2 + 439*j - 1843. Let w be a(142). Solve -c - 35 = -2*g - 28, 5*c = 2*g - w for c.
1
Let b = 17 + -13. Let q(h) = 0 + 11 - b*h + 2*h + h**2 - 10. Let x be q(3). Solve 8 = 2*d + 4*s, 0 = -2*d + x*s + 10 - 2 for d.
4
Let b be 21/42 - (-1 - 3/(-2)). Suppose -3*p = -u + 61 - 22, -p - 3*u - 3 = b. Let c be 6 + 3/(p/8). Solve 0 = -t - c*k - 16 + 5, 2*t + k + 8 = 0 for t.
-3
Let c(q) = -222*q - 4436. Let m be c(-20). Solve 3*t + m*p + 48 = 38, 2*t = -4*p - 8 for t.
-2
Let d(w) = -w**3 - 8*w**2 + 10*w + 16. Let p be d(-9). Let y(b) = b**2 - b - 40. Let c be y(p). Solve -z + 8*n = 6*n + 13, -z - n + c = 0 for z.
-3
Suppose -12*b = -9*b + 9. Let f be (2 + 13/b)/((-1)/15). Solve -a + 38 = 4*o + 13, -3*o = 4*a - f for o.
5
Let u(q) = -24*q - 260. Let s be u(-11). Let m(p) = -p**3 + 5*p**2 + 4*p - 4. Let x be m(4). Let z = -5 + 9. Solve 12 = -z*v, -v = c + s*c + x for c.
-5
Let p = 2176 + -2176. Solve p = -12*j + 11*j + d + 7, -d = 4 for j.
3
Suppose h + 26 = -3*n + 43, -3*h + 1 = -n. Solve 5*o - 2*t + 21 = 0, -3 = -3*o - n*t + 3 for o.
-3
Let h be (-13)/(-6) - (-2 - (-13)/6). Suppose h*w - 6*w = -12. Suppose c + 24 = 5*x, -w = -0*c - 3*c. Solve -3*o = 4*v + 2 + 9, 5*v = -x*o - 20 for v.
1
Let m = 5100 + -5088. Solve -m*y + 7*y = j + 30, -y = 5 for j.
-5
Suppose 0 = -2*w + 2*c + 9 + 29, -2*w = 5*c - 45. Let n be 3/(-1 - (-35)/w). Solve 0 = 4*m - n*t + 4, -2*t = 5*m - 40 + 10 for m.
4
Let n = -24 + 26. Let s be n/3 - (0 - 511/21). Solve v + v = -4*u + 14, -5*v + 5*u - s = 0 for v.
-1
Let v be 2 + -1 + -5 - (-3 - 0). Let y be 696/6 + (-1)/v. Suppose y = -0*b + 9*b. Solve -2*c - b = c - 2*g, 0 = -5*c - 3*g + 10 for c.
-1
Let z be 23/7 - 6/21. Suppose 64*b - 1239 + 599 = 0. Solve -2*k - z*y = b, -k + y - 4*y - 8 = 0 for k.
-2
Let l(x) = 55*x - 283. Let j be l(6). Suppose -2*v - 45 + j = 0. Solve -4*t + 5 = z - 2, z = -2*t + v for t.
3
Let i(j) = -228*j + 3910. Let g be i(17). Solve 0 = -n + 3*b + 23, -2*n = -25*b + 21*b - g for n.
5
Suppose 0 = -5*j - 3*z + 44, -13*z + 10 = j - 12*z. Solve j - 3 = b + p, -4*b - 2*p = -10 for b.
1
Let z be (-4)/8*10*(-12)/20. Solve 3*x - 5*j - 14 = 0, 3*x + z*j - 3 = x for x.
3
Let c be (-63)/756*(-23 + -1). Solve 2*g + 12 = 4*y, c*g + 15*y - 14*y + 2 = 0 for g.
-2
Suppose -3*i + 2*i = -4*k - 15, -4*i + 117 = 3*k. Suppose a = 28 - i. Let c = 42 + -23. Solve 2*d = 3*m + a, 6*m + d = m - c for m.
-3
Let f = -3020 - -3024. Solve 3*k + 5 = 2*x, 6*k - f*k + 6 = 4*x for k.
-1
Suppose 0 = 37*x - 97 - 273. Solve -14*a = -10*a + 5*r - 8, -2*a - x = -r for a.
-3
Let h(j) = 2*j + 12. Let r be h(-10). Let u be 0 + (-372)/r*(-6)/(-9). Let o = -1 - -3. Solve -4*m + u = 3*k + 2, o*k - 1 = m for m.
5
Let m(r) = -1 + r**2 + 181*r**3 - 91*r**3 - 89*r**3. Let w be m(1). Solve -4*p = 3*j + w, 4*p - 4*j = p - 32 for p.
-4
Let f(r) = -2*r**3 + 31*r**2 + 23*r - 109. Let i be f(16). Let v be (-13)/(-3) + 2/3. Solve -v*h - i*z = -16 - 16, -h = -z for h.
4
Let j(z) = -z**3 + 21*z**2 + 56*z - 216. Let f be j(23). Solve g = 2*v - f, -g = g - v + 13 for g.
-4
Let k = -1 + 7. Let c(v) = v**3 - 22*v**2 + 21*v + 5. Let p be c(21). Suppose p*h = 2 + 3. Solve d + 4*j = -h, -k*j = -3*j + 3 for d.
3
Suppose 5*j - 36 = 4*i - 280, 0 = 4*i + 5*j - 204. Suppose -54 = a - 3*z - 2*z, z = -2*a - 108. Let g = i + a. Solve g*y - 3*y - 7 = -x, -x + 11 = -2*y for x.
3
Suppose 4*q - 3*o = 7, -3*o = 7 + 8. Let p be 0 - q - ((-1)/1 - 3). Let g be 6 + ((-2)/p - (-40)/(-24)). Solve -9 = -c + g*y, 0 = 2*y + 3*y + 5 for c.
5
Suppose v - 5*v = 0. Suppose v = u - 0*u + 4*y + 11, -4*y - 36 = -4*u. Let r be (-3498)/(-848) + (-1)/8. Solve 30 = -l - r*s + 10, 0 = 5*l - s - u for l.
0
Let x be (-21)/(-255) + (-1)/5 - 1682/(-14297). Solve -5*i - 17*q = -21*q + 19, x = -3*i + 2*q - 11 for i.
-3
Suppose 4*v = -22*v - 658 + 762. Solve v*g - 6*p + 2*p = 36, -4*p - 20 = 0 for g.
4
Let i be (-4)/(-3)*(-297)/(-22). Suppose -7*p - i = -16*p. Solve q + 2 = 0, p*o - o = -2*q for o.
4
Let k = 2254 - 2254. Let h = 5 + -4. Let o be 5/h + 1 + -1. Solve k = -v + f + 5, v + 4 - 21 = o*f for v.
2
Suppose 7*g = 10*g - 12. Let d be 137/9 - g/18. Solve 0*n - n + d = 2*u, 0 = -3*u - 3*n + 30 for u.
5
Suppose 0 = -6*l + 2399 - 2381. Solve 0 = -l*f - 2*c - 19, 2*f + 4*c + 0*c = -26 for f.
-3
Let i(v) = v**3 - 25*v**2 + 2*v + 2. Let j be i(25). Let n = j + -28. Solve n = -4*s + 2*a, 2*s + 0*s + 28 = 5*a for s.
-4
Let s = -82 - 20. Let q = -111 - s. Let v be (-32)/(-144) + (-232)/q. Solve 2*j + v = -4*z, 3*z + 0*z + 37 = -5*j for z.
-4
Suppose -4*o + 56 = 4*l, 1363*l - 1360*l = 3*o + 6. Solve p - 4 = -p + 2*d, -3*p + 4*d = -o for p.
2
Suppose 0 = 2*a - 6*d + d + 26, -a + 2*d - 14 = 0. Let m be (-24)/20*30/a. Solve 4*x = -3*l - 3, -x + m*x - 4 = 4*l for l.
-1
Suppose -1976 + 672 = -4*p. Let g = p - 317. Solve k = -2*o - 6, o + 4 = -3*k - g for o.
-1
Let i be -5 + (-1751)/(-85) + (-2)/(-5). Suppose 133*y = 137*y - i. Solve -4*c - c + r + 13 = 0, 0 = -c - 2*r - y for c.
2
Suppose -5*l = -10*l + 2180. Let r = l - 431. Solve 0 = q - r*v - 30, 0 = 3*q - 4*v - 48 + 13 for q.