 c = 4. Is 7 a factor of b?
False
Suppose -4*i + 59 + 9 = 0. Let f = 32 + -4. Let r = f - i. Does 11 divide r?
True
Suppose 1 = 4*q + 13. Does 20 divide (45 - 2) + 5 + q?
False
Does 8 divide -9*10*(-2)/4?
False
Let z = 2 - -3. Suppose -m + d - 4 = -10, -2*m - 16 = z*d. Suppose -7*v + 50 = -m*v. Is 10 a factor of v?
True
Suppose 2*s + 69 = 5*f - 37, 5*f - 85 = -5*s. Is f a multiple of 20?
True
Let o(q) = -7*q**2 + 11*q - 4. Let s(i) = -i**2 + i - 1. Let b(r) = -o(r) + 6*s(r). Is 16 a factor of b(-6)?
True
Let f = -24 - -31. Is 7 a factor of f?
True
Let x(l) = -3*l**2 - 5*l + 6. Let h(g) = 9 - 3*g**2 - 6*g + 0*g**2 - 2. Let z(v) = 4*h(v) - 5*x(v). Is z(2) a multiple of 6?
True
Suppose -4*l - 261 = -3*s, -4*s - l + 376 = 3*l. Suppose -s = 5*n + 14. Does 5 divide n/(-4) - (-1)/(-4)?
True
Let f(n) = -3 + 0*n**2 + 11 - n**2 - 7*n + 0*n**2. Is f(-7) a multiple of 8?
True
Let a be (2 - -1)*(-6)/(-2). Is 12 a factor of (a/(-6))/((-2)/32)?
True
Let w(o) = o - 6. Let p be w(8). Let j be (-17)/2*8/p. Let f = -22 - j. Does 6 divide f?
True
Let h(g) = -95*g**3 - 1 + 192*g**3 - 96*g**3. Suppose 14 - 6 = 4*s. Is h(s) a multiple of 4?
False
Let p = 8 - 2. Let z(a) = a**2 + 4*a - 6. Does 14 divide z(p)?
False
Let q = -150 - -268. Suppose g + 66 = 3*m, -m + g - q = -6*m. Does 11 divide m?
False
Let f(p) = p**2 - 4*p + 1. Let z be f(3). Let i be z + 1*3/1. Suppose 0 = 5*d + 15, -j - d + i = -3. Is j a multiple of 7?
True
Suppose h = -h + 2*u - 38, -h - 16 = -4*u. Let j = h - -31. Suppose 4*o + 2 = 2*n - 2, o - j = -n. Does 8 divide n?
True
Let h = 7 - 4. Suppose -2*a + 5*a = 3*p + 186, 253 = 4*a - h*p. Is a a multiple of 20?
False
Let s = -15 - -18. Let a = s + 5. Does 8 divide a?
True
Let c = 3 - 0. Suppose 0*j - 3*j + 48 = 4*z, -c*j - 5*z = -48. Is 16 a factor of j?
True
Let p(u) = -u + 45. Let n be p(0). Suppose 0 = 5*z, -2*b + 0 = -5*z - 8. Suppose 40 = v + v + b*x, 2*v = -3*x + n. Is v a multiple of 15?
True
Suppose 0 = -5*j + 32 + 208. Is 16 a factor of j?
True
Let x be 178/5 + (-3)/5. Suppose 4*z = -x + 155. Does 13 divide z?
False
Suppose 4*u - 1 - 3 = 0, -3*u - 327 = -3*l. Is l a multiple of 22?
True
Let z(h) = -2*h - 3. Let d be z(-3). Suppose 2*q = a + 21, 0 = -0*a - a - d*q - 6. Does 14 divide 2/(-6) + (-215)/a?
True
Let f(p) = p**2 + 6*p + 13. Is 8 a factor of f(-9)?
True
Let a(r) = r. Let b be a(-2). Does 9 divide 11 - (-3 + 2 - b)?
False
Let i(v) = -2*v + 1. Let d be -3 + 2 + 8 + -2. Let x be i(d). Is (3 + (-14)/3)*x a multiple of 6?
False
Suppose -4*c = -14*c + 120. Does 2 divide c?
True
Let u(k) = 59*k**2 - k. Let i be (-9)/(-3) + (-1 - 1). Is 16 a factor of u(i)?
False
Suppose 0 = -4*n + 87 + 113. Is n a multiple of 25?
True
Let j(k) = 5*k - 4. Is j(20) a multiple of 16?
True
Let t(f) = -f**3 + 5*f**2 + 6*f + 1. Let w be t(6). Suppose -2*l + 37 = 5*y, y - w + 0 = 0. Does 5 divide l?
False
Let p be 1 + ((-2)/(-2))/1. Let z(q) = -8 + 2*q + q**3 + 8*q**2 + 5*q**p - 6*q**2. Does 16 divide z(-6)?
True
Let r = 110 - 100. Is r a multiple of 10?
True
Suppose -7*i = -10 - 305. Does 9 divide i?
True
Suppose 0 = 4*a - 5*b - 710, 0 = 4*a + 3*b - 278 - 448. Does 13 divide a?
False
Suppose -3*q + 0 = -6. Is 9 a factor of 219/9 - q/6?
False
Let r = -5 + 8. Suppose -g - 44 = -i - 2*g, 2*g - 127 = -r*i. Does 14 divide i?
False
Suppose 0 = 4*b + b - 460. Suppose 2*m + 3*p + 102 = 5*m, -3*m - 2*p = -b. Suppose -7*s = -3*s - m. Is 8 a factor of s?
True
Let k = -10 + 5. Let z(v) = 4*v - 1. Let h be z(5). Let u = h + k. Is u a multiple of 7?
True
Suppose -522 + 130 = -4*a. Let b be (-12)/1*11/2. Let i = a + b. Is i a multiple of 16?
True
Suppose 5*m = 3*q + 48, 64 = -6*q + 2*q - m. Let a = 31 + q. Does 9 divide a?
False
Suppose 2*l + 0*c + 5*c = 126, 5*l - 315 = -3*c. Is 15 a factor of (-16)/8 + l + 0?
False
Let o = 59 + -11. Is 13 a factor of o?
False
Let s(z) = 112*z**3 - 2*z**2 + 1. Let g be s(-1). Let w = g + 64. Let y = w + 76. Is y a multiple of 12?
False
Suppose -3*x = 2*v + 11 + 9, -40 = 4*x - 4*v. Let s = 31 + x. Does 6 divide s?
False
Suppose 2*c - 3*j + 35 - 146 = 0, -j + 1 = 0. Suppose 5*a = -3*v - 105, v - 2*a + 28 + 7 = 0. Let b = v + c. Is b a multiple of 13?
False
Let g(w) = -w**2 + 15*w - 12. Let s be g(14). Let b = s - -3. Is 2 a factor of b?
False
Suppose 5*s - 256 = -4*b, -6*b + 11*b - 329 = -4*s. Does 8 divide b?
False
Let a(d) = -5*d + 2. Let r be a(-7). Let k be -52*(0 - 2/4). Suppose 2*g = -2*w + 4*w + k, 4*g + w = r. Is 5 a factor of g?
True
Suppose -2*g = 5*n - 84, -g + 119 = 2*g + 4*n. Suppose -3*y - 4*z + g = 0, 2*y + 7*z - 4*z - 23 = 0. Does 7 divide y?
False
Let d = -929 + 534. Let l be (8/(-20))/(1/d). Is 9 a factor of 2/9 - l/(-18)?
True
Let p(w) = 2*w**2 - w - 1. Suppose -2*y + y + 4 = 0. Does 7 divide p(y)?
False
Let c(p) = p. Let d be c(0). Let z be (6 - d)/(-3) + -11. Does 12 divide 2/((-2)/z) - -1?
False
Let f(i) = i**3 + 3*i**2 - 3*i + 3. Let h be f(-4). Is 0/(-2) - (-2 + h) even?
False
Let i be 6/4 + 18/4. Is 5 a factor of (3 + (-21)/i)*-30?
True
Suppose -16 = l - 2*b + 16, -3*b + 63 = -2*l. Let p = l - -6. Let x = -11 - p. Does 9 divide x?
False
Suppose -2*b = 1 + 3, 4*g + 5*b - 250 = 0. Is g even?
False
Suppose -4*f + 3*f = 10. Let n be (-6)/12 - f/4. Suppose -n*u - 3*b = -5, 4*b + 3 = b. Is u a multiple of 2?
True
Let z be ((-6)/(-7))/((-13)/(-546)). Let q = 1 + z. Is q a multiple of 17?
False
Let q = -156 + 218. Does 32 divide q?
False
Suppose -5*l - 4*m - 8 - 16 = 0, 3*l - 2*m = -10. Let k be 21/6 + 2/l. Suppose -2 = d, 0 = -4*a + k*d + 103 - 41. Does 6 divide a?
False
Suppose -n + 2*n = 4. Suppose -180 = -n*g - 0. Is g a multiple of 15?
True
Suppose 0 = -4*g + 4*m + 20, 0*g - m - 11 = -3*g. Suppose -5*u + 67 = g*b - u, 0 = 4*u + 20. Is b a multiple of 15?
False
Is 17 a factor of (-32)/12*(3 - 171/6)?
True
Let s be -5*(-4)/(-10)*-1. Suppose -2*q = -3*o - 13 - 3, 2 = 5*q + s*o. Is (2*4/2)/q even?
True
Suppose -5*q - 1105 = -5*z - 105, z - 5*q = 184. Does 17 divide z?
True
Let y be (1 - -2)*8/12. Suppose 0 = -5*h - y*v + 2, -2 = 5*h - 5*v + 3. Suppose 4*m + 2 - 18 = h. Does 4 divide m?
True
Let s(m) = -228*m**3 + 2*m**2 + 5*m + 3. Is s(-1) a multiple of 19?
True
Let f(k) = 3*k + 6. Let n be (-8)/36 - 281/(-9). Let v = n + -19. Is f(v) a multiple of 21?
True
Suppose -5*n + 4*b - b + 6 = 0, 4*n = 3*b + 6. Let a = -2 + n. Is 8 a factor of -3*a/(-3) - -10?
True
Let t(m) = m**2 - 9*m - 6. Let q be t(10). Suppose -4*g + 3*y + 150 = 0, q*y = -g - 0*g + 47. Is 13 a factor of g?
True
Let s be 1/(-2) + 20/(-8). Let i be 6/4*(-58)/s. Suppose 3*t = -q + 23, 2*t + 3*q = -2*t + i. Is 4 a factor of t?
True
Suppose -3*q - 2*q + 330 = 0. Let h = -8 + 50. Let v = q - h. Is v a multiple of 7?
False
Let o(w) = -10*w - 33. Does 13 divide o(-12)?
False
Let q be 3/(-3*1) - -11. Suppose -4*g + q = -3*g. Suppose -5*o = -v - 7*o + g, 5*o + 125 = 5*v. Is v a multiple of 10?
True
Is 1/(-4) + (-680)/(-32) a multiple of 7?
True
Let y be 2 + (-2)/(3 - 1). Is 20 a factor of y/(-1 - 54/(-53))?
False
Let n(g) = g - 5. Let u be n(5). Let q(v) = 19 - 9*v + v**3 + 5*v + 5*v. Is q(u) a multiple of 19?
True
Suppose 3 - 5 = -4*y + 2*a, 5*a + 16 = -y. Is 2 a factor of (-6)/(-1)*y/(-2)?
False
Suppose 0 = -3*h + l + 19, 0 = 4*h - h - 2*l - 20. Is h even?
True
Let n(a) = 49*a**2 - 2*a - 8. Is n(-2) a multiple of 23?
False
Let q = -71 - -152. Is 17 a factor of q?
False
Suppose 4*m - 48 = -4*p + 76, -5*p + 155 = -2*m. Let x = p + -14. Does 4 divide x?
False
Let p = 323 - 209. Is p a multiple of 32?
False
Suppose 4*m - 93 + 5 = 0. Is 6 a factor of m?
False
Let x = -29 + 62. Is x a multiple of 33?
True
Suppose 4*s - 5*i + 6 = 0, 0 = -4*i + 1 + 7. Let w = s + 12. Does 13 divide w?
True
Suppose 3*w - 216 + 9 = c, 5*c = -w + 69. Does 9 divide w?
False
Suppose 22*b - 16*b - 1248 = 0. Is b a multiple of 16?
True
Suppose -5*n = 5, -3*b - 99 = n - 4*n. Let x = 48 + b. Suppose x = -c + 2*c. Does 14 divide c?
True
Let j(f) = -f**2 - 2*f. Let i be j(-2). Suppose -2*d + 2 = -4. Suppose -r + 92 = d*r - k, i = k - 4. Does 12 divide r?
True
Suppose 0 = -3*b + a + 46, 3*a = b + b - 26. Suppose k - b = 2. Does 9 divide k?
True
Let c(q) = 5*q - 4. Let k be (-2)/10 - 322/(-35). Does 16 divide c(k)?
False
Suppose -264 = -19*y + 7*y. Is y a multiple of 8?
False
Let z(m) be the second der