b. Is r a multiple of 36?
False
Let r(j) be the third derivative of -5*j**4/12 - 29*j**3/3 + 73*j**2. Is r(-21) a multiple of 4?
True
Is 3*(-80424)/(-54) - 18 a multiple of 32?
False
Let v(u) = 6*u - 104. Suppose 60 = 5*b - 2*b. Does 16 divide v(b)?
True
Is (-19)/(3/30*(2 - (-48)/(-20))) a multiple of 25?
True
Does 10 divide (4927/(-91) + 17)/((-4)/1512)?
True
Suppose -25*t - 15 = -30*t, -t + 2268 = h. Does 42 divide h?
False
Let w(s) = s**3 - 14*s**2 + 2*s + 31. Let v be w(17). Let y = v + -61. Does 37 divide y?
False
Let r be (6/(-4))/((-3)/576). Let n = -803 - -1388. Suppose 5*s + 5*v = n, -v + 48 = -2*s + r. Is 24 a factor of s?
False
Suppose 0 = -11*u + u - 1680. Let h be (6 - u/(-32)) + 170/8. Suppose 0 = -h*j + 17*j + 450. Is j a multiple of 9?
True
Let c(d) = d**3 + 5*d**2 - 4*d + 15. Let v be c(-6). Suppose 2*z = -z + 5*q + 92, 108 = 5*z + v*q. Does 8 divide z?
True
Suppose 78 = 4*h - 2*f, -4*f - 17 = -3*h + 34. Suppose 3*r - 2304 = 5*o, 16*o = -4*r + h*o + 3072. Is 48 a factor of r?
True
Let i = 646 - 638. Is 11 a factor of (-14)/(-28) + 4380/i?
False
Does 4 divide (75/(-4))/(2*(-12)/416)?
False
Let c(a) = -a + 8. Let m be c(8). Let w = -1691 - -1835. Suppose m*z - w = -4*z. Does 4 divide z?
True
Let a be ((-592)/24 + -4)*-3. Suppose 4*n + x - 228 = -3*x, -2*n + 5*x = -a. Is n a multiple of 10?
False
Suppose 0 = -5*k + 3*l + 115404, -5*k - 93*l + 94*l + 115388 = 0. Is 36 a factor of k?
True
Is 19 a factor of 8/32*((6494 - -3) + -9)?
False
Let d(w) = -536*w - 1346. Is d(-4) a multiple of 119?
False
Is (-75561)/(-18) + 18/((-1620)/(-15)) a multiple of 15?
False
Let z(q) = -6*q - 30*q - 5 - 49 + 47*q. Does 15 divide z(24)?
True
Let c(q) = -404*q - 3220. Is 36 a factor of c(-11)?
True
Let p = 531 - 527. Suppose 0 = -p*d + 900 + 316. Is 16 a factor of d?
True
Let c(y) = 2*y**3 + y**2 - 2*y - 1. Let q be c(-2). Let r(b) = -2*b + 26. Let n be r(q). Suppose 5*u - 77 = 3*t, -37 - n = -5*u - t. Is 8 a factor of u?
True
Suppose -25*h + 27*h - 13911 = -n, -2*h + 4*n + 13926 = 0. Is h a multiple of 12?
False
Suppose 526*m - 522*m = 4*o + 25376, -2*o + 2 = 0. Does 141 divide m?
True
Is (-16)/36 + 966110/153 a multiple of 47?
False
Let h = 5309 + -1868. Is h a multiple of 37?
True
Suppose -2*s + 4773 = -y, s + 8*y - 2370 = 3*y. Is 10 a factor of s?
False
Let m(z) = -z**2 + 7*z + 9. Let b be m(8). Let o be b/7 - 110/(-14). Suppose 871 = o*j + 263. Does 4 divide j?
True
Suppose 0 = 8*w - 4*w - 8. Suppose w*i = -2*i + 1324. Is i a multiple of 25?
False
Suppose -14268 = -s - h, -817*s + 815*s = 3*h - 28540. Does 38 divide s?
False
Let o(p) = 1902*p**2 - 51*p - 51. Is o(-1) a multiple of 59?
False
Let w be (-1)/1*(-3 + 3). Let g(l) = l**2 + w*l**2 + 72 + 25*l**3 - 24*l**3 - l. Does 18 divide g(0)?
True
Does 33 divide (-2508)/(-19)*(-1193 - 1)*11/(-44)?
True
Suppose -40*g = -37*g + 96. Let a = g + 64. Suppose -5*x = -7*x + a. Is 2 a factor of x?
True
Let d = 3434 - 1498. Does 11 divide d?
True
Suppose -5*g = -3*r - 1, 3*g + 2*g - 16 = -2*r. Suppose -7*o + 3*w = -g*o - 699, -2*w = o - 132. Is 8 a factor of o?
False
Let p = 2557 - 1407. Does 13 divide p?
False
Suppose -2*p - 20 = -5*g, 5*g + 4*p + 1 = -9. Does 26 divide 2/g + -4 + 133?
True
Suppose 7 + 5 = 4*r. Suppose l = -r*l + 12. Suppose 3*x + 2*s - 120 = 0, s + 3*s = -l*x + 120. Does 19 divide x?
False
Let j be (-9)/(-6)*(-176)/(-12). Let s = 7 + j. Let w = s + -8. Does 15 divide w?
False
Suppose -158*i - 107956 + 312659 + 2325351 = 0. Is 16 a factor of i?
False
Let v(i) = i**2 - 7*i + 7. Suppose 4*y + 28 = o, 5*y = 2*o - 10 - 28. Does 8 divide v(y)?
False
Let u(w) = 4*w**3 - 49*w**2 + 34*w - 25. Does 6 divide u(15)?
False
Suppose -4*i - 4*f = -30020, -5*i + 20555 = -2*f - 16942. Is 13 a factor of i?
True
Suppose 0*r + r + 3 = 0. Let s(q) = -20*q + 7*q + 1 + 0 + 0 - 1324*q**2 + 1330*q**2. Is 47 a factor of s(r)?
True
Suppose -10*f = -7 + 57. Let g(t) = -4*t**3 + 3*t**2 + 3*t - 8. Is g(f) a multiple of 23?
True
Suppose 0 = -2*j + 4 + 2. Let v(a) = a + 5*a**2 - 5 - 2*a + 6*a. Does 11 divide v(j)?
True
Suppose 0*s = -3*y - 4*s + 32, 0 = -3*y + 4*s - 8. Suppose -m + 2 + 4 = 3*b, -y*b - 4*m = -8. Does 6 divide (b - 5)*(-1)/3 + 29?
True
Is ((-11)/22)/(4/1 + (-356296)/89072) a multiple of 22?
False
Let h(r) = -187*r + 48 + 43*r - 64*r. Does 12 divide h(-3)?
True
Suppose 2*n + 1 = -2*f + f, n - 7 = -2*f. Suppose -3 - 3 = -f*z + 2*y, -4*z - 12 = 4*y. Suppose -2*u = 3*s - z*s - 30, 4*s - 44 = -4*u. Does 7 divide s?
False
Suppose 5*n - 558 = -t, -62 + 179 = n + 2*t. Suppose n = i + 3*i - p, -i + 4*p = -9. Is i a multiple of 2?
False
Suppose 60*j = 106027 - 10927. Is 5 a factor of j?
True
Let p(k) = -k**3 - 23*k**2 - 115*k - 17. Suppose 0 = -3*v - 6, -j + v = 2 + 13. Is 51 a factor of p(j)?
True
Suppose f = 5*h + 10028, 0 = -2*f + 1897*h - 1893*h + 20062. Is 29 a factor of f?
False
Let j = 14992 - 7462. Is 15 a factor of j?
True
Let d = 5520 - 5045. Does 95 divide d?
True
Suppose -9*z + 853 = -1928. Suppose 0 = 2*h + 3*m - 550, m + z = -4*h + 1389. Does 57 divide h?
False
Let i(o) = -100*o**3 - 123*o**2 - 47*o + 27. Is 387 a factor of i(-8)?
True
Let o(h) = 990*h + 9*h**2 - 3*h**3 + 2*h**3 - 8 - 2*h**2 - 986*h. Does 14 divide o(6)?
False
Suppose 10*l - 13*l + 25221 = 3*u, -5*l - 3*u + 42045 = 0. Is 9 a factor of l?
False
Let d be 348/(-9)*(-108)/24. Let q = d + -81. Does 14 divide q?
False
Suppose -4*b - 2*s = -64, 0*b + 5*b - 94 = s. Suppose 0*k - b = -2*k - 4*i, 4*i = -k + 13. Suppose 2*t + t - 18 = 5*m, 4*t + k*m = 59. Is 11 a factor of t?
True
Suppose 4*f - 2*o = 37178, -2*f + 7045 + 11586 = 5*o. Is f a multiple of 57?
False
Let g be (150/40 - 1) + 1/4. Suppose -g*y + 2*i = 3*i - 1224, 1227 = 3*y + 2*i. Is y a multiple of 37?
True
Let p(w) = w**3 - 12*w**2 - 1. Let k be p(5). Let f = k - -221. Does 5 divide f?
True
Let v be (5 + (-147)/7)/(-1). Suppose v*c + 18*c - 10744 = 0. Does 17 divide c?
False
Suppose -70 + 49 = -7*y. Suppose -1037 = -5*c - 2*q + 1023, -y*c - 4*q + 1222 = 0. Is c a multiple of 18?
True
Let h be (-132)/(-110)*10/(-4). Let f be (-1)/h - (-2728)/24. Is (-6 - -6) + f + 1 a multiple of 34?
False
Let w be -5 - (-15 + (3 - 8)). Suppose y - 5*h - 17 = -0*y, -3*h = -3*y + w. Suppose 0*m - 4*m = 2*u - 96, 0 = y*u. Does 4 divide m?
True
Suppose 0*j + 5*j - 25 = 0, 4*y + 3*j = 311. Suppose t - 4 - y = 3*n, -n + 78 = t. Is t a multiple of 7?
False
Let l = -76 - -81. Is 90 - (1 + (-5)/l) a multiple of 9?
True
Let q = 13 - 13. Suppose q = -6*y - 573 + 1665. Does 20 divide y?
False
Suppose -3*c + 1842 = t, -8*t + 3*c = -10*t + 3687. Is 41 a factor of t?
True
Let d(c) = -2*c**3 + 17*c**2 + 5*c - 10. Let x(m) = m**2 + m - 1. Let a(u) = d(u) - 6*x(u). Does 16 divide a(5)?
True
Let j = 161 + -100. Let r = 63 - j. Suppose -99 - 57 = -r*m. Is m a multiple of 28?
False
Suppose -5*n + 3729 = z, 2*z + 1059 = -4*n + 8499. Is z a multiple of 6?
True
Let j(h) = 231*h + 847. Is j(5) a multiple of 14?
True
Suppose 5*k = -4*a - 40, -5*k - 25 = -34*a + 35*a. Let g be (1*5)/(2/82). Let q = a + g. Is 20 a factor of q?
True
Let h(d) be the first derivative of -d**3/3 - 19*d**2/2 + 24*d + 5. Suppose 0 = 3*t - 5*t + 4*z - 38, -5*t = 5*z + 95. Is h(t) a multiple of 8?
True
Let l(x) = 149*x - 45. Let r be l(2). Let n = 305 - r. Is 2 a factor of n?
True
Suppose p = f - 35, 2*p - 3*f + 0*f = -72. Let a = 101 - p. Is a a multiple of 15?
False
Suppose 0 = 72*z - 53*z - 164160. Is z a multiple of 135?
True
Is 61 a factor of ((-8)/((-128)/488))/(5/880)?
True
Let z(w) = 14*w - 243. Let n be z(18). Suppose 0 = 2*y + 2 - 6. Suppose -8*f = -n*f - 3*h + 6, 5*f - 82 = -y*h. Is 4 a factor of f?
False
Let q be (-2)/(1*(-10)/45). Suppose q*z - 7*z - 66 = 0. Suppose -3 = d - z. Does 6 divide d?
True
Let r(b) = 11*b**2 + 167*b + 348. Is r(47) a multiple of 31?
False
Let p = 49 - 33. Let v be 168/p*24/(-14). Does 9 divide (-16)/72 + (-832)/v?
False
Suppose -2*b + 4*k = -69680, 29*b + 34844 = 30*b - k. Does 33 divide b?
True
Suppose -15*x = -32*x + 1190. Let u = x - -38. Is 27 a factor of u?
True
Does 41 divide 3103*2 + 2085/(-139)?
True
Let u(z) = 4*z + 196. Suppose 4*y - 8*y = 27*y. Does 28 divide u(y)?
True
Let v be (-401)/(-4) + ((-18)/(-8))/3. Let y = 104 - v. Does 18 divide (-486)/72*(-88)/y?
True
Let z = 64 - 44. Let l be 5/(-2)*12