 25?
True
Let q be (-105)/(-30) - (-2)/(-4). Let x = q + 8. Is x a multiple of 8?
False
Let w(q) = q**3 - 8*q**2 + q - 5. Let p be w(8). Suppose -5*x - p*b + 58 = 0, 3*b - 19 = -2*x + 6*b. Is 6 a factor of x?
False
Suppose -3*y - 6 = -6*y. Suppose 3*i = -2*r + 35, y*r - 4*r = 4*i - 36. Suppose -2*c = -0*c - r. Does 5 divide c?
False
Let r(j) = -j**2 - 6*j - 11. Let o be r(-12). Let f = -39 - o. Is 7 a factor of f?
False
Let i be 0 + 1 - (1 - -4). Let b(a) be the second derivative of -a**4/12 - 2*a**3/3 + 5*a**2/2 - 4*a. Is b(i) a multiple of 5?
True
Suppose 5*i = 1 + 24. Suppose i*o - 27 = 2*o. Does 9 divide o?
True
Suppose -3*p - 9 = -2*h + 1, 2*p = -2*h. Let i be ((-30)/24)/(h/(-8)). Suppose 108 = 5*b + 3*w + w, 98 = i*b - w. Is b a multiple of 10?
True
Let o(q) = -5*q**2 - 21*q + 24. Let a(m) = -2*m**2 - 11*m + 12. Let v(z) = -7*a(z) + 3*o(z). Let g be v(11). Suppose 31 + g = 2*f. Is 7 a factor of f?
False
Let o = -9 - -11. Suppose d + 4 = -3*n, o*n + 0 = -2*d + 8. Is 5 a factor of d?
False
Let y(l) = l**2 - 8*l + 37. Does 11 divide y(10)?
False
Suppose 2*p = -3*h + 17, -h = 2*p - 5 - 6. Suppose 0 = -2*c - 2*w - 2*w + 74, -78 = -2*c - h*w. Suppose -6*k + c = -3*k. Does 6 divide k?
False
Let m(l) = -l**3 + 5*l**2 - 2*l. Is m(3) a multiple of 7?
False
Let a(o) = -o**2 - 2*o + 19. Does 16 divide a(-3)?
True
Let w(j) = 2*j**2 + 11*j - 11. Does 9 divide w(-9)?
False
Let r be (-2)/6*(-23 - -2). Let y = r + -2. Is 2 a factor of y?
False
Let q(r) = -2*r**3 + 3*r**2 + 3*r + 1. Is q(-4) a multiple of 11?
True
Suppose -2*v = -v - 23. Is 3 a factor of v?
False
Let z(f) = f - 8. Let w(l) = l - 17. Let r(u) = 6*w(u) - 13*z(u). Is 4 a factor of r(-2)?
True
Let a = 44 - -13. Is a a multiple of 21?
False
Let l = -69 - -166. Let h = 136 - l. Is h a multiple of 12?
False
Let a = -4 + 3. Let d be (4/6)/(2/(-3)). Is a/((-32)/(-34) + d) a multiple of 17?
True
Let u(w) = w**3 - 11*w**2 - 13*w + 16. Let p be u(12). Suppose -2*h = -r - 158, p*r - 8 = -0. Suppose c - 6*c = -h. Is c a multiple of 16?
True
Suppose n = -n + 410. Suppose 0 = q, q = 5*w + 4*q - n. Suppose -25 = -3*s + w. Is 15 a factor of s?
False
Suppose 2*q + 4 = g - 2*g, -2*q + g = 0. Does 11 divide -40*(36/(-16) - q)?
False
Suppose 4*l - 17*l + 3068 = 0. Is l a multiple of 23?
False
Let s(g) = g**3. Let o be s(0). Let q(l) = l - 13. Let i(c) = -c + 12. Let w(a) = 4*i(a) + 3*q(a). Is w(o) a multiple of 5?
False
Let i be 0/(-3 + (-3 - -5)). Is 0 + i - (3 + -21) a multiple of 9?
True
Suppose 2*z = 7*z + 25. Let g(s) = -12*s + 4. Does 16 divide g(z)?
True
Let v = -12 - -6. Let i be (-26)/v - (-5)/(-15). Let a(k) = k**3 - k**2 - 6*k + 1. Does 10 divide a(i)?
False
Let n(q) = -q**2 + 5*q - 4. Let a be n(3). Suppose -3*h = h - 2*j + 12, -h - 3*j = 17. Does 5 divide (h/4)/(a/(-16))?
True
Let y(m) = -m**2 + 18*m - 16. Is 14 a factor of y(12)?
True
Let j(g) = -2*g - 3. Let d be j(7). Let s = d + 0. Let l = s + 35. Is l a multiple of 9?
True
Let q be 6/4*(-28)/(-3). Let p = q + -4. Let i = p - -1. Is 7 a factor of i?
False
Let q = -2 - -18. Is q a multiple of 3?
False
Let f(s) = -s**3 + 7*s**2 - 8*s + 4. Let y be f(5). Suppose x = -2*o + y, -3*x + 3 = 3*o - 36. Does 7 divide x?
False
Let j(v) = 12*v**3 + 2*v**2 + 2*v + 1. Let m be j(-1). Let t(i) = 4*i - 5*i + 7 - 9 + 0*i. Does 5 divide t(m)?
False
Suppose 0 = 2*z - 3*z + 7. Let y be ((-2)/(-4))/(z/252). Suppose -y = -n - n. Is n a multiple of 9?
True
Let j be 7/(7/510) + 3. Is 20 a factor of (-16)/6*j/(-18)?
False
Suppose -5*z = 2*y + 2*y - 211, 0 = -5*y - z + 269. Suppose -4*u + 66 = n, -5*n = -2*u - 2*u + y. Is 16 a factor of u?
True
Suppose 3*n - 4*n - 11 = -3*y, -n = -2*y + 15. Let v = 8 + n. Let a = v - -28. Is a a multiple of 5?
False
Let w = -12 - -22. Suppose 2 = 2*x - w. Let c = 16 - x. Is c a multiple of 4?
False
Let g(k) = -13*k - 11. Is 9 a factor of g(-9)?
False
Let n = -107 - -122. Is 2 a factor of n?
False
Let o be -1 + (-8)/(-1 + -1). Let k(n) = 2*n**3 - 4*n**3 - 6*n + o + 8*n**2 + n**3. Does 13 divide k(5)?
False
Let a be (-58)/(-6) - (-2)/6. Let w = a - 7. Is 3 a factor of w?
True
Suppose 5*q - 5*o - 1065 = 0, 4*o - 3 = 3*o. Does 27 divide q?
True
Suppose 5*v + 4 = -2*f, 4*f + 4*v + 1 - 5 = 0. Suppose 0*n + f*n = 78. Is 13 a factor of n?
True
Let m(l) = l**2 - 3*l - 7. Let q be m(5). Suppose q*f = 2*t + 5*f - 34, -4*t + 5*f = -59. Is t a multiple of 8?
True
Does 23 divide (4 - (-2 + 3)) + 104?
False
Let n(w) be the first derivative of -w**3/3 - w**2 - w + 2. Let a be n(-7). Let c = a + 56. Is 20 a factor of c?
True
Let b(n) = n**3 + 10*n**2 + 10*n + 9. Let z be b(-9). Suppose 0 = -2*y - 4*u - z*u - 8, -y - 4*u - 10 = 0. Does 13 divide 43 - y - 4/2?
True
Suppose 0 = -3*l - 3*r + 36, -4*l = 3*r + 5 - 54. Let q = -8 + l. Is q a multiple of 2?
False
Let q(u) = u**2 - 2*u. Let c be q(2). Let z be 1/5 + (-396)/(-45). Suppose c = -4*a + z*a - w - 21, 5*a - 37 = -3*w. Is 5 a factor of a?
True
Is 24 a factor of (-2 - -2) + (432/(-3))/(-3)?
True
Suppose 4*g + g = 0. Suppose y + 7 + 2 = 0. Let s = g - y. Is 5 a factor of s?
False
Is ((-10)/(-15))/1 - 160/(-3) a multiple of 28?
False
Let s(t) = -t**3 + 7*t**2 + 2. Let l be s(7). Let m = -1 - l. Does 3 divide m/(2 + 1)*-3?
True
Suppose 4*x - 68 = k, 0*x + 3*x = 3*k + 42. Is x a multiple of 18?
True
Suppose 0 = -3*p + 6, 5*o + 5*p + 6 - 16 = 0. Let n(f) = -f**2 + 3. Let c be n(o). Suppose c*y = -4*z + 132, 2*z + 2*y - 172 = -3*z. Is 18 a factor of z?
True
Does 14 divide (-770)/(-21) + (-4)/6?
False
Suppose -4*k + 2*k + 182 = -5*o, -o - 4*k = 32. Let u = o - -78. Does 21 divide u?
True
Let f(h) = 8*h**2 - 3*h - 13. Is f(-3) a multiple of 17?
True
Let s(c) = c**3 - 9*c**2 - c + 9. Let f be s(9). Suppose -4*z + 48 = -f*z. Is 12 a factor of z?
True
Let r = 5 - -2. Let j = 13 + r. Is j a multiple of 14?
False
Let w(j) = -j + 7. Let i(c) = c. Let n be i(-6). Is 13 a factor of w(n)?
True
Let w(l) = 2*l**3 - 8*l**2 + 4*l - 4. Suppose -5*k - 5 = -5*r, -5*k - 13 = -5*r - 2*k. Let h be w(r). Suppose h = 2*c + c. Is c a multiple of 11?
True
Let s = -63 - -103. Let b = s - -4. Is b a multiple of 17?
False
Let j = -42 - -99. Is 19 a factor of j?
True
Suppose g + 0*g - 30 = 0. Is 4/g + (-116)/(-30) even?
True
Suppose -4*h - 2*j = -0*h + 60, j + 69 = -5*h. Let y = 1 - h. Does 14 divide y?
True
Let f be 4/(4*1/8). Is ((-142)/(-8))/(2/f) a multiple of 16?
False
Suppose -58 = -5*j - 8. Is j a multiple of 7?
False
Let s(w) = -19*w**3 + 3*w**2 - 4. Let i(v) = -20*v**3 + 4*v**2 - 5. Let t(m) = 4*i(m) - 5*s(m). Let d be t(1). Suppose 7 = z - d. Does 20 divide z?
False
Let w = 92 + -44. Is 16 a factor of w?
True
Suppose -4*d - 4*w = -120, 3*d + w - 37 = 43. Is d a multiple of 11?
False
Let h(k) = 3*k**2 - 28. Does 17 divide h(7)?
True
Let h(z) = z**2 + 6*z + 9. Suppose x + 28 = -4*x - 2*c, -15 = 3*x + 3*c. Let m be 45/x + 2/4. Is h(m) a multiple of 12?
False
Let d be (1*60)/3 + 3. Let g = d - -1. Is 7 a factor of g?
False
Let r(y) = 2*y - 3 + 2 + 0*y. Suppose c + 13 = 2*q, 4*q - 44 = -c - 3*c. Is r(q) a multiple of 9?
False
Let m = 8 - 5. Suppose -m*k - 2*k = 5*g - 25, 0 = -2*k - g + 7. Suppose 0 = -k*t + 59 - 15. Is t a multiple of 9?
False
Let v = 4 - 5. Is -1 + (88 - 1) - v a multiple of 29?
True
Suppose 0 = -0*r + 3*r + 18. Let a(g) = 2*g**2 + 4*g. Is a(r) a multiple of 17?
False
Suppose 102 = 4*f - 62. Is f a multiple of 11?
False
Let d = -507 + -237. Let b be ((-70)/4)/(14/28). Does 26 divide d/(-10) + (-21)/b?
False
Suppose s = 6*s - 45. Suppose 3*c = o - s, -o + 12 = -4*c + 3*o. Let d = c - -12. Does 8 divide d?
False
Suppose -s = -0*s - 2*t - 7, -2*s + 16 = -5*t. Suppose 2*p + s*w + 0*w = 10, 0 = 5*w + 10. Is p a multiple of 3?
False
Let c(g) = g**3 - g**2 - g + 1. Let q be c(2). Suppose -m + q = -2. Is m a multiple of 5?
True
Let a(s) = s**3 - 4*s**2 + 7*s - 1. Is a(5) a multiple of 15?
False
Let z(k) = k**2 - k - 9. Let x be z(7). Let f = -23 + x. Is 3 a factor of f?
False
Suppose -k - k = 0. Suppose o + 8 = -0*o + j, -5*o + 2*j - 37 = k. Does 4 divide 2 - (-4 + 1 + o)?
True
Suppose f + h = 69, 3*f + 3*h - 204 = h. Suppose -f = 4*x - 7*x. Does 15 divide x?
False
Let g(d) = 27*d**2 - 1. Let v = -6 + 3. Let j = -2 - v. Is g(j) a multiple of 15?
False
Let z = -24 + 79. Is z a multiple of 13?
False
Let i(u) = u**3 + 9