w a multiple of 6?
False
Suppose 3*x = 2*x + 3. Suppose 0 = -5*k + 38 - 13. Suppose -3*c - m = 4*m - 42, -k*c + x*m = -70. Is 10 a factor of c?
False
Let p(i) = i**3 - 5*i**2 + 3*i + 1. Let s be p(4). Let f be s/(-5) - 6/10. Suppose 2*w + 0*d - 38 = -4*d, f = -2*w + 5*d - 7. Does 4 divide w?
False
Let h = 11 + -8. Suppose -4*b = 2*r + r - 17, 7 = 2*b + h*r. Does 5 divide b?
True
Let d = -21 - -77. Suppose -3*f + d = 11. Does 7 divide f?
False
Suppose 50 = 3*a + 5*u, -36 = -3*a + u - 10. Is 11 a factor of (22/a)/(6/30)?
True
Let o(i) be the third derivative of i**4/24 + i**3/6 - i**2. Let h(r) = -r**3 + 5*r**2 + 2*r - 6. Let x be h(5). Is o(x) a multiple of 5?
True
Suppose -3*l = -3*b + 10 + 38, l = 2. Is b a multiple of 9?
True
Is 16 a factor of (-1)/((-1)/(-133)*-1) + 4?
False
Let a(t) = -5*t**3 - 2*t**2 - t + 1. Let d be (-3)/3 + (-1)/1. Let c be a(d). Let h = 51 - c. Does 15 divide h?
False
Let z(n) = -n - 2. Let g be z(-4). Is g/(-4) + (-19)/(-2) a multiple of 5?
False
Let n = -4 - -10. Let w = -2 + n. Suppose 5*z - 25 = w*u - 6*u, -10 = -5*z + u. Does 3 divide z?
True
Suppose 2 = -2*y + 16. Let j = y - 6. Suppose 0 = -h - 6 + j, -3*h = -u + 28. Does 13 divide u?
True
Suppose 0 = 2*z - 2*k - 4, 2*z = -3*z - 5*k + 30. Let d(f) = f**2 - 2. Is d(z) a multiple of 14?
True
Suppose 8*i - 472 = -4*b + 4*i, 5*b - i = 590. Is 11 a factor of b?
False
Let a(j) = j**3 - 5*j**2 - 7*j + 9. Is a(6) even?
False
Let a(x) = 15*x + 5. Let g(r) = -r**2 - 8*r - 9. Let l be g(-7). Let b(h) = -1. Let c(v) = l*b(v) - a(v). Is 10 a factor of c(-2)?
False
Let y(t) = -t**3 + 9*t**2 + 9*t + 12. Let j be y(10). Suppose -4*w - j*n + 84 = -6*n, -3*w + 67 = n. Is 20 a factor of w?
False
Suppose 4*n - 4*g + 2*g = 48, -5*g - 10 = 0. Does 11 divide n?
True
Suppose c = -r - 3 + 4, c - 7 = -4*r. Suppose 2*i = -r*i + 124. Is i a multiple of 12?
False
Suppose 5*i = -2*y - 0*y + 763, -5*y = i - 148. Is i a multiple of 13?
False
Let x be ((-16)/(-10))/1*-5. Let i = x - -13. Does 3 divide i?
False
Let j = -37 + 52. Does 5 divide j?
True
Let j = -2 + 7. Is j a multiple of 3?
False
Suppose -3*r - f - 31 - 63 = 0, r + 14 = 4*f. Let y = -4 - r. Is 13 a factor of y?
True
Let g be 3/(-4) + (-33)/4. Let s = g + 15. Let z = 23 + s. Does 20 divide z?
False
Suppose 5*z - h = 68, -2*h + 50 = 3*z + 2*h. Let d = -9 + z. Suppose -d*s - 4*t + 102 = -2*s, -138 = -5*s + 4*t. Is s a multiple of 15?
True
Let s(a) = -2*a + 1. Let n be s(2). Let y = -3 - n. Suppose i + 2*m - 20 + 3 = y, 49 = 3*i + 5*m. Does 7 divide i?
False
Suppose v - 40 = 423. Is 43 a factor of v?
False
Let x(f) = 4*f**2 + 3*f + 3. Suppose -7 = 2*u + 3. Let y = u - -2. Is x(y) a multiple of 15?
True
Let x = -112 - -186. Does 17 divide x?
False
Let x(q) = -55*q + 9. Is x(-1) a multiple of 8?
True
Let q = -18 + 75. Let t = q - 24. Does 10 divide t?
False
Let v be 2 - -3 - (4 + -2). Let i be ((-6)/(-5))/((-1)/(-90)). Does 27 divide (v - 6)/(-6)*i?
True
Let r(w) = 7*w**2 - 4*w - 6. Let y be r(-3). Let x = 153 - y. Does 28 divide x?
True
Let d = -2 - -2. Suppose d = -4*n + 3*s - 4, 2*n = -0*s + s - 2. Does 12 divide n/((6/(-93))/2)?
False
Suppose -185 = -2*g + 111. Is 43 a factor of g?
False
Let k(n) = -2*n - 1. Let u be k(-2). Let r(a) = 7*a**2 + 2*a - 2. Is r(u) a multiple of 23?
False
Let u(s) = -s**3 - 5*s**2 - 5*s. Let q be u(-4). Suppose 4*c + 29 + 133 = 5*r, -q*r + c + 123 = 0. Does 30 divide r?
True
Let o(l) = -21*l + 9. Let a(j) = -4*j + 1. Let s be a(2). Let w be o(s). Suppose 5*m - 2*m - w = 0. Is m a multiple of 19?
False
Let p(v) = -v**3 - 12*v**2 - 14*v - 9. Let k be p(-11). Suppose 2*j = 3*q + k, -29 = -5*j + q + 57. Is 11 a factor of j?
False
Let d(b) be the first derivative of 8/3*b**3 - 1/2*b**2 + 11*b + 1/4*b**4 + 3. Does 19 divide d(-8)?
True
Suppose -4*d - 2*k = 2*k - 36, 2*d - 13 = -k. Suppose -4*i = i - 140. Suppose -d = -2*f + i. Does 16 divide f?
True
Suppose 5*f + a - 6*a - 100 = 0, 0 = 5*f + 3*a - 76. Is f a multiple of 17?
True
Let y(a) = 12*a. Is y(1) a multiple of 6?
True
Suppose 3*f + 21 = 5*s, -f = -3*s + 1 + 10. Let z(o) = o**2 + 4*o - 1. Does 20 divide z(s)?
True
Let n = 26 - 16. Suppose -2*w = -38 - n. Is 8 a factor of w?
True
Let n(u) = u**2 - 4*u - 5. Suppose -5*d = -3*w + 8 - 30, -5*w + 5 = 0. Let m be n(d). Suppose -4*c + 4*t + 56 = m, -t - 2*t + 48 = 3*c. Does 9 divide c?
False
Is ((-18)/7)/(5/(-175)*5) a multiple of 18?
True
Let f be (-1 + 0)/((-5)/315). Suppose -f = o - 168. Is o a multiple of 35?
True
Let y = -41 - -110. Does 23 divide y?
True
Let w(p) = 2*p**2 - 7*p - 2. Let j be (1 - -3) + -2 + 3. Is 5 a factor of w(j)?
False
Let z(w) = w + 43. Does 16 divide z(-9)?
False
Let d = -9 + 11. Suppose t + 8 = d*y, 2*y = -0*y - 5*t - 16. Suppose -5*n + 30 = y*r, 0 = 2*r - 2*n + 7 - 37. Is r a multiple of 13?
False
Let j(v) be the first derivative of 1 - 3 - 8*v**2 + 4 + 0. Is 11 a factor of j(-2)?
False
Let n = -34 + 35. Suppose -2 = y - 4. Suppose -y*u - n = -7. Is u a multiple of 2?
False
Let k(c) = 7*c. Let w be -2*(10/(-4))/5. Is k(w) a multiple of 4?
False
Let q(l) = -2*l**3 + 3*l**2 + 2*l - 1. Let z be 7/(-28) - 7/4. Is 5 a factor of q(z)?
False
Let q = -27 - -68. Suppose 2*f - q = 43. Is f a multiple of 8?
False
Suppose 0 = -f + 45 + 21. Is 11 a factor of f?
True
Let c be 2/2 - 0/(-1). Let t be c/(-1) - -2*1. Suppose f + 2*f + 5*m = 74, 0 = -m + t. Is f a multiple of 9?
False
Suppose 4 + 1 = -w. Let u(n) = n - 1. Let g(a) = -a**2 + 3*a + 4. Let m(y) = -g(y) + 3*u(y). Does 9 divide m(w)?
True
Let g be 1/1 - 4/2. Let z(t) = -1. Let p(s) = 8*s + 20. Let l(u) = g*p(u) - 12*z(u). Does 17 divide l(-6)?
False
Let b(m) = 2*m**2 - m - 2. Let z be b(2). Suppose -25 = -5*a, -2*l - z - 15 = -3*a. Is (-230)/(-18) - l/9 a multiple of 6?
False
Let b = -1 + 4. Suppose -93 = -b*k + 5*c, c - 1 = -4. Does 8 divide k?
False
Let c(o) be the third derivative of -o**5/60 + 5*o**4/12 - o**3 + 3*o**2. Let b be 1/(-1*2/(-12)). Is 18 a factor of c(b)?
True
Suppose c - 125 = d, c + 4*d = 188 - 38. Does 34 divide c?
False
Let g(p) = -p**2 - 11*p - 11. Suppose -d - 4*c = 16, 2*c - 3*c = 2. Is g(d) a multiple of 4?
False
Let s = -20 - -228. Does 49 divide s?
False
Suppose 0 = 2*c - 56 - 74. Is c + -1 - (-16)/(-4) a multiple of 30?
True
Is 32 a factor of (-1610)/(-25) + 4/(-10)?
True
Suppose -3*b + 5*q - 1 = 13, -3*b + 3*q = 6. Is 9 a factor of 68/8 - b/(-4)?
True
Let a = -141 + 251. Does 55 divide a?
True
Let t = -22 + 124. Is 17 a factor of t?
True
Suppose 5*n + 5*n - 50 = 0. Is n even?
False
Let l(t) = t**2 + 18*t - 40. Is l(-21) a multiple of 18?
False
Let c(r) = -r**2 - 13*r + 7. Is c(-6) a multiple of 20?
False
Suppose -4*i + 2 + 6 = 0. Suppose c = -c + 5*b + 13, 4*c + i*b = 14. Is c a multiple of 2?
True
Let z = 6 - 8. Is 11 a factor of 1/z*(-45 + 1)?
True
Let g(l) = 16*l + 76. Is g(14) a multiple of 25?
True
Let x(d) = -d**2. Let t be x(2). Let l(f) = -f - 4. Let v be l(t). Suppose -5*i + v*i = -70. Is 14 a factor of i?
True
Let o(j) = -j**3 + 14*j**2 - 19*j + 16. Let d be o(13). Let i = d + 92. Is i a multiple of 15?
True
Let x(t) = t + 1. Let k be x(2). Let y(f) = f**3 - f**2 + 2*f + 1. Is 17 a factor of y(k)?
False
Suppose -4*b = 2*j - 5*j + 195, 0 = -2*j - b + 130. Suppose -v + j = -25. Suppose v = 3*f + 2*f. Does 7 divide f?
False
Let h(a) = -3*a**2 - 2. Let c(b) = 10*b**2 + 6. Let z(u) = 3*c(u) + 8*h(u). Is 13 a factor of z(2)?
True
Let u be 6*((-1)/(-2) + 0). Suppose -37 - 11 = -3*v + 4*y, 91 = 5*v - u*y. Is v a multiple of 5?
True
Suppose 5*n = -3*c - 2*c + 120, 0 = 4*c - 4*n - 120. Does 16 divide c?
False
Suppose -2 = 2*x, i + 0*x + 1 = -4*x. Suppose -4*r = -2*u - 2*r + 24, -i*u - 5*r = -52. Let k = 33 - u. Does 13 divide k?
False
Let p(t) = 19*t + 1. Let n = -5 + 5. Let i be -3 - -3 - (-1 - n). Is 10 a factor of p(i)?
True
Let q = -18 - -23. Is 5 a factor of q?
True
Let w = -5 - 14. Let j = 29 + w. Does 6 divide j?
False
Suppose -2*v - 4 = -0. Is v/(-8) - 45/(-12) a multiple of 3?
False
Let g(o) = o**3 - 5*o**2 - 6*o + 4. Let q be g(6). Is 8 a factor of (18 - 2) + (q - 3)?
False
Let a(f) = f**3 - 12*f**2 + 13*f + 7. Let k(c) = 2*c + 1. Let m be k(5). Is a(m) a multiple of 14?
False
Is (-5)/(20/8) + 100 a multiple of 7?
True
Let u(f) = -3 + f**2 + 1 - 2*f - f**3 + 5*f**3 + 3. Let t be u(1). Suppose -4