 -94. Let q = -76 - l. Does 18 divide q?
False
Let w(y) = -y - 70. Let t(l) be the second derivative of l**3/6 + 47*l**2/2 + 4*l. Let v(h) = -7*t(h) - 5*w(h). Is v(-15) a multiple of 17?
True
Suppose 4*t = -0*t - u + 378, 4*u = -t + 102. Let y be (6/6)/(6/276). Let w = t - y. Does 16 divide w?
True
Let k(x) = 781*x - 93. Is 19 a factor of k(1)?
False
Let a = 73 - 48. Let q be ((-60)/2)/((-111)/74). Let l = q + a. Does 15 divide l?
True
Let a(d) = -d**2 - 7*d + 2. Let q be a(-8). Let s = q - -11. Let g(c) = c**3 - 5*c**2 + 4*c - 2. Is 9 a factor of g(s)?
True
Let q = -597 - -1007. Is 41 a factor of q?
True
Is 119 a factor of -17*(24*-3 + -5)?
True
Let n be 5*(-1 + 7) - (2 + 1). Let l = n - -3. Is l a multiple of 10?
True
Let c = -2448 + 3948. Is c a multiple of 50?
True
Let q(f) = -3*f + f - 6*f**3 + 7*f**3 + 5*f**2. Suppose 18 = 8*i + 58. Is 10 a factor of q(i)?
True
Let p(a) = -a**2 - 6*a - 3. Let f be p(-2). Let c(o) = 2*o**2 + 6*o - 11. Does 11 divide c(f)?
False
Let y be (0/1)/(-4 + 6). Suppose 5*q + 4*l - 396 = y, 3*q - l + 6*l = 235. Is 15 a factor of q?
False
Suppose -2*q = -3*q + 11. Let l = q - 6. Suppose 2*z = 15 + l. Is 10 a factor of z?
True
Let s be (-6)/(-12) + (-3)/(-2). Suppose 5*n = q + 2 + s, -4*q = -4. Suppose w - 3 = -g - n, -5*g - 6 = w. Is 4 a factor of w?
True
Let a(v) = -52*v**3. Let o(r) = -r**3 + 11*r**2 + 11*r + 16. Let l be o(12). Let n be (-3)/l + (-2)/8. Does 17 divide a(n)?
False
Let d(f) = 23*f - 429. Is 28 a factor of d(43)?
True
Let x(w) = w**2 + w - 4. Let f be x(-3). Let h(c) = -2*c - 2 + 32*c**2 - 31*c**2 - f*c - 8. Is 19 a factor of h(-4)?
False
Let b = 15 - 15. Suppose b = 4*z - z, 2*z = d - 10. Suppose -3*m - 8 = -4*i, 2*i - 5*m = 7*i - d. Is 2 a factor of i?
True
Suppose 0 = 4*z - 2*i - 5 + 3, -z - 10 = -4*i. Suppose 2*v - 896 = -z*v. Is v a multiple of 26?
False
Suppose -12*m + 85 = -7*m. Does 6 divide -1 + 21 + (m - 13)?
True
Let t = 31 - 23. Suppose t*g + 366 = 14*g. Is 11 a factor of g?
False
Let i(z) = -z - 1. Let o(s) = 5*s**2 + 3*s + 10. Let p(k) = -4*i(k) + o(k). Does 11 divide p(-4)?
True
Let n(r) = -r. Let z(a) = -2*a. Let k(l) = 3*n(l) - 2*z(l). Let x be k(4). Suppose 101 = x*o - 3. Is 13 a factor of o?
True
Suppose -3*a = -z - 5*a + 10, 4*a = z + 14. Let q = 2 - z. Suppose -3*u - 3*w + 27 = q, 5*u - 3*w - 49 = -7*w. Is u a multiple of 4?
False
Suppose -5*t + 174 = -1. Does 6 divide t + -2 - -1 - 4?
True
Suppose 8*q + 18 = 138. Is q a multiple of 15?
True
Let a = -10 + 397. Does 4 divide a?
False
Let k(h) be the second derivative of h**3/2 - 3*h**2 + 2*h. Let b be 4/(-22) + (-414)/(-99). Is 3 a factor of k(b)?
True
Let u(x) = -x**2 + 11*x - 2. Let v be u(9). Let o = v + -12. Suppose -o*p + 238 - 62 = 0. Is 10 a factor of p?
False
Suppose 4*f + 11 = 3. Let q be f/(0 + 6)*-9. Does 4 divide (2 + 2)*(-1 + q)?
True
Suppose -6 + 114 = 4*i. Suppose i*z + 75 = 30*z. Does 13 divide z?
False
Suppose 2*t + 1 = 5, 0 = 2*s - t + 2. Suppose -3*r = -4*u - s*r + 15, -5*r = 5. Suppose 2*i + u*i = 300. Is 20 a factor of i?
True
Let k = -257 + 442. Is 12 a factor of k?
False
Let r = -1363 - -1857. Is r a multiple of 14?
False
Let c be -95*(2 - -2)/4. Does 7 divide (c/(10/2))/(-1)?
False
Let v(z) = 5*z - 15. Let g(y) = 4*y - 16. Let h(w) = -6*g(w) + 5*v(w). Is h(10) a multiple of 3?
False
Let z(l) = 81*l**2 - 100*l + 800. Is z(8) a multiple of 72?
True
Let d = 634 + -333. Does 77 divide d?
False
Let o = 22 + -18. Suppose 4*j = 8, 0*j - o*j - 280 = -2*v. Is v a multiple of 18?
True
Let p(o) = -o**3 - 8*o**2 - 7*o + 6. Let c be p(-6). Let b = 16 - c. Is b a multiple of 10?
True
Let u be 319/(-1) - (2 - 3). Let m be u/1*-1 + -3. Suppose 2*h - m = -h. Is h a multiple of 31?
False
Let z(a) = -11*a + 11. Let f be z(-4). Suppose -3*n - 25 = -2*p - 6*n, -2*p = -3*n - f. Does 9 divide p?
False
Let w be ((-44)/6)/(5/(-15)). Let i = w + 12. Let a = i + -22. Is a a multiple of 3?
True
Let i(w) = -2*w**2 + 2*w - 1. Let t be i(1). Let f(x) = 27*x + 3. Let n be f(t). Let g = n - -28. Is g a multiple of 4?
True
Let t(q) = 18*q**3 - 14*q**2 - 2*q + 1. Let w(y) = 12*y**3 - 9*y**2 - y + 1. Let o(n) = 5*t(n) - 8*w(n). Is o(-2) a multiple of 17?
False
Let r be (31 - 30)/(1/86). Suppose 84*u - r*u + 58 = 0. Is u even?
False
Suppose 0 = v + 5, 5*n + 5*v - 1508 - 27 = 0. Is 53 a factor of n?
False
Suppose 5*m - 228 = 152. Suppose 436 = 4*q - 5*t + 132, q = -3*t + m. Suppose g + q = 5*g. Is 4 a factor of g?
False
Suppose 5*m + 1935 = 5*w, 3*m = w - 0*w - 393. Is 24 a factor of w?
True
Let x(y) = -y**3 - 4*y**2 + 6*y - 16. Let z be x(-6). Let n(q) = -q**3 + 20*q**2 + 9*q - 45. Is n(z) a multiple of 21?
False
Let b be (2465 + -2)*(0 + 2)/6. Suppose -181 = 4*z - b. Is z a multiple of 20?
True
Suppose -137*n + 8022 = -130*n. Does 9 divide n?
False
Let v be 1/((20/(-204))/5). Let j = 114 + v. Is j a multiple of 39?
False
Let k = 97 - 33. Let j = k + -44. Is 10 a factor of j?
True
Is ((-21)/((-210)/200))/(1/171) a multiple of 12?
True
Suppose 5*t + m - 54 = 3*m, 2*m - 26 = -3*t. Let n = 14 + t. Suppose n = -k + 55. Is k a multiple of 9?
False
Suppose 2*q - 17 = -7. Let u be q/(-2)*40/(-25). Suppose -3*c + 2*f - f = -85, 3*c - 70 = u*f. Is c a multiple of 10?
True
Suppose 0 = -3*h + 4*h - v - 30, -h = -5*v - 46. Let a be -2 - (-4 - -1) - h. Let d = -17 - a. Is 2 a factor of d?
True
Suppose b = -g + 32 - 6, 83 = 3*g + 4*b. Let o = 35 - g. Is o a multiple of 9?
False
Does 16 divide 20/(-50)*-190 - -4?
True
Let x(w) = 13*w**3 + 3*w**2 - 3*w - 2. Is 12 a factor of x(2)?
True
Let u = 9 - -96. Suppose 3*c - 3*h - 63 = 0, 0 = 5*c + 4*h - h - u. Let n = 5 + c. Is 11 a factor of n?
False
Let u = -17 - -17. Suppose v - 2 - 2 = u. Suppose -v*q + 4*d + 136 = 0, 95 + 55 = 5*q - d. Does 11 divide q?
False
Let x = 20 - 10. Suppose 2*g - 18 + x = 0. Suppose -91 = -5*y - 2*t, 0*t - 68 = -g*y - 4*t. Is 11 a factor of y?
False
Let w(c) = -c**2 - 8*c. Let a be w(-12). Is (-7664)/a - (-1)/3 a multiple of 40?
True
Suppose -7*u + 3*u - 3*z - 25 = 0, -u + 2*z + 2 = 0. Is (u/(-6))/(3/189) a multiple of 12?
False
Let c(b) = 5*b**2 - 3*b - 2. Suppose 7*k = 11*k. Suppose 4*d + 3 + 9 = k. Is c(d) a multiple of 26?
True
Let g be ((-12)/15)/(2/(-50)). Suppose 7*l = 2*l - j, -5*l + g = 5*j. Is (l - (-22)/10)*20 a multiple of 4?
True
Let f = 293 - 313. Let d(v) = -v**3 - 5*v**2 - 3*v - 6. Let c be d(-4). Let p = c - f. Is p a multiple of 2?
True
Let j(k) = -k**3 - 24*k**2 + 23*k - 4. Does 3 divide j(-25)?
False
Suppose 0*c + 4*c = -3*y + 113, 15 = -3*y. Let i = -19 + c. Suppose -4*l = -i - 47. Is l a multiple of 8?
False
Let o(k) = 2*k - 9. Let v be o(6). Let x(s) = s + 15 + v*s - s - 4*s. Is 2 a factor of x(8)?
False
Suppose g = -4*u + 260, 1026 = 4*g + 13*u - 11*u. Is 18 a factor of g?
False
Let m(w) = -w**3 + 11*w**2 - 2*w + 5. Let d(c) = 3*c**2 + 4*c + 1. Let z be d(-2). Let n(u) = u**2. Let f(y) = z*n(y) - m(y). Does 4 divide f(6)?
False
Let q = -32 - -14. Let r be q/8 - (-4)/16. Does 5 divide 75/r*10/(-15)?
True
Let v = 7 + -19. Is 15 a factor of (-705)/v + 24/(-32)?
False
Let c(j) = -j**3 + 9*j**2 + 10*j. Let g be c(10). Let d be (g + -1)*(-6 + 8). Is 13 a factor of (-107)/(-4) + d/(-8)?
False
Suppose 1271*a - 1276*a = -9400. Does 47 divide a?
True
Let v(z) be the second derivative of z**4/12 - 11*z**3/6 - 15*z**2 + 14*z. Is v(15) a multiple of 8?
False
Suppose -2*k = -s - 499, -s + 2 = 1. Does 5 divide k?
True
Let f be 285/55 + (-2)/11. Let d(x) = 11*x - 2. Is 10 a factor of d(f)?
False
Suppose -b = -3*i + 2786, 0 = -248*b + 246*b + 2. Does 13 divide i?
False
Suppose -o + 0 - 8 = 0. Is (-242)/o - 3/12 a multiple of 10?
True
Is 1100/(12/6) - -1 a multiple of 19?
True
Suppose -16*p = -p - 90. Suppose 2*u = -2 + p. Is u a multiple of 2?
True
Suppose 3951 + 1425 = 8*t. Is t a multiple of 12?
True
Let h = 14 + -17. Is 14 a factor of 3/h*(-18 - 0)?
False
Let y be 1 + 48 + 3/1. Let o = y - -4. Is o a multiple of 28?
True
Suppose -5*c + 124 = w, 3*c - 86 = 3*w - 8. Does 6 divide c?
False
Let n = -87 - -105. Does 18 divide n?
True
Suppose -5*y - 4*a + 8332 = -0*a, -4*a - 1652 = -y. Let i be (-8)/(-56) + y/14. Let g = i - 64. Does 29 divide g?
False
Let i = 1044 - 930. Does 3 divide i?
True
Does 17 divide (-263507)/(-287) - 2*(-2)/(-28)?
True
Suppose -3*j - f + 2858 = 0, -