tiple of 9?
False
Let a(p) = -3*p**2 - 74*p + 37. Is a(-25) a multiple of 9?
False
Let x(f) = -f**3 - 3*f**2 - 7*f + 26. Let g(u) = u**3 + 13*u**2 - 2*u - 32. Let o be g(-13). Is 11 a factor of x(o)?
True
Let o = 62 + -56. Suppose i - p - 15 = 0, -o*p = -2*p - 12. Is i a multiple of 9?
True
Let k(r) = 1. Let s(y) = -y. Let l(j) = 4*j - 1. Let f(a) = -l(a) - 3*s(a). Let g(q) = f(q) + 3*k(q). Is g(-3) even?
False
Let x(c) = 18*c**2 + 7*c. Let k be x(6). Let n be (-6)/(-8) - k/24. Let f = -10 - n. Does 6 divide f?
True
Let c = -18 - -3. Let a = c - -27. Does 12 divide a?
True
Suppose 0 = y + 3, -2*w - y + 0*y + 71 = 0. Is 3 a factor of w?
False
Let z be (-1)/(-2)*2*1. Let f = 124 - 125. Is 5 a factor of -5*(f - 0)*z?
True
Let r(h) = -h**3 - 8*h**2 - 6*h + 9. Let l be r(-7). Suppose 3*k - 2*f = 3*f + 28, -l*f = 4. Let p(m) = 2*m**2 - 7*m - 4. Does 13 divide p(k)?
True
Suppose -8*n - 906 = -5618. Does 19 divide n?
True
Is 10 a factor of -2 - (-25)/12 - (-570168)/864?
True
Let x(y) = -y**2 - 10*y. Let m be x(-8). Let c = m + -12. Suppose c*z + 5*i - 254 = 0, -3*i + 1 = z - 59. Does 22 divide z?
True
Let l(g) = 2*g + 23. Let d(s) = 3*s + 47. Let b(t) = 3*d(t) - 5*l(t). Is b(-20) a multiple of 10?
False
Let x = 448 + -257. Suppose x + 329 = 4*z. Is z a multiple of 26?
True
Let c(z) = z**3 + z**3 - 16*z**2 + 7*z**3 - 19*z + 19 - 10*z**3. Is c(-15) a multiple of 12?
False
Is (-1088)/12*(5 + (-1 - 7)) a multiple of 34?
True
Suppose -2*v + 0 = 4. Let i be -3 + 2 + 239 + v. Is 8 a factor of (-4)/(-14) + i/7?
False
Suppose 80 = -3*s + 4*s. Suppose 5*o + 148 = w + w, -w + 4*o = -s. Suppose i = 5*i - w. Does 7 divide i?
False
Let c = 5 + 39. Suppose -c = -13*m + 86. Is m even?
True
Suppose -5*k + 20 = 0, g + 5*k + 33 = 85. Let b = 136 + g. Is b a multiple of 21?
True
Let i(c) be the second derivative of -2*c**3/3 - 2*c**2 - 46*c. Let j = -2 + -3. Is i(j) a multiple of 16?
True
Suppose 2*s - 2*t - 526 = 0, -2*s + 576 - 53 = -t. Does 26 divide s?
True
Let r(f) = f + 17. Let o be r(-14). Let s(z) = z**3 - 2*z**2 - 3*z + 3. Is s(o) even?
False
Suppose -9840 = -4*t + 7476. Is t a multiple of 16?
False
Suppose 6*y - 7*y = 2*g - 1272, 2*y - 636 = -g. Is 53 a factor of g?
True
Let v(x) = -5 - 4 + x - 11 + 13. Let f be v(5). Is 8 a factor of 31 + 2/(-4 - f)?
False
Suppose 5*r - 15 = -0*r. Let f be (4 - (-56)/(-12))*9. Is (-82)/f*r - -1 a multiple of 25?
False
Suppose -2 = 2*v - 0*v. Does 23 divide (0 + (-1)/v)*161?
True
Is (-2)/4*-86 - -1 a multiple of 44?
True
Let p be (-3 - -4) + 1/1. Suppose -p*v + 5*v = 78. Does 8 divide v?
False
Let o(f) = -f**3 + 3*f**2 + 4*f + 2. Let a be o(-2). Suppose -5 = -3*z - g - a, 0 = 2*z + 3*g - 1. Does 15 divide 166/8 + (-1)/z?
False
Suppose -2*q = -30*j + 34*j - 288, -4*j + 2*q + 288 = 0. Is j a multiple of 18?
True
Is (-1)/((-1904)/630 - -3) a multiple of 3?
True
Let o be 32/(-1)*30/4. Let a be o/(-2)*(0 + 1). Suppose 3*i - i = a. Is 13 a factor of i?
False
Suppose -11*h + 840 = -4*h. Is h a multiple of 20?
True
Suppose 0*q = 7*q + 399. Let b = -39 - q. Is b a multiple of 18?
True
Let u(h) = -h + 9. Let b be u(10). Let z be (2/(2/(-5)))/b. Suppose n + 4*l - 22 = 0, -4*l - l = z*n - 155. Is n a multiple of 17?
True
Let z = 538 + -428. Is z a multiple of 52?
False
Is 136567/296 - (-5)/8 a multiple of 11?
True
Suppose 5*n = -5*w + 282 + 268, 0 = 2*w + 4. Is 8 a factor of n?
True
Let i be 42*(-3)/(2 - 8). Let h = -1 + i. Suppose 5*u = 50 + h. Does 7 divide u?
True
Suppose 0 = 2*s - 10*s + 56. Does 32 divide s*-24*4/(-7)*2?
True
Suppose -401*y = -410*y + 15930. Does 93 divide y?
False
Let q = -24 - -30. Let i(f) = f**3 - 6*f**2 + 13*f - 5. Does 20 divide i(q)?
False
Suppose 3*y = -5*l + 10, -y + 10 = -3*y. Suppose l*z - 2*z = 411. Is 12 a factor of z?
False
Suppose 3 = -3*p + 6. Suppose -3*r - 4 = 3*c - p, 0 = -2*c + r + 13. Is (-44)/((-4)/c) + -3 a multiple of 9?
False
Let q(r) = r**3 - 8*r**2 + 8*r - 6. Let c be q(7). Let o(a) = 147*a**3 - 1. Is 15 a factor of o(c)?
False
Let s = 18 - 21. Does 18 divide (-43)/s*(8 - -1)?
False
Does 26 divide ((-56)/(-35))/(((-44)/(-1040))/11)?
True
Let s = -40 - -32. Is ((-276)/8)/(6/s) a multiple of 8?
False
Let j(r) = 3*r + 129. Does 3 divide j(-40)?
True
Suppose 0*d - 6396 = -26*d. Is d a multiple of 3?
True
Let r = 0 - -12. Suppose -4*y + b + 26 = 7, 0 = 4*b + r. Suppose -2*m + 60 + 162 = 2*t, 441 = y*m + 3*t. Is 18 a factor of m?
True
Let a(r) = r**2 - r - 25. Let p be a(6). Suppose p*b + 204 = 8*b. Is b a multiple of 13?
False
Suppose -372 = -3*k - 84. Is k a multiple of 16?
True
Let t(d) = -d**2 - 12*d + 17. Let i be t(-13). Suppose 0 = z + i*z - 20. Suppose 0 = 5*c + k - 109, -4*c + 37 = -3*c + z*k. Is 21 a factor of c?
True
Let r be (-2)/((-4)/6 + (-35)/(-84)). Is 729/(-6)*r/(-6) a multiple of 27?
True
Let t be (-52)/3*(-3)/2. Let i = t + 16. Is i a multiple of 7?
True
Let s(b) = 196*b - 8. Let w be s(-1). Let q = 51 - w. Is q a multiple of 15?
True
Let k(c) = -2*c**2 - 9*c - 11. Let p(f) = -f**2 - 6*f - 1. Let h be p(-7). Let b be k(h). Let v = -17 - b. Is v a multiple of 13?
False
Suppose -5*z - 3 = -8. Let i be z/(-4) - (-25)/20. Let p = 7 + i. Is 8 a factor of p?
True
Is 43 a factor of (6/5)/((-91)/(-13195))?
False
Let i(b) = b**2 - 28*b - 64. Is 29 a factor of i(31)?
True
Suppose 4*v - 512 = -6*b, 6*b - 7*b = -v - 92. Is b a multiple of 7?
False
Suppose 0 = -5*q + 7 + 13. Suppose q*f = f - 4485. Does 16 divide (-3)/(-2) - f/26?
False
Let d be 2*(78/(-3))/(-2). Let b = d - -47. Does 23 divide b?
False
Let y = -70 + 165. Suppose -2*q - 12 = -2*d, 2*q - 9 = -4*d + 3*q. Suppose 0 = -2*x + d + y. Is 16 a factor of x?
True
Let b(x) = x**2 + 5*x - 22. Let g be b(-8). Suppose -g*c + 174 + 46 = 0. Does 16 divide c?
False
Let t = 442 - 263. Does 15 divide t?
False
Let k(r) = 6*r - 52. Is 4 a factor of k(14)?
True
Let i(w) = -259*w + 144. Does 10 divide i(-14)?
True
Let o(i) = i - 10. Let r be o(12). Suppose 2*k - r*j + 23 = -135, k + 5*j + 103 = 0. Let z = 140 + k. Does 19 divide z?
True
Let q(b) = -b**3 - 7*b**2 - 8*b - 2. Let z be 4/(-18) - 4/(-18). Suppose z = 5*k - 2*y + 43, 9 = k + 3*y + y. Does 27 divide q(k)?
True
Suppose -4*o = 2*g - g + 16, -2*g - 2 = 2*o. Suppose a + 4*a = -4*f + 655, -4*f + 664 = -g*a. Suppose -5*c = -f - 160. Does 13 divide c?
True
Let q be (2/2)/(4 - 3). Suppose -7*b + 2*b = 0. Does 11 divide 120/8*(b + q)?
False
Suppose -4*d = 2*d + 108. Is 11 a factor of ((-248)/(-14))/(d/(-63))?
False
Let y(s) = -s**3 + s - 1. Let d(t) = 2*t**2 + 2*t - 6. Let r(o) = d(o) - 6*y(o). Is 24 a factor of r(3)?
True
Let s = -914 - -502. Let n be s/(-3) - (-2)/3. Suppose 7*i - n = -12. Is i a multiple of 18?
True
Let w(g) = 2*g**2 + 1 - 7*g**3 + 2*g - 17*g**3 + 2*g**2 - 2*g**2. Is 15 a factor of w(-1)?
False
Let q(k) be the second derivative of -k**3 + 3*k**2 + 4*k. Is 22 a factor of q(-10)?
True
Let r(s) = s**3 - 6*s**2 - 16*s + 6. Let k be r(8). Is 195/(-2)*k/(-9) a multiple of 13?
True
Let c = 628 + 2355. Does 157 divide c?
True
Let h(j) = -j - 3. Let a(w) = -w - 1. Let o(x) = 2*a(x) - h(x). Let t be o(-1). Suppose -t*i - 344 = -6*i. Does 20 divide i?
False
Is ((-400)/28)/((-6)/21) a multiple of 2?
True
Suppose 2*q = 3*q + 20. Let b = -9 - q. Is 3 a factor of b?
False
Let h(b) = 532*b + 120. Does 66 divide h(3)?
True
Let q(b) = -2*b**2 + b + 15. Let g be q(0). Suppose -p + g + 43 = 0. Does 13 divide p?
False
Let a = 1659 + -1656. Let k(u) = -u - 1. Let y(o) = 8*o + 3. Let t(h) = 4*k(h) + y(h). Is 11 a factor of t(a)?
True
Let g be (132/77)/((-4)/(-14)). Suppose 3*c + 0 - g = 0. Suppose 3*q - 70 = -c*q. Is q a multiple of 6?
False
Let y = -2798 - -3968. Is (y/(-4))/(-5)*(0 + 2) a multiple of 13?
True
Suppose 4*c + 3*m - 5*m = 832, 4*c + m = 838. Suppose 7*p - c - 323 = 0. Is p a multiple of 5?
False
Does 21 divide (-3565)/(-3) + (-4)/(-48)*8?
False
Let q = 46 - 51. Let b(l) = -2*l + 3*l - 5*l + 9 + 0*l. Is 10 a factor of b(q)?
False
Suppose -7*q - 373 = 124. Let l = -16 - q. Is 11 a factor of l?
True
Let j = -33 - -38. Suppose j*p = 8 + 12. Suppose 2*k + p = 16. Does 6 divide k?
True
Suppose 0 = 5*j + 4*a + 894, -4*j = -7*j - 4*a - 530. Is j/(-65)*(-5)/(-2) a multiple of 4?
False
Suppose -2*s - 4 = 0, 6*b - 4*s = b + 43. Suppose 12*p - 95 = b*p. Does 5 divide p?
False
Let y(g) = 4*g 