t b be u(-1). Suppose 0 = 3*t + 2*m - 364, -t + 3*m = t - b. Is 15 a factor of t?
False
Suppose 3*v + 2495 = -4*g, -g + 2*v + 15 = 625. Let b be (-4)/2 - g/5. Does 15 divide b/(-4)*(-3 - -1)?
False
Suppose 3*x + 0 - 8 = 4*w, 3*w - 3*x = -6. Let h(k) = 200 - 199 - 7*k - 20*k - 8*k. Does 13 divide h(w)?
False
Suppose -2*g + 4*i + 537 = -299, -3*g - 3*i + 1281 = 0. Is 31 a factor of g?
False
Suppose -o - f + 136 = -5, 0 = -2*o - 4*f + 288. Let s = o - 82. Is 28 a factor of s?
True
Let v be 0 - 3*(-4 + 5). Is 10 a factor of ((-2)/(-4 + 2))/(v/(-597))?
False
Suppose 3*r = r. Let j(y) = -3*y - 14. Let n(h) = -2*h - 7. Let z(o) = -3*j(o) + 5*n(o). Is 2 a factor of z(r)?
False
Let q be 54/7 + 28/98. Suppose q*l - 458 = -42. Is l a multiple of 9?
False
Let o(q) be the first derivative of -8*q**2 - 8*q + 6. Is o(-4) a multiple of 14?
True
Suppose 3*l = 158 + 37. Is l a multiple of 5?
True
Let l be 259/7 + 1*-4. Let k = l + -13. Is 18 a factor of k?
False
Suppose 0 = 2*h + 5*r - 2207, 3273 = 3*h - 26*r + 21*r. Does 19 divide h?
False
Suppose -n + 83 = -317. Suppose 0 = -2*h - 2*h + n. Does 25 divide h?
True
Suppose 2*g - 6*h = -2*h, 0 = g + 2*h. Suppose 2*v = 4 - g. Suppose d - 29 = v*y + 41, -290 = -5*d - 2*y. Is 15 a factor of d?
True
Suppose 94*q = 88*q + 2244. Does 6 divide q?
False
Let v = 1 + 3. Suppose -321 - 211 = -v*m. Suppose 393 = 5*n + m. Is n a multiple of 13?
True
Let w(z) = -z**3 - 10*z**2 + 19*z - 28. Suppose -16*s + 14*s = 24. Is 7 a factor of w(s)?
False
Let l(n) = 20*n + 8. Let z be l(5). Let t = z + -64. Is t a multiple of 15?
False
Let g = 7 - 5. Suppose -34 = -6*d + g. Suppose d*i - 20 - 64 = 0. Is 5 a factor of i?
False
Let u(t) = t**2 - 9*t - 11. Let s be u(-9). Let n = 224 - s. Is 21 a factor of n?
False
Let h(t) = 278*t**2 - 55*t + 187. Is 5 a factor of h(3)?
False
Suppose -y - 1372 = -r, 7*r - 2*y + 5464 = 11*r. Is 24 a factor of r?
True
Let b(x) = -x**2 - 14*x - 2. Let d(f) = -f**3 + 2*f**2 + 5*f + 3. Let j be d(4). Let v = -17 - j. Is b(v) a multiple of 23?
True
Let c(p) = p**2 - 4. Let s be c(-5). Suppose g - s = 99. Let r = -82 + g. Is 38 a factor of r?
True
Let w = 1752 - 42. Is w a multiple of 15?
True
Suppose -10*j - 2108 = -14*j. Does 17 divide j?
True
Suppose 3*d + 2*l - 81 = 0, 108 = 4*d + 6*l - 3*l. Let x = d + -23. Suppose 10 + 62 = x*z. Is z a multiple of 13?
False
Let c(d) = d + 1. Let x(t) = -2*t**2 + 9*t - 5. Let o(a) = -4*c(a) - x(a). Is 25 a factor of o(8)?
True
Let b(n) = n**3 - 14*n**2 + 6*n - 20. Is 16 a factor of b(14)?
True
Suppose 0 = 4*p - 3*v - 492 - 265, 0 = v + 3. Is p a multiple of 8?
False
Let b(w) = -7*w**2 - 9*w + 12. Let u(t) = t**2 + t - 1. Let i(m) = -b(m) - 6*u(m). Let c be i(5). Let n = c + -18. Does 5 divide n?
False
Suppose p - 3*v = -348 + 903, -2*p + 4*v = -1110. Is 9 a factor of p?
False
Let c = 23 + -19. Suppose 2*n = 4, 5*a - n - c*n - 1205 = 0. Suppose -2*h = 5*k - 91, 4*h - 3*k = -h + a. Does 16 divide h?
True
Let y be (1 - 3) + 2 + 3. Suppose -y*t = -204 - 51. Let s = 133 - t. Is 24 a factor of s?
True
Does 24 divide ((-105)/140)/(1/(-192))?
True
Let y(j) = -j**3. Let f be 3 - (-2)/(8/(-12)). Let u be y(f). Suppose 3*r + u*r = -4*z + 212, -r = 3*z - 154. Is z a multiple of 23?
False
Let q(s) = 28*s + 90. Is 11 a factor of q(15)?
False
Suppose -29*q + 20 = -19*q. Suppose 4*v - w = 525, 15 = -w - q*w. Does 11 divide v?
False
Is 446*(-10)/(-100) + 4/10 a multiple of 38?
False
Let m = -16 + 21. Suppose -3 = -2*x + m. Let y(h) = 3*h**2 - 9*h + 3. Is 11 a factor of y(x)?
False
Suppose a = -3*s - 2 - 26, -2*a = 2*s + 36. Let w = -14 - a. Is (-20)/50*65/w a multiple of 9?
False
Let y be 54/15 - 9/15. Let m be (-4)/(-12) - (-1085)/3. Suppose a = -y*c + m, -5*c + 4*a = 28 - 620. Is 24 a factor of c?
True
Suppose -147 = -2*z - 51. Let s be 9/(-4)*128/z. Is 13 a factor of 6/(-18) + (-344)/s?
False
Let h(g) = -g + 1. Let d(j) = -22*j**2 - 2*j - 1. Let f be d(-1). Let z = 10 + f. Does 6 divide h(z)?
True
Let n be (-1064)/(-72) - 4/(-18). Let r = n + -12. Suppose -2*v = -5*w - 76, r*w = -v + w + 56. Does 21 divide v?
False
Let a = 1 + 3. Let q be (-3)/(-6*1/a). Suppose q*n + 405 = 7*n. Is 27 a factor of n?
True
Let s(v) = -2*v**3 + 82*v**2 + 99*v - 6. Is s(42) a multiple of 52?
True
Suppose -3*r + 2311 = 5*o, 5*r + 47*o - 49*o = 3893. Is 21 a factor of r?
True
Let s be 12/(-6)*(-3)/2. Suppose 0 = s*f - 3, -2*x - 5*f = -3*x + 997. Does 35 divide (2/2)/(6/x)?
False
Let f = 163 + -160. Suppose 0*b + q + 49 = 2*b, -3*b + 78 = -f*q. Is 23 a factor of b?
True
Let p(u) = u**2 - 4*u - 15. Let f be p(-5). Let g = 139 - f. Is g a multiple of 23?
False
Does 18 divide (-91950)/(-45)*(-3)/(-5)?
False
Suppose 4*c = 4*p + 72, -3*c + 0*p + 54 = -2*p. Suppose c = z - 38. Is z a multiple of 4?
True
Suppose n + n - 176 = 0. Is n a multiple of 3?
False
Let o = -4451 - -6256. Is o a multiple of 24?
False
Let g(l) be the second derivative of l**4/12 - l**3/3 + 15*l**2/2 - 4*l. Is 31 a factor of g(9)?
False
Let h(r) = 37*r**2 - 3*r + 2. Does 24 divide h(2)?
True
Let l(p) = -p**2 + 11*p - 19. Let f be l(8). Suppose -f*h + 139 = -21. Is 32 a factor of h?
True
Let a = 18 + -10. Let i = 3 + 1. Is ((-62)/i)/(a/(-16)) a multiple of 10?
False
Let h(y) be the first derivative of -y**4/4 + y**3/3 + y**2/2 + 4*y + 7. Does 20 divide h(-4)?
True
Suppose -4*c = 2*u + 2*u, 2*u + 3 = -3*c. Suppose 640 = 5*x - 3*a + a, 5*a + 403 = u*x. Does 21 divide x?
True
Let j(n) = -6 + n**2 - 48*n - 8 + 41*n. Let g be (-1 + 11 + 0)/1. Is j(g) a multiple of 7?
False
Suppose -4*u + r = -2*r - 25, -u - 5 = 3*r. Let s(m) = -4 + 10*m + 5 + m. Is s(u) a multiple of 17?
False
Let s be (-4 - -8) + -4 - -1. Let q be (-4 + 3)*65*s. Is 14 a factor of (3 + -4)*q - 1?
False
Suppose 0 = -5*x - 8855 + 24405. Does 10 divide x?
True
Let u = 467 - -15. Let d = u - 321. Is 23 a factor of d?
True
Let i = 0 + 41. Suppose -y + 8*m - 5*m = -i, 5*m + 39 = y. Is y a multiple of 11?
True
Suppose 2*m + 675 = -3*m. Let d = m - -295. Suppose 3*z = j - 35, -j - 3*j = -2*z - d. Does 14 divide j?
False
Let c(a) = 11*a**3 - 5*a**2 + 23*a - 20. Let x(l) = -5*l**3 + 3*l**2 - 11*l + 10. Let k(r) = -6*c(r) - 13*x(r). Does 10 divide k(-10)?
True
Suppose 4*q + 24 = 7*q. Suppose q*s - 10*s + 2 = 0. Suppose x = s, 2*g = -2*x + 6*x + 14. Does 3 divide g?
True
Let o(a) = -2 - 19*a + 7*a + 17 + 5*a. Is 13 a factor of o(-9)?
True
Suppose 16*d - 15*d - 5 = 0. Suppose -4*z - 2*t = -32, 0 + 24 = 3*z + d*t. Does 3 divide z?
False
Let z = 1 + -4. Let k(m) = -12*m - 3. Let t be k(z). Suppose 3*g - 4*g - 5*a = -33, g - t = -a. Is g a multiple of 11?
True
Suppose -q + 75 + 103 = 0. Let i = -146 - -267. Let z = q - i. Is 21 a factor of z?
False
Let x(z) = -z + 13. Let w be x(11). Is 9 a factor of (w/6)/(6/1134)?
True
Is 23 a factor of 391 + -9*(-3)/9?
False
Suppose -523 = -6*w + 7*w. Let v = -358 - w. Suppose 0 = -0*p - 5*p + v. Does 10 divide p?
False
Let m = 1756 + -1050. Is m a multiple of 14?
False
Suppose 712 + 562 = 4*b - 3*h, -947 = -3*b - 2*h. Does 15 divide b?
False
Suppose -856 + 216 = -8*m. Is 10 a factor of m?
True
Let a(w) = -2*w**3 - 27*w**2 + 8*w - 20. Is 4 a factor of a(-14)?
True
Suppose -2*n = -19*n + 408. Does 3 divide n?
True
Let c = -14 - -40. Suppose 4*b - c = 6*b. Let a = b - -94. Does 27 divide a?
True
Let s be (4 - 0)/(5 - 3). Let b be 123/3 + s/2. Let o = -15 + b. Is o a multiple of 9?
True
Let m(t) be the third derivative of 1/6*t**3 + 0*t**4 - 1/30*t**5 + 0 - 7/120*t**6 + 0*t + 2*t**2. Is m(-2) a multiple of 26?
False
Let z(y) = -2*y**2 + 2*y - 3. Let k(x) = 0*x + x - 2*x + x**2 + 2. Let p(c) = -11*k(c) - 6*z(c). Is 16 a factor of p(-4)?
True
Suppose m = -m + 2042. Is m a multiple of 40?
False
Let b(w) = -w + 5. Let h be b(5). Suppose -4*j = 2*q, 3*q - 3*j + 5*j - 20 = h. Does 4 divide q?
False
Let u(f) = -23*f**2 - 27*f + 23. Let d(i) = -8*i**2 - 9*i + 8. Let x(c) = -17*d(c) + 6*u(c). Let t be x(-7). Does 4 divide t/(-4) + (-7)/28?
True
Let l(u) be the first derivative of -u**4/4 + 14*u**3/3 + 5*u**2/2 - 15*u + 18. Does 11 divide l(14)?
True
Let u = 39 + -26. Let n be (3 - 2) + u + -3. Suppose -3*x + 13 = -n. Does 8 divide x?
True
Let z(d) = 7*d - 22 + 13*d - 9. Does 21 divide z(13)?
False
Suppose -3*k - 18 = -6. Let l be -2 + k + 29 + 0. Suppose 5*z + 4*x - 148 = l