*k = 2*d - 0*k - 6. Let y(q) = 2*q - 4. Is y(d) a multiple of 2?
True
Is 4 a factor of 339/18 + 5/30?
False
Suppose -5*c + 80 + 85 = 0. Does 11 divide c?
True
Is 19 a factor of (1*-19)/(-21 - -20)?
True
Let q = 64 + -13. Is q a multiple of 15?
False
Let m(i) = i**3 + 5*i**2 - 8*i - 8. Let u be m(-6). Suppose -4*k + 3*k = t - u, -4*t = 0. Is 2 a factor of k?
True
Let u be 3 + (-1 + 1)*1. Suppose 7 = u*g - 20. Let t = g + 2. Does 10 divide t?
False
Suppose 204 = -0*x + 2*x. Let d = 4 + 0. Suppose d*j = 2*j + x. Does 19 divide j?
False
Let y(o) = o**2 + 8*o - 3. Let s be 18/(-3) + 3*-1. Is y(s) a multiple of 6?
True
Let o = -40 + 144. Is 32 a factor of o?
False
Let h be (-4)/10 - (-65)/(-25). Is ((-10)/(-4))/(h/(-24)) a multiple of 10?
True
Let u = 7 + 31. Let o = u - 22. Does 10 divide o?
False
Suppose -2*d - 20 = 20. Let o = 15 - d. Suppose 9*y - o = 4*y. Does 7 divide y?
True
Suppose 0 = -4*j + 5*n - 8, n + 0 = -4*j + 16. Suppose j*w + 55 = 8*w. Suppose 0 = 3*k - w - 67. Is 16 a factor of k?
False
Suppose 2*l - 30 - 2 = 0. Does 16 divide l?
True
Let m = -116 + 156. Does 2 divide m?
True
Suppose -19 = -4*f - t, -f + 2*f = 5*t + 10. Suppose 0 = 3*d - 6*d + 9. Suppose -65 = -5*y - d*b, 4*y - f*y + 13 = 2*b. Does 5 divide y?
False
Suppose w - 2*w = -1. Let y = w - 4. Does 9 divide y + 1 - (-16 + -1)?
False
Let f(s) = s - 4. Let i be f(2). Is 40 - i*(-2)/(-4) a multiple of 13?
False
Is (-6 - 0)*27/(-6) a multiple of 25?
False
Suppose 6*p = 526 + 266. Is p a multiple of 12?
True
Is 6 a factor of ((-44)/66)/((-4)/582)?
False
Let p(m) = -4*m**2 - 35*m + 5. Is 27 a factor of p(-7)?
True
Suppose o = 4*o - 18. Suppose o*b = b + 20. Does 8 divide 20 - 1 - 12/b?
True
Is (0 - -1)/(3*(-5)/(-450)) a multiple of 6?
True
Let a be 181/4 + 3/(-12). Suppose -2*k = -a - 35. Is k a multiple of 16?
False
Suppose 2*d - 5*y = -17, -5*y + 26 = -3*d + 3. Let t(l) = l**3 + 9*l**2 + 10*l + 6. Is 27 a factor of t(d)?
True
Suppose 3 = j - 1. Suppose -2*f - 5*h - 19 = f, 3*f - j*h - 26 = 0. Let k = f - -9. Is 3 a factor of k?
False
Let p(n) = n**2 - n - 6. Let j be p(7). Suppose -3*l = -84 - j. Is 10 a factor of l?
True
Suppose -5*a + 462 = 87. Let z = a - 49. Is 15 a factor of z?
False
Let x be (10 - 2) + (-5 - -3). Suppose 0 = -3*f - x, f + 8 = p + 4*f. Is p a multiple of 7?
True
Let x = 15 - 9. Let l = 0 + x. Is (-426)/(-10) - l/10 a multiple of 11?
False
Let c be 0 - (-1 + -1)*27. Let n = -36 + c. Is n a multiple of 5?
False
Let y = 18 + -12. Suppose 0*w + 3*w - y = 0. Does 4 divide -2 + (-33)/(-3) + w?
False
Let s = -21 + 31. Let p be 22/s + 2/(-10). Suppose -p*h - 4 = 2*y - 7*h, 5*h - 22 = -4*y. Does 2 divide y?
False
Let c = 17 + 60. Let d = c - 164. Let z = -59 - d. Is 9 a factor of z?
False
Let h be 1 + (0 + 2 - -2). Suppose h*c + 24 - 169 = 0. Does 12 divide c?
False
Let q = 7 + -3. Suppose -5*s - 270 = -5*t, -2*s + 105 = 2*t - s. Suppose 0 = 2*h - q*h - 3*r + t, r - 27 = -h. Does 14 divide h?
True
Let r = 121 + -115. Is 5 a factor of r?
False
Let f = -36 - -48. Is 6 a factor of f?
True
Let x(h) = h**2 - 6*h + 9. Let t be x(7). Suppose -5*o = 9 + t, -5*o - 31 = -3*p. Suppose w + 28 = p*w. Does 8 divide w?
False
Let n(w) = w**2 + 11*w - 17. Let l be n(-13). Is (-5)/((-15)/l) + 62 a multiple of 22?
False
Suppose 3*k + 7*v - 3*v - 374 = 0, -2*v + 10 = 0. Is k a multiple of 27?
False
Is (-197)/(-1)*1/1 a multiple of 26?
False
Let w(q) = -2*q - 2. Let f be 5/2*20/25. Suppose -f*r - 2*h = 4, r - h = 3*h - 22. Is 6 a factor of w(r)?
False
Let u be 2/3*9/2. Suppose -24 = -4*y - 2*o - 0, 6 = 3*o. Suppose b - 33 = u*k, -y*b - 2*k + 75 = k. Is b a multiple of 9?
True
Suppose q + t - 94 = 0, 0*q - 2*t - 82 = -q. Is q a multiple of 14?
False
Let h(s) = -3*s - 9*s + 8 - s**3 + 7*s + 8*s**2. Does 10 divide h(6)?
True
Let p be 8/(-4 - -2)*-2. Does 2 divide 2/p + (-30)/(-8)?
True
Suppose -8*r + 4*r + 260 = -4*k, 2*r - k = 126. Is 12 a factor of r?
False
Let q(s) = -s**3 + 6*s**2 - 4*s + 2. Let p = 4 + -4. Suppose 5*g - 5 = 3*n + 5, -3*g + 15 = p. Is 7 a factor of q(n)?
True
Let v(a) = -11 - 2*a + 3*a - 6. Let d be v(9). Let b = 23 + d. Is b a multiple of 7?
False
Let u(z) = -z**3 + 7*z**2 - 2*z - 5. Suppose -3*b = -4*l - 18, 11 + 1 = -4*l. Suppose 2*n - 3*g + 18 = 7*n, g = -b*n + 8. Does 19 divide u(n)?
True
Suppose 4*h = 4*c - 236, c - 64 = -h - 1. Does 14 divide c?
False
Suppose j + l = 11 + 1, 5*j - l - 36 = 0. Let m = j + -14. Is 4 a factor of (-48)/m + 3/(-1)?
False
Suppose -7*v = -8*v + 3. Does 2 divide v?
False
Suppose a = -5*a + 42. Is 5 a factor of a?
False
Let y be -42*(-5 + (0 - -3)). Let z = 139 - y. Is z a multiple of 11?
True
Let w be 8*(-2 - (-11)/4). Suppose -5*z = -9 - w. Does 3 divide z?
True
Let p be (144/20)/(6/100). Does 5 divide ((-1)/1)/((-8)/p)?
True
Let c(q) = q**3 - 12*q**2 + 14*q - 6. Let b(a) = -a**2 - 6*a + 5. Let d be b(-5). Suppose -s + d = -1. Is 11 a factor of c(s)?
False
Let j(u) = u**3 - 4*u**2 - u + 1. Let t be j(4). Let i = -2 - t. Suppose -w + i = -4. Is w a multiple of 4?
False
Suppose 18 = -2*g - 12. Does 3 divide (18/g)/((-4)/10)?
True
Suppose -5*x = -10*x + 20. Suppose a = 4*k - 178, a - x*a = 6. Is k a multiple of 22?
True
Let b(w) = 17*w + 2. Does 22 divide b(4)?
False
Suppose 4*b + 3 = -21. Let s = b + 12. Is s a multiple of 2?
True
Let s(k) = -k**2 - 7*k - 3. Let y be s(-6). Does 22 divide (104/(-6))/(y/(-9))?
False
Let t(l) = 11*l**3 - 1. Is 10 a factor of t(1)?
True
Suppose 0 = -2*u - 2*n, -u + 5*u = 4*n + 16. Suppose o = u*o - 12. Does 6 divide o?
True
Let s be -4 - -5 - (-5 - -1). Let c(h) = 5*h - 6. Is c(s) a multiple of 8?
False
Suppose -2*k - 9 = -81. Is k a multiple of 34?
False
Let g = 9 + -8. Is 18 a factor of -12*6*g/(-2)?
True
Suppose -232 = -5*i - 3*i. Is i a multiple of 11?
False
Let d(q) = 0*q**3 - 8*q**2 + 10*q - 6 - 3*q**3 + 4*q**3 - 1. Does 3 divide d(7)?
False
Suppose 45 = -0*u + 3*u. Is u a multiple of 9?
False
Is (-24)/18*(-117)/6 a multiple of 13?
True
Let f(u) be the second derivative of -5*u**3/6 - 4*u**2 - u. Is f(-7) a multiple of 9?
True
Suppose -2*a - 8*r + 411 = -3*r, 0 = 3*r - 9. Suppose 0 = 3*o - a - 0. Is 18 a factor of o?
False
Let f be ((-3)/2)/(1/(-2)). Does 8 divide (3/(-2))/(f/(-42))?
False
Let z(y) = -y**2 - 3*y. Is z(-2) a multiple of 2?
True
Suppose 3*q + q - 248 = 0. Suppose q = 3*w + 5*x, 3*w + 2 = 4*w - 3*x. Does 7 divide w?
True
Let w(f) = f**2 - 5*f + 6. Let p be w(6). Suppose 2*r - p = r. Is 6 a factor of r?
True
Let s(r) be the third derivative of 0 + 0*r + 1/24*r**4 - 2*r**2 - 1/40*r**6 + 0*r**3 - 1/30*r**5. Is s(-2) a multiple of 7?
True
Is 57 a factor of (1 - (-15)/(-3)) + 346?
True
Suppose 0 = 4*d + 4*x - 216, 69 = -3*d + 4*d + 4*x. Let f = 108 - d. Does 25 divide f?
False
Let b(u) = -5*u**3 - 2*u**2 - 6*u - 4. Let k be b(-4). Suppose -k = -5*h + h. Suppose 3*r + o - 59 = 0, 4*r - h + 7 = 3*o. Is r a multiple of 6?
False
Let o(f) = f**2 - f - 2. Let c be o(2). Let s = c - -9. Does 2 divide s?
False
Suppose -2*a + 375 = 3*a. Does 22 divide a?
False
Let a be (-20 - 2)/((-4)/10). Suppose 2*f + 5*w + a = -0*f, 0 = -5*f - 5*w - 115. Let n = 34 + f. Is n a multiple of 11?
False
Let o(u) = -6*u - 1. Suppose c = 3*q + 6, -3*q + 1 = -q + c. Let h be o(q). Let z = 0 + h. Is z a multiple of 3?
False
Suppose 3*c + 47 = 4*k, 2*k - 3*k + 20 = 2*c. Does 3 divide k?
False
Suppose 0*r + 16 = r. Is 8 a factor of r?
True
Let h = -10 - -22. Suppose -2*m + h = 2. Suppose 0 = -m*v + 4 + 21. Is v even?
False
Let v = 7 - 2. Suppose -3*t + 2*t = 5, -265 = -v*o + t. Is o a multiple of 13?
True
Suppose -h + 6*h - 20 = 0. Suppose 0*g = h*g. Suppose g = -5*c - 3*r + 33, 0 = 2*c - 6*c + 5*r + 56. Is 5 a factor of c?
False
Suppose 2*o + 3*o + 20 = 0, 105 = 5*g - 5*o. Does 3 divide g?
False
Let n be 10/(-30) - 40/6. Let c(z) = 2*z**2 + 9*z - 1. Is c(n) a multiple of 7?
False
Let r = 4 + -2. Suppose 0*x - 5*x + r*q + 2 = 0, -4*q = -x - 14. Suppose -x*m + 39 = m - 2*h, 0 = -5*m - h + 65. Does 13 divide m?
True
Suppose 59 + 241 = 5*a. Is a a multiple of 15?
True
Let l be 3 + -1 + 4/4. Is (l + 3*-4)*-1 even?
False
Let n be -2 + 2/(-4)*-10. Suppose 0 = -h + n*h - 26. Is h a multiple of 13?
True
Let w(p) = -p + 3. Let o be w(3). Suppose 5*h - 180 + 40 = o. Does 14 divide h?
True
Let q = -15 + 4. Let m(c) = -11*c. Let j 