
5
Let v be ((-6)/((-144)/(-84)))/((-4)/8). Solve 8*l + v*l + 15 = 0 for l.
-1
Suppose 5*i - 3*i - 18 = 0. Suppose -665 + 205 = -112479*r + 112459*r. Solve 14 = i*n + r for n.
-1
Let i(o) = 0 + 3 + 7 - o. Let z be i(6). Let s = -31 + 43. Solve y = z*y + s for y.
-4
Let n(w) be the first derivative of w**2 - 26*w - 75. Let u be n(14). Solve 0*z - u*z = 0 for z.
0
Let x be (0 - 9)/(6/4). Let m be (x/(-2))/((-15)/(-25)). Suppose -7*c + m*c = 0. Solve i - 2 - 1 = c for i.
3
Suppose 0 - 15 = 5*b - 3*y, 4*b = -4*y + 20. Let i(s) = s**3 - 2*s + 7. Let n be i(b). Solve 0 = -3*d - n + 13 for d.
2
Let p(o) = -2*o - 9. Let v be p(-8). Let m(a) = -a**2 + 70*a + 2635. Let h be m(97). Solve v*x - h = -x for x.
2
Let f be (1 - 1)/(11/(-88)*-16). Solve -11*r + 18*r - 35 = f for r.
5
Let c(w) = 4*w**3 + 69*w**2 + 18*w + 25. Let n be c(-17). Suppose o + n = 5, o = -3*v + 15. Solve 9*h = 6*h + v for h.
2
Let j(c) = -c**3 + 12*c**2 - 23*c + 10. Let q be j(10). Let n be (-3)/12 - 5/q. Solve n = 8*y - 9*y - 4 for y.
-4
Suppose 5*d = -4*q - 31, -4*q - 2*d - 60 = q. Suppose -4*i = 5*c - c + 96, -4*i + 48 = -2*c. Let a = q - c. Solve 0*l - a = 2*l for l.
-5
Let a(w) = 22*w + 4. Let q be a(10). Let z be (-64)/q + 46/14. Suppose 5*o - o = 4*y + 28, 3 = -y. Solve 11 = -o*i + z for i.
-2
Let w be ((-23)/(-46))/(115/38 - 6/2). Solve w*n + 23*n = 0 for n.
0
Suppose -35*s + 1808 = 51*s - 7824. Solve -s*n + 49*n = 315 for n.
-5
Suppose 145 = 28*c - 163. Solve c*b = 17 + 16 for b.
3
Let w(i) = -3*i - 99. Let a be w(-37). Let b be (-6)/(-8) - (-3)/a. Solve 2*v - b + 3 = 0 for v.
-1
Let u be (0 + 0)/1 - (-51 - -7). Suppose 48*i + u = 59*i. Solve 0 = i*g - 3 + 23 for g.
-5
Let b = 3603 + -3595. Solve 0 = -v + b - 6 for v.
2
Let n = 19090 - 19071. Solve -14*z - n = -131 for z.
8
Suppose 26*v - 78 = 13*v. Suppose -5*w - 5*k = 40, 4*k = -w + k - 8. Let l be (-1)/(-3) - (-2 - w/(-12)). Solve -3*p + l = -v*p for p.
-1
Suppose 6 = -0*h - 2*h. Let f be 3 - -1*(4 + 1). Let v be f/(6/h + 4). Solve d - v*d + 3 = 0 for d.
1
Let c = -95 - -102. Let j be (9/(-12))/(c/((-140)/15)). Solve 5*b + 14 = -j for b.
-3
Suppose -3*f + 9 = -6*c + 3*c, 3*c = 4*f - 9. Suppose u + 5 = f, 2*x + 296 = 2*u - 86. Let w be (-1008)/x + (-1)/7. Solve 0 - 25 = -w*p for p.
5
Let o be (-1550)/(-16) + (-192)/(-1536). Solve -102 + o = k for k.
-5
Suppose 25 = -4*i - 5*k, -i + 5*k + 33 = 8. Let w = -3 - -7. Suppose 6*c - w*c - 6 = i. Solve 0 = -c*t + t for t.
0
Let f(w) = -w**3 - 12*w**2 + 7*w + 91. Let q be (-102)/8 - (-9 - (-330)/40). Let m be f(q). Solve 4 - 11 = m*p for p.
-1
Let f be (319/4 - (-75)/300)*3. Solve -16*o - f = 32*o for o.
-5
Let a = -32465 + 32470. Solve a*w - 45*w = -320 for w.
8
Let x(l) = -l**2 - 29*l + 39. Let b be x(-16). Let j = b + -247. Solve j = -4*z + 35 - 15 for z.
5
Let q(t) = 52*t - 78. Let o be q(2). Solve -20*d = -o*d - 6 for d.
-1
Let v be (6/2 - 4) + -4. Let o = -3 - v. Let f be (-2)/(-6)*(-12)/(-8)*16. Solve -o*b - f = 2 for b.
-5
Suppose -2*d - 5*n = -34, -6*n + 2*n = 4*d - 44. Suppose 4*o - 36 = -4*i, -2*i - 3*o + d*o = 12. Solve -i*z + 2 = -3*z for z.
2
Suppose 3*j + 3*g = 15, -4*g - 8 = 8. Let n = 46 - j. Solve -43 = -2*z - n for z.
3
Let g be (-351)/9 - (-2 + 2). Let a be (-6)/18*(g - 0). Solve -a*d = -10*d + 6 for d.
-2
Let a(w) = -8*w - 49. Let j be a(-11). Solve -j = 26*u + 91 for u.
-5
Let a(n) = -2*n**3 + 176*n**2 - n + 352. Let c be a(88). Solve -c*d = -278*d - 70 for d.
-5
Let v(g) = -2*g + 40. Suppose 5*c = -5*q + 35, -5*q - 6 = 14. Let j be v(c). Suppose 5*x - j = -x. Solve 2*y + 2 = x*y for y.
2
Let q = 2 + 2. Suppose q*t = 2*t. Suppose 2*o + 2*d = -8, d = -5*o + 6*d + 40. Solve t = o*u + u - 3 for u.
1
Let t be (-2716)/(-224) + 2/(-16). Let z be 2*t/2*(-8)/(-16). Solve 7 = 13*f - z*f for f.
1
Let o(f) = -342*f**3 - 4*f**2 - 3*f + 2. Let w be o(-1). Let g = -335 + w. Solve 5*v = g*v - 9 for v.
3
Let f = 10556 - 10542. Solve -455*h + 457*h = f for h.
7
Let z = 6333 + -6331. Solve 0 = -z*u - 28 + 30 for u.
1
Let p = -57 + 73. Suppose 10 - p = -z. Suppose 4*b + z*b = 40. Solve 0 = -3*y + 16 - b for y.
4
Suppose -2775*g - 144 = -2781*g. Solve g*x = -15*x + 234 for x.
6
Suppose 0*g = 6*g - 774. Suppose 0 = -12*d + g + 3. Suppose 64 = d*u - 3*u. Solve -2*t + u = -0*t for t.
4
Suppose 0*g = g + 9. Let w = g + 11. Let t be (-8 - -11) + (2 - (1 + 2)). Solve 20 = -w*y - t*y for y.
-5
Suppose 0 = -17*v - 306 - 221. Let s = 53 + v. Let z = s - 19. Solve -z*g = -g for g.
0
Let q(o) = -14*o + 8. Let g(s) = -8*s + 3. Let j(b) = -b - 1. Let p(f) = g(f) - j(f). Let i(v) = -5*p(v) + 2*q(v). Let d be i(1). Solve 8*m = d*m - 15 for m.
-3
Suppose 0 = 4*m + 24, 16*q - 17*q - 2*m = -26. Solve q*r - 156 = -42 for r.
3
Suppose -4*h + 71 = 3*k, -8*h = -10*h + 2*k + 32. Suppose -h*m = -7*m - 90. Solve -7*p - 5 = m for p.
-2
Suppose -79*g - 214 = -82*g - v, -2*v = -8. Solve -g*c = -64*c - 6 for c.
1
Let o be 1/(-8 + 3) - ((-60)/50 + -5). Solve o*m = 17*m + 33 for m.
-3
Let t(b) = 4*b**2 + 5*b + 5. Suppose 5*v = 3*c + 18, -2*c + 3*c - 5*v + 16 = 0. Let u be t(c). Solve w = 5*w - u for w.
1
Let s be (2 - 3) + (-34 - -42). Solve 24 - 10 = s*p for p.
2
Let f = 574624 - 574595. Suppose -3 = c, 3*n + 5*c - 21 = -n. Solve -n*k - 2 = -f for k.
3
Let r(c) = 10*c - 68. Let k(t) = t. Let n(q) = -12*k(q) + r(q). Let p be n(0). Let o = p - -70. Solve -j + 3 = o*j for j.
1
Let s be (6 + -7)*62/(-2)*1. Suppose -4*r + s = -5*a + 2, -2 = -r - 4*a. Let z be -2 - (-8)/12*r. Solve -z*j - 4 + 0 = 0 for j.
-2
Suppose -m - 5*d = -78, 154 = -259*m + 262*m - d. Solve 2*h - 41 + m = 0 for h.
-6
Let y(i) = -i**3 - 17*i**2 - 11*i - 34. Let k be y(-17). Solve -58*p + 79 = -k for p.
4
Let d = -81 - -95. Let l be ((-12)/8)/(-3)*d. Solve -4*n - 15 + l = 0 for n.
-2
Let k be 493 + -497 - ((-1)/(-3) + 68/(-6)). Suppose 2*w + 13 = 53. Let q be 61/4 + (-5)/w. Solve -2*a - q = -k*a for a.
3
Let u be 5 + -1 + -1 + -162. Let i = u - -167. Solve -12 = -11*j + i*j for j.
4
Suppose -26*q - 48551 = -69*q + 16121. Solve -8*k + 1568 - q = 0 for k.
8
Let c(y) = -y + 2. Let r be c(0). Suppose 2*f = -r*f + 40. Let q be 1/(-19) + 38/722. Solve q = d + f - 5 for d.
-5
Let r = -2559 - -2623. Solve -r + 8 = -28*w for w.
2
Let t(p) = -p**3 + 6*p**2 - 2*p + 20. Let l be t(6). Suppose -8*c = -6*c + 2*h - l, -4*c = 3*h - 16. Solve -c*y + 2 = -2*y for y.
1
Let w = -277 + 282. Suppose -w*l + 6 = 2*f - 3, f - l - 8 = 0. Solve f*n = 10*n for n.
0
Suppose -2964 = -3*g - 2796. Solve 7*x - 21 + g = 0 for x.
-5
Let i = -1000 - -1000. Suppose 2*l = 17*l. Let n be ((-1)/2)/(2/(-20)). Solve l*t - 5*t - n = i for t.
-1
Suppose -3*y + 951 = -2*p + 128, 0 = -3*y - 2*p + 839. Solve 0 = -278*d + y*d for d.
0
Suppose -8*v = 3*v + 286. Let b = 30 + v. Let a be (-3)/6*b*-3. Solve 3*r = -3 + a for r.
1
Suppose 13*i - 5*i = 192. Suppose -140*a = -134*a - i. Solve h + a = -0 for h.
-4
Suppose -4*c - 14 = -p, 21 = 2*p + c + 2. Let m = -8 + p. Let w(t) = t - 3. Let q be w(4). Solve m*k - q = k for k.
1
Let d = -1 + 1. Let j be ((-150)/20)/(3 + 21/(-6)). Suppose j*b = 57*b - 168. Solve d = -5*o + b*o for o.
0
Suppose 6*y - 26 = -2. Suppose -14*j + 90 = -y*j. Solve 16 = 5*h - j for h.
5
Let f(k) = -36*k - 1964. Let y be f(-55). Solve -23*q - 35 = -y*q for q.
-5
Suppose -7*d + 2*h + 26 = -5*d, 0 = h + 1. Suppose 0*c = 3*c - d. Solve -c*a - 6 - 14 = 0 for a.
-5
Let t(c) = c**2 + 17*c - 377. Let q be t(13). Solve -22 = -7*d + q for d.
5
Let p = -3165 - -3168. Solve -5*l - 12 = -p*l for l.
-6
Let d(a) = -2*a**2 - 2*a - 74. Let o be d(0). Let y = -65 - o. Suppose -4*q + 0*q = -y*q. Solve q = -3*b + 2*b + 5 for b.
5
Let w be 38/114 + (-230)/6. Let u be 22/6 + w/57. Solve 0*x + u*x = 0 for x.
0
Let c = 169 + -153. Suppose -c*d = -12*d - 64. Solve 9 = -5*v - d for v.
-5
Let q be (-1177)/(-33) - 360/(-108). Solve -38*f + q*f + 9 = 0 for f.
-9
Suppose 0 = -5*w + 5*b + 19 - 4, 4*b = -2*w + 24. Solve -35*f + 33*f = -w for f.
3
Suppose 4*j = 2*y + 5593 - 1125, 1120 = j + y. Solve -p - 1123 = -j for p.
-5
Suppose 13*u - 57 - 8 = 0. Let i(p) be the third derivative of p**6/60 - p**5/60 + p**4/12 - p**3/6 - 5*p**2. Let g be i(1). Solve -u*v = -8 - g for v.
2
Suppose 0 = -99*k + 1372 + 2197 + 1183. Solve -8*o = 4*o - k for o.
4
Suppose -3*m + q = -3*q + 8, -5*m = -4*q. Let y = -309 + 482