for t.
-3
Let z(i) = 8*i**2 - 6*i + 1. Let a be z(1). Solve -2*n = 2*t - 12, 2*t - 5 = 3*n - a for n.
2
Let t(j) = -4*j + 6. Let u(o) = -o - 1. Let f(n) = -t(n) + u(n). Suppose 6*b = 10 + 14. Let w be f(b). Solve -5*k + 2*k = 3*m + 6, -w*k - m + 2 = 0 for k.
1
Let z be (4/(-6))/(((-3)/(-45))/(-1)). Suppose -2*n = -5*n - l + z, 5*n = 2*l + 13. Solve -2*f = 4*q + 8, -4*q - n = -3*q for f.
2
Suppose -43*r + 6*r + 444 = 0. Solve 5*h - g + 1 + r = 0, 4*h + 5*g = -22 for h.
-3
Let t(j) = -134*j - 667. Let l be t(-5). Solve 5*n - 3 = l*f + 18, 17 = -4*f + 3*n for f.
-2
Let a(w) = w**2 - w - 2. Suppose 13 = -3*u + 7. Let h be a(u). Solve -5*b + d = 13, -7 = h*d + 1 for b.
-3
Let o = -37 + 35. Let n be o/8 - (-42)/8. Solve 3 = 4*b - n, 6 = -2*c - 2*b for c.
-5
Let h = 149 - 147. Solve -2*v + 10 = -h*a, -a + 2*v = -v + 11 for a.
-2
Let w(g) = g**3 + 9*g**2 - 10*g + 5. Suppose f - 3*f + 4*d - 24 = 0, -3 = -3*d. Let b be w(f). Solve z + b = -4*p, 2*p = -0*p + 5*z - 19 for p.
-2
Let s = 30 - -9. Let m be (-3 - 1)*s/52. Let w be (-10)/m*45/30. Solve -z = -0*r - 5*r - w, 2*z = -10 for r.
-2
Suppose -i - 120 = 7*i. Let u = i + 18. Solve 3 + 4 = 4*f + u*g, -4 = -3*f - g for f.
1
Suppose 5*i + 5*f + 15 = 0, f + 3 = -3*i + 6*i. Solve 3*b + i*b = 4*s - 28, -4*b - 8 = 2*s for b.
-4
Let j be 252/(-231)*11/(-2). Solve -4*u - 1 = -3*b - 10, 2*u = 2*b + j for u.
0
Let x be ((-5)/(-10))/((-2)/16) + 7. Solve u + x*q + 11 = -3*u, -2*q = 2 for u.
-2
Suppose 3*f + 2*u = 35, 0 = -2*f - u - 4 + 26. Solve 4*y + f = -3*p, -4*y + 5*p - 4*p = 13 for y.
-3
Suppose 0 = -5*f + 10*f - 65. Suppose 0 = -5*w + g + 21, -f - 5 = -4*w + 2*g. Solve -4*u - v + 3*v = 18, 0 = w*v - 4 for u.
-4
Let b = 1726 - 1715. Solve -5 = -3*f - d, -d - b = f - 6*f for f.
2
Let t be 2 + 2 - (-1 - -4 - 7). Let i(w) = -w**2 + 5*w + 25. Let g be i(t). Suppose 5*k - 8 = z + 5, 5*k - 15 = 0. Solve 4*a - a - z*n = -9, -n - g = 4*a for a.
-1
Suppose w + 27 = 4*t, -87 = -5*w - t - 327. Let k = -45 - w. Solve -3*p - p - 3*m - 13 = 0, -6 = k*m for p.
-1
Let a be (-20)/(-11) - 234/(-1287). Solve 5*l + 2*t - 7 = 0, -5*t = -a*t + 12 for l.
3
Let h = 30 - 26. Solve -28 = -4*n - 2*s, -3*n + 3*s + h = 1 for n.
5
Let x be ((-2)/6)/((-3)/225). Suppose -5*p - x = -5*v, 4*v + 0*p = p + 35. Let q = -7 + v. Solve 4*d + q = -u + 12, -d = u for u.
-3
Suppose 23 + 128 = 5*b - 4*f, 0 = -5*b - 3*f + 123. Let s be (2/5)/((-1)/5). Let l = 2 + s. Solve 0 = 3*v + t + 4*t + b, l = 2*v + 4*t + 20 for v.
-4
Suppose 61 - 1 = 30*d. Solve 4*a + d*j = -j + 4, 3*j + 4 = -2*a for a.
4
Suppose -6 = -9*q + 7*q. Solve 5*g + 4 + 21 = k, q*k = -3*g + 3 for k.
5
Let q(u) = -12*u - 60. Let g be q(-5). Solve g = -3*s + 4*f + 39 - 11, -32 = -5*s + 3*f for s.
4
Let y(x) = -2*x**3 - 13*x**2 - 18*x - 173. Let c be y(-7). Solve -6 - 2 = -a - c*d, 4*d - 12 = -4*a for a.
-2
Let z = 13 + -16. Let n be 24/15 + z/15*-2. Solve -4*d + 9 = -7*d - p, -2*d + n*p = 14 for d.
-4
Suppose -104 + 152 = 16*m. Solve 0 = -s + n + m, 2*n + 1 = -3 for s.
1
Suppose 3 = 2*s - 3. Let i be 80/(-13) - -2*4/52. Let t be s/(-1 + (-15)/i). Solve 2*b = -t*x + 5*b - 2, 4*x - 3*b = 2 for x.
2
Let w(o) = 2*o**3 - 4*o**2 - o. Let a be w(3). Suppose 3*b = -b. Suppose f + b*q = 4*q + 5, -2*q - a = -3*f. Solve i - j - 1 = 0, -i - j + f*j - 2 = 0 for i.
2
Let i be (76/8 + -3)*4. Suppose -i*l + 4 = -22*l. Solve j - l = -0*j, 4*h = -2*j - 6 for h.
-2
Let i = -29 + 28. Let p be (2*(-4)/8)/i. Solve 0 = 2*g + 6, 8 = 5*j + 2*g - p for j.
3
Let o(z) = 3*z - 42. Let s be 2 + (14 - 0 - (-1 - -2)). Let y be o(s). Solve 5*a = -5*i + 50, 0*a - y*i - 10 = -5*a for a.
5
Let o(d) = -d**2 - d + 75. Let s be o(-9). Solve -2*c - 3 = 2*c - s*f, c + f - 8 = 0 for c.
3
Let j be ((-5)/(-35)*0)/(-6 + 3). Solve -2*k + 1 = -d - 0, 4*k - 4 = j for d.
1
Suppose 18 = -12*i + 42. Solve i*b = 4, o - 5 - 4 = -2*b for o.
5
Let v = 20 + -8. Suppose 0 = -6*a + v. Solve -3*r - 8 = a*i, -r + 18 = -3*r + 5*i for r.
-4
Let l(m) = -m**2 - 9*m - 8. Let f be l(-8). Suppose f = -0*s + 2*s - 60. Let k(b) = -4*b - 1. Let o be k(-2). Solve -5*p + 3*z - s = 0, 5*p = 4*z - o*z for p.
-3
Let v = 21 - 31. Let h = v + 10. Let t be h/(-1) - (-24)/3. Solve -t = -4*c + 2*c, 3*p - 4*c = -7 for p.
3
Let a(w) = -w**2 + 15*w + 5. Let v be a(15). Suppose -3*u = 4*i - 6*i - 1, v*u = 5*i. Solve 0 = t - 2 - i, 6 = f + 3*t for f.
-3
Let f be -7 + 10 + 0 + -2 + 3. Solve 4*m = -f*y - 16, -5*y + 7*m - 2 = 3*m for y.
-2
Suppose -4*z - 4*u - 20 = 24, 3*z + 30 = -2*u. Let s = z + 13. Solve 0*f - v = f - 7, 4*v = -s*f + 31 for f.
3
Suppose 9*c = 6*c + 54. Let y = -11 + c. Suppose 2*u - 3*n + 1 = -y, 5*n = 20. Solve -5*p - 4*s = -16, s = -u*p + 6*s + 13 for p.
4
Suppose 2*r = 3*c - 8, 3*r + 2*c - 1 = -0*c. Let t = r + 4. Suppose -17*m - 116 = -46*m. Solve u - 2*g - 4 = t*g, g = 5*u + m for u.
-1
Let l(n) = -n + 1. Let j(m) = -3*m. Let o(t) = -j(t) + 4*l(t). Let q be o(2). Let f be (1/(-2))/(q/(-164)). Solve 21 = -5*h + 2*v - v, 0 = 5*h + 4*v + f for h.
-5
Suppose -2*k + 0 = -2, -3*g - 3*k + 57 = 0. Let p be 14/3 - g/27. Solve 5*w - p*l - 4 = 0, -l + 20 = 2*w + 2*l for w.
4
Let c = 108 + -72. Let w be 2/3*270/c. Solve 2*s - 3 = w*o + 2, 0 = 3*s for o.
-1
Let m be (-2 + 114/12)*(-4)/(-3). Solve -6*f + 1 = -2*a - f, -5*a + 5*f - m = 0 for a.
-3
Suppose 5*l = n + 17 - 11, 2*n = 5*l - 2. Solve 0 = -l*m - d + 7, 4*m + 0*m = 2*d + 10 for m.
3
Let p be (-30)/20 - 15/(-2). Suppose 2*j - 4*v - p = 8, -3*j = -4*v - 15. Let c = j - -1. Solve -2*y + 18 = -3*o - o, -8 = -c*y - o for y.
5
Suppose 0 = 2*o - 8*o + 432. Let d = o - 71. Solve d = m, 2*j - 2*m = -2*j + 18 for j.
5
Let x be 7 + 3/((-3)/(-12)*-3). Solve 0 = -s - 4*s + 3*t + 7, -4 = -x*s + 2*t for s.
2
Suppose 0 = -s - 1, -5*a + 8*a = -5*s + 10. Solve 0 = -5*k - 5*z + a, -5*k = -2*k - 3*z + 15 for k.
-2
Let n(c) = c**2 - c. Let i be n(-1). Suppose -3*b + i = 74. Let v be (-64)/b - (-2)/(-3). Solve -4 = -2*j + u, 0 = -4*u + 5*u + v for j.
1
Suppose 2*z - 4 = -0. Suppose -3*t - 10 = -4*h, 3*h = -2*h - 4*t + 28. Let i = h - 4. Solve y - z*u + 10 = i, 29 = -y - 4*y + 3*u for y.
-4
Let j(q) = q**2 + 2*q - 7. Let k be j(-6). Solve 4*f - f - d + k = 0, 0 = -f + 2*d - 9 for f.
-5
Suppose -5*g - 12 = -9*g. Solve 0 = -2*u - 2*m + 2, 2*u - 6*u + g*m + 25 = 0 for u.
4
Let m be 8/2 + 2 + -4. Suppose -h = m - 19. Suppose o + 3 = 7. Solve -1 = 5*p - 3*x, h = -5*p - o*x - 5 for p.
-2
Let x = -43 - -60. Let q = -12 + x. Solve q*u = 4*t + 3*u - 22, 3*t = 4*u + 19 for t.
5
Suppose -16 = 5*g - 31. Solve -f + 10 = -6*y + g*y, 0 = 3*y - 3*f for y.
-5
Let b be 1/(23*(-3)/24 + 3). Suppose 13*m - 5*m - 8 = 0. Solve f - m = 3*x + 1, 4*f - b = -5*x for f.
2
Let j(b) = 4*b**3 + b**2. Let l be j(1). Suppose p - 8 = -l*f, 0*p - 24 = -3*p - 2*f. Solve -3*c = 4*v - p, 2*c = -2*c - 16 for v.
5
Let f(u) = u**2 - 11*u - 24. Let n be f(13). Solve -n*k - 5 = -3*z, -19 = -2*z - 3*k + 6 for z.
5
Suppose -f = -3*f. Suppose 3*h + 328 = 4*w, 0*w - 2*w - 2*h = -178. Suppose w = 5*i - f*i. Solve 5*o - 3*r - 22 = -5*r, -r + i = 4*o for o.
4
Let r(m) = -m**2 - 18*m - 43. Let s be r(-15). Let v(f) = f**3 - 5*f**2 + 5*f - 2. Let p be v(4). Solve -p*j = 4*n + 20, -s*j = -j + n + 7 for j.
-4
Let c be -26 + (1 - (2*-2)/(-4)). Let v = 30 + c. Solve 2*p = -3*z - z, -v*p = 2*z - 12 for z.
-2
Let z(g) = g**3 - 7*g**2 - 8*g + 4. Let h be z(8). Suppose 0 = -h*w + 3*w + 31. Solve y - 3*q - 5 = 8, 4*y - 5*q = w for y.
4
Suppose 2*m + 72 = -2*m. Let k(a) = -10*a - 2. Let g be k(-2). Let y = m + g. Solve 0 = 3*h - j - y*j - 12, -j - 4 = -h for h.
4
Suppose 0 = -u + 5*u + 5*r - 97, 3*u - r = 68. Solve 2*c + 3*n + 7 = -2*c, -u = 5*c - n for c.
-4
Suppose -20 - 100 = -24*h. Suppose -4*p + 9 = -11. Suppose -4*k = k + p*x - 80, -h*k - 2*x = -77. Solve -2*j + 6*j - 20 = 0, j - k = -5*r for r.
2
Let c be (-2 + 0 - 4)/(-2). Suppose -5*s = 7 + c. Let f be (-20 + 1)*2/s. Solve 0 = d + 4*a + f, -2*d - 2*a = 3*a + 23 for d.
1
Suppose 3*h - 2*h - 5*k - 69 = 0, -3*h - k + 159 = 0. Let c = h - 54. Solve c = -y - o - 5, -13 = 5*y - 0*o + 2*o for y.
-1
Let u be (9/(-4))/(60/(-320)). Let t be 4*2*6/u. Solve -t*s - 2*c - 6 = -7*s, 0 = 4*c + 12 for s.
0
Let u(p) = -5*p**2 + p - 1. Let v(h) = -7*h**2 + 2*h - 2. Let d(s) = -3*u(s) + 2*v(s). Let o be d(2). Solve -o = -k - w, -2*k - 5*w + 21 = 2 f