
0
Let h(p) = 55*p + 57. Let r be h(-1). Solve -14 = 5*n + 5*f - r*f, n + 13 = -4*f for n.
-1
Let v be (1 - -4)*(-6)/18*-3. Suppose v*h + 115 = 5*l, -l = -3*h - 43 + 14. Solve 0 = -5*j + 2*q - 14 - 1, -2*j - l = 2*q for j.
-5
Let h = -60 - -58. Let w be (-3)/h*-3*(1 - 3). Suppose 0*a = -w*a + 18. Solve -4 = a*i - g + 4, -5*g = 4*i + 30 for i.
-5
Suppose g - 2*v = -3, 2*v - 39 = -4*g - 11. Let o(d) = -d**3 + 4*d**2 + 8*d - 14. Let k be o(g). Suppose 7 - k = m. Solve -4*a = 4, -y = -m*y - a - 26 for y.
-5
Suppose -c = -5*v - 100 + 21, v = 2*c - 185. Solve 91*y - c*y = 5*g - 25, g = 2*y + 5 for g.
5
Let n = -6 - 1. Let p = n + 4. Let h be (-4 - -1)/(p/(-24)*-4). Solve -15 = -4*w - 5*b, -2*w + h = w + 2*b for w.
0
Suppose 0 = -5*k - c + 5, 3*k + 3*c = -0*c + 15. Suppose k = -14*r + 37 + 33. Solve 5*o + 0*g = 4*g + 7, 4*o - 3*g = r for o.
-1
Let k(x) = x**3 - 12*x**2 - 26*x - 34. Let a be k(14). Let o be (-3 + 0)*3/a*6. Solve 4*y = -16, -5*v - 4*y - o = 2 for v.
1
Suppose 5*u + 62*g - 59*g = 16, u = 5*g + 20. Solve 0 = -s + w - 8, -u*s - w + 1 = 29 for s.
-6
Let q(g) = -g**3 + 24*g**2 - 30*g + 165. Let z be q(23). Solve 2*n + 4 = z*r, 0 = -2*n + r - 17 + 10 for n.
-4
Let a be ((-1 - -4) + 7)*((-21)/(-6))/7. Solve 5*w - 2*j - 4 = 8*w, 0 = a*j - 5 for w.
-2
Let z(f) = -366*f + 4398. Let a be z(12). Solve 4*x - 13 = -p, -40 + 6 = -2*x - a*p for x.
2
Let x(m) = -3*m**3 - 10*m**2 + 43*m + 172. Let y be x(-4). Solve -4*s = 4*q - y, -3*q + 7*s - 3*s = -3 for q.
5
Let l = 44 - -186. Let m = l - 208. Solve 4*u + u - b = 15, 0 = -u + 4*b + m for u.
2
Suppose 2*u - 5*h - 3 + 9 = 0, -5*h + 12 = u. Solve u*o + 4*d = -22, -2*o = -0*o - 5*d - 23 for o.
-1
Suppose 0 = 2*q + 4*x - 12, 16 = 8*x - 12*x. Suppose 38*n - 96 = q*n. Solve -2*f - 8 = n*s, -2*s + 2*f + 4 = -f for s.
-1
Let x = -11553 - -11558. Solve 4*m - 6 = 3*k - 11, x*m = -5*k + 20 for m.
1
Let o(i) = 9*i - 28. Let k be o(6). Let u = -22 + k. Solve -u*z - 2*d + 14 = 0, -10 - 5 = -5*d for z.
2
Let o(s) = -2*s**2 + 8*s + 74. Let i be o(-4). Solve -h = 3*l - 6*h - i, 4*h = 5*l - 8 for l.
0
Let o = 9048 + -9048. Solve 6*c - f + 15 = -4*f, 5*c - 3*f - 15 = o for c.
0
Suppose z = p + 20, 4*z - 8*z + 78 = -2*p. Let r = -260 + 268. Let g = 6 + 2. Solve z = -k + 3*d, r*d - g = -3*k + 4*d for k.
-4
Suppose 0 = -p + 4*s + 18, 0 = -4*p - 8*s + 9*s + 12. Solve 5*b + 5*n = 8*b + 22, p*n = 10 for b.
1
Let a(h) = -12*h**2 + 18*h + 18. Let q be a(2). Solve 0 = n - 2*m - q, m = n - 0*m - 4 for n.
2
Suppose -5*c + 9 = 3*o, -3*c + 2*o - 15 = -9. Let v be -15*(c - -4 - (-52)/(-12)). Solve 1 = v*z + 2*m, -4*m - 9 = -0*z - z for z.
1
Let x = 78 + -51. Let g = x - 23. Solve g*t = 2*d + 18, 15 = d - 6*d - 5*t for d.
-5
Let k = 46 - 26. Suppose 0*u = -u - 4*r + 20, -k = -5*r. Suppose a - 3*v = -6, 5*v = 4*a + 2*v + 6. Solve u = -2*m - 3*j - a, m + 1 = -j for m.
1
Let f(g) = -g**2 - 5*g - 4. Let d be f(-4). Suppose -4*r + 16 = 0, 3*r - 28 = -k - 3*k. Solve -2*z = k*y - 12, d = 5*y + z + z - 17 for y.
5
Suppose 5*p - 29 - 331 = 0. Suppose -2*r + 5*c = -p - 46, 5*r + 5*c = 330. Let b = r - 33. Solve k + 4 = -i, k + b - 7 = -5*i for i.
-5
Let j = 54 + -51. Solve 3*x - 5*q - 7 = 0, x + 2*x - 9 = j*q for x.
4
Suppose 3*q - 330 + 81 = 0. Let v = 103 - q. Let d = v - 14. Solve 3*i = -3*f - 15, -2*f - 2*i + d = -4*f for f.
-4
Let j = 5 - -3. Let n(z) = 2*z**2 + 13*z - 9. Let s be n(-7). Let r(x) = 2*x + 9. Let c be r(s). Solve 0 = -3*b - g - j - c, 5*b + 5*g = -25 for b.
-4
Let t(v) = 227*v + 33397. Let s be t(-147). Let g be 2/((-2)/(-2)) + 21. Suppose 5*z = 18 - 3. Solve j = 4*o - z*j + s, -5*o = -j + g for o.
-4
Let p(y) = -184*y + 1291. Let z be p(7). Solve -2*v + 0*i = 2*i - 4, -4*i + z = 3*v for v.
5
Suppose -1267 - 4101 = 8*v. Let m = v + 671. Let g be ((-2)/1 + 1)*-5. Solve -2*u + m - 12 = 4*i, -g*i = 4*u + 18 for u.
-2
Let u = -18758 + 18760. Let z(f) = -f**2 + 3*f + 4. Let c be z(3). Solve n + n = 6, 0 = u*y - c*n + 4 for y.
4
Let l = 5518 - 5516. Solve 3*p - 5*d - 9 = 0, 4*d = 4*p - l - 10 for p.
3
Let o(m) = 33*m - 1219. Let r be o(37). Solve -2*q - 5*b + 10 = 0, -b + r = -6*q + 3*q for q.
0
Suppose 0 = -78*y + 74*y + 16. Let f = y + 21. Suppose -a + 5*s - 5 = 0, 6*s = 4*a + s - f. Solve -i - 4*u = 17, -5*i + u = -4*u + a for i.
-5
Suppose -10*n = 51 - 221. Solve -2*f = -4*r - 18, 13*r - 16 = -4*f + n*r for f.
-1
Let q = -15683 + 15685. Solve -p + 66 - 60 = -q*x, 3*x - 2*p = -9 for x.
-3
Suppose 0 = 4*u + 3*i + 15, 0 = 2*u - 4*i + 2*i - 10. Suppose -29 - 35 = -5*l + 4*x, u = -3*l - 4*x + 32. Solve -k = 3*t + 8, k + l = -3*t - t for t.
-4
Let i(y) = 2*y**3 + 39*y**2 - 26*y - 115. Let h be i(-20). Solve 0 = 3*l - v + 5, 6*v - h*v - 3 = 2*l for l.
-2
Let l = 32423 - 32420. Solve 0 = -14*p + 15*p - 3*h + l, -5 = p - 4*h for p.
3
Let u(l) = 42*l + 4. Let x be u(0). Solve 25 = -x*i + s, 5*i + 3*s - 5 = 3*i for i.
-5
Let c(b) = 4*b**2 + 105*b - 880. Let m be c(-33). Solve -3*n + 14*k - m = 16*k, -n = -5*k - 19 for n.
-1
Let n = -60 + 68. Suppose 0 = 3*w - 5*c - 119, 3*w - 2*c + n = 115. Suppose -36*t + 33*t + w = 0. Solve 2*a + 2*a - t = -3*q, 3*a = q - 8 for q.
5
Suppose -b = 3*h - 43, 2*h - 17 = h + b. Suppose 4*m + 7 = h. Let y be (180/210)/(2/14). Solve -q = d, 3*q = d + y + m for d.
-2
Suppose 5*u - 46 = -5*z + u, z + 2 = 2*u. Let f be -3 - (-10)/15*z. Let r be ((-25)/(-5))/f + -1. Solve -5*c = 3*h - 37, r*h = -c - 4*c + 41 for c.
5
Suppose -18 = -5*a - 2*y, -4*a - 2*y = -5*a + 6. Solve 25 = a*z + 5*o, 5*z - 4*o + 10 = -10 for z.
0
Let f(x) = 2*x - 1. Let s be f(3). Let k = 152 - 150. Suppose r + 3 - k = 0, 5*w + 5*r = -5. Solve -h - i = w, 34 = 3*h - s*i - 6 for h.
5
Let k(l) be the first derivative of l**3/3 + 3*l**2/2 + 7*l + 50. Let d be k(-2). Solve 0*q + a - 3 = q, -3*a + 15 = -d*q for q.
-3
Let u be (9/2)/(14/28). Let c = u + 64. Let j = c + -68. Solve j*f + 17 = 2*k - 9, 0 = 5*k + f - 11 for k.
3
Let g = -83 - -85. Let i(f) = 4*f**3 - 2*f - 6. Let s be i(g). Solve -s = z + 5*p, 0 = 3*z - 4*z + 3*p + 10 for z.
-2
Let j = -153 + 155. Suppose 0*g + 3*g - j*f - 17 = 0, g - f - 7 = 0. Solve -3*y + 12 = 4*a, 2*y - g = -a + 5 for y.
4
Suppose -387 = 6*b - 447. Solve 9 = -2*q - 3*u + b, -5*q = 3*u + 2 for q.
-1
Let k = 157 + -132. Suppose -12*d + k = -7*d. Solve s - 10 = -2*p, 5 = -0*p + p + d*s for p.
5
Let z = 10670 + -10670. Solve z = 3*x + 15, -6*x = 2*q - 8*x - 4 for q.
-3
Let b be (1 - -3)*95/(-20)*-1. Solve 3*s - 2*g + b = 0, 3 - 7 = -2*g for s.
-5
Suppose 23*m = -7844 + 806. Let z = m + 308. Solve r - 11 = -2*d, z*d - 2*r - 21 = -5*r for d.
3
Let i(p) = -p**2 + 3*p + 8. Let r be i(5). Let t be (-3 + (-3)/3)/(1/r). Solve -l - l - 2*f = 0, 5*l - 3*f = t for l.
1
Suppose -8132*u = -8156*u + 96. Solve -z - 12 = u*r - 3*z, -3*r + 2*z = 11 for r.
-1
Let v(h) = h**2 + 17*h - 10. Let u be v(-18). Let s be 4/(-6)*1*(-9 + 6). Solve -s*z + 5*c = 10, 0 = 5*z + 3*c + c - u for z.
0
Let q(y) = -29*y - 93. Let x be q(-4). Solve -x*f + 25 = -5*c - 28*f, -1 = 3*c - 4*f for c.
-3
Suppose 21 = 3*l + 3*o, -4*l + 4*o = 6*o - 20. Suppose 0 = l*h - 5*k + 3 - 20, 4*k = -4*h + 12. Solve 4*d - 9 = 3*z - 33, -h*z + 25 = -3*d for z.
4
Let b(j) = 32*j**3 + 2*j**2 - 2. Let n be b(-1). Let s = n + 34. Solve 2*w = -3*o + 14, -s*o + o + w = 2 for o.
2
Suppose 0 = -48*w - 138 + 234. Solve -3*s + 1 + w = -3*g, 3*s + 3 = g for g.
-3
Suppose 8*n = 4*n. Suppose t - 7*t + 30 = n. Suppose 19 = -19*p + 95. Solve t*h + 0*h + p*r = -9, -2*h = 4*r - 6 for h.
-5
Let f = -84 + 84. Suppose f = -k - 1, -4*g = -0*k - k - 41. Solve 0 = -0*r + 5*r + 2*u - g, 0 = -5*u - 25 for r.
4
Let t be (7/(-14))/(2/(-12)). Let m(h) = 247*h - 489. Let l be m(2). Solve u - t*z = -3, 2*z = 3*u - l - 0 for u.
3
Let t(s) = 4*s**2 - s - 32. Let r be t(9). Let a = -281 + r. Solve 2*o - a*d + 9 = -o, 3*o + 4*d = -9 for o.
-3
Let z be 1 - 7/(28/(-20)). Solve 2 = s + 7*q - 4*q, 0 = 3*s + 5*q - z for s.
2
Let x(r) = r**3 + 15*r**2 + 50*r - 32. Let h be x(-9). Let q(c) = -c**2 - 6*c. Let f be q(-6). Solve -a + 0 = -h, 5*b + a - 24 = f for b.
4
Let m = 4640053 - 4640051. Suppose -15 = -3*s - 0*s. Suppose -s*o + 3 = -7. Solve 2*q + 5*i + 5 = -o*q, m*i = -3*q + 5 for q.
5
Suppose 32 = 4*d - 4*o, 0 = -d + 2*o + 19 - 11. Solve -4*n + 2*r = -d, -5*n - 4*r = -9*n + 4 for n.
3
Let z = 13474 + -1346