. Is 13 a factor of n?
True
Suppose -14 + 6 = -4*y. Suppose 0 = -q + y*q - 53. Is 16 a factor of q?
False
Let t(b) = b**2 - 4*b - 8. Let q be t(6). Let i be (-30)/(-9)*6/q. Suppose l + 96 = i*l. Is l a multiple of 12?
True
Let o(t) = 5*t - 6. Suppose 4*x - 39 = -x - 4*y, -5*x - 3*y = -38. Is o(x) a multiple of 9?
False
Suppose 3*q + 105 = 5*p, 4*p + q - 57 = -2*q. Is p a multiple of 18?
True
Suppose 0*v - 48 = -4*v. Let o = 9 + v. Is 9 a factor of 6/(-1 - o/(-15))?
False
Suppose -4*a = -5*q + 68 + 222, 5*q + 5*a - 335 = 0. Is 10 a factor of q?
False
Let q = -6 + 9. Let t = -5 + 27. Let p = t - q. Does 18 divide p?
False
Let z(s) = 4*s**3 - 9*s**2 + 11*s - 5. Let g(n) = 5*n**3 - 9*n**2 + 12*n - 6. Let w be (-8)/28 + 78/(-21). Let x(a) = w*z(a) + 3*g(a). Is 16 a factor of x(6)?
False
Suppose -2*o - 3*o = 3*h + 136, -o = h + 28. Let p be 8/10 - (198/(-15) - 1). Let u = p - o. Is 11 a factor of u?
False
Let l(n) = -5*n + 3. Let f(b) = 4*b - 2. Let s(j) = 4*f(j) + 3*l(j). Let g be s(4). Suppose g*i + 12 = 7*i. Is 6 a factor of i?
True
Suppose 2*s = 10 + 2. Let d = 27 - s. Does 6 divide d?
False
Let y be -2 + -10 - 1*-2. Let z be (-4)/10 + 216/(-10). Let k = y - z. Does 12 divide k?
True
Let d(u) be the third derivative of -u**6/60 - 2*u**5/15 - u**4/6 - u**3/3 - 7*u**2. Is 16 a factor of d(-5)?
False
Let j(b) = -2*b + b**2 + 0*b + 4 + 5*b. Let z be j(-3). Suppose -z*g - n + 10 = -6, 4*g = -4*n + 16. Does 4 divide g?
True
Let t(d) = -11*d + 1. Let o be 4/(-18) + (-14)/18. Let f be 10/(-8) + o/(-4). Is 5 a factor of t(f)?
False
Let u = 141 - -123. Is u a multiple of 44?
True
Let z(l) = -119*l + 2. Is 18 a factor of z(-1)?
False
Suppose 2*w - 10 = 0, -5*n + 160 = -4*w + 5. Is n a multiple of 5?
True
Let u = 36 + -25. Is 10 a factor of u?
False
Suppose 0 = 5*w - 2*x - 114, x - 3*x = 4*w - 84. Let s = w - 14. Is s a multiple of 8?
True
Let h(t) = 48*t**3 - 2*t**2 + 2*t**2 - t**2. Is 19 a factor of h(1)?
False
Let m be (-354)/10 - 10/(-25). Let t be (2/2)/((-7)/m). Suppose i + t*g - 117 = -3*i, 109 = 4*i - 3*g. Does 8 divide i?
False
Suppose -5*y + 2 = -13. Suppose -y*i = -4 - 5. Suppose -u = -i + 1. Is u even?
True
Let n(l) be the second derivative of -l**3/3 + 3*l**2 + 2*l. Does 14 divide n(-11)?
True
Let z(v) = v**2 - v + 1. Let m be z(2). Let x = -4 + 0. Let t = m - x. Is t a multiple of 3?
False
Suppose 0 = -h - 4*h. Is 6 a factor of 13 - (4/4 + h)?
True
Is 19 a factor of -10*(-14)/4*2?
False
Let l = 31 + -50. Let k = 42 - l. Is k a multiple of 24?
False
Let d(v) = 2*v**2 + 6*v - 3. Let k = 0 - 5. Let g be d(k). Suppose -o - g = -2*o. Does 9 divide o?
False
Let r be 276/8 + (-2)/(-4). Let x be (2 - 1)*(2 + 16). Let t = r - x. Is t a multiple of 10?
False
Let w = 7 + -4. Suppose w*k - k = 18. Does 9 divide k?
True
Let g = 8 - 4. Suppose g*t + 0*t - 240 = 0. Let x = t + -41. Is x a multiple of 15?
False
Let i = 173 - 119. Is 9 a factor of i?
True
Let j be 12/8*8/3. Suppose -j = -0*r - 2*r. Suppose 0*n - 5*n + 55 = -r*h, 46 = 4*n - 2*h. Is n a multiple of 9?
True
Suppose 0*v + 2*v = -6. Let k(i) = i + 10. Is 2 a factor of k(v)?
False
Suppose 0 = -0*m + m - 4. Suppose -2*n + 7*n - 15 = 0. Is 2 a factor of m + (-6)/n + 2?
True
Suppose 2*x + 3*c = 35 - 3, -50 = -3*x - 5*c. Is 10 a factor of x?
True
Let o(q) = -q**2 + 3*q + 2. Let k be o(3). Suppose k*p + 0*p = 6. Suppose -3*x = -2*v - p + 31, 4*x - 42 = -3*v. Is 10 a factor of v?
False
Let l be 3*-1*12/18. Is (14/(-2))/(l/4) a multiple of 4?
False
Suppose 5*t - 3*t = 34. Does 14 divide t?
False
Let g = 25 - 10. Is 7 a factor of g?
False
Let k be -2 + -1 + 1 - -2. Let w be k/2 - (0 - 2). Suppose z - 18 = w. Does 10 divide z?
True
Suppose 106 = 3*i - 5*h, 5*i + 3*h - 132 = 22. Is 6 a factor of i?
False
Let i = 285 - 43. Does 11 divide i?
True
Suppose 4*f = -2*o + 8, o = 5*o - 2*f - 6. Suppose -2*p - o*p + 5*q + 29 = 0, -4*q = 3*p - 14. Does 2 divide (10/p)/(2/6)?
False
Suppose -5*u - 2*y + 3 = 1, 5*u + 5*y = 5. Suppose 5*o - 74 - 61 = u. Is 9 a factor of o?
True
Let w be 13/5 - (-2)/5. Let f = -4 + w. Does 14 divide -28*1/f*1?
True
Let w(a) = -3*a**2 - 11*a - 4 + 2*a + a**2 + 3*a**2. Let y be w(5). Is (5/((-10)/y))/1 a multiple of 12?
True
Is 2/11 + 4548/33 a multiple of 7?
False
Let u = 39 + -35. Is u even?
True
Suppose -2*s = 77 - 617. Is 31 a factor of s?
False
Let p(n) = n**2 + n + 4. Let r be p(0). Suppose -20 = -5*t - 4*y, t + y - r = -y. Suppose -t = -a + 4. Is 8 a factor of a?
True
Let i(l) = -l**3 - 8*l**2 + 4. Let j be i(-8). Suppose 2*w - 68 = -j*f, -3*f + w + 71 = 2*f. Is 4 a factor of f?
False
Let b(h) = h**3 - 6*h**2 - 6*h + 16. Let c = -4 - -11. Does 23 divide b(c)?
True
Let v(n) = 2*n**2 - 5*n + 6. Suppose 2*b = -0 + 2. Suppose -4*f = b - 21. Does 13 divide v(f)?
False
Let v(h) = 6*h**3 - h**2 - 3*h + 2. Is v(2) a multiple of 20?
True
Let q be 6*12*(-1)/(-1). Let m = q + -39. Is 11 a factor of m?
True
Let b be 8/(-6)*6/(-4). Suppose -b*s + 5*m = -51, -2 - 4 = -2*s - 4*m. Does 13 divide s?
True
Suppose o - 5 = 0, -2*o = -2*q + 3*q - 170. Does 16 divide q?
True
Suppose 2*x + 8 = u + 3*u, 3*x = -4*u - 12. Suppose 2*c = -2*c + 352. Suppose u = -3*g - g + c. Is 11 a factor of g?
True
Is (11/(-3) + 1)/(4/(-24)) a multiple of 8?
True
Suppose -15*l + 1659 = -1851. Is l a multiple of 39?
True
Suppose -p + 32 = c - 0*p, p + 73 = 2*c. Is c a multiple of 7?
True
Let x(t) = -t**3 - t**2 + 1. Let h(p) = 6*p**3 + 3*p**2 - 2*p - 6. Let w(r) = -h(r) - 5*x(r). Let u be w(5). Let l = 90 + u. Does 13 divide l?
True
Let d(v) be the second derivative of v**4/12 - v**3/2 + 5*v**2/2 - 2*v. Suppose 3*p - 2*p = 5. Does 14 divide d(p)?
False
Let w = 18 - 9. Is ((-3)/5)/(w/(-45)) a multiple of 3?
True
Let y = -76 - -134. Suppose z = -z + y. Suppose -5*d + 154 = z. Does 9 divide d?
False
Let j be 1/(-7) - 704/(-28). Let u = 37 - j. Is 8 a factor of u?
False
Let l be 16 + -30 + 1 + -1. Does 12 divide (0 - 1)*378/l?
False
Let h(c) = c + 2 - 1 - 2 - 9. Let n be h(7). Is (4/n)/((-2)/15) a multiple of 5?
True
Suppose -l - 2*v - 1870 = 3*l, 460 = -l + 2*v. Let u be 3/12 - l/(-8). Let m = 88 + u. Does 15 divide m?
True
Suppose 68*t - 73*t = -350. Is 14 a factor of t?
True
Let d(o) = 7*o**2 - 3*o + 2. Is 14 a factor of d(3)?
True
Let z(h) = 3*h**2 + h - 2. Let y be z(3). Suppose 4*l - 216 = -y. Is 21 a factor of l?
False
Suppose -4*y = 3*f - 146, 2*y + 192 = 7*y - f. Let l(c) = 5*c**2 - 2*c + 3. Let z be l(3). Suppose -y = -5*r + z. Does 8 divide r?
True
Suppose -5*t + 2*t - 45 = -2*g, -3*g = 2*t + 43. Let y = -31 + 22. Let c = y - t. Does 6 divide c?
False
Let q(s) = -19 - 6*s - 8*s + 18. Let a be q(4). Does 18 divide a/(-3) + 3 + 0?
False
Let b = -9 + 15. Suppose -4*l + b = -18. Does 18 divide 3/(-9) - (-278)/l?
False
Let q(m) = -2*m**2 + m**2 + 4*m - 2*m + 2*m**2 + 7. Does 31 divide q(7)?
False
Let z(d) = d**3 + 7*d**2 + 4*d - 2. Let o be z(-6). Let n = o + -6. Suppose 93 = 3*l + n*i, 0*i + 2*i = 6. Is 9 a factor of l?
True
Let f(q) = 4*q - 3. Let m be f(2). Suppose -2*d + 31 = -m. Does 4 divide d?
False
Is 15 a factor of (-4)/6 - (-681)/9?
True
Suppose 4*j + 2*z = 218, 4*j = 2*z + z + 213. Is 3 a factor of j?
True
Let y(z) = -z**3 + 16*z**2 - z + 21. Is y(16) a multiple of 4?
False
Let u(o) = o**2 + 15*o + 16. Does 6 divide u(-16)?
False
Let r = 101 - 37. Suppose n + j - r = 19, j + 439 = 5*n. Does 29 divide n?
True
Let m = -198 + 268. Does 35 divide m?
True
Let p(w) = 3*w**2 - 4*w - 7. Suppose -2*r + 20 = 2*r. Does 16 divide p(r)?
True
Is (2/6)/(13/624) a multiple of 16?
True
Suppose -3*q + 52 + 467 = -3*t, 4*t = 5*q - 870. Is 14 a factor of q?
False
Suppose -9*j + 4*j + 115 = 0. Is j a multiple of 14?
False
Does 13 divide -20*(-2 + (-1)/(-4))?
False
Let j be ((-4)/16)/(3/(-12)). Is 365/20 + j/(-4) a multiple of 12?
False
Suppose -5*j - 2*c = 54, -2*j + c - 14 = -2*c. Let a be 1*-2 - (j - -3). Suppose 3*d = -a*l + 116, -2*l + 28 = d - 3*l. Does 16 divide d?
True
Suppose -22 = -3*r + 5*r. Let g(f) = -11*f - 2. Let s be g(2). Let z = r - s. Is 13 a factor of z?
True
Suppose 0 = -3*o - 3. Is 6 a factor of ((-3)/(-4))/(o/(-8))?
True
Let g(s) = -s + 21. Let x(l) = -4*l + 4. Let y be x(-4). Suppose o - y = -5*p, -12 = -2*o + 5*o - 3*p. Does 11 divide g(o)?
False
Let d(v) = -v**2 - v - 695. Let n be d(0). Is n/(-25) - 2/(-10