s 2 a factor of p?
False
Suppose -40 = l - 3*l. Let q = l + -16. Does 32 divide -8*(-6)/q*8?
True
Let t be ((-44)/12 - -3)/(4/(-30)). Suppose -2*k + 134 = b, t*b = 2*k - k - 67. Does 15 divide k?
False
Let p be 5 - (-3 + -1 + 2). Suppose -59 = -p*v + 6*v. Is 3 a factor of v?
False
Suppose -2*p = -5*r - 0 - 3, -p = -3*r - 2. Let t be 4*p*(-1)/(-2). Is (1/3)/(t/(-84)) a multiple of 14?
True
Suppose 4*t + f - 300 = 87, 103 = t - f. Suppose -15*q = -9*q - 324. Suppose q = 2*u + 3*a, 5*u - u + a = t. Does 12 divide u?
True
Let x(r) = -14*r + 8*r**2 + 16*r - 10*r - 11. Does 5 divide x(-3)?
True
Let z(i) = i**2 + 18*i + 41. Let d be z(-9). Suppose -g - 27 = -5*k - 142, k = -g - 29. Let j = k - d. Does 16 divide j?
True
Suppose -45 + 150 = 3*x. Let t = -22 + x. Is 6 a factor of t?
False
Is (-433 + (-9 - -7))/(3/(-9)) a multiple of 29?
True
Suppose -8*s = -7*s. Let i be (-2)/(-3) + 4/3. Suppose s = -4*o + i*c + 194, 0*c - 2*c = 4*o - 190. Is 12 a factor of o?
True
Suppose -5*m - 3*d = -4*d + 53, 0 = 5*m + 5*d + 35. Let v = m + 12. Does 17 divide 7*(4 - (-2)/v)?
False
Let w be 42 + -1 + 6 + -3. Suppose -4*y + 0*l + 2*l = -16, 4*y + 5*l - w = 0. Is 12 a factor of (-114)/(-9) + (-4)/y?
True
Let c(p) = -p**2 - 4*p + 23. Let x be c(-12). Let s = x + 98. Is 6 a factor of s?
False
Suppose -5*n - 9 = -29. Suppose g = n*u + 5*g - 340, u - 3*g - 105 = 0. Suppose u = 4*f + f. Is f a multiple of 9?
True
Suppose 8*g = 2988 + 1812. Does 40 divide g?
True
Suppose 4*f - 112 = 4. Suppose b + 175 = 5*l, f = 4*l - 3*b - 122. Does 17 divide l?
True
Let n be (-162)/14 - 39/91. Let v(z) = z**2 + 5*z - 2. Does 10 divide v(n)?
False
Let v = 7 + -14. Let b(j) = j**3 + 7*j**2 - 2*j - 2. Does 6 divide b(v)?
True
Is 19 a factor of (16/((-160)/(-1995)))/(6/8)?
True
Let h(l) = 348*l + 129. Is h(3) a multiple of 51?
True
Let f be (-60)/2 - (-2 + 2). Let b be f*(-1)/(15/6). Does 9 divide b*1 + (-8)/(-8)?
False
Suppose -855 = -6*b + 57. Is 19 a factor of b?
True
Let m(k) = -46*k**3 + 2*k + 1. Let z be m(-1). Let v = 74 - z. Is v a multiple of 16?
False
Let w be 4*(-4 - -3) - -8. Suppose 118 = j - w*t, 0 = 3*j - 2*t + t - 299. Is 14 a factor of j?
True
Let h(a) = -a**2 - 7*a - 14. Let f be h(-4). Is 13 a factor of (-990)/(-15) - 1/((-1)/f)?
False
Let f(p) = p**2 + 5*p - 12. Let v be f(-7). Suppose -v*y + y - 2 = 0. Let c(l) = 7*l**2 + l - 2. Does 8 divide c(y)?
True
Suppose 0 = -2*s - 4, d - 2*d - 5*s + 18 = 0. Does 4 divide d?
True
Let o = 2466 + -1720. Is o a multiple of 7?
False
Let v(k) = -18*k - 24. Let y be v(-9). Let h = 255 - y. Is 14 a factor of h?
False
Is 150/(-20)*136/(-5) a multiple of 15?
False
Let m be -7*(-1)/(28/(-360)). Is 7 a factor of (-10044)/m - 2/(-5)?
True
Let z(q) = -q**3 - 3*q**2 + 13*q + 10. Let t be z(-10). Is 18 a factor of (-1)/4 + t/16?
True
Let f = 136 + -236. Let l = -72 - f. Is 7 a factor of l?
True
Let v(h) = 26*h - 2. Let j be (-1)/2 - (-3)/2. Is v(j) a multiple of 2?
True
Suppose 18*z = 16*z + 282. Does 47 divide z?
True
Suppose -h = n + 15, 4*h = 2*n - 0*h + 6. Let z(a) = -8*a + 14. Let m be z(n). Suppose 5*f - 3*b = 255, b - 11 - m = -2*f. Is 18 a factor of f?
True
Suppose -f + 64 + 137 = 5*s, -f = -4*s - 183. Is 22 a factor of f?
False
Suppose 4*v - 14 + 2 = 0. Suppose -5*n = -v*r + 204, -1 = n - 4. Does 13 divide r?
False
Let t(g) = 53*g - 114. Is t(21) a multiple of 27?
True
Suppose -5*p + 5*n = -105, 4*n - 31 = -3*p + 53. Let o be (-32)/p*18/4. Is 8 a factor of (-32)/(-6)*(-63)/o?
True
Let m = -10 + 21. Let j(n) = 2*n**3 - 23*n**2 + 12*n + 1. Does 4 divide j(m)?
True
Let v(y) = -2*y**3 - 2*y**2 + y + 1. Suppose 0*l - 4 = -2*l. Let i be -6 + l + 6/6. Is v(i) a multiple of 18?
False
Let n be (-4)/34 + 142296/(-238). Does 11 divide (1/2)/((-13)/n)?
False
Is 23 a factor of (23/(-2))/(3 - (-172)/(-56))?
True
Suppose -87*x = -26*x - 18727. Is 2 a factor of x?
False
Let v be 9/3 - (-22)/2. Suppose -v*n - 58 = -16*n. Is 8 a factor of n?
False
Suppose 2*z = -4*w + 24, 5*z + 8 - 38 = -4*w. Suppose 3*l = -f + 253, l - 5*f - 81 = -z*f. Is l a multiple of 6?
True
Let z = -5 + 7. Let y be (0 - 66)*(-1)/z. Let c = y - 12. Is 8 a factor of c?
False
Let o = 282 + 49. Does 44 divide o?
False
Let c(y) = y + 163. Let f be ((-3)/3 - -1)/(2/(-2)). Does 24 divide c(f)?
False
Let u = 590 + -254. Is u a multiple of 17?
False
Let p be 244 + 3 - (3 + -5). Suppose -7*m + 4*m + p = 0. Does 14 divide m?
False
Let q(b) = -b**2 - 5*b - 5. Let r be q(-4). Let w = -2 - r. Is 22 a factor of w*(-75 + 2) - 2?
False
Is (-3 + 12)/(((-20)/4)/(-5)) a multiple of 9?
True
Suppose i + 3*b = 902, 4*b = -6*i + 11*i - 4434. Is i a multiple of 89?
True
Let p(w) = -2*w + 12. Let u be p(5). Let z(f) = 19*f - 3. Does 35 divide z(u)?
True
Let y(b) = 31*b**3 + 4*b - 11*b**2 - 4 + 16 - 28*b**3. Is 11 a factor of y(5)?
True
Let a(t) = -t**3 + 2*t**2 + 4*t - 3. Let z be a(3). Suppose -2*y + 5 + 1 = z. Let n(u) = u**2 + 2*u + 4. Is n(y) a multiple of 19?
True
Is 1*-62*(-19 - -16) a multiple of 13?
False
Suppose v = -3*n - n + 4, 5*v - 20 = -n. Suppose 0*r + 3*r - 4*c - 35 = 0, -c - 25 = -v*r. Suppose 18 = -3*j + r*j. Does 5 divide j?
False
Let z be 0/((8/1)/(-4)). Suppose -4*c + 3*c + 165 = a, 2*c - 5*a - 330 = z. Is 13 a factor of c?
False
Suppose 4*k + 2 + 2 = 2*x, 3*x + 3*k = 42. Is x/2 + (137 - -2) a multiple of 18?
True
Suppose -12*s = -0*s - 432. Is s a multiple of 6?
True
Let b = 38 - 20. Suppose 0 = 2*l - 22 - b. Suppose 0 = 4*z + l, 3*r + z + 49 = 4*r. Does 11 divide r?
True
Let u(p) = -p - 8. Let c be u(-9). Let x be (-1 + 17 - 0)*c. Suppose 4*a = x + 24. Is a a multiple of 5?
True
Let v = 277 + -79. Let g = -112 + v. Does 6 divide g?
False
Let g = 11 + -3. Suppose 5*f - 3*j = 46, 2*j + g = 3*f - 19. Does 7 divide f?
False
Suppose 4 = 5*f - 76. Suppose -2*q = -p - f, 0 = -7*q + 2*q + 2*p + 38. Suppose r - 18 = -r - 2*a, -2*a + q = 0. Is r a multiple of 6?
True
Is 2 a factor of 5214/429 + (-2)/13?
True
Suppose 76 = m - 0*m. Does 34 divide m/(-6)*42/(-4)?
False
Suppose -4*n + 5*s = -128, -5*s + 128 + 32 = 5*n. Suppose -n*t = -27*t - 690. Does 23 divide t?
True
Suppose -39*k = -43*k + 228. Suppose 4*s = k + 107. Is s a multiple of 24?
False
Let t(i) be the second derivative of 1/6*i**3 + 0*i**4 + i**5 + i + 0 + 0*i**2. Does 21 divide t(1)?
True
Suppose -5*w = -243 + 18. Suppose a + 37 = h, 2*a - w = -h + a. Let r = 60 - h. Does 8 divide r?
False
Suppose -2*z = 3*h + h - 28, 2*h = -4*z + 20. Suppose 0 = -s - 3*g + h, 5*s + 2*g - 12 = 3*s. Is 4 a factor of (s - 2) + (-1 - -13)?
True
Let w(h) be the third derivative of h**6/36 + h**5/40 + 5*h**4/24 + 4*h**2. Let m(l) be the second derivative of w(l). Is 11 a factor of m(2)?
False
Suppose 0 = 3*m - 9 - 0. Is 14 a factor of -1*m*(-350)/21?
False
Suppose -2*y - 4 = 2*y. Does 40 divide -4 - (y - (164 + -2))?
False
Suppose -i - 12 = i. Let r be (-2314)/(-4) + 3/i. Is (2/4)/(17/r) a multiple of 2?
False
Is (-48568)/(-14) + 3 - 50/350 a multiple of 62?
True
Let i = -12 - -14. Suppose 4*j - 2*j - 3*x = -8, -16 = -4*j - i*x. Suppose 0*b - 2*b - 76 = -2*o, 2*b = -j*o + 72. Is o a multiple of 6?
False
Let g be (-17)/(1 + -3 - -3). Let h = 4 - g. Suppose 3*j - 2*j = h. Is 14 a factor of j?
False
Let n be (-19 - 12) + 3 + 1. Let x = 29 + n. Does 4 divide ((-3)/(-5))/(x/40)?
True
Suppose 36303 = 20*l + 503. Does 106 divide l?
False
Let g = -435 - -473. Does 3 divide g?
False
Let z(c) = -c**3 - 11*c**2 - 13*c - 18. Let m be z(-9). Let t = 77 + m. Does 4 divide t?
False
Let m = 127 - 259. Let d = m - -176. Is d a multiple of 3?
False
Let q be (-96)/18*(-9)/(-4). Let w(m) = -m**2 - 10*m + 26. Let x be w(q). Suppose 0*k - 17 = -3*v + x*k, 4*k = -3*v + 11. Is 2 a factor of v?
False
Let o(n) = n**3 - 11*n**2 - 14*n + 10. Let f be o(12). Suppose -m + 30 - 1 = 0. Let a = m - f. Is a a multiple of 14?
False
Let s(u) = 2. Let l(f) = -2*f - 4*f + 1 - 1 - 13. Let t(c) = 2*l(c) + 6*s(c). Is 10 a factor of t(-6)?
False
Let r be (0 - 1)*((-3 - 1) + -1). Suppose r*s + 550 = 10*s. Is s a multiple of 18?
False
Let a(y) = -y**3 - 6*y**2 - 4*y + 5. Let q be a(-5). Suppose 0 = 3*v - q*v - 3. Let k(h) = 30*h - 2. Does 11 divide k(v)?
False
Does 17 divide (-8246)/(-10) - (-6)/(-10)?
False
Suppose -2*k + 8 = -4*c - 6, 5*k - 3*c - 21 = 0. Let x = 3 + k. Suppose a + x*z - 48 = z,