- 65 + 12*r - 9*r**2. Let t be w(-10). Suppose 0 = 3*g - 5*u - 185, -2*g - 23 = t*u - 141. Does 12 divide g?
True
Let i(z) = -z**3 + 12*z**2 + 29*z + 9. Let o(w) = -w**3 - 6*w**2 - 4*w - 10. Let f be o(-6). Let h be i(f). Suppose 12*d - h*d = -2585. Is 47 a factor of d?
True
Let b(a) = -3*a**3 + 42*a**2 + 4*a - 24. Let t be b(14). Suppose 0 = t*f - 38*f + 1272. Is 19 a factor of f?
False
Let f be (44/16)/((-5)/(-20)). Suppose -f*b + 5677 + 5950 = 0. Is 7 a factor of b?
True
Suppose 0 = 73*d - 544835 - 109975. Is 138 a factor of d?
True
Let h be (-12)/9*3 + 11248/(-19). Let i = h - -948. Is i a multiple of 11?
True
Suppose -u + 3*g = 2*g - 4, u + 3*g + 16 = 0. Let f(s) = -7*s**2. Let k be f(1). Is 3*(u - (k - -4)) a multiple of 3?
True
Suppose 21*a - 6*a = -3*a + 170352. Does 28 divide a?
True
Let s(z) = z**3 + 73*z**2 - 351*z - 141. Does 308 divide s(-70)?
False
Suppose -3*i + 4*t - 160 = 0, -2*i + t - 118 = 4*t. Let l = -38 - i. Is l a multiple of 18?
True
Let p = -753 + 852. Suppose -261 = -6*u + p. Is 6 a factor of u?
True
Let m(s) = -135*s + 4. Suppose -4 = 2*j - l + 2, -5*j - 5*l = -15. Let g be m(j). Suppose 6*y - 389 = g. Does 21 divide y?
False
Does 4 divide (19901/(-28))/((-8)/32)?
False
Suppose -5*t + 9*s + 3 = 8*s, -4*t - 3*s = 9. Suppose t = 2*b + 4*j - 1174, 2*j + 2328 = -12*b + 16*b. Is 53 a factor of b?
True
Suppose 6*f - 16 = 8*f. Is (12/f)/(4/(-1632)*4) a multiple of 23?
False
Suppose -3*h - 34*h = -15*h - 54890. Is 8 a factor of h?
False
Let n(w) = -476*w + 18382. Is 35 a factor of n(12)?
True
Let s(q) be the second derivative of -q**5/20 + q**4/12 + 7*q**3/6 + 5*q**2/2 - q. Let n be s(-2). Is 18 a factor of 1 - ((n - 56) + 4)?
False
Is (-23)/(-18 - (-143935)/7997) a multiple of 58?
False
Let a(x) = 6*x**2 + 55*x - 447. Does 4 divide a(15)?
True
Let m be 354/59 + (-356 - -1). Let c = m + 755. Is 14 a factor of c?
True
Let a(q) = 2*q**3 + 39*q**2 + 18*q - 15. Suppose 4*n + 16 = -2*f - 54, 3*n + 60 = f. Let k be a(n). Suppose -515 = -k*t - 155. Is 21 a factor of t?
False
Suppose -76550 = -4*a + 3*q, 73*q - 38282 = -2*a + 78*q. Is a a multiple of 52?
True
Let u = -169 - -154. Let y(d) = 27 + 5 + d**2 + 8 + 5*d. Is y(u) a multiple of 10?
True
Let d(j) = 646*j - 2. Let g be d(1). Suppose 0 = -4*m + 2*f + g, -4*m + 3*f = 4*f - 638. Suppose -11*i = -15*i + m. Does 19 divide i?
False
Suppose 6*s - 119 = -11. Suppose y + y = s. Is ((-3)/y)/(2/(-114))*1 a multiple of 4?
False
Let r = -37 - 5. Let p = 222 + r. Is 12 a factor of p?
True
Suppose -1954224 = -83*v + 492616. Is v a multiple of 149?
False
Let g be ((-8)/(-32))/((-4)/(-96)). Is 8 a factor of ((-8160)/(-4))/g*(-6)/(-15)?
True
Let w(u) = -u**3 + 5*u**2 - 4. Let z be w(4). Let f be z/18 - 78/9. Let k(i) = i**3 + 8*i**2 - 4*i + 10. Does 14 divide k(f)?
True
Let i = -31998 - -47182. Is 8 a factor of i?
True
Let w(i) = -i**3 + 22*i**2 + 133*i - 48. Is w(21) a multiple of 36?
False
Let c(p) = 9*p + 15. Let o be -4 - -1 - (-16)/(-2). Let k be c(o). Let m = -47 - k. Is 7 a factor of m?
False
Let d = 205 - 205. Does 6 divide -2 + 1 - (-25 - d)?
True
Is 349 + ((-360)/20 - -19) a multiple of 11?
False
Suppose 3*w - 432*s + 429*s = 34425, -w - s = -11487. Is 267 a factor of w?
True
Let j(t) = -2*t**2 - 2*t + 3. Let c be j(-3). Let b be 60/(-8)*6/c. Let m(r) = 3*r**2 + 2*r + 11. Is 12 a factor of m(b)?
True
Let v = -4334 + 6928. Is v a multiple of 48?
False
Is (-4)/1*-3*(-37725)/(-100) a multiple of 10?
False
Suppose -37 = 11*n + 7. Let q(b) = 2*b**3 + 15*b**2 - 11*b + 4. Let z(w) = w**3 + 7*w**2 - 5*w + 2. Let u(h) = -2*q(h) + 5*z(h). Is u(n) a multiple of 28?
False
Suppose 0 = -361*t + 355*t. Suppose 2*z = -6*f + 5*f + 417, -4*z + 3*f + 849 = t. Does 10 divide z?
True
Let m = 24671 + -14487. Does 38 divide m?
True
Let d be (-4)/10*(6 + -161). Suppose 2*b = -x + 24, 0*b + d = 3*x - 4*b. Is x a multiple of 3?
False
Suppose -804 = 3*q - 15*q. Let g = 72 - q. Does 32 divide (-124)/(-3) + 64/(-12) + g?
False
Let a(o) = o + 4. Let r be a(-7). Let z = -1384 + 1391. Does 17 divide -4 - (-3432)/28 - r/z?
True
Let f(p) = -4401*p**3 - 3*p**2 + 2*p + 4. Let d be f(-1). Suppose -13*b - 45 + d = 0. Is 67 a factor of b?
True
Let t be (3*-2)/(-2 - (0 + 1)). Does 34 divide 214 - (t - 0) - (1 - 0)?
False
Is 5 a factor of (-3100)/6*((9 - (-14 - -23)) + -30)?
True
Suppose -4*h + 920 = 6*h. Suppose 0 = -h*c + 94*c - 40. Is c a multiple of 20?
True
Let p(t) = t - 3. Let m be p(6). Let l(j) = 13*j**3 - j**2 + 5*j - 8. Is l(m) a multiple of 20?
False
Suppose 72 + 49 = 11*o. Suppose o*n = 95 + 389. Is 4 a factor of (n/(-4))/((-4)/12)?
False
Let z(b) = 12*b**2 + 3*b + 24. Let x = -417 - -409. Is 64 a factor of z(x)?
True
Let i(z) = 91*z**3 + 458*z**2 + 2*z + 6. Does 2 divide i(-5)?
False
Suppose 105*w + 656914 - 2408524 = 0. Is w a multiple of 41?
False
Does 21 divide (5341 + (-1 - -1))/(178/534)?
True
Let b = 73 + -67. Suppose 121 = 5*p + 3*d + b, -p + 15 = -d. Let s = 216 - p. Is 14 a factor of s?
True
Let x be 92/24 + 8/48. Suppose -9*h - 9 = -12*h, -2*h = -x*z + 1198. Does 19 divide z?
False
Let x(d) = 73*d**2 - 6*d - 5. Let w be x(-1). Suppose w - 62 = 4*r. Suppose 0 = -o + 4*u + 58, 0 = 2*o + r*o - 2*u - 344. Is o a multiple of 30?
False
Suppose -19*z = 23*z - 13692. Is z a multiple of 3?
False
Suppose -4*s - 8 = -8*s. Suppose s*p + 484 = 2*t - 2*p, 4*t - 5*p - 965 = 0. Suppose 3*i - 9*i + t = 0. Does 20 divide i?
True
Let t(s) = 23 + 4*s + 9 - 61 - 51 + s**2. Is t(-15) a multiple of 11?
False
Suppose 0 = -l - l + 4. Suppose 468 = -l*p + 6*p. Suppose 293 + p = 5*j. Is j a multiple of 17?
False
Let q = -20569 - -31264. Is q a multiple of 4?
False
Let p = 4 + 40. Let f = p + -38. Suppose 5*w = -u - f, -5*u + w + 38 + 10 = 0. Is 9 a factor of u?
True
Suppose 0 = -7*c - 19 - 23. Let j be (c - 9/((-6)/2))*-21. Suppose -49 - j = -2*a. Is 14 a factor of a?
True
Let v be 21435/(-135) + (29/(-9) - -3). Let p = 284 + v. Is p a multiple of 25?
True
Let g(v) = 6*v - 43. Let p be g(6). Let c be (-2 + p)/((-3)/2). Suppose -5*w - 27 = -c*w. Does 10 divide w?
False
Suppose 0 = 2*a + 5*c - 61, -14*a + 4*c = -13*a - 50. Suppose -a*v + 7351 = -2301. Does 10 divide v?
False
Suppose -u + 8*h = 4*h - 186, 4*h = 5*u - 978. Let r = u + -119. Is 21 a factor of r?
False
Let f be (-103 - 1/2*2)*-2. Suppose -18*a + f = -16*a. Is 26 a factor of a?
True
Suppose -6 = 361*h - 364*h. Is (h - (0 + -80)) + 2 + -5 a multiple of 3?
False
Suppose -9*o - 181 = -2278. Suppose 0 = -7*k + 138 + o. Let q = -23 + k. Is q a multiple of 10?
True
Let x(v) = -3*v - 36. Let b be x(-12). Suppose -d + 22 = -4*y, b*y = -2*d + 2*y + 14. Suppose -d*j + 13 + 69 = 0. Is 6 a factor of j?
False
Let q = 2250 - 2025. Is 14 a factor of q?
False
Let l(m) = -m**3 + 6*m**2 + 11*m + 45. Let t be l(8). Suppose -18*n + t*n + 5096 = 0. Is n a multiple of 7?
True
Let z(m) = 2*m**2 + 21*m + 62. Let t be z(-15). Let o = 163 + t. Is o a multiple of 20?
True
Let v(y) = 3*y - 73. Let h be v(-25). Is 6/2*(h/(-6) + 6) a multiple of 46?
True
Let v(l) = -l**3 + 65*l**2 - 262*l - 61. Is 35 a factor of v(57)?
False
Let y = -325 - -329. Suppose 3*k - 330 = -y*l, 3*l - 6*l - 9 = 0. Is 11 a factor of k?
False
Let y(c) = 28*c - 13. Let q be y(5). Let b = 74 + -58. Let m = b + q. Is 13 a factor of m?
True
Suppose 0 = -14*z - 1989 + 12629. Suppose -31*f = -39*f + z. Is f a multiple of 29?
False
Suppose 2*t + 3*t - 3*a - 4129 = 0, -5*t = -2*a - 4126. Suppose -14*m = -t - 2. Does 11 divide m?
False
Suppose 760 = 11*l - l. Let k = -151 + l. Let p = 92 + k. Is 6 a factor of p?
False
Suppose 3*h - 13354 - 141051 = 2*n, -51491 = -h - 5*n. Is h a multiple of 9?
True
Let i(a) be the first derivative of 29/3*a**3 + 42 - 2*a + a**2. Does 22 divide i(-2)?
True
Let s = 7195 - -6488. Is 146 a factor of s?
False
Suppose -5*j + 10 = 5*n, -3*j + 4*j + 2*n - 2 = 0. Suppose -5*v - 4*s = -40, -2*v = 3*v - j*s - 10. Suppose 2*d - v*c = 60, c = -4*c. Is 10 a factor of d?
True
Let n = 165 - 162. Suppose 2*d = -5*x + 56, -n*x = 2*d - 65 + 13. Does 2 divide d?
False
Suppose m + 4 = 2*n, 3*m - 6*m + 32 = 5*n. Suppose 0 = m*k - 13 - 355. Suppose 0 = -2*w - 4*c + 132, 2*w + 5*c - k = 36. Does 33 divide w?
False
Let k = 76 - 69. Suppose -18 = k*l + 2*l. Is 10 a factor of -1*(0 + 70)/(l + 1)?
True
Let f(s) = -166*s 