7 for t.
-1
Let w be 4/(-14) + 32/14. Let r be 1/3*3*w. Suppose -3*d = 3*b - 7*d - 22, 4*b + r*d - 44 = 0. Solve 2*q = u + 2 - b, q + 4*u = 14 for q.
-2
Let q(c) = c**3 - c + 1. Let i be q(0). Let a be 0/(-3)*i/(-2). Solve -4*p = -6*m + 3*m + 12, -2*m + 3*p + 8 = a for m.
4
Let k(w) = 7*w - 25. Let m be k(4). Solve m*b - c = 4*b + 9, 5*c = b - 15 for b.
-5
Let a(k) = -2*k - 2. Let y be a(-5). Suppose -w - 3*w + y = 0. Let i be ((-1)/w)/((-1)/16). Solve 0 = -5*v + q - 4, 3*v - i*v + 4*q - 16 = 0 for v.
0
Let v = 18 - 9. Suppose 3*k - 14 = -5. Solve v = -3*i, 8*i + 24 = -3*n + k*i for n.
-3
Let v be (2 + -2 - -1)/1*5. Solve s - r = 3*s + 6, v*r + 21 = -s for s.
-1
Suppose -5*v + 3*v + 4 = 0. Solve 0*u - 14 = -3*d + u, -5*d - v*u + 5 = 0 for d.
3
Let b = -18 + 16. Let m = 9 + b. Solve -5*g = -k - 24, -2*g + 3*k = -0*k - m for g.
5
Suppose w - 3 = 2. Suppose 2*x + 3*x - w = 0. Let z = x - 1. Solve 5*d + 2*j - 23 = z, d - j - 11 = -d for d.
5
Let o be 2 - (-10 - (-1 - 1)). Let g be 22/33 + o/3. Solve -6 = 2*m - g*x, 0 = 4*m - 4*x + 8 - 0 for m.
-1
Let l be (37 - 38)*1/2*0. Solve 0*u + 8 = 2*n - 3*u, -2*n + u = l for n.
-2
Suppose 6 = -2*h + 5*h. Suppose -6*z + 12 = -h*z. Solve -2*j + j + 6 = -z*q, -j = 5*q + 18 for q.
-3
Let x(p) = -p**2 + 3*p + 2. Let f be x(4). Let r(y) = 2*y**2 + y - 2. Let i be r(f). Solve -8*h + 10 = -3*h + 3*o, 0 = -4*h + i*o - 24 for h.
-1
Let m(j) be the first derivative of -j**2 - 4*j - 3. Let k be m(-4). Let f = -1 + k. Solve -g + a + 1 = f, 1 = -2*g + a for g.
1
Let o = -10 + 12. Suppose -2*u + 3*u + o*c + 10 = 0, 3*u + 5*c = -25. Let i = -11 - -16. Solve -5*d + 0*x + 24 = -x, -d + i*x = u for d.
5
Let i(c) = -2 + 12 + 0*c**2 + c**2. Let h be i(-7). Suppose q - 2*z + 4 = 11, -2*q + h = 5*z. Solve a + 5 = -x - 0, 5*x + q = -a for x.
-3
Let f = -8 + 10. Solve -6*i + 2*i - 12 = f*n, 3*i - n = -14 for i.
-4
Let r be 16/(-14)*(-7)/2. Let w(v) = -v**2 - 7*v - 3. Let o be (-4 + -2)/((-1)/(-1)). Let s be w(o). Solve -d = s*f + 14 + 1, -r*f + 2*d = 10 for f.
-4
Let l(m) = m**3 + 4*m**2 - m. Suppose -2*u + 2 = 2*t, -2*t + 5*u + 7 = 40. Let q be l(t). Solve 14 = -q*c - i - 6, 0 = 5*c + 2*i + 28 for c.
-4
Let l be 16/(-5) - 8/(-40). Let p be 0/((-1 - l) + -1). Solve b = -3*b - 5*n - 32, -n - 4 = p for b.
-3
Let a(h) = 2*h - 4 + 0*h - h. Let d be a(8). Solve d*y = 4*i + 16, -5*i - 17 = -2*y - 6 for i.
-1
Suppose -2*l + 20 = 4*t, 0 = 8*t - 3*t - 2*l - 16. Solve -6 = -2*g - 4*j, -3*g - j - t*j + 8 = 0 for g.
1
Suppose 12 = -5*c + 42. Let q = -10 + 19. Let r = q - c. Solve -10 = -2*f, -w + 3 = 3*w + r*f for w.
-3
Suppose -4*a + 28 = -0. Solve 5*n + a = -0*j + 3*j, -4 = 4*j for n.
-2
Suppose 0*p = -p. Solve p = 2*c + 7 - 1, -5*s + 2*c + 21 = 0 for s.
3
Let y(n) = n**3 - 5*n**2 + 2*n - 7. Let b be y(5). Suppose -6*a = -b*a + 3. Let c be 5*(2/1 + a). Solve 0 = -2*x - d + 2*d - 8, 0 = c*d for x.
-4
Suppose 4*c + c + 3*b = 11, 32 = 5*c - 4*b. Solve 5*f + n = -0*n - 2, -3*f = 2*n + c for f.
0
Let d be 2 - (12/3 + -5). Solve g - d*k = -4*g + 25, 3*g - 3*k - 21 = 0 for g.
2
Let r = -52 - -74. Solve -3*d - 2*q = -5, -r = -6*d + 2*d + 5*q for d.
3
Let m(i) = i**2 - 10*i - 22. Let b be m(12). Solve b*x + 3 = -5, l = -5*x - 24 for l.
-4
Let y be -1 + (2 + 1 - 0). Let g be ((-16)/6)/(1/(-3)). Suppose y*z - g = -0. Solve z*x + 2*u = -2, -u + 1 = 4 for x.
1
Suppose 16 + 4 = 4*n. Let f be -1 - n/(10/(-12)). Suppose 5*l - 11 = -1. Solve 27 = f*k - 3*t, 6*t = -l*k + 2*t - 10 for k.
3
Suppose -3*u - 3*w = 39, 6*w - 2*w = -16. Let p be (-3 + 0)*3/u. Suppose 28 = 11*n - 27. Solve -t + n = o + p, -t + 10 = -5*o for t.
5
Let w(s) = s**2 + 9*s + 5. Let x be w(-8). Let k = 1 - x. Solve 0 - 1 = -2*q - r, -3*q = -4*r + k for q.
0
Let x(a) = -a**2 - 15*a - 14. Let h be x(-15). Let d be (4/6)/(h/(-63)). Solve -4*l = -5*v + 20, -d*l + 5*l + 10 = -2*v for l.
-5
Let f = 20 + -12. Suppose -w + 5*o = -9 - 11, -2*w = 2*o - 4. Suppose 8 = w*m - 2*r, 5*m - 5 = 6*r - r. Solve 4*v - 3*b + f = 0, v - m*b + 2 = -b for v.
-2
Suppose -3*s - 2 + 8 = 0. Solve -5*y + s*y - 15 = -3*z, z - 5*y = 17 for z.
2
Let x(l) = -l + 0*l**3 - 7 + 9*l**2 - 10*l - l**3 + 2*l**3. Let c be x(-10). Solve -3*n - 19 = c*r + r, r + n = -6 for r.
-1
Let w = 123 + -71. Suppose 3*v - 47 = -2*i, -i - w = -3*i + 2*v. Solve -2*b = 5*n + 8 - 3, 0 = 5*b + i for n.
1
Let j = -4 + 8. Let x be 0/2 + ((-240)/2)/(-6). Solve 0 = -4*v - x, -j*b - 30 = b + 4*v for b.
-2
Suppose 6*q = 8*q - 8. Suppose 0 = -q*d - d + 100. Solve 2*x = -4*a - d, 0*a - 16 = 4*a for x.
-2
Let p = 11 + -4. Let x be 2/(-14) - (-29)/p. Solve 8 = x*q - 2*o - 0*o, -4*q + 8 = 3*o for q.
2
Let d(v) = -v**3 - 20*v**2 + 43*v - 22. Let p be d(-22). Solve -5*x - 9 = 3*n, 3*n + p*n + 9 = x for x.
0
Let z = 32 + -29. Solve -z*r + 3*u + 24 = 0, -2*r - 4*u = -r + 12 for r.
4
Suppose 16 = 5*m - 4*f, 5*f - 13 = -5*m + 12. Solve 2*r = 4*c - 0*c - m, 2*r - 5*c + 4 = 0 for r.
-2
Let r(v) = v**2 + 11*v + 2. Let t be r(-11). Solve -2*q = u, 0 = 6*u - u - t*q for u.
0
Let x = -21 - -33. Solve -f = w + 7, x = -2*f - 0*f - w for f.
-5
Let p(r) = 6*r - 9. Let u(y) = 12*y - 18. Let f(t) = 13*p(t) - 6*u(t). Let k be f(8). Let n = -25 + k. Solve -2*g = 5*c + 3, 0 = -2*c + 4*g + n + 4 for c.
1
Let w = 11 + -15. Let a be 16 + (-4)/w + -4. Solve 2*k - a = 5*i, i + 2*k = -3*i + 4 for i.
-1
Let t(w) = 2*w**3 - w**2 + 2. Let o be t(2). Suppose 2*l = 5*m - 94, o = 4*m + 2*l - 72. Suppose 4*h = 8*h - m. Solve h = 5*b - 2*d, -b + 2*d = d - 4 for b.
-1
Let j be -2 - (-3 - ((-3)/(-1) - -1)). Suppose 5*b + 3*y + 2 = 0, 0 = -3*y - 12 - 0. Solve 0 = j*r - d + 16, b*r - 3*d + 0 = 4 for r.
-4
Suppose 0*i + 4*i + 2*r = 16, 2*i = -2*r + 10. Solve 2*h - 4 = 4*h - 2*y, 0 = -4*h + i*y - 11 for h.
-5
Let t(b) = -b - 4. Let n be t(-6). Let w = 2 - 1. Suppose -v = -0*v - 5. Solve 2*x + 4*q = 9 + w, n*x + q = -v for x.
-5
Let f(a) = a**2 - 17*a - 58. Let i be f(20). Solve 0 = -3*n + 4*n - i, 4*o = 2*n - 4 for o.
0
Let f = 153 + -149. Solve -7 = -3*o - 4*x, 5*o - f + 1 = 2*x for o.
1
Let p be (-5)/(6/7 + -1). Let d(m) = -5*m**2 + 35*m + 8. Let b be d(7). Solve -5*i + 5*j = p, -b = 2*i - 0*j + j for i.
-5
Suppose 0 = 4*k - 5*z - 63, 0*z + 45 = 5*k + 5*z. Suppose -5*o + k = -o. Suppose 0*g - o = -g. Solve g*b + 2*x - 15 = -2*b, -3*x = -4*b - 11 for b.
1
Let h(m) = -m - 9. Let s(c) = 2*c + 19. Let q(d) = 13*h(d) + 6*s(d). Let n = -14 + 11. Let w be q(n). Solve w = 3*b + 3*y + 12, -4*b = b - 4*y + 29 for b.
-5
Suppose 0 = 4*y + 5*v - 44, 0 = -3*y + 2*v + v + 6. Solve 6*g = 2*g - 5*d + y, 5*g = d + 22 for g.
4
Suppose 0 = 4*f + 4*q - 20, -f + 5*q + 8 = 3. Solve -2*t = -5*j + 31, 2*j + f*t - 2 = -7 for j.
5
Let d = -5 + 11. Suppose d = -2*t + 4*t. Let n(j) = j**2 - j - 2. Let k be n(t). Solve -3*a = k*w - 32, 0*w + 8 = 4*w - 3*a for w.
5
Let y(w) = -2*w - 7. Let n be y(-5). Solve -2*o - 1 = n*q + 9, -5*o + 4*q = 25 for o.
-5
Let h = 7 + -7. Suppose h*s + 2*s - 4 = 0. Solve -2*r - 18 = -5*r - s*y, 22 = 4*r + 2*y for r.
4
Let v = 33 + -31. Solve 3*q - 17 = -0*q - 4*n, -v = -2*q + 2*n for q.
3
Let t(f) = f + 3. Let o be t(-2). Suppose 0 = 2*n - o - 5. Solve -4*h + 22 = -2*v, 2*h - 3 + 12 = -n*v for v.
-5
Let h = -4 - -8. Let l = 44 + -44. Let o = -6 + 11. Solve l = 5*u - b + 11 + 5, -3*u - h = o*b for u.
-3
Suppose -i + 2 = 3, 0 = -5*q + 2*i + 17. Solve 4*b + 0*b + 20 = -q*v, -v + b = 2 for v.
-4
Suppose -i = -0*n + n - 5, -2 = -2*i. Solve -5*z + n*u - 17 = 0, -2 - 7 = z + 2*u for z.
-5
Suppose -5*c - 18 = -8*c. Solve c*x = -y + 3*x, -x = -2*y for y.
0
Suppose 11*k + 3 = 12*k. Solve 0 = -k*z + 5*m + 22, z + 4*m - 6 = 5*m for z.
4
Suppose -i - 12 = -4*i. Solve 3*x - i = 7*x - 4*a, 5*x = 3*a - 13 for x.
-5
Let f(x) = x**3 + x**2 + x + 36. Suppose y + 5*w - 5 = 4*y, -2*y = 5*w - 5. Let n be f(y). Solve 4*a = -4*i - n, -3*i - 2*a = 3 + 19 for i.
-4
Let a be 4/30 + (-4)/30. Solve -3*v = n - 12, a = n - 5*n - 2*v + 8 for n.
0
Let t(b) = 4*b - 5*b**2 + 4*b**3 - 1 + 2*b**2 - 3*b**2 - 3*b**3. Let s be t(5). Let i be (-9)/s*(-8)/(-3). Solve 11 = i*k - 3*p, 3*k = 6*k + 2*p - 4 for k.
2
Suppose 3*p = 0, -2*m + 13 = 3*p - 31. Solve -4*w - 5*r + 7 = 0, -r = 5*w - 5*r + m for w.
-2
Suppose 4*c - 10 = 2*a, -2*c + 0*c = 5*a + 1. Solve 5*n = c*b + 12, -4*b - 9 = -b - 3*n for b.
-1
Let v(t) = t**3 + 2*t**2 + 2*t + 1.