uppose -a = 194 - 191. Let t(g) = 7*g**2 + 17*g + 4. Let w be t(a). Solve -b + 5*b = w for b.
4
Let u(z) = 3*z**2 + 223*z - 896. Let m be u(4). Solve -m*y = -57*y - 39 for y.
-3
Suppose -8*v = -134 + 54. Suppose v*s - 13 = -3. Solve -2*u + s = 9 for u.
-4
Suppose 17*u - 1825 = 555. Solve -34*z = z + u for z.
-4
Let j = 10 - 1. Let r(k) be the second derivative of -k**4/12 + 11*k**3/6 - 15*k**2/2 + 2*k + 3. Let d be r(9). Solve -d*z + j = -0*z for z.
3
Let m = 1828 - 1826. Solve -29 + 31 = -m*d for d.
-1
Suppose 17*m = -567 + 652. Suppose 2 = 2*l - 4. Suppose -n = 3*p + 3, l*p + 16 = -p. Solve t = -m + n for t.
4
Suppose -4*v + 36 = 5*v. Let c be (3 + -3 - 1) + 5. Let z = c - v. Solve -20 = -z*x - 5*x for x.
4
Let k(u) = u**3 + 2*u**2 + 2*u + 1. Suppose 2*v + 6 = -3*l, 2*l + 3*v = 5*l - 9. Let n be k(l). Solve n = 3*d + 10 for d.
-3
Suppose -534 - 600 = -63*l. Solve -9 = -l*v + 27 for v.
2
Let w be ((-5)/(-3) + -2)*(-855)/3. Solve w = -42*g - 73 for g.
-4
Let t(a) = 69*a - 759. Let r be t(11). Solve 6*m + 0*m + 0*m = r for m.
0
Let l be 25 - ((-320)/(-48))/10*(-30)/4. Solve l = 204*k - 214*k for k.
-3
Let z = 5638 - 5421. Solve 223*v = z*v + 12 for v.
2
Let n be (-2)/(-24) + (-814)/(-24). Solve -92 - 10 = -n*o for o.
3
Let u be (-21 + 23)/(1/3). Suppose -v = u*v - v. Solve -5*r - 22 - 3 = v for r.
-5
Let g(d) = 12*d - 10. Let x be g(1). Let j(t) = 11*t**x + 9*t**2 - 14 - 6 - 21*t**2 + 10*t. Let u be j(7). Solve 4*k + u + 11 = 0 for k.
-3
Suppose 0 = 18*c - 609 + 411. Solve -30 = -z + c*z for z.
-3
Let n be -5 + (-3 - -4) + 2. Let z be (n/2 + 0)/((-11)/77). Solve -11 = -6*l + z for l.
3
Let b(f) = -93*f + 62 - 97*f - 87*f + 391*f - 100*f. Let j be b(-4). Solve 6*u + j = -12 for u.
-3
Let o(x) = 6*x - 19. Let z be o(2). Let s(w) = -w**2 - 9*w - 14. Let j be s(z). Solve -7*l + 2*l - 15 = j for l.
-3
Let p(h) = -h**2 + 187*h - 1086. Let g be p(6). Solve g = -10*d - 5 - 15 for d.
-2
Suppose 30*f + 7*f = -3737. Let i(j) = -j**3 + j - 106. Let w be i(0). Let b = f - w. Solve 6 = -b*u + 1 for u.
-1
Let i = -305 + 319. Let x be (i/(-5) - 1)*(-77 - -72). Solve -4 + x = 3*o for o.
5
Let w(d) = 2*d**3 + 50*d**2 + 59*d - 689. Let i be w(-23). Solve i = 5*t + 100 for t.
-6
Let f be (2/(-3))/((-4)/(-6)). Suppose j - 1 - 22 = -4*a, 5*j + 4*a - 51 = 0. Let q = f + j. Solve 20 = q*n - n for n.
4
Let b = -3 + 3. Let h = -401 + 406. Suppose 3*p = -4*a, -14*p = -h*a - 10*p. Solve a*r + 3*r + 3 = b for r.
-1
Let g(c) = 14*c - 39. Let u be g(3). Suppose -6*l + 11*l = 20. Solve l = u*o + o for o.
1
Suppose -100 = 5*n - 15*n. Suppose -3 = -5*r - 3*i, -2*r - 2*i - n = 2*i. Let c be (-1)/r - (-1)/3. Solve c = -h + 3 for h.
3
Let q(m) = -13*m - 58. Let v be q(8). Let g be -5*(5 - v/(-30)). Solve -z + 0 - g = 0 for z.
-2
Suppose -10*d = 24 - 2134. Let p = -209 + d. Solve p*k + 12 = -k for k.
-4
Let s(c) = -c**3 - 7*c**2 - 7*c - 4. Let n(k) = k**2 - k. Let i(j) = n(j) + s(j). Let o be i(-5). Suppose o = -9*y + 38. Solve -2*u - y = -11 for u.
4
Let u be (-1 - 2)*(-32)/48. Let w = u + 3. Suppose -w*h + 4*k + 20 = 0, -16 = -5*h + 5*k + 9. Solve m + 4*m = h for m.
0
Let p(a) be the third derivative of -7*a**4/24 + 31*a**3/6 + 30*a**2. Let l be p(4). Solve -l*m - 3 = -2*m for m.
-3
Let t be ((-6)/(-5))/(4/10). Let p(y) be the first derivative of -3*y**2/2 - 12*y + 157. Let r be p(-4). Solve r = 3*j + 3 + t for j.
-2
Suppose -5*r + 6 = -19. Suppose -14*o + 29 = -27. Suppose 0 = o*t - 8*i + 5*i + 6, 5*t + 4*i - 8 = 0. Solve t*z = -r*z - 15 for z.
-3
Let s be (-410 - 10)/(-3) - 2. Solve s*b = 125*b + 13 for b.
1
Let z = 3 - 1. Let g be ((-70)/4)/(-7) + (30/12 - 1). Solve g*o + z + 14 = 0 for o.
-4
Let j(i) = -23*i + 213. Let w be j(9). Suppose -3*b - 4*q + 0 + 2 = 0, b + 3*q + w = 0. Solve b = 2*n - 4 for n.
5
Suppose 221 = -14*m + 921. Suppose 3*k = -2*k - m. Let r(n) = -4*n - 30. Let s be r(k). Solve 0*f = 2*f + s for f.
-5
Let l(b) = 2*b**2 - 2*b - 50. Let d be l(6). Let p be 9/6 - (-5)/2. Solve d = -p*s + 26 for s.
4
Let u be 9*10*2/12. Let y(m) = -m**3 - 6*m**2 + 22*m + 60. Let r be y(-8). Suppose 0 = 4*g - 5*n, 10*g = r*g - 2*n. Solve g*x + u = 3*x for x.
5
Let t(j) = j**3 - 4*j**2 - 7*j + 12. Let i be t(5). Suppose -i*m = 3*o - 10, o + 3*m - 7*m = 8. Solve -a + o = 3*a for a.
1
Let j be (-1)/(3*(-2)/(-36)). Let k = -4 - j. Let a be 3*3 - ((-512)/(-320))/(4/10). Solve -22 = -a*w - k for w.
4
Suppose 4*d + 22 = u, 4*u - d + 10 = 38. Suppose -4*g = -10 - u. Let j be 1/4*4 + 10 - 6. Solve -j*f + g + 1 = 0 for f.
1
Let t(v) = 8*v**2 - 12*v - 77. Let c be t(-6). Solve -292 = -9*z - c for z.
1
Let f = -5916 - -5941. Solve f*a + 29 = 54 for a.
1
Suppose -x - 9*k + 9 = -4*k, -k - 3 = -x. Suppose 5*u + x*p - 6 = 3*u, -p + 1 = 0. Solve 6*b + 29 = -u for b.
-5
Let j be (0 + 2 - -6) + -5. Suppose -4*y = -u + 23, j*y + y + 16 = 0. Solve u = k + 5 for k.
2
Let r be 96/(-10) + (-63)/(-105). Let h(u) = -u**2 - 7*u + 20. Let l be h(r). Let f(i) = i**2 + 5*i + 4. Let m be f(-5). Solve -l*t = 2*t + m for t.
-1
Let v(z) = 5*z - 20. Let a be v(5). Suppose -36 = 3*l - 4*l + 2*w, 0 = -3*l + 5*w + 110. Suppose -5*d + 0*m - 3*m = -36, 5*d + a*m = l. Solve d*r = 2*r for r.
0
Let x = -8298 - -8298. Solve -33*y + 55*y - 88 = x for y.
4
Let y(f) = f**2 - 34*f + 81. Let d be y(33). Let u(z) = 28*z - 3. Let l be u(2). Let x = l - d. Solve 6*o - x = o for o.
1
Suppose y - 5 + 0 = -4*t, t - 5*y = -25. Suppose 0*m = m - 4*o + 32, 0 = 2*m + 3*o + 9. Let k be m/(-3) + (3 - 1/(-1)). Solve -3*w - w + k = t for w.
2
Suppose -20*m = -14*m - 840. Solve m = -3*r + 161 for r.
7
Let b(z) be the second derivative of -z**5/20 - 5*z**4/3 - 19*z**3/6 + 3*z**2/2 - 47*z. Let y be b(-19). Solve y*u + 12 = -3 for u.
-5
Let y = 1300 - 1298. Let s(c) = -3*c**2 + 17*c + 2. Let w(p) = -4*p**2 + 18*p + 1. Let b(i) = -6*s(i) + 5*w(i). Let z be b(-5). Solve z*f = -y*f + 10 for f.
2
Suppose 30 - 16 = 7*j. Suppose 68 = 4*i - 5*z, -2*i = -i + j*z - 4. Suppose a = -0 + i. Solve 4*r - a = 8 for r.
5
Let j be (-31885)/(-10) - ((-3)/(-45))/(20/150). Solve -j*w = -3189*w - 3 for w.
-3
Let r be (-2)/(-7) + (-108)/(-14). Suppose 110*s + 51*s - 690 = 23*s. Solve r*l = s*l for l.
0
Suppose 16*h + 2*x = 18*h - 48, 2*h = -13*x - 12. Solve -321*c = -326*c + h for c.
4
Let t be -42*(96/(-42))/4. Solve 85 = -7*p + t*p for p.
5
Let l = -3 + 5. Let o(j) = 6*j + 108. Let m be (-71)/4 - ((-26)/8)/(-13). Let s be o(m). Solve s = l*w - 7*w + 20 for w.
4
Suppose 5*q + 2*o = 30, 0 = -q + 4*o - 16 - 0. Suppose -q*y + 104 = 9*y. Suppose 2*h + 2*h = y. Solve -h = -r - 0 for r.
2
Let l = -338 + 129. Let b be 6/(-11) + (-741)/l. Solve 1 = -2*s - b for s.
-2
Let o(d) = -12*d**2 + 94*d**2 - 24*d + 32 - 2*d**3 - 35*d**2. Let w be o(23). Solve -16 - w = 5*m for m.
-5
Suppose -2*w - 5 = -3*p - 29, 2*p - 120 = -10*w. Let u(z) = -4*z - 8. Let s be u(-2). Solve -n - 11*n + w = s for n.
1
Suppose -s + 6*s = 30. Suppose -4*t - 10 = s. Let a be 1*((88*1)/t)/(-2). Solve 5*w - 4 = a for w.
3
Let h(x) = 6*x - 36. Let f be h(16). Solve -f = -2*k - 64 for k.
-2
Let x(b) = 19*b + 32 - 195 + 76. Let z be x(5). Solve z*h = 13*h for h.
0
Let d = -5971 + 5985. Solve -d*t - 144 = 22*t for t.
-4
Let a(n) = n**2 - 79*n - 770. Let p be a(-9). Solve 144 = 6*x - p*x for x.
-9
Let a = 66 - 98. Suppose 4*s = -24 - 96. Let u = s - a. Solve z + 3 = -u*z for z.
-1
Let k = 44 + -40. Let c be (k - (-32)/(-12))*6. Let p = 13 - c. Solve 8 = p*t - 2 for t.
2
Let c be (10/(-2))/(5/(-25)). Let n = 17 - c. Let k be n/12 + (-40)/(-15). Solve k*u = -1 + 7 for u.
3
Suppose -2*f = -5*l + 437, -28*f + 27*f = -l + 88. Solve l = -7*s + 108 for s.
3
Let y be 30/(-12)*8/70*-14. Suppose 6 = p + y. Solve -p*s = 6 - 0 for s.
-3
Let n be (22 + -9)/((-5)/(-125)). Let t = n - 323. Let r = -5 + 8. Solve -t = -d - r for d.
-1
Let h be (0 - -1)*-1*28 + 2. Let j = h + 36. Let x be ((-4)/j)/(0 + 3/(-15)). Solve 0 = -x*m - 4 for m.
-2
Let g be (9/45*15)/(1/9). Solve 0 = 14*w + 13*w - g for w.
1
Let a be (-3*(-10)/(-15))/(-1). Let m be 2 - ((-286)/33 - a/6). Suppose 2*b = 3*y - 23, 5*b + 14 = y - m. Solve g - 2 = -y for g.
-3
Suppose 13*z - 14 = 11*z. Suppose -7*d + 14 + z = 0. Solve 0*h - 15 = -d*h for h.
5
Let z(m) = 4*m**2 + 53*m - 17. Let f be z(-17). Let t = f + -238. Suppose -4*i = -3*c - 3 - 2, 2*c = 10. Solve t