for c.
2
Suppose 2*a + 484 = 304. Let c be 32/15 + 12/a. Solve 0 = -0*d - c*d + 2 for d.
1
Let h = 34607 - 34607. Let c = 18 + -12. Solve -c*x + 10 + 2 = h for x.
2
Let a(j) = 5*j + 5*j**2 - 3 + 3*j - 6*j**2 - 8. Let p be a(5). Suppose -2*t = -5*r + r + p, -5*r = 4*t - 18. Solve -5*q = -3 - r for q.
1
Let a(u) = u**3 - 27*u**2 + 12*u - 214. Let t be a(27). Solve -108*p - 6 = -t*p for p.
3
Suppose -3*l - 506*p + 505*p + 87 = 0, -2*l + 4*p + 72 = 0. Solve 0 = -l*w + 52 + 98 for w.
5
Let f be 3 - (4 + 0 + -5). Suppose 2*m + 6 = 0, 18*i - 20*i + 12 = -f*m. Solve -3*b = 3 - i for b.
-1
Suppose 11*q + 15*q - 348 - 822 = 0. Solve 160 = -13*f + q*f for f.
5
Let w(u) = -u**2 - 4*u - 3. Let n be w(-3). Suppose n = -4*x - 5*h + 96, 3*x + 6*h = h + 67. Let j = x - 27. Solve z - j = -0 for z.
2
Let t be (-1 + -3 + 3)*-5. Let w = -56 - -63. Solve -t*k - w - 8 = 0 for k.
-3
Suppose -13*v + 9*v - 1156 = -3*x, 4*x - 1490 = -2*v. Solve 340 = 18*d + x for d.
-2
Suppose -43*h - 16 = -51*h. Suppose -h*l = -9*l + 14. Solve k = -0 + l for k.
2
Let w = -27733 + 27736. Let h = -35 - -55. Solve w*t + h = 23 for t.
1
Let z = -2675 + 2675. Solve -17*i + 3 + 14 = z for i.
1
Suppose 3*a + 8 = m, 3*a - m + 13 = -5*m. Let o(v) = -37*v - 66. Let y be o(a). Solve y = 3*q + 30 for q.
5
Let s(l) = -2*l**2 - 21*l - 9. Let r be s(-11). Let q(a) = a**2 + 18*a - 22. Let h be q(r). Let w = h - 16. Solve 0 = -w*c - 2*c + 8 for c.
2
Let r = 83 - -244. Suppose -4*l = -427 + r. Solve -28 + l = -o for o.
3
Let d be 4/(((-85)/35)/(-17)). Solve 41*y + d = 13*y for y.
-1
Let h(p) = -p**3 - p**2 + 6*p - 27. Let b be h(-6). Solve 55*d - b = 68*d for d.
-9
Let l = 2017 + -1806. Solve 205*o + 30 = l*o for o.
5
Suppose -342*d + 621*d = 303*d. Solve d = -19*b - b + 100 for b.
5
Suppose 25*q - 216 = -33*q + 16. Solve -38 = q*t - 30 for t.
-2
Let f(g) = -2*g**3 - 114*g**2 - 13*g - 607. Let u be f(-57). Solve 80*q - 106 - u = 0 for q.
3
Let f(h) = -563*h - 3920. Let l be f(-7). Solve 16*n - l = 19*n for n.
-7
Suppose -70*n + 68*n - 12 = 0. Let v be 184/69 - n/(-9). Solve 0*c + v = -2*c for c.
-1
Let v = 86 + 21. Let b = -99 + v. Solve 4*i = -0*i - b for i.
-2
Suppose -324*a + 70*a = -2540. Solve -a*g - 397 = -427 for g.
3
Let t(y) = y**3 + 4*y**2 - 15*y - 35. Let a be t(-2). Suppose 4*k + 44 = 4*c, 4*c - a*k - 47 + 4 = 0. Solve 7*f = c*f - 9 for f.
3
Suppose -39*k + 44*k - 3080 = -51*k. Solve 36 = -13*j - k for j.
-7
Let r(s) = -3*s - 25. Let c be r(-11). Suppose 27 = k - 3*l, -l - 32 - 33 = -5*k. Let i = c + k. Solve 4*h + h = -i for h.
-4
Suppose -2*z + 8 = 2*v, 4 = z - 0*v - v. Suppose 6*q - z*q - 5*q = 0. Solve -3*m + 0*m - 12 = q for m.
-4
Let t be -1*0/((-4)/(-2)). Suppose 59 = o - 2289*z + 2285*z, 4*o + z - 15 = 0. Solve t*s - 21 = -o*s for s.
3
Let t(n) = 13*n**3 - 4*n**2 - 16*n + 17. Let o be t(1). Solve 0 = o*s - 22*s - 48 for s.
-4
Suppose -66 = -4*d - 2*r, -4*r + 52 = 3*d - 5. Solve 3*w = -12*w - d for w.
-1
Let k be (-5 - (3 - 4))*195/(-60). Solve -57 = 22*q - k for q.
-2
Let n be -2*(0 - (2 - 0)). Let q(b) = -574*b - 6311. Let c be q(-11). Solve c*j - n*j + 3 = 0 for j.
3
Let t = 11057 + -11048. Solve 13 = -t*x - 23 for x.
-4
Suppose -5*c + 3*p = -9*c + 535, -c = -p - 118. Solve 0 = 133*r - c*r - 6 for r.
1
Suppose 67*k - 1273 = -201. Solve 0 = 30*l - k - 14 for l.
1
Let u = 126 - -178. Suppose 9*f + 10*f = u. Solve 20*c - 12*c + f = 0 for c.
-2
Let n(f) = 495*f - 1448. Let y be n(3). Solve -40*u = -y*u for u.
0
Suppose 16 = 3*b - 0*b - 2*q, 2*b + q = 6. Suppose 0 = 52*i - 28*i + 144. Let m be i/(-5)*375/75. Solve -2*z - b = m for z.
-5
Let b(a) = -4*a**3 - 6*a**3 + 0*a**3 + 2*a**3 - 5*a**2. Let d be b(-1). Solve -d*z - z = 4 for z.
-1
Suppose -2*k + 0*g + 20 = 4*g, 3*g - 8 = 2*k. Let z(r) = -4*r**2 - 2*r + 1. Let l be z(k). Let p = 39 + l. Solve -6*q = -q - p for q.
4
Suppose 3*o + 3*l - 33 = l, o - 4*l = 25. Solve -o*r + 16 - 3 = 0 for r.
1
Suppose j = -3*b, 30*b + 4*j = 27*b. Solve b = 9*l + l - 20 for l.
2
Let z be 3/33 - 39400/220. Let b = -170 - z. Solve -b*o + 3*o = 30 for o.
-5
Let t be 4*(1/3 + (-10 - (-1250)/120)). Let b(o) = o**3 - 3*o**2 - 2*o - 2. Let d be b(4). Let m be d/15 - (-16)/10. Solve -11 + t = -m*p for p.
4
Suppose 6*w - 8*w + 28 = 0. Suppose 0 = 3*y, -w - 4 = -3*p + 3*y. Suppose -9*a + 30 = p*a. Solve -7*k = -a*k - 25 for k.
5
Suppose 3*n + 69 - 15 = 0. Let t = n + 20. Let p be 3*2*1/t. Solve 3 = -p*b - 3 for b.
-2
Suppose 12*q - 54 = 14*q. Let p = q + 29. Let x(o) = -o**2 + 6*o - 8. Let n be x(p). Solve 3 = z - n*z for z.
3
Let u = -346 + 349. Suppose u*d + 8 = 4*p, -4*d = -2*d - p + 2. Solve 0 = -w - d*w for w.
0
Let y(a) = 2*a**2 + 766*a + 1531. Let v be y(-2). Solve 0 = -7*t + 28 - v for t.
3
Suppose 4*w + 6 - 19 = -i, 0 = -4*w + 4. Suppose -v = -4*v + i. Suppose 0 = -5*p - 2*m + 93, 2*p - 72 = -2*p - m. Solve -v = 5*r + p for r.
-4
Suppose 4*j + 70 = 2*w + w, 0 = -3*j + 6. Let m(y) = 2*y**2 - 52*y + 3. Let b be m(w). Let p be 3*(-3)/b + 5. Solve p = h - 0 for h.
2
Let j = -9894 + 9897. Solve j*o = -14*o - 17 for o.
-1
Let d(p) be the third derivative of p**5/60 - 13*p**4/24 + 9*p**3/2 + 20*p**2. Let h be d(2). Solve -2*w - h = 3*w for w.
-1
Suppose -7*h + 30 = -6*h. Suppose -20 = -2*z + 2*q, -3*z + 5 = -4*q - h. Solve i - z = -9 for i.
-4
Let k = -4358 + 4373. Solve o + k = 4*o for o.
5
Let i be ((-88)/48 - -2)/(1/30). Suppose h - 3*u + u = 11, 5*h - 35 = 5*u. Let d be (-10)/25 + 92/5. Solve d = -i*f + h for f.
-3
Let f(x) = -3*x**2 - 46*x + 27. Let c be f(-16). Let w be (-2*2)/((-3)/(-2 - c)). Solve 15*l = 11*l + w for l.
1
Let q(s) = 4 - 2 + s + 6. Let c = 26 - 32. Let g be q(c). Solve -g = n - 2*n for n.
2
Suppose 0 = -5*u - 48 + 58. Suppose 3*f = x + 3, 5*x = 10*x + u*f - 36. Solve x*t - 4 = 2*t for t.
1
Let t be 2 - 21/9 - (-43)/3. Let v = 24 + t. Let g = v - 32. Solve 3*o - o = -g for o.
-3
Let x be ((-4)/10)/((-2)/10). Let b(c) be the second derivative of c**4/6 - 2*c**3/3 + 2*c**2 + 1489*c. Let u be b(x). Solve 2 = u*k - 3*k for k.
2
Let u be (2/(-5))/(1/(2 + -7)). Suppose p - 2*f = 19 - 5, 2 = -u*p - 2*f. Solve -3*d - p*d = -21 for d.
3
Suppose 37*b - 34*b - 78 = -4*p, 3*p - 73 = 5*b. Solve 0 = p*s + 25*s - 184 for s.
4
Let u(o) = -o**2 - 3*o - 24. Let z be u(11). Let r = -178 - z. Solve 3*p - 6*p - 9 = r for p.
-3
Let j = -1493 + 1500. Solve j*c - 3 = 11 for c.
2
Let j be ((-110)/10 - -4) + (-2 - -59). Solve -46*d + j*d = -12 for d.
-3
Let z(h) = -12*h + 87. Let b be z(5). Let j(u) = -9*u + 246. Let x be j(b). Solve x*g + 4 = g for g.
-2
Let s be -9*(-2 - (-20)/12). Let k be ((-5)/(-15)*-3)/1. Let a be k/(-3)*(-1 - -7). Solve -a = -t + s for t.
5
Let s = 2023 + -2002. Suppose 2*w = 8, 0 = -3*b - 4*w + 28 - 3. Solve -s*a + 18*a - b = 0 for a.
-1
Let d = -2439 + 2399. Suppose 5*w - 30 = 4*l + 215, 4*w - 20 = 0. Let p = d - l. Solve -2*k - p = k for k.
-5
Let n(f) be the first derivative of f**3/3 + 3*f**2/2 - 4*f - 3. Let b be n(-4). Suppose 0 = 9*g - 15*g + 24. Solve u + b = g for u.
4
Let c(r) = -50*r - 244. Let f be c(-5). Suppose 4*s = 2*p + 160, -2*s + 2*p = -f*s + 160. Solve 16*i - 8*i = s for i.
5
Suppose -3*b = -3*n - 294, 404 = 4*b - 111*n + 113*n. Solve 27*v - b = 2*v for v.
4
Let v(r) = -3*r**2 + 96*r - 336. Let n be v(28). Solve n = -27*x + 19 + 170 for x.
7
Suppose 11*y - 69 = 39*y - 2757. Solve 33*x - 9*x = y for x.
4
Suppose -a = -42*g + 45*g - 11, 0 = -3*a + 2*g. Let y be (0 - a)*1 - (-100 + 89). Solve y = -2*c - c for c.
-3
Let u = -3 + -163. Let d = u - -174. Solve 3*f - d - 4 = 0 for f.
4
Let r(x) = x**2 - 9*x - 4. Let g(v) = v + 1. Let n(q) = -5*g(q) - r(q). Let k be n(1). Suppose k*c = -c + 4*c. Solve 4*s = -c*s for s.
0
Let f(z) = z**3 - 45*z**2 - 93*z + 54. Let s be f(47). Solve -6 + s = 19*p for p.
5
Let g(t) = t**2 - 15*t - 86. Let j be g(-6). Let x be j*(-6)/(-36) + (-4)/6. Solve -x*s - 11 = 7 for s.
-3
Let b be ((-125)/(-4 - 1))/((-23)/(-184)). Solve -b = 10*u - 35*u for u.
8
Let u = 2204 + -2192. Suppose 110 = 4*x + r - 139, 3*x = -2*r + 188. Solve -58*j - u = -x*j for j.
3
Let d(g) = -g - 39. Let z be d(0). Let i = 40 + z. Let y be (-2 + 0)/(1 - (i - -1)). Solve -2*x - y = -6 for x.
2
Suppose 3*c = 5*h, 6*c + h = 5*c. Solve -6*w + 73 - 43 = c for w.
5
Let n = 129 + -125. Suppose 0 = n*y - 7*y + 9. Solve 2*v - 15 = -y