x. Does 12 divide y?
False
Let q be (-130)/(-8) - (-6)/(-24). Let y = -8 + q. Suppose 0 = y*g - 7*g - 64. Does 32 divide g?
True
Let g(d) = -d**2 - 18*d + 43. Let x be g(-20). Is 6/(-10) + (-9)/(-15) + x a multiple of 2?
False
Suppose 16 = -2*b - 4*k, 2 = -b - 4*k - 16. Suppose 4*s = 20, 4*u - b*s = -0*s + 266. Is u a multiple of 19?
False
Let l = 136 - 60. Let p = -44 + l. Is p a multiple of 16?
True
Suppose 2*p - 12 = -2*p, 0 = b - p + 2. Let o be (-3)/(b/((-2)/3)). Is 3*(16 + o + -3) a multiple of 15?
True
Let y(q) = -92*q**2 + 3*q - 2. Let s be y(1). Let u = s + 255. Is 41 a factor of u?
True
Let q = -341 - -413. Is q a multiple of 12?
True
Is 2/(-21) + 139517/147 a multiple of 13?
True
Let m(p) = -2*p**3 - p + 4. Let h be m(-4). Let u = -37 + h. Does 12 divide u?
False
Suppose -11 = 3*b - 20. Suppose 5*c - 584 = b*y - 0*y, -3*c + 330 = 5*y. Let t = c - 19. Is t a multiple of 30?
False
Let a(j) = -10 - 3*j**2 - j - 2 - 2*j**2 + j**3 - 3*j. Let q be a(6). Suppose -2*w - 4*t = -q*t - 168, 5*w - 420 = 5*t. Is 14 a factor of w?
True
Let c(x) = 3*x**2 - 1 + 0 + 5*x - 2*x**2 + x**3 + 2*x. Let q be c(-5). Let s = -88 - q. Is 13 a factor of s?
False
Suppose 17280 = 63*t - 48*t. Does 64 divide t?
True
Suppose 10 = 5*j, -3*l = 2*j + 2*j - 20. Suppose -5*a - 180 = -3*i - l, 4*i - a - 212 = 0. Is i a multiple of 11?
False
Suppose 4*w + w - 15 = 0. Suppose -r = -w*r. Suppose -4*k + 0*z + 28 = -2*z, -3*k + 5*z + 28 = r. Does 6 divide k?
True
Let d(o) = -2*o**2 + 8*o - 3. Let u(c) = 5*c**2 - 24*c + 10. Let t(n) = -8*d(n) - 3*u(n). Let f be t(-9). Is 7 a factor of (-2)/(-4)*(11 + f)?
True
Suppose 0 = -3*z - 26 + 86. Suppose 5*c = c - z. Does 14 divide 0 + c/(5/(-52))?
False
Let f = 247 + 489. Does 23 divide f?
True
Suppose 0 = 3*f - 9*f. Suppose 4*i + 3*o - 10 = f, 4*i - o - 22 = 2*o. Does 3 divide i?
False
Let z = -61 - -64. Suppose 235 - 25 = z*r. Is r a multiple of 10?
True
Let o = 19 + -5. Let p = o + -11. Suppose 5*x = 3*w - 18, 2*w + p*w = -3*x + 30. Is w even?
True
Let o = -8 + 12. Let d(j) = 3*j**3 - 7*j**2 + 6*j - 4. Is d(o) a multiple of 20?
True
Suppose -351 = -7*r + 4*r - 4*w, 4*w - 577 = -5*r. Is r a multiple of 19?
False
Let k be (-27)/(-6) + (-9)/6. Suppose 3*q - k - 207 = 0. Does 14 divide q?
True
Suppose 249 = 2*s + 2*x - 5*x, -474 = -4*s - 2*x. Let i = -79 + s. Does 6 divide i?
False
Let m be 7 - ((-18)/(-6) - 1). Suppose -625 = -4*w - 0*w + k, m*w - 3*k - 776 = 0. Does 25 divide w?
False
Let h = 194 + 86. Is h a multiple of 8?
True
Let o(v) = -v**3 - 9*v**2 + 11*v + 21. Does 11 divide o(-10)?
True
Suppose 4*w - 210 = 506. Suppose 5*v - 3*p - 1337 = 0, 5*p - w - 362 = -2*v. Does 33 divide v?
False
Let x(s) = 2*s**2 - 13*s. Let b be x(9). Let y = b - 37. Is y a multiple of 3?
False
Suppose -2*j = c - 8, 0 = -2*j - 3*j - 5*c + 15. Suppose -b = -4*m + j*m - 239, 5*b = -m + 243. Is 44 a factor of m?
False
Let o = -1 - 48. Let j = 2 - o. Is j a multiple of 5?
False
Suppose -2*b - 692 = -3*i - 4*b, 4*i - b - 941 = 0. Let c = i + -158. Does 27 divide c?
False
Suppose -5*y = -3*n + n + 19, 2*n - 11 = -3*y. Let l(i) be the second derivative of i**5/20 - 2*i**4/3 + 4*i**3/3 + i**2/2 + 22*i + 2. Is 8 a factor of l(n)?
True
Suppose 2 = -o, -4*i + 2 = o - 12. Suppose 0 = -5*h + h - 4*z + 4, 0 = -2*h - i*z - 8. Let m(s) = 3*s**2 - 15*s + 2. Does 10 divide m(h)?
True
Let j(m) = 9*m + 6. Let t be j(-7). Let b = -29 - t. Is b a multiple of 13?
False
Let z = -34 - -51. Suppose -3*o = -z - 394. Suppose 3 = -3*q + 4*q, -5*q = 2*b - o. Is 11 a factor of b?
False
Suppose 32 = -5*s + 162. Let l be 114/15 - 4/(-10). Let n = s - l. Does 9 divide n?
True
Let p(t) = t**3 + 4*t**2 + 2*t + 1. Let m be p(-2). Suppose -m*s = 3*l - 0*l - 128, 180 = 4*l + 2*s. Is l a multiple of 17?
False
Let k(r) = 3*r. Let v(f) = -f**2 + 2*f + 1. Let m be v(0). Let l be k(m). Suppose -l*p + 0*p + 51 = 3*b, -3*p = 2*b - 52. Is p a multiple of 18?
True
Let o(h) = h**2 - 3*h - 1. Let f be o(4). Suppose 0 = -6*b + 3*b - 5*g + 97, 0 = 2*b + f*g - 63. Does 8 divide b?
True
Let a = 5 + -4. Let g be (2 - 12)/((-2)/a). Suppose g*q + 2*f - 300 = 0, 2*q - 5*f = -3*q + 335. Is q a multiple of 16?
False
Let j(s) = 50*s + 410. Is 26 a factor of j(10)?
True
Let l(w) = w**2 - 8*w. Suppose -3*p + 2*h = -5*p + 24, -5*p + 3*h = -36. Does 9 divide l(p)?
True
Suppose 3*z - 177 = 3*d, -z + 13 = d - 52. Let a = 39 + -59. Let o = z + a. Is 14 a factor of o?
True
Let i(l) = l - 42. Let y be i(10). Let o = y - -68. Is 18 a factor of o?
True
Does 2 divide 126360/440 + 6/(-33)?
False
Let z(n) = 10*n**2 + 6*n - 4. Let v(a) = a**3 - 3*a**2 - 12*a + 5. Let l be v(5). Let k be z(l). Suppose -f = f - k. Is f a multiple of 36?
True
Let k = 173 + 23. Suppose -10*t = -6*t - k. Let v = 71 - t. Does 11 divide v?
True
Suppose -7 = 4*n + 13. Let g(l) = l**2 - 2*l - 7. Let x be g(n). Let s = x - -46. Is s a multiple of 15?
False
Let f = -8 + 0. Let x = -8 - f. Suppose x = -2*b + 2*d + 100, 4*b + b + 2*d - 278 = 0. Is b a multiple of 18?
True
Does 49 divide 8974/42 + 2/(-3)?
False
Suppose -24*l = -16*l - 3360. Is 21 a factor of l?
True
Let z be -2 - 1/(4/(-12)). Let b be 3/6*-62*z. Let o = b + 47. Does 16 divide o?
True
Let x be (-3)/9*3*-1. Does 11 divide (103 - 4/x) + -3?
False
Let j be 18/(-30) + (-77)/5. Is 32 a factor of 195/2 + j/32?
False
Let y(j) = 68*j - 4. Is 3 a factor of y(2)?
True
Let f = 39 - 20. Let v(l) = -5*l**2 + 31*l - 10. Let n(h) = -4*h**2 + 29*h - 8. Let x(a) = 4*n(a) - 3*v(a). Does 18 divide x(f)?
False
Let f be (-169)/(-4) - 1/4. Does 11 divide f/4 - (-3)/6?
True
Let k(t) = 2*t**2 - 6*t + 8. Let p be k(-6). Let c = p - 46. Is 7 a factor of c?
True
Suppose 0 = 8*z - 6*z + 4. Let x be 55/30 + z/(-12). Suppose x*y - 76 + 22 = 0. Does 9 divide y?
True
Let t(l) = 16*l - 10. Let u be 276/(-36)*(-3 - 0). Let x = u - 18. Is 18 a factor of t(x)?
False
Let h(t) = -t**3 + 4*t**2 + 7*t - 6. Let u be h(5). Suppose u*f - 121 = 359. Is 15 a factor of f?
True
Let o(v) = v**2 + 2*v - 10. Let b(c) = -c**2 + 19*c - 24. Let s be b(18). Let t be o(s). Suppose -3*a + 19 = -t. Does 4 divide a?
False
Let u = 2221 - 1507. Is 34 a factor of u?
True
Suppose -2*t = -5*q + 34022, 3*q + 5*t - 23703 = -3265. Is q a multiple of 28?
False
Suppose 4*v + 27 = -1077. Is v/(-8)*30/9 a multiple of 13?
False
Let t be 0*-1*(-2)/(-4). Let g be (t - -1)/(3/15). Suppose 3*y - g*f = -2*f + 135, -f - 93 = -2*y. Does 13 divide y?
False
Suppose 4*q - 23 = 13. Suppose -14*f + 650 = -q*f. Is f a multiple of 26?
True
Suppose 639 - 1723 = -4*g. Is g a multiple of 13?
False
Suppose 792 = -11*y + 13*y. Suppose 0 = -w + 4*w - y. Is 33 a factor of w?
True
Let k = -1669 - -2439. Is 14 a factor of k?
True
Let t(j) = -17*j + 8. Let x be t(8). Let w = -58 - x. Suppose w = -0*p + 5*p. Is 14 a factor of p?
True
Let o(u) = 11*u - u**3 - 4*u - 8*u - 11*u + 13*u**2. Let l be o(12). Suppose l = -5*n + q + 140, 4*n + n - 4*q = 140. Is n a multiple of 4?
True
Let f(l) be the second derivative of -7*l**3/3 - 40*l**2 + 36*l. Is 31 a factor of f(-19)?
True
Suppose -34 + 10 = -4*k. Is 14 a factor of (172/(-6))/((-4)/k)?
False
Let n = -35 + 170. Let u = -48 + n. Is u a multiple of 29?
True
Let x(y) = -20*y**3 - 5*y**2 + 8*y + 5. Is x(-5) a multiple of 18?
True
Let m(d) be the second derivative of -7*d**3/2 + d**2/2 + 5*d. Let a be m(-2). Let c = a - 29. Does 5 divide c?
False
Suppose 5*s - 5 - 10 = 0, 431 = 5*b + 2*s. Let u = b - 423. Is 14 a factor of 6/(-18) - u/6?
True
Let v(j) = -64*j - 58. Is 14 a factor of v(-10)?
False
Let c(o) = -3*o - 36. Suppose -2*a - 4*n - 100 = 2*a, -4*a - n - 88 = 0. Is 9 a factor of c(a)?
True
Suppose 12*y - 10 = 7*y. Suppose y - 86 = -2*j. Is 21 a factor of j?
True
Let r(z) = -61*z - 62. Is r(-11) a multiple of 29?
True
Suppose -2*b + 4*f = 8, 3*b - f - 3*f = -22. Let p(w) = w + 28. Does 4 divide p(b)?
False
Let s(m) = m**3 - 108*m + 3 + 111*m + 6*m**2 - 2*m**2. Let l be s(-2). Let p = l + -1. Is p a multiple of 4?
True
Suppose -5*y = 3*v - 15, 2*y + 2*y = -4*v + 12. Suppose v = -5*q - 3*b + 574, 124 = -4*q + 3*b + 567. Is q a multiple of 18?
False
Suppose 0 = 16*x - 13*x + 12. Is 12 a factor of 27/(-3 - x) + -3 + 0?
True
Suppose -357 = -32*t + 315. Is 3 a factor of t?
True
Suppose -8*i + 22*i = 10556. Is 29 a factor of i?
True
Suppose