1 for l.
-1
Let d(q) = 3*q**2 + 30*q + 19. Let o be d(-8). Let g = 31 + o. Solve g*p = -2*p + 12 for p.
3
Let l = -208 + 285. Solve 72*v - 20 = l*v for v.
-4
Let p(d) = -d**2 + 19. Let w be p(6). Let s = -14 - w. Solve -3*i - 6 = s for i.
-3
Let k = -388 - -253. Let h = 145 + k. Solve 0*v = 5*v + h for v.
-2
Let w = -3 - -10. Let h(a) = 3*a + 4. Let d be h(w). Let x = d + -17. Solve 0 = -k + 5*k - x for k.
2
Let d be -19 + (1 + -1)/4. Let u = -19 - d. Let b = 3 + 0. Solve -3*g + 0 + b = u for g.
1
Let w(k) = k**2 - 6*k - 8. Let j be w(10). Suppose d - 5*d - 3*c + 25 = 0, 3*c - j = -5*d. Suppose 5*q = d*q - 10. Solve o = -2 + q for o.
3
Suppose -32*z + 104 = -56. Solve z + 13 = -6*j for j.
-3
Let q be 5/2 + (-9)/18. Suppose 3*w - 2*c - 49 = 0, 0 = -5*w + w - c + 58. Solve q*n + n = -w for n.
-5
Suppose 3*v - 24 = -2*s + 6*v, -4*v + 28 = 4*s. Solve -15 + s = 2*y for y.
-3
Suppose -2*y + 4*y = 2*p + 22, -4*y + 23 = 3*p. Suppose y*f = 3*f + 15. Solve f*m = -m - 8 for m.
-2
Suppose 12*p - 196 = 5*p. Solve -30 = -2*k - p for k.
1
Let c(l) = -5*l**2 + 43*l - 6. Let z be c(8). Solve -z = -6*d + 12 for d.
5
Let y be (-3 - (-4 - 1))*-16. Let b = y + 38. Suppose w = -2*w + b. Solve q - 3*q + w = 0 for q.
1
Let k = 65 + -9. Let n = 60 - k. Solve -9 = n*p + 3 for p.
-3
Let n(o) = -6*o**2. Let w be n(1). Suppose 48 = 14*r - 8*r. Let j = w + r. Solve 0 = 3*y - 8 + j for y.
2
Let m = -167 + 171. Solve -m*n = -6*n + 8 for n.
4
Let g be (-14 + 13)/(3/12). Let z be (-2)/4*(8 + -16) + g. Let r = 19 - 10. Solve -4*f + r*f = z for f.
0
Let k(z) = -z**2 - 19*z - 9. Let h be k(-14). Let d = -56 + h. Solve -d*f = -6*f for f.
0
Suppose -10*w + 4*w = 0. Let d(j) = -j**3 + 2*j**2 + 5*j - 4. Let u be d(3). Suppose -2*s - 7 = -k - 15, -s + 13 = 4*k. Solve w = -u*b - k*b - 4 for b.
-1
Suppose 0 = -l + 3*l - 3*z - 1, 3*z = 4*l - 11. Solve -g - 4*g = l for g.
-1
Let j(v) = -v**2 - 3*v + 25. Let y be j(0). Let d be (-3 - y)*(2 + -1). Let p = d + 35. Solve -4*w = -p*w + 3 for w.
1
Let q(j) = -11*j - 33. Let n be q(-3). Solve 17*u - 13*u + 20 = n for u.
-5
Suppose -r - 15 = -5*d, 0*d - 3*d = -2*r - 16. Solve -d*v - 4 = -0 for v.
-2
Suppose -5*b + 5 = 0, -2*n + 3*b = -b - 4. Suppose 5*q - 30 = -3*l, -n*l + q + 3 + 14 = 0. Let c be (-45)/(-24) + 6*(-2)/(-96). Solve l*p = c*p for p.
0
Suppose 4*i - 2 = -2*p, 2*i - 2*p + 1 = -p. Suppose 5*f - 12 = 13. Suppose -f*z = -21 - 19. Solve i*y = -2*y - z for y.
-4
Let t = 916 + -911. Solve -t*i - 6 = i for i.
-1
Let o = -197 + 204. Solve 17 = o*p + 52 for p.
-5
Let k = -1444 + 1444. Solve k = d + 91 - 89 for d.
-2
Let m = 40 - 3. Let s = 37 - m. Let b be -10 + 12 + (s - -6). Solve 5*q + 18 = b for q.
-2
Let l be 176/64 + (-1)/(-4). Solve -17 = -5*w + l for w.
4
Let o be (-47)/3 + 7/(-21). Let r be -2 - (o + -2 - 1). Let w = r - 14. Solve -5*l + 23 - w = 0 for l.
4
Suppose 4*w = 3*d + 26, 16 = 4*d - 2*d + 4*w. Let c be d/(-4) - 19/2. Let a = 14 + c. Solve -a*u + 2*u - 15 = 0 for u.
-5
Suppose -165 = -5*l - 0. Suppose 18 = -34*m + l*m. Let w be (-1)/2 - 9/m. Solve 3*a + 6 + w = 0 for a.
-2
Let w(x) = -x - 2. Suppose 5*b + 39 = -2*l, 0 = -3*l - 3*b - 57 + 21. Let r be w(l). Let f = 7 - r. Solve -f*c = c for c.
0
Suppose 5*a + 3*l - 44 = 0, 3*a + l - 20 = 4. Suppose -a*g + 3*g + 16 = 0. Solve o = -3*o + g for o.
1
Suppose -3 = 110*x - 111*x. Solve o = -5 + x for o.
-2
Let t = 58 + -54. Let q be 19 + t - (0 - (-1 + 3)). Solve 0 = 4*f + q - 9 for f.
-4
Let b(k) = -k**2 - 11*k + 59. Let j be b(-14). Solve -1 - j = -9*q for q.
2
Let w = -143 - -148. Let u(b) = 2*b**2 - 3*b - 2. Let q be u(2). Solve -w*z + 8*z = q for z.
0
Suppose k - 8 = 6. Suppose 0 = -f - 4*l - k, 5*f + 6*l = 2*l + 10. Solve 2*q - f = -2 for q.
2
Let p = 9 + -4. Let g = 222 + -219. Suppose 6 - 2 = p*x - g*u, -3*u = 5*x - 16. Solve 4*y - 6 = x*y for y.
3
Let j = 436 - 397. Solve 0 = -5*x - 49 + j for x.
-2
Let u be 2*24/(-9)*24/(-16). Let g be 0 + -2*(-2)/(-1). Let m = u + g. Solve 0*x = m*x for x.
0
Let a = -156 + 110. Let w be (-3)/(-9) + (a/(-6) - 3). Solve -1 = -4*p - w for p.
-1
Suppose -5*y + 4*r = 42, 5*r - 17 = -2. Let v be -3 - -4 - (-1)/(-1). Let s be 0/1 + (v - y). Solve 6 = 4*d - s for d.
3
Suppose -2*z = z + 6. Let r be -1*(z/1 + -3). Solve r*l + 0*l = 10 for l.
2
Let j(z) = z - 1. Let l(a) = -2*a. Let k be l(1). Let u(n) = 3*n - 2. Let y(v) = k*u(v) + 5*j(v). Let f be y(-3). Solve -3*d = -1 - f for d.
1
Suppose 10 = -11*w + 13*w. Suppose 4*t - 45 = -w*n, 5*n + 3*t + 2*t = 50. Solve 9*f + 8 = n*f for f.
-2
Suppose -5*g = 2*g - 21. Solve 0 = -g*x + 20 - 17 for x.
1
Let d be (-60)/24*(-352)/55. Solve -65*g + 61*g = -d for g.
4
Let n(g) be the third derivative of g**5/60 - 2*g**4/3 + 16*g**3/3 + 10*g**2. Let m be n(14). Solve -23 + 7 = m*c for c.
-4
Let v be ((-26)/(-8) + -2)*16/1. Solve -4*d = -9*d - v for d.
-4
Let s be ((-10)/(-4))/(((-26)/(-20))/(-13)). Let p be (-3*s/(-5))/(-3). Solve p*x - x = 0 for x.
0
Let d be (-26)/(-4) + (-7)/14. Let t be d/45*3*100. Suppose 5*y = -0*y + t. Solve y = -3*p + p for p.
-4
Let l = -296 + 300. Solve -l = 3*a - 1 for a.
-1
Suppose 0 = -4*i - 12, 4*p = -38*i + 37*i - 3. Solve -6*m + 10 + 2 = p for m.
2
Let q = -60 - -21. Let n be (-1)/(-5) - q/5. Solve n = -3*d + 2 for d.
-2
Suppose -4*i = -0*i + w - 88, 5*w - 110 = -5*i. Solve i = -6*q + 4 for q.
-3
Let l be ((-10)/(-8))/(16/(-128)). Let z = l - -13. Solve -z*i = -2*i - 3 for i.
3
Let v(f) = -f - 2. Let c be (2 - 2)*(-1)/(-3). Suppose -3*j - 12 = -c*j. Let u be v(j). Solve 2*n - 16 = -u*n for n.
4
Suppose -21*q = 8*q - 87. Suppose 2*k + 4*u = -4, -5*u - 14 + 0 = -2*k. Solve n + k*n = -q for n.
-1
Let s(r) = -3*r - 11. Let c be s(-7). Solve 30 - c = -4*a for a.
-5
Let z(b) = -b**3 - 21*b**2 - 4*b + 31. Let u be z(-21). Let o = -115 + u. Solve 2*m - 4 = -o*m for m.
2
Let m = 9 - 7. Suppose m*x + 0 = -16. Let c be (-4)/x - (-22)/4. Solve 0 = -c*l + l + 15 for l.
3
Suppose 96 = 9*l + 3*l. Let z(i) = -i**2 + i + 2. Let k be z(0). Suppose -19 = -3*u - 4*n, -6*n + k*n = 4*u - 24. Solve l - u = -y for y.
-3
Let s be ((-2)/6)/(2 + 14/(-6)). Let f be s/(-2) + 3/6 - -2. Solve -3*l + f = -1 for l.
1
Suppose 4*b = -0*b + 32. Suppose 2*z = 4*z - j, -5*z - 6 = -4*j. Suppose -5*d = 3*k - 33, 11 = z*d - 9*k + 8*k. Solve -b = -2*h + d*h for h.
-2
Let v(r) = r**3 + 18*r**2 + 64*r - 10. Let z be v(-13). Solve -z*w = 1 + 5 for w.
-2
Let d = -65 + 76. Let j be 2*1 + 13*-1. Let c = j + d. Solve c = -3*t + 2 + 4 for t.
2
Suppose 4*r = 4*o + 8, 5*o - 4*r - 6 = -7*r. Solve 0 = -o*y + 4*y for y.
0
Let x(o) = -6*o + 98. Let y be x(14). Solve y*w = 19*w for w.
0
Let y(k) = 18*k + 183. Let n be y(-10). Let q be 0/(-2*1/(-2)). Suppose -3*o = -q*o + 12, -46 = -5*g + 4*o. Solve 12 = g*c - n*c for c.
4
Let i(v) be the third derivative of v**5/60 - 5*v**4/24 - 3*v**3/2 - 2*v**2. Let j be i(7). Solve j*u - 28 = -3 for u.
5
Suppose -2*b = -2 - 8. Suppose p + 5*c = 10, -b*p = -5*c - 21 + 1. Suppose -4 = p*g - 7*g. Solve g*f - 4 = 6*f for f.
-1
Let p be ((-3)/((-15)/10))/1. Suppose 0*d = d - p. Solve 12 = -5*j + d for j.
-2
Let j be (81/(-45) + 2)*20. Let i = 41 - 14. Suppose -i = -w - 2*w. Solve 25 = j*b - w*b for b.
-5
Suppose 263 = 20*m - 97. Solve -5*g = -8 + m for g.
-2
Let o be ((-18)/(-15))/((-21)/(-70)). Solve 0 = o*g - 8 + 12 for g.
-1
Let d = 108 - 31. Let x = d - 62. Solve -3*w + 0 + x = 0 for w.
5
Let x(w) = w**3 - 19*w**2 + 18*w + 18. Let r be x(18). Suppose 0 = -11*c + 14*c - r. Solve 2*k + c = 4*k for k.
3
Suppose z - 2*x + 33 = 0, 0*z = -4*z - 2*x - 122. Let o = z + 43. Let r be (20/o)/((-2)/(-6)). Solve -10 = -r*d + 5 for d.
3
Suppose -16*f = -14*f + 32. Let v = f - -19. Solve 7*s = v*s for s.
0
Suppose -10*d = -117 + 37. Solve d*m - 4*m = 0 for m.
0
Let n be ((-1)/(-2))/(16/(-1120)). Let h = 39 + n. Solve 6*f + 6 = h*f for f.
-3
Suppose -4*n - 35 = -2*v - 19, 3*n + 26 = 5*v. Solve -b = v*b - 25 for b.
5
Suppose 25*d - 4*v - 69 = 20*d, -2*d - 4*v + 50 = 0. Solve d = -6*k - 13 for k.
-5
Let q be 4 + (32/4)/(-2). Suppose i + q - 2 = 0. Solve 0 = 2*x - x - i for x.
2
Let k be (-10)/(-4)*164/10. Suppose k = -4*y + v - 6*v, -v = 5. Let t = y - -7. Solve 2*h = h + t for h.
3
Let a be (-17)/51*(-2 + 2). Solve a = -76*l + 79*l + 12 for l.
-4
Let j(k) = k**3 - k**2 - k - 6. Let s be j(0). Let v be s*((-1)/3)