a factor of d?
True
Suppose 18*q = 26*q - 1016. Let u = q + -23. Does 26 divide u?
True
Let n(o) = 794*o**2 - 74*o + 5. Is n(-4) a multiple of 85?
True
Let u = -121 + 123. Suppose 2*p - 40 = -3*q, u*p + 51 = 5*q + 11. Is q a multiple of 6?
False
Suppose 2013 = 2*v + a + 431, -4*v - 3*a = -3168. Suppose 0 = 2*z + 43*u - 42*u - v, 2*z - 780 = -4*u. Is z a multiple of 33?
True
Suppose 222*f = 215*f + 42700. Suppose 0 = 5*x - 4*u - 6918, f + 836 = 5*x + 2*u. Is x a multiple of 66?
True
Suppose 9 = 2*z - 3*f + 2, 13 = 5*z - 3*f. Let c be -62 + 5 + (z - 2). Is 19 a factor of c/9*(2 + -11)/3?
True
Let f(t) = t**3 + 25*t**2 - 20*t - 20. Suppose -4*v + 2*k - 92 = 0, -8*v - 5*k = -7*v + 45. Is f(v) a multiple of 77?
False
Let q = 10685 + -4302. Suppose 9*p + 1460 = q. Suppose p + 179 = 11*f. Is 22 a factor of f?
True
Does 3 divide (-1 - 1)*(48489/(-42) - -30)?
False
Let v be 794/42 + 120/1260. Suppose 7*w = v + 373. Does 2 divide w?
True
Let h be (0*(1 - 2))/((-60)/(-30)). Suppose h = 344*c - 348*c + 964. Is 30 a factor of c?
False
Let i = -107 - -109. Suppose -15*o + 19*o - 447 = r, -222 = -i*o + 2*r. Is 5 a factor of o?
False
Let o = -2673 - -3009. Is o a multiple of 42?
True
Let f(i) = -2*i - 22. Let u be f(-11). Let v(z) = 2*z**3 + 6*z**2 - 5*z - 4. Let d be v(4). Suppose u = 4*c - 172 - d. Is c a multiple of 15?
False
Let g = -13 - -15. Let k be 18/g*80/(-48). Is (-15)/((3/(-15))/((-9)/k)) a multiple of 9?
True
Let x be -4 - (5 - 1 - 17). Suppose 3*i - 2*n + 6*n = -x, 0 = -n. Does 29 divide i/(512/524 + -1)?
False
Let z(g) = -g**3 - 12*g**2 + 9*g - 63. Suppose -511 + 525 = -y. Does 17 divide z(y)?
False
Is 13 a factor of 9/(-18) - ((-150)/(-180))/(1/(-25131))?
False
Let m = -33679 + 33868. Is m a multiple of 7?
True
Let v(i) = i**3 + 18*i**2 + 13*i. Let b be v(-17). Suppose z = 3*z + 5*q - b, 4*q - 31 = -z. Suppose -228 = 36*u - z*u. Is u a multiple of 19?
True
Let f(g) be the third derivative of 0 + 1/6*g**4 - 27*g**2 + 0*g - 8/3*g**3. Does 2 divide f(8)?
True
Let y(o) = -o**3 + 7*o**2 + 8*o. Let a be y(8). Suppose -2*x = -a*x - 60. Is 14 a factor of x/(-4)*(-112)/20?
True
Is (-44)/(-352) + (-40750)/(-16) a multiple of 8?
False
Let f = -16 + 21. Suppose 5*p = s - 29, f*p + 3 = -s - 8. Does 2 divide 1/((-93)/(-30) + s/(-3))?
True
Let f = 341 + -290. Suppose f*v = 49*v + 594. Is 9 a factor of v?
True
Let s = 534 - 540. Is 23 a factor of (1058/1)/(-4 - s)?
True
Suppose -9 = 3*s - 5*g, -2*s - 16 = -5*g - 5. Suppose -4*r + 2527 = -3*t, -s*r + 3*t = -t - 1266. Is r a multiple of 21?
False
Let i(d) = 375*d**2 + 3*d - 54. Is 66 a factor of i(6)?
True
Let c be (-2)/(-9) + (-18620)/441. Let k(s) = -s**3 - 42*s**2 - 2*s - 56. Is 28 a factor of k(c)?
True
Let c(s) = 2*s**3 + 10*s**2 - 27*s + 86. Is 37 a factor of c(7)?
True
Let t(g) = -g**3 + 17*g**2 - 35*g - 22. Let v be t(9). Suppose 3*i = -v + 1946. Is 43 a factor of i?
False
Let y = 43554 + -24339. Is 63 a factor of y?
True
Suppose 2605801 = -354*a + 1915970 + 14296883. Does 95 divide a?
False
Let t be 2 - (-7)/(28/12). Let a(n) = 0*n - 2 + 0*n + t*n - 2. Is 12 a factor of a(6)?
False
Let j = -17152 - -28800. Does 16 divide j?
True
Let i(v) = -9*v**2 + 7*v**2 + 5 + 17*v - v**3 - 3*v**2 - 11*v**2. Let k be i(-17). Suppose 0 = -2*u + k - 3, 4*p + 2*u - 726 = 0. Does 29 divide p?
False
Let q be (1/3)/(10/(-60)) + 63. Let b = 190 - q. Is b a multiple of 6?
False
Let b = -2080 + 2087. Let p(a) = a - 5*a**2 + 1 + 0*a - 11*a - a + a**3. Does 5 divide p(b)?
False
Let h(a) = -2*a**3 + a + 30. Let k be h(0). Let d = k - 27. Suppose -p = d*p - 280. Does 7 divide p?
True
Let u(i) be the third derivative of i**5/60 - 9*i**4/8 - 77*i**3/3 - 64*i**2. Does 14 divide u(35)?
True
Let b = 1157 + 766. Let h = -911 + b. Is h a multiple of 38?
False
Let v = -60 + 112. Let y = 62 - v. Is 705/y*6/9 a multiple of 4?
False
Let b be (-136)/(-20) - 2/(-10). Suppose -s - b + 11 = 0. Suppose 4*u = 6*a - 2*a - 284, -a - s*u = -86. Is 7 a factor of a?
False
Suppose -11*n - 115 = 699. Does 41 divide (-7)/(-14)*n*(4 - 33)?
False
Let r be 4*75/40*2. Let p be (-9)/(-15) + 51/r. Suppose 2*d = -4*x + 584, 0 = -d - 6 + p. Is 21 a factor of x?
True
Let h(k) = -k**3 - 3*k**2 + 3*k - 4. Let n = 21 - 25. Let i be h(n). Suppose i = 5*c - 11 - 14. Does 5 divide c?
True
Does 5 divide (-1)/(-2) + 11/3*47388/88?
True
Let r = -20905 + 26435. Is 35 a factor of r?
True
Suppose -4*a - 6*a = -3760. Let v = a - 208. Is v a multiple of 11?
False
Is 22 a factor of (-471238)/(-30) + 81/1215?
True
Let j be (-3)/9 - (-5)/15. Suppose j = 3*w + 3*c - 0*c - 1062, 0 = c - 2. Suppose -5*y - 3*y = -w. Is y a multiple of 22?
True
Suppose 0 = 6*o - 1 - 11. Suppose 4*b - 146 = -19*x + 17*x, -3*b - o*x = -111. Is 2 a factor of b?
False
Let y be (-26)/(-143) - (-31)/11. Let r(l) = -l**2 - 19*l - 28. Let z(m) = -m**2 - 18*m - 26. Let a(g) = y*z(g) - 2*r(g). Does 6 divide a(-14)?
True
Suppose -155 = -y - 54. Let q be (19 - 21)*(67/2 + -3). Let x = q + y. Is x a multiple of 8?
True
Let h = 122 - 101. Let t = 39 - h. Suppose 0 = -z - t + 35. Does 2 divide z?
False
Suppose -8 = -f - 20. Is 13 a factor of (24/9)/(-4) - 2768/f?
False
Let o = 75325 + -51041. Is 13 a factor of o?
True
Suppose 43 = 23*o - 95. Suppose -36 = -4*i - 4*k, -2*k + 16 = -o*k. Is i a multiple of 9?
False
Suppose -8*t = -5*t - 15. Suppose 3*w + 2*x - 16 = -2*w, -t*w - 4*x + 22 = 0. Suppose -8*d + 3*d - u = -32, w*u + 6 = 0. Is d a multiple of 7?
True
Let k be -2 - (-13)/(52/24). Suppose 5*t + 60 = 5*x, 0 = -k*x - 6 - 2. Is (-1)/(-2) - 35/t - -7 a multiple of 2?
True
Let s(t) = 4399*t**2 - 220*t - 220. Is s(-1) a multiple of 15?
False
Let d(p) be the first derivative of -21/2*p**2 - 33 + 4/3*p**3 + 6*p. Is 22 a factor of d(12)?
True
Suppose 0 = -6*i + 35 + 121. Let z(w) = 2*w + 19. Is 8 a factor of z(i)?
False
Suppose -3*b = 3*p - 2205, 6*p + 2938 = 10*p + 2*b. Is 5 a factor of p?
False
Let l be (-1 + -4 - -5)/(-2). Suppose -5*g - 4*c + 299 = l, -3*g + 83 = 2*c - 98. Is g a multiple of 6?
False
Suppose 10*u - 823 = -2*u - 859. Let f(w) = -121*w - 1. Let r be f(-1). Is 24 a factor of r - 0/(u - -7)?
True
Let j = 23283 + -4056. Is 221 a factor of j?
True
Suppose -c + 0*c - 35 = -3*y, c - 61 = -5*y. Suppose 88 = -y*d + 4*d. Is 17 a factor of -3*d/(-6)*-34?
True
Let d = 29152 - 20964. Is d a multiple of 8?
False
Let s(j) = 108*j + 3591. Does 15 divide s(28)?
True
Let l(g) = -g**3 + g**2 + 7*g + 2. Let t be l(3). Let x be t/1 - (-11 - -21). Is 9 a factor of -2*((-135)/(-6))/x?
True
Let s be (-3)/6*3120/15. Let w = s + 219. Does 13 divide w?
False
Suppose -2*c + q + 10205 = 0, 6*c - 15320 = 3*c + 4*q. Is 34 a factor of c?
True
Let f = -163 - -167. Suppose -f*t = -5*d + 1178, t + t + 4 = 0. Is 10 a factor of d?
False
Let z(x) = 3*x**3 + 40*x - 30. Is 17 a factor of z(16)?
False
Is 51 a factor of (294/(-35) - (-8)/20) + 11462?
False
Let c = -2125 + 28657. Is 239 a factor of c?
False
Let u be 77/22*(-6)/(-7). Suppose -17 - 1 = -u*k. Does 43 divide (-198)/(3/k*(1 + -3))?
False
Let c(f) = f**3 + 10*f**2 + 9*f + 4. Let a be c(-9). Suppose 0 = -a*i + 3*k + 36432, i - 5*k = 7576 + 1532. Is 4 a factor of (i/16)/11 - 1/(-4)?
True
Suppose 164*h - 173*h + 27416 = 2360. Does 8 divide h?
True
Let a(p) = 27*p - 17. Let l be a(-4). Is (2400/l)/(2/(-15)) a multiple of 18?
True
Let v(m) = 31*m**2 - m - 4. Let r be v(-3). Let z be 4/10*(1 - 13/78)*12. Suppose 0 = -k - z, 38 = 2*t - k - r. Is t a multiple of 17?
False
Let l(x) = 6138*x**2 - 16*x - 50. Does 55 divide l(3)?
False
Let j(n) = -n**2 + 5*n - 1. Let x be j(2). Suppose -2*t - 4*l + 23 = t, -x*l = -10. Suppose o - 126 = -t*i, -7*o = -3*o - 3*i - 573. Is 14 a factor of o?
False
Let j(s) be the third derivative of s**5/2 - s**4/3 - 7*s**3/3 - 11*s**2 + 2. Is j(-3) a multiple of 5?
True
Suppose 20017 = 5*q + 4*d, -353 + 361 = -4*d. Is q a multiple of 23?
False
Let w be -3*(-1)/(-7) - 371316/(-231). Suppose 26*o - 83 - w = 0. Is 8 a factor of o?
False
Is 18 a factor of (1 - -11) + 94 + 1568?
True
Let i = 474 - -1. Suppose 0 = 11*x - 6*x - i. Is x even?
False
Suppose -370 = -50*y + 13*y. Suppose 2548 = y*u + 4*u. Does 107 divide u?
False
Let h = -14540 - -24554. Is h a multiple of 54?
False
Suppose 4*f - 2*f = 4*i + 22002, 32997 = 3*f - 4*i. Suppose 3*r + 2*r = 4*l + 11022, 5*l