5*u + 84. Is i a multiple of 9?
False
Suppose 4*w - 3*w - 5*q - 19 = 0, 35 = 5*w - 5*q. Suppose 5 = v + 5*x, w*v + 0*v + 5*x - 35 = 0. Let i = v - -3. Does 13 divide i?
True
Let h(y) = 4*y**2 + 1. Let u be h(1). Suppose 2*x - 2*s - 4 = 4, 5*s + 20 = -u*x. Let f = 80 + x. Does 20 divide f?
True
Let l be 7 + 1 + -7 + 3. Suppose 3*q = -q + l. Is 18 a factor of 2 - (1/q - 77)?
False
Let j(p) = 15 - p - 10 - 1 + 14 - p**2. Does 18 divide j(0)?
True
Let y = -90 + 134. Does 12 divide y?
False
Suppose c = -2*c + 588. Suppose 7*u - 3*u = c. Suppose -3*h + 44 = -u. Does 13 divide h?
False
Let d(p) = -p - 12. Let f be d(0). Let l be 4/5*(-30)/f. Let o = 3 + l. Is 4 a factor of o?
False
Let g(f) = f**3 + 3*f**2 - 17*f - 33. Let o be g(-5). Let p(l) = -l**3 + 6*l + 5. Let k be p(-5). Suppose 0 = 2*n + o*n - k. Is 11 a factor of n?
False
Let z = 91 + -62. Let y = z - 17. Does 4 divide y?
True
Let r(y) = y**3 - 4*y**2 + 5*y + 5. Suppose -j + 4 = 4*k - 5, 3*j = -5*k + 6. Let u be 6 + -2 + k + -3. Is r(u) a multiple of 25?
True
Let w be ((6 - -4) + -2)*5. Suppose 2*g - 29 - 19 = 4*a, w = -2*a + 5*g. Does 6 divide (14/a)/(5/(-25))?
False
Let o = 5 - -4. Suppose 2*b - b = 2*q - 4, 5*b - 16 = q. Suppose 0 = b*w - 83 - o. Is 13 a factor of w?
False
Let c(x) = x**3 - 34*x**2 + 66*x + 24. Is 22 a factor of c(32)?
True
Suppose 8946 = -546*o + 553*o. Is 9 a factor of o?
True
Does 6 divide (-4 + (-1136)/(-4))*(-54)/(-45)?
True
Suppose 2*p + w = 4*w + 3074, 5*p - 7702 = -w. Suppose 5*a = -0*a + p. Suppose 4*g - a = -4*v, 7 = v + 3. Does 16 divide g?
False
Suppose 0 = -w - w - 50. Is (-12)/10*w/2 a multiple of 6?
False
Let p be (-5)/(((-7)/12)/(-7)). Let l be (-1)/(3/p) - 3. Is l + 3 + 0 + 0 a multiple of 10?
True
Is 0 + 696/(4/(-24)*-6) a multiple of 36?
False
Let x(y) = y**2 - 5*y + 3. Let i be x(3). Let t be (2 + (-4 - i))*105. Suppose -4*f + f + t = 0. Is f a multiple of 11?
False
Suppose b - c - 86 = -0*c, 5*c + 25 = 0. Suppose 6*l + 111 = 2*a + l, -2*a - 5*l = -b. Let u = 141 - a. Does 29 divide u?
False
Suppose 77*o - 80*o - 2*y + 2199 = 0, 2937 = 4*o + y. Does 3 divide o?
True
Let t(h) = -h**2 - 8*h + 1. Let v be t(-7). Let d(p) = 3*p - 19. Let w be d(v). Is (w - 4)/(2/34) a multiple of 4?
False
Let s = -9 + 51. Let y be 114/s - (-2)/7. Suppose 215 = y*i - 10. Is i a multiple of 28?
False
Suppose -5*u - 3*j - 50 = -5*j, 2*u - 2*j = -14. Does 19 divide u/9 - 192/(-9)?
False
Let a be (-2 + 35)*(-6)/9. Let w = -21 - 16. Let k = a - w. Does 13 divide k?
False
Suppose -10*h + 20 = -5*h. Suppose -8*v = -h*v - 296. Is 13 a factor of v?
False
Suppose 2*b = 2*r + 5*b + 81, 2*r + 79 = -5*b. Let v = 122 + r. Does 16 divide v?
True
Let k(t) = 5*t**2 + 18*t + 17. Is 18 a factor of k(6)?
False
Let h be 15 - (0 - (-4 - -6)). Suppose 55 = 2*r + h. Suppose -2*p + r = -7. Does 13 divide p?
True
Let i = -493 - -1519. Is 54 a factor of i?
True
Does 15 divide -5 - 2 - (-321030)/87?
False
Let z = 72 + -26. Suppose -3*o + 0*r = 2*r + z, -15 = 3*r. Let b = -9 - o. Is b a multiple of 3?
True
Let j be (-1 + 0)/((-19)/57). Suppose 0*c - 4746 = j*c. Is 11 a factor of c/(-112) + (-1)/8?
False
Suppose -9*g + 4*g + 50 = 0. Suppose -2*h - g = -3*h. Is 3 a factor of h?
False
Does 26 divide (-1242)/(-24) - (-4)/16?
True
Let l(h) be the second derivative of -1/20*h**5 + 0*h**3 + 0*h**4 - 6*h - 1/2*h**2 + 0. Is l(-2) a multiple of 7?
True
Let g = 583 + -303. Is 14 a factor of g?
True
Let q be (-16)/(-1) + 0/(-3). Let f be q/6 + 8/(-12). Suppose 2*y - 34 + f = 0. Does 16 divide y?
True
Suppose -8*h + 112 = 32. Suppose -h*y + 5*y = -960. Does 16 divide y?
True
Let x = 647 - 137. Let k = -354 + x. Is k a multiple of 52?
True
Suppose -81 - 34 = -r - 4*x, 2*r + 5*x - 233 = 0. Let t = 206 - r. Is 11 a factor of t?
False
Is (-1)/3 + (-6)/(36/(-2210)) a multiple of 33?
False
Is ((-97662)/(-861))/((1 + 0)/7) a multiple of 65?
False
Let i(n) be the third derivative of n**6/120 + n**5/12 - n**4/8 - n**3 + 3*n**2. Suppose -4*g + 2 - 23 = 5*u, 2 = -u - 3*g. Does 4 divide i(u)?
False
Suppose 5*m + 4*s - 341 = 8*m, 3*s = -4*m - 413. Let o = m - -242. Is 27 a factor of o?
True
Let j(i) = -i - 1. Suppose -g + 2*r = -5*g + 16, -5*r - 20 = 0. Let z(m) = -10*m. Let n(a) = g*j(a) - 3*z(a). Does 14 divide n(2)?
True
Let d be 5*(1 - 364/(-20)). Suppose 9*r - d = 3*r. Does 4 divide r?
True
Let h = 21 - 15. Let j(k) = 6*k + 5 - 13 - 1. Does 9 divide j(h)?
True
Let b = -45 + 126. Is 3 a factor of b?
True
Suppose -722 = -6*n + 1036. Is n a multiple of 33?
False
Let w(a) = -a**2 + 6*a - 7. Let n be w(3). Suppose -4*p = -n*p. Is -3*(1 + p) + 30 a multiple of 9?
True
Let x(j) = j**3 + 30*j**2 + 54*j - 41. Let i be x(-28). Let p be 2/8 - (-147)/4. Let t = p - i. Is t a multiple of 11?
True
Let v(d) = -30*d - 6. Let w(o) = -o + 2. Let r be w(-6). Let c = r + -11. Does 21 divide v(c)?
True
Let k be (-544)/(-4) - (1 - 0/3). Let j = k - 27. Is 28 a factor of j?
False
Let g(l) = l**2 - 7*l - 1. Let a be g(5). Let f(t) = -156 - 157 + 8*t + 12*t**2 + 5*t**3 + 305 - 4*t**3. Is 5 a factor of f(a)?
True
Let b(i) = i**2 + 11*i - 34. Let l(h) = 4*h + 5. Let j be l(-5). Does 8 divide b(j)?
False
Suppose 172 = 4*j - g, -4*g - 12 - 130 = -3*j. Suppose o - j = -2*o. Does 5 divide o?
False
Let n = 85 + -39. Does 20 divide (-3)/((-3)/n) - 3?
False
Suppose -2*q + 393 = 97. Let p = -68 + q. Suppose n = 5*n - p. Is 10 a factor of n?
True
Suppose -3*z + 4*z = 14. Suppose 4*o + 2 = z. Is 15*((4 - 4) + o) a multiple of 15?
True
Suppose 0 = 8*z - 1096 - 848. Is z a multiple of 21?
False
Let b(t) = -14 + 23 - 27*t - 11. Does 13 divide b(-2)?
True
Suppose 2*m = 5*m - 15. Suppose -15 = -2*j - 3*t, 0*j - j + m*t = 12. Suppose -77 - 103 = -j*i. Is i a multiple of 15?
True
Let y be 1/(-6) - 39/(-18). Suppose -3*i = -l + 4*l - 39, y*i - 21 = -l. Is 11 a factor of i/(-12)*210/(-4)?
False
Let m = 87 - 17. Is 18 a factor of 1380/m - 2/(-7)?
False
Suppose -37*h + 20*h + 8568 = 0. Is 36 a factor of h?
True
Let o(k) = 7*k**2 - 2. Let f be o(-4). Let r = 2 - -74. Let b = f - r. Does 9 divide b?
False
Let t(j) = -j**3 - 34*j**2 + 30*j - 64. Is t(-35) a multiple of 37?
True
Is 19 a factor of (-30728)/(-20) - 2*3/15?
False
Let z(o) = -10*o - 3. Let m = 6 - 10. Let p(v) = -1. Let s(j) = m*p(j) + z(j). Is s(-2) a multiple of 8?
False
Let w(k) = 29*k**2 + 10*k + 24. Does 16 divide w(-4)?
True
Suppose -6*q + 4*q = -232. Let b = -83 + q. Is b a multiple of 18?
False
Let j(x) = -4*x - 33. Let i be j(-9). Let l(v) = 62*v + 12. Is 33 a factor of l(i)?
True
Let j = 53 + -69. Is 4 - (-3 - -2 - j/(-4)) a multiple of 9?
True
Suppose 2*z = -4*j - 14 - 6, -4*z + 25 = -5*j. Let y be (1 - -9)/(2/14). Suppose -d = -z*d - y. Is 14 a factor of d?
True
Suppose c - h = 119, 4*c + 2*h - h = 491. Is 10 a factor of c?
False
Suppose 6*m = -1 + 13. Suppose -o - 83 = -2*o - 5*d, -m*d - 388 = -5*o. Is 26 a factor of o?
True
Let g(x) = -525*x + 14. Is g(-1) a multiple of 11?
True
Let a(x) = x**2 - 6*x + 3. Let t be a(6). Let o be (t/(-3) - 56)*1. Let s = -41 - o. Is 8 a factor of s?
True
Suppose -2*l + 526 = 4*w, -452 = -2*l + 2*w + 80. Suppose l = -7*n + 846. Is 15 a factor of n?
False
Let u = 172 - 121. Suppose 3*l = 3*h - 108, -4*l + 2*l = h - u. Does 7 divide h/2 - (-7)/(-14)?
False
Let t be (-3)/6*(1 - (0 - -1)). Suppose 0*o - o - 2*v + 36 = t, 5*o = 4*v + 152. Is 16 a factor of o?
True
Let f(u) = -4*u - 1. Let k be f(-1). Suppose k*i - 5*i + 7 = j, -5 = -j. Suppose -16 = -a + i. Is a a multiple of 9?
False
Let l(m) = 5*m - 20. Does 5 divide l(5)?
True
Suppose m - 483 = -2*l + 141, -5*l + 1560 = -3*m. Does 78 divide l?
True
Let w(f) = -f**2 - 7*f - 9. Suppose -3*n + 4*v = 30, -4*v = 2*n + n + 6. Let l be w(n). Does 3 divide 2/l*(-17 + -1)?
True
Let o be ((12 + 0)/6)/(2 - 1). Is 30 a factor of (o*87/(-6))/((-4)/16)?
False
Suppose 2*z + 6585 = 17*z. Is z a multiple of 22?
False
Suppose 2 + 10 = 4*d. Suppose -r + 1 = 0, 0 = u - d*r + r - 64. Does 6 divide u?
True
Let y(a) = a**3 + 16*a**2 - 36*a - 20. Let h be y(-16). Suppose 2*m + 180 = g - 0*m, 3*g - h = 2*m. Is g a multiple of 19?
False
Suppose -x - 4*x - 20 = 0, 3*x - 190 = -v. Is v a multiple of 27?
False
Suppose 4*r = -c + 198, -69*r + 71*r = -4. Is c even?
True
Is 1*454 - (-12 + (-10 - -24)) a multiple of 11?
False
Let b be 3/(-6)*2 -