 p(x) a multiple of 6?
False
Let b = -1 + 3. Suppose -4*m - 16 = 0, b*g - 4*m - 68 = g. Suppose -a + 8 + g = 0. Is 15 a factor of a?
True
Let f(r) = 11*r - 369. Let w be f(7). Let b = w + 934. Does 97 divide b?
False
Let h be (-5)/((-5 - (-215)/40)/(-15)). Let j = h + -38. Does 9 divide j?
True
Suppose -360*u = -366*u + 18. Suppose -2*y - 2 + 0 = 0, 327 = 3*x - u*y. Does 31 divide x?
False
Suppose -623*w + 646*w = 47058. Is 11 a factor of w?
True
Let s = 5558 - 5032. Is 9 a factor of s?
False
Suppose 0 = -0*o - 49*o + 331975. Is 13 a factor of o?
False
Let a = 325 + -325. Suppose -11*d + 575 + 492 = a. Is d a multiple of 7?
False
Suppose 0 = 30*s - 28*s + 2. Let d(g) = -64*g**3 + 2*g**2 + 12*g + 9. Is 7 a factor of d(s)?
True
Let o(q) = 108*q**3 + 8*q**2 - q - 40. Is 4 a factor of o(4)?
True
Let w = -58493 - -90365. Is w a multiple of 166?
True
Suppose 2902 - 707 = 5*t. Suppose -4*d + 131 = t. Let b = -41 - d. Does 3 divide b?
True
Suppose 11 + 4 = 5*h. Suppose 0 = h*q - 4*i + 137 - 413, 5*i - 207 = -2*q. Does 16 divide q?
True
Suppose 31*s - 21*s = -10. Is 16 a factor of s/(-5) + 5/(-50)*-318?
True
Let y(t) = -350*t**3 - 6*t**2 - 46*t - 12. Is y(-4) a multiple of 7?
False
Let m(q) = 5*q**2 - 53*q - 6. Let i(s) = s**3 + 7*s**2 + 3*s + 40. Let a be i(-7). Does 72 divide m(a)?
True
Let h be ((-24)/2)/(-4) - (-3 - -3). Suppose 3*q = 4*q, -h*q = 5*i - 75. Suppose -4*g + g + i = 0, 4*g - 180 = -4*d. Is d a multiple of 10?
True
Let h = 145 - 85. Let i be -21*21*(-8)/36. Let t = i - h. Does 38 divide t?
True
Let g be (-2 + 1)*(7 - 7). Suppose -9*b = -g*b + 27. Is (20/6)/(-5) + (-95)/b a multiple of 10?
False
Suppose 7*m + 60 = 12*m. Suppose -j - 60 = -5*v, -v - 3*j + m = -0*v. Let y(h) = 2*h + 47. Does 9 divide y(v)?
False
Let y(v) = -2*v**3 + 3*v**2 + 7*v - 720. Let n(s) = s**3 - s**2 - 3*s + 361. Let c(k) = 7*n(k) + 3*y(k). Is c(0) a multiple of 70?
False
Suppose 2*a - 151 = -m, -5*m + 743 = 2*a + 2*a. Suppose -540 = 138*i - m*i. Is 12 a factor of i?
True
Suppose -o = -2*f + 13997 - 5589, f + 5*o = 4182. Is 22 a factor of f?
True
Let k(w) = -1. Let b(m) = m**2 + 22*m + 28. Let q(g) = -b(g) + 4*k(g). Is 16 a factor of q(-6)?
True
Suppose -2*a + 6*a - 2*r = 30, r = -5. Suppose -2*k - 12 = -2*w + 66, -2*w + 5*k + 72 = 0. Suppose -w = -n + a*h, -3*n + 4*h + 58 = -n. Is n a multiple of 21?
True
Suppose -25*z + 8580 + 952 = -993. Is 24 a factor of z?
False
Let z = 25359 + -12430. Is 16 a factor of z?
False
Let g be (-1 + (-3)/9)*27/(-18). Suppose -7*w - 3*b = -g*w - 291, 2*w = 4*b + 132. Is w a multiple of 12?
True
Let t(z) be the second derivative of z**5/20 - 2*z**4/3 - 4*z**3/3 + 73*z**2/2 - 2*z - 36. Is 9 a factor of t(8)?
True
Let m = 18685 + -3694. Is 17 a factor of m?
False
Suppose -4*v + 2973 = -3*p - 1938, 6*v - 7377 = p. Is 15 a factor of v?
True
Suppose 0 = 21*k + 39 + 24. Does 15 divide (-30)/(-20)*((-815)/k + -1)?
False
Let s(k) = 128*k + 725. Does 15 divide s(20)?
True
Suppose 154*w - 1532023 = 1709596 - 624851. Is w a multiple of 18?
True
Let d(w) = 50*w**2 - 6*w - 28. Is 28 a factor of d(13)?
True
Suppose -118*z + 179306 = -342254. Is 26 a factor of z?
True
Suppose -228 = -4*r - 0*r. Let m = -148 - -102. Let i = r + m. Is i a multiple of 3?
False
Is 118 a factor of (-4 + 3)/(3/(-33429)) - (-24)/(-12)?
False
Let c(u) be the second derivative of -u**5/10 - u**4/12 + 4*u**3/3 - 7*u**2/2 + 35*u. Let s be c(5). Let k = -102 - s. Is 35 a factor of k?
True
Suppose -2*v + 364 = -2*b + 6*b, 0 = -2*v - 2*b + 358. Let z = v - -84. Is 65 a factor of z?
True
Let n(k) be the first derivative of k**4/2 + 23*k**3/3 - 11*k**2/2 + 20*k + 1. Suppose 615*b - 619*b + 68 = -4*x, -4*b = 3*x + 16. Does 2 divide n(x)?
True
Suppose 3*y - 3*v - 8887 - 8936 = 0, -3*v + 11897 = 2*y. Is 7 a factor of y?
False
Let y(l) be the first derivative of -2*l**2 - 4*l - 87. Let d = -13 - -8. Does 6 divide y(d)?
False
Suppose -77152 - 22682 = -3*z + 3*k, 4*z + 2*k = 133124. Does 26 divide z?
True
Let i = 20809 + -9534. Is 275 a factor of i?
True
Let z = 4088 + -2519. Suppose -207 - z = -24*i. Is 5 a factor of i?
False
Let t(l) = -l**3 + 82*l**2 - 59*l + 438. Does 6 divide t(81)?
True
Let p(a) = 40*a + 1. Suppose -27*c + 28*c = 9. Suppose -9*h = -c - 0. Is 16 a factor of p(h)?
False
Let m = 2091 - -7934. Is 25 a factor of m?
True
Let n(q) = -305*q - 89. Does 68 divide n(-13)?
True
Let m = 689 - -16699. Suppose -21*k - 6*k + m = 0. Is 14 a factor of k?
True
Let g(s) = 12*s**2 - 71*s - 18. Is 22 a factor of g(-11)?
False
Suppose 0 = -4*p + 48*p + 32*p - 4444632. Is 12 a factor of p?
False
Let k = 29 + -13. Suppose 0 = -19*n + k*n + 90. Does 15 divide n?
True
Let n = -7955 - -11936. Is n a multiple of 206?
False
Let v = -34 - -49. Let n(t) = 14 + 9*t - 37 + v. Is n(2) a multiple of 2?
True
Suppose 4*l - 476 = 852. Is 2 a factor of l?
True
Suppose x - 5*x - 5*x = -12042. Does 6 divide x?
True
Is 39 a factor of 23/184 - (-162954)/48?
False
Let j(f) = 935*f + 14504. Is j(0) a multiple of 4?
True
Let p(o) be the first derivative of 19*o**2/2 + 10. Let t be p(3). Let m = t + -54. Is m a multiple of 3?
True
Let g = 83 - 33. Let o = -57 + g. Does 5 divide (3 + o - -52) + 0?
False
Suppose -4*k = 4*j - 28 - 16, -43 = -5*k - 2*j. Let i = k - 5. Does 11 divide (i/(-10)*-5)/((-3)/(-453))?
False
Let y(k) = -k**2 + 11*k - 19. Let z be y(4). Let a(r) = 9*r - 58. Let q be a(z). Let p = 109 + q. Is 33 a factor of p?
True
Let p be 701/(4 + 3 + -6). Suppose 5*o - 139 = p. Does 23 divide o?
False
Suppose -15716 = -5*v + 13909. Is 25 a factor of v?
True
Suppose -y + 3*j - 2*j + 507 = 0, -2*y - j = -1014. Suppose 0 = -17*t + y + 819. Does 13 divide t?
True
Suppose j = -u - 22 + 3, -2*j = -u + 44. Let q = 27 + j. Suppose 3 = -3*t, 0 = -q*v + v - t + 199. Is 17 a factor of v?
False
Let l be 12/(-18)*(-1 - (-31)/(-2)). Let b(f) = 13*f - 43. Is b(l) a multiple of 9?
False
Suppose 161 = 45*t - 38*t. Suppose -t*x + 5482 = -1234. Is 45 a factor of x?
False
Let v(u) = -u**3 - 3*u**2 + 6*u + 2. Suppose 4*q - 18 + 42 = 0. Let x be v(q). Suppose -4*y = g - 108, -g - y + x + 40 = 0. Does 38 divide g?
False
Suppose -17*l + 16272 = -l. Suppose -6*c + 579 = -l. Is c a multiple of 19?
True
Let q(v) = -v**3 + 12*v**2 - 10*v + 11. Let a be (1062/(-30))/(-3) - 8/10. Let x be q(a). Let l(n) = 2*n**3 - 43*n**2 - 20*n + 10. Is l(x) a multiple of 15?
False
Is 24 a factor of 215*17 - (-47 - -58)?
False
Is (7473720/(-51))/(-4) + 124/1054 a multiple of 6?
True
Let l(r) = -14*r - 2*r**2 + r**2 - 3 + 4. Suppose -4*c = p + 23, -66*c + 4*p = -68*c + 6. Is 12 a factor of l(c)?
False
Let f = 389 + -385. Suppose f*u = 3*h - 286, -4*h + 5*h = 4*u + 106. Is 10 a factor of h?
True
Let s(d) = -20*d**3 - d**2 + 2*d - 1. Let y be s(1). Let x = -5 + y. Is 8 a factor of ((-80)/x)/(8/20)?
True
Let v(x) = -x**3 - 5*x**2 - 4*x + 1. Let a be v(-4). Let l(p) be the first derivative of 37*p**2/2 - 3*p + 222. Is l(a) a multiple of 7?
False
Suppose -22*f + 3*f - 10*f = -42630. Is f a multiple of 105?
True
Let j(c) = 291*c**2 + 9*c + 4. Let b(h) = -582*h**2 - 20*h - 8. Let r(a) = 2*b(a) + 5*j(a). Is 24 a factor of r(-2)?
False
Suppose -5*h + 80 = -5*w, h - 10 = 4*w - 6*w. Suppose h - 42 = -7*f. Suppose 0 = v + 3*q - 84, f*v + q - 192 = 133. Does 9 divide v?
True
Let x(t) = -571*t + 4. Let i = 64 + -63. Let r be x(i). Is (r/35)/(2/(-10)) a multiple of 17?
False
Let z be ((-2)/(-4))/((2/4)/(-1)). Let d(p) = -238*p**3 - p - 2. Let t be d(z). Suppose 0 = 5*q - 9*q + 3*r + t, -2*q + 106 = -4*r. Is 15 a factor of q?
False
Let j(l) = -l**2 + 7*l - 10. Suppose -7*k + 2*k + 25 = 3*b, b - 3*k + 1 = 0. Let v be j(b). Suppose v = x - 5*s - 99, 2*s - 5 = s. Is 31 a factor of x?
True
Suppose 0 = -41*t + 18*t + 46. Is (-1)/t*11/((-55)/2660) a multiple of 6?
False
Suppose 6*w - 48 + 60 = 0. Is (-1)/(-5)*(-15)/w*26 a multiple of 13?
True
Let m = 39935 - 26692. Is 51 a factor of m?
False
Let c(n) = n + 2. Let b(w) = 4*w + 47. Let d(q) = 3*b(q) - 24*c(q). Is d(-15) a multiple of 15?
False
Suppose -5*t + u + 2282 = 0, 3*t - 5*t = 5*u - 902. Let o = -318 + t. Does 21 divide o?
False
Suppose -5*t + 84035 = h, -2*t - h = -2*h - 33614. Is 49 a factor of t?
True
Is (1875 + 3)*5/10 a multiple of 2?
False
Let j = 3976 + -2310. Does 17 divide j?
True
Suppose 2*v - 2*y + 96 = 