4 divide q?
True
Suppose 9*q - 10 = 8. Suppose 2*x + 10 = q*h, -h - 4*h = -4*x - 28. Is h a multiple of 8?
True
Let v(p) = p**3 + 8*p**2 - 5*p - 10. Let r be 4/10 + 66/10. Let o = r + -15. Is v(o) a multiple of 14?
False
Let h = 34 + -31. Suppose -40 = -h*c + 65. Is c a multiple of 9?
False
Let n(m) be the second derivative of -m**4/12 + 5*m**3/2 - 11*m**2 - 11*m. Does 16 divide n(9)?
True
Let s be 1 + 3 + -118 + 1. Let h(u) = -u**3 - 20*u**2 - 20*u - 13. Let d be h(-19). Does 9 divide 2/d - s/3?
False
Suppose -h + z = -5*h + 5269, 3*h + 4*z = 3968. Is 14 a factor of h?
True
Let x(a) = a**3 - a**2 - a + 1. Let t = -15 + 13. Let s be x(t). Let b = -6 - s. Is b a multiple of 3?
True
Let s be ((-8)/(-12))/((-2)/(-3)). Let v be 0/((-3)/3*s). Let z(a) = -a**3 + a + 40. Does 13 divide z(v)?
False
Let u = 2334 + -2229. Is u a multiple of 35?
True
Is 5*(4 - -1)*(-84)/(-10) a multiple of 7?
True
Let w(t) = -t**2 - 4*t + 9. Let m be w(-5). Suppose -4*v - 32 - 20 = -h, -5*h - m*v = -380. Is h a multiple of 24?
True
Let s(h) = -h - 2. Let k be s(-5). Suppose k*m - 77 = 4*w, 2*w = -m + w + 28. Suppose 4*g - 3*d - m = 0, 4*g + 2*d - 14 = 28. Does 3 divide g?
True
Let h(y) be the second derivative of y**4/12 + 2*y**3 - 9*y**2/2 + 3*y. Let g be h(-13). Is g*(-1)/(-10)*20 a multiple of 8?
True
Suppose -i + 16 = 4*g - 9*g, 2*g = 3*i + 4. Let h be ((-2)/(-5))/((-1)/5). Does 15 divide h/(i + (-214)/(-54))?
False
Suppose 0*w - 8*w = 56. Is 1/(-5) + (-6)/10*w a multiple of 2?
True
Let z(l) = -l**2 + 6*l - 2. Let n be z(5). Suppose -2*h - 18 = 2*j, h - n*j + 4 + 1 = 0. Let a = h + 37. Does 15 divide a?
False
Let n(t) = t**3 + 8*t**2 + 12*t - 14. Let a be n(7). Let x = a + -553. Does 42 divide x?
True
Let z(g) = -g**3 - 8*g**2 - 14*g + 101. Is 13 a factor of z(-18)?
False
Let p(n) be the second derivative of -n**5/20 + 7*n**4/12 - n**3/3 - 2*n**2 - n. Suppose 0 = 5*b - 10, 4*t + 6 = -2*b + 30. Does 12 divide p(t)?
True
Let f(k) = 2*k**2 + 9*k + 12. Let q(t) = t**2 + 4*t + 6. Let h(r) = -3*f(r) + 7*q(r). Is 6 a factor of h(3)?
True
Let r(i) = 14*i + 181. Does 41 divide r(-10)?
True
Let j = 54 - 41. Suppose h - 75 + j = 0. Is 13 a factor of h?
False
Let u(t) = -8*t - 27. Let q be ((-56)/(-21))/(1/(-3)). Is 9 a factor of u(q)?
False
Does 14 divide (-4 + 2 - -9)*22?
True
Suppose -10 - 4 = x. Let v(b) = b**2 + b - 1. Let p(s) = 8*s**2 + 6*s - 8. Let f(c) = x*v(c) + 2*p(c). Is f(4) a multiple of 11?
True
Is (-1 - -29)*1337/14 a multiple of 14?
True
Let t = 57 - 196. Let j = -89 - t. Does 22 divide j?
False
Let h(g) = g**2 + g + 40. Let c = 11 - 11. Let r be h(c). Suppose 38 = 3*d - r. Is d a multiple of 13?
True
Let w(r) = 4*r - 1. Let g be w(4). Let m(k) = -g + k**2 + 5 + 0*k**2 + k. Is 13 a factor of m(-7)?
False
Let b be ((-327)/(-3) - -3)*2. Suppose k + b = 5*k. Is 21 a factor of k?
False
Suppose 2*w + 7275 = 5*b, -7290 = -0*b - 5*b - w. Is b a multiple of 5?
False
Let x(d) = 73*d - 53. Does 17 divide x(9)?
False
Let k be 61/(-5) + (-1)/(-5). Let w = k - -92. Does 32 divide w?
False
Let y = -655 - -1738. Is y a multiple of 55?
False
Let c(n) = -1 + n**3 + 2 + 5*n + 0 + 4 + 11*n**2. Is c(-9) a multiple of 31?
False
Suppose -2*v + 5*z = -38, 0 = 4*v + z - 2*z - 94. Suppose a + 51 = 3*q + 7, 2*a = -q + v. Is 4 a factor of q?
True
Suppose 187*a = 216*a - 15370. Is a a multiple of 106?
True
Is ((-68)/6 - 1)/((-4)/168) a multiple of 12?
False
Suppose 5*x - 4*x = 6. Let i be ((-4)/x)/(5/15). Does 15 divide 3/(1 - i) - -44?
True
Let y = -187 - -189. Let c = 59 - 39. Suppose y*j = -5*l + 88, j = l - j - c. Is l a multiple of 9?
True
Suppose -5*v + 20 = -20. Let w(j) = 0*j**2 + 2*j**2 - 10*j**2 - 2*j**3 + 3*j**3 + j - 5. Is w(v) a multiple of 3?
True
Suppose 4*f + 554 = 1910. Does 14 divide f?
False
Let p = -1060 - -2075. Does 42 divide p?
False
Let l(f) = 4*f - 4. Let g be (5/3)/(1/3). Let p be l(g). Suppose p = 4*n - 80. Does 8 divide n?
True
Let w(t) = 7*t - 27. Let n(g) = -10*g + 40. Let v(s) = 5*n(s) + 7*w(s). Let f be v(9). Suppose -3*y + 183 = 3*r, 3*y = 8 - f. Is 15 a factor of r?
False
Suppose 0 = 3*n + 2*c + 143, -5*n - 205 = c - 6*c. Let k be 18/n - 34/(-10). Is (k + 4 - -4) + 2 a multiple of 13?
True
Suppose -j + 4*q + 4 = -0, -5*j - 18 = -q. Let p = -4 - j. Is 1/(-1) + 4 + p even?
False
Let c(a) = a**3 - 3*a**2 + 3*a + 4. Suppose -2*j + 10 = -0*j. Let z(y) = -y**3 + 2*y**2 - 2*y - 4. Let i(p) = j*c(p) + 4*z(p). Is i(7) a multiple of 13?
False
Let x = 48 - 28. Is 8 a factor of ((-6)/3)/(x/(-330))?
False
Let l be (-48)/(-18) - (-2)/(-3). Suppose 2*w - 200 = -l*x, 0*x + 3*x = 3*w + 276. Is 24 a factor of x?
True
Let c be -2 - ((-2)/(-2) - 6). Suppose 5*v + c*k = -k - 1, -k = 4. Suppose -v*f = 4*u - 7 - 3, -f - 18 = -4*u. Is u even?
True
Let p be 1 - (-141 - -4) - 4. Let j = -4 + p. Is j a multiple of 23?
False
Let s(k) = k**2 - 8*k + 26. Let u be s(16). Suppose 22 - u = -4*y. Does 6 divide y?
False
Suppose 13*o - 19*o = -18. Suppose 5*f - 357 = -o*k, 8 - 603 = -5*k + 4*f. Is k a multiple of 17?
True
Is (57 - -3)*(-76)/(-10) a multiple of 19?
True
Suppose -498 = 5*g - 3. Let x = -76 - g. Is 4 a factor of x?
False
Let k = 3268 - 1418. Suppose -k + 202 = -4*y. Is 62 a factor of y?
False
Suppose 645 = 9*h - 1470. Suppose -4*r + 9*r + 2*c = h, -r = -c - 54. Is 21 a factor of r?
False
Let c = 6 + 18. Suppose 2*r = 2*z + 2*z + 4, -5*r = 4*z - c. Suppose -4*b + 0*b = -2*w - 34, r*w = b + 2. Is 3 a factor of b?
False
Suppose 5*q - 2*t = 95, -10 - 2 = -q - t. Let r = q - -3. Does 20 divide r?
True
Let v(t) = -2*t**3 + 22*t**2 - 11*t + 2. Let y be v(9). Suppose 136 = 5*g - 2*g - p, -5*g + 2*p + y = 0. Does 20 divide g?
False
Let h = -523 + 1243. Is 24 a factor of h?
True
Suppose -46*y - 6120 = -55*y. Does 5 divide y?
True
Suppose 7*a = 48*a. Let v = 10 - 7. Suppose -l + v + 3 = a. Is 2 a factor of l?
True
Suppose -18 = 3*g - 0*g. Let l be (-4)/g - 258/9. Let z = l - -52. Is z a multiple of 12?
True
Let a(s) = s**2 + 12*s - 10. Let m be a(-14). Let u = 38 - m. Let h = 44 + u. Is h a multiple of 25?
False
Suppose j - 70 = -4*b, -5*b = -0*j - 2*j + 166. Suppose -2*d - j = -202. Let z = -31 + d. Is 13 a factor of z?
False
Let z be 63/12 + 2/(-16)*2. Suppose -z*k = -376 - 119. Is 33 a factor of k?
True
Let i = 30 + -30. Suppose -5*c - 5*f + 70 = i, -3*c + 3*f = -18 + 6. Does 5 divide c?
False
Suppose -d - 5*z = -2 - 5, -3*z = 5*d - 13. Let s be 6*2*3/12. Suppose s*o = d*o + 31. Is 15 a factor of o?
False
Let t = -7 - -14. Suppose -2*r + t*r + 223 = 3*h, h = 4*r + 86. Let v = 98 - h. Does 5 divide v?
False
Suppose -9*x + 4*x - 640 = 0. Let k = 69 + x. Let z = k + 113. Is z a multiple of 27?
True
Let h = 84 - 32. Is h even?
True
Let n = 65 - 63. Suppose -n*a = -0*a - 160. Is a a multiple of 5?
True
Let p(i) = 4*i**3 - 12*i**2 - 4*i - 5*i**3 - 1 + 14*i**2. Is 14 a factor of p(-3)?
True
Let u = 71 - 13. Let d = u - 34. Is d a multiple of 4?
True
Suppose -w = -3*b + 449, 7*w = 2*b + 2*w - 321. Suppose -u = -2*j + u + b, -5*j = u - 358. Is 36 a factor of j?
True
Let r(v) = 69*v**2 - 37*v + 138. Does 114 divide r(4)?
False
Suppose 0*f - 232 = -f. Suppose 2*s = 4*s - f. Let w = -67 + s. Is 10 a factor of w?
False
Suppose p - 5*u - 1894 = -2*p, 2472 = 4*p + 4*u. Is p a multiple of 8?
False
Suppose 4*h - 36 = -5*h. Suppose -3*j = h*a + 61, -20 = 2*a + 3*j + 15. Let w = 21 + a. Does 4 divide w?
True
Let j(n) = 4*n**2 + 19*n + 12. Let s(x) = x**2 + 6*x + 4. Let i(f) = -2*j(f) + 7*s(f). Let a be i(-4). Let w = -10 - a. Is w a multiple of 18?
True
Suppose 3*l - 41 = -35. Suppose 4*m = -l*c + 70, 4*m = 3*c + m - 150. Does 5 divide c?
True
Let q = 236 - 225. Does 11 divide q?
True
Let w = -401 + 854. Is 17 a factor of w?
False
Suppose 5*t - 2*k - 142 = k, -84 = -4*t - 5*k. Let v be (-76)/6 - (-48)/(-36). Let g = v + t. Is 6 a factor of g?
True
Suppose 4*k - 276 = -2*k. Let v = 28 + -49. Let n = v + k. Is n a multiple of 5?
True
Suppose 23 + 19 = 6*t. Let h(r) = r**3 - 5*r**2 + 10. Is 11 a factor of h(t)?
False
Let m(g) = g - 15. Let r(y) = 5*y - 46. Let f(u) = 11*m(u) - 4*r(u). Does 6 divide f(-3)?
False
Let t(f) be the third derivative of -f**7/2520 - f**6/720 - f**5/12 + 7*f**2. Let i(m) be the third derivative of t(m). Does 2 divide i(-3)?
False
Let w(x) = 1. Let j(d) = -4*d + 1. Let q(v) = j