iple of 4?
False
Let b be (-10)/(-2) - (-2)/((-2)/(-1)). Suppose 3*p + b*q - 3*q - 201 = 0, -4*p - 5*q = -266. Let s = p - 9. Is s a multiple of 30?
True
Let w = -1817 - -3765. Let v = w - 1387. Is 17 a factor of v?
True
Let s = 234 - -1836. Does 138 divide s?
True
Let v be ((-8)/(-8))/(2/56). Suppose -53 = 9*b + v. Let i = 1 - b. Does 5 divide i?
True
Let a be (-50 + (4 - 4))/2. Let x = -95 - a. Let b = x - -212. Is b a multiple of 35?
False
Let z = -87153 - -125351. Is z a multiple of 142?
True
Suppose 75873 = 47*k - 193155. Is k a multiple of 22?
False
Let r(t) = 16*t - 33. Let z be r(5). Let g = 47 - z. Suppose -20*x + 19*x + 188 = g. Is x a multiple of 47?
True
Let l = -852 - -873. Is l even?
False
Let b = -10 + -5. Let h = b - -19. Suppose 5*f - 364 = -0*k - 4*k, 5*f - 396 = h*k. Is 19 a factor of f?
True
Suppose -59901 - 15208 = -19*y + 5375. Is 63 a factor of y?
False
Suppose 0 = 8*p - 2*p - 48. Suppose 10*o + p*o = 3474. Does 21 divide o?
False
Let l = 962 + -548. Suppose -3*x - 708 = -4*w, x + l = 3*w - 122. Does 62 divide w?
False
Suppose -2*y - v - 1 = -3*y, 19 = 3*y + 5*v. Suppose -7*w + 9*w + y*m - 346 = 0, -172 = -w - 2*m. Is 15 a factor of w?
False
Let a(n) = 66*n - 576. Is 50 a factor of a(11)?
True
Let o(n) = n**3 - 50*n**2 - 317*n + 18. Is 55 a factor of o(64)?
False
Suppose 5*a = 5*u - 2571 - 35679, 0 = -u - 5*a + 7602. Is u a multiple of 2?
True
Let o(a) be the first derivative of -21*a**2 - 3*a + 43. Let b be (-3)/((-1 + 4)/3). Is o(b) a multiple of 37?
False
Let o(d) = d**3 - 21*d**2 + 26*d + 10. Let m be o(20). Suppose -124*n = -122*n + m. Let b = 93 + n. Does 14 divide b?
True
Suppose -307087 = -90*w + 1615313. Is w a multiple of 16?
True
Let c be 1/(7/84*6). Suppose 2*p - c*k - 2220 = 2*k, -4*p + 5*k + 4455 = 0. Is p a multiple of 21?
False
Suppose k + 5 = -6. Let j = k + 14. Suppose -4*i = -j*l - 1071, 3*i - 749 = -2*l + 33. Is 44 a factor of i?
True
Let r(m) = 2*m**3 - 57*m**2 + 38*m + 16. Let w be r(28). Suppose -2864 = -10*x + w. Does 15 divide x?
False
Let v be (6*-1)/((-45)/30). Suppose -v*o + 3*f = -1724, -9*o + 13*o + 2*f = 1704. Is o a multiple of 11?
False
Let o(j) = j**3 - j**2 - j + 56. Let b be o(0). Suppose 91 = -7*m - b. Is (m/(-2))/((-14)/(-84)) a multiple of 19?
False
Is 10/(-35) + ((-36)/96 - (-658597)/56) a multiple of 20?
True
Let s = 6060 - 5850. Is s a multiple of 28?
False
Let s(q) = -q**2 - 10*q - 14. Let t be s(0). Let c be (3 + ((-9)/(-6) - 2))*t. Does 6 divide 20/(1*(-10)/c)?
False
Suppose -8*d = -1078 - 42. Suppose 10*x - d = 5*x - 3*i, 3*x - 3*i - 108 = 0. Does 6 divide x?
False
Is 13 a factor of 3/(-2)*(-1279 - 47)?
True
Is 21 a factor of 26 + -21 + (-1845)/(-9)?
True
Let w(u) = 3*u**2 - 160*u + 857. Does 25 divide w(76)?
True
Suppose -26 = -4*w - 6*g + g, 3*w + 5*g = 22. Suppose 16 = -w*x, -5*z + 167 = -2*x + 4*x. Let y = 69 - z. Does 7 divide y?
False
Suppose 2*i + i = 5*y + 5, i - 11 = -3*y. Suppose -3*u + 515 + 721 = -i*l, -3*l = 3*u - 1212. Let j = -273 + u. Is 21 a factor of j?
False
Let k(q) be the third derivative of q**5/10 + 5*q**4/24 - 19*q**3/3 + 34*q**2 + 1. Is 26 a factor of k(6)?
True
Let m(c) be the first derivative of c**3 + 3*c**2 + 3*c - 25. Let r be m(-2). Does 15 divide ((-15)/(-4) - r)*80?
True
Let g = 91 - 129. Let t = g - -38. Suppose -5*c = -2*r - t*c + 114, -4*r - 3*c + 176 = 0. Does 17 divide r?
False
Let h(l) = -2*l - 13. Let x be h(-7). Let r = 1 - x. Suppose c = -2*f + 17, r*c + 4*c - 4*f - 92 = 0. Is 4 a factor of c?
False
Suppose 27283 - 6115 = 24*o. Is 21 a factor of o?
True
Suppose -233*z + 6880 = -229*z + 4*x, 0 = z - 19*x - 1760. Does 42 divide z?
True
Suppose 0 = -29*r - 0*r + 339271. Is 9 a factor of r?
False
Suppose 37*z = 32*z + 110. Suppose -16*l + 5*l = -z. Suppose 98 = f - 5*m - 134, l*f + 2*m = 440. Does 18 divide f?
False
Let w = 17899 - 3728. Is w a multiple of 37?
True
Let n(i) = -i**3 - 12*i**2 + 21*i + 1. Let g be n(-14). Let w = 101 - g. Suppose -3*t - w = 5*k - 5, t - k - 9 = 0. Is 5 a factor of t?
False
Suppose 0 = -5*y + 7*y - 36. Let r = -14 + y. Let u(t) = 3*t**2 - 7*t + 1. Does 6 divide u(r)?
False
Let y(u) = -u**2 - 70*u + 16960. Is 212 a factor of y(0)?
True
Suppose -246*x + 343552 = 230*x - 454*x. Is x a multiple of 122?
True
Suppose 1438*j - 1444*j + 34536 = 0. Is 32 a factor of j?
False
Suppose 5*p - 3*v - 13960 - 2007 = 0, 5*p = v + 15979. Does 46 divide p?
False
Suppose 3*j = 2*l + 4867 - 126, 2*j - 5*l - 3157 = 0. Is j a multiple of 93?
True
Suppose -3*i + 20 = 3*w + i, 4*w - 12 = 2*i. Let q be -1 + w/(-3)*(-402)/4. Let t = q - 74. Is t a multiple of 15?
False
Suppose -5*s - 571 = -3*p, 5*p - 672 = -s + 261. Let c = p + -109. Is 8 a factor of c?
False
Does 60 divide 2/(15 - (-1550483)/(-103367))?
False
Let z = 1447 + 12390. Does 256 divide z?
False
Let o(v) = v**3 + 16*v**2 - 16*v - 13. Is 9 a factor of o(-4)?
True
Suppose -546*d + 549*d = -3*j + 22134, -5*j - 4*d = -36889. Does 105 divide j?
False
Let m(h) = 26*h + 43. Let n be m(-5). Suppose 2*s = -5*w + w + 294, 3*w + 3 = 0. Let z = n + s. Is 44 a factor of z?
False
Let s(q) = q**2 - q - 30. Let l be s(-5). Suppose 172*y - 180*y + 12472 = l. Is 33 a factor of y?
False
Let w = -621 + 153. Does 5 divide 104/w - 641/(-9)?
False
Suppose -a = -5*b + 154795, -2*b - 3*a + 24621 = -37280. Does 23 divide b?
True
Suppose 18*j - 284 = -248. Suppose 722 = j*l + 2*c, c + 4*c + 379 = l. Is l a multiple of 13?
True
Is (-202)/(2376/(-5610) + (-4)/(-10)) a multiple of 101?
True
Let j(x) = -x**3 + 8*x**2 + 10*x - 5. Let w(v) = -v**3 - 2*v**2 - 6*v - 3. Let k be w(-2). Let u be j(k). Suppose -u*n - 145 = -9*n. Is 12 a factor of n?
False
Suppose -5*p + 866 = 56. Suppose 2*n - 2*h = p - 14, n = 2*h + 72. Suppose -4*i + n = -32. Is i a multiple of 11?
False
Let j(q) = 3*q**2 + 19*q + 28. Suppose 0 = 10*v + 62 - 2. Does 11 divide j(v)?
True
Let s(p) = -p - 10. Let x be s(-11). Let r be -2 + (8 - 5) + (x - -1). Suppose r*w = -2*z + 108, -3*z = -4*w + 137 + 24. Does 16 divide w?
False
Let m(l) = -2*l - 5. Let a be m(0). Let v be 0 + 1 - (a - -1). Suppose 0 = k - 5*h - 34, 2*k + 70 = 7*k - v*h. Is k a multiple of 9?
True
Suppose 0 = -2*n + 8, -8*n = 2*u - 6*n + 10. Does 13 divide 1069/6 - u*4/(-216)?
False
Let k(m) = 4*m**2 - 81*m + 632. Is k(7) a multiple of 158?
False
Suppose -4*n + 25 - 121 = 268. Let l be (-1)/(1/(-1)) - 347. Let g = n - l. Does 15 divide g?
True
Suppose 11*t = 4*t + 35. Suppose 2*g + t*h = -1 + 19, -5*g + 2*h = 13. Let y(u) = 45*u**2 - 6*u - 5. Is y(g) a multiple of 23?
True
Let s(c) = 22*c + 16 - c**3 + c - 14*c - 4*c**2. Does 17 divide s(-6)?
True
Let r = 232 + -256. Is r/10*3/(-2)*55 a multiple of 13?
False
Let r = -78 - -90. Suppose 0 = r*c - 1375 - 3053. Is 16 a factor of c?
False
Suppose -9765 = -9733*b + 9726*b. Is b a multiple of 15?
True
Let d = 42 + -38. Suppose 0 = -5*z - 2*i + 4361, -4*z - d*i + 3082 = -414. Is z a multiple of 13?
True
Let x = 425 + -584. Let l = x + 194. Is l a multiple of 7?
True
Suppose 4*y = 129 - 97, -5*y + 53698 = 3*c. Is c a multiple of 13?
False
Suppose 9*c = 3*h + 7*c - 9398, 0 = c + 1. Is h a multiple of 6?
True
Suppose -2*l - 2*q = -4, l + 10*q - 8*q = 3. Is 12483/15 + 0 - l/5 a multiple of 33?
False
Let f = 76 - 124. Let t be (42/(-12))/((-2)/60). Let z = f + t. Is z a multiple of 19?
True
Let v = -126 - -545. Let l = -133 + v. Is 30 a factor of l?
False
Let r(y) = 14*y + 8. Let u(l) = -5 + 10*l - 8*l + 12 + 11*l. Let f(k) = -2*r(k) + 3*u(k). Is f(3) a multiple of 32?
False
Let y = 48 - 21. Is 21 a factor of (438 + 0)*y/18?
False
Suppose 536*m - 3125 = 548*m - 9461. Does 7 divide m?
False
Let z(b) = -3*b - 2. Let p be z(-8). Suppose 7*c - 5*c = -h + 9, 2*c + 4*h = 0. Does 12 divide ((-16)/c)/(p/(-495))?
True
Is (4 + -84)*((-98693)/14)/23 a multiple of 14?
False
Let y = 1330 - 4849. Is y/(-230) + (-12)/40 a multiple of 6?
False
Suppose -59*h + 4976143 = 114*h + 1016173. Does 109 divide h?
True
Let m = -22527 - -30144. Is m a multiple of 8?
False
Suppose -3*v - 4 = -4*m - 12, 4*m = -2*v + 12. Suppose 0 = -r - 5*d + 32, -2*r + v*d = -71 - 7. Suppose -r + 13 = -3*c. Is c a multiple of 2?
True
Suppose -4*x + 2*s - 202 = 0, s - 28 - 22 = x. Let y = -36 - x. Suppose -10*t = -y*t + 70. Is 7 a factor of t?
True
Let x be (16 - 28)*(-8)/12. L