l + -10)?
False
Let i(n) = n**2 + 6*n - 14. Let k be i(11). Let d = k + 129. Does 32 divide d?
False
Suppose -5*l = 5*j - 63895, 3*l = 2*j + 17564 + 20783. Is l a multiple of 107?
False
Suppose 5*u = 589 - 614, 31 = 3*w - 5*u. Let l be 3/((-2)/4*3). Does 6 divide ((3 + -37)*l)/w?
False
Let f(b) = 400*b + 82. Let r be f(6). Let a = r - 1462. Is a a multiple of 12?
True
Let n(a) = 2*a**2 + 182*a - 744. Is n(-105) a multiple of 61?
True
Let x = -330 - -163. Let p = x - -245. Is 39 a factor of p?
True
Let x(p) = -87 + 36*p + 37 - 45 - p**2 - 49. Is 6 a factor of x(30)?
True
Let t(w) = -41 + 0*w**2 - 3 + 12*w - w**2. Let r be t(6). Does 27 divide r/3*(-378)/8?
False
Let r(o) = 31*o**2 + 36*o + 749. Does 6 divide r(-13)?
True
Suppose 0 = -2*f + 3*l - 154 - 287, 3*f = -l - 678. Is 13/(895/f - -4) a multiple of 13?
True
Let b(l) = 21*l**3 + 15*l**2 + 19*l + 12. Let j(s) = -10*s**3 - 8*s**2 - 10*s - 7. Let x(u) = -3*b(u) - 5*j(u). Is x(-2) a multiple of 43?
False
Let d(p) = -2*p**3 + 83*p**2 + 21*p + 458. Is d(36) a multiple of 182?
True
Let k = 6 - 1. Suppose k*f + 27 = -4*f. Is 26 a factor of (2 + -2)/1 + (-312)/f?
True
Suppose -3*b = -4*h + 8097, -35*h + 2023 = -34*h - b. Is h/30*(-60)/(-8) a multiple of 13?
True
Suppose 6*h - 672 = 2850. Let k = -321 + h. Suppose 3*r + k = 5*r. Is 26 a factor of r?
False
Let o be 2/(-7) + 572/(-154). Is 40 a factor of 23534/28 + 2/o?
True
Suppose 3736*h = 3727*h + 468. Does 4 divide h?
True
Suppose -28 = -4*v - 4*o, 2*v - 5*o + 4 - 11 = 0. Let c(a) = 21 - 18*a - 9 + a**3 + v*a**2 - 11. Is c(-8) a multiple of 3?
False
Suppose -d - 12 = 16. Let v = d + 30. Suppose -3*i + i + 3*a = -122, 343 = 5*i + v*a. Is i a multiple of 12?
False
Is 19 a factor of (1 - 3303)*30/20*7/(-7)?
False
Does 83 divide (5*847 + -1 + -1)*1?
True
Let g = 787 + -1226. Let n = g + 311. Let w = n - -300. Is w a multiple of 11?
False
Is 15 a factor of 1980*((-253)/(-22) - 5)?
True
Let u = 30 + -22. Suppose x = u + 28. Is (x/(-3))/(16/(-104)) a multiple of 17?
False
Let a be 14 + -18 - (1 - 5). Suppose 3*b + 0*b - 12 = -3*j, 3*b = a. Suppose -5*m + 64 = j. Does 12 divide m?
True
Let v(o) = -o**3 + o**2 + 32*o - 10. Let j be v(6). Suppose j*y = l - 134, 3*l + y - 375 = -2*y. Is 4 a factor of l?
True
Let k(n) = n**2 + 32*n + 354. Is 59 a factor of k(-11)?
False
Let j = 84 - 93. Let y be (-1186)/j - (4 + (-114)/27). Let s = y - 87. Is 18 a factor of s?
False
Let k(r) = -r + 7*r - 3*r + 2. Let a be k(7). Let m = a - 18. Does 5 divide m?
True
Let t = -2907 - -5067. Suppose 0 = -17*i + 21*i - t. Does 20 divide i?
True
Suppose -5*u - 121*u + 5425164 = -18*u. Does 77 divide u?
False
Let z(b) = 10340*b - 172. Is 8 a factor of z(1)?
True
Does 38 divide (23650/(-1290))/((-1)/342)?
True
Suppose -2*q - 37*m + 11541 = -34*m, 0 = 3*q + 2*m - 17329. Is q a multiple of 47?
True
Does 13 divide ((-41660)/(-80))/(2/416*4)?
True
Suppose 3*y = 3*b + 270, -5*y + 98 = -4*y - 3*b. Suppose d - 294 = -4*z - y, -12 = 3*z. Is d a multiple of 13?
False
Let v(u) = -7127*u**2 - 5*u + 7125*u**2 + 13*u + 2*u**3 + 2. Is v(3) a multiple of 26?
False
Is 4 - ((-37876)/(-12))/((-7)/21) a multiple of 162?
False
Suppose -12*g + 1834 = 4*g - 10950. Is g a multiple of 17?
True
Suppose -9*u + 20601 = 3*k, -5*k - 1777 = -2*u - 36214. Does 2 divide k?
False
Let g(k) = k**3 + 15*k**2 - 6*k + 38. Suppose 0 = 22*c - 17*c - 5*q + 85, 4*q - 8 = 0. Does 39 divide g(c)?
False
Let x = 205 - 641. Is 10 a factor of x/545 - (-3274)/5?
False
Let n be 987 - 21/(-10 - -7). Suppose -5*f + n = -986. Is 19 a factor of f?
False
Let v(c) = 62*c + 2478. Is v(33) a multiple of 58?
True
Suppose -3*f + h = -130, f - 22 - 20 = h. Suppose 2340 = -31*q + f*q. Is 15 a factor of q?
True
Suppose u = -z - 299, 0*u = -2*u - 6. Let t = 919 - 911. Is 16 a factor of (z/t)/(-3 - -2)?
False
Let y(f) = f**3 - 7*f**2 - 2*f + 1. Suppose 0 = 18*x - 70 - 92. Is 5 a factor of y(x)?
True
Is 330221/8 + 366/976 a multiple of 124?
False
Let x = -229 + 1053. Is x a multiple of 16?
False
Is (-10632096)/(-240) + 42/(-30) + 2 a multiple of 138?
False
Suppose 3*f = 5*d + 103, -77 = f - 3*f - 5*d. Let v = -29 + f. Suppose v*u = -1 + 15. Is u even?
True
Let v = 3902 + -269. Suppose -34*b = -41*b + v. Is 28 a factor of b?
False
Suppose 4*t - 3*t - 12 = 4*a, a = 4*t - 18. Let l be (2 + 2 + a)/((-4)/(-8)). Suppose -4*u - 45 + 143 = -2*g, -12 = -l*g. Is 5 a factor of u?
False
Suppose 0 = -5*o - 5*r + 26960, 3*r + 0*r = 0. Is 23 a factor of o?
False
Let s(v) = -v**3 - 13*v**2 - 13*v + 5. Let y(f) = -f**3 + f**2. Let w be y(0). Suppose w*a + 5*l - 8 = -a, -2*a - 16 = 2*l. Is s(a) a multiple of 11?
False
Suppose -2*n - 10 = 3*m, 0 = 5*n - 5*m + 1 + 24. Does 43 divide (7/n)/(4705/(-1175) + 4)?
False
Is 75 a factor of (9700/6)/(12/2*3/81)?
True
Suppose 26*r = 187*r - 628383. Is r a multiple of 13?
False
Let w(r) = 1218*r + 87. Let c be w(18). Is c/45 + (1070/(-150) - -7) a multiple of 10?
False
Suppose 27*s - 60 = -33*s. Is 4 + 0 + 254 + s + 14 a multiple of 8?
False
Suppose -2*o = 1 + 5. Let l(u) be the first derivative of 7*u**3/3 + 5*u**2 + 7*u + 167. Is l(o) a multiple of 13?
False
Let u(v) = -59*v - 68. Let o(x) = -765*x - 882. Let f(p) = -2*o(p) + 27*u(p). Does 24 divide f(-8)?
True
Let l = -104 - -88. Is 2/6*357/(-14)*l a multiple of 9?
False
Suppose -5*i = 3*l - 17268, 6104 = -4*i - l + 19910. Is i a multiple of 15?
True
Let f(s) = -s**3 + 26*s**2 + 428*s + 27. Does 170 divide f(21)?
True
Let r be ((-3)/(-5))/((-6)/60). Let h be 9/r*4008/(-9). Suppose -5*q + 307 + h = 0. Is q a multiple of 42?
False
Suppose 142*y - 480 = 139*y. Suppose -2*i - 2*x + 13 = -67, 4*i + x - y = 0. Is i a multiple of 10?
True
Let h be 15/(-120) + 13217/8. Does 15 divide h/10 + 1/(-5)?
True
Let v be ((-34)/(-17))/(1/2). Suppose -150 = -2*k + v*t + 10, -t = 4*k - 338. Is k a multiple of 7?
True
Let j(f) = 6*f - 4. Let b be j(1). Suppose -3*y + 2*w - 575 = -1507, -643 = -b*y - 3*w. Suppose 6*n - 118 = y. Is n a multiple of 9?
True
Suppose 0 = w + 5*x + 35, -8*w - 5*x - 200 = -4*w. Does 15 divide (-15 - w) + (5 - -1)?
False
Suppose 5*s + 5*f = -105, 8*s + 105 = 3*s + 5*f. Does 26 divide (-2597)/s + 9/27?
False
Suppose -2*a + 235638 = 37*a. Is a a multiple of 38?
True
Suppose 6 = -3*g + 81. Let o = g - 25. Does 3 divide 3*(o - 12/(-9))?
False
Let n = 75 - 72. Suppose 0 = 2*p + k - 2*k - 9, k = -n*p + 11. Suppose -p*w + 261 = -71. Is 7 a factor of w?
False
Let v be (-2)/4*(-7 + -91)*1. Suppose 3*l + 2*o + 59 = 0, 0 = -4*l - 5*o - v - 32. Is (-834)/l + (-14)/(-133) a multiple of 11?
True
Let l(h) = h**2 - 11*h - 205. Does 75 divide l(-37)?
False
Suppose 28347 = 2*b + v, -4*v - 19269 = -2*b + 9083. Does 19 divide b?
True
Let s(a) = 122*a - 1947. Let m be s(16). Let k(t) = t**3 + 11*t**2 + 4*t + 2. Let f be k(-6). Suppose m*o - 152 = f. Does 10 divide o?
False
Let q(j) = 13*j - 19. Suppose 4*a + 44 = 4*t, 0 = -2*t - 0*t + 5*a + 28. Suppose t + 26 = 5*x. Is 8 a factor of q(x)?
True
Suppose -f + 121 = 4*p, 3*f - 4*p = 384 - 21. Let g = 247 - f. Is g a multiple of 14?
True
Does 12 divide -19 - 710/(-40) - (-834)/8?
False
Let m(q) = -6*q**2 - 8*q + 24. Let x be m(8). Let k = -221 - x. Suppose k + 121 = 3*o. Is o a multiple of 23?
False
Let j(x) = -x - 2. Let i be j(-6). Let n be ((i - 3) + 40)/(2 + -1). Let d = -21 + n. Is d a multiple of 10?
True
Suppose 4*d - 24342 = -n, d + 177 = n + 6255. Does 18 divide d?
True
Let g(o) = 59*o**3 + 2*o**2 + o + 48. Is g(6) a multiple of 22?
True
Let p(x) = x**2 - 2*x + 9. Suppose -5*r = -y - r + 8, 5*r + 25 = 5*y. Suppose g - 12 = 2*k, 3*g = g - y*k. Is p(g) a multiple of 26?
False
Suppose -5*k - 2 = -a + 3, a + 4*k - 5 = 0. Suppose -9*y = -23 + a. Does 6 divide (y/(-10))/((-15)/25)*18?
True
Suppose 0 = 4*t - 3*h - 3226, -5*t + 3*t + 1610 = -3*h. Suppose -t - 1784 = -9*j. Is j a multiple of 33?
False
Let h be (-4)/(-2) - 5/((-15)/402). Suppose -w + 200 = h. Is 18 a factor of w?
False
Is (-8718)/(-4) - ((-116)/145 + 13/10) a multiple of 47?
False
Let w = -9353 + 11213. Does 10 divide w?
True
Let q = -7165 - -37715. Is q a multiple of 12?
False
Suppose -10*k = -22*k + 288. Let t = -152 - -276. Suppose t = 4*p + k. Does 7 divide p?
False
Suppose 12*g - 657 + 81 = 0. Suppose 46*s + 180 = g*s. Is s a multiple of 10?
True
Let q = -4689 - -8293. I