-4)/q) + 0. Suppose 0 = -5*j - a*f + 112, 5*f + 83 = -3*j + 7*j. Is j a multiple of 2?
True
Let w be 6 + -3 - -102 - -3. Let t = w + -47. Is 18 a factor of t?
False
Let y(b) = -1 + 5*b + 29*b**2 + b**2 + 0*b**2 - 2. Let r be y(1). Suppose 12*k - r - 352 = 0. Is k a multiple of 5?
False
Let s = 46 - 39. Suppose -4*g + s*g = 0. Suppose g = 5*v - 5*y - 565, 0*y + 119 = v - 3*y. Does 11 divide v?
True
Suppose 0 = -3*c + 12*k - 9*k + 16056, 3*k - 26744 = -5*c. Is c a multiple of 50?
True
Let q(k) = k**3 + 11*k**2 - 5*k + 30. Let a be q(-9). Let o = -127 + a. Is 4/((-8)/(-2)) + o a multiple of 37?
True
Suppose 78*j = -3*z + 75*j + 10137, -13511 = -4*z - 5*j. Is 188 a factor of z?
True
Suppose 3*i - 5*b - 44 = 0, -i - 4*i = -5*b - 60. Suppose 0 = i*a - 323 - 557. Is a a multiple of 11?
True
Let l(p) = -4*p**3 - 12*p**2 + 31. Is 115 a factor of l(-17)?
True
Suppose -k = -3*k + 8*k. Let g(m) = 4*m + 705. Is g(k) a multiple of 15?
True
Suppose 3*v = -8*k + 12*k + 51014, -2*v - 2*k + 34028 = 0. Is 35 a factor of v?
True
Let x be ((-100)/8)/(84/40 + -2). Let y = x + 168. Does 7 divide y?
False
Let q(z) = 4*z**2 - 53*z + 83. Is q(14) a multiple of 10?
False
Let x(d) = 494*d + 364. Is 65 a factor of x(9)?
True
Suppose 4*i - l = -4*l + 268, 200 = 3*i + 2*l. Suppose -3*h + 17 = -i. Suppose 2*j - 123 = -h. Is 12 a factor of j?
True
Suppose -55*u = 1064022 - 3046783 - 1217524. Is u a multiple of 16?
False
Suppose 11*i + 90 - 81666 = 0. Does 12 divide i?
True
Suppose 17*h + 863 = 4943. Let r = h + -89. Suppose -155*o + 28 = -r*o. Is o a multiple of 2?
False
Let j = 572 - 582. Does 12 divide (-405)/18*(384/j)/3?
True
Suppose 4*g - 9 - 8 = 5*u, -4*g = -u + 3. Is (148/(-111))/(g/126) a multiple of 2?
True
Let m(i) = -8695*i - 324. Is 11 a factor of m(-1)?
True
Let x be 4*((110/8)/5 + -3). Let f be (x/(-2))/(6/(-1416)). Let j = f + 332. Is j a multiple of 37?
False
Suppose -3*v + 4*v = 3. Suppose -v*m = -m - 312. Suppose 28*s = 27*s + m. Is s a multiple of 39?
True
Suppose -d + 491 = 2*p, 3*p + d = 8*p - 1231. Suppose 0 = q - 2*w - 237, 4*w + 461 + p = 3*q. Does 6 divide q?
False
Let y(s) = -s + 13. Let o(u) = -u + 12. Let p(n) = 4*o(n) - 3*y(n). Let b be p(6). Suppose c = b*c - 382. Is c a multiple of 18?
False
Let t = -174 - -161. Let s = t + 49. Is s a multiple of 15?
False
Let x(c) = 7*c - 65. Let r be x(0). Does 5 divide 6 - (r + 1 + -4)?
False
Suppose -9*g + 25 = -4*g. Suppose d + 10 = 6*d, -197 = -3*v + g*d. Is 9 a factor of v?
False
Suppose -22 = 2*d + 4*l, -6*d - 3*l = -3*d + 30. Does 3 divide 354/d*(-16 + 13)?
False
Let n(s) = -12 - 22 + s**2 + 11*s + 8 - 13. Let f be n(-14). Let h(r) = 3*r**2 + 3. Is h(f) a multiple of 8?
False
Let i(w) = 2*w**2 + 17*w + 9. Let s(k) = -k**3 - 8*k**2 - 6*k - 4. Let x = 25 + -32. Let b be s(x). Is i(b) a multiple of 10?
False
Let b = 983 + -499. Suppose 346 + b = 2*z. Is 16 a factor of z?
False
Let u be (5/(-2) + 1)*(3 + -5). Suppose -6*r = -u*r - 2154. Suppose -6*o + 2*o = 5*y - 581, r = 5*o - 2*y. Does 12 divide o?
True
Let j = 111 + -114. Let r(p) be the first derivative of 13*p**3/3 + p**2/2 - 2*p - 5. Does 14 divide r(j)?
True
Let v be (2 + 25/(-10))*(14 + -2). Let m(t) = t**2 + 10*t + 67. Is m(v) a multiple of 3?
False
Let r(m) = -m**2 - 26*m + 12. Let j be r(-19). Let d = j - 109. Is 6 a factor of d?
True
Suppose 24*o = 26*o - 10. Suppose 1 = -i, 1653 = o*y - 2*i + 531. Is 8 a factor of y?
True
Suppose -5*g + 2*c + 106928 + 55154 = 0, 4*g = c + 129662. Does 60 divide g?
False
Let x be 92/10*(6 - 1). Let c(q) = -4*q**3 + 2*q**2 + 6*q + 19. Let k be c(-3). Let i = x + k. Is 15 a factor of i?
False
Let d be (-2)/(-6) + (-68)/(-12). Let p(t) be the third derivative of -t**6/120 + 3*t**5/20 - t**4/8 - t**3/6 - 677*t**2. Does 26 divide p(d)?
False
Let r(o) be the third derivative of o**5/60 - 11*o**4/12 - 7*o**3/2 - 47*o**2. Let a be -3*(-2 + 3) - 4. Is r(a) a multiple of 26?
True
Let j(y) = -35*y**2 + 6 + y**3 - 36*y**2 + 64*y**2 - 6*y. Let k(c) = c**3 - 3*c**2 + 4*c - 4. Let l be k(3). Is 11 a factor of j(l)?
True
Let w be ((-8)/3)/(3 + 16/(-6)). Let d be -4 - (w - (4 - 6)). Let r = 8 - d. Is r even?
True
Let l = 9770 + 3232. Is l a multiple of 11?
True
Suppose 77*z - 9 = 74*z. Suppose -5*t - 150 = -5*g, -5*t + 140 = z*g + 10. Is 3 a factor of g?
False
Let v(f) = f**3 - 16*f**2 - 16*f - 13. Let a be v(17). Let y be 0*3*a/24. Suppose -t = -y*t - 12. Is 4 a factor of t?
True
Let s be (-3)/33*-1*11 - -7. Suppose 4 = 3*d - 2*d. Suppose d*y - s = 160. Does 10 divide y?
False
Suppose -3*q - 12 = 0, -5*n - 11*q + 9*q = -4222. Is 25 a factor of n?
False
Let q(i) = -33 - 8*i + 2*i**2 - 6*i + 10*i + i. Is 9 a factor of q(-5)?
False
Suppose -20 = -6*g + 2*g. Is 13 a factor of 41/(g/(-125)*-5)?
False
Let u(b) = b**2 - 6*b + 10. Let d be u(4). Suppose 0 = 3*y - d*y - 44. Is y a multiple of 13?
False
Let a be ((-45)/6)/(18/(-60)). Suppose -a*b + 24*b = 27. Is 15 a factor of (-9)/b - (-88)/6?
True
Let p(c) = 85*c - 152. Is p(15) a multiple of 10?
False
Let p(t) = 53*t + 54. Let y be p(19). Suppose 12*j - y = 1279. Is j a multiple of 39?
True
Let f be (18/4)/((-4)/(-616) + 0). Let t = 1225 - f. Suppose 5*v - 2*b = t, -3*v + b + 322 = -3*b. Does 12 divide v?
False
Let b(m) = -m**3 + 7*m**2 + 8*m + 8. Let a be b(8). Suppose 0 = -0*k + a*k + 48. Is 3 a factor of ((-2)/k)/(1/21)?
False
Let c(b) be the second derivative of -b**5/20 - b**4 - 5*b**3/6 - 5*b**2/2 + b. Let v be 1 + 13*2*6/(-12). Does 20 divide c(v)?
False
Let u be 15/((-450)/12) - (-1676)/(-10). Let a = -70 + 46. Does 56 divide (a/18)/(4/6)*u?
True
Let u = 53 + -52. Suppose -6*z + 5*z - 5*a = -69, -a - u = 0. Does 2 divide z?
True
Suppose 12*r = 15528 + 5112. Suppose 0 = 2*q - 552 - r. Is q a multiple of 71?
True
Let a = 507 + -251. Let p be (-361)/(-3) - (-2)/3. Let m = a - p. Does 27 divide m?
True
Let r = 3 + -3. Suppose r = -103*h + 106*h - 567. Does 21 divide h?
True
Suppose 2*k + 28 = 34. Suppose -h + 46 = 4*d, -6*h = -h - k*d - 207. Let r = h - -44. Does 8 divide r?
False
Let b = 86 + -87. Let p be 1/(-2)*(b - (-18)/6). Is 26 a factor of p*4 - (-26 - 79)?
False
Let y be (-1156)/(-20) + 2/10. Let v(c) = -26*c + 226. Let f be v(7). Suppose y = u - f. Is u a multiple of 17?
True
Suppose -15*s + 68*s = 1035885. Is 52 a factor of s?
False
Suppose 37622 - 112122 = -50*y. Does 10 divide y?
True
Let x = -3719 - -3839. Does 6 divide x?
True
Suppose 0 = 4*y - 3*z - 105, -2*y - 67 = -2*z - 119. Let d be 0 + -1 - 3*-9. Suppose 65 = -d*p + y*p. Is p a multiple of 6?
False
Suppose 0 = 5*h - h + 3*k - 9551, 4*h = 4*k + 9544. Does 31 divide h?
True
Let b(f) = -2*f + 33. Suppose 0 = -a - 2*j + 6*j + 58, a = -4*j + 58. Suppose -6*p = 184 - a. Is 14 a factor of b(p)?
False
Let y(d) = d**3 - 71*d**2 - 71*d + 40. Is 28 a factor of y(72)?
True
Let k(c) = 30*c + 17. Let y be k(2). Suppose 86*t = y*t + 2151. Is 12 a factor of t?
False
Let b(f) = 885*f**2 - 79*f - 210. Is 6 a factor of b(-3)?
True
Let a = 50 + -62. Let g be -12 + 9 - (a + (-1 - -1)). Suppose 4*x + 80 = g*x. Is x a multiple of 8?
True
Suppose w = -3*j + 2401, 5*w + 4*j - 2721 = 9328. Is w a multiple of 12?
False
Let v be (0 - -1) + 8 + 6 + 0. Let r be 663/(-34)*4/(-6). Let c = v - r. Is 2 a factor of c?
True
Let b be 4*(-7)/(-14) - (0 - 0). Suppose 4*d - 5*x = 445, -1 - b = -x. Is d a multiple of 15?
False
Suppose -4*t + 25 = -5*w, -5*w + 13 = -3*t + 38. Suppose 2*f - 5*u - 273 = t, -4*u - 564 = -3*f - f. Does 18 divide f?
True
Suppose -2*m + 2*l - 40 - 30 = 0, 2*m - l = -71. Suppose 6 = 4*x - 2. Is (54/m)/(x/(-120)) a multiple of 8?
False
Let h be ((-4)/(8/(-4)))/(2/4). Suppose -b - 3 = -h. Let k(f) = 48*f + 4. Does 10 divide k(b)?
False
Suppose 4*c - 75 = -11*c. Suppose c*j - 8 = 22. Is j a multiple of 4?
False
Suppose 4*a + 0*j + 5*j - 31823 = 0, -7964 = -a - 4*j. Suppose -1259 = -k + 3*d, -4*k = 4*d + 2884 - a. Does 23 divide k?
True
Suppose 2*o - 80 = 4*z, 0 = -2*o + z + 73 + 22. Suppose o*i + 13000 = 76*i. Is 29 a factor of i?
False
Let h be (-1 - 0)*(-14 - -19) - -4. Let n be h/(-2)*(1 - -7). Suppose z + 4*s - 9*s + n = 0, 3*z - 3*s = 36. Is 3 a factor of z?
False
Let u(d) = -2*d**3 + 10*d**2 + 4*d + 31. Let t be 30/12*(6 - 4) + 0. Does 2 divide u(t)?
False
Let v be (-5)/(0 - 1) + -2483 + 30. Does 4 divide (1/2)/((-6)/