287, -4*r - a = -v. Is 16 a factor of v?
True
Suppose -2*i + 48 = 6*i. Suppose -p + 465 = -0*y + 4*y, -i = 2*p. Is 13 a factor of y?
True
Let q(w) = w**2 - 9*w + 16. Let i be q(-12). Suppose -2*g - 5*x = -x + i, -4*x = 12. Is 5 a factor of g/(-48)*(-9)/(-2)?
False
Let n(j) = -j**3 - 30*j**2 + 34*j + 275. Is n(-31) a multiple of 2?
True
Suppose 0 = 10*d - 720 + 10. Is 9 a factor of d?
False
Let w = -165 - -325. Is w a multiple of 10?
True
Let z(t) = -3*t**3 - 3*t**2 + t + 4. Let d(r) = -1. Let n(h) = -5*d(h) - z(h). Let o be n(2). Let v = 2 + o. Is v a multiple of 14?
False
Suppose 4 = p - 4. Let x = 56 + p. Does 16 divide x?
True
Let y(n) be the second derivative of n**5/20 + 4*n**4/3 - n**3/3 - 17*n**2/2 - 9*n. Does 5 divide y(-16)?
True
Suppose 4*o + 10 = -3*d, 4*o + 20 = -6*d + 2*d. Let n = 146 - 113. Let x = n + d. Is 6 a factor of x?
False
Suppose 22 + 38 = -3*x. Let b = -24 - x. Let p(i) = -i**3 + 2*i**2 + 5*i - 1. Is 28 a factor of p(b)?
False
Suppose -40*g + 5713 = -62367. Is 46 a factor of g?
True
Suppose 9*a = 12*a - 543. Let p = -46 + a. Suppose 0 = 5*v - 5*n - p, -3*v - 5*n = -v - 54. Does 12 divide v?
False
Suppose 93 = 2*y + 11. Suppose 115 = -5*h - u + 11, 2*h + u = -y. Is 8 a factor of (-7)/14 + h/(-2)?
False
Suppose 4*t - 1452 = -4*h, -h - 2*t = -493 + 131. Is h a multiple of 13?
True
Suppose -39 = -5*m + 3*w, w - 5*w - 12 = 0. Let j = 6 - m. Is 13 a factor of (j + 1)/1*34?
False
Suppose 0 = w - 70 - 70. Suppose -3*p = -p - w. Does 10 divide p?
True
Let y(s) = -34*s - 48. Is y(-8) a multiple of 32?
True
Suppose -c + 2*c = 0. Let s be ((-1)/3)/(9/(-81)). Suppose 2*o + 4*v - 28 = -c*o, s*o - 3*v = 15. Is o a multiple of 4?
True
Let r(o) = 55*o**2 - o - 7. Is r(3) a multiple of 27?
False
Let m be 3/(-12) - 2253/12. Let k = -72 - m. Does 29 divide k?
True
Suppose 0 = -b - 26 + 28. Suppose -2*r + 6*r + 240 = 4*q, -b*q - 3*r + 120 = 0. Is q a multiple of 20?
True
Let w(i) = i**2 + i. Let l(k) = 5*k**2 - 6*k + 7. Let c(o) = l(o) - 3*w(o). Is 12 a factor of c(5)?
True
Suppose 5*l - 10 = -3*g + 6*l, -15 = -3*l. Suppose 0 = j + 5*b - 66, -5*b = -5*j + 235 + 35. Suppose 4*u = -y - 0*y + 90, g*y + j = 3*u. Is 14 a factor of u?
False
Suppose -96 = -8*j + 6*j. Let h = 85 - j. Is h a multiple of 5?
False
Let z be (-2)/((-32)/(-4)) - 213/12. Is z/(-63) + (-1032)/(-14) a multiple of 16?
False
Let n(m) = m**2 + 6*m + 6. Let a be n(-5). Suppose -2*c + s = -a, 5*c - 4*s - 3 = 1. Suppose -h = -5*z - 63, c*h + 189 = 3*h - 2*z. Is 22 a factor of h?
False
Let k = 323 + -80. Suppose 3*p + 3*u - k = 0, 4*p + 0*p + 3*u = 326. Does 13 divide p?
False
Let a(j) = j**3 - 6*j**2 - 7*j + 20. Let i be a(10). Let t = 642 - i. Is 24 a factor of t?
False
Suppose -2*p + 4*a = -0*a + 8, 2*a = 8. Suppose -p*q + 164 - 104 = 0. Is 2 a factor of q?
False
Let b(n) = 4*n**3 + 3*n**2 + 8*n - 5. Does 15 divide b(5)?
False
Let i(v) = -v**2 + 23*v - 25. Let z be i(22). Let w = 43 + z. Is 5 a factor of w?
True
Let k = 1 + -4. Let h be (-5)/2 - 1350/(-36). Let t = k + h. Is t a multiple of 10?
False
Let x be (-30)/(-8) - 5/20*-1. Suppose x*b + 53 = 3*q, -b = q + 2*b - 9. Does 8 divide q?
False
Let j(y) = y**3 - 12*y**2 - 7*y + 18. Let a(p) = -p**3 + 13*p**2 + 8*p - 18. Let g(m) = -2*a(m) - 3*j(m). Does 18 divide g(9)?
True
Suppose i = -3*z - 0*i + 5890, 2*z - i - 3935 = 0. Let u = 904 + z. Does 22 divide u/133 - 6/(-14)?
True
Suppose -88*v = -74*v - 12208. Does 55 divide v?
False
Let r = 3017 + -836. Is 57 a factor of r?
False
Suppose 21 - 11 = 5*y. Is (-59)/(-2)*y*24/12 a multiple of 11?
False
Let i be (-2)/(-7) - 993/21. Let k = -27 - i. Does 19 divide (-24)/k*75/(-2)?
False
Let x be (-1)/((6/10)/(-3)). Let v = 29 + -8. Suppose -18 - v = -4*t + 5*k, 4*t - 49 = -x*k. Is 7 a factor of t?
False
Is (-19300)/(-30) + -2*(-3)/9 a multiple of 37?
False
Is (1*8/4 - 3) + 131 a multiple of 11?
False
Let g = -19 + 19. Suppose g = -0*d - 4*d + 160. Does 20 divide d?
True
Suppose -z = 2*z. Suppose z = 4*c + 4*m - 32, -4*c - 17 + 41 = -4*m. Is 4 a factor of c?
False
Let j(n) = -n**2 - 7*n. Let f be j(-6). Let o be (-104)/(-12) - (-2)/f. Does 5 divide 14/3 + 3/o?
True
Suppose -l - 79 + 1558 = 3*c, 0 = -5*c - 2*l + 2465. Is c a multiple of 15?
False
Suppose 4*h = -4*u + 276 + 1052, -3*u = -5*h + 1668. Is h a multiple of 2?
False
Let u(m) = 3*m**2 - 5*m - 33. Is u(-24) a multiple of 15?
True
Suppose v - 3*a + a + 6 = 0, v + 5*a - 15 = 0. Suppose v*l + 189 = 3*l. Is l a multiple of 21?
True
Suppose 5*i - 4*s + 3 - 11 = 0, -3*i = -2*s - 6. Suppose 69 + 111 = 5*w - y, -3*w - i*y = -108. Does 8 divide w?
False
Let a(b) = -b**3 + 8*b**2 - 2*b + 22. Let p be a(8). Let q(g) = 105*g - 1. Let o be q(1). Suppose -2*y = 4*t - o, p*y = 3*y + 12. Does 6 divide t?
True
Suppose 2 = -3*i - 2*k + 24, 4*k = 3*i - 28. Suppose 4*c = -i*c + 432. Does 12 divide c?
True
Let a(c) = -c**3 + 7*c**2 + 2. Let l be a(7). Let u(t) = -17 + 15*t + 13*t**2 + 5*t**3 + 7*t**l - 4*t**3 - 5. Does 18 divide u(-19)?
True
Let u be (-2)/5*1720/(-4). Suppose -12*w + 16*w = u. Is w a multiple of 5?
False
Does 59 divide (-767)/26*33*(-6)/9?
True
Suppose 0 = 3*r + 4*a + 4, -r - 2*a = 2*a + 4. Suppose -h + k + 19 = -21, r = 3*k. Is 6 a factor of h?
False
Let n(a) = -11*a - 3. Let d be n(-2). Let i = 0 - -5. Suppose 4 = -i*l + d, -3*l = -3*m + 18. Is 3 a factor of m?
True
Let z(k) = -232*k - 27. Is 65 a factor of z(-6)?
True
Let n(o) = 2*o**2 - o + 7. Let g(w) be the first derivative of -w**3/3 - 3*w**2 - 2*w + 8. Let q be g(-5). Is 6 a factor of n(q)?
False
Let o(v) = 24*v**2 + v + 1. Let i(c) be the first derivative of c**3/3 + 3*c**2/2 + c + 6. Let s be i(-2). Is 12 a factor of o(s)?
True
Suppose 453 - 838 = -p. Is 11 a factor of p?
True
Suppose -3*o - 4*b = -8, b + 24 = 5*o - 3*b. Let c(m) = 3 + 1 + 5*m - o*m. Is c(4) a multiple of 4?
True
Suppose 3*r - 92 = 28. Is r even?
True
Let p(y) = -13*y**2 - 200*y + 15. Does 63 divide p(-10)?
False
Suppose -5*k - 92 + 277 = 0. Is k + (3/(-3) - -3) a multiple of 20?
False
Let a(g) = g**3 + 23*g**2 - 25*g - 74. Is 10 a factor of a(-22)?
True
Let b(d) = 2*d + 42. Let v be b(17). Is 15 a factor of 11*(0 + v/4)?
False
Let p(b) = -b**3 - 20*b**2 - 33*b + 33. Is 23 a factor of p(-19)?
True
Suppose -q - 5*l = -15, -2*q - q - 3 = -l. Let k be (q - -2)*(4 - 5). Is 464/40 + k/(-5) a multiple of 12?
True
Let g be -2*(-1)/8 + (-1365)/(-156). Is 9 a factor of 3*-3*(-219)/g?
False
Let h = 3087 + -1753. Is h a multiple of 23?
True
Let g be 14/(-6)*(3 + 6). Let s be 2/6 + (-644)/g. Suppose -4*p + s = -5. Is 2 a factor of p?
False
Does 51 divide (-74)/481 - 12770/(-26)?
False
Let j = -363 + 745. Is 14 a factor of j?
False
Suppose 0*t + 4*t - c = 15, t + 20 = 5*c. Let j = 4 - t. Does 5 divide j*19*(-1)/1?
False
Suppose -17*f = -25*f. Suppose 4*u - 344 = 5*p, 2*u + p - 158 = -f*p. Is u a multiple of 27?
True
Let n(h) be the third derivative of -1/12*h**4 + 0*h - 7*h**2 + 1/60*h**5 - 1/3*h**3 + 0. Is n(6) a multiple of 8?
False
Let n(u) be the second derivative of u**4/6 + u**3/2 - 5*u. Let d be n(-2). Suppose -50 - 46 = -d*g. Does 16 divide g?
True
Suppose -5*h + 3*h = -40. Suppose -b = 5*z - 94, 6*z = z + h. Let n = -46 + b. Is n a multiple of 14?
True
Let h = -4 - -9. Suppose -o = -h - 13. Does 5 divide o?
False
Suppose 2713 = 10*c + 733. Does 9 divide c?
True
Suppose -45*i - 171 = -48*i. Is 24 a factor of i?
False
Let n = -34 - -45. Suppose -n*c + 10*c + 72 = 0. Suppose -c = -17*d + 13*d. Is d a multiple of 18?
True
Let i(r) = -r**3 + 14*r**2 - 11*r - 8. Let c be i(13). Suppose 17*x + 36 = c*x. Is 17 a factor of x?
False
Let b(x) = 150*x + 5. Let k(l) = l + 1. Let u(c) = b(c) - 3*k(c). Let d be u(1). Suppose -5*w - o = -47 - 216, 3*w + 5*o - d = 0. Is w a multiple of 30?
False
Let a(s) = -s**3 - 20*s**2. Let n be a(-20). Suppose n = 2*y - 105 - 125. Does 8 divide y?
False
Suppose 0 = -2*n + 5*p - 3, -17 = 3*n - 0*p + 5*p. Let g = 343 - 225. Is 5 a factor of n/(-12) - g/(-6)?
True
Let y(r) = 3*r**2 + 33*r - 100. Does 65 divide y(-26)?
False
Let j(q) = -3*q**3 - 2*q**2 - 15*q - 76. Is j(-5) a multiple of 54?
True
Let b be (-6)/(-9)*(-3)/(-2). Let w be b/((-4)/6 + 1). Does 11 divide (20/w)/((-2)/(-15))?
False
Let p = 10 + -14. Let d be ((-1444)/(-6))/(p/(-6)). Is 16 a factor of d/11 - (-6)/33?
False
Let g be