pose 0 = -2*v - 10, -w - 9 = -3*f - v. Suppose 1 = 4*n - n + 4*s, 5*n = f*s + 25. Solve c = n*c - 4 for c.
2
Suppose 8 = -g + 12, -260 = -2*i - 5*g. Suppose 0 = -29*h + 49*h - i. Solve -h = -4*l - 22 for l.
-4
Let w be (20/(-6))/((-4)/6). Suppose 2*q = 4, -2*n - 1220*q = -1216*q - 20. Solve 0 = x - n*x - w for x.
-1
Suppose 12*s + 600 + 1464 = 0. Let q = s + 174. Solve q*c + c = 15 for c.
5
Suppose 0 = 30*f - 1243 - 407. Solve f - 47 = -2*w for w.
-4
Let n(o) = 3*o**2 - 20*o - 5. Let u be n(7). Suppose 3*p = -y - 6, 3 + 1 = y - u*p. Solve y = 4*v + v for v.
0
Suppose 36*h = 23*h + 52. Suppose 2 = 2*r - 0*s + 2*s, -5*r + 4*s - 4 = 0. Suppose -30 = -5*p - 5*l, 0 = -r*p + p + 2*l - 7. Solve 6*a + h = p*a for a.
-4
Let g be ((-12)/8)/((-2)/4). Suppose -3*w + 1093 = -6*x + x, x = -5*w + 1859. Let i = -369 + w. Solve -2*u + i = -g*u for u.
-2
Let h(i) = 3*i + 11. Let n be h(-3). Suppose -177*q + 185*q = -0 - 0. Solve q = -n*p + 3*p + 4 for p.
-4
Let f = 7944 - 7815. Solve 33*w + 69 = -f for w.
-6
Suppose -462*c - 32*c = -131*c - 3993. Solve c*i - 83 = -6 for i.
7
Let u be 2/9 + 2/(-9). Suppose u = 19*n - 21*n. Suppose n = 2*a + 15 - 19. Solve -10 = 3*w + a*w for w.
-2
Suppose 32 = -2*o - 4*f, 76*o - 77*o + 8 = -f. Solve o = 2*b - 125 + 107 for b.
9
Let n be (4/14)/(0 + (-4)/(-56)). Suppose n = 3*s - 11. Solve 0 = h - 2*h + s for h.
5
Let o be 1/2*((5 - -3) + -6). Let u be (-2 - (-8 + 4))/o. Solve 0 = 2*f + u - 12 for f.
5
Let b(c) = 41*c - 856. Let z be b(21). Solve z*j = j + 20 for j.
5
Let w(y) be the third derivative of y**5/20 - 5*y**4/24 - 4*y**3/3 + y**2 - 36. Let j be w(3). Solve 10*r = j*r - 12 for r.
-2
Let b = -395 - -515. Suppose b = -13*y + 53*y. Solve y*f + f = 4 for f.
1
Let r be 132/12 + -28 + 17. Solve r = -9*j + 11 - 2 for j.
1
Let k = -218 + 190. Let t be k/(-49) - 38/(-7). Solve -6 = 3*x + t for x.
-4
Suppose -33*t = 5*c - 28*t - 15, 3*t = -9. Suppose c*a = -281 + 287. Solve -3*s + a = -8 for s.
3
Let m be 16/10 - (-4)/10. Let y be 3 - ((-31)/(-93) + (-5)/15). Solve -m*i + y*i = 3 for i.
3
Let r(p) = -2*p - 15. Let x be r(13). Let g = x + 44. Let o(v) = v**2 + 5*v - 19. Let u be o(g). Solve u = 5*k - 0 for k.
1
Let n(u) = 283*u - 847. Let l be n(16). Solve 3*o = l - 3663 for o.
6
Suppose 0 = 2*l - 5*i - 16, -l - 10*i + 8 = -13*i. Solve 6*z + l*z - 70 = 0 for z.
5
Suppose -5*r - 3 = -3. Suppose r = -9*b - 9*b + 9*b. Solve b = -5*f - 0*f - 10 for f.
-2
Let u(o) = o**3 + 4*o**2 + 8*o + 7. Let f be u(-2). Let c be (-12 + 11)*(f + 0 + -1). Solve 0*p = -c*p + 10 for p.
5
Let x be (-8241)/(-1353) + (-1)/11. Solve 0 = 41*a + x*a + 329 for a.
-7
Let f be -4 - (2920/5)/(-4). Let g = -142 + f. Solve g = -l + 3*l - 8 for l.
4
Let s be (-2)/(-11) - (-1200)/660. Let g be (4/6)/(0 - s/(-45)). Solve 2*h = -h - g for h.
-5
Let r(s) = 70*s + 1480. Let u(h) = -19*h - 370. Let i(l) = -2*r(l) - 9*u(l). Let o be i(-10). Solve -56 + o = -4*y for y.
-1
Let x be (-33)/2*(-4 + 8). Let u = -67 - x. Let s be 4 - u - (-8 - -10). Solve -4*l - s = -7*l for l.
1
Let g = 2963 - 2897. Solve 0 = 13*n + 20*n + g for n.
-2
Let k(l) = -l**3 + 7*l + 9. Let n be k(-2). Suppose 0 = -x - n*x + 8. Solve 0 = -t - 1 - x for t.
-3
Suppose 10*q - 1112 + 1032 = 0. Solve 0 = q*s - 29*s + 84 for s.
4
Let y be ((-16)/(240/75))/(2/(-10)). Suppose 0 = -4*a + 2*a. Solve a = -y*o + 20*o - 25 for o.
-5
Let o be ((-3)/4)/(9/(3*-204)). Solve 48*p + 9 = o*p for p.
3
Let h(k) = -k**3 + 13*k**2 - 2*k + 12. Let f be h(13). Let t be 3/(-2) - (7 - (-105)/f). Let a be 1 - 5 - 4/t. Solve -p + 6*p - 15 = a for p.
3
Suppose 3*h = 20*h. Suppose 3*l = 3*v - 5*v - 2, 5*l + 20 = h. Solve 10*j - v = 5*j for j.
1
Let l = 5506 + -5494. Solve -26 = -19*f + l for f.
2
Suppose -3*j = 68 - 104. Suppose -3*g = c - 6*g - 11, 0 = -3*c + 4*g + 43. Let f = c - j. Solve y - f*y = 4 for y.
-1
Suppose -60 + 12 = 2*t + 4*l, 0 = -l. Let a be (15/(-9))/(8/t). Solve 3*j - 8 = -a*j for j.
1
Let g be (-2)/(-6)*(-27)/(-3). Suppose 22*f + 14 = 94 + 30. Solve g*c = -f + 20 for c.
5
Let k be (50310/(-18))/(-5) - 7. Solve -7*q = k - 587 for q.
5
Suppose -1220 - 2322 = -9*h + 1390. Solve 551*i - 15 = h*i for i.
5
Let w be -1 - 4*(-1)/1. Let s be 220/(-176) + (-102)/(-24). Suppose w*x = -s*v - 1 - 5, 4*v + 10 = -3*x. Solve 7*t - 20 = x*t for t.
4
Suppose 35*n = -617 + 2198 + 1534. Solve 8*i = -n + 105 for i.
2
Suppose f = 208 - 85. Suppose -5*m + 117 = -f. Let s be (-8)/2 + (-5)/((-10)/m). Solve -4*j + s = 4 for j.
4
Let x = -407 - -200. Let u = x + 208. Solve 0 = -4*j + 5 - u for j.
1
Let a = 2554 + -2536. Solve -a*x - 27 - 9 = 0 for x.
-2
Let m be (-3 + -8 + -2)*-1. Suppose 10*b + m*b = 21*b. Suppose 0 = -d - 2*o - 8, 2*o = 4*d - o - 23. Solve d*n + n + 9 = b for n.
-3
Suppose -32*j + 6 = -29*j + 5*s, -2*j + 4 = s. Let b(g) = 2 + 2 - 9*g**2 + 8*g**2 + g. Let i be b(j). Solve 0*u = -i*u for u.
0
Let z(c) = -c**3 + 10*c**2 - 22*c + 23. Let j be z(7). Solve -j = 2*w + 2*w for w.
-4
Suppose -5*y + 84 = -4*a, 179*y + 4*a + 20 = 180*y. Solve 25*f = y*f for f.
0
Let o be (-3)/(2506/(-500) + 5). Let j = 253 - o. Solve -j*v = 1 + 5 for v.
-2
Let g = -158 - -250. Suppose 1 = 93*x - g*x. Solve x + 6 = -7*q for q.
-1
Let a be (-16)/(-6)*(374292/24)/37. Solve a*f - 63 = 1133*f for f.
-7
Let b(t) = -t + 2. Let i(n) = n**3 - n + 2. Let c(g) = -3*b(g) + 4*i(g). Let p be c(1). Suppose -a - 3 = p*s - 5, 5*a + s - 10 = 0. Solve -m = -a*m + 1 for m.
1
Suppose -82*m = -81*m - 23. Suppose -5*s = -2 - m. Solve -9 = -s*v + 6 for v.
3
Suppose 521 + 223 = 4*k. Let o be k/6*2/2. Let m = -21 + o. Solve 4*z - m = -z for z.
2
Let t = -481 + 460. Suppose y = 4*y - 69. Let v = y + t. Solve -v*b = -5*b for b.
0
Let f = -10 - -14. Let a be (-8 + -10)*(-1)/3. Let k be a/12 - 3/(-6). Solve -13 + k = f*z for z.
-3
Let d = 0 - 113. Let z = -7462 + 7586. Let b = z + d. Solve -3*l = -b - 1 for l.
4
Let l(j) = 2*j**2 + 3*j - 21. Let t be ((-9)/24)/(16/(-128)). Let c be l(t). Solve -c*q - 11 = -41 for q.
5
Let n(r) = 17*r**2 - 30*r + 44. Let g be n(2). Solve 0 = -6*h + g - 34 for h.
3
Let i(o) = 150*o + 91. Let c be i(-4). Let r = -502 - c. Solve r*p - 4*p = 0 for p.
0
Suppose 383 = 3*s - a, -s + 6*s - 637 = a. Let o = -132 + s. Let x be 0/(5/(o/3) + 5). Solve -5*u = -x*u - 25 for u.
5
Suppose -548*a + 550*a - q = 61, 0 = 2*a + 3*q - 81. Solve -7*u + 5 = a for u.
-4
Suppose 2*d + 152 = -3*r, -d - 114 = 2*r - 6*d. Let a be -5*10/(-325) - 200/r. Solve -2*c + 6 = a*c for c.
1
Let z = -31 + 37. Suppose 0 = 6*h - 9*h + z. Let c be 0 + -6*(-1)/h. Solve -s = -c*s for s.
0
Suppose 963*f - 784*f - 1381 + 307 = 0. Suppose -5*c + 3*u = 4*u - 61, -2*c + 42 = -4*u. Solve c*h = 10*h - f for h.
-2
Let a(s) = -s**3 - 1. Let u(z) = -3*z**3 + 23*z**2 + 24*z + 37. Let x(j) = 4*a(j) - u(j). Let h be x(-22). Solve -h*m + 6 + 0 = 0 for m.
2
Let n = 6167 + -6069. Solve -n*a + 65 = -85*a for a.
5
Let q(x) = -4*x**2 + 6*x - 3. Let w be q(-5). Suppose 1301*t - 1305*t = 488. Let y = t - w. Solve -y*n = -7*n - 16 for n.
4
Suppose -175 = -f + 3*w, f + 3*w = 2*w + 155. Suppose -60 = 5*c - f. Solve 0 = 2*x - 6*x + c for x.
5
Suppose -3666 = -54*y - 3342. Solve 15*s + 81 - y = 0 for s.
-5
Let d = 170 + -178. Let a(n) = -n**2 - 6*n + 17. Let l be a(d). Solve 3*s - 2*s = l for s.
1
Suppose 0 = -30*r - 35*r + 3356 + 3859. Solve -r*o - 24 = -105*o for o.
-4
Suppose 0 = 5*r + i + 280 - 338, 3*i = 9. Solve 48 = -r*x - x for x.
-4
Suppose 4*a + 74 = 2*a. Let l = -36 - a. Suppose -3*d + 7 = l. Solve d - 4 = j for j.
-2
Let z be (186/682)/(3/33). Solve z*v = -18*v - v for v.
0
Suppose 15 = -5*v + 8*v. Let q be -3*((-50)/(-15))/v. Let h be -9*(q - -3)*-1. Solve -h*n = -4*n - 25 for n.
5
Suppose -4*q + 96 + 68 = 3*j, -j + 23 = -5*q. Suppose -4*x + j = 5*l, x + 9 = -l + 5*l. Suppose -1 = u + f - x, 3*u - 13 = 2*f. Solve 10*n - 20 = u*n for n.
4
Let y be (-4 - 3168/27)*3. Let l be 2*(-1)/18 - y/36. Solve -z + l = z for z.
5
Let o = 476 - 470. Let f be -1 + 1 - (-4 - -4). Solve 5*t - o*t = f for t.
0
Let l = -127 + 94. Let d = l - -37. Suppose d*w - 45 + 12 = -5*q, -5*q - 2*w + 29 = 0. Solve q*z = 2*z - 3 for z.
-1
Let l be 10 - (7 + -1) - (8 - -4). Let s be (l/16 - -2)*2. Solve -2 = q + s for q.
-5
Suppose -125 = -t + f, -82*t + 80*t = f - 238. Solve -t*i = -26*i - 570 for i.
6
Let k be (624/(-36) + 17)*-27