t b be 4/(-30) - ((-5068)/210 - -15). Is (-231 + b)*1/(2/(-19)) a multiple of 19?
True
Suppose -6*b = h - b - 250, -4*b = -4. Let r = h + -109. Is r a multiple of 34?
True
Let g be -3*5*9/45. Is 2 a factor of ((-396)/(-22))/(387/(-132) - g)?
True
Let n be 0*3/9*1. Let h(v) = 4*v + 80. Does 6 divide h(n)?
False
Let z(x) = 5281*x + 1214. Is 140 a factor of z(6)?
True
Let k = 100 - 95. Suppose -g = k*u - 1888, -108 - 281 = -u - 4*g. Is 13 a factor of u?
True
Suppose 74245 = 128*l - 133627. Is 74 a factor of l?
False
Let n = 972 + 304. Does 22 divide n?
True
Suppose -12 = -4*b + 4*w, 2*w - 3*w - 5 = 0. Let d = 1256 - 1253. Is 3 a factor of b*d*((-19)/3 + 0)?
False
Suppose -4*s = 5*p + 2317 - 16706, 0 = 4*s - 4*p - 14380. Does 10 divide s?
False
Is -4*1627*(-8 + (-180)/(-24)) a multiple of 7?
False
Is (-2 + -2 - -1)*(-5 - 497) a multiple of 117?
False
Let d = 3794 - 2340. Is 5 a factor of d?
False
Let o(p) = -48*p**2 + 14*p - 15. Let y be o(12). Is 5 a factor of (-14)/(-77) + y/(-33)?
True
Let y be (7 - 9) + 2 + (-15)/(-3). Suppose 52 = l - y. Is 5 a factor of l?
False
Let p(f) = 3*f**3 - 40*f**2 + 113*f + 65. Is 24 a factor of p(16)?
False
Suppose 2*q + 3*q + 30 = 0. Let a be 64 - ((-2)/6)/(2/q). Suppose -a - 157 = -10*u. Is u a multiple of 2?
True
Let h = 16 + -15. Let s be 3055/(-3) + h/3. Is ((-26)/(-65))/(s/510 - -2) a multiple of 17?
True
Let c be (65 - 26) + 24/3. Let w = -47 - -20. Let y = c + w. Is 2 a factor of y?
True
Let o(f) = -f**3 - 35*f**2 - 51*f + 14. Let c be o(-33). Suppose 0*z + 582 = -2*z. Let q = z - c. Does 19 divide q?
True
Let h be 40/60 + 14/(-3). Let i be 2/(-4) - ((-2)/h)/(-1). Suppose 5*o - 4*u - 246 = 3*o, i = 2*o + 3*u - 281. Is o a multiple of 15?
False
Let m(k) = 23*k - 21. Suppose 0 + 4 = l - i, 0 = -4*l + 5*i + 14. Is m(l) a multiple of 3?
True
Let v = 1060 - -4820. Is 14 a factor of v?
True
Let h be (332/415)/(2*(-2)/50). Let n be h/4*(4/5 - 2). Suppose -n*r = -4*b + 1122, 774 + 74 = 3*b + r. Does 42 divide b?
False
Let j = 1194 + -610. Suppose 4*k - j = 4*i, 181 = 2*k - 4*i - 103. Is 14 a factor of k?
False
Suppose 14140 = 17*s + 3*s. Suppose 0 = 2*h + 5*t - 269, -5*h - t = -0*t - s. Does 4 divide h?
False
Suppose 4*n = l - 2 - 7, 3*n - 36 = -4*l. Suppose 74*z - 492 = 8*z - 30. Suppose -z*j = -l*j + 24. Is 6 a factor of j?
True
Let c be ((-7)/21)/((-4)/108). Suppose -2*q - 168 = -c*q. Let u = q - -12. Does 12 divide u?
True
Suppose -3729600 = 31*v - 131*v. Is 36 a factor of v?
True
Let n(u) be the first derivative of -17*u**3/6 + 9*u**2 - 23*u + 9. Let z(h) be the first derivative of n(h). Is z(-6) a multiple of 15?
True
Is (597220/(-364) - -55)/((-1)/35) a multiple of 300?
True
Let m(o) be the first derivative of 39*o**2 - 60*o - 56. Is 47 a factor of m(8)?
True
Suppose 274*a - 2054651 - 438791 - 1478462 = 0. Is 24 a factor of a?
True
Let f(x) = -171*x**3 - 20*x**2 - 73. Does 50 divide f(-7)?
True
Suppose 4*j = -5*j + 1842669. Does 16 divide j/162 - (-2)/12?
True
Suppose r - 3*h = 12, -r = -3*r + 4*h + 14. Let m(t) = t**3 + 4*t**2 - 3. Let v be m(r). Suppose -v*z = -16 - 248. Does 9 divide z?
False
Let w = -10281 - -12027. Is 10 a factor of w?
False
Suppose -78*s + 51601 = -299*s + 241882. Is s a multiple of 21?
True
Suppose 37554 + 40537 = 24*p - 19877. Is 15 a factor of p?
False
Let x(c) = 11*c**2 + 75*c + 48. Let a(k) = 4*k**2 + 25*k + 16. Let g(n) = -17*a(n) + 6*x(n). Let m = 55 - 47. Is 11 a factor of g(m)?
True
Let d = 10385 + -1525. Does 5 divide d?
True
Suppose -5*k + 85838 = 29028. Is k a multiple of 19?
True
Let b(m) = 38*m + 18. Let i(n) = 15*n + 7. Let o(y) = 5*b(y) - 12*i(y). Suppose 3*t - 20 = -3*p + 7, -2*t + 4 = -5*p. Is 19 a factor of o(t)?
True
Is 30638 + -81 - 12/(-3) a multiple of 26?
False
Is 21 a factor of 41953/6 + -2 + (-57)/342?
False
Let h be -6*-4*(-3)/(-18). Suppose h*l = 7*l. Is ((-126)/4)/((-8)/16) + l a multiple of 10?
False
Let l(t) = -t**3 + 17*t**2 - 38*t - 48. Let g be l(14). Is (-8)/(g/3) + 12*30 a multiple of 7?
True
Let h = 22180 + 33660. Does 152 divide h?
False
Suppose 3*g - 5 = -2*g. Is 15 a factor of (40/(-15))/(g*8/(-900))?
True
Does 54 divide 2195/(4 + 6/12 + -2)?
False
Let b = 94 - 60. Suppose -4*k - 8 = 0, k + 0*k = -2*y + b. Let g = 74 - y. Does 7 divide g?
True
Let r(o) = 38*o**2 + 104*o + 724. Does 99 divide r(-20)?
False
Suppose 13*h - 5*a = 10*h + 46, 5*h = 5*a + 70. Suppose h*z - 13244 = -16*z. Is z a multiple of 43?
True
Suppose -331*i = -4*v - 334*i + 66927, -5*v - i + 83645 = 0. Is v a multiple of 6?
True
Let f be 99/44*(-8)/(-3). Suppose -f + 14 = 4*z. Suppose 4*j - p - 758 = z*p, -2*j = 5*p - 366. Does 47 divide j?
True
Let y(r) = -38*r + 5. Let j be y(-5). Suppose j = 6*v - 15. Suppose 2*b - v - 57 = 0. Is b a multiple of 46?
True
Suppose 82*d - 79*d + 2*i = 549, 2*d = -2*i + 368. Is d a multiple of 10?
False
Let z(o) = -2*o**3 + 9*o**2 + 6*o + 1. Let i be z(-6). Let b = -438 + i. Does 29 divide b?
False
Suppose -30*x = -24*x - 24*x + 171000. Is 20 a factor of x?
True
Let f(y) = y**2 + 5*y. Let a be f(-6). Suppose -z + 1795 = 3*w, -3*z = -7*w + a*w + 595. Does 22 divide w?
False
Let o = -10244 - -15216. Is 113 a factor of o?
True
Let k(t) = -6*t**3 - 3*t**2 + 27 - 9*t**2 + 23*t + 2*t**3 - t**2 + 3*t**3. Is 22 a factor of k(-15)?
True
Suppose -4*r + 2*m = -11590, -167*r - 2*m = -169*r + 5800. Is r a multiple of 28?
False
Let a be 66/(-10) + (-81)/(-135). Let c be (45350/a)/(-5) + (-1)/(-3). Suppose -412 = 5*l - c. Is l a multiple of 44?
True
Let n = -471 + 228. Let m = 300 + n. Does 19 divide m?
True
Suppose 0 = 4*u - 44 + 60. Let h be -1 + 2 + u + 6. Suppose j - 49 = h*g + g, -2*j + 5*g = -83. Is 20 a factor of j?
False
Let v(k) = 65*k - 22 - 5*k**3 - 28*k**2 - 16*k + 4*k**3 + 36*k. Is 28 a factor of v(-31)?
False
Let y = 46 + -24. Suppose -y + 14 = -2*c. Suppose 0 = -c*j + 2*m + 826 - 120, 2*j - 338 = -2*m. Is 21 a factor of j?
False
Suppose -2*a - 176 = -3*k, -4*a - 3 = -k + 39. Let v = -8953 - -8954. Let c = v + k. Does 9 divide c?
True
Suppose 1720 = 13*p + 407. Let i = 235 - p. Is 8 a factor of i?
False
Suppose -78 - 20 = -2*i. Is 50 a factor of 17129/i + (-12)/(-28)?
True
Suppose -24099 = -5*i + 3*f, 2*i - 2*f - 9669 = -5*f. Is i a multiple of 12?
True
Let w = -61 + 63. Let u be (-1906)/(-16) - ((-17)/(-8) - w). Let q = 73 + u. Is q a multiple of 13?
False
Let h be (-36)/21*63/18. Is 164/(-5)*(-16 - h) a multiple of 18?
False
Let s(w) = 4*w**2 + 22*w - 9. Let k(l) be the second derivative of 5*l**4/12 + 11*l**3/3 - 5*l**2 + 20*l. Let x(v) = 5*k(v) - 6*s(v). Is x(23) a multiple of 27?
True
Suppose 10*u = -588 + 1768. Is 3 a factor of u?
False
Let s = 99 + 113. Suppose s = k + 2*y - 278, 0 = -y + 5. Does 30 divide k?
True
Let p be 3/(45/6) - 68/(-5). Let o be 26/(-91) - (1062/p)/(-3). Suppose 0*g = -5*g - o, -4*r + 1164 = 4*g. Is 37 a factor of r?
True
Let p = -4873 - -11239. Is 17 a factor of p?
False
Let w be (-63 - 2) + 3*(-16)/(-12). Let j = w + 512. Is j a multiple of 41?
True
Suppose -5*r - 3*n = -3766, -5*n = -10 - 0. Let w = -427 + r. Is w a multiple of 10?
False
Let h be (-4)/(-10) - 76/(-10). Is (h/6)/((-10)/15120*-6) a multiple of 16?
True
Suppose -294*o + 47358 = 5*q - 295*o, 5*q = -o + 47372. Is 8 a factor of q?
False
Let x be 429 - (-13)/(104/48). Suppose -2*i + 1058 = 3*h - x, 1495 = 2*i + h. Does 17 divide i?
True
Suppose 118*l = 68491 + 40541. Is 7 a factor of l?
True
Let q(z) = z**3 - 24*z + 3. Let s be q(5). Does 16 divide (-2)/(4/(-990)) - (s - 8)?
False
Let z(g) = 10*g**2 - 32*g - 18. Let n be z(-20). Suppose -6*c = -3*m - 11*c + 4604, -3*m + 4*c + n = 0. Is m a multiple of 75?
False
Suppose -11*z - 168 = z. Suppose -5*u = 6 - 1. Is (-208 - z)*1*u/1 a multiple of 40?
False
Let r(o) = 470*o - 90. Let b(a) = -94*a + 18. Let p(d) = 14*b(d) + 3*r(d). Does 21 divide p(4)?
False
Let b(a) = 3*a**2 - 4*a**2 - 8*a + 6*a - 8*a. Is 3 a factor of b(-9)?
True
Let q be (-37956)/48 + 1/(-4). Let z = -175 - q. Does 56 divide z?
True
Let q = -8413 + 22180. Suppose -2*s = -15*s + q. Does 10 divide s?
False
Let c = 243 - 253. Let g be (-4)/((-4)/33) + -2. Let o = c + g. Is 21 a factor of o?
True
Let c be ((-18)/15)/((-33)/48235). Let w = -861 + c. Is 76 a factor of w?
False
Let c(r) = -2*r**2 - 41*r - 15. Let b be c(-20). Suppose 6*u - u - 333