0
Let h be (134/(-134))/(2 + 0 + (-10)/4). Solve 2*v - 3 = -3*b, h = 2*b + 15*v - 17*v for b.
1
Let a(l) = l**2 - 757*l - 5264. Let s be a(-7). Solve -3*q + 12 = -4*k, 2*q = 85*k - s*k + 8 for q.
4
Let r = 83 - 137. Let p = 59 + r. Suppose 3*l - 2*l - p*i + 17 = 0, -5*l = -2*i - 7. Solve 4*z = -3*q - 14, 4*q - l*z + 6 = 29 for q.
2
Suppose -2*d + 43*g - 46*g = 503, d = -5*g - 234. Let h = d + 263. Solve -i = -0*i + j - 4, -h*j + 15 = 5*i for i.
-1
Let a(f) = 5*f + 155. Let c be a(-31). Let z be 0 - (-18 + 2 + c). Solve -5*t = -4 - z, k - 10 = -3*t for k.
-2
Suppose 4*f - 26 = 10. Suppose 3*h = 8*h - 245. Suppose 0 = 5*c + d - 3 - h, -2*c + 37 = -5*d. Solve 4*t - 9 = -3*k + f, -k = 3*t - c for k.
2
Suppose -8*p + 3 + 3 = 5*m, -2*m + 6 = 5*p. Let z be -8 - (-21 + (p - -7)). Solve -z*x = -2*a + 12 - 4, -5*x + a = 7 for x.
-1
Suppose -d - 5*o = -486, -4*d + 4*o - 2*o = -1900. Let p be (-3*d/(-36))/(2/(-6)). Let v = 120 + p. Solve 0 = q + 1, -f - 3 = 3*q - v for f.
1
Suppose 0 = -3*i - 6, 3*x - i = -0*x + 14. Suppose g - 13 = -x*j, -4*j + 33 = 3*g + 2*g. Solve 7*h - 2*q - 15 = j*h, 0 = -3*q + 15 for h.
5
Let z(a) = -4*a + 69. Suppose 16 = -7*p + 8*p. Let w be z(p). Solve 3*i - 16 = -w*r, -3*r - 11 = 2*i - 4*r for i.
-3
Suppose 5*p - 17*p + 252 = 0. Suppose p*b = 11*b. Solve 3*u + 1 = -4*k, b*u + 4*u - 3*k = -18 for u.
-3
Let c(m) be the first derivative of 2*m**3/3 + 23*m**2/2 + 13*m - 15. Let i be c(-11). Solve -i*q + 3*v = -13, -3*q + v + 8 + 8 = 0 for q.
5
Let p be (-578)/8*(2 - 6 - -8). Let g = p + 293. Solve l + 3*j = -0*l + 2, -l - g*j = -4 for l.
-4
Let w be (-3 + (-18)/9)*-1. Suppose -j - 7 = -f + 6*f, 4*j + w*f = 2. Solve 25 = t - 6*t + 4*o, 4*t + j*o + 20 = 0 for t.
-5
Let m be ((-1 - 3) + 10)*(-44)/(-66). Solve m*g - 7 = 7*w - 8*w, -5*w = -5*g + 40 for g.
3
Let o be (-5)/(-2) - 5/10. Let t(x) = 197*x - 783. Let s be t(4). Solve 2*l - p - o + s = 0, -3*l = -5*p + 22 for l.
1
Suppose 6 = 2*q - 0. Let o be 27/q + -3 + 3. Suppose o = -f + 32. Solve f = 5*m + a, 6*m - 3*m - 5 = -5*a for m.
5
Let l be (4 + -10)/3 - -114. Let t be 3/2*l/42. Solve -o - 17 = 4*a, t*a + 8 = o + 1 for o.
-5
Suppose 5 = 9*l + 23. Let y be 4 + 46 + (-2)/l. Let d = -31 + y. Solve -4*o + 6 = 2*p, -5*p - 4*o = o - d for p.
5
Suppose 90 = -80*g + 170. Solve -3*l - q + 1 = 0, 67*l + q - g = 68*l for l.
0
Let w be (2*10/25)/(4/250). Suppose 7*i = -15 + w. Suppose 0 = -n + 17 + 9. Solve -3*q - 4*d + 19 = -0*d, -i*q - d = -n for q.
5
Let b be (-1 - -10) + (-13 - (-22)/1)/3. Solve -d + 4*k = -2*d + b, 6 = 4*d - 5*k for d.
4
Let q(h) be the third derivative of -h**5/60 - 5*h**4/12 - 8*h**3/3 + 7*h**2. Let u be q(-7). Suppose 3*v - 1 = u. Solve -2*z + x = z + v, 6 = -z - x for z.
-2
Let s = 53 - 53. Let a be (5 - 1) + -7*2. Let o = a - -28. Solve 16 = 4*g + 4*y, 5*g + 3*y - o = -s*y for g.
3
Let v(k) = 4*k**2 + 5*k - 10. Let a be v(5). Let w = a + -122. Let z be w/((-539)/14) - (-97)/11. Solve -5*j = 5*h - 1 - 14, 0 = -3*h - j + z for h.
3
Let h = -26856 - -26861. Solve 20 = -4*j - h*d, -68*j + 65*j = d + 4 for j.
0
Suppose -2*h + 0*h = 0. Suppose -3*j + m = -h*m - 8, -7 = -2*j - m. Let o = 3521 + -3521. Solve a = -o*z + j*z + 19, 6 = 2*z + 4*a for z.
-5
Let w be 8 + 1 + -8*1/2. Suppose 5*q + 4*o - 10 = 0, -5*q - w*o + 6 = -2*q. Solve 0*t - 5*t + 10 = -q*h, -5*h = 0 for t.
2
Let o(f) = f**2 + 8*f + 21. Let l be o(-3). Let h(w) = -4 - w**3 - 2 - 4*w + 7*w**2 - w. Let c be h(l). Solve c*m - d = 2*m + 1, -m + 1 = d for m.
-2
Let l(b) = b**3 + 3*b**2 - 15*b + 20. Let x be l(-6). Suppose 2*p = -5*j + 5, -5*p - 9 = -x*j + 22. Solve -j = 3*y + i - 11, -3*y + 4*i = 2 for y.
2
Let l = -8 - -55. Let q(n) = -n**2 + 7*n. Let p be q(-4). Let z = p + l. Solve 4*f + 4 = 5*s - 6, -z*s = -6 for f.
0
Let m = -8340 + 8443. Solve 26 = -4*n - 2*h, 108*n + 13 = m*n + 4*h for n.
-5
Suppose 2*g = 4*d - 6, 7*g = 11*g + 5*d - 27. Suppose -26*c = -31*c + 20. Solve -c*o + 12 = -o - 3*n, 5*o = -g*n - 12 for o.
0
Suppose 218 = 26*i - 198. Solve 9*q = h + 14*q + 22, -4*q - i = 0 for h.
-2
Let c = -39 + 48. Suppose -13 = -a - 2*r, -c*a + 6*a - 2*r = -27. Solve -2*v - 4*x = 3 + a, 2*x + 35 = 5*v for v.
5
Suppose -3*z = -z - 344. Let f = z + -152. Solve -4*l = 2*o + 18, f + 2 = -3*o - 5*l for o.
1
Suppose 3*v + 15 = 0, -3*v + v - 12 = -k. Let p = -128 - -132. Suppose -p*u = -3*q - 0*q + 27, -4*q = -3*u - 29. Solve k*a = -0*a - c + 4, c - 4 = q*a for a.
0
Suppose 2*t - 5*i = -55, 24 + 44 = -4*t - 4*i. Let a = -15 - t. Let m(q) = -36*q - 207. Let c be m(-6). Solve 2*p = -3*d + c, -a*p + 2*d - 7 - 18 = 0 for p.
-3
Let t be ((-72)/(-64))/(42/224). Solve -14 = o - 3*i, -t*o + i - 8 = -5*o for o.
-5
Let i(n) = -n**2 + 7*n + 15. Let v = -41 + 46. Suppose v*o + 6 = 2*w - 15, -o + 31 = 4*w. Let c be i(w). Solve -c*j = -d - 3*j - 20, 0 = -3*j + 15 for d.
0
Let m = 5 + -9. Let q = m + 4. Let f(u) = -u**2 - 3*u + 9. Let x be f(-4). Solve -x = w + 3*d, q*d - 10 = -4*w + 3*d for w.
1
Suppose -13 = -4*j - q, -4*j + 2*q = q - 11. Suppose 3*g - 25 = -2*g, j*d - g - 7 = 0. Let p = -1 + d. Solve k + 0 = -4*o - 4, p*o = k + 4 for k.
-4
Suppose 0 = 182*s - 260 - 3570 - 1448. Solve -4*j = -2*l + 20, 2*j - 5*j - s = 2*l for l.
-4
Let a(j) = 13*j**2 + 34*j + 33. Let i be a(-1). Solve -3*h + 10*t = i*t - 17, -h = 4*t - 19 for h.
3
Let i be (3/(-4))/((-114)/(-1440) - 56/210). Solve -4*p - 33 = -2*a - 17, i*p = -4*a - 28 for p.
-5
Suppose 5*z + 2 - 82 = 0. Suppose -21 = z*x - 85. Solve -3*y = 10 + 5, 0 = x*m - 2*y - 18 for m.
2
Let q be (-6)/15*(5 - 0). Let a = 6 + q. Suppose -3*r - a*m + 2 = -2, 0 = 2*r + 2*m - 2. Solve -2*x + 2*y = 8, -x - y - 2 = -r*x for x.
-3
Suppose -5*t + 2*c - 564 = 0, c + 6 = -c. Suppose 5*g = 13 + 12, 5*g = -5*m + 595. Let q = t + m. Solve 5*r = q, -8*r + 3*r + 8 = -4*n for n.
-2
Let q = -1786 - -2569. Let u = 788 - q. Solve u = -5*o + 3*d, -3*o - 3 = -o - d for o.
-4
Suppose 84*y - 36*y = 22*y + 234. Solve 3*b - z = 10, -y*b + 24 = -5*b + 4*z for b.
4
Let a(b) = -177*b - 1590. Let q be a(-9). Solve -10 = -2*s - x - 0*x, -q*s + 15 = -3*x for s.
5
Suppose 5*g = 3*j + 1, 0 = -4*g - 2*j + j + 11. Let z(t) = 78*t**2 - 1092*t + 4. Let a be z(14). Solve 7*b - 3*b + a = g*d, 2 = 2*b for d.
4
Suppose -2*v + 142 = 150. Let x be 1*(v - 1 - -5). Let t(w) = -w**2 - 5*w + 4. Let a be t(-5). Solve 5*s + x*f - 28 = -2*f, a*s = -f + 20 for s.
4
Let u(r) = -r**3 + 5*r**2 - 3*r + 1. Let n be u(4). Suppose -4*g - 4 = -20. Solve c + g = f, -3*c = -2*f - 4*c + n for f.
3
Let z(s) = 6*s - 15. Let l be z(6). Suppose -9 = -h + i, -h + 6*i + l = 2*i. Let w be (-21)/3 + -3 + 13. Solve 5*p + 2*n - 23 = 0, -n - 29 = -h*p + w*n for p.
5
Suppose -77132*l + 236 = -77014*l. Let h(x) = x**3 - 6*x**2 + 6*x - 4. Let j be h(5). Solve -l*i + 3*y + 5 = 0, -2*y = i + 2 - j for i.
1
Suppose 0 = 25*d - 7217 - 608. Let q = 317 - d. Solve n - 10 = 5*b - 2, b = -q*n + 11 for n.
3
Suppose 3*q - 30 = -2*q. Suppose -q*i + 16 = -2*i. Let y be i/8 - 6/(-4). Solve 0 = -4*h - 5*t + 9, -y*t + 4 - 2 = 0 for h.
1
Let i = 446 + -401. Suppose -33 + i = 4*g. Solve 0 = -2*u + 4*m, 2*u - g*m + 2 - 4 = 0 for u.
4
Let i(z) = z**3 - z**2 - 4*z + 6. Let x be i(2). Let j be (-5)/((-10)/x) + 1. Solve 20 = -5*a - 3*t - j*t, 0 = -3*a + t - 4 for a.
-2
Suppose -3083*q - 270 = -3137*q. Solve 4*f + q*n = -22, 45*n - 46*n - 14 = 4*f for f.
-3
Let n(m) be the first derivative of 3*m + m**2 - 17 - 1/3*m**3. Let x be n(-1). Solve 4*g - 3*t + 11 = x, 4*t + 13 = -2*g + 3*t for g.
-5
Suppose -8 = 12*f - 16*f. Suppose f*s - 42 = 5*v, -v - 4*v - 2*s = 58. Let z be (-6)/v + (-82)/(-5). Solve 3*a = 2*d + z, d + 2 + 9 = 2*a for d.
-1
Suppose 5 = -4*g + 153. Let y = 42 - g. Suppose -4*j - 70 = -2*p, y*p - 58 = 3*p + j. Solve c + 3*d = -9, 4*c = -c + 3*d + p for c.
3
Suppose -5*t + 7*t - a + 59 = 0, -3*t + 3*a - 87 = 0. Let r = -35 - t. Let z = r - -31. Solve 2*l + z = -5*w + 5*l, 4*l - 4 = -w for w.
-4
Let z be 30*((-336)/(-160) + -2). Solve -3*u - 3*h = 12, 6*u + 14 = z*u - 4*h for u.
-2
Suppose -2*o = 3*s - 0*o + 3, -2*s + o - 9 = 0. Let b be ((-1)/(s - -2))/((-1)/(-15)). Solve b = 3*l - 4*q, 0 = 2*l - 3*q - q - 10 for l.
5
Let g(d) be the second derivative of 0 - 1/20*d**5 - 1/6*d**3 + 12*d - 1/4*d**4 + d**2. Let r be g(-3). Solve r*f - n + 4*n + 22 = 0, -3*n = f + 2 for f.
-5
Let a(x