rue
Let b(d) = -3*d**3 - 3*d**2. Let k(s) = -3*s**2 - 9*s - 2. Let r(h) = -4*h**2 - 10*h - 3. Let p(g) = 5*k(g) - 4*r(g). Let a be p(4). Is b(a) a multiple of 7?
False
Suppose o + 15 = -4*o. Let d = 15 + o. Is d a multiple of 12?
True
Let g = -150 - -306. Is 52 a factor of g?
True
Let u(i) = i**3 + 2*i**2 + i. Suppose 0 = 2*w - 21 + 1. Let d be (-8)/w*(-10)/4. Is 9 a factor of u(d)?
True
Suppose -2*b + 3*b - 94 = 0. Let r = b - 42. Is r a multiple of 13?
True
Let r(n) = 2*n + n**3 - 4 + 10*n**2 - 4*n - 5*n**2. Let g be r(-5). Suppose 3*s = 4*s + 3*o - 23, -2*o + g = 0. Is 12 a factor of s?
False
Let p(k) = -k**3 - 5*k**2 - 1. Let m be p(-5). Let y be 1 + (-9)/(0 + m). Suppose -6 = -5*v - 4*j + 42, -v + y = j. Does 8 divide v?
True
Let p be (-6)/(-9) + 283/3. Let c = p + -40. Suppose 2*w - c = -3*w. Does 8 divide w?
False
Let w(j) = -j**2 + 5*j + 7. Let b be w(6). Let a be (0 + b)*1 - -18. Suppose -4*s + f + 31 = 0, a = s + f + f. Is 6 a factor of s?
False
Let a be 349 + -1 - 32/(-8). Let c be 225/4 - 1/4. Is (-4)/14 + a/c a multiple of 5?
False
Let v be (0 - 0)/(12/(-6)). Suppose v = 3*h + h - 132. Is 11 a factor of h?
True
Let z(t) = t**3 + 9*t**2 + t + 9. Let h be z(-9). Suppose -3*q + 156 = -h*q. Is 13 a factor of (5/2 - 2)*q?
True
Let s(g) = 4*g**2 - 4*g. Does 16 divide s(4)?
True
Let t(h) = -3*h - 2. Let q be t(-2). Suppose 225 = q*n + 9. Does 18 divide n?
True
Let n = 39 - 11. Is n a multiple of 14?
True
Let a = -46 - -64. Does 18 divide a?
True
Let n = 22 + -22. Suppose n = w - 10 - 7. Does 17 divide w?
True
Let z(r) = r**3 - r - 3 + 6*r**2 - 2*r - 6. Let c be z(-6). Let s(w) = 5*w - 10. Is 12 a factor of s(c)?
False
Suppose -3*m - 5*i = -6*m + 210, -5*i = 15. Does 4 divide m?
False
Let u be 2/10 - (-255)/(-25). Let m = u - -16. Let b = 11 - m. Does 5 divide b?
True
Suppose 30 = 3*k + 3*u, -9 = 3*k + 5*u - 31. Does 5 divide k?
False
Let f(c) = 4*c**2 + c + 5. Is f(-5) a multiple of 25?
True
Let q(s) = -s - 1. Let a be q(8). Let m be -3 + a/((-6)/(-2)). Is m/(-8) + 147/12 a multiple of 10?
False
Let q be (3 - (-24)/(-9))*15. Suppose 180 = -m + q*m. Is 23 a factor of m?
False
Let t(o) be the third derivative of 0*o - 2*o**3 + 3*o**2 - 1/8*o**4 + 0. Is 12 a factor of t(-8)?
True
Let t(k) = k**3 - 6*k + 3. Is t(4) a multiple of 15?
False
Let b be 0/(4/2*1). Suppose -10 = -2*g, 0 = 2*m + 3*g - 5*g + 8. Suppose 3*c - 5*r + m = b, -c + 8*r - 17 = 3*r. Is c a multiple of 8?
True
Let x(o) = -5*o - 3. Let c be x(-2). Let h(j) = 5*j + 3 - c + 1 - 7. Is h(8) a multiple of 13?
False
Suppose 0 = -2*c - 5*y + 116, 225 = -5*c + 4*y + 581. Is 17 a factor of c?
True
Let w(j) = j**3 - 8*j**2 - j - 7. Let f be w(8). Let d be 51*(-1 + 1/3). Is (d/5)/(3/f) a multiple of 17?
True
Does 28 divide -5*(5 + (-545)/25)?
True
Suppose a - 3*m + m = -22, 0 = 4*a + 3*m + 77. Is 13 a factor of (-15)/(-2)*(-128)/a?
False
Let r(p) = -2*p. Suppose 0 = -2*z + z - 1. Let u be r(z). Is 15 - (u - 0)/1 a multiple of 13?
True
Suppose -6 = -l + 3. Is 7 a factor of l?
False
Suppose -7 - 31 = -2*n. Let v = n + -27. Is 3 a factor of v/(-12) + 22/3?
False
Suppose 2 = s - 2. Suppose -4*k + 0*k + 61 = -3*y, -s*y - 51 = -3*k. Is k a multiple of 6?
False
Suppose -5*n + 8 = -4*b - 3, 2*n = -3*b + 9. Suppose -n*z + 89 = -2*z - 5*r, 300 = 5*z + 4*r. Suppose 3*p = -p + z. Is p a multiple of 16?
True
Let m be 0/(0 + 1 - -1). Suppose m = 2*l - 4, -4*l + 1 = -4*u - 3. Is 13 a factor of 0/2 + (u - -12)?
True
Let f(p) = -p**2 - 6*p + 10. Let y be f(-7). Suppose -171 - 39 = y*q. Let n = 124 + q. Does 18 divide n?
True
Let k(x) = -x**3 - 6*x**2 + 5*x - 6. Let p be 25/9 - 6/(-27). Suppose -4*y + 17 = -p*h, -2*y - y = 5*h + 38. Is 4 a factor of k(h)?
True
Suppose 4*s - 4 = 4. Suppose 0*x - 214 = -3*k + s*x, -2*k = -3*x - 151. Does 25 divide k?
False
Suppose 3*m - m = 2. Is (36/(-7))/(m/(-7)) a multiple of 18?
True
Let b(g) = g**3 + 3*g**2 - 4*g - 7. Let v be b(-4). Let o(y) = -2*y + 4. Is o(v) a multiple of 10?
False
Suppose 2*i + 5*s = 37, 2*s + 0*s = i + 4. Let q(y) = y**2 - 2*y + 6. Is q(i) a multiple of 6?
True
Let z be 0/(-3*6/(-9)). Suppose 2*n - 137 + 15 = z. Does 16 divide n?
False
Let f(x) = x**2 - 6*x - 15. Let y be f(-9). Let l = 187 - y. Is l a multiple of 11?
False
Let b(w) = w**2 - 5*w. Let k = 12 + -7. Let t = 1 + k. Does 6 divide b(t)?
True
Suppose -20*n + 19*n = -31. Is n a multiple of 4?
False
Let d(s) = 6*s**2 - s + 1. Is d(2) a multiple of 15?
False
Suppose 4*g = g + 57. Suppose 61 = 4*k - g. Is 10 a factor of k?
True
Let v(k) = 1 - 4*k**2 - 2*k**2 - k**3 + 2. Let d be v(-6). Suppose 0 = -d*b + 2*b + 53. Is 19 a factor of b?
False
Does 17 divide (-14)/35 - (-287)/5?
False
Suppose 2*j = 526 - 206. Is j a multiple of 8?
True
Suppose 3*z - 4*z = -21. Suppose -3*h = -m + z, -4*m + 5*h + 63 = -0*h. Let b = 1 + m. Is 8 a factor of b?
False
Let v(n) be the third derivative of -65*n**4/24 - n**3/6 - 5*n**2. Is 32 a factor of v(-1)?
True
Suppose -p = -j - 0*p + 74, 4*p - 130 = -2*j. Is 5 a factor of j?
False
Let c be (1/2)/(4/32). Suppose -2*a = -c*a + 42. Is 13 a factor of a?
False
Let z(h) = -h**2 - 5*h - 6. Let v be z(-5). Let f = 13 + v. Is (-2)/(-7) - (-110)/f a multiple of 14?
False
Let y(c) = c + 7. Suppose -2*o + 5*w - 29 = 0, -2*o + w - 17 = -0*w. Let r be y(o). Suppose r = -2*f + f + 54. Does 27 divide f?
True
Let w = -36 + 48. Is w even?
True
Let w(u) = u**2 + 8*u - 29. Is w(-13) a multiple of 6?
True
Suppose 8 = 5*v - v. Suppose 4*q + v*g = 66, -3*g - 29 - 8 = -2*q. Is 5 a factor of q?
False
Let o be (-24)/11 + 6/33. Let l be ((-6)/9 - o)*-3. Is (5/l)/((-2)/16) a multiple of 5?
True
Let u = 36 - 74. Let b = 11 - u. Does 13 divide b?
False
Let x(o) be the second derivative of o**5/20 - o**4/4 - o**3/2 - o. Let p be x(4). Is 5 a factor of (1 - -2)*(p - -1)?
True
Let p be 18 - 0*(-3)/(-12). Suppose 4*x = -2*i + 32, 4*x = -i - 0*x + p. Is i a multiple of 7?
True
Let n(u) = -u**3 - u**2 + 2*u + 3. Let d be n(-2). Suppose -5*i + 5 = -k - 0*k, 11 = d*k - 2*i. Is 2 a factor of k?
False
Suppose n = -2*n. Let x(k) = k + 11. Let m be x(0). Let i = m + n. Is i a multiple of 11?
True
Let c = -25 + 30. Is 5 a factor of c?
True
Suppose r + r + 5 = 3*b, -3*b - 5*r + 40 = 0. Suppose -4*z = -b*z + 5. Is z a multiple of 3?
False
Suppose -2 = g + 2. Let k = 6 + g. Is 19*(-1 - -1*k) a multiple of 16?
False
Let u(c) = c**3 - 5*c**2 + 2*c - 7. Let g be u(5). Suppose -g*b + 15 = -0*b. Suppose -4*d + 4*y + 44 = -0*d, -4*y = b*d - 82. Is d a multiple of 6?
False
Let n be 31/8 - (-2)/16. Suppose 9*a - n*a = 285. Does 19 divide a?
True
Let q be (12/(-10))/(6/(-15)). Suppose 0 = q*l - 0*l - 57. Is l a multiple of 15?
False
Let a be (8/(-10))/(3/(-120)). Let y = 74 - a. Suppose 3*m = 30 + y. Is m a multiple of 11?
False
Let x = -12 + -7. Let r = 29 + x. Is r a multiple of 6?
False
Suppose 0*b = 2*b. Suppose b*s = 5*s - 215. Is s a multiple of 13?
False
Suppose 774 + 1566 = 9*b. Does 52 divide b?
True
Let a = -98 - -50. Let q = -24 - a. Does 12 divide q?
True
Let u(y) = -7*y - 3. Suppose -4 = -5*h - 19. Does 6 divide u(h)?
True
Let c = -9 + 17. Let f(z) = -2*z. Let t(r) = 1. Let i(n) = -f(n) - 3*t(n). Does 13 divide i(c)?
True
Let o(m) = -m**2 - m + 14. Let i be o(-12). Let w = -78 - i. Does 15 divide w?
False
Let d(y) = -y + 5. Let r be d(8). Let m(n) = 5*n**2 + n - 4. Does 19 divide m(r)?
True
Let m be 6/(-15) + 277/5. Suppose 202 = 3*x + m. Is 12 a factor of x?
False
Suppose -25 = -4*b - b. Is 3 a factor of b?
False
Suppose c - 1651 = -12*c. Is 10 a factor of c?
False
Suppose -5*y = 21 - 181. Is 16 a factor of y?
True
Suppose 4*c + 3*i - 89 = 0, -3*i - 31 = -0*c - 2*c. Let g = -13 + c. Is g a multiple of 3?
False
Suppose -41*u + 43*u - 112 = 0. Is u a multiple of 56?
True
Let f be (-6)/7*(-14)/3. Suppose -15 - 25 = -f*g. Let v = g + -2. Is v a multiple of 8?
True
Let o(l) = -20*l. Is o(-5) a multiple of 25?
True
Suppose 4*l + 3*y = -l + 434, l = -5*y + 100. Suppose -l = -2*n - 3*n. Suppose -3*g = -2*g + h - n, 2*h = g - 5. Is g a multiple of 13?
True
Suppose -8 = -5*r + 3*r, r - 12 = -2*y. Let h(c) = 2*c. Let t be h(2). Suppose -y*u + 176 = t*b, -u + 2*b = -2*u + 49. Is 14 a factor of u?
False
Let n = -50 - -73. Let f = -43 + 30. Let v = n - f. Is v a multiple of 14?
False
Let j(f) = 6*f**2 - 1. Let 