(w) = w + 14. Let r be b(-12). Suppose 0 = -3*o + 3 - 18, -3*o = r*n - 157. Let p = n - 61. Does 12 divide p?
False
Suppose z + 960 + 410 = 3*d, 4*d - z - 1825 = 0. Does 32 divide d?
False
Is (-1)/(-1) + 2/(-2)*-109 a multiple of 9?
False
Let b be -4*(-4 + (1 - -2)). Suppose -b*i - 3*i = -91. Is 13 a factor of i?
True
Suppose 36*j - 1304 - 8056 = 0. Does 20 divide j?
True
Let i(m) = m**2 - 5*m + 16. Let d = 19 - 12. Is 15 a factor of i(d)?
True
Let f(u) = -7*u + 15. Let d = 32 + -40. Let z(y) = -y**2 - 4*y + 23. Let r be z(d). Does 13 divide f(r)?
True
Let p be ((-56)/(-2))/(5/25). Let w = p - 60. Is w a multiple of 40?
True
Is 57 a factor of 3 - (-4 + -662) - 16/4?
False
Let j(k) = -3*k - 9. Let s be 4*((-1)/(-1))/(-1). Let n be 108/(-30) - s/(-10). Does 3 divide j(n)?
True
Is 1/2*-2 - (98 - 213) even?
True
Let l be (6/(-9))/((-4)/54*3). Suppose l*k - 9*k + 126 = 0. Does 7 divide k?
True
Let g(h) be the second derivative of h**6/120 + 7*h**5/60 + 5*h**4/24 - 2*h**3/3 - h**2 + h. Let s(z) be the first derivative of g(z). Is 7 a factor of s(-5)?
True
Suppose 286 - 308 = a. Let k(q) = 9*q - 5. Let m be k(6). Let u = m + a. Is u a multiple of 8?
False
Let o = -735 - -1033. Suppose o = 3*f + 2*y, -2*f - 495 = -7*f - 5*y. Is f a multiple of 10?
True
Let p(t) be the first derivative of t**2/2 + 5*t - 6. Let k be p(-6). Does 6 divide (k/3)/(9/(-405))?
False
Let a be (-12)/18 - (-14)/3. Suppose 134 = a*o - 134. Is 7 a factor of o?
False
Let d(u) = 11*u**2 - 4*u - 67. Is 25 a factor of d(-4)?
True
Is (-1 + 3 + 0)*133 a multiple of 19?
True
Suppose 0 = -5*t + c - 943, 0 = -4*c + 2 - 10. Is 24 a factor of 1/2 - (t/6 + -1)?
False
Suppose -4*j - 9 + 17 = 0. Is 38 a factor of 110 - ((-8)/j)/1?
True
Let n be 198/(-6)*(-4 - -2)/(-2). Let u = n - -96. Does 9 divide u?
True
Let z = 3953 + -2524. Is 93 a factor of z?
False
Suppose 0 = 4*q + s - 517, -3*s - 635 = -5*q - 2*s. Does 32 divide q?
True
Suppose 2*x - 316 - 176 = 0. Is (x/9)/((-6)/(-9)) a multiple of 10?
False
Let r = 629 - -1232. Is 12 a factor of r?
False
Suppose -15*i = -14*i + 2. Is 4 a factor of (-7 - -6)/(i/46)?
False
Let n(s) = s**2 - 2*s - 6. Let a be n(0). Let j(r) = r**2 - 3*r + 4. Is 20 a factor of j(a)?
False
Suppose -5*i + 10*i = 80. Is i/24 - (-56)/6 a multiple of 10?
True
Let b be (-3)/(-2)*(-23 + 13) + 4. Let l = -58 + 101. Let u = l - b. Is u a multiple of 9?
True
Let u = 325 - 108. Does 7 divide u?
True
Let l(f) = 2*f**3 - 89*f**2 - f + 55. Is l(45) a multiple of 37?
True
Let k = -8 - -10. Suppose -8 = -x - 2*a - 0, -k*x = -5*a + 20. Suppose x = -2*n - 5*q + 52, -5*q + 124 = 2*n + 2*n. Is 12 a factor of n?
True
Is 8 a factor of 8/(-10) - ((-3354)/10)/3?
False
Let h(r) = -r**2 + 15*r - 17. Let f be h(14). Let l be (f + (-7)/(-3))*-114. Let x = l + -43. Is x a multiple of 21?
False
Let a be (-16)/(-4) + -4*4. Does 13 divide a*(-4 - -3) - -1?
True
Let t = 22 + -1. Let l = t + -4. Is l a multiple of 16?
False
Let w(s) = -s**2 - 3*s + 6. Let r be w(-9). Let k = r - -113. Suppose 5*o - 5 - k = 0. Is o a multiple of 5?
False
Suppose 0 = 3*l - 16 - 29. Suppose 5*a = -l, -2*p + a + 71 = -0*p. Let d = p - 13. Does 21 divide d?
True
Let m = 223 + -113. Let v = 40 + m. Does 30 divide v?
True
Let u(s) be the third derivative of -7*s**4/24 - 7*s**3/6 - 6*s**2 + 1. Let n(l) = -3*l + 3. Let r be n(3). Does 16 divide u(r)?
False
Suppose 18 - 43 = 5*u, 0 = 2*x - 3*u - 621. Is x a multiple of 7?
False
Let a(t) = t**2 + 2*t - 4 - t + t. Let l(u) = u**3 - 2*u**2 - 2*u + 5. Let j be l(-2). Does 19 divide a(j)?
False
Let t(f) = 131*f + 31. Is t(1) a multiple of 6?
True
Let j = 27 + 1. Suppose -4*n = 4*h - 232, 3*h - 6*h = -12. Let k = n - j. Is k a multiple of 13?
True
Let c = 1561 - -970. Is c a multiple of 14?
False
Let v = 10 + -6. Let y(w) = w**3 - 3*w**2 - 4*w + 5. Let g be y(v). Suppose -g*f = a - 3*a + 27, 72 = 3*a + 3*f. Is 7 a factor of a?
True
Let i = 1745 + -606. Does 14 divide i?
False
Suppose -66*o + 2505 = -61*o. Does 28 divide o?
False
Suppose -9*u + 16*u - 350 = 0. Suppose -9*g - u = -14*g. Does 10 divide g?
True
Let v be 12/4 + -5 + 0. Let j be -1 + (3 - 1 - v). Suppose 0 = -j*w + 211 + 32. Is w a multiple of 27?
True
Suppose 49*w = 47*w + 6. Suppose -q - 25 + 249 = w*v, 0 = -2*v - q + 149. Is 11 a factor of v?
False
Let l(r) = 8*r**2 + r + 1. Let x be l(-1). Let z be (-4)/x - (-15)/6. Suppose -z - 14 = -2*w. Is 3 a factor of w?
False
Let w(u) = 25*u - 348. Does 36 divide w(24)?
True
Is 22 a factor of 26370/150 + (-1)/(-5)?
True
Is 35 a factor of 25*12 - -1*(-7 + 9)?
False
Let z = -1810 + 3322. Is z a multiple of 27?
True
Let q(s) = -s**2 + 11*s - 9. Let t be q(8). Let f(a) = 33*a - 5*a + t*a - 1. Is 21 a factor of f(1)?
True
Let f(c) = -c**3 - 5*c**2 + 4*c + 2. Let g be f(-6). Let l(o) = g*o + 16*o + 8 - 29*o. Is l(-3) a multiple of 2?
False
Let g(k) = -31*k - 1. Let b be g(4). Let n = -65 - b. Is 12 a factor of n?
True
Let b = -93 - -65. Let s = 5 - b. Is s a multiple of 11?
True
Suppose -5*b - 27 = g, -2*b - g - 3 = 2*g. Let r(q) = 13*q + 5. Let h be r(b). Let c = 105 + h. Is 16 a factor of c?
True
Let d be (1 - -1 - -2)*(30 + -10). Is d/(-64) + 1210/8 a multiple of 25?
True
Let y = 433 - -465. Does 26 divide y?
False
Let c(t) be the second derivative of 3*t**5/5 + t**4/12 - t**3/6 - t**2 + 2*t + 10. Does 16 divide c(2)?
True
Let a(v) = -v**2 - 20*v - 14. Is 15 a factor of a(-8)?
False
Let b be ((-462)/9)/((-2)/3) - -1. Let n = b + 2. Is 40 a factor of n?
True
Let b = -2354 + 2768. Is b a multiple of 5?
False
Let w(n) = -n. Let k be w(-4). Suppose -2*d = 2*d + k. Is 21 a factor of 3 + d + -4 + 105?
False
Let b(d) = -d**2 + d - 2. Let g(j) = -j**2 + 3*j + 4. Let r be g(4). Let c be b(r). Is 23 a factor of (3 + 43)*c/(-4)?
True
Let l = 2963 - 1373. Is l a multiple of 48?
False
Let l(t) = t**3 - 3*t**2 + 6*t - 1. Let z(r) = -r**2 - 10*r + 45. Let v be z(-13). Is 11 a factor of l(v)?
True
Does 8 divide ((-7)/(126/(-12)))/(2/192)?
True
Let y = -392 - -388. Let c(j) = -4*j + 12. Let t(x) = -x + 1. Let a(w) = c(w) - 3*t(w). Is a(y) a multiple of 3?
False
Let a = 48 + -68. Let w(c) = 49*c**2 - 2*c - 2. Let i be w(-1). Let t = a + i. Is 7 a factor of t?
False
Let q = 87 - 281. Let h = 336 + q. Is h a multiple of 34?
False
Let f(j) = 13*j - 21. Let q be f(8). Is 14 a factor of q - 1*5/(-5)?
True
Let r(u) = -57 + 10 + 3*u + 19. Does 16 divide r(26)?
False
Suppose 3*i - 3*z = 0, -2*i + 4*i + 12 = 5*z. Suppose 498 = 3*p - 3*y - y, 2*y + 674 = i*p. Is p a multiple of 34?
True
Let y(m) = m**3 - 26*m**2 + 56*m - 1. Does 24 divide y(24)?
False
Suppose -1330 = -5*w + 2*r, 56 = w - 4*r - 192. Is w a multiple of 18?
False
Let p = -337 - -365. Is p a multiple of 4?
True
Let m be 390/33 + 6/33. Suppose -10*q = -m*q + 160. Does 10 divide q?
True
Let w(s) = 3*s + 22. Let n be w(-6). Suppose n*v = -4*j - 268 + 908, 4*v + 600 = 4*j. Does 31 divide j?
True
Let h(a) = -a**3 - 5*a**2 + a + 7. Let l be h(-5). Suppose -14 = l*g - 52. Is 6 a factor of g?
False
Let w = -308 - -542. Is 6 a factor of w?
True
Let k be 6/((-30)/(-1085)) + -2. Let q = k - 54. Is q a multiple of 17?
False
Let m(h) = h**3 - 12*h**2 + 13*h - 16. Let o be m(11). Let n(c) = -c**3 - 3*c**2 + 2*c + 3. Let y be n(-4). Suppose -y*r = -o*r - 140. Does 14 divide r?
True
Let l(u) = -11*u - 2. Let h = 48 - 53. Does 11 divide l(h)?
False
Let p(h) = -2*h**3 + h**2 - 4. Let m be p(2). Let w = 42 + m. Does 3 divide w?
False
Let c be -1 - 13/3 - (-2)/6. Let v = c - -85. Is v a multiple of 20?
True
Does 25 divide (-2 - 244/3)*(53 + -56)?
True
Suppose -42000 = 351*q - 366*q. Does 100 divide q?
True
Is 59 a factor of 252 + 0 + -2*(-40)/16?
False
Is (-60)/(2 - 12) - (-190 - 0) a multiple of 7?
True
Suppose -6*s - 38*s + 32692 = 0. Is 20 a factor of s?
False
Let r(b) = b**3 + 3*b**2 + 51. Does 25 divide r(6)?
True
Let i = 3080 + -2739. Is i a multiple of 11?
True
Suppose 0 = -t + 4*t - 9, -2*t + 39 = 3*c. Let q(i) = -2*i**2 - 5*i**2 - c*i + 4*i**2 + 5 + 2*i**2. Does 5 divide q(-11)?
True
Let k(x) = 99*x**3 - 7*x**2 - 5*x + 13. Is k(3) a multiple of 52?
False
Let t(s) = 2*s**2 - 3*s - 7. Let a be t(5). Let q be (a/(-21))/(2/(-3)). Is 1/3*q*12 even?
True
Suppose 119 = 4*v + 3. Let x = v + -27. Suppose -f + 3*u = -5*f + 300, -3*f + x*u = -242. Is 26 a factor of f