r z.
-4
Let z = -16 - -16. Solve s - 4*m - 9 = z, 0 = -4*s + 4*m - 4 + 16 for s.
1
Let m = 382 + -378. Solve 0 = -4*x + m*a + 20, -4*x = -5*a - 8 - 12 for x.
5
Let w be 6/(-5) + 1/5. Let l(c) be the first derivative of 4*c**3/3 - c**2 - c + 32. Let i be l(w). Solve 2*b = 5*h - i, -4*h = 2*b + 19 - 5 for b.
-5
Let b = 5 + 19. Let x be (6/(-39))/(4/(-52)). Solve -v - x*v = -g + 12, -3*v = 3*g + b for v.
-5
Let f(x) be the second derivative of 3*x**5/20 + x**3/6 - x**2/2 + 3*x. Let u be f(1). Let s = 7 - u. Solve s*o - 3 = 3*t, 3*o - 7 - 4 = 4*t for t.
-5
Let j be ((-3)/9)/(2/(-18)). Suppose 0 = -j*r - c + 20, -3*r + 5*r = -5*c + 35. Suppose 3*v = 4*v - 2. Solve -3*t = r*p + 3, -3*t = v*p - 8*t + 26 for p.
-3
Let s be 4/7 - 992/(-224). Solve 3*m - 5*m = -r - 10, -m + s*r = -23 for m.
3
Suppose -135 = -32*n - 7. Solve 3*c - l + n - 9 = 0, -5 = -5*l for c.
2
Let c = 126 + -91. Suppose -6*g - c + 95 = 0. Solve -y = -4*x - 8, x = -3*y - x + g for y.
4
Let b be 5*((-18)/(-5))/3. Let t(j) = 3*j + 24. Let u be t(-7). Let p be (u/(-9))/((-5)/30). Solve -5*g = b*o - p*o - 6, 3*g - 4*o = -22 for g.
-2
Suppose -5*f + 15 = -5*r, 6*f = f - 20. Let k = 37 + r. Suppose 1 - 3 = -y. Solve -y = 2*b + t - 7, 2*b - k = 4*t for b.
5
Let z(r) = -11*r - 228. Let b be z(-21). Solve -b*l + 6 = -2*w, -2*l = -3*w - 3*l - 9 for w.
-3
Suppose -1314 = -12*g + 126. Let h be g/28 - (-6)/(-21). Solve 11 = u - 4*r, 2*u + h*r + 8 = -6 for u.
-1
Suppose 2285 = -12*m - 55. Let d = m - -195. Suppose 13 + 3 = 4*y. Solve -y*x + 2*j - 8 = 0, 2*x + 3*j = -d*x + 12 for x.
0
Suppose -2*j + 3*r = 3, 0 = -5*j - 0*r + 5*r. Suppose -4*k + j*k = -5. Solve -c - 4 = w, -k*c + c - 7 = w for c.
-1
Let i(z) = -z**2 + 9*z. Let q be i(9). Suppose 4*l - 6*l + 8 = q. Suppose 0 = -3*w + 2*j + 11, -l = -j + 2*j. Solve 17 - w = -4*t, 0 = 3*r + 4*t + 10 for r.
2
Let r be 0 + (3 + -3 - -4). Suppose -4*z + 2*t + 54 = 0, -7*z + 4*t = -2*z - 75. Solve -4 = -4*d - 0, -d = r*c + z for c.
-3
Let i = -323 + 334. Suppose 0 = -x - 3*x - 3*x. Solve -p - 5*y - 25 = x, y + 0 = 3*p + i for p.
-5
Let a(z) = -29*z**2 + 6*z + 6 + 13*z**2 + 15*z**2 - 1. Let t be a(6). Solve 0 = t*x + 5*c - 5, 4*x + c - 3*c = -20 for x.
-3
Let m(a) = 18*a + 41. Let s be m(-2). Solve -4*o = -s*i - o - 9, -2*o = 4 for i.
-3
Let l(k) = -k**3 + 5*k**2 + 5*k - 7. Let y be l(-3). Let r = y - 47. Solve r*i = -4*c - 23, 5*i - 20 = 6*c - c for i.
-1
Let x = -1 - -2. Let f(v) = 2*v - 10. Let t be f(7). Let i be (5 - (-63)/(-12)) + (-21)/(-4). Solve -i*p + t*q + 14 = -5, x = -q for p.
3
Let l = -9 - -15. Suppose 0 = 4*b - y - 8, b + 2*y + l = 4*b. Suppose h - b = 4*c, 2*c - 6*c = 5*h - 10. Solve -2*j = w + 2*j - 17, c = -4*j + 20 for w.
-3
Let m(j) = j**2 - j - 48. Let r be m(8). Solve 3 = -3*p - r*q + 3*q, -3*p - q = 3 for p.
-1
Let t(r) = -3 - 2*r - 5*r + 2*r**2 + 4 - 5. Let i be t(4). Let a be 1 + 2 - (i + 1). Solve b = l + 3, 2*b - a*l + 4*l = -2 for b.
1
Let a = -188 - -205. Solve 5*h - h + a = l, -5*h - 10 = -5*l for h.
-5
Let f = 50 - 54. Let l be f + 4 + -3 + 5. Solve -2*y - 4*x - 16 = 0, 0*y + 5*x = -l*y - 20 for y.
0
Let y be (-64)/(-10) + (-2)/5. Suppose -5*h = 10, -2*h + 0*h + y = 5*d. Suppose d*f - 15 = -3*f. Solve -w + 13 = -4*s, -3*s - f = -w + 7 for w.
1
Let i(a) = -5*a + 62. Let f be i(12). Let j be 1/(24/(-9) + 3). Solve -2 = -f*v + j*q, 5*q + 1 = 3*v - 2*v for v.
1
Suppose 108 - 100 = 2*l. Solve 2*h + r - 5*r + 12 = 0, l*r = 4*h + 12 for h.
0
Suppose g + 4 + 22 = 0. Let i be 1/4*(-1352)/g. Solve -s = -0*s - 3, -2*t - 3*s = -i for t.
2
Let z(k) = -k + 8. Let i be z(5). Let h be 10 + 6*20/(-15). Solve h*s = -2*u + 2, -i*s + 5*s - u - 14 = 0 for s.
5
Let p be (-2)/4 - 13/26. Let t be 3 + p/((-2)/(-6)). Suppose 0*k - 29 = -3*k + 5*q, t = 2*k - 5*q - 26. Solve 4*d = 3*l - 19, 2*d + l = -0*l + k for d.
-1
Let b be (-2)/(-4)*5*2. Suppose b*o - 6 = 19. Suppose 0 = -0*j - o*j + 15. Solve -j*g = 3*h + 3, -g = -3*g + 4 for h.
-3
Suppose -5*n + 38 = f, 3 = 2*n - f - 15. Suppose 0 = -u + 2*u - n. Solve -2*j = -q + 5, -2*q + 3*j + 2 = -u for q.
5
Let w(h) = -60*h + 3. Let b be w(0). Solve -g + 12 = -3*i, 3*i - 4*g + b = -6*g for i.
-3
Let m be 19/5 - 1/(-5). Suppose 2*l - m = 4. Suppose l*u - 9 = 11. Solve 25 = -u*n, -2*n + 15 = 3*b - 8*b for b.
-5
Suppose 0 = -10*w + 112 - 42. Suppose -1 + w = 3*u. Solve 4*k - u*k + 2*l = 6, 0 = 2*k - 5*l + 22 for k.
-1
Let o(g) = -g**2 + 12*g - 8. Suppose -44 = -4*h - 0*h. Let m be o(h). Solve -2*d - 4*y = y - 14, -m*y = -6 for d.
2
Let c = 8 + 12. Let t = 878 + -873. Solve -2*x - c = 4*b, 5*x - 3*b - t = 10 for x.
0
Suppose 0*q = q. Suppose 6 = 3*l - q*l. Solve 2*g - 8 = -f, 3*g + 3*f + l*f = 19 for g.
3
Let m be (-54)/(-12)*24/27. Solve 2*x = m*t - 4, 3*t - 4*x + 5 = -2 for t.
3
Suppose 2*q - 12 = -2*c, 5*q - c - 2*c - 30 = 0. Suppose -u + 91 = q*u. Let h = -8 + u. Solve h*m + 19 - 49 = -k, -2*m = -5*k + 15 for k.
5
Let l = -346 - -349. Solve -3*b = -5*f + 27, 11*f = -3*b + 8*f - l for b.
-4
Let z be (1*-1)/(9/(-6))*-3. Let b be 399/27 - z/9. Solve -4*f - 4*s - b = -3*f, 4*s = 4*f for f.
-3
Let j be (-12)/(-11) + -1 - 262/2882. Solve j = z - b, -2*b = 4*z - 3*z + 9 for z.
-3
Let v = -2992 + 2994. Solve -2*i = 2*i - 5*n - 6, v*i + 2 = 5*n for i.
4
Let a be 16 - (-2 - 4/4). Let i = a + -17. Solve -i*p = -2*k - 3*k - 3, 5*k = -2*p + 13 for k.
1
Let f(t) = t**2 + 8*t + 17. Suppose 0 = 2*y + 21 - 9. Let b be f(y). Let u = -3 + 7. Solve -b*p = -2*p - 12, -5*w + u = p for w.
0
Let f(q) = 2*q**3 - 6*q**2 - 11*q + 14. Let x be f(4). Solve 10 = -3*m - d, m - 10 = -d - x*d for m.
-5
Let m be 3/9*(60 - 0). Solve -4*d = -d - 6, 0 = -5*z + 5*d - m for z.
-2
Suppose -5*k - 3*n - 1 = -3*k, -2*k + 3 = -n. Let p = k + 3. Let y be 37 + -37 - 4*-1. Solve -2*t + y*l - 4 = 0, -23 = p*t - 9*t - l for t.
4
Suppose s = -4*k + 2*s - 8, 4*k = -3*s + 8. Let u = 1 - k. Suppose 2 = -2*f, 3*i + 18 = 6*i + 3*f. Solve -h + y - 2*y = -2, -i = -u*h - y for h.
5
Let t be (0 - (13 + -4)) + 22. Solve -k - t + 0 = -2*f, 2*f - 3*k - 23 = 0 for f.
4
Let b(n) = -n**3 - 10*n**2 - 3*n - 24. Let x be b(-10). Suppose 0 = x*t - 8*t. Solve -4*l + 1 = 5*z - 0*z, t = 4*z + 2*l - 2 for z.
1
Let m(q) = -5*q - 112. Let r be m(-25). Solve u + r = -4*g + 2*u, -2*g + 3*u - 19 = 0 for g.
-2
Let l(b) = b + 3. Let c be l(-1). Let m be (-2 - -4) + c/1. Solve -2*q - 1 = s, 4 - 15 = m*q - s for q.
-2
Suppose 0 = 3*a - 2*w - 1, -12 = -10*w + 7*w. Solve 6*o + 4*y = a*o + 8, -2*y = -2*o + 10 for o.
4
Let p(c) = -c**3 + 7*c**2 - 9*c - 4. Let t be p(5). Let w be t/(-3) + (-12)/(-36). Solve -2*h - o = -6*h + 8, w = -4*h + 3*o for h.
3
Let j(c) = -c**3 + 12*c**2 - c + 14. Let h(i) = -8*i - 28. Let n be h(-5). Let q be j(n). Solve -6*z = -5*z - p - q, -2*z - 4*p = -10 for z.
3
Suppose 14*x - 19*x = -10. Let d(s) = 7*s + 8. Let a be d(x). Solve 23 = -2*c + 5*b, 2*b - 4 = 5*c + a for c.
-4
Let z = -193 - -268. Let w = -74 + z. Let h(k) = 2*k**2 + 3*k - 2. Let u be h(-3). Solve -4*y - 4*r + w + u = 0, 4*y + 5*r = 10 for y.
0
Let f be 68/119 + (-20)/(-14). Solve f*v - 10 = 0, -3*p + 5*v = -0*p + 28 for p.
-1
Let o be -12 + (-970)/(-80) - (-31)/8. Solve 0*c = c + u + 5, o*u = -4 for c.
-4
Suppose -4 = 2*i + 5*n, 2*i - 3*n + n = 10. Suppose 5*m + i*m - 4*m = 0. Solve -4*o + m*c = 4*c - 8, -4*o + 14 = 2*c for o.
5
Suppose -2 = 4*p + 10, 2*p = -4*v - 70. Let z = v - -21. Suppose 2*f + 26 = 5*o, 4*o + 4*f - 2 = z*o. Solve c = u - 2, -3*c + 6 = -o*c - u for c.
-2
Let y = -91 + 73. Let a be (-4)/y - 86/(-18). Solve -i = -a*x + 18, 0 = -2*x - 0*i - 2*i + 12 for x.
4
Let t(z) = 6 - 12 + 2 + 3 - 18*z + 7*z**2. Let p be t(3). Suppose 10 = 2*r + 2*r - 2*o, 3*o = 3*r - 9. Solve -3*y - r*j = -1, p = j - 3*j for y.
3
Let m = -61 - -118. Let y = -53 + m. Solve 0 = t + 4*t - 4*d + 15, y*t + 12 = -4*d for t.
-3
Suppose 0 = -2*y + 2*w, -6*y + 3*y - 2*w - 15 = 0. Let z = 9 + y. Solve 2*v - z*v - 3*u = -6, -5 = -v + u for v.
3
Let q be (0 - (1 - 1))/(-2). Suppose -4*b + 1 + 11 = q. Suppose -6*w + 2*w = -144. Solve -24 = -3*r - 3*z, -7*r - 5*z = -b*r - w for r.
4
Suppose -3*x - 4 = 2*o - 0, 5*x + 10 = -5*o. Solve 3 = 3*h - 4*h + q, -h - 2*q = x for h.
-2
Suppose 3*j + 12 = 0, 5*x = -5*j - 4 - 6. Solve -2*l - x = 4*h - 0, 5*h = 0 for l.
-1
Suppose -3*s = -s - 3*h - 4, 2*s = 5*h. Solve -3*z + 11 = 3*p 