e 0 = 3*b - 12 - 45. Is 13 a factor of (2 - 1) + 2 - (-1178)/b?
True
Is 681 - (-6)/2 - 5/(-1) a multiple of 8?
False
Let o = -12 - -223. Suppose 5*n + 4*j - 221 - o = 0, -2*n + j = -178. Does 22 divide n?
True
Let s(b) = -2 - 3*b**2 + 4*b**2 - 8*b + b**2 - b**2. Let w be s(7). Let y = w - -66. Does 19 divide y?
True
Let p = -13 - -7. Let q = 8 + p. Suppose 21 = -q*y + 77. Is 28 a factor of y?
True
Let d(o) = -2*o**2 - 11*o - 3. Let p be d(-5). Does 5 divide (p/(-4))/((-13)/260)?
True
Let f(x) = x**3 + 15*x**2 - 9*x + 5. Is 12 a factor of f(-11)?
True
Let f be (-3 + 1/(-4) + 2)*-4. Suppose -2*v = 6, -4*b + 0*v - f*v = -313. Is 27 a factor of b?
False
Let x = 44 + -42. Is 8 a factor of 693/14 - 1 - (-3)/x?
False
Suppose 0 = x - 6*x - 20. Is 9 a factor of 62 + x/(1 - 5)?
True
Suppose -377 = 10*p - 11*p. Is 26 a factor of p?
False
Suppose 15*w + 116 = 461. Is w a multiple of 23?
True
Suppose -8*h + 48 = -0*h. Let v be 20/h*(-1 - -7). Suppose -3*o + 2*o + v = 0. Is o a multiple of 20?
True
Let z = -35 - -21. Let y be (-32)/112 + 640/z. Let i = y + 69. Is i a multiple of 15?
False
Let d be 0*1*1/(-2). Suppose d*v = 2*v - 408. Suppose 4*i - v - 60 = 0. Is i a multiple of 11?
True
Let c = 728 + -163. Is 25 a factor of c?
False
Suppose -5*p - 122 = -h + 114, -p - 56 = 2*h. Suppose 15 = 5*r - 10*r. Let v = r - p. Is v a multiple of 7?
False
Suppose -5*k - 2*s = 25 - 413, 2*k + 5*s - 151 = 0. Is k a multiple of 6?
True
Suppose 2*g - 1 - 9 = -4*x, 0 = -5*x + 2*g + 35. Suppose 8 = x*p - p. Suppose 4 = -p*v, -4*v = -5*t + 79 + 79. Is 10 a factor of t?
True
Let d be 1/2 + (-3969)/(-18). Suppose -5*m - 41 = -d. Is m a multiple of 19?
False
Suppose 5*d - 175 + 25 = 0. Does 15 divide d?
True
Suppose 1083 = -12*a + 15*a. Is a a multiple of 35?
False
Suppose 4*j = 2*d - 932, d - j - 2*j - 465 = 0. Suppose 10*s = 12 + d. Is s a multiple of 12?
True
Let z be 1/(-1 - (-96)/97). Let y = 349 - 181. Let u = y + z. Is u a multiple of 21?
False
Let t(q) = -2*q**3 + q**2 - 10*q - 1. Is 20 a factor of t(-5)?
False
Let o = 150 + -89. Suppose h = x + 41, o = 4*h - 3*h - 5*x. Is (-952)/(-18) + 4/h a multiple of 14?
False
Suppose -q = -3 - 0. Suppose 773 - 127 = q*n - 5*m, -3*m = -3*n + 648. Is n a multiple of 31?
True
Let a = -76 - -78. Suppose a = -3*l + 2*l, 395 = 5*q - 5*l. Is 12 a factor of q?
False
Let m be 3/9*(2 + 1)*-11. Suppose -3*d - 132 = -3*s, 2*d - 214 = -5*s + d. Let g = m + s. Is g a multiple of 8?
True
Let k(w) be the second derivative of -w**6/720 + w**5/24 - w**4/4 + 7*w. Let s(c) be the third derivative of k(c). Is 9 a factor of s(-5)?
False
Suppose i - 5*r - 97 = 0, -2*i - 2*r + 154 = -16. Suppose 0 = -7*s + 242 + i. Is 8 a factor of s?
False
Suppose -7*v - 24 = -3*v. Let p be (45/6)/(1/v). Let f = p + 80. Is f a multiple of 7?
True
Let l(r) = r**2 + 5*r + 10. Suppose -3*c + 0*c = 18. Is 4 a factor of l(c)?
True
Is 11 a factor of 14/(-91) + 13/(1183/31864)?
False
Suppose -35*x = -132*x + 235322. Is x a multiple of 8?
False
Let z(p) = p**2 - 12*p + 3. Let l be z(11). Let n(f) be the second derivative of -f**4/12 - 5*f**3/3 + 11*f**2/2 - 10*f. Is n(l) a multiple of 7?
False
Suppose -d = -3*d - o + 147, 0 = d + 2*o - 66. Is d a multiple of 19?
True
Let t(s) be the second derivative of 7*s**4/12 - s**3/2 + 8*s**2 - 4*s. Let k be t(-7). Suppose 5*w = 5*u + w - k, 5*w = 25. Is u a multiple of 16?
True
Let g be -2 - (2 + 184 - -3). Let r = g - -409. Suppose -2*z = -2*y + r, y - 3*y + 219 = -3*z. Does 36 divide y?
True
Suppose -45*n = -34*n - 7546. Is n a multiple of 110?
False
Suppose -14 + 74 = -5*c. Let s(r) = r**2 + 24*r + 68. Let k be s(-20). Does 3 divide c/16 + (-117)/k?
True
Suppose -t + 5*w = -18, -2*t + 6*t - 5*w = 12. Does 13 divide (84/(-4 + 1))/t?
False
Let k(z) = -z**3 - 6*z**2 - 4*z + 6. Let w be (((-14)/(-6))/1)/((-13)/39). Does 14 divide k(w)?
False
Let c(k) = -k**2 - 5*k + 23. Let n be c(-7). Suppose -n*q + 386 - 8 = 0. Is q a multiple of 3?
True
Suppose 0 = 5*w - 17 + 7. Suppose w*d - 32 - 42 = 0. Does 18 divide d?
False
Let f = 682 - 352. Is 10 a factor of f?
True
Suppose 2*a + 8 = 30. Suppose j = -265 + 267. Suppose j*n = 21 + a. Is n a multiple of 8?
True
Let a(z) = -8*z - 33. Let j be a(12). Let u = j + 142. Does 13 divide u?
True
Let p be 2*4*(-2 + 0). Does 2 divide 4 + (-8 - -2) + 1 - p?
False
Suppose -4*u - 14 = -5*k, -3*k + 12 - 3 = -3*u. Suppose p = -k*p - 3*z + 363, 3*p + 4*z = 364. Is 24 a factor of p?
True
Let k(v) = -2*v**3 - 3*v + 612. Is 49 a factor of k(0)?
False
Suppose -7*a + a + 840 = 0. Let v = -246 + a. Let h = 152 + v. Does 19 divide h?
False
Is 15*(0/1 - -34) a multiple of 51?
True
Let m = 402 + -148. Is 12 a factor of m?
False
Let c = 105 - -111. Is 4 a factor of c?
True
Let j(i) = i**3 - 27*i**2 + 50*i + 36. Is j(25) a multiple of 6?
True
Let p = 97 + -92. Suppose -3 = -h, p*j = 5*h - 3*h + 1099. Is 14 a factor of j?
False
Let v(t) = 2*t - 4. Let i be v(7). Let c = i - -3. Does 13 divide c?
True
Let k be 2 + 1 + -5 - -50. Suppose 0 = 3*z + 3*d - 384, 2*d - 180 = -z - k. Is z a multiple of 31?
True
Is -7*4/((-84)/1935) a multiple of 7?
False
Let w = -460 + 716. Suppose 3*r - w = t, -r - 4 = -4*t - 104. Does 45 divide r?
False
Let a be (-21)/2*(-12)/(-9). Let z be 32/(-10)*(-315)/a. Let y = -37 - z. Does 7 divide y?
True
Let p be (27/6)/((-4)/(-8)). Suppose -j - 2*j = -p. Suppose 2*b + 2*t - t = 54, -5*t = -j*b + 81. Is b a multiple of 9?
True
Suppose 4*x = -2*a + 6*a + 3600, -3*a - 4498 = -5*x. Is 31 a factor of x?
True
Suppose 4617 + 4308 = 7*k. Is k a multiple of 15?
True
Let j(m) = m**3 + 8*m**2 - 3*m - 12. Let w be (-30)/(-4)*(-8)/(-6). Let o = w - 18. Does 12 divide j(o)?
True
Suppose -5*a + z + 6772 = 0, 436 = -4*a - z + 5859. Is 18 a factor of a?
False
Let k(t) = -t**3 + 7*t**2 - 2*t - 14. Let s be k(6). Suppose 1188 = s*z - 252. Is 36 a factor of z?
True
Let t(f) = f**3 + 20*f**2 - 3*f + 15. Does 27 divide t(-20)?
False
Let i = 19 - 12. Suppose -9*g + i*g + 92 = 0. Does 7 divide g?
False
Let m = 11 - 4. Suppose s + m = -x, 2*x - 2*s - 1 = s. Is (-2)/x*(-3 + 13) a multiple of 5?
True
Suppose 0 = 11*n - 1505 - 16095. Is 50 a factor of n?
True
Let p = 5 - -97. Is 7 a factor of p?
False
Suppose w - 2*t = -0*t - 2, -2*t + 26 = -3*w. Is (-4 - 56/w)*6 a multiple of 4?
True
Let f = 2 + 24. Suppose 616 = -f*w + 33*w. Does 11 divide w?
True
Let n = 22 + -2. Suppose 7*u + n = 3*u, 4*s - 134 = -2*u. Is 19 a factor of s?
False
Suppose d + p + 24 = -d, -5*d - 63 = 4*p. Let i = -7 - d. Suppose i*v + 2*a = -a + 117, v - 32 = 2*a. Is 5 a factor of v?
True
Let a(n) = -n**3 - 7*n**2 - 5*n - 3. Let l be a(-6). Suppose -3*h + 7*h = -2*c + 80, 65 = 3*h - c. Let m = h + l. Is 4 a factor of m?
True
Suppose 7*m = 5*t + 2*m, 5*m + 6 = -t. Let a(d) = -7*d**3 - d**2 + 1. Let j be a(t). Suppose 3*v - 3*l = 48, -v = -4*l - j - 12. Does 13 divide v?
False
Let a(k) = -k**3 + 18*k**2 - 2*k + 36. Let q be a(18). Is 12 a factor of 68/(-51) - ((-802)/3 - q)?
False
Suppose -13*k + 11*k - 4*a = -2644, -k + 2*a = -1318. Is 30 a factor of k?
True
Let y(b) = 211*b**2 - b - 2. Let g be y(-1). Let z = -2 + 4. Suppose -5*s + 5*r + g = 0, -z*r + 6 = -0. Is s a multiple of 15?
True
Let n(u) = 234*u**2 + 3*u. Does 7 divide n(-1)?
True
Let d = 3 - -1. Let i be 1/d + (-22)/(-8). Suppose 0*l - 63 = -i*l. Does 6 divide l?
False
Let x(z) = -3*z**2 + 5*z - 3. Let u be x(-4). Let c = u - -131. Is c a multiple of 29?
False
Let i = -6 - -58. Suppose -14*m = i - 444. Is m a multiple of 2?
True
Let c(h) = 2*h - 9. Suppose v = n - 11, 2*n + 9 - 27 = v. Let d be c(n). Suppose 11 = 2*w - d. Is 5 a factor of w?
False
Suppose 12*w - 345 = 7*w. Suppose 3*f - 3 = w. Is f a multiple of 23?
False
Suppose -56 = -3*c - 5*u, 0 = -c - 0*c - 4*u + 14. Suppose h = -2, -4*q + 5*h + c = -0*q. Is (q - -2)*(-48)/(-15) a multiple of 8?
True
Suppose -2*g = -4*m + 192, 9*m = 13*m - g - 190. Is 6 a factor of m?
False
Let a(q) = -q**3 + 12*q**2 + 14*q - 12. Let o be a(13). Suppose o = x + 16. Let k = -1 - x. Is 14 a factor of k?
True
Let m = -24 + 29. Suppose 5*z = -m*o + 20, -5*o + 4 = -z - 16. Let x(p) = p**3 - 4*p**2 + 5*p - 3. Is 17 a factor of x(o)?
True
Suppose -3 = -t + 3*j - 2*j, 5*t = 4*j + 12. Let a(w) = t*w**2 - w**2 + 1 + 6*w + 16 + 2*w. Is a(7) a multiple of 12?
True
Let o(j) 