a multiple of 6?
True
Suppose 864 = -46*u + 55*u. Does 24 divide u?
True
Let r = -2099 - -3804. Is 16 a factor of r?
False
Suppose 0 = 18*u - 42*u + 33888. Is u a multiple of 5?
False
Let t(p) = 27*p - 59. Does 46 divide t(9)?
True
Let l be 8 + 9/(-3) - -321. Let j = -152 + l. Does 12 divide j?
False
Does 4 divide -2*(0 - 1) - -255?
False
Suppose -4*u - 17*w + 286 = -20*w, -5*w = -5*u + 360. Does 2 divide u?
True
Let p(b) = 15*b**3 + b**2 + 3*b + 2. Let f be p(-2). Let h be -1*(-5)/5 - f. Let d = h - 61. Is 17 a factor of d?
False
Let j = -207 - -292. Is 2 a factor of j?
False
Let o = -868 - -1514. Is o a multiple of 19?
True
Let s = -5 + 15. Let i = s + -17. Let b = 12 + i. Is b a multiple of 2?
False
Suppose 0 = 2*p - 5*k - 6, -3*p + k - 5 + 1 = 0. Is (15 + p - -1) + -2 a multiple of 2?
True
Let z = -39 - -44. Suppose -6*p = -p + b + 192, -z*p + 3*b = 204. Let x = 51 + p. Does 7 divide x?
False
Let a(l) be the third derivative of l**6/120 + 7*l**5/60 - l**4/6 - 7*l**3/6 - l**2. Let s = -32 - -25. Is 21 a factor of a(s)?
True
Let y = -165 + 138. Let f(l) = l**2 - l + 5. Let w be f(-6). Let i = y + w. Is i a multiple of 10?
True
Let l(d) = 3*d**2 + 11*d + 2. Let k = 4 + -12. Let j be l(k). Let s = j - 70. Is 11 a factor of s?
False
Let c(f) = -f**2 + 18*f - 13. Let g be c(6). Let m = -39 + g. Is m a multiple of 5?
True
Let r be 973/3 - (-10)/15. Suppose 2*z - r = -4*y - z, 5*z - 145 = -2*y. Is 17 a factor of y?
True
Suppose -2 = x - 5. Suppose 38 = x*o - 79. Is o a multiple of 21?
False
Let g(k) be the first derivative of -1/4*k**4 + 8/3*k**3 - 5/2*k**2 + 0*k + 7. Is 14 a factor of g(7)?
True
Suppose -4*i + 2 = -14. Does 17 divide 86/2 + (1 - i)?
False
Suppose -905 = 4*s - 3185. Is s a multiple of 15?
True
Let f(c) = c**2 - 9*c - 29. Let r be f(-10). Let g = -62 + r. Is 19 a factor of g?
False
Let r(v) = -27*v + 3. Let z be r(4). Let f = z - -167. Is f a multiple of 5?
False
Let a be -4*((-485)/20 + 0). Suppose a = 2*m - 133. Is m a multiple of 39?
False
Suppose 3*k + 2*l = 3729, 6*l + 11 = -7. Does 5 divide k?
True
Suppose -21*x = -16*x - 2*n - 145, 5*x = n + 140. Is 3 a factor of x?
True
Let s = 2 + 2. Suppose 4*q + 201 = -583. Is (q/(-16) - -3)*s a multiple of 20?
False
Let o = 9 - 4. Suppose 0 = -o*v - 0*v. Suppose -2*z = -2*j - 104, v = -4*z - 0*z + 2*j + 216. Does 14 divide z?
True
Suppose -2*y - 3*y + 20 = 0. Suppose 232 = y*u - 24. Is u/1 - 0/(-2) a multiple of 19?
False
Let d be (-5)/(4/(0 + -4)). Suppose -3 = q, -d*i + 0*i - 4*q + 488 = 0. Does 25 divide i?
True
Suppose -51*g + 55*g = 2924. Is 28 a factor of g?
False
Is (-6 - -7)/(1/388) a multiple of 13?
False
Let b(r) = r**2 + 17*r + 43. Let i be b(-22). Suppose -i*z + 156*z = 198. Is 22 a factor of z?
True
Let q be 44 + (-9)/((-9)/4). Let h = 152 - q. Is h a multiple of 13?
True
Suppose -5091 = -3*w + 2*m - 7*m, 4*w - 6799 = -3*m. Does 14 divide w?
False
Let n(x) = 9*x**2 + 16*x + 36. Does 49 divide n(-7)?
False
Let r(s) = s**3 - 9*s**2 + 7*s + 11. Let n = -7 - -15. Let j be r(n). Suppose -j*k + 5*k = 32. Is 4 a factor of k?
True
Let w be 3 - (6/(-3) - 0 - 247). Suppose -w + 1188 = 4*m. Is m a multiple of 13?
True
Does 41 divide 820*(-6)/(-6) + 0?
True
Let k be (-2)/4*(13 - 67). Let l = -27 + k. Suppose -p + 5 = f - 2*p, l = -2*f + 5*p + 1. Is 3 a factor of f?
False
Suppose -3*r + 32 = 5*r. Suppose 0 = 5*s - 4*b - b - 30, -b = r*s - 49. Does 4 divide s?
False
Is 18 a factor of -12*-46*2/8?
False
Let c = -69 - -73. Suppose q + w = 3*q - 14, 5*w = -c*q. Does 2 divide q?
False
Suppose -68 = -5*y - 2*j, 5*y + 0*j = j + 71. Let v be -6 - -9 - y/(-1). Suppose 0 = 5*r - d - 108, r - v = 2*d + 10. Does 6 divide r?
False
Let p(h) = -17*h**3 + h**2 + h + 1. Let o be p(-1). Suppose 9*a - 18 = o. Is a a multiple of 4?
True
Let w(z) = 23*z - 16. Is w(5) a multiple of 15?
False
Let f = 53 + -59. Let g(y) = -y**3 - 5*y**2 - 2*y - 4. Does 5 divide g(f)?
False
Suppose 3*z + 5*p = 416, -4*z - 3*p + 294 + 246 = 0. Is 18 a factor of z?
False
Does 65 divide (-7)/2*3900/(-35)?
True
Suppose 4*q + 42 = r, 3*r - 81 = -q + 6. Let k = 6 + r. Does 9 divide k?
True
Let t be 2/(6/2 + 1780/(-594)). Suppose 110 - t = -4*j. Is j a multiple of 37?
False
Suppose 0 = f + f - 58. Let n = f - 26. Suppose -4*d - 28 = -4*j, -d - 23 = -n*j + d. Is j a multiple of 3?
True
Is 6 a factor of 8/3 - 542/(-6)?
False
Suppose 13*m = 24065 - 5033. Is m a multiple of 24?
True
Does 56 divide ((-534)/(-6) - 7)*(-140)/(-5)?
True
Suppose 3*k - 3 = -5*v + 1, 5*v = 4*k + 18. Let p be 15/5 + 6/v. Suppose -5*b + p*g - 2*g + 161 = 0, 141 = 5*b + g. Does 13 divide b?
False
Let b(r) = -2*r + 59. Is 8 a factor of b(-14)?
False
Let k(f) = f**3 + 5*f**2 - 6*f + 7. Let x be k(-6). Suppose -9*n + x*n + 68 = 0. Does 5 divide n?
False
Suppose -59 = -2*v - 3*a, 4*v - 5*v + 32 = -a. Let l = -23 + v. Is l a multiple of 7?
False
Let g(d) = -2*d - 36. Let m be g(-16). Is 12 a factor of m/(-10) + 1476*(-7)/(-70)?
False
Does 7 divide -5*1 + 8/(8/201)?
True
Suppose 2*r = -4*n + 8, 5*n = -2*r + 6 + 3. Suppose 0 = -r*t - v + 67, -2*t - 4*v = -43 - 33. Does 16 divide t?
True
Let a(c) = c**3 - 4*c**2 + 4*c - 4. Let i be a(4). Let m(y) = -14*y + 2 - 3 - i*y. Does 16 divide m(-2)?
False
Let y = 516 - 479. Does 37 divide y?
True
Let z(f) = 5*f**2 + 3*f + 1. Let i be z(-2). Suppose 0 = -3*r + 3*x + 27, 4*r + 3*x - 36 = x. Let g = i - r. Is 3 a factor of g?
True
Let w(h) = 16*h**2 - h + 7. Does 27 divide w(-4)?
False
Suppose 3*x = -1 + 10. Suppose x*q - 4 = q. Is 2 a factor of q?
True
Let b = 4 + 0. Suppose 8*y - b = 6*y. Suppose -a = 3*g - 41, -y*g - a + 2*a = -34. Does 4 divide g?
False
Let w(j) = j**2 + 29*j + 44. Is 8 a factor of w(-35)?
False
Suppose 5*v - 1273 = -6*r + 2*r, 3*v - 5*r - 749 = 0. Is v a multiple of 18?
False
Suppose 0 = 9*x - 14*x. Is 10 a factor of 3 - (1 + x) - -13?
False
Suppose 0 = -4*x + 4, 3*w - x = -3*x + 266. Suppose w = g + 3*t, 3*g - 3*t - 229 = -5*t. Is 11 a factor of g?
False
Suppose 0 = k + 2*h - 106 - 516, -3*k - 2*h + 1858 = 0. Does 6 divide k?
True
Suppose -14 = -2*w - 2*m, -3*w + 2 = -3*m - 1. Suppose 2*p = -5*r + 87, -4*r - 162 = -4*p - 2*r. Suppose -w*i + 35 = -p. Is i a multiple of 15?
False
Suppose -5*f + 679 = -286. Does 41 divide f - (-2 + (-2 - -4))?
False
Suppose 0 = 2*t - 8*t - 336. Let z = -20 - t. Is z a multiple of 12?
True
Suppose 28*o - 26*o = 300. Does 3 divide o?
True
Let b(m) = -m**2 - 9*m + 26. Let p be b(-11). Suppose d + 10 = -d. Is d/((-3)/(72/p)) a multiple of 9?
False
Let n(u) = u**3 - 5*u**2 - u + 3. Let m be n(5). Let q(c) = 24*c. Let g be q(m). Let h = g + 70. Does 5 divide h?
False
Let z(w) = -w**2 - 2*w + 5. Let b be z(6). Suppose -5*q = 2*k - 375, 10 = -q - 2*k + 93. Let r = q + b. Is r a multiple of 10?
True
Let w(i) = -12*i**3 - 4*i**2 + 11*i - 4. Is w(-4) a multiple of 41?
True
Let a(u) = -u**3 - u**2 + 2*u + 3. Let d be a(-2). Suppose -3*o + d*s + 2*s = -53, s = 4*o - 65. Is 8 a factor of o?
True
Suppose 4*c - 52 = -3*b + 2*b, 5*c = 3*b + 48. Let z(n) = -n**2 + 13*n + 16. Is z(c) a multiple of 26?
False
Suppose 3*b - 48 - 35 = -5*x, -29 = -b - 2*x. Is b a multiple of 2?
False
Let m be (8/24)/(1/9). Let t(s) = s + 2*s - m + 0*s + 2. Does 3 divide t(5)?
False
Let x(j) = j + 2*j - 2*j + 4*j. Is x(2) a multiple of 3?
False
Let m(w) = -w**3 + 2*w**2 + 2*w + 3. Let z be m(3). Suppose 3*k - 2*p = 3, p + 9 = 4*k - z*p. Suppose -k*c - 260 = -8*c. Does 9 divide c?
False
Let i = 1215 - 698. Does 10 divide i?
False
Let y be 10 + 3/(-1 - 2). Let v(a) = 3*a + 2*a - 3*a - 5 - 1. Is 6 a factor of v(y)?
True
Suppose -114 = 15*x - 17*x. Let r = x - 23. Does 5 divide r?
False
Suppose 714 = 2*y - 3*d - 1803, 0 = y - 3*d - 1257. Does 21 divide y?
True
Suppose 5*i + 2*y - 530 = 6*y, 0 = 3*y. Is i a multiple of 44?
False
Is (-3 - 35/(-15))*-1578 a multiple of 93?
False
Does 14 divide ((-8)/(-12))/(2 - (-1005)/(-504))?
True
Let k = 7 - 1. Suppose -k*l = -5*l - 67. Let p = 109 - l. Does 15 divide p?
False
Let y = 162 + -145. Let i(o) = -o - 4. Let f be i(5). Let n = f + y. Is 4 a factor of n?
True
Let m be ((-1)/2)/((-474)/(-96) - 5). Suppose m*k - 4*k = 96. Is k a multiple of 7?
False
Suppose -z + 36 = 3*g - 12, -2*z = 0. Is g a multiple of 6?
False
Suppose a - 28 = -4*u - u, 4*u - 20 = -2*a. Let l(c) = -c**3 + 6*c