Let u = 8 + 0. Let f be ((-2)/u)/((-2)/296). Let v = f - 18. Is 9 a factor of v?
False
Let d = 2 - 11. Let z = 16 + d. Is 7 a factor of z?
True
Let g = 31 - 18. Is g a multiple of 4?
False
Let t(z) = z**2 - 3*z - 1. Let g be t(4). Suppose -q + 18 = 5*x - g*x, 5*q = 3*x + 77. Is 12 a factor of 4/q + (-95)/(-4)?
True
Let n be -1 - -5*3 - -2. Let b = 4 + n. Suppose -b = -s - s. Is s a multiple of 10?
True
Let o = 0 - 2. Let c = o + 5. Suppose i = -0*i + 2*d + 31, -c*d - 141 = -5*i. Is 8 a factor of i?
False
Let f = 332 - 125. Is f a multiple of 27?
False
Let v(t) = -t**3 - 6*t**2 + 3*t + 3. Let m be v(-6). Does 13 divide (-140)/(-3) - 5/m?
False
Let k(i) = 2*i + 3. Let u(w) = 6*w + 10. Let a(l) = 14*k(l) - 5*u(l). Let q be 39/(-2)*(-20)/(-30). Is a(q) a multiple of 11?
False
Let p = -2 + 4. Suppose 3*l - 2 = p*k + 1, -4*l - 3*k + 4 = 0. Is 3 a factor of 4*9/6 + l?
False
Suppose 3*u + 2 + 1 = 0. Let o be u/3*(-9)/1. Is 10 a factor of o/(-9) + 170/6?
False
Let s = 81 + -46. Suppose j - 12 = 7. Let d = s - j. Is d a multiple of 8?
True
Let m(l) = 3*l**2 - 5*l + 12. Does 15 divide m(6)?
True
Let b = 4 - -1. Suppose b*r = 22 + 3. Suppose -3*z + 62 = -0*z + r*h, 3*h = -3*z + 66. Is 12 a factor of z?
True
Suppose 0 = -4*p - 0*p - 28. Is (p - -17)/(1/5) a multiple of 25?
True
Let b be (-585)/(-63) + (-4)/14. Suppose u - 10 - b = 0. Is 7 a factor of u?
False
Let w be 12/(-32) - (-19)/8. Suppose -4*h + 3*h + 211 = 4*o, 58 = o + w*h. Is o a multiple of 9?
False
Let s be -3 + -1 + 2 + 4. Does 6 divide 1 - 2 - (-22 + s)?
False
Is 21 a factor of ((-176)/(-4)*-1)/(-1)?
False
Let v be 8/(-24) + 16/3. Suppose v*a + 23 - 223 = 0. Is a a multiple of 21?
False
Let s(y) = 3 - 9 - y - y. Let n be s(-4). Suppose n = -f - 4*a - 8, a = 4*f - 28. Does 3 divide f?
True
Let m = -29 + 24. Let d(f) = 0*f + 4*f + 2*f**2 + 2*f - 4. Is d(m) a multiple of 15?
False
Let w(m) = -m - 7. Let t be w(-6). Let j = 4 + t. Is ((-20)/(j/3))/(-1) a multiple of 11?
False
Suppose -24 = -5*n + 1, p - 3*n = 125. Suppose 3*h - 27 = -5*c, -5*h + 2 = -18. Suppose -c*s + 2*g = -p, g = 2*g - 5. Is 25 a factor of s?
True
Let r = 21 - 8. Let o = 20 - r. Is o a multiple of 3?
False
Let a(y) = -y**3 + 3*y + 6. Is 4 a factor of a(-4)?
False
Is 11 a factor of (22/3)/(2 + 64/(-36))?
True
Suppose -2*n = -9 - 7. Suppose n*s - 4*h = 4*s + 176, 5*s - 220 = 3*h. Is 15 a factor of s?
False
Suppose -11 = -5*m + 249. Is 26 a factor of m?
True
Suppose m = 6*m - 90. Is 3 a factor of m?
True
Suppose 3*t - 72 - 57 = 0. Suppose -t - 41 = -2*k. Does 21 divide k?
True
Suppose -16 + 7 = -3*o. Let n(r) = -21*r**3 - 3*r**2 - r - 2. Let l be n(-2). Suppose -g = o*g - l. Is 19 a factor of g?
False
Let o(w) = -w**3 + 5*w**2 + 4*w + 7. Let n be o(6). Let k = n - -19. Is k a multiple of 10?
False
Let w = 15 + -3. Is 4 a factor of w?
True
Let k = -9 - -15. Let o = -280 - -139. Does 11 divide (-3)/6 - o/k?
False
Suppose -f - 6 = t - 34, -2*t + 57 = f. Is 29 a factor of t?
True
Suppose -2*d = 3*v - 21, 2*v + 0*v - 12 = -d. Suppose -4*b + d*b = 14. Is 6 a factor of (-6 + 4)*-1*b?
False
Let x(h) = 102*h**3. Let w be x(1). Suppose 3*f - 148 = 5*r, 5*r + w = 2*f - 0*f. Does 17 divide f?
False
Suppose 0 = -p + 9*p - 1296. Is 27 a factor of p?
True
Let j be (-3)/(2 - 740/376). Let w = -50 - j. Does 9 divide w?
False
Let w(b) = -b**3 - 13*b**2 - 6*b + 32. Is 28 a factor of w(-13)?
False
Suppose -4*o - 50 = -410. Is 5 a factor of o?
True
Suppose f + 4*w - 21 = 0, 2*f = -5*w + 3*w + 24. Does 4 divide f?
False
Let o be 6/(-2)*235/15. Let b = 82 + o. Suppose -5*i + 4*i = -b. Is 14 a factor of i?
False
Suppose 4*b - 75 = -b. Let f be (1*3)/(b/(-10)). Does 2 divide (0 - -3) + (-2)/f?
True
Let m(s) = -s + 8. Let n be m(-13). Suppose -5*x - 3*l + 24 = 0, 2*x + 3*l - n = -6. Suppose 0 = -x*k + 3*u + 108, -2*u - 51 = -k - 6*u. Does 13 divide k?
True
Let q(f) = -2*f**2 + f. Let h be q(-2). Let y = h - -29. Is 6 a factor of y?
False
Let z(h) = -h**3 - 4*h**2 - h + 6. Let i = -5 + 0. Does 18 divide z(i)?
True
Is 84*3/18*2 a multiple of 8?
False
Let y = 12 - -21. Does 7 divide y?
False
Suppose -l + 2*l - 3 = 2*i, 9 = 3*l + 3*i. Suppose l*p + v - 11 = 5*v, 47 = 3*p + 5*v. Does 3 divide p?
True
Suppose 3*b - 10 = 2. Suppose 5*z - 10 = b*z. Does 10 divide z?
True
Suppose -1728 - 2 = -5*g. Is 33 a factor of g?
False
Let b(r) = 2*r**2 + r + 3. Let t be b(6). Let j = -51 + t. Is j a multiple of 15?
True
Let r(x) = 26*x - 53. Let o(d) = -9*d + 18. Let a(s) = 11*o(s) + 4*r(s). Is a(10) a multiple of 18?
True
Let t = -14 - -23. Suppose -r + t = -5*h, -5*r - h = -6*h - 45. Does 9 divide r?
True
Suppose 12 = -3*m - 15. Let w = 5 + m. Does 13 divide ((-18)/w)/3*30?
False
Let v be 0*1/1*-1. Suppose 3*w + v*w - 42 = 0. Does 7 divide w?
True
Suppose -y + 2*y - 19 = 2*v, 81 = 5*y - 3*v. Suppose -5*s = y + 15. Let w(g) = -3*g - 2. Does 8 divide w(s)?
True
Suppose 2 = 2*k, 4 = -j - 0*k + 5*k. Let b(z) = z**3 - 7*z**2 + 1. Let n be b(7). Let t = n + j. Is 2 a factor of t?
True
Suppose -4*n = 12, k = 3*k + n - 9. Is 3 a factor of k?
True
Let x(l) = -3*l**2 + 13*l + 3. Let r(j) = -j**2 + 7*j + 2. Let u(b) = -5*r(b) + 2*x(b). Is u(-8) even?
True
Let l(z) = z**2. Let w be l(-2). Suppose -w*m + 15 = m. Suppose -20 = -4*o, -m*y + o = -o - 8. Is y a multiple of 3?
True
Let z(k) = 2*k**2 - 2*k - 7. Is 21 a factor of z(-7)?
True
Let v be (4 - 11)*20/(-14). Let p(g) = 4*g - 15. Let j be p(v). Let o = -13 + j. Is o a multiple of 12?
True
Suppose 2*s + 7 - 59 = -q, 5*q = -3*s + 78. Is 6 a factor of s?
False
Let x = 2 + -2. Suppose -l + 4 + 0 = x, -2*l = 4*d - 36. Is d a multiple of 6?
False
Is ((-8)/10)/((-2)/100) a multiple of 8?
True
Suppose d + 1170 = 6*d. Let v be ((-1)/(-2))/(3/d). Let y = v - 24. Is 15 a factor of y?
True
Let w be (-24)/(-15) - (-6)/15. Let u be (5/(-2))/((-2)/(-16)). Is 10 a factor of ((-2)/2)/(w/u)?
True
Let t(y) = -5*y**2 + 2*y - 1. Let k(a) = -6*a**2 + a - 2. Let d(u) = -6*k(u) + 7*t(u). Is d(-9) a multiple of 4?
False
Suppose 2*t + 0*t = -4*h - 20, 2*t - 22 = 3*h. Suppose f = z - 10, 3*z + 4*f = 2*z + 5. Let n = z + h. Is 3 a factor of n?
True
Suppose -p + 92 = 34. Is p a multiple of 9?
False
Let v = 114 - 50. Let k = v + -20. Is k a multiple of 20?
False
Suppose 3*i - 4*w + 216 = 7*i, 246 = 5*i - w. Does 18 divide i?
False
Suppose 3*j = -h - 15, -4*h - 10 = -4*j + 6*j. Suppose h = -v - 4*v + 610. Suppose 0 = -4*p + v + 70. Is 18 a factor of p?
False
Suppose w - 8 = 5*w. Let o be w/(-6)*(14 + -5). Suppose q + 2*p - 4 = 0, -o*p - 9 = 3. Is 6 a factor of q?
True
Let j(n) = n + 6. Let z be j(-6). Suppose z*h + 16 = 4*h. Suppose 0*i - i - 192 = -h*s, -i - 48 = -s. Is s a multiple of 19?
False
Let z be ((-8)/6)/((-6)/72). Suppose -z = -x - 0*x. Is 16 a factor of x?
True
Let j(w) = 2*w + 81. Is j(-21) a multiple of 20?
False
Let t(l) = l**2 + l. Let k be t(6). Suppose 3*z + 2*z + 20 = 0, -4*x = -5*z - 292. Suppose -k - x = -5*y. Is 11 a factor of y?
True
Suppose 9*u + 3*p - 354 = 6*u, 4 = -2*p. Is 10 a factor of u?
True
Suppose -4*i + 4 + 76 = 0. Is 5 a factor of i?
True
Let t(s) = s + 21. Let i(p) = p**3 + 5*p**2 + 4*p + 10. Let v be i(-5). Is t(v) a multiple of 11?
True
Let k = 10 - 4. Is 3 a factor of ((-4)/k)/(8/(-132))?
False
Let i(b) = -b**2 + 3. Let m(z) = 1. Let h(j) = i(j) - 2*m(j). Let r(u) = 5*u**2 - 11*u - 5. Let k(a) = 6*h(a) + r(a). Is k(-9) a multiple of 6?
False
Let b(o) = -12*o - 87. Is b(-9) a multiple of 2?
False
Suppose f = 4*f - 18. Let o be f - -8 - (0 - 0). Suppose -2*q = -4*q - 2*t + 30, -2*t = -2*q + o. Is 11 a factor of q?
True
Suppose 2*h + 15 = -h, -5 = -4*c + h. Let s be 2/1 + 2 + c. Suppose 4*f + 2*j - 54 = 0, f - s*f - 2*j + 39 = 0. Is f a multiple of 8?
False
Suppose 2*s - 12 + 4 = 0. Suppose -4*v + 36 = -2*x, -s*v + 40 = -7*x + 4*x. Does 7 divide v?
True
Let x be 15/(-10) + 3/2. Suppose x*k + 4 = k. Is k even?
True
Suppose 0 = -3*h + 8*h + 4*d - 864, 2*h - 368 = 4*d. Is 22 a factor of h?
True
Let i(q) = 14*q - 2. Suppose -3*h + 6*h = -12. Let m be i(h). Let r = 86 + m. Is 14 a factor of r?
True
Suppose 37 = 3*y - 2*s, -y = 3*y + s - 31. Suppose -y = 2*r - 21. Let h = r + -3. Is 3 a factor of h?
True
Let v = -11 + 172. Let u = v - 94. Let d = -37 + u. Does 19 divide d?
False
Is 21 a factor of 8/20 - (-1252)/20?
True
Let a(n)