. Is 12 a factor of r(x)?
False
Let c = -202 - -2369. Suppose a - c = -10*a. Is 22 a factor of a?
False
Suppose -5*k + 16 = 2*a, -4*k + 7*k - a = 14. Let x = k - 0. Suppose -z = -16 - x. Is z a multiple of 20?
True
Let i be 35*2 + 0 + -4. Suppose i = 8*q - 94. Does 16 divide q?
False
Let m = -41 + 43. Suppose 0*j - f - 296 = -2*j, -4 = m*f. Does 9 divide j?
False
Let u be (-4)/(-3*4/6). Suppose -s = -u*s + 5. Suppose 0 = 9*w - s*w - 68. Is w a multiple of 17?
True
Suppose -6*x + 20664 = 8*x. Is x a multiple of 82?
True
Suppose 9*k = 12*k - 9. Suppose k*z - 336 = -3*c + 9, 305 = 3*z - 5*c. Does 8 divide z?
False
Suppose -116*y - 72114 = -158*y. Does 41 divide y?
False
Suppose 3*k = -k + 184. Suppose 5*s = 3*s + k. Is 9 a factor of s?
False
Let k(z) = z**3 - 2*z**2 - 2*z - 3. Let u = -7 + 10. Let v be k(u). Suppose -g - 4*g + 5*m + 100 = 0, v = 5*g - 2*m - 94. Does 9 divide g?
True
Let y be (-1)/(20/4675) + 2/(-8). Is (21/(-63))/(2/y) a multiple of 5?
False
Suppose -44*n = -53*n + 2331. Is n a multiple of 8?
False
Let s = 34 + -29. Suppose s*r - 7*r = 10. Let o = r - -23. Is 18 a factor of o?
True
Let c(a) be the first derivative of a**2/2 + 22*a + 53. Is 4 a factor of c(-11)?
False
Suppose -3*l + w = -4890, 2*l + 38*w - 3260 = 41*w. Is 12 a factor of l?
False
Let u(a) = 2*a**2 + a - 252. Is u(25) a multiple of 14?
False
Suppose -3937 = -4*o + 1947. Does 25 divide o?
False
Let c(t) be the first derivative of 2*t**3/3 + 2*t**2 - 2. Is 12 a factor of c(-6)?
True
Suppose 2*y - 10 = 44. Let d be 6/(-27) + 114/y. Let x(c) = 6*c - 2. Is x(d) a multiple of 16?
False
Let j = -1274 + 2590. Does 94 divide j?
True
Let v(g) = -g**3 + 3 + g + g**2 - g + 2*g + 2. Is 30 a factor of v(-3)?
False
Suppose 2*o - 1 = o. Let t be o*-1*(-39 - 7). Let m = t + 19. Does 22 divide m?
False
Let w(y) = 6*y + 129. Does 40 divide w(34)?
False
Let r be 481/169 - 4/(-26). Suppose r*k + 29 = 47. Does 2 divide k?
True
Let j be (1 + -5)/(-4) + -9. Let x(g) = -6*g - 10. Does 5 divide x(j)?
False
Let g(t) = -t**2 - 7*t - 15. Let x(h) = -3*h**2 - 29*h - 61. Let k(w) = -9*g(w) + 2*x(w). Does 13 divide k(-6)?
True
Let y(i) = 22*i + 25. Let u be y(-2). Let g = u + 124. Is g a multiple of 35?
True
Let c(q) = -q - 16. Let n be c(0). Let a be (-45)/(-12)*n/(-6). Let z = a + 41. Does 17 divide z?
True
Let q = 85 + -229. Let h = q - -305. Suppose 0 = 11*s - 4*s - h. Is 7 a factor of s?
False
Is (-9 + -12)/(3/(-51)) a multiple of 17?
True
Let m(q) = -q**3 - q + 20. Let n be m(0). Let g = n + -19. Does 13 divide ((-2)/3)/(g/(-45))?
False
Suppose 480 + 716 = 13*j. Is 23 a factor of j?
True
Suppose q - 16 = -n, 2*n + 24 = 6*q - 4*q. Is (-8)/10*(-665)/q a multiple of 19?
True
Let h = 416 + -236. Is 15 a factor of h?
True
Let c(v) = 31*v + 2. Let k be c(6). Suppose -4*l - k = -5*b, 5*b + l - 164 - 39 = 0. Does 8 divide b?
True
Let c = -133 + 37. Is (120/c)/(1 + 106/(-104)) a multiple of 14?
False
Suppose 3*i + r = -1, 4*i + i - 2 = 2*r. Suppose 4*c - 3*s - 951 = i, -632 = -5*c - 3*s + 523. Suppose -c = -7*p + p. Does 13 divide p?
True
Suppose 5*s - 8 = 7, o + 3*s = 14. Is 15 a factor of (-3)/o + 603/5 + 0?
True
Let r(i) = i**2 - i + 1. Let p(q) = -16*q**2 - 3*q + 8. Let b(v) = -p(v) + 4*r(v). Suppose -h - h = 4. Is 17 a factor of b(h)?
False
Let q = -30 - -21. Is 36 a factor of (-968)/q - (-16)/36?
True
Let s(m) = m**3 + 23*m**2 + 44*m - 44. Is 12 a factor of s(-20)?
True
Let n be 16/6 - (-3)/9. Let l be ((-3)/3)/(n - 4). Suppose -r + 10 = 3*d, -3*r + 2*d = -l - 18. Is r even?
False
Let k = 1149 - 630. Is 21 a factor of k?
False
Let v(g) = 11*g + 6. Suppose h = 5*h + u - 12, 4*h + 2*u = 12. Does 11 divide v(h)?
False
Let z(y) = y**2 + 19. Is z(24) a multiple of 17?
True
Let d = 13 + -40. Let i = d + 44. Does 5 divide i?
False
Suppose -8*h + 16*h = 3672. Is 56 a factor of h?
False
Let d(c) = 3*c**2 - c - 4. Let u be d(-2). Let f(x) = 9*x + 16. Does 17 divide f(u)?
False
Let f = 48 + -55. Let r(l) = -7*l + 7. Is 28 a factor of r(f)?
True
Let n(y) = y**3 + 9*y**2 - 4*y + 10. Let t be n(-8). Let j = 112 - t. Is j a multiple of 6?
True
Let x = -84 + 83. Let w(g) = 46*g**3 - g**2 + g + 2. Let j(u) = 46*u**3 - u**2 + 1. Let c(m) = -3*j(m) + 2*w(m). Is 32 a factor of c(x)?
False
Let j(d) = d**2 + d. Let q be j(-5). Is 12/(-2) + q/5 - -83 a multiple of 9?
True
Suppose -20 = -5*z - 0. Suppose 4*x = -2*t, t + z*t = -x - 18. Suppose -x*u = -2 - 30. Is u a multiple of 7?
False
Suppose 7*i - 548 = 306. Let a = i - 31. Does 19 divide a?
False
Let y(p) = -p + 13. Let x be y(9). Suppose 0 = -0*b - x*b + 72. Does 10 divide (b/(-3))/(3/(-38))?
False
Suppose -3*h - j + 3*j + 5 = 0, h = -4*j + 11. Suppose h*s = 17*s - 294. Does 8 divide s?
False
Let m be 1/(-3) + (-4)/(-12). Let x be (2 - m) + (-3)/1. Does 17 divide (2 - x)/((-8)/(-176))?
False
Suppose -5*w - 20*w + 5225 = 0. Is w a multiple of 19?
True
Let f = 334 + -281. Does 25 divide f?
False
Let b(u) be the third derivative of u**5/30 + 7*u**4/24 + u**3/6 - u**2. Let p(g) = 3*g**2 + 13*g + 1. Let f(k) = 7*b(k) - 4*p(k). Is f(2) a multiple of 5?
True
Suppose -2*d = 3*b - 67, -5*d - 3 = 17. Let x = -4 + b. Does 7 divide x?
True
Let h(o) = 289*o - 753. Is 66 a factor of h(9)?
True
Suppose 0 = p - 5*y + 15 - 2, 3*y = 4*p - 33. Suppose 5 + p = t. Does 6 divide t?
False
Is (-10 + 38/4)*(-188)/1 a multiple of 93?
False
Suppose -9 = -5*c + 11. Suppose -d + 2*d - 163 = -4*h, 5*h = c*d - 652. Let r = d - 96. Does 27 divide r?
False
Suppose 2*b = 10*b + 1576. Let a = b + 478. Is a a multiple of 56?
False
Suppose 0 = -29*d + 33*d + 28. Let n(m) = 1 - 11 + 0 - 10*m. Is n(d) a multiple of 24?
False
Let x(d) = -d**3 - 8*d**2 - 2*d - 12. Let r(c) = 2*c**3 + 8*c**2 + 3*c + 11. Let o(s) = 2*r(s) + 3*x(s). Is o(10) a multiple of 31?
True
Suppose 5*j = -4*a + 41, 0*j + 3 = -j + 2*a. Suppose 3*l = j*u + 253, -u + 93 = l - 2. Is l a multiple of 15?
False
Suppose d + 48 = 5*d. Suppose -d*o = 2*o - 1386. Is 11 a factor of o?
True
Let n = -84 + 1853. Is n a multiple of 26?
False
Let o = 15 + -18. Let l be -3 - (1 - (4 - o)). Suppose -c = -l*c + 22. Is c a multiple of 3?
False
Is 38 a factor of (-1674)/(-15) + 6/15?
False
Suppose -a - 3 = -4*a. Let o be 4 - (a - 2)/(-1). Suppose -57 = -o*d - 3. Is d a multiple of 8?
False
Let m(i) = 2*i**3 - 11*i**2 + 11*i - 50. Is m(9) a multiple of 11?
True
Let g(a) = a**3 - 6*a**2 + 9*a - 9. Suppose 2*r + r - 18 = 0. Is 9 a factor of g(r)?
True
Suppose 12 = 6*b - 30. Suppose b*c + 18 = 8*c. Does 6 divide c?
True
Let q(i) = -50*i + 4. Suppose 0 = -2*j + 4*w - 14, -5*w + 11 = -j - 2. Let a be q(j). Suppose 3*d + 126 = 4*o + 6*d, 0 = 5*o + 2*d - a. Does 12 divide o?
False
Let f(z) = 4*z**3 + 7*z**2 + 10. Let p(i) = i**3 + i**2 + 1. Let w(t) = -f(t) + 3*p(t). Is w(-6) a multiple of 13?
True
Let p be (-4)/(-3)*(-473)/44*-3. Let t = p - -92. Is t a multiple of 15?
True
Does 7 divide (-3 - -224) + 4/((-8)/(-6))?
True
Suppose -12*h + 5*d - 489 = -16*h, 0 = 2*h + d - 243. Does 5 divide h?
False
Suppose -6*t = -13*t + 1778. Suppose 0 = -2*h - 2*m + t, -h + m - 253 = -3*h. Is 14 a factor of h?
True
Suppose 2*o + s = 13, -s + 32 - 1 = 5*o. Let y be (o - -3)/(1/(-3)). Let f = y + 39. Is 6 a factor of f?
True
Let m = -92 - -137. Is 4/18 + 890/m a multiple of 2?
True
Let c(f) = f - 9. Suppose -2*k = -k - 9. Let u be c(k). Let s = u - -16. Is 8 a factor of s?
True
Let m(v) = 2*v - 5. Let p be m(12). Let h = 19 - p. Suppose -y + 10 = 2*o + 1, -4*o + 4 = h. Is 4 a factor of y?
False
Suppose -6*s - 4 = -8*s. Suppose -s*m = 3*m - 40. Suppose 5*l = m*l - 60. Is l a multiple of 4?
True
Let j be 10 - 2/(3/3). Suppose -9*i = -j*i - 21. Is 7 a factor of i?
True
Suppose -3*a - 4*z - 6 + 3 = 0, 5*z = -15. Suppose -12 = -4*b + a*f + 80, f = -4. Is 10 a factor of b?
True
Let a(z) = -2*z - 2. Let d be a(0). Does 13 divide 1 + d/4 - (-618)/4?
False
Let n = -1413 - -2973. Does 52 divide n?
True
Let h = 217 - 141. Suppose -165 = 73*f - h*f. Is f a multiple of 14?
False
Let g = 32 + -42. Let y(p) = -16*p - 19. Is y(g) a multiple of 15?
False
Let r(a) = 2*a**2 - 6*a - 27. Let k be (4/(-6))/((-1)/12). Let s be r(k). Does 19 divide 0/(-6) + (s - 1)?
False
Suppose -3*z + 43 = -50. Let q = z - 1. Is q a multiple of 7?
False
Let q(g) = -g**3 - 9*g**2 - 2*g - 23. Let n be q(-8). Let r(u