0. Is 14 a factor of j?
True
Suppose -3 = m, 0*m + m + 17 = r. Suppose -r*g = -19*g + 15. Suppose 9*o - 4*o - g*j - 147 = 0, -3*o = 3*j - 69. Is 6 a factor of o?
False
Let i(z) = 5*z**2 + 11*z + 17. Let u(r) = -2*r**2 - 5*r - 8. Let c(l) = 3*i(l) + 7*u(l). Let w(j) = j**2 + 7*j - 51. Let y be w(-11). Does 15 divide c(y)?
False
Let b(f) = 2*f**2 - 14*f + 24. Does 15 divide b(18)?
True
Let z = 94 - -304. Is 19 a factor of z?
False
Suppose -5*t + 4*g = 11 + 22, -15 = 5*g. Let p be -53 + (-1)/3*t. Let j = -4 - p. Is j a multiple of 13?
False
Let a = 213 - -79. Is 32 a factor of a?
False
Let m = 131 - 24. Let y = m + -53. Is 14 a factor of y?
False
Let k = -213 - -1217. Does 26 divide k?
False
Suppose 0 = p - 4*f - 70, 5*p - 10*f = -14*f + 350. Does 7 divide p?
True
Let f be 2*3/(-6)*20/(-5). Let w be (2/6)/(1/33). Suppose -l = -3*l + f*d + 26, -l + w = -d. Does 9 divide l?
True
Does 10 divide 1500*(360/(-27))/(-10)?
True
Let r(q) = -q. Let c be r(-5). Suppose -3*d + 2*d + 241 = -5*f, -c*f = 4*d + 236. Is 16 a factor of ((-3)/9)/(1/f)?
True
Let w(x) = -x**3 - 8*x**2 - 20*x - 66. Is 3 a factor of w(-9)?
True
Suppose -7 = 3*s - 133. Is 8 a factor of s?
False
Let h = -28 + 42. Let w = -9 + h. Suppose -w*q + 228 - 38 = 0. Is 19 a factor of q?
True
Suppose -3*f = 2*w + 5 + 1281, -4*f = 2*w + 1718. Let m = 630 + f. Is m a multiple of 10?
False
Suppose -4*j + 309 = -j. Let i = 145 - j. Is i a multiple of 14?
True
Suppose 4 + 316 = 2*o. Is o a multiple of 13?
False
Does 25 divide 715 - (-7 - 0) - -3?
True
Let a = -60 + 67. Suppose q = -a*q + 1648. Is 11 a factor of q?
False
Let o(s) = 3*s - 12. Suppose u = -2*f - 3*u + 38, 0 = f - 5*u - 19. Is o(f) a multiple of 28?
False
Let z = 1184 - 638. Does 6 divide z/(-4)*(-4)/6?
False
Suppose 0 = 4*m - 16*m + 5832. Does 43 divide m?
False
Is 3 a factor of ((-262)/6)/((-2)/6)?
False
Let a(c) = c**3 + 3*c**2 + 3. Let v be a(-3). Does 6 divide (v - -2)/(-5)*(-52 - -1)?
False
Suppose 0*i = -5*i - 2*g + 604, 0 = 2*i + 3*g - 246. Suppose -8*y = -i - 720. Does 15 divide y?
True
Let i(t) be the third derivative of -t**6/120 - t**5/60 + 7*t**4/24 + 5*t**3/6 + 183*t**2. Suppose 0 = v + 2 + 3. Is 18 a factor of i(v)?
False
Suppose 3 + 9 = 3*v. Suppose -5*n + v = 19, 0 = 2*m + n - 41. Let y = -9 + m. Is 6 a factor of y?
False
Let n = 57 + -85. Let z = n + 87. Is z a multiple of 15?
False
Let b be (2*-1)/(2/(-45)). Suppose -5*p = -425 - b. Let l = p - 63. Is 9 a factor of l?
False
Suppose 45*r - 41160 = -4*r. Does 14 divide r?
True
Let s(q) = -2*q**3 - 8*q**2 + q + 9. Let b be s(-4). Suppose 4*i + 23 = b*i. Is i a multiple of 23?
True
Let u(z) = z**2 - 3*z + 8. Let x be (0 - (-9)/(-2))/(9/(-18)). Is 31 a factor of u(x)?
True
Let m(p) = 3*p**2 + 4*p. Let f be m(5). Suppose 55 = 3*r - 5*c, 0 = r + 4*r - 5*c - f. Is r a multiple of 14?
False
Suppose -10*c + 9*c + 2170 = 0. Is 7 a factor of c?
True
Let h(m) = 5*m**2 - 28*m - 16. Is h(8) a multiple of 16?
True
Suppose -5*p = -3*z - 413 - 698, -669 = -3*p + z. Let i = p - 74. Does 32 divide i?
False
Suppose s - 125 = -y + 92, 0 = 3*y + 12. Does 30 divide s?
False
Let o(r) = -15*r**2 + r - 1. Let l(z) = 44*z**2 - 3*z + 3. Let w(c) = -2*l(c) - 7*o(c). Is w(1) a multiple of 10?
False
Let a = -21 + 20. Let s be 0/((0 + -1)*a). Let m(f) = -2*f**2 + f + 6. Is m(s) a multiple of 3?
True
Suppose 0 = 5*f + 2*d - 1527, 2*f - 897 = -5*d - 282. Is f a multiple of 22?
False
Let l = -170 + 197. Is l a multiple of 2?
False
Suppose 2*n = 0, 0 = 3*a - a - 3*n - 4. Suppose -5 = 5*q, -3*m - 2*q - 2 = m. Suppose 0 = -m*d - a*d + 26. Does 13 divide d?
True
Let a be -9*(8/(-6) + 1). Suppose 0 = a*q - 3*k - 0*k - 12, -4*q = -3*k - 12. Suppose -x = 2*y - 7*y + 6, q = 4*x + 5*y - 76. Is x a multiple of 7?
True
Suppose 35 = -0*o + 4*o + 5*h, h = 3*o - 12. Let d(z) = z**2 - 19*z + 14. Let p be d(23). Suppose w + 2*u = 12 + o, 0 = 3*w - 5*u - p. Is 9 a factor of w?
True
Let l(c) = c**2 - 2*c - 5. Let d be l(4). Suppose d*i - 17 = -5. Suppose 0 + 46 = n + i*f, -n = -3*f - 74. Is 22 a factor of n?
False
Suppose 0 = -652*g + 650*g + 792. Is g a multiple of 18?
True
Let f be (-780)/(-35) - 4/14. Let o(w) = 4*w + 30. Let m be o(-7). Suppose f = -m*i + 102. Is i a multiple of 10?
True
Let s = -15 - -17. Let x be -3 + (-106)/((-4)/s). Is 4 a factor of (2/(-2))/((-10)/x)?
False
Let r be (7/(7/4))/1. Suppose -r*c = -n - 19, -c + 0 = 2*n + 2. Suppose -c*w - 40 = -6*w. Is w a multiple of 10?
True
Let c(s) = s**3 + s**2 - 2*s. Let x be c(2). Suppose 2*w = x*w - 684. Does 30 divide w?
False
Suppose 1 = -f - 0. Let s = -18 + 10. Is 3 a factor of (f + s)*6/(-9)?
True
Suppose -y - q + 110 = 0, 3*q + 206 = 2*y - 2*q. Suppose 76 + y = 2*d. Is d a multiple of 15?
False
Let r(j) = -108*j**2 - 7*j - 2. Let z(c) = -107*c**2 - 6*c - 2. Let i(s) = 5*r(s) - 6*z(s). Is i(-1) a multiple of 17?
False
Let l = -835 + 1087. Is 6 a factor of l?
True
Let m be (-1)/((-2)/(-6)*3). Let r = 1 + -1. Is (-10 - r)/(m/5) a multiple of 18?
False
Let t(o) = -o**2 + 20*o - 22. Let q = -4 - -22. Is t(q) a multiple of 14?
True
Let d(z) = -96*z**3 - z**2 - z. Is 16 a factor of d(-1)?
True
Suppose -4 = 2*r, -116 = -5*d - 3*r + 638. Does 38 divide d?
True
Suppose 5*p - 3*x - 1648 = -2*x, 0 = -2*p + 3*x + 654. Is 12 a factor of p?
False
Suppose 0*q + 4*q + 48 = 0. Is 6 a factor of (-15 - -3)*6/(q/4)?
True
Let f = -336 + 723. Is f a multiple of 52?
False
Let u = 2 - 5. Let y(v) = -2*v**3 - 3*v**2 - 3*v - 4. Let n be y(u). Does 18 divide (-3)/(-2)*(n - -4)?
True
Let t(l) = l**2 - 8*l + 20. Let w(r) = r - 11. Let n be w(16). Is 3 a factor of t(n)?
False
Suppose -3*y + 229 = -1175. Is y a multiple of 49?
False
Let w(n) = -87*n**3 - n**2 - 8*n + 6. Let s(x) = 348*x**3 + 5*x**2 + 33*x - 25. Let r(v) = -2*s(v) - 9*w(v). Does 11 divide r(1)?
True
Let z(j) = 121*j**2 - j - 2. Let h(v) = -v**2 - 12*v - 1. Let w be h(-12). Let c be z(w). Suppose 5*b - c = 160. Does 28 divide b?
True
Let v be ((-8)/(-12))/(2/489). Let o = 247 - v. Does 12 divide o?
True
Is 34 a factor of ((-68)/(-6))/(5/15)?
True
Suppose p + 5*g - 80 = 0, -305 = -5*p + 4*g + 240. Is 16 a factor of p?
False
Suppose 3*q - 6*q = 3, -2*s + 5*q - 35 = 0. Let y be (186/10)/((-4)/s). Suppose -6*i + t + 87 = -2*i, -3*t = -4*i + y. Is 7 a factor of i?
True
Suppose -87*l + 81*l = -942. Does 10 divide l?
False
Let z = -132 + 46. Suppose -4 = -5*l + l, d - l = -57. Let f = d - z. Does 9 divide f?
False
Let o be (1 - 1)/((24/(-4))/(-6)). Let n(g) = -2*g + 240. Is n(o) a multiple of 40?
True
Let a(i) be the third derivative of -i**5/60 - 7*i**4/12 + 11*i**3/2 - 10*i**2. Is 11 a factor of a(-14)?
True
Let o(a) = -60*a - 33. Does 3 divide o(-1)?
True
Suppose -30 - 42 = 4*j. Let c = j - -19. Let b = 12 - c. Does 3 divide b?
False
Suppose -3*t - 637 = -4*z, 3*z + 0*t = 3*t + 480. Let o = z + -41. Does 29 divide o?
True
Let q be 4/2 + (-5)/1. Does 5 divide 4*q/18*-33*1?
False
Is (-4 - -5 - 0)*3411 a multiple of 43?
False
Suppose 3*v - 12 = 5*v. Let p be v/27 + 318/(-27). Let r = 10 - p. Is 11 a factor of r?
True
Let z be (5 - 2) + 1 - 6. Let b(g) = -g**2 - 4*g. Is 2 a factor of b(z)?
True
Suppose 0 = 4*x + 7*x - 5192. Is x a multiple of 14?
False
Suppose 4*n = -4*k - 8, 3*k - 5*n - 19 = -3*n. Suppose 0 = -k*b + 124 + 11. Suppose 4*j - 19 = -2*c + 35, 2*c = -j + b. Is 6 a factor of c?
False
Is 576/12*1452/18 a multiple of 33?
False
Suppose -3*z + 4 = 16, 20 = 4*v + 4*z. Is ((-3)/v)/((-1)/132) a multiple of 11?
True
Let a be ((-12)/(-9))/(12/18). Suppose 2*i - 3*i + 95 = 5*p, a*p = 5*i - 610. Does 10 divide i?
True
Suppose -141*y - 16568 = -149*y. Does 11 divide y?
False
Let n(m) = -m**2 - 16*m + 30. Let d be n(-17). Suppose 11*b + d = 68. Is b a multiple of 4?
False
Suppose -6*d + 56 = d. Let s(i) = -122 - 6*i + 112 - d*i. Is 9 a factor of s(-6)?
False
Let b(d) = -d**2 - 4*d. Let c be b(-3). Suppose 2*p + 4*u - 16 - 22 = 0, 0 = 3*p - c*u - 39. Is p a multiple of 7?
False
Suppose -48101 + 5261 = -119*c. Is 12 a factor of c?
True
Let x = -83 + 23. Let w = -120 - -214. Let t = w + x. Does 13 divide t?
False
Suppose 2*u = -114 - 32. Let r = u + 104. Does 31 divide r?
True
Let j(n) = -n**2 + 6*n + 6. Let q be j(6). Is 134/8*(q - (-4)/(-2)) a multiple of 15?
False
Let c = 3 - 3. Suppose 620 = 5*h - 5*a, c = -2*h + 3*h + 3*a -