a multiple of 52?
True
Let l be -6*4/6 + 4 + 392. Suppose -l = -4*s + 856. Does 17 divide s?
False
Let b = 21578 - 16105. Does 4 divide b?
False
Let j = -714 + 1267. Suppose -4*u + 3*y + 751 = 47, -4*y + j = 3*u. Is 12 a factor of u?
False
Let o be 2*(-1157)/(-78)*15. Let z be (-1 + 14/8)*4. Suppose 43 = -z*q + o. Is 17 a factor of q?
False
Let o(q) = 2*q**2 + 15*q + 9. Suppose 0 = -h - 5*c - 3 - 3, -2*h - 4*c = 0. Suppose -h*m = f + 53, f = 3*f + 10. Does 8 divide o(m)?
False
Suppose -4*v + 0*o - o - 68 = 0, -v - 12 = -o. Let r be (6/8)/((-4)/v). Suppose -2*f + 4*f = 5*a + 421, 0 = 2*f + r*a - 445. Is f a multiple of 28?
False
Suppose -5*w + 129*i - 134*i = -127700, -3*w + i = -76644. Is w a multiple of 15?
False
Let j(k) = k + 16. Let r be j(-11). Suppose 3*s + 4*g - 267 = 23, g = -r*s + 455. Is 9 a factor of s?
True
Let v(q) be the third derivative of q**6/120 - 2*q**5/15 + 7*q**4/12 + 3*q**3/2 + 62*q**2. Does 8 divide v(7)?
False
Let z = -315 + 320. Suppose 3*c - z*c + 336 = 2*u, 0 = -2*u + 3*c + 326. Is u a multiple of 18?
False
Let b be 9/36 - 695/(-4). Let p be ((-8)/12)/((-4)/b). Let d = 56 - p. Is 9 a factor of d?
True
Let l(i) be the first derivative of 15*i**2/2 + 61*i - 8. Does 14 divide l(9)?
True
Let f be (7 - 12) + 0 + 1. Does 13 divide (590/(-8) + -4)/(1/f)?
False
Suppose 0*l = 8*l + 24. Let t(r) = -8*r**3 - 6*r**2 + 6*r + 6. Is t(l) a multiple of 10?
True
Suppose -2023*j - 5*n + 34015 = -2021*j, -4*j - 2*n = -68038. Is j a multiple of 6?
True
Suppose 37*t - 277935 = -53604. Is t a multiple of 6?
False
Let r be 6/1*20/30. Suppose -2*m = -r*l + 1732, -m = -l + 404 + 31. Does 43 divide l?
False
Let j = -68 - -142. Let r = 68 - j. Let g(n) = n**3 + 5*n**2 - 15*n - 15. Is g(r) a multiple of 2?
False
Let n = 86 - 79. Suppose -774 = -n*q + 633. Is q a multiple of 29?
False
Let f be -3 + (10 - 3) - -10. Let s(o) = 7*o + 7. Let r be s(f). Suppose b + v - 105 = -3*v, b + 3*v = r. Does 41 divide b?
False
Suppose -10 = -5*n, 0 = p - 6*p + 4*n + 13562. Does 169 divide p?
False
Suppose h + 4 - 7 = 0. Suppose -h*a - 2*f = -8*a + 30, 11 = 4*a + f. Suppose 2*n - 521 = -5*l - 182, a*l = -3*n + 267. Is 23 a factor of l?
True
Let n = 426 - 423. Suppose 5*w - 1398 = -n*d + 387, d - 355 = -w. Is 12 a factor of w?
True
Let u(a) = a**3 - 7*a**2 - a + 12. Let t = 6 - -1. Let f be u(t). Suppose -p - 31 + 95 = 4*g, -80 = -f*g + 3*p. Is g a multiple of 5?
False
Let x(o) = 9*o**2 - 8*o + 22. Suppose b = 3*q - 27, -4*q - 2*b + 37 = 1. Does 7 divide x(q)?
True
Let z be ((-1)/(-2)*2)/((-57)/10659). Let p = z - -787. Does 25 divide p?
True
Let q(a) = 307*a**3 - 7*a**2 + 12*a + 19. Does 10 divide q(5)?
False
Does 12 divide (24/216)/((-340)/84 - -4)*-2103?
False
Let d(j) = -134*j + 2340. Is 8 a factor of d(-123)?
False
Does 106 divide 4036470/1884 - -2*10/8?
False
Let y = 6128 - 1831. Is 5 a factor of y?
False
Let q = -59304 - -112868. Is 14 a factor of q?
True
Let z(g) = -g**3 - 5*g**2 - 2*g. Let k = -283 + 276. Is z(k) a multiple of 14?
True
Suppose 0 = -48*o + 38*o + 100. Is o/5 + 15 + (-2)/1 a multiple of 14?
False
Let j = 1721 - -8773. Does 11 divide j?
True
Let z(p) = -65*p**3 + 3*p**2 - 6*p + 64. Is z(-5) a multiple of 13?
True
Let y = 2365 - 2281. Is y a multiple of 12?
True
Is 119 a factor of ((-14)/(-2) - -56)/(3/1258)?
True
Suppose -7*y + 3 + 11 = 0. Suppose 4*d = -3*w - 6, 3*d + w + 6 = -y*w. Suppose -22*o + 21*o + 85 = d. Is o a multiple of 15?
False
Let t(z) = 199*z**3 + 1. Let w be 1/(7/(-35) - (-6)/5). Is t(w) a multiple of 7?
False
Suppose -19*z = 13*z - 44160. Let c = z - 693. Is 7 a factor of c?
False
Let a = -117 - -95. Let m = a + 34. Suppose -2*l = 2*w - 246, 7*l - m*l - 4*w + 612 = 0. Is 15 a factor of l?
True
Let r(s) = s**3 - 16*s**2 - s + 13. Let p be r(16). Let c be (-21 + -6)*2*p. Suppose c = 5*a - 2*a. Is a a multiple of 18?
True
Suppose 5*n + 43*w = 44*w + 2611, 2*n - 3*w = 1047. Is 6 a factor of n?
True
Is (2 - 3)/((-19429)/(-1943) - 10) a multiple of 67?
True
Suppose -n = -4*b + 89, b = -0*n + 3*n + 25. Let i(c) be the first derivative of 3*c**2 - 69*c - 4. Is 21 a factor of i(b)?
True
Let d(r) = -r**2 - 16*r - 36. Let v be d(-12). Let s = 192 - v. Is 3 a factor of s?
True
Let l = 1267 - -2303. Is l a multiple of 21?
True
Let o(a) be the first derivative of 451*a**3/3 + 15*a**2 + 30*a + 271. Is o(-1) a multiple of 14?
False
Let y(d) = -5*d**3 + 8*d**2 + 42*d + 68. Does 84 divide y(-16)?
True
Suppose -3*g = 3*i - 294, -2*i = 9*g - 13*g - 214. Is 66 a factor of i?
False
Let q = -189 + 23. Let v be ((-120)/(-2))/2 - (-9 - -5). Let w = v - q. Does 19 divide w?
False
Suppose 3*j = 17*j - 42. Let s be 4/(j - 345/117). Is 21 a factor of (-1 - 3) + s + 10?
True
Let z(g) = -10*g**3 - 3*g**2 + 26*g + 414. Does 47 divide z(-12)?
False
Let q(i) = i**2 + 13*i + 1. Let o be q(-6). Suppose 0*c = -20*c + 1420. Let g = o + c. Is 10 a factor of g?
True
Let v be (2 - 15/9)/((-2)/6). Let j(r) = 238*r**2 + 5*r + 5. Let d be j(v). Suppose 5*q + 2*w = 615, 2*q - d - 7 = -w. Is q a multiple of 25?
True
Does 17 divide (7 - (-122)/(-14))*-4284?
True
Suppose -13561*i + 1346948 = -13485*i. Is 37 a factor of i?
True
Suppose 19 = -5*z + 44. Suppose z = -6*y + 7*y. Is (-2 + y)/((-6)/(-18)) a multiple of 9?
True
Let k(w) = -w**3 + 22*w**2 - w + 30. Let f be k(22). Let b be (-1)/(-4) - (-6)/f. Is (-21 - (b - 0))/((-1)/3) a multiple of 11?
True
Let x(z) = 2*z - 7. Let r(q) = q**2 + 4*q - 15. Let v be r(-7). Let k be x(v). Suppose -5*f + 66 + 384 = 5*w, k*f - 2*w - 471 = 0. Is f a multiple of 27?
False
Let w = -47 + 40. Let f(m) = -m**2 - 6*m + 8. Let r be f(w). Is 2 + 229 + (1 - r) + 0 a multiple of 33?
True
Suppose -s = -4*k + 4*s - 81, -s - 23 = 2*k. Let z(j) = j**2 + 6*j - 2. Let x be z(k). Let m = x - 70. Is 4 a factor of m?
True
Suppose r + 792 = 12*r. Let s = 73 - r. Is 2 a factor of 2 - (2 - 3)/(s - 0)?
False
Let y = 217 + -99. Suppose 7*l = 5*l - y. Let r = -29 - l. Does 15 divide r?
True
Let x = -68 + 72. Suppose 5*a = 4*l + 1953 - 607, -4*a - x*l + 1084 = 0. Is 27 a factor of a?
True
Suppose 23*z - 24*z - 2 = 0. Let y be ((-996)/30)/(z/10). Suppose 106 = 4*o - y. Is o a multiple of 20?
False
Let c(n) = 8*n + 52. Let z = -56 - -50. Let k be c(z). Let i(f) = -f**3 + 5*f**2 + 8. Does 12 divide i(k)?
True
Suppose 5*v + 18291 = 12*v. Does 13 divide v?
True
Let r be 14/4 + 1/(-2). Suppose -r*h - 373 = -5*n, n - 4*h - 104 = -26. Let f = 83 - n. Is 4 a factor of f?
False
Is 6 a factor of 32/(-20)*(-123205)/164?
False
Suppose u + 0*a = -a + 2, u + 4*a = 2. Suppose u*s - 28 = 2*k + k, s = 4*k + 24. Suppose -s*g - 21 = -9*g. Does 3 divide g?
True
Does 185 divide (-6)/(-12) + 65112/16?
True
Let x = -2674 - -5325. Is 14 a factor of x?
False
Suppose s = -o + 6, -2*o - 3*o + 3*s = 2. Suppose -4*x = 4*d + 112, -o*x - 3*x = -2*d - 49. Let v = d + 82. Is 6 a factor of v?
False
Suppose 0 = 276*y - 1012597 - 814523. Does 2 divide y?
True
Suppose -5 = -7*m + 6*m. Let v(k) = -5*k**2 - 2*k**3 - 28*k + m*k**3 - 9 + 23*k - 4*k**3. Is v(-6) a multiple of 26?
False
Let a(l) = l**3 + l**2 + l - 1. Let r be a(-2). Let c(g) = -474 - 499 - 7*g + 935. Is c(r) even?
False
Suppose -20*b - 5*b = 4*b. Suppose 2*a + 84 - 148 = b. Is a a multiple of 5?
False
Let p be ((-63)/(-9))/(-14)*-13150. Suppose -9*x + 4792 = -p. Does 39 divide x?
False
Let c(n) = -n**2 + 26*n + 46. Let k be c(9). Let r = -32 + k. Is r a multiple of 15?
False
Let b(q) = -q**3 - 5*q**2 + 4*q + 42. Let o be b(-6). Suppose 0 = 10*s + 4 - o. Suppose 3*l = s*k - 242, 42 = k + 2*l + 4. Is k a multiple of 16?
False
Let k be (8 + -4)*(-2)/(-4). Let c(p) = -32*p - 23. Let d be c(-9). Suppose 2*h - 3*o = 145, -5*o = h + k*h - d. Is h a multiple of 34?
False
Let z(o) = -o**3 - 76*o**2 - 88*o + 309. Is z(-75) a multiple of 12?
True
Let b(h) = -h**3 + 27*h**2 + 51*h - 206. Is 7 a factor of b(9)?
False
Suppose 0 = 5*u + 2*z - 125, -3*z = 3*u - 77 + 2. Suppose 27*q = u*q + 1890. Does 10 divide q?
False
Let l(x) = -25*x**3 + x**2 + 4*x + 77. Does 16 divide l(-5)?
False
Suppose -3*n + 23203 = -t, -4*n + 2*t + 31020 = 78. Does 188 divide n?
False
Let m(f) = 11*f - 9. Let z be ((-4 - -1) + 36/12)*1. Suppose z = -4*j + 12, 0*t + 4*j - 6 = 2*t. Does 12 divide m(t)?
True
Let w = 4857 - 4369. Is 11 a factor of w?
False
Suppose -15 = j 