 of 12?
False
Let x(t) = -3*t - 3. Let i be x(-2). Let z(n) = -i*n + 2*n**2 + 0*n + n + 1. Does 13 divide z(3)?
True
Let w(q) = -q**3 + 6*q**2 - 5*q + 3. Let v be w(5). Suppose -v*t = -15, 4*t = j - 0 + 14. Does 4 divide j?
False
Let n(m) = -m - 1. Let a be n(-3). Suppose 5*h + 6*w - 139 = 2*w, a*w = 2*h - 70. Is h a multiple of 9?
False
Let a(j) = j**2 - 2*j + 5. Let n = 10 + -6. Is 4 a factor of a(n)?
False
Let q(u) = -4*u - 1. Let x be q(-1). Suppose 0 = v - 5*z - 43, x*z - 54 = 4*v - 260. Suppose -2*r - k = -v, 0 + 5 = -k. Does 12 divide r?
False
Suppose 0 = -6*b + b + 60. Suppose -14*a - 13 = 29. Let h = b + a. Is h a multiple of 3?
True
Is 10/(-5)*(-13 + -1) a multiple of 14?
True
Suppose 21*c - 10*c = 176. Does 4 divide c?
True
Let v(o) = -o**3 + 2*o + 1. Let j be v(-2). Suppose -3*b - 10 = -j*b. Suppose 2*s + 18 = b*s. Is 3 a factor of s?
True
Suppose 39 = -2*g + n - 4*n, 0 = -2*g + 2*n - 24. Is 12 a factor of 18*-1*g/6?
False
Suppose 2*j + 171 = 4*w - j, 0 = -w - j + 34. Does 13 divide w?
True
Let g = -54 - -99. Does 15 divide g?
True
Suppose -3*z = s + 11, 2*s + z - 1 = 2. Suppose 20 = o - 3*k, -7*o + 40 = -3*o - s*k. Is o even?
False
Suppose -5*d + 4*j + 156 = 0, -4*d + 2*j = -71 - 55. Suppose -d = -r - r. Suppose 12 = 4*f - r. Is 4 a factor of f?
False
Suppose 2*y + 3*y - 34 = -3*j, -5*y - 4*j + 37 = 0. Is y a multiple of 3?
False
Let k(n) = -n**2 - 8*n - 2. Let o be k(-8). Let h be 24*(o - (-1)/1). Is 4 a factor of 3*(-3)/(27/h)?
True
Suppose -7 = 4*i + 3*w - 166, -26 = -i + 2*w. Does 11 divide i?
False
Let q = -87 + 186. Is 33 a factor of q?
True
Suppose 0*c = 3*c. Suppose 5*a + 5 - 255 = -2*n, -n + 2*a + 116 = c. Suppose 5*o + 30 = n. Is 9 a factor of o?
True
Let i(q) = -2*q**3 + 2*q**2 + 4*q - 5. Does 27 divide i(-4)?
False
Suppose 7*a = 9*a - 6. Suppose a*h - 6*l = -4*l + 32, 4*l = -4*h + 56. Is h a multiple of 12?
True
Let d = 11 - -10. Does 7 divide d?
True
Let a(w) = 4*w**2 - w. Let k be a(-1). Suppose -21 = -k*i + 3*f, -2*i = -f - 0*f - 8. Suppose 0 = -4*s + i*s + 39. Does 13 divide s?
True
Is 4 a factor of 2*17 + -1*15/5?
False
Let y be (-2 - -1) + 22/2. Suppose -4*l - y = -3*j + 5, 2*l - 15 = -3*j. Suppose 0 = -l*f - 2*f + 14. Is f a multiple of 7?
True
Suppose 0 = -2*h - 2 - 2. Let j = h + 23. Suppose -s + j = 5. Is s a multiple of 8?
True
Suppose 4*k + 92 = 4*a, 2*k = k + 3*a - 27. Let r = -11 - k. Is r a multiple of 5?
True
Let t be -15*(1 - (-22)/(-10)). Let a be ((-4)/(-12))/(2/t). Suppose a*v + v = 72. Does 9 divide v?
True
Let l(p) be the second derivative of -4*p - 2/3*p**3 - 5/12*p**4 + 0 - 1/20*p**5 + 1/2*p**2. Is l(-5) a multiple of 21?
True
Let k(f) = 26*f**2 - 2*f. Does 7 divide k(-1)?
True
Let f be 2*(-4)/(24/(-33)). Suppose 2*v - f = 3*n, 1 = -3*v - n + 2*n. Let i(u) = -5*u**3 - u**2 - 2*u + 1. Is i(v) a multiple of 14?
False
Suppose 28 = 5*a + 3*p, -3*p + 10 = -4*a + 27. Let w = -3 + a. Suppose -w*s + 2 = 0, -2*c + 2*s - 3*s = -7. Does 3 divide c?
True
Let u(o) = o**2 - 10*o + 6. Let m be u(9). Let l = m + 5. Suppose 0*s - 76 = -l*s. Is s a multiple of 19?
True
Is 8 a factor of 0*(-2)/8 + 34?
False
Suppose 99 = 2*g - 25. Suppose -2*w = -2*p - g, -2*p + 6 = w - 31. Is 18 a factor of w?
False
Suppose 16 = 3*o - 29. Suppose -3*p + 4*n = 7, 2*p = -3*n - 15 - 1. Is o*(15/(-9))/p a multiple of 5?
True
Let a be (-12)/9*3/(-2). Let w be (-1)/(-1)*2 - a. Suppose 0 = f, -4*k + w*f = 4*f - 208. Is k a multiple of 21?
False
Does 27 divide (-1*109)/(3/(-6) + 0)?
False
Let i(s) be the third derivative of 4*s**5/15 + s**4/12 + 6*s**2. Is i(-1) a multiple of 8?
False
Suppose 6*d - 5*d - 20 = 0. Let r = d + -5. Does 7 divide r?
False
Let d be (-2 + 0 + 2)*1. Suppose d*n = 5*n. Suppose f + n*f - 19 = -j, 5*j - 79 = -f. Is j a multiple of 8?
False
Is (-6146)/(-49) + (-4)/(-7) a multiple of 21?
True
Suppose -3*q + 8 = -3*s + 26, 5*s + 10 = -5*q. Let r be (-1 + s)/(1/7). Suppose 0 = 4*k - r*k + 114. Is k a multiple of 15?
False
Let d = 231 + -64. Is 7 a factor of d?
False
Let n(h) = -h**3 - 6*h**2 + 7*h. Let t be 2*1*(-49)/14. Let b be n(t). Suppose b = -w + k + 15, -2*w - k + 7 + 26 = 0. Is 8 a factor of w?
True
Suppose -3*l = -2*o - 10, -60 = 6*o - 2*o + 4*l. Is 6 a factor of o + 10 + (0 - -17)?
False
Let j = 10 + -7. Let c be 6/j + -3 + 3. Is 7 a factor of 1/c + 52/8?
True
Let i(f) = -f**2 + 3*f + 3. Let d be i(-9). Let y = -30 - d. Does 13 divide y?
False
Let p(r) = -r + 52. Is p(7) a multiple of 9?
True
Let i(c) = 16*c**2 - 1. Let p be i(1). Suppose 4*x = p + 25. Does 5 divide x?
True
Let w = 68 + -26. Is 12 a factor of w?
False
Suppose 3*x + 38 = -286. Let q = -60 - x. Is 16 a factor of q?
True
Let p(i) = -i + 12. Let l(z) = 2*z - 25. Let o(a) = -3*l(a) - 5*p(a). Is o(0) a multiple of 11?
False
Let f = -3 + 12. Suppose 0 = c + 3*g - 6, 5*g = 5*c + 44 + 6. Let o = c + f. Is 3 a factor of o?
True
Let s = 295 - 210. Is 4 a factor of s?
False
Suppose 5*f = -3*f + 952. Is f a multiple of 17?
True
Let z(b) = -3*b + 3. Let v(q) = 5*q - 7. Let g(u) = 6*v(u) + 13*z(u). Let a = 4 + -9. Does 21 divide g(a)?
True
Suppose 2*g + 24 = 3*g. Does 3 divide g?
True
Suppose 2*z + 2*z + 6 = -2*f, 0 = -3*f - 2*z - 1. Is 5 a factor of 150/8 + f/4?
False
Let h be (-16)/(-12) - (-6)/9. Let v = -4 + 8. Suppose -5*i - 29 = -h*s, v*s - i - 76 = 3*i. Does 21 divide s?
False
Let b = -147 - -354. Does 28 divide b?
False
Let o be -41 - ((-4 - -1) + 1). Let m be (o/4)/((-1)/4). Let d = -11 + m. Is 14 a factor of d?
True
Let x = -5 - -7. Suppose 120 = x*j + j. Is 19 a factor of j?
False
Let k = 2 + 0. Suppose -5*b - 12 = 4*n, -3*n = -3*b - k*b - 26. Does 2 divide b/(-14) - 78/(-21)?
True
Let v(p) = -13*p + 44. Is 5 a factor of v(-9)?
False
Is 5 a factor of 2/(-14) - 2321/(-77)?
True
Suppose -4*h + h - 114 = 0. Suppose 0 = 3*j - 4 - 2, -5*j - 62 = -z. Let y = z + h. Does 17 divide y?
True
Let a = -19 - -16. Is 8 a factor of 30/4 - a/6?
True
Let g be (4/(-4) + 92)*1. Suppose -g = 4*u - 263. Is u a multiple of 19?
False
Let y(m) = -6*m + 2. Let h be y(2). Is (128/h)/((-1)/5) a multiple of 16?
True
Let a = 73 - -59. Let r = 187 - a. Is 13 a factor of r?
False
Suppose 3*i - 114 - 45 = 0. Let f = 10 + i. Suppose 2*o + 2*l = 70, -2*o - 5*l - f = -4*o. Is o a multiple of 17?
True
Suppose 5*a = -21 + 421. Is a a multiple of 20?
True
Suppose 3*t - 6*t + 3*f = 174, 2*f + 124 = -2*t. Let o = -36 - t. Is o a multiple of 24?
True
Let a be 10 + -1 - (2 - 1). Does 6 divide a/(-36) - 328/(-18)?
True
Let y(t) = 2*t + 5. Let v be y(-7). Is ((-3)/1)/(3/v) a multiple of 3?
True
Let g(s) be the second derivative of s**4/4 + 4*s**3/3 + 2*s**2 - s. Let w be g(-7). Suppose -4*o + w = o. Is o a multiple of 10?
False
Let i be 4/14 - 206/(-14). Suppose 0*d - i = d - 4*m, 0 = -4*m + 20. Suppose -303 = -d*b - 93. Does 14 divide b?
True
Is 4 a factor of (5/5)/(1/17)?
False
Does 21 divide ((-6)/(-27) - 224/360)*-245?
False
Suppose 0 = c - 2*k - 13, 4 = -3*c + c - 2*k. Suppose 1 = -y, m - 7 = -m - c*y. Is m a multiple of 4?
False
Let y = -1 - -1. Suppose y = 2*r + 12 - 54. Does 5 divide r?
False
Let o = -68 + 203. Suppose o = 3*j + 2*j. Is j a multiple of 27?
True
Is (-20)/(2/(-11) - 0) a multiple of 40?
False
Let a be 7/(-2*(-2)/(-44)). Let l = 4 - a. Is 28 a factor of l?
False
Let z = -4 + 5. Let v be -1 - 0 - z*18. Let f = v + 33. Is f a multiple of 12?
False
Suppose s = -87 + 21. Let t = s + 99. Is t a multiple of 7?
False
Is 9 a factor of 7*(3 - 4)*(-18)/7?
True
Let n = 55 - 15. Suppose 4*v + h = n, 0 = -6*h + h + 20. Does 9 divide v?
True
Suppose 5*q + 2*g = 2*q + 2, g = -q. Suppose 2*j - q*w = 26, 0*w - 3*w = 5*j - 49. Is j a multiple of 11?
True
Suppose -2*w - 3 - 5 = 0. Is 13 a factor of (26/(-8))/(w/16)?
True
Suppose 3*h + 168 + 120 = 2*w, 2*w = -4*h + 288. Does 9 divide w?
True
Let r = -9 - -9. Let t(j) = -j**2 + 5*j + 2*j**2 + r*j**2 - 6 + 0*j. Does 3 divide t(-7)?
False
Let r = -96 - -124. Is 7 a factor of r?
True
Suppose -2*u - u + 6 = 0. Suppose -35 = l - u*l. Let f = l - 23. Does 6 divide f?
True
Let c(n) = -4*n. Is c(-3) a multiple of 5?
False
Suppose 0 = -4*n + b + 504, -7*b = -3*b. Does 7 divide n?
True
Suppose 5*y = -j + 45 + 1, -2*y = -4. Let v(p) = -p**3 - 15*p**2 + 17*p + 20. Let r be v(-16). Suppose -2*o + j - r = 0. Is o a multiple of 8?
True
Suppose 0 = -