 12*p - y = -3*p. Is p a multiple of 12?
False
Suppose -18 = -2*b - b. Let h(p) = -p**3 + 6*p**2 - 3*p - 4. Let t be h(b). Is (t/(-2))/(9/45) a multiple of 20?
False
Let y(t) = 14*t**2 - 11*t**2 - 8 - 8 - 22*t. Does 23 divide y(11)?
False
Let k(s) = 2*s**2 + 23*s + 29. Does 18 divide k(-17)?
True
Suppose 184*s - 183*s - 751 = 0. Does 37 divide s?
False
Let s = -801 + 893. Is 6 a factor of s?
False
Suppose 12*u + 61*u = 35259. Is u a multiple of 21?
True
Is 21 a factor of ((-2)/(64/46032))/((-3)/12)?
True
Let u be (-4)/((-9)/(297/2)). Is 3/6*u/3 a multiple of 4?
False
Suppose 5*g - 4*l - 2838 = -2*l, 2836 = 5*g - 4*l. Suppose g = 9*r + 28. Does 12 divide r?
True
Let x = -341 - -371. Does 7 divide x?
False
Suppose 5*v - 174 = -5*d + 511, 4*d - 4 = 0. Suppose -2*q = 4*h - 202, 40 - v = -2*h - 2*q. Does 14 divide h?
False
Let s = 4 - -2. Let c(x) = x**2 - 4*x + 8. Let u be c(s). Suppose 10*b - u = 5*b. Is 4 a factor of b?
True
Let m = -76 + 81. Suppose 3*c - 567 = -2*y + y, m*c = 3*y + 959. Does 19 divide c?
True
Let j be (6/(-7))/((-33)/154). Suppose 4*t - 3*h - 67 = 0, -5*t + 107 - 25 = -2*h. Suppose -t - j = -5*w. Is w a multiple of 2?
True
Let d(y) = y - 3. Let f be d(-1). Is ((-6)/f)/((-45)/(-510)) a multiple of 17?
True
Let i be (-6)/(-8) + (-13)/(-4). Suppose -3*c + 131 = 2*d, 0 = -i*d + 3*d + 3*c + 61. Is d a multiple of 16?
True
Let j(b) be the second derivative of -5*b**3/3 - 10*b**2 + b. Is 10 a factor of j(-7)?
True
Suppose -122*d = -119*d + 402. Let z = d - -262. Is 8 a factor of z?
True
Suppose -5*p + 5055 = -5*t, 3*p - 18*t + 13*t = 3029. Is p a multiple of 12?
False
Let x(a) = -6*a**2 - a - 7*a + a - a**3. Suppose -2*t - 6 = 4*s + 6, s = 0. Is x(t) a multiple of 28?
False
Does 11 divide (426 - -1) + -2*(2 + 1)?
False
Let k = 10 - 1. Let f(t) = -19*t + 169. Let m be f(7). Is (m/k)/((-2)/(-24)) a multiple of 24?
True
Let w(j) = j**3 - 2*j**2 + 2*j + 127. Let f be (-6)/(-27) + (-10)/45. Is 34 a factor of w(f)?
False
Let y(k) = -21 - 7*k - 7 + 3 - 1. Is 16 a factor of y(-6)?
True
Suppose -3*v + 0 = -4*s + 12, -3*v = 12. Suppose -2*d + 66 = 4*z, -4*z + z + 12 = s. Suppose 0 = -5*y - 3*x + d + 170, x = -4*y + 163. Is y a multiple of 21?
True
Does 57 divide (-18)/((-1985)/(-665) + -3)?
True
Suppose -1512 = -0*a + 2*a. Let w be a/10*(-3 + 8). Does 9 divide (w/4)/7*-2?
True
Let j(r) = 2*r**2 + 6*r + 3. Let z be j(-3). Suppose -x + 267 = -z. Is x a multiple of 30?
True
Does 43 divide ((-32)/10)/(-5 - 4188/(-840))?
False
Is -2*1*(-107355)/170 a multiple of 26?
False
Does 44 divide 16530/45 - 3/9?
False
Suppose -2*x = 3*r - 1389, -5*x + 510 = r + 60. Is 35 a factor of r?
False
Suppose -710 = -16*g + 3370. Does 5 divide g?
True
Let z = 478 - 291. Is z a multiple of 27?
False
Suppose 31 = 13*f - 47. Suppose 4*u - 546 = -b, 0 = -f*u + 2*u - 4*b + 540. Does 13 divide u?
False
Let n(s) = -s**2 + s + 54. Let p be n(0). Let o be (p/(-12))/((-3)/8). Suppose t - 24 - o = 0. Is 12 a factor of t?
True
Let l = 88 + -73. Suppose -16*t + 70 = -l*t. Is 10 a factor of t?
True
Let d(t) = t**2 + 17*t + 49. Let s be d(-14). Let o(q) be the second derivative of q**4/6 - 3*q**3/2 + 4*q**2 + q. Does 12 divide o(s)?
False
Let k = 1326 - 993. Is k a multiple of 37?
True
Let m(h) = -h**3 - 8*h**2 - 11*h - 10. Let l be m(-7). Suppose 4*x = -s + 94, -x + 13 = 4*s - l. Is 17 a factor of 1*((1 - 4) + x)?
False
Let r = -32 + 18. Let t = r - -31. Is 7 a factor of t?
False
Is 708 + (-7 - 3/3) a multiple of 14?
True
Let b(w) = 425*w**3 + 3*w**2 - 4*w + 2. Is 25 a factor of b(1)?
False
Let v(m) = m + 4. Let s(w) = -w**3 + 9*w**2 + w - 3. Let h be s(9). Suppose -h*u + 4*u + 10 = 0. Does 9 divide v(u)?
True
Is 33/(2 - (-388)/(-200)) a multiple of 25?
True
Let g = -12 - -18. Does 20 divide g/27 - 1033/(-9)?
False
Let g(z) = -16*z - 1. Let h(n) = 12*n**2 + 6*n + 4*n**2 - 4 - 15*n**2. Let k be h(-6). Is g(k) a multiple of 21?
True
Suppose 63 = -2*o + 3. Let i be (24/o)/((-4)/90). Suppose 4 = -2*x + 3*k + i, -5*x + 40 = -5*k. Does 10 divide x?
True
Suppose 2*h - 4 = -8. Let w be (2 - h - 1) + 2. Suppose 3*n = -5*q + 207, 2*n - 118 = w*q - 5. Is 32 a factor of n?
True
Suppose -3*d = 5*h - 55075, -4*h = -d - 2*d + 55084. Suppose -7*t + 2*t - d = 0. Is 28 a factor of t/(-132) - (-4)/22?
True
Let w be (2/3)/((-8)/(-60)). Suppose w*q + 2*c - 112 = 27, -5*q - 5*c + 145 = 0. Is 8 a factor of q?
False
Let c = -39 - -57. Suppose -60 = 16*d - c*d. Does 6 divide d?
True
Let m be 0/(-3) - (-45)/(-3). Is 16 a factor of 39 - 0*3/m?
False
Let o(m) = m**2 - 11*m. Let v be o(11). Suppose 8*p = -v*p + 232. Is 29 a factor of p?
True
Let j = 66 - 24. Suppose 7*h - j - 147 = 0. Is 9 a factor of h?
True
Suppose 0 = 3*m - 9, 3*m - 20 = s - 50. Suppose 2*y = -w - 56, -3*y - 2*w - 77 = 3*w. Let t = y + s. Is t a multiple of 2?
True
Suppose -5 = -2*h - 9. Let z(c) = -8*c + 6. Does 9 divide z(h)?
False
Let i(g) = 687*g**3 + 2*g - 1. Is 23 a factor of i(1)?
False
Let f = -166 - -256. Suppose n + 8*n = -297. Let y = n + f. Does 14 divide y?
False
Let b(a) = a**2 + 9*a - 7. Let g be b(-11). Suppose -2*c = -5*c + g. Is 10 a factor of (-5)/(c/(-2))*10?
True
Does 22 divide 2/((-16)/6620)*-2?
False
Let n = 769 + -454. Is 4/6*(n/14 + 6) a multiple of 8?
False
Let k(j) = 2*j - 5*j**2 + 2 + 4*j**2 + 3 - 3*j. Let z be k(0). Suppose -21 = z*u - 281. Is u a multiple of 12?
False
Suppose -u - 526 = -2*a, -2*a - 4*u = -a - 245. Let i = -64 + a. Does 40 divide i?
False
Suppose 0 = 5*p - 10*p + 25. Suppose 0 = -5*g - p*a + 520, 4*a + 440 = 2*g + 2*g. Does 27 divide g?
False
Suppose 9 = 3*o, 9*o = 4*x + 13*o - 24. Is x a multiple of 3?
True
Let c(y) = -2*y - 15. Let r be c(-9). Suppose 5*l + 25 = 3*f, -r*f + 89 - 28 = 4*l. Does 2 divide f?
False
Let w(b) = 11*b + 94. Let o(a) = -21*a - 190. Let q(n) = 4*o(n) + 9*w(n). Is 53 a factor of q(19)?
True
Let w = 53 + -52. Is 16 a factor of (-3)/1 - w - -36?
True
Suppose 1 = -2*m + 7. Suppose -f + b - 2 = 0, m*f - 2*b + 5*b = 0. Let x(p) = 23*p**2 - 1. Is x(f) a multiple of 22?
True
Let u = -48 + 52. Suppose -2*z = -u*z + 5*l + 215, -3*z + 291 = 3*l. Does 25 divide z?
True
Let o(q) = -18*q - 37. Does 2 divide o(-7)?
False
Suppose -5*y = -2*n + 13, 2*n + 2*y + 3 - 9 = 0. Is 13 a factor of 3 - 2*n/(-16)*358?
True
Does 14 divide (28/(-5))/((-15)/((-2625)/(-10)))?
True
Suppose 0 = -o - v + 3*v + 15, 2*v = -3*o + 5. Suppose -2*d + w = 6*w - 251, -w - 614 = -o*d. Suppose -4 = m - 1, 5*c - d = m. Is 12 a factor of c?
True
Suppose -l + 2*n = -865, 5*n + 5213 = 5*l + 893. Does 33 divide l?
False
Let y(h) = -h. Let r be y(-2). Suppose -k = -r*c + 7*c - 1, -3*k + 2*c + 20 = 0. Is 5 a factor of ((-6)/(-5))/(k/60)?
False
Let a be (-3)/2*16/(-12). Suppose -5*t + 2*w = 22, -5*w + 3 = -a. Is (-8)/(t/4)*3 a multiple of 24?
True
Suppose 0 = -l - 2*i + 4*i - 27, i = 2. Let g = l + 23. Suppose -4*j + 114 + 102 = g. Is j a multiple of 9?
True
Let i = 151 - 147. Does 2 divide i?
True
Is 26/6*(46 + 4/(-4)) a multiple of 15?
True
Suppose 27*c = 30*c. Suppose c = -3*w - 3*w - 216. Is 25/10*w/(-15) a multiple of 3?
True
Suppose 2*q = -3*b + 595, 658 + 154 = 4*b - 2*q. Is b a multiple of 2?
False
Suppose h - 4*p - 684 = 0, -5*h - 5*p = -2*h - 2001. Is h a multiple of 12?
True
Let m be 161/46*(-144)/(-14). Is 37 a factor of 2*4/m + (-1330)/(-9)?
True
Let h(b) = -b**3 - 5*b**2 - 3*b + 5. Let o be h(-4). Let s be (-6 - -2)*o/2. Let c = s - -20. Is c a multiple of 15?
False
Suppose -8*m = -13*m + 255. Let b = m - -75. Does 18 divide b?
True
Let t be 24*(-1 + 2) - -3. Suppose -r - t = -5*c, -2*c - 13 = 4*r - r. Is 14 a factor of (-198)/r + 2/(-7)?
True
Let d(i) be the first derivative of 13*i**4/2 + i - 4. Let x be d(1). Suppose 5*c + 22 = a, -2*a - 1 = -c - x. Is a a multiple of 3?
True
Let p be 642/(-42) - 8/84*-3. Is (-1 - 5)*650/p a multiple of 52?
True
Let t = 3 - -4. Let v = 17 - t. Suppose 0 = 2*y - a + 5*a - 2, -3*y + a + v = 0. Is 3 a factor of y?
True
Suppose x + 4*w = 5*x - 20, 4*x = -4*w + 4. Let j = 34 + -8. Let c = j - x. Is c a multiple of 10?
False
Suppose 2*r + 0*r - 34 = 0. Suppose -x - r = -2*t, -2*x - 3*x = 5*t - 5. Is 4 a factor of (-8 - t)/(1 - 3)?
False
Let n(f) = 2*f**3 - 2*f**2 - 3*f - 20. Is n(5) a multiple of 55?
True
Let g = -11 - -10. Is 13 a factor of g + 80 + 16/4?
False
Suppose -