e 26*s + 3 = v*s for s.
-1
Suppose 0 = 11*n - 26 + 4. Suppose -15 = -n*q + q. Let j be (-2)/(2 + (0 - 3)). Solve w = -j*w - q for w.
-5
Suppose -g = -3*s - 17, -53 = -3*g - g - 3*s. Let m = -291 + 306. Let x = m - g. Solve v = x + 1 for v.
2
Let t = 1802 + -1802. Solve -10*z + 106 - 46 = t for z.
6
Suppose -145 + 180 = 7*g. Suppose -2*x + a = -9, -3*x + 0*x - g*a - 6 = 0. Solve -7*w + 20 = -x*w for w.
5
Let a be (-2)/9 - (-26558)/441. Suppose 0 = 17*f - 20*f - 180. Let j = a + f. Solve -3*p + 5*p - 8 = j for p.
4
Suppose 39*a - 1117 = -298. Solve a*z - 41 = 1 for z.
2
Let t = 13458 + -13422. Solve -36*n - t = -18*n for n.
-2
Suppose 99 = -2*w - 37. Let r = 56 + w. Let x be 0*(8/r - -1). Solve x*q = q - 4 for q.
4
Let v(l) = -l**3 - 7*l**2 - 4*l - 3. Let u be v(-6). Let w be u*5/(-15) + -5. Suppose -2*g + 24 - 22 = w. Solve -3*r - g = -4 for r.
1
Let x(h) = h**3 + h**2 - 44*h + 52. Let k be x(-7). Solve -461*o + 450*o = -k for o.
6
Let d = 962 - 892. Suppose 0 = -6*x - 28 + d. Solve -2*z - 45 = x*z for z.
-5
Let s = 3927 - 3825. Solve 14*y + s - 60 = 0 for y.
-3
Suppose -3*d = 13*i - 8*i - 663, 0 = -d + 3*i + 207. Let y = 236 - d. Solve 8*w = 12*w - y for w.
5
Suppose -372*i + 6287 = 60*i + 1967. Solve 0 = -i*y + 142 - 212 for y.
-7
Let y be (2/4)/((-6)/60). Let z = y + 5. Let f be ((-2)/10*15)/(2 - 3). Solve -f*a - 2*a - 20 = z for a.
-4
Let p(w) = -38*w - 567. Let k be p(-15). Solve k*v - 13 = -22 for v.
-3
Suppose 0 = -4*a - 12, -k + 3*a - 2*a = -12. Let p be (48/(-9))/((-3)/k). Suppose 4*x - p = -m, 3 = 2*x - 5. Solve m = -0*r + 4*r - 20 for r.
5
Let v(y) = -4 + y**2 + 10*y + 17 + 11*y - 10*y. Let j be v(-10). Suppose 0 = -4*w - 11*w + 30. Solve -x + j = w*x for x.
1
Let u(v) = 18*v**2 - 9*v - 34. Let f be u(6). Let m = f + -550. Solve m*d = -5*d - 60 for d.
-4
Suppose -a + 15 = 6*z - 10*z, 3*a + 3*z = 45. Let r(t) = t**3 - 1 - 14*t - 5 - 5 - 14*t**2. Let p be r(a). Solve c - p = -0*c for c.
4
Let l = -12587 + 12604. Solve -9*w - l*w = 78 for w.
-3
Suppose 0 = -4*l + 3*x - 6, -3*x + 4 = l - 2. Suppose 117 = -130*d + 143*d. Solve -m + d - 6 = l for m.
3
Let k be (-3)/(1*6/(-10)). Let t be (1 - -42)*(-7)/7. Let w = t - -58. Solve -w = -0*u - k*u for u.
3
Suppose 5*v = 358 + 32. Let i = 78 - v. Suppose i*p - 3*u = p + 4, 10 = p - 4*u. Solve p*t + 4 = -2*t for t.
-1
Let c(u) = u**3 + 8*u**2 - 2*u - 11. Let f be c(-8). Let m = 388 + -386. Suppose 4*s - 2*a = 6 - 10, 0 = 5*s + a - m. Solve s = -5*y - f for y.
-1
Let s(z) = -z**2 - 97*z + 632. Let g be s(6). Solve -31 = g*q + 25 for q.
-4
Let s be 57/7 + (-2)/14. Suppose s*c - 38 = -38. Solve c = -2*t + 12*t + 20 for t.
-2
Let n be ((-7)/(-21))/(5/(-90)). Let h be -8 + n*78/(-36). Solve h*v - v = 0 for v.
0
Let c be (-5292)/(-210)*10/(-6). Suppose -i - 37 = -4*n - 0, 5*i + 260 = 5*n. Let b = c - i. Solve -b = -5*u + 10*u for u.
-3
Let w(b) = -35*b - 163. Let a be w(-6). Solve -8*z = -a + 7 for z.
5
Let m(x) = 6*x**2 - 1. Suppose 0*q + 4*q + 14 = -2*p, 2*p - 7 = 3*q. Let v be m(p). Suppose -v*n + 30 = -2*n. Solve -n = 3*i - i for i.
-5
Let x be ((-68)/136)/((-1)/(3 - 153/(-3))). Solve -31*a = -x*a for a.
0
Let d be 0/((-164)/533*26/(-4)). Solve 2*u + 30 - 22 = d for u.
-4
Let v be (-1 - -3)/(4/46). Suppose -38*g + 1535 = -1277. Suppose 0 = -40*l + 274 - g. Solve l*p = v - 3 for p.
4
Suppose -15*q - 18*q = -37*q + 1820. Solve 7*x - q + 427 = 0 for x.
4
Let x(p) = p**2 + 9*p + 3. Let c = -326 + 316. Let h be x(c). Solve 0 = -3*u - 1 + h for u.
4
Let b(k) = -10*k + 0 + 19*k - 7 - 2 - k**2. Let r be b(7). Suppose 1 - 10 = 3*t, -r*x - 2*t = -4. Solve -x*a + 3 = a for a.
1
Let f = -12432 + 12733. Solve 298 = -3*m + f for m.
1
Suppose -51*t + 86671 = 169*t - 88669. Solve -6*z + t = 779 for z.
3
Let t(d) = d**2 - 30*d + 33. Let i be t(29). Let m(z) = z**3 - 4*z**2 - z + 8. Let s be m(i). Solve -5*b + 1 = -s*b for b.
1
Let y = 16929 + -16923. Suppose 3*m = -4*a + 40, -20 = -5*m + 5*a - 0*a. Solve y*d - 4 = m for d.
2
Let m = 3297 - 3256. Solve 1 - m = 20*g for g.
-2
Let r = 2 + 0. Suppose 4*f + 0*f = -8, r*k - f - 14 = 0. Suppose 2*c = -5*n + 6*n - 17, 2*n - 5*c = 38. Solve -k = -5*g + n for g.
3
Let c = -397 + 400. Let q(r) = 10*r - 22. Let w be q(c). Solve w*a - 2*a + 24 = 0 for a.
-4
Let n = -3 + 11. Let o = 69143 + -69143. Let g be 4/(-3)*3/(-1). Solve g*i + o = -n for i.
-2
Let s(k) = -k**3 - 11*k**2 - 3*k - 27. Let m be s(-11). Let l = m - 3. Suppose -2*f = -4*f + l*f. Solve -y + f*y = -1 for y.
1
Let h be (-17 - 13) + 31 - (-22)/2. Solve -226 = -h*c - 310 for c.
-7
Let d(o) = 10*o - 14. Let c(a) = 1. Let u(h) = 5*c(h) - d(h). Let k be u(-3). Let v = k - 47. Solve -v*t = -3*t - 4 for t.
-4
Suppose -22*q + 5*q = -1530. Let h be (12/27)/(20/q). Solve -h*c - 2*c = 20 for c.
-5
Suppose -13*z = -12*z. Let x(q) = 2*q**3 + 9*q**2 + 34. Let p be x(-5). Solve -c + 11 - p = z for c.
2
Suppose 5*c - 4*z = 57, -6*z - 24 = -4*c - 10*z. Suppose 21*n - 60 = c*n. Solve 3*k + n = 4*k for k.
5
Let d be 8/(-6)*(405/(-10))/(-9). Let m be (d/(-18))/(1/(-6)). Let n be (-3)/(-6)*m*-19. Solve 4*h + n = -1 for h.
-5
Suppose -4*p - a - 12 + 64 = 0, -4*a + 4 = -p. Solve p*i + 13 = 1 for i.
-1
Suppose 2*p + 3*s = 21, -p - 4*s - 194 + 222 = 0. Solve 9*y + 6*y - 90 = p for y.
6
Let i = 26 + -14. Let v(o) = o + 7. Suppose -3*g + 0*g - 4*r - 4 = 0, g + 8 = 2*r. Let l be v(g). Solve 0*u - l*u + i = 0 for u.
4
Let c be ((-4)/(-6))/((16/(-6))/4). Let b be -1 + -15*c/3. Suppose 0 = -b*w + 4*y - 10 + 50, -4 = -2*y. Solve 0 = -0*u - 3*u + w for u.
4
Let y = 0 + 1. Suppose 53*p - 274*p = -392 - 271. Solve 2*t - y = p*t for t.
-1
Suppose v + b = 9, 9*b = 3*v + 4*b - 27. Solve 15*i - v = 21 for i.
2
Let x = 5592 - 5513. Solve 44*k - x + 343 = 0 for k.
-6
Suppose -3*l - 46*g + 3 = -44*g, 0 = -3*l - 3*g. Solve l*c = 35 - 26 for c.
3
Let h = 5095 + -5087. Suppose 25 = 4*u + 9. Solve u*q - 8*q = -h for q.
2
Let i be 1796/18 + 6 - 14/(-63). Solve 2*x - i = -106 for x.
0
Let i(k) = k**3 - 16*k**2 + k - 4. Let r be i(16). Suppose r*p - 23 = 13. Suppose -2 = -p*h - 11, 0 = -j - 4*h. Solve 4*y = -0 + j for y.
3
Let s be 4 + 2/2 + 12. Let m be (-34*1/2)/1. Let o = m + s. Solve o = 8*u - 3*u + 15 for u.
-3
Suppose 4*c - 1191 = -5*t + 3*c, -2*t = 4*c - 480. Solve 4*w - t + 230 = 0 for w.
2
Suppose 2*f + 15 = 5*f. Suppose -q + 0*q + f = 5*g, 0 = 4*g - 4. Suppose 8*z - 611 = -451. Solve 4*s = z - q for s.
5
Suppose -l = 5*p + 30, 13 + 5 = -3*p + 5*l. Let n be (3/(3/(-3 - p)))/1. Solve n = 7*m + 10 for m.
-1
Let z be 7/(-56) + 289/8. Let v be (860/z)/5 - (-12)/54. Solve -3*w + 20 = v for w.
5
Let d = -254 - -256. Suppose -5*j - r + 6 = 0, 6*j - 4 = d*j - r. Solve 0 = -j*q - 8 - 0 for q.
-4
Suppose 43 = 3*b + 5*m - 0*m, b = m + 1. Suppose -k + b*k - 20 = -c, -4*c = 20. Let u(p) = 20*p - 192. Let g be u(10). Solve k*v + 7 = -g for v.
-3
Let s = 24706 - 24704. Suppose k = 1 + 5. Suppose 4*u - 5 = 11. Solve u*f = s*f + k for f.
3
Suppose -c = 4*k + 2, -3*c + 45 = 137*k - 142*k. Solve -c*p = p - 77 for p.
7
Suppose -5*s = 25, -355 = 13*i - 18*i + 2*s. Solve -70*x + i*x - 2 = 0 for x.
-2
Let k(b) = b**2 - 61*b + 442. Let w be k(7). Solve 53*s - w*s + 66 = 0 for s.
6
Let b(a) be the first derivative of a**4/4 + 7*a**3 - a**2/2 - 13*a + 35. Let m be b(-21). Solve -5 + m = -p for p.
-3
Let w be (5 - 10/3) + (-2)/(-6). Let l(v) = -v**2 + v. Let p be l(w). Let d(g) = -2*g**3 + 4*g + 1. Let n be d(p). Solve t = -2*t - n for t.
-3
Let x(y) = -95*y + 3257. Let r be x(34). Solve 0 = r*g - 22*g + 20 for g.
-4
Suppose 3*d = -z + 221, 3*z - 6*d - 647 = -11*d. Let j = -201 + z. Solve 6*u = j*u - 6 for u.
3
Suppose -217*s + 220*s - 5*v = 92, 2*s - 61 = 3*v. Solve -28*q = -s*q - 1 for q.
-1
Let s(j) = -2*j + 22. Let o be s(11). Suppose o = -6*a + 4*a + 3*h + 19, 4*a - 23 = 3*h. Let r be (7/(-14))/(a/(-20)). Solve 7 = -r*p - 13 for p.
-4
Suppose -4*x + 213 = -3*u, 0 = -2*x - x - u + 163. Suppose -x = -6*c + 24. Solve -4*g - 7 = c for g.
-5
Let l(j) be the second derivative of j**4/2 - 5*j**3/6 - 8*j**2 + 2*j - 112. Let h be l(-2). Solve 3*a = -3*a - h for a.
-3
Let p(u) = 0*u + 2*u**2 - u - 2*u + 6*u + 4. Let l be p(-2). Suppose -l*m = -18*m. Solve m = n - 0*n for n.
0
Let v(j) = -22*j + 530. Let u be v(24). Let g = 2 - -10. Suppose 4*w - 2*t - 6 = 0, 0 = -5*w + 2*w + 3*t 