s*x for x.
-5
Let m be 1 - (-2)/6*0. Let q be 46*2/4 + m. Suppose l = -2*g - 3*l + 16, 3*g + 3*l - q = 0. Solve -3*x = -g*x + 20 for x.
4
Let p = -234 + 264. Solve -8*v + 2*v = p for v.
-5
Let b(j) = -j**2 - 4*j + 5. Let r be b(-5). Suppose -3*s + g = -0 + 3, -g = 0. Let p be 4 - s - 3 - -2. Solve r*a - 12 = p*a for a.
-3
Suppose -17*r = -22*r - 45. Let j = 14 - r. Solve -3*s = -j + 8 for s.
5
Let i be 3/(-6)*(-40)/5. Suppose 12 = -t + i*k - 8*k, -t - 2*k = 6. Solve t = -j + 3 + 1 for j.
4
Suppose -3*c - 4*r = -66, 99*r + 87 = 5*c + 98*r. Solve 0 = 5*s - c + 3 for s.
3
Let i = 4 - 7. Let c be (4 - (-17)/i)*-3. Solve 0*f = c*f + 5 for f.
-1
Let v(f) = 2*f**2 - f - 2. Let b be v(-2). Suppose 0 = -2*h + 5*q - 1, -2*q = -h - 5*q + 5. Solve b = -5*o - h for o.
-2
Let j = -8 - -92. Suppose -3*n - 78 = 3*z - 8*z, -j = -4*z - 3*n. Let c be -1*(3 + z/(-2)). Solve 19 + c = 5*t for t.
5
Let r(f) = f - 13. Let h be r(17). Suppose x - q = 4, q + 16 = h*x + 4*q. Suppose x = -0*s + s. Solve 3 = -s*a - 5 for a.
-2
Let m = -55 + 80. Suppose p + 7 = 5*y, 5*y + 6*p - m = p. Suppose -134 = 14*n - 148. Solve -n = s + y for s.
-3
Suppose -3*u + 7*u + 4*j - 12 = 0, 4*j = -2*u + 6. Suppose h = u*h. Solve h*i - i = 0 for i.
0
Let n = 194 + -191. Solve -n*i = -5*i + 4 for i.
2
Suppose -2*k + 2 = -2. Suppose k*f - 7 = -m - f, 0 = -3*m - 4*f - 4. Let b = m + 13. Solve -2 = b*n - 3*n for n.
-1
Let v(b) = -b**2 - 5*b + 2. Suppose -3 = -7*a + 6*a. Let f be v(a). Let d = 23 + f. Solve x = -d - 2 for x.
-3
Suppose -28 = -17*q + 91. Let x(u) = -u**3 - u**2 - 2*u + 1. Let r be x(-2). Solve q*a = 4*a + r for a.
3
Suppose -25*a - 6 = 2*i - 22*a, 3*a = 5*i - 27. Solve -20 = i*l + l for l.
-5
Let k be (-2)/(2/2) + -2 + 8. Solve -7*s - 15 = -k*s for s.
-5
Let z be 0/2 - (-66)/11. Solve -4*h = 3*h - z*h for h.
0
Let b be -2*(-1)/2*3. Suppose b*o - g = 3*g + 14, o = -5*g - 8. Suppose 0*z + o*z = 0. Solve 0 = 2*n - z*n - 8 for n.
4
Let r(j) = j**3 - 2*j + 6. Let g be r(0). Let o(t) = -t - g*t + t**3 + 7*t**2 + 1 - 2*t**3 + 6. Let d be o(6). Solve -1 = f + d for f.
-2
Suppose -2*k = 3*k + 20. Suppose 0 = -3*i + 4*l + 8, -2 - 1 = -2*i + 5*l. Let r be i - 0/(12/k). Solve r*y - 6*y + 10 = 0 for y.
5
Let u(k) = -k**2 + 1. Let y be u(-1). Let a be 2 - (6/(-2))/(-3). Solve y = 2*f - a + 5 for f.
-2
Let w = 0 + 0. Let s be (((-12)/(-9))/(-4))/((-6)/252). Suppose s + 13 = 3*o. Solve -g - 2*g + o = w for g.
3
Suppose 0 = -7*u + 4*u. Solve u = -y - 14 + 19 for y.
5
Suppose 2*t - 5*i = -8, 4*t - 2*i - 19 = -3. Solve u + 15 = t*u for u.
3
Suppose b + r = 8, 2*b - 11 = r - 2*r. Let q(u) = u**2 - 11*u + 7. Let a be q(11). Solve 5*g = a + b for g.
2
Let t = -419 - -429. Solve 2*y - t + 20 = 0 for y.
-5
Let u = -3 - -6. Suppose 62 = 2*f - 42. Suppose -z = -0*r - r + 4, 5*z = -3*r + f. Solve r = 3*t - u for t.
4
Let d be (18/(-4))/((-3)/18). Let h = d - 26. Let a be (h - 1)*1/4. Solve 3*w + 9 - 24 = a for w.
5
Suppose 159*y = 160*y - 13. Suppose 2*v + 8 = u, v + y = -u + 6*u. Solve -u*q - 5 = -1 for q.
-2
Let h(b) = -b**3 + 17*b**2 - 16*b - 5. Let r be h(16). Let y be r/2*16/(-20). Solve -2*o + 4 = -y for o.
3
Let t(i) = -i**3 + 6*i**2 - 2*i + 8. Let c be t(6). Let l be ((-2)/c)/(6/24). Let m(s) = s**3 - 5*s**2 - 4*s - 10. Let d be m(6). Solve 0 = -4*v - d - l for v.
-1
Suppose 3*c - k + 118 = 0, c - 5*k = -3*c - 150. Let f = 66 + c. Suppose j = 3*j - f. Solve -j - 7 = 4*n for n.
-5
Let c be 637/65 - 1/(-5). Suppose 2*s + 4 = c. Solve 0 = i - s*i - 6 for i.
-3
Suppose -4*i - 1 = -5*n - 13, 12 = 4*i - 4*n. Let m = 6 - i. Let u be (-2)/3 + 85/15. Solve 2*q = u - m for q.
1
Let l = -90 - -132. Let y = 42 - l. Solve 0 = -y*x + x for x.
0
Let k(v) be the third derivative of v**5/30 - 5*v**4/12 - 2*v**3 + 13*v**2. Let z be k(6). Solve h = -z*h - 5 for h.
-5
Let m = 978 + -973. Solve 2*o = -m*o - 14 for o.
-2
Let c = -18 + 25. Solve -6*r = -c*r + 5 for r.
5
Suppose -4*r = -3*h + 17, 5*h - 43 = -14*r + 17*r. Solve -7*y + h*y = 20 for y.
5
Let w(n) = n**3 - 6*n**2 + 4*n + 7. Let a be w(5). Suppose -a*c + 11 = 3*g, 3*c - 8*c = 2*g - 11. Let q = 3 - -1. Solve 0 = g*m - q*m for m.
0
Let n(j) = -j**2 - 10*j - 5. Let t be n(-9). Suppose 10 = t*y + y. Solve -y*v = 3*v + 5 for v.
-1
Suppose 4*b = 19*q - 17*q - 4, 2*q = -2*b + 4. Solve -2*l + 0 + b = 0 for l.
0
Let x(u) = 64*u + 261. Let i be x(-4). Solve -4*m - i = 3 for m.
-2
Suppose -2*h - 132 = -13*h. Solve -h = -0*c - 4*c for c.
3
Let x(l) = l**2 - 14*l + 15. Let y be x(13). Let o be -1 - 4*y/(-2). Suppose -o*u + 38 - 26 = 0. Solve 0 = -0*g + u*g - 16 for g.
4
Let k be ((-2)/12)/((-10)/(-30))*-8. Let a be (-522)/(-63) + 27/(-21) + 1. Solve a + k = 4*b for b.
3
Let s(a) = -5*a + 18. Let f be s(4). Let t(m) = m + 5. Let b be t(-4). Let y = b - f. Solve -2*r = y*r + 25 for r.
-5
Let p = -17 - -17. Suppose p = -0*c - 2*c + 4, 3*d + 2*c - 10 = 0. Solve -4*q = -d*q - 4 for q.
2
Suppose 0 = -5*h + 2*h. Suppose -11 = 2*w + 3*s, h = -4*w - 3*s + s - 2. Let p = 6 - w. Solve -p*b + 12 = -b for b.
4
Suppose 5*f - 16 = -y - 5, 3*f + 3 = y. Solve 0 = -4*s - y + 22 for s.
4
Suppose -7*t + 925 - 92 = 0. Solve 99 = -4*o + t for o.
5
Suppose w + 1 = 0, 8*m - 4*m - 5*w - 5 = 0. Suppose -4*q + 3*b + 82 = m, -26 = -4*q + 5*b + 60. Suppose -15 + q = a. Solve -a = 3*r + 8 for r.
-4
Suppose -4 = -c - 0. Let o(s) = 3*s**2 + 31*s + 80. Let x be o(-5). Solve r + c*r = x for r.
0
Let r(a) = -16*a - 8. Let t be r(-2). Let z = t - 20. Let j = 2 + -2. Solve j = -z*n - n - 5 for n.
-1
Let n(x) = -x**2 - 8*x - 8. Let s be n(-5). Suppose s*g = 8*g. Suppose g = -6*w + 9 + 9. Solve -w*z = -0*z for z.
0
Let x be (4 - (-8 - -3)) + 1. Solve -x = -3*w - 22 for w.
-4
Let x be (-42)/((4/6)/((-16)/(-24))). Let o = -37 - x. Solve 0 = -o*y + 8 - 3 for y.
1
Let a(i) = i**3 + 7*i**2 + 8*i + 15. Let w be 3*(-3)/3 - 3. Let t be a(w). Solve -k = t*k for k.
0
Suppose 0 = 45*k - 43*k - 60. Suppose -6*o = -9*o - k. Let g be (-26)/(-65) - 146/o. Solve 0 = 5*f + g for f.
-3
Let h be 1 + 5/(-8) - (-66)/(-176). Solve -11*n = -h*n - 44 for n.
4
Let m = 89 - 62. Let u = m - 20. Solve -4*a - 12 = -u*a for a.
4
Let m be (27 + -24)/(6/4). Suppose 0 = g - s - 1, -2*s = 3*g - 2*g + 2. Solve -i + 5 - m = g for i.
3
Let x = -13147 + 13150. Suppose -5*i = -4*i. Solve r + x*r - 16 = i for r.
4
Suppose -4*k + 20 = -3*k + 5*z, -16 = -4*z. Suppose -2*b + 6 + 0 = k. Solve -b*u - u = 0 for u.
0
Let t be -10 + 14 + (-4)/(-1). Solve 0 = -z - 7*z + t for z.
1
Let d be (0 + 1)*(11 + -16). Let c(l) = -4*l - 18. Let y be c(d). Solve -5 = -3*m + y*m for m.
5
Let b be (-68)/(55/(-11) + 3). Solve 0 = -20*q - 6 - b for q.
-2
Suppose 8*m - 9*m = 5*y - 35, 5*m - 7 = -y. Solve -y*g + 9 = -12 for g.
3
Let i(y) = 33*y - 544. Let o be i(17). Solve 0 = 28*l - o*l - 55 for l.
5
Suppose -c = -3*u + 3, -5*u - 6*c + 3*c + 5 = 0. Suppose 2*o = 5*a - 50, -a + 14 - u = -o. Solve -3*p = -5*p + a for p.
4
Let q = -1305 - -1377. Solve -70*k - 6 = -q*k for k.
3
Suppose -13 = -a + 3*q - 8*q, 4*q = 3*a - 1. Solve -a*j = 2 + 13 for j.
-5
Let v = 5 + 10. Suppose 3 = 2*x + 4*z - v, 9 = 3*z. Suppose 21 = d + 6*d. Solve -d*y - x = -0 for y.
-1
Let n(w) = -w**3 + 6*w**2 - 6*w + 4. Let t = 8 - 9. Let x = 2 - t. Let f be n(x). Solve -3 = -2*d - f for d.
-5
Let x be 6/((-6)/(-9)*3). Let h(g) = -g**2 - 21*g - 80. Let l be h(-16). Solve j + x + 1 = l for j.
-4
Let n be (-2)/5*-5 - -3. Suppose -4*d - 2*x = -2, 5*d + 11 = -n*x + 1. Solve -2 = -5*g + d for g.
1
Let w(a) = -a**2 + 18*a + 5. Let p be w(18). Solve -2 = -p*l + 23 for l.
5
Let w = 603 + -591. Solve -n + 10 - w = 0 for n.
-2
Let p(x) = -x**3 + 8*x**2 - 8*x + 7. Let s be 3/((-6)/4) + 4. Suppose s*v = 5*w - 11, -35 = -3*v - 5*w + 11. Let f be p(v). Solve f = 3*z - 0 - 6 for z.
2
Let a be -2*(84/(-8) + 4). Suppose 5 = 3*z - a. Solve -4*k = -k - z for k.
2
Let x(j) = -2*j**2 - 40*j + 42. Let m be x(-21). Solve m = 13*v - 12*v for v.
0
Let f be (-134)/(-11) + (-30)/165. Suppose n = -7 + f. Solve -n*y + 17 = -3 for y.
4
Let z = 670 - 666. Solve -c = z*c + 15 for c.
-3
Suppose 2*k + 99 = 5*k + 3*l, -l = -3. Solve -k = 4*h - 46 for h.
4
Suppose -2 = -y - y. Suppose 0 = -5*m + 21 - y. Suppose 75 = m*z - z. Solve 5*c + 0*c = -z for c.
-5
Let s = 10 - 2. Suppose 32 = 5*q - s. Solve -z - z = q for z.
-4
Let p(f) = -f**3 - 16*