 7?
True
Let p(f) = 3*f**2 + 23*f + 14. Is p(-11) a multiple of 10?
False
Let m be 2215/25 + (-6)/10. Let v = -12 + 6. Does 4 divide (v/(-4))/(12/m)?
False
Suppose 6*n = n - 990. Is 11 a factor of -2 - (n/3)/2?
False
Let r(c) = -c + 3. Let y = 5 + 0. Let h be r(y). Is 7*(h/(-1) + 3) a multiple of 13?
False
Suppose 4*p = -2*r + 14, 2*p + 0*p - 5 = -3*r. Is 10 a factor of (r - 2)*40/(-6)?
True
Let n be 1/((-2)/(-2*5)). Let y(j) = j**3 + 10*j**2 + 6*j - 3. Let d be y(-9). Suppose d = n*i - 2*i. Is i a multiple of 4?
True
Suppose 11*x = 8*x + 51. Is -7 + 3 + (x - 1) a multiple of 3?
True
Let v = 10 - 16. Let l be v/(-2)*(-1 + 2). Suppose -3*g + 165 = 5*b, 0 = l*b + 5*g - 0*g - 115. Is b a multiple of 15?
True
Let m(t) = t**3 + 5*t**2 + 2*t + 1. Let a be m(-3). Suppose 12*y = a*y - 64. Does 20 divide y?
False
Let u = -22 + 55. Does 15 divide u?
False
Let n(j) = -j**2 + 5*j + 3. Let s be n(4). Let q be (-8)/(-28) + 68/s. Is ((-56)/q)/((-1)/5) a multiple of 11?
False
Let z = 18 + -11. Is z a multiple of 2?
False
Suppose g + 3 = 2*g. Is 19 a factor of (68/g)/((-6)/(-9))?
False
Let f be 1*(-3 + 2 + 0). Let t be (-3 - 12)*f/3. Suppose p + 2*q = 0, t*p + 0*q = 2*q + 60. Is 10 a factor of p?
True
Suppose -31 = -3*r + 8. Is r a multiple of 13?
True
Let n = -5 + 23. Let p = -13 + n. Suppose p*i - 96 = 2*i. Does 14 divide i?
False
Suppose -14 = -6*z + 106. Does 3 divide z?
False
Let r(y) = -y**3 + 6. Let a be (-2)/9 - 2/(-9). Let i be r(a). Suppose -3*u + 63 = -3*p, 2*p + 12 = i*p. Does 11 divide u?
False
Let s = -22 - -27. Suppose -30 = -2*m + p, -5*m + s*p - 3*p + 74 = 0. Does 4 divide m?
False
Let i = -80 - -138. Suppose o - i = -8. Does 25 divide o?
True
Suppose -3 = -3*n + 3, -4*x - 4*n = -280. Is 11 a factor of x?
False
Let p = 199 - 27. Let q be p/36 - 4/(-18). Is (36/10)/(q/25) a multiple of 9?
True
Suppose -2*i - 5 = 3*i. Let k be ((-9)/(-3) - i)/2. Is 12 a factor of k/((-16)/6)*-16?
True
Suppose -2*w - 10 = 0, 0 = -o - o + w + 13. Suppose -4*d + 0 = 4*z - 4, -9 = -z + 3*d. Suppose z*l - 4 = 3*y + 53, -o*l - y + 71 = 0. Is 11 a factor of l?
False
Suppose 3*i = 2*i - 2*d + 5, 4 = -4*d. Is i a multiple of 6?
False
Let x(l) = -l**3 + 6*l**2 + 6*l + 3. Let v be ((-16)/(-10))/(1/(-5)). Let w = v + 14. Is x(w) a multiple of 13?
True
Let k(z) = 5*z**2 + 3*z - 2. Let i(b) = 6*b**2 + b. Let p be i(-1). Suppose -4*n + p = v - n, -2*n + 6 = 2*v. Is k(v) a multiple of 16?
False
Suppose 3*t + 769 = 6*t + m, 2*t = -m + 514. Does 16 divide t?
False
Let r be 4/(-6) + 25/15. Suppose -3*l + 3 + 0 = 0. Let h = r + l. Does 2 divide h?
True
Suppose -k - 20 = -5*k. Suppose -a + 30 = k. Does 15 divide a?
False
Let w be (-60)/6*1/(-2). Suppose 0 = 3*k + w - 14. Does 10 divide (-9)/4*(-16)/k?
False
Let b(y) = y**2 - y - 6. Let s be b(0). Let v(d) = -d**3 - 6*d**2 + d + 3. Let h be v(s). Is 17 a factor of (-134)/(-4) + h/(-6)?
True
Let b = -2 - -6. Suppose -6 = -3*n, b*m = -3*n - n + 128. Does 10 divide m?
True
Suppose 2*m = -3*g - 2, -m - 3*g - 4 = -0. Suppose 7*a = m*a + 70. Is 11 a factor of a/4*16/2?
False
Suppose -2*n = 10, o - 4*n + 1 = -5*n. Suppose -o*q - 16 = 0, q + 0*q + 28 = 2*y. Is 6 a factor of y?
True
Suppose 0*n - 2 = p - n, 4*p = 2*n - 4. Suppose 4*b - 17 - 55 = p. Suppose i = -i + b. Is i a multiple of 9?
True
Let a = 4 + 21. Is 8 a factor of a?
False
Let j be ((-26)/(-4))/(8/16). Let c = 26 - j. Is c a multiple of 13?
True
Suppose -3*j - 15 = 0, f + 2*j - 143 - 59 = 0. Is f a multiple of 20?
False
Suppose -2*x - 384 = -8*x. Is x a multiple of 20?
False
Let v = 14 + -20. Let i be ((-104)/v)/((-2)/(-3)). Suppose 6 + i = 2*t. Is 8 a factor of t?
True
Let y = -7 - 9. Let c = 25 + y. Does 6 divide c?
False
Let w = -87 - -161. Does 20 divide w?
False
Suppose 0 = -6*a + 2*a + 68. Is 12 a factor of a?
False
Suppose -5 = 3*l - 137. Let h = 78 - l. Suppose -3*q - z - 3*z = -104, q + 2*z - h = 0. Does 26 divide q?
False
Suppose 0 = 3*h + x - 127, -2*x - 166 = h - 5*h. Does 42 divide h?
True
Suppose l - 3 - 1 = 0. Suppose 0*y + 4*y - l = 0. Does 7 divide (0 + -2)*y - -9?
True
Let z = 4 + -3. Let a(n) = 22*n**2 - n + 1. Is 22 a factor of a(z)?
True
Suppose -5*v = -2*v + 33. Let l(k) = k**3 + 10*k**2 - 14*k + 7. Is 20 a factor of l(v)?
True
Let q(l) = -4*l + 2. Let f = -5 + 3. Is 4 a factor of q(f)?
False
Does 5 divide ((-84)/8)/((-3)/6)?
False
Let y(j) = -4 - 1 - 10 - 7*j. Is y(-6) a multiple of 8?
False
Suppose -i - 4*y + 14 = 0, -2*y - 2 = -6*i + 2*i. Suppose -4*g - 4 = -i*g. Does 6 divide 8/(-5)*15/g?
True
Suppose 5 = 4*g - 11. Suppose -g*m + 5*k = -45, 3*k = -5*m + 5*k + 35. Does 5 divide m?
True
Let w(y) = 19*y - 3. Does 9 divide w(2)?
False
Let g = 56 + 2. Is 13 a factor of g?
False
Suppose 0*k - 34 = -2*a - k, -5*a + 70 = -5*k. Suppose -4*g - 24 = -0*g. Let u = g + a. Is 3 a factor of u?
False
Suppose 2*z + 3*b = 339, 4*b = 31 - 11. Is z a multiple of 27?
True
Suppose -19*x + 15*x + 112 = 0. Is x a multiple of 4?
True
Let t(p) = -p + 10. Let b be t(7). Suppose j - 57 = -b. Suppose 11 = -a + j. Is 18 a factor of a?
False
Suppose -2*f - 3*f = -50. Let l be (-54)/(-10) - 4/f. Suppose -3*d + 83 = l*x, -5*x + 4*d = -0*x - 111. Does 19 divide x?
True
Let n(v) = -v**3 - 7*v**2 - 6*v - 2. Let d be n(-6). Let k(o) = 4*o**2 + 1. Does 10 divide k(d)?
False
Suppose -4*i = -v - 149 - 12, 3*v + 15 = 0. Is 13 a factor of i?
True
Let u = -495 + 747. Does 36 divide u?
True
Let p be 4 - -50 - (3 + -1). Suppose -z = z - p. Does 13 divide z?
True
Let f(m) = -6*m**3 - 2*m**2 + 10*m + 11. Is 34 a factor of f(-4)?
False
Let c(o) = o**2 + 11*o - 2. Let z be c(-8). Let p = 3 - z. Is 16 a factor of p?
False
Let u be 3/(-2) - 25/2. Is (u/(-3) + 2)*3 a multiple of 20?
True
Let w(n) = n**3 - 6*n**2 + 14*n - 2. Is 17 a factor of w(8)?
True
Let c(k) = -17*k + 4. Let b be c(-3). Let x = b - 13. Is 15 a factor of x?
False
Let q be ((-9)/6)/(3/(-6)). Suppose -2 = 5*j + q, -4*j = -2*x + 44. Does 10 divide x?
True
Let u be ((-2)/6)/(9/(-2457)). Let v = -56 + u. Is v a multiple of 16?
False
Suppose -9 = -3*b + 3*x, 3*b + 0*b - 13 = -x. Suppose -b*m = -7 - 1. Is 2 a factor of m?
True
Suppose -2*a = -306 - 132. Is 17 a factor of a?
False
Let w = 1 - 33. Let u = w + 65. Is u a multiple of 14?
False
Let v(u) = 12*u. Does 4 divide v(1)?
True
Suppose 2*z + 10 = -3*z. Let g(h) = 12*h**2 - 1. Is g(z) a multiple of 30?
False
Suppose -4*c - 13 = h, -4*c - 1 - 5 = 2*h. Is 5 a factor of h?
False
Let y(n) = 5*n**3 + 3*n - 2. Is y(2) a multiple of 2?
True
Is 20 a factor of (2/(-8))/((-1)/244)?
False
Suppose -2*w + 69 = 5*x - 62, w - 3*x = 38. Is w a multiple of 16?
False
Let j = -143 + 203. Does 20 divide j?
True
Suppose -4*a + 5*w + 4 = 0, -3*a + w = -0*w - 14. Let o(y) = 11*y + 3*y - 13*y - 2. Is 4 a factor of o(a)?
True
Suppose 0 = 2*q - 62 - 18. Let z = q + -22. Is 9 a factor of z?
True
Suppose 4*v + 1 = k, 3*k - 2*v + v - 3 = 0. Is 13 a factor of -1 + (30 - (0 + k))?
False
Let i = -7 - -9. Suppose -l = -i*l + 2. Suppose 2*s + l*s = 48. Is 8 a factor of s?
False
Does 15 divide 35 + 5/5*4?
False
Let y be 2/(2 + (-3 - -2)). Suppose -16 = -y*a + m, 0 = 4*a - 3*m - 19 - 13. Is a a multiple of 3?
False
Let j be 10/6 + (-6)/(-18). Suppose -j*f + f = -30. Is 10 a factor of f?
True
Suppose 3*j + 15 + 5 = 4*k, -10 = -5*k. Is (30/j)/((-51)/136) a multiple of 10?
True
Suppose -60 = -9*v + 5*v. Is 5 a factor of v?
True
Let n be 2 + 0 + 0 + -2. Is 2 a factor of (2 - 1) + 6 + n?
False
Let x = -16 + 64. Is x a multiple of 21?
False
Let c = -152 + 288. Suppose w + 2*w - 193 = -2*j, -c = -2*w - 5*j. Does 21 divide w?
True
Let o(r) = r + 1. Let j be o(1). Suppose 56 = j*s + 4*c, 2*s - 5*c = -0*s + 56. Is s a multiple of 17?
False
Let c = -6 + -10. Suppose 2*u + 1 = 4*i - 17, -3*i = -3*u - 21. Let m = i - c. Is m a multiple of 16?
False
Let g = 2 + 0. Suppose 5*s - 2*c + 6 = 0, g*c - 6 = -2*s - 0. Suppose -3*i + 7*i - 128 = s. Does 11 divide i?
False
Suppose -6 = -0*h - 3*h. Suppose i - 5*q + 3 = 2*i, -q + 3 = i. Suppose -h*w = i*r - 13, 4*w - 3*r = 2*w + 43. Does 11 divide w?
False
Suppose 7*l - 30 = 4*l. Does 5 divide l?
True
Let n(f) = -f**2 - 3*f + 65. Does 3 divide n(-8)?
False
Suppose 4*h - 5*h + 5 = 0. Suppose 0 = -h*q - 144 - 456. Does 3 divide q/(-18) + (-2)/3?
True
Let y(c) = -c + 12. Let h be y(10). Suppose -h*p