1828*g + 244880. Does 12 divide g?
False
Suppose 4*o + 4*a = 4, -4*o + 23 = o - a. Suppose -o*c + 11 = -9. Suppose 3*k - 4*v = 31, -c*k + 0*v - 5*v = -5. Is k a multiple of 3?
False
Suppose 5*l + 3*o = 68503, -75*l + 71*l + 54800 = 3*o. Is 71 a factor of l?
True
Suppose 11*m = -56 + 144. Suppose 3118 = 4*s - 3*f, 0 = s - 12*f + m*f - 786. Is 28 a factor of s?
False
Let z be 2 + 1*-2853*6/(-9). Suppose -z = -2*g - 5*k + 3*k, -3808 = -4*g + 3*k. Suppose -5*v - 3*v + g = 0. Does 18 divide v?
False
Suppose -4*p + 0*r = -4*r + 84, -r + 1 = 0. Let h = p + 31. Let w = h + 112. Is 12 a factor of w?
False
Let x be -3*((-45)/27 - 0). Let n be (-4)/6*15/(-1). Is 28 a factor of x*(122/n + -1)?
True
Let b be (-2 + (-4 - -7))/((-2)/(-6)). Let a(w) = -27*w + 8. Let r(j) = -28*j + 8. Let d(o) = b*a(o) - 4*r(o). Does 30 divide d(4)?
False
Let m = 58 + -63. Let k(b) = -89*b + 18. Let l(h) = 133*h - 27. Let j(u) = m*l(u) - 8*k(u). Does 30 divide j(4)?
False
Let j = 34367 - 22586. Does 10 divide j?
False
Suppose 4*x = -x + 760. Suppose x = -32*g + 34*g. Let k = g - 61. Does 5 divide k?
True
Let o = -36 - -44. Suppose 733 = -o*a - 107. Let v = -72 - a. Is v a multiple of 11?
True
Let i = 186 - 99. Let q be (-19)/(57/24)*10/8. Let h = q + i. Is h a multiple of 24?
False
Suppose 5*h = w - 3, -4*h + 43 = 5*w - h. Suppose u - 300 = 161. Suppose 101 - u = -w*q. Does 9 divide q?
True
Is (9568/(-13) + -12)*(-1)/(4/15) a multiple of 55?
True
Suppose 12 = -2*b, 0 = -20*t + 5*t + 2*b + 187647. Is t a multiple of 9?
False
Suppose 7*u = -2*i + 3*u + 16002, 3*u + 15981 = 2*i. Suppose i = -17*h + 30*h. Does 55 divide h?
False
Let x be (-818)/(-10) - (-8)/40. Let k = x + -45. Let p = k - -83. Is 24 a factor of p?
True
Suppose -2*z = -38 - 44. Let o = z + -113. Let u = o + 145. Does 10 divide u?
False
Suppose 4 = -w + 2*w. Suppose q + 5*r = 32, -3*r + w*r + 3 = 0. Suppose -2*c + q + 9 = 0. Does 7 divide c?
True
Suppose -4*m + 6 + 6 = 4*g, 0 = 5*m - g + 3. Suppose -2*a = m, 3*b = 8*b + a - 1140. Is b a multiple of 57?
True
Let d = 24 + -17. Let p be 3/(-2 - d/(-2)). Suppose 5*q = 2*w + 42, p + 0 = -q + 3*w. Is q a multiple of 5?
True
Let q(i) = 39*i**2 - 349*i - 71. Is 4 a factor of q(12)?
False
Let x be 52 + 0 - (1 - 2). Let r = -50 + x. Suppose 2 + r = y. Is 5 a factor of y?
True
Let i be (-2)/(((-4)/(-8))/(-1)). Let c(x) = -4*x**2 - 4*x + 25. Let q be c(i). Let r = -43 - q. Is 3 a factor of r?
True
Let s(n) = 2*n**3 + 40*n**2 - 27*n - 16. Is s(17) a multiple of 27?
False
Let q(k) = -k**2 - 21*k - 22. Let p be q(-22). Is p/(-33) + 1720/15 a multiple of 29?
True
Is ((-54)/(-72))/((-9737)/29328 + 2/6) a multiple of 12?
True
Suppose 4*p = 2*b - 2, b + 3 - 12 = -2*p. Suppose 0 = 9*q - b*q - 892. Suppose q + 337 = 5*c. Does 7 divide c?
True
Let f(w) = -8*w + 18. Let c be f(-5). Suppose 102 + c = 8*l. Is l a multiple of 10?
True
Let f(r) = r**2 - 3*r. Let h(q) = q**2 + 23*q + 19. Let u be h(-22). Does 6 divide f(u)?
True
Let c = -13320 - -34928. Is c a multiple of 292?
True
Let v = 423 - 92. Suppose -5*b - 2174 = -4*m, 3*b - 221 = -m + v. Is 26 a factor of m?
True
Let q = -2779 + 3229. Does 15 divide q?
True
Suppose a + 2*a - 6 = -4*z, 0 = -4*z. Let u(t) = -t - 1 + 2*t + 14*t - t. Does 9 divide u(a)?
True
Let c(f) = -2*f**3 - 3*f**2 - 10*f - 21. Let l be c(-2). Let t(j) = 302*j - 60. Is 20 a factor of t(l)?
False
Is 113 a factor of (-12)/(-27)*19485/10?
False
Let v(z) = z**3 - 6*z**2 + 3*z. Let c be v(4). Let w(m) = m**2 - 23*m - 244. Let j be w(-9). Let i = j - c. Is 16 a factor of i?
True
Let n(d) be the first derivative of 7*d**2/2 + d + 1. Suppose -135*s = -186*s + 459. Does 32 divide n(s)?
True
Let j = -128 + -30. Let w = j + 365. Suppose -2*o - r = -536 + w, 3*o - 4*r = 477. Does 16 divide o?
False
Suppose -1485 = 5*b + 725. Let i = b - -1262. Is 41 a factor of i?
True
Suppose 0*m + 5*i + 15 = 3*m, -4*m = -2*i - 6. Suppose 2*o = -4*w - 113 + 313, m = -3*o + 12. Suppose 4*n - 3 = 5*s - 363, 4*n = -s + w. Is s a multiple of 44?
False
Suppose 0 = -q - 3*l + 7 - 1, 2*l + 38 = 4*q. Let w be ((-9)/q)/(3/(-9)). Suppose -3*n - 78 = -4*v, -w*v + n - 5*n = -71. Does 8 divide v?
False
Let r = 214 - -204. Let j = 484 - r. Is j a multiple of 8?
False
Let l(w) = 4*w**2 - 9*w - 4. Let z be l(-6). Let q(k) = -k**3 - 78*k**2 - 422*k + 5. Let r be q(-6). Let p = r + z. Does 13 divide p?
False
Suppose -3*q - 13998 = -4*w, 3*w + 5*q = 14104 - 3649. Does 195 divide w?
False
Suppose -2*k - 56 = -620. Suppose 2*n - k = 5*n + s, -282 = 3*n - 4*s. Let u = n + 146. Does 17 divide u?
False
Suppose -2 = -12*o + 46. Does 10 divide 40*((-28)/(-16) - (o - 5))?
True
Suppose -18953 = 597*n - 589*n - 60169. Is n a multiple of 8?
True
Let v = -15 - -20. Suppose -38 = -3*o - 20. Suppose -v*x - 28 = -o*x. Is x a multiple of 12?
False
Suppose 16*l - 25*l + 36 = 0. Suppose 120 = l*k - 4*j, -2*j + 178 = k + 4*k. Does 17 divide k?
True
Let s = 883 - -737. Is 162 a factor of s?
True
Suppose -5*y = 4*k + 11792 - 72751, -3*y = 4*k - 60945. Is 193 a factor of k?
False
Let t(j) = 13*j**2 - j - 3. Let q be t(8). Suppose -i + c + 273 = 64, 4*i - c = q. Is i a multiple of 12?
True
Let d(v) = -v**3 + 2*v**2 - 1. Let c(b) = b**2 + 8*b + 10. Let p be c(-7). Let h be d(p). Does 19 divide 6/(-15) + (-594)/h?
False
Let j = 112619 + -76427. Suppose -j = -9*g - 43*g. Is 36 a factor of g?
False
Suppose -j = -5*j + 20. Let v = -1564 - -1568. Suppose j*o - v*i - 10 - 175 = 0, 0 = -3*i - 15. Is o a multiple of 9?
False
Suppose 0 = 5*c - 9*c. Let k(g) = -2*g**2 - 7*g - 77. Let y(n) = n**2 + 4*n + 38. Let f(j) = -3*k(j) - 5*y(j). Does 7 divide f(c)?
False
Let a(d) = 1 + 4*d**2 + 3 - 3 - 8*d - 3*d**2. Let q be a(7). Does 3 divide -3*((-76)/q)/(-2)?
False
Let w(v) = -2458*v - 2620. Does 183 divide w(-10)?
True
Let l be (4/(-8))/((-6)/348). Suppose -24*z - 725 = -l*z. Is z a multiple of 19?
False
Let u(j) = -158*j - 86. Let m be u(-4). Let d = -401 + m. Is 70 a factor of d?
False
Suppose -11*n = 3*s - 210062, -9*n + 95478 = -4*n - s. Is 44 a factor of n?
True
Let i(d) be the second derivative of 23*d**6/720 - 7*d**5/24 + 7*d**4/6 - 3*d. Let l(u) be the third derivative of i(u). Is l(12) a multiple of 18?
False
Let g = -1533 - -1043. Let v = g - -524. Does 34 divide v?
True
Let r(l) = -5*l + 148. Let t(m) = -7*m + 146. Let p(w) = 3*r(w) - 4*t(w). Is 11 a factor of p(26)?
True
Suppose 2*j + j + 5*b = 5, -4*b - 8 = 0. Suppose 0 = -j*m + 7*m - 3*f - 1308, 2638 = 4*m + 5*f. Is m a multiple of 13?
False
Let r(u) = u**2 + 11*u + 15. Let j be r(-10). Suppose -b - p - 3 = -1, 25 = -j*p. Suppose -b*z + 6 = -42. Does 8 divide z?
True
Suppose -97*n - 15 = -100*n. Suppose n*q - 382 = -p, -4*q = p - 604 + 217. Does 37 divide p?
True
Suppose -3*j + 2*z = -82, 4*j + z - 4*z - 108 = 0. Suppose 0*f + j = -2*c - 2*f, 4 = -f. Is 3 a factor of c/(-33) + (-16)/(-6)?
True
Is (142600/(-220))/(30/(-165)) a multiple of 3?
False
Let i(q) = q**3 - 22*q**2 - 18*q - 103. Let s be (-138)/(-8)*(-56)/(-42). Is i(s) even?
True
Let m(f) = 621*f - 414. Is 69 a factor of m(3)?
True
Does 105 divide (-230)/((-1)/(-126)*((-180)/(-5))/(-9))?
True
Let p = 100 + -92. Suppose p*u - 506 - 886 = 0. Does 29 divide u?
True
Let s(x) = -875*x**3 - 11*x - 12. Let p be s(-1). Suppose p*b = 870*b + 312. Does 2 divide b?
True
Suppose -2*u - 2*u + 19848 = 2*d, -3*d + 3*u + 29736 = 0. Does 77 divide d?
False
Suppose 2*t - 8*i - 36 = -3*i, 0 = -2*i + 4. Let l = -21 + t. Suppose -l*n + 287 = 95. Does 16 divide n?
True
Let v(j) = 5*j + 19. Let m be v(-3). Suppose -439 + 59 = -4*y - 4*l, m*y = 2*l + 368. Does 7 divide y?
False
Suppose 0 = -10*d + 7961 - 2521. Suppose 34 = -2*w + d. Does 15 divide w?
True
Let v = 57732 + -17664. Does 21 divide v?
True
Let l = 100 + -103. Let o be (-3)/(-8)*4*(5 + l). Suppose a + 3*a = 2*c + 1086, 5*c - 834 = -o*a. Is a a multiple of 39?
True
Let d(i) = -i**3 - 9*i**2 + 154*i + 2372. Is 26 a factor of d(-14)?
True
Is 33 a factor of ((11967/18)/(-1))/(2/(-12))?
False
Let m be 2/((-14)/2891) + (0 - -2). Let k = m - -718. Is k a multiple of 42?
False
Let d(b) = -105*b + 5. Suppose -4*r + 136 = -j + 30, 3*r = -4*j - 424. Let v = j - -105. Is 21 a factor of d(v)?
False
Let w be (-54)/(-5 + 8)*1. Let r be ((-7)/(-3) + -2)/((-3)/w). Is 17 a factor of 20/(r - (-96)/(-51))?
