r c.
2
Let n be 478/6 + 4/(-6). Suppose -n + 43 = -2*t. Solve -t = -h - 15 for h.
3
Suppose -5*t - 12 = -2*y - 0*t, y - 5*t = 6. Suppose 2*c + 312 = y*c. Suppose -6 = 76*v - c*v. Solve -v*x = -6*x + 3 for x.
1
Let r = 179 - 177. Suppose -4*b + r = -2*i + 4, 4 = 4*i - 5*b. Solve 0 = 4*w + i - 13 for w.
3
Let f(m) = m**3 + 10*m**2 - 5*m + 1. Let o be f(-8). Suppose -o = -6*x - 49. Let s = 9 - 7. Solve -3*a - s*a = x for a.
-4
Let u be -186 + 180 + 8*(-1 - -38). Solve -79*z + u = -21*z for z.
5
Let k(t) be the first derivative of 19 - 1/3*t**3 + 3*t**2 - 6*t. Let f be k(4). Solve f*r = -3*r - 5 for r.
-1
Suppose 125 = 8*i + 69. Let g be i/(126/4) + (-6)/27. Solve 6*p + g*p = -30 for p.
-5
Let v(u) = -2*u**2 - 72*u - 108. Let y be v(-36). Let l be (-6)/y*-4 + 20/9. Solve -l*h = -h - 4 for h.
4
Let z(p) be the first derivative of 5*p**2/2 - 13*p - 4. Let j(o) = -16*o + 38. Let s(x) = 2*j(x) + 7*z(x). Let t be s(6). Solve -t*l + 13 = -2 for l.
5
Suppose -t + 2*d = -56, 49*d = 51*d - 8. Solve -58*s = -50*s - t for s.
8
Suppose 2*l + 19 = 5*r + 3, 0 = 3*l - 6. Suppose 0 = 2*z + r*j - 42, -j - 4*j = -15. Suppose 23*w = z*w + 88. Solve -26 = 3*o - w for o.
-5
Let h(p) = p**3 + 14*p**2 + 16*p + 78. Let g be h(-13). Solve -z + g = -14*z for z.
-3
Let o(k) = 5*k**3 + 10*k**2 + 2*k - 29. Let c(q) = -11*q**3 - 19*q**2 - 4*q + 57. Let v(z) = -6*c(z) - 13*o(z). Let h be v(16). Solve j + h*j = 8 for j.
2
Let t = -2470 - -2471. Let c(o) = -6*o - 9. Let u be c(-4). Let v be ((-6)/u)/(4/(-10)). Solve v = n - t for n.
2
Let m(s) = 2*s**3 + 75*s**2 + 35*s + 43. Let l be m(-37). Solve 7 = 110*k - l*k for k.
-1
Let b be (-14)/(-63) + 68/18. Suppose 0*x - b*x + 4 = -m, 2*x + 3*m = 2. Let v(f) = 7*f**2 + 338*f + 96. Let t be v(-48). Solve 4*z - 3*z - x = t for z.
1
Suppose d - 3*g = -4*g + 36, -60 = -2*d + 4*g. Suppose 8*l - d = -18. Solve k - 7 = -l for k.
5
Suppose -5*j - 3*q - 2 - 3 = 0, j = 5*q - 1. Let u be 2/(-17)*(7 + -75). Let i be 11 - u - j/(1/11). Solve 0 = -x + i - 12 for x.
2
Suppose 9*y - 3*p + 2349 = -789, 0 = -y - p - 350. Let k = y + 349. Solve k = -8*u + 23 + 1 for u.
3
Let o(q) = 2*q + 1. Let w be o(-2). Let s be (-8)/(w*(-10)/(-15)). Suppose 0 = s*k - 15*k + 33. Solve -4*i + k = -17 for i.
5
Suppose -84*t = -52*t - 5600. Solve -37*g + t = -2*g for g.
5
Suppose -x + 68 = -3*i, -4*i - 13 = -x + 77. Let s be 1*-1*(i - 0). Solve 5*b = s - 2 for b.
4
Let v(s) = -30*s + 1812. Let a be v(60). Let x = -4 + 9. Solve -x*z + a = -2*z for z.
4
Let d be 2/(-5) + 4*(-14)/(-40). Let v be (-8)/(-4) - d*(-4)/(-2). Solve -5*f + 8*f - 9 = v for f.
3
Suppose 4*q - 6*s - 110 + 28 = 0, 0 = -5*q + 4*s + 127. Solve 7*p + q*p = -p for p.
0
Let l be 8 + -12 - (-1 - 19). Suppose 12*x = l*x. Suppose 3*h = -2*h - i, -4*h - 3*i = x. Solve h*v + 2 = -2*v for v.
-1
Let k be 441/(-15)*(-475)/285. Solve -k*c + 43*c - 12 = 0 for c.
-2
Let i be (-1*(-1 + -4))/((-22)/(-22)). Suppose -2*u + 32 = i*h, 3*h - 53 = -5*u - 11. Suppose u*n = -n. Solve n = 2*z - 3*z - 1 for z.
-1
Let z = -369 + 497. Solve -134*v + 30 = -z*v for v.
5
Let h be (16/(-24))/((-1)/12). Suppose 43*x - h*x - 420 = 0. Solve x*o - 9*o + 3 = 0 for o.
-1
Suppose -4*v - 29 = -6*x + 3*x, -x - 22 = 5*v. Suppose m - 40 = -4*m. Suppose x*l = -m*l + 33. Solve 6*n = 3*n - l for n.
-1
Suppose -25 = -2*u + 5*a, 2*a = 6*a + 20. Suppose -h - 3*t + 35 = u, h + 5*t - 51 = -8. Let o = -15 + h. Solve 3*p = -p - o for p.
-2
Let u = 34330 + -34321. Solve 0 = -u*o - 28 + 19 for o.
-1
Let q = -34146 + 34150. Solve -10*j + 8*j + q = 0 for j.
2
Suppose 0 = 4*o - 2*o. Let g(w) = -155*w - 70. Let h(y) = -11*y - 5. Let x(j) = 6*g(j) - 85*h(j). Let d be x(-1). Solve d = -o*u + 3*u - 15 for u.
5
Suppose -5*p + 250 = 2*a, -127*p - 218 = -131*p + 2*a. Solve 17*d - 67 - p = 0 for d.
7
Let v(l) = l**2 + 4*l - 113. Let o be v(9). Suppose o*k = 19*k. Solve k = -3*u + u for u.
0
Suppose 28 = 3*p + t, 2*t + t + 12 = 3*p. Let w = p + -7. Suppose 0 = -a + 5 + w. Solve -10 = 4*n + a for n.
-4
Let m(o) = -o**2 + 22*o + 26. Let y be m(23). Suppose 3*n - y*l = -0*l, 5*n = 3*l. Let z be 9/4 + 2/(-8). Solve -z*x + n*x + 2 = 0 for x.
1
Let g = 124 + -165. Let a = g - -47. Solve 0 = -2*d - 4*d - a for d.
-1
Let h(p) = 5*p + 141. Let q be h(-28). Suppose 6*a - q = 29. Solve 0 = -a*k - 21 + 1 for k.
-4
Suppose 0 = -y - t + 52 + 115, 2*t + 516 = 3*y. Let n be y/30 - 3/(-9). Solve -n*q = -q for q.
0
Let l be ((-2)/3)/((-4)/222). Suppose 0 = 5*o + 5, -l = -8*f + 5*f + o. Solve -f*r + r - 55 = 0 for r.
-5
Let b = 453 - 453. Suppose 0 = -9*x + x + 48. Solve b*l + x = 3*l for l.
2
Let d(j) be the first derivative of -j**3/3 - j**2 + 8*j + 9. Let m be d(-4). Suppose 0 = -3*b - m - 0. Solve -u + 3*u + 2 = b for u.
-1
Suppose -1266*a + 1267*a = 2. Let p = -18 + 22. Let j = -2 + p. Solve 6 = j*l - a for l.
4
Let j = 70127 + -70116. Let w be 1*(1 - -1 - 0). Suppose 0 = -w*o + v - 0*v + 7, -2*o + 13 = 5*v. Solve o*l + j = 3 for l.
-2
Suppose 107*r - 110*r = 0, 0*t - 5*r = -2*t. Let h be 0/((-1 - 1)/(-2)). Solve t = -h*k + 2*k for k.
0
Let y(u) be the third derivative of 7*u**4/24 - 187*u**3/6 - 330*u**2. Let i be y(29). Let j(d) = -d**2 - 6*d. Let b be j(-3). Solve 5*m = i + b for m.
5
Let j(f) be the first derivative of -f**4/2 - 2*f**3 - 12*f + 100. Let p be j(-4). Solve p = -17*v + 12*v for v.
-4
Let t = -127 - -197. Let u be t/16 + 3/(-8). Solve u*x - 2 = 5*x for x.
-2
Let w = 3517 - 3505. Solve 6*o + w = 12*o for o.
2
Suppose 33*f + 859 = 7*w + 28*f, 0 = 5*w + 2*f - 608. Solve 109*x - w*x = -104 for x.
8
Let x be 13 - (3 - (9 - 13)). Suppose 0 = -x*h + 121 - 13. Solve -6*v - 6 - h = 0 for v.
-4
Let q(m) = -233*m + 945. Let o be q(4). Solve 0 = -o*a - 7*a + 60 for a.
3
Suppose 3*d - 225 = -3*i, d + 14 = -4*i + 98. Let t be (-16)/d - (-58)/18. Solve t*v - 4 = -v for v.
1
Suppose 7*g - 1392 + 678 = 0. Solve -g = 70*y + 38 for y.
-2
Let z(t) = 151*t + 42901. Let q be z(-284). Suppose 5*l - l = 168. Solve 5*y - q = -l for y.
-5
Suppose -1489*p - 2248*p = -1123*p. Suppose -2*v = -3*v + 3. Solve v*x - 2*x = p for x.
0
Suppose 4*i - 8 = -5*m, -36 = 3*m + 2*i - 40. Solve 0 = -17*w - m*w + 17 for w.
1
Let r(n) = 5*n + 23. Let t be r(-17). Let j be (87/(-4))/(10/(640/24)). Let g = j - t. Solve -5*v - 6 - g = 0 for v.
-2
Let f be (-24)/(-18)*(1/(-2) - -2). Suppose 0*c - f*c = -x + 13, 18 = x - 3*c. Suppose 4*v = -3*a - 4, -5*a - 2 - 3 = 5*v. Solve t + x*t - 12 = a for t.
3
Let d be ((-136)/(-12) + -3)*(-96)/(-40). Solve d*g + 32 = 12*g for g.
-4
Suppose -61*p + 104*p = 23349. Solve -p*w + 536*w = 0 for w.
0
Suppose 210*s - 208*s - 5*q = 6, -5*s + 5*q = -75. Solve s*m - 6 - 155 = 0 for m.
7
Suppose -4*b = -17 + 5. Suppose z + 0 = 2, 2*z + 8 = b*j. Suppose 0 = 3*c - j*c + 2. Solve 0 - c = -v for v.
2
Let b be -11*(6 - (3 + 6)). Solve b*z - 20*z = -52 for z.
-4
Suppose 497*j - 16416 = 41*j. Solve j + 15 = -17*y for y.
-3
Let j = -1731 - -1736. Suppose -11*o + 57 = -8*o. Solve o = 7*p + j for p.
2
Let s be -3*(-12)/45*5. Suppose s*u = 4*y - 20, -y + 3*u + 6 = u. Solve 0 = y*v + v + 20 for v.
-4
Let o be (-85)/(-34)*(26/(-10) + 1). Let l be o/((1 + 5)/(-48)). Solve 9*a = 4 + l for a.
4
Suppose 5*k - p = 3, -8*p - 15 = 5*k - 3*p. Suppose -l + 6 - 3 = k. Solve 0 = -l*f + 9*f + 30 for f.
-5
Let w = 15525 + -15523. Solve 27 - 37 = w*v for v.
-5
Let v = -96 + 101. Let t(y) = y**3 - 3*y**2 - 3*y + 11. Let z be t(3). Solve -o - v = -z*o for o.
5
Let n = -77 + 77. Let d = 1729 + -1726. Solve n = -4*b + 3*b + d for b.
3
Let d(j) = j + 3. Let k be d(5). Suppose l - k = w, -5*w + 0 - 25 = 0. Suppose l*a + 9 = 21. Solve 0 = -2*o + 2 - a for o.
-1
Suppose 0 = 12*i + 17*i - 87. Let u be (-4)/i*(18/4)/(-1). Solve -y + u - 11 = 0 for y.
-5
Let t be -7 - 3/(-9)*240/8. Solve 7 = 5*b - t for b.
2
Let u be 1324/4 + (18 - 29). Solve -u + 47 = 39*a for a.
-7
Let o = -53 - -88. Suppose -o*a + 10 = -33*a. Solve a = -2*u + 15 for u.
5
Suppose -q - 10*j + 69 = -6*j, -4*q - 4*j = -204. Solve q*a - 30 = 60*a for a.
-2
Let g(d) = -78*d**3 + 4*d**2 - 4*d + 2. Let r be g(1). Let p = 77 + r. Solve 4*t + 19 = -p for t.
-5
Suppose m = x + 10, 5*x - 62 = -13*m + x. Solve -m*k = -9*k - 21 for k.
-7
Suppose -5*l - z = 907 - 77, 2*l - 2*z = -320. Let a = -161 - l. Solve -v - a*v = 0 for v.
0
Let b(n) = -3*n - 73. Let k be (