130914)/198 a multiple of 19?
False
Let x(y) = y**3 - 34*y**2 - 11*y - 574. Is x(35) a multiple of 14?
True
Let k be (-48)/6*(-1)/((-1)/1). Let p = k + 27. Let u(i) = -i**3 + 18*i**2 + 23*i - 20. Is 28 a factor of u(p)?
True
Let a(l) = -l**3 - 8*l**2 - 4*l - 29. Let r be a(-8). Suppose n + r*b - 291 = 0, 4*n - 2*b + 100 - 1292 = 0. Does 11 divide n?
True
Suppose 759 = -4*t + 4*y + 283, 0 = -4*t - 2*y - 458. Let p = t - -221. Is 11 a factor of p?
False
Suppose -98 = 11*r - 4*r. Let i(t) = -t**3 - 12*t**2 + 28*t - 14. Let b be i(r). Let s = 12 - b. Is 7 a factor of s?
False
Suppose 1372 = -g + 8*g. Let c = g - 84. Suppose -3*k - 31 = -c. Does 9 divide k?
True
Suppose 115*n - 58*n = -212*n + 9556225. Is n a multiple of 35?
True
Suppose -64*h + 115812 = -81628. Is 37 a factor of h?
False
Suppose -4*w = -2*y + 6002, 363*w - 9013 = -3*y + 367*w. Does 28 divide y?
False
Suppose -u + 63 = 2*u. Suppose 3*d = t - u, 4*t = -3*d + d + 14. Is 2 a factor of 44/t - 12/(-18)?
True
Let v(g) = 8*g + 30. Let b be v(-10). Let a = b + 55. Suppose -5*p + 457 = 3*y - y, -a*y + 259 = 3*p. Is p a multiple of 10?
False
Suppose 36709 = 4*u + 7*q, -194*u + 198*u = 3*q + 36639. Does 39 divide u?
True
Suppose 10*g - 5*g = 60. Let h(c) = -8*c + 16 - c**2 - 6*c**3 + g*c**3 - 5*c**3. Does 8 divide h(5)?
False
Suppose 36 = -2*s - 10*s. Let u(b) = -2*b**2 - 4*b - 7. Let a be u(s). Let l(w) = -w + 53. Is l(a) a multiple of 6?
True
Is 9 a factor of (220/50)/(14/735)?
False
Let t(u) = 15*u**3 + 5*u**2 + 51*u + 92. Let a be t(-2). Let d = 218 + -307. Let c = d - a. Is 7 a factor of c?
True
Let m = 11366 - -1161. Is 40 a factor of m?
False
Let h(n) be the second derivative of n**5/10 + n**3/6 + 66*n**2 - 48*n. Is h(0) a multiple of 28?
False
Let p(o) be the first derivative of -1/2*o**2 - 23 + 0*o + 43/3*o**3. Is p(1) a multiple of 14?
True
Suppose -3*b - 2*w + 5524 = 0, -19 = w - 15. Is 27 a factor of b?
False
Suppose -n = 2*u - 2 - 1, 2*n = 3*u + 6. Suppose 5*i - 5*s - 120 = 0, -4*i + 2*s + 3*s + 98 = u. Does 3 divide i?
False
Let v = 8618 + -6186. Is 19 a factor of v?
True
Let s = 539 - -928. Is 9 a factor of s?
True
Is (-3)/36 - 10/(-9)*(-731349)/(-216) a multiple of 11?
True
Let c(p) = 29*p - 3. Let s be c(1). Suppose s*a + 330 = 11*a. Let n = 56 - a. Does 13 divide n?
True
Suppose -63*f + 31964 = -27697. Does 24 divide f?
False
Let k(i) = 10*i**3 - 4*i**2 - 5*i - 31. Let m(n) = -2*n**3 + n**2 - n + 1. Let t(h) = k(h) + 6*m(h). Does 19 divide t(-4)?
False
Let h(r) = r**3 + 9*r**2 - 2*r - 4. Let j(o) = o**2 - 4*o - 5. Let l be j(-4). Suppose -6*t = -9*t - l. Does 3 divide h(t)?
False
Suppose 18*i = 13*i. Suppose -16*b + 11*b = -5*n + 410, i = 5*n + 3*b - 426. Is n a multiple of 2?
True
Suppose 3*d = 8*f + 33262, 5*f - 3*f = 2*d - 22198. Is 46 a factor of d?
False
Let h = -823 + 1320. Let f = -263 + h. Is 46 a factor of f?
False
Let q be 84/126*(-6)/4. Let s(a) = -a**2 + 3*a + 6. Let u be s(5). Is 3 - (u - (q + 85)) a multiple of 28?
False
Suppose 10*o - 344 = 8*o. Suppose -o - 185 = -3*d. Is 17 a factor of d?
True
Let q = 5734 - 3881. Is 23 a factor of q?
False
Suppose 1037 = 5*f - 668. Suppose -1277 + f = -4*c. Let o = c + -139. Is o a multiple of 23?
False
Suppose -7*m + 41425 + 58115 = 38*m. Does 79 divide m?
True
Suppose 2*k = 0, -2*o = -5*o + 4*k + 15. Suppose 0 = o*c + 2*c. Suppose -3*m - 3 = c, -5*p - 4*m - 42 = -283. Is 11 a factor of p?
False
Let y = -1494 + 3134. Is y a multiple of 9?
False
Let k(s) = 44*s**2 - 9*s - 6. Is k(3) a multiple of 3?
True
Let b = -331 + 336. Suppose 2*w - 15 = -3*w. Suppose 0 = w*s - 3*z - 37 - b, 54 = 3*s + 3*z. Does 8 divide s?
True
Suppose 4*o = -5*m - 1941, 7*o = m + 4*o + 392. Let v = m - -201. Let y = -67 - v. Is 11 a factor of y?
True
Let c be (-2 - (2 + -1))/(-1). Suppose 0 = c*p - 20 + 29. Does 9 divide ((-8)/12)/((-2541)/846 - p)?
False
Let p(j) = -2*j - 14. Suppose -30*v - 64 = -38*v. Suppose 0 = v*c - 9*c - 12. Does 10 divide p(c)?
True
Let g(f) = -93*f**3 + f**2 + 8*f + 16. Is 23 a factor of g(-5)?
False
Suppose -5*r - 22225 + 146601 = 4*b, 0 = r - 4*b - 24880. Is r a multiple of 35?
False
Is ((-110)/38 - -3) + (-1299038)/(-646) a multiple of 9?
False
Suppose -6368 = -5*q - 66*k + 62*k, k + 6358 = 5*q. Is 8 a factor of q?
True
Let c = 14967 - 9733. Suppose -14*p - 3942 = -17*p + 4*g, 0 = 4*p + 2*g - c. Does 44 divide p?
False
Let k be (4 - 10) + 526 - -2. Let n = k - 38. Is n a multiple of 8?
False
Let m = -105 - -160. Suppose x + 4*d - 106 = 0, 0 = 2*x - 2*d + m - 297. Is x a multiple of 3?
False
Suppose 0 = -0*s - 2*s - 26. Let x(f) = -5*f + 86. Is x(s) a multiple of 10?
False
Let v = 19 - 20. Let n(w) = -381*w**3 - 4*w**2 + 2*w + 3. Is 18 a factor of n(v)?
True
Let t be (-45 + 43)/(1/314). Let y = 1694 + t. Is 19 a factor of y?
False
Suppose 3 = -4*d + 23. Suppose -d*a = -3*g + 340, -2*g - 2*g + 4*a = -464. Is 32 a factor of g?
False
Let v(h) = 20 + 10 + 16*h - 5*h + 21*h - 2. Is 34 a factor of v(31)?
True
Let t(r) = 58 - 24*r + 11 + 25*r. Is 12 a factor of t(16)?
False
Let g(v) = -2*v**2 - 7*v - 30. Let c be g(-11). Let q = c - -225. Is 7 a factor of q?
False
Suppose 2*i - 369 = 1225. Let t = i - 483. Let k = t - 197. Is 53 a factor of k?
False
Let g(q) = 20*q - 47. Let m(n) = n + 3. Let u(o) = -g(o) - 2*m(o). Is u(-7) a multiple of 39?
True
Suppose 0 = -1217*w + 1219*w - 4080. Is 34 a factor of w?
True
Let p(v) = -v**2 + 13*v - 15. Let f be p(3). Suppose 2*g - f*w - 249 = -10*w, 5*g = -2*w + 666. Is g a multiple of 55?
False
Let c(f) = 5*f**2 - 14*f - 1. Let s be c(3). Is (-27 - -55)/(s/37) a multiple of 37?
True
Let h be ((-20)/12 + 1)*21. Let a(r) = r + 27. Let i be a(h). Is (5*-1)/(i/(-26)) even?
True
Suppose 13*w + 7 - 20 = 0, -w = -n + 23421. Does 98 divide n?
True
Suppose -5*l - 4*f + 45061 = 0, -4*l + 31033 = -2*f - 5047. Is 6 a factor of l?
False
Let k be 224/5 - (-3)/15. Let r be (k/6 + -3)/((-3)/(-56)). Suppose x - 839 = -5*w, -r = -w + 4*x + 67. Is 13 a factor of w?
False
Suppose -3*a = -6*a + 15, 0 = -5*d - 2*a + 70. Suppose 490 = -5*z + d*z. Does 5 divide z?
True
Suppose -4*j - j - 300 = 2*z, -5*j + 3*z - 300 = 0. Let d be (-46)/4 + 6/4. Let q = d - j. Does 8 divide q?
False
Let k be (0 - 535)*5/5. Let z = -186 - k. Is 34 a factor of z?
False
Let d be 10/8*2*(-122)/(-61). Suppose 16 + 14 = d*m - 2*v, -12 = -2*m - 4*v. Suppose 1241 = m*o - 277. Is 11 a factor of o?
True
Suppose -4*t - 79 = 85. Let j = -2021 + 2072. Let p = j + t. Is 10 a factor of p?
True
Suppose -i = -5*r - 32350, -2*i + 210 = -2*r - 64458. Is i a multiple of 246?
False
Let p be 42/10 + (4 - 126/30). Let m be 2 + (-5 + p - -3). Suppose 0 = -5*a - 5*x + 45, m*a = 2*a - 4*x + 28. Is a a multiple of 2?
True
Let i be 2/8 + (-45)/(-12). Suppose -2*d = c - 111, -5*c + 156 = i*d - d. Suppose 0 = 2*v - d + 21. Is 4 a factor of v?
False
Suppose -7 - 23 = -6*t. Suppose x - 3*f = -10, -5*x - t*f + 11 = -39. Suppose -5*k - 256 + 681 = 5*v, 2*k + x*v - 170 = 0. Is k a multiple of 38?
False
Let l(y) = -2*y**2 + 4*y - 2. Let m be l(1). Suppose 0*v - 5*v + 335 = m. Is 18 a factor of v?
False
Suppose -n = 5*c - 23835, 47607 = n + n + c. Is 56 a factor of n?
True
Let a = 5834 + -3966. Suppose 13*q - 3553 = a. Does 43 divide q?
False
Suppose 72 = -o + 4*o. Suppose 0 = 2*u - o + 26. Does 27 divide (2 + -260)/u*(-1)/(-2)?
False
Let b = 75066 - 52722. Does 44 divide b?
False
Does 50 divide 28*15/(-180)*-3984?
False
Let v be 558 + 2*12/8. Suppose 10*s + v = 11*s. Is s a multiple of 16?
False
Is 27603/13 - 332/1079 a multiple of 11?
True
Suppose 0 = 4*q + 2*w - 12, -3*q = -0*q - w - 19. Let b be (-66)/(-30) + ((-11)/q - -2). Suppose 5*y - 3*y = 6, -b*y = -2*o + 34. Is o a multiple of 5?
True
Suppose -4*q - 23 - 4 = y, 3*y - 5*q = 4. Does 15 divide y*(-2)/((-16)/(-360))?
True
Is 70 a factor of (-1 - 13/(-4))/(7461/50575632)?
False
Suppose -l - 5*z - 6301 = 0, 0 = -0*l + 3*l + 3*z + 18843. Let g be 51/119 - l/7. Suppose 11*k - g = -2*k. Is 11 a factor of k?
False
Let p(o) = 170*o - 526. Does 109 divide p(39)?
True
Suppose -9*b + 6611 + 17293 = 0. Suppose -b + 376 = -6*q. Does 23 divide q?
False
Let n be (-52)/8*(-6 - -4). Let w(z) = 7*z**2 + 3*z + 4. Let u(k) = -14*k**2 - 7*k - 8. Let x(p) = n*w(p) + 6*u(p). Does 3 divide x(2)?
False
Let q be 4/6 + ((-4)/(-3))/1. S