Is (-1800)/96*64/(-6) a multiple of 42?
False
Let d(q) be the first derivative of 10*q**3/3 + 3*q**2/2 - 3*q - 19. Let w be 3*(4/6 - 0). Is d(w) a multiple of 10?
False
Let r(d) = 61*d + 11. Let t be r(7). Suppose 0*u - t = -6*u. Does 23 divide u?
False
Suppose 2*r - 1070 = -5*p, -9*r + 11*r + 226 = p. Does 8 divide p?
True
Suppose 0 = -2*r - g + 20, 5*r + 2*g = -2*g + 53. Is ((-18)/(-5)*(-30)/r)/(-2) a multiple of 4?
False
Let r be 32/(-176) - (-2)/11. Let o be (0 + -1)*(1 - r). Let z(q) = -7*q - 2. Does 3 divide z(o)?
False
Let s(o) = -o**3 + 3*o**2 + o. Let v be s(3). Let i = 20 - 2. Suppose -i - 6 = -v*p. Is p a multiple of 2?
True
Suppose 8 = -p + 3*p. Suppose 0*k - p*k = -8. Suppose -o = 5*c - 12 - 28, -24 = -3*c + k*o. Is 2 a factor of c?
True
Is (-18)/3 + 17898/19 a multiple of 72?
True
Let m = 212 - 202. Does 4 divide m?
False
Is 8/6*3*33/6 a multiple of 14?
False
Does 13 divide 8/(-12)*(-2652)/8?
True
Let o(i) be the third derivative of i**4/24 + 11*i**3/6 - 7*i**2. Let r be o(-8). Suppose r*k = 69 - 12. Does 7 divide k?
False
Let h be -4 - -11 - (-9)/(-3). Suppose c + 3 = 0, -3*k - k - h*c - 368 = 0. Is 29 a factor of 0 - k*(-3 - -4)?
False
Suppose -5*y - 3*x - 1 = 21, -y - 2*x = 10. Is 43 a factor of y/6 - ((-253)/3 + -2)?
True
Suppose -9*w - 690 = -6*w. Let z be ((-22)/(-55))/((-2)/w). Suppose 4*x + 4*u + z = 198, 0 = 4*x - 5*u - 125. Is 26 a factor of x?
False
Let d(r) = -13 + 307*r - 97*r + 25 - 14. Is 35 a factor of d(1)?
False
Suppose 12*k = 1682 - 422. Is k a multiple of 34?
False
Let u(a) = -11*a**2 + 41*a + 30. Let j(y) be the third derivative of -y**5/12 + 5*y**4/6 + 5*y**3/2 - y**2. Let h(p) = -13*j(p) + 6*u(p). Does 5 divide h(-11)?
False
Let z(w) = -8*w**3 + 2*w**2 - 1. Let x be 2/(-2) + (-11 - -11). Is z(x) a multiple of 3?
True
Let o(j) = j**3 - 11*j**2 + 12*j - 3. Suppose -9 - 2 = -h. Let z be o(h). Is (5/(-15))/((-1)/z) a multiple of 24?
False
Let o be ((-46)/(-6))/((-6)/(-36)). Let p = -25 + o. Is p a multiple of 7?
True
Does 6 divide -2 + 204 + 3 + -4?
False
Let f = -480 - -498. Is f a multiple of 2?
True
Let c be 100/26 + 2/(-39)*-3. Suppose 440 = 12*y - c*y. Is y a multiple of 5?
True
Let y be (-5)/(-10) - (2 - (-454)/4). Does 23 divide y/(-2)*64/80?
True
Suppose b + 5*o - 556 + 156 = 0, o = 3*b - 1136. Does 19 divide b?
True
Let y(x) = -x**2 + 15*x + 8. Let r be y(16). Let h = r + 35. Is h a multiple of 9?
True
Suppose -5*z + 399 = d - 1490, 4*d - 1508 = -4*z. Is 21 a factor of z?
True
Suppose 499 = -3*q + 2608. Does 37 divide q?
True
Let s(p) = p**2 - 27*p - 3. Is 72 a factor of s(30)?
False
Suppose -2*x + 2 = -x. Suppose x = 5*q - 3. Does 19 divide 1 - q*78/(-2)?
False
Does 14 divide ((-4389)/(-2) + -1)*(-43 - -45)?
False
Let s be 7 + -7 - (76 - -1). Let y = s - -145. Does 33 divide y?
False
Let h(t) = -2*t**3 + t**2 + 5*t. Let r be h(5). Let c = -122 - r. Is c a multiple of 10?
False
Let q = 1432 + -757. Is q a multiple of 9?
True
Let j(l) = l**3 + 7*l**2 - 5*l + 10. Let c be j(-7). Let b = c - 80. Is 6 a factor of (-5)/b + (-125)/(-7)?
True
Suppose 97*s = 25*s + 42696. Is 23 a factor of s?
False
Is (-4)/(-6)*(-117)/(-78) + 1532 a multiple of 8?
False
Is (-1050)/(-2 - (-7 - -6)) a multiple of 3?
True
Suppose -k = -0*k + 10. Let u(f) = -6*f + 7. Is 33 a factor of u(k)?
False
Let m(c) be the third derivative of -c**4/24 + 9*c**3/2 + 2*c**2. Does 9 divide m(12)?
False
Let z = -1 - 3. Let s(a) be the first derivative of -a**3/3 - 2*a**2 + 2*a + 4. Is s(z) a multiple of 2?
True
Let h(x) = x**2 - 2*x + 3. Let f be h(0). Does 36 divide (-3)/((18252/(-680))/(-9) - f)?
False
Suppose -17 = -5*y + 3*y + 3*r, 3*y = 2*r + 38. Suppose 4 - y = 3*j, -3*z - j = 13. Let g = 33 - z. Does 18 divide g?
True
Suppose 5*v + 13 - 23 = 0. Suppose -v*l + 5*l - 78 = 0. Is 13 a factor of l?
True
Let j(h) = 5*h**2 - h + 8. Let u be j(-3). Let c be (9/(-6))/((-3)/4). Suppose -2*b - c*b = -u. Is 7 a factor of b?
True
Is 14 a factor of ((-2380)/(-425))/((2/(-10))/(-1))?
True
Let z = 6 - 3. Let m be (z/(-3))/(4/(-20)). Suppose -m*x + 60 = -2*x. Does 6 divide x?
False
Let i(x) = 7*x**2 + 3*x - 10. Let z be i(4). Let d = z - 89. Is d a multiple of 5?
True
Let v(t) = -t**3 - 9*t**2 + 14*t + 10. Let n(k) = -3*k**3 - 28*k**2 + 43*k + 31. Let r(w) = -4*n(w) + 11*v(w). Does 7 divide r(-14)?
True
Let b = -29 + 609. Does 10 divide b?
True
Let c(m) = 4 - 22 + 2*m + 7*m. Is c(6) a multiple of 18?
True
Let i(m) = m + 135. Let g be i(0). Suppose 16*b - 15*b = g. Does 16 divide b?
False
Let x(k) = 4*k**2 + 5*k + 2350. Does 11 divide x(0)?
False
Let s(x) = x**2 - x - 1. Let h(z) = -z**2 + 5*z - 2. Let o(m) = h(m) + 2*s(m). Let a(f) = f + 2. Let v be a(-8). Is o(v) a multiple of 4?
False
Let c(y) = -3*y - 7. Let m be c(-3). Suppose -2*g + 5*z - m = z, -2*g - 2*z = -28. Is g a multiple of 3?
True
Let k = 1132 + -675. Does 21 divide k?
False
Let g(p) = -40*p + 48. Is 27 a factor of g(-15)?
True
Let i be ((-218)/(-6))/(1/3). Let t = i + -73. Is 8 a factor of t?
False
Suppose -q + 2*s + 1442 = 4*q, -5*s = -3*q + 869. Is 48 a factor of q?
True
Let c(h) = -7*h**3 - 27*h**2 + 23*h + 24. Let l(q) = -10*q**3 - 40*q**2 + 34*q + 36. Let x(y) = -7*c(y) + 5*l(y). Does 12 divide x(-12)?
True
Let q(s) = s**3 - 3 + 2*s + 2 + 4 + 1 - 5*s**2. Let h be q(6). Suppose h = 2*g + 4*b, 5*b = 2*g - 6 - 28. Is g a multiple of 22?
True
Suppose 0*h - 19 = -h + 5*i, -5*i - 31 = -4*h. Suppose k + 6*n = 2*n + 68, 2*n - 230 = -h*k. Does 14 divide k?
True
Let t = 24 - -27. Is 3 a factor of t?
True
Let d = 1274 - 825. Suppose 4*k = d + 171. Is 17 a factor of k?
False
Let f be (2 + 2)*(-3)/4. Let q be 1 + 0 - 15/f. Does 3 divide 3/q + (-10)/(-4)?
True
Suppose 2*t = -9*t + 30261. Is 7 a factor of t?
True
Suppose -p = -2*d + 249 + 587, -5*p = -5*d + 2100. Suppose -24 = -2*u + d. Does 44 divide u?
True
Does 16 divide (-5)/((-150)/760)*48?
True
Is ((-2)/5)/((-105)/302400) a multiple of 12?
True
Suppose 17*p + 3026 = 39984. Is p a multiple of 16?
False
Suppose -5*p + 20 = 0, 5 = -2*q + 3*p + 1. Does 22 divide (q/14)/((-8)/(-2632))?
False
Suppose 181*m - 180*m - 4 = 0. Let a(j) = j**2 + j - 1. Let b(s) = -7*s**2 - s + 1. Let u(n) = -4*a(n) - b(n). Is 12 a factor of u(m)?
False
Suppose 4*o + 5*t - 16 - 24 = 0, 3*t = -o + 17. Suppose 0 = -o*z + 2*z. Suppose -r + 8 + 3 = z. Does 11 divide r?
True
Let d be -1 + 2 - (4 - 5). Suppose -4*o = -5*j + 92 + 177, -98 = -d*j + 4*o. Is 13 a factor of j?
False
Suppose 0 = -2*o + 10, o = 2*d - 3*o + 10. Suppose 2*w - d*f + 75 = 454, 565 = 3*w - 4*f. Is w a multiple of 11?
True
Let y = 17 + -7. Let c(j) = -j**2 + 10*j - 20. Let h be c(y). Is (-516)/(-15) + 8/h a multiple of 10?
False
Let x = -13 - -61. Let w = x + -91. Let q = w - -82. Does 13 divide q?
True
Does 22 divide (4/12)/1 - (-1054)/6?
True
Suppose -5 = 2*s + 13. Let r = 0 - s. Suppose -y - 3*j = -43, -j - r = 2*j. Does 16 divide y?
False
Is 15 a factor of (-4 - 83)/(4/5 + -1)?
True
Let n = 1674 - 281. Is n a multiple of 10?
False
Suppose -8161 = -22*x + 26423. Does 12 divide x?
True
Let o(v) = 2*v**2 + 15*v - 52. Let h be o(-28). Suppose 0 = -14*s + h + 710. Is s a multiple of 23?
False
Let j(k) be the first derivative of -8*k**2 + 6*k + 36. Is 17 a factor of j(-2)?
False
Let t = -4131 - -5972. Is 40 a factor of t?
False
Suppose -93*j + 1539 = -90*j. Does 57 divide j?
True
Let l be ((-13)/(-4))/(2/8). Suppose l + 2 = -5*c. Does 11 divide 1/c - 199/(-3)?
True
Suppose -5*q + 11 = -444. Is 9 a factor of q?
False
Suppose 5*c + 6 - 51 = 0. Suppose 8*z = 5*z + c. Suppose z*m - 114 = 3*k, 122 = 2*m + m - 5*k. Does 9 divide m?
False
Let z(x) = -12*x + 172. Is 4 a factor of z(-19)?
True
Let j = 504 + -912. Let c = -228 - j. Is 37 a factor of c?
False
Let o be (6/(-8))/(7/(-140)). Suppose o*w - 204 = 11*w. Does 12 divide w?
False
Suppose 4*w - 1052 = -4*o, 2*o - 2*w - 338 - 176 = 0. Does 20 divide o?
True
Let c be ((-4)/6)/((-3)/9). Let u be -1 - 1 - -8*18. Suppose -c*r + u = 22. Is 30 a factor of r?
True
Let u(i) = -i**2 + 19*i - 10. Let f be (1 - -2)*246/(-18). Let h be f/(-3) + (-1)/(-3). Is 15 a factor of u(h)?
True
Suppose 249 - 789 = -20*b. Let q be (-1)/(1/2) - -35. Suppose 0 = n - q - b. Is n a multiple of 24?
False
Let o(z) = -z**3 - 10*z**2 - 11*z + 12. Suppose -2*n = -5*h + 3, -5*h = 4*n - 2*h + 45