)*-3*35/t?
True
Is (-6 + -1064 - -6)*-2 a multiple of 56?
True
Let c be 282/(-5) - 6/(-15). Let l(p) = -p**3 - 18*p**2 + 43*p - 37. Let g be l(-20). Let v = c - g. Is v a multiple of 15?
False
Suppose -8 = 4*j, -7*v + 6*v + 4*j = -137. Let q = v - 102. Does 2 divide q?
False
Is (4/50 - 88/(-150))*108 a multiple of 4?
True
Let j = -47 - -62. Suppose 0*g - 705 = -j*g. Does 9 divide g?
False
Let t(u) = 3*u + 9. Let c be t(-5). Let k(q) = -7*q - 21. Is 16 a factor of k(c)?
False
Let c(i) = -3*i - 58. Let m(n) = 7*n + 115. Let v(g) = -5*c(g) - 2*m(g). Let t be v(0). Does 4 divide 18/15*t/9?
True
Let k = 217 - 82. Is 5 a factor of k?
True
Let g(w) = -w**3 + 8*w**2 - 6*w - 5. Let m(f) = -f + 1. Let o be m(-5). Let n be g(o). Let b = n + -7. Is 24 a factor of b?
True
Let o = 284 + 497. Suppose -a = -5*t + o - 94, 3*t - 426 = -4*a. Is 13 a factor of t?
False
Let z(p) = -4*p - 196. Let q be z(0). Is (144/(-28))/(8/q) a multiple of 9?
True
Let s(n) be the first derivative of n**7/840 + n**6/60 - n**5/120 + 10*n**3/3 - 8. Let b(d) be the third derivative of s(d). Is 10 a factor of b(-3)?
True
Let t(k) = 2*k**2 + 9*k. Let v be t(-5). Suppose 5 = v*y - 155. Is y a multiple of 16?
True
Suppose -68 = 5*i - 2568. Is 50 a factor of i?
True
Suppose -6*v - 128 - 52 = 0. Let t be (-24)/(-10) + 12/v. Suppose -5*n + 68 = -n - t*r, 14 = 2*n + 4*r. Is n a multiple of 15?
True
Suppose 0 = -4*k - 3*b + 2505, 14*k - 15*k + 5*b + 655 = 0. Does 14 divide k?
True
Let d = 49 + 107. Is d a multiple of 26?
True
Suppose -38*a = -16*a - 23320. Does 54 divide a?
False
Let w = 78 + 25. Is 19 a factor of w?
False
Suppose -3*f = -3*c - 176 - 115, 4*c = -5*f + 485. Does 31 divide f?
False
Let y = 106 + -76. Suppose -4*a - y + 2 = -d, 3*a = -4*d + 17. Is d a multiple of 7?
False
Suppose 0 = 14*w - 9283 - 6047. Does 15 divide w?
True
Let j(l) = l**2 + 3*l - 6. Let x = 19 + -25. Is j(x) a multiple of 6?
True
Suppose -4*w + 355 = -341. Suppose 4*g - 2*g = -2*u + w, g - 443 = -5*u. Is u a multiple of 13?
False
Let d(s) = -s**3 - s**2 + 2*s - 4. Let c be d(2). Is (16/c + 2)*33 a multiple of 11?
True
Let h(q) = -2*q + 1. Let p be h(1). Let t = 71 + p. Is 14 a factor of t?
True
Let w = 13 - 11. Suppose w*l = -0*l + 4. Suppose l*n - 5*n = -108. Does 18 divide n?
True
Is 2 a factor of (310 + 12)/2 - 3?
True
Let w be (2/(-2))/(2/(-36)). Let a = 1219 - 1269. Let q = w - a. Does 24 divide q?
False
Suppose -12 = -2*l - 4*y, y = l + 5*y. Let h = l - 6. Suppose 2*i + b = 54, b = h*i - 2*i - 102. Is i a multiple of 13?
True
Suppose -187 - 449 = 4*l. Let d = l + 279. Does 24 divide d?
True
Let j(y) = 141*y + 100. Is j(12) a multiple of 14?
True
Suppose -4 = -4*f + 4*p, f + 4 = -5*p - 1. Suppose 4*r - 14 = -6, -4*d + 3*r + 762 = f. Is 16 a factor of d?
True
Let x be (3324/(-8))/(-3) - 2/4. Suppose -378 = -5*t - x. Is 3 a factor of t?
True
Let z = 2 - 0. Let o be (-4)/10 - (19248/30)/(-4). Suppose -4*t + o = 3*b, z*b - 2 = 6. Does 11 divide t?
False
Suppose -9445 = -8*l + 11099. Is l a multiple of 37?
False
Let t = -34 - -36. Let j be (-24)/(-18) + t/3. Suppose 0 = -j*g + 7 + 7. Does 2 divide g?
False
Let p(t) = t**3 - 24*t**2 - 3*t - 43. Does 38 divide p(28)?
False
Let h(k) = 15*k**3 - 2*k**2 + 2*k - 2. Let f be (-10 - -6)*2/(-4). Is h(f) a multiple of 12?
False
Let o = -941 + 2656. Is o a multiple of 75?
False
Let z(w) = -11*w + 55. Let s be z(6). Suppose 2 = u - 5*x - 33, u - 33 = 4*x. Let o = u + s. Is o a multiple of 9?
False
Let y(c) = -13*c - 8. Suppose -2*b = 4*q - 16, q = 5*b + 4*q - 5. Does 9 divide y(b)?
True
Let u = -25 + 23. Let w = u + 7. Suppose w*h - 210 = -30. Does 12 divide h?
True
Let t(h) = -15*h - 10. Let v be (-138)/24 - 1/4. Does 14 divide t(v)?
False
Let f(j) = 12*j + 8. Let l be f(11). Suppose -4*a = 0, 5*a - a + l = 4*y. Does 5 divide y?
True
Is 819/455*260/6 even?
True
Suppose -3*t - 28 = 2*w - 266, 0 = 5*t - 2*w - 370. Does 38 divide t?
True
Let l be (-6)/(-4)*(-68)/(-51). Let w be ((-3)/l)/((-3)/4). Suppose 0 = -2*i + 5*o + 38 + 26, w*i - 4*o - 68 = 0. Is i a multiple of 13?
False
Let w(l) = -13*l - 225. Is 19 a factor of w(-38)?
False
Let p(y) = y**3 - 7*y**2 + 2*y + 9. Suppose -3*h = -c - 16, 4*h + 0*c = c + 23. Is p(h) a multiple of 16?
False
Suppose -15 = -c - 0*c + 2*t, -t = -3*c + 20. Suppose -5*i = 3*z - 90, c*i - 80 = -0*i - 5*z. Is i a multiple of 3?
True
Suppose -28 + 1 = 3*r. Let d = r + 1. Let u = -1 - d. Is u a multiple of 6?
False
Let h(j) = -22*j**3 + 2*j**2 - 13*j - 18. Is 6 a factor of h(-2)?
True
Suppose -2*q + 0*q - 6 = 0, -4*q + 918 = 5*i. Is i a multiple of 5?
False
Suppose 2*t = t + 2. Suppose 0 = 3*r + t*y - 0 - 280, -2*r + 175 = -y. Suppose 30 = 2*s - r. Is s a multiple of 12?
True
Suppose 4*p = -2*i + 350, 2*i - 4*p - 356 = -5*p. Is i a multiple of 38?
False
Let h be 7/((-21)/(-12)) - -2. Let v be (-8)/h*99/22. Does 33 divide (8/v + 2)*183?
False
Let c(k) = 2*k**3 - k**2 - 14*k + 3. Let a be c(6). Is (10/(-25))/(-2 - (-629)/a) a multiple of 21?
True
Let c be 904/(-28) + 10/35. Does 18 divide (48/c)/(6/(-536))?
False
Suppose 0*f + 5*r - 40 = 3*f, -3*r - 18 = f. Is 25 a factor of (5/f)/((-2)/426)?
False
Suppose 16 = -4*k, -4*k + 375 + 2297 = 4*q. Is q a multiple of 39?
False
Let x be -5 - -2 - 8*-1. Suppose -2*v = 2*g - 452 + 152, x*v + g = 758. Does 38 divide v?
True
Is 12 a factor of (-10)/30*-21 + 2034?
False
Let f(p) = -p + 145. Is 13 a factor of f(28)?
True
Let l(u) = u**3 - 14*u**2 - 23*u + 24. Does 21 divide l(16)?
True
Let z(k) = k**2 + 9*k - 1. Let w(t) = -5*t**2 - 45*t + 5. Let j(o) = -2*w(o) - 11*z(o). Let g be j(-9). Is (g + 41 - 1)*1 a multiple of 20?
False
Suppose 0 = -5*q - 3*f + 32, 8 = -3*q + 6*q - f. Suppose 6 = l + l - 3*s, 0 = -q*l + 4*s + 12. Does 22 divide 5 - 2 - (-81)/l?
False
Suppose -253 = -3*n + 26. Suppose 0*t = -2*v + t + 63, n = 3*v - 2*t. Does 11 divide v?
True
Let l(m) = 2*m**2 + 10*m + 23. Let i be l(-6). Suppose 3*t = 2*t - 15. Let a = i + t. Is a a multiple of 10?
True
Let f = -1566 + 2931. Is 61 a factor of f?
False
Let k(x) = -5*x**2 - 1. Let u be k(1). Let b = u + 23. Let y = b + -10. Is y a multiple of 7?
True
Suppose 3*k = -4*z - 3, 19 = -5*k - 5*z + 3*z. Let c = 26 - 39. Let p = k - c. Is 5 a factor of p?
False
Let m = -680 - -980. Is 15 a factor of m?
True
Suppose -8*b + 5*b + 150 = 0. Suppose 3*y + 2*y = -5*v + b, 4*y = 12. Is 7 a factor of v?
True
Let t = 75 - 21. Let d be -2 + (-5)/(10/4). Let c = t + d. Is c a multiple of 16?
False
Let m be 18/(4/(-80)*6). Suppose l + 5*l + 168 = 0. Let s = l - m. Is s a multiple of 16?
True
Suppose -25 - 17 = -3*q. Let c = 110 - q. Suppose 3*d + 9 = 0, d + c = 5*m - d. Is 6 a factor of m?
True
Suppose -27 = 5*r - 7. Is 15 a factor of (-1)/4 - 189/r?
False
Let i(k) = k**2 + 3*k - 37. Let f be i(-17). Is f*(-3 - 30/(-9)) a multiple of 17?
False
Suppose 3*h + 14 = n, 15 = -3*h - 2*h. Suppose 4*f + 108 = n*f. Is f a multiple of 23?
False
Suppose -903 = 9*q - 4044. Does 12 divide q?
False
Let z be (-6)/8 + (-138)/8. Let b = z - -143. Does 10 divide b?
False
Let k(x) = 4*x + 46. Let d be k(-14). Is 18 a factor of -12*((-170)/12 - d/15)?
True
Let s(m) = m**3 + 11*m**2 + 6*m - 18. Let j(b) = -b**2 + 5*b - 10. Let x be j(5). Is 2 a factor of s(x)?
True
Suppose i = 4*d + 34, 0 = -0*d - 2*d - 6. Is i a multiple of 2?
True
Let o be 10/(-4)*4/(-5). Suppose 0 = -b - 4*d + 5, -1 = -3*b + o*d - 0. Let t(p) = 35*p**2 - p + 1. Does 10 divide t(b)?
False
Suppose -2*r + 711 + 927 = 0. Is r a multiple of 39?
True
Does 9 divide (-6)/70*-7 + 1932/5?
True
Suppose -136*f + 525 = -131*f. Let c = 191 - f. Is 9 a factor of c?
False
Suppose 1 = -j + 5. Suppose j*q + 2*v - 23 - 11 = 0, 4*v - 18 = -3*q. Suppose -70 = -q*t + 5*t. Is t a multiple of 5?
False
Let h = 1904 - 1055. Does 38 divide h?
False
Suppose 0 = -4*v - v + 1100. Is v/6 - (-16)/(-24) a multiple of 18?
True
Let j be (-2427)/(-18) - 2/(-12). Suppose -171 = -5*c + 4*y, y + 105 = 4*c - 34. Suppose c = -4*f + j. Is 16 a factor of f?
False
Let o = 146 + -299. Let u = -36 - o. Is 23 a factor of u?
False
Is 94 a factor of (-14)/(-2) + (4 + -15 - -1373)?
False
Suppose -5*b - 25 = -3*u, -7*u + 25 = -2*u - 5*b. Let l = 23 + -11. Suppose -6*i + 2*i + 3*q + 109 = u, -4*q - l = 0. Does 10 divide i?
False
Let o(r) = -38*r**2 + 3*r + 1. Let x(q) = 