v = 132 - 65. Suppose 0 = -z + v - 10. Is 15 a factor of z?
False
Suppose 3*t + 0 = 5*d - 36, 2*d - 5*t - 3 = 0. Let q(k) = 3*k + 1. Is q(d) a multiple of 14?
True
Let x(j) = -31*j + 1. Let p be x(1). Let a = 50 + p. Is a a multiple of 10?
True
Let u = -80 + 140. Is 20 a factor of u?
True
Suppose -556 = -4*p + 5*z, -5*z = -5*p + 2*p + 412. Is p a multiple of 10?
False
Suppose -i = -6*i + 5*b - 20, -3*b = -i - 12. Let y be (i - 0/3) + 12. Let w = y - 7. Is w a multiple of 5?
True
Is (-3)/((-6)/316) - 2 a multiple of 52?
True
Suppose -6*d - 16 = -2*d. Is 15 a factor of (1 - 0)/(d/(-84))?
False
Suppose 159 = 3*j + 3*z, -5*j + 174 = 2*z - 106. Is j a multiple of 4?
False
Is 19 a factor of (12/(-36))/(1/(-507))?
False
Is (1 - 71)/((-14)/7) a multiple of 9?
False
Let r be (-4)/(-14) - (-1000)/28. Let u = r - 12. Does 10 divide u?
False
Suppose -4*f + 86 = 5*j - 7*f, 4*f = -3*j + 69. Let i = 33 - j. Is 5 a factor of i?
False
Suppose 5*d - 50 = 3*q, -3*q - 1 = d + 43. Let g = 32 - q. Is g a multiple of 11?
False
Let a(b) = 6*b**2 - b - 11. Is 24 a factor of a(5)?
False
Let g be -3 + (-2 - -9 - 1). Suppose 30 = -0*t + g*t. Is t a multiple of 10?
True
Suppose 4*v + t = -20 + 7, -1 = t. Let y = 9 + v. Is y a multiple of 2?
True
Suppose -5*t = -4 - 36. Suppose 3*h = -2*i - t + 4, 4*h - 5*i = -13. Is 2 a factor of (-18)/(-3) - (-1 - h)?
False
Let g be 5/5 + 0 + -1. Let v be (-10)/(-15)*(-474)/(-4). Suppose -3*h + v - 1 = g. Is 18 a factor of h?
False
Is 34 a factor of -4 + (2 + 53 - 0) - -2?
False
Does 14 divide ((-14)/(-8))/((-1)/(-24))?
True
Let y(q) = -87*q**3 + 2*q + 2. Is 14 a factor of y(-1)?
False
Does 7 divide (-8)/(3/21*-2)?
True
Let l(j) = j**3 - 6*j**2 - j + 6. Let f be l(6). Suppose 4*b - 13 - 7 = f. Suppose -2*k - 7 = -4*y + k, -8 = -b*y + 4*k. Does 4 divide y?
True
Suppose t - 200 = -q - t, -5*q = -2*t - 1012. Is q a multiple of 47?
False
Let m = 23 + 3. Is m a multiple of 10?
False
Suppose -26 = -b - 5. Let d be 6/b - 4/14. Suppose 2*p - 2*f - 28 = 0, p + 2*p + 5*f - 18 = d. Is p a multiple of 11?
True
Let q(v) = -v**3 - 10*v**2 - 11*v + 5. Is 21 a factor of q(-9)?
False
Suppose -5*o = 5*z - 15, 0*z + 4*o + 6 = 2*z. Suppose 4*i - 3 = -t + z, 4*t + 32 = -2*i. Is 5 a factor of (-52)/t + 1/(-5)?
True
Let u be (-315)/(-6) + (-1)/2. Let q = u - 21. Does 31 divide q?
True
Let i be 3/(6/(-8)) - 1. Let n(z) = -z**3 - 4*z**2 + 3*z - 2. Is n(i) a multiple of 4?
True
Suppose 3*a + 25 = 64. Suppose 2*k = 4*u - 109 - a, -u + 47 = 5*k. Does 11 divide u?
False
Suppose 5*j - 5 - 5 = 0, d + 3*j - 9 = 0. Suppose -5*i + 32 = 4*a, 0 = -0*i - i + 4. Suppose 6*h - d*h = a*f + 90, 120 = 5*h + f. Is h a multiple of 19?
False
Let d(x) = -2*x + 90. Does 25 divide d(0)?
False
Suppose -3*k + 202 = -k. Is k a multiple of 22?
False
Let k(j) = -24*j**3 - 2*j - 1. Does 9 divide k(-2)?
False
Let q(p) = -p**2 - 7*p + 3. Let a be q(-8). Let k = a - -33. Suppose h = -0*h + k. Does 14 divide h?
True
Is (387/(-36))/(-1*2/8) a multiple of 14?
False
Let x(l) = -l**3 + 9*l**2 + 11*l - 16. Is 17 a factor of x(8)?
True
Suppose v = 2*v - 218. Let r = 142 - v. Let c = -54 - r. Is c a multiple of 18?
False
Let j(f) = -2*f**2 - 3*f**2 - f**2 + f**3 + 7 - 4*f - 2*f. Is j(7) a multiple of 14?
True
Suppose 315 + 257 = 4*i. Is i a multiple of 11?
True
Let s(r) be the second derivative of 1/20*r**5 + 5/6*r**3 + 0 + 2*r - 7/2*r**2 + 2/3*r**4. Does 12 divide s(-6)?
False
Suppose -3*r + j = -130, -5*r - 4*j + 94 = -134. Is 11 a factor of r?
True
Is 22 a factor of 196/21*(-36)/(-7)?
False
Suppose 0 = 3*i + 55 - 460. Is 17 a factor of i?
False
Let h(l) be the first derivative of l**2/2 - 7*l - 3. Let z be h(10). Suppose z*f = -f + 52. Is f a multiple of 13?
True
Suppose -1 = 3*l - 55. Let w = 37 - l. Let k = -7 + w. Is k a multiple of 12?
True
Let t = 195 + -116. Is t a multiple of 17?
False
Suppose 3*z + 0*z = 24. Is 4 a factor of z + 4 - (0 + -1)?
False
Let p be (-2 - (-3)/2)*-138. Suppose 0*q = -3*q + p. Is q a multiple of 4?
False
Let g = 69 - 20. Is g a multiple of 7?
True
Let j(c) = c**3 - 2*c**2 + 3*c - 3. Let z be j(2). Suppose i + z*i = 0. Suppose 3*f - 72 = -i*f. Is f a multiple of 10?
False
Suppose 70 = -5*k - 0*k. Let i = k + 22. Is i a multiple of 5?
False
Suppose -6 = z + 3*b - 0, 2*b + 6 = 0. Suppose 119 - 23 = z*q. Suppose -4*g - 28 = -3*r, -4*r + 0*g + 4*g = -q. Is r a multiple of 2?
True
Does 10 divide (3 - -74) + 7 + -4?
True
Let j = 70 + -48. Is (j/2)/1*1 a multiple of 11?
True
Let j(f) = -f - 3. Let s be j(-6). Let w be (-56)/1*s/(-4). Suppose -4*r = -2*r - w. Does 10 divide r?
False
Let m be 3/(-1 + (1 - -1)). Suppose -m = a - 5. Suppose -a*i = i - 54. Does 9 divide i?
True
Let f(b) = 4*b**2 - 11*b - 24. Is 14 a factor of f(-4)?
True
Suppose -4*p + 18 = c, -5*p + 19 = 3*c - 0*p. Let b(w) = w**2 - w - 2. Let l be b(c). Suppose -q = 3*j - 17, -61 = -l*q - 3*j - 2*j. Is 14 a factor of q?
True
Let p be 1 + 3 + (-2 - 0). Suppose -36 = -5*t + t + p*s, 3*s = 3*t - 33. Suppose -t*g = -4*g - 12. Is 2 a factor of g?
True
Suppose 5*v = -2*z + 66, 0 = -9*z + 4*z - v + 142. Suppose -3*p - 5 + 19 = k, -5*p = 4*k - z. Is k even?
True
Let h(y) = 4*y + 1. Let p be h(4). Suppose -p - 27 = -4*q. Is 5 a factor of q?
False
Let d = 32 - -2. Does 34 divide d?
True
Let g = -152 - -45. Let x be 0 - -2 - (-1 + g). Suppose -3*k + x = 2*k. Is k a multiple of 13?
False
Suppose -4*c - z = -62, -3*c - 2*z + 49 = -0*c. Let d(q) = q**2 - 14*q - 12. Is 3 a factor of d(c)?
True
Suppose 7*a - 3*a = 28. Is 7 a factor of a?
True
Suppose -20 = -3*j - j. Does 5 divide j?
True
Let t be 0/4 - (2 + -2). Suppose 0 = -t*d - 4*d - 4. Is 9 a factor of (-104)/(-12) + d/(-3)?
True
Suppose -13 - 11 = -2*g. Is 5 a factor of g?
False
Let x(k) = 4*k + 3. Does 4 divide x(4)?
False
Let g = -16 + 9. Let r(i) = -8*i + 8. Let b be r(g). Suppose -3*q + b = q. Is q a multiple of 8?
True
Suppose 2*m = -3 - 1. Is 1*m - (-8 + -16) a multiple of 11?
True
Suppose -2*a + 114 = u, -2*u + 3*a + 158 = -49. Suppose 5*g - 3*k - u = 0, 2*g = -3*g - 4*k + 136. Is g a multiple of 8?
True
Let k(a) = 2*a - 9. Let o be k(0). Is -24*(-6)/o*-1 a multiple of 4?
True
Let g(h) = 2*h**3 - 2*h**2 - 13*h + 3. Is 30 a factor of g(5)?
False
Let b(j) = j**3 + 4*j**2 + 2*j - 1. Let l be b(-2). Is (-26)/(1 + l/(-2)) a multiple of 15?
False
Let u = 57 - -36. Is 17 a factor of u?
False
Let y be (-5 + 6)/((-1)/19). Let s = 39 + y. Is s a multiple of 4?
True
Suppose -530 = -3*s - 2*s. Suppose z - 271 = -s. Does 9 divide 3/(-9) + z/9?
True
Suppose 0 = -0*k + 5*k - 225. Is k a multiple of 13?
False
Let l = 15 + -11. Let h(v) = -v**3 + 4*v**2 + 3*v + 4. Is 12 a factor of h(l)?
False
Let a(q) = q**2 + 4*q - 1. Let p be a(-5). Suppose -208 = -5*s + p*w, -3*s = w - 5*w - 128. Let n = s + -16. Is 12 a factor of n?
True
Suppose -4*y + 172 = 4*i - 0*y, 4*i - 5*y = 145. Is 17 a factor of i?
False
Let p be (2 - 1)/(2/14). Let c(h) = h - 15. Let g be c(p). Let j = g + 23. Does 15 divide j?
True
Suppose 218 = 4*s + 82. Is 12 a factor of s/((-8)/4 - -4)?
False
Let r be -3 + 3/(-1 + 2). Suppose 0 = -r*p + 4*p. Suppose p*d - 33 = -3*d. Is d a multiple of 11?
True
Let m be (14/(-8) + 1)*-24. Suppose -4 = -g - l + 3, 2*g - 2*l = m. Does 4 divide g?
True
Let i(n) = n**3 - 9*n**2 + n + 13. Let y be 8 + ((-4)/(-2))/2. Does 11 divide i(y)?
True
Suppose z - 1395 = 6*z. Is z/(-12) + 2/(-8) a multiple of 15?
False
Let m(h) = 4*h**2 + 7*h + 5. Let o(r) = -5*r**2 - 6*r - 4. Suppose 0 = -4*q - 0 - 24. Let w(g) = q*o(g) - 5*m(g). Is 10 a factor of w(1)?
True
Suppose -4*a + 44 = -164. Suppose 5*p - a + 12 = 0. Is 3 a factor of p?
False
Let q(j) = -2*j**3 - 9*j**2 - j + 1. Let n(w) = -w**2. Let h(l) = -3*n(l) + q(l). Is 10 a factor of h(-4)?
False
Let i(q) = -q**3 - 6*q**2 - 6*q - 4. Let z be i(-5). Let p be (16/(-6))/((-2)/3). Suppose -y - 15 = -p*f, y - 2 = -2*f + z. Is f even?
False
Suppose 38 = -3*x - 274. Suppose -158 = 2*k + 2*q - 0*q, -q = -2*k - 143. Let b = k - x. Does 15 divide b?
True
Suppose -5*a + 2*a = 9. Is 4 a factor of a/(-7) - (-265)/35?
True
Let r = 52 - 16. Does 9 divide r?
True
Let a(n) = n**2 - 7*n. Let i be a(8). Let l = 20 - i. Let o = l - 5. Does 7 divide o?
True
Suppose 0 = 5*k + x + 53, 2*k + 2*x = 6*k + 48. Let f = k + 7. Let d = f - -8. Is 4 a factor of d?
True
Let