es 10 divide k(h)?
True
Let b = 0 - -1. Let f(q) = -q - 1. Let y(p) = -47*p**2 - 1. Let c(w) = f(w) - y(w). Is c(b) a multiple of 22?
False
Suppose -5*x + 3*u = -0*x - 681, -2*u = -3*x + 409. Is 11 a factor of x?
False
Suppose -r + 72 = 2*r. Let i(b) = b**2 - 22*b - 38. Is i(r) a multiple of 4?
False
Suppose -75*r = -73*r - 1054. Is 17 a factor of r?
True
Let g(d) = -29*d - 168. Is g(-10) a multiple of 22?
False
Let z be 2/10 - 368/(-10). Let h = -16 + z. Is 4 a factor of h?
False
Let y be 78/(-4)*-3*(-88)/(-33). Is 20 a factor of (y/(-28) + 3)/(9/(-210))?
True
Suppose -5*y = -4*u - 52, 4*y - 4*u - 44 = -0*y. Is 4 a factor of y?
True
Suppose c + w = 306, -5*w = 10 + 5. Does 38 divide c?
False
Let k = 98 + -60. Is 2 a factor of k?
True
Suppose -3*g + 9 + 11 = -u, 0 = -2*g + 2*u + 20. Suppose g = v, -5*q + 3*v - 321 + 1556 = 0. Suppose 0 = -2*d - 4*t + 132, q = 4*d - t + 2*t. Does 16 divide d?
False
Let k = -1374 + 1986. Is 13 a factor of k?
False
Let w = -7 - -14. Suppose 0 = -5*i - 5*c + w - 42, 17 = -5*i + c. Is 3 - (264/i)/3 a multiple of 8?
False
Suppose -4*y + 209 = 17*n - 12*n, 2*n + 5*y - 70 = 0. Is n a multiple of 5?
True
Let k = -11 + 49. Suppose 0 = -3*o + 46 + k. Is o a multiple of 4?
True
Suppose 10 = -z + 28. Let y = -6 + z. Is 26 a factor of 748/y + (-6)/(-9)?
False
Let i = 157 + -154. Is (12 + -30)*(-37)/i a multiple of 53?
False
Suppose r = 8 + 13. Suppose h + 2*h - r = 0. Let s = 35 - h. Is s a multiple of 10?
False
Let g = 646 + -151. Does 33 divide g?
True
Let q(y) = -y**2 - 9*y + 2. Let c be q(-8). Let s(a) = -a**2 + 11*a. Does 10 divide s(c)?
True
Suppose 1253 - 8909 = -11*n. Does 8 divide n?
True
Let v be 1/5 - 10/50. Let k(f) = -6*f**2 + v*f**2 + 4*f**3 + 3 - f**3 - 6*f - 4*f**3. Is 13 a factor of k(-6)?
True
Is (-9)/(-2 + (-10)/(-6)) a multiple of 19?
False
Let o(m) = -7*m - 47. Let c(r) = r**3 + 4*r**2 - 4*r - 12. Let v be c(-5). Does 12 divide o(v)?
True
Suppose 5*c + 6 = 2*c. Does 10 divide (17/c)/(1/(-4))?
False
Let g(z) be the second derivative of z**4/6 + z**3/3 - 9*z**2/2 + 6*z. Does 2 divide g(-4)?
False
Is 5/((-55)/(-8754)) + 206/1133 a multiple of 25?
False
Let s(z) = 9*z + 53. Does 2 divide s(6)?
False
Suppose -2*r + r = -2. Suppose -h = -r*h + 3. Is 12 a factor of -4 + -2 + 18*h?
True
Let y(r) = -2*r**3 + 6*r**2 - 3*r + 11. Let g be y(5). Let o = g - -182. Does 39 divide o?
True
Suppose 15 = 5*c - 4*c. Suppose 2*h = -3*h + c. Suppose -15 = -h*d - 0*d. Is d even?
False
Suppose -2*n = 4*y + n - 18, 20 = 4*y + 4*n. Is 22 a factor of (y/(-2) + 0)*-74?
False
Let q(n) be the second derivative of 7*n**3/2 + 7*n**2/2 - n. Let u = 1376 + -1371. Does 28 divide q(u)?
True
Suppose 29*g = -4*g + 37488. Does 9 divide g?
False
Let z = 54 - 32. Suppose 0 = 3*q + 5*n - 253, -q - z = 3*n - 101. Is q a multiple of 16?
False
Let h(v) be the first derivative of 7*v**2/2 + 22*v + 16. Is 24 a factor of h(5)?
False
Suppose -4*w + 31 = 23. Suppose -5*p - 164 = -w*l - 3*p, -3*l = -p - 248. Is l a multiple of 19?
False
Let m(c) be the second derivative of 9*c**3/2 + c**2/2 + 4*c. Is 11 a factor of m(2)?
True
Suppose 36 = 2*x + 4*x. Does 27 divide ((-1)/(-2))/(x*2/1296)?
True
Let z be 1/((-4)/96*3). Does 23 divide 46/(-1 + 2 - z/(-16))?
True
Let z = 175 + -97. Is z a multiple of 6?
True
Does 5 divide ((-5)/(-10))/(((-27)/(-768))/9)?
False
Let q be 0 + (0 - -2) + 5. Let s(k) = -k**3 + 10*k**2 - 14*k - 12. Let z be s(q). Let j = z + -7. Does 5 divide j?
True
Suppose 21 = -6*i - i. Does 17 divide 646/16 - i/(-8)?
False
Suppose 5*m = -4*p + 308 + 11580, -3*m + 4*p + 7120 = 0. Let v be m/63 - (-2)/7. Suppose u + 0*u - v = 0. Is 11 a factor of u?
False
Let o = -2 - -4. Suppose -o*b + 3*b = 5. Suppose b*n - 4*n - 34 = 0. Is n a multiple of 7?
False
Suppose 15*b + 12*b = 14418. Is 45 a factor of b?
False
Suppose 2*c - 7 = 1. Suppose -c*z + 36 = -4*v, -3*v - 2*z = -3*z + 21. Does 5 divide (-3)/(-6)*v - -33?
True
Let c = -21 + 26. Suppose 0 = 6*z - c*z - 128. Let x = -46 + z. Is x a multiple of 10?
False
Let z = -317 + 541. Is z a multiple of 16?
True
Let x = 771 - 357. Does 9 divide x?
True
Suppose -4*z - 2*c + 395 = -727, 1401 = 5*z + 4*c. Is z a multiple of 17?
False
Suppose -v - i = 14, 0 = v + 3*i + 2*i + 34. Let f = 13 + v. Suppose -f*j + 60 = j. Is 6 a factor of j?
True
Suppose -3*h + 5*h = 478. Suppose -o - 2*g + 122 = -3*o, 5*g - h = 4*o. Is 9 a factor of o/(-11)*3/2?
True
Let g(r) = 2*r**2 + 12*r + 11. Let s be g(-8). Suppose -3*u - 2*o + 29 = 0, s = 3*u - 2*o - 6. Is 4 a factor of u?
False
Let t be (-227)/(-5) + ((-18)/(-10))/3. Let u = 61 - t. Does 5 divide u?
True
Let x(z) = z + 13. Let t be x(0). Is (-21)/(-42)*(t - 1) a multiple of 5?
False
Is 8 a factor of ((-1638)/(-455))/(6/1640)?
True
Let b(p) = -92*p - 84. Is b(-6) a multiple of 9?
True
Let h(d) = -4*d**2 - 123*d - 48. Does 43 divide h(-25)?
False
Is 8 a factor of 2/(1/(-2) - 748/(-1464))?
False
Let u(y) = -3*y**2 - 43*y + 5. Is 19 a factor of u(-13)?
True
Suppose 7*n = -5 + 12. Let v(j) = 145*j**2 + j - 2. Is 22 a factor of v(n)?
False
Suppose -5*m - 3*f = 3 + 4, 0 = 2*f - 2. Is (-1)/(234/118 + m) a multiple of 17?
False
Suppose 4*y + c = 267, 3*y + 0*c = -5*c + 179. Does 2 divide y?
True
Let l be 7 - (7 + -2 - 3). Suppose v + 84 = l*v. Suppose q = -3*x + v, -2*q + 5*x - x + 52 = 0. Does 8 divide q?
True
Let i = 27 - 22. Let p be (-10)/20 + i/2. Suppose 0*j + 10 = p*j. Does 5 divide j?
True
Let v be 3/(-54)*4 + (-3539)/(-9). Let i = v + -264. Does 23 divide i?
False
Suppose t + 2*t = g + 1, 0 = -2*g - 8. Let l = 5 + t. Suppose -l*d + d - w = -100, -5*d = 3*w - 168. Does 6 divide d?
False
Let s = 703 - 478. Suppose -11*t + 16*t - s = 0. Is t a multiple of 12?
False
Does 7 divide (-4056)/(-48) + 1/(-2)?
True
Suppose 40*m = 36*m - 16, 0 = -2*y - 7*m + 1060. Is y a multiple of 34?
True
Suppose j + 991 = v + 3*v, 2*v - j = 497. Suppose 2*n = 2*l - 117 + 19, 4*n + v = 5*l. Suppose 2*q = 5*d - 306, -2*d - l = -3*d - 3*q. Is 36 a factor of d?
False
Let n be 6/(-84)*-7*(-3 - -1). Is 372/6 - (-1 - n - -1) a multiple of 9?
False
Let j be 3 - (-5 + -8 + 6). Let u(q) = q**3 + 9 - 11*q**2 + q**2 + 5*q - q. Is u(j) a multiple of 13?
False
Let l(z) = -26*z**3 - z**2 - 1. Let i be l(-2). Suppose -i = -4*o - 59. Is 6 a factor of o?
True
Does 27 divide ((-39)/65)/(7/(-34965))?
True
Let z be -4 + (-3 - (-3 + 0)). Let l = z - -9. Suppose 5*f + 71 - 269 = 3*q, 0 = -l*f - q + 194. Is f a multiple of 20?
False
Suppose -4*y + 3 - 23 = 0. Let o = y + 24. Is 19 a factor of o?
True
Suppose -4*u + 2*n = -6 + 2, -2*u + 4*n + 2 = 0. Does 16 divide ((-1 - u) + 3)*64?
True
Let d(m) = 5*m**3 - 40*m**2 + 9*m. Is d(8) a multiple of 12?
True
Is 23 a factor of (1 - 0)*(1792 + 1 - -1)?
True
Let z(i) = 72*i - 16. Let x be z(-5). Does 18 divide 4*3/18 - x/3?
True
Let g = -395 + 727. Is 12 a factor of g?
False
Suppose 114*j - 118*j + 580 = 0. Is 12 a factor of j?
False
Let i(n) = 3*n**3 + 3*n + 7. Let r be i(-7). Let o = r + 626. Does 23 divide (-2)/4 - o/6?
True
Is 4*((-685)/(-10) + -5) a multiple of 23?
False
Let o be 18/(-15)*5/(-2). Suppose 19 = -o*z + 7. Is (630/20)/((-2)/z) a multiple of 21?
True
Let j = 23 + -12. Let v(r) = 6*r + 6. Let f be v(j). Suppose -q + 4*q = f. Is q a multiple of 6?
True
Let t = 952 + -462. Is 10 a factor of t?
True
Let p = 676 + 542. Is 29 a factor of p?
True
Let x(f) = 245*f - 16. Is x(5) a multiple of 14?
False
Suppose -7 = m + 3*h + 13, 3*h = 3*m. Let u = m - -30. Does 5 divide (10/u)/((-2)/(-50))?
True
Suppose -2*k + 859 = 5*l, -10*k + l = -9*k - 419. Is k a multiple of 29?
False
Suppose 0*j = -4*j + 8. Suppose 2*s + j*q - 194 = 0, s - 169 = -s + 3*q. Does 23 divide s?
True
Suppose -4*v + v = -12, 3*v = -j + 20. Let r(l) = -l - 11. Let i be r(-14). Suppose 3*x = 3*t - 27, -i*t + j*t - 40 = 4*x. Is t a multiple of 4?
True
Let i be (4/6 - 1)/((-22)/9042). Suppose -i - 163 = -6*z. Is z a multiple of 13?
False
Suppose 5*b - 2*w = 766, -b = 3*b - 5*w - 606. Is b a multiple of 4?
False
Let b = 2376 - 1624. Suppose -2*w + 2*g - 4*g = -376, 4*w = -3*g + b. Does 47 divide w?
True
Let s = 172 - 156. Is s a multiple of 2?
True
Let a be (62/(-4))/((-2)/8). Let l = 137 + -133. Suppose 2*k + 0*r - 3*r - 21 = 0, l*k - 2*r = a. Is 9 a factor of k?
True
Let d(v) = 18 - 2*v + 14 + v**2 - 30. L