
Is 3 a factor of ((-6)/15)/(3/(-90))?
True
Suppose -3*q + 99 = -3*o, -14 = -q - 5*o - 5. Let k = 41 - q. Is k a multiple of 4?
True
Suppose 0 + 40 = 2*b. Does 10 divide b?
True
Suppose 0 = -2*f - 21 - 165. Let y = 166 + f. Is 15 a factor of 8/20 - y/(-5)?
True
Let t(l) = -l - 4. Let a be t(-6). Suppose 2*p - r = 79, -r + a*r = 4*p - 155. Does 12 divide p?
False
Let u = 2 + -4. Let g be (-3)/u*(-30)/(-9). Suppose 32 = 3*i - g*z, 0 = 5*i + 3*z - 23 - 19. Does 4 divide i?
False
Suppose -22 = -2*f - 2*i - i, i - 29 = -5*f. Suppose -f*m + 48 = -87. Is 21 a factor of m?
False
Let s = -9 + 4. Let c = 13 + s. Is c even?
True
Let y = -1 - -1. Suppose 2*o + 0 + 2 = 0. Is (y + -9 - 0)*o a multiple of 9?
True
Let d = -171 - -267. Is d a multiple of 16?
True
Suppose 82 = -2*a + 276. Does 28 divide a?
False
Suppose -v = -13 - 57. Suppose -v - 10 = -5*s. Does 15 divide s?
False
Does 16 divide 243 + 0 + 2 - -1?
False
Let v be (-3 + 1)*(0 + -1). Suppose -3*k + 10 = -2*k - 4*h, -v*h + 86 = 3*k. Is 9 a factor of k?
False
Let g(a) = a**3 - 3*a + 2. Let m be g(-3). Is (20/m)/((-2)/64) a multiple of 20?
True
Is (22 - 4) + 2 + 2 a multiple of 5?
False
Suppose 0 = -4*j - 3*r - 2*r + 293, -j - 3*r + 68 = 0. Let n = -23 + j. Does 16 divide n?
False
Suppose y = 4*q - q + 13, -4*y + 2*q = -32. Suppose i = y + 14. Does 7 divide i?
True
Suppose 8*p - 1512 = -p. Does 23 divide p?
False
Let x(n) = n**2 + 13*n + 5. Let m be x(-13). Suppose 4*o = q - 5*q + 124, -3*q - m*o = -87. Is 13 a factor of q?
False
Suppose 18 = -2*c + 46. Is (-2)/5*c*-5 a multiple of 14?
True
Suppose x - 27 = -3*t, t + 11 + 32 = 4*x. Does 11 divide x?
False
Let i(r) = -r**2 + r + 6. Let j be i(0). Suppose -5*o - 2*y - j = -0*y, -4*y + 16 = -4*o. Let h = 9 - o. Is h a multiple of 9?
False
Let i(x) = -x**2 - 6. Let b be i(0). Is 24 a factor of -54*(-2)/(b/(-3))?
False
Let p = -147 - -159. Is p even?
True
Is (15 - 9)/(7/(-1))*-28 a multiple of 6?
True
Suppose -3*n + 150 = 3*m, -3*n = -m + 59 - 17. Suppose m = -2*d + 6*d. Does 6 divide d?
True
Let n(k) = -3*k**3 - k**2. Let m be n(-1). Let y be m - (-1 - 6/3). Suppose 2*f = -1 + 5, -2*f = y*p - 149. Is p a multiple of 28?
False
Is -15*(-1 + -3 + 3) even?
False
Is 70/4 - 3/(-6) a multiple of 10?
False
Let d = -22 - -64. Is d a multiple of 21?
True
Let f = -3 + 6. Suppose l + 29 = f*a, 0*a + l + 13 = a. Is a a multiple of 4?
True
Suppose 26*k - 735 = 11*k. Does 7 divide k?
True
Let c(t) = -t**2 + 3*t - 2. Suppose -36 = 4*m - 9*m + 4*u, -5*m = 5*u. Let b be c(m). Let q(r) = 2*r**2 + 10*r + 9. Is q(b) a multiple of 16?
False
Let x(c) = c + 9. Let k be x(-6). Suppose -2*f - 2*f - 25 = k*j, -4*f - 7 = -3*j. Let w(s) = s**2 + 2*s - 1. Is 2 a factor of w(j)?
True
Let i(z) = 32*z. Does 8 divide i(1)?
True
Let k(t) = t - 3. Let v = 6 - 1. Is 2 a factor of k(v)?
True
Let o(x) = -15*x. Is 12 a factor of o(-4)?
True
Let h(i) = -2*i + 1 - 2 + 5*i**2 + 2. Is 11 a factor of h(-2)?
False
Let k be (-38)/(-8) - 4/(-16). Suppose 4*m + 3*z - 112 = 0, -3*m + 4*z + 9 = -2*m. Suppose -2*u + 38 = 5*q, -2*u + k = 4*q - m. Is q a multiple of 8?
True
Suppose s = -0 + 24. Suppose -3*k - s = -6*k. Is 7 a factor of k?
False
Let f(v) = -v**3 + 3*v**2 - v - 2. Let d be f(2). Let p be 1 + (-20 - d - 0). Let b = p + 30. Does 9 divide b?
False
Suppose 4*y = -5*v + 46 + 2, 0 = v. Let h = 2 + y. Is 5 a factor of h?
False
Is 11 a factor of (198/10)/((-36)/(-120))?
True
Suppose -4*h = -4 - 4. Suppose -5*r + 5*i - h = -17, -3*r + 4*i = -6. Does 8 divide (-5)/(2/(-1*r))?
False
Let d = 4 - 1. Let b = 7 + d. Is 10 a factor of b?
True
Let d(s) = -s**3 + 3*s**2 - 4*s + 2. Let k be d(2). Let g(h) = h**3 + 4*h**2 + 2*h - 1. Does 2 divide g(k)?
False
Suppose 0 = -4*g - 4*m - 8 + 24, -3*g + 44 = -5*m. Let j = g + -16. Is (-2)/(-4) + (-268)/j a multiple of 17?
True
Let o(s) = 61*s**2 + 1. Is o(-1) a multiple of 7?
False
Let i = 131 + -61. Does 10 divide i?
True
Let v be (-4)/(-2) - -20 - 0. Let n(m) = -m - 167. Let g be n(0). Is (-4)/v + g/(-11) a multiple of 15?
True
Let h = 8 - 0. Does 3 divide h?
False
Let p(i) = 3*i**2 + i - 4. Is p(3) a multiple of 11?
False
Let n be 3/6 - (-182)/4. Let c = n - 18. Suppose -25 = -r + c. Is r a multiple of 19?
False
Let c = 285 - 186. Let s = c + -144. Let d = -25 - s. Is 10 a factor of d?
True
Suppose s + 1 = -15. Let j = -7 - s. Is j a multiple of 9?
True
Let m(d) = 77*d + 2. Let b(n) = 115*n + 3. Let h(t) = 5*b(t) - 8*m(t). Is h(-1) a multiple of 17?
False
Let h(o) = -o**3 - 6*o**2 - 4*o + 7. Suppose -1 = -t + 3*c, -3*t - 3*c - 7 = 14. Let a be h(t). Suppose -4*v = -a*v - 20. Does 5 divide v?
True
Does 11 divide -2 - ((-54)/1 - -2)?
False
Let o be -24 + (3 - 6) + -1. Let n = -2 - o. Is 13 a factor of n?
True
Let h = 6 + 14. Is 3 a factor of h?
False
Let o(c) = -2*c**2 - 16*c**3 + c**2 + 4*c**3. Is 5 a factor of o(-1)?
False
Let p(v) = v**3 + 10*v**2 - 12*v + 5. Let f = -36 + 25. Is p(f) a multiple of 8?
True
Suppose 0*q + q - 12 = 0. Does 8 divide q?
False
Let v(b) = -4*b - 2. Let j = 0 + 2. Let g be v(j). Let q = 23 + g. Does 4 divide q?
False
Does 33 divide (1 + 0)/((-1)/(-33))?
True
Let t = -87 + 56. Let g = t + 22. Let k = 4 - g. Is 13 a factor of k?
True
Suppose -2*h - v = -0*v + 15, 4*h = 3*v - 15. Let o be (-493)/(-5) + h/(-15). Does 20 divide 10/(-3*(-6)/o)?
False
Let w = -4 - -6. Suppose 5*k - 5*x = w*k + 83, k - 5*x - 11 = 0. Is k a multiple of 18?
True
Let t be (0 + 1 + -2)*6. Let i be 3/(2/(8/t)). Let r = i - -30. Does 14 divide r?
True
Suppose -u - 4*l + 15 = 0, 5*l + 22 = -2*u + 52. Let q = 73 - u. Suppose 0 = 5*i + 5*o - 215, -2*o = 4*i - 106 - q. Is i a multiple of 24?
False
Suppose -k = -x + 13, 4*x - 6*x = -k - 27. Is 7 a factor of x?
True
Let s = 9 - 5. Suppose -a = -s*a + 12. Suppose -8 = -a*o + 32. Is o a multiple of 5?
True
Let b(t) = -3 - t**3 + 4 + 0*t**3 - 4*t**2 + 3*t. Suppose 2*p - 3*p - 1 = -2*n, -5*p - 2*n - 29 = 0. Does 7 divide b(p)?
False
Let q be 2/1 - (2 + -3). Suppose 0 = 8*a - q*a - 150. Is 10 a factor of a?
True
Let x(r) = r**2 + r - 2. Let j be x(-6). Let u = j - 7. Does 10 divide u?
False
Let o be 1/2 - 6/(-4). Suppose 0 = 4*s - 5*k - 6, -s - o*s + 5*k = -2. Suppose 25 = s*q - 3. Is q a multiple of 7?
True
Is 26 a factor of (-1 + 2)/(16/544)?
False
Is 23 a factor of 2/(-8)*(-400 + -4 + 0)?
False
Let n(b) = -b**3 - 5*b**2 - 3*b + 4. Is n(-6) a multiple of 31?
False
Let a(b) = b**2 - 5*b - 3. Let h(t) = -7*t. Let o be h(-3). Let u = -15 + o. Does 3 divide a(u)?
True
Let j be (-48)/(-2*4/36). Does 15 divide ((-5)/(-4))/(6/j)?
True
Let g = 10 - 5. Suppose -2*n = g*a - 25, 2*a = -3*n - 0*a + 10. Suppose 0*m - 4*m + 20 = n. Is m even?
False
Is 15 a factor of (-410)/(-4)*(7 + -11 + 6)?
False
Let m be (50 - 2)/((-15)/(-10)). Let p = -1 - -1. Suppose p*o = 4*o - m. Is o a multiple of 8?
True
Suppose 5*v = u + 529, v - 63 = -4*u + 26. Is 15 a factor of v?
True
Is 19 a factor of 576/10 - (-8)/20?
False
Suppose 4*v - v + 5*m - 107 = 0, -5*v = 3*m - 205. Let o be ((-2)/(-4))/(2/v). Let d = o - -14. Does 21 divide d?
False
Let d be (-114)/(-4) + 2/4. Suppose -3*x = b + 2*x + d, -b = -5*x + 79. Does 17 divide b/(-3)*(1 - -1)?
False
Let z = 254 + -169. Suppose 0 = -4*i + 2*q + 146, 3*i - z - 22 = -q. Is i a multiple of 9?
True
Let l(k) = -28*k - 8. Let m(q) = -19*q - 5. Suppose -6*j + 3*j = 24. Let p(t) = j*m(t) + 5*l(t). Is 18 a factor of p(3)?
True
Let h be -1 + 1 - (-2 - 5). Is 11 a factor of ((-44)/h)/(2/(-7))?
True
Let p(u) = -u - 4. Let g be p(-6). Is 2 a factor of (-2)/g + 3 - 0?
True
Let p = -6 - 10. Is p/(-20)*(48 - 3) a multiple of 20?
False
Suppose 6*n - 79 = 23. Does 10 divide n?
False
Is 8 a factor of -1 - -63 - (0/1 + -2)?
True
Let m(y) = -2*y - 2. Let z be m(6). Does 14 divide (-4)/z - 660/(-42)?
False
Let j be 0/(-2*(-1)/(-2)). Let f be (-62)/(-22) + (-8)/(-44). Let q = f - j. Is q a multiple of 2?
False
Suppose -5*n = -161 - 14. Suppose -o + 68 = 3*t, -30 = -5*t - o + 80. Let r = n - t. Is r a multiple of 14?
True
Suppose 5*k = -5*m + 200, -6*m + 52 = -5*m + 5*k. Does 3 divide m?
False
Suppose 0 = 2*c + 84 + 4. Suppose -5*v + 5 = 0, 5*w = v + v + 423. Let z = w + c. Is 18 a factor of z?
False
Suppose 3*y + 129 = 3*c, -177 = -4*c - 2*y - 17. Does 19 divide c?
False
Let x be 1/(-4) + (-23)/4. Let o = 8 - x. Is 7 a factor of