 Does 18 divide (-2145)/(-25) + b/(-5)?
False
Suppose 4*v = 9*v - 15, -2*c - 5*v = -29. Let y(n) be the third derivative of 11*n**4/24 + n**3/2 + 4*n**2. Is y(c) a multiple of 32?
False
Suppose 17*s = 11*s + 12. Suppose 71 = u - s*v - 70, 0 = u - 5*v - 147. Is 5 a factor of u?
False
Let k(n) = -6*n**3 - 2*n**2 - n. Let i be k(-1). Suppose 10 = 3*y + 5*o, -y - i*o = -10 - 0. Suppose u = 18 - y. Is 18 a factor of u?
True
Suppose 5*j - 121 = 4*c, c + 0 - 1 = 0. Let s = -16 + j. Let i(l) = 7*l - 20. Does 9 divide i(s)?
False
Suppose 0 = -4*s + 14 + 10. Suppose 5*n + s = 1. Does 24 divide n/(1 - (-147)/(-144))?
True
Let q(j) = -4*j**3 + 13*j**2 + 13*j + 7. Does 59 divide q(-5)?
True
Is (-10 + 5)/(1/(-65)) a multiple of 21?
False
Suppose -2 = -3*f + f. Let v be (34/4)/((-19)/(-114)). Let j = f + v. Is j a multiple of 26?
True
Suppose -2*b + 4*i + 50 = 0, 5*b - i - 117 = i. Suppose q - 67 = b. Is q a multiple of 25?
False
Let d be (-1 + -1)/(4/(-114)). Suppose 0 = -4*j - g + 139, -3*j + 5*j - d = -3*g. Let i = j - 23. Does 13 divide i?
True
Let o(u) = u**3 - 4*u**2 - 3*u - 7. Let h = 46 + -39. Is 7 a factor of o(h)?
True
Let h be (3 - 66/18)*1542/4. Let l = h + 455. Is 33 a factor of l?
True
Let l be 16/6*(-357)/(-28). Let v = l + 44. Is v a multiple of 13?
True
Let c = 15 + 95. Suppose c = 3*g + 8. Is g a multiple of 17?
True
Suppose -2*t - 5*u + 1048 = 0, -2*t = -4*t + 5*u + 1048. Does 3 divide t?
False
Let a(k) = -k**3 + 14*k**2 + 13*k + 36. Does 5 divide a(15)?
False
Let b be (-1)/(-3) + 1270/(-3). Let h = b + 598. Does 30 divide h?
False
Let k(b) = -b**2 - 4*b + 58. Is 58 a factor of k(0)?
True
Let u be 3 - 1*-48 - 3. Let x = -26 + u. Is 9 a factor of x?
False
Let a(h) = h + 8. Let c be a(10). Suppose 0 = j - 9 - 25. Let n = j - c. Is n a multiple of 4?
True
Let y(z) = -z**2 - 6*z - 3. Let v be y(-4). Let f be (v - 0) + 10/(-5). Suppose 0 = -f*r + 253 - 97. Is r a multiple of 14?
False
Suppose -26 = 7*n - 8*n. Suppose -5*s - 1 + n = 0. Is s a multiple of 5?
True
Suppose 0*k - 10 = -5*k. Suppose 2*g + 2*g = -4*h, -k*h + 3 = 3*g. Is 24 a factor of ((-90)/20)/(g/(-28))?
False
Let o = -492 + 1044. Is 24 a factor of o?
True
Suppose -60*d + 122 = -58*d. Is 3 a factor of d?
False
Let l(x) = -2*x**2 + 22*x - 47. Let t be l(8). Let s = 3 + -1. Suppose -b + 5 = -s*v, 4*v - 5 = -t. Is b a multiple of 7?
True
Suppose -1343 = -22*c + 5*c. Is c even?
False
Suppose -3*m + 646 = 4*w, -3*w - m = -386 - 96. Is 11 a factor of w?
False
Let q = 135 - 92. Is q a multiple of 9?
False
Suppose 7516*s - 7511*s = 22790. Is 86 a factor of s?
True
Suppose 0 = -x + 340 + 188. Is 25 a factor of x?
False
Let l(y) = -3*y**3 - y**2 - y - 1. Let c(n) = -2*n + 1. Let g be c(1). Let b be l(g). Suppose 4*u = x + 28, 3*u - 19 = -5*x + b. Is 7 a factor of u?
True
Let d be 8/6*(-18)/(-4). Let m = 12 + d. Is m a multiple of 9?
True
Let p(u) = u**3 - 5*u**2 - 5*u + 5. Let k be p(5). Is 250/k*(-16)/10 a multiple of 4?
True
Suppose 2*z - 108 = -4*o, -4*o + 3*z + z = -84. Suppose -o = -3*k - 3*a + 11, -4*k - a + 60 = 0. Is 4 a factor of k?
True
Let o be ((-3)/6)/(9/(-324)). Let n(m) = m**2 - 14*m + 8. Is 20 a factor of n(o)?
True
Suppose -2*p + 4*q + 7 = 19, 0 = -3*p - q + 10. Let l = 15 + p. Does 7 divide l?
False
Suppose 7*p = 4*p + 27. Suppose 4*k = 0, 2*d - 5*d = 4*k - p. Suppose -2*u + 30 = d*u. Is u a multiple of 6?
True
Let p(g) = 2*g**2 - g + 8. Let q be p(0). Let t(m) = -2*m + 5. Let u be t(q). Let z(r) = -r**3 - 11*r**2 - 3*r + 7. Does 15 divide z(u)?
False
Let v be 6/(-4) + 45/2. Let r = v + 36. Is 19 a factor of r?
True
Let f(s) = -s**3 + 15*s**2 + 9*s - 6. Is f(12) a multiple of 20?
False
Let g = 124 + -34. Suppose 91*s - g*s = 132. Is s a multiple of 44?
True
Suppose -30*t + 33*t = 2205. Suppose 8*x - t = x. Is 35 a factor of x?
True
Let d(s) be the third derivative of 29*s**4/8 - s**3/2 - 10*s**2. Is d(1) a multiple of 21?
True
Suppose -48*k + 19460 = -34*k. Does 13 divide k?
False
Suppose 0 = -2*v + 4*v - 20. Suppose 4*y = -y - v. Is 13 a factor of 3*(y + 17 - 3)?
False
Let b = -5 + 9. Let l = 9 - b. Suppose -66 + 21 = -l*x. Does 3 divide x?
True
Let r(q) = -2*q - 33 - 8*q + 12*q. Is 10 a factor of r(32)?
False
Let q(w) = -w**3 - 7*w**2 - 4*w + 10. Let k(s) = s**3 + 8*s**2 + 5*s - 10. Suppose 2*f - f - 4 = 0. Let g(o) = f*q(o) + 3*k(o). Does 21 divide g(-6)?
False
Suppose 3*v = 5*p + 2*v - 2142, -3*v = -6*p + 2565. Is p a multiple of 33?
True
Let p be (-18)/15*100/(-15). Is 21 a factor of (-5)/(10/p) - -36?
False
Let k be 12*(12/(-16))/(-3). Suppose 804 = 5*y + x, -460 = k*y - 6*y + 5*x. Is 20 a factor of y?
True
Suppose -2*l - 3*l = 5*h - 15, 5*h - 11 = -3*l. Suppose v - l*v + 14 = 0. Does 8 divide v?
False
Let k(x) = -x**3 - 3*x**2 - 3*x - 5. Let f be k(-2). Let g = 7 - -10. Let m = g - f. Does 5 divide m?
True
Suppose -4*v + 888 = -516. Is v a multiple of 11?
False
Suppose g = 3*g - 5*t + 3486, -t = 0. Let a be g/(-12) + (-5)/20. Let o = a + -81. Is 13 a factor of o?
False
Let m be ((-2)/(-3))/((-4)/(-12)). Suppose -4*r = -5*h + 284, m*h - 5*r - 127 = -27. Is h a multiple of 4?
True
Let t(v) = 5*v**3 - 9*v**2 + 12*v + 26. Let h(g) = -9*g**3 + 18*g**2 - 23*g - 51. Let q(x) = 6*h(x) + 11*t(x). Does 23 divide q(-8)?
True
Let y = 131 - 100. Is y a multiple of 21?
False
Let i(g) be the third derivative of g**5/60 - g**4/24 - g**3/6 + 2*g**2. Suppose o + 10 = 3*o - q, 2*q + 8 = 0. Does 2 divide i(o)?
False
Let b be ((-9)/6)/3*-284. Let s be (-28)/(-8) + 2/(-4). Suppose 4*a - b = -j + s*j, 0 = 5*a + 4*j - 171. Is a a multiple of 11?
False
Suppose 8*k = 9 + 399. Is k a multiple of 17?
True
Suppose -3*x = 4*t - x - 1924, t + 2*x = 484. Is 32 a factor of t?
True
Let p(w) = w**3 - 2*w**2 + 4*w - 1. Let d(j) = j**2 + 2*j - 10. Let y be d(-5). Suppose 0 = -y*n + 5*t + 25 + 10, 4*n + 3*t = 0. Is p(n) a multiple of 5?
True
Let q(l) = 3*l - 7. Let c be (-112)/7 + 3*1. Let s = c + 19. Is q(s) a multiple of 11?
True
Let n(w) = w**3 - 17*w**2 + 15*w + 19. Let f be n(16). Is 5 a factor of 1 - (f/(-4))/((-7)/(-336))?
False
Let d = 1000 - 314. Does 49 divide d?
True
Let k = 951 - 393. Is k a multiple of 62?
True
Let j = -24 - -33. Let g be (5 + -9)*j/(-12). Suppose 5*h = -4*y + 146, h + g*y + 2*y = 25. Does 19 divide h?
False
Suppose 8352 = 2*m - 2*z, -z + 3376 = -5*m + 24236. Does 13 divide m?
False
Does 21 divide (-10)/(30/(-5193)) - -3?
False
Let y = -1257 + 1857. Is y a multiple of 5?
True
Suppose -4*t = -4*h + t + 28, h - 7 = -5*t. Suppose -2*a + 932 = 2*u - h*a, -5*a + 481 = u. Is u/9 - 4/(-6) a multiple of 20?
False
Suppose 3*p - 7 = 2*a, -p + 5 + 4 = -4*a. Is 12 a factor of ((-117)/36)/(p/(-12))?
False
Let h(g) be the third derivative of -4*g**6/15 - g**5/60 - g**4/24 - g**3/6 - 8*g**2 + 2*g. Let l be (0 - (-3)/6)*-2. Does 24 divide h(l)?
False
Suppose 0 = -4*k + 12, 3*k + 5 = -v + 6*k. Let w be 20/(-90) - 597*(-8)/108. Suppose t + 2*t - w = j, 0 = -4*t + v*j + 56. Is t a multiple of 5?
True
Let v(b) = b**2 + 8*b - 20. Let d be v(-14). Suppose 1 = 5*f + 2*u + 7, 5*u + 15 = 3*f. Suppose -d = -f*j - 2*j. Is 16 a factor of j?
True
Suppose -4*j = 2*b - 7*b + 131, -3*b = -2*j - 79. Suppose -w = 8*m - 4*m - 7, b = -3*w + 4*m. Does 2 divide ((-4)/w)/((-6)/(-15))?
True
Let v = 34 - -5. Suppose 3*n + 5*l = 137, -14 = -5*l - v. Suppose -j - 10 = -n. Does 13 divide j?
False
Suppose 0 = -4*h + 6 + 10. Suppose 5*s - 43 = -3*x, -h*x - 3*s + 47 = -25. Does 12 divide x?
False
Let c = -1821 - -5023. Does 88 divide c?
False
Let x(o) = 21 - o**2 + 17 - 2*o - 10*o - 11. Is x(-13) a multiple of 12?
False
Suppose -2*y - 5*c = 28, c = 2*y - 6*y - 20. Let m = y - -19. Is m a multiple of 5?
True
Let x be 1/((8/1244)/2). Suppose 4*i = 5*r + x, 5*i - 221 - 179 = 4*r. Let z = i - 50. Is 32 a factor of z?
False
Let x(h) be the second derivative of h**4/12 + h**3/6 + 5*h**2/2 - 4*h. Let b be x(0). Does 2 divide ((-12)/b)/((-10)/25)?
True
Suppose 5*b + 27378 = 44*b. Does 54 divide b?
True
Let c(a) = -45*a - 19. Is 9 a factor of c(-8)?
False
Let j be 6/(-8) + 10/(-8)*-7. Does 4 divide (21 - j)/((-2)/(-6))?
False
Suppose 2*d - 114 = 3*f - 461, 462 = 4*f - 3*d. Does 9 divide f?
True
Let g(u) be the third derivative of u**5/60 - u**4/4 - 4*u**3/3 - 4*u**2. Is g(8) even?
True
Let t(p) = -4*p - 28. Let d be (-64)/6 +