of 12?
False
Let j be ((-19)/38)/((-1)/10). Suppose 0 = -x + v + 16, j*x - x - 62 = 5*v. Is x even?
True
Let w be 3 - 1*(-2)/2. Suppose -17 + 5 = -y - 5*l, w*y - 18 = -5*l. Suppose -6*q = -y*q + d - 122, 40 = q + 5*d. Is 15 a factor of q?
True
Suppose 0 = -5*o - 2*l + 3507 + 445, 4*l = -5*o + 3944. Is 72 a factor of o?
True
Suppose 0*a - 13*a + 12935 = 0. Is 16 a factor of a?
False
Let f(a) = 22*a**3 + a**2 + 7*a - 7. Does 16 divide f(2)?
False
Is 99/(-198) - (-993)/2 a multiple of 28?
False
Let u be 6/(-10) - 2723/(-5). Suppose -u = -5*m - 3*k + k, 3*m = 2*k + 320. Does 36 divide m?
True
Let y(i) be the third derivative of -i**4/24 - i**3/2 - 6*i**2. Let n be y(-11). Suppose -n*r + 3*r + 110 = 0. Is r a multiple of 15?
False
Let v(f) = -5*f**2 + 6*f - 1. Let x be v(5). Let n be 26124/(-180) + 2/15 + 1. Let r = x - n. Does 16 divide r?
True
Suppose 6 = -2*w, 2*t + 0*w + 2*w + 2 = 0. Suppose 0 = -5*d + t*d + 216. Is d a multiple of 18?
True
Let a be (-12)/(-48) + (-1243)/(-4). Suppose 4*b = 5*p - a, -2*p - b - 3*b = -130. Does 21 divide p?
True
Suppose 18*o = 12022 - 934. Is 11 a factor of o?
True
Does 16 divide 3/(-9)*6/(-1) - -2208?
False
Let i be 228/5 - 15/25. Is 20 a factor of (-305)/i*-3 - 1/3?
True
Let s(t) = 2*t + 1 - 6 + 2. Let a(g) = 3*g - 4. Let f(i) = -4*a(i) + 5*s(i). Is 3 a factor of f(-6)?
False
Suppose u - 110 = 4*c, -2*u + 220 = 21*c - 26*c. Does 6 divide u?
False
Let c(f) = 3*f + 95*f**3 - 99 + 3*f**2 - f**2 + 95. Is c(1) a multiple of 32?
True
Let x be (-6)/(-2)*1/3. Let l be 1 + x + (25 - -5). Suppose -5*m - t + l = -280, -5*m - 3*t = -306. Does 19 divide m?
False
Is (-125 - (-30)/6)*-3 a multiple of 18?
True
Let c(m) = -2*m + 14. Let y be c(16). Is 3 a factor of (y/(-3) - 0) + 1?
False
Let j = -13 + 6. Let x(u) = -u + 7. Let t be x(j). Let p = 70 - t. Does 16 divide p?
False
Suppose 5*d = 4*w + 65 - 9, w = 5*d - 44. Suppose -4*m - 5*j = -241, 3*j - d - 223 = -4*m. Does 4 divide m?
False
Let i = 52 - -109. Is i a multiple of 12?
False
Suppose 5*r = 5*w - 90, 0 = 6*w - 2*w + 3*r - 72. Suppose -y - w = -4*y. Suppose h = -4*c + 17, c = -h + 14 + y. Is 21 a factor of h?
True
Suppose 2*x = 4*j - 0*j - 5414, 3*j + x = 4058. Is 41 a factor of j?
True
Let o = -1 + 5. Suppose 2*k - 5 = -o*q + 1, q - 7 = 5*k. Let h(p) = 4*p + 1. Is 7 a factor of h(q)?
False
Let r(k) = k**2 - 7*k + 5. Let j be r(2). Let v(c) be the first derivative of -2*c**2 - 14*c + 2. Is v(j) even?
True
Suppose -89*w = -86*w - 810. Is w a multiple of 15?
True
Let n(p) = 4*p + 83. Let v be n(-12). Suppose 0 = 7*t - 98 + v. Is 9 a factor of t?
True
Let i be (14/28)/((-2)/(-12)). Suppose 5*q - 596 = -i*m + 2*m, 476 = 4*q + m. Does 24 divide q?
True
Suppose -3*f + 332 = 4*m - 513, 2*m = -f + 285. Suppose -4*d = d - f. Is d a multiple of 11?
True
Is 12 a factor of ((-300)/108*3)/((-1)/51)?
False
Let q = -832 - -2115. Is q a multiple of 12?
False
Suppose 3*m = 381 - 120. Is 6 a factor of m?
False
Let g = -1830 + 2989. Is g a multiple of 34?
False
Let k(a) = -a**3 + 4*a**2 + 3*a - 2. Let b be k(4). Suppose 9*c = b*c - 11. Suppose 8*m - c*m = -48. Is m a multiple of 8?
True
Let u(r) = 11*r**2 + 1. Let y be u(1). Suppose -66 = -y*c + 10*c. Is c a multiple of 11?
True
Let h = 397 - 141. Does 16 divide h?
True
Let m be (1 + -3)/(8/(-348)). Let r be m/(-6) + 3/(-6). Let a = r - -19. Is a even?
True
Is 10 a factor of 21/147 - 5410/(-7)?
False
Suppose -91 = -2*j + 69. Is j a multiple of 8?
True
Let s(w) = -w**3 + w**2 - 3*w + 316. Does 37 divide s(0)?
False
Suppose -2*w - 15 = 3*w. Let p be (-26)/((w + 1)*1). Let m = p - -31. Does 12 divide m?
False
Let i = -8 + 13. Suppose -p + n + 1 = 0, 3*n - i = 2*p - p. Let o(x) = 12*x + 1. Does 24 divide o(p)?
False
Suppose 2*t = f + 7, -2*t - 3*t - 5*f = -10. Suppose 5*r + 77 = 4*a, t*a + 2 = 2*r + 58. Is 18 a factor of a?
True
Let j(n) = -n**3 - 5*n**2 + 6*n + 5. Let r = 58 - 15. Let i be r/(-6) - (-8)/48. Is 24 a factor of j(i)?
False
Let l = -12 + 16. Suppose -16 = k + p, -3*p + l = k + 2*p. Let w = 27 - k. Does 17 divide w?
False
Let k(q) = 4*q - 6. Let c be k(2). Let p be c/6 + 312/9. Let b = p - -1. Is b a multiple of 13?
False
Suppose 4*v = -3*r + 195 + 364, -5*r = v - 127. Suppose v = 3*q - 227. Is q a multiple of 25?
False
Suppose -12*f - 157 + 385 = 0. Suppose f*v - 660 = 14*v. Is v a multiple of 33?
True
Let i = -1102 - -1846. Does 8 divide i?
True
Suppose -f + 941 = 3*u - 301, 0 = 5*u + 5*f - 2070. Is u a multiple of 18?
True
Suppose -5*i = 15, -4 = -5*s + 3*i - 0. Let o be (s + 1)/((-3)/3). Does 18 divide (-7 - (-3 - o))*-7?
False
Let u be (-10)/4*30/25. Let h = 5 - u. Is h a multiple of 8?
True
Let d(b) = 312*b**2 - 32*b + 32. Is d(1) a multiple of 4?
True
Suppose -8*s + 3*s = 55. Let q be s/(-33)*(-30)/(-2). Suppose 0*b + 224 = q*i - 3*b, 2*i + 5*b - 102 = 0. Is i a multiple of 23?
True
Let i(g) = -g**3 - 8*g**2 + 7*g - 13. Let s be i(-9). Suppose -4*o + 294 = w, -s*o - w + 429 = 61. Does 15 divide o?
False
Let z = 17 - 28. Let q = 13 + z. Is 26 a factor of q + -8 - -4 - -88?
False
Let q be 2/4*2 - -2. Let g(s) = -7 + 1 - 21*s + 2 + q. Does 10 divide g(-1)?
True
Let x(t) = -t**3 + 6*t**2 + 9*t - 9. Let v be x(6). Suppose 20 = -5*k - v. Let u = k - -55. Does 14 divide u?
True
Let a(b) = 32*b**2 - 2*b. Let j be a(-2). Let w = j + -52. Suppose w = 3*g + 2*g. Is g a multiple of 7?
False
Suppose -x + 4*a - 12 = -2, 4*a + 14 = -3*x. Let i(y) = y**2 - 2*y + 10. Let l be i(x). Suppose 0 = -3*s + l + 104. Is s a multiple of 18?
True
Suppose -7*h = -9*h - 2*s + 1294, 4*h = 4*s + 2564. Does 46 divide h?
True
Let l(f) = 20*f - 11. Let o(g) = 21*g - 12. Let p(a) = 6*l(a) - 5*o(a). Does 45 divide p(9)?
False
Let f = 14 - -6. Suppose -6*z = -f - 820. Suppose o + 3*x + 5 - 20 = 0, 2*x - z = -5*o. Is o a multiple of 10?
True
Suppose -b = -18 + 12. Suppose 6*x - 348 = -b*x. Is 13 a factor of x?
False
Let z = -76 + 126. Suppose -3*l + 5*o - z = -158, 2*l - 88 = -2*o. Suppose -y = 6 - l. Does 7 divide y?
True
Suppose 0 = 25*k + 504 - 2429. Is k even?
False
Let f(j) = -j**2 - 6*j - 5. Let t be f(-6). Is 1/((-2)/t - 147/405) a multiple of 3?
True
Suppose -2*c - s = -2413 + 340, -4*c + 4136 = 4*s. Does 9 divide c?
False
Let l(k) = k**2 - 4*k + 7. Let c be l(5). Let x = c - -24. Is x a multiple of 6?
True
Let z = 26 + 29. Suppose 0 = -5*q + l + z + 31, 3*l - 14 = -q. Suppose 20*x = q*x + 162. Is x a multiple of 15?
False
Let l = -12 - -18. Let z = l - -54. Does 20 divide z?
True
Let k(r) = 3*r - 67. Let c be k(21). Let p(w) be the first derivative of -w**4/4 - w**3 - 3*w**2/2 + 2*w - 1. Does 10 divide p(c)?
True
Suppose -1 = -2*x + 7. Is 1 + (x - (-3)/(-3) - -76) a multiple of 9?
False
Suppose 3*r + 5*k + 12 = -r, 5*k = -r - 18. Suppose 4*c - 3 = -3*g, -5*c - 3*g + 8 = r. Let a = c - -6. Is 3 a factor of a?
True
Suppose 3212 - 1072 = 10*f. Let g = -84 + f. Is 13 a factor of g?
True
Let x(j) = 10*j**2 - j - 7. Let z(h) = -7*h - 11. Let f be z(-2). Is 8 a factor of x(f)?
True
Suppose 5*u - 5*k - 600 = 0, -20 = -5*k + k. Let o = -20 + u. Does 10 divide o?
False
Let b(u) = -2*u**2 - 144*u - 181. Is b(-66) a multiple of 44?
False
Let b(q) = q**3 - 8 - 1 - q**3 - 6*q**2 + q**3 - 5*q. Let f be b(7). Suppose f*a - 28 = 3*a. Is a a multiple of 7?
True
Is 56 a factor of 6/(-9) - 3028/(-6)?
True
Suppose c - 46 = -u, -8*c = -5*u - 11*c + 234. Let b = 12 + u. Is b a multiple of 15?
True
Let i(p) be the first derivative of 1/4*p**4 - 7*p + 7/3*p**3 - 3/2*p**2 - 3. Is 13 a factor of i(-5)?
False
Let m = -382 + 942. Is 86 a factor of m?
False
Suppose 0 = -110*s + 116*s + 126. Is 2272/112 - (-3)/(s/2) a multiple of 6?
False
Let i be -1 - 1*(-3 - -6). Let j(s) = 4*s**2 + 2*s + 5. Does 12 divide j(i)?
False
Let n = 50 + -38. Is 8 a factor of 1 + 998/n - (-2)/(-12)?
False
Suppose 5*f + 3*w = w + 340, -4*w = -20. Suppose -m - 3*m - f = -u, -m = 4*u - 196. Is 20 a factor of u/3*144/40?
True
Suppose -5*m + 3 - 8 = 0. Let d(b) be the first derivative of -11*b**4/2 + b**2/2 + b + 2. Is d(m) a multiple of 11?
True
Let v(h) = 19*h**2 - h + 2. Let k be v(2). Let j be (53 - -3)*((-63)/(-14) + -3). Suppose -4*c + k = -j. Is c a multiple of 20?
True
Suppose -3*p - 8 = -5*p. Let z(d) = -d**2 + 4*d + 4. Let w be z(p). Suppose -112 - 152 = -w*t. Is t a multiple of 33?
True
Let