s 7 a factor of s?
False
Let z(s) = 12*s + 3. Is z(6) a multiple of 25?
True
Let m be 2/(-7) - (-46)/14. Suppose -m*s + 5*s = 0. Does 7 divide (1 - (2 - s))*-19?
False
Let y be 3/5*(-25)/(-5). Suppose 20 = 4*r + 4*k, -r - 3*r + y*k + 41 = 0. Is r a multiple of 8?
True
Suppose -3*b = 3*u + 45, 0*b + 5*u - 15 = b. Let n = b - -27. Is n a multiple of 4?
True
Suppose 30 = -x + s + 156, -4*x - 4*s = -496. Is x a multiple of 15?
False
Let d(z) = -3*z + 6. Suppose -7 - 1 = 2*i. Does 9 divide d(i)?
True
Suppose 0 = x + 1, 2*z - 3*x = 3*z - 9. Suppose -k = 2*k + z. Is 1*8 + (-2 - k) a multiple of 10?
True
Let a be 0/(1 - 3/1). Suppose a = 2*q - q - 58. Is q a multiple of 13?
False
Suppose -4*f = z + 7 + 7, z = 5*f + 22. Is 18 a factor of z/4 + (-175)/(-10)?
True
Let l = 19 + -16. Does 11 divide 49 + l/(2 - -1)?
False
Is ((-140)/(-15))/((-3)/(18/(-4))) a multiple of 14?
True
Suppose 2*w - 190 = 202. Does 31 divide w?
False
Suppose -7*t + 3*t - 8 = 0. Does 13 divide (-13)/t*(0 - -4)?
True
Let c = -7 + 12. Suppose -4*i = -2*i + c*b - 78, -4*i + 2*b = -156. Does 14 divide i?
False
Let k = 16 + -13. Suppose 3*q - k*p - 147 = 0, 3*q = 5*p + 86 + 69. Does 24 divide q?
False
Let k = 9 - 4. Suppose -14 = -k*c - 4. Let n(r) = 3*r**3 - r**2 + 4*r - 3. Is n(c) a multiple of 13?
False
Suppose -3*y = -3*d - 21, -y - d + 7 = d. Is y/(14/30) - 1 a multiple of 7?
True
Let c(y) = y**3 - 2*y**2 - y - 3. Let n be c(3). Let t = 4 + n. Is 4 a factor of t?
False
Let c(p) = 24*p - 8. Let r(k) = 16*k - 5. Let j(o) = -5*c(o) + 7*r(o). Let a be j(-6). Suppose 2*n - 3 = -v, 2*v - 5*n = -v + a. Is 8 a factor of v?
False
Let n be ((-2)/(-8))/((-2)/(-40)). Suppose k - 3*o = 2*o + 26, o + 58 = n*k. Is 3 a factor of k?
False
Let s(w) = -w**3 - 6*w**2 - w. Let g(n) = n**2 - 6*n - 6. Let h(o) = -o**2 - 5*o + 2. Let l be h(-4). Let u be g(l). Does 5 divide s(u)?
False
Let c be (-12)/(-7)*(-56)/(-16). Does 3 divide (6/(-7))/(c/(-21))?
True
Suppose 2*v + 2*u - 4 = 0, -3*u = 2*v - 4*v + 14. Suppose -5 - v = 3*g. Is 7 a factor of (3/(-2))/(g/28)?
True
Let y = -6 - -12. Suppose -92 = -y*a + 2*a. Let h = 59 - a. Is 18 a factor of h?
True
Suppose -b - 2*n + 0*n = 28, n + 64 = -3*b. Suppose -6*y = 105 - 45. Let a = y - b. Is a a multiple of 10?
True
Let i be (1/(-1))/(1/(-75)). Suppose -i = -4*o - o. Is o a multiple of 15?
True
Let o(m) = m + 7. Let c be o(-4). Suppose c = l - 2. Suppose 4*t - 216 = y, -l*t + 4*y + 206 = -53. Is 22 a factor of t?
False
Let g(v) = -3*v - 2. Let u be (1 + -3)*(-9)/6. Let x = -1 - u. Is 5 a factor of g(x)?
True
Let i = 12 + -23. Suppose 2*h = 8, 2*q - 4*h + 11 = -3. Is ((-4)/(-2) - i) + q a multiple of 7?
True
Let k = -385 + 590. Suppose 6*g - k = g. Is g a multiple of 10?
False
Let r be (2 + (-11)/4)*-4. Suppose -r*s + m + m + 80 = 0, 5*m = -5*s + 125. Does 10 divide 6/(-39) - (-524)/s?
True
Is 21 a factor of 55 - (-3 - -2)*-4?
False
Let f be 2/(-7) + 675/35. Suppose 0 = -z - 10 - f. Let c = z - -42. Does 8 divide c?
False
Let u(a) = -14*a**2 - a. Let m be u(1). Let s be -2*m*(-3)/6. Let r = s + 24. Is 4 a factor of r?
False
Suppose -k + 0 = 12. Let d = -28 + k. Let y = d - -60. Does 10 divide y?
True
Is 19/2 + (-10)/20 a multiple of 3?
True
Is 48 - 9/(2 - -1) a multiple of 9?
True
Suppose 2*d - 3*d + 235 = 2*y, 3*y = 2*d + 356. Is y a multiple of 10?
False
Is (1 - 5/(-20))*24 a multiple of 10?
True
Let w(m) = m**2 - m - 3. Let f be w(3). Let z(l) = -2*l - 4*l**2 + l**3 - 7 - 5*l + 0*l**f. Is 13 a factor of z(6)?
False
Suppose 0*t + 22 = 4*t + 2*l, 4*l + 16 = 4*t. Suppose 0 = 10*d - t*d - 375. Does 25 divide d?
True
Let h = -2 - -6. Suppose 2*t - h*x - 4 + 30 = 0, -3*t + 5*x = 35. Let p(s) = 2*s**2 + 5*s + 5. Does 12 divide p(t)?
False
Let v(q) = 10*q**2 - 3*q - 18. Does 54 divide v(6)?
True
Let k(a) = a**2 + 7*a + 6. Does 7 divide k(-8)?
True
Let l(s) = -s**3 - 4*s**2 - 4*s - 3. Suppose -4 = -y + 2*y. Is l(y) a multiple of 13?
True
Let b(k) = 18*k**3 - k**2 + k. Let g be b(-2). Let f = -92 - g. Suppose 0 = -a - 2*c + f, -2*a + 7*a - 4*c = 220. Is 16 a factor of a?
True
Suppose -5*p + 22 = 2. Suppose 6 = 5*r - p. Suppose 0 = -r*h + 8 + 40. Does 12 divide h?
True
Let i be -13*(-4)/(-2) - 2. Suppose 0 = -3*h - 9, 0*u = u - 4*h + 33. Let j = i - u. Does 10 divide j?
False
Suppose 2*x + k - 12 = 0, 4*x - 3*k - 24 = k. Let s = x - -18. Is s a multiple of 12?
True
Let a(h) = 2 - 11*h - h - 9*h + 32*h. Does 7 divide a(3)?
True
Suppose 6*v = 3*v + 21. Let q = 31 - v. Let j = q - 10. Is 14 a factor of j?
True
Suppose 2*i + 41 = 3*i - a, i - 26 = -4*a. Does 11 divide i?
False
Let r(w) = -w. Let q be r(-3). Does 2 divide (-1)/q - (-88)/12?
False
Let g(j) = 9*j - 5. Let k be g(4). Let q = -19 + 71. Let s = q - k. Is s a multiple of 10?
False
Suppose 0 = -7*r + 12*r - 45. Is r a multiple of 3?
True
Let d = 56 + -10. Does 13 divide d?
False
Let z = 176 - 122. Is 10 a factor of z?
False
Let c(b) = 2*b**2 + 4*b + 6. Is c(-7) a multiple of 19?
True
Let j(m) = 105*m + 1. Let i be j(1). Is 9 a factor of (-1)/(-3) - i/(-6)?
True
Suppose -4*h = -5*f - 43, -2*f - 6 - 52 = -5*h. Is h a multiple of 10?
False
Suppose 2*q + 2*f = -q + 10, -3*q - 4 = -5*f. Suppose -4*i = -2*w + 38, q*i - 14 = 2*w - 4*w. Does 6 divide w?
False
Let q(i) = -i**2 - i + 2. Let w be q(0). Let k(a) = a**2 - 2*a + 2. Let j be k(3). Suppose 3*r + 0*r - w*m = 97, -j*r + 5*m + 170 = 0. Is r a multiple of 13?
False
Let c(x) = 5*x - 2 - 2 + 8*x**2 + x - 1. Let r be c(-5). Suppose -4*g = 49 - r. Is g a multiple of 11?
False
Suppose j - 14 = 4. Is j a multiple of 18?
True
Let u = 76 - 41. Is 7 a factor of u?
True
Let p = -11 - -15. Suppose 0 = -k, p*k - 1 = -2*d + 1. Is (d - 13)/(6/(-4)) a multiple of 4?
True
Let j(r) = -3*r**3 + 7*r**2 - 14*r + 9. Let v(q) = -q**3 + 2*q**2 - 5*q + 3. Let t(h) = 3*j(h) - 8*v(h). Is 9 a factor of t(4)?
False
Let i be 1/(-4) + (-519)/(-12). Does 4 divide 8/12 + i/3?
False
Let t be (0 - -1)/((-9)/(-27)). Is 9 a factor of 18/(-1*(t + -4))?
True
Suppose -3*t + 2*u + 6 = -2*t, 0 = -4*t - 4*u - 12. Suppose 4*d - 17 - 35 = t. Is d a multiple of 3?
False
Let b be (-4 + 0)/(3 - 5). Suppose 3 = -b*w + 11, 10 = -a + 4*w. Let p = a - -3. Is p a multiple of 9?
True
Is (-30)/25*150/(-3) a multiple of 12?
True
Let r(k) = k + 1. Let m(a) = 5. Let t(u) = 3*m(u) + 3*r(u). Does 16 divide t(13)?
False
Let x(z) = -z**3 - 8*z**2 - 5*z + 8. Let n be x(-6). Let l = 17 - n. Suppose -5*r + 29 = -l. Is 8 a factor of r?
True
Let p be 0 - 6 - (-1 + 2). Does 5 divide 2/p + (-288)/(-28)?
True
Let j(p) = -4 - 9*p + 2 + 10*p - 9*p - p**2. Let g = -8 + 4. Does 5 divide j(g)?
False
Let i(u) = u**2 + u - 2. Suppose 0 = -6*r + 3*r - 9. Let g be i(r). Let d = 13 - g. Is 4 a factor of d?
False
Let i be (0 + 5)*(20 - 1). Let n = -155 - -92. Let p = i + n. Does 17 divide p?
False
Let y(n) = -7*n**2 + 5*n**2 + 18*n**2. Suppose -1 = c - 0. Is 15 a factor of y(c)?
False
Suppose -5*d + 32 = -d. Suppose -c + 4*q + 7 = -18, 4*q + 20 = 0. Suppose a - c = d. Is a a multiple of 13?
True
Is 3 a factor of (18/4)/((-7)/(-42))?
True
Suppose 12*d - 35 = 13. Does 3 divide d?
False
Let p(c) = -8*c - 2. Let n = 3 + 0. Suppose -4 - 2 = n*v. Is p(v) a multiple of 7?
True
Let i(h) = 15*h**2 + 2*h + 1. Let g be i(-1). Suppose 0 = -3*y - g + 113. Does 14 divide y?
False
Let f be (-2*2*1)/1. Let c = f + 10. Suppose 5*r = -2*q + c*r + 25, -5*q + 65 = -5*r. Is 8 a factor of q?
False
Let l = -66 - -108. Is 9 a factor of l?
False
Let w(t) = t**3 - 7*t**2 + 4*t + 5. Let c be w(6). Let x(u) = -u**3 - 7*u**2 + 3*u + 10. Let f be x(c). Let l = 26 + f. Is l a multiple of 6?
False
Let m = 11 + 9. Let h = -2 - -5. Suppose -8 = h*o - m. Does 4 divide o?
True
Let a be (3/(-2))/(9/(-12)). Suppose a*n = -2*n + 16. Let i(s) = 2*s**2 - 7*s + 5. Is i(n) a multiple of 9?
True
Let v be (-5)/6*-3*2. Let j(u) = -2*u**2 + 4*u + 2. Let b be j(v). Is (-960)/b - (-4)/(-14) a multiple of 17?
True
Suppose -2*d = 6, -s - 3*d + 4 = 13. Suppose 3*n = 5*n - v - 4, s = 2*n - 2*v. Does 4 divide n?
True
Let f = 109 - 68. Is f a multiple of 12?
False
Does 29 divide 0 + (83 + 4)/1?
True
Let k = 34 - 15. Is k a multiple of 19?
True
Let l be 1*(-4)/(-12)*-3. Is 4 a factor of l/(3 - (-75)/(-24))?
True
Let q = 46 + 26. Suppose -i - 4*h + q = 10, 32 = i - 2*h. Is i a multiple of 14?
True
