-4)/y. Let a = k - -68. Does 8 divide a?
True
Suppose 0 = -299*n + 330*n - 60791. Is n a multiple of 34?
False
Let j(v) = -3*v**3 + 11*v**2 + 11*v + 1. Does 3 divide j(-5)?
False
Suppose 8*d = -18*d + 17810. Does 29 divide d?
False
Let i(k) = 2*k**3 + 4*k**2 - 3*k - 1. Let d be 3/9 + (-56)/(-21). Is 10 a factor of i(d)?
True
Let n(i) = -i**3 + 15*i**2 + 9*i - 55. Is 7 a factor of n(14)?
False
Suppose 4*n - 22 = -5*t, 0 = -2*t + 6*t - 3*n + 1. Let u = 7 + 20. Does 6 divide (t*u)/3*1?
True
Suppose 4*c + c = -4*k + 24, 0 = 4*c - k - 15. Suppose c*f + s = -0*s + 134, -4*s = 4*f - 140. Is f a multiple of 11?
True
Let n be (16 - 10)*(-2)/(-4). Suppose n*i = -2*s + 104, -4*s + 140 = 4*i - 2*s. Does 36 divide i?
True
Suppose 428830 = 86*j + 149502. Is 16 a factor of j?
True
Let h(y) be the third derivative of y**6/120 - y**5/15 + 7*y**4/24 - 2*y**3/3 - 32*y**2. Let g(q) = -5*q - 1. Let a be g(-1). Is h(a) a multiple of 8?
True
Let t(o) = -3*o**2 + 113*o + 68. Does 9 divide t(38)?
False
Let g(m) = -2*m**3 - m**2 - 2. Let h be g(-2). Let l be ((-8)/h)/((-3)/495). Suppose -3*r + l = r. Does 11 divide r?
True
Let g be (1 - (-93)/9)/(1/(-12)). Let k = g - -234. Is k a multiple of 14?
True
Let s = 39 - -32. Let a = s + -65. Is a a multiple of 3?
True
Suppose -o - 4*j + 16 = 0, 2*o - 3*o - 2 = -2*j. Let n be ((-3)/(-12))/(1/o). Is (-66)/(-2) - n*-3 a multiple of 12?
True
Let f(w) = -23*w. Suppose u + 4*d - 3 = 7, 2*u - 8 = 4*d. Let o be 3/u*(0 + -4). Does 23 divide f(o)?
True
Suppose -5*b + 571 = -3*v, 0*b + 900 = -5*v - 2*b. Let l = v - -270. Does 11 divide l?
True
Suppose 0 = -2*i + 2*n + 106, -4*i + 6*i = 4*n + 108. Does 14 divide i?
False
Let s = -15 - 3. Let h be ((-3)/2)/(s/24). Suppose h*i = -0*x + 5*x + 29, -i = 2*x - 1. Does 6 divide i?
False
Let l be -94 + 0 + 1/1. Let c = l + 298. Suppose c = p + 4*p. Does 25 divide p?
False
Let r = 247 + -130. Let i(y) = -y**3 - y**2 + 4*y - 5. Let q be i(-5). Let p = r - q. Does 21 divide p?
True
Does 8 divide (-22 - -10) + 506 - 1*-2?
True
Let y = 88 + -18. Let d be (-136)/(-3) - 3/9. Let v = y - d. Is v a multiple of 9?
False
Suppose 25840 = 13*o + 21*o. Is 38 a factor of o?
True
Let n = 271 + -149. Is n a multiple of 12?
False
Let d(o) = -2*o**2 + o + 6. Let l be d(3). Let f = l + 37. Does 14 divide f?
True
Does 34 divide (-221)/((-7)/(154/11))?
True
Suppose -14*y = -10*y + 2*o - 1352, -y = -5*o - 360. Is y a multiple of 17?
True
Let f be (-2 - -1)*-2 + 0. Is ((-64)/(-12))/(10/(-6) + f) a multiple of 4?
True
Let d = 21 - 12. Let w be 5 + (-5)/(15/d). Suppose -j + 11 = -w*z + 4*z, -2*j = -2*z - 16. Does 3 divide j?
True
Suppose -2 = -n - 0. Suppose -n*v + 7 + 1 = 0. Let l = v + 34. Is 13 a factor of l?
False
Suppose 0 = -5*t - 5*a + 140, -2*a - 154 = -283*t + 278*t. Does 2 divide t?
True
Let x be (-5 - -2) + 3*1. Suppose x = 3*a - 160 + 22. Is a a multiple of 10?
False
Suppose 0 = 3*s + 3*f, -2*s = -f + 2*f. Suppose s = 4*h + x + 20, -2*h + 3*x + 2*x - 10 = 0. Is 12 a factor of (2 + h)*(-13)/1?
False
Suppose f = -a - 1, -24 = 5*a - 2*a - 4*f. Is (a/(-20))/((-2)/(-170)) a multiple of 5?
False
Let t(d) = d + 1. Let y(k) = 2*k**3 - k**2 + 7*k + 8. Let x(o) = 2*t(o) - y(o). Does 15 divide x(-2)?
False
Let o = 5262 + -2047. Is o a multiple of 13?
False
Let r be 1 + -4 - (-6 + -1). Suppose -r*t - 29 = 5*z - 1, 5*t - 2*z = -35. Let v(i) = i**3 + 6*i**2 - 8*i - 5. Is v(t) a multiple of 2?
True
Suppose 4*q - 292 = -3*t, -q = -0*q + 5*t - 73. Is q a multiple of 16?
False
Let a(p) = -18*p**3 + 4*p**2 + 8*p + 12. Is a(-5) a multiple of 9?
True
Let p be (-14)/(-49) - 4/14. Suppose r + p*r = 5. Suppose -3*o + 2*b + 207 = r*b, -5*b = -o + 39. Does 13 divide o?
False
Let x = 473 - -10. Is 69 a factor of x?
True
Is (-5)/2 - ((-8892)/(-8))/(-9) a multiple of 3?
False
Let v = -97 + 92. Let o(h) = 2*h**2 - 2*h + 10. Let a(s) = -3*s**2 + 2*s - 11. Let r(g) = -3*a(g) - 4*o(g). Does 8 divide r(v)?
True
Does 55 divide 6928/14 + 134/938?
True
Let d = 7 - 5. Suppose 5*a = d*a - 207. Let g = -42 - a. Is 9 a factor of g?
True
Suppose 5*s + k - 14 = 2*k, k = -5*s + 6. Suppose 2*u + 78 - 224 = v, 5*u + s*v - 356 = 0. Does 36 divide u?
True
Let b(k) = 18*k**3 - 6*k**2 + 5*k - 6. Is 21 a factor of b(3)?
True
Suppose -13*i + 13680 = 7*i. Is i a multiple of 49?
False
Let v(r) = r**2 + 8*r + 9. Let j be v(-8). Suppose -16 + j = -n. Is n even?
False
Let x(y) be the second derivative of y**7/280 - y**6/240 + y**5/60 + 7*y**4/12 + 5*y. Let d(w) be the third derivative of x(w). Is 14 a factor of d(3)?
False
Suppose 8*y - 155 - 5 = 0. Let z = -13 + y. Is z a multiple of 7?
True
Let b be (-6)/7*(17 + -122). Suppose -3*y = -5*s + 1047, -s + b + 133 = -4*y. Is 40 a factor of s?
False
Suppose 5*a = -5*l - 0*a - 25, 0 = 2*l - a - 5. Suppose l = -4*i + 33 - 153. Let m = 50 + i. Is m a multiple of 10?
True
Is 55 a factor of -1383*((32/(-12))/(-1) + -3)?
False
Suppose 0 = -5*b + 5*p - 30, -3*b + 2*p = -2*b + 9. Is 91 + (1 - b) + -2 a multiple of 31?
True
Suppose 2*k - 24 = -3*o - o, 5*o - 23 = -2*k. Is (-2)/(-14) + 866/k a multiple of 11?
False
Let k be (-6)/10 - 8/20 - -5. Suppose -2*n = k*u - 280, 6 - 3 = -3*u. Does 18 divide n?
False
Let o(z) = -5*z + 466. Does 16 divide o(42)?
True
Suppose -11 = -7*w - 18. Is 29 a factor of ((-168)/36)/(w/57)?
False
Let i be (-4 - (-12 - 1)) + -2. Let h = 22 - i. Suppose 4*r = 239 - h. Is 28 a factor of r?
True
Suppose -3*w - 7*w = -370. Let v = -5 + w. Is v a multiple of 3?
False
Let c = -457 + 747. Does 5 divide c?
True
Suppose 2*i + 3*s + 30 = 0, 0 = 3*s + 3 + 3. Is ((-225)/i)/(-4 - (-17)/4) a multiple of 15?
True
Let o(f) = -6*f + 6. Suppose 36 = -4*h + 4*c, -h - 4*c = 2*h + 6. Let w be (-15)/h*-2 + -1. Is 14 a factor of o(w)?
True
Suppose -12*t + 7*t = -1075. Is 18 a factor of t?
False
Let a(t) = -t**3 - t**2 - 4. Let r be a(-3). Does 4 divide r/77 + (-260)/(-22)?
True
Let c(j) = -j + 1. Let k be c(-1). Suppose 2*y + 2*o = 88, -k*y - 92 = -4*y - o. Does 10 divide y?
False
Suppose 0 = 5*x - 2*p - 14, 4*x - 2*p = 3*x + 6. Suppose 0 = d + x, 3*q - d + 3*d = 203. Let b = -46 + q. Does 16 divide b?
False
Let w(q) = -2*q - 27. Let m be w(-6). Is 16 a factor of (-4)/((m/20)/(-1 - -13))?
True
Let i(w) = -w**2 + 10*w + 13. Let s be i(11). Suppose 7*g - 20 = s*g. Suppose -g = -f + 6. Is f a multiple of 8?
False
Is 35 a factor of ((-6)/(-9))/((-77)/(-32109))?
False
Let f(u) be the third derivative of 5*u**4/24 + u**3/6 - 3*u**2. Does 14 divide f(3)?
False
Suppose 0 = -5*h - h + 678. Let m = 180 - h. Does 17 divide m?
False
Suppose 2*q = 11 - 1, 5*l - 5*q = -35. Let z(h) = -3*h**2 + h. Let v be z(l). Does 20 divide ((-136)/28)/(2/v)?
False
Let c(s) = 16*s**2 - 6*s - 6. Let u(i) = 15*i**2 - 7*i - 7. Let p(o) = 5*c(o) - 4*u(o). Is 15 a factor of p(-1)?
False
Let g be (86/(-10))/(-1) - 6/(-15). Does 7 divide g + -4 - (-106 + -1)?
True
Suppose 6 + 234 = -10*f. Let g = f + 65. Does 13 divide g?
False
Suppose s + 2856 = 4*b + 5*s, 0 = 5*b + 2*s - 3567. Is b a multiple of 23?
True
Let r = -12 + 11. Let y = r - -20. Is 14 a factor of y?
False
Let b(z) = z**3 - 5*z**2 + 9*z - 9. Is b(6) a multiple of 19?
False
Is 85 a factor of ((-1242)/(-552))/((-6)/(-6736))?
False
Let d = 14 - 23. Let n be ((-12)/18)/((-1)/d). Does 11 divide 1*(-1 - 3*n)?
False
Let y(b) be the first derivative of -b**3/3 - 7*b**2 - 9*b - 9. Is y(-9) a multiple of 9?
True
Let u be -18*(-4)/24*3 + 1. Let a(s) = -3*s**3 + 10*s**2 - 8*s - 1. Let q(l) = -16*l**3 + 50*l**2 - 41*l - 4. Let g(c) = -11*a(c) + 2*q(c). Does 21 divide g(u)?
True
Let p = 63 + -31. Suppose 2*n - 2*c + 63 = 15, -5*n - 5*c = 150. Let i = n + p. Is i a multiple of 3?
False
Let c(s) = 3*s**2 - 7*s + 4. Let o(t) = -t + 28. Let g be o(12). Suppose 5*j - g = j. Is 5 a factor of c(j)?
False
Let t(k) = k**2 - 3*k + 2. Let v be t(4). Suppose -2*q + 5*h = -61, -v*q = -2*q + 4*h - 164. Does 9 divide q?
False
Let p(b) = 8*b - 1. Let a be p(1). Suppose -a = -l - 2. Suppose -4*j + l = -3*j. Is 5 a factor of j?
True
Let y be ((-33)/(-12))/(1/4). Let c = 4 - y. Let b = c + 41. Does 17 divide b?
True
Suppose 9*s = -7 + 187. Is 4808/s - 4/10 a multiple of 11?
False
Suppose -i - 3*z = 138, 3*i - 6*z + 5*z = -374. Let w = -53 - i. Does 29 divide w?
False
Let z = 0 + 2. Let q = -4 + z. Does 5 divide (3/q)/((-2)/20