p + 12 for p.
0
Suppose -3*w + 2*w = -7. Let u be 55/45 - -1 - 4/18. Solve -5*z = 4*s - 21, w*z = u*z - 5*s + 25 for z.
1
Let a = -3 + -2. Let x = 5 + a. Solve n + 2 = x, -5*g + n - 17 = 2*n for g.
-3
Suppose 0 = -r - z + 10 + 30, 56 = 2*r - 4*z. Suppose 2*t - t = 8. Suppose 26 = 4*h + 3*j - 6*j, -h + 3*j = -11. Solve 0*u = 4*u - h*f + r, -f = -u - t for u.
-4
Let r(g) = 2*g + 3. Suppose -4*h = -5*h + 7*h. Let m be r(h). Solve -m*l - 23 = -4*u - 8*l, 3*u = 2*l for u.
2
Let p be (-35)/(-3) + 76/(-114). Solve -5*o + 3*d - p = 0, -2*o - 3*d + 9 = -5*o for o.
-1
Let z be 2/(-6) - (0 - (-14)/(-6)). Suppose 0 = z*f + 2*f - 16. Solve 16 + 1 = -m + f*r, -4*m = -3*r + 16 for m.
-1
Let x(p) = p**2 - 10*p + 4. Let w be x(10). Suppose w - 12 = -2*d. Solve -5*s - d = -3*b - 2, -s + b = 0 for s.
-1
Let f be 58/15 - (-44)/330. Solve -4*t = 2*c + 22, -f*c - 3 = -2*t + 1 for t.
-4
Let g(p) = -4*p**2 + 21*p - 8. Let x be g(8). Let c = -96 - x. Solve -h - 3*w + 7 = 0, -h - 14 + c = -4*w for h.
-2
Let k be (-5)/(-2) + (690/(-12))/23. Solve k = 4*f + 5*w - 28, -3*f - 6 = -w - 2*w for f.
2
Suppose t - 32 + 2 = 0. Let o be 258/t - (-4)/10. Let n = o - 9. Solve 5*r - 1 = -n*x + 3*x, 0 = r + x - 5 for r.
2
Let m be (-6)/(-27) + 43/9. Let a = -1496 - -1505. Solve -2*i = 2*v - i + a, -7 = 3*v - m*i for v.
-4
Let x(z) = z**3 - 5*z**2 + 8*z - 3. Let c be x(3). Suppose c*d = d - 2*o + 2, 5*d = -2*o + 14. Solve -2*k - a = 12, 2*a + 16 = 2*k - d*k for k.
-4
Let t be (0 + (1 - -3))*(6 - 5). Solve 2*f - t*f + 4 = -4*a, 0 = -f + 5*a + 11 for f.
-4
Let n = 30 - 25. Suppose -n*c - 4 = 56. Let i be (-76)/c - (-8)/12. Solve -4*z + 6*f - 3*f = -5, 4*z + f + i = 0 for z.
-1
Let k = 66 + -53. Solve -45 = 4*y - 4*w - k, 3*y + 5*w = 16 for y.
-3
Suppose 2*f = -4*u + 474, u - f - 7 = 116. Suppose -i + u = 5*z, -4*i - i = 2*z - 25. Suppose d + 4*d = z. Solve 2*n - 17 = 3*b, 2*b + 2*b + 15 = -d*n for b.
-5
Let k(r) = -11*r + 49. Let t be k(-5). Let v = t + -101. Solve -4 = -4*a - v*z - 8, 0 = -5*a - 5*z for a.
-4
Suppose 32 = -t + 4*t - 5*y, -y = 4. Solve -r + t = 4*m, 3*r = 2*m - 0*m - 2 for m.
1
Let a be (2/(-2)*2)/(5 - 3). Let f be a*69/(-24) - 1/(-8). Solve 4*h - y - 6 = 8*h, 4*h + 10 = -f*y for h.
-1
Suppose 11*d = 7*d + 64. Suppose 12 = d*u - 14*u. Let v = -17 + 19. Solve -2*q - 5*n - 19 = 0, -3*q + u*n - v*n + 6 = 0 for q.
-2
Suppose 63*l = 66*l. Solve -f - 2*p + l*p + 3 = 0, -3*p + 3 = 0 for f.
1
Let s be (-2)/(13/(78/(-12)))*0. Let p(h) = h**2. Let o be p(2). Solve -o*n - 4*v = -4, s = -v + 2*v - 1 for n.
0
Let p(c) = c**2 + 4*c - 18. Let f(y) = y**2 - 16*y + 53. Let d be f(6). Let i be p(d). Solve i*q + 2*q + 13 = -2*u, 3*u + 6 = -3*q for u.
1
Let g = 73 - 73. Suppose g = 2*r + h - 1, -8*r - h = -4*r - 7. Solve 0 = r*w - 8*w - p + 24, -4*w + 21 = -p for w.
5
Let t(d) = d - 1. Let l be t(6). Suppose -2*g - 2 = -3*c, -l*g + 13 = -0*g - 3*c. Suppose 2*z = -1 + g. Solve z = 2*k + 4, 3*x + 2*k = -5 for x.
-1
Suppose 0 = -4*u - v - 3, -75*v + 71*v - 12 = 3*u. Solve u = -4*w + 5*a + 2, 3*w = -3*a + 6*a for w.
-2
Suppose -6 = -3*r - 3. Suppose 0 = 2*z - 5 - r. Suppose -3*a = -4*j + a + 16, 3*a = -2*j + z. Solve -o - 4*d + j = 0, 0*o = 2*o - 2*d + 14 for o.
-5
Let g(p) = 3 + 5*p - 2*p**2 - 2*p**2 - 2*p + 3*p**2. Let c be g(0). Solve 3*t + 25 - 4 = -2*b, b - 12 = c*t for b.
-3
Let w = -26 + 80. Suppose 0 = w*n - 59*n. Solve 0*v - 3*v + 19 = -5*l, 4*v - 12 = n for l.
-2
Let z(l) = 10*l - 2*l**2 + 6 + l**2 + 8. Let k be z(11). Solve h = k*r - 11, -5*h = -2*r + 5*r + 1 for h.
-2
Suppose 4*g - 3 = -u + 12, 10 = 2*g - 2*u. Solve 4*d = -5*j - 35, -3*d - 2*j = -5*d - g for d.
-5
Let j be 2/8 + 4/96*114. Solve -j*c = 2*g + 5, -12 = -2*c + 6*c for g.
5
Suppose 2*j = j. Let d be 4 + (0 - j) + -1. Let u be (0 + -1)/((-15)/30). Solve -u*l + 6 = 4*k, 3*k + 5*l = -d - 10 for k.
4
Let t be (1 - 0) + (-29 - -28). Solve -3*h + 2*h = -5*y + 15, 5*y - 20 = t for h.
5
Let c = 982 - 982. Solve -3*r + 2*l = -14, c*r - 11 = -4*r - 5*l for r.
4
Let y(b) = -4*b**3 - 29*b**2 - 7*b + 2. Let z be y(-7). Solve 4*r = 3*j - z*j - 6, -2*j + 3 = r for r.
-1
Let y(c) = -5*c - 2. Let i be y(-2). Let d be (4/i)/(3/12). Let p be -2*(-1)/d*9. Solve 4*k = k + 3*o, 0 = -4*k + o - p for k.
-3
Let x(s) = 9 - 3 - 10*s + 3*s - 8. Let i = 5 - 8. Let r be x(i). Solve 2*f - 4*w = -30, -f + 5*w - r = 11 for f.
-5
Let t be 18 + -16 - 5 - (-12)/2. Solve -7 = -x - t, v + x - 4 = 0 for v.
0
Let a = 11 - 0. Let g = 14 - a. Let b be 44/g - 14/21. Solve m = 3*p + 5*m - b, -5*p = 5*m - 15 for p.
-2
Suppose 3 = 2*b - 7. Suppose -7 = b*u - 22. Let z = 171 + -154. Solve c + u*k = 6*c - z, c - 3*k - 1 = 0 for c.
4
Let v(t) = t**3 - 6*t**2 + 9. Let r be v(6). Suppose -7*c = -5*c - u - 18, -3*u = 3*c - r. Let i = 13 + -9. Solve n = i*w - 17, -c = -2*w + 4*n + 5 for w.
4
Let d = 1 + 4. Let q be 0 + (-4 - (-24)/3). Let o = 1 + q. Solve -o = 5*n, -d*n + 1 = -m - 10*n for m.
4
Suppose 2*k - 4*k + 3*p = -9, -5*p = -k + 1. Let s = 6 - k. Suppose 6*g - g = s. Solve 2*t + 0*t = -2*o, g = -2*t - 4*o + 10 for t.
-5
Suppose 13*m - 596 = 899. Suppose -m*z + 8 = -113*z. Solve 4*f = 12, -3*l + z*f - 27 = 2*l for l.
-3
Let j = 123 - 120. Suppose 4*q - o = j*o - 4, o = 3*q - 3. Solve -q*d + 24 = -4*l, 0 + 11 = -l + 3*d for l.
-5
Let w(k) = -k**3 - 3*k**2 - 2*k + 2. Let o be w(-2). Suppose 0*f = o*f - 4. Let g = 71 + -71. Solve -f*t - 2*t - 2*l = 16, g = t + 3*l - 1 for t.
-5
Let p(j) = -j**2 - 17*j - 23. Let o be p(-16). Let v(a) = -a**2 - 6*a + 9. Let i be v(o). Solve 2*h = 5*s - 24, -4*h = -i*s + 4*s for h.
-2
Suppose 9*g = 10*g - 2*a, 3*g - 2*a - 4 = 0. Solve x - 2*s + 12 = 0, 4*s - g*s + 8 = -4*x for x.
-4
Let q(b) = 8*b + 16. Let k be q(-6). Let x be (-584)/k + (-2)/8. Solve -5*u + 2*r = x, 3 = -2*u + r + 4*r for u.
-4
Suppose -24*y - 14 = -4*f - 25*y, -3*f = y - 9. Let z(l) = l**3 - 5*l**2 + 4. Let m be z(5). Solve -2*v - g - 8 = -v, -m = -4*v + f*g for v.
-4
Suppose -5*l - 1 - 4 = 0. Let j(t) = -34*t + 7*t + 1 + 10*t + 14*t. Let a be j(l). Solve -b + 2 = -4*r, 2*b = r - a*r - 7 for b.
-2
Suppose -4 = -38*c + 40*c. Let r be 21/21*(11 + 0/c). Solve -4*b = -5*k - 8, -4*k - 5*b + r = 1 for k.
0
Suppose 2*l - 3*b - 163 = -2*l, 3*l - 2*b = 121. Suppose -3*a = d - l, -18 - 7 = -3*a + 2*d. Solve 0*m = 4*m - 3*z + 13, 0 = 2*m - 3*z + a for m.
-1
Let d be (4/(-8))/(1/(-10)) - 3. Suppose 0*r + 3*r = 6. Solve -c - 4*g = -0*g - 11, -4*c + d = r*g for c.
-1
Let v be 1/(3/(-11))*-6. Suppose 0 = -4*d + v + 46. Solve 0*z - 21 = 4*z - 5*k, 3*k - d = -2*z for z.
1
Let y(x) = -2*x + 5. Let w be y(6). Let r = w - -27. Suppose -3*u - 2*u = -r. Solve -h - 4*n + 14 = -4*h, 5*h = u*n - 18 for h.
-2
Let z(u) = -18*u + 56. Let c be z(3). Suppose 0*x - x = 3*s - 7, s + 41 = 4*x. Suppose -x = -4*v - v. Solve -h - 2*h - c*p = -v, 5*h + 5*p = 0 for h.
2
Let y(n) = n**2 + 9*n + 12. Let p be y(-7). Let s be p/(-4) + (-45)/10. Let w be s/1 - (-6 + -1). Solve 0 = 3*b + 3*i - 0*i, -w*b + 2*i = -25 for b.
5
Let a(y) = -y - 15. Let k be a(-22). Suppose k = -q - 4*j, -j = -2*q + 5*q - 12. Solve -4*u - 17 - 7 = -t, -u + 15 = q*t for t.
4
Let w(d) = 2*d**3 - 3*d**2. Let n be ((-9)/6)/(2/(-4)). Let q be w(n). Solve 2*v - 12 = -3*h + h, 5*h + 2*v = q for h.
5
Let l(y) = -10*y + 3 + y**2 - 1 + 0. Let w be l(10). Suppose 9*f - 76 = -10*f. Solve w*x = -u - 5, -u - 5*x = -f*x for u.
5
Suppose -2*c + 71 - 45 = -4*j, -5 = j. Solve -5*m - 20 = 5*u, 2*m = -c*u - 0*m - 11 for u.
-3
Let a(m) = -2*m + 18. Let z be a(6). Suppose z - 54 = -4*k. Solve -q - 3*h = 2*h - 8, 3*q = -3*h + k for q.
3
Suppose -w + 9 = 4. Suppose 10 = w*p, -3*v - p + 10 = -2*p. Solve -v*n - 5*s + 1 = -44, -s = -n for n.
5
Suppose 0 = 3*b + 5 - 65. Let m = b + -14. Solve 2*v = m, 0 = -u + 2*u + 3*v - 8 for u.
-1
Let j(n) = -n + 1. Let a be j(6). Let r(l) = 3*l + 17. Let d be r(a). Solve 2*t - 6 = -d*g, 0*t + 4*t - 5*g + 33 = 0 for t.
-2
Let x(b) = b**3 - 17*b**2 + 24*b + 92. Let i be x(15). Solve 8 = o + 5*m, m + 16 = 5*o + i for o.
3
Let q(i) = 6*i - 166. Let j be q(28). Solve -2*z = l - z - j, 7 = 2*l + 5*z for l.
1
Let k(l) be the third derivative of l**5/60 - 7*l**4/24 + 3*l**3 + 9*l**2. Let x be k(6). Solve 5*y = -3*s + 1, 4*s + 0*y = 4*y + x for s.
2
Let p = 121 - 116. Let r be -3*(p/(-1) + 4). Let u be -1 + (1 - 1 - -6). Solve 3