 + 10*h - 1. Is 14 a factor of n(3)?
True
Suppose 5*d = -0*p + 5*p - 20, 2*d + 4*p - 16 = 0. Suppose 0*b + b - 3 = d. Suppose b*k - 2 = 5*z + 6, -k + 4*z = 2. Does 6 divide k?
True
Suppose 11*d = 378 + 293. Is d a multiple of 4?
False
Suppose 0 = -104*q + 101*q + 231. Is 5 a factor of q?
False
Let u = 5 - 1. Suppose u*p = 3*p + 18. Is p a multiple of 9?
True
Suppose -c + 4 = 2. Let q be c*3/(-2)*-2. Is 12 a factor of 137/5 + q/(-15)?
False
Let p = 153 - -47. Suppose -2*l + p = 2*l. Is 11 a factor of l?
False
Let g(r) = r**2 - 9*r + 11. Let i be g(8). Suppose 9 = i*h - 3. Is 3 a factor of h?
False
Suppose 0 = b + 2*b - 6. Suppose -b*u + 127 = 6*w - 3*w, 33 = w - 4*u. Is w a multiple of 23?
False
Let l(i) = 12*i. Let q be l(-3). Let w = 56 + q. Does 20 divide w?
True
Suppose 12 = -8*x + 4*x. Is 18/((-2)/8*x) a multiple of 6?
True
Let l = -62 - -144. Does 41 divide l?
True
Let i(f) = 7*f - 3. Is i(5) a multiple of 8?
True
Suppose 4*c - 633 = -5*w, -2*c = -w + 26 + 95. Is 9 a factor of w?
False
Suppose -7*q + 108 = -q. Suppose 6*i - 54 - q = 0. Is 3 a factor of i?
True
Let q = -386 - -550. Suppose 0 = -5*u + q + 61. Does 14 divide u?
False
Suppose 0 = d + 2*d - 15. Suppose d*n - 4*k = 220, -3*k - 14 = 1. Is 14 a factor of n?
False
Suppose -5*n - 4*k = -190, k = -0*k + 5. Does 17 divide n?
True
Let h(n) = n - 1. Let t be h(6). Suppose 4*i - 3 = i, t*i = -2*x + 139. Is 15 a factor of x?
False
Let v = 9 - 5. Let s = v - 1. Suppose s*o - x = 2*x + 12, -3*o = 3*x. Is 2 a factor of o?
True
Suppose -4*k + 8*k = 304. Does 19 divide k?
True
Suppose -24 = 5*s - 244. Does 14 divide s?
False
Let h(a) be the third derivative of a**6/120 + 2*a**5/15 + a**4/4 - a**3 - 2*a**2. Let l be h(-7). Does 3 divide (5/2 - l)*2?
True
Let f = -156 + 251. Is f a multiple of 24?
False
Let o = 23 + -38. Is 9 a factor of (66/o - 1)*-5?
True
Let q be (0 + 2 + -1)/(-1). Let r be q*4/((-12)/15). Suppose 0 = r*w - 6*w + 14. Is w a multiple of 14?
True
Suppose 5*r + 36 = 3*r. Let n = 25 + r. Is 4 a factor of n?
False
Let y = -36 - -63. Let l = 39 - y. Is 12 a factor of l?
True
Let o be 30/9 + (-6)/(-9). Suppose -3*q + q + 41 = -5*f, 0 = q + o*f - 1. Is q a multiple of 13?
True
Suppose 3*w = 73 + 26. Is 9 a factor of w?
False
Let p(f) = f - 1. Let h be p(-3). Does 7 divide (59 + (h - -3))/2?
False
Does 11 divide 0/(-3) + 0 - (-71 - -7)?
False
Suppose 0 = 4*q - 188 - 52. Is q a multiple of 15?
True
Suppose 4*m + 336 = 4*f, -5*f - 2*m - 112 = -553. Is 15 a factor of f?
False
Let b = -297 + 512. Is 39 a factor of b?
False
Suppose -5*t = -6 - 19. Suppose 5*c - 4 = t*z + 16, -2*c = 2*z. Is c/(-6) - (-49)/3 a multiple of 8?
True
Let h(i) = -i**2 - 14*i - 17. Is h(-8) a multiple of 15?
False
Let l be 3*(-1)/((-6)/8). Suppose -l*o = o. Suppose -3*u - m + 5*m + 12 = o, 3*u - 3*m - 12 = 0. Is u a multiple of 3?
False
Let d(h) = -3*h**2 - 4*h - 9. Let q be d(-6). Does 25 divide q/(-2)*12/9?
False
Let t(v) = 3*v**2 + v. Let p be t(-1). Suppose -4*k + k - p*q + 80 = 0, 0 = 2*q + 4. Suppose -k = -4*i + 3*i. Is 12 a factor of i?
False
Let q = -48 - -80. Suppose -5*u - q = -2*s - 11, s - 18 = -5*u. Is 13 a factor of s?
True
Let o(r) = -r**2 - 9*r - 5. Let y be 2*((-6)/(-4) - 1). Suppose -2 = 2*d - 2*q, -4*d + 2*q - y = 11. Does 15 divide o(d)?
True
Suppose -u - 5*h + 250 = 2*u, 462 = 5*u - 3*h. Is 29 a factor of u?
False
Let m be 98/14 + 4/(-2). Is 2 - 2 - (m + -7) even?
True
Let w(m) = m**2 - 3*m + 2. Suppose -3*i + i + 4*t = -14, -5*i = t + 20. Does 10 divide w(i)?
True
Suppose -17 = -3*i - 2*x, -4*i + 0*x + 23 = 3*x. Suppose 5*g - i*u = 335, 4*g + u - 34 = 229. Is 14 a factor of g?
False
Let x be 4/18 - (-25)/9. Let h(o) = o**x - 2 - 2*o**3 - 2*o**2 - 2*o**2 + 6*o. Is 17 a factor of h(-6)?
True
Suppose 0 = 5*j - 5*d - 85, -4 = -2*j - 2*d + 14. Does 13 divide j?
True
Let f(c) = c**3 - 5*c**2 + 10*c - 16. Is f(6) a multiple of 17?
False
Let m(x) = 13*x**2 - 3*x. Suppose 2*h = -0*h + 4. Does 12 divide m(h)?
False
Let p = 20 + 85. Does 15 divide p?
True
Suppose -2*m = -4*k - 23 - 7, -3 = k - 5*m. Let u(i) = -i - 3. Let b be u(k). Let a(z) = -z**2 + 12*z - 4. Is a(b) a multiple of 8?
False
Let y = 16 - 10. Let k(x) = 4*x - 15. Does 5 divide k(y)?
False
Let l(b) = -b**2 - 8*b - 7. Let v be l(-6). Suppose -23 = -r - v*n, 3*n = -r - 0*r + 15. Is 3 a factor of r?
True
Let c be (-12)/15*15/(-6). Is (-60)/(-3)*(c + -1) a multiple of 10?
True
Suppose i = -2*i + 5*f + 366, -244 = -2*i - 3*f. Does 15 divide i?
False
Let g = 1 + 3. Suppose -5*v + 86 = 2*x, 2*x + 70 = g*x + v. Is 11 a factor of x?
True
Suppose 3*a = a. Let z(w) = 2*w**3 + 22 - 2*w**2 - w**3 + w + w**2. Does 21 divide z(a)?
False
Let d(s) = 2*s**3 - 5*s**2 + 7*s + 5. Let r(n) = -n**3 + 2*n**2 - 3*n - 2. Let m(i) = 2*d(i) + 5*r(i). Is m(-2) a multiple of 3?
False
Suppose -1 + 25 = -2*b. Let l = b + 32. Is 20 a factor of l?
True
Let r = 3 - -19. Is 11 a factor of r?
True
Let m(g) be the second derivative of g**4/4 + g**3/6 - g**2/2 + 4*g. Is 13 a factor of m(4)?
False
Is (5/15)/(1/66) a multiple of 22?
True
Suppose -38 = -q + 38. Is 38 a factor of q?
True
Suppose -4*k + 456 = 5*c - 128, -k - 604 = -5*c. Is c a multiple of 24?
True
Suppose 3*m + 9 = 3. Does 15 divide m/8 - 525/(-20)?
False
Suppose 33 = 4*p - 7*p + 3*c, 0 = 3*c - 15. Does 10 divide (-158)/p - (-4)/(-12)?
False
Suppose 5*x - 27 - 33 = 0. Let m be (-98)/8 + (-9)/x. Let l = m + 24. Is l a multiple of 7?
False
Let h be 3300/27 + 2/(-9). Suppose 3*b + 3*d - 5 = 2*d, 0 = 5*b + 2*d - 8. Suppose -54 = -m + 3*y, y = b*m + m - h. Does 14 divide m?
False
Suppose -4 = 6*z - 2*z. Let l(q) = -66*q**3 + 2*q**2 + q. Is 14 a factor of l(z)?
False
Let x(s) = -s**2 - 3*s + 4. Let z be x(-4). Suppose 2*c + 2*c - 20 = z. Suppose 4*p = 4*j + 8, 4*p - 7 = c*j - 4. Does 6 divide p?
False
Let i = 3 + -1. Let s = i - -10. Is s a multiple of 4?
True
Let o(n) = 13*n - 5. Is 7 a factor of o(4)?
False
Suppose 6*p = 2*p - 20. Let d = 23 + p. Does 6 divide d?
True
Let h = -26 + 37. Let d = h - -6. Is d a multiple of 17?
True
Suppose 0 = 6*u - u - 330. Does 16 divide u?
False
Suppose -14 = 3*a - 44. Is 4 a factor of 74/a + (-6)/(-10)?
True
Suppose -4*p = -p - r - 66, -5*r = 0. Let o = p + -11. Does 4 divide o?
False
Let g(z) = z**3 - 2*z**2 - 3*z + 13. Is g(4) a multiple of 8?
False
Suppose -4*l - 4 = -5*u, 0*u - 4*u - 4 = 4*l. Let b(m) = -m**3 + m**2 - m + 31. Is 11 a factor of b(u)?
False
Suppose 20 - 188 = -3*w. Suppose 0*v = -4*v + w. Does 14 divide v?
True
Suppose 0 = 4*s - s - 60. Does 7 divide s?
False
Suppose -3*w + g = 146, -5*w - g = -18 + 256. Let p = -21 - w. Let i = p + -15. Does 12 divide i?
True
Let n(d) = -d**2 - 9*d - 4. Let k be n(-6). Let m = k - 6. Let c(z) = z**3 - 6*z**2 - 11*z + 10. Does 19 divide c(m)?
False
Suppose -12*f + 19*f = 469. Is 5 a factor of f?
False
Suppose 0*z - 9*z = -297. Is 3 a factor of z?
True
Is (1 + 50/6)*3 a multiple of 14?
True
Let x(q) = 4*q**2 + 2*q - 4. Is 25 a factor of x(-5)?
False
Suppose 2*q + 5*w = 45, 3*w - 4*w = 4*q - 81. Suppose -q - 2 = 2*n. Let k = -8 - n. Is k even?
False
Let u = 8 + -8. Suppose -5*y + 93 + 57 = 0. Suppose -c - 2*c + y = u. Does 5 divide c?
True
Let v(q) = -46*q - 2. Let m be v(-8). Suppose -m = -2*x + 2*o, -o + 549 = 3*x + 4*o. Let s = x - 130. Does 22 divide s?
False
Let a(r) = 3*r**3 + 2*r**2 - r - 3. Is a(2) a multiple of 9?
True
Suppose -4*y = i - 133, 3*y + 0*y + 5*i = 87. Does 17 divide y?
True
Let o(x) = 25*x**2 + 2*x - 1. Let t be o(-2). Suppose 3*m - 8*m + t = 0. Does 10 divide m?
False
Let s(q) = q**2 + 9*q + 4. Let p be s(-8). Let j(m) = -3 - 12*m - 3 + 2. Is 22 a factor of j(p)?
True
Suppose 3*f = -f. Let m(k) = -2 + k**2 + 10 + 3 + 6*k + f*k. Is 13 a factor of m(-9)?
False
Suppose 2*x - 235 = -15. Does 22 divide x?
True
Suppose -3*s + 5*s = -h + 68, -3*h = -4*s + 136. Suppose -s = -5*c + 41. Is c a multiple of 15?
True
Let a(y) = -5*y - 5 + 1 + 2 - 2*y. Is 20 a factor of a(-6)?
True
Let x = -11 + 20. Suppose -4*u = -75 - x. Does 7 divide u?
True
Suppose -p - 2*p = 4*u - 31, -10 = -2*p. Let i(q) = -4*q + 4 + q**3 - 2*q**2 - 4. Does 12 divide i(u)?
False
Let d = -64 - -107. Is 24 a factor of d - (-4 + 4)*1?
False
Let m(w) = 6*w**2 + w + 1. Let q be m(8). Suppose 0 = -5*i + 25, -3*t + 3*i - 75 = -q. Is t a multiple of 30?
Fa