s i a multiple of 21?
True
Let f = -6 + 8. Does 15 divide 15/(3/(-2) + f)?
True
Let z be (-12 + 4)/(8/124 + 0). Let c = -74 - z. Is 15 a factor of c?
False
Let n(x) = x**2 + 14*x - 14. Let f be n(-19). Let c = f + -61. Is 10 a factor of c?
True
Suppose -7*k + 10*k = 3, -i - 4*k = -268. Does 8 divide i?
True
Let m(d) be the third derivative of -13*d**4/24 + 29*d**3/3 + 29*d**2. Is 17 a factor of m(-9)?
False
Let q(i) = -i - 1. Let b be q(-5). Let u(c) = -c**2 + 4*c - 6. Let o be u(b). Does 3 divide 11 - o/(-2 - -4)?
False
Suppose 0 = 6*a + 2*p - 1110, -a + 5*p = -0*a - 169. Does 8 divide a?
True
Suppose 39*z - 3 = 42*z. Let i(o) = 26*o**2 - o - 1. Does 8 divide i(z)?
False
Let b = 286 - -1385. Does 33 divide b?
False
Is 2 a factor of 5929/33 - 1/(-3)*1?
True
Let v = -517 + 949. Does 69 divide v?
False
Suppose -8*t + 3*t + 30 = 0. Let q(k) = -k**3 + 7*k**2 - 3*k - 3. Is q(t) a multiple of 3?
True
Let f(y) = -3*y + 1. Let n be f(-4). Let g = 636 - 631. Suppose g*d - 62 = n. Is 13 a factor of d?
False
Let d be 0 - -3 - (-2)/(-2). Suppose d*l - 227 = 45. Is l a multiple of 34?
True
Suppose -3*b + 8*b + 4*x = 22, 2*x = 6. Suppose -2 = -3*s - b*c, 3*c = -7 + 19. Does 2 divide (-30)/5*s/4?
False
Let q = 189 - 140. Is q a multiple of 4?
False
Suppose -2*w + m = -359, 905 = -w + 6*w - 5*m. Suppose w = 3*q + 25. Is q a multiple of 12?
False
Suppose -36 = -5*d - 1. Suppose 2*w - d = -f + 3, -w + 15 = f. Let u = 37 - f. Is u a multiple of 4?
False
Let n(b) = -b**3 - 4*b**2 - 8*b - 17. Let x be n(-7). Suppose 2*f - 5*f + x = 0. Is 13 a factor of f?
False
Let r = 17 + -13. Suppose 0 + r = 2*n. Suppose n*f - 15 = -f. Is f even?
False
Suppose -36*i = 5*i - 71955. Is i a multiple of 39?
True
Suppose 2*j - 14 = -5*i + i, -i + 5 = j. Let n = 7 - i. Suppose -n*z + 2*z = -45. Is z a multiple of 15?
True
Does 2 divide (2/3 - 1)/((-1)/33)?
False
Let v(s) = 2*s + 22. Let p be v(-9). Suppose p*m + 40 = 8*m. Is m a multiple of 4?
False
Let f(z) = -z**2 - 4*z + 6. Let a be f(-7). Let i be 20/a*354/(-4). Suppose 4*m - 2*b - i = 0, 0*m + 2*b + 60 = 2*m. Is m a multiple of 8?
False
Let l be (0 + 326)*4/8. Let f = l + -133. Is f a multiple of 13?
False
Suppose 2*v = -7 - 1. Let w = v + 6. Suppose 2*d = -w, 2*f - f + d - 6 = 0. Is 2 a factor of f?
False
Let u be 142 + (-18)/(-9) + (1 - 1). Suppose f - u = -5*f. Does 8 divide f?
True
Let s(p) = -p**2 + 8 - p**3 + 14*p**2 - 32 - 2*p**2. Is s(10) a multiple of 11?
False
Suppose -4*f = -3*w + 1362, 1809 = -2*w + 6*w - 3*f. Is w a multiple of 30?
True
Suppose 2*r + 2*r + 839 = 3*u, -3*u + 843 = -3*r. Is u a multiple of 5?
True
Does 32 divide 15984/90*(-40)/(-6)?
True
Let r(w) = -3*w - 4. Let d be r(-5). Suppose 170 = -d*s + 13*s. Is s a multiple of 17?
True
Let u(p) = -2*p**2 - 4*p + 7. Let h be u(7). Does 34 divide 32/(-56)*h/2?
True
Suppose 3*g = -4*l - 227, 4*g - 4*l + 251 = l. Let x = -39 - g. Does 11 divide x?
False
Let p = 268 + 296. Is p a multiple of 8?
False
Let s = -2 + 5. Suppose s*m - m + 4 = 4*b, -2*m = -2*b + 2. Is -17*(1/(-1))/b a multiple of 17?
True
Suppose -1340 - 4402 = -9*l. Is l a multiple of 22?
True
Let s be (1 + 1)*(-2 - (-15)/(-2)). Let i(t) = -t**2 - 25*t - 4. Is i(s) a multiple of 22?
True
Suppose -1280 = -11*k + 6*k. Suppose 0*j + k = 4*j. Is j a multiple of 14?
False
Suppose -f + 3 = 0, 5*f = -7*h + 2*h + 95. Does 2 divide h?
True
Let a(b) = -b**2 + 12*b - 19. Let i be a(6). Let x = -12 + i. Is x even?
False
Let a = 45 + -16. Let w = 49 - 88. Let f = a - w. Is 17 a factor of f?
True
Let r be -3 - 1 - (16/4 + -8). Suppose 4*o - 3*d - 802 = r, 2*o = -d - 0*d + 396. Is 25 a factor of o?
False
Let l(u) = 5 - 3 + 10*u - 12. Let s be l(9). Is 6 a factor of (18/4)/(30/s)?
True
Suppose 2*t = -3*t - 2*c + 26, 2*t = 5*c - 7. Suppose 3*n = -5*y + 115, t*y = 3*n + 6*y - 100. Does 20 divide (n - 0)*2/3?
True
Let t(b) = -2*b - 40. Let q be t(-22). Suppose -4*m - 3*a + 9 = -6*m, 0 = 3*a - 3. Does 10 divide ((-16)/q)/(m/30)?
True
Suppose -13*i + 9165 = -5486. Does 22 divide i?
False
Let d(z) = -3*z - 12. Suppose 2*a + 0*a = -26. Does 6 divide d(a)?
False
Let l = 333 + -207. Does 14 divide l?
True
Suppose -l + 7 = 1. Suppose c = l*c - 20. Suppose -54 = -k + 4*q, c*k - 2*k - q = 101. Is k a multiple of 19?
False
Suppose 0 = -4*q - 4*j - 50 + 894, 5*j + 235 = q. Is 43 a factor of q?
True
Let k = 42 - -38. Does 16 divide k?
True
Suppose 3*w + 95 + 554 = 5*b, -3*b + 4*w + 396 = 0. Suppose b = 4*m - 2*m. Is m a multiple of 12?
False
Is 0 - (-2818)/8 - (-6)/(-24) a multiple of 11?
True
Suppose 5*m = 6 + 9. Suppose 2*o - 4*u - 426 = 0, m*u - 1000 = -5*o - 0*o. Is 24 a factor of o?
False
Let m(y) = y**3 - 55*y**2 - 103*y + 11. Is 6 a factor of m(57)?
False
Suppose 450 = -10501*k + 10504*k. Is 15 a factor of k?
True
Suppose 2164 = 3*f + 2*q, -2*f + 5*q - 4*q = -1438. Does 84 divide f?
False
Let a(i) = i**3 + 6*i**2 - 9*i - 8. Let u = -15 - -8. Let m be a(u). Suppose 2*t - 100 = n, -3*n + 0 = -m. Does 16 divide t?
False
Suppose -2*i + 0 = -2, 3*q + 3*i = 507. Is 12 a factor of q?
True
Let s be 1/5 + (-48)/15. Let x = 7 + s. Suppose 5*z - 300 = -5*l, x*l + 15 = l. Does 15 divide z?
False
Is (-3)/((5/1145*1)/(-1)) a multiple of 12?
False
Let o = 9 - 6. Suppose 11*g = -o*g + 2436. Does 29 divide g?
True
Let a(k) be the third derivative of k**5/15 + k**4/12 - 5*k**3/6 - 11*k**2. Does 22 divide a(5)?
False
Suppose -71*c - 1610 = -78*c. Does 10 divide c?
True
Let x(s) = s + 6. Let z be x(8). Let o = 100 + z. Is 21 a factor of o?
False
Let l(d) = 79*d + 900. Is 27 a factor of l(-7)?
False
Let a(t) = -t**3 - 9*t**2 - 4. Suppose -1 = 2*h + 17. Let n be a(h). Is 20 a factor of 1*90*n/(-6)?
True
Let c = 15 - -35. Is 11 a factor of c?
False
Let w be 1/((-85)/(-40) - 2). Suppose -4*m + w = -36. Does 11 divide m?
True
Let p be 7/(-2) - 9/18. Let r(a) = a**3 + 4*a**2 - 2*a - 4. Let t be r(p). Suppose -5*i - 3*l = -91, -l + 53 = t*i - 24. Does 19 divide i?
False
Suppose -8 = -5*s - 5*j + 27, 3*j + 3 = 5*s. Let z(y) = -7*y. Let u be z(-6). Suppose s = m - u. Is 15 a factor of m?
True
Suppose 85 = -2*j + 15. Does 39 divide ((-780)/j)/(2/14)?
True
Let n be (-1)/(-6) - 325/78. Let m(x) = x + 4. Let s be m(n). Let b(t) = -t**3 - t**2 + 57. Is b(s) a multiple of 19?
True
Suppose 0 = o - 1 + 4, -3*o + 31 = 4*n. Is 24 a factor of 782/n - (-3)/(-15)?
False
Let g(q) be the third derivative of q**6/120 - q**5/60 - 7*q**4/24 + q**3/6 + 11*q**2. Is 7 a factor of g(4)?
True
Let x(b) = 47*b**2 - 13*b + 8. Does 14 divide x(3)?
True
Let i(f) = 2*f**3 - 52*f**2 + 24*f - 70. Is i(26) a multiple of 6?
False
Suppose 5 = 3*g - 4*l - 4, -g + 5*l = -14. Let c = -290 + 291. Is (c - 2) + (43 - g) a multiple of 8?
False
Suppose -2*w - 3*g = -8, -g - 60 = -4*w - 16. Suppose -w*p - 98 = -12*p. Is p a multiple of 25?
False
Let a(g) = -11 + 8*g + 11. Let o be a(4). Suppose 0 = h - o + 7. Does 25 divide h?
True
Let f(q) be the third derivative of q**5/15 + q**4/4 - 5*q**3/6 - 13*q**2. Does 10 divide f(3)?
False
Let c(i) = i**3 - 16*i**2 + 3*i - 25. Let h be c(16). Is (h - 2)/((-5)/(-55)) a multiple of 21?
True
Is 42 a factor of (11*9/(-18))/((-1)/100)?
False
Let c be 4/(-2)*(-7)/14. Is 24 a factor of 40/12*30 + c?
False
Let l(s) = -s**3 + 7*s**2 - 6*s + 5. Suppose m - 2 = -0*m. Suppose 30 = 3*j + m*j. Does 5 divide l(j)?
True
Suppose 4*c = -3*x - 0*c + 6, -5*c = 0. Let j = 11 - x. Suppose 3 + j = 2*v. Does 4 divide v?
False
Suppose 20 = -15*m + 16*m. Let i be (-3)/((-5)/(m/6)). Suppose i*s - s = 81. Does 25 divide s?
False
Let h = 4 - -10. Suppose -2*i + t + 2*t + h = 0, 2*i + t = 6. Is 2 a factor of (i + -16)*(-3)/6?
True
Let d(s) = -2*s**3 - 7*s**2 - 38*s - 3. Is 5 a factor of d(-6)?
True
Suppose o = 2*r, o = 4*o + 2*r. Suppose -3*s + 166 + 23 = o. Is s a multiple of 21?
True
Suppose r + r = -62. Let b = 19 + r. Does 14 divide (b/18)/((-2)/84)?
True
Suppose 44086 - 3694 = 9*g. Is g a multiple of 51?
True
Let o be 1690/(-30) + (-1)/(-3). Does 19 divide 6 + -7 + -2*(o + 3)?
False
Suppose 2*g = 3*l - 16, -2*l = 3*l + 2*g - 16. Suppose -269 = -4*k - l*u - 25, k - 58 = 2*u. Suppose -3*a = -7*n + 4*n - k, 0 = -4*n. Is a a multiple of 4?
True
Let d(l) be the second derivative of 5*l**4/3 - l**3/3 + 7*l**2/2 + 15*l. Does 39 divide d(3)?
False
Let o = -170 + 238. Let c = o - 28