a multiple of 10?
True
Let h(u) = -u**3 - u**2 + u + 304. Let a be h(0). Suppose -l = -4*b + 671 - 78, -2*b - 2*l + a = 0. Let d = 224 - b. Is d a multiple of 25?
True
Let h(c) = c**2 - 12*c - 17. Let f be h(-3). Suppose 0 = s - 101 - f. Does 4 divide s?
False
Let k(s) = -s - 19. Let g be k(-24). Let x be g/(-2 + 6 + -5). Does 31 divide 214 + (-10)/x + 1?
True
Let r(h) be the second derivative of -95*h**3/6 - 15*h**2/2 + 5*h + 20. Is r(-1) a multiple of 8?
True
Let w = 29 - 27. Suppose 0*r = -w*r - 8, -3*t + 4*r = -85. Suppose 5*n - t = 67. Is 3 a factor of n?
True
Let l = 108 - -343. Suppose -5*n + l = -389. Is n a multiple of 14?
True
Let g be 1*(5 - (0 + 4)). Suppose 0 = 5*u - 3*h, u + 4*h - 24 + g = 0. Suppose -3*i - 2*t + u*t = -323, -t = -1. Is 12 a factor of i?
True
Suppose -102*f + 5477094 = -276828. Is 112 a factor of f?
False
Let x(b) = -3*b**2 + 21*b - 72. Let c be x(5). Let j = c - -166. Is 27 a factor of j?
False
Let v(f) = f**3 - 60*f**2 - 80*f - 387. Is v(62) a multiple of 52?
False
Let f(a) = -12411*a + 484. Does 22 divide f(-2)?
False
Suppose 3*w - 18 = 0, -5*w - 3597 = 4*n - 11575. Does 8 divide n?
False
Let u(x) = x**3 + 2*x**2 - 10*x + 5. Let z be u(0). Suppose z*h + 25*h = 28980. Is 56 a factor of h?
False
Suppose -12*y = -23*y + 283008. Suppose -12*d + 36*d = y. Does 67 divide d?
True
Suppose 3*s + 2*w - 26 = 6*w, w + 15 = 5*s. Let g = 238 + s. Does 30 divide g?
True
Suppose 3*b = -y + 2*y + 8, 3*b = -5*y + 32. Let m be 8/((-8)/(-16)*y/11). Suppose -m = -7*s + 278. Is s a multiple of 9?
False
Suppose 4*j - 136018 = -90*j. Is j even?
False
Let k = -14 + 18. Suppose 2055 = -k*m - 10905. Is m/(-25) + 4/10 a multiple of 13?
True
Let t(c) = c**3 - 5*c**2 + 2*c - 5. Let b be t(5). Suppose -b*f + 9 = 59. Does 2 divide ((-3)/(-3))/((-1)/f)?
True
Let n(a) be the second derivative of 79*a**3/6 - 17*a**2 - 3*a + 6. Is n(5) a multiple of 19?
True
Let m(t) be the second derivative of t**5/30 + t**4/8 + 2*t**3 + 15*t**2/2 + 13*t. Let y(n) be the first derivative of m(n). Is y(-5) a multiple of 22?
False
Suppose -3*d = -3*r + 30, 2 - 5 = 3*d. Suppose k - n = -0*k - 25, 4 = 2*n. Let o = r - k. Is o a multiple of 6?
False
Let y(z) = 275*z**2 + 18*z + 5. Let d be y(-1). Suppose -r - 499 = 2*r + n, -845 = 5*r - 5*n. Let c = r + d. Is 5 a factor of c?
True
Suppose -2*k - 2570 = -7*k. Let v(z) = -2*z**2 - 14*z - 28. Let u be v(-4). Is 45 a factor of -2*(k/(-4) - u)?
False
Let v = 6641 - -2358. Is 44 a factor of v?
False
Suppose 129*t = -29*t + 16*t + 1521246. Is 17 a factor of t?
False
Suppose 3*k + 3 = -4*z, 2*z - 11 = -0*z + k. Suppose -z*i + 5*i + 8 = 0. Is 5 a factor of (0 + 1 - 0)*(-236)/i?
False
Let c be (6 - 7441/105) + (-4)/30. Let a = c + 560. Is a a multiple of 11?
True
Suppose -a - 4*z + 20 = -4*a, 5*a + 2*z - 10 = 0. Suppose 41*w - 4262 - 10908 = a. Is 33 a factor of w?
False
Let h(r) = -r**2 + 12*r - 19. Let x be h(11). Is (-15790)/x + 123/492 a multiple of 42?
True
Let l be (54/(-3))/(-2) - (5 - 2). Let j(z) = -z**3 + 4*z**2 + 11*z + 12. Let c be j(l). Suppose c*w - 7*w + 83 = 0. Is 8 a factor of w?
False
Let y = -20 + 23. Let q be (-21)/y - -4 - -8. Does 38 divide (1 - -639)*(2 + (-8)/q)?
False
Let z(f) = 27*f - 28. Let w(d) = 3*d + 56. Let x be w(-6). Is z(x) a multiple of 13?
False
Let i(r) = 4*r**2 + 19*r + 19. Let l be i(-1). Suppose -l*q = d + 269 - 1036, -5*q = d - 960. Is q a multiple of 2?
False
Let m = -96 + 518. Let i = m + -7. Does 55 divide i?
False
Suppose 4*c - 2*q - 1024 = 11142, -q - 9123 = -3*c. Is c a multiple of 63?
False
Let y = -3424 - -10403. Does 52 divide y?
False
Suppose 0 = -8*t + 3*t - 315. Let m(w) = -25*w**3 - 31*w**2 - 7*w - 6. Let a be m(-2). Let c = a + t. Does 20 divide c?
False
Let k(q) = -601*q**2 + 5*q. Let w be k(-1). Let s = -450 - w. Is s a multiple of 13?
True
Let r(h) = 9*h**2 - 7*h + 8. Suppose -4 - 2 = 2*j - 2*g, 2*j - 29 = -5*g. Is r(j) a multiple of 30?
True
Suppose 652*a = 662*a - 391790. Does 93 divide a?
False
Let p(r) = -r**3 + 26*r**2 - 6*r + 663. Is 8 a factor of p(24)?
False
Let j(y) = -y**3 + y**2 + 19*y + 3240. Is 40 a factor of j(0)?
True
Let l = -953 - -2200. Suppose -4*m + l = 47. Does 10 divide m?
True
Let t = -77 - -84. Suppose -5*p = -5*f - 10, -2*f + t*f + 2 = 3*p. Suppose -f*a + 272 = -52. Is 27 a factor of a?
True
Is 34 a factor of (-51040)/(-13) - -15*16/(-1560)?
False
Let c(n) = 13*n - 97. Let j be c(3). Suppose -5*x = 4*s - 292 + 64, 54 = s + 2*x. Let h = j + s. Is h a multiple of 4?
True
Let s = 196 - 398. Let d = 482 + s. Does 14 divide d?
True
Let s = 3754 - 3368. Let c(v) = -2*v**3 + 6*v**2 - 3*v + 2. Let b be c(6). Let q = b + s. Is 14 a factor of q?
True
Let v(q) = 726*q - 3412. Does 20 divide v(32)?
True
Let s = 66 + 2996. Does 3 divide s?
False
Suppose -k - 27 = 3*v - 10, -3*v - 3 = 0. Suppose -d = -4*d + 123. Let i = k + d. Is 9 a factor of i?
True
Is 8 a factor of (-512)/(-32) + (-1752)/(-1)?
True
Suppose 0 = 9*j - 367 - 128. Let a be 375/(-12)*-2*1*2. Suppose -j = -u + a. Is u a multiple of 36?
True
Let s be (14 + 27)*(0 - -1). Suppose 37*w = s*w - 600. Suppose h - 192 = -5*j, h = -4*j - h + w. Is j a multiple of 28?
False
Suppose 6*d = 21 - 3. Suppose -3*h - d = -9. Is 8177/68 + h/(-8) a multiple of 40?
True
Is 7505 - ((-8)/14 - (-646)/(-266)) a multiple of 43?
False
Suppose 11171773 - 1700753 = 365*y. Does 13 divide y?
True
Let o(y) = -307*y - 20. Is o(-3) a multiple of 17?
True
Suppose -3*f - 2*d + 2 = 0, 2*f = f + 5*d + 12. Suppose 0 = -4*i + 2*r + 24, -i + 3*r + 21 = f*i. Suppose 0 = -i*g + 1872 - 672. Does 30 divide g?
True
Let k(y) = y**3 - 18*y**2 + y - 15. Let v be k(18). Suppose 12 = p + 2*p - v*c, p + 2*c + 2 = 0. Suppose p*g + 128 = 6*g. Is g a multiple of 7?
False
Let n = 3047 + 3557. Is 127 a factor of n?
True
Let l(c) = -2176*c**3 + 3*c**2 + 4*c + 1. Let a be l(-1). Suppose -13*h = -1568 - a. Does 23 divide h?
False
Let f be (-3 + 1/1)*(-329)/14. Let y = -48 + f. Let m(q) = -38*q - 1. Is m(y) a multiple of 4?
False
Let h(d) = -4*d**2 + 6*d - 10. Let l(v) = v**2. Let r(g) = -h(g) - 3*l(g). Let z be r(5). Suppose -46 = -2*p - 4*w, -3*p + z*w + 4 = -10. Is 13 a factor of p?
True
Suppose 7 = -d - 0*d + 3*g, -3*d = -g - 19. Is (-14 + (6 - 4))/(d/(-100)) a multiple of 3?
True
Suppose -8648 = -60*p + 2*p + 26558. Does 4 divide p?
False
Let r = -26 + 51. Suppose 2*t - 3*m = 41 + 4, 0 = -t - m + r. Suppose 0 = -k + 4*n + 12, 4*k + 0*n = 4*n + t. Does 3 divide k?
False
Suppose -19*a = -9777 - 9622. Suppose a = 4*p - 1091. Does 33 divide p?
True
Suppose 139 + 1841 = 6*k. Suppose 8514 - k = 11*q. Is 20 a factor of q?
False
Suppose -n - 3*j - j + 42 = 0, 5*j + 235 = 5*n. Suppose 3*t = 710 + n. Does 28 divide t?
True
Suppose -6*p + 1094 = -5*p. Let o = p - 581. Suppose 3*b - o = -2*l, 3*l + 684 = 2*b + 2*b. Is b a multiple of 36?
False
Suppose -2*f - 2 = -10. Suppose -29 = -f*b - 5*d, 3*d = b + b + 13. Is 10 a factor of (-1)/b*-6*40/12?
True
Suppose 0 = -170*l - 250*l + 4224613 + 8374127. Does 33 divide l?
True
Let f be -185*82/20*(3 + -7). Is (-26)/(-91) + f/14 a multiple of 29?
False
Suppose 115 = 2*l - 23. Let y = 71 - l. Suppose y*d = 60 - 14. Is d a multiple of 6?
False
Let y = 379 + 1264. Let d = 2503 - y. Is d a multiple of 19?
False
Suppose -122*j = -135*j + 91. Suppose -j*d = -5*d - 2*t - 106, -t + 192 = 4*d. Is 7 a factor of d?
True
Let i(m) = 241*m**2 + 7*m - 8. Is i(2) a multiple of 10?
True
Suppose -19*g + 165625 - 24550 = 0. Does 99 divide g?
True
Suppose -4*s = 2*p - 112948 + 28344, 7*s - 2*p - 148024 = 0. Is s a multiple of 125?
False
Suppose -2*l + 4*u + 2626 - 512 = 0, 4276 = 4*l + 4*u. Is l a multiple of 29?
False
Suppose 2*h + 4102 = 6*h + 3*j, -3*j + 5129 = 5*h. Is h a multiple of 24?
False
Suppose 10*r - 35 - 95 = 0. Suppose -2*t - 4*y = 204, 5*t = -y - 415 - 122. Let h = r - t. Is h a multiple of 27?
False
Suppose -3*k + 5499 = x, -4*x + 4*k + 1150 = -20926. Suppose x = 14*m - 18230. Suppose 352 = -12*a + m. Is a a multiple of 6?
False
Let f be 95/7 - (-88)/(-154). Suppose -2*u + 6750 = f*u. Is u a multiple of 15?
True
Suppose 264557 + 496950 - 132473 = 42*t. Is t a multiple of 21?
False
Let b be (4 + -5)*467/(-3)*3. Let i = b - 287. Is 15 a factor of i?
True
Let p(o) = 183*o - 33. Suppose -8 = -2*r - 4*m + 8*m, 0 = -4*r + 