y = y for y.
0
Let t = -8 + 14. Let c be (-30)/(-135) - 474/(-54) - (0 - -1). Solve 2*b + c = t*b for b.
2
Let t(l) = -l**3 + 24*l**2 + l - 21. Let d be t(24). Suppose -153 = d*q + 39. Let g = -58 - q. Solve -7*k + 1 = -g*k for k.
1
Let n(i) = 2*i + 8. Let k be (14 - 13)/((-1)/7). Let z be n(k). Let p = -4 - z. Solve 2 = -p*u - 8 for u.
-5
Let a be 2/((-18)/(-129))*81/9. Suppose -8*o + 177 = a. Suppose 0*d - 32 = -4*d. Solve -o*n - 8 = -d*n for n.
4
Suppose -9*r + 63 = 4*r - 15. Solve -h - r = -11 for h.
5
Let i(c) = -2*c**3 + 75*c**2 + 41*c - 77. Let v be (-16 + -117)*9/(63/(-2)). Let x be i(v). Solve 0 = -x*p + 34*p - 6 for p.
-2
Let v = -23 + 23. Let t be 0/(-2) - v/5. Suppose t = -5*j + 5*p + 10, -p - 3*p - 13 = -5*j. Solve 7*b - j*b + 2 = 0 for b.
-1
Suppose 13577 - 1096 = 149*d - 9422. Solve -29*s + d = 20*s for s.
3
Let s(d) = 5*d**2 - 292*d - 1438. Let a be s(-5). Solve -a - 143 = -58*z for z.
5
Let i(r) = r**2 - 60*r + 621. Let v be i(47). Solve v*u - 5*u = 0 for u.
0
Suppose -23*j + 22*j = -8. Let s be 2/(-4)*10 + j. Solve f - 2 = s*f for f.
-1
Let n be (2/10)/((-58)/(-1450)). Suppose -3*u = n*l - 23, -32 = -2*u + 27*l - 22*l. Solve 2*m - u = -3 for m.
4
Suppose -5*j + 16 = -p, -23 + 29 = j - 3*p. Solve -2*n + j = -n for n.
3
Let k(z) = z**3 + 51*z**2 + 140*z - 148. Let j be k(-48). Solve 0 = 20*b - 31*b + j for b.
4
Suppose 1520*p - 2994 = 1514*p. Let u = -494 + p. Solve -4*g = -3 - u for g.
2
Suppose -c + 4*c + 9 = 0, 4*z + 4*c + 8 = 0. Suppose 4*o + 16*o = 40. Suppose 18*j - 21*j = 15, 7 = -o*u - 3*j. Solve -z = -g + u for g.
5
Suppose -78*c - 45 = 72*c - 153*c. Solve -c*o = 136 - 151 for o.
1
Let w(k) = -k**2 - 9*k - 14. Let a be w(-6). Suppose t = -4 + a. Suppose 0*i - 3*i = t. Solve -4*l + 0*l - 8 = i for l.
-2
Suppose 4*c - 2*h = 28, 2*c = -3*c + 3*h + 37. Let d = -7 + 9. Solve -d*g = -c*g for g.
0
Let g(o) = -o**3 - 53*o**2 - 680*o + 98. Let h be g(-31). Let n = -20 + 32. Suppose n*r - h = -0*r. Solve -r*i = -4*i for i.
0
Let l(f) = -3*f + 99. Let b be l(-2). Let v be (-142)/(-16) - 9 - b/(-8). Solve -2 = 5*z + v for z.
-3
Let k = 655 - 380. Suppose -k = -7*q - 275. Solve q = -h - 4*h - 15 for h.
-3
Suppose -25*d + 28*d - 4*v - 4675 = 0, 4*d + 4*v = 6308. Solve d - 1571 = -2*m for m.
1
Let a = -154 - -159. Let o = -37 + 62. Suppose -2*y + a*k = o, -5*k = -y + 1 - 26. Solve j + j = y for j.
0
Let s(w) be the third derivative of w**5/60 - 7*w**4/24 - 35*w**3/6 + 89*w**2 + w. Let k be s(11). Solve -25*q + 28*q - k = 0 for q.
3
Suppose 5*l = -4*b - 53, -3*b + 8*l - 3*l = -4. Let h be 4*(-30)/280 + (-3)/b. Solve 3*s - s + 2 = h for s.
-1
Suppose 0*f - 734 = -2*f. Suppose 15 = -364*j + f*j. Solve -5*d = -25 + j for d.
4
Let k(q) = -4*q**2 + 2*q + 4. Let w be k(-4). Let j = w - -79. Suppose j*i + 14 = 18*i. Solve -3*o = i*o + 20 for o.
-4
Suppose 13*h + 24 = -54. Let i be (9/h)/((-10)/30)*2. Solve -5*p = -i*p + 20 for p.
5
Suppose -5*x + 5*j + 139 = 2*j, 4*j - 8 = 0. Solve -42*r - 55 = x for r.
-2
Let i be 3/(-12) + (-762)/24. Let s be (-3)/(2/(i/12)). Let w = 161 + -158. Solve -s*x + 3*x + w = 0 for x.
3
Suppose 56*c - 258 = 52*c - 3*m, -4*c - 4*m = -260. Solve -1100*x = -1109*x - c for x.
-7
Let j(g) = 4*g + 13. Let k be j(-2). Let p be (k - 1)*6/8*11. Let h = -29 + p. Solve -h*r - 6 = 2 for r.
-2
Suppose 12*u = 14 + 10. Let y be u/7 + 4914/637. Solve n = 5 - y for n.
-3
Suppose 79*w = 83*w + 4*x - 36, -3*x = 2*w - 12. Suppose 6*b - b = 25. Solve w*u = b*u for u.
0
Let i(w) = 2*w**3 - 2*w**2 - 2*w - 7. Let y be i(-3). Let x = y + 105. Suppose 17 = -5*m + x. Solve -d + m - 8 = 0 for d.
-5
Suppose -7835*w = -7847*w + 252. Solve -27*v + w*v = 12 for v.
-2
Let y be (-2)/(-1) + (-4)/(-1). Suppose 5*f = 5*z + 20, 3*f + 40*z - 4 = 41*z. Let r be (-3 - f)/((-5)/25). Solve r = -y*x + x for x.
-3
Let f(y) = 2*y**2 + 25*y + 16. Suppose 255 = -16*m + 63. Let h be f(m). Solve -5*l + 5*l = -h*l for l.
0
Suppose -33*k - 43*k + 6864 = 56*k. Solve 171 = -k*m - 37 for m.
-4
Let o(p) = -1676*p - 3212. Let s be o(-2). Solve 22*w + s = -36 for w.
-8
Suppose 11*b - 2 = 13*b. Let l(m) = -m. Let a(i) = i - 8. Let x(t) = b*a(t) - 2*l(t). Let w be x(-4). Solve 1 = -r - w for r.
-5
Let o be (-3 + 2)/(1/1). Let k(l) = -28*l - 251. Let y be k(-9). Let j be -1 - y - (o - 1). Solve -5 = 5*f - j for f.
-1
Let n be 407/33 + 3/(-9). Let p(k) = -k**3 + 12*k**2 + k - 7. Let q be p(n). Solve -4 - 16 = -q*x for x.
4
Suppose 4*m + 284 = -4*s, -3*m + 2*s = -0*s + 238. Let f be (-1995)/m + (-1)/4 - 5. Solve -f*x + 17*x - 8 = 0 for x.
-2
Let r(z) = z**2 - 17*z - 13. Let g be r(18). Suppose -2 = 2*s, -7*s + 33 = g*n - 5*s. Suppose 7*h + n = 14. Solve -b = 3 - h for b.
-2
Let z(g) = -g**2 - 11*g. Let v be -19 + 13 - (-6)/4*-2. Let n be z(v). Suppose 3*u - 3*s - n = 0, 4*s + 10 = 5*u + 3*s. Solve -3*h + u = -4*h for h.
-1
Suppose 5*c - 41 = -4*b + 16, -42 = -4*c - 5*b. Solve c*m + 88 = 62 for m.
-2
Let i(c) = c. Let h be i(-5). Let l(y) = y**2 + y - 18. Let z be l(h). Suppose -z*g = g. Solve g = -2*t - t - 3 for t.
-1
Let m(q) = 17 - 9 + 17 - 2*q. Let y be m(11). Let w be 5 + -1 - (3 - 3/y). Solve 0 = -w*n + 4*n for n.
0
Let w = -197 - -341. Let t be ((-1)/2)/(6 + (-870)/w). Solve 22*b = 26*b + t for b.
-3
Suppose 13*h = 11*h + 2, 3*z + 12 = 3*h. Let u be (-2 - (-4)/2)/(1 + z). Suppose -d + 24 = 2*d. Solve 2*s - d = -u*s for s.
4
Suppose -3*t + 6 + 6 = 0. Let y be -1 + -41 + (t + -6 - 1). Let u = y - -48. Solve -u*s - 23 + 8 = 0 for s.
-5
Let m = 603 - 606. Let n be m*(4 - (-2 - -9)). Solve n*w + 24 = -12 for w.
-4
Let j(h) = -h**2 - 14*h - 15. Let r be j(-12). Suppose -59 = -21*m + 67. Solve 7*c = r*c + m for c.
-3
Let l(i) = 13*i**2 + 19*i - 87. Let n be l(2). Let q(m) = m + 13. Let r be q(-8). Suppose 0 = -c - 3 + r. Solve n = -u - c for u.
-5
Suppose 57*f - 160 = -23*f. Solve -f*a = -9 + 15 for a.
-3
Let a(h) = 4*h**2 + 19*h - 3. Let p be a(-5). Suppose -4*v - 12 = 5*j, -4 - 4 = p*v + 3*j. Suppose 3*c - 5*c = q - v, 3*c - 28 = -4*q. Solve u = 3*u - q for u.
5
Suppose 50*f - 1529 = 11 + 310. Solve 0 = 28*n + 9 - f for n.
1
Suppose -61*v - 100*v + 25290 = 120*v. Solve -v = z - 19*z for z.
5
Suppose 0 = -5*m - 3*x + 541, 601 = 5*m - 4*x + 74. Suppose 15*v = -m + 482. Solve 6*u + 5 + v = 0 for u.
-5
Suppose -4 - 128 = -11*n. Solve -38 = 13*l - n for l.
-2
Let l be (-4)/22 - 1274295/(-2904) - (-18)/48. Solve l*o - 449*o - 70 = 0 for o.
-7
Let d be (-600)/(-152) + 345/57 + -6. Let y(x) = -x**3 + 4*x**2 - 3*x + 3. Let t(u) = u**2 - 2*u. Let i be t(3). Let c be y(i). Solve d*r - c*r = -1 for r.
-1
Let l(m) = -m**3 - 7*m**2 + 6. Let p be l(-7). Suppose g - 10 = 4*o, 3*o = 4*g + 8*o + 2. Suppose -3*j = -p, g*y = 7*y - j - 78. Solve i + 3*i + y = 0 for i.
-4
Let k(p) = p**3 - 11*p**2 + 25*p - 8. Let h be k(8). Suppose -4*y = -4*t - 0*y + 32, -3*t - 2*y + 9 = h. Solve -t*q + 11 = 1 for q.
2
Let x be 2/(-4)*((1 - 3) + 2). Suppose x*m + 6 = 4*m + 2*c, 5*m = -c + 9. Solve -1 = t - m for t.
1
Let i = 6156 + -6128. Solve -i = -8*s - 12 for s.
2
Let n be (2/(-7))/((-322)/12397). Solve -18 - 48 = n*m for m.
-6
Let n(k) = -k**2 - 6*k - 5. Suppose -3*u + 237 = 3*p, u - 91 = 4*p - 2*p. Let t = 80 - u. Let q be n(t). Solve 1 = m - q for m.
5
Let w(y) = y**3 + 14*y**2 + 2*y - 35. Suppose 4*p + 40 + 15 = b, p - 2 = -5*b. Let x be w(p). Solve 113 - x = -u for u.
-5
Let m(h) = -2*h + 23. Let l be m(-3). Suppose 4*c - l - 52 = -5*o, -4*c + 61 = o. Suppose c + 30 = 11*u. Solve -t = -u*t for t.
0
Let u be 2/(7/(21 - 7)). Suppose 4*k + 3 = 4*o - 5, -u*o + 5*k = -10. Solve o = a + a for a.
0
Let g be (-3)/(9/(-12)) - 2/(-1). Let u be (-12)/(-10)*10/3. Let a be (1 - g)*(u + 25/(-5)). Solve -3 - 17 = -a*y for y.
4
Let p = -11513 + 11519. Solve p*y = 26*y + 20 for y.
-1
Let a(m) = 2*m**2 + 0*m**2 + 28 - m**2 + 18 + 29*m. Let u be a(-28). Let k be u/10 + 18/(-10) + 2. Solve k*n + 4 = 3*n for n.
4
Let c(u) be the first derivative of u**4 - u**3/3 + u - 14. Let h be c(1). Let v be (-2)/8 - h/(-16). Solve -4*a + 15 + 1 = v for a.
4
Let q = -22 + 37. Suppose -4*w - 2*y = -22, -5*w + q + 8 = y. Let h(b) = 2*b**2 + 27*b - 58. Let a be h(2). Solve -a = -w*d - 0*d for d.
1
Let g be 24/(-10)*(-100)/40. Let l be -1*5*g/(-10). Solve -5 = l*w + 2*w for w.
-1
Let w(n) = 2*n - 7. Let l be w(6). Suppose -46 = -l*k +