 = -5*a, m*a = 6*a + 4*o + 4 for a.
0
Suppose -2*k = -g + 41, 5*g = -k + 6*k + 225. Let u = -44 + g. Solve -u*d + 20 - 45 = 0, 0 = 4*a + 4*d + 8 for a.
3
Let m(w) = w**3 + 14*w**2 - 50*w + 20. Let i = 139 - 156. Let u be m(i). Solve t - 11 = 5*y, 3*y = 3*t + u - 12 for y.
-2
Suppose -2*g - 16 = 0, 167*k - 43 = 164*k - 4*g. Solve 15 = -2*q + u, -2*q = -4*u + k + 5 for q.
-5
Let z be (-28)/8*40/(-70)*5. Solve 5*m - z = 2*a, -10*m = 2*a - 14*m + 6 for a.
5
Suppose 414 - 438 = -12*t. Solve -5*y + 3*x = -11, 3*x - t*x - 7 = -y for y.
4
Suppose 0 = 5*b + 43*m - 42*m - 17, 2*b = 2*m + 14. Solve -242*o = -5*t - 237*o + 5, 0 = b*t - 3*o - 6 for t.
3
Suppose -3*h + 504 = 18*h. Suppose 27 = h*l - 189. Solve -4*w + v - l = 4*v, 4*v + 12 = 4*w for w.
0
Let z(h) = -h**3 + 2*h**2 + 7*h + 6. Let l = 26 - 16. Let o be 42/l - (10 - 6)/20. Let d be z(o). Solve 5*q = q - d*t - 8, 0 = -t for q.
-2
Let g = -862 - -870. Solve 3*u + 16*v = 12*v + 3, 4*u - g = -4*v for u.
5
Suppose -4*t - 3*c = 498 - 579, 5*t + 5*c - 95 = 0. Solve 0 = 4*s - 5*v + 17, -21*v = -4*s - t*v + 23 for s.
2
Let x be -4*525/140*(-2)/10. Solve x*o + 23 = 3*g + 5, o - 3*g + 16 = 0 for o.
-1
Let b = 1364 - 1366. Let v(m) = 26*m + 56. Let i be v(b). Let t be (2 + -1 - 1)/(-2). Solve t = i*z + 5*k - 3 - 22, 5*k = 3*z + 25 for z.
0
Let r(v) = -13*v - 31. Let h be r(-17). Let n = h - 179. Solve 3*a + 2 = -b - n, -3*a - 4*b = 7 for a.
-5
Let z = -25645 + 25656. Solve -10 = t - 2*b, -4 = -12*b + z*b for t.
-2
Let a = 26 + -20. Let f(w) = -w**2 + 12*w - 35. Let x be f(a). Let j be (x + 0)/(1 + 0). Solve -23 = -4*k - 3*c, k + k - c = -j for k.
2
Let c be 4/(-10) - (-60)/25. Let i = 277 - -9. Let q = i + -284. Solve t - 5 = -4*b + c*b, 8 = q*b for t.
-3
Let a = -29 + 33. Let m = -418 - -431. Solve -5*d + a*l = -d + 12, 0 = 4*d - 5*l + m for d.
-2
Let z be 2/((-2)/3 + (-8700)/612 + 15). Solve -3*p + 5 = -2*v, -z*v + 22*v = -4*p - 24 for p.
-1
Let p be 3 + 0 + (-310 - 5) + 7. Let o = -300 - p. Solve 0 = m - o*n + 3, m - 7 = -m - 3*n for m.
2
Let r be (-1)/6 - (-57)/18. Let m be (98/(-4))/7*(-8)/14. Suppose 23*s = -6*s + 580. Solve 3*z - s = -m*z, r*g + 12 = 3*z for g.
0
Suppose 40*t - 32*t - 40 = 0. Suppose 0 = t*q + 2*v - 7, 5*q - 6 = 3*v - 4*v. Solve 0 = -p + 4*h - q + 2, p + 2*h - 7 = 0 for p.
5
Suppose -14*t = -12*t - 5*b - 32, 0 = t + b - 2. Solve -y + t = -4*v + 29, 0 = -2*y + 5*v - 31 for y.
-3
Suppose -19*f - 2685 = 2331. Let t be (-92)/(-22) + 48/f. Solve -3*w - 11 = -t*w - 2*g, -24 = -3*w - 3*g for w.
5
Suppose -12*k - 22 = -70. Solve 0 = -4*x - k*g, -8 = -3*x + g - 0 for x.
2
Suppose 0 = 2*h, x - 4*h - 17 = -15. Let v be ((-55)/33)/(2/(-6)). Let r(k) = -k**3 + 4*k**2 + 6*k - 1. Let n be r(v). Solve -x*t = -t + 5, -5 = n*a + t for a.
0
Let q = 585 - 582. Suppose -s + 9 + 14 = -q*c, 55 = 5*s - 3*c. Solve 0 = -3*v - 3*b - 6, s*v + 2*b = 3*v + 5 for v.
3
Let d(o) = -o**3 - 6*o**2 - 4*o + 7. Let p be d(-5). Suppose -3*v = p*z - 2, -4*z = -10 + 18. Solve -2*g - 5*a = -0*g - 10, -v*g + 4*a - 8 = 0 for g.
0
Let z(t) = t**3 - 19*t**2 + 90*t - 20. Let m be z(11). Solve -7*v = -6*v - 2*x - 3, -m*x + 3 = 5*v for v.
1
Let o(i) = -6*i - 146. Let u = 123 - 148. Let k be o(u). Solve j - l + 0*l - 4 = 0, -10 = 2*j + k*l for j.
1
Suppose 0 = 8*z - 10*z. Suppose 2*n - 13*n + 275 = z. Solve -5*k = -n, 8*o - 3*o = 2*k - 15 for o.
-1
Let f be (83/166)/((-3)/(-38)) - 12/9. Solve 93*a - 3 = 97*a - f*k, 5*k + 7 = -a for a.
-2
Let b = -63 - -75. Let m = 1180 - 1176. Solve n - 2*j - 7 = m, -3*j = 3*n + b for n.
1
Let w(x) = x**2 + 80*x - 234. Let g be w(3). Solve 9*a + g = 6*a, -5*v + 4*a = -15 for v.
-1
Let l = 29 + -19. Let t = -64 + 66. Let s be ((-2)/6)/(t/(-18)). Solve 4*n - s*a - 35 + l = 0, -3*a + 11 = 5*n for n.
4
Let z be (180/54)/((-15)/18 + 1). Suppose 0 = -p - 15 + z. Solve 3*g = -0*g - p*j - 1, -2*j = g + 1 for g.
3
Let a be ((-138)/(-15))/(-4 + 57/15). Let j = -38 - a. Suppose 4*d + 3*g = 13, -5*g - 1 = 3*d - j. Solve 2*t = 4, -5*t - 6 = 4*m - d*t for m.
-2
Let o = 3325 + -3271. Let t be 1 - (1 + 0 + 34). Let s = o + t. Solve 3*y - n + 4 = n, s = 4*n for y.
2
Let x be (13 - (-1 - -2))*(-34)/(-68). Let k(j) = j + 3. Let t be k(3). Let q be 10*(t/4 + -1). Solve -3*f + x = -5*y - 2*f, -q*y - 2*f = 18 for y.
-2
Suppose 0 = 55*h - 96 - 14. Solve 0 = -4*t - 3*b + 5, h*b - 9 = 2*t + t for t.
-1
Suppose 0 = -5*s + 15, -8 + 11 = -2*b + 3*s. Solve -b*v = -4*i - 27 + 34, 10 = -2*v for i.
-2
Let i(v) = -55 + 63 + 2*v + 27. Let o be i(-15). Suppose 3*g - 20 = -g. Solve o = 5*j, 3 = 4*y - g*j + 12 for y.
-1
Suppose 2*z + 4 = 10. Suppose w = 9 - z. Suppose -3*t + n - w*n = -25, -3 = 3*n. Solve 4*d + x = 20, 2*d + 5*x - t = -0 for d.
5
Suppose 13*i - 2*i = -3586. Let u = -318 - i. Solve 2*q - 4*z = -u, -3*q + 2*z = -2*z + 4 for q.
4
Suppose -26*y + 5 + 4 = 9. Solve 0 = -y*w - 5*w - s - 22, w = -4*s - 12 for w.
-4
Let v be ((-152)/(-12))/((-30)/(-9) - 3). Suppose 4*w = -137 + 1. Let z = w + v. Solve -2*d + z = 2*r - 4*d, 11 = -2*r - d for r.
-3
Suppose q = r + 7, 24*q = 22*q - 4*r - 16. Let p be (80/8 - -5) + -7. Solve q + 10 = 2*n + 4*d, 4*d - p = 0 for n.
2
Suppose -515*u + 522*u = 2240. Solve 4*l - 20 = 0, 323*h - u*h = l + 7 for h.
4
Let w = -200 - 390. Let j = w + 857. Suppose -275 + j = -4*k. Solve -r + 5*q + 12 = k*q, -8 = 3*r + 2*q for r.
0
Suppose 7*i - 11*i = 3*u - 20, 2*u = -5*i + 25. Suppose 5*x + 5 = 10. Solve 6*o + 2*w + x = o, 2*o + 2*w - 2 = u for o.
-1
Let u be 48085/3245 + (-2)/(-11). Solve -3*s + 2*y - u = 0, -y - 21 = 3*s - 5*y for s.
-3
Let s = -120 + 94. Let p(j) = j**3 + 28*j**2 + 53*j + 30. Let r be p(s). Solve 3*d - 5 - 2 = -b, -4*b = -r*d + 36 for d.
4
Let d be 395/2 - (-1)/(8 + -6). Let m = d + -192. Solve -14 = 5*b + 3*y, 5*y + 23 = -2*b + m for b.
-1
Suppose -3*w = -3*f + 57, f - 2*w - 22 = -0*w. Suppose -12 = 2*l - f. Suppose 5*h - 20 - 5 = 0. Solve 2*y + l*c + 2 = 0, 0 = -5*y + c - 6 - h for y.
-2
Suppose -85 = -18*f + 149. Let t be (4/(-18))/(f/(-117)). Solve -t*p - 1 = x - 6, 5*p = -5*x for p.
5
Suppose 3*i + 3*f - 168 = 0, i + 4*i + 4*f - 277 = 0. Suppose -57*a = -i*a - 44. Suppose -12*m + 5 = -a*m. Solve 4*x + 25 = 3*u, 2*u + m*x = -2*u - 8 for u.
3
Let v(g) = g**3 - 2*g**2 - 23*g - 6. Let k be v(6). Suppose 3*l - 2*q - 42 = k, 2*l + 13*q - 28 = 10*q. Solve -2*m + 15 = 5*i - l, -3*i + 23 = 4*m for i.
5
Suppose -5*j + 3*j + 4*f = -28, -5*f = -3*j + 36. Let o be 1*(2 - (-1)/(-1)). Let b = -1 + o. Solve b = 5*z - 20, j*d + 0*z - 24 = -4*z for d.
4
Let n be 455/(-13) + 21 - -20. Suppose h + 2*z = -z - 6, 5*h = -3*z + 18. Solve 5*g = -3*k - 16 + n, 0 = 4*g + 2*k + h for g.
1
Let h(d) = 31*d**2 + 42*d + 13. Let b be h(-1). Solve 0*n + b*n = q - 5, -n = 4*q - 20 for n.
0
Let c be -9*(-15 - -107)*2/4. Let y = c + 416. Solve 2*k + 5 = -l - 4, y*k = -4*l - 12 for k.
-4
Let p(h) be the first derivative of h**4/4 + h**3/3 - 13*h**2/2 - 2*h - 123. Let y be p(-4). Solve 2*u - 4 = -3*r + 8, -y*r + 13 = 3*u for r.
2
Let r(y) = 56*y - 611. Let n be r(11). Solve 3*g = -h + 2*g + 4, -5*h + 20 = -n*g for h.
4
Suppose 17 - 209 = -38*t - 40. Solve -t*n - 2*m + 13 = 3*m, -m + 11 = 5*n for n.
2
Suppose -s - 3*n - 8 = -17, -5*s = n - 59. Solve 2 = 2*w + 2*o - 5*o, -s = -4*w + 2*o for w.
4
Let b(j) = j**2 - 226*j + 3562. Let u be b(17). Solve 2*q + u = 3*y + 4, -3*q = -3*y + 6 for y.
1
Let y be (-1)/(5/(-30)) - -19. Suppose y*q - 23*q - 8 = 0. Solve 2*z + 4*u = -8, -6*z + q*z - 3*u = 7 for z.
-2
Let f(v) = -v**3 + 15*v**2 + 195*v - 247. Let k be f(23). Solve -3*y + 1 = k*l - 5*l, 5*y = -2*l + 2 for l.
1
Suppose -3*u = -2*z + 5, 0*z - 2*z = -2*u - 8. Suppose -z*i = -58 - 54. Solve -2*f = -2*r + 4, 2*f = r - 3*r + i for r.
5
Let y = -23408 - -23414. Solve 2*c - 12 = y*c - z, 5*c - z = -15 for c.
-3
Suppose -34 = -3*k - 5*l, 0 = -k + 3*l - 12. Suppose -k*n = 3*b - 63, -5*b + b = 5*n - 83. Solve 5*u = x, 0*u - 4*x = 2*u + b for u.
-1
Suppose -2*q - 16 = -4*d, -15 + 4 = -3*d + q. Let n be 2*(-5 - -4) - (-1 + -15). Let j = n - 12. Solve k + 5*s = 2*k + 25, -j*s + 10 = -d*k for k.
0
Suppose 661*l - 714*l = -583. Solve -3*h = -5*b + 37, l - 2 = b - h for b.
5
Suppose 0 = 4*b + 14*b - 11988. Suppose 0 = 7*w + 561 - b. Solve 12 = 3*x + 4*a, -3*x = -4*a - a + w for x.
0
Suppose 7*k = 5*t + 2*k + 235, 0 = -2*t + 4*k - 90. L