 -61. Is 36 a factor of k?
False
Let k = 326 - 87. Suppose -4*i = -49 - k. Is i a multiple of 12?
True
Suppose 4*l - 15 = -l. Let n(j) = 2*j**2 + 6*j + 6. Let h(i) = i**2 - i. Let y(d) = l*h(d) - n(d). Does 16 divide y(11)?
True
Let r be (2/2)/5*5. Let d be 6/2*r - -1. Suppose 2*l + d*a = 16, -2*a + 1 = 3. Is 5 a factor of l?
True
Let w = 101 + -8. Suppose 9 = -2*g + 3, 114 = -3*y + 4*g. Let b = w + y. Is b a multiple of 17?
True
Let c = 164 + -162. Let o = -15 + 10. Does 20 divide (c + o)/(-1) + 78?
False
Let a(z) = 136*z + 8. Is a(2) a multiple of 35?
True
Let r be 3*11*1 + (-16 - -17). Suppose 34 + r = p. Does 13 divide p?
False
Let y be 60/(-18)*36/10. Is 8 a factor of -3*((-24)/9)/((-6)/y)?
True
Let a(x) = x**3 + 5*x**2 + 3*x - 2. Let u be a(-4). Let q(y) = 24 + 5*y**2 - 4*y**u + 0*y**2 + 9*y - 15. Is 3 a factor of q(-9)?
True
Let x be ((-24)/(-10))/(14/35). Suppose -4*r - 22 = -2*h, 1 - x = 2*r + h. Is r - -3 - (-18 + 2) a multiple of 12?
False
Suppose 2*a - 4*m - 34 = 0, 2*a + 4*m = 6*a - 64. Let x(p) = -3*p**3 - 3 + 4 - 7*p - 11*p**2 + 2*p**3 - a. Is 18 a factor of x(-11)?
False
Let n(m) = 15*m + 15. Let a(g) = -2*g - 2. Let k(f) = -18*a(f) - 2*n(f). Let r = 8 + -6. Is 6 a factor of k(r)?
True
Let h = 20 - 46. Let z be (-298)/6 - (-2)/3. Let q = h - z. Is q a multiple of 4?
False
Let q(p) = 2*p - 8*p**2 + 15*p**2 - 6*p**2 - 7*p - 14. Is q(-6) a multiple of 9?
False
Let n be (-205)/3 + 44/33. Let d = n - -80. Is 4 a factor of d?
False
Let q(p) be the third derivative of -p**4/4 + 23*p**3/6 + 24*p**2. Is q(-11) a multiple of 31?
False
Suppose -2262 = -5*y - 4*g, -15*g + 1785 = 4*y - 20*g. Is 45 a factor of y?
True
Let i = 251 - -44. Does 49 divide i?
False
Let l be ((-18)/24)/((-1)/4). Suppose -4*u - 24 = -7*u - 3*h, 0 = 2*u - l*h - 1. Suppose u*c - 205 = 130. Is 11 a factor of c?
False
Let q(w) = -51*w**3 + 7*w + 50*w**3 + 4*w - 7 + 6*w**2. Does 6 divide q(7)?
False
Suppose 0*z - 434 = -2*z. Suppose -4*k + h = -187, 5*h - z = -8*k + 4*k. Does 6 divide k?
True
Suppose 0 = 2*j + 28 - 358. Suppose 4*s - 3*s = j. Does 33 divide s?
True
Let p be 9/6*16/6. Suppose 0 = 4*l - p*s - 304, -s - 396 = -3*l - 2*l. Is 17 a factor of l?
False
Suppose 45*m = 68*m - 13570. Is m a multiple of 59?
True
Suppose 4*v - 5 - 144 = -5*y, -3*y + 3*v = -84. Suppose 501 = -4*q + y. Let a = q - -184. Is 26 a factor of a?
False
Suppose -2*w + 35 = 3*w. Let i = 0 + w. Suppose 0 = 2*h - 2*x + i*x - 85, -50 = -2*h + 2*x. Does 10 divide h?
True
Let q = 164 + -616. Is (1/(-2))/(2/q) a multiple of 27?
False
Let h be 8 + -71 - ((2 - 0) + 1). Does 8 divide 4/22 + (-2562)/h?
False
Let n(k) = -k**2 - 15*k + 30. Let u be n(-17). Does 11 divide -1*u/(-10) - 824/(-10)?
False
Suppose 2*v = 2*q - 0*q + 36, -2*v - 5*q + 57 = 0. Is 4 a factor of v?
False
Let q = 136 - 56. Suppose 428 = 3*o + 4*c, -5*o + 702 = -5*c + 6*c. Let w = o - q. Is 15 a factor of w?
True
Let r be (-1)/(-4) + (-2023)/(-68). Suppose -5*v = w - r, 96 = 2*w - 0*v - 2*v. Is 9 a factor of w?
True
Let h be (2 - 0)*8/16. Is 33 a factor of ((-3)/(6/(-188)))/h?
False
Is 20 a factor of 671 - (8 - 0 - 17)?
True
Let t be 3*1/1 - -1. Suppose 5*s - 2*g = 110, -t*s = g - 72 - 29. Is s a multiple of 12?
True
Suppose -5 = 2*l - o, -2*o - 3*o = 3*l + 40. Let d be -2 - l - 1 - -135. Let r = -78 + d. Does 15 divide r?
False
Suppose -5*j + 3 + 27 = 0. Let v = -7 + j. Let a(c) = -17*c**3 + 2*c**2 - 1. Is 7 a factor of a(v)?
False
Let r(k) = -k**3 + 9*k**2 - 8*k + 5. Let u be r(7). Let q = 59 - u. Does 3 divide q?
True
Let s be 14/35 + 988/5. Let k = 528 - s. Suppose -5*u - u = -k. Is 22 a factor of u?
False
Suppose 12 = 6*x - 3*x. Suppose -2*n + 106 + 74 = -4*c, x*c + 420 = 5*n. Does 16 divide n?
True
Let h(c) = -c + 3. Let y be h(3). Suppose 2*t - 33 - 14 = -3*l, y = 5*t + 2*l - 101. Is t a multiple of 19?
True
Let o be 3 + (3 - 2)*(5 - 4). Does 13 divide (-1)/((-18)/o + 4)*73?
False
Let r = 106 - -13. Is r a multiple of 16?
False
Let n(m) = -4*m + 30. Let x be n(7). Suppose 5*d + 5*v - 25 = 0, -x*v - 1 = -4*d + 19. Does 5 divide d?
True
Let c = 536 + -416. Does 30 divide c?
True
Suppose -3*q + 5*t - 13 = 0, -2*q = -0*t + 2*t - 18. Suppose 0 = -q*h + 114 + 302. Is h a multiple of 26?
True
Let i be ((-6)/9)/(6/(-27)). Suppose 0*s + 5 = -s - 2*b, i*s + 2*b + 11 = 0. Let u(q) = q + 7. Does 2 divide u(s)?
True
Let s(z) = 13*z - 12. Let x be s(3). Let a(t) = 3*t - 46. Does 18 divide a(x)?
False
Is (-77)/14*(1 + -53) a multiple of 22?
True
Let l(o) be the first derivative of o**4/4 - 4*o**3/3 + o**2/2 - o - 5. Let c be l(4). Let x(d) = 10*d - 2. Is 8 a factor of x(c)?
False
Suppose -5*c + 3*x - 10 + 4 = 0, -5*x + 10 = -2*c. Let m be (c - 2 - -2)/(-2). Suppose 3*v - 2*v - 37 = m. Does 19 divide v?
False
Let h be ((-9)/3)/(2 + -3). Suppose 0*v - h*v + 51 = 0. Suppose 4*u - v = 15. Is u a multiple of 8?
True
Let l be (-15)/(-5) + 1*-9. Let f be (8/(-6))/(4/l). Suppose t - 46 = -2*b, -b - b - f*t = -44. Is 12 a factor of b?
True
Let g = -103 + 60. Let n = g + 59. Is 16 a factor of n?
True
Let l(g) = -g**3 - 5*g**2 - 2*g**3 + 4*g**3 + 7 + g. Let a be (-13)/(-5) + -2 - 198/(-45). Does 5 divide l(a)?
False
Let z(c) = -4 + 17*c**2 - 1298*c - 6*c**2 + 1303*c - c**3 + 2. Let g be ((-55)/10)/((-2)/4). Does 15 divide z(g)?
False
Let y be 51 + (-12)/3 + 1. Is 273 - (4/(-6) + 32/y) a multiple of 13?
True
Suppose 3*v - 3*i = 2022, -4*v = -18*i + 17*i - 2699. Is v a multiple of 15?
True
Suppose -5*y = -d + 245, -y - 105 = 3*d - 888. Let t = -180 + d. Suppose 7*o + 4*s = 3*o + 64, -5*o + 4*s = -t. Is 8 a factor of o?
True
Let c be -6*6/(-108)*45. Let v(l) = l**3 - 16*l**2 + 22*l. Is 15 a factor of v(c)?
True
Let y(a) = a**2 + 93*a - 568. Does 13 divide y(6)?
True
Let b(c) = -c**3 - 17*c**2 - 16*c + 6. Let f be b(-16). Suppose r = 64 + f. Is 7 a factor of r?
True
Suppose 258 = 8*r - 2*r. Let m = -31 + r. Is m a multiple of 3?
True
Let i(b) = -102*b - 27. Let r be i(-18). Suppose -4*v + r = 5*v. Is v a multiple of 15?
False
Suppose -5*f + 2235 = 5*u, 0 = 5*u + 3*f - 6*f - 2259. Does 10 divide u?
True
Let l(r) = -28*r + 47. Is 24 a factor of l(-4)?
False
Suppose 5*d - l - 7022 = 0, 0 = -2*d + 3*l + 1485 + 1329. Does 9 divide d?
True
Suppose 85 = 4*g - 7. Let f = 31 - g. Is f a multiple of 3?
False
Does 57 divide (4 + (-49)/(-2))*(27 + -1)?
True
Let c(r) = 8*r**2 + 132. Does 78 divide c(11)?
False
Suppose -354 = 2*j - 5*f, -f + 2*f = -j - 191. Let x = -127 - j. Suppose 0 = -9*i + 7*i + x. Is 10 a factor of i?
True
Suppose -3*j = 4*k - 6*j + 4, k = -4*j + 18. Let c(q) = q**3 - 2*q**2 - 3 - 2*q**2 - 3*q**2 + 7*q + 2*q**k. Is 25 a factor of c(6)?
True
Let j(i) = -i**3 - 27*i**2 + 48*i - 25. Is j(-30) a multiple of 19?
True
Let n = -30 - 370. Does 10 divide n/(-16)*(-8)/(-5)?
True
Let g be 2/4 - ((-21)/14 + 6). Is (-1 - g) + (13/1 - 4) even?
True
Let y(u) = 5*u**3 + u**2 + 2*u - 3. Let z be y(2). Let r be (54/z)/((-4)/(-10)). Suppose -67 = -r*i + 86. Does 22 divide i?
False
Suppose -4*q = 3 + 13, -4*l + 4232 = -4*q. Is l a multiple of 42?
False
Suppose -6*x - 5*l = -3*x + 5, l - 2 = 0. Is 24 a factor of 5*(-1057)/14*2/x?
False
Let g(w) = 9*w**2 - 9*w + 6. Let x be g(3). Suppose x = 2*m - m. Is m a multiple of 10?
True
Suppose 6*f - 2*f - 10816 = 2*n, -5428 = -2*f - 4*n. Is 33 a factor of f?
True
Suppose -161 = -l - 2*f, -l - 3*l + 4*f + 608 = 0. Is l a multiple of 3?
False
Suppose 4*v - 16 = 4*z, 8*v + 4*z = 3*v - 7. Let x be (v - 2) + -4*3. Let s = 46 + x. Is s a multiple of 9?
False
Let b(z) = -z**2 + 4*z - 5. Let g be b(3). Does 5 divide 2*(g - (-16)/12)*-45?
True
Let c be 3 - 0/(-3) - -5. Is 20 a factor of c/(-10)*(-80 - 0)?
False
Is (-14)/3*(-240)/5 a multiple of 8?
True
Let l be ((-2)/4)/(6/(-12)) + 1. Suppose -2*d + 6 = 0, 0*i + l*i = d + 211. Is i a multiple of 23?
False
Suppose 58*c = 49*c + 2223. Is 19 a factor of c?
True
Let x be 816/27 - (-2)/(-9). Suppose 2*b + x = -56. Let q = b + 69. Does 26 divide q?
True
Let l(t) be the first derivative of 6*t**2 - 32*t - 1. Does 9 divide l(8)?
False
Let c(y) = 6*y**2 - 7*y - 4. Let o be c(4). Suppose 0 = 5*f - f - o. Is 28 a factor of (87/2)/(f/32)?
False
Suppose 15 = -5*o, -a - 3*a + 5*o = -31. Suppose -a*n = 20, 0*x = x + 5*n + 20. Is 5 a factor of x?
True
Let p = 22 + -14. Let l(h) = 2*h**3 - 3*h - p*h