4*k + 6*k + 3. Let d be i(6). Suppose -2*x - 2*y + 44 = y, d*y + 32 = 2*x. Is 18 a factor of x?
False
Suppose 0 = -l + 5, -6 = -3*c + 2*l - 1. Suppose 9*m = 8*m + 4*b + 139, -3*m - c*b + 468 = 0. Is 28 a factor of m?
False
Let u(f) = -f**2 - 30*f - 20. Let y be u(-20). Suppose -v - 13 - 99 = 4*m, 5*m = 0. Let l = y + v. Is 20 a factor of l?
False
Suppose -1326 = -3*w - q, 3*w - 1326 = 7*q - 5*q. Does 13 divide w?
True
Let k(r) = -2*r + 16. Let l be k(8). Suppose l = -5*a - 2*m + 210, 2*a - 3*m = 2*m + 55. Does 7 divide a?
False
Suppose -4*j = 16, 0 = -5*r + 2*r + j - 53. Let a = -30 - r. Let w(n) = -n**3 - 10*n**2 + 9*n + 15. Is 8 a factor of w(a)?
False
Let v = 3856 + -2530. Does 19 divide 3/((-105)/(-10)) - v/(-14)?
True
Let h(o) = -o**3 - 10*o**2 + 19*o + 39. Is h(-20) a multiple of 10?
False
Let m = 82 - 85. Let l(g) = 10*g**2 + 4*g + 2. Is l(m) a multiple of 16?
True
Let j(i) = i**3 + 4*i + 2. Let f be j(-4). Is f*(3 - 26/6) a multiple of 36?
False
Let w(i) = 38 + i - i**3 - 8*i**2 - 19 - 9*i - 13. Is w(-7) even?
False
Does 4 divide 72/(-16)*(-1 - (-111)/(-9))?
True
Suppose -3*w + 162 - 54 = 0. Suppose -w*g = -31*g - 300. Does 6 divide g?
True
Suppose -3*s = -5*o + 15402, 2*s - 503 = -o + 2580. Is o a multiple of 39?
True
Suppose t - 4 - 2 = 0. Does 25 divide 110 + -5 - (t + -1)?
True
Suppose -63 = 6*g + 3*g. Let t = 10 + -34. Let n = g - t. Does 5 divide n?
False
Suppose 4 = g - 0*g. Suppose g*x - 26 = -158. Is 4 a factor of (-6)/x + (-108)/(-11)?
False
Let o(v) = -10*v**3 + v**2. Let a be o(-1). Let p = a - 9. Suppose -152 = -p*d - 2*d. Is d a multiple of 14?
False
Suppose 0 = 2*b + 10, -5*r + 3706 = 5*b - 3649. Does 9 divide r?
True
Suppose -4*h = 5*h + 108. Does 28 divide (2 + 1 + 64/h)*-60?
True
Suppose -5*z + 252 = -2*w - 256, -2*w + 392 = 4*z. Is z even?
True
Suppose -5*p - 285 = 3*z, -2*z = p + 15 + 42. Suppose 0 = -i - i + 48. Is 4/(i/p)*-2 a multiple of 10?
False
Suppose 246*s - 257*s = -4466. Does 58 divide s?
True
Let v(b) = -b**2 - 6*b - 5. Suppose q = -4*q - 20. Let i be v(q). Suppose -t + 110 = i*d, 16 = -d - t + 50. Does 19 divide d?
True
Let k(i) = 4*i**2 + 14*i - 173. Is k(-21) a multiple of 44?
False
Let l(k) = -k + 15. Let s(t) = -t**3 - t**2 - t + 12. Let a be s(0). Let j be l(a). Suppose -4*h = -h + j, 5*h = -z + 142. Does 25 divide z?
False
Let t(r) = 14*r + 8. Let v(c) = -c - 2. Let l(q) = t(q) + 10*v(q). Suppose -3*h + 2*g = 3*g - 41, -2*g = -2*h + 14. Does 18 divide l(h)?
True
Let r(b) = 13*b. Suppose w = -4*w - 25, 4*w + 17 = -3*a. Is 13 a factor of r(a)?
True
Let p = -5 + 15. Suppose -g = s + 4, -2*g = 5*s - 5*g - 12. Suppose p = i - s. Is 10 a factor of i?
True
Suppose -7*y - 216 = -t - 4*y, -5*y + 25 = 0. Is t a multiple of 47?
False
Let t(n) = 110*n - 31. Let g(w) = 54*w - 16. Let q(u) = -7*g(u) + 4*t(u). Is q(2) a multiple of 14?
True
Suppose -198 = -4*u + 2*u + 4*v, -4*u + v = -382. Suppose -2*q = m - 30, 5*m - 62 = -3*q + u. Does 16 divide m?
True
Suppose 4*c - 679 = 213. Is c a multiple of 8?
False
Let j = -24 + 28. Suppose 69 = 5*l - j*q, 4*q = -3*l + q + 36. Is l a multiple of 2?
False
Let o(h) = 4*h. Let t be o(1). Is 46 a factor of 6/t + ((-1602)/(-12) - -3)?
True
Suppose -v - 301 = -q, 6*q - 2*v = 3*q + 906. Suppose -5*k = -a + q, -2*a = 5*k - 963 + 325. Is 16 a factor of a?
False
Let a(t) = -t**2 - 3*t + 4. Let s be a(-3). Let i(d) = 97*d - 14. Let u be i(1). Suppose -s*r - u = -271. Is r a multiple of 18?
False
Let u = -212 + 347. Is 27 a factor of u?
True
Let s(z) = 3*z + 5. Let o be s(-2). Let l = o - 7. Let j(i) = i**2 + 3*i + 4. Is 25 a factor of j(l)?
False
Suppose -g = -0 + 8. Let h(l) = 2*l**2 - 27*l - 9. Let z be h(14). Let j = z - g. Does 10 divide j?
False
Suppose 3*d + 3*w - 1434 = 0, 5*w + 2066 + 344 = 5*d. Does 24 divide d?
True
Suppose -n - 3*n = 5*u - 311, 0 = -4*n - 4. Let l be ((-90)/8)/(1/4). Let z = l + u. Is z a multiple of 6?
True
Let n(l) = -15*l - 10. Let x be (-30)/(-5)*4/(-8). Let k be (-25)/15*(x + 6). Is 22 a factor of n(k)?
False
Let n = -3 + 1. Let x be -10*n*(-2)/(-8). Suppose -5*h - x = 0, -4*a - h + 14 = -345. Is 30 a factor of a?
True
Let f(v) = -38*v + 82. Is f(-8) a multiple of 5?
False
Let o(i) = i**3 - 29*i**2 + 37*i - 65. Does 21 divide o(29)?
True
Suppose l = 3*w + 182, -2*l + 0*l - 5*w = -342. Suppose -h = h - 3*b - l, h - 82 = 3*b. Is h a multiple of 18?
False
Suppose 76 = 6*l - 10*l. Is (18 - l) + 1*4 a multiple of 4?
False
Suppose -18*y + 15*y + 444 = 0. Let c = y + -93. Is 11 a factor of c?
True
Suppose 0 = 2*d + p - 6, 0*p + 2 = 4*d - 3*p. Suppose -4*a + d + 6 = 0. Suppose -x + 24 = -4*g, 0 = -a*x + 2*g + g + 63. Is 7 a factor of x?
False
Suppose 32470 = -4*p + 21*p. Is p a multiple of 104?
False
Suppose 6*f - 2*f = 8. Let p = 30 - 30. Suppose 44 = f*s - p. Is 11 a factor of s?
True
Let q(v) be the second derivative of 7*v**4/6 - 4*v**3/3 - 2*v**2 + 35*v. Is 13 a factor of q(-4)?
False
Suppose -3*c - 3471 = r - 5*r, r - 4*c = 871. Is 51 a factor of r?
True
Suppose -k + 37 = -15. Suppose x = z - k, 3*x = -0*z + 2*z - 108. Is z a multiple of 24?
True
Let x(d) = d**3 + 8*d**2 + 8*d + 10. Let h be x(-7). Suppose -2*u + 5*r + 16 = -8, -h*r = 5*u - 91. Is 11 a factor of u?
False
Let z(n) = n**3 + 4*n**2 - 6*n + 4. Let h be z(-5). Suppose h*r - 4*r = 125. Is 22 a factor of r?
False
Suppose 0 = 2*m + m - 150. Let g = m - 29. Is 5 a factor of g?
False
Let a(u) = 286*u - 265. Is a(5) a multiple of 34?
False
Let i(b) = -b**2 + 25 - 11*b + 26*b + 21. Is 10 a factor of i(10)?
False
Let i = -5 + 25. Suppose -i = -3*g + g. Is 9 a factor of 30/(-2)*(-24)/g?
True
Let o(j) = -5*j**3 + 8*j**2 + 25*j + 94. Is 82 a factor of o(-6)?
True
Suppose 14*f + 6312 = 22*f. Is 65 a factor of f?
False
Let y(n) = 626*n**2 + 11*n + 9. Is 52 a factor of y(-1)?
True
Is ((-91)/78)/(5/(-10470)) a multiple of 15?
False
Let c(a) = 13*a**2 - 30*a + 36. Is 13 a factor of c(12)?
False
Let q(z) = 3*z**2 - z + 5. Let s(y) = -y**2 + 1. Let l(w) = q(w) - 4*s(w). Is l(-1) even?
False
Suppose 5*h + u - 45 = 46, -4*u - 86 = -5*h. Suppose -a - 4*g + h = 0, 5*a + 4*g - g = 90. Does 6 divide a?
True
Suppose -14*r - 220 = -19*r. Is 9 a factor of r?
False
Let b = -1049 - -744. Let j = b - -627. Is 35 a factor of j?
False
Let u = -12 + 9. Let a be ((-16)/u)/(2/3). Suppose -35 = -a*d + 3*d. Is 7 a factor of d?
True
Let t(f) = -29*f**2 - 2*f + 7. Let s(n) = 14*n**2 + n - 3. Let x(c) = -5*s(c) - 2*t(c). Let d be x(1). Let u(m) = m**2 + 8*m + 30. Does 14 divide u(d)?
False
Suppose -5*z + 2*z + 414 = 0. Let h(l) = -l**3 - 8*l**2 - l - 5. Let t be h(-8). Suppose 3*x = 3*f - z, -2*f - t*x + 68 = x. Is f a multiple of 14?
True
Let d(z) be the first derivative of z**6/180 - z**5/30 + z**4/4 - z**3/3 + 6. Let w(l) be the third derivative of d(l). Is 9 a factor of w(3)?
False
Suppose -3*r + 1235 = 2*z, -1229 = -3*r - 5*z - 0*z. Is 26 a factor of r?
False
Is (504/10)/((-435)/(-1450)) a multiple of 21?
True
Let p = 2237 - -210. Is p a multiple of 39?
False
Let v(n) = n**2 + 5*n + 1. Let f be v(-9). Suppose -y + f = 110. Let g = y + 111. Is g a multiple of 19?
True
Suppose 0 = 2*o - x - 106, 152 = 30*o - 27*o + 2*x. Is o a multiple of 41?
False
Let s(d) = 2*d**2 - 29*d + 179. Does 11 divide s(17)?
True
Let s(o) = 2*o + 3. Let z be s(3). Suppose 13*p = z*p + 72. Is 11 a factor of p?
False
Let r be (4 - 3)/(3/117). Suppose 3*w = 4*q - 2*w - 142, 0 = q - 3*w - r. Does 13 divide q?
False
Let b(c) = 302*c**2 + 14*c - 30. Is b(2) a multiple of 10?
False
Let i = 167 + -74. Suppose -13 + i = x + 4*l, 2*l + 50 = x. Does 12 divide x?
True
Let u = -297 - -475. Let t = u - 47. Is 17 a factor of t?
False
Let d be 8/(-20) + 136/(-10). Let v = -30 - d. Let q = 1 - v. Does 7 divide q?
False
Let k = -101 - -333. Does 58 divide k?
True
Let j be -12*-2*4/24. Suppose -4*i + 3*a - 64 = 0, 3*i + j*a - 48 = 6*i. Does 10 divide 15/2*i/(-6)?
True
Suppose 3*l = -3*d + 5274, 3*d = 2*l + 1650 + 3639. Is 46 a factor of d?
False
Suppose -43*w - 7011 = -27479. Does 62 divide w?
False
Let l(h) = h**3 + h**2 + 20. Is l(0) a multiple of 3?
False
Let f = 41 + -15. Does 26 divide (-6)/((-7)/2 - -2)*f?
True
Let u(g) = 2*g**2 - 3*g - 2. Let o(w) = 12*w + 4. Let h be o(3). Let d be 224/h - 4/(-10). Is u(d) a multiple of 15?
False
Let j = 35 - 47. Suppose 