Suppose 2*w - b = -254. Let z = 270 + w. Is z a multiple of 20?
False
Suppose 47 = 4*b + 39, -4*b + 14743 = 5*h. Is 14 a factor of h?
False
Is 6/(-33) + (3974784/(-121))/(-8) a multiple of 9?
False
Let j(h) = 6*h**3 + 4*h**2 + 80*h - 835. Does 71 divide j(12)?
False
Let s(l) = -l**3 + l**2 - l + 5. Let y be s(0). Suppose -4109 - 616 = -y*p. Suppose -3*f = 4*f - p. Does 14 divide f?
False
Let u(r) = 13*r**2 + 1269*r + 196. Is u(-102) a multiple of 11?
False
Let r(t) = -2*t**2 + 29*t + 54. Let j be r(16). Suppose j = 2*l, -k = -0*k - 2*l - 42. Is k a multiple of 8?
True
Let j(x) = -8*x**2 + 3*x + 7. Suppose 0 = -5*w - 17 - 8. Let r(g) = 33*g**2 - 12*g - 27. Let c(t) = w*r(t) - 21*j(t). Is c(-4) a multiple of 12?
True
Suppose -19*w = -14*w - 245. Suppose -i + 2*j = -2 - w, 109 = 3*i + 5*j. Suppose -i - 41 = -t. Is 41 a factor of t?
False
Let d = 20 + 233. Suppose 0 = -5*i + 3*w - 5*w + d, -i - 5*w = -46. Does 11 divide i?
False
Let r be -2*-4*(-2)/(-4). Suppose 3*k + 2*l - 13 = 0, l + 23 = r*k - 2*l. Is 29 a factor of k - 1 - 191/(-1)?
False
Is (-101*3)/((-780)/38480) a multiple of 74?
True
Let x(m) = m**3 + 83*m**2 - 145*m - 285. Is x(-84) a multiple of 15?
False
Does 8 divide 138 + 8 - (1 + -1)/1?
False
Let l(w) = w**2 - 17*w + 5. Let b be l(17). Suppose 0*t = b*t - 75. Is (-6)/t + -2 + 972/5 a multiple of 16?
True
Is 29911/6 + ((-4)/5 - (-836)/1320) a multiple of 41?
False
Suppose w = -4*z + 2*w + 1, -3*z - 4*w = -15. Let i be ((-240)/(-75))/(z/5). Suppose -11*g = -i*g + 145. Does 14 divide g?
False
Suppose 3*y = -i - 1, 3*i - 40*y + 37*y = 57. Suppose i*z - 16484 = -5970. Is z a multiple of 94?
False
Suppose 3*o = 3, -2*o = a - 0*o + 837. Let z = a - -887. Is z a multiple of 6?
True
Let w = 2949 + -2028. Suppose 3*i = -5*c - w - 1482, -1442 = 3*c + 2*i. Is 4/22 + c/(-22) a multiple of 15?
False
Let u = 14 + 17. Suppose -4*q + u = -3*d, 4*d = 8*d + 5*q + 93. Let v = 28 - d. Is 10 a factor of v?
False
Let x(k) = -k**2 + 2*k + 1. Let c be x(-6). Let s = c + 46. Is 22 a factor of s - (-15)/21 - (-564)/14?
False
Let h = 219 + -137. Let q = h - 4. Is 13 a factor of q?
True
Let o(q) = -5*q + 25. Let p(s) = 15*s - 75. Let h(m) = 11*o(m) + 4*p(m). Let n be h(6). Suppose x + 77 = n*x + 5*w, x - 3*w = 15. Is 18 a factor of x?
True
Suppose 678 = -6*k - 0*k. Let r = k - -472. Is r a multiple of 38?
False
Suppose g - 120 = -11*g. Suppose -g*u + 36 = -u. Is 1099/28 + (-1)/u a multiple of 6?
False
Suppose -56214 + 28080 = -121*u + 46886. Is 9 a factor of u?
False
Suppose o - 5*v + 16 = 0, -4*o + o + 2*v = 9. Let f be (-39)/2*(-1 + o). Let y = -20 + f. Is 6 a factor of y?
False
Suppose -k + 6*k - 1171 = 2*n, -15 = 5*n. Is k a multiple of 4?
False
Suppose -2786 = -4*i - 4*p - 466, 1156 = 2*i - 2*p. Let b(a) = a**2 + 6*a + 7. Let s be b(-5). Suppose s*v - i = -v. Is v a multiple of 33?
False
Suppose -2*z - z - j + 341 = 0, 0 = -3*z + 3*j + 345. Let o be (-206)/9*(-7 - (-4 - -6)). Suppose z = 5*u - o. Does 8 divide u?
True
Let k = -3094 - -8294. Is 20 a factor of k?
True
Let j(c) = -c**3 + 38*c**2 + 79*c - 790. Is j(39) a multiple of 2?
True
Suppose 10*p + 17930 = 54*p - 231022. Is 82 a factor of p?
True
Suppose 2*z - 6*z + 16 = 0. Suppose -413 + 203 = -21*i. Is (-582)/(-5) - z/i a multiple of 11?
False
Let v be (21/6)/(8/25104). Suppose 20*x + x = v. Is 39 a factor of x?
False
Let y(f) = -5*f + 55 + f - f + f**2 - 6*f + 2*f**2. Is y(7) a multiple of 25?
True
Let s(j) = -859*j + 296. Is 115 a factor of s(-5)?
False
Suppose 5*z - 19086 - 1125 = -4*y, -3*z - y = -12135. Is 71 a factor of z?
True
Let m = -8 - -13. Let j(p) = -p**3 + p**2 - 18*p + 122. Let d be j(0). Suppose -d = -m*w + 58. Is 4 a factor of w?
True
Let a = 24 + -20. Suppose -3*y + 255 = n - 3*n, a*y + 20 = 0. Let o = -55 - n. Does 20 divide o?
True
Let w = -430 + 429. Is (-2*(-1)/w)/((-118)/4484) a multiple of 4?
True
Suppose -42*z = -32792 + 6920. Is 22 a factor of z?
True
Let u(i) = 872*i**2 - 54*i + 117. Does 4 divide u(2)?
False
Let y(g) = -188*g - 684. Is y(-12) a multiple of 7?
False
Suppose 12*o - 11*o = 33. Let n = 55 - o. Let d = 40 - n. Does 3 divide d?
True
Let p(n) be the third derivative of n**5/60 + 23*n**4/24 + 2*n**3 - 42*n**2. Does 12 divide p(-24)?
True
Suppose 55*v - 56*v + 2778 = 2*l, 0 = -5*l + 5*v + 6990. Is l a multiple of 29?
True
Suppose -4401 = -2*r - 4*y + 13073, -4*y + 26221 = 3*r. Does 127 divide r?
False
Let t be (-1)/((2 + 1)/45). Let l be 50/t*18/(-15). Suppose -l*u = -u - 30. Is 10 a factor of u?
True
Let s = -10660 + 20090. Is s a multiple of 46?
True
Let i = -950 + 919. Suppose 0*c = 5*c - 2*p + 69, -4*c + 2*p - 54 = 0. Let f = c - i. Is f a multiple of 8?
True
Suppose 3*o + 824 - 1286 = 1869. Is 2 a factor of o?
False
Let h = 43 + -46. Let w(b) = -27*b**3 + 2*b**2 - b - 6. Let o be w(h). Does 3 divide o/42 + 4/14?
True
Is 4/((-1 + -1)/(-3616 + -13)) a multiple of 31?
False
Let a be 0/8 - -3 - 48. Is 14 a factor of (-20)/a*3 - (-3138)/9?
True
Suppose v + 5*k = 9, -5 - 21 = -2*v - 2*k. Let z = v + -13. Let a(t) = 8*t**3 + 2*t**2 - 1. Is a(z) a multiple of 9?
True
Let x = 678 - 651. Suppose -x*m = -30*m + 138. Does 6 divide m?
False
Suppose 36*w - 34*w + 2*b = 3014, -2*w = -b - 3029. Is w a multiple of 56?
True
Suppose 396 = -0*q - 2*q + 5*i, q = -2*i - 180. Let y = -421 - q. Let t = -123 - y. Is 11 a factor of t?
True
Let g be (-48)/(-3 - 3) - 2. Suppose 12*u - 480 = g*u. Does 4 divide u?
True
Let j(x) = -4*x - 14*x**2 + 24*x - 5*x - 9*x - x**3 - 6. Is 22 a factor of j(-17)?
False
Suppose 0 = 3*k + 4*j - 84570, 5*k + 5*j - 68683 = 72277. Does 46 divide k?
True
Suppose 0 = -3*n + 15, w = -3*w - 5*n - 155. Let f = 18 - 1. Let y = f - w. Is 10 a factor of y?
False
Let w(j) = -j**2 - 16*j + 108. Let m be w(8). Let z = 412 - m. Does 9 divide z?
False
Let f(j) be the first derivative of -j**3/3 - 13*j**2/2 + 3*j + 2. Let x be (-240)/(-840) + (0 - 116/14). Is 21 a factor of f(x)?
False
Suppose -w - 5*u + 14347 = 0, 4*u - 8*u = -12. Does 10 divide w?
False
Suppose -k + 26 + 54 = -4*l, 64 = -4*l + 5*k. Let v = 21 + l. Is 13 a factor of (-27)/(-9) - (-102 - (-1 + v))?
True
Let p(u) = 1754*u**2 - 25*u + 5. Is 17 a factor of p(1)?
True
Let b = 4184 + -6332. Let j(g) = -2*g + 6. Let y be j(7). Is (-6)/y + (-1)/(16/b) a multiple of 27?
True
Let k = -15386 - -17272. Does 41 divide k?
True
Suppose 0 = 20*n - 15*n. Suppose -4*m + z + 2*z + 181 = n, -4*z = -5*m + 227. Is (14/4 + -3)*(m - -1) a multiple of 22?
True
Let h(a) = 2909*a - 119. Is h(1) a multiple of 9?
True
Let m(x) = 7*x**2 - 4*x + 66. Let v be m(12). Suppose 1034*z - v*z = 1560. Is 3 a factor of z?
True
Let s = 2108 - -740. Suppose 2*x + s = 10*x. Suppose h + 2*h + 380 = 4*n, 0 = -4*n - 3*h + x. Is 13 a factor of n?
False
Is 1/((-2344610)/(-234460) - 10) a multiple of 38?
True
Does 3 divide (-2)/(4/3) + (-68761)/(-14)?
False
Suppose -31*b + 132837 = -325603 + 59625. Is b a multiple of 5?
True
Let m(p) = p**2 + 12*p - 93. Let u = 81 - 56. Does 59 divide m(u)?
False
Let j = 1562 + 889. Is 19 a factor of j?
True
Suppose 32986 - 9658 = 9*s. Suppose -6*y + 12*y = s. Is 72 a factor of y?
True
Let a(j) be the first derivative of -61*j**2/2 - 40*j - 8. Is 12 a factor of a(-4)?
True
Is 4/12*9 + -51 + 2632 a multiple of 17?
True
Let i(j) = -j**2 + 29*j - 29. Let o be i(1). Is 3 a factor of 4730/88 + o/(-4)?
True
Let q(l) = 926*l - 14012. Does 158 divide q(31)?
True
Let y = -43223 - -66305. Does 15 divide -7 + 118/16 - y/(-16)?
False
Let w(h) = h**3 + 16*h**2 - 11*h - 78. Does 88 divide w(-12)?
False
Let w be 8*(-1 + 3/6) + 7. Suppose 2*g - w*p = -48, -5*p - 6 = 4. Let y = -12 - g. Is 7 a factor of y?
False
Suppose -271*g + 264*g = -28175. Is g a multiple of 25?
True
Suppose 8*i - 33939 = 45437. Does 22 divide i?
True
Let u(g) = -g**3 - 5*g**2 + 4*g - 1. Let i = 84 - 86. Let p be (-1 + i)*(-1 + (-5 - -8)). Does 9 divide u(p)?
False
Let s = -5668 + 7862. Is 20 a factor of s?
False
Is 218 a factor of 3111/(17/(-4437)*-27)?
False
Suppose 2*o + 2*o = 0. Suppose -3*s - 3*r + 36 = o, 2*s = -s + 3*r + 12. Is (26/4 - -1)*(-4 + s) a multiple of 10?
True
Suppose 4*f = 57 + 171. Suppose -f = -5*m - 3*n + 155, -87 = -2*m + n. Suppose 39*i + 356 = m*i. Does 28 divide i?
False
Let i(z) = -2*z**3 + 3*z**2 + 2*z. Let j be i(3). Let y = j + 43