 a multiple of 13?
False
Let w be (1 - 0)/(-8 + 7). Let t be (-7)/(21/(-150)) - w. Suppose 9*n - 11 = -f + 4*n, -3*f = -3*n - t. Does 16 divide f?
True
Let a(w) = 3*w**2 + 2*w + 1. Let z be a(-2). Suppose 4*k = j + 4*j + 23, z = -3*j. Suppose 0 = -3*b - k + 11. Is b a multiple of 3?
True
Let b = -99 - -281. Is 26 a factor of b?
True
Suppose -b + 0*b = 8. Let n(a) = a**2 + 6*a + 1. Does 11 divide n(b)?
False
Let p = -1 - -1. Let c(l) = l + 10. Let t be c(-10). Suppose p = -n - t*n + 12. Does 12 divide n?
True
Suppose -115 = -a - 4*a. Is 23 a factor of a?
True
Does 17 divide 0 + 0 - (-564)/12?
False
Let i(q) = -2*q**2 + 4*q + 1. Let t be i(3). Let c be (-1)/t + 698/10. Suppose 5*s - c = -0*s. Is 7 a factor of s?
True
Let w = 2 + 70. Suppose -4*b - 2*f + 5*f + w = 0, -3*b = -5*f - 65. Is 12 a factor of b?
False
Is 4 + ((-12)/42 - (-156)/7) a multiple of 26?
True
Let z(y) = -4*y. Let x be z(5). Let q(n) = 3*n**3 + n**2 + n - 1. Let o be q(1). Let r = o - x. Is 12 a factor of r?
True
Suppose 5*i - 775 = -5*t, 0 = -4*t + 4*i - 0*i + 580. Suppose -3*a - 2*a + t = -4*b, -2*a = -2*b - 58. Does 11 divide a?
False
Suppose -16 = -u - 2*a, -2*u - 4*a = 3*u - 104. Is 6 a factor of u?
True
Suppose 9*a - 4*a - 45 = 0. Does 3 divide a?
True
Let z(n) be the second derivative of -n**4/12 + n**3 - 3*n**2/2 - 3*n. Is z(3) a multiple of 6?
True
Let w = 2 + -13. Suppose 4*o = 0, -27 = -2*c + 3*o - 67. Let r = w - c. Is 9 a factor of r?
True
Let m be -1 - -9*8/12. Suppose -m*p + 144 = 3*z, -2*p + z - 4*z + 63 = 0. Is p a multiple of 9?
True
Let d be (-10)/(-4) + 2/4. Let k(t) = t + 7. Let r be k(-4). Does 2 divide 3 - r*d/9?
True
Is 12/(-9)*-1*69/2 a multiple of 31?
False
Let x(q) = -6*q**2 + 2*q - 4. Suppose 2*n + 5 = 3. Let y(l) = -l**2 - l + 1. Let o(f) = n*x(f) - 2*y(f). Is 13 a factor of o(2)?
False
Suppose -p = 3, 4*l + p - 51 = -2*p. Suppose j = 2*v - 6*v - 15, -3*v - l = 0. Suppose j*q = 4*c + 138, -6*q + q + 3*c + 136 = 0. Is 9 a factor of q?
False
Suppose 0 = 2*p - 2*b + 42, -p - 4*b = -4*p - 59. Does 9 divide (-215)/p + (-2)/(-5)?
True
Suppose -3*d - 52 = -7*d. Does 8 divide d?
False
Let c(g) = -g**3 + 29*g**2 + 61*g + 41. Is 10 a factor of c(31)?
True
Let d = -14 + 28. Let g = d + 25. Does 13 divide g?
True
Does 3 divide (-1)/((5/(-3))/5)?
True
Let m(v) = v**3 + 4*v**2 - 2*v - 1. Let r = -5 - -1. Is m(r) a multiple of 4?
False
Let i be (-6)/9 - (-10)/6. Is (i - 3)/2*-9 a multiple of 7?
False
Suppose 0*d + 2*k + 16 = 4*d, -5*d + 5 = 5*k. Let j be -5 + d - (-5 - -2). Suppose -2*t - 3*r + 6 = -r, -3*r - j = t. Is 3 a factor of t?
False
Suppose -51 - 39 = -5*g. Is 6 a factor of g?
True
Let z(s) be the second derivative of -s**4/12 + 4*s**2 + 2*s. Is z(0) a multiple of 4?
True
Suppose -3*d + 390 = 3*d. Does 13 divide d?
True
Let w(m) = -2*m + 8*m + m**2 - 2 - 5. Let d be w(-6). Let o = 17 + d. Is 4 a factor of o?
False
Suppose -5*c + 2*m - 17 = 5*m, -c - 5*m + 1 = 0. Does 5 divide (-2)/c - (-9)/2?
True
Suppose 4*u = 2*s - s + 398, 2*s - 95 = -u. Does 14 divide u/15*(1 - -4)?
False
Let l(t) = -14*t + 1. Let x be (1*-1)/((-6)/12). Suppose -s = s + x. Does 5 divide l(s)?
True
Is 13 a factor of 516/10 - 14/(-35)?
True
Suppose 2*r = 2*v - r - 24, 36 = 3*v + 2*r. Does 3 divide v?
True
Suppose 4*z = -0*z + 60. Is 19 a factor of (-95)/z*3*-1?
True
Let o(l) = l**3 + l**2 - l + 2. Suppose 5*p - 3 = 2*q + 1, -3*p - 2*q - 4 = 0. Let h be o(p). Suppose h*g = -g - r + 10, 3*g + 4*r + 5 = 0. Is g even?
False
Is 0 - (-1)/(-4) - 1009/(-4) a multiple of 36?
True
Let g(s) = -s**3 - 3*s**2 - 2*s + 2. Is 2 a factor of g(-2)?
True
Let z(f) = 45*f**3 - 2*f**2 + f. Is z(1) a multiple of 11?
True
Let o = 11 - -7. Is o a multiple of 6?
True
Let g(z) = -4*z - 2. Let q be g(4). Let f(o) = -o**2 - 3*o - 1. Let m be f(-3). Is 14 a factor of 2/m*(4 + q)?
True
Suppose 4*w = -0*w + 12. Let c(r) = 0*r**2 + 5*r**2 - w*r - 2 + 0*r**3 + r**3. Does 9 divide c(-5)?
False
Let k(i) = 2*i**2 + 7*i + 17. Does 9 divide k(-10)?
False
Suppose 0*t - 18 = -3*t. Is (-3)/t*3*-20 a multiple of 15?
True
Let r(k) = -5*k**2 - 32*k + 23. Let f(p) = 2*p**2 + 16*p - 11. Let a(x) = 7*f(x) + 3*r(x). Is a(10) a multiple of 22?
False
Suppose 0 = 5*m + m - 48. Does 7 divide m?
False
Suppose 0 = 2*k - 4. Is (13/2 + -2)*k a multiple of 9?
True
Suppose 0 = 4*k + w - 657, 0 = -0*k - 2*k - 3*w + 331. Does 6 divide k?
False
Let g be -3 - -2 - (-1 + -3). Suppose 2*t - 200 = -g*t. Does 15 divide t?
False
Suppose 0*d + 144 = 4*d. Is d a multiple of 26?
False
Suppose -1 = x - 4. Suppose 0 = 5*l + 20, -x*s + 3*l + 100 = 22. Is s a multiple of 9?
False
Let v(n) = 10*n**2 - 10. Is v(3) a multiple of 20?
True
Suppose 560 = -2*q + 9*q. Is q a multiple of 10?
True
Let a be 358/10 + 4/20. Let f = a - 19. Is f a multiple of 9?
False
Suppose 0 = a + 3*a + 4. Let k(j) = 49*j**2 + 1. Does 17 divide k(a)?
False
Let c = -3 + 19. Does 8 divide c?
True
Let x(y) = -y**3 - 2*y**2 - 4*y - 3. Is 5 a factor of x(-2)?
True
Let q(t) = 4*t**3 - 5*t**2 - 4. Let s(y) = -9*y**3 + 11*y**2 + y + 8. Let u(n) = 5*q(n) + 2*s(n). Is u(3) a multiple of 21?
False
Let s be -1 + 4/((-12)/(-15)). Let v(o) = -o + 2. Let a be v(s). Let m = 15 + a. Is m a multiple of 10?
False
Suppose 62 = -w + g - 15, 369 = -5*w + g. Let z = w + 129. Is z a multiple of 14?
True
Let m = 9 - 4. Suppose m*z - 126 = 2*n - 0*n, -2*z + 5*n = -42. Is 15 a factor of z?
False
Suppose 296 = 2*h - 194. Is 31 a factor of h?
False
Let s be (81/(-6) + 2)*-2. Suppose w = 4*w + 3, -w + s = 4*k. Suppose -4*g + k*g - 56 = 0. Is 14 a factor of g?
True
Let v(p) = 34*p**2 + 2*p + 1. Does 11 divide v(-1)?
True
Let q be (2 - 1)*1 + 1. Let g be (1 - q) + 14 + -1. Is 8 a factor of (g/10)/((-3)/(-45))?
False
Let u = 83 - 22. Is u a multiple of 20?
False
Let a(w) = 16*w - 4. Suppose 3*m + 6 = r - 0*r, 0 = 2*r - 3*m - 9. Is a(r) a multiple of 22?
True
Suppose 3*s = -0*s + 9. Suppose -47 = a - 2*a - s*i, -4*a + 5*i + 103 = 0. Does 8 divide a?
True
Let g(c) = -c + 8. Let b be g(9). Is ((-10)/(-30))/(b/(-111)) a multiple of 13?
False
Suppose 0*z + 3*z - 4 = 5*l, 5*l - 2*z = -6. Let o be (-2)/(l/33) + 1. Suppose -5*i + o = 3*v - 47, -3*v = 9. Is i a multiple of 8?
False
Let p = 26 + 91. Suppose -5*v + 27 - 7 = 0. Suppose -5*z = -v*b + p, -2*z - z = 5*b - 100. Does 23 divide b?
True
Suppose -4*k = -3*g - 2*k - 2, -2*g + k = 0. Let t be (g/4)/(4/16). Suppose 0 = 3*j - j - t*n - 22, -16 = 4*n. Is 7 a factor of j?
True
Suppose h - 2 = 3. Suppose 28 = -h*i + 193. Does 13 divide i?
False
Let c(v) = -10*v + 61. Let d(m) = -3*m + 20. Let i(r) = -2*c(r) + 7*d(r). Suppose 3*z = -0*z. Does 6 divide i(z)?
True
Let b(f) = 2*f**2 - f - 9. Let o be b(-10). Let m = o + -139. Is 34 a factor of m?
False
Let c(f) = -5*f - 4 + 0 + 6*f - 4. Let t be c(4). Is 4 a factor of (18 + t)*1/2?
False
Let t(c) = -203*c - 21. Does 16 divide t(-2)?
False
Let a be 2*(-11)/(3/(-3)). Let r = a + -1. Let g = 31 - r. Does 10 divide g?
True
Let p(n) = 12*n - 6. Let o be p(8). Is (1/(-3))/((-3)/o) a multiple of 4?
False
Suppose 0 = 2*d - 0 - 114. Is 32 a factor of d?
False
Let m(c) = 11*c - 13. Is 13 a factor of m(20)?
False
Let m = -7 - -5. Is 12 a factor of ((-32)/(-3) + m)*3?
False
Let v = -2 + -5. Is ((-3)/2)/(v/140) a multiple of 23?
False
Suppose 2*v - 3 = -4*y + 1, -4*y + 3*v + 4 = 0. Let q = y - -26. Let l = q - 15. Does 12 divide l?
True
Let x(l) = -4*l - 1. Let r(t) = t**2 + 6*t - 2. Let u(y) = -2*y**2 - 7*y + 2. Let f(i) = 3*r(i) + 2*u(i). Let z be f(4). Is x(z) a multiple of 3?
False
Let h = -5 - 14. Let z = 8 - 15. Let g = z - h. Is g a multiple of 8?
False
Let s(i) = 2*i**2 + 3*i + 1. Let p be s(-2). Suppose p*v - 48 = 3*k - 0*k, -16 = -v + 2*k. Is 6 a factor of v?
False
Let m(w) = -3*w**2 - 6*w + 3. Let o be m(5). Let h be (-6)/(-4)*o/(-9). Let x = h + -12. Is 2 a factor of x?
False
Let s(o) be the first derivative of o**4/4 - o**3/3 + 12*o - 2. Is 12 a factor of s(0)?
True
Let i(c) = -5*c - 3. Suppose 2*p = 7*p + 25. Is i(p) a multiple of 11?
True
Let y = -88 + 176. Suppose 38 + y = 2*l. Is 21 a factor of l?
True
Suppose -5 - 15 = -q. Suppose -2*k + 2*n = -32, n + q = -4*n. Is 7 a factor of k?
False
Let n be 1 + 0 + (-3 - -1). Let m be (-68)/(-16) - n/(-4). Suppose -d - m*d = -20. Does 4 divide d?
True
Suppose 4*i + 5*a - 60 = -11, -3*