et i = -518 - -518. Suppose -16*b + z + 489 = i. Is b a multiple of 4?
False
Let a(i) = 11*i - 60. Let p be a(13). Let j be 8*(188/16 + -1). Let v = j - p. Is v a multiple of 2?
False
Is -1 + 0/(-2) - (16 + (7 - 10409)) a multiple of 67?
True
Suppose -61*m + 3464 = -57*m. Let a = m + -498. Is 16 a factor of a?
True
Is 46*168 + (-208)/26 a multiple of 52?
False
Suppose 2*i - 4*i + 1348 = 0. Let z = -388 + i. Is z a multiple of 7?
False
Suppose 4*q - 63*z = -64*z - 1, 3 = -3*z. Suppose f = 5*f - 20. Suppose -f*c + 4*l + 443 = q, c - 52 = -3*l + 29. Is 12 a factor of c?
False
Let l(c) = -c**3 - 26*c**2 - 4*c + 47. Let g be l(-26). Let w = g + -81. Suppose -3*q - w = -10*q. Does 2 divide q?
True
Let n = 206 + -202. Suppose -19*o + 22*o - n*s = 384, o - 2*s = 128. Does 11 divide o?
False
Is 26 a factor of 1755/90*(-4 - -3)*-4*73?
True
Suppose 4*y = -q - 0 + 33, -5*y - 2*q + 42 = 0. Suppose 0 = 13*i - y*i - 10. Does 18 divide i + 84 + (1 - 0)?
False
Let z be 0 + 10 - (-3 + 3)/3. Suppose -2*j - 16 = -z*j. Does 12 divide 2*j/4*72?
True
Let f(m) = 2*m**3 - 8*m**2 + 2. Let j be f(6). Suppose 7*l - 2*g - 406 = 4*l, -l = 2*g - j. Is 6 a factor of l?
True
Let q = 79 - 85. Let j be 1 + 18*(-8)/q. Suppose -2*z + 5*h + j + 35 = 0, -3*z = -h - 64. Is z a multiple of 4?
True
Let c be 12*-1*4/(-16). Suppose 4*i = 4*t + 220, -c*i - t = -157 - 0. Let h = 126 - i. Is 21 a factor of h?
False
Suppose 8*w + 0*w = 264. Suppose 56*m - 57*m + 132 = 0. Suppose -4*i - 3*j = -j - m, 4*j = -i + w. Does 33 divide i?
True
Let v be (1 - 2385/(-18))*1*6. Let d = v + -402. Is 21 a factor of d?
True
Suppose -24 = 4*q, -9510 = -2*j + 147*q - 150*q. Is j a multiple of 52?
False
Let r be 2/(-2) - 2 - -52. Let g = r + -3. Does 27 divide g - -2 - (1 - 1)?
False
Let r = -34 + 62. Suppose -4*y = -8*y - r. Let x(j) = j**3 + 8*j**2 + 2*j - 20. Is x(y) a multiple of 3?
True
Let r(p) = -p**3 + 7*p**2 - 2*p - 10. Let b be r(5). Let a = -27 + b. Suppose 12*o - 243 = a*o. Is o a multiple of 12?
False
Let x(b) = -90*b. Suppose -17*t = 57 + 28. Is x(t) a multiple of 18?
True
Let b(m) be the third derivative of -7*m**6/120 - m**5/15 - 7*m**4/12 - 9*m**3/2 + 8*m**2. Does 75 divide b(-6)?
True
Let y(j) = 9*j**2 + 71*j + 266. Let f(a) = 3*a**2 + 24*a + 89. Let k(b) = -17*f(b) + 6*y(b). Is k(-10) a multiple of 29?
True
Suppose -5*j + 4*q = -442 + 3794, -5*j - q = 3337. Let g = -458 - j. Is g a multiple of 7?
True
Let l = 19666 + -12406. Is l a multiple of 14?
False
Suppose 577 = 3*p - p - s, 5*s = -5. Suppose q - 2*q = -p. Is 18 a factor of q?
True
Let n = 36 - 37. Let t(q) = -q**2 - 3*q - 2. Let k be t(n). Suppose -8*x + 7*x + 6 = k. Is x a multiple of 6?
True
Suppose -2230 + 720 = -33*p + 2846. Is 6 a factor of p?
True
Let j = -145 + 382. Suppose 5*a = -j + 1572. Does 13 divide a?
False
Suppose -16 = -4*t, 57*t = 4*z + 52*t - 6460. Does 2 divide z?
True
Let c(l) = 42*l**2 + 6*l - 5. Let b be c(1). Let y = 33 - b. Let d(u) = -u**3 - 9*u**2 + 2*u - 17. Does 7 divide d(y)?
True
Let v = 54 + 121. Suppose -4751 = -11*n - v. Is n a multiple of 13?
True
Suppose 0 = j - 7*v + 12*v - 770, -j + 4*v = -725. Is 5 a factor of j?
True
Suppose -3*a = -3*z + 14322, 2*z - 5458 = -a + 4084. Is z even?
True
Let a be 38/(-133) - 10/14. Suppose -4*q = 14 - 10. Is 46 a factor of 271 - q - a - -3?
True
Suppose 7*v + 18 = 53. Suppose j - 185 = -v*l, -13 = l + 4*j - 50. Does 5 divide l?
False
Let c = -16362 + 32665. Is 17 a factor of c?
True
Let w be 7705/95 + (-4)/38. Let l = w + -30. Suppose -l*o = -50*o - 70. Does 9 divide o?
False
Let d be 24/(-20)*(2 - 8)*5. Suppose 2*c = -d - 30. Let v = c + 161. Is 32 a factor of v?
True
Suppose -20*k + 10*k + 1395 = -7*k. Is k a multiple of 4?
False
Let k = 31 + -24. Suppose -k*s + 6*s = -144. Suppose -s = -3*y - 3*y. Is y a multiple of 6?
True
Suppose -86*b + 2109744 = 75*b. Is b a multiple of 13?
True
Let y = -286 - -302. Suppose -y*m + 762 = -13*m. Does 7 divide m?
False
Let u(a) = 10*a**2 - 4*a + 52 - 27*a**2 - 7*a**2 - 15*a - 6*a - a**3. Does 9 divide u(-23)?
False
Let n = -58 + 885. Suppose -84*o = -83*o - n. Does 14 divide o?
False
Let i(w) = -4*w + 140. Let x be i(35). Suppose x = 8*q - 6*q + 5*o - 1621, -2*q = -5*o - 1651. Is q a multiple of 77?
False
Is (11 + 34035/15)/((-4)/(-30)) a multiple of 60?
True
Suppose -14*t + 24 = -32. Let b(i) = 44*i**2 + 20*i + 14. Is b(t) a multiple of 32?
False
Suppose 2*r - 335 = -h, -5*r = -2*h - 3*h - 815. Suppose -168*a + r*a + 114 = 0. Is 19 a factor of a?
True
Let b be (-3532)/(-18) + 10/(-45). Suppose -3840 = b*h - 202*h. Is 66 a factor of h?
False
Suppose 4*a = -124*a + 633600. Is a a multiple of 50?
True
Let h = 3 - -1. Suppose h*q = -20 + 272. Is q a multiple of 21?
True
Let b(m) be the first derivative of 136*m**2 + 4*m - 115. Is b(1) a multiple of 46?
True
Let c = 1686 + 936. Suppose -q - 1573 = -3*v + q, -5*v + 3*q + c = 0. Does 21 divide v?
True
Suppose 47*g - 39104 = 39*g. Suppose 79*p = 75*p + g. Is p a multiple of 8?
False
Let w = 2471 + 15684. Is 8 a factor of w?
False
Let k = 6193 + -3223. Does 13 divide k?
False
Let g = 125 + -276. Let c = g - -65. Let u = -26 - c. Is 12 a factor of u?
True
Is (-165570)/195*169/(-26) a multiple of 14?
False
Let u be 41/(-3)*(-11 + 8). Let x = 45 - u. Suppose -5*m = -2*v - 75, m + x*v + 0 = 37. Does 8 divide m?
False
Suppose 0 = -82*k + 74*k + 2320. Is ((-256)/(-10))/(58/k) a multiple of 5?
False
Let g(y) = -y**3 + 8*y**2 + 5*y - 16. Let c be g(-8). Suppose 0 = j + i - 188, -2*j - 2*i - c = -7*j. Is 13 a factor of j?
False
Let c(m) = 231*m**2 + 14*m. Let g(h) = -h. Let a(n) = c(n) - 4*g(n). Is a(2) a multiple of 60?
True
Suppose -5*c + 3*m = -989, -191 = -c - m + 5*m. Suppose 0 = -8*v + c + 137. Does 21 divide v?
True
Let o(x) = -x**3 - 2*x**2 + x + 3. Let k be o(0). Let r(d) = -4*d**2 + 10 - 8*d**3 + 4*d + k*d + 7*d**3 - 2*d. Is 13 a factor of r(-6)?
True
Let z(n) = -n**3 + 3*n + 7. Let r be z(0). Suppose -3*x - 2*d = -r*d - 555, 0 = 3*x + d - 537. Is x a multiple of 6?
True
Suppose 3*n = -3*v - 432, 4*v - 2*n - n + 583 = 0. Let o = v + -23. Let x = 338 + o. Does 34 divide x?
True
Let i = -10847 + 15389. Is i a multiple of 9?
False
Let r = -93 + 125. Suppose 1875 = r*p - 45. Does 20 divide p?
True
Suppose -10*u = 88 + 12. Does 22 divide (-7029)/(-18) + (-5)/u?
False
Suppose p - j = -3*p - 46, 0 = -p + 3*j - 17. Does 32 divide (-5634)/p + (-72)/396?
True
Let h = 19 + -7. Suppose 4*u - h*u = -1056. Does 33 divide u?
True
Let q = -123 - -125. Let i(z) = -3*z**2 + 2*z**3 - z**3 + 5*z**3 + 4 - 2*z. Does 20 divide i(q)?
False
Let k be 32/5 + 14/(-35). Suppose 0 = k*l + 3 - 15. Suppose 4*n + l*c - 130 = 0, 0*c - 180 = -5*n + c. Does 2 divide n?
False
Suppose -45*w - 167145 = -387423 - 224592. Is 16 a factor of w?
False
Suppose 0 = -3*x + 4*m + 6140, 2*m + 20 = 10. Is x a multiple of 20?
True
Let q(u) = -15*u - 50. Let i be q(-13). Suppose -32 = -g - 4*s, 4*g - i - 59 = 3*s. Is 2 a factor of g?
True
Suppose 0 = -15*p - 12*p + 150255. Does 21 divide p?
True
Let r = -177 - -181. Suppose -r*c = 47 - 371. Is 27 a factor of c?
True
Does 187 divide (-4840896)/(-168) + (-328)/56 + 6?
False
Let z(r) = 14*r - 4. Let g be -2 + (3 + -1)*10/5. Suppose -31 = -g*f + 3*m, f + 3*m + 2*m = 22. Is z(f) a multiple of 26?
True
Let c(v) = 9 + 3*v**2 + 4*v + 14 + 2 + 16*v. Is 12 a factor of c(7)?
True
Suppose -2*d = 6, 0 = -5*r + 2*d - 3 + 19. Let j be (-287)/(-28) + r/(-8). Suppose -j*p + 13*p = 480. Is 34 a factor of p?
False
Does 26 divide (2 - 165801/6)*(3 - 182/42)?
True
Suppose 1254 = -13*a + 16*a - 5*c, 3*a = c + 1278. Does 7 divide a?
False
Let z be ((-8)/(-12))/(2/6). Suppose a - 521 = -d, -z*a + 1046 = -0*d + d. Does 15 divide a?
True
Suppose -4*a = 2*z - 4*z + 10330, z = -3*a + 5150. Does 77 divide z?
True
Suppose -18*s - 24 = -14*s. Is 2 a factor of (-88)/s*120/160?
False
Is 4 a factor of (3 + (8 - 324/28))*-2863?
True
Let x = 158 - 715. Let z = x + 61. Let j = z - -716. Is 55 a factor of j?
True
Let k be (1 - -5) + -8 - 1. Let v(d) = -7*d**3 - 5*d**2 - 10*d + 4. Does 16 divide v(k)?
False
Let q = 388 - 351. Suppose q*f - 33*f = y + 1143, -3*f = 5*y - 840. Is 15 a factor of f?
True
Does 105 divide (8 - (-136)/(-20))/((-3)/(-28440))?
False
Suppose 2 = 3*p + 10*d - 9*d, -18 = -5*p + 2*d. Suppose -2*f = 