
-3
Let c(n) = 3*n**2 - 61*n + 81. Let i be c(19). Solve 5*s + i*p + 3 = -2, -3*s + 5*p + 37 = 0 for s.
4
Let z(g) = 2*g + 20. Let w = -23 - -14. Let h be z(w). Let i = -11 + 16. Solve 2 = -3*p - q, -5*p + i*q - h = -12 for p.
0
Let q(n) = -14*n**3 + 2*n**2 + 5*n + 4. Let c be q(-1). Solve -3*u + 0*v = v + c, -5*u = v + 25 for u.
-5
Let t = -147 + 222. Let p = -75 + t. Solve -4*k + 2*u + 22 = p, -k + 2*u + 17 = 2*k for k.
5
Suppose -6*c + 44 - 8 = 0. Let w(k) = k - 3. Let g be w(c). Solve 5*u + 3 = -0*z + z, -z + 3*u + g = 0 for z.
3
Suppose 5*s - 16 = -3*s. Solve -5*a + 5*x = 0, s*a + 3 = -2*x + 7*x for a.
1
Let k(u) = -u**3 + 12*u**2 + 2*u - 140. Let s be k(11). Solve -5*n - s*g + 13 = 0, 2*g + 4 = g for n.
5
Let z(w) = 2*w**3 + w**2 - w + 1. Let x be z(1). Suppose -2*v - 2*m + 9 = -3*m, v + 6 = -x*m. Solve 0 = 2*j - 2*p, 5*j + v*p = -p for j.
0
Let b(o) = o + 7. Let g be b(-9). Let i be (-4)/g + 1*(1 - 0). Solve -4*p + p - 3*t + 21 = 0, -5*t = -i*p + 5 for p.
5
Let f = 223 + -221. Solve 0 = 2*r - o + 11, -f*o + 3 = 3*r + 3*o for r.
-4
Let m be 2*(-43)/(-2)*1 - -2. Let f = m + -40. Solve 5*k - 2*p - 11 = 0, -f*k + 3 = 4*p + 10 for k.
1
Let g = 2 - 4. Suppose 0 = 9*u + 9 + 9. Let y = g - u. Solve 5*k + 25 = 3*p, -5 = 5*k - y*p + p for k.
-2
Let f(c) = -89*c - 242. Let z be f(-3). Solve 3 = j - 2*y + 10, -2*y = 5*j - z for j.
3
Suppose 3*g = -2*i + 36, 2*i = -7*g + 5*g + 24. Solve 3*r + g = 3*d, 3*d + 6 = 5*r + 24 for d.
1
Suppose 32 = 18*b - 4. Solve t = -b*c - 2 - 3, -4*c + 5 = 5*t for c.
-5
Suppose 85*z = 79*z + 126. Solve -f - 13 = f + 3*b, -4*b - z = -f for f.
1
Let g be (-7 + 3)*3/(-6). Suppose 6*j = g*j + 60. Solve j = 2*m + 3*b - 6*b, -m - 3*b = 6 for m.
3
Suppose 5*v - 12 = -4*b, 5*b + 3*v = 3*b + 4. Suppose 2*n - 6*n - 4 = -4*q, -5*n + 3*q + 1 = 0. Solve 3*h - a = -3, -2*h - b = n*a + 2 for h.
-2
Let h(a) = a + 1. Let r be h(9). Let j = r - 8. Solve 0 = -4*w - 8, -w - j*w - 11 = 5*b for b.
-1
Suppose 120 = -16*w + 152. Solve r - z + 1 = 0, 21*z - 16*z = -w*r + 19 for r.
2
Let p(k) be the second derivative of -k**5/20 - k**4/2 - 7*k**3/6 - 4*k**2 - 13*k. Let x be p(-5). Solve 2 + 3 = c + 5*f, 2*c = -x*f - 6 for c.
-5
Suppose -4*m + 146 + 90 = 0. Let p = 64 - m. Solve 2*o + 27 = -4*y + 11, 0 = -3*y - p*o - 19 for y.
-3
Let a = 29 - 18. Suppose 3*p - a = t, 0 = -2*p + 3*t - 2*t + 8. Solve 0 = -4*j + 2*i - 22, 2 = 4*j + 5*i + p for j.
-4
Let s = 14 + -9. Suppose 84*z - 80*z = 12. Solve s*f + 0*f = 4*d + z, d - 9 = -2*f for f.
3
Let j be ((-66)/(-10))/3 - (-44)/55. Let x(m) = m**2 - m + 3. Let s be x(4). Solve -j*q = s, -2*q = 3*o - 0*o - 5 for o.
5
Let u(o) = o + 33. Let m be u(-14). Suppose -4*t + m = -37. Solve -i + 0*b + 3*b + t = 0, -5*b - 20 = -5*i for i.
-1
Suppose -2*z - 12 = -4*z + p, -5*z + 30 = 8*p. Solve -5*t - g = 14, 3*t - 2*g = 2*t + z for t.
-2
Suppose 5*a - 104 = -u + 200, 0 = -4*a + 5*u + 220. Suppose 13*s - a = s. Solve -5 = -3*q - 3*t + 7, s*q + 4*t = 21 for q.
5
Let b(a) be the third derivative of a**5/60 - a**4/12 - a**3/6 + a**2. Let q be b(3). Solve 0 = q*j - m - 0*m + 6, 2*j = -5*m - 30 for j.
-5
Let q(k) = 20 - 5*k - 6 + 6*k. Let n be q(-8). Let i(t) = t - 6. Let m be i(n). Solve m = o + 3, 2*w - 3*o = -2*o + 1 for w.
-1
Suppose -w - 8 = 2*r - 9, 3*w - 5*r - 36 = 0. Solve 2*y + 3*b - 2*b = w, -2*y + 5*b = 11 for y.
2
Let o be ((-12)/(-15))/(1*(-3)/15). Let t(r) = -r**3 - 4*r**2 - 2*r - 2. Let n be t(o). Solve -n = 3*w, k + 2 + 1 = -4*w for k.
5
Let t(c) = -c - 3. Let z be t(-5). Let x = -3159 - -3161. Solve g - 12 = 2*o, -x*o - 10 + z = 0 for g.
4
Let m = -1144 - -1146. Solve 5*x - 2 + 17 = 5*c, -m*x = -5*c + 9 for c.
1
Suppose 3*r = -a - 1, -2*a = 5*r - 3*a - 1. Solve -x - 4*x = 2*m, 5*x = r for m.
0
Let w = -1 + 5. Let g = -769 - -777. Suppose -w*q + g*q = 20. Solve -5*x + 0*x = -t + 21, q*t + 5 = 3*x for x.
-5
Let z be (-3)/8 - (3717/(-72))/7. Solve 0 = -2*k - 2, -5*b + 2*k = -z - 5 for b.
2
Let k(t) = t + 2. Let f be k(-3). Let r be 1 + 2/f + 1. Solve r = -2*b - 1 - 3, 0 = -2*c - 3*b - 16 for c.
-5
Let l(o) = -2*o + 3*o + 7*o - 2 + 3*o. Let f be l(2). Let x = f - 15. Solve 16 = x*g - 4*d, -d + 19 = 4*g + 2*d for g.
4
Let t(j) = -j**3 + 8*j**2 + 2*j - 6. Let r = 15 + -7. Let f be t(r). Solve -m + 2*m + 2*l = f, -4*m - 3*l + 15 = 0 for m.
0
Let k = -5 + 8. Let z = -138 - -112. Let s = z + 28. Solve -u + t = -t, -s*u - k*t = 14 for u.
-4
Suppose 5*z = 362 - 317. Solve x = 4*b, x + 6*b = b + z for x.
4
Let c(t) = -t**3 - 30*t**2 - 30*t - 24. Let d be c(-29). Solve d*a + 2*y + 29 = 0, -4*y + 16 + 1 = -5*a for a.
-5
Let r(d) = 2*d**2 - 6*d - 2. Let k be r(-5). Suppose h = -2*h + k. Suppose 12*i + 8 = 8. Solve i*c = 5*u + c + h, -2*u + 5*c = 5 for u.
-5
Suppose 251*d - 238*d - 117 = 0. Solve 2*r + 5*n = -0*r - d, -2*n = 2*r for r.
3
Suppose -3*o - 6*o + 72 = 0. Suppose 7 = o*u - 9. Solve 2*i - 3*i + 2 = -5*z, -i + u = -2*z for i.
2
Let z(o) = 15*o + 6 + 2*o**2 - 42*o + 19*o. Let y be z(5). Solve 4*w - y = n, 3*n - 16 = 3*w - 7*w for w.
4
Suppose -2 = 2*g, 3*l + 5*g - 3 = -l. Solve 13 = l*i + 3*k - 0*k, -3*k - 22 = -5*i for i.
5
Let q(k) = k**2 + 5*k + 9. Let c be q(-2). Solve -4*z - 5 = 5*i + 22, 5*i = -c*z - 24 for i.
-3
Let t = 138 + -137. Suppose t = 9*p - 35. Solve -3*x - 4 = p*v - 3, 0 = -v - 2*x - 4 for v.
2
Suppose 25 - 9 = 4*g. Suppose -x = -l + 1 - 0, -3*l - g*x = -10. Solve 3*z = l*q + 2, 4 = -2*q - 0*q + 4*z for q.
2
Let j be 88 - 81 - (-3)/(2 - 3). Solve -2*f + 3*s = -4, -f + 4*f - j = 4*s for f.
-4
Let u(l) = l**3 + 19*l**2 - 24*l - 50. Let a be u(-20). Let t(k) = k**2 + 7*k + 9. Let j be t(-6). Solve -2*o - 10 = 4*h, 4*o + h = j*h + a for o.
5
Let g(j) = -j**3 + 1 - 3 + 9*j**2 - j + 6*j + 6*j. Let y be g(10). Suppose 4*x + 5*h = 2*h + 13, x - h = 5. Solve -4*o + 0*o - y = x*i, 5*i - 26 = 4*o for o.
-4
Suppose 0 + 30 = 10*r. Let s be -3*-2*1/(-2). Let o be (s/(-2))/((-1)/(-2)). Solve r = -3*m, o*t + 2*m + m = 3 for t.
2
Let u be -1 + -1*(0 + 1). Let y be u/(1*3/(-6)). Let w = -4759 + 4780. Solve 40 = 4*f - 4*v, -w = -3*f + y*v + 14 for f.
5
Let d be (-21 - -21)/((-5)/1) - -3. Solve 3 = -3*y - d*f, 2*y + 3*f = 5*f + 10 for y.
2
Let b be (0 - -3) + 1/1. Suppose 6*w + 6 + 12 = 0. Let q be w + 27/12 + 15/4. Solve -4*u - 29 = 3*z, 0*u - u + b = -q*z for u.
-5
Suppose 3*n = v - 16, -22*n = -5*v - 27*n. Solve -24 = -5*h - v*j - 0*j, -3*j = -4*h + 13 for h.
4
Let q be 0 - (1/1 - -3). Let r(t) = -4*t - 13. Let m be r(q). Solve 2*d - m*d = -4*p - 16, -p = 4 for d.
0
Let z = -10 + 31. Let j = 24 - z. Solve -j*q + 9 = 0, 3*y = q + 3*q for y.
4
Let b(a) = -4 + 0*a + a + 2 + 3*a**2. Suppose 3*i - 5 = -2*i. Let k be b(i). Solve 5*c + 4 = -2*n - n, k*c + 13 = -5*n for c.
1
Let y = 45 + -30. Suppose -5*x - 5*n = -y, -n + 5 = -2*n. Let a = x - 1. Solve -20 = 4*r + i, 3*r - 24 = a*r + 2*i for r.
-4
Let g(w) = 2*w**2 - 48*w + 51. Let k be g(23). Solve k*l + 20 = 5*z - 2*z, l + 4*z - 19 = 0 for l.
-1
Let n = 2094 - 2083. Solve -j = -3, 8*v - 3*j = 6*v - n for v.
-1
Let j be (-1)/((-29)/4 + (-140)/(-20)). Solve -b - j*h = -6 - 10, -5*h + 37 = -3*b for b.
-4
Let z be 6*1 + 21/((-49)/7). Solve -4*c + 16 = 0, z*c = 2*a - a + 17 for a.
-5
Suppose 2*t - 6 = -2*j, 2*t = 5*j - t - 39. Let q = 15 - 9. Solve -q = -4*y - 2*p, -2*p + j*p = -4*y + 4 for y.
2
Let w be (20 + -24)*1/(-2). Solve -2*c - 2*c + 14 = 5*t, -8 = -w*c - 3*t for c.
1
Let i = 20 - 19. Let g be 145/30 - i/(-6). Solve 0 = -4*y - 2*d - 8, d - 13 = g*y + 5*d for y.
-1
Suppose 3*s - 9 - 36 = 0. Let p = -4 - -13. Let z be (-6)/p - (-92)/3. Solve -5*m = 5*t + z, -5*t - s = -0*t for m.
-3
Let m(y) = -2*y - 1. Let c be m(5). Suppose 0 = 57*d - 67*d - 80. Let z = d - c. Solve 0*h = 5*s - z*h - 28, 0 = -2*s + h + 11 for s.
5
Suppose -s = -6*s + 120. Suppose s = 3*f + 15. Let n = f + 2. Solve n*z - 3*u - 29 + 4 = 0, 5*u = -z + 5 for z.
5
Let h(l) = l**2 + 20*l + 49. Let a be h(-19). Solve 3*x = k + 4 - 2, 5*x = -5*k - a for x.
-1
Suppose -8343 + 8631 = 12*o. Let d(h) = -h**3 - 7*h**2 - 2*h + 2. Let n be d(-5). Let j = -4 - n. Solve -4*u + j - 12 = -2*a, 3*a = 3*u - o for a.
-5
Suppose -2*d = -v + 3*v - 4, 5*v - 4*d - 55 = 0. Let f(i) = -i + 12. Let g be f(v). Solve 3*w = 2*k - 4*k - 22, -4*k - 40 = g*w for k.
-5
Let y be -5*((-1)/(-10))/((-4)/(-32)). Let p be (1 - (y - -6)