r c.
1
Let x be (-2)/7 - 894/(-42). Suppose -6 = 2*t - 4*f, 4*t - 36 = 6*t + 2*f. Let s = t + x. Solve 5*u = 5, -s*w + 4*u = -3*w - 6 for w.
2
Let b = 365 + -358. Solve -5*t = 5, 20*u - b = 17*u - 5*t for u.
4
Let a(i) = i**2 - 2*i. Let z be a(3). Suppose -q - 5*s = -z, 2*s = -5*q + s + 15. Solve -q*w + w - y - 7 = 0, 3 = 2*w - y for w.
-1
Suppose a + d = 283, 0*d + 1 = -d. Let q be (3/(-3))/(a/96 - 3). Suppose -3*g + 14 = 2. Solve u - q = g*y, -y + 5 = 2*u + 2 for y.
-5
Suppose 28 = 5*k - 3*f, -4*f = 3*k - 5*k + 14. Solve -4*a - 5*r + 27 = 0, -2*a + 3*r - k*r = -12 for a.
3
Let z be 7/2 + 13/(-26). Solve 11 = -z*w + 4*x, 4*w + 3*x - 42 = -15 for w.
3
Let j be ((-6)/(-3) - -1) + 0 + 7. Let l = 14 - j. Solve 1 = 3*v + l*t, 3*t + 2*t = 4*v + 40 for v.
-5
Let a = -79 + 91. Suppose -6*h + 0 = -a. Solve -9 = -s + 6*r - h*r, -4*s + 22 = -2*r for s.
5
Let q = -438 - -446. Solve -28 = 5*j - 3*x, -3*j + j - q = 2*x for j.
-5
Suppose -1 = k + 3*r + 7, 0 = -k - 5*r - 16. Let g be (-1 + -2)*(-36)/27. Solve 3*m - 11 = z, -k*z + g = 12 for m.
3
Let h be (3/(-9))/((-3)/36). Suppose -2*a - 2*a + 180 = 0. Suppose -5*v + a = -5*g, -g = -6*g - 25. Solve -r = v*u + 20, -2*r - 3*u + h*u = 4 for r.
-4
Let t(q) = -q**2 + 6*q - 5. Let w(j) = j**3 - j**2 + j + 5. Let g be w(0). Let u be t(g). Solve -2 = p, -s + 4*p + p + 13 = u for s.
3
Let t be 2/(-14)*-2 + (-38)/(-14). Suppose 3*d + 0*d = -t*d. Solve -5*j + u + 22 = 0, -2*j + d*j + 18 = -5*u for j.
4
Let l = -34 + 37. Suppose -b + 27 = -0*b - 5*j, -l*b - 4 = 2*j. Solve -3*m + 3*z = -18, -b*z = -3*m - 14 + 31 for m.
5
Let p(j) = -2*j**2 + 24*j - 6. Let t be p(10). Let q = -34 + t. Solve q*k + k = 3*s - 1, 0 = 5*k - 3*s - 7 for k.
2
Let x be ((-1)/(-4))/(12/336). Suppose 8*c = x*c. Suppose 7 - 1 = 2*r - 3*i, -5*i = c. Solve 0 = 2*a - 3*u - r + 10, -5*a + 5*u - 20 = 0 for a.
-5
Let l(n) = 4*n - 23. Let m be l(7). Suppose 0 = -u - 0*u + 1. Let y be (-12)/((-3)/u)*8. Solve -k - 19 = m*z, 5*z + 5*k = -3 - y for z.
-3
Suppose -4*w - 3*z + 7*z + 4 = 0, 2 = -2*z. Suppose -11*m + 8 + 14 = w. Solve -n + m*s + 2 + 3 = 0, 15 = 3*n + s for n.
5
Let b be ((-32)/10)/(-8)*10. Solve 5*w + b*g - 5 = 0, -g + 1 = -2*w - 10 for w.
-3
Suppose -986*n + 977*n = -36. Solve 5*m + x + 15 = 0, -n*m + x + 12 = -3*x for m.
-2
Suppose -4 = -v - 0. Suppose -5*q + 5*g = -10, -v*q + q - 2 = -5*g. Suppose 2 - 10 = -2*x. Solve 5*l - 35 = -4*h, x*l + q*h - 3*h - 27 = 0 for l.
3
Suppose -7*z + 3*z = 0. Suppose z*h - 4*q = -h + 18, -6 = 2*q. Suppose -3616 = -122*g + 898. Solve 3*p + g = -5*s, -h = 4*p + 10 for s.
-5
Suppose 28*q = 121 + 19. Solve -5*g + 5*z = -10, z + q = g - z for g.
-1
Suppose 0 = 5*n - 1 - 9. Suppose 0 = n*t - 8, 3*y - 2*t + 2 = 6. Solve k + 6 = -2*k - y*j, k + 2 = 4*j for k.
-2
Let j(h) = -h**3 + 4*h**2 - 3*h + 3. Let a be j(3). Let c = -23 - -19. Let d be -4 + (-4 - 48/c). Solve 3*o + o = -4*x - d, -5 = x - a*o for x.
-2
Let k(y) = 8*y - 53. Let g be 8 + (8 + -3)/(-5). Let p be k(g). Solve -4*m + 36 = p*t + t, -2*m - 3*t = -23 for m.
4
Let q be 6 + 0 + -15 + 11. Let y be 0 + 24 + (1 - 0). Solve -5*r = q*b - 17, -5*b - y = -5 for r.
5
Let q be (-2 + 1 + 7/(-21))*-3. Let l(z) = z**3 + 7*z**2. Let d be l(-7). Let k = 5 + d. Solve -3*t = 2*g, -k*t = q*g - t + 4 for g.
-3
Let n be 4/(-18) + (-400)/(-180). Suppose 3*l = n*l + 3. Solve 5*r = k - l*k - 24, -2*r = -3*k + 2 for r.
-4
Suppose -549 = -4*a + a. Let z be (-1)/(3 - a/60). Let y(m) = 2*m + 41. Let w be y(-18). Solve -3*p + 1 = -r - 7, w*r + 5*p = -z for r.
-5
Let k be -10*(-1)/(-3)*(-15)/10. Suppose 5*i = p - 4, -12 = -2*p - p - k*i. Solve p*m + 6 - 1 = b, m + 3*b = 15 for m.
0
Let i be (12/(-10))/((-14)/70). Suppose 4*s - 1 = 11. Solve -9 = -4*j - w, 3*w + i = -4*j + s*j for j.
3
Let r = 144 + -140. Solve 5*y = -2*p - p - 17, 5*p + 16 = r*y for p.
-4
Let q(s) = s**2 - 4*s - 3. Let r be q(-1). Suppose -5*p + 100 = 5*g, g - 2*p = r*p + 25. Solve -5*l + 5*n + 7 = 22, 0 = 2*l - 5*n + g for l.
2
Let m be (2/3)/((-6)/(-18)). Let r(t) = -t**2 + 3*t. Let l be r(m). Solve 3*a = i + 13, 2*i + 2*i - 2*a = -l for i.
2
Let c be (-17 - -17)*2/8. Suppose 0*l - 26 = -3*k + 4*l, c = -4*k + 5*l + 33. Solve 0*v + 5*v = -5*o, -5*o = -k*v for o.
0
Let m(r) = 2*r**2 - 18*r + 12. Let v be (4/5 - 1) + 92/10. Let x be m(v). Let y be -2*2/(-4) + 11. Solve -4*a + x = -3*g, y = 4*a + 4*g - 3*g for a.
3
Suppose 5*x - 20 = -10. Solve 2*g - 8 = -4*r + 2*r, -3*g + 13 = x*r for g.
5
Suppose 23*f = 26*f + 4*n - 35, -2*f - 2*n + 20 = 0. Solve -b + f*m - 12 = 0, -8*m = -2*b - 6*m - 8 for b.
-2
Let p = 98 - 70. Suppose p = k + k. Suppose -k*m = -16*m + 8. Solve 4*n + m*t + 12 = -0*t, 0 = 2*n + 4*t + 8 for n.
-2
Let l = -715 - -718. Solve -j = -4*n + j, -5*n + 11 = l*j for n.
1
Let u be 5*3/(-1 + 4). Suppose -2*m - 2*k + 19 = m, u*k - 10 = 0. Solve 0 = f + 4, -m*c - 3*f - 33 = -f for c.
-5
Suppose -20*i + 23*i - 57 = 3*k, 0 = 4*i + 3*k - 111. Solve -i = -4*w + 4*j, j + 9 = 7*w - 5*w for w.
3
Let a be (-2 - -1)*(-1 + 7). Let t be (-1)/(-3)*(12 + a). Solve 5*v - 4*j + 36 = 0, -t*v + 0 = -3*j + 20 for v.
-4
Suppose -4*r - 5*f - 57 = 0, -2*r - 13 = -f - 2. Let u = r - -12. Solve -u*d = -4*a + a - 20, 5*a - 5*d = -25 for a.
0
Let l be (-1*1)/((-22)/88). Solve -r - 4*z = z - 13, l*z = 12 for r.
-2
Let x(f) = -f + 9. Let b be x(4). Solve 3*s - 5 = 3*w - 2*s, b*s = -5*w - 35 for w.
-5
Suppose 2*p + 1068 - 1068 = 0. Let d be 1/4 - 142/(-8). Solve -g + 2*v + 1 = -8, p = 5*g - v - d for g.
3
Suppose 24 = 2*z + z. Let s(i) = -i**3 + 19*i**2 - 86*i + 28. Let t be s(12). Solve 2*p + 17 = t*o - 9, z = -p + o for p.
-3
Suppose -2*j - 4*f - 13 = f, -j - 5*f = 9. Let v be 1/j - (-14)/(-8). Let n be (7 - 4) + v + -1. Solve -2*o + 16 = -4*p, 5*p + 15 = -n*p for o.
2
Let s(u) = -u**3 + 7*u**2 + u + 10. Let j be s(7). Suppose -4*y = 5 - j. Solve y*a = -3*p - 12, -a - 3*p + 5 = -5*p for a.
-1
Let r = -8 + 12. Suppose -5*i + r = -i. Suppose -1 = -b + i. Solve -4*s + b*z = 19 + 3, 2*s + 2*z = -2 for s.
-4
Let k(j) = j**3 + 47*j**2 - 47*j + 53. Let s be k(-48). Solve -l - 3*l = 2*g + 10, s*l + 5 = -5*g for l.
-4
Let l = -91 - -96. Solve p - 3 = -3*y, 4 + 1 = -5*p - l*y for p.
-3
Let l = 98 + -6. Let z = l + -84. Solve 2*d = 2*b - 8, 3*d + 0*d - b + z = 0 for d.
-2
Let a = -1063 - -1068. Solve 12 = 3*c - a*x, 9*c = 4*c + 2*x + 1 for c.
-1
Let b(h) = -6*h + 40. Let p(l) = -18*l + 120. Let k(z) = 7*b(z) - 2*p(z). Let w be k(6). Solve -f = 4*j - 9, -3*f - w*j = -2 - 9 for f.
1
Let d = -689 - -694. Solve 3*x + d = 2*r, -3*x = x + 4*r + 40 for x.
-5
Let k be (-2 - 15/(-3)) + -23. Let h be ((-25)/k)/((-1)/(-4)). Suppose 4*p - 2 - 3 = 5*g, h*p + g + 1 = 0. Solve -3*n = -3*s - 3 + 9, s - 2*n - 3 = p for s.
1
Let m(z) = z**2 - 10*z + 19. Let s be m(8). Suppose -2 - 4 = -3*a. Solve s*g + 14 = v + a, -2*g + 3*v - 1 = 0 for g.
-5
Let s(x) = -x**3 - 5*x**2 - 6*x - 10. Let u be s(-4). Let q be (-15)/(-6) + u/(-4). Suppose q*t = t + 6. Solve 4*k - 12 = -4*w, -2*w - k = -t - 3 for w.
3
Let w be 4/(-4) + (4 - 1). Suppose 4 = 4*y + w*s, y + 5*s + 32 = 5*y. Solve 3*z - 4*z + 5*t = 4, y*z - t - 2 = 0 for z.
1
Let x be -8 + 16 + 0 - 1. Solve x*t - 15 = 4*t, -14 = -j - 2*t for j.
4
Suppose -6*u + 44 = -4*u. Let h = -10 + u. Let s be h*(-4)/8*-1. Solve 0 = -3*a - a - w - 6, -s = -3*w for a.
-2
Let f(k) = -k**3 - 4*k**2 + 5. Suppose 3*g + 1 + 4 = -2*x, 15 = -3*x + 3*g. Let q be f(x). Solve 5*s + 2*z = 27, 0 = q*s - s + 5*z - 25 for s.
5
Let s(l) = -l**3 + 6*l**2 + 10*l - 10. Let o be s(7). Let k = o - 9. Solve 4*q - 2*i = -k, -4*q + 0*q + i - 1 = 0 for q.
0
Let n = -1323 - -1327. Solve -4*q + 14 = -3*c, -4*q - 5*c = -n*c - 6 for q.
2
Let r(k) = k**2 - 4*k - 8. Let i be r(8). Let w = i - 18. Suppose 0 = -5*j + 25, 3*x - 2*j = x - w. Solve -4*m + 2 = 2*z, -m - z + 4 = x*m for m.
3
Let p(m) = m**2 - 2*m - 8. Let u = -25 + 29. Let y be p(u). Solve 0 = 5*t + 5*n, -t - 3*t + 2*n + 18 = y for t.
3
Let u be 1 + (-6)/(-21) + 76/28. Let n(x) = -6 - 4*x + 4*x + 2*x. Let r be n(u). Solve 2 = 2*o - 4*j, o - 3*j - 1 = -r*j for o.
1
Suppose -501*u + 511*u - 50 = 0. Solve 2*a + 25 = -u*b - 0*b, 5*b + 30 = -3*a for b.
-3
Let z be (((-2)/4)/((-8)/64))/1. Suppose z*y = -3*b - 8, 5*b - y = -2*y + 15. Solve 3*f = -21 + 9, -g + b*f + 13 = 0 for g.
-3
Let b be 6/21 + 297/63. Solve 6*q +