15. Is 7 a factor of l?
True
Let t = 90 + -32. Let y = t + -245. Is 4/18 + y/(-9) a multiple of 15?
False
Let d = -6 - -4. Let b be (9/6)/(d/4). Let a(w) = w + 6. Is 2 a factor of a(b)?
False
Suppose t - 14 + 11 = 0. Suppose 5*u = 10, 3*m + t*u = -0*m + 27. Does 2 divide m?
False
Let v(z) = -7*z - 11. Let u be v(-5). Suppose -2*j = -j - u. Is j a multiple of 6?
True
Suppose -25 = 4*w - 85. Suppose 3*a - b - 35 = 0, 2*b + w = 2*a + 3*b. Is a a multiple of 10?
True
Let i(n) be the second derivative of 0 - 2*n**2 - n - 2/3*n**3. Is i(-5) a multiple of 6?
False
Suppose 0*r = -3*s - 4*r + 40, 0 = 3*r + 15. Suppose -5*g - 55 = -s. Does 3 divide (2 + -3)/(1/g)?
False
Let g(j) = -j**3 + 3*j**2 - j + 2. Let v be g(3). Let a be 63/4 - v/4. Is (a/10 - 2)*-10 a multiple of 2?
True
Let b(k) be the first derivative of 2*k**3/3 - k**2/2 + k - 2. Let y be b(1). Suppose 2*q + 3*w = 55, 0 = -y*w - 2. Does 12 divide q?
False
Let q(r) = -r**3 + r + 3. Let i be q(0). Suppose 2*w - w = i. Is 4 a factor of w/(9/2)*12?
True
Let v(t) = t + 2. Does 5 divide v(3)?
True
Let z = 37 + 147. Is 10 a factor of z?
False
Let h(z) = 15*z**2 - 3*z - 2. Does 5 divide h(-1)?
False
Let p be -1 - (-4 + 2 + -1). Suppose 0 = -p*x + x. Suppose x*i = 3*i - 27. Is 4 a factor of i?
False
Suppose 2*g + 2 = -f, -3*g + 0*g - f = 1. Suppose g = 4*r + 25. Is (-22)/r + (-6)/(-18) a multiple of 4?
True
Let v(c) = 4*c - 3 + 2*c - c. Is v(5) a multiple of 17?
False
Let z be (-385)/15*(-1 - 2). Suppose -102 = -5*y + 2*w + 283, 0 = y + 4*w - z. Suppose -2 = 5*l - y. Is 7 a factor of l?
False
Let x = -39 + 66. Is x a multiple of 9?
True
Let n = 10 - 7. Suppose 4*v + 2*t - 78 = 0, -n + 0 = -t. Is 8 a factor of v?
False
Let c(o) = -o - 8. Suppose 4*y + 15 = -33. Let v be c(y). Suppose -3*g = -g + v*u - 38, 4*g = -3*u + 51. Does 4 divide g?
False
Let a(r) be the third derivative of r**5/60 - r**4/12 - 2*r**3/3 + r**2. Is a(6) a multiple of 10?
True
Let s be 2/((-4)/14*-1). Let r(u) = 2*u**2 - 9*u + 9. Let a(o) = -o**2. Let z(q) = -a(q) - r(q). Does 3 divide z(s)?
False
Suppose 3*z + 14 = -2*t + 6*t, 2*t = -8. Let q(u) = u + 13. Let v be q(z). Suppose -3*p + 65 = -0*p + 2*i, v*p - 95 = 4*i. Is p a multiple of 11?
False
Suppose 2*z + 5*b = 18 + 29, z - 3*b = 51. Is z a multiple of 18?
True
Suppose 4*l + 354 = 8*l + 2*u, -l + 75 = 5*u. Does 23 divide l?
False
Let c = 4 + 1. Let g = 10 + 30. Suppose m = c*u - g, u + 3*m = -0*u + 24. Does 4 divide u?
False
Suppose -80 = -4*o + z + 2*z, 3*z + 46 = 2*o. Does 17 divide o?
True
Let o = 243 + -99. Does 36 divide o?
True
Suppose 4*g - 12 = -2*g. Is g a multiple of 2?
True
Suppose -3*j + 4*h - 3*h = -154, -104 = -2*j + h. Suppose -2*w + j = -4*a, -2*w + 3*a = -w - 24. Is w a multiple of 9?
True
Suppose -40 = -2*p + i, 2*p - 2*i + 15 = 55. Suppose f - p = -6. Is f a multiple of 11?
False
Let i = -7 - -12. Suppose 2*m = p - 2*m - 75, i*m + 300 = 4*p. Is 25 a factor of p?
True
Let o(m) = 5*m**2 + 2*m - 1. Let n be o(-2). Suppose -x + 8 = 3*x. Let f = n - x. Is 10 a factor of f?
False
Suppose 83 = 4*d + 27. Does 3 divide d?
False
Suppose 3*r - 4*q - 100 = 0, -2*r + 25 + 40 = -q. Does 31 divide r?
False
Suppose 4*k = -j - 5, -5*k - 7 = 8. Let o be j/(-35) + (-591)/(-5). Suppose 4*x + 62 = 3*c, 2*c + 3*c - 3*x = o. Is 13 a factor of c?
True
Let k be (-2496)/(-18) - (-2)/(-3). Suppose k = 2*c + c. Let s = c - 18. Is 20 a factor of s?
False
Let a be 0*((-2 - 1) + 2). Suppose -5*d + 40 - 10 = a. Is -1 + 3/(d/26) a multiple of 6?
True
Suppose -v - 2*v - r + 312 = 0, 2*r - 212 = -2*v. Is v a multiple of 15?
False
Let v = 3 + -7. Let d = 50 - 34. Let p = d + v. Is 11 a factor of p?
False
Suppose -5*s + 240 = -2*s. Is s a multiple of 20?
True
Suppose 3 = 3*u - 5*g + 50, 5*g = -2*u + 2. Let l = u - -21. Does 4 divide l?
True
Let z(k) = 12*k**3 - k. Is 6 a factor of z(1)?
False
Suppose 0*n + 4*n = i + 691, -869 = -5*n - 4*i. Is n a multiple of 18?
False
Let r = 6 - 5. Let g(s) = 3*s**2 - s + 1. Let i be g(r). Suppose -i = -4*t + 29. Is t a multiple of 6?
False
Let k(n) = -n**2 + 18*n - 3. Let f be ((-11)/4)/((-2)/8). Let h be k(f). Does 9 divide h/3 - (-4)/(-6)?
False
Let b(j) = j + 5. Let m(i) = i**3 + 4*i**2 - 3*i - 5. Let q be -6 - 3*6/(-9). Let h be m(q). Is b(h) a multiple of 7?
False
Suppose 3*j = j + 18. Is 5 a factor of j?
False
Let p(i) = i**2 - 5*i + 2. Let m be p(5). Suppose -m - 19 = -n. Is 7 a factor of n?
True
Suppose 0 = -4*n + 4*r, -n - 3*r - 6 = -26. Let i(c) = c - 4. Let w be i(4). Suppose w = -n*t - 72 + 237. Is t a multiple of 15?
False
Let c = -22 + 22. Suppose -6*y + 548 - 200 = c. Is y a multiple of 12?
False
Let m = -16 + 33. Suppose 2*c = -5*y + 25 + 1, 2*y = 5*c - 7. Suppose m - 44 = -c*p. Does 9 divide p?
True
Suppose 4*g - 138 = 2*z, 0*z - 133 = -4*g - 3*z. Does 14 divide g?
False
Suppose -4*g - 4*a + 1088 = 0, -2*g + a + 485 = -53. Does 45 divide g?
True
Let c = -7 - -7. Suppose -8 = r - 4*i - 33, c = -4*r + i + 55. Does 10 divide r?
False
Let m(g) = 9*g + 35. Does 15 divide m(7)?
False
Suppose 4*s - 410 = -s. Is 41 a factor of s?
True
Suppose -2*i - 99 + 399 = 0. Is 20 a factor of i?
False
Let c(i) = -i**2 - 16*i + 24. Let g be c(-17). Suppose -s + g + 18 = 0. Is s a multiple of 13?
False
Let n(v) = -v + 28. Let u(g) = -g - 1. Let w be u(-1). Is n(w) a multiple of 14?
True
Let y(v) = -30*v - 2. Is 29 a factor of y(-2)?
True
Let d = -1 - -5. Suppose c = 3*b + 8, -4*c - d*b - 10 = -2*b. Let k = 13 - c. Is 7 a factor of k?
True
Suppose -16 = -x + 75. Does 13 divide x?
True
Is (-10)/(-20) + (-90)/(-4) a multiple of 7?
False
Let t = 3 - 0. Suppose 26 - 2 = t*c. Does 8 divide c?
True
Suppose -4*i = -6*i + 6. Suppose 0 = s + i*s + 24. Is 39/3 - s/2 a multiple of 10?
False
Does 23 divide (-5 - -8) + 198/3?
True
Does 8 divide (-30)/20 + 37/2?
False
Suppose 0 = i + 2*i + 6. Let x be i/2*(10 - 3). Let m = 21 - x. Is m a multiple of 14?
True
Suppose -688 = -7*d + 3*d. Does 15 divide d?
False
Let z(c) = 4*c**2 + 3*c - 4. Let d be z(-3). Let s = d + -16. Does 5 divide s?
False
Let f(x) = -x + 14. Is f(0) a multiple of 12?
False
Let l be -2 - -2 - 10/(-1). Does 13 divide (-8)/l*4*-5?
False
Let n(d) = -4*d - 7. Let y(t) = t**2 - 7*t + 5. Let h be y(5). Is 13 a factor of n(h)?
True
Let r(d) = -d + 4. Suppose 2*u = -5*f + 24, 2*u + f - 6*f + 16 = 0. Let y(x) = 5. Let h(s) = u*y(s) - 3*r(s). Is 4 a factor of h(4)?
False
Let h(m) = 2*m + m - m. Let z be h(2). Suppose -5*u - 6 = -l, -z*l = -l + 2*u - 18. Is 3 a factor of l?
True
Let c = -2 + -1. Is 15 a factor of c/2*(-204)/9?
False
Suppose -4*q + 2*v + 0*v = -130, 2*q - 61 = 5*v. Let g = q + -1. Is 15 a factor of g?
False
Suppose 5*z - 407 = -3*v, -4*z - v = z - 409. Does 21 divide z?
False
Let u(z) be the first derivative of z**4/4 - 7*z**3/3 - z**2/2 + 3*z - 2. Let f be u(7). Let b = f + 22. Is 9 a factor of b?
True
Let w(q) = q**3 + 13*q**2 - 8*q - 9. Is w(-13) a multiple of 19?
True
Let t = -52 + 84. Is t a multiple of 8?
True
Suppose -r + 2 = -3. Suppose -80 = -r*i - 30. Is i a multiple of 2?
True
Let y = -5 + 5. Suppose y = 4*j + 33 + 23. Is (-258)/(-21) + 4/j a multiple of 4?
True
Let c = 70 + -50. Suppose 0*p - c = -4*p. Does 2 divide p?
False
Let q = 8 - 0. Let g be (-12)/q*(-2)/(-3). Is (1/1)/g + 11 a multiple of 10?
True
Suppose -3*x - 18 = -5*x. Let t = x - 2. Does 7 divide t?
True
Suppose 5*d = -2*d + 126. Is d a multiple of 8?
False
Let h be (6/(-9))/(2/3). Does 15 divide -3 + h + (3 - -38)?
False
Suppose 5*o + j = 510, 2*j + j + 118 = o. Suppose -3*n + 2 = -o. Is 9 a factor of n?
False
Let w(v) be the second derivative of -v**5/20 + v**4 + v**3/6 - 5*v**2/2 + 3*v. Let j be w(12). Let g(n) = -n**2 + 10*n - 7. Is 14 a factor of g(j)?
True
Let m(i) be the second derivative of 13*i**4/12 + 5*i**3/6 - i**2 + 4*i. Let v be m(3). Let j = -85 + v. Does 19 divide j?
False
Suppose 5*o + 0*o + 41 = 4*m, 0 = -3*o - 15. Suppose -2*z = -4*r + 15 - 55, -72 = -m*z + 4*r. Does 13 divide z?
False
Let g(a) = 100 - 100 - 39*a**3 + a**2. Let i(u) = u + 2. Let j be i(-3). Is 20 a factor of g(j)?
True
Suppose -j - u = -0*j - 17, 3*j - 3*u = 39. Is j a multiple of 6?
False
Suppose 0 = 4*u - j + 34 - 431, -5*u + 4*j = -510. Does 11 divide u?
False
Suppose -3*o = -0*o - 9. Let b be (0/1 - o)*5. Let i = -7 - b. Is i a multiple 