4*o + 2 = 18. Suppose 3*p = -2*u + 202, -336 = -o*p - 5*u - 55. Is 17 a factor of p?
False
Suppose -3*q - 5*u + 3 - 18 = 0, -u - 3 = 3*q. Suppose q*z + 4*z = -n + 216, -5*n - z = -985. Is n a multiple of 14?
True
Suppose -5*j + 161 = i, 0 = -3*i - 6 + 9. Does 32 divide j?
True
Let f(d) = d**2 + 7*d - 5. Suppose 0*y = y - 4. Does 6 divide f(y)?
False
Suppose 788*d = 795*d - 1855. Is d a multiple of 8?
False
Let j(s) = 12 - 19 - 5 - 16*s. Is 16 a factor of j(-2)?
False
Suppose 0 = 4*q + 16, c - 2*c - q + 1 = 0. Suppose -s - 24 = -4*r, 4*r - c*s = -s + 12. Suppose -5*t = -i - 30 - 11, -r = t - 4*i. Is t a multiple of 9?
True
Let y(x) = -90*x**3 - 3*x**2 + 3*x - 1. Let h be y(-3). Let t = -1145 + h. Is 5 a factor of t/80 + (-3)/5?
True
Let a(k) be the second derivative of k**4/3 + 5*k**3/2 + 21*k**2/2 - 27*k. Does 13 divide a(-6)?
False
Let p = -3329 + 4907. Is 18 a factor of p?
False
Let y = 4870 + -7768. Is 0 + (y/(-27) - (-4)/6) a multiple of 14?
False
Let b = -13 - -22. Suppose 0 = -2*v + 4*h + 5 + b, 3*h - 32 = -v. Suppose 50 = 3*n + v. Is n a multiple of 4?
False
Let b be -23 + (0 - (-1 - -2) - -1). Let z(n) = n**2 + 17*n - 5. Does 19 divide z(b)?
True
Suppose -3*t + 36*s - 35*s + 1794 = 0, 0 = -t + 5*s + 598. Is t a multiple of 26?
True
Suppose -2319 = -7*z + 3414. Is 15 a factor of z?
False
Suppose 0 = 5*j + 2374 - 9814. Is j a multiple of 16?
True
Let v = 0 - 1. Let b be 0 - v - (-5 - 1). Suppose 0 = s + 2*p + b - 1, -2*s + 5*p = -24. Is s even?
True
Is 5 a factor of 2373/15 + ((-3)/5)/3?
False
Let h = 601 - 509. Is 23 a factor of h?
True
Let d = 77 + -295. Does 5 divide d/(-11) + (-12)/(-66)?
True
Let l = 32 + -44. Let v(w) = 7*w - 5. Let n be v(5). Is 347/5 + l/n a multiple of 23?
True
Suppose h + 275 = s, 5*s + 4*h = h + 1367. Let f = -186 + s. Does 22 divide f?
True
Suppose -4*y + 187 = -37. Is 33 a factor of y?
False
Let m = 5 - 1. Suppose 2*n = -5*w + m*n + 575, n = -5. Does 21 divide w?
False
Does 8 divide 420 - ((-162)/(-36) + (-1)/2)?
True
Is 49 a factor of 1*(-13 - 88)*(2 + -41)?
False
Let l(r) = 5*r + 1. Let p be l(-1). Let a be (-3)/6 - 986/p. Suppose -a + 90 = -4*h. Does 13 divide h?
True
Let s(m) = -m**3 + 13*m**2 - 15*m + 19. Does 6 divide s(9)?
False
Let p(l) = 34*l - 2. Let f be p(-1). Let m be (f/(-63))/(1/7). Suppose 80 = u - m*d + 31, 4*d = -20. Is u a multiple of 29?
True
Suppose -35*v = -27*v - 1800. Is v a multiple of 15?
True
Suppose -3*z - j = -5*j - 26, -3*z + 24 = -3*j. Suppose 3*w = 5*y + 499, 0 = 2*w - z*w - 5*y + 642. Is w a multiple of 28?
False
Suppose 0 = -15*s - 29*s + 20944. Is s a multiple of 28?
True
Suppose 180621 = 66*o + 20703. Is o a multiple of 18?
False
Does 40 divide (6/9)/((-9)/(-10260))?
True
Let k(n) = -n**3 - 6*n**2 + 2*n + 8. Let p be k(-6). Let m = 458 + -464. Is 11 a factor of p*(81/m - 0)?
False
Let z(p) = 32*p**2 + 3*p - 2. Let d(q) = q**2 + 6*q + 7. Let y be d(-5). Let u be z(y). Suppose 0*k + 4*k = u. Is k a multiple of 13?
False
Let r = 1033 + -415. Does 6 divide r?
True
Let i(u) = -37*u - 310. Is i(-17) a multiple of 20?
False
Suppose 8 - 18 = 2*g, 5*n + 4*g - 8260 = 0. Does 46 divide n?
True
Let t(k) = 10*k**2 - 2*k. Suppose -2*j = -6*j + 16. Let u be t(j). Suppose -h = 2*y - u, 4*y + 2*h + h = 306. Is y a multiple of 25?
True
Let j(g) = 2*g**2 + 38*g + 225. Is 13 a factor of j(-26)?
False
Suppose 0 = 4*o - 3*i + 19, -o + 3 = i - 1. Is 7 a factor of ((-8)/16)/(o/28)?
True
Let z(u) = 7*u - 14 + 4*u - 15*u. Let t be z(-6). Let o = 16 - t. Is 6 a factor of o?
True
Let h(c) = -c**3 - c**2 - 2*c + 1. Let o be h(-3). Let f(n) = -n**2 + 9*n - 2. Let k be f(7). Let u = o - k. Is 13 a factor of u?
True
Suppose -3*n + 6 = -5*a + 3, -4*a = -3*n + 3. Suppose 0 = -2*h + 4*w - 2, -h + w + 2 + 2 = a. Is h a multiple of 3?
True
Suppose -1 = v - 2*h - 7, -5*v + 6 = 2*h. Suppose 3*n = -2*l + 100, v*n - l + 155 = 7*n. Does 5 divide n?
True
Suppose 4*o = -2*c + 4078, -3069 = 5*o - 8*o + 2*c. Is 69 a factor of o?
False
Suppose -3*g + 1037 + 1069 = 0. Is 16 a factor of g?
False
Let a = -112 - -108. Does 17 divide (1 - (-6)/a)/(11/(-5698))?
False
Let v = 366 - 132. Is 18 a factor of v?
True
Suppose -132*h - 2002 = -2*p - 129*h, h + 3994 = 4*p. Does 7 divide p?
False
Let x be (-9 - -1)*(-1989)/52. Let b = x + -215. Is b a multiple of 13?
True
Let l(f) = 33*f + 19. Let t be l(-8). Let n = 476 + t. Is 21 a factor of (n/(-55))/((-1)/5)?
True
Let h = 57 + 852. Does 10 divide h?
False
Is (-12755)/(-9) - 15*12/810 a multiple of 18?
False
Suppose 0 = -4*p + 4*s - s + 36, 2*s = -2*p + 18. Let l be ((-30)/p)/(4/18). Is 7 a factor of 8/12 - 95/l?
True
Suppose -p = 0, 2*d - 4*p = p + 8. Is 32 a factor of -256*1/((3 - d)*1)?
True
Let u(a) = -a - 16. Let t be u(-13). Let l = -3 - t. Suppose -z + 55 - 12 = l. Is 30 a factor of z?
False
Suppose 5*y - 3*c = -455, -3*c + 0 = -15. Does 13 divide ((-78)/(-8))/((-33)/y)?
True
Suppose -3*z + 2*p = -658, -5*p - 144 = 5*z - 1224. Does 2 divide z?
True
Suppose 0 = -32*y + 85 + 363. Is y a multiple of 3?
False
Suppose -3181 = -9*v + 68. Is 61 a factor of v?
False
Suppose 5*p + 4*l + 2409 = 12662, l - 2050 = -p. Is p a multiple of 57?
False
Let q be (-111)/(-21) + (-2)/7. Let y = -5 + q. Is (-23 - y)/((-4)/8) a multiple of 12?
False
Let l = 14 + -12. Suppose -l*j + 3*j = 62. Is j a multiple of 9?
False
Is (6/(-10))/(7/((-345520)/16)) a multiple of 90?
False
Suppose 3*z + z = 2*p + 834, -z = 4*p - 204. Let t = z - 102. Suppose -2*h - 293 = -5*x + t, 391 = 5*x + 2*h. Does 14 divide x?
False
Is (6 - (-4 + 7)) + 19 a multiple of 14?
False
Let a be 2/3 - 731/(-51). Is 46 + 4*a/12 a multiple of 18?
False
Suppose 10 = -2*j, -o - 3*j - 9 = 9. Let g = 14 + o. Does 26 divide 915/g + 4/(-22)?
False
Let i = 42 - 23. Let u = -17 + i. Is 29/(-2)*(0 - u) a multiple of 12?
False
Let z = 222 - -15. Suppose -2*y + 4*a + z = 3*y, -y = -2*a - 51. Is 15 a factor of y?
True
Suppose -z - 5*z - 54 = 0. Let v be (-1)/((-2)/(-42)*-1). Let h = v + z. Does 4 divide h?
True
Does 7 divide (-1)/(4/(-28)) - -468?
False
Let n = 1649 + 532. Does 31 divide n?
False
Suppose 5*k - 536 = -3*l, -192 = -l - 7*k + 2*k. Is 43 a factor of l?
True
Let z(a) = 64*a**2 + a - 20. Let s be z(-4). Suppose s = u + 4*u. Is u a multiple of 12?
False
Suppose 0 = 2*h + 2*p - 16 - 0, 6 = 3*h - 3*p. Suppose 5*f + 5*v - 50 = 0, 0*f - h*v = -2*f - 1. Let s(j) = -j**3 + 9*j**2 - 11*j + 8. Is 9 a factor of s(f)?
False
Suppose -3*u + 12 = -u. Suppose 60 = -l + u*l. Let q(h) = -h**3 + 11*h**2 + 14*h - 5. Does 9 divide q(l)?
False
Suppose -2*m - 8 = 0, -2*l = -4*m - 26 + 4. Suppose -l*h + a = -0*a + 3590, -h = 2*a + 1192. Is 10 a factor of (-2)/(-7) + h/(-28)?
False
Let k = 23 + -11. Suppose 134 = -10*l + k*l. Is l a multiple of 12?
False
Suppose 64*u - 2870 = 59*u. Does 49 divide u?
False
Does 5 divide (-1)/4*6*18020/(-51)?
True
Suppose -46*v + 9635 + 4303 = 0. Is v a multiple of 62?
False
Suppose -30*m = -26*m - 640. Is 5 a factor of m?
True
Let t = 1 - 149. Let i = -75 - t. Does 14 divide i?
False
Let v = -918 - -1768. Is 5 a factor of v?
True
Is 21862/6 + 116/87 a multiple of 15?
True
Let l = 177 + 2293. Is 19 a factor of l?
True
Suppose 0 = -4*m - 5*l + 119, -92 = -5*m - 5*l + 63. Is 2 a factor of m?
True
Let c(i) be the second derivative of 3*i**5/2 + i**4/6 - 5*i**3/6 + 4*i**2 - 2*i. Does 41 divide c(2)?
True
Let w = -3 + 7. Suppose -4*z - 2 + 10 = 0, v - 127 = w*z. Does 12 divide v?
False
Let x(p) = -34*p + 11. Let f be x(-4). Suppose 9*k + f = 12*k. Does 9 divide k?
False
Let t be 7*2/(-6)*27. Suppose 17*p - 18*p = 158. Let r = t - p. Does 20 divide r?
False
Suppose 3*b = 26*z - 23*z + 30, -5*z - 5 = -2*b. Is 15 a factor of b?
True
Suppose 1 = -10*d - 69. Is (d/(-7))/(1/38) - 2 a multiple of 4?
True
Does 7 divide (-8)/((2/(-12))/((-441)/(-42)))?
True
Let j be (2 - 0)*(-75)/(-10). Suppose -y + 99 - j = 0. Is y a multiple of 28?
True
Let i be 2/(-2) - (3 - -1). Let y = i + 15. Does 17 divide ((-4)/y)/((-4)/200)?
False
Is 8 a factor of (-25866)/(-72) - 9/(-12)?
True
Is (-4949)/(-7) - (15 - 7) a multiple of 6?
False
Is 52/(-44) + 1 + (-23512)/(-88) a multiple of 6?
False
Suppose -3*l - 60 = 5*i, -4*l + 0*i - 45 = -5*i. Let v = -13 - l. Is 2 a factor of v?
True
Suppose 0 = x - 5*b - 965, 3*x - 5*b = -0*b + 2885. Is x a multiple of 14?