 3. Is 5 a factor of t?
True
Let a(v) = v**2 - 8*v - 37. Is a(14) a multiple of 10?
False
Suppose -5*b = -3*l - l - 46, 0 = -l + 4*b - 6. Let z be (-552)/(-28) - 4/l. Suppose -4*q + 8 + z = 0. Does 7 divide q?
True
Suppose 3*c = 6, 3*d - 2*c - 11 = -2*d. Let j = d - -1. Does 4 divide j?
True
Let i(r) = -3*r**3 - 2*r - 1. Let a(c) = -c**2 - c - 2. Let h be a(0). Is 9 a factor of i(h)?
True
Let n = 10 - -12. Is 22 a factor of n?
True
Is 33/45*6*30*1 a multiple of 12?
True
Suppose -7 = d + 2*s, -5*d + 5*s - 35 = 3*s. Let o(c) = -2*c + 8. Is o(d) a multiple of 11?
True
Let a = -56 - -109. Suppose -y + 0*y + a = -2*m, 4 = 2*m. Is y a multiple of 18?
False
Suppose j + 12 = 4*j. Suppose -y - 5*v + 66 = 0, 3*y - j*v = 22 + 176. Does 14 divide y?
False
Let q = 2 - -1. Suppose q*m - 4*m + 10 = 0. Is m a multiple of 10?
True
Suppose 5*f = z + 12, 7*z = 5*f + 4*z - 6. Suppose 0*t - 3*t = 3. Does 3 divide -2*(t - (f + -1))?
True
Let b = 336 + -201. Is 27 a factor of b?
True
Is (-316)/(-12) + (-2)/(-3) a multiple of 6?
False
Suppose 3*k = 57 + 39. Is 11 a factor of k?
False
Let w = 4 + 5. Let t(p) = -p + 14. Is t(w) a multiple of 5?
True
Let j = 218 + -154. Suppose p + 3*z = 23, 0*p - 5*z = 4*p - j. Is p a multiple of 11?
True
Let l(f) = -f**2 - 11*f - 13. Let p be l(-9). Suppose a - 24 = p*j, 3*j + 27 = 2*a - 7. Is 12 a factor of (18/(-7))/((-2)/a)?
False
Let l be 4 - (3 - 6)/(-3). Suppose -l*n + h + 90 = 0, -4*n + 5*h - 46 = -5*n. Is n a multiple of 26?
False
Let x(d) = d - 2. Let f be x(2). Suppose -5*h - 2*n + 71 = -f*n, 0 = -3*h + 2*n + 33. Is h a multiple of 3?
False
Suppose u = -v - 3, 0 = -3*u + u. Is 0 - v/(-3)*-6 a multiple of 6?
True
Let r = 39 + 2. Is 12 a factor of r?
False
Let u(h) = -h**3 + 8*h**2 + 12*h + 13. Let y be u(9). Let g = -13 + y. Is g a multiple of 12?
False
Suppose -o = -5*c + 283, 5*c - 4*o = -11 + 288. Is 11 a factor of c?
False
Let c(o) = -o**3 - o**2 + 12. Let k = -2 + 2. Is c(k) a multiple of 6?
True
Suppose -5*p - j = -130, 0 = 2*p + 2*j - 4*j - 64. Does 27 divide p?
True
Suppose -4*y + 20 = 0, g - 3*y = 6*g - 695. Is 17 a factor of g?
True
Let v(h) = h + 11. Let u be v(-5). Suppose 0 = -y - 4*f + 19, -2*y + u*y = -3*f + 115. Let m = y - -3. Is m a multiple of 13?
False
Let i = 6 - 6. Suppose -f + 62 = -i*r + 3*r, 3*f - 15 = 0. Is r a multiple of 9?
False
Let m(d) = d**3 - 6*d**2 + 14*d - 10. Is m(5) a multiple of 5?
True
Let v = -7 - -5. Let n be 6/(-4)*v/(-3). Is 13 a factor of ((-36)/(-15))/(n/(-15))?
False
Suppose 430 = 4*j + j. Suppose -2*i - 2*y + j = 18, -4*y + 22 = i. Is i a multiple of 19?
True
Let o = -219 - -321. Does 14 divide o?
False
Let p be (-92)/6*9/(-6). Let x = -5 + p. Suppose x = -4*y + 94. Is y a multiple of 15?
False
Let g = -127 - -178. Does 18 divide g?
False
Suppose -j = -22 - 129. Suppose k + j = 5*h, -4*h + 23 = 3*k - 94. Does 15 divide h?
True
Let t = -85 + 53. Is 15 a factor of -1 + (-2 - t) + -1?
False
Let g = 3 - 2. Let w be -3 + 12/1 + -2. Suppose t = w - g. Is t a multiple of 4?
False
Let d(q) = q**3 - 2*q. Does 7 divide d(3)?
True
Let p(f) = -f**3 - 5*f**2 - 2*f. Let i be p(-3). Let u(r) = 2*r - 13 - 6*r - 2. Is 14 a factor of u(i)?
False
Let h(l) = 3*l**2 + 2*l + 1. Let b be h(-1). Suppose 3*j = 4*x + 80, b*x = -4 + 6. Is 15 a factor of j?
False
Let o be 1/2*1*6. Let i be 2/(-12)*-226*o. Suppose -3 = 3*f, i = 2*r - 3*f + 42. Is 17 a factor of r?
True
Suppose z = 4*a + 49, -5*a = 11 + 9. Is 16 a factor of z?
False
Is ((-4)/(-12))/(2/156) a multiple of 13?
True
Let y be 4/(8/6) + 0. Let s be (-50)/18 - 6/27. Let z = y - s. Is z a multiple of 3?
True
Let p(f) = 2*f - 1. Let a be p(5). Let b(g) = g**3 - 7*g**2 - 8*g - 9. Let d be b(a). Suppose 119 = 3*y - 2*k, 2*y + 0*y = k + d. Does 16 divide y?
False
Let s = 144 + -46. Suppose 0*t = -n - 4*t + 12, 3 = 2*n + t. Suppose -4*a - 3*x = -0*x - 231, 2*a - 2*x - s = n. Does 14 divide a?
False
Suppose h + 3*t = 5*h - 474, -486 = -4*h - 3*t. Suppose -30 + h = 3*n. Is 10 a factor of n?
True
Suppose 0 = -2*x + 253 + 169. Let y = x + -124. Let h = 135 - y. Is h a multiple of 16?
True
Let y(q) = -19*q - 8. Is 15 a factor of y(-2)?
True
Suppose 0*w = 4*w - 72. Does 7 divide w?
False
Let q(i) = -4*i - 4. Let y be q(3). Let f be ((-6)/(-1))/(3/y). Is 13 a factor of 0 + 0 + (0 - f)?
False
Suppose -3*l + 46 + 89 = 0. Let w = 91 - l. Does 23 divide w?
True
Suppose 2*s - 37 = 5*k, 0 = 2*s + k + 2*k - 45. Let c = -29 + 59. Let y = c - s. Does 4 divide y?
False
Let h be (-1118)/(-8) + (-14)/(-56). Suppose 5*k - h = -0*k. Is k a multiple of 28?
True
Let o be 438/8*(-32)/(-12). Suppose -3*a + 104 = 2*k, o = 4*a + k + 4. Is 9 a factor of a?
True
Let s = 1 + 8. Let h be (2 + (-15)/s)*6. Suppose -h*r + 60 = 3*r. Is 12 a factor of r?
True
Suppose -4*i + 38 = 3*w, -2*i = 3*w - 0*i - 46. Suppose -5*f = -3*c + 13 + w, -3*c - 4*f = 14. Suppose c*m - 48 = -0*m. Is 12 a factor of m?
True
Let p(r) = r - 4. Does 3 divide p(13)?
True
Suppose -4*z + 754 = -2*p, -4*p = -2*z + 85 + 277. Is 29 a factor of z?
False
Let r be (-2 - (-16)/(-1))/1. Let v be (-2)/(-9) + 4/r. Does 10 divide 6*(3 + 2 + v)?
True
Let r = -5 - -59. Is 2/9 - (-258)/r a multiple of 3?
False
Let q(f) = 2*f**2 + f + 2. Let d be q(2). Suppose 0 = -4*s + d + 8. Suppose -61 - 9 = -s*m. Does 6 divide m?
False
Let f = 360 - 120. Suppose 6*y - f = 2*y. Suppose y = -2*l + 5*l. Is l a multiple of 10?
True
Is 2/6 - (-1)/(-3)*-194 a multiple of 50?
False
Let g = -14 - -39. Let k = -12 + 76. Suppose 3*w + g - k = 0. Is w a multiple of 11?
False
Let f(w) = -3*w - 6. Let t be ((-4)/(-6))/((-6)/108). Does 15 divide f(t)?
True
Suppose -4*w = -d + 59, 5*w = 5*d - 0*d - 70. Let y = 30 + w. Is y a multiple of 5?
True
Let c = -8 + 4. Is c/12 + 20/6 a multiple of 3?
True
Let s(n) = n + 1. Let m be s(1). Suppose 2*p - 6 = -m. Suppose 2*g - 48 = -p*g. Is 6 a factor of g?
True
Is -4*((-134)/8 - -3) a multiple of 19?
False
Does 9 divide (1082/12)/1 - 2/12?
True
Let i(q) = -24*q + q**2 + 2 + 20*q + q**2. Is i(2) even?
True
Suppose y - 5 = -0. Suppose 4*d - 85 = 5*s - 35, 3*d + y*s = 55. Let t = d + -1. Is t a multiple of 10?
False
Suppose -3*t - 12 = -0*t. Let x be 1*(-5)/((-10)/t). Let l = x + 9. Is 7 a factor of l?
True
Let i be (-3 - -5) + -1 - -5. Suppose -i + 0 = k. Let w(p) = -4*p - 5. Is w(k) a multiple of 19?
True
Is 2 a factor of 4/6 + 833/51?
False
Let d = 20 - 18. Suppose 3*h - 21 = -3*x + d*x, 3*x - 55 = -5*h. Does 5 divide x?
True
Let p(i) = -i**3 - i**2 + 2*i - 6. Let o(y) = -3*y**3 - 4*y**2 + 7*y - 19. Let m(k) = 2*o(k) - 7*p(k). Let w be m(-4). Let v = 106 + w. Does 11 divide v?
False
Let d be (-1 - -1)/1 - -3. Let g = 7 - -1. Suppose -3*s = -2*j + d*j, -g = -3*j - s. Is j even?
False
Let j = -64 - -124. Is 15 a factor of j?
True
Suppose 0 = -2*q - q + 6. Suppose -5*c - 8 = -h, c = -q*c - 2*h - 10. Let g = 27 + c. Is g a multiple of 11?
False
Suppose 1 = -2*s + 5. Suppose -6*n + n - 2 = 4*l, -2*n = 2*l + s. Suppose -n*i + 23 = 5. Does 7 divide i?
False
Let p(c) = 4*c**2 - 6. Let x(g) = -11*g**2 + g + 18. Let b(j) = -8*p(j) - 3*x(j). Let v be -1 - -5 - (-30)/15. Is 6 a factor of b(v)?
True
Let k = -9 - -13. Suppose 2*r + 0*r = k. Suppose 0*q = r*q - 12. Is q a multiple of 3?
True
Let p be (-8)/(-6) - (-4)/6. Does 6 divide 45/6*4/p?
False
Is -147*(0 + (-3)/9) a multiple of 18?
False
Suppose -6*y = -3*y - 780. Is 29 a factor of y?
False
Let k(l) = 2*l**2 + 7*l + 5. Is k(-4) even?
False
Let l be 0/((4 - 2)/2). Let s be (-3)/(-6) - 10/(-4). Suppose 0 = 4*z - o - 29, s*z - 4*o + 12 - 50 = l. Does 4 divide z?
False
Suppose -3*d = -8*d. Let f be (d + 0)/(1 - 0). Suppose -l + f = -21. Is 21 a factor of l?
True
Suppose 2*f = -1 + 9. Suppose -4*n = -0*n, f*z - 2*n = 12. Suppose 4*j - z*j - 8 = 0. Does 8 divide j?
True
Suppose w = -w + 36. Is 10 a factor of w?
False
Is 11 a factor of -1 + 18/6 + (0 - -96)?
False
Let g be 195/21 + (-4)/14. Suppose 7 + g = 4*y. Suppose 6*w - y*w - 14 = 0. Is w a multiple of 5?
False
Suppose 5*l - 175 = -5*y, 2*l + 3*l = -2*y + 172. Is l a multiple of 17?
True
Suppose 6 = 2*d + s - 28, 3*d - 41 = s. Let k = d - 8. Is k a multiple of 7?
True
Let w(j) = 2*j - 5. Let m be w(6). Suppose -2*b = r - 5, -3*b + 18 = 5*r - m. Suppose 0 = -4*f - 8, y - f + r*f = 1. Is y a multiple of 9?
True
Suppose -3*x - 27