 2 divide ((-130)/156)/(-2 + 2 + (-3)/414)?
False
Suppose 0 = v - 5*v - o + 13302, -2*v + 6672 = -3*o. Does 4 divide v?
False
Suppose 4*a = -2*v - 231 + 647, -802 = -4*v - 2*a. Suppose -30*i + 21*i + 81 = 0. Let b = i + v. Does 11 divide b?
False
Let u = -339 - -354. Suppose 3*s - u = 0, 0*p + 236 = 3*p - 2*s. Is p a multiple of 18?
False
Suppose 14*h - 6*h = -176. Let g be (4651/11 - 4/h) + -3. Is 5 a factor of (g/126)/(22/(-24) - -1)?
True
Let v = 15663 - -3416. Is v a multiple of 12?
False
Let i(g) = 7*g**3 - 12*g**2 + 8*g - 7. Let u be i(4). Suppose 0 = 5*t - 5*o - 245, -5*t - 4*o + u = -0*o. Is 4 a factor of t?
False
Suppose -953*v = -945*v - 24. Suppose 2*a = -v*l + 1166, 6*l + 1727 = 3*a + 5*l. Does 10 divide a?
False
Suppose -5*q - 19*h + 7117 = -23*h, -2852 = -2*q - h. Is 25 a factor of q?
True
Let h(m) = -5069*m - 1211. Does 4 divide h(-3)?
True
Let b(m) = -68*m + 9. Let t be b(6). Let v = -259 - t. Suppose j - 8 = 5*j, -5*z - 5*j + v = 0. Does 5 divide z?
True
Suppose 9*u - 5*u + 24238 = m, 20*u - 72810 = -3*m. Is m a multiple of 97?
True
Suppose -3*g = 8*g + 77. Is (g + 0)*265/(10/(-2)) a multiple of 22?
False
Suppose 5*p = 52 - 42. Suppose -f + 35 = p*y, -2*f + 12 = 2*f. Does 12 divide y?
False
Let t(m) = 411*m**2 + 26*m - 37. Is t(-4) a multiple of 11?
True
Let r(n) = -n**2 - 17*n - 4. Suppose d = s - 16, 0 = -d + 2*s - 26 + 5. Is r(d) a multiple of 3?
False
Let a(j) = -j - 14. Let o be a(-14). Suppose o = -3*g + 155 + 745. Suppose 4*x + 4*u - g = 0, 3*x - u - 225 = u. Is x a multiple of 15?
True
Let u be (-4)/(-2)*(-1072)/(-32). Suppose -6*r - u = 23. Is 205*1 + (r - -12) a multiple of 11?
False
Let j(p) = -18*p - 176. Let u = 311 - 331. Is 11 a factor of j(u)?
False
Let m = -348 - -371. Is (m - -5)/(7/84) a multiple of 12?
True
Suppose -1 = -4*x - 5*n + 4, -5*x + 3*n - 40 = 0. Let v(p) = p**2 + 2*p - 9. Let y be v(x). Suppose -y = -q + 2*c, -3 = c - 5. Is 5 a factor of q?
True
Let n(a) = 26*a**2 + 24*a + 3. Is 5 a factor of n(-23)?
True
Suppose -12*u + 5*y + 44 = -9*u, 0 = 4*u - 4*y - 56. Suppose u + 17 = j. Is j a multiple of 15?
True
Let g = 9 - 5. Suppose g*q = 9*q - 35. Suppose 160 = -2*h + q*h. Is h a multiple of 8?
True
Let p(s) = s**3 - 27*s**2 + 30*s - 101. Let j be p(26). Let h(c) = 2*c**2 - 25*c + 85. Is 2 a factor of h(j)?
True
Let i = -191 + 193. Suppose -9*s + 7*s = 0, -4*h + i*s + 448 = 0. Is h a multiple of 8?
True
Is ((-54684)/(-90))/((-17)/(-5) + -3) a multiple of 3?
False
Let q(s) = -1927 - 13*s + 0*s + 1787 + s**2. Is q(41) a multiple of 14?
True
Let b(l) = -25*l + 65. Let s be b(-16). Suppose 3*w - 1 = -k, 2*k = 4*k + 10. Suppose w*f + 3*f = s. Is 19 a factor of f?
False
Suppose -44*w + 120235 = -9169. Is 7 a factor of w?
False
Let t be 6 + 1/3 + (-288)/(-27). Is 44 a factor of 13857/15 + t/85?
True
Let z(l) = -11*l**2 - 2*l + 55. Let h(d) = 32*d**2 + 5*d - 158. Let i(q) = 6*h(q) + 17*z(q). Let x be (15/6)/(1/2). Is 19 a factor of i(x)?
False
Let m(o) = 4*o**3 + 4*o - 3. Let a be m(2). Let f = 40 - a. Suppose f*r + 7 = 4*r. Does 7 divide r?
True
Let o = 453 - -669. Is o a multiple of 22?
True
Let y(c) = c**3 + 19*c**2 + 26*c + 14. Let i be y(-13). Suppose 6*v = 12*v - i. Suppose n - 29 = v. Is n a multiple of 8?
True
Let m = 7365 - 3840. Does 34 divide m?
False
Let b(d) = 13*d**2 + 1. Let g be b(2). Suppose -5*n + g = -2*n + v, 0 = 3*n - v - 43. Suppose -k + n = k. Does 4 divide k?
True
Suppose -3*r - 859 - 343 = -4*k, 3*r + 4*k = -1210. Let a = -168 - r. Does 13 divide a?
True
Suppose -47*u - 52*u = -202883 - 644161. Is u a multiple of 12?
True
Let g(f) = -f**3 + 19*f**2 - 49*f + 25. Let c be g(16). Suppose 4*o + 728 = 4*k, c*o - 5*o = -4*k + 712. Is 18 a factor of k?
True
Let p = -434 + 295. Let a = p + 271. Does 22 divide a?
True
Let v be (-348)/(-7)*(-133)/19. Let a = -346 - v. Is 2 a factor of a?
True
Let s(z) = -z**3 - 19*z**2 - z - 17. Let o be s(-19). Suppose -4*f - o*d + 56 + 52 = 0, 5*f - 3*d = 135. Does 27 divide f?
True
Let u be 36/10 - 2/(-5). Suppose u*m - 342 = -2*m. Let g = -29 + m. Does 4 divide g?
True
Let u = -1202 + 403. Let g = -1236 + u. Is g/(-15) - 1*8/12 a multiple of 27?
True
Suppose 2827*m - 2813*m - 7448 = 0. Is m a multiple of 76?
True
Let k(z) be the first derivative of -15*z**2/2 - 36*z + 6. Let b be k(-9). Suppose -33 - b = -3*y. Does 5 divide y?
False
Let f(z) = z**3 - 27*z**2 + 2*z - 34. Let n be f(27). Suppose -13*a = -n - 32. Suppose -r - 188 = -2*l - 5*r, l = a*r + 76. Does 11 divide l?
True
Let g(o) = 679*o + 931. Is g(21) a multiple of 40?
False
Let w(m) = -m**3 - 6*m**2 + 18*m + 18. Let l be w(-8). Suppose l*d - 1947 = -519. Does 34 divide d?
True
Suppose 3*r - 7*r = 0. Let c(k) = -k**2 + 4*k - 6. Let l be c(r). Is -20*(-2)/l*(0 + -12) a multiple of 20?
True
Let g = -6 + 5. Let b be (g + 1)/(-8 + 9). Suppose -4*i + 3 + 365 = b. Does 23 divide i?
True
Suppose 0*c - 3*c - j = -142186, -4*c + j = -189565. Is c a multiple of 23?
False
Let f(j) be the third derivative of 17*j**4/24 - j**3/3 + 235*j**2. Is f(10) a multiple of 14?
True
Let h(i) = 6*i**2 - 5*i + 29. Let s be h(9). Let t = 768 - s. Is 18 a factor of t?
False
Suppose 16 = 4*q - 4. Suppose 254 + 3642 = 4*a - 2*r, -q*a + 2*r = -4868. Does 27 divide a?
True
Let i = 558 - 499. Let n(x) = x**2 + 4*x - 3. Let d be n(2). Suppose d*o - 31 = i. Is 3 a factor of o?
False
Let x(l) = 202*l - 326. Let o be x(13). Let v = o + -1409. Is 68 a factor of v?
False
Let d be 0 - -1 - (-7 - (-18 - -7)). Is (16/(-28))/((-38)/(-14) + d) a multiple of 2?
True
Let a(b) = b**3 + 8*b**2 - 6*b - 42. Let o be a(-8). Let k(s) = -16*s + 158. Does 9 divide k(o)?
False
Let j(z) be the first derivative of -19*z**2 + 75*z - 2. Is j(-10) a multiple of 13?
True
Let f(n) = n**3 + 8*n**2 + 2*n - 8. Let q be f(-6). Suppose -5*b + q = -4*b. Suppose -3*o + b = o. Does 13 divide o?
True
Let a = -17 - -24. Let r(v) = 12*v + 12. Let h be r(-1). Suppose h = a*p - 4*p - 795. Does 49 divide p?
False
Suppose -26*c + 17*c + 45 = 0. Suppose 0 = -2*a - 5*u + 109, -3*u + 0*u = -c*a + 257. Is 3 a factor of a?
False
Let h = 41547 - 23826. Does 11 divide h?
True
Suppose 205*v = -4*t + 203*v + 32726, -5*v - 40870 = -5*t. Does 18 divide t?
False
Let i(t) = 2*t**3 - t**2 + 11*t - 24. Let a be ((-22)/154 - (-2)/14) + 4. Does 2 divide i(a)?
True
Let c = -13265 + 23812. Is c a multiple of 53?
True
Suppose -65 = -5*u - 50. Suppose -2*j + 285 = -u*k, -4*j + 2*k + 0*k = -574. Suppose -2*m + j = m. Is m a multiple of 16?
True
Suppose -19*s + 2 = 17*s - 37*s. Let n be 31 + 0 + -1*1. Is (380/n)/(s/(-30)) a multiple of 19?
True
Let q(w) = -9*w**2 + 272*w - 69. Does 2 divide q(24)?
False
Suppose 4*r + 16 = 2*h - 12, 0 = -5*h - 4*r. Suppose -5*u - n = -201 + 182, -u - 5*n + 23 = 0. Suppose 0 = -h*c + 4*p + 32, 4*c = c - u*p. Is c a multiple of 2?
True
Let q = 2 + 10. Let b be (q/(-3) + 5)/((-2)/(-10)). Suppose -b*p = -10*p + 735. Does 34 divide p?
False
Let b(h) = 15*h**2 - 32*h + 110. Let s be b(4). Suppose -2*i = -3*m + 2*i + 335, -4*i - s = -2*m. Is m a multiple of 11?
False
Suppose -13*i = 7*i - 160. Suppose 1176 = i*r + 16*r. Is r a multiple of 25?
False
Let n be 12/8 - -14*(-145)/(-20). Let u = -26 + n. Is 19 a factor of u?
False
Suppose -6482 = -8*a - 6*a. Let w = 697 - a. Does 89 divide w?
False
Let s = -5611 + 6373. Does 6 divide s?
True
Suppose 672*o + 2*v - 52304 = 668*o, -5*o - 3*v = -65380. Does 14 divide o?
True
Is 78 a factor of 1/(6/122670) + 504/(-56)?
True
Let a(v) = 5*v**3 - 2*v**2 + 4*v - 1. Let z be a(2). Suppose 34*o = 47*o - z. Does 3 divide o?
True
Suppose 0 = 5*c + 5*p - 4745, 2*p - 1224 - 2564 = -4*c. Suppose 9*o + c = 2*o. Let j = 180 + o. Does 15 divide j?
True
Let b(v) = 220*v**2 + 42*v - 74. Is b(2) even?
True
Suppose -51*m - 2880697 = -217*m + 1603793. Does 10 divide m?
False
Let v = 61 + -55. Let l = v + -3. Suppose 0 = -4*j - 3*s + 2*s + 183, -l*s - 49 = -j. Does 25 divide j?
False
Suppose -63*z + 64*z - 1023 = 0. Is z a multiple of 11?
True
Let s = -85152 - -145576. Does 360 divide s?
False
Suppose -232 + 67 = 5*p. Suppose -21*z + 2263 = 10*z. Let r = z + p. Is 27 a factor of r?
False
Let h(v) = -75*v - 2376. Is h(-58) a multiple of 14?
True
Suppose n = 5*d + 4541, 16 - 40 = 4*d. Does 13 divide n?
True
Let g(t) = -t**3 + 32*t**2 - 29*t - 49. Le