 - 3 = t for m.
1
Suppose -2 = -t + 1. Let i(m) = 7*m + 31. Let f be i(-4). Suppose 0 = -d + f*d. Solve d = -2*w + t*g + 11, 0 = -w - 5*g - 0 - 1 for w.
4
Suppose 0 = -14*f + 21 + 21. Let p be 8*(f/(-2))/(-3)*2. Solve 4*z = -7*s + 3*s, z + p = -3*s for s.
-4
Let y(n) = -n**3 + 3*n**2 + 4*n + 4. Let r be y(4). Let t = r + -2. Solve -3*a = 2*f + t, 9*a - 18 = 2*f + 4*a for f.
-4
Suppose 0 = a - 44 - 13. Let v = -55 + a. Solve -v = -5*p + 5*s + 13, 4*p - s = 0 for p.
-1
Let h(z) = z**3 - 11*z**2 - 29*z + 220. Let t be h(12). Solve -2*p + y = -1 - 1, 0 = -4*y - t for p.
-1
Let u = -22 - -90. Let f be (u/16 - (-2)/(-8)) + 6. Solve -3*y - m = f, -15 = -m - 2*m for y.
-5
Let z(i) = -i + 6. Let p = 51 + -47. Let o be z(p). Let y(g) = g**3 + 15*g**2 + 14*g + 6. Let q be y(-14). Solve q*f = 2*f - h - 7, -4*f - 2*h = o for f.
-3
Suppose 30*y + 12 = 102. Let i = -3 + 3. Solve -u = i, -y*u + 5 = -s - 0 for s.
-5
Suppose -9*i + 150 = -4*i. Let x be ((-12)/3 - -4) + i. Solve -4*t = -5*g + 6 + x, -5*t = 20 for g.
4
Let a(d) = -6*d + 12. Suppose 6*i - 15 = -3. Let z be a(i). Solve o = 3*m - 1 - z, 2*o + 11 = -3*m for m.
-1
Suppose -2 = h - 3*k, 8 - 4 = 3*h - 4*k. Solve 3*f - x + h = -5, -2*f - x - 11 = 0 for f.
-4
Suppose 0 = -4*n - 0*n. Let w be 28/784*-14*(-10 + 0). Solve 2 = -n*z - 2*z - g, 18 = -w*z + 4*g for z.
-2
Suppose 4*u - 171 = -75. Suppose q - 13*q = -u. Solve 3*i - 3*j = -15, q*i + 4*j - 2 = -6 for i.
-4
Suppose -3*b - p + 155 = 2*b, 0 = 4*p - 20. Let m = b + -22. Suppose -26 = -3*x - 3*a - m, -5*x = -4*a - 21. Solve -4*j = -g + 5, x*j = -4*g - 18 - 4 for g.
-3
Let h = 11 - 7. Suppose h*w = -2*w + 24. Solve 14 = w*m - 2*u, u + 0*u - 2 = -m for m.
3
Let h be (-11 - -5)/((-6)/4). Let z(y) = 6*y + 2*y + 4*y. Let a be z(1). Solve 5 - 1 = h*t + 5*d, 0 = 3*d - a for t.
-4
Let t(v) = -9*v**3 + 109*v**2 - 15*v + 41. Let f be t(12). Let k = -7 + -2. Let b be (-25)/k - 4/(-18). Solve -3*g = -b*q + 5 + 4, f*g + q = -21 for g.
-4
Let g(p) = -p**2 - 12*p + 5. Suppose 2*a = 5*a - 57. Let m = -31 + a. Let f be g(m). Solve 2*v + 2*v - 18 = l, f*v - l - 23 = 0 for v.
5
Let p(t) = -t - 3. Let i(y) = y + 4. Let d(n) = 5*i(n) + 4*p(n). Let l be d(4). Solve u - 4*a = 2*u - 20, -u + l = 2*a for u.
4
Let u = -83 - -83. Suppose 27*h - 24*h - 9 = u. Solve 0 = -2*g + q - 11, 0 = h*g + 4*q - 3 + 14 for g.
-5
Suppose -34*m + 476 = -0*m. Solve -5*k + 2*n = m, k = n + n + 2 for k.
-4
Suppose -3*y + 17 = 5*z, -y + 2*z - z + 3 = 0. Solve -14 - 6 = -5*g - j, -y*g - 5*j = 5 for g.
5
Suppose 0 = 16*r - 21*r + 25. Suppose r*t = 5, -2*a - 3 = 2*a - 3*t. Solve -y + a*k = 4*k + 4, -y - 4 = k for y.
-4
Let c(s) = s**3 + 45*s**2 + 79*s - 293. Let z be c(-43). Solve 0 = 3*n + n - l + 13, -2*l = n - z for n.
-2
Let p(m) = -3*m + 39. Let c be p(11). Let x = -3 + 4. Solve -2*t = 2, -c = -2*o - t - x for o.
3
Let w = 16 + -5. Suppose -4*s = -w - 1. Let c be 3/2 - s/(-6). Solve c*z + 4*n - 2 = -n, 0 = -5*z + n + 5 for z.
1
Let l(h) = -11*h - 49. Let t be l(-5). Solve -31 = -t*k + 2*k - 3*o, -2*o + 10 = 0 for k.
4
Suppose 8*o = -j + 3*o - 10, 5 = -5*o. Let a(c) = -2*c - 2. Let v be a(j). Solve -v = 4*p, 5*i - p - 2 = i for i.
0
Suppose -8 = -2*d, -3*d - 13 = -3*a - 2*a. Let u be (-2)/2 + 30/a. Solve -q + 7 = -2*q - u*m, 5*q + 8 = 2*m for q.
-2
Let z(x) be the first derivative of -2*x**2 + 43*x - 9. Let t be z(10). Solve 4*s = 3*v - 19, -t*v - 2*s + 19 = 6 for v.
5
Let p(b) = -17 + 11*b**2 + 0*b**3 - 16*b - b + 3*b + b**3. Let g be p(-12). Solve 4*d - 3 = -h, -g = h - 5*d + 8 for h.
-5
Let b = -25 + 38. Suppose 3*u = -r - 7, -2*u + 0*u = -r + b. Solve 5*p + r*s + 41 - 16 = 0, 0 = 4*p + s + 20 for p.
-5
Let j be (3/2)/(54/792). Suppose 13*q = 2*q + j. Solve q*f + 1 = -u, 4*u + f - 2 = u for u.
1
Let l be 164/10 - (-42)/70. Solve i - 4*y = 6*i + l, -i - 9 = -2*y for i.
-5
Suppose 0 = 3*j - 3*k - 27, -64 = -3*j - k - 25. Let h(x) = 5*x - 58. Let g be h(j). Solve 0 = u + a - 1, 3*u + g*u - 5 = -4*a for u.
1
Let u(h) = 12*h**3 - 2*h + 1. Let p be u(1). Suppose -6*a + p*a = 105. Let g = a + -19. Solve -4*r = 4*v + 20, -4*r - 3*v - 20 = g*v for r.
-5
Let f be 2/1*-1 - 119/(-17). Solve f*s - 7 = 2*o, -4*s + 6 = -2*s - 4*o for s.
1
Suppose 2*k + 1 = k + 3*r, -2*k + 1 = -5*r. Solve -2*g - k = y + g, -3*g = 3*y for y.
4
Suppose 30 = -33*r + 36*r. Let g(z) = -z**3 + 10*z**2 + 2*z - 17. Let m be g(r). Let w be 13 - (-1)/(-1) - 1. Solve -3*n = 4*y + w, -2*n = 4*y + m*n + 5 for y.
-5
Let m = 124 + -82. Let i be 2/1*(-7)/(m/(-12)). Solve -s - i = -5*g, 0 = 4*g - 6*g + 2*s for g.
1
Let f(z) = -12*z + 220. Let x be f(18). Solve h + 5 = -y - h, x*y = -5*h - 11 for y.
1
Suppose 5*c = 3*i + 90, -2*i - 85 = -0*c - 5*c. Solve 2*z - 4 = 2, -3*l + c = 2*z for l.
3
Let v be (-10)/(-4 + 6 - 4). Let f = -46 - -49. Solve -v*t = -5*k - 25, -7 + 4 = f*k + t for k.
-2
Suppose 3*m - 3*v = -9, -14 = -3*m + v - 17. Solve -3*y = -m*y + 6, -3*w + 3*y = -15 for w.
3
Let f(b) = -5*b - 10. Suppose -2*x - v = v, -4*v = -5*x - 36. Let y be f(x). Solve 4*a + 21 = 5*c, -3*c - 7 - y = 5*a for c.
1
Let p(w) = w**2 + 11*w + 2. Let s be p(-10). Let v be (-4 - s) + -4 + 0. Let y(j) = j + 14. Let a be y(-6). Solve 5*z - r - 22 = v, -3*z + 14 = -5*r - a for z.
4
Suppose 5*g + 29 = 2*v, -g - v - 3*v = -3. Let r be 4/g - 1876/(-20). Suppose -5*y = -8*y + r. Solve 3*b + 5 = -4*q + y, 2*b = -4*q + 24 for b.
2
Let f = -486 + 526. Solve -4*v - 36 = 7*o - 3*o, -4*o - 5*v = f for o.
-5
Suppose 2*t = 7*t - 5. Let a = 1059 + -1056. Let c = -8 + 15. Solve 2*n - 3*f + t + 9 = 0, a*n + f = c for n.
1
Let z(k) = 2 - 4*k - 3*k + 4*k + 5. Let g be z(-6). Suppose 2*b + 3*b - g = 0. Solve -5*m + m = -b*a + 2, -12 = 3*a + 2*m for a.
-2
Let h(z) = z**3 + 4*z**2 - 24*z + 3. Let i be h(-7). Let a be (2/4)/((-1)/(-6)). Solve 3*k - a*q = -q - 15, -3*k = -5*q + i for k.
-3
Suppose f + 3*n = 3*f - 13, -5*f + n = -26. Let x = f + 18. Solve 5*y + 2*b = x, -2*y - 1 = b - 10 for y.
5
Let m be (2 - 1) + 1 - 8. Let g = 9 + m. Suppose 12 - 72 = -30*p. Solve -g*n + 4*x - 3 = 0, 0 = 3*n + p*n - 3*x + 5 for n.
-1
Suppose 40 - 22 = 9*t. Solve w - 4*f - 2 = 0, 5*w - 10 = -t*f - 0 for w.
2
Let i = 29 - 49. Let w = 24 + i. Suppose 0 = x - 2*n + 2 - 6, -2*x - 5*n + 8 = 0. Solve 0 = -w*a + 2*g + 16, a + x*a = 5*g + 15 for a.
5
Let f be (44 - -1)/5 + -5. Solve 4*w = 2*w - 2*t + f, -4*t = -w - 18 for w.
-2
Let g be (-2 + (-20)/(-12))/(1/6). Let c be -29 + 26 - 10/g. Solve -s + c*x - 1 = -15, 5*x + 21 = -s for s.
4
Let a(d) = 10*d + 280. Let c be a(-28). Let i = 6 - 3. Suppose 5*t + 45 = 5*k, i*k - 5*t = 7*k - 54. Solve c = -2*p - 5*r - 1 - 19, 0 = -3*p + 2*r - k for p.
-5
Suppose -4*v + 5 - 21 = 0. Let o be v/(-8)*(-1 + 3). Solve -2*s = -4*k - 0*k - 14, k + s = o for k.
-2
Let i = 255 - 252. Solve 4*s + 5*z + i + 7 = 0, -5*s - 3*z = 6 for s.
0
Let r(c) = 2*c**2 - 3*c + 2. Let d be r(0). Solve 0 = -2*y + 2*v - 2, d = v - 0 for y.
1
Suppose 18*h = 24 + 48. Suppose -2*w = -6*w + 52. Solve 3*d = d + 2*q - 4, q + w = -h*d for d.
-3
Let v(q) = -q**3 + 3*q**2 + 4*q. Suppose 1 + 3 = c. Let x be v(c). Let r be x/(-2) - (4 + -23). Solve -z + 5*k = -17, -r = 3*z + 2*z + k for z.
-3
Suppose -5*k - 4*p + 2 = 0, 2*k + 5*p = 3*p. Suppose 2 = -k*r - 0*r. Let g be 17 + -13 + 4/r. Solve -11 = 3*f - a, -3*a - 27 = 3*f - g*a for f.
-5
Let n(h) = -h**2 - 45*h - 83. Let i be n(-2). Solve -5*f + 0*f - 10 = 4*b, -4*b = -i*f + 26 for b.
-5
Let l(t) = 5*t - 19. Let b be l(4). Let c be 2/(2 - 0) - (b - 1). Solve 5*w = -2*x - 7, 2*w + c = -2*x + 3 for w.
-3
Let h = 5 + -4. Suppose -h + 2 = p. Let a be p*(2/2 - -6). Solve a*v - 2*v + 3*z - 11 = 0, 4*z = 3*v + 5 for v.
1
Let z be 35/14*(1 + 1). Solve 2*k - 1 = -4*s + 3, -z*k = 5*s - 15 for k.
4
Let c(q) = -q**3 + 14*q**2 - 3*q - 116. Let l be c(13). Solve 5*r + 2*p = -p - 4, 0 = -4*r + 3*p - l for r.
-2
Let t = -6 + 11. Let z(a) = -a**3 + 4*a**2 - 2*a - 3. Let r be z(3). Suppose -t*n = 4*h - 31, r = 3*h - 3*n - 5 + 2. Solve 2*w = 0, -c - h = -5*w + 3*w for c.
-4
Suppose -2*d = -3*c + 12, -c + d = 2 - 7. Solve -2*i + c*m = 4*m + 4, -4*i + 4*m = 0 for i.
-1
Suppose -60 = -4*k - 3*q, 7*k - 2*k - 4*q - 75 = 0. Let s be 552/k - (-2)/10. Let h = -27 + s. Solve -3*f = -5*z - 32, 2*f - 22 + h = z for f.
4
Let y(q) = q**2 - 1. Let g be y(2). Suppose a + 1 = g. Let l(t) = 