n = -3*i + l for i.
5
Let g be 4/(-22) + 2/11. Let s(v) = -v**2 + 2*v + 2. Let d be s(2). Solve 3*y + 0*y - 2*j + 2 = g, -2*j + d = 3*y for y.
0
Let m = 84 - 73. Solve r = 3*v - m, 3*v - 14 = -v + r for v.
3
Suppose -3*n = 5*n. Suppose 3*j - 34 + 19 = n. Solve -19 = -4*a - j*f, 4*a - 4*f + 5 = -3 for a.
1
Suppose 5*r = -0*r + 15. Solve -5*z + 5 = 0, -c = r*z - 5 + 4 for c.
-2
Let a be 4/(-16) + 63/12. Solve 4*x - 3*c = 3 - 2, a*c = 4*x - 7 for x.
-2
Let p be 14/(-4) - (-3)/(-6). Let g be p*3/(-24)*12. Suppose -g*c + 9*c = 0. Solve -4*m + u = -u - 12, -m + 2*u = c for m.
4
Suppose -17*j - 416 = -33*j. Solve -3*q + 4*w + 0 = -4, -5*q = 3*w - j for q.
4
Let h be ((-130)/52)/((-14)/(-8) - 2). Solve 2*u + 20 = 4*t, 0*u = 2*t - 3*u - h for t.
5
Suppose -3*t = -5*y + 8, 5*y = 4*t - 0*t + 4. Suppose 2 = t*k + 2. Let i = -10 + 14. Solve -b + 2*w = -4, -b + k = 3*w - i for b.
4
Suppose 0 = -50*t + 47*t + 9. Solve -4*l - 5*z + 27 = 0, -3*l - l - t = -5*z for l.
3
Let g(y) = y**3 + 2*y**2 - y. Let r be g(0). Let q be (r + 16/(-20))/(1/(-5)). Solve 0*p - 5*p + 3*z - 40 = 0, -q*z = p - 15 for p.
-5
Let m(n) be the first derivative of 22*n**3/3 - 5. Let r be m(1). Solve -5*q - 4*x - r = 0, -1 = x + 2 for q.
-2
Let g(k) = -6*k + 47. Let l be g(7). Solve 20 = -5*x - 4*t, -2*x + l*x = t - 12 for x.
-4
Let h = 25 - 21. Suppose h*f + 2*f = -12. Let k be 150/15*f/(-4). Solve 4*c + 4*q = 12, -q + k*q - 20 = 0 for c.
-2
Let i(q) = -9*q - 223. Let g be i(-25). Solve g*t = 0, -5*x + 5*t + 20 = t for x.
4
Suppose 0 = 2*j + 11 - 31. Let y be -50*((-16)/j)/4. Let v be (1 - 1)*y/40. Solve -3*w - x + 3 = v, -4*w + 9*w + 4*x + 2 = 0 for w.
2
Suppose -5 - 3 = -w - 3*z, 3*w + 4*z - 14 = 0. Solve 5*x + 2*b - w = 0, 3*b + 0*b = -12 for x.
2
Suppose 44 = 11*s - 0. Solve s*x + 18 = -5*g, 4*g - 2*g + 10 = -3*x for g.
-2
Suppose 2*n + 3 = c, -n + 4*c + 0*c - 12 = 0. Let i be (n + 1)/((-4)/(-16)). Solve -2*m = 2*w + i, -5*m = -0*m + 15 for w.
1
Let r(m) = 3*m**3 - 2*m + 1. Let p be r(1). Suppose -3*o - 20 = -x - 5, -2*x = -5*o - 26. Let s = o - -8. Solve -p*v + 2*h = 6, 0*h - h = -s*v - 12 for v.
-3
Let w be ((-540)/12)/(1/(-3)). Let k = w + -128. Solve -a + 11 = -4*r, 3*r + a = 2*a - k for r.
-4
Let a = 175 - 165. Solve 0 = -4*i - 2*g - a, -5*g + 10*g - 3 = -3*i for i.
-4
Let u = 1 - -3. Let b be 1/(u/28) + 0. Suppose p - y = -3*y + 8, 0 = 4*p - 5*y + b. Solve 0 = -c - 5*q + p, -5*c = -4*q + 19 for c.
-3
Suppose 35 = 5*u + 5*c, u - 3*c + 8 = c. Suppose -u*z = z. Solve -4*w + 20 = -z*f - 2*f, 5*w + 5*f + 5 = 0 for w.
3
Suppose 120 = -4*o - c - c, -2*c = 8. Let l = 31 + o. Solve 25 = l*j + 2*x, -4*j - 2*x + 5 = -5*x for j.
5
Let a be 3/6 - 1110/12. Let d = a - -104. Solve 2*j + d = s, -s = -0*j + j for j.
-4
Suppose 36*w - 33*w = 6. Let x = 2 - -2. Suppose -x = -g - w. Solve 3*i + 4 = -j, -j - 6 = -g*j + 2*i for j.
2
Let k = -61 + 64. Let f(j) = -j**3 - 9*j**2 - j - 4. Let x be f(-10). Let a = x - 65. Solve w + 3*p = 7, -8*w - a = -k*w - 4*p for w.
-5
Let g(v) = 3*v**2 - 9*v + 10. Let t be g(0). Solve 3*f - 4*i = 12, 2*f + 4*i = -22 + t for f.
0
Let j be 1128/27 + (-2)/(-9). Suppose j = 7*t - 0*t. Suppose 3*f = -0*f + 6. Solve 5*l - f*c = -4, -t = -3*l - 3*c - 21 for l.
-2
Suppose 5*s - 25 + 10 = 0. Suppose -11 = -r + 2*p - 1, -3*r + s*p + 15 = 0. Solve r = -3*f - v + 11, -2*v - 10 = -2*f + 8 for f.
5
Let u be (-72)/(-336) - (-159)/42. Solve -13*d + u*t = -18*d - 21, 17 = 3*d - 5*t for d.
-1
Suppose 4*i + 5*d - 15 = 0, 0*i + 5*d - 15 = -2*i. Solve -7 = 3*n + s, -4*n + 5*s - 19 - 22 = i for n.
-4
Let p = 87 - 84. Solve 2*u + a = 2, -1 - p = a for u.
3
Suppose m + h = -3*h + 13, 8 = m - h. Let g(a) = -24*a + 8*a + 10 + m*a - a**2. Let p be g(-7). Solve p = 3*n + 2*n, 4*k + n - 2 = 0 for k.
0
Suppose -d - 2 = -4*b - 1, -5*b = 5*d - 20. Suppose i + 1 = -5*f - 4, 4*i + 4*f = -52. Let t be i/(-4) + 8/32. Solve -d*w + c + 3*c = 0, -t*c = 4*w for w.
0
Let h(p) be the first derivative of -p**4/2 + 2*p**3/3 - 4*p - 6. Let o be h(-2). Solve -3*v = -4*t + 5*t - 16, 5*t = o for v.
4
Let q = 21 - 16. Suppose 2*d - q*k - 8 = 0, -2*d + 8 = 3*k - 0*k. Solve -2*v + b - d*b = -18, -11 = -v - 2*b for v.
3
Let d be 1/(((-30)/25)/(-6)). Let i = 10 - 6. Solve -26 = -w - d*k, -i*w + 8*k - 21 = 3*k for w.
1
Let a be 116*(5/2 + -2). Let x = a + -58. Solve -4*z = -3*f + 17 + 14, x = 2*f - 4*z - 26 for f.
5
Let u = 201 - 201. Solve v - 2*t + 9 = u, 2*v = -3*v - 3*t - 19 for v.
-5
Let y be ((-4)/18 - 0)*(104 - 113). Solve 0 = -2*r + 2*i - y, 5 = r + i - 0*i for r.
2
Let h(n) = -2*n + 12. Let a be h(4). Suppose -a = -4*s + 12. Solve -3*c - j - 8 = -c, -4*j - 16 = s*c for c.
-4
Let u be (-1 + 0)*(-22 + 10). Solve -4*f = -2*p - 16, -3*f - f = -p - u for p.
-4
Let o(w) = w**3 + 10*w**2 + 13*w + 12. Let a be o(-8). Suppose 6*i - 9*i = -a. Solve -9 = -3*l - v, -4*l + 5*v + i = -19 for l.
4
Let v = -28 - -50. Let o be (-11)/v*16/2. Let g be 0/((o - 2)/(-3)). Solve -2*m - 2*u - 8 = g, -3*m - 5*u + 4*u - 2 = 0 for m.
1
Let x be (25/(-10))/(2/(-4)). Solve -3*h - 11 - x = -4*o, -5*o = 2*h + 3 for h.
-4
Suppose 2*y - 8 = i, -4*y - 19 = -3*i - 33. Solve -y*m = -5*w + 10, -m + 2*w - 3 = 3 for m.
2
Suppose -45 = -k + 5*c, -c + 21 = -2*k + 3*k. Let i = 12 + -14. Let o(x) = 3*x**2 - x + 1. Let b be o(i). Solve 3*m = -5*n - k, -b = m + 2*n + 3*n for m.
-5
Let w = -923 - -927. Solve 9*i - 8*i - j = -w, -11 = 2*i + j for i.
-5
Let h(w) = 5*w + 25*w**2 - 5 + 21*w**2 + 22*w**2 - 63*w**2. Let k be h(1). Solve 3*r - 1 = 2*g, 2*g + 1 - 6 = k*r for g.
-5
Let w = 36716 - 36711. Let v(i) = -3*i - 5. Let g = -11 - -6. Let c be v(g). Solve 1 = -w*z - 5*q - 9, 3*z - 5*q - c = 0 for z.
0
Let a = -384 - -388. Let k be 12/(-10)*20/(-3). Solve 0 = -a*d + k, 0*w = -2*w + 5*d - 8 for w.
1
Suppose 0 = -5*g + 3*y + 7 + 113, -4*g + 2*y = -94. Suppose -4*o + g = 3*o. Solve -2*x + x - 6 = f, 0 = o*f + 6 for x.
-4
Let l = 130 + -121. Solve -3*c + 0*i + 3*i - l = 0, -4*c + 6 = 2*i for c.
0
Suppose -3*b = -5*b + 20. Let i be 0/(2*5/b). Suppose 0 = 2*l - 0*y - 2*y - 28, 4*l + 3*y - 91 = i. Solve -4*c + l = c - 4*p, 0 = p + 1 for c.
3
Suppose 0 = n + 5*q + 13, -q - 18 + 15 = 0. Solve 3*z = 2*j - 17, -4*z = -n*j + 12 + 10 for z.
-5
Let p be (-3)/(45/(-50)) - (-6)/9. Let r be 8/6*(-3 - 0). Let s = 1 - r. Solve -3*c + 4*k - 19 = 0, -p*c + 1 = s*k - 15 for c.
-1
Let d be ((-4)/14)/(-3*6/252). Solve 2*z + 7 + 5 = -5*p, 4*z + 12 = -d*p for z.
-1
Suppose -5*d - 5 = 0, -6*y + 4*d + 4 = -2*y. Suppose 3*i + 1155 = -4*i. Let l = 179 + i. Solve l = 3*q - y*a + a, -q + 2 = 3*a for q.
5
Let p be (-3 - (-16)/4)/((-4)/(-8)). Solve 5*k = j - p, 5*k + 4 = 3*j - 2 for k.
0
Let y = 573 - 570. Solve 5*z = -4*l + 12, -y*l + 10 = 2*z + 2*z for l.
-2
Suppose 21 = -4*t + 377. Let c = 99 - t. Solve m - 2*j = -m - c, -10 = -4*m - 2*j for m.
0
Suppose 4*u + 5*h - 20 = 0, 2*h = -4*u + h + 4. Suppose 4*w - 8*w = 2*g - 2, -5*g + 5 = 5*w. Suppose w = 4*r + 8 - 28. Solve p = u, -r*j + 13 = -p + 3 for j.
2
Suppose 4*c + 6 = -2*n, 12 = 5*c - 14*n + 10*n. Solve -2*s + 0*f + 3*f - 13 = c, -4*f + 25 = 5*s for s.
1
Let m(f) = f**3 - 9*f**2 - 13*f - 23. Let t be m(10). Let j = 58 + t. Solve -2*d = -j*x - 2, -3*x - 2 = 2*d - 4 for x.
0
Let r(u) = -9*u + 28. Let w(b) = 25*b - 85. Let y(s) = -11*r(s) - 4*w(s). Let h be y(24). Solve -4*l + 3*j - 25 = -h, -3*l = -j + 9 for l.
-2
Let q be (10/105)/(11/231). Solve 3*k = 4*s + 3, k + 3 = q*s + 2 for k.
5
Let r = -67 + 74. Suppose 0 = r*j - 0*j - 2*j. Solve j*w = 3*w + 9, -4*v + 4*w + 32 = 0 for v.
5
Suppose 0 = -3*r + 4*r. Let g be (-18)/207 - (-186)/23 - 5. Solve -5*u - g*i = 30, u + i + 6 + 2 = r for u.
-3
Suppose 3*p + 26 = -55. Let t = p - -29. Let m be (0/((-8)/t))/(-3). Solve 5*b - 2 = 3*a, 0*a - 4*a - 16 = m for b.
-2
Suppose 5*j = 38 + 12. Let p be (4 + 15/(-6))/((-3)/30*-5). Solve -d + 3 = p*g - j, d + g = 7 for d.
4
Suppose -4*p = 86 + 130. Let d be (-1 + (1 - -1))*p. Let w be d/(-36) - (-2)/4. Solve w*r - 4*h = 2, -2*h + h = -3*r - 2 for r.
-1
Let x be 5/((-20)/(-52)) - -1. Suppose 42 = 2*q + 12*q. Solve 35 = -5*s + q*z, 2*z = -5*s - x + 4 for s.
-4
Suppose -g - 1 - 1 = 0. Let s be (0 + 2)/(g/(-4)). Let c be ((-60)/(-50))/(s/10). Solve -q + 22 = 5*t, -c*q + 2*t = 2*q + 25 for q.
-3
Let j(z) = -13*z + 1. Let m be j(-1). Let l = m - 12. Let 