 a multiple of 31?
False
Suppose 4*m - 13 = -5. Let t = m - 14. Does 15 divide (-358)/t + (-1)/(-6)?
True
Is 15 a factor of (16/56*-7)/(4/(-1278))?
False
Let a = 464 + -174. Suppose -5*v + x + 3*x = -a, 2*v - 2*x - 118 = 0. Is 27 a factor of v?
True
Let i(w) = w + 197. Is 9 a factor of i(28)?
True
Suppose -4*a = 37 - 177. Let y = 160 - a. Does 18 divide y?
False
Let g(s) = -s**2 + 11*s. Let x be 1/(-6)*2*6 - -10. Is g(x) a multiple of 12?
True
Is 16 a factor of (1 - 11) + 2 + (-129 - -1369)?
True
Suppose -c = -8 + 1. Let s = 9 - c. Suppose 83 = 5*z + s*t, -5*z - 4*t = -128 + 37. Does 12 divide z?
False
Suppose 1853 = 3*k + 14*k. Is k a multiple of 8?
False
Let q(s) = -s**2 + 30*s - 45. Is q(21) a multiple of 6?
True
Suppose 3 = f + 2*f. Let n be -1*(f - (2 + -1)). Suppose n = 2*a + 2*g + 15 - 49, 5*g = -2*a + 28. Is a a multiple of 10?
False
Suppose 2*c - 6 = -0. Let y(q) = 4*q + 30. Let b be y(-7). Suppose c*i + 0*i = b*t + 180, -3*i + t = -183. Is i a multiple of 13?
False
Let s(d) = 2*d**2 + 12*d + 21. Is s(-8) a multiple of 3?
False
Suppose 102*z + 440 = 106*z. Is 21 a factor of z?
False
Let q = 446 + 106. Is q a multiple of 10?
False
Let g = -18 + 60. Suppose 4*x - g = -s, 0 = 2*s + x + 3*x - 64. Is 22 a factor of s?
True
Let r be 2*3*4/6. Let p be -4 - -27 - (-2 + r). Is 20 + p/3 + -4 a multiple of 13?
False
Suppose 0 = -2*l + 4*m + 950, -5*l + 45*m = 43*m - 2335. Is 31 a factor of l?
True
Is 9 - -4 - 0/(-1 - -2) even?
False
Let v be (-55)/(-10)*(-82)/(-1). Suppose 4*q + 496 = 4*r, r + v = 5*r + 5*q. Suppose -5*l = -3*f - r, 0*l + 4*f - 54 = -3*l. Is 17 a factor of l?
False
Suppose -3*j = -61 - 17. Let p = -12 - 7. Let l = j - p. Does 9 divide l?
True
Let u(j) = 7*j + 31. Let w be u(-4). Suppose 5*l - 2*v = 226, -w*l - 4*v = -81 - 65. Is l a multiple of 21?
False
Suppose 28*m = 31*m + 6, 3*m = -2*a + 4224. Is a a multiple of 47?
True
Let b(d) = 1 - 12*d - 13 + 3 - 7*d. Is b(-7) a multiple of 22?
False
Let q be (-2)/8*(-6 + 2). Let c(j) = 21*j**2 + 2*j - 2. Let i be c(q). Suppose 4*f - i = 67. Is f a multiple of 15?
False
Let t = 3684 - 644. Is t a multiple of 24?
False
Is 4/(-14) - 102528/(-168) a multiple of 16?
False
Is 7 a factor of (-4 - -123) + 0 + 7?
True
Let o(p) = -p**3 + 17*p**2 + 20. Is o(12) a multiple of 20?
True
Suppose -4*p = 5*z - 83, -2*z + 2 = -4*z. Is p a multiple of 2?
True
Suppose l = 1 + 92. Is 2170/l - (4/(-6) - -1) a multiple of 23?
True
Let l be (0/5)/(1 - -1). Suppose l = 4*b - b - 9. Does 2 divide b?
False
Suppose 0 = t, -2*t + 250 = b - 26. Does 46 divide b?
True
Suppose -3*z + 14 + 1 = 0. Suppose -z*u = 2*c - 205, -u - 299 = -3*c - 0*u. Suppose -127 + 21 = -4*o - 2*b, -5*o + 4*b = -c. Is 8 a factor of o?
True
Let l be 2/(-2) + 5 + 1. Suppose -77 = -3*o + 3*d - l, d = -5. Does 16 divide o?
False
Suppose 15 - 63 = -4*w. Suppose -9*j - 3 = -w*j. Is (j + 0)/((-6)/(-72)) a multiple of 6?
True
Suppose -4*i + 3*i + 57 = 0. Let p be ((-27)/(-6))/(22/(-4) - -7). Suppose -i - 135 = -p*b. Does 16 divide b?
True
Suppose -84 - 16 = -j. Suppose -5*s = -4*s - j. Is 25 a factor of s?
True
Suppose 3*z = 24 + 54. Is z even?
True
Suppose -b = 2, -4*k = -0*k + 3*b + 86. Let u = k - -23. Suppose -2*g = 2*f + 2*g - 44, -f + u*g - 3 = 0. Is 4 a factor of f?
True
Is 18 a factor of -1438*1*(-16)/(9 - -23)?
False
Suppose 5*y - j + 2*j = 0, 0 = y + 3*j. Suppose -3*s - 3*a + 18 = y, 5*s + 5*a = 4*s + 6. Is 6 a factor of s?
True
Let f = 2659 - 1820. Is 6 a factor of f?
False
Suppose 0 = -11*z + 1239 - 73. Is z a multiple of 20?
False
Suppose p + 4*r - 185 = 0, 4*p = -0*p + r + 655. Is 15 a factor of p?
True
Let v = -3 - -170. Suppose 10*j + 274 = -676. Let b = v + j. Is b a multiple of 11?
False
Let b = 661 + -586. Does 2 divide b?
False
Let c(s) = s**2 + 15*s + 4. Suppose 0 = -4*f - 0*f - 60. Let j be c(f). Is 13 - (j + (-4 - -1)) a multiple of 12?
True
Suppose 4*o = -b - 3, 4*o = 5*b + 20 - 5. Suppose o*q - 36 = -9*q. Does 2 divide q?
True
Let o be 89 + 0 + -1 + 1. Let s = o - 52. Suppose -20 = -4*h, s = 4*i - h + 6*h. Does 2 divide i?
False
Let m be (-17)/(-6) + (5 - 7)/(-12). Let p be ((-1)/(-2))/((-1)/(-6)). Suppose 0 = -u + m*k + p, -3*u + 44 = -k - k. Does 9 divide u?
True
Let t be (-15)/10 - (-1)/2. Is 8/(-8) - t*35 a multiple of 17?
True
Let y be 20/(0 - -4) + -2. Let q = y - -15. Suppose q = o - 2*g, 3*o - g - 59 = -0*o. Is 10 a factor of o?
True
Suppose 204*l - 478 = 203*l. Does 25 divide l?
False
Let q be (4/(-7))/2*-7. Suppose -6*z + 12 = -q*z. Suppose -32 = -z*m + 4. Is m a multiple of 4?
True
Let u be (-4328)/(-7) + -2 - 22/77. Suppose -5*c + u = n, 3*c - 302 - 78 = 2*n. Does 16 divide c?
False
Is (-2696)/(-36) + 7 - 2/(-18) a multiple of 31?
False
Let c(t) = 4*t**2 - 33*t + 58. Let n be c(6). Let o(v) = -11*v**3 - 3*v**2 + v + 2. Let a be o(-2). Suppose a = 8*z - n*z. Does 3 divide z?
False
Let f(y) = 2*y - 7. Let c be f(5). Suppose -4*o = -c*w - 0*w - 1623, 2*o - 799 = -w. Is 8 a factor of 18/(-90) - o/(-10)?
True
Let y(o) = -o**3 + 12*o**2 + 14*o + 8. Let n be y(13). Suppose 5*m - 9 = n. Does 4 divide m?
False
Is 6 a factor of 402/335 - (-1459)/5?
False
Let c = 14 + -11. Suppose 2*w + 2*q - c*q - 2 = 0, -2*q + 8 = 2*w. Suppose w*u - 10 = 0, 3*j - u - 8 = -1. Is j a multiple of 4?
True
Let q(u) = -14*u - 66. Does 10 divide q(-14)?
True
Does 7 divide (3 - 1) + (0 - -5)?
True
Let a(x) = 718*x - 9. Does 38 divide a(1)?
False
Suppose 10*m - 6110 = 8570. Is m a multiple of 17?
False
Let b = -575 + 1081. Is b a multiple of 22?
True
Let s(f) = 1. Let r(p) = p - 9. Let m(l) = r(l) + 6*s(l). Let x be m(7). Suppose -x*j + 7*k - 2*k + 100 = 0, 2*k = j - 28. Is j a multiple of 10?
True
Let a be -3*10/45 + (-1360)/(-6). Suppose y = -y + 3*w + 222, 5*w + a = 2*y. Is y a multiple of 18?
True
Suppose 18*w - 26 - 22708 = 0. Is 21 a factor of w?
False
Let a(l) = -l**3 + 16*l**2 + 18*l - 18. Let n be a(17). Does 8 divide (n - 1)*(-4 + -4)?
True
Let p(o) = o - 1. Suppose -2*q = -9 - 1. Let v be p(q). Let l = 18 - v. Does 7 divide l?
True
Suppose -2*y + n + 685 = 0, 2*y + 4*n = 4*y - 688. Suppose -3*s - y = -6*s. Let z = s + -28. Does 30 divide z?
False
Let f = -44 - -30. Let r = f + 0. Is 29 a factor of 4*15 + 28/r?
True
Let z be 2/(-6) + 258/18. Let h = z - -35. Is h a multiple of 7?
True
Let w = -7 - -31. Suppose -4*p + 4*g = -w, -3*p - g = g - 43. Let x = 18 - p. Is x a multiple of 6?
False
Let c(j) = -6*j - 1. Let q be c(-1). Let w(k) = 13*k + 30. Is 19 a factor of w(q)?
True
Suppose -33*c + 31*c = -306. Is c a multiple of 30?
False
Let s = 13 + 81. Suppose o = -h + 103, -5*h + s + 415 = 3*o. Does 15 divide h?
False
Let x(t) = -18*t + 64. Is 4 a factor of x(-8)?
True
Suppose -24*b + 20*b + 16 = 0. Suppose 4 = -b*v + 1012. Does 36 divide v?
True
Let k = -32 + 37. Let s(g) = 7*g + 11. Is s(k) a multiple of 23?
True
Let p = -3 - 12. Let c = -13 - p. Suppose c*i - 84 = -i. Does 14 divide i?
True
Suppose -5*g = 39 - 139. Suppose q + 3 - 4 = 3*c, 4*c + g = 4*q. Is q a multiple of 7?
True
Let t(s) = s - 1. Let l(w) = -12*w**2 - w + 6. Let j(a) = l(a) + 4*t(a). Let h be j(6). Does 8 divide h/(-24) - (-1)/(-6)?
False
Let d(c) = 198*c - 600. Is d(20) a multiple of 30?
True
Is 83 a factor of 80 + 8/(-16)*-6?
True
Suppose -5*v + 28 = 4*b, v - 5*v + 10 = -3*b. Does 6 divide (-2 - (-3)/b)/((-2)/168)?
True
Suppose 3*a - 12 - 15 = 0. Is 14*5 - (a - 5) a multiple of 10?
False
Let v be 4 + -303*(-2)/6. Let p = -46 + v. Let w = p - 41. Is w a multiple of 9?
True
Suppose -2*n = v - 189, -8*n + 3*v + 261 = -5*n. Does 23 divide n?
True
Let w(m) = m**2 - 13*m - 8. Let r(k) = -3 - 3 + 4 + 1. Let b(l) = -3*r(l) - w(l). Is b(11) a multiple of 11?
True
Let f(y) = 114*y - 292. Is f(6) a multiple of 14?
True
Let x = -127 + 132. Is x/(75/(-42))*-40 a multiple of 28?
True
Is 159 a factor of 4*159/20*5?
True
Let j be (5 - -5)*(-2 - -3). Let o(m) = m**3 - 11*m**2 + 12*m + 14. Is o(j) a multiple of 8?
False
Suppose 3*o - 1421 = -u + 588, 5*u - 25 = 0. Does 26 divide o?
False
Let m be -5*2/3*-3. Is 23 a factor of (m - 79)*(-4)/6?
True
Suppose -2*a - 5*h = -11029, -27*a + 23*a - 4*h = -22052. Is a a multiple of 53?
True
Suppose -2*d + 32 = 2*o, -3*o + d + 44 = -0*o. Let s = o - 15. Suppose s = -5*j - 4*v + 386, 2*j = -0*j + 4*v + 160. Is 26 a factor of j?
True
Let j =