ltiple of 3?
False
Let k be (2/2 - 242/1) + 2. Is 2 - k - (-5 + 1) a multiple of 49?
True
Let o(a) = 2*a - 5. Let y be o(6). Suppose -206 = -y*n + 5*n. Does 21 divide n?
False
Let f(q) = 4*q**2 - 10*q + 11. Let r be f(5). Suppose r = 8*i - 299. Is i a multiple of 5?
True
Let p be (-8)/(-36) + 6728/18. Suppose p = 5*y + 4*z, 5*y - z - 373 = -4*z. Is y a multiple of 21?
False
Let d(k) be the third derivative of k**4/24 + 3*k**3 - 4*k**2. Let m = -4 + -10. Is d(m) even?
True
Let n = 430 - 38. Does 20 divide n?
False
Suppose 2*z + m - 353 = 520, -4*z + m + 1731 = 0. Is 31 a factor of z?
True
Suppose 2*n + 7 = i, 4*n = 3*i + n - 12. Suppose -1 = v, v + i = 2*z - z. Suppose z*o + 19 = o. Is 19 a factor of o?
True
Let j be ((-12)/(-8) - 2)*-10. Suppose 4*y + 150 = 5*y + 3*u, 0 = j*y + u - 806. Is 15 a factor of y?
False
Let a be ((-4)/(-22) - 483/(-66))*4. Is 4 a factor of (-32)/(-10)*a/3?
True
Let u = 28 + -13. Let d = u - 20. Is 5 a factor of (2 + -3)*d*1?
True
Let t be 4 - 1/((-4)/(-8)). Let r(j) = 7*j + 3*j**2 - 5*j**2 + 6 + j**t. Is r(6) a multiple of 7?
False
Let i(t) = 2*t + 9. Let c be i(-7). Is 9/((-108)/(-570))*(-4)/c a multiple of 16?
False
Suppose 2*o + o + 21 = 0. Let k = -13 - o. Is 3/k*(-60)/1 a multiple of 8?
False
Let a be ((-540)/(-6))/(2 - (-17)/(-10)). Let z = 483 - a. Is 24 a factor of z?
False
Let d(y) = -425*y + 249. Is d(-7) a multiple of 24?
False
Let i be -3 - 1/1 - -2. Let k be -3 - (0 + i) - -6. Suppose 108 = -3*v + k*v. Does 18 divide v?
True
Let f(n) = -129*n - 1. Let j(g) = -259*g - 3. Let z(a) = 5*f(a) - 2*j(a). Does 16 divide z(-1)?
True
Let i be 7/((-28)/(-6))*12. Let o = 42 - i. Does 15 divide o?
False
Suppose 11*i + 36 = 1026. Is i a multiple of 2?
True
Does 13 divide 3 - -2019*(-8)/(-24)?
True
Let b(g) = 44*g + 4. Does 76 divide b(10)?
False
Suppose 4*g + 112 = 3*r, r + 2*r + 4*g - 128 = 0. Is r a multiple of 10?
True
Let f be ((-4)/(-18))/(7/126). Is 15 a factor of ((-24)/(-20))/(f/(-450)*-3)?
True
Suppose -2*b - 5*b = 140. Does 25 divide (-222)/(-2) - b/5?
False
Suppose 2*o - 2*i - 16 = 0, -35 = -4*o + 9*i - 4*i. Suppose 3*b + 2*k = b + 140, 4*b + o*k = 278. Is b a multiple of 18?
True
Let t(k) = k**3 + 17*k**2 + 12*k - 44. Is t(-12) a multiple of 19?
True
Is 50 a factor of ((-152)/190)/(1/(-545))?
False
Let z(m) = 3*m**2 - 18*m + 27. Let u be z(6). Suppose -5*i = u - 277. Does 5 divide i?
True
Let a = 193 - 82. Suppose -r + 98 = -a. Suppose -4*h = w - 221, 5*h + w - 68 - r = 0. Does 12 divide h?
False
Suppose -2*x - 12 = 16. Is 12 a factor of (-1460)/x - 26/91?
False
Let n(p) = -2*p**2 - 11*p + 2. Let q be n(-5). Is (q/4 + 1)*(-1536)/(-64) a multiple of 6?
True
Let k be (-9531)/54*(-4 - 0). Suppose 2*a + 217 = h + 6*a, -k = -3*h - a. Does 12 divide h?
False
Let v be (4/12)/(2/30). Suppose -3*j + j = -5*s + 472, -j - v*s = 221. Is 11 a factor of 8/(-3)*j/28?
True
Suppose 0 = 4*l + 3*n - 2*n - 898, -5*l + 1124 = 2*n. Is 17 a factor of l?
False
Suppose s = -4*w + 8 - 2, 2*s + w = 12. Suppose 0 = -s*u + 4*u + 96. Does 16 divide u?
True
Suppose 0 = -3*g + d + 13, g = -0*g - 4*d - 13. Let k be (0 + -38 - 0)*-1. Suppose -g*n - 3*u + 82 = u, -n + 4*u = -k. Does 10 divide n?
True
Let a = 1 + 3. Let d be ((-57)/a)/((-11)/88). Does 10 divide 1/2*d/3?
False
Let o(y) = 10*y**2 - 13*y + 75. Is 13 a factor of o(8)?
True
Suppose 3*b - 85*x - 1285 = -90*x, 3*x = 5*b - 2085. Is b a multiple of 14?
True
Suppose -13277 + 43787 = 9*a. Is a a multiple of 15?
True
Suppose -4*q = 21 + 15. Let h be q/(-12) - (-6185)/20. Suppose -5*t + h = 4*p, -p = 3*p. Is 30 a factor of t?
False
Let o(s) = 2*s**2 + 7*s - 1. Let v be o(-4). Suppose 9*t = v*t + 678. Suppose t + 17 = 3*h - 5*a, 2*a + 4 = 0. Is 10 a factor of h?
True
Let u = -265 - -669. Is u a multiple of 23?
False
Let p = 8 + -16. Let a = p + 178. Is a a multiple of 34?
True
Let u be 20/((-6)/((-3)/1)). Suppose -v = -6*t + t + u, 0 = 4*t - v - 9. Suppose k + i = 7, k = 4*i + i + t. Does 3 divide k?
True
Let c be (-2)/(-5) + (-86)/(-10). Let t(h) = 5*h - 21. Let w(u) = -5*u + 23. Let j(n) = 7*t(n) + 6*w(n). Is 9 a factor of j(c)?
True
Let s be (-84)/16 - 5/(-20). Is 7 a factor of (4 + (-144)/10)*s?
False
Let x(s) = -s**2 + 11*s - 3. Let c be x(9). Is (-2)/10 - (-213)/c a multiple of 4?
False
Suppose -2*d + 8 = -2. Suppose -2*b + 14 = x, -3*x = 3*b + d - 29. Is 15 a factor of ((-360)/(-16))/(b/8)?
True
Suppose 4*v = 5*v + 1. Let k(j) = -26*j**3 + 2*j**2 + 2*j + 1. Let w be k(v). Let l = w + -13. Does 3 divide l?
False
Suppose -h = -2*g - 6 - 5, -8 = 4*h + 5*g. Suppose h*c - 526 = 329. Does 20 divide c?
False
Let b(u) = u**3 + u**2 + 13. Let l be b(0). Suppose -3*p = 5*a, 15 + l = a - 5*p. Is a a multiple of 3?
True
Let p = 342 + -285. Is 5 a factor of p?
False
Let j(w) = -3*w - 23. Let p be j(12). Let q = p - -131. Is 8 a factor of q?
True
Let a = 91 - -19. Let y = -44 + a. Is 32 a factor of y?
False
Suppose -2*z - 30 = -2*x, -2*z + 3 + 2 = 5*x. Let g be z/1*(-7)/(-14). Is (1 + g)*(-3 - 0) a multiple of 7?
False
Let b = 5457 + -2307. Does 15 divide b?
True
Let p = -38 - -108. Let y = 101 - p. Does 9 divide y?
False
Suppose 5*m + 25 = 4*h - 0*h, 4*h = 20. Does 13 divide (-4)/(-3) + m + (-492)/(-9)?
False
Suppose -s - s + 4*h = 30, 2*s + 12 = -5*h. Suppose -r = 5*v - 126, -2*r - 65 + 187 = 5*v. Let l = v + s. Is l a multiple of 3?
True
Let d(x) = -x**3 - 11*x**2 + 4*x - 9. Let b be d(-11). Let n = 171 - b. Is n a multiple of 14?
True
Let c(j) = 25*j**3 - 2*j**2 - j - 9. Is c(4) a multiple of 26?
False
Suppose x - 5*s + 2*s = 22, 5*s + 46 = 3*x. Suppose -x*v = -521 + 31. Is v a multiple of 12?
False
Let w = 290 + -199. Suppose -u = 4*b - 144, -4*u - w = -4*b + 33. Is b a multiple of 18?
False
Let o(r) = -r**2 - 6*r - 4. Let l be o(-4). Suppose -l*i + 108 = -0*i. Does 27 divide i?
True
Suppose 3*p + 5 = -4. Let f be (3/2)/(p/(-6)). Is 470/6 - f/9 a multiple of 30?
False
Suppose -5*r = 5*q - 6*r - 176, q + 2*r - 44 = 0. Does 18 divide q?
True
Let x = 77 + 37. Is 50 a factor of x?
False
Suppose i = -2*i + 15. Suppose -3*k + 240 = i*k. Is 5 + -6 - k/(-3) a multiple of 2?
False
Let q be -4*1 - (5 - 8). Let z(p) = 3*p**2 + 1. Let c be z(q). Suppose 0 = -c*v - 10 + 38. Is 2 a factor of v?
False
Let h(c) = -c**3 + 25*c**2 + 171*c - 101. Is 8 a factor of h(29)?
False
Let v(x) = 3*x + 2. Let y(o) = 7*o + 4. Let g(k) = 15*v(k) - 6*y(k). Is g(4) a multiple of 3?
True
Let f = 10 - -110. Let a = f - 94. Does 13 divide a?
True
Suppose -3*q = 0, -3*n + 9*q = 7*q - 330. Does 24 divide n?
False
Does 14 divide ((-672)/60)/(3/(-30) - 0)?
True
Let j = -6 - -392. Is 5 a factor of j?
False
Suppose 0 = -3*c + 4*c - 6. Let r be (-9)/c*(-8)/3. Suppose 0 = -r*a + 2*u + 40, 61 = 5*a + u + 2*u. Is a a multiple of 10?
False
Suppose -7 - 4 = -x. Let v(p) = -p**2 + 9*p + 15. Let f be v(7). Suppose -2*t - x = -f. Does 2 divide t?
False
Suppose 137 = k - 3*m, 0*k - 5*m - 279 = -2*k. Is k a multiple of 8?
True
Let u(k) = k**2 + 6*k - 2. Let i be u(-5). Let p be 1*(i + 4) + 3. Suppose 7*q - 182 - 105 = p. Is 21 a factor of q?
False
Suppose 11*j - 5010 = 490. Is 30 a factor of j?
False
Suppose 0 = -46*s - 0*s + 53038. Is 95 a factor of s?
False
Let o(g) = 5*g**2 - 4*g + 1. Let a be o(-2). Suppose -3*i + 170 = a. Suppose 77 = 4*b - i. Is b a multiple of 8?
False
Let o(v) = -v**3 + 8*v**2 - 5*v + 3. Let y(z) = z**2 - 3. Let a be y(-4). Suppose -4*h + 15 + a = 0. Does 17 divide o(h)?
True
Let a(n) be the first derivative of -2*n**3/3 - 15*n**2/2 - 6*n - 2. Is a(-6) a multiple of 11?
False
Let d = 67 + -64. Suppose -d*x + 971 = 329. Is 27 a factor of x?
False
Let h(a) = a**2 + 3*a + 10. Let b be h(-4). Suppose 0 = -2*l - u + b, -5*u - 19 + 59 = 5*l. Is l a multiple of 6?
True
Let t be 6/48 + (-98)/16. Let q be 0 + 7/((-21)/t). Suppose -2 - 14 = -q*s. Does 2 divide s?
True
Suppose -2*k - 18 = -2*d, k + 6 = 1. Let g(a) = 1. Let m(p) = 2*p + 10. Let l(n) = -5*g(n) + m(n). Does 5 divide l(d)?
False
Suppose 3*r + 609 = 3*g, 0 = -3*g - 5*r + 9*r + 606. Is 13 a factor of g?
False
Suppose 0 = m - 6*m - 110. Let o be ((-5)/10)/(1/m). Is 10 a factor of o - ((-3)/1)/(-3)?
True
Suppose 32*q - 32137 = 23479. Does 79 divide q?
True
Let q = 310 - 214. Is 48 a factor of q?
True
Suppose 18*y + 50 = 23*y. Does 6 divide (-1)/(y/(-4)) + 296/10?
T