-8))/(t/(-4)). Suppose -y = -4*w - 3*r, -3 = -2*w - 3*r + 42. Does 9 divide w?
False
Let a be 336/10 + 2/5. Let i = a + -14. Suppose 20 = 5*g - i. Is 4 a factor of g?
True
Suppose o + 45 = 6*o. Is o/(3*1/3) a multiple of 6?
False
Let s = 74 + -29. Is 12 a factor of s?
False
Suppose 2*n = 3*b - 17, 5 = 5*b + n - 32. Let o = 10 - b. Let m(c) = c**3 - c**2 - 2*c + 3. Is m(o) a multiple of 15?
True
Let i be 1/(-2) - (-3)/6. Suppose i = 5*k + t - 458, -2*k + 5*t = k - 286. Is k/(-10)*(-10)/4 a multiple of 6?
False
Let d be (-69)/21 + (-2)/(-7). Let l be d*(6/(-9) + 0). Suppose l*a - 27 = 11. Does 7 divide a?
False
Let j = 115 - 82. Let s(k) = -2*k**2 + 5*k - 1. Let v be s(4). Let n = j + v. Does 11 divide n?
False
Let v(r) = 2*r**2 - 5*r - 2. Let m be v(-3). Let t = m + -55. Does 13 divide (-7)/((-63)/t)*-6?
False
Let h = -70 - -130. Does 14 divide h?
False
Does 35 divide 1049/3 + (-24)/(-18) + -2?
False
Suppose 4*t = -4*o + 492, -4*t - 2*o + 3*o = -472. Is t a multiple of 32?
False
Let h = -33 + 77. Let a = h - 28. Is 9 a factor of a?
False
Suppose 3*d - 21 = -0*d. Is 5 a factor of d?
False
Suppose m = 3*i + 11, 0 = i - m - m + 12. Let u be (i*1)/((-2)/8). Suppose -2*z - u = -4*j - 3*z, 0 = 4*z + 16. Is j even?
False
Suppose -1 = -5*q + 2*j, 0 = -4*q - 4*j - 26 + 10. Let s be q/2*(-247 - 1). Suppose -6*d - 4*i = -2*d - s, 0 = 4*i + 8. Does 21 divide d?
False
Is 37 a factor of 459/3 - (-4)/(-4)?
False
Let v be -1 - (-1 + 2 + 0). Let p be (-2)/4 - 97/v. Suppose 3*b + b = p. Is 6 a factor of b?
True
Let q = -8 - -8. Suppose 2*h - 15 - 33 = q. Is 12 a factor of h?
True
Suppose 0 = l - 5 - 49. Let h = -29 + l. Does 8 divide h?
False
Suppose 2*y - 3 = y. Suppose -2*v + 4*v = 0. Suppose v = -j, -5*m = -3*m + y*j - 6. Is 3 a factor of m?
True
Suppose 5*a - 187 = -n, -2*n - a + 0*a = -365. Is n a multiple of 21?
False
Let g = 14 + -9. Suppose p + g*b - 36 = -p, 3*p - 67 = -b. Suppose 2*m - r = 40, -m - 2*r - p = -2*m. Does 13 divide m?
False
Let z be 3 + -54*6/(-9). Suppose -9 = -2*k - r + 5, -3*k + 3*r = -z. Does 2 divide k?
False
Let z(p) = -11*p - 17. Is z(-9) a multiple of 26?
False
Let k = 1 + -8. Let f(q) = -3*q + 1. Is f(k) a multiple of 13?
False
Let f(q) = 3*q - 1. Is 11 a factor of f(4)?
True
Is 14 a factor of ((-80)/(-4))/(-5) - -193?
False
Suppose -19*x + 24*x = 230. Is x a multiple of 23?
True
Let b be (-142)/(-6) + (-1)/(-3). Let u = 42 - b. Suppose 4*p - u = -3*i, 3*i - 14 = -2*p + 4*i. Is p a multiple of 2?
True
Suppose 0 = 4*m - 27 + 11. Suppose s + 4*z = 37, -z = 2*s - m*z - 41. Is s a multiple of 8?
False
Let l(z) = -13*z - 2. Let j be l(11). Let m = 291 + j. Let p = m - 95. Is p a multiple of 17?
True
Let y(r) = -r**2 - r. Let u be y(1). Let i be u + -3*(-6)/9. Let n = i + 9. Is 9 a factor of n?
True
Let y = 33 - 53. Let u be 1/(2 - 213/105). Let i = y - u. Does 8 divide i?
False
Let c(y) = -18*y**3 + y**2. Let s be c(-1). Suppose -4*t = -x - 42, -2*t + 5*x - 3*x = -24. Let w = s - t. Is w a multiple of 9?
True
Is 488/5 - (-9)/(-15) a multiple of 14?
False
Does 19 divide ((-152)/10)/(26/(-195))?
True
Does 14 divide 64/((-6)/(-2) - 2)?
False
Let l(r) = -r**3 + 6*r**2 - 6*r + 5. Let s be (2 + 0)/2 - -3. Does 4 divide l(s)?
False
Let w be ((-18)/(-10))/((-1)/(-15)). Suppose 3*p + w = l, 3*p = -3*l + 6*p + 87. Is 15 a factor of l?
True
Let z(c) = -8*c**2 + 2 - c**3 + 4*c - 10*c + 2. Let q be z(-7). Does 11 divide (-100)/q - 1/3?
True
Suppose 0 = -5*p - 5, -b - 4*b + 73 = 2*p. Suppose -3 = 3*m + b. Is 7 a factor of 155/9 + m/27?
False
Let n(b) = b**3 + 6*b**2 - 2. Let y be n(-6). Let u = 7 + y. Suppose 3*t - u*g = 96, -t + 2*t - 5*g = 42. Does 9 divide t?
True
Let o be (-3)/(-9) + 2/3. Is ((-168)/(3 + o))/(-2) a multiple of 7?
True
Suppose 2*v = -5*w + 169, 0*w - 163 = -5*w - 4*v. Suppose i - w = 19. Does 20 divide i?
False
Is 2/(-2) + 43 + 5 a multiple of 41?
False
Let k(c) = c**3 - 7*c**2 + c + 8. Does 2 divide k(7)?
False
Let h(o) = -o**2 - 20*o - 1. Does 10 divide h(-13)?
True
Let r(q) = 3*q**2 + 9*q + 10. Is r(-4) a multiple of 11?
True
Let v(k) = -k**3 - 11*k**2 + 12*k + 2. Let t be v(-12). Is t/(-8) - 507/(-12) a multiple of 21?
True
Suppose 10*r - 497 + 107 = 0. Is 13 a factor of r?
True
Let z(p) = p**3 - 2*p**2 - 10*p + 8. Let u be z(6). Suppose s - 5*s - 3*r = -u, 2*r + 69 = 3*s. Let x = 37 - s. Does 7 divide x?
True
Let m be 6/(-8) - 189/(-12). Suppose 3*o = 5*r + m, -4*o + 25 + 12 = -r. Is o a multiple of 2?
True
Let c(l) = -184*l**3 - l**2 + 1. Let y be c(-1). Suppose -2*z - n - y = 0, 5*z + 3*n - 6*n = -460. Does 18 divide (-4)/10 - z/5?
True
Suppose 0 = 4*c + c - 5. Is 4 a factor of c/3 + 33/9?
True
Suppose 0 = 2*h - 28 - 38. Suppose 3*d - h - 93 = 0. Is 14 a factor of d?
True
Suppose 4*g + 1 - 21 = 4*z, z - 5*g + 5 = 0. Let w be ((-18)/z)/((-12)/(-30)). Does 18 divide (-3)/(w/4)*-27?
True
Let j = -93 - -177. Is j a multiple of 21?
True
Let x be (-1 - -59)/((-2)/(-1)). Let d = -10 + x. Does 7 divide d?
False
Let z = -12 - -32. Is 9 a factor of z?
False
Suppose b - 423 = -5*x, 5*b - 2*b + 411 = 5*x. Is x a multiple of 28?
True
Let s(g) = 38*g**3 + 4*g - 5. Is s(1) a multiple of 4?
False
Suppose -2*p - 6 + 16 = 0. Suppose 0 = -3*n - p*i - 13, -5*n = -4*i - 1 - 39. Suppose 0 = -5*t - d + 45, n*d + 1 = 21. Does 3 divide t?
False
Suppose -4 = 7*w - 137. Does 7 divide w?
False
Let s(j) = 4*j**3 + 2*j**2 - j. Let r be s(1). Let m = 18 + r. Suppose 4*g = -4*o + 52, -2*g = -4*o + 47 + m. Is o a multiple of 16?
True
Does 8 divide (2 - -145) + (-9)/3?
True
Suppose -4*w + 0 = -32. Is 6 a factor of (w - (-1 + 1)) + 1?
False
Suppose 76 = 4*a - 3*a. Does 17 divide a?
False
Suppose -o = o. Suppose o = 10*j - 5*j - 315. Is j a multiple of 21?
True
Let f(b) = -10*b**3 - b**2 + b. Let c be f(1). Let a = c + 14. Suppose a*l - 200 = -l. Is 14 a factor of l?
False
Is 11 a factor of (2/9*3)/(20/2070)?
False
Suppose -131 = 5*s + 5*u - 356, -102 = -2*s + u. Does 13 divide s?
False
Let f(z) = -24*z - 2. Suppose -3*n = -m - 4 - 6, -5*m = n + 2. Does 12 divide f(m)?
False
Let y = -1 + 3. Suppose -5*n = -y - 8. Is n even?
True
Let w be 4/12 + 1/(-3). Suppose w = m - 4*m. Suppose m = -4*g + 5*g - 12. Is g a multiple of 6?
True
Let i(k) = 2*k**2 + 5*k - 6. Does 24 divide i(6)?
True
Let y(u) = -u - 6. Let p be y(-6). Let b be 6/3 + p + -2. Suppose b = -r + 4*r - 78. Is 9 a factor of r?
False
Let j(n) = 4*n - 1. Let q be j(-2). Let m = q + 6. Does 16 divide (0 - 82/6)*m?
False
Let o(a) = -6*a + 6. Let p be o(-6). Let i be (2/3)/(4/p). Is -3*(i/(-3) - 1) a multiple of 5?
True
Suppose y + 0*y - 9 = 0. Is 2 a factor of y?
False
Let g(b) = 3*b + 4. Let o = 22 - 12. Is g(o) a multiple of 17?
True
Suppose 7*o = 2*o + 240. Is 16 a factor of o?
True
Let g be (-11)/2 - (-3)/(-6). Let r be (9 + -6)*28/g. Let k = 27 + r. Is k a multiple of 13?
True
Let m = 4 - 8. Let n = m - -16. Does 3 divide n?
True
Does 8 divide 3/15 - ((-128)/10 + 2)?
False
Let p(u) = 9*u - 1. Let h be p(1). Suppose -3*n = -h*n + 175. Does 13 divide n?
False
Does 19 divide ((-76)/10 + 0)/(5/(-75))?
True
Let x(l) = 3*l - 2. Let q = 11 + -4. Is x(q) a multiple of 19?
True
Suppose -5*t + 3 = -17. Suppose -6*j + 69 + 57 = 0. Suppose 4*w + o - j = 0, o - 27 = -3*w + t*o. Does 6 divide w?
True
Let y = 64 + -30. Does 17 divide y?
True
Let m be -5 + 4 - (-23 + -1). Let x = m - 13. Does 5 divide x?
True
Suppose 2*r + 0*x - 3*x = -31, -r = -x + 15. Let w = r - -66. Let h = w + -29. Is h a multiple of 13?
False
Is (1 - -67)*3/4 a multiple of 5?
False
Let d(p) = -2*p**2 + p**3 - 3 - 5*p**2 - 7*p + 0*p. Is d(8) a multiple of 2?
False
Suppose -h = 4*q - 3 + 8, -2*h + q = -26. Let g = h - 6. Let m(k) = k**3 - 5*k**2 + 4*k + 3. Is 8 a factor of m(g)?
False
Suppose -45 = -p + 11. Is p a multiple of 14?
True
Let m be (-31)/(-7) + (-12)/(-21). Suppose -3*k + 327 = -m*y, k - 4*k + 3*y + 327 = 0. Is k a multiple of 29?
False
Let b be ((-1 + 4)/3)/1. Suppose 0 = 4*s + 2*j - 268, -2*j + b = -3. Is s a multiple of 33?
True
Does 43 divide (((-3255)/10)/(-7))/(3/4)?
False
Let b(d) = -d**2 + 10*d - 12. Does 3 divide b(7)?
True
Let d = -91 + 131. Let p = 181 + -115. Let x = p - d. Is 13 a factor of x?
True
Let b = -203 + 104. Does 13 divide (-8)/(-6)*b/(-6)?
False
Let n be 2*1 + 0/(-1). Let k(m) = m - 6*m + m**n - 3 + 0*m