-283. Let c = -37 + f. Is 13 a factor of c?
False
Let a be 2 + 1 + (-7)/7. Suppose 2*d + 42 = 4*q, -q = 3*q - 5*d - 27. Suppose w - q = l, -a*w - 43 = -5*w + 4*l. Is w a multiple of 9?
True
Suppose -5*d + 554 = 2*h - 562, -4*h + 900 = 4*d. Suppose 2*w - 5*w + d = 0. Suppose 5*f - w = 91. Does 13 divide f?
False
Let n(p) = p**3 + 6*p**2 + 2*p + 7. Let z = -18 + 13. Is n(z) a multiple of 10?
False
Suppose -5*d - 8 + 3 = 0. Let k = d + 5. Suppose 2*g - g - 30 = -h, -4*g = -k*h - 112. Does 13 divide g?
False
Is 15 a factor of (6/1)/(4/50)?
True
Let r(s) = -s**2 + 8*s - 2. Let y(x) = x**3 + 5*x**2 + x - 5. Let z be y(-4). Is r(z) even?
False
Let r = -46 - -15. Let q = 0 - r. Is q a multiple of 18?
False
Suppose 3*h + 17 = 4*y + 68, -4*h - 4*y + 68 = 0. Let v = h + 24. Is v a multiple of 13?
False
Suppose -5*u + 31 = 6. Suppose 0 = -f + u*f - 76. Is f a multiple of 6?
False
Does 24 divide (8*6)/(22/55)?
True
Let b(y) = 2*y**2 - 8*y - 33. Is b(-7) a multiple of 11?
True
Suppose 9*i = 4*i + 60. Does 8 divide i?
False
Let o(g) = -2*g**2 - 5*g + 7. Let s be o(-5). Let f(j) = 8*j + 2. Let p be f(4). Let y = s + p. Is 8 a factor of y?
True
Suppose -5*z + 4*w = -690, 6*w - 414 = -3*z + w. Does 15 divide z?
False
Suppose 5*x + 145 = 3*d, -2*d = -0*d - 3*x - 97. Is d a multiple of 10?
True
Let r(z) = -z**2 + 12*z - 18. Is 18 a factor of r(6)?
True
Let d = 15 - 4. Is 5 a factor of d?
False
Suppose -5 = 13*v - 14*v. Suppose -124 + 19 = -v*y. Is y a multiple of 6?
False
Does 5 divide 2 + (-2 - -4) - -35?
False
Let v = -67 + 94. Is v a multiple of 9?
True
Let l be 0/(6/(-9)*-3). Suppose j - 5*j + 72 = l. Does 6 divide j?
True
Let q(y) be the second derivative of 0*y**2 - 4/3*y**3 - y + 0. Is q(-2) a multiple of 16?
True
Let t = 29 + -14. Suppose a + 2*a = t. Suppose -2*l + a*l = 39. Is 13 a factor of l?
True
Suppose 2*k = 4*t - 28, 2*k + 17 = -2*k - 5*t. Let n = k - -19. Does 11 divide n?
True
Let s be 4*-3*3/(-9). Suppose -s*q = -q + 9. Is ((-16)/(-6))/(q/(-18)) a multiple of 8?
True
Suppose 2065 = 5*n + 4*v, -10*v + 5*v = 2*n - 826. Is n a multiple of 16?
False
Suppose l = 4*l - 234. Is 13 a factor of 2/(-13) - (-2586)/l?
False
Let s(k) be the first derivative of k**3/3 + 3*k**2/2 - 12*k - 1. Is s(-10) a multiple of 13?
False
Let n be 51 + (4 + -3 - 2). Let w = -25 + n. Does 14 divide w?
False
Is 16 a factor of (-958)/(-14) + (-6)/14?
False
Does 6 divide (835/90 + 6/27)*6?
False
Suppose 5*b - 10 = 0, -a - 4*a - b = -482. Is a a multiple of 32?
True
Suppose -26 = -2*g + 4*j, 3*g + 5*j = g - 19. Suppose -i + 7*v = 2*v - 1, -111 = 4*i + g*v. Is i/2*1*-1 a multiple of 6?
True
Suppose 0 = -u - 2*u - 6, 4*u + 38 = 2*m. Suppose 3*h = -m, 4*h = -3*r - 0*h - 8. Is 2 a factor of r?
True
Suppose 3*u + 2*z - 85 = -2*u, 4*z - 5 = u. Does 5 divide u?
True
Let l(f) = -4*f + 4. Let j be l(-4). Let d = j + -5. Does 5 divide d?
True
Let f be (0 + 0)/(-8 - -6). Suppose -16 = 4*b - f*b. Let x = 10 + b. Is x a multiple of 6?
True
Let h(t) = 6*t**2 - 2*t + 2. Let n be 38/(-6) - (-6)/18. Let a be (1/3)/((-1)/n). Is h(a) a multiple of 22?
True
Let h = 152 - -55. Suppose 0 = -3*n - 18 + h. Is 21 a factor of n?
True
Suppose 2*n + 10 = 7*n. Suppose -4*q + n*q + 52 = 4*r, 2*r = -4*q + 74. Is 10 a factor of q?
False
Suppose -12*w = -11*w - 126. Is w a multiple of 44?
False
Let s be 2/4 + 6/4. Suppose 0*q - q - 17 = -f, -3*f + 76 = s*q. Does 7 divide f?
False
Suppose -5*z - 15 - 25 = 0. Let y = -1 + z. Let s = y + 27. Does 11 divide s?
False
Suppose 44 = 4*g + 4*n, 2*g + g - 4*n - 5 = 0. Is g a multiple of 2?
False
Let n(f) = f + 8 + f**2 - 1 - 5*f - 2. Let z be n(4). Suppose 166 = z*p - 49. Is 15 a factor of p?
False
Let l be -1*(6*2)/(-2). Let q be 34/8 - 4/16. Let p = l - q. Is 2 a factor of p?
True
Suppose 2 = u - 30. Suppose 3*r - 90 = 2*h, -u = -r + 5*h - 2. Is r a multiple of 30?
True
Let i(b) = 3*b**3 - 5*b**2 - 4. Let v be i(4). Suppose w + 3*w + v = 0. Let l = w - -53. Is l a multiple of 17?
False
Suppose -n - n + 30 = 0. Suppose 3*m = 3*y + n, -5*y + 6*y + 17 = 4*m. Let o(f) = 34*f**2. Is 13 a factor of o(y)?
False
Let z = 45 + -25. Suppose -m + 3*m = z. Is 10 a factor of m?
True
Let b be (-388)/1*(-5)/10. Let q be 3/15 + b/5. Suppose 3*r + 0*r + q = 5*m, 2*m - 15 = r. Is m a multiple of 6?
True
Suppose -4*m + 13 = -m + q, 0 = m + 5*q - 23. Suppose -f - m = -5*n + 6, 4*f = -2*n + 74. Suppose 0 = -5*z + 19 + f. Does 3 divide z?
False
Suppose -3*q + q = l - 130, 2*l + 2*q = 264. Suppose -3*x + 19 = -l. Does 17 divide x?
True
Let w(h) = h**2 - h - 1. Let d be w(-1). Is 5 a factor of 9 - -2 - (0 + d)?
True
Let p(w) = -2*w**3 - 6*w**2 - 6*w - 4. Let y be p(-4). Suppose -2 = 3*j + 3*h - 32, -5*j = 3*h - y. Does 5 divide j?
False
Let z = -46 - -108. Is 12 a factor of z?
False
Suppose -5*o - 11 + 16 = 0. Is 8 a factor of ((-5)/(-5))/(o/10)?
False
Suppose -2*r - 7 = -51. Is 22 a factor of r?
True
Suppose -4*g - 111 = -7*g. Does 13 divide g?
False
Let s = 1 + -1. Suppose 2*c - 8 = -s*c. Is ((-10)/3)/(c/(-36)) a multiple of 16?
False
Is ((-3)/24*-70)/(3/12) a multiple of 6?
False
Let t(p) = p**2 - 5*p - 10. Let a be ((-2)/(-6))/((-4)/(-84)). Is 4 a factor of t(a)?
True
Let g(z) = 0 + 9*z + 0. Let u be g(5). Suppose 4*b - 35 = -5*r, -5*r + u = -b + 10. Does 7 divide r?
True
Suppose 52 = 15*j - 11*j. Is 10 a factor of j?
False
Let a = 4 + 24. Is a a multiple of 14?
True
Let w(s) = -5*s**2 + 2*s - 6. Let c be w(3). Let k = c - -78. Does 33 divide k?
True
Suppose 4*l = w - 3, -w - 2*w = 3*l - 9. Is (w - -46) + (-2 - -3) a multiple of 25?
True
Let j(k) = k**3 + k**2 + 150. Let w be j(0). Suppose 6*x + w = 9*x. Does 25 divide x?
True
Suppose 2*w + 29 = c, w - 1 = 2. Suppose 0 = -5*p - 0*p + c. Suppose 148 = p*n - 2*n + 3*h, 4*n = h + 132. Does 16 divide n?
True
Let c = 20 - 44. Is 10 a factor of -1 - (1 + 1 + c)?
False
Suppose 4*w + 2*i = 2*w + 8, i + 1 = 0. Suppose -3*y + 4*z - 3 = -0*z, 2*z = w*y - 9. Suppose r - 104 = -y*r. Is 12 a factor of r?
False
Let v be ((-9)/2)/((-2)/40). Suppose -4*t + r = 24 - 144, 3*t + r - v = 0. Let p = t + -14. Is 8 a factor of p?
True
Suppose -g - 90 = -0*h + 5*h, 3*g + 281 = -4*h. Let b = -55 - g. Is b a multiple of 20?
True
Suppose 0 = 4*d - 5*w - 20, -3*d + 2*w = -0*d - 8. Suppose r = 3*a + 23, 2*r + d*a - 52 = 4*a. Is r a multiple of 12?
False
Suppose -7*s = -3*s - 172. Is 13 a factor of s?
False
Suppose 0 = g, -r - 4*g + 61 = -2*g. Is r a multiple of 13?
False
Let x(q) = -5*q + 2 - q - 2*q. Let g = -12 - -9. Does 13 divide x(g)?
True
Let w(y) = 257*y - 1. Let a be w(-1). Does 8 divide a/(-24) + (-1)/(-4)?
False
Let o(h) = h**2 + 5*h - 9. Let v be o(-7). Suppose 2*b + d = -8, 3 = -v*b - 5*d - 27. Is 2/(b + 40/19) a multiple of 19?
True
Let r(l) = -l**2 + 16*l + 4. Suppose 3*p + x = 2*x + 39, 5*p - 65 = -3*x. Is 23 a factor of r(p)?
False
Let a(r) = -r**3 - 9*r**2 - 2*r - 5. Does 2 divide a(-9)?
False
Let k(l) = -4*l + 2. Suppose -5*c - 6 - 14 = 0. Does 9 divide k(c)?
True
Suppose 6*u = 2*u + 172. Is 19 a factor of u?
False
Let b = 14 - 9. Suppose 0 = -4*r + 3*w + 10 + b, 0 = r + 3*w - 15. Suppose -3*j + r*l + 74 = 2*l, 4*j + 3*l = 132. Is j a multiple of 15?
True
Let m(u) = -2*u - 11. Let y(c) = c + 5. Let w(z) = 6*m(z) + 15*y(z). Is 16 a factor of w(4)?
False
Let c(j) = -j + 10. Let m be (-8)/(-12)*-3 - 3. Does 4 divide c(m)?
False
Let h(f) = f - 4. Let o = 6 - -2. Let m be h(o). Suppose -u + m*k + k + 29 = 0, 4*k = -5*u. Is 3 a factor of u?
False
Let o = 249 + -126. Suppose o = -2*n + 5*n. Is 14 a factor of n?
False
Suppose -4*y = -76 - 44. Does 7 divide y?
False
Suppose -2*v - 2*v = 5*m - 120, -m - 2*v + 30 = 0. Is 7 a factor of m?
False
Let x = 21 - 5. Let n be (x/24)/((-2)/(-27)). Let a = n + 24. Is 9 a factor of a?
False
Let l(o) = 4*o**3 - o**2 - 5*o + 2. Is l(2) a multiple of 5?
True
Let l(q) = q**2 + 5*q - 13. Let p be l(-8). Suppose -b - 6 = -v + p, -4*b - 90 = -5*v. Does 5 divide v?
False
Let p(m) = -2*m + 10. Let r be p(-5). Suppose -3*g - 4 + 64 = 0. Suppose -5*u + g + r = 0. Is u a multiple of 4?
True
Is 7*((-152)/(-7) + -2) a multiple of 21?
False
Suppose -7 = -5*u + 3. Suppose -j + u = 0, -1 = f - 4*j + 2. Is 5 a factor of f?
True
Let o(z) = -z**2 + 5*z + 1. Let s be o(5). Suppose 0*n + n = -2*m - s, 3*m + 3*n - 3 = 0. Does 18 divide 3*(