 - 4*p, t = a + 4*p for a.
-5
Suppose 3*p + o = 4*o + 51, -4*o + 100 = 4*p. Suppose 2*k + 10 = 7*k. Suppose -p = g - 2*y - 3*y, k*y = 10. Solve -g*b + 15 = 5*x, 0*b = 3*x + 5*b - 22 for x.
-1
Suppose -3*a + 22 = -48*b + 50*b, 8 = 2*a. Solve -7 - 28 = -b*y - 5*s, 5 = 3*y - s for y.
3
Let c(z) = z**2 + 3*z + 2. Suppose -1 = -5*k - 0*k + 4*q, 5*q = 3*k - 11. Let j be c(k). Solve j*t = -3*w + 4*t - 13, -3*w - 18 = 3*t for w.
-5
Suppose -2 - 12 = -7*r. Suppose -4*d + 108 = 4*z + z, -2*z + r*d = -36. Solve 3*h - 4*u = -z, -3*u - 5 = h - 20 for h.
0
Let z = 33 + -24. Let w = z + 12. Let h be 4 + 7/(w/(-9)). Solve 0 = 2*x + 3*i + 11 + h, x + i + 4 = 0 for x.
0
Suppose -16 - 16 = 2*f. Let r be 11/(-33) - f/3. Solve 5 = -w - 5*y, w + 1 - r = 4*y for w.
0
Suppose 1031 = -7*d + 1241. Solve d = 5*t + 5*z, -5*t - z + 6 + 4 = 0 for t.
1
Let z(w) = w. Let o be z(2). Suppose -8*p + 3*y = -3*p - 234, p - o*y = 44. Suppose -i + p = 3*i. Solve -3*k = i, -3*v + 2*v + 9 = -k for v.
5
Suppose -3*c - 3*g = 0, -c + 0*c - 20 = 5*g. Let x = -23 - -26. Let k be x - 4*52/(-8). Solve 2*i + c*h = 3*i - k, -2*i - h = -3 for i.
4
Suppose 2*h - 2 = 3*h. Let w(f) = -4*f + 17. Let x be w(4). Let v be x/2 - h/(-4). Solve 0 = 4*r + 4, 5*z + v = 3*r - 2 for z.
-1
Let i = -5 - -10. Suppose -7*l = -3*c - 3*l - 14, 4*c - i*l + 17 = 0. Solve 2*k - 5*z = -3*z + 8, -c*z - 11 = -5*k for k.
1
Let v(t) = 4*t + 7. Let p be v(-1). Solve 3*c + 35 = 4*o, 4*c + p*o + 7 - 2 = 0 for c.
-5
Let v(n) = -n**2 - 22*n + 25. Let y be v(-23). Suppose y*i - 34 = -z - 2*z, 0 = z + 3*i - 23. Solve 5*j = 4*j - 3*s - 12, -z = -j + 2*s for j.
0
Let l be 0/(64/(-36) + 4/(-18)). Suppose 15*o - 10*o - 15 = l. Solve -2*m = -3*f - 11, 3*f - o*m + 12 = -0*f for f.
-3
Let g(j) = j**2 + 13*j + 34. Let c = -15 + 5. Let n be g(c). Solve 2*o + 11 = 4*o + 3*r, -5*r = -n*o - 11 for o.
1
Let m = -6 - -11. Let k = 11 - -2. Suppose -y = h - 3, 2 + k = -3*h + m*y. Solve -4*c + h*p = -p + 11, 2*c - 7 = 3*p for c.
-4
Let x = 1559 + -1558. Solve 0*r + 4*r = -3*q - 6, -3*r - x = 4*q for r.
-3
Suppose 7*o - 3*o - 229 = -5*w, 3*o = 3. Let x = w + -38. Solve 0 = -4*b + 2*l + 6, 2*b - 5*l - x = 0 for b.
1
Let c be (144/63)/(2/7). Solve -3*v - 2*v - 2 = -z, -2*v - c = 2*z for z.
-3
Suppose 11*q = 12*q - 43*q. Solve 5*w + s + 23 = q, 8*w - 3*w = -3*s - 29 for w.
-4
Suppose 30 = 3*d - d + 4*k, -4*d = 5*k - 51. Suppose -3*x + d = 0, -o - 2*o + 3*x - 27 = 0. Let z = o + 8. Solve 8 = -4*u, 4*s - 3*u + 16 = z for s.
-5
Suppose 3*f + 52 + 17 = 3*v, 5*f + 94 = 4*v. Let s be 6/v + 48/28. Solve k + 2 = -s*y - 3, -k - 3*y = 10 for k.
5
Suppose 0 = -4*x + 9*x + 60. Let f = x + 13. Solve 2*l = -f - 1, z + 6 = -5*l for z.
-1
Let i be (-1 + 0)*(28 + -12 - 7). Let z = -7 + 10. Let r be 2 + (-4 - i/z). Solve -11 + 1 = 4*j - 2*m, m - r = -2*j for j.
-1
Let r be (-1)/(-1*(-1 + -1)/(-6)). Suppose 4*t = -2*s + 20, -6*s + 4*s - 12 = -4*t. Suppose 2*g = t + 6. Solve r*z + 2*f = 5*f - 21, -3*z = -g*f + 27 for z.
-4
Let u(o) = -26*o + 27. Let s be u(1). Solve -2*h + s - 9 = 0, 4*h - 4 = 5*f for f.
-4
Let g be ((-15)/(-9) - 2)*-6. Suppose 20 = 3*y + g*y. Suppose -4*k + 3 = -o + 4, 4 = o - k. Solve o*j + 3*s = -40, -19 = -j + y*s - 4 for j.
-5
Let u(o) = 6*o**3 - 1. Let s be u(1). Suppose 6 = -3*v, -10 = l - 0*l + 5*v. Solve l = -q - 3*q, n = -s*q - 2 for n.
-2
Let a be (-1 + -1)*9/(-6). Let h be 3/(-4) - (-132)/48. Solve -23 = -a*o - h*t, 4*o - 7*t + 3*t = 4 for o.
5
Let q be 4/(-14) - 61/7. Let h be (-220)/(-18) - (-2)/q. Suppose p + h = 4*p. Solve a - 3*w = -19 + 6, -p*w + 16 = -2*a for a.
2
Let x be (-15)/(-10) - 42/(-12). Solve 5*u + 5 = 5*o, -u = -x*u + 4 for o.
2
Suppose 18*y = 5*x + 14*y - 70, 4*x - 2*y - 56 = 0. Solve 0 = 2*g - 2*d - 14, 3*g - 4 - x = 2*d for g.
4
Let m be (-7)/(-14)*48/6. Solve m*a - 3*w - 3 = 2, -5*a = -3*w - 7 for a.
2
Suppose 18 = 3*j + 6*j. Solve j*u - 17 = 2*i + 1, -3*u - 5 = 5*i for u.
5
Let d(l) = -l**2 + l - 1. Let z(h) = -8*h**2 + 4*h - 3. Let m(i) = 5*d(i) - z(i). Let o be m(-2). Solve 4*w + o = -3*v, 5*v = -2 - 18 for w.
1
Let u be (-104)/(-4) - (-32)/8. Suppose 4*v + 32 = g, 2*v - 5*g + 21 = -13. Let x = v + u. Solve 7 = -5*b - r + x, -b - 3*r = -6 for b.
3
Let q = -1 + -20. Let r(n) = -n**2 - 18*n + 66. Let j be r(q). Solve -j*i - 17 = i + 3*m, -5*m - 15 = 0 for i.
-2
Suppose 105*y - 1190 = -14*y. Suppose -3*f + 0*f - 22 = -5*m, -2*m - f = -11. Let o(x) = x - 3. Let w be o(m). Solve 2*l - 8 = -c, -l + 0*c = w*c - y for l.
2
Suppose -3*m + 8*m = 645. Let a be m/(-9) - (-4)/12. Let k = a + 29. Solve 4 = -2*u, 5*z - k = -0*u + 5*u for z.
1
Suppose 29*y = 33*y - 12. Solve 2*j + r = -1, -r - y + 10 = -2*j for j.
-2
Let b(f) = -f**2 + 32*f + 122. Let s be b(35). Solve 0 = j + j + 3*k + 11, 4*j = -5*k - s for j.
2
Let l be 2/9 + 742/63 - 2. Suppose -g - 3*y + 15 = 0, -2*y + 5 + 0 = -g. Let f = g + -1. Solve f*h = 3*j + 2, 3*h + 5*j - 3*j = -l for h.
-2
Suppose -n = 2*c - 10, 5*n - 2*n = -3*c + 21. Solve 5*o + c*w + 26 = 0, -w = o + 3*w + 12 for o.
-4
Let f(v) = -v**3 - 21*v**2 + 47*v + 31. Let q be f(-23). Solve 4*w + 20 = -q*p + 3*p, -2*w = 2*p + 8 for w.
0
Let v be (-100)/(-55) + (-6)/(-33). Let o be -1*0*v/2. Solve -3*u = 3*p - p - 25, o = -5*u + 4*p + 5 for u.
5
Let g = 32 - 29. Suppose 6 = 4*w - 4*s - s, 0 = -g*w + s + 10. Solve -w*m - 3*z = 6 - 0, 5*m = z + 2 for m.
0
Let m(h) be the second derivative of 0 + 6*h - 4*h**3 + 1/2*h**2. Let f be m(-1). Solve -5*l + 15 = 0, f = 3*k + 2*l + 7 for k.
4
Suppose -40 = 4*a - 104. Suppose -a = -4*m + 44. Let g be (6 + -1)/(-5 + 6). Solve 4*s = 5*q + 12, -g*s = 5*q - 0 - m for s.
3
Suppose -3*o + 63 - 51 = 0. Solve c = z + 2, 0*c + 12 = 2*c - o*z for c.
-2
Let o(g) = 12*g**3 + 11 - 7*g**3 - 7*g**3 + 3*g + 16*g**2. Let y be o(8). Solve -4*j + 0*i + y = 5*i, 2*i = 4*j - 14 for j.
5
Suppose -270 = -26*w + 23*w. Let d = w + -87. Suppose -4*b = -4*t + 12, -2*t + 11 + 1 = 4*b. Solve -t = 2*z - 3*z + 5*s, -d*s = 4*z - 16 for z.
4
Let z be -30*((-174)/(-30) - 6). Solve -l - 19 = -3*w, -2*l + 2*w - 12 = z for l.
-4
Suppose 257 = 10*h - 13. Solve -2*u = 5*k + 26, -23*k + h*k + 13 = u for k.
-4
Let z(i) = 53. Let o(b) = b + 52. Let m(s) = -5*o(s) + 4*z(s). Let r be m(-12). Solve h + 2 = 0, -3*h - r = -3*c + c for c.
3
Let v = 34 - 19. Suppose -3*g = -4*r + 72, -5*r - 2*g - v = -128. Solve -5*s = u - r, 2*u + 3*u = 2*s - 3 for s.
4
Let d be 1 + (-1 - 10/(-1)). Let t(w) = -w**3 + 10*w**2 + 5. Let g be t(d). Let h(y) = y**2 + 4*y. Let b be h(0). Solve b = -v + s, g*s = -4*v - v + 20 for v.
2
Suppose 0 = -2*d + 8*f - 3*f - 28, -5*d = 2*f + 12. Let j be ((-31)/(-2))/(d/16). Let h = -44 - j. Solve 0 = -3*q + 3*l - h, -2*q - q - l = 2 for q.
-2
Let s(g) = g**3 + 20*g**2 - 22*g - 17. Let w be s(-21). Solve x + w*m + 5 = 15, 0 = 3*m - 6 for x.
2
Suppose 362*u = 357*u + 10. Solve 0 = -4*f - u*v + 4, f = 3*v - 1 + 2 for f.
1
Suppose -1 = -v + 3. Suppose 2*w = -s - 4, 3*w = -0*w - s - v. Solve w = -5*f + 5*n - 30, 3*f - 2 = -5*n + 12 for f.
-2
Let c = -2 + 12. Suppose 19*w - 17*w = 0. Let z be (-30)/4*8/(-12). Solve 2*j - z*v - c = 7*j, w = 2*j - 3*v + 19 for j.
-5
Suppose -633*m + 641*m = 40. Solve -4*k - 14 = -q, 2*k = -4*q + 7 - m for q.
2
Let j be -1 + (-2)/1 + 9. Suppose s = -4*v - 9, -4*v - 15 = -s - 0*s. Suppose 0 = -s*y + 6. Solve 4*x - j = -5*n + 2*x, -5*n - 4*x = -y for n.
2
Suppose 5 = 5*u + 5*m, -4*u = 18*m - 13*m - 2. Solve 0 = 2*v + u*l - 3 - 13, 4*l = v + 14 for v.
2
Suppose 0 = i - 7 + 5. Let a be ((-1)/i)/((-1)/34). Solve 5*l = -5*h + 30, -5*h = 4*l - a - 10 for h.
3
Let s(w) = 4*w**2 - 134*w - 64. Let u be s(34). Solve u*k = 4*p, p = -3*k - 2*k for k.
0
Let h = -28 - -49. Let j = -15 + h. Suppose -w = j*w - 14. Solve -2*a = -0*c + 2*c + w, 4*c = 2*a - 16 for a.
2
Let m be -6 - (-2 - (-1 + 2)). Let p be 2 + (-3)/(m/2). Suppose 3*a - 4*x = 2*a + 12, a + 2*x = 0. Solve -a*s + 12 = p*g, 4*g - 3*g - 12 = -4*s for g.
0
Let o(p) = p**3 + 11*p**2 + 11*p + 126. Let f be o(-11). Solve -2*y + 2*s = s + 8, 2*y + f*s = -20 for y.
-5
Let h(j) = 2*j**2 + 3*j + 3. Let s be h(-2). Let d(u) = -2*u**3 + 12*u**2 - 7*u. Let v be d(s). Solve 3*k + 2*k = -4*b + v, 0 = -2*k - b + 3 for k.
-1
Let r be 3*(1 - (7 - 7)). Solve -2*a = 5*z + 1, -7*a + r*a = 4*z + 8 for a.
-3
Let d(u) = 4 + 4 - u**2 - 1 - 6*u. Let y 