12 = -4*h. Is 12 a factor of o?
True
Suppose -20 = -5*g - 2*b, -5*g - 4*b + 7 + 23 = 0. Suppose -2*v - 2 = 2*z, 0 = 5*z + 3*v - 3 - 0. Suppose -g*t = -z*t + 18. Is 11 a factor of t?
False
Let k = 224 + -129. Let r be 126/2*1 - -2. Let i = k - r. Is 10 a factor of i?
True
Let u(o) = -o**2 + 4. Let f be u(-4). Let k = 10 - f. Suppose 4*w - k = 34. Does 7 divide w?
True
Let z = 22 - 82. Let s = -29 - z. Is s a multiple of 12?
False
Let h be (2/6)/(1/6). Let l be ((-2)/6)/(h/(-12)). Is 7 a factor of (-5 - l)/(-1) + 0?
True
Let t = 81 - 0. Suppose b = 4, 5*b - t = -5*d + 39. Is d a multiple of 20?
True
Let y be ((-2)/(-4))/(-1)*-8. Let x be (y/6)/(4/174). Let j = 50 - x. Is j a multiple of 10?
False
Let g(j) = -2*j - 9. Let s be g(-6). Let d(m) = 0 - m**3 - 4*m**2 - 3 - 3 + 0*m**s - 3*m. Is 12 a factor of d(-5)?
False
Suppose 4*n - 59 = 177. Let c = 88 - n. Does 13 divide c - (-5)/((-15)/6)?
False
Let a(h) = -h**2 + 4*h - 3. Let u be a(2). Suppose 0 = -n - u - 2, 2*t - 5*n = 25. Is 2 a factor of t?
False
Let i(w) = w**3 + 8*w**2 - 16*w - 7. Is 14 a factor of i(-7)?
True
Is 1*(-30)/24*-120 a multiple of 15?
True
Let o be 2/(-10) - 4/5. Let g = 4 - o. Suppose 7*j - 5*r - 50 = 2*j, 4*r - g = j. Is j a multiple of 6?
False
Let g(a) = a**3 - 11*a**2 + 14*a + 5. Is 20 a factor of g(10)?
False
Is (0 + -1)*3 - -72 a multiple of 23?
True
Suppose -3*o - y - 3*y = -200, 4*o - 250 = -2*y. Does 12 divide o?
True
Let o be (1/(-2)*0)/2. Suppose o = 3*g - 1 - 29. Does 4 divide g?
False
Let z(b) = 5*b. Is z(5) even?
False
Let p be 4*1*(-4)/(-8). Suppose p*d = 5*d - 75. Let o = d - 14. Does 11 divide o?
True
Is 5*((-12)/(-48) + (-187)/(-20)) a multiple of 8?
True
Let x(p) = -p**2 - 12*p + 3. Does 6 divide x(-11)?
False
Suppose -5*k = -6 + 21. Let x(q) = q + 3. Let f(a) = 1. Let g(b) = 8*f(b) - 3*x(b). Is 8 a factor of g(k)?
True
Let c be 1/(3/(-6)*2). Is (6/(-8))/(c/12) a multiple of 9?
True
Let f(a) = -2*a + 16. Let n(t) = t - 15. Let z(j) = -2*f(j) - 3*n(j). Does 6 divide z(-6)?
False
Let d be (-24)/16*10/(-3). Let g(t) = -t**3 + 5*t**2 + 2*t + 6. Does 16 divide g(d)?
True
Let l be 2/((1 + 0)*-1). Let j be ((-4)/6)/(l/237). Let r = j + -51. Is r a multiple of 14?
True
Suppose -3*z - 5*t - 25 = 0, 3*z + 4*t - 3*t + 5 = 0. Suppose j = -z*j + 21. Does 14 divide j?
False
Suppose -5*n - 5*r = -45, -3*n + 5*r = r + 8. Is 4 a factor of n?
True
Let y(n) = 1 + 3*n + 9 + 5*n**2 - 2. Let b be y(-6). Suppose 6*x - b = x. Is 15 a factor of x?
False
Let z = -15 + 10. Let d be (-6)/(-15) - 13/z. Suppose 0*n + d*n - 6 = 0. Is n a multiple of 2?
True
Let d = 267 - 170. Is d a multiple of 14?
False
Let n = -2 + 2. Let d be n*1/(-2 + 3). Suppose k + d*k = 20. Does 13 divide k?
False
Suppose 5*p + 0*p - 75 = 0. Is -35*(-1)/(p/6) a multiple of 14?
True
Let q(h) = -2*h**2. Suppose 0 = -k + 2 - 1. Let z be q(k). Does 10 divide ((-15)/z)/(21/56)?
True
Let u = 1 + -6. Let j = 9 + u. Suppose j*p + 5*i - 47 = 0, 51 = 2*p - 5*i + 2*i. Is p a multiple of 12?
False
Suppose -6*p = -2*p - 168. Is 13 a factor of p?
False
Let l be (9/2)/((-6)/8). Let j = 10 + l. Suppose -2 = j*b - 66. Is 9 a factor of b?
False
Suppose -5 = -3*p + 1. Suppose -q - 8 = -p*q. Is 6 a factor of q?
False
Let a = 141 - 63. Is 13 a factor of a?
True
Let y be ((-1)/(-4))/(5/40). Suppose -y*v = -3*v + 55. Does 11 divide v?
True
Suppose -17 = d - 189. Is 26 a factor of d?
False
Let y be (-4)/10 - 48/30. Is 2 a factor of -1*(3 + -8 - y)?
False
Suppose -196 = -4*m - 40. Is m a multiple of 15?
False
Let t be -2 - -1 - (4 - -1). Let i = 17 - t. Is i a multiple of 23?
True
Let d(m) = 7*m**2 - 17*m + 3. Let p(z) = 6*z**2 - 16*z + 3. Let w(q) = -5*d(q) + 6*p(q). Let n be w(11). Let s(h) = 2*h**2 + h + 2. Does 8 divide s(n)?
False
Suppose -6 = -3*g - 3. Let x = g - -10. Is 5 a factor of x?
False
Let f = 7 + 5. Let a(v) = -v - 3. Let u be a(-5). Is (3/u)/(2/f) a multiple of 5?
False
Let y = -1 - -6. Let m(h) be the third derivative of h**4/4 + h**3/2 + 4*h**2. Is m(y) a multiple of 9?
False
Let y(n) = -n**2 + 4*n + 6. Let k be y(5). Suppose -4*g - 6*f = -f - 20, g - 14 = f. Let j = k + g. Is j a multiple of 7?
False
Let n = 493 - 327. Is n a multiple of 25?
False
Let s be (-27 + 0)/(6 - (-84)/(-16)). Let i = 129 - 60. Let g = s + i. Does 11 divide g?
True
Let v be 9 + 2*-1 + 0. Let x = v - 3. Is 6/(-5)*(-10)/x even?
False
Suppose 2*l + 3*l = 955. Suppose -5*q + l = 51. Is q a multiple of 11?
False
Let a = -2 + 4. Suppose r = 2*r + a. Let f = r + 16. Is 9 a factor of f?
False
Suppose -517 = -5*f + 543. Is f a multiple of 36?
False
Let h(g) = g + 3. Let c be h(-3). Suppose -y = -c*y - 18. Does 11 divide y?
False
Let v(i) = i**3 + 4*i**2 + 2*i - 2. Let k be v(-4). Let s be 1/(-2) - 5/k. Suppose -2*n - 12 + 56 = s. Is 11 a factor of n?
True
Suppose 0 = -0*f - 5*f + 200. Suppose 4*u - 2*u - f = 0. Suppose 2*y + r - 6 = 17, u = 4*r. Does 9 divide y?
True
Suppose -5*r + 5*s = -0*r - 235, 245 = 5*r + 5*s. Is 15 a factor of r?
False
Let n = -7 - -88. Let r = 53 - n. Does 8 divide (-4)/(-14) - 216/r?
True
Let p(z) = 0 - z**3 + 6 + z + 5*z**2 - 4. Suppose -2*k - 11 = -w, -3 = -w - 2*k - 4. Does 5 divide p(w)?
False
Suppose -7*j = -8*j + 67. Is j a multiple of 10?
False
Let y(f) = -f**2 - 10*f - 8. Is y(-6) a multiple of 13?
False
Suppose w - 5*z = -3*w + 263, 4*w = 3*z + 273. Suppose -4*v - 266 = -5*n, 3*n + 5*v = 239 - w. Let i = n + -35. Does 7 divide i?
False
Suppose 0 = -n + 2*n - 10. Let d(q) = -q**3 + 9*q**2 + 14*q - 12. Let a be d(n). Is (-1)/(a/(-9) + 3) a multiple of 4?
False
Let v(a) = -7*a + 5. Let w(m) = 8*m - 3. Let l(u) = -41*u + 16. Let q(g) = -2*l(g) - 11*w(g). Let z be q(1). Is v(z) a multiple of 20?
True
Suppose r - 8 = -r - 5*y, -2*r + 4*y - 10 = 0. Let g(t) be the third derivative of -13*t**6/60 - t**3/6 + 2*t**2. Is g(r) a multiple of 12?
False
Suppose -q - 2*b = -78, 5*b + 279 + 10 = 3*q. Does 12 divide q?
False
Let u(k) = -15*k + 1. Does 5 divide u(-1)?
False
Suppose -2*s - 6 = 2*y, 0*y - 4*s = 5*y + 13. Let a(r) = -11*r**3 - r**2 + 1. Is 10 a factor of a(y)?
False
Let m(c) = c**3 + 8*c**2 + 4*c - 10. Let i be m(-7). Let f(w) = -w + 35. Let j be f(15). Let v = i + j. Does 9 divide v?
False
Suppose l - 147 = -4*b, -2*b - 10 = -5*l - 111. Is 9 a factor of b?
False
Suppose -z + 1 + 5 = 0. Let g(k) be the third derivative of k**4/12 - 7*k**3/6 - 2*k**2. Does 3 divide g(z)?
False
Let y(s) = -4*s + 5. Is 19 a factor of y(-29)?
False
Let n(d) be the first derivative of -d**2 + 7*d + 4. Let j be n(6). Let t(p) = -3*p - 7. Is t(j) a multiple of 8?
True
Let q(r) = 128*r**2 - 3*r - 3. Does 12 divide q(-1)?
False
Suppose -2*a - a + 15 = 0. Let v = 8 - a. Suppose v*k - 85 = -13. Is k a multiple of 12?
True
Let q(a) = a**2 + 4*a + 4. Let h be q(-6). Suppose 0 = -2*g - 2*g - h. Let v(y) = y**2 - 3*y + 3. Is v(g) a multiple of 10?
False
Suppose 0*h = -3*h + 84. Is h a multiple of 7?
True
Suppose 6*m - m = -5*o + 695, -m + 142 = 2*o. Is 17 a factor of m?
True
Suppose 5*c - 119 - 16 = 0. Let h = c + -11. Suppose -x + 6 = 4, -4*m + h = 2*x. Is 3 a factor of m?
True
Let m = 19 + 33. Suppose q = -q + m. Does 9 divide q?
False
Suppose 0 + 4 = 2*k. Suppose -195 = k*v - 7*v. Is 13 a factor of v?
True
Let j(k) = k - 3. Let h be j(5). Let q = 148 - h. Suppose 3*p - 2*a = -p + q, -102 = -3*p - a. Is p a multiple of 17?
False
Suppose u = 5*u - 5*f - 170, 4*u + 2*f - 156 = 0. Is 20 a factor of u?
True
Let h be -2 + 0 - (-26 + 8). Let f be (h/6 + -3)*-12. Suppose s + 5*i - 25 = f*i, -4*i - 125 = -5*s. Is s a multiple of 25?
True
Suppose -16 = -5*j - 1. Let u be ((-6)/2)/(-1) - j. Suppose -5*p + 85 = -u*p. Does 17 divide p?
True
Suppose -2*u + 6*u = 4. Let x(g) = 22*g + 1. Is 12 a factor of x(u)?
False
Suppose -5*d + 69 = 2*a, -2*a - 3 = -d + 6. Does 4 divide d?
False
Let w = -8 - -17. Suppose -w = 5*i - 74. Suppose 0 = 3*t - 3*m - 21, 5*m = 4*t - 12 - i. Is 9 a factor of t?
False
Let d(j) = -j**2 - 2*j - 2. Let q be d(-2). Let v(n) = n**2 - 2*n + 1. Does 9 divide v(q)?
True
Let c be (-2)/(-6) - 28/(-6). Suppose -c*g + 17 = -38. Suppose 4 = -2*j + 2, -3*j = h - g. Is 7 a factor of h?
True
Suppose -3*u = -13 + 4, 0 = -2*s + u - 3. Suppose -i - 4*p - 12 = s, p = i - 4*p - 24. Is 3 a factor of i?
False
Is 2 a factor of (2/(10/(-55)))/(-1)?
False
Suppo