 a multiple of 23?
False
Let r = 384 - 163. Is 13 a factor of r?
True
Let c be ((-7)/(-14))/(1/(-82)). Let k = c + 58. Is 8 a factor of k?
False
Let f(u) be the third derivative of u**6/120 + 7*u**5/60 - 3*u**4/8 - 2*u**3 + 15*u**2 + 3*u. Is f(-7) a multiple of 15?
False
Let o(z) = 31*z + 435. Does 8 divide o(19)?
True
Suppose -18*s + 6696 = 9*s. Is 2 a factor of s?
True
Let y be (-84)/(-22) + (-12)/(-66). Suppose 3*x = 2*m - 142, 6*m = y*m - 5*x + 110. Is m a multiple of 13?
True
Let v(p) = -p**2 - 6*p - 5. Let q be v(-4). Let l be 2070/24 + (-2)/8. Suppose -l = -2*m - 4*b, -2*m + 4*b - 41 = -q*m. Does 13 divide m?
False
Is (-5780)/(-12) - (7/(-21) + 0) a multiple of 10?
False
Let w be (-516)/48 - 2/8. Let u(x) = -x**3 - 11*x**2 - 4*x - 13. Let q be u(w). Suppose s - q = 6. Does 9 divide s?
False
Let s be (-2 + 0)*(-15 - 5). Let g = s + -22. Is g a multiple of 18?
True
Suppose 5*v = -2*z - 8, -v + z - 3 = -0*z. Suppose 22*t - 20*t + 56 = 0. Is v/(-1 - t/36) a multiple of 5?
False
Suppose 0 = -0*w + 2*w + 4*k - 26, -3*k + 6 = -3*w. Suppose -w*y = -y - 10. Does 20 divide (y - 2) + 58 - 1?
True
Suppose 0 = b - 4. Suppose 4*c - 8*c = -4*l - b, 0 = -c + 2*l - 1. Suppose 0 = -c*k + 5*u + 85, 4*k = -k - 3*u + 85. Does 15 divide k?
False
Let l = 56 - 45. Suppose -4*j - 847 = -l*j. Does 38 divide j?
False
Let o(i) be the first derivative of 8*i**2 - 23*i - 44. Is 5 a factor of o(8)?
True
Suppose 0 = -5*s + 4*j + 30, 3*s - 35 = -3*j + 2*j. Let b = 28 - s. Is b a multiple of 6?
True
Let y(h) = -h**2 + h + 14. Let b be y(4). Suppose b*o - 76 = -12. Is o a multiple of 7?
False
Let d be 2 + (0/(-3))/2. Suppose -3*v = -d*z + 224, -z - 5*v + 112 = -3*v. Does 28 divide z?
True
Let k(i) = -i**3 + 13*i**2 + 16*i - 13. Let z be (42/(-8))/(5/((-120)/9)). Is k(z) a multiple of 5?
True
Let u(m) be the third derivative of 0 + 0*m + 1/15*m**5 - 5*m**2 - 1/4*m**4 + 0*m**3. Is 12 a factor of u(4)?
False
Suppose 6*x = 3*x + 9. Let r(n) = 0*n**3 - n**x - 3*n**2 - 5*n + 2*n**3 + 1. Is 15 a factor of r(5)?
False
Suppose 3*r - 25*d + 26*d - 931 = 0, -305 = -r - 3*d. Is r a multiple of 27?
False
Suppose -24*v - 3099 = -26*v + 3*x, x = 3. Is v a multiple of 58?
False
Suppose -869*b = -887*b + 43848. Is 63 a factor of b?
False
Let y = -245 + 375. Let s = y - 72. Suppose -3*r = -n - s, 2*n - 5 + 1 = 0. Is 9 a factor of r?
False
Suppose -5*n + 3*d = 136, -d = -2*n + 2*d - 58. Let v = -24 - n. Suppose -26 = -3*x - v*a + 39, -2*x = -5*a - 37. Is 17 a factor of x?
False
Let j(b) = -b**2 - 19*b - 9. Let d be j(-19). Let c(l) = 3*l + 32. Is 3 a factor of c(d)?
False
Let v = 14 - 5. Suppose 3*u - 3*x - v = -2*u, 5*u + 5*x = -15. Does 15 divide (u/2 + -15)*-1?
True
Suppose -6 = -4*t + 10. Suppose -s - 3*m = 3*s - 132, t*m = 2*s - 66. Does 8 divide s?
False
Suppose -76 = -3*k - 5*b, -11*k + 8*k = -2*b - 41. Let n be (-31)/(-3) - 1/3. Let h = k - n. Is h a multiple of 5?
False
Let d(r) = r - 1. Let x(f) = -18*f + 16. Let n(z) = 12*d(z) + x(z). Suppose -26 = 4*c + 2*q, -3*c = -6*q + 4*q + 23. Does 23 divide n(c)?
True
Let c = 36 + -31. Suppose 0 = -3*l - 3*r + 186, -c*r + 0*r + 180 = 3*l. Is l a multiple of 7?
False
Let l be (2 - 1)/(5/15). Suppose -l*y + 4*m - 158 = 0, -3*m - 159 = 2*y - 48. Is 11 a factor of y/(-1) - 5/(-5)?
True
Suppose 4*h - 5*r = -0*h + 75, 84 = 4*h + 4*r. Suppose 5*i + 4*t = h, 16 = 5*i - i + 2*t. Suppose -50 = -j - 4*g, i*g + g + 32 = j. Is 9 a factor of j?
False
Suppose -2*z - 4*n = -32, 2*z + n - 12 = z. Let y be 96/15 - z/20. Suppose -5 = y*i - 47. Is 7 a factor of i?
True
Is (-6 - -22)/(6/189) a multiple of 42?
True
Let h = -23 - -27. Suppose -4*a = -h*v + 336, v = -4*a + 143 - 49. Is v a multiple of 16?
False
Does 8 divide (0 - -1 - 88)/(18/(-18))?
False
Let n(f) = -f**2 - 27*f - 170. Does 10 divide n(-15)?
True
Let t = -21 + 30. Suppose p + h = -h, -2*p + t = h. Suppose -p*w + 280 = -w. Does 10 divide w?
False
Let k be ((-15)/2)/(9/(-66)). Suppose -58*u + k*u + 576 = 0. Does 32 divide u?
True
Let l(h) be the second derivative of -9*h**5/20 + h**2 + 3*h. Let a(u) = u + 16. Let q be a(-18). Is 19 a factor of l(q)?
False
Let q(d) = d**3 - 7*d**2 - 27*d - 2. Does 4 divide q(11)?
False
Let h = 47 - 28. Suppose 3*p + 7 = h. Is 2 a factor of p?
True
Let g(j) = 1. Let z(n) = 7*n - 25. Let m(p) = -6*g(p) - z(p). Is m(-5) a multiple of 14?
False
Suppose o - 6*o - f = -405, 5*f = -o + 81. Suppose -j + o = 4*n, 4*j - 160 = 2*n + 110. Is 19 a factor of j?
False
Let b(k) be the second derivative of -k**4/6 + 8*k**3/3 - 9*k**2/2 + 30*k. Is b(7) a multiple of 3?
False
Let j(v) = -16*v + 4. Let d be j(-8). Suppose h + d = 4*h. Suppose 0 = 2*o + 2*o + q - 77, h = 3*o - 2*q. Is o a multiple of 8?
False
Suppose 0 = 4*c - 2*p - 0*p - 18, -17 = -c + 3*p. Let a = c + -12. Is (18/(-15))/(2/a) a multiple of 6?
True
Let m = -60 + 57. Is (-12)/(-10)*(-275)/(m/3) a multiple of 40?
False
Let j = 1480 - 455. Does 41 divide j?
True
Let h(k) = -k + 24. Is 33 a factor of h(-9)?
True
Suppose 5*b + 2 + 28 = 0. Let y(x) = -x - 2. Is y(b) a multiple of 4?
True
Let r = -40 + 43. Suppose -2*b + r*b - 34 = 0. Does 7 divide b?
False
Let d(r) = r**3 - 3*r**2 + 7*r - 4. Suppose 0 = 4*o + 42 + 6. Let l = o - -16. Is 11 a factor of d(l)?
False
Let h = 39 + -32. Suppose -5*k = -233 - h. Is k a multiple of 8?
True
Let j = 4168 + -1737. Is j a multiple of 11?
True
Suppose -2*k = 2*q - 3778, -5*q - 3478 = -2*k + 272. Is 13 a factor of k?
True
Suppose 3*k - 71 = 67. Suppose y + k = -y. Let a = y + 43. Is a a multiple of 6?
False
Suppose 2*y - 4660 = -23*f + 20*f, -4*f - 9320 = -4*y. Does 5 divide y?
True
Let z = -958 - -1462. Suppose u = 4*u - z. Is 28 a factor of u?
True
Let y(o) be the third derivative of -o**4/24 + o**3/3 - 7*o**2. Let h be y(-6). Is 4 a factor of h - (4/4 + 3)?
True
Let r be ((-5)/3)/((-4)/36). Suppose 6*x = x + r. Suppose -24 = -c - x*c. Is 3 a factor of c?
True
Let i = 11 - 5. Suppose i*m = 2*m + 2*q + 394, 3*m + 3*q - 273 = 0. Suppose -4*o = -o - m. Is o a multiple of 8?
True
Suppose 273 = -3*l - 3*g, -5*l + 3*g - 465 = -2*g. Let a = l - -153. Does 18 divide a?
False
Is 18 a factor of 3/(-36)*2 + 161551/258?
False
Suppose 3*f - f + 4*z = 760, 3*f = -5*z + 1138. Suppose r - 305 = 2*d - 6*d, 5*d - 4*r - f = 0. Suppose 2*n = 2 + d. Does 13 divide n?
True
Suppose 2*n - j - 3076 = 0, -4*n + 6160 = -5*j + 7*j. Is 32 a factor of n?
False
Let t(c) = -2*c**3 - 7*c**2 - c + 5. Let s be t(-6). Let u = -133 + s. Does 13 divide u?
False
Does 10 divide 63 - -50 - (5 - -1)?
False
Does 3 divide 1503/12 - 18/72?
False
Let d(v) = -16*v + 318. Is 32 a factor of d(-4)?
False
Suppose 2781 = -2*u + 29*u. Does 12 divide u?
False
Let h(l) = 2*l - 8. Let m be h(8). Let a be 23*(-2)/(m/(-12)). Does 12 divide 39/(-13) + (a - 0)?
False
Suppose -o = 41 - 124. Suppose 25 = 5*g, 5*q + 131 + 159 = 2*g. Let z = q + o. Is z a multiple of 6?
False
Suppose -2*x + 16 = 3*j - j, -2*j + 43 = 5*x. Suppose x*y = -1 + 352. Is 21 a factor of y?
False
Let g(t) be the third derivative of 73*t**5/60 + t**4/24 - t**3/3 - 20*t**2. Is 9 a factor of g(1)?
True
Let g be (5 - (-2 + 1))/((-22)/(-407)). Let v = 135 - g. Does 6 divide v?
True
Let j = 423 + 54. Does 9 divide j?
True
Let h(u) = u**2 - 8*u - 18. Let z be h(9). Is 3 a factor of z*(-4)/20*5?
True
Suppose 5*k - 174 = -4*g + 5*g, 0 = -3*k + 4*g + 101. Is k a multiple of 2?
False
Suppose 2*c - 6 = -3*t - 2*c, -8 = -4*t - 3*c. Let w be t/4*(-2 + 0). Does 3 divide 0 - (-2 - (-1)/w)?
True
Suppose -4*z = -5*n - 1033, -9*z - 524 = -11*z + 4*n. Is z a multiple of 11?
False
Let r = -355 + 550. Suppose -2*w + r = -25. Is w a multiple of 17?
False
Let i(b) be the first derivative of 2*b**2 - 18*b - 3. Let k(t) = t**3 - 8*t**2 - 8*t + 4. Let q be k(9). Is i(q) a multiple of 6?
False
Suppose -350 = -5*t - 2*w + 352, 4*t - 3*w - 557 = 0. Is 18 a factor of t?
False
Suppose 40 = -9*i + 5*i. Does 12 divide (2/3)/(i/(-720))?
True
Suppose -5*a - 84 = 356. Let g = 130 + a. Does 14 divide g?
True
Suppose 4*k - 5*y = 32, 3*y = -4*k - 2*y - 8. Suppose -k*f - 5*g + 205 = 2*f, 4*f - 5*g = 146. Is f a multiple of 39?
True
Suppose -5*k + 47 = -4*k + 3*h, -5*h - 15 = 0. Suppose -5*x + 204 = -2*x. Suppose -x = -4*n + k. Is n a multiple of 6?
False
Let r(b) = 2*b**2 + 9*b - 3. Let w be r(-5). Suppose 0