 15. Let j be y(-10). Is z(j) a multiple of 13?
False
Let b(i) = 23*i + 1. Let s be b(-1). Let n(z) = -z**3 + 6*z**2 + 4*z - 1. Let h be n(5). Let y = h + s. Does 11 divide y?
True
Suppose j + 0*z - 13 = -2*z, 3*z = -5*j + 30. Suppose 9 = -d + j. Does 7 divide ((-28)/d)/((-10)/(-15))?
True
Suppose 0*a - 2*a + 6 = -u, -5*a = -4*u - 15. Suppose u = -2*g + 35 + 37. Let h = 55 - g. Is 19 a factor of h?
True
Suppose 0*o + 16 = o - 3*i, 3*i + 12 = 0. Suppose -20 - o = -2*g. Is g a multiple of 4?
True
Let k = -26 + 43. Is 14 a factor of k?
False
Let s(u) = -24*u**3 + 2*u**2 - 2*u + 1. Let h be s(1). Let c = 53 + h. Is 12 a factor of c?
False
Suppose 3 - 2 = -n. Let s be 0*2/4*-2. Is 12 - (n + s + 2) a multiple of 4?
False
Suppose -3*f - 9 = -2*g, -6*f + f = 25. Is 9 a factor of (-124)/(-12) + 1/g?
False
Let v = -9 - -14. Suppose v*k - 92 = -8*u + 4*u, -4*k - 4*u = -76. Is 8 a factor of k?
True
Let m = -3 - -3. Let b be (0 + m)/(1*-2). Suppose 5*t - 4*n - 116 = b, -2*t + 52 = t + 2*n. Does 20 divide t?
True
Let u = -55 + 21. Let s be 2/2 + -22 + 0. Let k = s - u. Is 6 a factor of k?
False
Let q(c) = -c + 2. Suppose -12 = 4*u + 12. Is 3 a factor of q(u)?
False
Let g = 18 - -43. Suppose -g = -4*z - 21. Is z a multiple of 10?
True
Let r = 13 - -1. Does 9 divide r?
False
Suppose 0*p - 1705 = -11*p. Does 31 divide p?
True
Let r(k) be the first derivative of -k**4/4 + 5*k**3/3 + k**2/2 + 4*k + 8. Suppose -y = 3*y - 20. Is 5 a factor of r(y)?
False
Let v(n) = 6*n. Let w(f) = -1. Suppose 0 = -5*m - 0 + 5. Let d(s) = m*v(s) + 2*w(s). Is d(4) a multiple of 11?
True
Is 9 a factor of 620/8 + 6/4?
False
Let r be 138/33 + (-4)/22. Suppose -f - 4*n - 20 = 3*f, -4*n = -r. Is 4 a factor of (-2 + f/1)/(-1)?
True
Let w(p) = p**3 + p**2 + 2. Let m be w(-2). Let n be 0/(-1 - 2) + m. Does 13 divide 6/n*13/(-3)?
True
Let d = 1 - 5. Let b be -1 - (0 + d) - -105. Suppose h + b = 5*h. Is 14 a factor of h?
False
Does 7 divide (61 - -7)*(-2)/(-4)?
False
Let t(u) = -u - 6. Let i be t(-8). Let q(f) = -f**i - 6*f + 8*f - 10*f + 8. Does 8 divide q(-8)?
True
Let a = -8 + 10. Suppose -5*g + t + 31 + 12 = 0, -a*g + 3*t + 25 = 0. Is g a multiple of 4?
True
Let x be (-1)/(2/4) + 3. Suppose 5*z - v = 4, z - 2*v - x = -2*z. Is z - ((-1 - 1) + -15) a multiple of 9?
True
Let g(j) = -j**2 - 1. Let u(k) = -3*k**2 - 3. Let b(q) = 5*g(q) - 2*u(q). Let r be b(2). Is 13 a factor of -6*((-70)/6)/r?
False
Let n(l) = 12*l**2 + l + 4. Is n(2) a multiple of 18?
True
Suppose 3*c - c + 4*z - 40 = 0, -4*z - 68 = -4*c. Is c a multiple of 18?
True
Let w(j) = -j**2 - 7*j - 3. Suppose 2*t + 11 = 1. Is 3 a factor of w(t)?
False
Suppose 2*p = -3 + 23. Suppose -p = 5*g, -4*h - h + 4*g = -8. Suppose 3*w + h*w = 90. Does 15 divide w?
True
Suppose 9*b - 20 = 5*b. Let p = 47 - b. Does 21 divide p?
True
Suppose 0 = 5*c + 125 + 90. Suppose 227 = 3*h - 4*m, 44 + 27 = h + m. Let s = c + h. Is s a multiple of 15?
True
Suppose -2*f - f = 9. Let x = f + 21. Does 6 divide x?
True
Suppose -5*z + 3*z = -272. Suppose -2*f - 2*f = -z. Does 13 divide f?
False
Let a = -24 - -40. Does 6 divide a?
False
Suppose k = -0*f + 4*f + 52, 0 = -2*k - 2*f + 64. Is k a multiple of 4?
True
Suppose 4*a - 3*t - 72 = 0, -a - 4*t + 29 = -2*t. Let y = 77 - a. Is y a multiple of 28?
True
Suppose 5*z = 25, -3*z - 22 = -p + z. Is 14 a factor of p?
True
Suppose 3*s + 4*x = 247, 67 = 5*s + 5*x - 348. Does 23 divide s?
False
Suppose -v - 3 + 54 = 0. Let l = v - 105. Let n = -24 - l. Is 15 a factor of n?
True
Suppose 6 = 4*i - i. Suppose 2 - 26 = -4*j. Does 6 divide 4 + (-2 + j)/i?
True
Suppose 4*o - 3*s - 37 = 28, 5*s = 2*o - 43. Is 7 a factor of o?
True
Let t(y) = 14*y - 6*y + 5 + 13*y - 4. Suppose 0 = -4*a + 5*a - 1. Is 11 a factor of t(a)?
True
Is ((-46)/10 + 5)*20 a multiple of 3?
False
Let b be 687/4 - 21/28. Let x = -93 + b. Is 26 a factor of x?
True
Suppose 3*j = 2*m - 7*m - 1, -j - m = -1. Suppose -2*p = b - 27, 2*p - 36 = -7*b + j*b. Does 6 divide p?
True
Let o be (-10)/3*(-9 - 3). Let z = 3 - -20. Let r = o - z. Is r a multiple of 17?
True
Suppose 7*q - x = 2*q - 179, -q - 39 = 3*x. Let z = q - -60. Does 12 divide z?
True
Suppose -4*d - 2*c = -238, 1 = 5*c + 6. Does 12 divide d?
True
Let j be 1/(-4) - 11/4. Let n(x) be the second derivative of -x**3/2 - 3*x. Does 4 divide n(j)?
False
Let n be (0 + 2)*(-15)/(-6). Suppose -u - w = -9, 4*u - n*w + 8*w - 33 = 0. Does 4 divide u?
False
Suppose 52*g - 54*g + 506 = 0. Does 11 divide g?
True
Is 18 a factor of (102/(-12))/((-2)/12)?
False
Let y = 9 - 0. Is 4 a factor of y?
False
Let l(f) = f + 23. Is l(6) a multiple of 12?
False
Let p = -9 - -6. Let h be ((-59)/p)/(2/(-6)). Let d = -41 - h. Is d a multiple of 9?
True
Let m(z) = 5*z + 8. Is 8 a factor of m(8)?
True
Is 4 a factor of (-434)/(-6) + 13/(-39)?
True
Suppose -6*a + 10*a = 104. Is 10 a factor of a?
False
Let y be (-3)/(-6)*(-1 + -1). Let g be y - 3/((-3)/(-62)). Is 3 a factor of (-4)/(-18) - 238/g?
False
Let b = -2 + -1. Let k be ((-2)/b)/((-9)/(-513)). Let p = -6 + k. Is 16 a factor of p?
True
Let z = 159 - 9. Is z a multiple of 50?
True
Let c = 34 - -2. Suppose -2*g + 1 + 19 = 0. Is g/2*c/15 a multiple of 4?
True
Suppose v + 1 + 0 = 0. Let u = v + 1. Let c = 4 - u. Is c even?
True
Suppose 0 = -4*w + w - 6. Let b = 5 + w. Is b a multiple of 3?
True
Let d(f) = f**2 - 2. Let w be d(2). Suppose 20 = 7*u - w*u, 0 = 2*o + 2*u - 26. Is 7 a factor of o?
False
Let m(c) be the third derivative of c**6/120 - 3*c**5/20 + 5*c**4/12 - 7*c**3/6 + 6*c**2. Does 6 divide m(8)?
False
Suppose -244 = -a - x - 37, 410 = 2*a + x. Is a a multiple of 38?
False
Let y be 64/28 + 4/(-14). Suppose 14 = m + y. Does 6 divide m?
True
Suppose -3*z = -4*z + 22. Suppose 0 = -p + z + 2. Does 19 divide p?
False
Suppose -4*y - 8 = 0, -4*l + 230 - 66 = 4*y. Suppose 5*x + l = 113. Is x a multiple of 7?
True
Let r be 3 + -2 + 3 + -1. Suppose -2*j - 454 = -4*b, 169 + 60 = 2*b - r*j. Suppose -g + 137 = 5*x + 2*g, 4*x - g = b. Is x a multiple of 15?
False
Suppose -5*w + 17 = -203. Is w a multiple of 11?
True
Let c be ((-20)/(-6))/((-1)/(-48)). Let f = c - 91. Is 23 a factor of f?
True
Is (-58)/(-290) + ((-2518)/(-10))/1 a multiple of 21?
True
Is (-3 - -1)*(-4 - (-150)/(-12)) a multiple of 9?
False
Suppose 2*b = 88 + 28. Is 13 a factor of b?
False
Let z(d) = -2 + 0 - 5*d + d**2 + 0 + 1. Is z(9) a multiple of 7?
True
Let p be 1 + -81 + 0 + 0. Is 1/(p/27 + 3) a multiple of 22?
False
Let i = 3 - 0. Suppose i*t = 2*t. Let n = t + 26. Is n a multiple of 13?
True
Suppose 3*b - 4*h - 3 = 0, 2*b - 5*h = -0*b + 2. Let x = 16 + b. Does 17 divide x?
True
Let a(s) = -3*s**3 - 7*s**2 - 12*s - 12. Is a(-4) a multiple of 30?
False
Let l = 190 + 68. Is l a multiple of 27?
False
Let v be (3 + 0)/(-12)*-20. Let o = 5 - v. Suppose 0 = -y - 2*q + 5 + 26, y - 4*q - 7 = o. Is 8 a factor of y?
False
Let p(b) = -8*b + 3 + b**2 + 8*b + 10*b. Is p(-11) a multiple of 7?
True
Let g(h) = -2*h - 4. Does 4 divide g(-6)?
True
Suppose -4*c + 9*c = 5*y + 255, c - 47 = 5*y. Does 13 divide c?
True
Suppose -5*d + 15 = 2*y, -d + 0*d - 24 = -5*y. Let f(a) = -3*a - 4. Let x be f(y). Let j = -5 - x. Is j a multiple of 7?
True
Let q be -47 + 4/(-12)*3. Let f = q + 75. Does 9 divide f?
True
Suppose 2*n - 1 = 3. Suppose 12 = 6*x - n*x. Is x a multiple of 2?
False
Let i(w) = w**3 - 2*w**2 - w - 2. Let f be i(3). Suppose t - f*h - 24 - 2 = 0, 2*h = -4*t + 14. Does 11 divide -22*((-3)/t - 1)?
True
Suppose 0 = 2*d - 4*d + 70. Is d a multiple of 7?
True
Let c = 5 - -12. Does 5 divide c?
False
Let l = 4 + -1. Let k(g) = g**3 - 4*g**2 + 3*g. Let u be k(l). Suppose -3*z = -u*z - 54. Is 11 a factor of z?
False
Let u(a) = -a**2 - 5*a + 9. Let s be u(-7). Let i(z) be the third derivative of -z**4/8 + z**3 - 2*z**2. Is i(s) a multiple of 20?
False
Let j be 10/65 + 518/13. Let d = 38 + j. Is 17 a factor of d?
False
Suppose -5*j = -2*t - 495, 2*j + 0*t - 184 = -2*t. Does 14 divide j?
False
Let q = 8 + -22. Let w be q/(-7)*3/2. Suppose 4*d = w*l + 97, 0 = -0*l + 5*l + 15. Does 10 divide d?
False
Is (-12)/9*(-122 - 1) a multiple of 13?
False
Let v = 455 - 308. Is 8 a factor of v?
False
Suppose -6*a + 16 = -2*a. Suppose -4*h = a*k - 5 - 7, 2*h = 3*k - 14. Let s = 37 + h. Is s a multiple of 18?
True
Suppose -3*l + 194 - 26 = 0. Does 20 divide