(-12) a multiple of 28?
True
Let p be (-161)/28 + -5 + (-1)/4. Is p/(-165)*12 - (-10262)/10 a multiple of 13?
True
Suppose 30*d + 9338 = -28*d. Suppose -5*o = 3*s - 866, s = -0*s - o + 288. Let z = s + d. Does 9 divide z?
True
Let s(g) be the third derivative of 0 + 44*g**2 + 37/12*g**4 - 7/6*g**3 + 0*g. Is s(5) a multiple of 18?
False
Suppose -4127870 = -114*d - 8*d. Is 101 a factor of d?
True
Let m = 18 - 16. Let f be ((-15)/(-6))/((m + 0)/(-4)). Does 4 divide (-12)/10*(-25 - f)?
True
Let f be -63*((-1056)/80)/(1/5). Is (f/45)/(-1 + 14/10) a multiple of 33?
True
Let a(l) = 159*l**3 - 14*l**2 - 23*l + 6. Does 82 divide a(7)?
False
Let q(l) = 2*l**3 + 17*l**2 - 8*l + 13. Let m be q(-9). Suppose -3*r + r = -4, -4*r = -m*t - 56. Let p = 114 + t. Is 41 a factor of p?
False
Suppose -6*i - 548 + 183236 = -0*i. Does 64 divide i?
False
Let s(q) be the third derivative of q**6/120 - q**5/20 - q**4/8 - 5*q**3/6 + 5*q**2 - 8. Let p = 3 + 2. Is s(p) a multiple of 5?
True
Let z = -2187 + 2805. Is 103 a factor of z?
True
Let h(g) = 3*g + 1 + 0*g**2 + 5 + 7*g + 3 + 4*g**2 - 16*g**3. Is h(-3) a multiple of 7?
False
Let p = 36927 - 14463. Does 96 divide p?
True
Suppose 2*w = -3*g + 13494, -10772 - 2730 = -2*w - 5*g. Does 7 divide w?
True
Suppose -3*j - 5*i + 36505 = 0, -163*i + 165*i = 4*j - 48630. Does 152 divide j?
True
Let d = 381 - 445. Is 16 a factor of 3044/14 + d/(-112)?
False
Suppose 10*g - 16 = 14. Suppose 584 = -4*b + 6*b + l, 0 = g*b + 2*l - 874. Is b a multiple of 14?
True
Suppose 0 = -4*s + 2*l + 2962, -5*l - 2224 = -3*s - 3*l. Let k = -462 + s. Is k a multiple of 15?
False
Suppose 56*y + 5850 = 61*y. Is y a multiple of 24?
False
Suppose 3*i - 512 = -3*f + 5*i, 3*i = 2*f - 333. Let s = f - 121. Is 2 a factor of s?
False
Suppose -18634 = -2*a + 46*i - 44*i, 4*i - 46603 = -5*a. Is a a multiple of 70?
False
Suppose 6240 + 10320 = 6*z. Suppose 4*x = -5*i + x + z, 4*x = 2*i - 1104. Does 24 divide i?
True
Suppose 0 = 13*o - 23462 - 72205. Does 83 divide o?
False
Suppose -o + 9*o + 1448 = 0. Let f = -271 - o. Let n = -46 - f. Is 22 a factor of n?
True
Suppose 10*l - 3266 = 1514. Let z = -234 + l. Is 28 a factor of z?
False
Let k = 0 - -7. Suppose y - k = -5*q, q - 2 = -3*y + 5*q. Suppose 3*l - 3*d - 225 = 0, -5*l + 6*l - 80 = y*d. Is 5 a factor of l?
True
Let s be ((-2)/3)/(9/(6 + 48)). Let z(a) = 3*a - 20*a - 12 - a. Is 17 a factor of z(s)?
False
Suppose 0*j + 2*j = -68. Let q = -23 - j. Suppose 58 = 3*o - q. Is o a multiple of 2?
False
Let c be (12*1)/(30/(-140)). Let k = -32 - c. Is 11 a factor of (-4)/(k/(-33))*(0 - -10)?
True
Suppose -1 + 5 = 2*w. Suppose -a + w*s = -54, 5*a = -4*s - 0*s + 214. Is a a multiple of 23?
True
Let j(h) = 9*h - 113. Let b be j(-8). Let s = -141 - b. Is s a multiple of 8?
False
Let p = -20 + 22. Let i(v) = 3 + 4*v**2 - 8*v**p + 2*v + 17 + 5*v**2. Does 20 divide i(6)?
False
Suppose -3*h - 4*n + 410 = -h, 4*h - 844 = -2*n. Let s = h + -144. Is 28 a factor of s?
False
Let r(m) = 65*m**3 + 3*m**2 + 7*m - 199. Is r(8) a multiple of 23?
False
Let o = 27943 + -21247. Does 48 divide o?
False
Let s = -1429 + 1431. Let h(q) = 7*q - 4. Let p be h(4). Suppose -4*g = -4*w - p, -s*g - w = -5*g + 16. Is 5 a factor of g?
True
Let z(c) = c + 11. Let h be z(-10). Let s(u) = 3*u**3 - u**2 - u. Let o be s(h). Is (o - -111) + -4 + 2 a multiple of 10?
True
Suppose 1474671 + 6963153 = 216*d. Is d a multiple of 152?
True
Suppose -4*q - 3*d = -4364 - 2009, 0 = 4*q + d - 6375. Is q a multiple of 31?
False
Let m be (-2 - -2)/(-2) - 15. Let w be 52*5/((-100)/m). Suppose -75 = -t - 5*h, -4*h + 0*h - w = -t. Is 10 a factor of t?
False
Let g = 64 + -54. Suppose g - 12 = -o. Suppose 7*b = o*b + 1315. Does 45 divide b?
False
Suppose 4*v = 5*p - 15531, -4*v = 5*p - 5*v - 15519. Is 107 a factor of p?
True
Suppose 4*o = 16, 7*u - 148 = 6*u - 4*o. Suppose 0 = 4*x - 613 - 223. Let i = x - u. Does 27 divide i?
False
Let b(v) = v**2 + 18*v - 810. Is b(24) a multiple of 7?
False
Suppose -2*f + 9081 = k - 3249, 4*k - 24672 = -4*f. Does 6 divide f?
True
Let u(j) = -4*j**3 - 15*j**2 - 42*j + 8. Is 23 a factor of u(-11)?
True
Suppose 0 = -5*d - 6*w + 4*w - 1523, -4*d - 1223 = -3*w. Let n = -84 - d. Is 7 a factor of n?
False
Let f = 292 + -162. Let u = 473 - f. Is 49 a factor of u?
True
Does 26 divide 26/(-2)*(-4116)/98?
True
Let v be (-24)/20*15/6 + 93. Let d = v - 74. Is 26 a factor of (-2 - 18/4)/(d/(-128))?
True
Suppose -3*y - 4 - 11 = 0. Let b be (90/8)/(((-60)/416)/y). Suppose 3*m + 0*s - s - 302 = 0, 0 = 4*m + 5*s - b. Is 10 a factor of m?
True
Suppose -16*o + 41 = -7. Let v(d) = 17*d + 81. Is 33 a factor of v(o)?
True
Does 5 divide (688/(-10))/(-2 - 63/(-35))?
False
Let a(y) = -3*y**2 + 11*y + 14. Let m be a(-8). Let g = m + 467. Is 67 a factor of g?
True
Let f(l) = 9*l**3 + l**2 + 6*l - 5. Let k be (-44)/33*(-2 + (-1)/(-2)). Does 3 divide f(k)?
False
Let a be 12/(-2)*(-10)/3. Let i(s) = 7 + 5*s**2 - 8*s - 6*s**2 + a*s. Is 3 a factor of i(11)?
True
Let v(f) = 1905*f**2 + 101*f - 300. Is 19 a factor of v(3)?
False
Let a(q) be the first derivative of q**3 - 15*q**2/2 + 80*q - 57. Is 17 a factor of a(4)?
True
Let y be ((-9)/81 + 0)*-171. Let i(n) = -n**2 - n + 1. Let g(z) = -7*z**2 + 14*z - 16. Let f(d) = -g(d) + 6*i(d). Is f(y) a multiple of 3?
True
Let x(r) = 11*r**2 - r + 1429. Does 11 divide x(0)?
False
Suppose -139*n + 5378599 + 1133690 = 0. Does 7 divide n?
True
Let o(k) = k**3 - 9*k**2 - 16*k - 15. Suppose 3*v - 56 = -5*l, -2*v - 7 - 9 = -2*l. Let i be o(l). Let a = i + 89. Is 14 a factor of a?
True
Let x(a) = 8*a**2 + 11*a - 7. Let g be x(-5). Let w = -78 + g. Let d = w + -22. Is 5 a factor of d?
False
Let c(m) = m - 9. Let o be c(-3). Let a(d) = -d**3 - 6*d**2 + 10*d - 9. Let x be a(o). Suppose -150 = 15*b - x. Is 7 a factor of b?
False
Let g(x) = 173*x + 41. Let o be g(-3). Let m = o + 1127. Does 11 divide m?
True
Let h = 57 + -32. Suppose 5*p - 3*f = -32, h = -4*p - 0*f + 3*f. Let r(y) = -y**2 - 9*y + 6. Is 5 a factor of r(p)?
True
Let x be (10/1)/(-6*(-4)/(-12)). Let d(c) = -c**2 - 5*c - 5. Let u be d(x). Let t(s) = s**3 + 9*s**2 + 11*s - 3. Is 6 a factor of t(u)?
True
Suppose 5*n - 435 - 678 = v, 2*v + 888 = 4*n. Suppose 0 = j - n - 181. Is j a multiple of 14?
False
Let h be (-3 - 3)/6 - -7. Is 1/(-3)*(h + -1191) a multiple of 23?
False
Let i(c) = 76*c**2 - 219*c + 1314. Is i(6) a multiple of 38?
True
Let g = -65 - -59. Does 6 divide (-6012)/(-20) + g/10?
True
Is (-21*(-10)/(-140))/(2/(-7924)) a multiple of 29?
False
Suppose 4*j = 2*y + 30, -j - 5 = 2*y - 5*y. Suppose 0 = -j*k + 14*k - 20. Is 4 a factor of 16/40 + 28/k?
False
Suppose -d + 26771 = -2*w, -d + 26*w + 26765 = 21*w. Is d a multiple of 51?
True
Suppose 4*k + 4*h - 68 - 104 = 0, -207 = -4*k + 3*h. Suppose -252 = -5*d + k. Does 7 divide (d/9)/(3/27*3)?
False
Is ((-2)/(-3))/((-52)/(-2302248)) + -4 a multiple of 39?
False
Let p(c) = 259*c + 582. Is 114 a factor of p(18)?
True
Let f(w) = -3*w + 102. Let q be f(35). Is (16 + -1)/q*(-8 + -36) a multiple of 22?
True
Suppose 1392 = 42*f - 30*f. Suppose 5*b - 4*x = -2*x + 1, 8 = 4*b - 4*x. Does 24 divide (-4 - f)/(-2 - b)?
True
Let a = 20083 - 16960. Does 5 divide a?
False
Let v(f) = f**3 - 1. Let p(w) = -4*w**3 - w**2 + 53. Let s(d) = p(d) + 3*v(d). Suppose 0 = -q - q. Is s(q) a multiple of 28?
False
Let d(s) = s + 67 - 14*s - 3*s + 24*s**2 - 88 - s**3. Is 11 a factor of d(23)?
False
Let u be ((-40)/(-30))/(1/705). Suppose -5*z + u = y + 4*y, -4*y - z + 746 = 0. Is 4 a factor of y?
False
Suppose 0 = -3*u + 3*m + 429, -8*m + 461 = 3*u - 3*m. Let d(n) = 148*n - n**3 - u*n - 8*n**2 + 2*n**2 + 3. Is d(-8) a multiple of 17?
False
Let p be 50/10 - (-43 + 0). Does 11 divide (p + -59)*(1 + -29)?
True
Suppose 0 = 2*x, 5*x + 3 = 2*b - 3*b. Let h(k) be the first derivative of -k**4/2 + 4*k**3/3 + 2*k**2 + 3*k - 5. Is 17 a factor of h(b)?
False
Let s be (4 - 24/4)/2. Let t be ((-24)/(-20))/(s - 24/(-20)). Suppose -5*q + 10*n + 68 = t*n, q + n - 10 = 0. Does 6 divide q?
True
Let q be (-7)/(-28) - ((-8684)/16 - -3). Suppose -p + q - 69 = 0. Is p a multiple of 14?
False
Suppose 0 = 60*d - 199894 - 272426. Is 16 a factor of d?
True
Suppose 0 = -3*k - 3*h + 1710, -4*k - 18*h = -22*h - 2256. Is k a multiple of 81?
True
Let h be (-136)/(-238) - 2754/(-7). Suppo