of w?
False
Let d(m) = -m**3 - 21*m**2 - 118*m + 32. Does 21 divide d(-17)?
True
Let v(m) = -3*m**3 - m**2 + 44*m + 122. Is 7 a factor of v(-6)?
False
Let b(p) = -p**3 + 3*p**2 + 5*p - 6. Let z be b(2). Suppose 3*o = z*o - 365. Is 19 a factor of o?
False
Suppose 4*o - 3*f - 357 = 0, -o - 4*o = f - 432. Let w be -16*3 + 0/3. Let n = w + o. Is 13 a factor of n?
True
Let c = 922 + -671. Does 12 divide c?
False
Is 8 a factor of (105/(-25) - -1)/(1/(-20))?
True
Let d = 163 - 154. Does 5 divide d?
False
Let z(x) = 4*x - 14. Let d(w) = w**3 - 2*w**2 + 2*w + 2. Let u be d(2). Is z(u) a multiple of 6?
False
Suppose -h + 191 = 4*c, 15*c - 45 = 14*c - 3*h. Is 6 a factor of c?
True
Let h(c) = -43*c - 13. Is 35 a factor of h(-6)?
True
Let t(w) = w**3 - 3*w**2 + 12*w - 4. Does 12 divide t(4)?
True
Does 12 divide ((-1488)/14)/((-27)/189)?
True
Let g(h) = -h**3 + 5*h**2 + 3*h - 3. Let n be g(6). Suppose 23*s - 36*s = 117. Let x = s - n. Is 5 a factor of x?
False
Suppose 0 = 16*z - 11*z - 10. Suppose -z*q + 93 = q. Is q a multiple of 3?
False
Let t = 589 + 545. Is t a multiple of 63?
True
Let c(h) be the third derivative of -h**4/24 + 13*h**3/6 + 5*h**2. Let w(y) = 6. Let o(g) = -2*c(g) + 5*w(g). Does 14 divide o(5)?
True
Let b(p) be the first derivative of p**4 + 2*p**3/3 - 19. Let h = -6 + 8. Does 20 divide b(h)?
True
Let w(g) = 5*g**2 - 94*g - 43. Is w(20) a multiple of 3?
False
Let i be (4 + -1)/(3 - 2). Is 10 a factor of i + 8/(-3)*87/(-4)?
False
Let c = -1677 - -2216. Does 7 divide c?
True
Suppose 0 = -11*g + 9*g + 536. Suppose g = 2*p - 100. Does 36 divide p?
False
Let p(d) = 2*d**2 + 32*d - 13. Does 5 divide p(-17)?
False
Let k = -75 - -579. Does 42 divide k?
True
Suppose 0 = h - 52 - 355. Suppose -3*b + 313 + h = 0. Suppose 7*i - b = 3*i. Is i a multiple of 12?
True
Is -4 + (-2065)/(-6 - 1) a multiple of 10?
False
Let y = 12 + -1. Let d(v) = 2*v - 4 - 13*v + y + 7*v. Does 15 divide d(-7)?
False
Suppose -x + 0*x - 2*g + 14 = 0, 0 = 4*x - g - 11. Suppose t - 5*j = 24, 32 = x*t - t - 5*j. Is 3 a factor of t?
False
Let a(x) = 104*x - 25. Is 4 a factor of a(1)?
False
Let q(l) = 2*l - 1. Let n(y) = y. Suppose 0 = -5*i - 3*j - 0*j - 16, 0 = -5*i + 3*j - 4. Let o(k) = i*n(k) - q(k). Does 7 divide o(-5)?
True
Suppose 11*m = 45*m - 58650. Is 25 a factor of m?
True
Let p = -4391 + 7130. Is 11 a factor of p?
True
Suppose 0*f = 4*f. Suppose 2*b = 5*t + 153, t - 4*t + b - 91 = f. Let z = -11 - t. Is 14 a factor of z?
False
Let s(y) = -y**2 + 5*y + 5. Let p be s(6). Let f be (-593)/(-4) - p/(-4). Does 23 divide f/3 - 7/21?
False
Suppose -4*m - 491 = -8*m + l, 2*m - l = 243. Does 2 divide m?
True
Let z = -47 + 100. Suppose 33 = -d - 5*a + 106, 0 = d + a - z. Is 16 a factor of d?
True
Let n be (-3 + 4)*102 + 0 + 3. Is ((-16)/(-10))/(6/n) a multiple of 4?
True
Let m = 20 - 14. Let c be 200/m + (-3)/9. Is 10 a factor of 0 - (-1 - c)/2?
False
Suppose 0 = 52*k + 1431 - 5955. Is k a multiple of 42?
False
Let v(t) = t**2 - 2*t - 3. Let d be v(5). Let k = d - 8. Suppose k*l = -7 + 27. Is 5 a factor of l?
True
Suppose -1 = -5*y - 11, -u = 3*y - 8. Suppose -5*v = -5*t, 5*v - u = t - 2. Suppose 3*p + 0*b - 86 = 5*b, -3*p + 54 = t*b. Is p a multiple of 22?
True
Suppose 0 = 4*t + 14 - 874. Suppose 5*f + 2*h = t + 231, 5*h + 10 = 0. Does 18 divide f?
True
Suppose -4*a + 5*p = a - 300, -3*a = -2*p - 184. Does 4 divide a?
True
Let z be 5/10*(3 + 2 - -3). Suppose -5*o = 5*v - 520, 0 = 3*v - 2*o + z*o - 312. Is 13 a factor of v?
True
Suppose 4*v - 3*q - 92 = 0, -7 + 19 = -3*q. Suppose v*u - 37 = 19*u. Does 28 divide u?
False
Is ((-5248)/5)/(-1) - (-100)/250 a multiple of 42?
True
Let y = -63 + 43. Let l be -6 + y + -1 + -2. Let g = l - -62. Does 11 divide g?
True
Let u(r) = 3*r + 7. Let h(c) = c + 7. Let s be h(6). Let b be u(s). Let f = b - 2. Is 22 a factor of f?
True
Suppose -1385 = -4*y - 26*k + 27*k, 2*y = -5*k + 687. Is 23 a factor of y?
False
Is (-3)/(4/736*-6) a multiple of 6?
False
Suppose 5*p + 1 = 2*d, 5*d - 4*p - 45 = -0*p. Is 2 a factor of d?
False
Let o = 657 + 337. Is 71 a factor of o?
True
Let c = 231 - 189. Does 2 divide c?
True
Let l(i) = -i**2 + 6*i - 9. Let u(n) = -6*n**2 + 30*n - 44. Let v(h) = 14*l(h) - 3*u(h). Let x be v(5). Suppose -5*f = 26 - x. Is f a multiple of 10?
True
Let j(m) = 2*m**2 - m + 8. Let o(x) = x**2 - x + 1. Suppose 5*h + 3 = 2*h. Let l(y) = h*j(y) + 4*o(y). Is 11 a factor of l(-4)?
False
Suppose 3*f = 3*z - 189, -4*z = -5*f - 165 - 91. Let d = z + 5. Does 16 divide d?
True
Let f(k) = 5*k**2 - 3*k + 2. Let i be f(3). Let p = -9 + i. Suppose -97 - p = -3*l. Does 8 divide l?
False
Let k be (3 - 3 - -1)*-731. Is 9 a factor of (0 + 4)*k/(-34)?
False
Let g = -28 + 41. Let r = g + -9. Does 4 divide r?
True
Let z(m) = 85*m + 65. Does 20 divide z(3)?
True
Suppose -18 = 5*b - 28. Suppose -4*t = -b*t - 312. Is 13 a factor of t?
True
Does 24 divide 24/(-3 + 11) + (-1053)/(-1)?
True
Let u(a) = -80*a + 9 + 31*a + 30*a + 25*a. Let y be -3*(4/6 - 2). Is 25 a factor of u(y)?
False
Let l(m) = 4*m + m**2 - 17 + 17. Let a be l(-5). Suppose q + 61 = a*c + 10, -4*c = -q - 41. Is 9 a factor of c?
False
Is 16 a factor of 5/65 - 3742/(-26)?
True
Suppose -4*k + 6*k = 52. Let a = -12 + k. Does 8 divide a?
False
Let d = 944 + 170. Is d a multiple of 8?
False
Suppose 4*c + 2*n = -28, 5*c + 6 + 29 = -3*n. Let v(x) = 2*x + 8. Let o be v(c). Let w = o - -22. Does 13 divide w?
False
Let v(y) = -4*y - 2. Let j(o) = o + 10. Let z be j(-14). Let d be v(z). Let t = d + -11. Does 3 divide t?
True
Suppose -5*g + 169 = b, 649 + 99 = 4*b + 2*g. Does 21 divide b?
True
Suppose 0 = -2*k + 5*d + 16, -4*k + 2*d = 5*d - 58. Let x = k + -11. Suppose 4*h - 134 = 5*v, 3*h = 2*h - x*v + 27. Does 5 divide h?
False
Let z(f) be the third derivative of -7*f**4/12 + 11*f**3/6 + 5*f**2. Let j(l) = 41*l - 32. Let p(v) = -6*j(v) - 17*z(v). Is 13 a factor of p(-4)?
False
Let b(m) = -2*m - 20. Let d be b(-7). Is 27 a factor of 9/(27/156*(-2)/d)?
False
Let s be (-7 - -1)/((78/560)/(-13)). Suppose s = 5*w - 175. Is 22 a factor of w?
False
Let o(t) = -t**3 - t**2 + t + 6. Let z be o(-3). Let h = -22 + z. Let x = h - -7. Is 6 a factor of x?
True
Does 52 divide 5*7/(-7) + 837?
True
Let p(h) = h**3 - 2*h**2 + 2. Let t be p(2). Suppose -4*s = -t*s. Suppose s = 5*l - 0*l - 155. Is 7 a factor of l?
False
Let r = -1170 - -2192. Is 21 a factor of r?
False
Let l = -43 + 46. Suppose 1148 = 5*r - 4*z, -6*r - 5*z + 711 = -l*r. Does 41 divide r?
False
Is ((-110)/(-66))/((-1942)/972 - -2) a multiple of 36?
False
Suppose 5*u - 213 - 32 = 0. Let z be (10 + -2)/(6/(-27)). Let l = z + u. Is l even?
False
Let c = 265 + -138. Let i = -74 + c. Is i a multiple of 13?
False
Suppose -5216 = -11*a - 475. Is 11 a factor of a?
False
Suppose 0*y = 5*y - 10. Let x(i) = -1 + 12*i**y + 3*i**2 + 7*i - 4*i. Is 17 a factor of x(-2)?
False
Let a be (-1)/(-3) - 8/(-3). Suppose -a*v - 189 + 684 = 0. Suppose s = 3*s, 2*s = 5*u - v. Is u a multiple of 12?
False
Let m(d) = -3*d**3 + 6*d**2 + 8*d - 8. Does 10 divide m(-5)?
False
Let z(f) = -10*f + 4 + 16*f - 5*f + 14. Is z(-7) a multiple of 11?
True
Suppose 0 = -2*d + 5*f + 159, -186 = -2*d - d - 3*f. Suppose -3*l - 5*n = -d, -n = -3*l + 4*n + 17. Is 7 a factor of l?
True
Suppose 5359*c - 5352*c = 12208. Is 16 a factor of c?
True
Let d = -436 + 612. Let s = d + -87. Is s a multiple of 8?
False
Let u(p) = 10*p - 24. Let m(c) = -2*c + 5. Let r(k) = 14*m(k) + 3*u(k). Let t be r(2). Suppose -62 = -n - t*s, 236 - 57 = 3*n - s. Is 9 a factor of n?
False
Suppose 340*j = 324*j + 7344. Does 9 divide j?
True
Suppose 3*j = 3*s - 5364, 8*j - 5*j = 4*s - 7148. Does 26 divide s?
False
Suppose -q = -n + 140, n - 13*q - 140 = -15*q. Is n a multiple of 12?
False
Let k = -50 - -116. Is k a multiple of 11?
True
Suppose f + 5*m - 246 = 0, -5*f + f = 4*m - 920. Does 3 divide f?
False
Suppose -t - 8 = -35. Let a be (-98)/(-10) + 45/225. Let j = t - a. Is 12 a factor of j?
False
Suppose 13*g - 21166 + 2836 = 0. Is 7 a factor of g?
False
Suppose 3*p - 955 = -2*b, 260 = 3*p - 2*b - 687. Is 37 a factor of p?
False
Suppose -c + 1 + 110 = 0. Is c a multiple of 5?
False
Let f be (-6 + 264/32)*(-8)/(-6). Let h = 63 + f. Does 26 divide h?
False
Let f(b) = 9*b + 49. Is f(5) a multiple of 5?
False
Let i = -66 + 200. Does 4 