Suppose -2*f + 2 = -20. Is f a multiple of 2?
False
Let z(o) = -o**2 - 3*o + 2. Let w be z(-3). Suppose m = n + w, -3*n - 3*m - 22 = 14. Let t(r) = -r**2 - 9*r - 2. Is t(n) a multiple of 12?
True
Suppose -m + 396 = 2*m. Is 33 a factor of m?
True
Suppose 34*d = 39*d - 1050. Is d a multiple of 42?
True
Let v(p) = -p**2 - 8*p - 5. Is 10 a factor of v(-5)?
True
Let d(i) = i**3 - 3*i**2 - 7*i + 7. Let r be d(6). Suppose 4*g - r = -3*s, 80 = 5*s - 2*g - 7. Is s a multiple of 8?
False
Suppose -4*q = 4*m - 8, 5*q + m = 44 - 14. Does 3 divide q?
False
Suppose 5*d - 65 = 130. Let v = -3 + d. Is 23 a factor of v?
False
Let m be (-152)/56 + 2/(-7). Let u(j) = -3*j**3 - 4*j**2 - 3. Is u(m) a multiple of 12?
False
Let f = -13 - -19. Is f a multiple of 5?
False
Let t = -13 - -55. Let b = t - -3. Is 9 a factor of b?
True
Suppose c - 170 = -2*h - 0*h, -3*h = 4*c - 690. Does 29 divide c?
True
Let h be (-3)/(2 - (-2)/(-4)). Is 8/(h/(-2*1)) a multiple of 4?
True
Let w = 1 + 3. Suppose -w*t + 26 = -v, 2*v + 46 = -v + 4*t. Is ((-12)/v)/(2/15) a multiple of 9?
True
Does 3 divide (-18)/(-144) - (-510)/16?
False
Let v(i) = -i**2 - 11*i - 12. Let n be v(-9). Suppose 4*h + 14 = n*h. Let g = 3 + h. Does 4 divide g?
False
Let k be (-2 - -14)*6/4. Let y = 43 + k. Suppose 3*f + 2*z - 7*z - y = 0, -3*f + 93 = 3*z. Is 16 a factor of f?
False
Let x(g) = 2*g - 2. Let y(t) = -t**2 - 2. Let h be y(2). Let z be x(h). Let w = -9 - z. Is w a multiple of 4?
False
Suppose -4*o = -2*g - 1300, 2*g + 97 = o - 225. Is o a multiple of 18?
False
Let d = 1 - 0. Let a(z) = 21*z**2 - z. Is 7 a factor of a(d)?
False
Suppose o - 3*g = 20, 0*o + 3*o + 2*g - 93 = 0. Does 6 divide o?
False
Suppose -8*i + 4*i + 154 = 5*y, 4*y + 8 = 0. Let p = i - 19. Does 11 divide p?
True
Suppose -3*d - 5*h = 7, 0 = 4*d + d + 4*h + 16. Is (-4 + 2)/(d/34) a multiple of 6?
False
Suppose -2*n + 4*p = -34, -2*p - 2*p = 3*n - 91. Let i = n + -4. Is 6/i + 194/7 a multiple of 9?
False
Suppose 70*n - 67*n - 276 = 0. Is 8 a factor of n?
False
Suppose o - 44 = 4*a - 205, -3*a - o = -119. Is a a multiple of 4?
True
Suppose -3*t + 4*w + 16 = 2*w, 0 = 3*t + 4*w + 14. Suppose -123 = t*k - 5*k. Is 10 a factor of k?
False
Suppose -60 = -7*m + 3*m + r, 4*r = -m - 2. Is (-8)/m + 1070/35 a multiple of 15?
True
Let l be (-2)/(1*(-4)/10). Suppose 0 = -t + 4, 3*t + 16 - 108 = l*u. Let n = 29 + u. Is 13 a factor of n?
True
Let d(l) = 3*l**2 - 4*l + 4. Let t be d(4). Suppose 2*a - 8 - 2 = 0. Suppose a*n - t = 54. Is 9 a factor of n?
True
Let k be (2 + 10*1)*1. Let u = k + -8. Suppose u*s = 3*s - d + 9, 4*d + 19 = s. Is s a multiple of 11?
True
Let f(t) = t**3 + 3*t**2 - 5*t - 6. Let z be f(-4). Let y = z + 8. Is 3 a factor of y?
True
Let d(h) = -3*h + 3. Is 6 a factor of d(-3)?
True
Suppose 2*q = -q - z - 56, 4*z = 3*q + 46. Let k be (-4)/18 + (-1354)/q. Let j = k - 39. Does 18 divide j?
True
Let a(f) = f**2 - 5*f - 8. Let l be a(7). Suppose 0 + l = 2*g. Suppose b = -g*b + 60. Is b a multiple of 15?
True
Suppose -2 = -y - 29. Does 12 divide (-20)/(-3)*y/(-6)?
False
Let u(m) = -m**3 + 6 + 8*m**2 - 2 - 3*m + 1. Suppose 5*s - 30 = -5*y, 3*y - 13 - 9 = s. Is u(y) a multiple of 15?
False
Let c(d) = -3*d**2 + 2*d + 1. Let n be c(-1). Let x = -8 - n. Let u(z) = -z**3 - z**2 + 4*z + 4. Is u(x) a multiple of 18?
True
Let p(j) = -6*j + 1. Let u(n) = n**3 - 4*n**2. Let b be u(2). Is 11 a factor of p(b)?
False
Let n = 15 + -8. Let j(z) = z**2 - 7*z + 4. Let m be j(n). Does 4 divide m/(-6)*42/(-4)?
False
Suppose z - 92 = -w, 3*z = 4*w + z - 392. Does 16 divide ((-102)/(-8))/(36/w)?
False
Let u = -53 + 80. Let s be 924/u + (-2)/9. Suppose 5*g + s - 239 = 0. Is g a multiple of 18?
False
Suppose -12*m + 138 = -10*m. Is m a multiple of 23?
True
Is (12/10)/(3/260) a multiple of 11?
False
Let i(k) = k**3 - 13*k**2 + 15*k + 10. Let z be (-2)/7 - 516/(-42). Let v be i(z). Suppose -3*l + 4*m = -140, -l + 0*m = -m - v. Is 21 a factor of l?
False
Let j be (-80)/6*(-72)/30. Suppose 5*s - 4*m = s + j, 0 = -s - 5*m - 4. Does 6 divide s?
True
Suppose 0*q + 4*q - 16 = 0. Suppose -61 = -q*g + 99. Is g a multiple of 17?
False
Let i be (24/(-5))/((-14)/(-70)). Let v = 62 + i. Is v a multiple of 19?
True
Does 22 divide (-2 - (-4)/2) + 68?
False
Suppose 390 = 10*l - 730. Is 8 a factor of l?
True
Let i(o) = 26*o - 1. Let j be i(1). Let m = j + 16. Is m a multiple of 10?
False
Suppose -3*t - 4*o = -35, 2*o - 2 = 3*t - 7. Suppose 6*f - t*f = 10. Suppose -k + f = k. Does 2 divide k?
False
Suppose 6*g - 2*g - 64 = 0. Let u = -8 + g. Does 3 divide u?
False
Let t = 56 - 24. Is 16 a factor of t?
True
Let b = 14 - -6. Is b a multiple of 4?
True
Let x be 6/(-8) + (-1314)/(-24). Suppose l - 3*f - 46 = -0*f, l = -5*f + x. Suppose o + 7 = l. Is o a multiple of 18?
False
Let w = 22 + 16. Suppose c = -c + w. Is c a multiple of 9?
False
Suppose -4 = -4*n + 2*n. Is 2 a factor of n?
True
Suppose -2*j - 63 = j. Let t = 39 + j. Is t a multiple of 9?
True
Let o(w) = w**3 + w**2 - w + 1. Let h(y) = -y**3 + 2*y**2 - 8*y + 4. Let d(t) = h(t) - 5*o(t). Let b be 3 + (2 - 14/2). Is d(b) a multiple of 18?
False
Let k(r) = r**3 - 6*r**2 - 6*r - 4. Let a be k(7). Suppose -3*c + 5*n - a = 0, -4 + 0 = 2*c - 4*n. Is 4 a factor of c?
True
Suppose 3*c + 281 = b, 5*c - 916 = -3*b - 87. Suppose 0 = -5*j + h + b, -3*h - 177 = -3*j + h. Is j a multiple of 21?
False
Let v(d) = -d - 5. Let h(r) = r + 2. Let z(q) = -5*h(q) - 3*v(q). Suppose -5*g - 15 = 5. Does 13 divide z(g)?
True
Suppose -3*h + 34 = 580. Let q = -122 - h. Suppose -g = g - q. Is g a multiple of 13?
False
Let a(z) = 2*z**2 + 10*z + 1. Let h(w) = w**3 - 9*w**2 + 5*w - 3. Let i be h(7). Let y be i/10 + 10/(-25). Is 18 a factor of a(y)?
False
Suppose 0 = -4*d + 153 + 135. Suppose 4*p - 2*p - d = 0. Is p a multiple of 19?
False
Suppose 0 = 2*t - 4, -3*o + 4*o - 18 = -t. Does 6 divide o?
False
Let r = -219 - -315. Let u be 3/(-4)*-1*r. Suppose 3*p - u = -0*p. Is p a multiple of 13?
False
Let j = 71 - 15. Suppose -5*q - 4*g = -92 - j, q - 20 = -4*g. Let s = q + -16. Is 6 a factor of s?
False
Let a be (1 - 2)/(2/(-178)). Let q = 17 - 12. Suppose -q*p = m + 3*m - a, -p = 3*m - 53. Is 8 a factor of m?
True
Let y be -1*(-2 + 2) + 4. Suppose 0 = y*s - s - 9. Suppose -2*n = s*n - 10, 0 = 5*h + 3*n - 81. Does 15 divide h?
True
Let z be 2/(-5) + 36/15. Suppose -5*h - 4*b + 2*b = -14, -3*b = -4*h + z. Is 3 a factor of (-20)/1*h/(-5)?
False
Let c = 8 + -8. Let z(l) = l + 27. Is z(c) a multiple of 11?
False
Suppose -4*f + z + z = 2, -5*f + z = -2. Suppose 0 = k + f - 3. Suppose k*o - 2*s = -s + 55, 4*s + 12 = 0. Does 13 divide o?
True
Suppose z - 58 = -3*u + 2*u, 5*z + 150 = 3*u. Suppose u = 3*g - c, c + 91 = 5*g - c. Is g a multiple of 19?
True
Let m(x) = x + 6. Let v be m(-5). Is v + -6*16/(-6) a multiple of 7?
False
Let j be (-2)/(-10) + (-976)/(-20). Suppose 4*s = -i + 5*i - 112, -5*s - 154 = 2*i. Let b = j + s. Does 7 divide b?
False
Suppose 2*v = -y - 3, 3*y - 3 = 3*v + 4*y. Suppose v = 2*g, 4*q - 17 = -g - 5. Suppose q*h - 2*w - 122 = -h, 99 = 3*h - 3*w. Is 14 a factor of h?
True
Let p(w) = 35*w + 4. Let k be p(3). Let n = 153 - k. Is 11 a factor of n?
True
Let x(z) = z**2 - 8*z + 4. Let n be x(7). Let l(r) = r**2 - 3*r + r + 3*r**2. Does 21 divide l(n)?
True
Let l = 24 - 16. Let k(y) = -y**3 + 8*y**2 + 2*y + 3. Is k(l) a multiple of 8?
False
Let w(a) = -a**3 - 6*a**2 + a - 6. Let g be w(-6). Let c = g - -22. Suppose 4*v - c = 3*v. Does 10 divide v?
True
Suppose -u + 28 = -16. Is u a multiple of 11?
True
Let y = -1 + 5. Suppose 0 = z + 6 - y. Is ((-132)/(-9))/(z/(-3)) a multiple of 6?
False
Let j be (-1)/(-1 + 6/9). Let q(z) = 3*z + 4. Is 13 a factor of q(j)?
True
Suppose -41 = -4*n + 35. Does 4 divide n?
False
Let g(x) = -x**2 - 9*x - 6. Suppose -c + 2*l + 5 = 0, -2*l - 40 = -5*c - 7*l. Suppose 2*b = c*b + 30. Does 12 divide g(b)?
True
Suppose -a + 229 = 5*o - o, 4*a - 861 = -5*o. Does 38 divide a?
False
Let n be 28 - -1*(-2)/(-1). Let j = n - 13. Does 7 divide j?
False
Let h = -2 + 10. Suppose -4*b = -4*x - h, -5*b + 2*x = -4 - 0. Suppose -2*u - 2*p = -14, b*p + 6 = -3*p. Does 7 divide u?
False
Let m = -9 - -13. Suppose 3*k - m*k + 22 = 0. Is 4 a factor of k?
False
Let g(y) = -2*y - 3 - 1 + y. Let h be g(-7). Suppose 0 = 4*r + 5*a - 87, -38 = -2*r - 