k?
False
Let t be (-8)/(-20) - (-54)/(-10). Let v = t + 84. Suppose 4*f - 5*y = 99 + 8, 0 = -3*f + 5*y + v. Does 15 divide f?
False
Let k(x) = -x - 19. Let b be k(-10). Let j = -3 - b. Suppose -j = 3*n - 5*n. Is 2 a factor of n?
False
Is 25/(-3)*(-21)/7 a multiple of 11?
False
Let w(u) = 2*u + 6. Let d be w(-7). Is ((-10)/(-4))/(d/(-16)) a multiple of 5?
True
Let w(p) = p**2 - 2. Let t be w(-4). Suppose 94 = 4*c + t. Is 10 a factor of c?
True
Suppose 6*f - 3*f - 4*d = 193, -2*f = -3*d - 129. Does 7 divide f?
True
Is 6 a factor of (4 - 0) + 166/(-8)*-8?
False
Let s(g) = -3*g**3 + 50*g**2 - 28*g - 47. Let n(p) = p**3 - 17*p**2 + 9*p + 16. Let d(m) = -11*n(m) - 4*s(m). Is d(12) a multiple of 7?
False
Let t(g) = g**3 + 8*g**2 - 2*g - 10. Let s be t(-8). Let p = 5 - 8. Is p*(-2)/s*7 a multiple of 5?
False
Let l(b) = 14*b - 9. Let t be l(4). Let h = 7 + t. Is 8 a factor of h?
False
Let v = 563 + -346. Is 31 a factor of v?
True
Let r(s) = 3*s. Let m be r(-6). Let a be (-6)/27 + (-76)/m. Suppose -2*n - 6 = 0, 2*l - a*n - 47 = -1. Is 12 a factor of l?
False
Let k be (160/3)/((-4)/(-12)). Suppose 0 = 2*q + 2*q - k. Does 20 divide q?
True
Suppose 12*j - 27 = 11*j. Does 15 divide j?
False
Let z(l) be the third derivative of l**6/120 - l**5/20 - 5*l**3/6 + 2*l**2. Does 11 divide z(4)?
True
Suppose 0 = -19*h + 23*h - 940. Is 47 a factor of h?
True
Suppose 5*t - 24 = 3*q, -2*t = -4*q - 20 + 2. Let a be (-9)/(3/(-30)*t). Suppose 0 = f + 2*f - a. Does 10 divide f?
True
Let p(n) = n - 11. Let z be -3 + 10 + (-2 - -2). Let b be p(z). Let t = 6 - b. Is 5 a factor of t?
True
Let c be (-2)/(((-18)/3)/(-3)). Is 17 a factor of c + 4/2 - -37?
False
Let k be 4/(-10) + (-32)/(-5). Let c be ((-2)/k)/(4/(-36)). Let f(m) = -m**3 + 5*m**2 - 3*m + 1. Is 5 a factor of f(c)?
True
Let x = 52 + -35. Suppose -x - 3 = -4*u. Is (3/1)/(3/u) a multiple of 5?
True
Let q(h) = -h**2 - 8*h - 2. Let c be q(-7). Suppose -2*w - 5*y = c + 1, 2*w - 18 = y. Is 4 a factor of w?
False
Let y = -9 + 12. Suppose 0 = -4*t + y*t + 41. Is 14 a factor of t?
False
Is 14 a factor of 69/3 - (-1 - -3)?
False
Let f(j) = -26*j - 2. Is 16 a factor of f(-2)?
False
Suppose 6*u = u + 400. Suppose -5*t + u = -265. Does 22 divide t?
False
Let y be 20/(-4) + 3 + 6. Is (-69)/(y + -1)*-2 a multiple of 29?
False
Let c(r) = r**2 - 14*r + 6. Let b be c(8). Is 15 a factor of (-1860)/b - (-2)/(-7)?
False
Suppose 0 = -3*h - 62 + 155. Is 23 a factor of h?
False
Does 2 divide -1 - (14/(-35) + 78/(-5))?
False
Let h(f) = -f + 6. Let y be h(4). Does 11 divide (y - 0)/(4/66)?
True
Suppose 2*s - 487 = -7. Is s a multiple of 20?
True
Suppose 3*i + 2*i + 225 = 0. Let w = 67 + i. Is w a multiple of 14?
False
Suppose -8*x = 5*v - 3*x - 10, 0 = -3*v - 5*x + 10. Is 10 + -1 + v + -3 a multiple of 2?
True
Let b(a) be the third derivative of -a**6/120 - a**5/12 - a**4/12 + a**3 - 2*a**2. Does 25 divide b(-6)?
False
Let t be 2/(-5) - 1236/(-15). Suppose -24 = 2*l - t. Suppose 0 = a + 7 - l. Does 11 divide a?
True
Let x be ((-10)/(-4))/(4/(-8)). Is ((-6)/x)/((-6)/(-135)) a multiple of 27?
True
Suppose -5*k - 5*q = -3*k + 3, -5*k = 2*q - 3. Let t be (22 + 0)/(3/6). Is (13 - k)/(33/t) a multiple of 8?
True
Let f(a) = 2*a**2 + 2*a - 2. Let c = 3 + -8. Is f(c) a multiple of 11?
False
Suppose 5*c + 0*q = -2*q + 18, -4*q + 4 = 2*c. Suppose -93 = -c*w + 51. Is 13 a factor of w?
False
Let g = -49 - -173. Is 26 a factor of g?
False
Suppose -d = 12 - 1. Let t = 15 + d. Suppose -t*z + 8 = -52. Does 6 divide z?
False
Let w be -7*(-1 + 164/(-28)). Suppose w = -2*n + 5*n. Is n a multiple of 8?
True
Let v be 144*(-3 + 10/4). Let g = 122 + v. Does 13 divide g?
False
Let n(c) = c**3 + 5*c**2 + 4*c + 5. Let p be n(-4). Suppose -2*r = 3*y - 6, -3*y + 4*y - 2 = -p*r. Suppose r = -5*m + 54 - 4. Is m a multiple of 4?
False
Suppose 3*a + 0*a = 3*f - 264, -88 = -f - 4*a. Suppose 3*n - f = -16. Is n a multiple of 7?
False
Let j be 3*(-2 - 4/(-6)). Let m be (-30)/j*(-18)/3. Let t = 67 + m. Is 11 a factor of t?
True
Let j = 2 - 0. Suppose 4*f - 405 = -5*a, -4*f + f = j*a - 302. Suppose -g + f = 4*g. Is g a multiple of 10?
True
Let s(q) = -q - 1. Let a(b) = -b**2 + b. Let w(v) = -a(v) + s(v). Is 14 a factor of w(-3)?
True
Let k = 3 + -5. Is 2 a factor of (k/4)/(2/(-16))?
True
Suppose 2*x + g = 132, 4*g = -4*x - 0*g + 272. Is 16 a factor of x?
True
Suppose 0 = -2*r + 3*r - 173. Is 25 a factor of r?
False
Let w(l) = -l**2 - 3*l - 2. Let h be w(-4). Let d be (-4)/(0 + (-3)/h). Let f = 13 + d. Does 4 divide f?
False
Suppose -3*l + 360 = -0*l. Suppose 5*d - 2*d = l. Is d a multiple of 10?
True
Let t be (-20 - -5)*2/(-6). Suppose -t = x - 2*x. Is 5 a factor of x?
True
Let c = -11 + 17. Let r(g) = -g**3 + 8*g**2 - 4*g + 2. Let w be r(c). Suppose -2*h - m + 6*m = -w, -2*m = 8. Is 6 a factor of h?
False
Suppose 0*z = -2*z + 40. Does 10 divide z?
True
Suppose 5*i - 10*i = -10. Is i a multiple of 2?
True
Let t be (10/4)/(3/42). Is 900/t - 2/(-7) a multiple of 13?
True
Let g(f) = 5*f + 18. Let t(o) = o + 1. Let d(n) = g(n) - 4*t(n). Is 7 a factor of d(13)?
False
Suppose -55 = -2*t - 3*d, 2*t - 51 = -d + 6. Is t a multiple of 19?
False
Suppose 2*j - 96 = j. Does 12 divide j?
True
Let w(i) = 4*i**3 + 3*i**2 + 5*i - 2. Let p(t) = -3*t - 4*t**2 - 5*t**3 - 2*t - t**3 - 2*t + 3. Let s(o) = -5*p(o) - 7*w(o). Does 17 divide s(3)?
False
Let z = -58 + 63. Is z a multiple of 3?
False
Let i(g) = -g + 6. Let j be i(6). Let r = j + 5. Suppose 2*d = r*d - 48. Is d a multiple of 6?
False
Suppose 2*f + 4*l - 4 = 0, 4*f - 2*l + 39 + 3 = 0. Suppose 0 = q - 2*q + 14. Let y = q - f. Is 9 a factor of y?
False
Let n(d) = d**3 - 5*d**2 + 4*d + 3. Let u be n(4). Suppose 7*w - 252 = u*w. Is (w/6 + -3)*2 a multiple of 15?
True
Suppose 6*g - 11 = 409. Does 14 divide g?
True
Let l be 2*(-2)/(-4) - 5. Let h(z) = -z**3 - 3*z**2 + z - 1. Does 4 divide h(l)?
False
Let u = -21 - -11. Let x = -8 - u. Is (-5)/(-10) + 49/x a multiple of 25?
True
Let p(t) = -t + 7. Is p(-7) a multiple of 14?
True
Let a = 10 + 19. Is a a multiple of 5?
False
Suppose 0 = -2*n + 161 + 91. Does 14 divide n?
True
Let r be -6 - -7 - -3*1. Suppose -2*p + r = -18. Is p a multiple of 10?
False
Let c = 6 - 0. Suppose -35 = -c*f + f. Suppose -f*w + 3*w = -48. Is 6 a factor of w?
True
Let f be 1/(1 + (-2)/4). Let q = 34 - f. Let d = 62 - q. Is d a multiple of 11?
False
Suppose 2*o - 18 = 2*y + 56, 0 = -3*o - y + 127. Does 9 divide o?
False
Is 18 a factor of 16/(-136) - (-1549)/17?
False
Let r(p) = -p**2 - 12*p + 8. Is r(-7) a multiple of 43?
True
Suppose -236 - 76 = -8*p. Is 13 a factor of p?
True
Let k(t) = 0*t**2 + 4*t**2 - 3 - t**2 - t**2 + 5*t. Is 22 a factor of k(-5)?
True
Let p = 1 + 2. Suppose 4*d - 3*d + p*c - 11 = 0, 4*d = -c + 77. Is d a multiple of 10?
True
Let p(j) = -9*j + 7. Let x be p(-6). Let h = x - 26. Suppose -h = 4*i - 5*i. Is 11 a factor of i?
False
Suppose -58 - 11 = -3*m. Is m a multiple of 12?
False
Let i be 2 + -4*(-2)/(-4). Suppose i = -0*k + 2*k - 22. Is 11 a factor of k?
True
Let h(g) = -22*g + 8. Is 16 a factor of h(-4)?
True
Suppose 6*g - 2*g - 2*r - 16 = 0, 0 = 4*r + 16. Suppose g*c + c + 273 = 0. Let y = 127 + c. Does 18 divide y?
True
Let r be 1/5 - 669/(-5). Suppose -5*z = 3*m - 88, -m - 4*m = 2*z - r. Does 10 divide m?
False
Suppose 0 = -5*u + 4 + 6. Suppose -13 = -m + z, -u*m + 2*z + 44 = 2*m. Is 3 a factor of m?
True
Suppose -10*y + 1583 = -847. Is y a multiple of 29?
False
Suppose 0*k - 2*k = j - 131, 4*k = 5*j + 255. Is k a multiple of 19?
False
Let w(x) = -5*x - 8 + 0*x - 3*x - x**2 + 3. Is 2 a factor of w(-7)?
True
Let m(y) = 2*y**2 + y + 1. Let g(t) = t**3 - 5*t**2 + 2*t - 4. Let j be g(5). Let p = -9 + j. Is 8 a factor of m(p)?
True
Let o(j) = -j**3 + 11*j**2 + 12*j + 7. Let d be o(12). Suppose -76 = 3*y - d*y. Is 8 a factor of y?
False
Suppose 5*y - 3*v + 11 = 0, 2*v + 10 = y - 2*y. Is (y*11/2)/(-1) a multiple of 8?
False
Let j be (2 + -4)*-3*-1. Let q(b) = b**3 + 5*b**2 - 6*b + 1. Let l(z) = 2*z**3 + 10*z**2 - 12*z + 3. Let a(h) = 6*l(h) - 13*q(h). Is 3 a factor of a(j)?
False
Let w(c) = -17*c**3 - c**2 + c + 2. Let a(n) = -n**3 - n**2 - n - 1. Let s(d) = a(d) + w(d). Is 10 a factor of s(-1)?
False
Let o = -76 + 25. Let x = -159 + 69. Let y = o - x. Is 10 a factor of y?
False
Suppose -3*g - j - 1