 c = -15 - -45. Does 10 divide c?
True
Let c = 15 - 23. Let l = c - -35. Is l a multiple of 19?
False
Let a be 0 + 9/(-6)*-2. Suppose 4*f + 0*f + i = 115, 0 = -a*i - 15. Is f a multiple of 10?
True
Suppose 5*x + 0*x - 590 = 0. Does 10 divide x?
False
Let c(y) = -48*y - 2. Does 23 divide c(-1)?
True
Suppose g - 1 = -2*d - 2, 4*d - 1 = -g. Is 324/12 + (-3)/d a multiple of 11?
False
Is 24 a factor of 28*((-34)/(-7) - 4)?
True
Let m(b) = 16*b**3 - b**2 + 1. Let o(g) = -3*g + 1. Let u be o(-2). Suppose 5 - 6 = 5*f + 3*y, y = 5*f - u. Does 8 divide m(f)?
True
Let g be 24/9 - 4/6. Suppose g*r = 15 - 1. Let s = r + 2. Is 9 a factor of s?
True
Let m = 1 - -2. Suppose o - m*o = 0. Suppose -4*s + 25 - 1 = o. Is 6 a factor of s?
True
Let h(l) = l**2 + l + 8. Let a be h(0). Let u(s) = 4*s**3 - 9*s**2 + 3*s + 8. Let i(d) = d**3. Let x(k) = 3*i(k) - u(k). Does 16 divide x(a)?
True
Let w(y) = -3*y**2 - 3*y + 2. Let t be w(-5). Is 15 a factor of 0 - 1 - (t + -7)?
False
Let q(w) = 4*w - 13. Let y be q(9). Let h(c) = -c + 4. Let b be h(0). Let o = b + y. Is o a multiple of 14?
False
Let r be (-3 + 5)/((-1)/(-32)). Let j = -44 + r. Does 10 divide j?
True
Suppose -9 = 6*p - 189. Is 9 a factor of p?
False
Suppose 465 = -9*j + 12*j. Does 9 divide j?
False
Let x(h) = h**2 + 7*h + 5. Let m = -2 - 5. Let q be x(m). Suppose -g = 4*n - 6, -q*g + 5*n + 13 + 42 = 0. Is g a multiple of 10?
True
Let v = -10 + 145. Suppose -5*s + v = i + 2*i, 0 = -2*i - s + 90. Suppose 21 = 2*h + g, 2*g = -4*h - 3*g + i. Is 6 a factor of h?
False
Does 15 divide -1*(4/10 + 3848/(-20))?
False
Does 21 divide 4/(-1) - (-20 - 152)?
True
Suppose y + 5 = -0*y. Let a = y - -7. Suppose 3*z + 0*j = -4*j + 53, a*j = -5*z + 107. Is 8 a factor of z?
False
Let n = 208 + -108. Does 25 divide n?
True
Is 15 a factor of ((-2)/1)/(4/(-30))?
True
Suppose 7*k = 2*k + 550. Does 11 divide k?
True
Suppose 4*y - 8 = -0. Suppose d + 12 = y*m, -d = -5*m - 2*d + 30. Is m a multiple of 4?
False
Let o(z) = z**3 + 13*z**2 + 9*z - 10. Does 11 divide o(-12)?
False
Suppose -r + 24 = 4*r - 3*c, 0 = 4*r + 5*c + 3. Suppose 38 - 5 = 11*t. Suppose 0 = 3*h + t*j - 5*j - 12, h - 3*j + r = 0. Does 6 divide h?
True
Suppose -66 + 21 = -5*r. Is r a multiple of 9?
True
Let o(q) = q**2 - q - 2. Let u be o(0). Is 7 a factor of u/(-5) - (-204)/15?
True
Suppose -10 = 5*v - 70. Is 12 a factor of v?
True
Suppose -2*m - 5 = -2*d - 1, 4*d = -4*m. Let y be (-22)/(((-2)/m)/(-2)). Suppose -4*b = -3*b - y. Is b a multiple of 11?
True
Suppose 7*t - 19*t + 2064 = 0. Does 18 divide t?
False
Let b be 100/(-3)*(-6)/4. Suppose -5*o + b + 70 = 0. Suppose 4*t - o = d + 26, -t - d + 10 = 0. Is t a multiple of 6?
True
Suppose 96 = 3*z - 42. Suppose 4*i - 56 = -a, 4*i + 2*a - 6 = z. Suppose -4*d + 67 - i = 0. Is 13 a factor of d?
True
Suppose 0 = 2*o + q - 127 + 4, 0 = 2*o + 3*q - 133. Does 17 divide o?
False
Let c = -324 + 503. Is 38 a factor of c?
False
Suppose -4*o + 0 = -12. Let i be -1 + 1 - (-4)/2. Suppose -m + 17 = -2*t, 54 = o*m + i*t + 11. Is 15 a factor of m?
True
Let m = -31 - -43. Let x = m + 31. Is x a multiple of 14?
False
Let l be 87/18 - 1/(-6). Let m(i) = -i**3 + 6*i**2 - i - 3. Is 6 a factor of m(l)?
False
Let y(p) = -p. Let x be y(-5). Suppose 0 = -x*v + 12 + 43. Is v a multiple of 8?
False
Let n = 47 + -5. Does 6 divide n?
True
Let o(g) = -11*g + 2. Let x(p) = -10*p + 3. Let f(u) = 6*o(u) - 5*x(u). Is 8 a factor of f(-2)?
False
Suppose 2*o = -17 + 5. Let j(u) = -u**3 - 7*u**2 - 5*u + 8. Let k be j(o). Suppose 0 = -k*v - 5*p + 11, -3 = v + p - 7. Is 2 a factor of v?
False
Suppose -2*f + 102 = -0*f. Suppose -4*g = -g - f. Is 17 a factor of g?
True
Suppose q - 9 = 11. Let j be (q/(-25))/((-2)/10). Suppose -4*u - 9 = r, 5*u + 2 = -3*r - j. Is r a multiple of 2?
False
Let n(q) = q**2 - q - 1. Let i be n(-2). Suppose 0 = -3*v - 3*p + 336, 1 + 1 = 2*p. Suppose y + v = i*y - 5*u, 0 = -2*u - 6. Is 12 a factor of y?
True
Suppose 3*d + 0*d = 111. Does 16 divide (d - -3) + (-15)/(-5)?
False
Let b = -12 + 8. Let k be (-2)/b*26*1. Let o = k + 5. Is 9 a factor of o?
True
Does 8 divide 1984/52 - (-2)/(-13)?
False
Let l = 11 + -4. Let j = l + -4. Suppose 3*k - j*o = k + 8, 3*k + 3*o - 42 = 0. Does 5 divide k?
True
Let v = 0 + 5. Suppose -2*s + 28 = v*z, 3*z + 3*s = -z + 28. Suppose -z*x = -6 - 14. Is x a multiple of 5?
True
Let z = 11 - -26. Does 10 divide z?
False
Let r(o) = 4*o**2 + 2*o + 2. Does 8 divide r(-3)?
True
Suppose 3*p + h - 130 = 2*h, 3*h = 3*p - 138. Let x = p + -5. Let m = 64 - x. Does 9 divide m?
True
Let p = 193 - 79. Is 19 a factor of p?
True
Is -5 + 8*(-4)/(-8) - -177 a multiple of 22?
True
Let y(r) = -2*r + 13. Is 20 a factor of y(-12)?
False
Suppose 0 = 9*v - 7*v - 48. Is 14 a factor of v?
False
Let t(v) be the second derivative of 5*v**4/6 + 2*v**3/3 + 3*v**2/2 + 3*v. Is t(-2) a multiple of 13?
False
Let l = 118 + -23. Does 20 divide l?
False
Suppose 3*v = 2*a + 4, 3*v - 4 = 4*a + 4. Suppose -2*b + g = -43, v*b = 2*b - 3*g - 45. Let z = 32 - b. Does 11 divide z?
True
Is (42/(-3))/((-6)/15) even?
False
Suppose 35 = 5*b + 3*a, 2*b - a - 25 = -0*b. Let j be (-5)/(b/(-116)) - -2. Suppose -w = -4*g + j, -2*w = g - 4*g + 45. Is g a multiple of 15?
True
Let l be (-4)/(3 + (-38)/14). Is 9 a factor of l/(-2)*(-10)/(-7)?
False
Let y(z) = -z**3 - z**2 + z + 7. Let c be y(0). Suppose 1 = -2*v - b + c, -v = -5*b - 3. Suppose -56 = -p - v*p. Is p a multiple of 7?
True
Let s be (-6)/(-18) - 88/(-6). Let d be 26/6 + (-5)/s. Suppose -3*h = -4*v - 54, -5*h - d*v - 24 = -114. Is h a multiple of 9?
True
Suppose 3*j = 5*w + 17, -4*j - 4*w - 21 = -65. Is 19 a factor of 339/j - (-2)/6?
True
Suppose 5*z - 5*o - 47 = -12, 15 = 3*o. Let k = -7 + z. Is 12 a factor of 93/k + (-2)/(-5)?
False
Let x be (-6)/(-15) + (-64)/10. Suppose 0*r + 2 = r + 3*k, -r - 12 = -4*k. Does 15 divide (x/r)/((-5)/(-50))?
True
Suppose -3*s + 42 = -39. Is 9 a factor of s?
True
Let a(v) = -v**3 - v**2 + 5*v - 1. Let y be 171/(-33) - (-4)/22. Let z be a(y). Let b = z - 41. Is 11 a factor of b?
True
Let l = 154 - 79. Does 6 divide l?
False
Let s(r) = -13*r + 15. Does 18 divide s(-5)?
False
Suppose 476 = 4*w + 4*o, 347 = 3*w - 5*o + 3*o. Is 9 a factor of w?
True
Let p = 1 - -1. Suppose 123 + 72 = 5*u - 5*n, -p*n - 150 = -4*u. Is 12 a factor of u?
True
Let k(x) = 18*x - 2. Let z be k(4). Suppose 5*h = -0*h + z. Is 9 a factor of h?
False
Let o(d) = -7*d**2 - 2*d. Let v(s) = -s - 6. Let m be v(-9). Let w(z) = 7*z**2 + z. Let l(f) = m*w(f) + 2*o(f). Is 8 a factor of l(-1)?
True
Suppose -9*k = -14*k + 135. Is k a multiple of 9?
True
Suppose -3*z + 2*u - u - 14 = 0, 0 = 4*z + 4*u + 8. Let w be ((-2)/z)/(4/32). Suppose -w*j + 192 = -5*d, j + 219 = 6*j - d. Is j a multiple of 24?
False
Let y be 0 + (-1 - -3) + 2. Let b(z) = 2*z + 3*z - 3 - y. Is 18 a factor of b(8)?
False
Suppose 3*d + 0 = 6. Suppose -d*b + 20 = 5*j - 11, 0 = -4*j - b + 23. Let q = 3 + j. Is q a multiple of 7?
False
Let u(m) = -2*m - 6*m + 2*m - 4 + 0*m. Let k be u(-5). Suppose i - 3*n - 29 = 0, n + k = i - n. Is 10 a factor of i?
True
Let u(r) = 10*r. Suppose -5*c + 5*v = 2*v - 10, -c + 2*v = 5. Is 31 a factor of u(c)?
False
Let j(r) = -2*r - 6. Let b be j(-5). Suppose -y - 2*c - 2*c = 2, -16 = -b*y - 4*c. Is 14 a factor of (-4)/6 + 238/y?
False
Suppose 4*a - 3*x = 99, -a + 11 = x - 5. Is a a multiple of 7?
True
Let m(o) = -o**3 - o**2 - 6*o - 5. Let p be m(-5). Suppose 5*s + p + 70 = 0. Let y = -28 - s. Is y a multiple of 10?
False
Let b be (-1 + 0)*(-40)/(-4). Let y(d) = 3*d**2 - d - 3. Let k be y(3). Let o = k + b. Does 11 divide o?
True
Let n(u) = 5 + 2 - 4*u + 12*u**2 + 5*u**2 - 3*u. Let c(i) = 17*i**2 - 8*i + 8. Let j(v) = -6*c(v) + 7*n(v). Is j(1) a multiple of 11?
False
Let q(u) be the second derivative of -3*u**3/2 + 2*u. Let l be -1 + (5/(-1) - -2). Does 18 divide q(l)?
True
Let h(p) = -83*p - 8. Does 9 divide h(-2)?
False
Let z = 7 + -2. Let s = z + 0. Does 3 divide s?
False
Suppose 3*d - 23 = -k + 22, -4*k + 166 = 5*d. Is 13 a factor of k?
True
Let f(a) = -4*a**3 - 3*a**2 - a + 2. Does 6 divide f(-2)?
True
Let t(n) = 1 + 2*n**2 + 2*n**3 + 17*n**3 - 2*n + 0. Is 7 a factor of t(1)?
False
Let x = 18 + -13. Suppose 2 = -2*c, -3*h + x*c + 83 = 3*c. Does 9 divide h?
True
Suppose 2*p - 2 = 0, 0 = 3*d - 3*p + 35 - 113. Is