ple of 7?
False
Let l = 2652 - 1272. Is l a multiple of 10?
True
Let d be (-9 - -14)*(0 + 1). Suppose 2*p = 5*j - 84, 3*j - d*p - 58 = -0*j. Is j a multiple of 8?
True
Suppose -k + 15 = 5*r, r = 2*k - 6*k + 22. Suppose o + k*t - 60 = -0*t, 2*o - 5*t = 195. Does 17 divide o?
True
Let l = 425 + -220. Does 41 divide l?
True
Let i be -4 - -1 - 7 - (-3)/1. Let z = 50 - i. Is 20 a factor of z?
False
Let x = -61 + 57. Does 28 divide (1 - (-54 + x)) + 4?
False
Does 7 divide 2/(-8) + (-875)/(-28)?
False
Let r = 571 - 337. Is r a multiple of 26?
True
Let v be (-36)/(-30)*(-10)/3. Let s be 4*4/v + 88. Suppose 3*h - s = h. Is 20 a factor of h?
False
Let r(z) = -z**3 + 3*z**2 - z + 2. Let w(i) = i - 8. Let l be w(11). Let u be r(l). Let h(g) = -66*g - 2. Is 32 a factor of h(u)?
True
Suppose -200 = -3*s + 3*m + 34, 0 = 2*m - 4. Suppose 0 = 2*c - 4*c + s. Let w = c + -17. Does 8 divide w?
False
Let o = -67 + 128. Let s = 95 - o. Is 17 a factor of s?
True
Let m = -5 + 10. Let s = m + 5. Suppose 36 = 14*k - s*k. Is k a multiple of 2?
False
Suppose -12 = -2*s + 2*k + 18, -5*s + 69 = k. Suppose 0*u - 2 = -2*p - 5*u, -2*p + 3*u = s. Let n = p + 7. Does 3 divide n?
True
Let m(o) = o**2 - 6*o. Let a be m(6). Suppose 0 = 2*q - 7 + 5. Suppose s + q - 23 = a. Does 10 divide s?
False
Suppose 2*x + 9 = 5*x. Suppose 90 = x*i - 0*i. Suppose -24 - i = -3*f. Is f a multiple of 16?
False
Does 25 divide 1/((-27)/(-51819)) + 90/(-405)?
False
Suppose -4*a + 632 = 4*h - 3*h, -4*a + 2*h = -644. Does 3 divide a?
True
Suppose 3*y - 522 = -3*c, 0 = -3*c + y - 43 + 557. Is c a multiple of 2?
True
Let o(r) = -28*r - 12. Let v be o(-6). Suppose -n - n + 284 = 3*j, -n + v = 5*j. Is 34 a factor of n?
True
Let a = -9 + 11. Suppose 4 = -w, -z = -4*z - 3*w - 6. Suppose -m = -4*y + 107 - 27, -40 = -a*y + z*m. Is 5 a factor of y?
True
Let b be 3/(-9) + 413/(-21). Is 3 a factor of 12/b*-1*15?
True
Let s(w) = -w - 11. Let z be s(-16). Suppose -v - 44 = -z*v. Suppose k - v - 8 = 0. Does 4 divide k?
False
Let r = 560 - 450. Is r a multiple of 4?
False
Let v(y) = 0 - y**2 - y**2 - 2*y + 3*y**2 - 3. Suppose -3*q + 2*w + 19 = 0, -4*q + 8*q - w - 22 = 0. Does 9 divide v(q)?
False
Does 14 divide (-7 + -4 - -4646) + 2/(-1)?
False
Let l = -157 + 389. Suppose 3*g = -y + 120, 2*y = -0*y - 4*g + l. Does 12 divide y?
True
Let t(m) = -m**2 - m**3 + 5*m - 17 + 13*m**2 + m - 2*m. Let l(w) = -w**3 - 3*w**2 + 2*w + 12. Let o be l(0). Is 31 a factor of t(o)?
True
Suppose 5*v - 424 = -3*f, -v = -2*f - 0*f + 261. Let z = f + -103. Is z a multiple of 20?
False
Suppose 0 = 4018*j - 4008*j - 31460. Is 62 a factor of j?
False
Suppose -2*b + 4*b + 14 = 2*y, -2*y - b = 1. Let p be 137/(-9) - y/(-9). Is 5 a factor of 3 + 4 + (-2 - p)?
True
Does 3 divide 35/4 - (-10 - (-156)/16)?
True
Let q(j) = j**3 - 3*j**2 - 7*j - 9. Let m be q(5). Suppose m*s - s - 25 = 0, 4*h - 291 = 5*s. Is 5 a factor of h?
False
Let h be (-2)/(-5) - (-198)/55. Let r(a) = -6 + 1 + 2 + 12*a + 1. Is 23 a factor of r(h)?
True
Suppose 4 = 2*c, 870 = -5*k + 7*k + c. Is k a multiple of 14?
True
Let o(p) = p**2 + 101. Let h be 5/(1*-10)*0. Does 36 divide o(h)?
False
Let s(d) be the second derivative of -d**5/20 + 4*d**4/3 + 13*d**3/6 - 8*d**2 + 16*d. Does 16 divide s(16)?
True
Suppose -3*w - 3*h - 9 = 0, -4*h = w - 5*w + 4. Let f(v) = -76*v + 4. Let l(m) = 1. Let g(p) = f(p) - 2*l(p). Does 20 divide g(w)?
False
Let t be 24/5 - 14/(-70). Suppose 0 = -t*h - 16 + 66. Is h a multiple of 2?
True
Let d(p) = -p + 8 + 14 - 14*p - 4. Let s be d(-11). Suppose -2*m = m - s. Is m a multiple of 25?
False
Let l(o) = -o**3 + 8*o**2 + 6*o + 14. Let v(t) = -5*t**3 + 31*t**2 + 25*t + 56. Let r(n) = -9*l(n) + 2*v(n). Is r(-10) a multiple of 5?
False
Let g(n) = -n**3 - n. Let x(i) = -2*i**3 - 4*i**2 - 4*i + 7. Let j(o) = 3*g(o) - x(o). Let q be j(4). Does 7 divide (q + -1)*28/(-8)?
True
Suppose 2*t + 4*r = t + 201, -5*t = -r - 942. Does 9 divide t?
True
Suppose -2 = -2*m + 10. Let h(f) = 17*f - 17. Does 17 divide h(m)?
True
Let m = -4 + 7. Is 8/(m*(-3)/(-54)) a multiple of 16?
True
Let x = 27 + -17. Suppose 4*n = -4*u + 3 - 11, -x = n + 3*u. Is n - (1 + 1) - -96 a multiple of 14?
False
Suppose -46 - 62 = -2*l. Suppose -3*y - 3*r + l = 0, 4*y - 52 = y - 2*r. Does 4 divide y?
True
Suppose -4*f + 421 = -287. Suppose 865 = 4*r + f. Suppose -3*i + 5*k + r = 0, 3*i - i - 118 = 4*k. Is i a multiple of 17?
False
Let k(l) = 8*l - 4. Suppose q - 2*o - 2*o - 2 = 0, -2*q = 2*o - 54. Let z = q - 19. Is k(z) a multiple of 4?
True
Let l(g) = g + 30. Let u be 0/(-18)*(1 - 0). Is l(u) a multiple of 15?
True
Let i(x) = -x - 1. Is i(-25) a multiple of 4?
True
Let c be (1/1)/1*(4 + -2). Suppose c*r - 142 = 5*a, 4*r - 2*a = a + 298. Is 14 a factor of r?
False
Let q be (-3)/(-1) - (-4 - -7). Suppose q = a - 2*l - l - 94, -4*a + 392 = -4*l. Is a a multiple of 25?
True
Let g be (-7*10)/(5/(-10)). Suppose 0 = -14*p + 7*p + g. Is 20 a factor of p?
True
Let g be 12/(-8) + 242/4. Suppose -x - 23 = 3*m, -2*x - x - 4*m - g = 0. Let b = x - -66. Is b a multiple of 10?
False
Let v(l) = l**2 - 6*l + 16. Does 16 divide v(8)?
True
Suppose -18*l = -9*l + 1044. Let j = -105 - l. Is 2 a factor of j?
False
Let o(h) = -h**3 - 7*h**2 - 9*h - 9. Let k = 9 - 15. Let b be o(k). Suppose q - b = 33. Does 21 divide q?
True
Let w(a) = 408*a**3 - a**2 + 5*a - 4. Does 29 divide w(1)?
False
Let j = 117 - -115. Is j a multiple of 31?
False
Let m(o) = o**2 + 2*o + 1. Let c be m(-2). Suppose -2*n + c - 19 = 0. Let f = n + 34. Is 25 a factor of f?
True
Let l = -31 + 22. Let z(h) = -h**3 - 8*h**2 + 6*h + 13. Is 4 a factor of z(l)?
True
Suppose -3504 = -3*q - 4*o, q - 3*o = 2*q - 1173. Does 97 divide q?
True
Suppose -2*u = 3*u. Suppose 2*a = -3*c + 11, a = -u*a + 3*c + 1. Suppose -12 = -2*f - 2, -5*m + 75 = -a*f. Does 18 divide m?
False
Let b(i) = -4*i + 80. Suppose 9*w = 14*w - 35. Is 13 a factor of b(w)?
True
Let k be 8/(-6) - 40/24. Is (17 - k)/(2/8) a multiple of 20?
True
Is (1359 - -5)/(4/2) a multiple of 9?
False
Let r(c) = c + 1. Let s be r(8). Let b = 54 - s. Suppose 3*l = -z + 32, 26 = 3*z + 4*l - b. Is 6 a factor of z?
False
Let h(j) = j**3 - j**2 + 24. Suppose -3*f - 9 = -3*k, 3*k = k + 4*f + 16. Let u be 9/27 - k/(-6). Is 6 a factor of h(u)?
True
Let n(h) = h**2 + 2*h + 1. Let q be n(-6). Let l = q - -182. Is 23 a factor of l?
True
Suppose -10*j - 84 = -11*j - n, -80 = -j + 3*n. Is 10 a factor of j?
False
Let j = 2008 - -816. Does 13 divide j?
False
Let t = -1129 - -2511. Does 17 divide t?
False
Is 5/3*-1*357*-1 a multiple of 35?
True
Let l be (-5)/(1449/(-363) - -4). Let v = -170 - l. Is 17 a factor of v?
False
Let p = -9 + 9. Suppose -2*n + 3*n = p. Suppose n = -h + 6 - 0. Is h a multiple of 4?
False
Suppose 6360 = 52*p - 44*p. Is 67 a factor of p?
False
Let q(l) = 7*l**2 - 2*l - l - l - l**3 + 3. Let t = -2 - -8. Is q(t) a multiple of 15?
True
Let o = -3 - -10. Suppose -o*s - 50 = -9*s. Is s a multiple of 9?
False
Suppose 14*f - 9*f + 165 = 0. Is -1*f*10/15 a multiple of 7?
False
Let o be (-2)/4 + 324/(-24). Does 30 divide (-1887)/(-21) - 2/o?
True
Let b = 834 + -734. Is 2 a factor of b?
True
Let m be (42/2 - 4)*14. Suppose -38 = -3*r + m. Is 19 a factor of r?
False
Suppose -2*z = 4*z - 36. Suppose 0 = 15*a - z*a - 216. Is a a multiple of 6?
True
Let n be (0 + 0)/(3 - 2). Suppose -5*i - i + 204 = n. Is 4 a factor of i?
False
Suppose 4*m = 3*m - 9. Let w be m + (2 - 3) + 2. Does 3 divide (-12)/w*(-20)/(-6)?
False
Suppose 5*x - 542 + 136 = -y, 159 = 2*x - 3*y. Suppose 3*a + 0*a - x = 0. Does 27 divide a?
True
Let l be (-30)/20*(-100)/1. Let d = 15 - -45. Suppose -l + d = -5*r. Does 11 divide r?
False
Suppose -3*w - 3119 = -4*j, 7*w - 2064 = 9*w + 5*j. Let y = w - -1469. Is y a multiple of 18?
True
Let g(l) = 3*l - 5. Let t be g(9). Let j(a) = -a**3 - 4*a**2 - a - 1. Let b(m) = 6*m**3 + 21*m**2 + 5*m + 6. Let k(d) = t*j(d) + 4*b(d). Is 3 a factor of k(3)?
False
Let d(k) = -k**2 - 27*k - 81. Does 2 divide d(-9)?
False
Suppose 595 = 5*v - 2*t, 0*v - 2*t + 373 = 3*v. Is 12 a factor of v?
False
Does 31 divide ((-22)/(-4))/(4/248)?
True
Let y(p) = -2*p**2 - 15*p - 4. Let w = -62 - -56. Is y(w) even?
True
Let t be ((-3)/9*143)/((-4)/(-12)). Let x = -133 - t. Does 5 divide x?
True
Suppose -3*o = -0*o. Let t(l) = -l**2 + l 