= -x*w, -4*h - 116 = 4*w. Let g = h + 66. Is g a multiple of 15?
False
Suppose 0*h = 4*h + 2*g - 24, -5*h = 2*g - 29. Suppose o = 2*j - 88, 5*j + 0*j - 210 = h*o. Is j a multiple of 10?
False
Suppose 3*t = 6 - 0. Let j be (-6 - -7)/(t/30). Let g = 3 + j. Is g a multiple of 6?
True
Let o be 3 - 2/(0 + 2). Suppose -m = w - 24, m - 33 = o*w - 0*w. Is 7 a factor of m?
False
Let i = -856 - -1558. Is i a multiple of 9?
True
Let x(i) = -2*i + 65. Let q be (-3 + 3)/1 + 0. Let o be x(q). Let b = o - 12. Is 14 a factor of b?
False
Suppose -w = -372 - 575. Is 9 a factor of w?
False
Let p(x) = -x**3 + 2*x**2 + x. Let f be p(2). Suppose -f*w + 1200 = 3*w. Suppose -5*y = -5*h - w, -y + 4*h + 80 = 32. Is y a multiple of 24?
True
Is (0 + -1)/(2/(-3194)) a multiple of 10?
False
Let k be ((-6)/(-4))/((-1)/(-6)). Let o = k + -9. Suppose o*g - 6 = -g. Is g a multiple of 6?
True
Suppose 8135 = 11*c - 14371. Does 93 divide c?
True
Let w(b) = -6 + 5 + 0 + 2*b - 6*b. Let d be w(-1). Does 8 divide -4 + 1 + (d - -17)?
False
Suppose -4*y + 387 = -5*r, 8*y + 2*r = 10*y - 192. Is 5 a factor of y?
False
Suppose 3*k - 4*r = 21, 3*k + 6*r - 5*r - 6 = 0. Suppose 3*z = l - 2, 8*l = 5*z + k*l. Let o = 7 + z. Is o a multiple of 6?
True
Is 23*(-5)/(25/(-65)) a multiple of 16?
False
Suppose 54*w = 26*w + 3220. Is w a multiple of 5?
True
Let y be (14/(-4))/(2/(-32)). Let o = -24 + y. Does 16 divide o?
True
Suppose 0 = g + 3*q - 9 - 5, 0 = -4*g - 5*q + 28. Suppose 2*v - 5*a = 355, -4*v + 0*a = g*a - 650. Does 33 divide v?
True
Suppose 2401 = -29*y + 51933. Does 28 divide y?
True
Let m be 1/((-5)/(0 + 10)). Is 12 a factor of 72*((-1)/1)/m?
True
Suppose 13*a - 19*a + 1044 = 0. Does 14 divide a?
False
Let s(u) = -u**3 - 16*u**2 + u + 19. Let v be s(-16). Suppose 0 = -4*l + v*l + 8. Is l a multiple of 7?
False
Let a = 1419 + -1176. Is 21 a factor of a?
False
Let w = -2657 + 3930. Is w a multiple of 49?
False
Suppose -3*i = -3*x - 6*i + 1068, 5*i = 2*x - 740. Does 9 divide x?
True
Let b(l) = 4*l**2 - l + 9. Let y be b(-6). Let c = 26 + y. Is c a multiple of 37?
True
Is (375 - -2) + 2 - (6 + -7) a multiple of 10?
True
Suppose -11*x - 10188 = -17*x. Does 140 divide x?
False
Suppose -1377 = -23*o + 6*o. Is 5 a factor of o?
False
Let h(a) = -59*a + 81. Is h(-8) a multiple of 18?
False
Suppose -61*a = -68*a + 9870. Is 30 a factor of a?
True
Suppose c + 6 = 3*c. Suppose 3*t = -c*j + 207, -4*t - 84 = -3*j + 2*j. Is j a multiple of 17?
False
Let u = 24 + -30. Let l be ((-9)/u)/((-3)/(-10)). Suppose -4*o = -f + l*f - 136, -2*o + 128 = 4*f. Is 22 a factor of f?
False
Let m(v) = -204*v - 1012. Is m(-6) a multiple of 4?
True
Suppose 10*q - 43 = 307. Is 7 a factor of q?
True
Let f = -3981 + 6014. Is 107 a factor of f?
True
Is (64/12 - -4)/((-1)/(-72)) a multiple of 32?
True
Suppose -f + 1 = 5. Let r be 4*((-2)/f)/1. Does 15 divide (59*r)/(0 + 2)?
False
Suppose 4*y - 69 + 1 = 0. Suppose 0 = -5*o - 2 + y. Is o even?
False
Let w(t) = 10*t + 9. Let b(c) = -10*c - 10. Let m(k) = -6*b(k) - 7*w(k). Is 18 a factor of m(-3)?
False
Let p(g) = -g**3 + 6*g**2 - 4*g - 1. Let w be p(5). Suppose 0 = -w*x + 24 - 28. Let h(t) = -30*t**3 + 2*t**2 + t - 1. Does 10 divide h(x)?
True
Let c be 2/(-11) + 490/154. Suppose -4*o + 675 = c*p, -2*o + o = -2*p - 166. Is 14 a factor of o?
True
Let o = -35 + 17. Let r = o + 22. Suppose -3*g = -2*i - r*g + 56, 146 = 5*i + g. Does 9 divide i?
False
Suppose -5*t - 3540 = -5*x, -4*t - 512 = -5*x + 3025. Is 15 a factor of x?
True
Is ((-249)/18)/(1/(-12)) even?
True
Suppose -4*x + 2878 = d, -x + 6*d + 730 = d. Does 15 divide x?
True
Let j be 11 - 12 - (0 + -17). Suppose 2*q - j + 344 = 4*a, -5*a - 3*q + 421 = 0. Is 15 a factor of a?
False
Suppose z - c - 164 = 0, 0 = 3*z - 5*z + 5*c + 343. Does 2 divide z?
False
Let s(y) = -y - 6. Let o be s(-8). Suppose 3*v + 8 = o*v. Let i(n) = 2*n**2 + 9*n + 12. Is 17 a factor of i(v)?
True
Let f(y) = y**2 - 9*y + 4. Let w be f(4). Let x = -8 - w. Is 4 a factor of x?
True
Suppose h = -4*p + 27 + 906, -5*p + 1168 = 3*h. Suppose 4 + 2 = 3*w, w = 5*f - p. Is f a multiple of 27?
False
Let d = -29 + 15. Let h(q) = q**2 - 20. Is 44 a factor of h(d)?
True
Let o = 743 - 675. Suppose 2*k - 2*y = -k + 67, -y = -3*k + 68. Suppose 0 = -x + o + k. Is x a multiple of 23?
False
Suppose -4*t - 4*p + 84 = 0, -t + 3*p + 2*p + 45 = 0. Let c = t + -1. Is 7 a factor of c?
False
Let g(y) = -6*y**2 - y - 132. Let m(h) = h**2 - 1. Let z(x) = -g(x) - 4*m(x). Is 34 a factor of z(0)?
True
Let u = -305 - -401. Does 17 divide u?
False
Suppose -9*o - 12 = -12*o. Is 112 + o + (-1)/(2/4) a multiple of 9?
False
Let o(w) = -w + 37. Let r be o(11). Suppose -x = -154 + r. Does 32 divide x?
True
Let o be 11/(33/(-6))*(-210)/4. Suppose -6*x + 2*x + 12 = 0. Suppose -x*c + 111 = -o. Is 18 a factor of c?
True
Let a be 20/(-4) + 3 + -2. Let m(s) = -21*s + 4. Is m(a) a multiple of 15?
False
Let s(i) = 22*i + i**3 - 1 - 14 - 3*i + 7*i**2 - 21*i**2. Let f be s(14). Is 14/98 - f/(-7) a multiple of 15?
False
Let z = -292 + 721. Is z a multiple of 12?
False
Suppose 4*k - 593 = -2*x - 117, 4*x - 892 = 4*k. Let g = -156 + x. Does 9 divide g?
True
Let p(v) = -v**3 + 3*v**2 + v + 5. Let u be 294/(-77) + (18/22 - 1). Does 12 divide p(u)?
False
Let o(r) = r - 9. Let y be o(4). Let w be 5 + y + 1 - 2. Is 15 a factor of ((-12)/(-8))/(w/(-30))?
True
Let v = -26 + 23. Is 33 a factor of (24/(-9))/(2*v/261)?
False
Let j(b) be the third derivative of -13*b**4/8 + 5*b**2. Does 26 divide j(-4)?
True
Let j(y) = -54*y + 222. Is 12 a factor of j(-37)?
True
Suppose -6*j - 3*h + 851 = -5*j, 2*h = -4. Does 16 divide j?
False
Suppose -913 = -2*f + o, 0 = -4*f + 2*f + 4*o + 904. Suppose -q = -g - 15 - 82, -4*g + f = 5*q. Does 5 divide q?
False
Suppose 0*k + 11*k = 22. Let x be 88/14 + (-2)/7. Suppose -x*n = -k*n - 104. Is n a multiple of 13?
True
Let p(j) = 5*j**2 - 26*j + 293. Is p(10) a multiple of 13?
True
Let m(u) = -u**3 - u**2 - 3*u - 1. Let g be m(-3). Suppose -t = -c + 3*t + g, -3*t = -c + 28. Does 15 divide c?
False
Suppose 183*c + 4680 = 196*c. Is 5 a factor of c?
True
Let h be (-18)/12*((-13)/(-3) - 3). Is -1 + -2 + (-45)/(2/h) a multiple of 32?
False
Suppose -j - 30 + 98 = -3*t, 58 = -3*t - 4*j. Let r = t + 35. Does 7 divide r?
False
Let a(y) = 2*y**3 + 28*y**2 - 22*y + 31. Does 62 divide a(-14)?
False
Suppose -3*a - 76 = 5*w, 0*a - 71 = 3*a + 4*w. Let o = 57 + a. Is 8 a factor of o?
True
Let k(y) = 9*y**2 + 9*y**2 + 5*y - 13*y + 3. Is 13 a factor of k(2)?
False
Let p(w) = 10*w**2 - w + 2. Let i be p(-2). Let s be 1/(i/20 + -2). Suppose -2*f - s = -57. Does 11 divide f?
False
Let g(h) = 2*h**3 - 6. Let z be g(4). Let p = z - 85. Is 13 a factor of p?
False
Let x(k) = 62*k + 22. Is x(6) a multiple of 20?
False
Let m be (458/6)/((-2)/(-6)). Let r = m - 43. Does 23 divide r?
False
Let j = 7 + -6. Let r = 2 + j. Suppose -20 = -r*g + g. Is 4 a factor of g?
False
Suppose 17 = 5*g + 2*m, -m + 3*m - 5 = -g. Let t be 2/10 - (-76)/20. Suppose 2*l - 42 = -2*a - g*l, -2*a + 44 = t*l. Is a a multiple of 13?
True
Let t(o) = 16*o**2 + 6*o - 48. Is 11 a factor of t(4)?
False
Suppose -4 = -l, -4*v = -6*l + l + 172. Let c = 118 + v. Is c a multiple of 11?
False
Suppose 10*b - 5*b + 2080 = 0. Is (-1 - 2/(-4))/(8/b) a multiple of 21?
False
Suppose 19*g - 9956 = -2831. Does 34 divide g?
False
Let d = -82 - -284. Does 8 divide d?
False
Suppose 0 = n + 3*n - 20, -1730 = -3*r - 4*n. Is 31 a factor of r?
False
Is 18/153 - (-17676)/34 a multiple of 65?
True
Let o be 3/(9/(-6) + 3). Suppose o*f + 17 = 5*v, 5*f + v - 21 = f. Suppose 0 = f*l + r - 65, 4*r - 3*r = 2*l - 31. Is 4 a factor of l?
True
Suppose -19584 = -21*p - 3*p. Does 51 divide p?
True
Let m be (-2 - 52/(-8))*-6. Is 15 a factor of -2 - -5 - (m - -7)?
False
Suppose -523 = -5*d - m, 4*d - 88 - 340 = -4*m. Suppose d = 4*w - 0*w. Is 13 a factor of w?
True
Let i = 101 - -115. Suppose 4*d + 3*j - i = 0, 3*j = 2*d - d - 54. Is 9 a factor of d?
True
Suppose 15*d - 2724 + 909 = 0. Let t = 145 - d. Does 4 divide t?
True
Let g be (((-784)/21)/(-2))/((-1)/(-6)). Let m = g + -97. Is 5 a factor of m?
True
Let y = 61 - 4. Suppose -6*r = -3*r - y. Let x = -12 + r. Is x a multiple of 6?
False
Suppose -15*h + 7*h = 0. Suppose h = -5*p + 575 + 20. Is p a multiple of 7?
True
Let m be 1/5 