 -x + 5 = 3*t for t.
0
Let l(p) = -p**3 + 6*p**2 + 2*p + 1. Let n be l(6). Solve -4*i - 5*c - 6 = 0, 3*c = -4*i + 3 - n for i.
-4
Let c = -983 - -986. Solve -5*p - 4 = c*x + 3, -2*x = -p - 4 for x.
1
Let h = 9 + -15. Let l(b) = -b**2 - 5*b + 8. Let s be l(h). Let x(r) = 3*r - 9. Let g be x(5). Solve -5*q - s*c - g = -32, -4*q + 19 = c for q.
4
Let y be 15 + (-6)/(-12)*-22. Solve 6 = 3*k - 2*h, -8 = -y*k - 3*h - 0*h for k.
2
Let l be 70/(-5)*-5*24/420. Suppose 0 = -3*w + 4*p - 8, 0 = 2*w - p + 3 - 6. Solve 16 = -3*n + l*i, -4*n - 2*i + i = -w for n.
0
Let l(n) = -n**3 - n**2 - n - 3. Let u be l(-3). Let a = 43 - u. Solve 2*t + 0*t - 3*j = 13, -5*t = -5*j - a for t.
2
Let q = 967 + -966. Solve -5*b = 4*f + q, 2*b - 4 = 2 for f.
-4
Suppose 5*f - 8 = -i + 5, -9 = -3*i. Solve -f*z - 3*z + 3*k = 1, -4*z - 2*k - 14 = 0 for z.
-2
Suppose -5*b = -26 - 4. Let a be ((-63)/(-6))/(b/8). Solve -a = 3*m - t, 2*m - 6*m + 3*t = 27 for m.
-3
Let g(b) = b - 3. Let s be g(7). Suppose -3*f = -4*v - 26, f - 3*f = 4*v - s. Suppose 0 = -2*k + f - 0. Solve -2 = 3*r - 5*c - 8, 5*r - k*c + 6 = 0 for r.
-3
Suppose 33*b - 61 = 5. Solve 10*h - 10 = 11*h - 2*v, -b*h - 5 = -v for h.
0
Let w(m) = -9*m + 6*m - m**2 - 3*m + 18. Let q be w(-8). Solve -4*j - 20 = 3*y, -3*y + 15 = -3*j - q*y for j.
-5
Suppose 5*y = -5*s - 30 + 100, 2*y - s = 43. Let d = 23 - y. Solve -4*k + 25 = 2*h + 3*h, d*h - 20 = -4*k for h.
5
Suppose 4*m = 4*a - 8, 6*m - 8*m + 1 = -a. Solve 3*n + 14 = -y, -3*y = a*n - n + 17 for n.
-5
Let u(l) = -3*l**3 + 21*l**2 + 2*l - 2. Let v be u(7). Suppose v*m = 11*m + 14. Solve -5*d + 14 = -3*q, 4*d + q = 2*q + m for d.
4
Let g = 1035 - 1033. Solve 5*n - 17 + g = -5*m, 0 = -n - 5*m + 19 for n.
-1
Let l(p) = p**2 + 20*p + 64. Let r be l(-16). Solve -4*c + 10 = -2*t, 8 = -2*t - r*t + 2*c for t.
-3
Let y = -74 - -90. Solve 2*p - 5*i = -5, -5*p + p = -4*i + y for p.
-5
Let j(q) = q**3 + 7*q**2. Let z be j(-7). Suppose 4 = -z*i + i. Let n be -9 - -9 - -3*1. Solve -3*c - 2*m + n = -i, -7 = -4*c - 5*m for c.
3
Suppose -5*n + 7*g + 2 = 9*g, 0 = -n - 3*g - 10. Solve 2*y - 4*q = 3 - 7, 5*y - 4*q - n = 0 for y.
2
Let q(r) = -2*r**2 + 3*r - 1. Let s be (0 - -1) + (8 - 8). Let w be q(s). Solve 0 = -2*u - 5*i - 11 - 6, w = 4*u + 4*i + 16 for u.
-1
Suppose 5*b + 5 = -3*q, -4*q - 26 = 3*b - 6*b. Let h be (-1 - -5) + (-27 - 1). Let l = h - -27. Solve -b*o = -3*a - 8, -4*a + 4 = -l*a + o for a.
0
Suppose 1 = 5*w + 2*f, 3*w - 98*f = -94*f + 11. Solve 4*n + 8 = -0, 0 = -3*a - n + w for a.
1
Let w = -24 - -24. Suppose -5*c + 6*c = w. Solve -5*a - 2*k - 6 = c, 4*a = -a + k - 12 for a.
-2
Suppose -3*n = 2*n - 15. Suppose -15 = -y - n*v, 3*y + 0*v = -v + 21. Solve 5 = -5*b - j + 19, -4*j = -5*b - y for b.
2
Let z(h) = -h**2 - 5*h + 17. Let g be z(-7). Suppose 0 = -v - 2*v + 45. Solve -5*x = -p - 25, 0 = 3*x - p + g*p - v for x.
5
Let h = -340 + 342. Solve -3*z - z = -h*s - 12, 4*s = 5*z - 12 for z.
4
Suppose -25 = -3*i - 2*u, 26 = 4*i + 2*u - 3*u. Solve -10*t + i*t = -q - 8, 0 = -3*q + t - 16 for q.
-5
Suppose -24 = -8*b - 0. Solve 4*g + 3*f = -23, 2*g + b*g + 23 = 2*f for g.
-5
Suppose c + 12 = -3*c + 4*i, 0 = c - 4*i + 12. Suppose c = 6*h + 13 - 43. Solve 2*u = -4*r + h*r - 2, 0 = -4*u + 5*r - 10 for u.
0
Let o = 30 - 143. Let t = o - -113. Solve 0 = -3*u + 5*m + 8, 2*m + 8 = t for u.
-4
Let u = 13 - 12. Let n be (-3)/(-6) + u/2 - -3. Solve 5*h + 0*h = -5*q + 30, -n*q - h + 18 = 0 for q.
4
Let o be ((-162)/(-24) - 7)/(2/(-24)). Solve 0 = -u - 4*l - 9, o + 0 = -u - l for u.
-1
Let g = 3 + 4. Suppose 4*p + 12 = 0, f + g - 25 = 5*p. Let b = f + 0. Solve 3*n - b*u = 15, 5*n + 0*n - 4*u = 25 for n.
5
Let r = -44 - -64. Let i be (-10)/r*(-7 + 1). Suppose -m - p + 4 = m, 2*m + 3*p - 12 = 0. Solve -12 = -3*f - i*c, -5*f + m*c + 4 = -3*c for f.
2
Suppose -4*s + 5*r + 19 = 0, 0*r - 14 = -2*s + 4*r. Let l be 9/(-6) + (-72)/(-48). Solve -4*n - 5*q + 15 = l, -2*n + s = q - 8 for n.
5
Suppose p - 40 = 5*p. Let d = 14 + p. Suppose d*l - f = 30, 5*l + 3*f = 17 + 29. Solve -3*g - 3*v = -9, -l - 11 = 3*g - 4*v for g.
-1
Let d be (-8)/60*-3 + (-1119)/(-15). Let m = 79 - d. Solve m*s + 13 + 1 = -2*k, -3*k + 19 = -4*s for k.
1
Let o be (5 - 5 - 8) + 11. Solve -5*z - 3*u = -5, -2*z + o*u = -4*z + 2 for z.
1
Let v = 1093 - 1093. Solve -u + 0*d - 5 = d, -4*d = v for u.
-5
Let v(o) = 11*o - 128. Let t be v(12). Let h(s) = -3*s - 5. Let u be h(-5). Solve t*w - q - 4 = 3*w, -u = -5*w - 5*q for w.
3
Let d be (-30)/(-10) + (-1)/(-1). Suppose 5*w + d = 189. Suppose w = 5*q + 4*y, -28 = -2*q - 3*q - y. Solve 0 = 4*u + 5*b + 10, 10 = 4*u - q*b for u.
0
Suppose 5*l - 7 = 2*g, -2*g - 9 = -l - 14. Solve 0 = -5*t - 2*h - 2 - 0, 4*t = l*h + 3 for t.
0
Let x = -30 - -57. Suppose 6*c - 15 - x = 0. Solve y + c = -2*l, 5*y - 5*l + 6 - 1 = 0 for y.
-3
Suppose -4*i + 48 = 2*i. Suppose 0 = -i*u + 13*u - 20. Solve 0 = -3*k - 4*n - 19, k - u*n = -2*n + 7 for k.
-1
Let i(v) = -38*v + 0 + 37*v + 2. Let a be i(6). Let d be 1/2 + (-14)/a. Solve -5*l + 4*q - 36 = -l, -24 = d*l - q for l.
-5
Suppose -5*q = j + 2 - 10, 6 = q - 2*j. Let w = 1 + q. Let z be 0/3 - -4*1. Solve -5*u = 3*t + 5, z*u = w*t - 2*t - 21 for t.
5
Suppose 5*d = -2*k + 94, 4*d + 28 = 5*k + 90. Solve d = -a + 5*x, -4*a - 5*x + 14 = -7*a for a.
2
Suppose 4*o - 43 - 85 = 0. Suppose -a + 4*v = 0, -5*a - 5*v - 4 + 29 = 0. Solve -2*n = c + 12, 0 = c - 5*c - a*n - o for c.
-4
Let i(p) = -p**3 - 25*p**2 - 66*p + 5. Let c be i(-22). Solve 3 = -0*h + 2*h - b, -h + 4*b = -c for h.
1
Suppose 2*t + 4*m = 14, 16 = t + 3*t + 2*m. Let s = -1297 - -1299. Let n = -9 - -27. Solve -s*d = -4*d + 4*u + n, -2*d + t = -u for d.
-1
Let z = 5 - 3. Let q(r) = 0*r**2 - 4*r - r**z - 1 + 1. Let u be q(-3). Solve 4*m = -y - 21, -u*y - 9 = y + m for y.
-1
Suppose 39 = k + 5*j, 5*j - 91 = -3*k - 24. Suppose 6*s = 8*s - k. Suppose -3*w + s*w = 20. Solve 7 = -3*n - w*h, -4*n + 2*h = -7 - 1 for n.
1
Let t be (12/(-3) - 1)*32/(-40). Solve w + 0*w - t*h + 11 = 0, -6 = 2*w - 4*h for w.
5
Let k = -7 + 8. Suppose 12 = 4*q + 2*q. Solve -5*c = -3*r - 6 - k, 2*c = r + q for c.
-1
Let g be 10/4*(-544)/(-20). Let u = g + -62. Solve -2*b = 2*f + u, 5*f + 7 = -4*b - 4 for b.
-4
Let k = 14 + -14. Suppose -3 = t, 2*r + k*t = 5*t + 21. Solve 0 + r = 3*g - 3*a, 0 = 3*g + 2*a + 17 for g.
-3
Let c be 9/(-12) + 44/16. Let n(l) = -l**2 + 5*l - 2. Let z be n(c). Suppose 0*i - 20 = -z*i. Solve 4*j + 2*o - 3 = 3*j, -i*o = -5*j + 30 for j.
5
Let k = -3 + 6. Let m be (k/(-6))/((-2)/24). Suppose 4*j - z = 10, 4*j - 19 = j - 5*z. Solve 3*x + j = -4*d, 2*d - 1 = -5*x - m for x.
-1
Suppose -3*v = -5*x + 12 - 78, -2*v + 3*x = -43. Suppose 7*f = 5*f + 64. Solve -9 = -y - 5*i - f, 4*y = -5*i - v for y.
2
Suppose 4*j + 4 = -4*n, -4*j + 6 = -2*n - 14. Solve -2*t = z, t - 4 - 3 = j*z for t.
1
Let n be -1 + (2*(-2)/(-4) - -4). Solve 4*p - n*l = -13 - 3, l = -p - 6 for p.
-5
Suppose 0 = -134*t + 131*t + 15. Solve -4*z = -0*z - t*c + 40, -4*z = 5*c for z.
-5
Let n = -58 - -74. Suppose n*u - 3 = 13*u. Solve -w = k + u, -2*k + 2*w = -k + 13 for k.
-5
Suppose -7*o + 6 + 1 = 0. Let t be (-1)/(((-4)/(-17))/(-4)). Solve -o = -h + 2*h, 4*s - 5*h = t for s.
3
Let p(v) = v**3 + 9*v**2 + 8*v + 3. Let b be p(-8). Let r be (b + -1)*(3 + 1). Solve 0 = 3*l - 5*i - 1, 3*l - 2*i + r = -l for l.
-3
Let u(n) = -5*n**3 + n**2 - 2*n - 4. Let y be u(-1). Solve 0 = y*i - s + 12, 5*s - 35 + 5 = 5*i for i.
-2
Suppose 0 = q + 481 - 482. Solve -b - q = -3*o + o, 0 = -2*b + 2*o - 2 for b.
-1
Let l(f) = 1 + 2*f + 26 + f**2 - 12*f. Let c be l(4). Solve -c*t - s + 11 = -0*s, 0 = -t - s + 7 for t.
2
Let d(j) = 0 + 6 + j**3 + 0*j**3 + 6. Let s be d(0). Suppose -5*x + s = -3, -4*z + 4*x + 4 = 0. Solve 3*h + 8 = 5*n, -n + z*h = -2*n - 3 for n.
1
Suppose -x = 3*o, 6*x - 5*x + 4*o + 2 = 0. Solve -t + 2*a = x, a = -4*t + 4 + 17 for t.
4
Let g be 16 - ((-4)/(-10))/((-4)/(-40)). Let n be ((-15)/(-6))/(15/g). Solve y + 4*y = 2*s, n*s = 3*y for s.
0
Suppose 5*k - 4*d + 14 = -d, -5*k + 2*d - 16 = 0. Let f be 17/((-408)/16)*9/(-2). Let y be 4/(-6)*f - k. Solve 0 = -z + 5*v, -y*v = z - 0*v - 7 for z.
5
Suppose 0 = -3*x - 2*x + 5*l, 0 = -3*x - 5*l. Solve 10 = -2*r - 3*z, x = -4*z + 1 - 17 for r.
1
Let b = 935 - 925. Solve c + 2 = 4*f + 3*c, c - b = -5*f for f.
3
Suppose 0 = o - 3*o +