10) - (-47)/5. Suppose 12*r - k*r = 9. Solve 6*x = r*x for x.
0
Let t(a) = -3*a**2 - 87*a - 82. Let g be t(-28). Solve 5*q + g = 7 for q.
1
Let u = 334 + -334. Solve -7*q - 4*q + q = u for q.
0
Let f(r) = -2*r - 2. Let w be f(-2). Let b = 7 - w. Solve 0 = -0*o + b*o for o.
0
Suppose -2*j + 0*j + 70 = 0. Solve 0 = -31*a + j*a + 8 for a.
-2
Let v(i) = 4*i**2 - 26*i + 1. Let j = 2 - -5. Let p be v(j). Solve -2*f + 7 - p = 0 for f.
-4
Suppose 28*h = 723 - 51. Solve h = -25*a - 1 for a.
-1
Let c = -1 - -8. Let p = c + -8. Let k(r) = -r**2 - r. Let u be k(p). Solve u = -2*x + 6 - 4 for x.
1
Let b(k) = -k**3 + k - 1. Let r = 16 - 22. Let q(v) = 7*v**3 - 8*v**2 - v + 16. Let j(i) = r*b(i) - q(i). Let a be j(7). Solve -h + 0 = a for h.
-4
Suppose 0 = 2*j + 3*l - 17 - 4, -5*l + 43 = 4*j. Suppose 5*w = -w + j. Solve -w*x - 5 = -3 for x.
-1
Let i be 1/(-1 - 4/(-2)). Suppose 3*u = i + 2. Let m(d) = d**3 + d. Let s be m(u). Solve 3 = -s*j + j for j.
-3
Let a(z) = -7*z - 11 - 14 + 4*z. Let k be a(-9). Solve 5*t = -k + 7 for t.
1
Let t(l) = l**2 - 5*l - 8. Let r(c) = -7*c + 1. Let f be r(-1). Let w be t(f). Let u = -15 + w. Solve 0 = m + u for m.
-1
Let v = 5 - 0. Suppose 0*a + v*a = 0. Suppose z - 4*z = a. Solve 0 = -z*j + 2*j + 4 for j.
-2
Let q(p) = -p**2 - 1. Let m(a) = 5*a + 8. Let h(d) = m(d) + q(d). Let f = 12 + -6. Let v be h(f). Solve 1 = -x - v for x.
-2
Let j be 0 - (-1 - -1 - 2). Let z(p) = -3*p + 2. Let i(m) = m. Let c(b) = -2*i(b) - z(b). Let q be c(j). Solve -r - 5 = -q*r for r.
-5
Let v(s) = s**3 - 6*s**2 + 7*s - 5. Let n = -2 + 7. Suppose -5*x = -4*o - n, -o + x + 10 = 2*x. Let z be v(o). Solve 0 = -0*k + z*k for k.
0
Suppose -10 = -2*s - 5*c + 3*c, -s = 2*c - 7. Suppose -s*t + t = -50. Suppose 5*i + 0*i = t. Solve 6*k = 5*k + i for k.
5
Suppose -5*u + 0*n + 5*n = -50, 3*u = 5*n + 22. Let m = -12 + u. Solve -b = -m*b for b.
0
Let o be 1554/333*27/2. Solve -55*k = -o*k + 16 for k.
2
Let h be 17/(-2) - (-6)/4. Let t = 11 + h. Suppose -t*d + 31 = c + 6, -5*c + 30 = d. Solve c*m = -0*m + 20 for m.
4
Let s be 1*24/56*7. Let r(y) = y**3 - 4*y**2 + 2*y + 3. Let k be r(3). Solve s*z - 4 - 5 = k for z.
3
Suppose -5*r + 26 = 4*b, -r - 2 = -0*r - b. Solve -r*j + 2 - 4 = 0 for j.
-1
Let v(o) = 7*o + 42. Let p be v(-6). Solve -10*y + 15*y + 5 = p for y.
-1
Suppose 2*h = -2, -3*n + 4*h - 4 = n. Let j be (-2 + 1)*(1 - 1). Let b = j - n. Solve 0 = -3*m - b + 5 for m.
1
Let o(j) = -32*j + 98. Let m be o(3). Solve 9 = -11*d + m*d for d.
-1
Let k(a) be the first derivative of a**2/2 + 15. Let g = 10 - 6. Let n be k(g). Solve p - 2*p = n for p.
-4
Suppose 2*c - 2 = 2*i + 8, 4*i - 52 = -5*c. Suppose 3*l + 344 = -4*y + 341, 0 = y - 3*l - 18. Solve -y*p + p - c = 0 for p.
-4
Let l be 3 + (-3 - -2) - (19 + -15). Let d be ((-351)/108)/(l/8). Solve 3 = -5*q + d for q.
2
Let v = -3790 + 3791. Let p be (-3 + 3 - 2)*-1. Solve 1 + v = -p*t for t.
-1
Let l(q) = -3*q**2 + 10*q - 1. Suppose 18 = 5*h + 3. Let j be l(h). Solve j - 3 = b for b.
-1
Let c(j) = 2*j**2 + 6*j + 4. Let i be c(-2). Let u = i - -2. Solve 0*v = -u*v - 2 for v.
-1
Let a = -13 + 12. Let v be -8*a*4/8. Suppose -s = v*s. Solve s = -m - m + 8 for m.
4
Let d(l) = -l**3 + 22*l**2 + 2*l - 24. Let a be d(22). Let h be 12/8 + (-1)/(-2). Suppose -4*v = -h*w - 6, -3*w = -5*v - 8*w + 30. Solve -v*r + a = -7*r for r.
-5
Let z = -1095 - -1110. Solve -21*v = -z*v for v.
0
Suppose 5*l - 21 = -2*l. Suppose -2*m + l*m = -3*d + 12, 12 = -4*m. Solve 4*r + d + 3 = 0 for r.
-2
Let d(y) = y - 5. Let l be d(9). Solve -3*s + 7*s = l for s.
1
Let m(s) = -s**2 + 5*s + 150. Let u be m(-10). Solve 19*d - 27 - 11 = u for d.
2
Let z = 4214 - 4212. Suppose 20 = 4*b - 0*b. Solve -z = q - b for q.
3
Suppose -13*s - 63 = -4*s. Let p = s + 17. Solve 5*c - p + 0 = 0 for c.
2
Let k = 18 - 22. Let x be 4/4*k/(-1). Solve 0 = -0*p - x*p + 8 for p.
2
Let v(a) = a**3 + 8*a**2 + 13*a + 8. Let j be v(-6). Let o be 5*((-18)/(-10) - 1). Solve -j = o*l - 3*l for l.
-2
Suppose 2*p = p - o - 3, 3*p = -4*o - 12. Let m be 1*(-4)/8*p. Let k be (7/(-2) - -3)*m. Solve 2*b = -k*b + 2 for b.
1
Suppose -4*a + 159 = 143. Solve -6*l = -2*l + a for l.
-1
Suppose 5*y + 4*l - 12 = 0, -34*l - 9 = -2*y - 37*l. Solve y*s = -s for s.
0
Suppose 2*n - 2*m = -6*m - 12, 3*n + 5*m = -15. Suppose d - 6*d + 20 = n. Solve -w - d*w = 25 for w.
-5
Suppose -2*z + 1575 = 1571. Solve 0 = -z*r + 6 for r.
3
Let x(r) = r + 9. Let f be x(-16). Let s(h) = h**2 + 7*h + 8. Let j be s(f). Let w(g) = g**2 - 5*g - 4. Let d be w(j). Solve 2*b + 2*b + d = 0 for b.
-5
Let q be ((-190)/20)/(-4 + (-21)/(-6)). Solve q = 8*r + 51 for r.
-4
Suppose -y = -3*a - 2, -6*a = -2*a + 4*y - 8. Solve a = -31*o + 23*o - 8 for o.
-1
Suppose 0 = 2*k - 6*k. Suppose -144*o = 50*o + 52*o - 738. Solve t + k = o for t.
3
Suppose -147*f = -160*f + 130. Solve -5*i = -f*i + 25 for i.
5
Let l = 217 + -211. Solve 0 = -l*v + v for v.
0
Let j be 3/(51/(-2)) - 30/34. Let a be 0*(-3)/(-24)*4*j. Solve -4*o + 4 = -a for o.
1
Suppose -8*y = -9*y + 2. Suppose -3*n = y*b - 11, -2*b + 5 = -3*n - 0. Suppose z + 2*z + 3*j = 0, -3*z + 28 = -b*j. Solve 0 = 2*w + z - 12 for w.
4
Suppose o - 3*r + 6 = 0, r = 4*o - 3*o + 2. Suppose 41 = -3*w + 5*h - o*h, 5*h + 31 = -3*w. Let l = -9 - w. Solve -l*n + n = 4 for n.
-2
Let u = 28 - 13. Let t = -4 + u. Let z(v) = v**2 - 11*v + 3. Let x be z(t). Solve 5 = x*m - 10 for m.
5
Let z be -1 - 16/(-7 - -3). Suppose k + 4*y = -0*k - 18, -5*y = -k + 27. Solve 14 = -z*c + k for c.
-4
Suppose -408 = -217*l + 200*l. Solve -23*f = -l*f - 2 for f.
-2
Let x(j) = -2*j**2 - 11*j. Let o be x(-5). Suppose -21 = -o*r + 4. Solve -r*l + 4 + 11 = 0 for l.
3
Let h(q) = 3*q**2 + 6*q**2 - 3*q**2 - 4*q**2 + 5*q + 8. Let x be h(-4). Let i be ((-4)/10)/((-4)/x). Solve 7*j = i*j + 20 for j.
4
Suppose 0 = 56*i - 50*i - 36. Solve 0 = -4*h + 2 - i for h.
-1
Suppose 2*g - 2 = 0, 0*o + o - 24 = -3*g. Let c be (-3)/7 + 30/o. Solve 2*w + c + 9 = 0 for w.
-5
Let c(s) = -3*s - 7. Let u(l) = 2*l + 15. Let f be u(-9). Let r be c(f). Suppose 0 - r = -q. Solve -6*g + 4 = -q*g for g.
1
Let g(m) = 3*m + 67. Let v be g(-23). Let q be v/(-10) + 76/20 + 2. Solve -3*n = -q*n + 6 for n.
2
Suppose 5*v - o = 1 - 17, v + 3*o + 16 = 0. Let j be (17 - 5)*(-2)/v. Solve -a + j*a = -10 for a.
-2
Suppose 0 = 4*p + 257 - 61. Let f = -46 - p. Let d be (-2)/(-10) - 39/(-5). Solve 7*h + d = f*h for h.
-2
Let b = 5 - 1. Let g be b + -5 - -2*1. Let c be 5/(2/(6/g)). Solve 0 = -4*u + u + c for u.
5
Let q be 0/(4/(-16)*-4). Suppose -14*j + 17*j - 6 = q. Suppose 2*r - 3 - 4 = 3*y, -3*r = j*y - 4. Solve 0 = -p - r*p + 9 for p.
3
Let u be (-1 + 1/(-3))*(-6)/4. Suppose -4 + u = -q. Let b(j) = -j**2 - 4*j - 3. Let h be b(-2). Solve q*f + 3 + h = 0 for f.
-2
Suppose 2*m - 32 = -2*m. Let r be ((-2)/(-3))/(m/(-30))*-4. Solve -5*t = -0*t + r for t.
-2
Let w(r) = -4*r**3 - 5*r**2 - 6*r - 2. Let x be w(-2). Suppose 5*a + 4*l + x = 50, 2*a = l + 19. Solve a - 5 = -3*j for j.
-1
Suppose 3*j - 5*x - 198 = 0, -x + 361 = 5*j + x. Suppose 0 = -3*g, -4*r - 5*g + j = 3. Solve 5*n + r = -8 for n.
-5
Let p be (-20)/12 + (-35)/(-21). Solve 5*x = -p*x for x.
0
Let x = -22 - -132. Let f = -107 + x. Solve -5 = f*w + 2*w for w.
-1
Let g = 152 + -112. Suppose 9*v + g = 17*v. Suppose 3*j - 39 = -9. Solve -v*w = -j*w + 25 for w.
5
Let b be (-258)/(-30) + 3/(-5). Let l = b + -8. Solve l*y = 2*y - 2 for y.
1
Suppose 4*p - 5*y = -13, -5*p + 15 + 5 = y. Suppose p*h + 1 = 28. Solve -r + h = -4*r for r.
-3
Let j(t) = -7*t**2 - 2. Let w be j(2). Let o = 32 + w. Solve 0 + 2 = -o*a for a.
-1
Let n(l) = 4*l - 23. Let y = 45 - 39. Let z be n(y). Solve 0 = -w + z for w.
1
Suppose -28 = -5*g + 4*i, 15*g = 14*g + 4*i - 4. Solve 0 = 3*l - g - 4 for l.
4
Let s(h) = -h**2 + 4*h + 1. Let l be s(2). Solve 4 = c + l for c.
-1
Let u be ((-1 + 1)/(-1))/(12/(-6)). Let o = -6 - -13. Let k = 15 - o. Solve u*y = 4*y - k for y.
2
Suppose -127 = -111*m + 872. Solve m*h - 16*h = -21 for h.
3
Suppose 0 = b + 3*s - 71, -80 = -b - s - 17. Solve b = 4*w + 75 for w.
-4
Suppose -3 + 23 = 5*o. Let c be 2*9/(-6) - -49. Suppose a - c = -a. Solve o*x + 3 = a for x.
5
Let w be (-2 - -3) + 1 - 4. Let h be 0 + 0 - (-2)/w. Let m = h + 3. Solve 3 = -m*d + d for d.
-3
Suppose -2*o + 3*o = 2. Suppose 5*k = -o*j + 27 + 37, j + 22