)/(n*((-7)/4 + 2))?
False
Let w be (-8)/(-3)*9/6. Let n be (1 - -6)/(5 - w). Suppose -2*d = -n*d - 25, 5*i - 470 = 2*d. Does 23 divide i?
True
Let l = -293 + 299. Suppose -5*z + l*u + 340 = u, 3*z - 4*u = 200. Does 9 divide z?
True
Let p(c) = 2*c**2 + c + 34. Suppose 2*x = -2*q + 12, -4*q - q + 6 = 2*x. Is p(x) a multiple of 17?
True
Let n be 40/22 - (-5 - (-265)/55). Suppose -12*k + n*k + 50 = 0. Suppose 185 = k*i - 85. Is 6 a factor of i?
True
Let b = 175652 + -119236. Is 16 a factor of b?
True
Let h = 114 - 31. Suppose h*v + 2*a + 610 = 84*v, 4*v = -3*a + 2385. Is 60 a factor of v?
True
Suppose -39 = 2*n + 3. Let s = -1 - n. Is 31 a factor of (-2)/(-8) - (-1235)/s?
True
Let a(z) = 6*z**2 - 12*z - 103 + 0*z - 4*z**2 - 9*z - 5*z. Does 15 divide a(-16)?
True
Is 86 a factor of (0 - 86/8)/(47250/(-1152) + 41)?
True
Is (-27351)/(-18) + 3/6 a multiple of 95?
True
Let u(c) = c + 5. Let y be u(-5). Let q = 2004 - 1993. Suppose 7*k + 226 = q*k + 2*o, o - 1 = y. Is 4 a factor of k?
True
Suppose -1 = -3*f - 4. Let h be (1 + f)/(18 + -15). Suppose 9*s - 235 - 62 = h. Does 6 divide s?
False
Suppose 0*k = -4*k - 3*f + 522, 0 = 2*k + 2*f - 262. Suppose -91 - k = -4*i. Does 36 divide i?
False
Let z be -69*((-2)/(-12))/((-1)/4). Is 18 a factor of -6*(-18)/12*z?
True
Let y = 2873 - 2874. Let b be -20 + (0 - -1) + -1. Does 7 divide y - 54/15*b/6?
False
Suppose 0 = -7*a + 11 + 31. Suppose 125 = -a*i + 737. Does 63 divide i?
False
Suppose -5*z + 59105 = 31*x - 28*x, -2*z + 23683 = -7*x. Is z a multiple of 9?
False
Let p = 246 + -258. Does 2 divide (-1 - -17) + p + 8?
True
Suppose -5*d + 6*d - 339 = 0. Suppose 8*a = 2157 + d. Is a a multiple of 26?
True
Let d = -83 - -86. Suppose -d*n + 560 = n. Suppose 0 = n*o - 137*o - 672. Does 16 divide o?
True
Suppose 267 - 3831 = 22*x. Let s = x - -168. Is 6 a factor of s?
True
Let n = -23200 + 32890. Is n a multiple of 170?
True
Suppose 0 = 3*f - 5*p - 22, -4*p + 13 = -2*f + 3*f. Suppose -2070 - 2943 = -f*a. Does 15 divide a?
False
Let z = -2178 - -2470. Does 2 divide z?
True
Suppose -77*v = 3*o - 72*v - 44401, -4*v + 44408 = 3*o. Does 46 divide o?
True
Let h(p) = 188*p - 90. Is 37 a factor of h(30)?
True
Let a be -15*4/(0 + -4). Let o be (a/(-9))/((-4)/276). Let t = -65 + o. Is 12 a factor of t?
False
Let q(c) = -c**3 - 17*c**2 - 16*c + 2. Let i be q(-16). Suppose 5*g - 3*x = 3*g, -i*g + 2*x = 4. Is g/(-4)*(-64)/(-12) a multiple of 8?
True
Let s be ((-2)/(-7))/(-3*4/84). Is (3024/90)/(s - (-21)/10) a multiple of 8?
True
Suppose 4*a = -5*s + 775 + 1057, 4*a = -4*s + 1468. Let z = -281 + s. Does 2 divide z?
False
Suppose 2*x = -j + 24, -3*j = 2*x - 7*x - 17. Suppose 0 = 5*y - j - 6. Is y*(-7)/(35/(-200)) a multiple of 10?
True
Let y(q) = q**3 - 45*q**2 - 170*q + 46. Is y(49) a multiple of 165?
True
Let x(n) = 39*n**2 + n - 67. Does 17 divide x(4)?
True
Let k = 6846 + -6135. Does 3 divide k?
True
Is 24 a factor of -23 - -1 - (447 - 13189)?
True
Let q = -13 - -21. Suppose 267 = q*x - 11*x. Let i = 45 - x. Does 20 divide i?
False
Suppose k = 3*d - 0*d - 146, 5*d - 246 = -k. Let c = -44 + d. Suppose -3*q = -q - 4*l - 30, c*l = 2*q - 29. Does 4 divide q?
False
Suppose x = 4*q - 30493, -54*q - 22870 = -57*q + x. Suppose 11*k - q = 9020. Does 52 divide k?
False
Suppose -152*x - 187908 = -236*x. Does 12 divide x?
False
Let y(t) = 2*t**3 + t**2 - 4*t - 3. Let j be y(-1). Let r = j - -20. Is 5 a factor of r?
True
Let o(g) = g**3 + 4*g**2 - 11*g - 12. Let d be o(-7). Let n = 232 - d. Does 47 divide n?
False
Suppose -768 = 9*z + 420. Let j = 264 + z. Is 26 a factor of j?
False
Let u = 85 + -53. Suppose -33*f + u*f - 40 = 0. Does 24 divide (f/12)/((-6)/162)?
False
Let i = 410 + -408. Suppose -66 - 116 = -i*r. Is 3 a factor of r?
False
Let q be (18 - 13)/(2/(-4)). Let w = 12 + q. Suppose 0 = -w*f - 0*f - 4, 0 = -2*r + 4*f + 56. Is r a multiple of 3?
True
Let w = -391 + 323. Let k = w + 132. Is 4 a factor of k?
True
Suppose 4*u = -20, -4*f - 62*u + 59*u = -6609. Is f a multiple of 184?
True
Suppose 20291 + 1250965 = 84*a. Is 94 a factor of a?
True
Let y be 8/44 - (-155)/55. Let a(s) = -51*s + y + 31*s + s**2 - 1 + 24*s. Is 7 a factor of a(4)?
False
Let o be (-4)/(-12)*(1 - 2)*-33. Is 31 a factor of o + -5 + 55 - -1?
True
Suppose -183 = -12*w + 9. Suppose 21*p - w*p - 2000 = 2*z, -5*p + 2000 = -3*z. Is p a multiple of 25?
True
Suppose 8611 = 12*c - 2045. Is 8 a factor of c?
True
Let p(d) = 14*d**2 - 5*d - 16. Let b = -201 + 209. Does 24 divide p(b)?
True
Suppose 39*s = 47*s - 40536. Is 16 a factor of s?
False
Is (97 - -6145) + (-1 - 1) a multiple of 10?
True
Let q(k) = -106*k - 218. Suppose 7*c - 5*a + 57 = 3*c, c + 18 = 2*a. Does 21 divide q(c)?
True
Suppose -81*r - 118887 = -31812. Let d = 6 + -1. Does 12 divide 6/(-15)*r/d?
False
Suppose -g - 192 = g. Let l = 1167 - 1201. Let o = l - g. Is 23 a factor of o?
False
Let d = 8915 - 8375. Is 6 a factor of d?
True
Let l(t) be the first derivative of -7*t**2/2 + 8*t - 15. Let z be l(-4). Suppose 3*j - z = 2*j. Does 12 divide j?
True
Suppose -3*q = -4*s + s - 39, 5*s - q = -73. Let h(k) = -14*k**2 + k**3 - 22 - 14 - 2*k**3 + 10*k. Is h(s) a multiple of 13?
True
Let k(i) = 167*i - 13. Let z be k(3). Suppose -484*y + z*y = 2964. Is y a multiple of 13?
True
Let n be (-2)/(-8) + 247/52. Suppose -2*a + 183 = -3*l + 24, -n*a + l = -378. Does 25 divide a?
True
Let x(z) = z**2 - 13*z + 9. Suppose -j + 600 = -9*j. Let p = 89 + j. Is x(p) a multiple of 18?
False
Suppose 36073 = 29*y - 157421 - 832700. Is y a multiple of 26?
True
Let g be -6 + 2 + 538 - 6. Suppose 2*i = -4*i + g. Is 11 a factor of i?
True
Let c = -12 - -17. Let u(r) = -8*r + r**3 + 2*r**2 + 12*r - 5 - c. Does 21 divide u(4)?
False
Is 2936/367 - (-5*25 + -1) a multiple of 6?
False
Let r(f) = 12*f**3 + 41*f**3 - 111*f**3 + f + 10*f**3 + 3*f**3. Suppose -1 + 0 = 4*p + 3*l, -5*l + 10 = -5*p. Is r(p) a multiple of 12?
False
Does 18 divide (-156)/(-39) - -11*1010?
False
Let a(w) = -3*w**3 - 12*w**2 - 16*w + 7. Suppose 5*j - 12 + 52 = 0. Does 12 divide a(j)?
False
Let x = 180 - 178. Let a be (-4)/8 - 30/(-4). Suppose -x*m - 103 = -5*u, u + 3*m - a = -0*u. Is u a multiple of 19?
True
Let o(m) = -m**3 - 21*m**2 + 46*m + 4. Let z be o(-23). Suppose 5*l = 5*n + 515, z*l + 299 = 7*l - 5*n. Is l a multiple of 6?
True
Let v be 30/16 - (62/16 + -4). Suppose -5*u = -2*w + 2102, 19*w - v*u = 17*w + 2108. Is w a multiple of 16?
True
Suppose -80*n - 15516 = -86*n. Is 120 a factor of n?
False
Suppose 471*k = 466*k + 25215. Does 41 divide k?
True
Let a(t) = 19*t**2 + 8*t - 29. Let v be (3/(27/126))/(1 + -3). Does 47 divide a(v)?
True
Suppose -y - 473*c + 468*c = -21387, -3*y = c - 64175. Does 4 divide y?
True
Let s = 428 + -429. Does 17 divide s*72/27*-408?
True
Let p = -369 + 695. Let g = p - 257. Is 16 a factor of g?
False
Suppose -5*z + 26451 = -3*c, 4*c + 21153 = 4*z - c. Does 126 divide z?
True
Let f be 21/(-28)*-15 + 9/12. Let a(h) = -10 + h**2 - 2 + 2*h - 9*h. Is 8 a factor of a(f)?
True
Suppose 4 = -2*j - 4*r, -17*j - 3*r - 4 = -16*j. Suppose -j*g + 762 = 3*u, u + 73*g - 72*g - 255 = 0. Is 9 a factor of u?
True
Let v = 109 - 108. Let r(z) = 6*z**3 + 3*z**2 - 2*z. Is 2 a factor of r(v)?
False
Suppose 10*x + 3*x = 2405. Suppose 1705 + x = 6*m. Is 21 a factor of m?
True
Let b(k) = 2*k**3 - k**2 - 4*k - 3. Let f be b(-1). Let d be ((-1)/f)/((-15)/(-60)). Suppose -p - 4*p = d*z - 500, 0 = 2*p - 5*z - 229. Is 34 a factor of p?
True
Let k be 5/(100/(-305))*(-70 - -2). Suppose k + 259 = 12*z. Does 6 divide z?
True
Let m = 57 + -257. Let k = 206 - m. Let x = -200 + k. Is x a multiple of 35?
False
Let j = 442 - 442. Suppose j = -10*b + 18*b - 3240. Is 27 a factor of b?
True
Let v = 12634 + -643. Is v a multiple of 21?
True
Suppose 42*y = 20*y + 20504. Is y a multiple of 27?
False
Suppose -4*s + 65 = 81. Let a be ((-69)/(-2))/(9/12). Let o = s + a. Does 9 divide o?
False
Suppose -9*m = -10*m + 2. Suppose m*w = -11 + 19. Suppose w*j - 140 = -8. Does 3 divide j?
True
Let s be (-110157)/146*((-8)/6 + 0). Suppose -s = -4*m + 3*u, -28*u + 744 = 3*m - 25*u. Is 13 a factor of m?
False
Let c = 1196 - -1963. Suppose -105*z = -92*z - c. Is 27 a factor of z?
True
Suppose -17*a + 16725 + 21644 = 0. Is a a multiple of 50?
False
Let c(s) = 8*s + 24. Let f be c(-2). Suppo