). Is 19 a factor of ((228/18)/(-2))/(j/(-36))?
True
Let g(d) = -d**2 - 11*d - 20. Let x be g(-6). Suppose 0*r - 4*s = -3*r - 20, 2*r = -2*s + x. Suppose 3*a - 65 - 190 = r. Is a a multiple of 11?
False
Suppose -4 = -3*t + 2*n, 4*n - 3 = -3*t - 29. Let x(f) = -14*f**3 - 3 + f**3 - 177*f - 2*f**2 + 8 + 180*f. Is x(t) a multiple of 25?
False
Is 7 a factor of -4*(-33)/(-12)*-49?
True
Is (-1 + 1 + (-13)/26)*-212 a multiple of 56?
False
Let x(f) = -36*f - 24. Let r(j) = 12*j + 8. Let l(o) = 8*r(o) + 3*x(o). Suppose -24*y = -22*y + 12. Does 8 divide l(y)?
True
Let t(p) = p**3 + 6*p**2 - 3*p + 2. Let v be t(-6). Suppose 90 = n - 7*n. Let w = v + n. Is w a multiple of 4?
False
Let i = -59 - -148. Suppose 0 = -3*y + 539 - i. Is 25 a factor of y?
True
Let u = -26 + 45. Let s = -9 + u. Suppose 5*i - 13 = -m, 2*i = 4*m - 2*m + s. Is i even?
False
Let d(a) = 3*a**2 + 11*a - 4. Suppose -3*m + 4*v - 8 = 7, 2*m - 4*v + 10 = 0. Does 16 divide d(m)?
True
Is (-9)/2 + (-104713)/(-98) a multiple of 28?
True
Let r = -214 + 334. Is 6 a factor of r?
True
Suppose 2*l - 451 = 27*p - 26*p, 0 = -5*l - 4*p + 1108. Is 7 a factor of l?
True
Let q = -6 - -12. Let f = q + -6. Suppose 0 = -5*i - h + 91, -32 = -f*i - 2*i + 4*h. Is 18 a factor of i?
True
Suppose 140 = 5*u - 375. Let b = -31 + u. Is b a multiple of 30?
False
Suppose p - 51 = -5*u, 156 - 18 = 2*p + u. Suppose p = -3*x + 317. Is 18 a factor of x?
False
Let g = 649 + -105. Is g a multiple of 34?
True
Let j(k) = 5*k + 17. Let l be 20/6*4/((-16)/(-12)). Is j(l) a multiple of 24?
False
Suppose -3*n - 22 = 2*k + 9, 4*n + 68 = 4*k. Let c = 103 + n. Is 10 a factor of c?
True
Let f(d) = 42*d**2 - 3*d + 3. Let m(p) = -2*p + 9. Let o be m(4). Is 7 a factor of f(o)?
True
Let g = 1393 + -581. Is 28 a factor of g?
True
Let y(x) = -2*x**3 + 89*x**2 - 24*x + 54. Is y(44) a multiple of 39?
False
Suppose -3*u = 2*x - 8, -2*u + 4*u - x = 3. Suppose k - u = -k. Does 20 divide ((-4)/k)/(-2) + 58?
True
Suppose -4*w - 5*t + 254 = 0, 5*w - t = -0*t + 303. Is 13 a factor of w?
False
Let y(z) = 151*z**2 + 3*z - 152*z**2 - 5 - 3*z + 8*z. Does 5 divide y(3)?
True
Suppose -3275 = -7*u + 85. Is 57 a factor of u?
False
Let b be (60/14)/(45/420). Let a = 63 - b. Is 11 a factor of a?
False
Let a(x) = -1 - 19*x + 29 - 8*x**2 - 3*x**2 + 13*x**2. Does 22 divide a(12)?
True
Let b(q) be the second derivative of -q**5/120 + q**4/24 - 5*q**3/6 + 4*q. Let i(h) be the second derivative of b(h). Is 3 a factor of i(-8)?
True
Let i(v) = v**3 - 6*v**2 + 7*v - 9. Let d = 105 + -99. Is 27 a factor of i(d)?
False
Suppose 2*u = -2*g + 1014, 2539 = 305*g - 300*g + 3*u. Does 57 divide g?
False
Let v = 13 + -11. Suppose h - 120 = -2*j - 3*h, 5*j + v*h - 324 = 0. Is 11 a factor of j*(-3)/((-18)/4)?
True
Let l(f) = f**3 - 12*f**2 - 13*f + 3. Let a be l(13). Suppose z = -t + 124, 64 = z + a*t - 56. Let h = z - 70. Is 28 a factor of h?
True
Suppose -166 = -2*b + 44. Is 5 a factor of b?
True
Let i be 1/2*(-16*18)/2. Let z be (-38 - (-6 - -3)) + 1. Let l = z - i. Is 13 a factor of l?
False
Let a be 54/7 + (-2)/(-7). Let y = -7 + a. Suppose -k + 5 = -y. Is k a multiple of 3?
True
Suppose -19*a + 16*a = -12. Is 8 a factor of 266/14 + (1 - a)?
True
Suppose -4*a - 236 - 64 = 0. Is (a - 2)*2/(-7) a multiple of 4?
False
Suppose -5*k + 870 = -360. Let y = k + -169. Is 16 a factor of y?
False
Is 10 a factor of -65*(-3 - (2 + -1))?
True
Suppose -x + 4*f = -49, -314 = -5*x + f + 7. Is 16 a factor of x?
False
Suppose -2*z + 3*q = -10737, -2*q = -2*z + 2806 + 7932. Does 14 divide z?
False
Suppose 0 = 2*n + 2, n + 2928 = 5*d - 2*n. Is 45 a factor of d?
True
Let a be (-2284)/(-6)*3/2. Let n = -353 + a. Suppose 4*w + 2*j = -51 + 289, -2*j - n = -4*w. Is w a multiple of 23?
False
Let l be 24/8*6/9. Suppose 0 = -6*k - l*k + 488. Does 6 divide k?
False
Let w = 1578 + 2482. Is 42 a factor of w?
False
Suppose -19*t + 195 = -6*t. Let l(d) = -d + 45. Does 15 divide l(t)?
True
Let z(b) = 10*b**2 + 5*b - 10. Let v be z(-5). Suppose -9*h = v - 782. Does 21 divide h?
True
Suppose -84 = -20*i + 26*i. Let q = 94 + i. Is 5 a factor of q?
True
Let k = -1520 - -2615. Is 40 a factor of k?
False
Suppose 0 = -2*w + 1 - 11, 0 = c + w + 5. Suppose n + 0*n - 4 = c. Suppose 2*o - n*o + 122 = 0. Is 13 a factor of o?
False
Let m(i) = -i**3 - 7*i**2 - 6*i + 5. Let v be m(-6). Suppose -4*f - g = 5 + 14, 25 = -v*f - g. Is ((-45)/f)/((-1)/(-2)) a multiple of 5?
True
Let n(d) = 5*d - 14. Suppose 3*b = -0*b. Let v(p) = -p**3 + p**2 + p + 6. Let h be v(b). Does 13 divide n(h)?
False
Let k = 10 + 142. Is (-2)/(-3)*3 + 1*k a multiple of 14?
True
Let k(m) = 3*m**2 + 13*m - 105. Is k(-12) a multiple of 8?
False
Suppose 177*w - 164*w - 5226 = 0. Does 67 divide w?
True
Let b(x) = x**2 - 2*x - 24. Let h be b(6). Suppose 5*a + 39 = -3*v, v + 2*a + 3*a + 23 = h. Let w(p) = p**2 + 8*p + 6. Is 6 a factor of w(v)?
True
Let t = 2428 + -2416. Is 4 a factor of t?
True
Let i = -1 - -1. Suppose 2*p + 2 - 10 = i. Suppose 0*c + y + 273 = 5*c, -c + p*y + 66 = 0. Does 18 divide c?
True
Let p(s) = s**2 + 3*s + 1. Let l be p(-4). Suppose 74 = 2*r + 2*g, 0*g - 20 = -l*g. Does 7 divide r?
False
Suppose 3*k + 0*k - 123 = 0. Let c(t) = -t**2 - 9*t + 5. Let x be c(-9). Suppose -3*i + k - x = 0. Is 6 a factor of i?
True
Let r = -32 + 34. Suppose 4*k - 175 = -r*y - 3*y, k + 3*y = 35. Is k a multiple of 10?
True
Suppose 3*n = -2*n + 3*r + 547, -202 = -2*n - 3*r. Let c = -52 + n. Is c a multiple of 55?
True
Let y(o) = -o**2 - o + 1. Let u(n) = 4*n**2 + 8*n - 8. Let f(k) = -u(k) - 10*y(k). Is 9 a factor of f(-2)?
True
Suppose 502 = 9*c + 16. Is 27 a factor of c?
True
Let l(g) = 4*g - 11. Let d be l(12). Let f = -19 + d. Does 12 divide f?
False
Suppose 4*p = 4*z + 16, -2*z - 4 - 4 = -3*p. Suppose p = 4*x + x - 375. Is 15 a factor of x?
True
Let h(r) = -7*r**3 - 3*r**2 + 9*r + 14. Does 54 divide h(-4)?
True
Suppose 3*m = 2*f - 186 - 419, 4*m + 4*f = -840. Let d = -100 - m. Is d a multiple of 15?
True
Let t be (3 - 79) + 0/1. Suppose 2*u + 88 = -2*s - 0*s, 0 = 4*s + u + 182. Let c = s - t. Is c a multiple of 5?
True
Suppose 0*d + 3*d - 1794 = 0. Is 39 a factor of d?
False
Suppose 5*z - 151 + 6 = 0. Suppose -38 = 2*a - h, 0*h + 2*h = 5*a + 93. Let i = a + z. Is i a multiple of 6?
True
Let o(w) = w**2 - 14*w - 23. Let k be o(17). Does 34 divide (-12)/(-16)*4 + k + 3?
True
Let t = -723 + 1886. Is t a multiple of 16?
False
Is 4/38 + (-2846)/(-38) a multiple of 3?
True
Let h = -58 + 61. Suppose 0 = -0*l + h*l - 759. Is 13 a factor of l?
False
Suppose -2*k + 3*k = -5, 0 = -2*s + 5*k + 29. Suppose -2*h = 2*j - 60, s*j - j = h - 26. Is 14 a factor of h?
True
Suppose -7*o + 8016 = 5*o. Is 17 a factor of o?
False
Suppose t - 1176 = 3*g + 1394, 2*t + 2*g = 5140. Is t a multiple of 11?
False
Suppose -28*b + 268 = q - 26*b, -1316 = -5*q + 2*b. Is 33 a factor of q?
True
Suppose 3*o = m - 651, m = -2*m - 5*o + 1925. Is 67 a factor of m?
False
Suppose -299*t + 1503 = -290*t. Is 59 a factor of t?
False
Let p be (1/3)/(11/66). Let h be p - -1 - (-6)/3. Suppose 4*t = 4*k + t - 62, 0 = 2*k - h*t - 24. Is k a multiple of 6?
False
Suppose 381 = -3*k - 5*l, 45 + 577 = -5*k - 4*l. Let b = 396 + k. Is 29 a factor of b?
False
Let d(i) = -i - 1. Let u be d(-1). Let x be (1 - u)/((-5)/(-65)). Suppose 53 = 2*q - x. Is q a multiple of 12?
False
Suppose 326 = 5*u - 39. Let f(n) = -2*n**3 + 3*n**2 + 5*n - 2. Let o be f(3). Does 5 divide o/(-35) + u/5?
True
Suppose -19*s - 1493 + 9891 = 0. Is 34 a factor of s?
True
Suppose 83 = g - 12. Suppose 0 = 3*t - 16 - g. Is 11 a factor of t?
False
Suppose 2*p = p + 2. Suppose 136 = -0*g + p*g. Is g a multiple of 18?
False
Let p(c) = 3*c - 24. Let m be p(6). Does 5 divide ((-75)/m)/((-1)/(-2) + 0)?
True
Suppose -n + q = 4*q - 14, 0 = -n - 2*q + 10. Suppose -5*d + n*v = 6*v - 1395, 279 = d - v. Is d a multiple of 31?
True
Is 47 a factor of (188/(-3))/((-94)/(-24) - 4)?
True
Let w(o) be the second derivative of 13*o**3/3 - 7*o**2/2 - 3*o. Let j be w(7). Suppose 0 = 2*l + q - 2*q - j, -l = -q - 90. Does 17 divide l?
True
Suppose -3*k + 2077 = z, 0 = k + 3*z - 28 - 675. Is 19 a factor of k?
False
Does 18 divide 28/(-35)*(-45)/1?
True
Let n be 4/(16/(-36)) - 3. Let k(b) = -6*b - 5. Let g be k(-5). Let s = g + n. Is 3 a factor of s?
False
Let c(d)