 l be -4*(0 - 0 - 50). Suppose -56 + l = 6*y. Is y a multiple of 6?
True
Let g be 10*1*(-128)/20. Let j = 108 + g. Suppose 0 = -3*z + j - 14. Does 5 divide z?
True
Let t be (-52)/(-6) + 2/6. Let a = -4 + t. Does 5 divide a?
True
Suppose 3*l - 19 = -2*l + g, 3*l + 3*g + 3 = 0. Is 13 a factor of 78/l + (1 - 1)?
True
Let c = -10 + 15. Suppose -2*h - 24 = -r + 15, 0 = c*r - 5*h - 170. Is r a multiple of 13?
False
Let v = 263 - 182. Is 24 a factor of v?
False
Suppose 2*y - 119 = -5*s - 39, 0 = 5*s - 3*y - 55. Suppose 0 = -5*i - s + 64. Is 5 a factor of i?
True
Let j(l) = 3*l + 20. Does 41 divide j(7)?
True
Suppose 0 = p + 9*a - 4*a + 16, -2*p + a + 12 = 0. Suppose 0 = 3*c - 5*o - 101, o + 158 = p*c - o. Is c a multiple of 14?
True
Let n(i) = -8*i - 4. Suppose 2*x + 2*d - 11 = -3*d, x + 5*d - 13 = 0. Let h be x/(3 - (-25)/(-9)). Is 18 a factor of n(h)?
False
Let b(s) = -s**3 - 5*s**2 + 6*s + 2. Is b(-7) a multiple of 26?
False
Let l(q) = q**3 + 11*q**2 + 13*q + 3. Let h be l(-10). Suppose 2*t = -5*v - 113, -3*t - 4*v = 157 - 5. Let n = h - t. Does 17 divide n?
True
Suppose -11 - 76 = 4*g + 3*s, 3*g + 2*s = -65. Let u be (-49)/g - 1/3. Suppose 0 = l + 6*b - u*b + 1, l + 3*b = 3. Is l a multiple of 7?
False
Suppose 0 = 6*k - k - 395. Suppose -3*m + 2*o + k = 0, -m = 2*m + 4*o - 85. Does 9 divide m?
True
Suppose 0 = r + 3*r - 60. Let g = r - -2. Is 17 a factor of g?
True
Let t(m) = m**2 - 5*m + 4. Let b be t(4). Suppose 3*i - 3*k - 66 = 0, -3*i + b*k + 66 = 2*k. Is 22 a factor of i?
True
Let k(d) = d**3 - 5*d**2 - 7*d + 8. Does 8 divide k(8)?
True
Suppose -2*a + 5 = 5*t + 3, 4*t = -a - 5. Suppose a*b = 9*b + 30. Is 15 a factor of b?
True
Let k(g) = g**3 - 3*g**2 - 5*g + 9. Is k(5) a multiple of 34?
True
Let n = -88 + 57. Let v = n + 44. Is v a multiple of 9?
False
Suppose 0 = -15*r + 3105 + 210. Does 23 divide r?
False
Let z be (-104)/(-2) - (2 - 3). Suppose 2 + 2 = y, -q + z = 2*y. Is q a multiple of 15?
True
Suppose 4*g - 192 - 96 = 0. Suppose 5*m - g = 8. Is m a multiple of 8?
True
Suppose 2*r = -3*r + h + 417, 4*r = -h + 330. Is r a multiple of 36?
False
Let k(q) = -q**2 + 5*q + 7. Let y be -2 + 2 + 0 + 5. Is k(y) even?
False
Suppose -9*v + 7*v + 66 = 0. Does 11 divide v?
True
Does 5 divide (3 - 1)*2782/52?
False
Let c(v) = -v**3 - 7*v**2 + v + 9. Let z be c(-7). Suppose -z*k - 3*k + 85 = 0. Suppose y - k + 5 = 0. Does 6 divide y?
True
Let s(q) = -q**3 - 7*q**2 + 6*q + 8. Let i be s(-8). Let a be (3 + -5)/(2/i). Let b = -3 - a. Does 15 divide b?
False
Suppose 5*o + 20 + 6 = 2*d, 0 = -d + 5*o + 23. Let z(v) = v**3 + 1 + 0*v**3 + 1 - v**2 - 2*v. Is z(d) a multiple of 7?
True
Let b = 16 - -6. Suppose -5*f = -2*c + 40, -4*f + b = 3*c - 2*f. Is 9 a factor of c?
False
Let x(z) = 3*z**2 + 5. Let c be x(-4). Let a = c + -24. Is a a multiple of 21?
False
Is 34*1 + (-6)/3 a multiple of 17?
False
Suppose 0 = -n - 2*n + 30. Suppose -2 = j - n. Is 8 a factor of j?
True
Let n(i) = i + 5. Let y be n(-5). Suppose -2*b + 0*t - 5*t = -9, b - 2*t = y. Suppose -4*r + b = -90. Is r a multiple of 23?
True
Let s(k) = 2*k**2 - 5*k + 2. Let z be s(3). Suppose -2*i - 3*n = z - 39, 5*n + 13 = 3*i. Does 9 divide i?
False
Suppose -43 = 5*u - 158. Is u a multiple of 7?
False
Suppose -1 = 3*u - 7. Let d = -52 + 58. Suppose -u*w - 15 = -y, -y + 15 = w - d. Does 6 divide y?
False
Let c(d) = 173*d**3 + 3*d + 5. Let a(l) = -115*l**3 - 2*l - 3. Let s(k) = -8*a(k) - 5*c(k). Is 11 a factor of s(1)?
True
Let u = 17 + -17. Suppose -15 = -u*w - 5*w. Is 3 a factor of w?
True
Suppose 0 = -a - 2*o + 55, -a + o = -54 - 16. Is a a multiple of 42?
False
Let j(m) = m**3 - 2*m**2 - 4*m + 3. Let w be j(3). Suppose 0*z + 2*z - 32 = w. Does 5 divide z?
False
Let c(k) = -k**3 + 9*k**2 + k + 9. Let i be c(9). Suppose 0 = -4*b + 26 + i. Is 11 a factor of b?
True
Suppose -3*a - 2*w = -8*a + 148, 3*a + w = 80. Does 4 divide a?
True
Let k(d) = d**3 + d**2 - 2*d + 33. Let s be k(0). Let a = -10 - -15. Suppose a*v = s + 12. Is 9 a factor of v?
True
Let n = -238 + 410. Let h be ((-1)/(-2))/(1/6). Suppose 0 = 4*q - h*c - 130, 5*q + c - n = -0*c. Does 11 divide q?
False
Suppose 9*a = 4*a. Suppose a = -2*n - 0*n + 90. Let v = 67 - n. Is 22 a factor of v?
True
Let q = 203 + -51. Is 55 a factor of q?
False
Let z(p) = p**3 + 8*p**2 + 8*p + 8. Let j be z(-7). Suppose n + 2*q - q = -5, q + j = n. Let h = n + 7. Is 5 a factor of h?
True
Let x(w) = w**2 + 7*w - 7. Let g be 1*-13 - (-9)/3. Does 5 divide x(g)?
False
Let s(j) = 0*j**2 + 7 - 10 + 3*j**2 + 3*j. Suppose 3 = -5*t - u + 12, u = -1. Is 7 a factor of s(t)?
False
Does 13 divide (-1)/3 + (-5632)/(-48)?
True
Let r(w) = w**2 - 11*w - 3. Let p be r(11). Let f(l) = -2*l**3 - 4*l**2 - 2. Does 8 divide f(p)?
True
Let m(h) = -1 + 3*h**3 - 2*h**3 + 0 + 3*h. Let q be m(2). Let s = q - -16. Is s a multiple of 17?
False
Does 10 divide (5 + 10)*(-22)/(-6)?
False
Let o = -13 + 11. Is 13 a factor of ((-13)/o)/(1/2)?
True
Let z be (14/42)/(2/(-18)). Does 14 divide (z/(-1) - 0)*14?
True
Let w(m) = -3*m**2 + 2*m + 1. Let b be w(-1). Let q = 7 + b. Is (-2)/1*(-31 - q) a multiple of 23?
False
Let w be (-4)/8 - 18/(-4). Let d be (w/6)/((-3)/(-495)). Suppose -7*j + 3*j = -4*m + 64, j = -5*m + d. Is 10 a factor of m?
False
Let x be 330/4 + (-2)/4. Suppose 23 + x = 5*p. Is 14 a factor of p?
False
Let s = 17 - -12. Is 16 a factor of s?
False
Let y(u) = u**3 + 5*u**2 + 2*u. Let i be y(-5). Is i*1*(-5 - -4) a multiple of 7?
False
Does 15 divide 3*((5 - -8) + 2)?
True
Suppose 0 - 2 = -2*l. Does 4 divide l*(3 - -3) + 1?
False
Let b(z) = 2*z**3 + 11*z**2 - 6*z + 4. Does 4 divide b(-6)?
True
Let a be (-2)/(-10) + (-252)/10. Let m = -15 - a. Is 5 a factor of m?
True
Let q be 110*(1/(-2) + 3). Suppose -5*w + 95 + q = -5*r, 5*r = 0. Is w a multiple of 21?
False
Let r = -150 + 450. Is r a multiple of 60?
True
Let b = 424 + -303. Is 7 a factor of b?
False
Is 361/2 + (-11)/22 a multiple of 30?
True
Let k(a) be the third derivative of a**5/60 + a**4/12 - a**3 - a**2. Does 14 divide k(4)?
False
Let d(u) = 6*u - 2. Let q = 11 - 7. Let j be d(q). Is 11 a factor of (-1 - -2) + j + -1?
True
Let n(u) = 11*u**3 - u + 2. Does 44 divide n(2)?
True
Let b = -76 + 150. Is 11 a factor of b?
False
Suppose 3*d + 2*q = 288, d + 36 = -3*q + 139. Is d a multiple of 20?
False
Suppose 4*h - m - 50 = m, -4*m = 3*h - 65. Let g be h - 3 - (0 - -1). Suppose 16 = d - a, -d + g = -0*a - 2*a. Is 21 a factor of d?
True
Does 28 divide (445/(-20))/(1/(-4))?
False
Let s(x) = -x**3 + x**2 + 2*x + 3. Let l be s(-3). Suppose -4*k + 98 = d, d = 5*k - l - 85. Is k a multiple of 8?
True
Suppose -5*l + 228 = -77. Let m = -40 + l. Is 3 a factor of (-74)/(-14) + (-6)/m?
False
Suppose 10 = 5*x, -b + 7 + 19 = -2*x. Is b a multiple of 9?
False
Let w be 0/((4 + -3)*1). Suppose -2*j - 9 + 31 = w. Does 2 divide j?
False
Suppose -p - 3*p = 5*i - 262, -p = -2*i - 72. Suppose 22 = 2*s - 4*b, 0 = 5*s + b + 2*b - p. Does 8 divide s?
False
Let v(z) = -3*z**3 - 7*z**2 + z - 7. Let s be v(-5). Suppose s = 4*p - 5*x, 16 = -4*x - 0. Does 16 divide p?
False
Does 16 divide (7/2 - 3)*368?
False
Suppose 128 = -4*j - 16. Does 5 divide (j/15)/(2/(-10))?
False
Suppose -j = -2 - 1. Suppose 2*d = j*d - 54. Is 27 a factor of d?
True
Let w(d) = -d**3 - 4*d**2 + 6*d + 6. Let k be w(-5). Let x be (3 + -1)*k/2. Is -1 + (1 - -5) + x a multiple of 4?
False
Let q(o) = o**2 + 16*o + 18. Is 7 a factor of q(-17)?
True
Suppose -j + 2*q = -2*q - 10, -3*j + 2*q = -10. Is -3*(-28)/6 - j a multiple of 12?
True
Let i(d) = d**3 + 7*d**2 + 7. Suppose 5*p = 3*p. Suppose 2*c - 1 = -3*r, 5*c + 4*r = -p*r - 15. Is 4 a factor of i(c)?
False
Suppose -g = -14 + 2. Let x(s) = -3*s**3 + s**2 - 2*s + 1. Let m be x(1). Let z = g + m. Does 9 divide z?
True
Let q = 9 - 6. Suppose 0*i - q*i = 0, -4*z + 5*i + 316 = 0. Is z a multiple of 21?
False
Suppose 4 - 64 = -2*n + 2*g, 0 = -5*g. Is 18 a factor of -1 + -3 + (n - 1)?
False
Let n = -46 - -112. Does 12 divide n?
False
Let m be 2/9 + 52/9. Suppose -m*k = -k. Suppose k = -3*u - 3*z + 30, -z + 22 = u + u. Does 6 divide u?
True
Let z(x) = -x**2 - 3*x + 5*x**2 - 3*x**2 - 7. Let d be 2/(-8) + 133/(-28). Does 17 divide z(d)?
False
Suppose 115 = 4*b - 125. Is 20 a factor of b/(0 + 3/2)?
True
Let g(l) = -2*l**2 + 14*l + l**2 - 2*l - 2 - 4. Does 20 