iple of 25?
True
Let d(x) be the first derivative of -11*x**2 + 113*x + 11. Is d(-13) a multiple of 19?
True
Let f be (-60)/(-50)*10/4. Suppose 19 = 4*j + f. Suppose -j*a = -45 - 303. Is a a multiple of 9?
False
Let h = 722 + -119. Let v = -215 + h. Is v a multiple of 17?
False
Let r(l) = 4*l**2 - 59*l + 366. Is r(14) a multiple of 9?
True
Suppose -d - 142 = -2*k - 4*d, -397 = -5*k + 3*d. Suppose 95*f = k*f + 23490. Does 15 divide f?
True
Let s = -253 - -240. Let p(g) = 3*g**2 + 7*g - 87. Is 25 a factor of p(s)?
False
Suppose -4*s + 4 = -2*s. Let x(q) = 9*q**2 - 10*q + 19 + 20*q**s - q**3 - 13*q**2. Is 13 a factor of x(15)?
False
Let x = 24 + 10. Suppose 5*d + 4*h - 193 = 0, 7*d - 2*d + 2*h - 189 = 0. Let q = d - x. Is q a multiple of 2?
False
Let b(h) = 19*h**2 + 184*h - 2561. Does 7 divide b(13)?
False
Let l be -3*((-36368)/(-12))/(-4). Suppose 14*z - l = 2893. Does 35 divide z?
False
Let y = 34 - 29. Suppose -y*h = -4*f + 71, -2*h = -3*f - h + 67. Is (-9)/f + 8983/104 a multiple of 11?
False
Let q = -9767 - -13985. Is q a multiple of 70?
False
Let n(a) = -4*a**3 + 57*a**2 - 16*a + 31. Let v be n(14). Suppose -2*o = v*s - 4*s - 403, -o = s - 200. Does 30 divide o?
False
Suppose 40*v - 46002 = -147*v. Does 41 divide v?
True
Suppose 3*x + 572 - 3744 = 5*g, 5*g = 2*x - 2108. Is 38 a factor of x?
True
Suppose 6*y - 579 = 5*y. Suppose -30*o + 31*o - y = 0. Is 9 a factor of o?
False
Suppose -4*c + 102514 = -2*s, -4*s - 34770 = -3*c + 42098. Does 12 divide c?
True
Let w = -18 - -22. Suppose w*j = -4*i, -i + 10 = i - 3*j. Suppose -3*t + i*b + 561 = -0*b, -b - 564 = -3*t. Is 21 a factor of t?
True
Let k = 10862 + -4103. Is 9 a factor of k?
True
Let m = -10811 - -15554. Is m a multiple of 31?
True
Let d be -3 - 9 - (-1 + -1 - -3). Let m be 18/((3/(-8))/(d/4)). Let w = m - 69. Is w a multiple of 37?
False
Suppose -4*b - 7838 = -5*b - 4*t, 3*b - 4*t - 23402 = 0. Is b a multiple of 55?
True
Is -2 + 6 + 543 + -11 even?
True
Let k(i) = -i**3 - 27*i**2 - 56*i - 691. Let h be k(-26). Let x be (-8)/6*174/(-4). Suppose 0 = -7*q + x + h. Is q a multiple of 7?
True
Let b(d) = 481*d + 908. Does 3 divide b(4)?
True
Suppose 8*o + 111 + 257 = 0. Let q = -61 - o. Does 18 divide 1/(6/(-27))*(q + 3)?
True
Let s be (4 + 56)/(-5)*2/(-6). Suppose 4*d + 0*d + 4 = -s*j, 0 = 5*d. Does 20 divide j/4 + 842/8?
False
Let v = -18406 - -18808. Is v a multiple of 3?
True
Suppose 3*q + 51 = -21. Let s be 10/(-4)*q/30*1. Suppose 3*z = 4*r - 185, 3*z + 2*z = s*r - 75. Is r a multiple of 10?
True
Let u(z) be the second derivative of -z**5/20 - 19*z**4/12 - 6*z**3 + 17*z**2/2 + 15*z. Let s(j) = j**2 + j - 1. Let q(b) = -6*s(b) - u(b). Does 8 divide q(-9)?
False
Is 15 a factor of 5314/((-6)/(-3)) - (42 - 40)?
True
Suppose 0 = 7*r - 3*r. Suppose -g + 2*t = 868, r*g - 4*t = 4*g + 3520. Does 16 divide (g/(-15))/((-4)/(-10))?
False
Suppose 4*n = 10*n + 48. Let r = n - -6. Does 23 divide 3 + -4 + (-1 - r - -120)?
False
Let t be (-5)/105*3 - (-2)/14. Suppose t = 5*k - n - 1604, -1584 = -16*k + 11*k - 4*n. Is 32 a factor of k?
True
Let b be (1134 + 12)*(-3)/9. Let d be 5 - (b - 2/(-2)). Let i = d - 247. Is i a multiple of 37?
False
Let m be (-3)/(-2)*(-9 + (-129)/(-9)). Suppose -993 = -2*s + d, 5*s + 1487 = m*s + d. Is 10 a factor of s?
False
Let a(b) = -b**3 - 8*b**2 + b - 64. Let w be (0 - (-1 - -2))*(14 - 3). Is 32 a factor of a(w)?
True
Let c = -397 - -2987. Is c a multiple of 8?
False
Suppose -4*m = -m - 9. Suppose o + 1 + 2 = 0, -f = -m*o - 193. Suppose -f = -4*g - 2*c - c, 4*g - c = 184. Is g a multiple of 8?
False
Suppose 2*u - 3*k - 327 = 0, 2*u - 5*k + k - 332 = 0. Suppose 0 = -u*p + 164*p - 392. Is 4 a factor of p?
False
Is 32 a factor of ((30/(-7))/5)/(3*(-3)/42399)?
False
Is 5771*((-3)/(-9))/(32/96) a multiple of 54?
False
Suppose 2*n - 2*z - 11848 = n, -35538 = -3*n + 3*z. Is 126 a factor of n?
True
Suppose 0 = -3*u - r + 1548, -504*u + 5*r + 548 = -503*u. Does 74 divide u?
True
Let h be 40/6 - (-5)/15. Suppose 1986 = h*k + 222. Is 36 a factor of k?
True
Suppose 3*i + 15 = 27. Suppose -2*r = -3*r - o - 13, -i*o = 2*r + 26. Let b(d) = -10*d + 10. Does 48 divide b(r)?
False
Suppose -3*m + 19448 = -11*m. Let j be m/(-17) + (0 - -1). Let n = -102 + j. Is 6 a factor of n?
True
Let w(h) = -h**3 - 8*h**2 + 7*h + 2. Suppose -9 + 63 = -6*g. Let a be w(g). Does 12 divide (-12)/a + 443/5 - -1?
False
Let n be (20/(-16) - 0)*-4. Suppose -3*c - 1 - n = 0. Does 25 divide (125/10)/((-1)/c)?
True
Let x be -9 - 2 - 14/(2 + -9). Does 16 divide ((-573)/(-9))/(x/(-81))?
False
Let x(s) = 426*s**2 - 171*s - 242. Does 25 divide x(11)?
False
Suppose -8*x = -6*x + 9*z - 5157, -z + 5133 = 2*x. Is x a multiple of 9?
True
Let w = -239 + 227. Let q be (-3 + 1 - -1)*60. Let d = w - q. Does 48 divide d?
True
Is (-9)/144 + -14594*1/(-32) a multiple of 8?
True
Let f(t) be the third derivative of -1/60*t**5 + 0*t + 0 - 1/2*t**3 + 23*t**2 - 1/3*t**4. Is f(-5) a multiple of 6?
True
Let r be (10748/(16/(-4))*-1)/1. Suppose -481 = -c + 4*g, -5*c = -3*g + 231 - r. Is 17 a factor of c?
True
Suppose 5 = m + 68. Let o = 146 - m. Let h = 298 - o. Is 8 a factor of h?
False
Let b(h) = 4*h + 112. Let i be b(-30). Is 30/(((-48)/66)/i) a multiple of 15?
True
Suppose 19*s + 40 = 21*s. Let f = 22 - s. Suppose 0 = -f*c + 53 - 19. Does 17 divide c?
True
Let v(f) = 54*f**2 - 1261*f - 51. Is 72 a factor of v(31)?
False
Does 26 divide 9 + -12 + 16 + 17387?
False
Let q be (-3 + -44)*1*19*1. Is 23 a factor of (-3)/9*q + 7/21?
False
Suppose 502*t - 503*t = 5*g - 6136, -4*t - 3*g = -24544. Is 85 a factor of t?
False
Does 13 divide (-10 - (-13 - 3914)) + (-14)/(-2)?
False
Let t be 2/(-4) + (-13310)/20. Let k be (t/5)/((-16)/40). Let r = k + -184. Is r a multiple of 32?
False
Let h(y) = -y**3 + 7*y**2 - 5*y - 6. Let s = 31 + -25. Let a be h(s). Suppose 3*r - 28 - 53 = a. Is r a multiple of 4?
False
Suppose 121*i = 67*i + 235332. Is 72 a factor of i?
False
Suppose 4 = -2*p - 2, -p + 795 = 3*s. Is 6 a factor of s?
False
Let s = -297 + 299. Does 7 divide ((-4)/(-12))/(s - (-1475)/(-738))?
False
Let o = 6531 - -381. Is o a multiple of 100?
False
Suppose 4*n - 2*j - 366 = 0, -5*n = -4*j - 34 - 425. Suppose 93 = 2*c - n. Suppose 4*r - c = 36. Is r a multiple of 8?
True
Let n = 1016 - 159. Suppose 0 = 5*b + 5*a - 3140, 2*a + n = 2*b - 407. Is 21 a factor of b?
True
Let l = 1835 + 3353. Does 27 divide l?
False
Let q = -12 - 7. Let o(r) = -r**2 - 20*r - 16. Let a be o(q). Suppose 0 = -2*v - a*t + 142, -v + t - 264 = -5*v. Does 26 divide v?
False
Suppose 4*c = -2*h + 10 - 2, 2*h - 1 = 3*c. Suppose 114 = o - h*l, 5*o - l = 4*o + 116. Is 11 a factor of o?
False
Is 5 a factor of 1537 + -15 + -17 + (1 - 2)?
False
Suppose 19*w - 4654 = -626. Suppose 2*h + z - 212 = 0, 51*h - 53*h - 4*z + w = 0. Is h a multiple of 4?
False
Suppose -5*g + 2*r + 1277 = 0, -g = -2*r - r - 245. Suppose -g = -7*a - 2462. Does 26 divide a/(-6) + (-4)/8?
True
Suppose n - 12 = 5*n. Let z(h) = -5180732*h + h**2 + 10 - 5*h**3 + 5180737*h - h**2. Is z(n) a multiple of 10?
True
Let n be 8/28 - 12/42. Suppose n = -27*t + 878 + 13702. Is t a multiple of 9?
True
Suppose 29*c = 2769 - 7583. Let j be 2 + 0 + (-2 - -1). Is (-21)/7 - (c - j - 0) a multiple of 19?
False
Let n be (1 - 1)*-4*4/(-16). Suppose -3 = 3*j - 2*y, -2*j + n*y + 3*y = 2. Is 221 - j*(-1 + 5) a multiple of 14?
False
Suppose -w = 3*m + 1091 + 367, 3*m = w - 1464. Let n = 1097 + m. Is 61 a factor of n?
True
Let k = 735 + -53. Let d = k + -428. Suppose -3*r + d = -241. Does 36 divide r?
False
Let j(u) = u**3 + 13*u**2 + 9*u + 88. Is 63 a factor of j(13)?
True
Let g(t) = t**3 - 11*t**2 + 6*t - 2. Let m be g(11). Let j = -62 + m. Suppose 8*a - 2700 = -j*a. Is a a multiple of 15?
True
Suppose -656 = 243*v - 245*v. Is v/(-123)*294/(-8) a multiple of 9?
False
Let d = 134 + 839. Suppose -2*y = 3*p - d, p + 476 = y + 6*p. Suppose 2*q - y = -131. Does 10 divide q?
True
Let q = -295 - -296. Is 10 a factor of (-1424)/(2/q*(5 - 6))?
False
Let a(b) = -2*b**3 + 16*b**2 + 112*b - 8. Is 21 a factor of a(11)?
False
Does 64 divide -1 - (-1)/((-71687)/8961 + 8)?
True
Let j(z) = 455*z + 6. Let n(l) = -l**3 + 4*l**2 + 11*l + 8. Let t be n(6). Let k be j(t). Suppose 5*o - o = 4*g - k, -5*g + 3*o = -1143. Is g a multiple of 43?
False
Let y(c)