 25 - x for y.
4
Suppose -314 = 64*v - 66*v. Let n = -147 + v. Solve i = -i + n for i.
5
Let b(u) = -4*u**3 + 38*u**2 + 16*u + 43. Let k be b(10). Solve 5*o + k = 4*o for o.
-3
Let t be (-114)/(-9) - 8/(-12)*-1. Suppose 3*o + t = -4*c, 11*o + 3 = 16*o - c. Solve -6*g - 24 = -o*g for g.
-4
Let v = 6 + -6. Suppose -6*s = -763 + 745. Suppose -2*q + 1 = -5. Solve -q*k + 3 + s = v for k.
2
Suppose -145 = -v - 9*h, -4*v + 425 = -13*h + 18*h. Solve v*q + 6 = 98*q for q.
-3
Let m(r) be the third derivative of -r**4/24 - r**3/6 - 31*r**2. Let s be m(1). Let y be (-1)/(1/(-2)) + s. Solve -1 = c - y for c.
-1
Let v(f) = f**3 - 15*f**2 + 3*f - 7. Let b be v(15). Suppose 42*p = b*p + 128. Solve 2 = 6*m + p for m.
-5
Let k = -577 - -700. Solve 0 = 5*s - k + 108 for s.
3
Suppose 450 = 439*g - 409*g. Solve 38*v + g*v = -10*v for v.
0
Let u(n) = 13*n + 771. Let x be u(-59). Solve -x*j + 6*j = 15*j for j.
0
Let u(f) = 3*f**2 + 15*f. Let z be u(-5). Let s(a) = -a**2 - 6*a + 4. Let g be (-8)/6*36/8. Let d be s(g). Solve -d*b + z*b = 8 for b.
-2
Let p be (2664/(-6))/(-4) + (-4 - -1). Suppose 28 = -16*y + p. Suppose -5*q + f = -y + 4, 4*q = 2*f - 4. Solve -q = c + 3 for c.
-4
Let s = 26688 - 26094. Solve -69*o = -3*o + s for o.
-9
Suppose -p + 129 + 17 = 0. Suppose -18*n + 70 = -p. Solve -3*r + n = -7*r for r.
-3
Suppose -2*h = -3*j - 25, -15*h + 11*h + 55 = -j. Solve 39*d = 46*d + h for d.
-2
Suppose -5 + 5 = 7*w. Suppose w = -8*j + 264 - 144. Solve d = j - 16 for d.
-1
Suppose 5*i + 17*g - 22*g = 0, -g = 0. Solve i = -106*d + 61*d for d.
0
Suppose 0 = -18*s + 16*s - 90. Let o = s - -50. Let k be -1 + -1 + o + -2. Solve -w + 4 = -k for w.
5
Let o = -1802 + 1944. Solve 6*r + 166 = o for r.
-4
Let m be (-14)/(-4) + (-5)/(-10). Suppose 23 - 63 = -m*u. Suppose -48*z + 213 = -27. Solve -3*c + z = -u for c.
5
Let b = -9188 - -9249. Solve 13*x + b = 152 for x.
7
Let z(s) = -s**3 - 8*s**2 + s + 8. Let d be z(-8). Let t be (-2)/((-2)/1)*d. Let c be 7 + (-7 + 0 - (-171 + 167)). Solve 3*m + 8 + c = t for m.
-4
Let l = -25579 + 25579. Solve l = -29*d + 32*d + 24 for d.
-8
Let m = -75 + 36. Suppose -4*n = -2*n + 68. Let g = n - m. Solve -g*t = -2*t - 12 for t.
4
Suppose 24*l = 13*l. Suppose -3*q - 12 = -4*v + 19, -5*q + 2*v - 75 = 0. Let a = 32 + q. Solve 3*u - 3 + a = l for u.
-4
Let o(t) = 156*t + 6997. Let x be o(-44). Solve x*s - 109*s + 192 = 0 for s.
-8
Suppose 5040 = 22*i + 23*i. Solve 9*r - i = -5*r for r.
8
Let t be -1 + 16 - (-1862)/(-133). Let a = -16 - -24. Solve 3*h - t = a for h.
3
Let r(g) be the first derivative of -4*g**3/3 - 80*g**2 + 11*g - 64. Let m be r(-40). Solve -6*i = -m*i + 15 for i.
3
Let z = 1660 + -1647. Solve 5*n - z = -28 for n.
-3
Suppose -527 + 581 = 6*z. Solve z*b + 107 - 62 = 0 for b.
-5
Let b be (-16)/(-40) + 24/15. Suppose 6*y = -b*y + 48. Solve -3*x = -0*x - y for x.
2
Let j = -4 - -2. Let q = j - -7. Let z = -330520 + 330520. Solve z = -4*h + q*h for h.
0
Suppose 0 = s + 2*s + 3*q - 75, 3 = q. Suppose -20 = -s*f + 18*f. Solve 14 = 3*h + f for h.
3
Suppose -i = -y + 11, 694*i = 5*y + 696*i - 83. Let w(v) = v**3 - 9*v**2 + 9*v - 2. Let f be w(8). Solve -y + f = 3*r for r.
-3
Suppose 0 = -j + 5*f - 83, -332 = 4*j - 2*f - 0*f. Let l = 88 + j. Suppose -l*u = -4*r - 8, 0*u = 2*u - 8. Solve -4*t = -15 + r for t.
3
Let o(a) = 5*a**2 + 25*a. Let i be o(-6). Solve 18*v + i*v = -240 for v.
-5
Let q be 15/4 - (-150)/120. Suppose 2*l + q*n + 17 = 10*n, l + 6 = 2*n. Solve l + 16 = -5*v for v.
-4
Let z = -8842 - -8842. Let d be ((-20)/(-6))/(18/27). Solve r - d = -z*r for r.
5
Let i = -2497 + 2587. Solve -i = -10*j - 80 for j.
1
Let t be 5/2*5/125 + 927/30. Solve -14*j - 143 + t = 0 for j.
-8
Let t(y) = -y**2 + 324*y + 1670. Let r be t(-5). Solve -7*s + r = -17 for s.
6
Let t(z) = -z**3 - 14*z**2 + 31*z + 10. Let h be (-9 + (-343)/(-35))/((-1)/20). Let b be t(h). Solve -8 = -6*q - b for q.
-3
Let s be (-45)/(-57)*78/15 - 6/57. Solve -s*l - 4*l = 32 for l.
-4
Suppose 15*f + 36103 = 9658. Let m = -1753 - f. Let i = 16 - 10. Solve -7*z = -m*z - i for z.
-2
Let b = 0 - -10. Suppose 7*q - 16 + 58 = 0. Let s(w) = w + 8. Let z be s(q). Solve 3*h + b = -z*h for h.
-2
Suppose -5*n + 1204 = -9*n + 47*n. Solve -n*p + 3*p = 100 for p.
-4
Let s(u) = 5*u**2 + 13*u - 21. Let l be s(6). Solve l = -6*g + 249 for g.
2
Suppose 108*h - 1485 - 2619 = 0. Solve -h*l + 24*l = -42 for l.
3
Let u = 224 - 220. Let n(y) = y**3 - 5*y**2 + 5*y - 4. Let f be n(u). Let v be (2/4)/(8/64). Solve -l + f = v for l.
-4
Suppose -3*n = -0*n - 6. Suppose -c - n = -5. Let x(h) = 4*h - 6. Let g be x(c). Solve -15 = 3*w - g for w.
-3
Suppose 4*o + g - 61 = 0, 0 = -3*o - g + 16 + 31. Suppose 4*x - 2 = k + 13, -2*k = -x - 5. Suppose p + 0*p = v + k, -o = -4*p + 2*v. Solve -p*s + 4*s = 0 for s.
0
Let y = -2075 - -2139. Solve -22*c = 24 + y for c.
-4
Let s = 29 - 25. Let m be s/((-8)/(-6)) - 41. Let q = -38 - m. Solve 4*t + q = 12 for t.
3
Suppose 5*c + 20 = -f, -5*f = 2*c - 6 + 14. Solve f = -35*b + 46 + 164 for b.
6
Suppose 59 - 13 = 3*d + 5*t, -4*d = 4*t - 72. Suppose 2*o - d = -3*i - i, -3*i + 27 = 5*o. Solve -o*y = 2 + 1 for y.
-1
Let p(x) be the second derivative of 2*x**3/3 + 21*x**2/2 + 3*x - 11. Let t(g) = -2*g**2 + 5*g - 2. Let s be t(3). Let b be p(s). Solve z = -2 + b for z.
-1
Let w be 84/(-294) + -1 + (-3)/(63/(-321)). Solve 707 = w*k + 665 for k.
3
Let q = 60 + -57. Suppose 0 = -5*o - 4*w + 42 - 5, 2*w - 11 = -o. Suppose 8*y = o*y + q. Solve -4*g - y = 3 for g.
-1
Suppose 272*d - 274*d = 4. Let t be (0/(-39) - 8/d)/1. Solve 6*x = 4*x + t for x.
2
Let i be (-13 - (-4)/2)/(3/(-6)). Let n be 94/188*(0 + (i - 0)). Solve 16*s = n*s + 25 for s.
5
Suppose 11*g - 7*g - 11080 = -16*g. Solve 0 = 549*z - g*z + 15 for z.
3
Suppose -5*f - 25 = 0, 4*r + 0 - 7 = -5*f. Let o be r/(-20)*3*-5. Let c be ((-24)/o)/(2 + -4). Solve 3 = c*v + 1 for v.
1
Let c be (0/49)/(-3 + 1). Suppose 2*s = 3*o + 3*s - 1, -2*o = 5*s + 8. Let j(p) = 2*p. Let t be j(o). Solve c = 4*k - t*k - 8 for k.
4
Let x(n) be the third derivative of n**6/120 - 4*n**5/15 - n**4/8 + 4*n**3/3 - n**2. Let v be x(16). Let h = -36 - v. Solve 0 = -h*c + 5*c - 2 for c.
2
Suppose -4*m = 106*m - 31*m - 395. Solve 92 = -m*h + 82 for h.
-2
Suppose -2 = -i + 5*h + 7, -3*h + 105 = 4*i. Suppose 3*n = 5*n + i. Let c be (3 - 0)*n/18 - -4. Solve -c*y + 3 = -5 for y.
4
Let f = 18248 - 18165. Solve -20 = f*t + 63 for t.
-1
Let h = -18 - -19. Let s be h*(-10)/35 + 558/42. Solve 0 = -5*t + 3 - s for t.
-2
Let y = 4558 + -4555. Let a = -6 + 5. Let d be (-122)/(-6) + a/3. Solve 2*p = -y*p - d for p.
-4
Let y(b) = 4*b**2 - 199*b + 156. Let m be y(49). Solve m = -2*h + 5 for h.
-2
Let m be 122/18 - (-4)/18. Suppose -24 = -m*w + 4*w. Suppose 9 = 793*t - 796*t + 2*i, 5*t = -7*i + 78. Solve -x = -t*x - w for x.
-4
Suppose 2*o - 2*n - 7 = 9, 41 = 4*o + 5*n. Let f be o + -4 - (1 + 0). Suppose -11 = -f*j + 9. Solve j*b - b = 4 for b.
1
Let r(z) be the third derivative of z**4/12 - 23*z**3/6 - 27*z**2. Let i be r(13). Solve 5*k - 2 = i*k for k.
1
Let p(z) = z**3 + 10*z**2 - 4*z - 28. Let l be p(-10). Suppose -7*j + 12*j + 2*v - 15 = 0, l = 4*j - 4*v. Solve 8 = -k + j*k for k.
4
Let l(i) = i**2 + i. Let w(g) = -g**3 + 6*g**2 - 19*g - 7. Let t(f) = -3*l(f) - w(f). Let z be t(7). Solve z - 30 = 3*j for j.
-3
Let r(t) = 4*t**2 + 10*t. Let p be r(-3). Let c = -8 - -11. Suppose -5*x + 3 = h, 3*h - c = -5*x + p. Solve h*a + 15 = -2*a for a.
-3
Suppose 600 = 45*x - 4*x + 59*x. Let b be (-2)/6 - 44/(-6). Solve 0 = -x*m + b - 1 for m.
1
Let k = 53 - 51. Suppose -19 - k = -3*g. Solve -11*y = -g*y - 20 for y.
5
Suppose -3*n - 16 = -4*n. Let g be (-2*36/32)/(-12*21/336). Solve n*s - g = 13*s for s.
1
Let y(n) = 3*n**2 - 138*n + 230. Let m be y(45). Solve 9*s + 50 - m = 0 for s.
5
Let r = 6275 - 6270. Solve r*m - 33*m = -140 for m.
5
Let m = 6895 - 6865. Solve 20 = 2*l + m for l.
-5
Let d(s) = 40*s - 66. Let c be d(1). Let u(o) = -o**2 + 11*o + 5. Let z be u(8). Let w = c + z. Solve w*b - 6 + 0 = 0 for b.
2
Let f = -145 + 163. Suppose -4 = -19*p + f*p. Solve p*u - 5*u - 4 = 0 for u.
-4
Let x(w) = w**2 - 4*w - 132. Let u be x(11). Let l be (-58)/(-10) - ((-88)/u)/(-8). Solve -5*j - 9 = l for j.
-3
Suppose 3*f + 4*q = 69, -4*f = -3*q - 206 + 89. Solve -713*h = -716*h + f for h.
