Let s be z(-12). Solve 3*h - h = -3*n - 9, -h - 7 = s*n for n.
-1
Suppose 209*g - 303*g = -1128. Solve 3*l - z - g = 0, 81*z - 76*z + 4 = l for l.
4
Suppose 141*i + 80 = 151*i. Solve 1 = -2*s + w, 0 = -3*s + 4*w + 19 - i for s.
-3
Suppose -4*h - 13 = -33. Suppose k + 17 = v + 5*k, -5*k = -10. Let i(c) = 2*c - 15. Let p be i(v). Solve -t - 5*o - 2 = -3*t, 0 = -5*t + p*o + h for t.
1
Let w be (-3240)/243*(-3)/8. Solve -w*l - q = -6*q - 35, -4*l + 16 = -q for l.
3
Let z(j) = 3*j + 77. Let s be z(-26). Let x be (-378)/(-168)*(-4)/s. Solve -5*y + 20 = -c - 3, 3*y - 3*c - x = 0 for y.
5
Suppose 0 = -3*w - 2*c, -5*c + 6*c - 14 = -5*w. Solve -47*g = -2*y - 43*g - w, 4*g = 8 for y.
2
Let s = 2497 - 2481. Solve -z = -6*z - 2*h - s, 4*z + h = -14 for z.
-4
Let k(o) = -4*o**3 - 24*o**2 - 24*o - 2. Let p be k(-5). Solve 16*v - p = 11*v - 2*x, -10 = v - 3*x for v.
2
Let c = -122 + 134. Let g(b) = b**2 + 8*b + 6. Let p be g(-6). Let l = -3 - p. Solve 0 = -y - 4*y - l*t - 12, 2*y = -3*t - c for y.
0
Suppose -2060 = -21*w - 1850. Solve -3*z + 2*q + w = 2*z, 0 = 5*q for z.
2
Let b = 7 - 3. Let w be 4*(b - (-21)/(-6)). Let p = -208 + 214. Solve 2*s + p*q = 3*q + 1, -s - w*q = 0 for s.
2
Let q = 733 + -730. Let i be (-23 + 19)*(-11)/4. Solve s = 4*k - i, -5*k - 3 = -q*s - 22 for k.
2
Let q(a) = -2*a**2 + 64*a - 63. Let u be q(30). Suppose u = -6*h + 81. Solve 3*y + 4*r = -0*r - 8, 0 = -4*r + h for y.
-4
Suppose 159 = 4*i + 3. Suppose 49 = 2*g + i. Suppose 0 = 5*j + g, 2*s + 2*j = 5*j + 11. Solve -3*c + 20 - 4 = -s*b, 19 = -3*b + 4*c for b.
-1
Let t be -2 + (-3 + (-21)/(-6))*0. Let x be (23 - (5 + -2))/t. Let p = -8 - x. Solve 2*h = -r - 9, -5*r - p*h = -h for r.
1
Suppose -4*j = -5*a - 67, 67*j + 2*a = 66*j + 20. Solve 4*z - 20 = -i, -3*i + j + 7 = 5*z for i.
0
Let b(z) be the first derivative of z**3/3 - 4*z**2 + 15*z + 29. Let q be b(5). Solve w - 2 = -5*o - 10, o + 5*w + 16 = q for o.
-1
Let g be 27650/75*(-9)/(-6). Let y = -536 + g. Solve 4*k - y = -3*p, 3*p + p = 3*k + 6 for k.
2
Let o(r) = 2*r**2 + 9*r - 15. Let x be o(-6). Suppose 3*g + x*y + 8 = 2*g, y + 4 = 0. Solve -3*z = -v - 8, -g*z + 6*v = v - 18 for z.
2
Let m be (-254)/(-6) + (-24)/(-36). Let q = m + -40. Solve -2*c - 16 = 4*w, 2*c - 7 + 2 = q*w for w.
-3
Let x be 348 - (0/(-4) + 0). Let j = -348 + x. Solve -2*y - y = j, b = -5*y for b.
0
Suppose -10*v = -24 + 4. Suppose -7*t + v*t + 25 = 0. Solve t*o = 5*n + 25, o = 6*o + 4*n - 25 for o.
5
Let z(f) = -5*f**3 + 14*f**2 - 7. Let d be z(3). Let v be (-42)/336 - 2/d. Solve 0 = 2*a + 3*g + 2, 4*a + v*g + 4 = g for a.
-1
Let q = 57 - 55. Let u be -2*q/(-3 + 129/45). Solve 2*m - 4*y - 18 = 0, -5*m + u = -10*y + 5*y for m.
3
Let n = 438 - 433. Solve z - n*f + 4*f = -6, 5*f = 2*z + 27 for z.
-1
Suppose 4*y + 2 = -10. Let o be (-3)/4 + (y - (-15)/4). Let f be (o/(6 + -4))/(-2). Solve -2*g - s + 0*s - 7 = f, 19 = -2*g - 5*s for g.
-2
Let u = 264 - 16. Let b = u + -245. Solve -5*n + b*x + 10 = 0, -n - 3*x = -4*n for n.
5
Let i(m) = 144 + 116 + 33*m + 25*m - 89 + 181. Let b be i(-6). Solve 5*p = b*t - 22, p = 2*t - 2*p - 12 for t.
3
Let l(m) = 10*m**2 - 10*m - 15. Let k be l(-2). Suppose -19*q + 10*q + k = 0. Solve -q*h - 1 = -2*r - 2*h, -3*r + 2*h = 1 for r.
-1
Let g(t) = -2*t**3 + 148*t**2 + t - 62. Let m be g(74). Solve -16*j = -11*j + v + 1, -4*j - m = -2*v for j.
-1
Let h = 2 + 37. Let r(y) = -y**3 + 20*y**2 - 34. Let t be r(20). Let v = h + t. Solve 0 = -2*c - 5*o - 12, -o - 3 = v*c + 4 for c.
-1
Let a(k) = -k - 5. Let d be a(-7). Let n(m) = -m**2 + 117*m + 10660. Let x be n(-60). Solve 2*i - 2 = 2*q, 3*q + 4*i - x = -d*q for q.
4
Let x be 68/14 - (-8)/56. Solve 0 = 4*t + x*k - 5, -2*t - 4*k = -5*t - 35 for t.
-5
Let y(g) = -g**3 + 13*g**2 - 31*g + 919. Let q be y(15). Solve 0 = -q*j + 137*h - 134*h - 7, j - 11 = 5*h for j.
-4
Let l = -2 - -7. Let u = 8 - l. Let w be ((110/(-4))/11)/(-5 + (-30)/(-8)). Solve -4*z + s - 29 = -w*s, 3*z - u*s = -24 for z.
-5
Suppose -209*z = -215*z + 108. Suppose 12 + z = 6*y. Solve -3*h - 5 - 3 = -4*c, 0 = -y*c - h - 9 for c.
-1
Let m(c) = 11*c**2 + 446*c - 205. Let o be m(-41). Solve -2*w - h + 10 = h, -2*w + 3*h = o for w.
3
Let p be 19 + (4 - 22 - -14). Solve -12*o + 7*o - u = -p, -5*o - 2*u = -15 for o.
3
Let w be 15*((-96)/(-40) - 2) - 1. Solve -n - 4 = -0*i - 2*i, 0 = 2*n + w*i - 28 for n.
4
Let i(p) = -4*p - 53. Let y be i(-13). Let l be (2 + (y - -1))/(24/60). Solve 2*u - 2*n + l = -u, -4*n + 15 = -u for u.
1
Suppose 3*g + 24 = 3*w, -2*w - 9 = 12*g - 9*g. Solve 7*s + w = -2*i + 6*s, -2*s = 3*i + 3 for i.
-3
Let n be (9/9 - 3/3) + 4. Let v be (72/16)/(1/2). Suppose 0 = -7*b + n*b + v. Solve -4*a + 3*h - 5 = 0, 3*h = b*a + 4 + 2 for a.
1
Let s be (2 + 40/(-12))/(4/(-9)). Suppose -s*d + 0 = -9. Suppose -20 = -2*v + d*z + z, 3*v = 2*z + 10. Solve -3*o = -o - 4*q - 2, -3*o + 5*q + 3 = v for o.
1
Let o(j) = -4*j. Let c be o(0). Suppose 2*q + 2*h = -c + 24, -3*h + 6 = 0. Let f = 13 - q. Solve -u = -f*b - 3, -u - 5 = 7*b - 2*b for b.
-1
Let p be (-80)/(-280) - (-12)/7. Suppose -4*u = 3*z - 8, -u + 18 = u - p*z. Solve 3*i + 6 = 3*m, -5*i = 4*m + u - 4 for i.
-1
Let n = 1 + -2. Let v be (2 - (n - -4))*40/(-4). Suppose 2 = -8*h + v*h. Solve 3*s - h = 4*s + a, -s - 2*a - 5 = 0 for s.
3
Let l(k) be the first derivative of -22*k**2 + 136*k - 195. Let c be l(3). Solve n + 3*n - 9 = -m, -n - 19 = -c*m for n.
1
Suppose 3632*q = 3612*q + 140. Solve 0 = -2*h - a + 5, q*a = -5*h + 3*a + 14 for h.
2
Let k(h) = -h**3 + h**2 - 11. Let q be k(0). Let a be (-4)/(-8) - q/2. Solve -2*o = 2*i - a*o - 2, 5*o - 20 = -5*i for i.
3
Suppose -2*l + 99 + 117 = 0. Let z = 53 - l. Let r = z + 59. Solve 5*d + 12 = -2*h, 3*h + r*d = -0*d - 4 for h.
4
Let x(h) = -21*h. Let q be x(-4). Suppose -3*n = -7*n + q. Suppose -19 = -2*c + 3*g, -2*c + c = g + 3. Solve -4*b - 21 = -b + 3*p, -c*p = -5*b - n for b.
-5
Let s be (-82)/(-205) - (-144)/15 - 5. Solve -2*w - 3 - 13 = s*p, -p - 2*w = 0 for p.
-4
Let l(o) = 17*o + 206. Let z(p) = -1. Let m(y) = -l(y) - 6*z(y). Let i be m(-12). Suppose 0 = -8*d + 3*d + 15. Solve u - 3*u = 4*h + 18, -d*h + 14 = -i*u for u.
-5
Let l be (0 - -5*(-12)/(-42))/(2/7). Solve -20 = 2*a + l*j, 29*a + 2*j + 8 = 26*a for a.
0
Let v = -2165 - -2167. Solve -4*x + 5*j + 20 = 0, -22*j = -v*x - 26*j + 10 for x.
5
Suppose 2*w = -3*w. Let h be 248/10 - (-16 - 316/(-20)). Solve 4*y = j - w*j - h, -10 = -2*y - 4*j for y.
-5
Let l(h) = h**2 + 8*h + 5. Suppose 3*g - 93 = 3*c, 5*g - 2*c - 1 = 151. Let r = g + -38. Let y be l(r). Solve 3*d = -2*d - o + 24, -d = y*o for d.
5
Let j be (-109)/(-12) - (-12)/(-144). Suppose 0 = -j*h + 6*h. Solve -c = -h*r - r, -3*r + 8 = -c for r.
4
Let p be (504/(-20))/(6 + 96/(-15)). Solve 5*v - 7 = -3*m, -67*m + p*m + 4 = 4*v for v.
2
Let q(c) = -53*c**3 + 5*c**2 + c - 4. Let n be q(-1). Solve -3*g - 51*k + 1 = -n*k, -1 = g - 2*k for g.
1
Let f = 166 + -164. Suppose 0 = b + 5*m - 4*m - 4, 2 = -f*m. Solve -p - 3*j + 5 = 0, 11 = b*p - 3*j + 4*j for p.
2
Suppose f + 16 - 56 = 0. Suppose 16*w = 36*w - f. Solve 0 = 3*k - 2*m + 14, 2*k - 3*m + w = -9 for k.
-4
Suppose -9*w + 36*w - 108 = 0. Let r be 6 + -2 - (8 + (-32)/w). Solve 0 = -i - 4*i, -5*t + r*i + 5 = 0 for t.
1
Suppose -16 = 4*j + 3*n - 7*n, n = 2*j + 4. Suppose j = 10*m - 52 - 28. Solve 0 = -2*d + 5*b + 10, 2*d - b + 5*b + m = 0 for d.
0
Let w = -381 - -141. Let c be 24/28 + w/(-112). Solve c*a + 1 = -0*l + 2*l, -2*l - 3 = a for a.
-1
Let f be -8 + 4 - (-42 + 34). Solve -3*l - f*x - 5 = 0, 0*x = x + 2 for l.
1
Let d(z) = -2*z**3 + 44*z**2 + 2*z - 40. Let c be d(22). Solve 2*m + c*q = -28, 7*m - 3*m = 3*q - 1 for m.
-4
Suppose 3*a = -39 + 48. Solve 2*l + 1 = -3*c + 10, -a = -c - 2*l for c.
3
Suppose 0 = y - 4*g + 5, -13 = 5*y + 4*g - 36. Solve -4*r + y = n - 3, -3*n = 3*r for n.
-2
Let h be 13 - (6 + ((-1)/7 - 154/(-49))). Solve -51 + 42 = -3*k, 8 = -z + h*k for z.
4
Suppose 127*d + 1 = 126*d. Let y be d/(-4) + 225/60. Solve -3*v = y*q + 12, 3*v = 5*q - 3 - 9 for q.
0
Suppose -3*t = 169 + 14. Let g = 92 + t. Let w = 35 - g. Solve 5 - 1 = w*u, 0 = -4*i + u + 15 for i.
4
Suppose -d + 2*d = 6. Suppose -7*u = -d*u - 3. Suppose -u*f = -0*f - 6. Solve c + f*b - 5 = 0, -27 = c - 5*b - 4 for c.
-3
Let u = 1302 + 383. Let n = u - 1682. Suppose 2*o - 13 = -l, 4*o + 0*l - 