*x + 2*p = 0 for x.
-2
Suppose j - 3*g - 10 = 0, -g - 3*g = 0. Solve -m - 4 = -k, -k = -4*m + k - j for m.
-1
Let x = 41 - -45. Let y = -10 + x. Let z = y - 45. Solve 0 = l - 4*t - 11, 3*l - t + z = -5*t for l.
-5
Let d = 149 + -72. Suppose -5*n + 3*p + d = -0*p, -4*p = -4. Let o(u) = u**2 - 2*u + 1. Let i be o(3). Solve 0 = i*m - x + 24, m + 4*x = n - 5 for m.
-5
Let a be 9/(-21) - (-152)/28. Suppose -10 = -4*k + 2*k. Let m = k - 2. Solve -2*n = -0*i - m*i + 15, -2*i - a*n + 10 = 0 for i.
5
Let h = -14 + 41. Let s = h - 25. Solve 0 = -3*f - 3*k - 7 - 8, -5*f - 16 = s*k for f.
-2
Suppose -3*z = 8 + 1, 2*z + 9 = 3*y. Solve 4*i - 32 = -4*p, -4*p = -5*i + y - 6 for p.
5
Suppose -3*l = 4 - 4. Let y(p) = p - 3. Let c be y(6). Solve 5*n + 2*x = -8, l*x + 5*x - 11 = c*n for n.
-2
Let d = 617 - 615. Suppose -3*m + 6 = -3*g, -4*m + 2*m - 5*g + 11 = 0. Solve 7 = -d*a - m*u - 1, 2*a + 8 = -4*u for a.
-4
Let v be -23 + 17 - (-1)/(1/3). Let w = v - -8. Solve s = 4*z + 2, -4*z - s - w = 1 for z.
-1
Let d be 6 + ((-2)/1 - 1). Solve -3*m - 6 = 3*a, -a + d*a - 3*m = -19 for a.
-5
Let p be (-724)/(-30) + 20/(-150). Suppose p*f - 21*f - 9 = 0. Solve -m - f*z = -z, 3*z = m - 10 for m.
4
Suppose 0 = 5*d - 4*s - 7, -6*d = -8*d + 4*s - 2. Solve -4*h = -n - 0*h - 11, 0 = 2*n + d*h for n.
-3
Let q(g) = 9*g**2 + 36 - 9*g**2 - 11 + g**3. Let y be q(0). Let x = y - 15. Solve -2*r + x = 2*k, 5*r - 3*k - 25 = -6*k for r.
5
Let q be 5 + 1 + (6 - 0). Solve -c = -0*c + 5*d + q, -2*d + 2 = -3*c for c.
-2
Let o be (-5 - 13/2)*-2. Let n = o - 18. Solve 0 = 2*q + n*f + 5, -2*f - 1 = q + 2*f for q.
-5
Suppose 24 = 5*y + 9. Let d(n) = -n**2 - 11*n + 4. Let b be d(-10). Solve y*m + r - 1 = 0, 4*r - b - 2 = 0 for m.
-1
Let u be 0 + (-3 - -4 - 1 - -4). Solve -3*n = -0*n + 5*k + 24, u*k + 6 = 2*n for n.
-3
Let a = -93 - -85. Let z(k) = -k**2 - 7*k + 11. Let x be z(a). Solve 15 = -x*j, -3*j - 21 = -3*f - 0 for f.
2
Let d(r) = -r + 2. Let v be d(0). Let q be 19/152 - 10*22/(-32). Solve -19 - q = -4*y - v*s, 4*y - 4*s - 8 = 0 for y.
5
Let r be (-639)/13 + (-18)/(-117). Let c = r + 51. Solve -d = 5*z - 2 - 3, -2 = -3*d - c*z for d.
0
Let t be (-2)/(-2)*(-2 - -2). Let w be 0 - -3 - 0*2/8. Solve -4*a = -2*u + 1 + w, -4*a - 8 = t for u.
-2
Suppose -5*c = -4*u - 25, -11*c - 2*u + 5 = -10*c. Solve -5*w - 10 = -c*x, -x - x - 4*w - 14 = 0 for x.
-1
Let c(i) = -i**2 - 9*i + 13. Let x be c(-11). Let y be (0 + 9)*(-2)/x. Solve 0 = -t - 0*t + 4*o - 24, -5*o + 17 = y*t for t.
-4
Suppose 0 = 8*t - 7*t - 1. Suppose q = 2*p - 4, -5*q + 2*p + 13 - t = 0. Solve -3*b + c = 0, -3*b = -5*b + q*c for b.
0
Let s(x) = x**2 + 14*x + 5. Suppose r = -v - 14, v + 3*r - 28 = 3*v. Let u be s(v). Solve 4*p = o - 12, o + u*p + 30 = 6 for o.
-4
Suppose 634 - 682 = -4*h. Solve 3 = d - 2*w, -5*d - h = -0*d - w for d.
-3
Let l(f) = f**3 + 5*f**2 + 7*f + 12. Let h be l(-5). Let b = -19 - h. Solve 3*r + 1 - 16 = 0, 3*d = -b*r + 26 for d.
2
Let o(f) = -9 + 9 - 4 + f**3 + 4*f**2. Let k be o(-3). Solve 2*n + 0*n - 2 = g, 0 = -g + k*n - 2 for g.
-2
Suppose -4*c - 24 = -4*u - 0*u, 0 = 3*c. Suppose 5*m + u = t, -t + 0*m + 6 = m. Solve 4*i = y - t, 0 = 2*i - 3*i + y - 3 for i.
-1
Let z = 33 + -34. Let b be z - 0 - (-2 - 1). Solve 2*d - b*r = -19 + 1, 0 = 4*d + 3*r + 1 for d.
-4
Let a be (-12)/(-138) - 201/(-69). Solve o - 5*k + 17 = -3*o, 15 = -4*o + a*k for o.
-3
Let p be (15/10)/(2/20). Suppose -11*m = -m - 30. Suppose -3*z - m = r, -3*z + 4*r = -r - p. Solve 2 = -2*l - 2*g, z = 4*l - l - g - 1 for l.
0
Let b be -4*7/28*-4. Solve -3*w - 5*l = -b*w - 20, 0 = -3*l + 15 for w.
5
Suppose 0 = 4*p - 12, i + 9*p = 12*p - 1. Suppose i*y + 9 - 25 = 0. Solve -z + 3*q - 4 - 2 = 0, -y*z + 4*q = 8 for z.
0
Let d(z) = 5*z - 120. Let f be d(24). Let u(t) = -3*t - 1. Let k be u(-4). Suppose 0 = -5*b + 14 + k. Solve -y - 1 = p, b*p = -y - f*y - 5 for p.
-1
Suppose p + 5 - 26 = 0. Let v(k) = -k**2 + 16*k - 34. Let f be v(15). Let u = p + f. Solve 3*q + u*q = 5*y + 20, 4*y = -12 for q.
1
Let n be (-67)/(-5) - 14/35. Suppose 0 = -5*b + 4*u - 5 + 3, 2*b = -3*u + n. Let q be 4/((-32)/(-14) - 2). Solve -a - 5*o = -23, 4*a + q = b*o - 4 for a.
-2
Suppose -i - 4*i + 35 = 5*a, -5*a + 29 = 2*i. Suppose -2*t = -2*l - 4 - 10, 7 = -3*t - 4*l. Solve 0 = -3*m + i*m + 2*j - 5, m + t*j = 0 for m.
-3
Suppose 34*z - 119 + 17 = 0. Solve c = 0, 8*i = z*i - c - 5 for i.
-1
Let l(v) = v**2 - 17*v + 23. Let p be l(16). Let u = p + -5. Let t = -7 - -20. Solve -q + t = 5*a - 0*a, u*a - q = 1 for a.
2
Let v(o) = -3*o - 1. Let k be v(-2). Suppose 226 = -84*u + 259 + 303. Solve u*c = 5*w - 45, c + 2*c - 10 = -k*w for w.
5
Let g(p) = -p**2 + 12*p - 12. Let q be g(10). Solve -c + 4*l = -q - 9, 2*c = -2*l - 6 for c.
1
Suppose -2*i - 4 = 0, -6*i + 54 = 2*s - 3*i. Suppose -l = -3*l + s. Let u be 39/l + (-6)/(-15). Solve 5*f = u*c + 30, 2*f - 7*f - 5*c = 10 for f.
3
Suppose 63*h = 68*h - 15. Solve 3*x + 8 = -4*g, 0 = -g + h*x - x + 9 for g.
1
Let g(v) = -v**3 - 2*v**2 - 5*v - 15. Let h be g(-6). Let w = h - 156. Solve 0 = -3*k - w*n + 9, -5*k - 11 - 4 = -5*n for k.
0
Suppose 748 = -1908*q + 1925*q. Solve -5*m + 1 = 5*p - q, -15 = p - 5*m for p.
5
Let a(v) = -10*v - 25. Let x be a(-3). Solve 0 = -3*t - 5*w - 29, 4*w = -t - 14 - x for t.
-3
Suppose -3*j = -2*j - 2. Suppose -3*t = -2*s + 9, -s - 2*t = j*t + 12. Solve 2*y + 3*b = 10, s = -3*y + 4*b + b - 4 for y.
2
Let z = 24 + -19. Let b be 2/(-6) + (-4)/(-12). Let x = b - -3. Solve -3*d + 4*p = -14, -4*d = -2*p - z + x for d.
-2
Suppose -3*y = -2 - 13. Let g = -1 + 1. Let v be ((-10)/25*-25)/(g - -2). Solve 0 = u - v*j + 7, j = -y*u + 3*j - 12 for u.
-2
Let b = 434 - 429. Solve 3*y + p = 15, 0 = b*y + p + 4*p - 35 for y.
4
Suppose -76 = -7*s + 3*s. Suppose 0 = 5*q + 4*d - s, -q - 8 = -3*q - 2*d. Solve h = 2*h - 3*f + q, -3*f = 5*h - 3 for h.
0
Let w = 168 + -119. Suppose -3*l + 3*z + 7 = -11, -z = 4*l - w. Suppose 3*g = -0*g. Solve -3*b + g*j = -j + l, -26 = 2*b + 4*j for b.
-5
Suppose 5*t - 9 - 1 = 0. Suppose -68 = -0*z - z. Let b = -63 + z. Solve -l - 2*l = -3*c, t*c - b = l for c.
5
Suppose -3*s - n = -123, -2*s + 92 = 2*n + 6. Solve 4*c = 4*a - s, 4*c = a + 9 - 34 for c.
-5
Let t be (-12)/30 - 62/(-5). Suppose -6*o + 2*o - t = 0. Let h be (3/(-2))/(o/6). Solve -2*j = i + h, 4 - 1 = -j - 2*i for j.
-1
Let k be ((-12)/(-14))/(12/252). Solve 2*o + 5*m - k = 0, 5*m - 20 = -4*o + 3*m for o.
4
Let f be 4/(-18) + 20/90. Let p be f*(-4)/(-12 + 0). Suppose p = -r + 3*r + 4*b + 12, -5*r + 2*b + 18 = 0. Solve -3*o + 8 + 4 = r*n, 0 = -n for o.
4
Let l(s) = s**2 + 4*s + 6. Let r be l(-6). Let i = r - 14. Solve -i*c + 5*w = -0*c + 20, 5*w = -c - 5 for c.
-5
Let y(n) = -n**2 + 28*n - 42. Let z be y(28). Let v = 45 + z. Solve 4*x = 5*w, v = 2*x - 2*w + 5 for x.
-5
Suppose 5*x + 11 = 3*n, x - 4*n = -3*x - 12. Let y = x + 4. Suppose 32 - 3 = 3*z + b, -37 = -3*z - 5*b. Solve -2*c = -0*o - 3*o - 11, z = y*c - 2*o for c.
1
Let t be -6 - -13 - (-3)/(-3). Suppose 0*c = 2*c - t. Let p(s) = -s**3 - 9*s**2 + 11*s + 14. Let v be p(-10). Solve -5*g - v + 14 = -5*a, 3 = c*g - 2*a for g.
-1
Let r(g) = 38*g + 2. Let c be r(0). Solve -3*l + 2*h - 15 = -3*h, 3*l + 15 = c*h for l.
-5
Let l(k) = -38*k**2 - k. Let v be l(1). Let z = v + 39. Solve z*w - 2*w - 6 = u, 0 = 2*u - w + 2 for u.
-2
Let k(z) = 4 + 36*z - 4 - 35*z. Let j be k(2). Solve -2*x - f = 0, -j*x + f = 3*f + 2 for x.
1
Let o be (-3)/(-9)*(-4 - 8). Let t be -3 + 9 + 0 + o. Solve -4*z + 3 = 3*k, -t*k + 2 = -0*z + z for z.
0
Suppose 56 = 4*l - 2*q, 0 = -0*q + 3*q - 12. Suppose -18*s - 45 = -27*s. Solve 2*x - l = -x - f, -s*f - 20 = -5*x for x.
5
Let c = 601 + -600. Solve 9 = 3*j - 6*j + 3*f, -2*f + c = 3*j for j.
-1
Suppose 352 + 68 = 12*a. Let x = -138 + 142. Solve 5*y = o + 4*o + a, -x*o - 5*y = -17 for o.
-2
Let i be (198/63 - 3) + (-40)/(-14). Solve -3 = 2*x + i*p - 2*p, p + 9 = -5*x for x.
-2
Let z(d) = -2*d + 2 + 13 + 3. Let y be z(8). Solve c + 16 = 3*r - 0, -r + y = 3*c for r.
5
Suppose 901 - 897 = t. Solve -4*r = j - 2, -t*j + 6 = -j for r.
0
Suppose -3*i = -5*i + 2. Solve -3*t - 3 = 0, 0 = -x - 2*t + i - 5 for x.
-2
Suppose 89*z - 82*z - 21 = 0. Let a be 4/(3 + 26/(-10)). Let n = a - 7. Solve -n*g = g - z*h - 11, 3 = -g - 5*h for g.
2
Let q = -62 + 41. Let p = 26 + q. Solve -5 = 2*m - p*t