10 divide t?
True
Let s(w) = 31*w**3 - 2*w**2 - 16*w + 5. Is 13 a factor of s(4)?
False
Let t be 90/3*(5 + -4). Let w(n) = -t*n + 63*n + 6 - 30*n. Is w(5) a multiple of 4?
False
Suppose -41*o - 300 = -36*o. Let k = o + 164. Is k a multiple of 7?
False
Suppose 33 = 2*y + 7. Suppose -y*k - 180 = -19*k. Is k a multiple of 10?
True
Let l = 1414 - -840. Does 98 divide l?
True
Let g = 4 - -6. Let m(o) = 29*o - 7. Let h be m(-5). Is h/g*(-20)/8 a multiple of 18?
False
Let d(t) = 4*t**2 + 9*t + 24. Let f be d(-8). Let s = f + -128. Is 8 a factor of s?
True
Let o = 61 - 64. Is 6*32/(-1)*5/o a multiple of 16?
True
Suppose 5*o + 91 = 281. Suppose 4*d - 5*d = -o. Suppose -2*h + d = 3*i, 3*h - 2*i - 76 = 3*i. Is 5 a factor of h?
False
Let y = 135 + 138. Does 13 divide y?
True
Let z be (6*(-2)/(-8))/((-3)/(-44)). Is 1534/8 + (2 - z/8) a multiple of 13?
False
Let s(q) = 68*q - 244. Is 22 a factor of s(12)?
True
Suppose 0 = -4*a - 117 + 25. Let d = a + 61. Suppose -w + 10 = 5*g, w - d = g + g. Does 15 divide w?
True
Suppose 35*w - 19*w - 11968 = 0. Does 10 divide w?
False
Let u(o) = 5*o**2 + 15*o + 4. Is 5 a factor of u(-6)?
False
Let s be 34 + (-1 + 1)*(-1)/2. Suppose 6*j - s - 62 = 0. Is j a multiple of 4?
True
Let x = -161 - -205. Is x a multiple of 2?
True
Suppose -11*c - 3 = -12*c. Let r be 8/c*(66 + 6). Suppose -f + r = 5*f. Is 27 a factor of f?
False
Let k = 294 + -262. Is 8 a factor of k?
True
Let k(w) = -25*w**3 + 6*w**2 - w - 2. Does 55 divide k(-2)?
False
Let d(z) be the first derivative of 13/2*z**2 + 9*z - 4*z**3 - 6 - 1/4*z**4. Does 3 divide d(-13)?
True
Let t(k) = -3*k**3 + 15*k**2 + 14*k - 16. Let m(i) = 7*i**3 - 30*i**2 - 29*i + 33. Let j(h) = 4*m(h) + 9*t(h). Suppose n + 25 - 11 = 0. Does 11 divide j(n)?
True
Let m(i) = -579*i**2 + 7*i - 4 + 291*i**2 + 287*i**2. Suppose -1 = l + 3*j, 0 = 2*l + 3*l + 2*j - 21. Is 6 a factor of m(l)?
True
Let k(f) = f - 6. Let t be k(6). Let c(q) = q - 13*q + 6 + t*q + 0. Is 14 a factor of c(-4)?
False
Let b = 2126 - 1400. Is 30 a factor of b?
False
Let a = -70 - -76. Suppose -4*l + 2*t + 434 = 0, 2*l + 4*t = -2*l + 428. Is 8 a factor of a/21 - l/(-14)?
True
Let r(m) = 24*m + 1. Let q be r(1). Let g = -21 + q. Suppose 0*f + g*f - 84 = 0. Is 5 a factor of f?
False
Let b(g) = -291*g - 358. Is 19 a factor of b(-8)?
False
Suppose 0 = 5*b + 2*a - 26800, -87*b = -85*b + 5*a - 10699. Does 17 divide b?
False
Let d = 12 + -4. Let i(x) = 3*x**2 - 20*x + 11. Is 14 a factor of i(d)?
False
Let m(s) = -12*s - 27. Let t be m(-9). Suppose -2*c = -267 + t. Is 17 a factor of c?
False
Let a = 759 - 180. Does 12 divide a?
False
Let s be 3*12/(-9) + 361. Suppose 0*k + 7*k = s. Is 17 a factor of k?
True
Let s be 1/(22/(-6) - -4). Suppose -2*y + 10 = -0*p + 3*p, -s*y + 16 = 5*p. Suppose -5*q - 35 + 222 = 4*f, y*f = q - 43. Is 13 a factor of q?
True
Suppose -5*u = -5*c + 6940, 5*c - 2*u - 9652 = -2724. Is 7 a factor of c?
False
Suppose 2487 = 2*s + y, 25 = 4*y + y. Is s a multiple of 6?
False
Let t = 27 - 21. Suppose -12 - 12 = -t*m. Does 3 divide m?
False
Let d(y) = -35*y**3 + 5*y**2 + 8*y - 4. Does 14 divide d(-2)?
True
Let d = -82 + 127. Is 5 a factor of d?
True
Let u be (-8)/10 + 114/5. Suppose -u = -2*t + t - 2*o, -26 = -t - o. Suppose -2*g - 5*c - 11 = -0*g, -5*g - c + t = 0. Is 7 a factor of g?
True
Let v be 695/10 - (-3)/6. Let u = v + -42. Is u even?
True
Suppose 0 = -3*a + 3*m + 2615 + 973, 1199 = a + 2*m. Is a a multiple of 21?
True
Suppose -5*f - 4*o + 2*o = -78, -3*f + 58 = 4*o. Let d(w) = w**2 - 12*w + 4. Is d(f) a multiple of 31?
False
Suppose 2*j = -3*w + 4, 3*j = j - w. Does 10 divide j*3*(-469)/21?
False
Let q = 393 - 133. Let o = q - 135. Is o a multiple of 29?
False
Suppose 2*a + 2*a + 176 = 0. Let z = -70 - a. Is -2 - (-3)/((-6)/z) a multiple of 3?
False
Let f = 3 + 0. Suppose f = 3*w - 30. Suppose o - 15 - w = 0. Is 12 a factor of o?
False
Let i(a) = -a**3 + a**2 + a - 9. Let g be i(0). Let n = g + 15. Let k = n - 3. Is 2 a factor of k?
False
Suppose 4*q = 8*q - 40. Let y(z) = z**3 - z**2 + 49. Let p be y(0). Let w = p - q. Does 13 divide w?
True
Suppose 12 = 3*l - 5*x - 4, -2*l + x + 6 = 0. Suppose 4*t + l*r = 402, 2*r + 3*r - 123 = -t. Is 12 a factor of t?
False
Let x = -56 + 188. Suppose -3*z - 2*c = -0*z - 109, -4*z = -4*c - x. Is z a multiple of 9?
False
Let q(z) = -z**3 + z**2 + z + 90. Let h(o) be the second derivative of o**5/20 - 5*o**4/12 - o**3 - o. Let f be h(6). Is q(f) a multiple of 32?
False
Suppose 15*b - 2365 = 995. Is 32 a factor of b?
True
Suppose 2*p - 898 = -5*z, 0*p = -3*p + 3*z + 1368. Let x be p*-2*(-5)/(-20). Let v = x - -335. Is 27 a factor of v?
True
Suppose -11*a - 3 = -12*a. Let h(k) = 3*k + 2. Is h(a) a multiple of 6?
False
Let g = 16 + -8. Suppose 2*o + 3 = 5*o. Is ((-30)/g)/(o/(-8)) a multiple of 15?
True
Suppose 5*x + 4*h = 54, -8*x + 4*x = h - 41. Suppose x = p + 4*o - 22, o + 17 = p. Does 5 divide ((-6)/4 - -2)*p?
True
Let t = -237 - -577. Does 5 divide t?
True
Is 183/2*(29 + (-18 - -3)) a multiple of 17?
False
Suppose 3*g - 128 = 6*g + f, 228 = -5*g + 2*f. Let b = -11 - g. Is 11 a factor of b?
True
Let h = 100 + -106. Does 8 divide 4/h + (3 - 407/(-3))?
False
Let w = 3305 - 891. Does 11 divide w?
False
Suppose 0 = 4*s - 4*o + 28, -5*s - 4*o + 2 = 1. Does 34 divide ((-34)/s)/(1/9)?
True
Let p(o) = -10*o**2 - 9*o + 11. Let v be p(3). Let t = v - -134. Does 5 divide t?
False
Suppose j - 5*y = 232, -j + 18*y = 21*y - 256. Is 18 a factor of j?
False
Suppose 0 = 3*j - 4*j - 48. Does 20 divide (-3354)/j - 2/(-16)?
False
Suppose 0 = -3*i + 4*c + 4308, -1491 + 57 = -i + 2*c. Does 91 divide i?
False
Let r be 6/33 - (-2)/(-11). Suppose r = 3*a - 9 - 33. Is 5 a factor of a?
False
Let q(c) be the first derivative of -71/2*c**2 + 6 + 0*c. Is q(-1) a multiple of 12?
False
Suppose h = 4*h - 60. Let b = 43 - h. Is b a multiple of 7?
False
Suppose 11*o = 3*o + 1376. Does 17 divide o?
False
Suppose 0 = 5*y - h - 0*h - 871, 3*y - 3*h - 525 = 0. Let s = y + 50. Does 58 divide s?
False
Let m be (128/10)/(10/175). Suppose 3*d = 4*s - m, -3*s - d - 13 + 181 = 0. Let n = s + -24. Does 18 divide n?
False
Let z(t) be the first derivative of -t**4/4 - 16*t**3/3 + 15*t**2/2 + 15*t - 5. Is 5 a factor of z(-17)?
False
Let w(z) = 201*z + 23. Does 48 divide w(1)?
False
Let r(z) = z**3 - 6*z**2 - 2*z + 8. Let t be r(6). Is t/(2 - 0) - -17 a multiple of 3?
True
Let r = 2 - 3. Let v be -1 - r/((-3)/(-15)). Suppose 4*m = v*i - 96 + 4, 2*i = 3*m + 41. Does 7 divide i?
True
Let u be (2/(-6))/(3/(-27)). Let i(y) = 3*y**3 - 4*y**2 + y - 4. Let d be i(u). Suppose 0 = n - 3*n + d. Is n a multiple of 11?
True
Let o(x) = -99*x**2 + 35*x**2 + 166*x**2 + 11*x**2 - x + 0*x. Let z = 3 - 4. Does 17 divide o(z)?
False
Let w(h) = -2*h + 13*h**2 - 15*h**3 + 14*h**3 + 9*h + 11. Does 6 divide w(13)?
True
Let r(c) = -2*c. Let t be r(3). Let p = t - 3. Is 18/1*p/(-27) a multiple of 3?
True
Let j be (4 - -3) + (0 - -1). Suppose b = 10 - j. Suppose -b*d + 44 = 3*u, -2*u = u. Is d a multiple of 17?
False
Let v be 0 + (4 + -2)*1. Suppose 4*b - 109 = -2*z - z, v*z = -b + 81. Does 9 divide z?
False
Let k(a) = 2*a**2 + a + 24. Let s be -2 - 0 - (-2 + 0). Does 12 divide k(s)?
True
Let f = 2259 + -150. Is 37 a factor of f?
True
Let q = 60 + 4. Is 22 a factor of q?
False
Let h = 12 - -54. Does 22 divide h?
True
Suppose -6*s + 5 = -s, -3*a = -5*s - 955. Is a a multiple of 10?
True
Suppose 0 = -3*o - 41 - 4. Is 138*(o/6 - -3) a multiple of 23?
True
Let d = 2587 - 1932. Is 7 a factor of d?
False
Let v = -6 - -12. Let d(h) = -h**2 - h - 1. Let p(q) = 8*q**2 + 2*q + 4. Let l(a) = v*d(a) + p(a). Is l(5) a multiple of 23?
False
Suppose 45*l + 30720 = 55*l. Is l a multiple of 13?
False
Let k(p) be the second derivative of 1/2*p**2 + 0 - 7/6*p**3 + 5*p. Is k(-3) a multiple of 15?
False
Suppose 2*s - 266 = p + 590, -3*s = 2*p - 1291. Does 11 divide s?
True
Let b be 1 + (6 - 4) - 3. Let z(g) = g**2 - g + 36. Is z(b) a multiple of 5?
False
Let p = -79 - -84. Suppose 132 = v - p*u, 2*v + 207 = 2*u + 503. Is v a multiple of 19?
True
Suppose 2*i - 84 = 104. Is 47 a factor of i?
True
Let a = 4611 + -2593. Does 37 divide a?
False
Suppose 9 = 5*a - 26. Suppose 0 = 3*x - 26 - a. Is 14 a factor of 700/22 - (-2)/x?
False
Suppose 485 = p - 12*m + 7*m, -4*m - 