= 45. Suppose z*i - 210 = 10*i. Let f = -22 - i. Does 3 divide f?
False
Let b be (9/27)/((-1)/(-18)). Suppose 3*s - 4*q + b*q = 397, 4*s + 2*q - 526 = 0. Suppose -5*o = -s - 126. Is o a multiple of 17?
True
Suppose 55*d + 3*v = 52*d + 26175, 3*v + 34956 = 4*d. Is d a multiple of 105?
False
Is 5 a factor of 2857 - ((-90)/10 - -4) - (10 + -3)?
True
Let q = -7837 - -37531. Is 42 a factor of q?
True
Suppose -3*v - 46 = 4*z + 26, 3*v = -2*z - 66. Does 14 divide v/4 + 6 + 307?
True
Is 47 a factor of ((-31245)/(-6))/(119/28 + -4)?
False
Let s(o) = -631*o + 779. Is 9 a factor of s(-9)?
False
Does 5 divide (4/(-12))/(22/(-72468))?
False
Suppose -2*f = 1242*g - 1237*g - 22068, 8820 = 2*g - f. Does 22 divide g?
False
Suppose -734 = 7*j + 771. Let d = -126 - j. Does 7 divide d?
False
Suppose 24*o = 25*o - 10. Suppose 8*d = o*d - 42. Is d a multiple of 7?
True
Suppose -3*x + 9 = 0, -10678 - 6467 = -3*n - 3*x. Suppose -n = -17*a - 0*a. Is 7 a factor of a?
True
Let i(x) = 209*x + 92. Let f be i(8). Suppose -f = 3*q - 31*q. Is 19 a factor of q?
False
Let w be -2*5/(-25)*-5. Let q be 3 + (-6)/w + 487. Does 19 divide ((-10)/(-45) - q/(-9)) + -2?
False
Let l be -5 + (-5 - (-5 - 3 - 0)). Does 29 divide (-114 + l)/(2/(-5))?
True
Let l(h) = 3*h**2 - 44*h - 15. Let u be l(15). Suppose u*d = -40*d + 26560. Does 85 divide d?
False
Let j(s) = 4*s**2 + 18*s - 74. Suppose o + 5 = -5*b, o + 2*b + 15 = 19. Is j(o) a multiple of 46?
True
Let n(p) = 446*p - 618. Does 13 divide n(5)?
True
Suppose -3*m - 5*o = -867, 5*o = 2*m - 0*o - 603. Let f = -73 - -81. Suppose m = -2*j + f*j. Is 7 a factor of j?
True
Suppose 0 = 521*b - 86*b - 15790500. Is b a multiple of 50?
True
Let g = -14393 - -24079. Is 29 a factor of g?
True
Suppose 8 = -6*z + 26. Suppose 1910 = 2*m - z*n, 6*n = 3*m + 3*n - 2871. Does 10 divide m?
False
Let o = -372 + -266. Let h = -116 - o. Is 13 a factor of h?
False
Let a be 3/(12/260)*24/(-60). Let c = -7 + 58. Let s = c + a. Is 5 a factor of s?
True
Suppose -c = 1131*u - 1132*u - 36944, -3*u = 3*c - 110784. Does 36 divide c?
True
Suppose 25*f + 42 = 31*f. Suppose -5*z + 73 = 2*c, -c + 66 = -5*z + f. Is 7 a factor of c?
False
Suppose 3*b = 2*i - 6, -6 = 8*b - 7*b - 2*i. Suppose 3*t = -b*t - 5*n + 306, n + 408 = 4*t. Does 4 divide t?
False
Is (-19)/(1292/(-8)) - (-451850)/85 a multiple of 13?
False
Let h be 62/15 - 96/720. Let j = -345 - -735. Suppose -h*c + j = 22. Does 8 divide c?
False
Suppose -58*i + 55*i + 945 = 0. Does 25 divide i/(-14)*40/(-6)?
True
Let z = 11631 + -6387. Is z a multiple of 92?
True
Let u = 21048 - 19935. Does 5 divide u?
False
Suppose -8*b = -4*b + 1432. Let v = -294 - b. Does 3 divide v?
False
Suppose 21*o = 20*o - 363. Let k = 504 + o. Is 42 a factor of k?
False
Suppose 3*z = 24*m - 31*m + 63910, -3*m - 21346 = -z. Is z a multiple of 334?
False
Suppose 405 = -6*f + 6549. Does 28 divide -3 + f - (-22 - -14)?
False
Let f(g) = -24*g - 9. Let q be f(-3). Let y(o) = 10*o - o**3 + 129*o**2 - 3 - q*o**2 - 60*o**2. Is y(6) a multiple of 33?
False
Let t = -7469 - -15358. Is 100 a factor of t?
False
Suppose -174308 = -13*a - 14291. Is 24 a factor of a?
False
Let g = -425 - -427. Suppose -576 = -g*w - 2*f, -30 + 318 = w - 5*f. Is w a multiple of 48?
True
Suppose 2341 = 5*p - 4*z, -19*z - 1880 = -4*p - 14*z. Suppose -11*m - 3*j - p = -12*m, 4*m = j + 1915. Is m a multiple of 20?
True
Let p(m) be the second derivative of m**3/6 - 4*m. Let i be p(9). Let b = 25 - i. Is 16 a factor of b?
True
Let i = -147 + 152. Suppose 430 = 5*o + i*g, -174 = -2*o + 2*g - 6*g. Does 20 divide o?
False
Let p(n) = n**3 + 10*n**2 - 3*n - 28. Let t be p(-10). Suppose d - 1112 = -0*w - 5*w, 0 = -t*d - 4*w + 2236. Is 66 a factor of d?
True
Let q = -86 - -81. Is 9 a factor of (q - -10 - 2) + -3 + 228?
False
Suppose -5*s + 5*r - 105 = 0, -s + 2 = 3*r + 7. Let b(f) = -32*f - 12. Does 14 divide b(s)?
True
Suppose 0 = -4*z + 2*p + 2822, -2*z - 5*p + 1393 = -0*z. Let m = z - 410. Is m a multiple of 42?
True
Does 14 divide ((-4324)/5)/((-4)/(-10)*110/(-220))?
False
Let p = 233 - 160. Is p - 4 - (0/(-1) + 2) a multiple of 9?
False
Suppose -15815 - 13999 + 4110 = -51*h. Does 6 divide h?
True
Let q be 1 + -3 - 43362/(-27). Suppose 12640 + q = 12*m. Is m a multiple of 18?
False
Is 20 a factor of 7/(252/4836)*6 + -2*3?
True
Suppose 17*v - 14*v + 4*j + 1756 = 0, -3*v = 3*j + 1758. Let n = 839 + v. Is 13 a factor of n?
False
Let l(u) = u**2 + 2*u + 9. Let i be l(-4). Suppose 8*q + 49 = i. Is (-28)/q*(6 - 3) a multiple of 21?
True
Suppose -5*z = 25, -z = -5*a + 42945 - 14045. Is 19 a factor of a?
False
Suppose 2*v = -2*m - 128, -16 = v + 4*m + 36. Let w = -40 - v. Let a = 96 - w. Is 14 a factor of a?
False
Suppose 7*o = -188 - 428. Let d = 116 + o. Is d a multiple of 28?
True
Let g(o) = o**3 - 39*o**2 + 74*o + 54. Is 18 a factor of g(37)?
True
Is 14/5*3249/72*140 a multiple of 133?
True
Let g(c) = 88*c + 10. Let u(d) = 15*d**2 + 12 + d**3 + 8*d**2 + 18*d + 16*d - 9*d**2. Let a be u(-11). Is 14 a factor of g(a)?
True
Let p be (-2 - -3)*(0 - -17). Suppose 0 = o + d - p, -3*o + 5*o + d = 39. Let j = o + 78. Is 20 a factor of j?
True
Does 13 divide (-15765)/6*(-3364)/145?
False
Suppose 14714 = 4*y + p, -15*y + 11058 = -12*y - 3*p. Is 23 a factor of y?
True
Suppose 0 = -5*z + 7*z - 20. Let k = -8 + z. Suppose -i = -3*x - 88, -k*i = 2*i + 3*x - 367. Is i a multiple of 16?
False
Let g be 6/((15/(-10))/(-1)). Suppose -2*n = 4*p + g - 14, 4*n = 4*p + 56. Suppose n*a = 2*a + 3951. Does 49 divide a?
False
Suppose -4*f = -5*y + f + 225, 5*f = y - 45. Is 122 - (y/(-9))/(-5) a multiple of 15?
False
Is (749170/152)/((-5)/(-4)) a multiple of 6?
False
Let w(b) be the second derivative of 5*b**4/12 + b**3 + 3*b**2/2 + 48*b. Let r(f) = 2*f - 14. Let u be r(4). Is 49 a factor of w(u)?
True
Is (-44)/(-1)*(-2 + 1442)/32 a multiple of 33?
True
Suppose 4*d - 5*k + 75 = 0, -4*d = k + 26 + 31. Does 56 divide (d + 12 + -1)*-8*7?
True
Suppose -2*o = 16*o - 1206. Let a = o - -315. Is a a multiple of 30?
False
Suppose -f - 17 = f + 5*w, 3*f - 2*w = 3. Let l be -4 - 0 - (f + -2). Is 4 a factor of (-3 - l)/(15/(-210))?
True
Let b = -243 + 259. Suppose -4320 = -b*c - 2*c. Is 22 a factor of c?
False
Let v be (0 - -3)*45/27. Suppose 0 = -v*t - t + 372. Suppose -z + 62 = -4*b, z - 2*z = -b - t. Does 16 divide z?
False
Let x(f) = -3*f. Let i(w) = w**2 - 20*w + 34. Let a(c) = 2*i(c) - 2*x(c). Is a(23) a multiple of 58?
False
Let k(z) = 8*z + 46. Suppose -27 = -5*q - 3*p, -q = -5*q - p + 16. Does 8 divide k(q)?
False
Suppose -d - 2*v = 6, -4*v + 3 = 5*d + 33. Let i(h) be the third derivative of -25*h**4/24 - 14*h**3/3 - 323*h**2 + 2*h. Is 13 a factor of i(d)?
False
Let z(m) = -4*m + 66 + 5 - 42 + 68. Let c be z(0). Let u = -58 + c. Is u a multiple of 39?
True
Suppose -2*c - 4*a + 28788 = 0, 10*c + 3*a + 43137 = 13*c. Does 39 divide c?
False
Let o = 28766 - 8628. Does 20 divide o?
False
Let v be 3/(-15) + (-48)/10 - 0. Let c(h) = 3*h + 2. Let u(t) = t. Let i(k) = -c(k) + u(k). Is i(v) a multiple of 4?
True
Suppose 0 = -5*n - 30, 59*l - 55*l + 2*n - 8644 = 0. Is l a multiple of 12?
False
Is 4/(-2) - (-7002)/108*222 a multiple of 45?
False
Suppose 0 = 10*d + 6 - 6. Suppose -q + g = -458, d = -3*q - 4*g + 230 + 1137. Is 29 a factor of q?
False
Suppose -3*j - 2*j - 46 = -v, 2*j + 16 = v. Let s(t) = -14*t - 62. Does 19 divide s(j)?
False
Is 4 a factor of ((-288)/21)/(32/(-71904))?
True
Let r be 29 - (-4)/2 - (-31)/31. Let k(z) = 7*z. Is 25 a factor of k(r)?
False
Let o(u) be the third derivative of u**4/6 + 25*u**3/3 + 8*u**2. Let k be o(-12). Suppose -11*q + k*q = -513. Does 22 divide q?
False
Let l = 1168 - 823. Suppose 209 = x - l. Is 53 a factor of x?
False
Suppose 0 = -5*g - 10, 5 + 3 = 4*p + 4*g. Let a = 265 - p. Is a a multiple of 2?
False
Suppose -t = 222*o - 227*o - 23597, -3*t - 3*o + 70665 = 0. Is 126 a factor of t?
True
Let c be -14*(-1)/35 - (-4486)/10. Let f = -177 + c. Does 2 divide f?
True
Let t(k) = -124 - 52 - 56*k - 14 - 14*k. Is t(-4) a multiple of 10?
True
Let g(h) = -h**2 + 14*h - 44. Let n(c) = c**2 - 15*c + 44. Let u(o) = -3*g(o) - 2*n(o). Does 26 divide u(22)?
False
Suppose -3*z + 185 - 35 = -3*a, 2*z - 85 = -a. Let f be z/(-6)*((-10378)/(-10) - 1). Does 16 divide f/(-156) - (-4)/26?
False
Let x(k) be th