/4*(3 + 1)/(-2). Does 16 divide z*2 + (4 - -46)?
False
Suppose 2*g = -2*y + 3*g + 7, 2*y - 3*g = 1. Suppose y*r - 18 - 22 = 0. Let x = r + 40. Does 16 divide x?
True
Let q(a) = -4*a**2 - a - 2*a**2 + 3*a**2 - 8 + 4*a**2. Suppose 3*v - 22 - 2 = 0. Does 11 divide q(v)?
False
Suppose -5*f + 1775 = 2*d - d, 2*f + 3*d = 710. Is 16 a factor of f?
False
Let x(c) = -c**2 + 2*c + 15. Let k be x(-5). Does 4 divide 2*(-6)/4 - k?
False
Let o(w) = 0 + 2*w**2 - 4 + 3 - w**2. Let a be o(-2). Suppose c + 28 = a*c. Does 12 divide c?
False
Suppose 15 = 2*w - 39. Suppose -83 = -m + 2*k + w, 0 = -3*m - 4*k + 320. Does 13 divide m?
False
Suppose -a + 7 - 3 = d, 4*a - 16 = -2*d. Is 11 a factor of 3*(-52)/(-6) - a?
True
Let j(i) = i**2 + 7*i - 4. Let m be j(-8). Suppose 7*p = 4*o + 3*p + 64, 5*p = m*o + 61. Let t = -11 - o. Does 7 divide t?
False
Let u = -210 - -226. Is 6 a factor of u?
False
Let u(z) = -2*z + 4. Let n(k) = -k**2 + 5*k + 1. Let s be n(4). Let i be u(s). Is 3 a factor of i/15 + 144/10?
False
Is (2/((-2)/(-2)))/((-1)/(-1555)) a multiple of 10?
True
Suppose 189 = 5*w - 7*s + 3*s, -5*w - 4*s + 181 = 0. Let j = 39 - w. Suppose 0*n - j*h + 61 = n, 231 = 4*n - 5*h. Is n a multiple of 6?
False
Suppose -640 = 6*k - 10*k. Does 11 divide k?
False
Suppose 115 = 3*y + 7. Suppose 11 = -5*d + y. Is 1/d + (-178)/(-10) a multiple of 9?
True
Suppose -s = 0, -u + 47*s = 46*s - 1924. Does 74 divide u?
True
Let f(d) = -116*d - 17. Does 34 divide f(-17)?
False
Let m = -65 - -63. Is 28 a factor of -3 + 115 + 2 + m?
True
Let g be (8/20 - (-3)/5)*-11. Let b = g - -311. Does 60 divide b?
True
Let d(y) = -26*y + 37. Is 7 a factor of d(-5)?
False
Suppose -5*y = -2*w - 90, -3*y + 0*y + 2*w = -50. Let o = y - -20. Is o a multiple of 7?
False
Suppose 6 = 5*j - 4. Suppose j*x - 30 = 52. Suppose x = -2*p + 127. Does 16 divide p?
False
Suppose 4*a - 1687 = 1029. Is 15 a factor of a?
False
Suppose -3*n + 56 + 46 = 0. Suppose -4*a = -n - 154. Is 35 a factor of a?
False
Suppose 2*r = 19*b - 23*b + 1654, 0 = 5*b - 20. Is 27 a factor of r?
False
Let j be ((-6)/2 - -18)*(-30)/45. Let g(b) = 8*b + 5*b**2 + 7*b**2 + 11*b + 14 + b**3. Does 12 divide g(j)?
True
Let c(q) = 5*q - 5. Let o be c(11). Let d = -12 + o. Let m = d + -25. Is m a multiple of 6?
False
Suppose 0 = -7*r - 71*r + 46800. Is 25 a factor of r?
True
Let k be 0/4 - 4/6*-6. Is (-4)/(-6)*690/k + 0 a multiple of 19?
False
Suppose -2*q + 3 + 1 = 0. Suppose -c + q*c + 30 = 0. Let m = 51 + c. Is 7 a factor of m?
True
Is 60 a factor of 1438/3 - 108/(-162)?
True
Let u = 1674 + -1495. Is u a multiple of 8?
False
Let g(j) = 102*j**2 + 3*j - 2. Does 13 divide g(2)?
False
Suppose 5*j - 289 = -69. Suppose 13*q = 15*q - j. Suppose w + g - q = -2*g, 0 = 5*g. Is w a multiple of 11?
True
Let g(m) = -m**3 + 5*m**2 + m - 3. Let c be g(5). Let q be 4/((24/(-9))/4). Is 3/q - (-73)/c a multiple of 12?
True
Let y(o) = 13*o - 4 + 25*o + 16*o + 17. Is y(3) a multiple of 35?
True
Let f = -20 + 99. Suppose f = r - 41. Suppose -3*x + r = 4*g, 4*x + 3*g + 2*g = 161. Is x a multiple of 14?
False
Let f = -55 + 262. Is f a multiple of 23?
True
Suppose 0 = -3*o - k + 3*k + 14, 0 = 2*o - 4*k - 4. Let g(v) = 21*v - 27. Does 34 divide g(o)?
False
Suppose 139 = 2*u - 5*q + 2*q, 0 = -u - q + 67. Let m be (30/(-8))/(-5) + (-2502)/(-24). Let o = m - u. Is o a multiple of 15?
False
Suppose 4*d + 2*n = 9*d - 158, 0 = 5*d - 5*n - 170. Does 2 divide d?
True
Suppose 0 = -7*k - 7*k + 770. Let p = 152 + k. Does 12 divide p?
False
Suppose -15*j - 376 = -16*j. Suppose -3*t + 3*u = -366, 0*u = 3*t - 5*u - j. Is 39 a factor of t?
True
Let j(k) = 2*k**3 + 24*k**2 + 14*k - 8. Let v = 82 + -93. Is j(v) a multiple of 21?
False
Let m be (-4 - -1)*1 - -5. Suppose -4*t = -o - 80, m*t - 55 = 2*o - 15. Does 6 divide t?
False
Let z(j) = -j + 26. Let r be z(21). Suppose 94 + 76 = r*n. Is 34 a factor of n?
True
Suppose 3*s = -0*s. Suppose -5*z + 72 + 218 = s. Let o = -21 + z. Is 13 a factor of o?
False
Let g(c) = 162 - 162 - 3*c - c**2. Let x be g(-2). Suppose 0 = 4*w + w + 2*h - 19, 0 = x*w - 4*h - 22. Is w a multiple of 2?
False
Suppose 17 = -2*q - 27. Let s = q - -21. Is (s - 0)/1*-25 a multiple of 25?
True
Suppose 2*w = -u + 4600, 3*w - 5456 - 1444 = -5*u. Is w a multiple of 25?
True
Suppose -2*x = 2*x. Suppose -11*u = -13*u - 2*h + 16, -5*u = 2*h - 52. Suppose x = -2*q + 4*f + u, 2*q - 7*f + 2*f = 7. Does 12 divide q?
False
Let v(w) = -w**3 + 28*w**2 + 111*w - 72. Is v(31) a multiple of 50?
False
Let r(c) = 26*c + 475. Is r(49) a multiple of 11?
True
Let d(m) = -m**3 + 7*m**2 - 9*m + 9. Let y be d(7). Let a = y - -85. Is a a multiple of 14?
False
Let d(u) be the first derivative of -u**2/2 - 21*u - 2. Let i be d(-15). Is 8 a factor of (-2 - i - -9) + 0?
False
Suppose -19*s - 1107 = -28*s. Is 22 a factor of s?
False
Let k = -3 + 11. Suppose 3*y - k*y = -50. Is 10 a factor of y?
True
Let d(i) = i**2 - 2*i. Let j be d(3). Suppose 0*s - 237 = -2*r + j*s, 5*s = 15. Is 15 a factor of r?
False
Let o be -4 + (-11)/(33/(-60)). Suppose -x + 20 - o = 0. Suppose -3*b = 2*j - 301, 5*b - 613 = -x*j - 110. Does 21 divide b?
False
Let v(p) = -p - 22 + 24 + 23. Is v(0) a multiple of 6?
False
Let x(o) = -16*o + 4. Let j(c) = -31*c + 7. Let n(d) = -d**2 + 9*d + 6. Let g be n(10). Let k(v) = g*j(v) + 7*x(v). Does 12 divide k(1)?
True
Suppose 2*t + 7 = 3*i, -4*t = -2*i - 2*i + 16. Let x = 3 - i. Suppose -x*o + 0*o = -152. Is 21 a factor of o?
False
Let m(g) = g**2 + 2*g + 6. Let d = 15 - 17. Let k be d/((-3)/5 - -1). Does 4 divide m(k)?
False
Suppose 0 = -210*r + 203*r + 4200. Is 30 a factor of r?
True
Let d(g) = 2*g**3 - 2*g**2 + 21*g - 65. Does 41 divide d(6)?
False
Suppose -4*u + 2*h = -90, 0*u + u + 5 = -5*h. Does 12 divide u?
False
Let c be ((-1)/2)/(153/78 + -2). Let t = 112 - c. Does 11 divide t?
True
Suppose -2*z - l + 1497 = 0, 8*l = -z + 6*l + 756. Is z a multiple of 61?
False
Let c be 2 - (128/56 + 4/(-14)). Suppose -3*j - 2*j - 15 = c, 2*y - 4*j - 178 = 0. Is 18 a factor of y?
False
Suppose -4 = -2*c + 6. Suppose -2*l = -3*l - c*p + 33, -2*l + 34 = 2*p. Is 13 a factor of l?
True
Is (-174)/4*4700/(-141) a multiple of 25?
True
Suppose j - 5*j + 2*c + 216 = 0, 3*c + 271 = 5*j. Let t = j - -19. Does 12 divide t?
True
Let g(l) be the first derivative of -l**2/2 + 14*l + 6. Let z be g(0). Suppose -z = -4*u + 6. Is u a multiple of 2?
False
Suppose -4*w + 193 = -2*w - 5*u, 0 = -2*w - 4*u + 148. Is w even?
True
Suppose 5*p + 3*a - 5598 = -11, 4*a - 4476 = -4*p. Is 27 a factor of p?
False
Let i be 5 - (30/5)/3. Let t be (52 - 0)/1 + 0. Suppose -t = -s - i*s. Is 6 a factor of s?
False
Suppose 26 = 3*g + 2*h, -2*g = 3*g - h - 26. Suppose 0 = -2*q - 2 + g. Suppose -3*s = 2*y - 33, -q*s - 5*y + 42 = s. Is 2 a factor of s?
False
Suppose 3*y - m - 54 - 902 = 0, 2*y - 2*m - 640 = 0. Is 11 a factor of y?
False
Suppose -3080 = -13*k + 5*k. Is k a multiple of 7?
True
Is ((-56)/6)/((-13)/(-5460)*-4) a multiple of 12?
False
Suppose 0 = -36*n + 17*n + 12768. Is n a multiple of 32?
True
Suppose -42*f + 29*f + 4108 = 0. Does 42 divide f?
False
Let n(d) = -15*d**2 + 6*d + 3. Let v(l) = -5*l**2 + 2*l + 1. Let x(m) = 4*n(m) - 11*v(m). Let f be x(-1). Is 19 a factor of (3/f)/((-1)/114)?
True
Suppose p - 6*p = -150. Does 11 divide ((-88)/(-20))/(4/p)?
True
Let v(d) = 80*d - 44. Is v(2) a multiple of 16?
False
Suppose -2*h = -4*u - 4 + 276, 3*u = -5*h - 706. Let w(r) = -2*r**2 + 29*r - 22. Let x be w(14). Is 9 a factor of h/(-8) + (-4)/x?
True
Suppose 0 = 3*x - 2*h + 28, 6*x + 3*h = 9*x + 30. Suppose 2*l - 4*r + 30 = -2*r, -4*r = 5*l + 39. Let v = x - l. Is v even?
False
Let t = 11 - 31. Does 10 divide -3 - 1 - t - -4?
True
Let d(m) = m**3 - 7*m**2 + 8*m - 8. Let p be d(6). Suppose -f - p*f = -210. Suppose -2*a + f = 3*r, -3*r - 3*a + 57 - 12 = 0. Is r a multiple of 6?
True
Let h(v) = 41*v - 7. Let o be h(2). Suppose -2*q + o = 3*x, -89 - 16 = -3*q + 3*x. Is 6 a factor of q?
True
Let s(o) = o**3 + 2*o**2 + 7*o + 2. Let d(j) = j**3 + 3*j**2 + 7*j + 3. Let t(f) = -5*d(f) + 6*s(f). Does 6 divide t(3)?
True
Let w = 263 + -204. Does 5 divide w?
False
Suppose 4*u - 6*u - 54 = 0. Let p = 48 + u. Let d = p - 0. Is 4 a factor of d?
False
Let l be (-2)/4*0 - -2. Let o(c) = -5*c**2 + c + 4. Let k be o(l). Is 24 a factor of k*7/4*