ivide p?
True
Suppose 2*u + 3*s = 14, -s = 2*s. Suppose 4*f = u + 5. Suppose 3*i = 3*k - 96, -4*k - i - f*i = -160. Does 18 divide k?
True
Suppose -2*g = 4*c - 14930, -40*c - g + 18661 = -35*c. Is 36 a factor of c?
False
Suppose 0 = -22*w + 59*w - 4958. Is w a multiple of 26?
False
Suppose -2 = -g - 5. Is ((-2)/g)/((-14)/(-1680)) a multiple of 20?
True
Suppose -f + 28 = 7*s - 2*s, -60 = -5*f - 5*s. Does 35 divide (2 - f/10)*700/6?
True
Let d(l) = l**2 - l + 2. Let y be d(0). Suppose -y*g + 88 = 2*b, -b = -5*g - 19 - 19. Does 5 divide b?
False
Suppose 105*f - 109*f = -2112. Is f a multiple of 22?
True
Suppose -3*a + 84 = -10*z + 7*z, -140 = -5*a + z. Is a a multiple of 4?
True
Suppose -5*m + 2*k + 138 + 42 = 0, -3*m = 4*k - 134. Suppose -m*t + 34*t + 64 = 0. Is 2 a factor of t?
True
Let y be 1/(-5) + 84/(-30). Is 4 a factor of 4/y*(0 - 12)?
True
Let n(l) = -l**3 - 8*l**2 + 9*l + 5. Let i be 4*((-21)/4 + 3). Let h be n(i). Suppose -2 + 11 = -3*o, -2*o + 64 = h*m. Does 14 divide m?
True
Let t be (-5)/2 + (-2)/4. Let g be 145/4 - 80/64. Let z = g - t. Is z a multiple of 21?
False
Suppose -125*z + 130*z - 2211 = q, 4*q = -2*z + 880. Is z a multiple of 15?
False
Let o = 33 + -33. Suppose 0 = -2*t - 2*t + 5*s + 87, 2*s + 6 = o. Is t a multiple of 3?
True
Let n = 56 + -30. Suppose -143 + n = -9*k. Does 11 divide k?
False
Suppose -5016 = 8*s - 12*s. Is s a multiple of 66?
True
Let c = 16 - 16. Let m(i) = i - 1. Let x be m(c). Is 12 a factor of -16*((-1)/(-4) + x)?
True
Let x = 1 + 2. Suppose 3*o = -8*k + x*k - 75, 0 = 5*k - 2*o + 50. Is 13 a factor of -1*208/k*3?
True
Let l(v) = 4*v**2 + 75*v - 45. Is 51 a factor of l(-24)?
True
Let f(p) = -5*p + 60. Let x be f(10). Suppose -x*h + 2793 = 11*h. Is 19 a factor of h?
True
Suppose 12 = 5*y - q, 3*y - 1 = -q + 3. Does 14 divide (-12 + -224)*1/y*-1?
False
Let s(m) = -1. Let x(k) = 10*k + 1. Let z(r) = 2*s(r) - x(r). Let t be 0 + (-1 + 7)/(-3). Does 15 divide z(t)?
False
Suppose 16*n - 2*z - 119 = 11*n, -3*z + 34 = n. Is 2 a factor of n?
False
Suppose -13*x - 842 = -3728. Is 11 a factor of x?
False
Let r = -11 - -6. Let d be 4/r*(2 - 32). Let f = 87 - d. Is 12 a factor of f?
False
Suppose -9*a + 3211 = 979. Does 18 divide a?
False
Let u be ((-6)/(-2))/((-2)/(-60)). Suppose 3*y - 3*l = u, -2*y - 5*l + 24 = -29. Is y a multiple of 29?
True
Let i(u) = 31*u**2 + 1. Let g be 272/56 + (-2)/(-14). Let o(h) = h - 6. Let a be o(g). Is i(a) a multiple of 13?
False
Let r = 0 + 3. Let x(d) = 2*d**2 - 4*d - 1. Let h be x(r). Suppose v + 3*s - 24 = 0, -h*v + s + 4*s = -40. Is 12 a factor of v?
True
Is 2/((-1)/(14/(-4)))*26 a multiple of 9?
False
Does 21 divide (-7 - 7/(-49))/((-2)/161)?
False
Let g = 172 - 19. Is g a multiple of 23?
False
Let p be 10/6*(3 - 0). Suppose -3*i - 6 = -3*o, -i + 4*i = -p*o + 34. Suppose o*w - 48 = 3*w. Does 8 divide w?
True
Let f be 5227 + -4 + 1*-3. Let k be f/75 + (-6)/10. Is 7 a factor of k/2 + 4/8?
True
Let v = -925 - -1779. Is 61 a factor of v?
True
Let x be (57/5)/3 + (-8)/10. Suppose x*z = 196 + 2. Is z a multiple of 11?
True
Suppose -6 = -4*q - 14. Is q + 2 - -2 - (6 + -12) a multiple of 2?
True
Let y(u) = 15*u - 9. Suppose -5*g = -9*d + 4*d - 40, 3*d = -5*g + 8. Does 17 divide y(g)?
True
Let u be (7/2 - 2)*32. Does 4 divide (11 - 10) + (u - 1)?
True
Let z = 3504 - 1977. Is z a multiple of 45?
False
Let i(n) = n**3 + 26*n**2 + 33*n - 41. Let s be i(-24). Suppose -181 = -5*o + s. Is o a multiple of 10?
True
Suppose 2*x + 16 = -4*d, -10 + 26 = -5*x - 4*d. Suppose -5*g = -x*g - 3*p - 3, 2*g + p + 1 = 0. Suppose 7*q - 2*q - 230 = g. Is 10 a factor of q?
False
Let p = 4477 - 2321. Is 44 a factor of p?
True
Let z(d) = d**2 - 6*d + 7. Let p = -12 + 16. Suppose p*h = 5 + 23. Is 7 a factor of z(h)?
True
Let a(n) = -7*n - 6. Let v be a(-3). Suppose 0 = 5*o + v, -3*m - 45 = 5*o - 174. Does 12 divide m?
True
Let p be 221/5 - (-1)/(-5). Let l = p + -30. Does 14 divide l?
True
Let n = 1 + -1. Let r(o) = -2*o + 0*o + 1 + 0*o + 30*o**2 + n. Is 14 a factor of r(1)?
False
Suppose 584 = -3*a + 65. Let q = -124 - a. Does 33 divide q?
False
Suppose -2*m + 4066 = -2*p, 18*m - p = 20*m - 4057. Is 10 a factor of m?
True
Let z = 6 - 2. Suppose 0 = 5*k - 15, 2*g - 3*k - k = 72. Suppose -z*v = -v - g. Is v a multiple of 5?
False
Suppose -2*k + 3*k - 6 = 0. Let q be (-3)/(5/(40/k)). Let r(p) = p**2 - 3. Is 4 a factor of r(q)?
False
Suppose 0 = -2*p - 2*f + 1016 + 1044, 4*p + 3*f = 4124. Suppose -h + 3*h + 2*j - 422 = 0, 5*h - 2*j - p = 0. Does 23 divide h?
False
Let v(y) = -2*y - 4. Let g be v(-4). Suppose 16 = 4*n - 3*n + 5*q, 138 = 5*n - g*q. Suppose 5*o - n = -2*h + 106, 4*h - 96 = -4*o. Is o a multiple of 15?
False
Let f(h) = 7*h**2 + h - 1. Let z be f(-3). Let y = z - 39. Suppose y = -7*v + 8*v. Does 5 divide v?
True
Suppose 3*v - 161 = 4*y, -3 = 4*v - 4*y - 223. Does 2 divide v?
False
Let v be -3 + (0 - -3) - 36. Let r be (-1)/(-7) + v/7. Does 8 divide (-135)/r + 0/2?
False
Is (-10)/(-2)*(-5224)/(-40) a multiple of 44?
False
Let y(d) = 15*d - 7. Let o(j) = -15*j + 8. Let r be (2 - 11)*4/6. Let c(t) = r*y(t) - 7*o(t). Is 13 a factor of c(5)?
False
Let p = 163 - 109. Let i = -38 + p. Is 4 a factor of i?
True
Suppose 4 = 5*j - j. Suppose 0 = 3*l - 8 - j. Suppose -38 = -l*w + 61. Is w a multiple of 13?
False
Let k(m) = -m**3 + 2*m**2 + m - 2. Let p be k(2). Let a be ((-24)/8)/((-2)/((-12)/(-2))). Suppose a = 3*u - p*u, -41 = -4*z - 3*u. Does 4 divide z?
True
Suppose 2*u = 8, w + 4*u - 13 = 6. Suppose w*s = 150 + 126. Suppose -4*d + s = -0*d. Is d a multiple of 22?
False
Let c be ((-1)/(-3))/(2/6). Suppose -3*g + c + 5 = 0. Suppose 6 = g*t - t. Is 2 a factor of t?
True
Let z = 22 - 19. Suppose -3*j + z*v + 165 = 0, 2*j - 5*v + 5 - 100 = 0. Is j a multiple of 30?
True
Let i(z) = -z. Let s(h) be the first derivative of 11*h**2/2 - 19*h + 2. Let b(g) = 4*i(g) + s(g). Is b(9) a multiple of 11?
True
Let t(c) = -2*c**2 + 11*c + 8. Let j be t(6). Suppose -155 = -j*o - 35. Is 2 a factor of o?
True
Let o = -99 - -259. Suppose 11*q = 13*q - o. Is q a multiple of 16?
True
Let c(u) = 2*u + 10 + 8 - 3*u. Does 5 divide c(13)?
True
Suppose 5 = -4*k + 33. Suppose -4*o + c = 340, 3*o + k*c - 2*c + 278 = 0. Let r = o - -143. Is 12 a factor of r?
False
Let y(b) = 25*b**2 - 14*b + 16. Is y(4) a multiple of 15?
True
Let c(i) = i**3 + 2*i**2 - 4*i. Let r be c(-3). Suppose -r = x - m, -x - 3*m + 21 = 2*m. Is (x/(-3))/(9/(-918)) a multiple of 7?
False
Let f = 482 - -111. Is f a multiple of 31?
False
Let y(n) = -n - 1. Let m be y(-6). Let j be -4 + m + -4 - -61. Let l = j - 33. Does 5 divide l?
True
Suppose 2*i = -2*s + 248, -3*i + 3*s = 2*s - 364. Is 3 a factor of i?
False
Let p be (-1)/(-4) + (-9)/(-12). Suppose -5*o - 1000 = -9*o. Does 6 divide p/3 - o/(-15)?
False
Let u = -7 - -5. Let j be (-55)/(-15) + u/(-6). Suppose 0 = j*l - 3*q - 56, -l - 9 = -q - 24. Does 9 divide l?
False
Let k(m) = 3*m**2 - 23*m + 129. Is 155 a factor of k(19)?
True
Let d(i) = -i**3 - 4*i**2 - i - 8. Let f = 24 + -29. Let s be d(f). Let g = s + -16. Is g a multiple of 3?
True
Suppose 0 = 6*a - 2*a - y - 150, -2*a + 4*y = -82. Suppose p - m = -19 + 3, 0 = -2*p + 5*m - 41. Let r = a - p. Does 8 divide r?
False
Let n(k) be the second derivative of 3*k**5/10 - k**2 - 9*k. Let j(w) be the first derivative of n(w). Is j(2) a multiple of 24?
True
Suppose -4*r = 5*m - 32, r = 3*m - 1 - 8. Is 3 a factor of (13/r)/(2/6)?
False
Suppose 0 = -q - 41 + 9. Let f = q - -77. Is f a multiple of 15?
True
Let v = 372 + -215. Suppose 5*j - v - 33 = 0. Is j a multiple of 19?
True
Suppose -5*n + 439 - 35 = 2*q, 2*q + n - 396 = 0. Does 25 divide q?
False
Let i(b) = -2*b - 5. Let z(k) = -k**2 - 8*k - 9. Let v be z(-6). Suppose 2*o = 5*o - 3*n + 45, -5*o - v*n = 51. Does 19 divide i(o)?
True
Suppose 2*j + 5*x = 5279, 5*x = 149*j - 144*j - 13250. Is 10 a factor of j?
False
Suppose -2*a - 8 = -4*a, a = 4*s - 20. Suppose 2*r = 2*q + 3*q + s, 12 = -q + 4*r. Suppose 5*j - 4*c - 425 = q, 2*j - 225 = 2*c - 55. Does 30 divide j?
False
Suppose 80*z - 14784 = 52*z. Is 7 a factor of z?
False
Let a = 2218 - 3558. Does 15 divide a/(-45) + 2/9?
True
Let x(z) = z**3 + 8*z**2 + 3. Let j(d) = -d**3 - 9*d**2 - 4. Let h be 5 + -5 + (-5 - -2). Let i(l) = h*j(l) - 2*x(l). Does 2 divide i(-11)?
True
S