5*b**3/3 - 18*b**2 - 103*b. Is s(7) a multiple of 11?
False
Let j(p) = 688*p**2 + 53*p + 198. Does 24 divide j(-5)?
False
Suppose -69*d + 505082 - 198218 = -182553. Does 4 divide d?
False
Let b(z) = -z**3 - z**2 + 2*z + 2. Let s be b(-2). Suppose o + s*h = 49, 3*o - 98 - 37 = -2*h. Suppose -2*x = -3*x + o. Does 31 divide x?
False
Suppose 18458 = -v + 12*v. Suppose 0 = -2*r - 2*h + v, 2*r + 3*h + 2*h = 1675. Is r a multiple of 35?
True
Let r(x) = -7*x**3 + x**2 + 4*x + 8. Let n be r(-3). Let m = n - -50. Does 26 divide m?
False
Let o(x) = -x**3 + x**2 - 6*x - 5. Let q be o(5). Let l be (1/2)/((-7)/2688). Let a = q - l. Is 19 a factor of a?
True
Let g = 4129 + -1075. Does 25 divide g?
False
Let p = 4772 + 1924. Is 31 a factor of p?
True
Let i = -5561 - -9462. Is 7 a factor of i?
False
Is 100 a factor of 21375 - (16 - 15)*-13?
False
Let d(x) = -3*x**3 - 152*x**2 + 100*x + 98. Is d(-52) a multiple of 86?
False
Suppose 0 = -12*u + 9*u. Let s(v) = 2 + 27*v - 43*v + 72*v + u. Does 31 divide s(1)?
False
Let k(j) = 4*j - 37. Let z be k(10). Suppose 9*v = 14*v - 2*a - 470, 0 = 2*v + z*a - 207. Is 6 a factor of v?
True
Suppose 114*k - 256523 - 21898 = 16497. Is k a multiple of 38?
False
Let i(t) = 16912*t + 204. Is 324 a factor of i(1)?
False
Let g(w) be the second derivative of -18*w - 5*w**2 + 4/3*w**3 + 0. Is g(8) a multiple of 18?
True
Let w = 446 + 1354. Suppose -12 = -4*x, -c + x + 3*x - 1 = 0. Suppose w = -c*a + 19*a. Is a a multiple of 25?
True
Let q be 0/((-6)/(-4)*(-4)/3). Suppose 3*v + q = 12. Suppose 0 = 4*p + 16, -v*b + 3*p = -9*b + 193. Does 5 divide b?
False
Let x(a) be the second derivative of 241*a**3/3 + a**2 - 22*a. Let i(u) = 241*u + 1. Let b(d) = -7*i(d) + 4*x(d). Does 22 divide b(1)?
True
Let c be -33*36/6*6/4. Let w = 830 + c. Is 21 a factor of w?
False
Let p = 489 + -509. Does 12 divide 1104/p*(-20)/8?
False
Suppose -3*m = -4*f + 1431, -5*m + 7 = 32. Is f a multiple of 37?
False
Let j(g) = 11*g**3 + 12*g**2 - 92*g - 43. Does 14 divide j(8)?
False
Suppose -s + 2218 = d, 7851 = 5*d - s - 3269. Is 41 a factor of d?
False
Let j = 174 - 174. Suppose 26*n - 24*n - 232 = j. Is 5 a factor of n?
False
Suppose -123627 = 143*t - 172*t. Does 203 divide t?
True
Let a(d) = -42*d**3 - d - 2. Let s = 46 + -50. Let k be ((-1)/3)/(-1 - s/3). Is 41 a factor of a(k)?
True
Suppose 20*b = 5*b + 10560. Suppose 154 = 3*n - 2*z - 267, -5*n + b = -z. Is 14 a factor of n?
False
Let p = 105 + -75. Let t be (28/6)/((-2)/(-3)). Suppose t*z = 5*z + p. Does 15 divide z?
True
Let a(l) = 36*l**3 + 1. Let d be (-12)/(-15) + (-182)/(-10). Let u = 20 - d. Is a(u) a multiple of 6?
False
Let j(m) = 2*m**2 + 29*m + 143. Is j(-27) a multiple of 54?
False
Let v(s) = 821*s**2 + 65*s - 290. Is 73 a factor of v(4)?
False
Suppose 3*p - 79*u - 16183 = -75*u, -4*p + 4*u + 21580 = 0. Does 56 divide p?
False
Is 114 a factor of 4/((77/10032)/7)?
True
Suppose 5*b = 2*r + 194, 92 = 5*b + 4*r - 120. Let p = b - 36. Suppose -815 = -5*d + p*t, -t - 35 - 461 = -3*d. Is d a multiple of 47?
False
Let s = 87 + -30. Suppose 6*j = s + 15. Does 8 divide 5/(2/j*(0 - -2))?
False
Let h = 219 - -1032. Is h a multiple of 5?
False
Let c(l) = -2*l**2 - 6*l + 5. Let n be c(1). Let o be (-3)/((-18)/(-8))*n/2. Suppose -o*v - 45 = -5*v. Is 5 a factor of v?
True
Let j(r) = -251*r + 8. Let v(a) = -2. Let p(o) = -j(o) - 2*v(o). Is 13 a factor of p(1)?
True
Let s(f) = -f**2 + f - 1378. Let m be s(0). Let u = -498 - m. Is 44 a factor of u?
True
Suppose -75*w + 1530 = -80*w. Let u = 554 + w. Is u a multiple of 8?
True
Let f be (-6)/4 + 2 - 34023/66. Does 13 divide (0 - -3)/(-5*1/f)?
False
Suppose 4*x + 4*v - 164 = 5*v, -2*x + 4*v = -96. Let s = x - 37. Is s a multiple of 2?
False
Suppose -4*r - 19 + 7 = 0, -4*j = 4*r - 52. Let h = j - 15. Let z(o) = 50*o**3 + o**2 + 5*o - 6. Does 35 divide z(h)?
False
Let x be 5 + -236 + 3 + -8. Is 25 a factor of 9/6*(18 - x)?
False
Suppose 976 + 18 = -14*z. Is ((-1)/(-1) - 0)*(-11 - z) a multiple of 30?
True
Let l(h) = -h**2 - 264*h + 755. Is 10 a factor of l(-139)?
True
Is (-47)/((-235)/90) - 21 - -2*4239 a multiple of 2?
False
Let c(z) = 58*z + 173. Let a be c(-3). Let l(v) = -402*v**3 - 2*v**2 - 2*v + 1. Is l(a) a multiple of 13?
True
Let n = 334 + 987. Suppose -145 = 7*v - n. Is v a multiple of 7?
True
Let x(w) = -7*w - 16. Let g be x(0). Is 29 a factor of (-2)/(-4) - 1320/g?
False
Suppose 83*x - 787231 = 635573 - 80860. Does 188 divide x?
True
Suppose 2264 = -46*r + 38*r. Let q = r - -329. Does 2 divide q?
True
Let y = -35 - -35. Let t(d) be the second derivative of d**5/20 + d**3/3 + 15*d**2 + 10*d. Is t(y) a multiple of 9?
False
Let x = -19019 + 22889. Is x a multiple of 90?
True
Let d(x) = -x**2 - 35*x - 56. Let g be d(-35). Let a = g + 93. Is a a multiple of 18?
False
Let m be 8/(-2) + (-3276)/7. Let y be 3/(-1 + m/(-470)). Suppose 12*f = 7*f + y. Is 9 a factor of f?
False
Let s = 1190 - 827. Let n = 137 + s. Is n a multiple of 48?
False
Suppose -179*l + 174*l - 40 = 0, -3*l + 5831 = 5*s. Is s a multiple of 2?
False
Let o(j) = -47*j - 101. Let a be o(-4). Suppose 4*z = a + 5. Does 3 divide z?
False
Let u be ((-2268)/(-15))/9 + (-1)/(-5). Let n(b) = b**3 - 17*b**2 + 26*b + 21. Is n(u) a multiple of 23?
False
Is (-61 + (18 - 18))*-157 a multiple of 19?
False
Suppose 5 = 2*l - 3. Suppose 576 = l*q + 4*q. Is 4 + -6 + q - -2 a multiple of 12?
True
Let h(x) = 16*x**2 - 8. Let p be h(-4). Let i = 127 - p. Let f = i + 283. Does 18 divide f?
True
Is 6/(-40) + 243357660/8400 a multiple of 27?
True
Is (82/(-902))/(12/(-22)) - 56861/(-6) a multiple of 36?
False
Suppose 16*i - 47028 = 5*i + 5*q, 3*q - 8574 = -2*i. Does 15 divide i?
False
Let m(n) = n**2 + 11*n + 26. Let o be m(-7). Let s(w) = 45*w**3 + 2*w**2 + 5*w + 1. Let g be s(o). Let b = -193 - g. Does 14 divide b?
True
Let d(p) = -2*p**3 - 7*p**2 + 2*p + 4. Let y(i) = 4*i**3 + 15*i**2 - 5*i - 9. Let n(w) = 5*d(w) + 2*y(w). Is 6 a factor of n(-4)?
False
Let n = -7951 + 10899. Is 17 a factor of n?
False
Let v(c) = 7*c + 46. Let k be v(-6). Suppose -k*o + 44 = -140. Does 19 divide o?
False
Let o(k) = k**3 + 6*k**2 - 3*k + 10. Let r be o(-7). Let f be (r/14 - -1) + 344/28. Let w(v) = 8*v - 21. Is 18 a factor of w(f)?
False
Suppose 4*b = -2*l + 2, -2*b - 8*l = -11*l - 13. Suppose -9*m + 8*m = -b*q - 22, -3*m + 76 = -4*q. Is 4 a factor of m?
True
Let c(m) = m**2 + 5*m + 11. Let h = -244 + 211. Is 8 a factor of c(h)?
False
Does 185 divide (-6)/(((-290)/2775)/29)?
True
Let w(h) = h**3 + 9*h**2 - 14*h + 10. Let x(y) = -y. Let q(o) = 2*o**3 + 2*o - 3. Let t be q(1). Let m(k) = t*x(k) + w(k). Does 36 divide m(-7)?
False
Is 31 a factor of 37119/21 + 108/(-189)?
True
Suppose 0 = c + c - 90. Suppose 4*b - 246 = -3*g, 8*b + 3*g = 12*b - 234. Suppose c + b = 5*p. Is 7 a factor of p?
True
Suppose -274*i + 265*i + 15408 = 0. Does 8 divide i?
True
Let f = -3305 + 6893. Does 4 divide f?
True
Suppose -2*l + 7*s = 5, -3*s - 59 - 1 = -5*l. Is 23 a factor of 370 + 20/l*(-6)/4?
True
Suppose 3*j + 20 = 32. Let u be (-9)/(-36) - (-251)/j. Suppose 4*l = c - u, -6*c + 2*c = 3*l - 195. Is 30 a factor of c?
False
Let n be (-9 - -5 - -10) + -2. Suppose 4*b + 916 = 5*h - n*h, 2*h + 2*b = 1802. Does 49 divide h?
False
Let v(x) be the third derivative of 0*x + 1/3*x**4 + 0 + 1/60*x**5 + 10/3*x**3 - 14*x**2. Does 2 divide v(-8)?
True
Let o(m) = 2*m**3 - 10*m**2 - 18*m + 31. Let t be o(6). Is 8 - 5/t*190 a multiple of 33?
True
Let l = -905 - -65. Let q = l + 1243. Is q a multiple of 31?
True
Let g(p) = 1 - 18 - 2 - 12*p - 5. Is 30 a factor of g(-6)?
False
Let a be 51/34*(-870)/(-9). Suppose a + 142 = 7*p. Is p a multiple of 4?
False
Let a = -357 + 36. Let l = a - -415. Does 30 divide l?
False
Let z be (-14)/3*((-46)/4 + 7). Let k = 79 - z. Does 29 divide k?
True
Suppose 191836 = 23*g - 48008. Is 33 a factor of g?
True
Let v = -1499 + 2718. Let u = v - 167. Does 11 divide u?
False
Let l(q) = q**3 + 25*q**2 + 16*q - 48. Let a be l(-24). Is a*((-6)/(-9) - 0) a multiple of 20?
False
Suppose -12*m + 13*m - 2520 = -2*w, 0 = -5*w + 15. Is 62 a factor of m?
False
Let i = 204 + -199. Does 25 divide (i - -37 - -5) + 0?
False
Let l = 29 + 1523. Does 30 divide l?
False
Let r = 230 + -218. Let p(a) = -2*a**2 + 59*a - 20. Is p(r) a multiple of 20?
True
Let o = -56 - 9