)*(-206)/309 a multiple of 46?
False
Let g = -28795 - -63675. Is 18 a factor of g?
False
Suppose 5*j - 20 = 0, -745 = -4*p + 3*j + 26627. Does 97 divide p?
False
Let p(h) = 49*h**2 + 23*h - 20. Let a(c) = -16*c**2 - 7*c + 6. Let w(s) = 11*a(s) + 4*p(s). Is w(5) a multiple of 33?
True
Suppose 0 = -50*b + 15667 + 464333. Does 128 divide b?
True
Does 150 divide (-17)/(136/15360)*(-210)/56?
True
Suppose -5*f - 21 = 4*u, 3*u = -f - 9 - 15. Let r be 600/u*-3 + 0. Suppose r = 5*a - 4*n - n, 4*a - 5*n - 155 = 0. Is a a multiple of 7?
False
Let w be (-21440)/(-12) + -3*(-6)/(-27). Suppose 7*r - 356 = w. Does 84 divide r?
False
Let s = -161 - -191. Let z = 18 + -35. Let f = s + z. Is 6 a factor of f?
False
Suppose -10970*k + 10969*k + 4445 = 0. Is 7 a factor of k?
True
Suppose -18*p + 1088 = -5194. Suppose -3*n = -j + p, n = 6*j - 5*j - 345. Does 31 divide j?
False
Suppose 4*i - 2*t = 282, 4*i = 2*i - 5*t + 171. Let p = 70 - i. Is 17 a factor of 343 + 0 + p - 5?
False
Let m be 2/(-3) + 190/6. Let x = m + 172. Let j = -113 + x. Does 9 divide j?
True
Suppose -82*i + 284926 = -718646 + 185622. Does 57 divide i?
True
Let w = 91 + -94. Let f be (12/10)/(w/(-45*2)). Suppose -3*r - 5*u = -122, 0*r + r + 4*u - f = 0. Is 11 a factor of r?
True
Suppose 20*a - 19*a - 5 = 0, -5*a = -3*y + 1322. Let h = y - 173. Is h a multiple of 46?
True
Let i = 471 + -289. Let q be -29*(-3 - -5)*1. Let o = i - q. Does 24 divide o?
True
Suppose -g = h - 3710, -1416 + 8836 = 2*h - 3*g. Is 70 a factor of h?
True
Let z(o) = 18*o**2 - 9*o + 30. Let l be z(12). Suppose 8*m = l + 3518. Does 58 divide m?
True
Let i = -336 + 213. Suppose 15*b + 2666 = -529. Let a = i - b. Does 7 divide a?
False
Let l = 2 + 2. Suppose 12*n = 33*n. Suppose -3*f + 189 = 2*f - l*x, 4*f + 2*x - 146 = n. Is 11 a factor of f?
False
Let j(i) = 3*i**2 - 15*i - 132. Let s be j(16). Suppose -8*h + 3*h + s = 2*q, h - 76 = -2*q. Is h a multiple of 16?
True
Let m(j) = 2*j**2 + 27*j + 10. Let y(a) = -a**2 - 26*a - 11. Let l(c) = 6*m(c) + 7*y(c). Is 35 a factor of l(10)?
False
Let c = 15854 + -14329. Is c a multiple of 5?
True
Let l = 3422 - 1196. Is l a multiple of 7?
True
Let o = -16779 - -23601. Is 6 a factor of o?
True
Let p = 14440 - 8778. Is p a multiple of 38?
True
Let u = -19 + 27. Suppose 0 = -u*a - 2*a + 9600. Suppose 5*k = -5*i + a, -2*i + 316 + 80 = -2*k. Is 39 a factor of i?
True
Let t be 14/(-21)*-3*1. Suppose -t*z + z = -5. Is 16 a factor of (84/30*8)/(1/z)?
True
Suppose 5*n - 340040 = -15*n. Suppose -22752 = -26*k + n. Does 60 divide k?
False
Suppose 8*m = m + 7630. Suppose -3*n - a + m + 761 = 0, -5*n + 3085 = 5*a. Does 13 divide n?
False
Let y = -848 - -3186. Is 7 a factor of y?
True
Suppose -4*f + 26 = -42. Let w(v) = 3*v**2 - 44*v - 8. Is 30 a factor of w(f)?
False
Let w(d) = 631*d**2 - 49*d - 44. Does 8 divide w(-5)?
True
Suppose -40699 = -17*c - 7226. Suppose 0 = 21*l + c - 18454. Is 15 a factor of l?
False
Suppose -2*s + 7 = 19. Is 16 a factor of (100/30 - 4/s) + 92?
True
Let c(k) = -k**2 - 14*k + 15. Let t be c(-15). Suppose -6*x + 21 + 15 = t. Suppose -x*r = p - 5*r - 12, 4*r = -8. Is p a multiple of 3?
False
Let u = -646 - -644. Is u/20 - (-5586)/60 a multiple of 93?
True
Let q(x) = 11168*x - 17696. Let k(b) = -438*b + 694. Let u(t) = -128*k(t) - 5*q(t). Is 59 a factor of u(8)?
False
Suppose 4*x - 3 - 14 = s, 4*s + 54 = 2*x. Let j = 7 + s. Is 24 a factor of ((-4)/j)/(8/576)?
True
Suppose -2*a - 1324 = -4*h, 0*a + 662 = 2*h - 2*a. Suppose -793 = -2*i - h. Suppose 3*q + 4*b = 241, i = 5*q - 4*b - 128. Is 14 a factor of q?
False
Suppose 5*h + 6*l = 2*l - 14, h + 4*l + 6 = 0. Let w be (-2 + 5 - 9)*(-3)/h. Is (18/12)/(0 + w/(-300)) a multiple of 25?
True
Let n(y) be the third derivative of 25*y**5/12 - 2*y**4 - 7*y**3/6 + 234*y**2. Is n(-3) a multiple of 20?
False
Suppose 0 = 3*a + 5*j - 24, 4*j = -2*a + 16 + 2. Suppose -2*l + 1 = -a. Suppose 123 = l*z + n, 2*z + 3*n + n - 138 = 0. Does 9 divide z?
False
Let g(y) = -128*y + 513. Is 8 a factor of g(-23)?
False
Let q(f) = f**2 + 10*f - 15. Let r be q(-12). Let z be -1*2 + (17 - r). Suppose -266 = -z*h - h. Does 19 divide h?
True
Suppose -7 = -189*l + 184*l + 9908. Does 80 divide l?
False
Let r(g) = 18*g**2 - g. Let k be r(-1). Suppose b = i - 5, -2 = 4*b - 0*b + 2*i. Is 11 a factor of (-9 - -5)*k/b?
False
Suppose 24694 = 2*s + 9*x, 2*x + 7 = 19. Is 10 a factor of s?
True
Suppose -p = d - 2403, 0*d = d - 2*p - 2409. Is 6 a factor of d?
False
Suppose 3*p - 14 = 7. Suppose -346 + 3 = -p*a. Let j = a + -36. Does 2 divide j?
False
Let l = -7855 + 11125. Does 76 divide l?
False
Suppose -6 + 0 = -2*g - p, 2*p = g - 13. Let i(w) = 3*w**2 - 17*w + 57. Is 12 a factor of i(g)?
False
Suppose -43645 - 6535 = -13*f. Is 27 a factor of f?
False
Let c(d) = -2*d**3 + 10*d**2 + 82*d + 90. Is c(-11) a multiple of 68?
True
Let j be (47 - 46)/(1/5). Suppose -5*g + m = -1982, -10*m + j*m = 10. Does 44 divide g?
True
Let g(r) = 152*r - 28. Let k be g(3). Let d be 1/(-4) - (-189)/36. Suppose -3*c = -y - 289 - k, -d*y + 495 = 2*c. Is c a multiple of 20?
True
Let c(g) = g**2 - 5*g - 3. Let k be c(6). Suppose -6*w - k*b + 143 = -w, 0 = w - 3*b - 25. Is w a multiple of 7?
True
Let m(y) = y**3 + 13*y**2 + 13*y + 14. Let b be m(-12). Suppose -4*s + 3*n + 105 = b*n, 2*s + 4*n = 30. Suppose q - 38 = s. Is q a multiple of 7?
True
Let u(l) = 584*l - 2. Suppose 5*o = 3*r + 4*o, 2*r = -2*o + 8. Is 53 a factor of u(r)?
False
Suppose 650 = 2*h - 152. Suppose 4837 = 4*b + h. Does 35 divide b?
False
Suppose -3*c - 3*i - 5 = 13, i = 5. Is 23 a factor of 2393/4 + c/44?
True
Let t(a) = a**3 + 85*a**2 - 431*a - 393. Is 15 a factor of t(-89)?
False
Suppose 17*f - 20491 - 16889 = 30926. Is f a multiple of 169?
False
Let k = -208 + 212. Suppose 0 = k*i + 35 - 659. Is i a multiple of 6?
True
Let r(b) be the third derivative of -b**5/60 - 7*b**4/6 + b**3/6 + 2*b**2 + 10. Is 9 a factor of r(-16)?
False
Let s = -445 + 473. Let o(q) = q**2 - 12*q + 88. Does 47 divide o(s)?
False
Let r = 75 + 7. Let t = r + -66. Suppose -x = -27 - t. Does 9 divide x?
False
Let g(u) = -9*u**2 + u + 2. Let c(x) = -2*x - 1. Let v = -117 + 115. Let w(f) = v*g(f) - 4*c(f). Does 13 divide w(-4)?
False
Is 2/(-58) - (-30449997)/3277 a multiple of 38?
False
Let b(a) = 4*a**2 + 226*a + 337. Is b(-57) even?
False
Let c(g) = -g - 12. Let u be c(-12). Suppose u = -10*x + 21 + 29. Suppose 155 = 3*v + x*t, 2*v = v + 4*t + 63. Is v a multiple of 11?
True
Suppose 4*h = -4*m + 108, -4*m + 58 = 5*h - 53. Let p = 139 + m. Let n = p + -30. Does 9 divide n?
False
Let p = 7042 - 2302. Is p a multiple of 6?
True
Let s be (-6 - 3)/(-3) - 3. Suppose 0 = -2*g - s*g + 6. Suppose -g*d + 121 + 155 = 0. Does 25 divide d?
False
Let a be (-5)/((-50)/(-4)) - 230925/(-125). Let l = 2964 - a. Is 21 a factor of l?
False
Does 74 divide 9920 + (54/45)/((-212)/40 - -5)?
True
Let i(s) = 1786*s**2 - 16*s - 4. Is i(-2) a multiple of 11?
True
Suppose 13 = 5*h + 3. Suppose -36 - 28 = -h*q. Is 11 a factor of 233/3 + 2 + q/(-12)?
True
Suppose -31 = -7*y - 3. Suppose y*i = -3*j - 13 + 125, -3*j = -i - 122. Is j a multiple of 5?
True
Let l(y) = -y**2 - 3*y + 6. Let d be l(-4). Suppose 5 = 5*n, 2*n = -4*s - d - 4. Does 10 divide (39 - 1) + 4*(-1)/s?
True
Suppose -974 = -2*r + 5*j, -r + 4*j - 70 = -554. Let m = -142 + r. Is 25 a factor of m?
True
Suppose -126592 = 87*z - 151*z. Is z a multiple of 12?
False
Suppose 462 + 369 = 3*f. Let n = f - -9. Is 26 a factor of n?
True
Let j(u) = 199*u**2 - 37*u + 7. Does 3 divide j(2)?
True
Is (128/(-21) - 4/(-42)) + -2 + 2518 a multiple of 11?
False
Is 4/(-14) - (-3982)/308*52 a multiple of 112?
True
Let p(m) = -1304*m**3 - 2*m**2 - 2*m. Let o be p(-1). Does 10 divide (-1)/(3 + o/(-434))?
False
Let l = -241 + 138. Let y = l - -1127. Is 32 a factor of y?
True
Is 12 a factor of (-10)/(-75) + 180195/225?
False
Suppose 1610 = 4*i - 5*v, 0*i = -2*i - 5*v + 820. Let q = i - 187. Is q a multiple of 18?
False
Let q(a) = -30*a + 32247. Is q(0) a multiple of 47?
False
Suppose 2 = -2*t + 5*l, 4*l = 2*t - 0*t. Suppose -2*v = -2*d + 156, 5*d - t*v - 385 = -0*d. Suppose 0 = -3*b - p + 80, -d = -2*b + 4*p - 15. Does 9 divide b?
True
Suppose 0 = -3*k + 2*o - 54, 0*k = -3*k + 3*o - 54. Let j = k + 13. Is 2 a factor of (-92)/j - 16/40?
True
Let d