 Let y be j(11). Is 3 a factor of r(y)?
True
Let o be (-708)/(-8)*6/(-9). Let c = o + 16. Let y = c - -58. Is y a multiple of 4?
False
Let q = -6744 + 6852. Is 6 a factor of q?
True
Suppose -70629*i = -70646*i + 324734. Is i a multiple of 64?
False
Let x(r) = 2*r**3 - 18*r**2 - 17*r + 36. Let o = -52 - -62. Is x(o) a multiple of 6?
True
Suppose 2*b + 4*p - 377 = 117, -4*p + 251 = b. Suppose -b*g + 251*g = 3280. Does 41 divide g?
True
Let t = 396 + -238. Let u be (-12 + 9)/((-2*1)/t). Suppose 21 = -6*b + u. Is 6 a factor of b?
True
Suppose 22*t - 115363 = 108399. Does 101 divide t?
False
Suppose 18146 = 3*p - f - 15133, -6*f = -p + 11059. Does 10 divide p?
False
Suppose 0 = 4*p - 7*p + 5*z + 64, -2*z + 2 = 0. Suppose 3*f - 5 = 2*d, 6*f + 4*d - p = f. Suppose l - 68 = -4*m + 257, f*l + 385 = 5*m. Is m a multiple of 11?
False
Suppose 13*f - 694 = 2166. Is 7 a factor of (-4)/2 + -2 + 9 + f?
False
Let j be ((-11880)/(-77))/(6/28). Suppose 2*b = 2*c + j, 0 = -4*b + 5*c + 1040 + 397. Is 33 a factor of b?
True
Suppose 0 = -5*f - 25, f + 734 - 2659 = 5*m. Let v = -162 - m. Suppose -13*i + 17*i - v = 0. Does 14 divide i?
True
Let x = -521 - -762. Suppose z = 5*y - 279, 5*y + z - 40 = x. Let r = -16 + y. Is r a multiple of 14?
False
Let m = -3323 + 6819. Is 23 a factor of m?
True
Let f = -4936 + 5345. Is 5 a factor of f?
False
Let z = -27 + 145. Suppose -13*v + z = 27. Suppose -v = -3*i + 140. Is 39 a factor of i?
False
Suppose 7522 = 101*n - 447988. Is 10 a factor of n?
True
Let p = -26724 - -40247. Is 91 a factor of p?
False
Suppose 9*h - 11*h = -6. Suppose -m - 83 = 4*f, 2*m - f + 166 = -h*f. Let z = 126 + m. Is z a multiple of 43?
True
Let d(n) = 37*n**2 + 50*n - 10. Is d(7) a multiple of 36?
False
Suppose 0*q + 4*h = q + 689, 2*q + 1389 = -3*h. Let l = q + 1083. Does 15 divide l?
True
Let u = 14839 + -10563. Does 15 divide u?
False
Let t(r) = r**3 - 8*r**2 - 2*r + 1. Let b be t(8). Let j be b/(-1)*(-5)/(-15). Suppose 0 = 4*c + j*d - 440, c + d - 226 = -c. Is 17 a factor of c?
False
Suppose -4*r + 21238 = -30*j + 31*j, -4*r = 3*j - 21242. Does 112 divide r?
False
Let g be -6*(0 - (2 - 1)). Let y be g/(-12)*16/(-2)*1. Suppose -y*h - c + 226 = -36, 3*h + 2*c - 199 = 0. Does 8 divide h?
False
Let x(z) = 15*z - 3 - 53 + 3 - 6. Let m be x(-7). Is m/(-6) - (-2)/(-12)*2 even?
False
Let o(t) = -5*t + 20 + t**2 + 11 - 43. Let z be o(7). Suppose z*c + 0*c = 40. Is c a multiple of 2?
True
Suppose -3*u - 3*l + 360 = 0, -3*u = 3*l - 2*l - 354. Let z = u + -204. Let c = z - -120. Does 33 divide c?
True
Suppose -7*x = -376 - 65. Let y = x + -59. Suppose -y*f = -324 + 36. Is 8 a factor of f?
True
Suppose 3*r - 7 = 4*h, -h + 6*r - 3 = 5*r. Suppose h*s - 3*q = 566, 0*q = 5*s - 2*q - 1426. Is 26 a factor of s?
True
Suppose 590 + 838 = 14*q. Suppose -2*b + x = 5*x - 192, -5*x = b - q. Does 42 divide b?
False
Let g(c) = c**3 - 5*c**2 - 5*c - 6. Let w be 1 + (2 - (-2)/(-1)) + 5. Let p be g(w). Suppose i - 82 + 19 = p. Is i a multiple of 21?
True
Suppose 0 = -y - 8 - 0. Let j = y - -13. Suppose 5*m + 2*p = -3*p + 40, 22 = 3*m + j*p. Is m a multiple of 9?
True
Suppose 5*o - 7948 = 10*i - 11*i, 4*o - 15854 = -2*i. Is i a multiple of 193?
True
Let x(z) be the third derivative of -z**6/120 + z**5/5 - 2*z**4/3 + 5*z**3/6 + 118*z**2. Is x(9) a multiple of 45?
False
Let h = 25256 + -17360. Is h a multiple of 12?
True
Let s be (-1650)/12*((-7)/(-5) - 3). Let k = 649 - s. Is 20 a factor of k?
False
Suppose 3*n + c = -3*c + 1828, 2*c = 4*n - 2408. Suppose 0 = 2*h - 2*f - n, 0*f - 2*f - 304 = -h. Is h a multiple of 60?
True
Suppose -2*y - 10832 + 3726 = -4*k, 3*k - 5322 = -y. Does 25 divide k?
True
Let l(c) = -5*c**2 - 2*c + 1. Let s be l(-1). Let x be (s - -3) + 15 - 6/2. Let u = 49 - x. Does 20 divide u?
False
Suppose -h = d + 973 - 13365, -5*h + 62024 = -3*d. Is 13 a factor of h?
False
Let m = 94 - 97. Is -484*(0 + (-1)/4) + m a multiple of 17?
False
Let t(o) = -3*o**3 - o**2 + 5*o - 16. Let v be t(-4). Suppose g = 4*a - 14, 5*a - 17 = -g + 5. Suppose -108 = -g*j + v. Is j a multiple of 25?
False
Let t be (6 + 4*(-4)/8)/2. Let i = -23 + t. Let g = 54 - i. Is g a multiple of 16?
False
Suppose 0 = -p + 169 + 74. Let k = 23 + p. Is 19 a factor of k?
True
Suppose 3*t = x - 375, x + t = -x + 750. Suppose -u = -5*a - x - 24, 2*u - 2*a - 774 = 0. Does 19 divide u?
False
Suppose 0*n = n - 16. Suppose 5*q = q - n. Does 3 divide (-18)/q*272/51?
True
Suppose -3*v + 36 = b - 0, 51 = 2*b - v. Suppose -15 - b = -3*a. Is a/(-2)*((-48)/3 - -3) a multiple of 15?
False
Suppose k + 4*r - 16 = -3*k, -3*k + 3*r = 18. Let w be (((-66)/15 - k) + 3)*10. Let b = 24 - w. Does 14 divide b?
True
Let w(y) = 170*y + 456. Does 70 divide w(23)?
False
Let m = -50 + 52. Suppose -773 = -m*k + 71. Is 12 a factor of k/5 - (-18)/(-45)?
True
Suppose 0 = -2*f + 3*f + 2*c + 302, 2*c + 898 = -3*f. Let m = 1129 + -1629. Let g = f - m. Does 28 divide g?
False
Let w be 0*-2*4/16. Let a(m) = -m + 8. Let h be a(w). Is (-5112)/(-32) - (-2)/h a multiple of 34?
False
Suppose -91*j = -3*l - 87*j + 1329, -2*l - 5*j = -932. Does 2 divide l?
False
Suppose -55073 = -2*s + c + 26001, -c - 40538 = -s. Is 55 a factor of s?
False
Does 81 divide (14/49)/(10/231490*2)?
False
Let v(c) = 1990*c - 102. Is v(1) a multiple of 16?
True
Suppose -24*k = -29*k + 2*v + 14698, -2*k = -5*v - 5896. Is k a multiple of 5?
False
Let k = 4177 - 939. Does 4 divide k?
False
Let j be 5*-2*(592/(-40) + 6). Does 11 divide (7 - (-1 + 6))*j?
True
Let r = 6499 + -4519. Is 13 a factor of r?
False
Let w be (-9)/12 - (-337)/(-4). Let n = -60 - w. Suppose -n = 4*l - 5*l. Is 4 a factor of l?
False
Let f(o) = -8*o - 28. Let q = 58 - 46. Let s be f(q). Is (-5)/((-40)/(-6)) + s/(-16) a multiple of 3?
False
Let j = 256 - -505. Suppose -5*a - 3*r = -771, -5*a - r + 3*r + j = 0. Does 9 divide a?
True
Let d be (-6)/2 + (8 - -4). Does 27 divide (3 - 27/d) + 889?
False
Suppose 6*u + 68 = 320. Suppose -43*t + u*t = -77. Is t a multiple of 3?
False
Suppose 25 = 8*r - 47. Suppose -56 = -5*g - r*g. Suppose 3*n - o = o + 146, -n - g*o + 44 = 0. Is 12 a factor of n?
True
Let j(f) = -8*f + 13. Let y(l) = 16*l + 0 - 10 - 20 + 4. Let d(a) = 10*j(a) + 4*y(a). Is 30 a factor of d(-4)?
True
Let o(j) = j**2 - 13. Let p be o(-5). Is (5 - 145/30) + 3562/p a multiple of 33?
True
Let h(a) = 2*a**2 - 16*a + 30. Let m be h(3). Suppose 5*n - 5*y - 1615 = m, -5*n - 6*y = -8*y - 1615. Is n a multiple of 6?
False
Suppose -3*b + 52 = -5*w, -b - 2*b + 4*w = -56. Does 21 divide ((-7)/((-35)/(-264)))/(b/(-80))?
False
Let x(j) = 11*j. Suppose 17*y - 183 = 16*y. Suppose 14*d = -1 + y. Is x(d) a multiple of 13?
True
Let c(k) = k**3 - 6*k**2 - 3*k - 5. Let n(m) be the first derivative of m**4/2 - 7*m**3/3 - 2*m**2 - 6*m + 8. Let u(y) = 6*c(y) - 5*n(y). Does 19 divide u(-3)?
False
Let x(a) = a**2 + 14*a + 40. Let j be x(-4). Suppose j = -5*f - 4*h + 4816, f - 2*h = 6*f - 4808. Is f a multiple of 40?
True
Let c(j) = -19*j - 120. Let u be c(-8). Suppose 17*q - u*q + 840 = 0. Is q a multiple of 56?
True
Suppose -5*r + 1737 = -3*a + a, 4*r + 4*a - 1412 = 0. Suppose -4*x + 5*p + 1407 = 0, x - 3*p - r = p. Is 11 a factor of x?
False
Does 6 divide (1 + 700)/((-67)/(-134))?
False
Suppose 4*w = -20, 4*w - 2980 = 5*g - 0*g. Is (-2)/5*(-45)/(-18)*g a multiple of 16?
False
Let b = -48 + 47. Is (b*463)/(11 + -10 + -2) a multiple of 13?
False
Suppose -4*v + 10916 = 52*t - 54*t, -2*t = -v + 2735. Is v a multiple of 4?
False
Suppose -9*f = -12*f + 81. Let d(m) = -m + 89. Is 31 a factor of d(f)?
True
Let p = 64 - 69. Let t be p*1/(-3) - 25/(-75). Suppose t*a + 3*z = 305, -4*z + 5 = -3*z. Is 18 a factor of a?
False
Suppose 3*w - 63 = 10*w. Is (-1 - 4) + (-153)/w a multiple of 8?
False
Let k(u) = -43*u - 51. Let g be k(-5). Suppose -g = -m - 44. Is m a multiple of 12?
True
Suppose -8*j - 2*j + 102 = -2758. Is j a multiple of 2?
True
Let y(a) = -a**2 + 50*a - 33. Let v be y(35). Let n = -11 + 16. Suppose n*h - 287 = -3*q, -3*q + v - 185 = h. Does 30 divide q?
False
Let c(v) = 48*v**2 - 656*v + 6. Is c(15) a multiple of 6?
True
Let c = 198 + -200. Let s(b) = 5*b + 8 - 5 - 3*b - 4*b**3 - 2*b**2. Does 10 divide s(c)?
False
Let n = 221 - 161. Is n - -95 - (-5)/1 a multiple of 5?
True
Let q be 3/2 - 1/(-4)*34. Suppose -13*w + 75 