 = -14, -t + 7 = -2*v for t.
-1
Let r(o) = -o - 17. Let u be r(-12). Let g = u + 9. Solve -5*j + 3 = g*t - 2, 35 = 3*j - 4*t for j.
5
Let g = -3 + 5. Suppose 1 = g*c - 7. Suppose -8 = -c*w, -6*n + 3*n = w - 8. Solve -n*a - 18 = -4*v, -4*a - 2 - 7 = v for v.
3
Let r(i) = 4*i**2 - i - 1. Let j be r(-1). Solve -8*x = -4*x + j, -3*x - 3 = 4*s for s.
0
Let x(r) = -r**3 - 9*r**2 - 9*r - 11. Let f be x(-8). Let w be (f/4)/(3/(-12)). Solve -4*p - g - 8 = 0, 11 = w*p - 2*p - 3*g for p.
-1
Let t(a) = -a**3 - 3*a**2 + 3*a. Let j be t(-4). Suppose -184 = -j*l + 3*c, -1 = -2*c + 7. Let h = l - 29. Solve -5*x = -6*b + b + h, -5 = -2*b + x for b.
1
Let a = 21 + -16. Solve -a*b + 25 = -0*b, 5*d = 4*b + 5 for d.
5
Let y(j) = -j**3 - 14*j**2 - 12*j + 19. Let p be y(-13). Solve -3*z - 16 = 2*b, 2*b - 16 = 2*z + p*b for z.
-4
Let r(v) = -v**3 + 18*v**2 - 16*v - 13. Let q be r(17). Solve 2*y = -5*x + 1 + 6, -5*x + y = -q for x.
1
Suppose 2*u + 11 = 3*l, -l + 15 = -5*u + 4*l. Solve u*a = 5*a + 15, -5*a - 28 = 3*o for o.
-1
Suppose 5*c - 5*w + 2*w = 40, -3*c = 3*w. Solve 0*j + 4*a + 24 = -2*j, 0 = -c*j - 3*a - 32 for j.
-4
Let o = 9 - 4. Suppose 7 = -2*j - 5*z, z - 4 = 3*j - 19. Let u = 3 + 1. Solve b + 1 + u = -j*p, 5*b - o*p = 0 for b.
-1
Let t be (0 - -1)*(2 - -1). Suppose -t*m + 8 = -13. Solve 0 = -2*f + d + m, 0 = -4*f - 0*f + 5*d + 11 for f.
4
Let z = -58 - -65. Solve 3*y = 3, -z*v + 2*v - y = -16 for v.
3
Suppose -2*o + 9 = -o. Let j = 17 - o. Solve -d + 3*a = 3*d + j, -4*d - 4*a + 20 = 0 for d.
1
Let s = -1 - -6. Let m = -2 + s. Let n = -22 + 26. Solve 6 - 3 = -m*a, n*a = -2*g + 6 for g.
5
Suppose 3*k + 2*q - 6*q = 16, q + 30 = 4*k. Solve 16 = o + 5*l, -5*l = -2*o + 5*o - k for o.
-4
Let v be -2 + (-18)/(12/(-4)). Let u = 6 - v. Solve -z - 4 = 3*m, -14 - u = m + 4*z for m.
0
Let o be (34/(-4))/((-1)/2). Suppose 0*k + 4*w + 4 = -k, -3*k = -4*w - 20. Solve -3*x + o = 5*m, 7 + k = x + 3*m for x.
-1
Let b(p) = -p**2 + 9*p + 4. Let t be b(9). Solve -5*k = d + 14, -t*k - 5*d - 4 = 24 for k.
-2
Let n be (2 - 11)/(-3) - (-2 + 2). Solve 5*t + 3*x = 6*t - 6, 0 = n*t - 2*x - 4 for t.
0
Let r be (-2 - 1)*-1*1. Suppose h - r = -11. Let y = -3 - h. Solve i + y*q = -4*i - 20, -5 = i + 2*q for i.
-3
Let n(q) = q**2 + 7*q + 8. Let p be n(-6). Solve -m - 7 = -t - 3*t, -p*m - 8 = -5*t for m.
1
Let o = 11 + -7. Suppose 0 = -3*c + o*h + 20 - 8, -3 = 2*c + h. Let n be c/2*4/(-8). Solve -5*j = -3*t, n*t - 2*t + 3*j - 1 = 0 for t.
-5
Let f = -5 - -9. Suppose 3*w + w - 20 = 0. Solve -w*g = -5*c, 4*g + 13 + 19 = -f*c for c.
-4
Let p(k) = -k - 3. Let s be p(-8). Suppose 3*m - 20 = -s. Suppose -20 = -m*y, 2*f = -3*f + 2*y + 112. Solve -t + 10 = -3*r, -r = 4*t + 3*r + f for t.
-2
Suppose 0*m - 5*m = -10. Let y be (28/(-6))/((-10)/15). Let i = 12 - y. Solve -4*f = -2*t - 0*t + 2, -i*t = m*f + 7 for f.
-1
Let h = -12 - -15. Suppose 8*y - 3*y - 20 = 0. Suppose -5 - 20 = -5*i. Solve -i = -q, -3 = s - y*s - h*q for s.
-4
Let h = 22 + -18. Suppose 3*q = 5*t - 16, -h*q + 2*t + t = 3. Solve 5 = -q*z + z - 5*n, 2*n = 3*z - 2 for z.
0
Let s = -12 + 12. Suppose s = -5*u - 3 + 18. Let m be (8/(-10))/((-4)/20). Solve -4*c + 15 = -j - m*j, -u*j - 3*c = 9 for j.
-3
Let m = 12 + -10. Suppose -m*h = -o - 2 - 2, -20 = -5*h. Solve -o*u + 3*k = -15, 5 = -4*u + 2*u - k for u.
0
Let q(g) = -g**3 - 4*g**2 - g + 8. Let b be q(-3). Solve d = 4*u + 16, -d + 4*u + 16 = -b*d for d.
0
Suppose w = 2*w - 3. Suppose -26 = -4*d - w*j - 2, -d + 3*j = 9. Solve 11 = 4*n - 0*n - g, d*n = -3*g + 27 for n.
4
Let y(d) = 4*d**2 - 4*d + 2. Let o be y(2). Suppose 3*t + 3 = 0, p + 3*t + 17 = -p. Let n = o + p. Solve 0 = -n*h + 5*x - x + 7, 20 = -5*x for h.
-3
Suppose -3*k + 6 = 2*l - 4, k = -5*l + 51. Suppose -31 = -5*u - l. Suppose 4*s = 2*w + 8, u*w + w + s = 13. Solve -3*g - g + 12 = 0, -w*b + 3*g + 1 = 0 for b.
5
Suppose 25 = 5*i + 2*b, -2*b = 3*i - 8*i + 25. Solve -3*r = -3*o - 6, r - i*r + 7 = -3*o for o.
-1
Let g be 6/(-5)*(-10)/2. Suppose -5*z - 4 = 1. Let b be (3 - 3) + 1 + z. Solve -4*w - 3*y + 32 = 0, 2*w + b*w = 4*y - g for w.
5
Let t be -3 + 3 + -1*2 + 28. Solve -3*q + t = -4*w + 4, -2*w - 4*q = 0 for w.
-4
Let a(q) = -q**2 + 4*q + 2. Let v(m) = -m - 2. Let x be v(-6). Let g be a(x). Suppose 18 = 3*y + 3. Solve g*f = -y*c - 25, 5*f = -c + 5*c + 20 for f.
0
Let y = -18 - -30. Suppose -5*d - 6 = -2*m - 3*d, m - 3 = -4*d. Solve 3*t + m*p = -24, 4*p = -t + 2*t - y for t.
-4
Suppose 6*q - 29 - 157 = 0. Solve -p - 3*p - q = 5*n, 5*n + 27 = -3*p for n.
-3
Let u be 7 - 4 - 4 - -19. Suppose 6*n = -0*n + u. Solve -n*j = 2*g + 17, 4*g = -3 - 1 for j.
-5
Let l = 5 - 0. Solve -2*q + 5*x - 15 = -7*q, -l*q + 13 = 3*x for q.
2
Let w = -6 + 8. Suppose -20 = -5*r + 3*k + w, -r = -2*k - 10. Solve -r = -c - 2*h, 3*c - 6 = -3*h + 8*h for c.
2
Let p = 1 + 2. Let k(j) = 3*j - 1. Let f be k(2). Solve f*c = p*z - z - 1, -4*z = 5*c + 13 for c.
-1
Suppose 2*s + s = -3, -3*y - 3*s = 12. Let k be (16/(-12) - y)*3. Solve 6*n - n - k*i = 0, 4*i = -4*n for n.
0
Suppose 11 = m - 3*f, -8 = -m + 4*f + 5. Solve -5*v - 2*g = m, -4*v + g - 4*g = 4 for v.
-1
Suppose i - 28 = 5*i. Let p be ((-10)/(-6))/(i/(-105)). Let o be 10*(-2 - 0)/(-4). Solve -21 + 1 = -5*b + 4*d, 0 = b + o*d + p for b.
0
Let m(r) = -6*r - 1. Let l be m(-1). Suppose 2*h = l*h. Solve -3*d + 2*d - 2 = -n, 3*n - 3 = h for d.
-1
Suppose -n + 2*s + 8 = 0, 2*n + 12 = -0*s - 3*s. Solve q - 5*m - 18 - 4 = n, 4*m + 29 = -3*q for q.
-3
Suppose 28*j - 49 = 35. Solve 0 = j*d - 5*d - 2*u + 16, 2 = 4*d - 2*u for d.
3
Let z be -1 + (4 - (-2 - -2)). Solve -g + a - 2 = 3, 0 = -5*g - z*a - 25 for g.
-5
Let v(r) = 2*r + 1. Let s be v(7). Solve -u = -5*g + 17, 3*g - s = 3*u - 4*u for u.
3
Suppose 5*b - 1 = 19. Solve 3*j = 4*f + 11 + b, -3*f = -2*j + 10 for f.
0
Let k = -58 + 63. Solve 9*j - 4*j - 3*l = 13, 5*l - 5 = -k*j for j.
2
Suppose 0*n + 2*n + d = 7, -d = 3*n - 12. Solve -4*g = -n*b + 40, -4 = g + b - 3 for g.
-5
Let k be (-26)/(-8) - 1/4. Let w = -4 + 9. Suppose -14 = 3*h - 2*h - 5*i, -w*i = -5*h - 10. Solve 0*t = 3*c - 2*t + 4, -k*c + 5*t = h for c.
-2
Let j be 204/10 + (-6)/15. Solve 3*b = 4*x + 3, -x - 4*b + 3 = -j for x.
3
Suppose -4*u + 16 = -4*p, -2*p = 3*u - 0*p + 8. Solve -2*m = -w - 11 + 2, u = -w + m - 7 for w.
-5
Let b(p) = -p**2 - 15*p - 10. Let k = 19 + -33. Let j be b(k). Solve -5*c + 11 = -j*s, 4*c = -s + 2*s + 11 for c.
3
Let i(d) = -4*d + 42. Let s be i(10). Solve -2*w = 2*c + 8, -c + s*w + 16 = -2*w for c.
0
Let v(k) = 1. Let f(x) = -x + 1. Let d(u) = f(u) + 5*v(u). Let a be d(6). Solve a = -3*t + 5*l + 31, 3*t - 4 = 2*l + 12 for t.
2
Let x(c) = -c - 3. Let p be x(-5). Let u = 5 + -3. Solve 2*y = p*z - 12, -z = -0*y + u*y + 3 for y.
-3
Suppose 673 = 4*o - 5*p, -3*p - 1 = 5*o - 870. Let j = -2 - -5. Suppose -j*a = a - o. Solve a = 3*q - 4*k + 12, -5 = 3*q + 5*k for q.
5
Let j = -10 + 24. Let u = 9 + j. Let r = u - 1. Solve 4*b - r = 5*y + 3*b, -3*b = y + 14 for y.
-5
Suppose 16 = 3*u - 2*l - 27, 2*u - l = 29. Suppose -u*y = -14*y. Solve -4*x - 3*q - 29 = y, 5*x + 0*q + 22 = q for x.
-5
Let i be (28/(-35))/(4/(-10)). Suppose 28 = 3*k - 4*h, -2*h = 3*k - 5 - 53. Solve -3*l = -i*g + 16, -2*g + 0*l - k = 5*l for g.
2
Suppose d + 25 = 6*d. Let f(l) = 3*l + 5*l**2 + 3*l - l**3 + 4 - 5*l + 2*l. Let o be f(d). Solve -3*q = -4*s - o, -q - 28 = 5*s - 9 for s.
-4
Let p = -8 + 2. Let s = 9 + p. Solve 0 = -s*d - 4*x, d = -0*d + 2*x for d.
0
Let g(v) = v - 4. Let u(r) = -r**2 - 6*r + 6. Let d be u(-6). Let w be g(d). Solve 3*s + 15 = -w*n - 0*s, 5*s = 3*n - 6 for n.
-3
Suppose -5*l - 3 = 47. Let k(x) = -x**3 - 11*x**2 - 11*x + 7. Let z be k(l). Solve i - 3 = -5*o + z, i - 4*o = -16 for i.
0
Let g = -11 + 11. Solve 3*y + 5*j = 3 + 13, 3*y - j + 14 = g for y.
-3
Suppose 3*l = 4*l - 2. Let r = 3 + l. Solve 2*a - i - 6 = 0, -4*a - 6 = -3*a - r*i for a.
4
Let v(c) = -2*c - 22. Let q be v(-12). Solve 5*m = t - 2*t - 27, 9 = -m - q*t for m.
-5
Let p(f) = f + 9. Let v be p(9). Solve -9 = -3*i, -i = -k + 4*k - v for k.
5
Let t(x) = x**3 - 2*x**2 - 7. Let d be t(3). Solve -3*k = d*s - 15, 3*s - 16 = -2*k - 1 for s.
3
Let t(z) = -z**2 - 8*z - 8. Let y be 2*-3 + 0/3. Let g be t(y). Solve -2*q + 5 = f - 4*f, -5 = -g*f + 5*q for f.
-5
Suppose -4*c + 4*f - 4 = -c, -4*c = -4*f. Let s(j) = 37*j**3 - j**2 + 