Suppose -111 = -16*d + f*d. Is d a multiple of 8?
False
Suppose 3*i - 42 = -2*f, -11*f + 14*f = 0. Is i a multiple of 14?
True
Let m = -35 + 20. Let h be (m/6)/((-1)/2). Suppose 282 = 2*p + 3*s, p + 115 = 2*p - h*s. Is 39 a factor of p?
False
Is 2*15701/119 - (-2)/17 a multiple of 6?
True
Let l(d) = 7 - 6 + 0 + d. Let u(x) = 18*x. Let r(h) = -l(h) + u(h). Does 33 divide r(2)?
True
Let l = 237 - -211. Let v = l - 320. Is 16 a factor of v?
True
Let r be 4 - (-4 + 8) - 5. Let l = 8 + r. Is 12 a factor of l/7 + 165/7?
True
Let l = 12 - 5. Let q(a) be the third derivative of -a**6/120 + 7*a**5/60 + a**4/6 - a**3/6 - 21*a**2. Is 27 a factor of q(l)?
True
Let b(d) = 3*d**2 + 14*d - 33. Is b(-12) a multiple of 21?
True
Does 12 divide (-22 + -2)/((3/(-1))/21)?
True
Let f(w) = w**2 + 13*w - 40. Is f(5) a multiple of 25?
True
Suppose -5*k + 43 = 5*c - 487, 0 = c - 5. Is k even?
False
Is 22 a factor of (2/8 + 1388/(-16))*-2?
False
Suppose 0*y = 4*y - 12. Suppose -1203 = -y*t - 3*f, 3*t - 5*f = -2*t + 2045. Suppose i = 5*b - t, -324 = -4*b - 0*b - i. Does 18 divide b?
False
Let c be (-3 - -2) + 92/1. Suppose -4*h = -5*r + 237, -72*r = 2*h - 68*r + 138. Let u = c + h. Does 14 divide u?
True
Let b be (31 - 0) + 1 + 0. Let c = b + -30. Is c even?
True
Suppose -4*y = -5*u + 1842, 3*y - 13 = -7. Is u a multiple of 10?
True
Suppose a - 4*j - 294 = 0, -2*j = -4*a - 5*j + 1176. Let t = -140 + a. Suppose g + 2*g - w = t, 266 = 5*g + 3*w. Is g a multiple of 26?
True
Let k(i) = i**3 - 8*i**2 - 9*i + 8. Suppose -q + 15 = z - 3*z, q - 12 = z. Is k(q) a multiple of 4?
True
Let k(b) be the third derivative of b**5/4 + 7*b**4/24 - b**3/6 - 5*b**2. Let l(p) = -p**2 - p. Let y(u) = k(u) + 5*l(u). Is 12 a factor of y(-2)?
False
Let k(f) = 3*f**2 + 45*f - 104. Is 44 a factor of k(20)?
False
Let b(a) = a**3 + a**2 - a. Let y be b(0). Suppose -j = -f - 1, 4*f - 2*j - 2 + 0 = 0. Suppose y = -2*r - f*r + 40. Is r a multiple of 4?
False
Let m(y) = -1 - 2*y + 1 + 0*y + 1. Is 3 a factor of m(-5)?
False
Let s(z) = z + z**2 + 0 + 2 - 6 + 2. Let i be s(-5). Let q = i - 1. Is q a multiple of 11?
False
Suppose 0 = x - 29 + 10. Let z(r) = r + 2. Let p be z(3). Let l = x - p. Is l a multiple of 14?
True
Let n = 20 + -16. Suppose 0 = z - 2*z - 5, 5*q - 125 = -n*z. Is q a multiple of 16?
False
Let t(m) = 187*m - 1. Let v be t(1). Suppose 8*c = -2*l + 3*c + v, -5*l - 3*c + 484 = 0. Let i = 6 + l. Does 13 divide i?
True
Let q = -61 + 83. Suppose -3*d + 2*j - 62 = 0, 15 + 38 = -2*d - j. Does 11 divide q*4/d*-3?
True
Let i(y) = -12*y - 6*y + 2 + 11*y. Is i(-1) a multiple of 2?
False
Suppose -7 - 89 = -3*q. Is 8 a factor of q?
True
Let i = -3936 + 5752. Is i a multiple of 62?
False
Suppose 2*b + 143 = -9. Is 19 a factor of 2/(((-8)/b)/2)?
True
Let i = -2090 - -4403. Does 45 divide i?
False
Let y be (1 + 4/(-3))/(5/(-240)). Is 13 a factor of y/(-64) + 490/8?
False
Suppose 105*w - 105730 - 61115 = 0. Is 14 a factor of w?
False
Let g(t) = -t**3 - 7*t**2 + 21*t - 25. Is g(-10) a multiple of 13?
True
Let q = 73 - 61. Suppose 85 = -7*l + q*l. Is l a multiple of 17?
True
Let n = -82 - -11. Let k = -58 - n. Is k a multiple of 2?
False
Let i = -11 - -13. Suppose 0 = 2*h + 2*v + 22, -i*h - 19 - 18 = 5*v. Let y = h + 9. Is 2 a factor of y?
False
Suppose -2*w + 2*n + 667 = 3*n, -1665 = -5*w - 3*n. Is 13 a factor of w?
False
Let u = -121 + 283. Is u a multiple of 18?
True
Suppose 3*a - s - 33 - 29 = 0, 5*s - 110 = -5*a. Is 12 a factor of a?
False
Let u(i) = -i**2 - 23*i - 48. Is u(-9) a multiple of 26?
True
Is 2 a factor of 42493/132 + 2/24 - -2?
True
Suppose 3*m = 5*m - 2. Let c be -3 + 1/m + -1. Let s(x) = -10*x. Does 15 divide s(c)?
True
Let t = -63 - 217. Is 16 a factor of (t/(-5))/(2/4)?
True
Let y = 437 - 217. Does 3 divide (-8)/y*-5 - (-348)/22?
False
Let t(n) = -18*n**2 - 6*n - 6. Let b be t(-2). Let c = b - -94. Does 15 divide c?
False
Let n(w) = w**3 - 2*w**2 - 12*w + 3. Let o be n(5). Let i = o + -12. Suppose -27 = i*k - 15*k. Does 3 divide k?
True
Let u be ((-9)/(-2))/(1/2). Suppose -4*c - u = -25. Suppose m - 5*g + g = 15, -c*m + 4*g = -60. Does 15 divide m?
True
Let j be ((-8)/12)/((-39)/(-45) + -1). Suppose j*p + 4*n - 1064 = 0, -2*p + 2*n = -5*p + 638. Is 13 a factor of p?
False
Suppose 0 = 5*d + v - 3*v - 7937, 3*d + 2*v = 4759. Does 23 divide d?
True
Is 51 a factor of ((-102)/12*-3)/(3/18)?
True
Let n be -2 + 22/2 - -3. Let m = n + 25. Is m a multiple of 8?
False
Let p(m) = 362*m**3 - m + 2. Is p(1) a multiple of 10?
False
Suppose 7*q = -13*q + 1820. Does 3 divide q?
False
Suppose 3*j - 7*j = 4*u + 568, 2*j + 141 = -u. Let f = 159 + u. Does 6 divide f?
False
Suppose -3*d = 3*a - 4*a - 38, 5*d - 4*a - 75 = 0. Suppose 0 = -d*u + 13*u - 216. Is 18 a factor of u?
True
Suppose 0 = 2*o + 3*v - 177, 27*o - 26*o + 5*v = 99. Is o a multiple of 12?
True
Let z be 2/(-1) - -4 - 0. Suppose -5*v + 342 = -z*v. Is v a multiple of 19?
True
Let c be 3 + 28/(-8) + 123/6. Suppose -7*a + 3*a + 24 = -2*s, 0 = -5*s + c. Is 3 a factor of a?
False
Suppose -55 = -5*j + 35. Let z be 80/6*39/(-2). Does 13 divide (j/15)/((-8)/z)?
True
Is 123 a factor of (-20)/350 - 66648/(-140)?
False
Suppose 5*m - 3096 = -2*n, 3*m - 1213 - 643 = -2*n. Is 20 a factor of m?
True
Let h(a) = a**3 + 13*a**2 + 13*a + 16. Let c be h(-12). Suppose -k + 2*q = 1, -q - c = -8. Suppose 42 - k = j. Does 16 divide j?
False
Let c = 258 + -118. Let b = -36 + c. Is 30 a factor of b?
False
Suppose 0 = -33*n + 43 + 5567. Is n a multiple of 10?
True
Let t = 612 + -498. Does 6 divide t?
True
Let l be (-3)/2*6/(-9). Let h = 33 + l. Suppose -h + 6 = -4*y. Is y a multiple of 2?
False
Let r = 187 + -319. Is 13 a factor of 4/22 + (-5652)/r?
False
Let s(g) = 41*g**2 - 7*g + 11. Suppose 26 = 18*v - 5*v. Is 12 a factor of s(v)?
False
Let f(l) = l**3 + 18*l - 20. Let q be f(10). Suppose -y = 7*y - q. Does 29 divide y?
True
Suppose -7*y = -4*y. Suppose 16 = u + 2*t, 0 = -3*u + 2*t - y + 24. Suppose -2*f - u = -38. Does 7 divide f?
True
Let s be 25 - 0/(2 + 0). Let x = 7 + s. Does 20 divide x?
False
Let r(b) = -5*b**2 - 2 + b**3 + 17*b**2 - 6*b**2 + 4. Let j be r(-4). Let q = 42 + j. Does 13 divide q?
False
Suppose -7*z = -882 - 378. Is 10 a factor of z?
True
Let o = 494 + -354. Is 10 a factor of o?
True
Let i = 911 - 446. Is i a multiple of 29?
False
Is 66 a factor of (0 + 3*18)/(153/1122)?
True
Suppose -141 = -2*x - 3*h - 0*h, 6*h + 222 = 3*x. Does 72 divide x?
True
Let w = -110 + 256. Does 53 divide w?
False
Suppose 0 = -5*p + i - 37, p + i = -p - 12. Let j = 0 + p. Let w(a) = a**3 + 8*a**2 + 2*a - 3. Is w(j) a multiple of 22?
False
Suppose 0 = -t - v + 3, -3*t = -t - v - 12. Suppose -5*i + g + 455 = 0, 4*i - t*g - 115 = 3*i. Is 45 a factor of i?
True
Let k(a) = -a**2 + 6*a + 1. Let h be k(6). Suppose 6*q + 206 = r + 2*q, -2*q = -5*r + 994. Suppose -u + 63 = c - h, c - r = -3*u. Is u a multiple of 21?
False
Let y(r) = 968*r**2 + 6*r - 6. Is y(1) a multiple of 11?
True
Suppose 15*w + 39 = 12*w. Let j = w - -25. Does 12 divide j?
True
Let p = -195 - -1635. Is p a multiple of 9?
True
Suppose 10*c + 5*c = 2070. Is c a multiple of 23?
True
Let w(m) = 2*m**2 - 10*m - 6. Let s be w(6). Suppose 7*z = s*z + 164. Is z a multiple of 24?
False
Suppose 118*q = 115*q + 3237. Is q a multiple of 83?
True
Let n(j) = -76*j - 452. Is 9 a factor of n(-32)?
True
Suppose -4*d + 4 = 2*a - 2*d, 6 = 3*a - 3*d. Let k(x) = -x**a + 19*x - 14 + x - 3*x. Is k(14) a multiple of 10?
False
Let m(n) = -n**3 - n**2 + 3*n - 3. Let y be m(-3). Let b be ((-20)/y)/((-2)/3). Suppose -5*r + b*w = -130, -2*r + 2*w - 109 = -7*r. Does 11 divide r?
False
Suppose 3*a + 23 = -4*m, 0*m + 27 = -m - 5*a. Let i be 15 + (-4 - -1 - m). Let k = i + -3. Is k a multiple of 3?
False
Let u be -5 + 2/(2/3). Let l be (u/6)/((-2)/132). Does 25 divide 561/l - 2/4?
True
Let s = 1556 - 1004. Does 23 divide s?
True
Let a = -668 - -739. Let w(y) = 30*y**3 + 2*y**2 + y. Let p be w(2). Suppose -p = -0*k - 4*k + 5*s, k = -3*s + a. Is 13 a factor of k?
True
Let l(j) be the third derivative of 1/120*j**6 + 2/15*j**5 + 0 + 0*j + 6*j**2 - j**3 + 1/3*j**4. Is l(-6) a multiple of 6?
True
Suppose -u - h - 37 = -127, -3*u = -h - 278. Is 28 a factor of u?
False
Let m be ((-6)/12)/(1/(-62)). Suppose m = 13*u - 905. Is u a multiple of 24