multiple of 11?
True
Suppose -3*m = -m. Suppose -25 = -m*l - l. Suppose -4*p + 66 = -2*g, 4*g = -3*p + l + 8. Is 6 a factor of p?
False
Let o(z) = -4*z + 1. Let f be o(2). Does 7 divide (f/(-2))/(1/2)?
True
Let l(s) = -25*s**2 + 3*s. Let n(c) = -101*c**2 + 13*c. Let p(m) = -9*l(m) + 2*n(m). Is p(-1) a multiple of 15?
False
Let c(x) = -x**2 - 7*x - 3. Suppose 8 = 4*v, -o - 3*o = v + 50. Let j = -19 - o. Is 3 a factor of c(j)?
True
Let j(i) = i**2 - 5*i - 6. Let q be j(6). Suppose q*y + y = 140. Suppose 3*n - y = -2*n. Does 12 divide n?
False
Let j be (-26)/(-8) + 2/(-8). Suppose -22 = -2*v + 3*w - 6, 0 = j*v - w - 10. Suppose -v*t + 14 = -t. Does 14 divide t?
True
Suppose -97 + 478 = o. Let r = -267 + o. Let i = r + -80. Does 17 divide i?
True
Let z be 20/(-6)*(-12)/10. Suppose -16 - z = -5*f. Let a = 11 - f. Does 4 divide a?
False
Suppose -2*d = -4*y + d + 17, -3*y = -d - 19. Suppose -5*s + 12 + y = 0. Is s even?
True
Let r = 7 + 9. Let d = -9 + r. Does 4 divide d?
False
Let g be 12 - (-3 + 2)*1. Suppose -g + 1 = -2*b. Is 6 a factor of b/(-15) - (-64)/10?
True
Let m(z) = -z**2 + 7*z + 3. Let v(k) = 2*k**2 - 14*k - 6. Let r(g) = -5*m(g) - 2*v(g). Is r(8) a multiple of 3?
False
Let k = 357 + -218. Is k a multiple of 15?
False
Let x(t) = 3*t**3 + t**2 + t - 1. Let f be x(1). Let c(p) = -p**3 + 5*p**2 + 2*p + 2. Is 13 a factor of c(f)?
True
Is -3*(110/(-6) + -2) a multiple of 18?
False
Let j(x) = -x**3 - 17*x**2 - 4*x + 4. Is 36 a factor of j(-17)?
True
Let l = -18 + 20. Suppose -3*t = -3*y - 45, l*y + 98 = 5*t + 29. Is 4 a factor of t?
False
Let j(z) = -2*z + 7 - 4 - 4*z**3 - 2*z**2 - 4. Let b be j(-1). Suppose 15 = 5*l, 0*n + 5*l - b = 4*n. Is n even?
False
Let k be 2/6 - (-5)/3. Let a(p) = 36*p + 1. Let z be a(4). Suppose -5*r - 3*v = -z, 5*r - 55 = k*v + 65. Does 13 divide r?
True
Let q(j) = -6*j + 1. Suppose 12*f = 7*f - 10. Is q(f) a multiple of 13?
True
Let k(n) = n**2 + 4*n - 6. Does 15 divide k(-7)?
True
Let z = -1 + 3. Let y(q) = z*q + 0 + 12*q**2 + 0 + 1. Does 11 divide y(-1)?
True
Let x = 60 - 2. Does 27 divide x?
False
Let y be 3*3/(-6)*10. Is (38/6)/((-5)/y) a multiple of 6?
False
Let v be (-3 - 0)*78/(-18). Let f be (-2)/v - 3774/(-26). Suppose f = 3*h + 2*h. Is 12 a factor of h?
False
Let c(m) = -m**3 + 10*m**2 - 3*m + 3. Let a be c(7). Let n = a - 42. Suppose 5*h - n = -7. Does 6 divide h?
False
Let a be -4*-3*45/6. Suppose -12 - 243 = -5*d. Let m = a - d. Does 20 divide m?
False
Let t = 37 + -23. Let m = -2 + t. Suppose -5*y = -0*y - 5*n, y = -3*n + m. Is y a multiple of 2?
False
Suppose 2*x - 289 - 198 = -5*h, 0 = 4*x + 16. Does 14 divide h?
False
Let r be 42/12 - 2/4. Is 8 a factor of (r/(-6))/((-1)/32)?
True
Let r = -34 + 33. Suppose 5 + 13 = 3*v. Let j = v + r. Does 5 divide j?
True
Let b = 9 - 7. Suppose j + 4*n - 24 = 0, -4*j - 3*n - b + 46 = 0. Does 4 divide j?
True
Let a = 41 + 19. Is a a multiple of 20?
True
Suppose 4*p - 19 + 3 = 0. Suppose 4*d + p*x - 28 = 2*x, -3*d + 2*x + 14 = 0. Suppose -d*i + o = -2*i - 25, 3*i - o = 20. Is 3 a factor of i?
False
Let l(s) = 12*s**2 - s. Does 3 divide l(1)?
False
Suppose 4*u + 420 = 4*i, 7*u = 2*i + 3*u - 210. Does 15 divide i?
True
Suppose -r = 2*o - 16, -3*r = -2*r + 3*o - 18. Is r a multiple of 8?
False
Suppose z = 4*z - 6. Suppose 0 = -j - z*j + 84. Is 14 a factor of j?
True
Suppose 0 = -7*g + 31 + 53. Is 6 a factor of g?
True
Suppose -2*u + u = -113. Suppose -u + 1 = 4*z. Let y = -9 - z. Is 15 a factor of y?
False
Let s(h) = -h - 4. Let j be s(-6). Let a(n) = 2*n - j - n - 3*n**3 + 4*n**3. Is 8 a factor of a(2)?
True
Let v be 9/(-1) + (-3 - -4). Let x be ((-5)/4)/(2/v). Suppose 4*i - 7 = x. Is i even?
False
Suppose -2*z + 165 - 25 = 0. Does 10 divide z?
True
Let b = -16 + 42. Does 4 divide b?
False
Is (-831)/(-4) - ((-38)/(-8) - 5) a multiple of 26?
True
Let g(k) = 13*k**3 + 16*k**2 - k + 21. Let v(f) = -3*f**3 - 4*f**2 - 5. Let s be 2/(-5) + (-12)/(-5). Let h(z) = s*g(z) + 9*v(z). Is h(-4) a multiple of 5?
True
Let y be ((-15)/(-12))/(1/(-1752)). Is 17 a factor of 6/(-39) + y/(-39)?
False
Let k(q) = -q**3 + 5*q**2 - 2*q. Let t(z) = z**2 - 6*z - 2. Let u be t(5). Let n = u - -10. Is k(n) a multiple of 12?
True
Let w(o) = 2*o**2 + 6*o + 2. Let d be w(-4). Suppose d = g + g. Suppose -g*z = -2*i + 13 - 6, 4*i - 3*z - 35 = 0. Is 4 a factor of i?
False
Let z = 116 + 28. Does 24 divide z?
True
Suppose 0*u + 4*u + 256 = 4*a, 0 = -5*a + 4*u + 318. Suppose 0 = -2*z + a + 98. Suppose -3*i = -i - z. Is 14 a factor of i?
False
Suppose -77 = -3*n + 2*f, f = 3*n - 106 + 27. Is 9 a factor of n?
True
Does 19 divide (-21)/12 + 1 - (-223)/4?
False
Is (-118)/(-4) + 6/12 a multiple of 3?
True
Suppose -u - 113 = -3*y, -2*y - u = 2*u - 90. Is y a multiple of 13?
True
Let r(v) = 4*v**2 + v - 1. Let u be 1/((9/(-6))/3). Let s be r(u). Is 4 a factor of s - 0/(-3 - 0)?
False
Suppose -4*z - 3*v + 101 = 0, 39 = -z + 2*z - 2*v. Suppose 0 = 5*f + 9 - z. Suppose -f*g + 214 - 82 = 0. Does 11 divide g?
True
Suppose 9*n - 14*n + 210 = 0. Suppose n = 2*x - 22. Is 8 a factor of x?
True
Let d = 257 - 153. Let j be (0 - (-12)/(-1))*3/(-9). Suppose -5*x = -5*b - j*x + 114, 0 = -4*b + 4*x + d. Is 12 a factor of b?
False
Suppose 2*f = 2*p + 56, -3*p - 53 = -2*f + 5. Is 24 a factor of f?
False
Suppose 0*r + 5*r + m = 169, 2*r + 5*m = 86. Does 33 divide r?
True
Is (-1)/(-4) - (-220)/16 a multiple of 7?
True
Let g(q) be the third derivative of -q**4/6 + 5*q**3/6 + q**2. Let i = -10 - -6. Is 21 a factor of g(i)?
True
Suppose 2*s + 69 = 4*s + 3*t, 5*s + 4*t - 162 = 0. Is s a multiple of 10?
True
Suppose 7*g - 5*g - 180 = 0. Suppose -3*w = -48 - g. Does 11 divide w?
False
Let w be ((0/(-1))/3)/2. Suppose w = -4*s - 8 - 4. Let u = s + 10. Does 4 divide u?
False
Let y = -2 - -1. Suppose 78 = 3*l - 0*l. Is l*y*(-3)/6 a multiple of 7?
False
Let d(l) = l + 1. Let p be d(-6). Let x = 8 + p. Suppose -h + x*a + 36 = -a, 0 = 2*h - 4*a - 60. Is 12 a factor of h?
True
Let j(y) = -y**3 + 13*y**2 - 19*y + 31. Is 4 a factor of j(11)?
True
Suppose -3 = -3*i + 2*i. Suppose 4*z - i = -4*t + 9, -5*t = -3*z + 1. Is 9*(10/(-6) + z) a multiple of 3?
True
Let g(r) be the first derivative of -r**3/2 - 7*r**2 - 2*r - 2. Let s(w) be the first derivative of g(w). Does 10 divide s(-10)?
False
Let j(t) = t**3 + 8*t**2 + 9*t + 2. Let n be (11 + -12)*(1 - -5). Does 6 divide j(n)?
False
Suppose -2*z = 3*z. Let b = -5 - z. Is 2/b + 34/10 even?
False
Suppose -o + 5*h + 214 = 0, 3*o - 214 = 2*o - 4*h. Suppose 4*s = -86 + o. Does 13 divide s?
False
Let i be (-2)/((-2)/52*2). Suppose 17 = -5*y + 3*a, -8 = 2*y + 5*a - i. Does 6 divide y/((-1)/(-1 - -7))?
True
Let h(r) be the second derivative of 2/3*r**3 - 1/20*r**5 + 5/12*r**4 + 0 - r**2 - 2*r. Is h(5) a multiple of 17?
False
Suppose 0 = p - 5*c - 35, -4*p + 3*c + 68 = -38. Let v be 20/25*p/2. Suppose 4*a - 28 = -2*q, 5*q - 58 = a - v. Is 10 a factor of q?
True
Is 7 a factor of 4/3*63/6?
True
Suppose -2*y = 34 - 78. Does 3 divide y?
False
Let d(s) = 4*s - 8. Is d(7) a multiple of 10?
True
Let v(o) = -o**2 + 5*o - 4. Let l be v(3). Suppose -5*m + 13 = h - 3, -l*h = 8. Suppose 2*x + 5*d - 11 = 0, 0 = -2*x + 2*d - m + 50. Is x a multiple of 14?
False
Let m(c) = -c + 4. Let p be m(5). Let z be (-14)/(-4) - p/(-2). Does 10 divide 8 + -1 + z + 0?
True
Does 4 divide ((3 - 0) + -22)*-1?
False
Let z(p) = -p**2 + 5*p + 1. Let j be z(4). Suppose -161 = j*c - 696. Does 27 divide c?
False
Suppose 0 = -4*g + 3*b + 25 + 22, b - 32 = -3*g. Is 2 a factor of g?
False
Suppose -l = -4*l + 147. Is 12 a factor of l?
False
Let x(h) = h**2 - 3*h - 20. Is x(-10) a multiple of 10?
True
Let h(v) = -4*v**3 + 5*v**2 + 2*v + 11. Let b(f) = f**3 - 1. Let z(r) = -3*b(r) - h(r). Does 10 divide z(6)?
False
Let a(u) = -3*u + 2*u + 0 - 2*u - 2 - u**2 - 2*u**3. Does 13 divide a(-2)?
False
Suppose -4*l - 244 = -4*a, -l - 308 = -4*a - 79. Is a a multiple of 7?
True
Suppose n - 5*n = 12. Let t be -4*(n/(-4) + 0). Let o = t + 22. Is o a multiple of 19?
True
Let r(t) = -t**3 - 10*t**2 + 10*t - 2. Does 3 divide r(-11)?
True
Let h = 19 + -11. Let y = h + -4. Is 3 a factor of y?
False
Let r(n) be the third derivative of -n**4/8 + n**2. Does 7 divide r(-9)?
False
Suppose 133 = -6*o + 697. Does 20 divide o?
False
Let k = 7 + -5. Suppose k*i - 177 = -