s p a multiple of 11?
False
Let p(b) = -b**3 - 7*b**2 + 6*b - 4. Let i be p(-8). Suppose 13*x - 4 = i*x. Suppose 262 + 65 = x*t + 3*g, 245 = 3*t + 2*g. Does 14 divide t?
False
Let t be 15/6*(-132)/(-10). Suppose -192 = -15*p + t. Is p a multiple of 15?
True
Let k(n) = 2*n**3 - 13*n**2 - 9*n + 19. Let l be k(7). Suppose -3*p + 1345 = -l*b, p - 439 = -5*b + 9*b. Does 47 divide p?
False
Does 88 divide 39896 + 88/10 + 55/275?
False
Suppose 0 = 5*h - 6*h + 475. Suppose -2*j = 5*p - 315, -34*j + 5*p = -37*j + h. Is 28 a factor of j?
False
Suppose 0 = -197*n + 195*n + 16. Suppose n*b - 250 = 6*b. Does 25 divide b?
True
Suppose -3*x - 2*x + 45 = 0. Let m be -5 + x + (-1 - 121). Let y = 182 + m. Is y a multiple of 7?
False
Let p = 2610 - -3509. Does 211 divide p?
True
Suppose 0 = -5*s + 43158 - 5248. Is s a multiple of 32?
False
Suppose -2*q - 24*q + 18311 - 2477 = 0. Does 21 divide q?
True
Let q(n) = -17*n - n**2 + 2*n**2 - 2*n**2 + 0*n**2 + 8. Is 20 a factor of q(-9)?
True
Let d be -5 + 1 + 152 + -1. Let m = 530 - d. Does 11 divide -2*(20/(-50) - m/5)?
True
Let v(p) = 2*p**2 + 52*p + 207. Is 31 a factor of v(-4)?
True
Suppose 5970 + 3870 = 20*i. Suppose 2*o - 4*t = 240 + i, -1452 = -4*o + 2*t. Does 51 divide o?
False
Suppose -5*l + 7*s = -1241, 4*s - 9 = -1. Does 115 divide l?
False
Let d(j) be the first derivative of -j**3/3 - 15*j**2/2 - 20*j + 29. Let g be d(-13). Suppose 550 = g*r - 350. Is 15 a factor of r?
True
Suppose 0 = -149*v + 106*v + 186448. Is v a multiple of 19?
False
Let z = -36 - -75. Suppose 0 = 34*g - z*g + 190. Is g a multiple of 38?
True
Let m be 12/(-18) + 93/(-9). Let g be 4 - (m/11 + 0/2). Suppose 4*w - b - 136 = 183, g*b + 15 = 0. Is w a multiple of 14?
False
Suppose 5*y - 1338 - 1483 = 2*k, -k - 1128 = -2*y. Let b(l) = -l**2 - 18*l - 7. Let z be b(-17). Suppose 0 = z*f - y + 165. Does 10 divide f?
True
Let u(m) = 52*m - 5458. Is u(126) a multiple of 6?
False
Let n(o) = 164*o**3 - o**2 + 6*o - 4. Suppose 5*z = -3*y + 13, -2*z + 4 = -y + 1. Is 15 a factor of n(y)?
True
Let a(y) = 7*y**3 + 16*y**2 - 59*y + 8. Let t(x) = 4*x**3 + 11*x**2 - 39*x + 5. Let u(f) = 5*a(f) - 8*t(f). Suppose -n + 1 = -4. Is u(n) a multiple of 26?
True
Suppose -8*m + 3*m - u + 27056 = 0, -m + 5408 = -3*u. Is m even?
False
Let q be (0 + 1)*3 + 2. Suppose 4*j = -k + q*k, 0 = 5*k - 10. Suppose -2*a + 46 - 17 = 3*p, -51 = -j*p + 5*a. Does 3 divide p?
False
Let w(f) = 2*f**3 - 14*f**2 + 12*f - 194. Is 15 a factor of w(8)?
True
Suppose -27*d - 8340 = -a - 30*d, 0 = -4*a - 4*d + 33408. Does 19 divide a?
False
Let t = -9 + 11. Suppose i + i = -b, -3*i = t*b - 1. Suppose n + 25 = b*n. Does 25 divide n?
True
Suppose -149*g + 152*g = 2*v - 8498, -4*g = -4*v + 17008. Does 65 divide v?
False
Let j(c) = c**3 + 16*c**2 + 4. Let k be j(-16). Suppose -5*u - 7 = -3*z - k*u, 2*z = 4*u + 8. Suppose 3*m = -3*x + 21, 2*m - z = -4*x + 32. Is 5 a factor of x?
True
Let w(q) = q**3 - 24*q**2 + 43*q + 30. Let j be w(22). Suppose j + 286 = 7*o. Is o a multiple of 8?
False
Let d(q) = 5*q**3 + 7*q**2 + 5*q + 10. Let m be d(5). Suppose m = 4*r + g, -g - 1037 = 4*r - 9*r. Is r a multiple of 8?
True
Let w = 2 + 0. Suppose 10*v = w*v + 136. Is v even?
False
Suppose 3*w + 26 = h + 98, -2*h + 5*w - 142 = 0. Let o be (6/(-18)*0)/2. Is 33 a factor of 1/(-2)*h + 0 + o?
True
Let d(j) = -j**3 + 5*j**2 + 5*j + 1. Let r be 3 - 2*7/2. Let k be d(r). Suppose 9*p - k = 8*p. Is p a multiple of 23?
False
Let o(n) = 190*n**2 - 48*n - 8. Is o(4) a multiple of 3?
False
Suppose 0 = u, -4*x + 1348 = -45*u + 44*u. Does 14 divide x?
False
Let m(d) be the second derivative of 3*d**5/20 - d**4/12 - d**3/6 + 11*d**2/2 + 10*d + 9. Does 61 divide m(4)?
True
Is 6 + -12 - 47348/(-28) a multiple of 115?
False
Let l(r) = 75*r + 102. Let x be l(17). Suppose 0 = -7*p + x - 117. Is 12 a factor of p?
True
Let b(x) = 79*x + 1893. Is b(-7) a multiple of 6?
False
Suppose 4*i + 77 = 73. Does 25 divide (-6 - i)*1064/(-20)?
False
Let b(w) = -w**3 + 4*w**2 + w + 25. Suppose -11 = -2*h - 1. Let i be b(h). Suppose -2*g + 152 = -3*y - y, 0 = y + i. Does 28 divide g?
False
Let t = -24406 + 34821. Is 63 a factor of t?
False
Suppose 1636 = -3*h + 4*h - 2*n, 0 = 4*n + 20. Does 4 divide h?
False
Suppose -3*b + 1101 = z, 0*b + 15 = 5*b. Suppose 0 = -3*y + 3*f + 1086, 3*y + 10*f - 7*f = z. Is y a multiple of 29?
False
Let z be (0 + (-3)/(-6))*220. Let k = z + -108. Suppose -c = -4*a + 496, -k*c = 4*a - 2*a - 248. Does 20 divide a?
False
Does 25 divide 1/(-36) + 132188903/18108?
True
Let y(n) = -7*n + 1. Let d(b) = b + 1. Let v(w) = -24*d(w) - 3*y(w). Let p be v(-8). Let h = 14 + p. Is 11 a factor of h?
True
Suppose 0 = -3*z - 16*z + 109459. Is z a multiple of 39?
False
Suppose 117*z = 107*z + 18200. Is 28 a factor of z?
True
Suppose -3*l + 4*n - 4 - 3 = 0, -3*n + 24 = 4*l. Suppose 5*s = 3*r - 7*r + 398, 0 = -l*s + r + 232. Let b = 330 - s. Is b a multiple of 28?
True
Let k(d) = d**3 + 2*d**2 - 13. Let j(t) = t**2 - 17*t - 131. Let r be j(23). Does 49 divide k(r)?
False
Suppose 4 = -4*n + 24. Suppose 2*l + 1604 = -n*z - 2*l, 0 = -4*z - l - 1292. Let d = 464 + z. Is 20 a factor of d?
True
Let w be 335/67 + 38/(-10) - (-13167)/15. Suppose 0 = -a - 335 - 199. Let b = w + a. Is b a multiple of 50?
False
Let o be (62/10 - 5)/((-3)/(-10)). Suppose -529 = 3*x - o*x. Is x a multiple of 5?
False
Let i(k) = k**3 + 20*k**2 + 27*k - 26. Does 90 divide i(-6)?
False
Let c = 291 - 295. Is 12 - 3*c/(-6)*-1 even?
True
Let v(f) = 2251*f**3 - 3*f + 11. Is v(2) a multiple of 8?
False
Let f(p) = -p**2 - 39*p - 200. Let x be f(-6). Is -2 + x + 187 + (-9 - -3) a multiple of 11?
False
Suppose -6*t = -3*t - 4*p - 6, -5*p = t - 2. Let f(m) = 11*m - m**t - 4*m - 23 + 9*m - 28*m. Is f(-7) a multiple of 12?
True
Let y = -27970 + 34480. Does 35 divide y?
True
Let p(v) = -123*v + 174. Let m be p(10). Let w = m - -1827. Does 14 divide w?
False
Suppose 1 = 4*l + 2*b - 3, 6 = 3*b. Let r be (-5*(1 - l))/(36/(-36)). Suppose f = r*f - 312. Does 13 divide f?
True
Let y = 94 - 90. Suppose 4*k - 16 = -y*f, -4*k + 22 = 7*f - 9*f. Suppose k*v - 7*v = -20. Is v a multiple of 5?
True
Suppose -b - 5*n + 18 = 0, 5*b - 2*n = 3*b. Let x be ((-34)/10 + b)/((-2)/60). Suppose -x*d = -7*d - 475. Does 19 divide d?
True
Let l(o) = -o**3 + 18*o**2 + 127*o - 1408. Is l(13) a multiple of 4?
True
Suppose 0 = 8*u - 5*u - 21. Suppose 0 = 8*q - 5*q - 12. Suppose -3*b - q*s + 418 = 0, 5*b = -u*s + 4*s + 693. Does 41 divide b?
False
Let p(r) = -33 + 10*r - 2*r + 4*r + r**2 + 4*r. Let n be p(-18). Suppose 477 = -0*m + n*m. Is m a multiple of 10?
False
Let z(k) = 9*k**3 + 10*k**2 + 6*k + 7. Let c be z(-4). Let j = 862 - c. Is 35 a factor of j?
True
Let p(n) = n**3 + 2*n**2 - 69*n - 145. Does 63 divide p(34)?
False
Suppose 0 = 3*z - 61 - 5. Suppose 16*j = z*j - 7338. Is 52 a factor of j?
False
Suppose 23*t - 17248 = 3981. Does 71 divide t?
True
Let y(d) = -d**3 + 25*d**2 + 25*d + 27. Let j be y(26). Is (-1)/j - -3 - 479*-1 a multiple of 27?
False
Let f(p) = -6315*p - 25. Let k be f(-3). Suppose -32*t + k = -10*t. Does 20 divide t?
True
Suppose -24 = 4*a + 2*w, -8 = 2*a + 3*w + 4. Let m(x) = -20*x + 43. Let c be m(a). Suppose -4*y = 4*b - 124, c = 3*y + 2*y + b. Is 11 a factor of y?
True
Suppose 4*t - 3*m = 13472, 3393 = t + 346*m - 353*m. Does 17 divide t?
False
Suppose -15*c + 18603 = -2*c. Does 2 divide (12/(-9))/(-1)*c/36?
False
Suppose 5*j = -f - 3, 4*f + 12 = j + j. Let y be (366/(-5))/(171/(-285)). Suppose 0*o + 2*o - y = j. Does 36 divide o?
False
Let f(m) = 16*m - 8 + 13*m**2 - 11*m + 10*m**2. Is 12 a factor of f(3)?
False
Let a be 2460/220 + 9/11 + -1. Suppose -a*f = -6*f - 450. Suppose -2*u + f = -36. Is u a multiple of 9?
True
Let w(d) = -6*d + 1. Let i be w(-1). Suppose 0 = -5*f + 3*n + 83, -f - i*n + 3*n + 12 = 0. Let g = 152 - f. Is 10 a factor of g?
False
Let z be (-12 + 16)/((-1)/2). Is 6 a factor of (z + -6)*(-2)/(-1 + 3)?
False
Let f = 931 - 937. Does 77 divide 1 - (f/39 - 44970/65)?
True
Suppose 3*b - 10*z + 5*z - 9328 = 0, 2 = -z. Does 25 divide b?
False
Let f be 32/16*(-38)/(-4). Let z = f + 231. Does 10 divide z?
True
Does 33 divide ((1 - -1) + 5)*-1 - 119014/(-7)?
True
Let l be 416/40 + (-6)/15. Suppose -l*h = 12*h - 7788. Does 7 divide h?
False
Let n(d) = -6*d**2 - 4*d - 18 