t for c.
5
Let g(o) = -2*o**2 + 60*o + 531. Let t be g(37). Solve -30*x = -t*x for x.
0
Suppose b + 2 = j, -2 - 4 = -b - 3*j. Suppose b = -o + 3*d + 25, -16*o + 5*d = -11*o - 95. Solve 12 = o*t - 19*t for t.
-4
Suppose 3*o - 577 = -5*i, 3*o - 461 = 157*i - 161*i. Solve -25 = -i*x + 111*x for x.
5
Let u = -16317 + 16512. Solve u*q + 96 = 207*q for q.
8
Let t(s) = -s**2 - 15*s + 6. Let v be t(-15). Let k be ((-6)/(-4))/((-27)/(-72)). Suppose 5*y = 5*p, 4*p - v = k*y - 2*y. Solve -7 - 2 = -p*z for z.
3
Let s(f) = 49*f + 311. Suppose -8*p - 2*p - 60 = 0. Let a be s(p). Solve -a*g = -12*g + 5 for g.
-1
Let y(i) = i**3 + 19*i**2 + 46*i + 260. Let d be y(-17). Solve -d = 210*g - 202*g for g.
-7
Let d = 4 + -3. Let j = 264 + -257. Suppose -39 = j*s - 74. Solve -d = 3*w + s for w.
-2
Suppose 48*x = 40*x + 760. Suppose 90*z - x*z = -20. Solve 3 = -5*t + z*t for t.
-3
Suppose -2*w + 5 + 2 = -t, 3*w = -t + 13. Suppose -w*o + 5 + 3 = 0. Suppose 2*y = -10, -5*r + 36 + 29 = -y. Solve o = 5*f + r for f.
-2
Let j be (-3)/6 - (-655)/(-2). Let g = 332 + j. Solve -15 = v - g*v for v.
5
Suppose 0 = 5*a + f - 740, -7*f + 2*f - 621 = -4*a. Solve -a = -6*u - 131 for u.
3
Let x be (-42)/(244/84 - 4 - 105/(-245)). Solve 0 = -527*m + 518*m + x for m.
7
Let z be (-119)/476 - (2/(-7) - (-4367)/(-28)). Solve -116 = -20*k - z for k.
-2
Let k = -2691 + 2696. Let x be ((-9)/(-6))/(6/(-88)). Let h = -15 - x. Solve 0 = -k*g - h + 27 for g.
4
Let v = 2232 - 2232. Solve -3*x - 2 + 14 = v for x.
4
Suppose -11*b - 4144 = -88*b - 35*b. Let a(r) = 2*r - 1. Let i be a(3). Solve 0 = i*j - b + 52 for j.
-3
Let b = 1533 - 1528. Let s(x) = 2 + 0 - 2 - 3*x + 2*x**2 + x**3 - 2. Let c be s(-2). Solve p + b = -c*p for p.
-1
Suppose 46 = 7*a + 11. Suppose 0 = 6*x - 8*x - 3*q + 9, 7 = 4*x - a*q. Suppose -4*c - 5*g = -28, -3*c - x*g + 8 = -10. Solve t = -c*t + 9 for t.
3
Let w be (8 - 11) + 5 - -11. Let f = 4 - -1. Suppose -j + 9 = w, 2*j - 2 = -f*p. Solve -p*h = 8 - 2 for h.
-3
Suppose 7*d = 5*d. Let q be ((-252)/(-8) + -11)*2. Solve -s + q - 46 = d for s.
-5
Suppose -l + 7*l + 12*l = -26*l. Solve l = -8*s + 6*s + 3*s for s.
0
Let v = 765 - 760. Let u be (-9 - -11) + (v - 0). Solve 2 = -5*f + u for f.
1
Suppose -3*l + 2*f = l - 60, 0 = 5*l - 3*f - 74. Let j = -36 + l. Let w = 22 + j. Solve -q - 5 = -w*q for q.
5
Suppose s = -1, 2*u = -s + 17 - 194. Let m = -77 - u. Solve -5*p + 9 + m = 0 for p.
4
Suppose 4*w = -3*f + 1038, 0 = -4*w + 3*w - f + 259. Suppose -4*m + 473 = w. Solve -5*v - 58 = -m for v.
-1
Let l be -2 + 3 - (-3)/(9/3). Let n be (l*(-2)/12)/(9/27). Let t be n/3 + 20*(-2)/(-12). Solve 0*h + 12 = -t*h for h.
-4
Let j = -4740 - -4740. Solve 5*q + 48 - 53 = j for q.
1
Suppose 24*b + b = 75. Suppose -b*u + 6 = 3*r, -6 - 9 = 5*r. Solve -11 = -u*h - 26 for h.
-3
Let f be 2295/119 + (-2)/7. Suppose -2*w + 714 = -f*w. Let z be ((-8)/(-7))/4 - 114/w. Solve 18 = -z*q + 3 for q.
-5
Suppose -2*s + 10 = 0, -2*h + 3*s - 9 = -0*h. Let w = 143 - 175. Let d be (-1)/((-10)/(-4)) + w/(-5). Solve c = h*c + d for c.
-3
Let d be ((-258)/15)/(56/(-140)) - 0/(-1). Solve 5*g - d = -8 for g.
7
Let x = -6950 - -7058. Solve 6*t - 33*t + x = 0 for t.
4
Suppose 0 = 12*w - 10*w + 22. Let q = -16 + w. Let b = -2 - q. Solve 4*y + 5 = b for y.
5
Let y(i) = 2*i**2 + 3*i + 21. Let o be y(-5). Suppose -82 - 126 = -3*x - 5*v, -x + v = -o. Suppose x - 76 = -s. Solve 5*z = 10 + s for z.
5
Suppose 66 = -5*p - 2*i + 134, 0 = -2*p + i + 38. Solve -21*g + p = -47 for g.
3
Let a = -53 + 58. Suppose 0 = 5*m - 15, -m - 42 = -5*h - a*m. Solve -2*c - 4 = -h*c for c.
1
Let s(z) = -3*z - 52. Let f be 7/7*1 + -24. Let h be s(f). Solve -h*l + 14*l = -6 for l.
2
Let f(i) = 3*i**3 - 4*i**2 + 420*i - 1238. Let b be f(3). Solve 7*u - 109 = -b for u.
6
Let n(k) = -k**3 + 8*k**2 - 4*k + 42. Let b = -163 + 171. Let m be n(b). Solve 0 = 4*z + m - 22 for z.
3
Suppose 0 = u - 2*w - 8, 4*u = 2*u + w + 10. Suppose 0 = 5*c + 2*k - 31, -k = u*c - 21 - 5. Solve 0 = -3*d - c - 8 for d.
-5
Let t = 8654 + -8650. Solve 0 = -t*w + 39 - 11 for w.
7
Let q(o) = -o + 1. Let b be q(-4). Let p be -5 + (-9 + (8 - 3) - -18). Suppose -b*t + p = -16. Solve -2*n + 15 - t = 0 for n.
5
Let v(z) = z**2 + 3*z - 6. Let f be v(-5). Suppose -11 = -5*r + f. Let u be (95/(-190))/((-1)/8). Solve -r*c + 1 = u for c.
-1
Let t be 0 + (-4)/((-8)/6) + -1. Suppose 43 = -0*b + t*b - 5*m, 0 = 5*b - 3*m - 60. Suppose -b*a - 25 = -14*a. Solve v = a*v - 8 for v.
2
Suppose 2*y + 6 = 3*z, -7*z = -8*z + 3*y + 2. Let s(v) = 3*v**2 + v. Let l be s(z). Solve -2*q = l - 8 for q.
-3
Let m be (12/36)/(2/516). Solve 71*b - m*b = 105 for b.
-7
Suppose 7*a = -10*a - 2*a. Suppose -6 = 3*d - 75. Suppose -5*i + 9 = -4*b, -6 = 5*i - 2*b - d. Solve -i*o = -a*o for o.
0
Suppose 5*y - 15 = -5*l + 30, 3 = -y + 3*l. Solve 0 = -3*i - y for i.
-2
Let x(i) = i**3 - 11*i**2 + 11*i + 21. Let y be x(10). Let l = -28 + y. Solve 0 = l*k - k + 6 for k.
-3
Let t(a) = -7*a - 30. Let j be t(-7). Suppose -21*b = -j*b - 4. Solve -4 = u - b for u.
-2
Suppose 4*s - 47 = -39. Suppose -s*h + 6 = j, 13 = 2*j + 4*h + h. Suppose r + 10 = 3*a, 0 = -a + 4*a - j*r - 13. Solve 3*i + 3 = -a for i.
-2
Let s = -25392 + 25494. Solve 0 = -28*z - 38 - s for z.
-5
Let s = -94 + 100. Let z(r) = -r**3 + 5*r**2 + r - 3. Let p be z(5). Let y be p + -2 + 2 + s. Solve y*q - 3*q - 20 = 0 for q.
4
Let l be (-644)/21*-2 + (5 - (-80)/(-15)). Solve -l = -3*n - 76 for n.
-5
Let x = 138 - 144. Let g be (x - -2)/2 - -11. Solve 6*p - 3*p + g = 0 for p.
-3
Let w(h) = h**3 + 41*h**2 + 46*h - 70. Let c be w(-40). Let p = c - -310. Solve 0*b + 2*b - 2 = p for b.
1
Let y(b) = 2*b**3 - b**2 + 2*b - 1. Let j be y(1). Suppose 397*u = 402*u. Suppose 0 = -5*t - u + 15. Solve -13 = -t*o + j for o.
5
Let k = 52 - 50. Let x(m) = 112*m - 9 - 8 + m**k - 105*m. Let b be x(-9). Solve b = 3*g + 7 for g.
-2
Suppose 8*r = 164 - 20. Let f be 4/(-1) + 108/r. Solve f*t + 14 = 6 for t.
-4
Let a(d) = -2*d**3 + 5*d**2 + 4*d. Let r be a(-1). Suppose 4*m = -0*c - 5*c + 18, -r*c + 4 = -m. Solve -4*v = -2*v + c for v.
-1
Let y be 4 + (2 - 6 - 0) - -2. Suppose 30 - 29 = d, -y*r = d - 37. Solve -r*z = -23*z + 5 for z.
1
Let m(o) = -26*o**2 + 87*o**2 + 7 - 2*o - 6. Let x be m(1). Let w be ((-72)/(-15))/(18/x). Solve 3*d + d = -w for d.
-4
Let h(y) be the third derivative of -y**5/60 - 7*y**4/6 + 11*y**3/2 + 243*y**2. Let w be h(-29). Solve 3*l = -w*l - 35 for l.
-5
Suppose -368*j + 1986 = -1326. Solve j*q - 15 = 6*q for q.
5
Let m be ((-2)/4)/(11 - 13) - 5322/(-24). Solve -2*f + 39*f = m for f.
6
Suppose 4 = -2*m - 3*s - 4, 5*m - 4*s = 26. Let v(g) = 2*g**2 - 16*g + 27. Let d be v(m). Solve -2 = f - d*f for f.
1
Let o = -14827 + 14975. Solve 0 = -18*q + 55*q + o for q.
-4
Let r = 0 + 0. Let x be 14 - 4*(14 - (-342)/(-24) - -1). Solve -x*g + 8*g + 9 = r for g.
3
Let z(y) = -4*y**2 + 10*y + 134. Let p be z(7). Solve -9*w = -4*w + p*w for w.
0
Let u = 48 - 42. Suppose 0 = -u*o + 5*o + 5. Suppose 0 = o*p - 3*s - 113, -2*p + 18 = 2*s - 24. Solve 4*f - p = -6 for f.
4
Suppose 4*y - 504 = -0*y. Let q be y/10 + (92/(-20) - -4). Suppose 5*n - 26 = -6. Solve q = 4*z - n for z.
4
Suppose 64*c - 65*c + 205 = 0. Solve 0 = -4*h - 209 + c for h.
-1
Suppose -202*r + 13292 - 2510 = 397*r. Let p be ((-3)/(-9))/((-2)/(-114)). Solve r*q = p*q for q.
0
Let p = -28 + 28. Suppose p*q = 4*q - 112. Let z be (-8)/q*(-3 + -4). Solve -n = z*n for n.
0
Suppose z - 5*o = -4, 642 = -4*o + 650. Suppose -t + 5*t = 0. Solve t = -15*b + z*b - 27 for b.
-3
Let b(h) be the second derivative of -h**5/20 - 5*h**4/6 + 7*h**3/6 - 5*h**2/2 - 135*h. Let i be b(-11). Solve -34*f = -i*f + 15 for f.
3
Let o = -28315 + 28317. Suppose 2*t = 5*q - 60, -4*q + 2*t + 22 = -26. Solve -q = -o*b - 8 for b.
2
Suppose 17159*u - 17175*u = -160. Solve u*f = 58*f - 336 for f.
7
Suppose 0 = -149*u - 44*u + 10075 + 1505. Solve -u = 11*w + 4*w for w.
-4
Let a = -435 + 444. Suppose 0 = 14*y - 17*y - a, 0 = -2*v + 3*y + 19. Solve -25 = -4*d - v for d.
5
Let t = 5915 + -5894. Solve 0 = -30*q + 33*q - t for q.
7
Let v(u) = 482*u + 8754. Let s be v(-18). Solve s*b - 55*b = 0 for b.
0
Suppose 0 = 251*v - 47*v + 46*v - 146750. Solve 588*y - 5 = v*y for y.
5
Let k be (-11)/((-77)/14) - 6/3. Suppose -w + 8 = -4*h, -3*w - 4 = -2*w + 2*h. Solve w*g - 2*