) a multiple of 24?
True
Suppose 0 = -v + 3*b + 78, -b = v - 98 + 20. Is v a multiple of 8?
False
Suppose 0 = -2*s + 2*d + 12, 5*s + d = 5*d + 27. Suppose -j + 6 = a - 3*a, -s*j = 4*a - 18. Is 2/j*-5*-3 a multiple of 2?
False
Let h = 15 + -7. Let j(y) = -y**3 + 9*y**2 - 4*y. Is 19 a factor of j(h)?
False
Does 17 divide 7336/126 + (-2)/9?
False
Let a(v) = -v**3 + v - 10. Let w be a(0). Does 17 divide (-12)/10*425/w?
True
Let s be (-37)/(-7) + (-8)/28. Suppose -21 = -l - h, 5*l - s*h = -17 + 72. Is 16 a factor of l?
True
Suppose 0 + 11 = z + q, -2*q = z - 6. Is 16 a factor of z?
True
Suppose 5 + 9 = 2*o - 3*t, 4 = t. Is 2 a factor of o?
False
Suppose -4*n - 50 = -2*n. Let o = -7 - n. Is o a multiple of 18?
True
Let n = 0 + 0. Suppose 5*p + 18 - 168 = n. Is p a multiple of 8?
False
Suppose 8 = -j + 6*v - v, -2*j = -2*v + 8. Does 18 divide j/6*6 + 65?
False
Suppose -5*v - 5*k = -k - 11348, -2*k - 11336 = -5*v. Is 10 a factor of (-8)/10 + v/60?
False
Suppose -5*l + 102 = -7*n + 3*n, 4*l - 2*n = 84. Is l even?
True
Let c = 23 - 17. Is c a multiple of 6?
True
Suppose -10 = -8*y + 3*y. Suppose -c = -0*c + 5*t - 28, y*c + 19 = 5*t. Suppose x + 7*l = 4*l + 30, 0 = -4*x - c*l + 102. Does 12 divide x?
True
Let n(d) = -2*d. Let j be n(-1). Let l = j - -2. Does 4 divide l?
True
Let j(s) = s**3 + 9*s**2 - 14*s - 15. Is 9 a factor of j(-10)?
False
Let f = 18 - -31. Does 6 divide f?
False
Let p(k) = 4*k + 5. Let o be p(7). Let r = 51 - o. Is 9 a factor of r?
True
Let q(i) be the third derivative of -1/4*i**4 + 4*i**2 + 1/30*i**5 + 0 + 0*i + 1/2*i**3. Is 13 a factor of q(6)?
True
Does 15 divide ((-33)/(-2))/((-8)/(-16))?
False
Let k = 31 + -16. Suppose 5*u + 2*m - k = 8, -4*u - m = -16. Suppose -4*y = -u - 9. Is y a multiple of 2?
False
Suppose 3*w - w = 0. Suppose 4*r - 63 = i + 4, r - 5*i - 31 = w. Is 16 a factor of r?
True
Let o(z) be the second derivative of -7/3*z**3 + 0 + 2*z - z**2. Does 22 divide o(-4)?
False
Let v = -9 - -6. Let w = v + 16. Is w a multiple of 5?
False
Let t = 1 - 1. Suppose t = -2*u - 2*u + 24. Suppose u*a - 3*a = 4*p - 102, 0 = p - 5*a - 34. Is p a multiple of 12?
True
Suppose 0 - 2 = -z. Let b(m) = -z*m**2 + 0*m**2 - 3*m + 4 + 7*m**2. Is 19 a factor of b(3)?
False
Let s(m) = -m**2 - m + 6. Let r be s(0). Suppose -r*z + 15 = -3*z. Suppose -z*a + 195 = -70. Does 21 divide a?
False
Let c(z) = 14*z**2 + 3*z - 6. Is 8 a factor of c(2)?
True
Let j(q) = q**2 + 3. Let b be j(-4). Suppose 3*i + 5 + 3 = -4*x, 3*x = i - b. Is (i/10)/((-3)/(-105)) a multiple of 7?
True
Suppose 3*g - 2*g + 22 = 5*n, 0 = 2*n - 5*g + 5. Suppose 9 = -3*r, -5*r + n = 2*y - 8. Does 12 divide y?
False
Suppose 0 = l + l. Suppose 3*z = -2*z + p + 5, z - 25 = 5*p. Is 17 a factor of 42/(1 + (z - l))?
False
Let d = -391 - -563. Does 53 divide d?
False
Suppose 0*o + 2*o = 96. Is o a multiple of 16?
True
Let m = 84 + 20. Is 26 a factor of m?
True
Suppose -2*j + 89 = -o, 62 + 21 = 2*j - 3*o. Does 23 divide j?
True
Let p(h) = h**2 - 12*h + 4. Let c be p(14). Let f be 2/(-8) + 17/4. Is 1*2 + (c - f) a multiple of 16?
False
Suppose 3*m = -6*y + y + 6, 2*m - 4 = -2*y. Suppose -3*a - 96 = -m*c, 46 = c - 0*a - a. Is c a multiple of 19?
False
Suppose 0*d = -d + 5*z + 52, -3*d + 4*z + 101 = 0. Is d a multiple of 9?
True
Suppose -3*y = -4*y - 2*g + 34, -5*y = 2*g - 162. Suppose -5*t = y - 92. Let l = 6 + t. Is l a multiple of 9?
True
Let d = 2 - 3. Let g be d/(-2)*16*4. Suppose f - 3*f = -g. Is f a multiple of 16?
True
Suppose 5*x - 1 - 129 = 0. Is 11 a factor of x?
False
Let m(o) be the third derivative of o**5/60 + o**4/8 - o**3/6 + o**2. Suppose -4*p + 5*q = -2, 4*p - 17 = -3*q + 1. Is 10 a factor of m(p)?
False
Let w(g) = g + 4. Let f be w(-3). Let u be 0/((f + -2)*1). Suppose u = 3*v + 3*b - 18, 5*v - 5*b - 64 + 14 = 0. Is 3 a factor of v?
False
Let x be (7 + -2)*3/5. Let s = 3 + x. Is 20 a factor of 2 - s - -2 - -42?
True
Let u(f) = f**2 + 4*f + 6. Let i = -28 - -57. Suppose -3*j + l = 2*j + i, -2*l = 2. Is 9 a factor of u(j)?
True
Does 25 divide 27/(-3)*(-22)/2?
False
Suppose -5*v + 48 + 27 = 0. Let z = 23 + -14. Let u = v - z. Is 6 a factor of u?
True
Suppose -3*g = g + 16. Is g/10 + (-12)/(-5) even?
True
Let w(r) = 16*r + 4. Let n be w(3). Suppose -n = -3*y + 2. Is 14 a factor of y?
False
Suppose 34 = b + 3*g + 6, 5*b - 140 = 2*g. Is b a multiple of 14?
True
Let f(h) = h**2 - 11*h + 4. Is 5 a factor of f(12)?
False
Suppose -2*m + 127 = -5*a, -4*m - 4*a + 251 - 39 = 0. Is 16 a factor of m?
False
Let h(d) = d**3 - 16. Let x be h(0). Let y = x + 27. Is y a multiple of 11?
True
Is (-112)/(-3)*2/14*36 a multiple of 16?
True
Let m(a) = -6*a**2 + a + 1. Let g(s) = 5*s**2 - s - 1. Let k(c) = 4*g(c) + 3*m(c). Does 6 divide k(-2)?
False
Suppose y + 3*y - 48 = 0. Let l = y + -6. Let j(z) = z**3 - 5*z**2 - 7. Is j(l) a multiple of 16?
False
Suppose 6*r = 5*r + 4*m + 277, -5*m - 1400 = -5*r. Is 38 a factor of r?
False
Let g(z) = z**2 + 2. Does 12 divide g(-7)?
False
Let j(f) = -f**2 + 51. Does 17 divide j(0)?
True
Suppose 1 = c - 71. Is 22 a factor of c?
False
Suppose -a = -4*a + 729. Suppose -a = -7*x + 4*x. Suppose 0 = 3*f - 4*g - x, -f = 2*f + 4*g - 105. Does 13 divide f?
False
Let m(s) = 11*s**3 - s**2 + 2*s - 2. Does 3 divide m(1)?
False
Suppose 330 = 5*y - 3*z, z - 58 = -4*y + 3*y. Is 25 a factor of y?
False
Let d(l) = l**3 + 5*l**2 + 2. Let a be d(-5). Suppose 10 = -2*n, a*n + 34 = -2*s + 80. Is 14 a factor of s?
True
Let k be 8 + (3 - 3/(-3)). Let d = k + 10. Is d a multiple of 12?
False
Suppose z - 6*z = -425. Does 13 divide z?
False
Let p(b) = b - 2. Let f be (4 - 2)/(2/13). Suppose -2*j + f = -5. Is p(j) a multiple of 6?
False
Let c = 34 + -19. Is c a multiple of 5?
True
Let l = 20 - 16. Suppose 3*g - l*g + 6 = 0. Does 3 divide g?
True
Suppose 7*r - 4*r = 3*y + 93, 3*r + y = 101. Let s = r - 22. Is 11 a factor of s?
True
Let n(k) = -k**2 + k - 1. Let y(v) = -v**3 + 5*v**2 + 2*v + 5. Let u(i) = 3*n(i) - y(i). Let j be u(8). Suppose 2*t = -j*t + 26. Is t a multiple of 7?
False
Let j = 9 - 9. Suppose -2*r = 5*w + r - 90, -w + 3*r + 36 = j. Does 7 divide w?
True
Let b = -2 - -5. Suppose o = -b*o + 180. Let i = o + -23. Is 11 a factor of i?
True
Let m(f) = 10*f**3 - 3*f**2 + 2*f - 2. Is m(2) a multiple of 14?
True
Suppose -10*b + 8*b + 90 = 0. Is b a multiple of 9?
True
Suppose 15 = 5*d - 0*d. Suppose 0 = d*g - 4*g - 33. Let z = g - -46. Is 13 a factor of z?
True
Let t = -4 + -1. Let q = -6 - t. Let s = 6 - q. Is 7 a factor of s?
True
Suppose 0 = -2*l - 0*l. Suppose l*s = -3*s + 6. Suppose 4*c - 79 = -5*m, -s + 1 = -c. Is m a multiple of 8?
False
Let o be ((-10)/4)/(1/(-2)). Suppose -5*d + 106 - 1 = -5*l, 35 = 2*d + o*l. Does 10 divide d?
True
Let i be (-2 - -1) + (-348)/6. Let d = i + 87. Does 13 divide d?
False
Let w(c) = -c**3 - 9*c**2 - 12*c + 10. Let x be w(-7). Does 7 divide ((-42)/x)/(6/8)?
True
Let g(c) = 2*c**2 + 17*c + 16. Is g(-12) a multiple of 25?
True
Let g = -10 + 34. Does 24 divide g?
True
Suppose -5*y + 45 + 20 = 3*o, -o - 25 = -3*y. Suppose -y = -4*m - 2. Is m even?
True
Let v = 0 - -1. Is 16 a factor of (-96)/9*(-2 - v)?
True
Let z = -283 - -419. Is z a multiple of 52?
False
Let x(j) = j**2 + 3*j + 1. Let c be x(-4). Let r be c/(45/6)*6. Suppose -r*y = -3*y - 35. Does 17 divide y?
False
Suppose 4*p = -i + 511, -p + 5*p - 5*i = 517. Does 16 divide p?
True
Let b(q) = q**3 + 11*q**2 - 5*q + 10. Is b(-5) a multiple of 16?
False
Let u(g) = g**2 - 2*g + 2. Let h be u(2). Let p(k) = -k**3 + 4*k**2 - 1. Let l be p(4). Let y = h - l. Is y a multiple of 3?
True
Suppose -3*z - 544 = -2*f + 142, 0 = 2*z + 4. Is f a multiple of 20?
True
Suppose 0 = 3*g - 67 - 5. Is g a multiple of 12?
True
Let p = 31 + 84. Does 30 divide p?
False
Suppose -2*t = -7*t - 25. Is 8 a factor of t/(-2*2/24)?
False
Let d(p) = -3*p + 4. Let z(j) = -7*j + 4 + j + 5. Let a(w) = -5*d(w) + 3*z(w). Does 13 divide a(-7)?
False
Suppose 4*x + 3 - 11 = 0. Let p(t) = 8*t. Let r(a) = -a. Let k(b) = p(b) + 5*r(b). Is k(x) a multiple of 5?
False
Suppose -4 = -2*h - 2*h. Suppose 0 = q - h - 2. Is q a multiple of 2?
False
Let l = 17 + -7. Suppose -20 = -5*z + 2*s, l = 5*z - 2*s - 2*s. Suppose 0*q - z = -q. Is 6 a factor of q?
True
Suppose -40*a + 31*a + 1152 = 0. Is 9 a factor of a?
False
Let x(r) = r**2 - r - 8.