?
False
Let j = 4006 + -870. Is 9 a factor of j?
False
Let q be ((-7)/(-4))/(-4 + 135/36). Let z(h) = 3*h**2 + 16*h + 65. Does 6 divide z(q)?
False
Let n = 6956 + -50. Is 17 a factor of n?
False
Let l(y) be the second derivative of -7*y**3/3 - 4*y**2 + 2*y. Suppose -5*p + 8 = 43. Is 15 a factor of l(p)?
True
Let v(p) = -6050*p - 8020. Does 20 divide v(-6)?
True
Let a(r) = 3*r**3 - 4*r**2 + 7*r - 15. Let f be a(-6). Let m = 1208 + f. Is m a multiple of 15?
False
Let j(q) = -4058*q - 59. Does 21 divide j(-1)?
False
Let c = -51 - -52. Let l be (-80)/(-35) - (c - 5/7). Does 25 divide l/4*(67 + -11)?
False
Let i(f) = -f**3 + f**2 - 3*f - 3. Let v be i(2). Let j(l) = -10*l - 63. Does 8 divide j(v)?
False
Suppose -2*q = -5*c - 2417 - 7573, 4*q = 5*c + 20010. Is 15 a factor of q?
True
Let k = -26 - -34. Suppose -13 = -3*m + k. Suppose 2*y = m*y - 565. Does 17 divide y?
False
Let p(a) = a**3 + 63*a**2 - 471*a - 722. Is 136 a factor of p(-62)?
False
Suppose 0 = -3*y + s - 35, y + 2*s + 30 = 6*s. Let m = y - -17. Suppose -4*n = -m*n + 36. Is n a multiple of 6?
True
Let u(z) = 36*z + 11. Let p be u(4). Let i = 69 - p. Is (-3)/((-255)/i + -3) a multiple of 24?
False
Let b(i) = 3*i**2 + 19*i + 70. Let h be b(-13). Let j = -37 + h. Is j a multiple of 34?
False
Suppose 0 = -3*u + 3*u - 12*u. Suppose u = 12*y - 32*y + 3480. Is 6 a factor of y?
True
Let s = 12067 + -3779. Is s a multiple of 148?
True
Suppose -y - 8 = 2*f, 0 = -4*f + 4*y - y + 4. Is 6/2 - (-105 + f) a multiple of 29?
False
Is 14 a factor of -23 - (187890/(-5) - 21)?
True
Suppose 192*h - 165049 = 1448519. Is 74 a factor of h?
False
Suppose -5*n + 54873 = -8517. Is n a multiple of 13?
False
Suppose -18*i - 37125 = -383877. Is 16 a factor of i?
True
Let n = 73 + 386. Let m = n + 195. Is m a multiple of 50?
False
Suppose -58*g - 168 = -61*g. Suppose 217 = -3*a - g. Let r = a + 239. Does 9 divide r?
False
Suppose 35 = 3*j + 23. Suppose 4*f + f + j*y = -152, -f + 3*y = 19. Let o = f - -40. Is 6 a factor of o?
True
Does 37 divide 815 + (-1)/2*(11 - 3)?
False
Let o = 2151 - 1163. Suppose 8 = 2*j, -2*p + 28*j + o = 25*j. Does 27 divide p?
False
Let w(a) = 10*a**2 - 20*a - 86. Let f be w(-5). Let z = 997 - f. Is z a multiple of 11?
False
Let m(t) be the third derivative of t**6/120 + 3*t**5/20 + 7*t**4/24 - t**3/6 + 15*t**2. Let r be m(-8). Suppose r*k = -373 + 1248. Is 24 a factor of k?
False
Let y be -18 + 3 + 0 + 0/2. Let p(o) = -o - 12. Let h be p(y). Suppose -3*a + 7 = 5*w - a, -3*w = h*a + 3. Is 3 a factor of w?
True
Suppose 49403 + 32633 = 11*i + 19006. Is 191 a factor of i?
True
Let x = -36 + 41. Suppose x*o + 0*b - 135 = -5*b, b = 3*o - 93. Suppose -o*h + 352 = -26*h. Is 44 a factor of h?
True
Suppose 24 = -2*h + 4*h. Let x(j) = 5*j + 15. Let k be x(h). Suppose 73 = 4*i - k. Is i a multiple of 14?
False
Suppose 3*a - 6222 = -2*u, -5*u = 2*a - 17398 + 1810. Does 4 divide u?
True
Let n = 5862 - 2976. Does 93 divide n?
False
Suppose -2*a - 2*a - 2*d = 32, -3*a - 3*d = 21. Let c be a/6 - (-21)/6. Suppose 4*l - u = -c*u + 173, 2*l = -5*u + 91. Does 14 divide l?
False
Suppose 12 = 78*z - 81*z. Is 12 a factor of (-7 - -6)/(z/500)?
False
Suppose 118*u = 5*u + 143312 - 54946. Is 2 a factor of u?
True
Let z(q) = q**3 + 33*q**2 + 44*q + 70. Let i be z(-32). Is -1 + 1 - (-6 + i - -2) a multiple of 15?
False
Is ((-97632)/(-120) + 6/(-10))*3 a multiple of 5?
False
Let k(r) = -2*r + 4*r + 3*r + 69*r**2 + 0*r. Let j be k(-3). Let w = j - 426. Is w a multiple of 20?
True
Let c be (-31 + 27)/(6/123). Let k be (6 - 1)*276/10. Let z = k + c. Does 13 divide z?
False
Let t = -27 - -24. Suppose -5*w + 260 = -4*v - w, 5*v - w = -337. Does 4 divide v/(t + -1) + -3?
False
Let n be (8 + -26 - -10)/(1/(-2)). Let m(h) = h**2 - 2*h - 68. Is 12 a factor of m(n)?
True
Let u be 248/60 + (-4)/(-60)*-2. Does 81 divide (-3)/u - 4/(32/(-654))?
True
Let p be -3 + 20/(-5) + 179. Suppose -h - p = -191. Is 19 a factor of h?
True
Suppose -18*m = -93 - 15. Suppose m*n = -101 + 2747. Does 63 divide n?
True
Let b be 90 + -88 + (6 - 0). Suppose -4*u + 30 = 6. Is 4 a factor of (b/u)/(40/(-108))*-10?
True
Suppose -425*h = -409*h - 82352. Is h a multiple of 92?
False
Does 7 divide (5460/(-90))/(2/(-15) + 0)?
True
Does 4 divide (426/(-8))/(81/(-1152)*20/30)?
True
Let l be (-7*2/(-14))/((-2)/(-670)). Let b = l + -235. Does 12 divide b?
False
Let j(m) = -m**3 + 24*m**2 - 84*m + 64. Does 8 divide j(14)?
True
Let x(i) = -i - 10. Let h be x(-10). Suppose h = -5*l + 475 + 750. Suppose -5*s + l = -0*y + 3*y, -470 = -5*y + 4*s. Is 18 a factor of y?
True
Suppose 5*a = -4*d + 92488, -3*a + 28*d - 33*d = -55498. Is a a multiple of 34?
True
Suppose 0 = 15*g + 37 - 112. Let v be ((-1)/g)/(1/(-485)). Suppose 2*w = -19 + v. Is w a multiple of 13?
True
Let t(n) = 244*n - 792. Does 4 divide t(14)?
True
Suppose 155*v - 557503 = -3688. Is 30 a factor of v?
False
Let t = 127 - 125. Suppose -5*s - 298 = -o, -2*s - 606 = -t*o + 3*s. Is o a multiple of 11?
True
Suppose 532*w - 1058*w + 532*w - 306 = 0. Let k be (-1)/((-1)/((-10)/(-2))). Suppose -w = -4*o - v, -k*o + o + 36 = 4*v. Is o a multiple of 7?
True
Suppose -4*k - 4 = 0, 0 = -z + 4*k - 4 + 10. Suppose -a = z*a + 4*c - 3678, -c = -2*a + 2441. Is 26 a factor of a?
True
Suppose 5*n - 5010 = 3*r, 3*r - n - n + 5001 = 0. Let p be 2/((-10)/r*3). Is 21 a factor of p - 2*1/(-2)?
False
Let n(o) = -o + 21. Let w be 3/(-2)*32/(-3). Let t be n(w). Suppose -4*a + 488 = 5*s, -t*a + 21 + 181 = 2*s. Is s a multiple of 12?
True
Is 1/(10/(-22965)*(-6)/4) - -3 a multiple of 14?
False
Let n(u) = 4*u**3 - 24*u**2 - 45*u - 7. Is n(13) a multiple of 69?
True
Let l(h) = 16*h**3 + 35 + 2*h - 2*h**2 - 8*h**3 - 9*h**3 - 8. Let t be l(-8). Suppose 4*d - 8 - 109 = -w, -t = -3*w - d. Is 19 a factor of w?
True
Let w = -463 - -1062. Let y = w + -409. Is y a multiple of 19?
True
Let s(j) = 86*j**2 - j + 2. Let u be s(2). Let z = -707 - -712. Suppose -4*q = -2*k - 2*k - u, -z*q = 2*k - 423. Does 17 divide q?
True
Let t = 18637 - 18157. Does 12 divide t?
True
Suppose 5*l + 5*z = 400, 4*l - 3*z = -0*z + 320. Suppose -10*f + 5*f = l. Does 30 divide (-4348)/(-32) - 2/f?
False
Let l be (6 + -7)/((-2)/(-24)). Let h = -10 - l. Suppose 3*i - 2*g - 201 = 0, -198 = -i - h*i + g. Does 16 divide i?
False
Let h = -2 + -5. Suppose 54*n + 9*n = -22680. Is 18 a factor of 1/((h + 3)/n)?
True
Let d be 0/(7 + (-12)/2). Suppose d = 2*h + 3*h, -3*h - 490 = -t. Does 10 divide t?
True
Let h(q) = -q**3 + 23*q**2 + 26*q - 34. Let j be h(24). Suppose 2 = 8*m - j. Is m*137*(4 - 7/2) a multiple of 12?
False
Let i = -2213 + 4018. Is 7 a factor of i?
False
Let v = 1152 - -8664. Is 24 a factor of v?
True
Suppose -19*z + 13*z + 24 = 0. Suppose z - 14 = -5*u. Suppose 66 = u*d - 60. Is 9 a factor of d?
True
Let m(o) = -61*o - 217. Let t be m(30). Let a = -1462 - t. Is a a multiple of 45?
True
Suppose k - 191 = -4*u + 1054, 4*k + 4*u = 5052. Is 9 a factor of k?
True
Suppose 0 = 5*g + 3*z - 644, 0 = -3*g - 2*g + 5*z + 660. Does 7 divide g/(-3)*(2 - 8)?
False
Suppose -1462499 = -21*r - 34*r - 50539. Is r a multiple of 235?
False
Let z(s) = s**3 + 50*s**2 + 129*s + 414. Is 60 a factor of z(-38)?
True
Let y = 10304 - 8180. Is y a multiple of 81?
False
Let a = 76 + -111. Let b = a + 40. Suppose 0 = -k + 33 + b. Is 4 a factor of k?
False
Suppose -2*w + 2 = -5*p, -4*w + 11*p + 4 = 13*p. Does 34 divide -15*w*(-1)/3 - -60?
False
Suppose -s = -5*g + 26, -s = -3*g + 10 + 6. Let r be g/((-5)/(-4))*2/4. Is ((-35)/10)/(r/(-20)) a multiple of 16?
False
Suppose -22*g + 9*g + 10062 = 0. Suppose 4*m + 5*l - 1050 + 45 = 0, 3*m - g = 3*l. Does 15 divide m?
True
Let n(z) = -z + 21. Let t be n(17). Suppose -5*r + 15 = 0, 5*l - t*r - 14 - 104 = 0. Does 5 divide l?
False
Let l = 371 - 214. Let d = -803 + l. Is (-33)/44 + d/(-8) a multiple of 10?
True
Let i be ((-6)/4)/(-4 - (-349)/88). Suppose -4*l + 3*k + 5 = -i, -29 = -2*l - 3*k. Is (1 - l)*-5*54/24 a multiple of 56?
False
Suppose -26*c = 3*b - 25*c - 44899, -3*c = 6. Is b a multiple of 45?
False
Suppose -4*o = h - 2 - 1, 0 = 3*o + 4*h + 14. Suppose -7*z + 25 = -o*z, -355 = -5*w + 4*z. Is w a multiple of 5?
True
Suppose -30*r + 92870 - 8720 = -18210. Is r a multiple of 2?
True
Let q(u) = -8*u**3 + 7*u**2 - 10*u + 14. Let l be q(-6). Suppose -6*z