2 - -22. Let t = 23 - c. Does 12 divide (36/40*-4)/(t/(-40))?
True
Suppose -1442*o = -1425*o - 40409. Is o a multiple of 12?
False
Let v = -14833 + 25606. Is 171 a factor of v?
True
Suppose 4*v - 94 = -2*h + 28, -v = -3*h - 13. Is 4 a factor of v/(((-1)/(-6))/1)?
True
Let h(i) = -3*i - 583 - 583 + i**2 - 18*i**3 + 1170. Does 36 divide h(-3)?
False
Suppose -51*a = -52*a - b + 815, 4*a + 2*b - 3250 = 0. Let z = -480 + a. Is 22 a factor of z?
True
Suppose 13 = -b - 5*o, -2*o - 16 + 8 = 0. Let p(x) = -4 - 10 - b - 2*x + 17. Is p(-17) a multiple of 4?
False
Let k(i) be the first derivative of -i**4 - 2*i**3/3 + 11*i**2/2 + 18*i - 8. Let u be k(6). Is 11 a factor of u/21*70/(-20)?
False
Let d(u) = -u**2 + 8*u - 6. Let j be d(6). Let g be 11/j + (-4)/(-24). Suppose p + k - 97 = 0, -p + 0*k = g*k - 98. Is p a multiple of 32?
True
Let u(q) = q**2 - 12*q - 2. Let x be u(4). Let y = 187 - x. Is y a multiple of 10?
False
Let s be (60/16)/((-52)/64 - -1). Let f be (-4)/6*(0 + -3). Suppose -4*k = -5*g + 32 - 9, s = 2*g + f*k. Is 3 a factor of g?
False
Let c(r) = -1597*r - 138. Does 47 divide c(-3)?
True
Suppose 722*q - 712*q = 97680. Is 44 a factor of q?
True
Suppose 4*y = 4*m + 116, 3*y + 9 = -0. Let a be ((-8)/m - 99/(-12))*24. Suppose 0 = -6*v - a + 1254. Does 25 divide v?
True
Suppose -3506 - 209473 + 27651 = -11*u. Does 67 divide u?
False
Let s be -1 + ((-14)/(-21))/((-2)/6). Is 12/(-14)*252/s a multiple of 21?
False
Let v(m) = 2*m**2 - 16*m - 30. Suppose 4*s - 6*l = -2*l - 44, -21 = 3*s + l. Does 22 divide v(s)?
False
Let i be 286 - (2 + -5) - 4. Suppose -f + 2*f = i. Is 87 a factor of f?
False
Let t(y) = -36*y + 1124. Is t(30) a multiple of 3?
False
Suppose 7*z + 17 = 2*z + f, 0 = 3*z + 4*f + 24. Is (-16)/4 + z/(-8)*188 a multiple of 10?
True
Let r = 586 - 378. Let x = r - -188. Does 12 divide x?
True
Let n(f) = 4*f**2 - 81*f - 32. Let g be n(25). Suppose 2*h = 3*m - 7*m + 186, m + g = 5*h. Is h a multiple of 4?
False
Let f(l) = -l**3. Let q(r) = 4*r**3 - r**2 - 14*r + 236. Let p(w) = 5*f(w) + q(w). Does 19 divide p(0)?
False
Let l be (-8)/(-3)*(-9 + 12). Suppose 11*n = l*n + 18. Does 8 divide 876/18 + n/(-9)?
True
Let b(s) = -3*s**2 + 102*s + 2. Does 62 divide b(17)?
False
Suppose -y - 3*o = 4, y = -5*o + 3*o - 2. Suppose 4*j + 800 = f, -4*f + 2100 = -y*j - 1044. Suppose 0 = -5*p + 13*p - f. Is 8 a factor of p?
False
Let x = -23 - -31. Let m be 3/(-12) + 514/x. Suppose -3*b = -104 - m. Does 7 divide b?
True
Let m = 8585 + 983. Is 26 a factor of m?
True
Suppose -8*w - 6 = -38. Suppose -3*b + 1564 = -w*t, -3*t = -4 + 7. Does 95 divide b?
False
Suppose a - 4869 = -3*h - 830, -5*h - 30 = 0. Does 5 divide a?
False
Let w be 13 + -14 - (9 - 1). Let n(v) be the second derivative of -v**5/20 - 5*v**4/6 - 7*v**3/3 - 10*v**2 + 5*v. Is n(w) a multiple of 25?
True
Let d(g) = 17*g**2 - 395*g - 92. Is d(41) a multiple of 58?
False
Let g = 7722 + -2682. Is g a multiple of 30?
True
Let j(r) = -2*r**2 + 22*r + 216. Let h be j(-7). Does 32 divide (-4 + (-748)/5)*120/h?
True
Suppose n - 6*i = -11*i + 35440, 0 = -5*n - 4*i + 177263. Suppose 12205 = -31*g + n. Is g a multiple of 15?
True
Let a(z) be the third derivative of -22*z**2 - 1/8*z**4 + 0 - 1/3*z**3 + 0*z. Is a(-9) a multiple of 19?
False
Let j(q) = 3*q**2 + 14*q - 6. Let g be j(-10). Let b = g + -107. Let o = 61 - b. Is o a multiple of 12?
False
Let r(g) = 21*g**2 + 12*g - 20. Let c be (-3)/1*(-30)/45. Is r(c) a multiple of 3?
False
Let a(s) = -8075*s - 4 + 16144*s + 52 - 8067*s. Let d = -39 + 65. Is a(d) a multiple of 23?
False
Suppose -4*b + 33*i = 36*i - 1534, -2*i = 2*b - 768. Suppose -2*j + b = h, -j = -h - 0*j + 397. Does 7 divide h?
True
Let j(m) = -3*m**3 - 22*m**2 - 3*m - 86. Let h(l) = 2*l**3 + 15*l**2 + 2*l + 57. Let n(t) = 7*h(t) + 5*j(t). Is n(-7) a multiple of 15?
False
Let l be 4*(-8)/(-6) - 11/33. Suppose 0 = l*c + s - 1976, -4*c - 772 = -6*c - 5*s. Is 9 a factor of c?
True
Suppose 0*k = -7*k + 28. Suppose -3*y - 2*n - 2 = -k, 4*y - n - 10 = 0. Suppose -h + 37 = y*o - 2*h, o - h - 17 = 0. Does 10 divide o?
True
Suppose -6*k = -k. Suppose -t + 8*t + 1925 = k. Let s = t + 471. Is 28 a factor of s?
True
Suppose -2*j + 8 = p - 6*j, 2*j = -3*p + 80. Suppose -w + p = -28. Is w a multiple of 8?
False
Let j(m) be the second derivative of -15*m**5/2 + m**4/6 + m**3/3 + m**2 + 33*m. Does 19 divide j(-1)?
True
Let y(p) = 47*p**3 + p. Let o be y(1). Is (o - 44)/((12/(-158))/(-3)) a multiple of 9?
False
Let g = 389 + -232. Let s = 117 - g. Is (-1204)/s + (-2)/20 a multiple of 4?
False
Suppose 7*f = 4*f + 15. Suppose 5*p + 3*u - 5056 = 2*u, 5*p = f*u + 5080. Is p a multiple of 26?
False
Does 13 divide (22/(-20) + (-90)/225)/((-12)/95888)?
True
Let x(w) = -4*w**2 - 37*w + 2325. Is 25 a factor of x(0)?
True
Suppose 2*p - 19*w + 17*w = -6, 1 = w. Does 29 divide (682/(-66))/(p/408)?
False
Let v(q) = -2*q + 3. Let g be v(-4). Let b be ((-55)/g)/(1*-1). Suppose 165 = 10*n - b*n. Is 11 a factor of n?
True
Suppose 5236 = 26*f - 27940. Is f a multiple of 58?
True
Let x be 23216/(-40) - 2/(-5). Let j = x + 994. Suppose -2*c + 2*b = -162, c + 4*c - 2*b = j. Is 7 a factor of c?
True
Suppose -17*h + 19*h = 10. Suppose -h*o = -5*j - 1680, 2*j = 5*j - 15. Let t = o + -162. Is 12 a factor of t?
False
Suppose 2 = -2*p + 3*p. Suppose -5*u - 5*l = 25, -p*u + 3*u - 2*l - 10 = 0. Suppose u = 2*o + 5*i - 115, o + 3*o - 3*i = 217. Is o a multiple of 55?
True
Let t(f) = -80*f + 89. Is 72 a factor of t(-32)?
False
Let f = -2412 + 4690. Does 52 divide f?
False
Let q = -7679 - -9556. Does 6 divide q?
False
Let d(w) = -w**3 + 15*w**2 - 24*w - 23. Let f be d(13). Suppose -f*o + 616 = -2*c, 0 = -3*o + 7*o + 2*c - 826. Is o a multiple of 4?
False
Let h = 11645 - 10560. Is h a multiple of 26?
False
Suppose -2*g + h + 1994 = -2690, -5*h + 2320 = g. Suppose 66*a - g = 46*a. Is 6 a factor of a?
False
Let n be (-36)/(-15)*(-1 - 21/(-6)). Let b be (2/n)/((-210)/(-36) + -6). Is 19 a factor of (15004/(-16))/(-11) - b/(-8)?
False
Suppose -w - 2389 = -5*y - 208, w = 4*y - 1745. Suppose -3*l + 416 = -y. Does 17 divide l?
False
Suppose 52*l + 40*l = -13*l + 2862300. Does 145 divide l?
True
Let w(i) = i + 1. Let f(h) = 0*h - 14*h + 3*h + 2*h**2 - 4*h. Let m(c) = f(c) + 6*w(c). Does 25 divide m(-7)?
False
Let d = 14577 + -14307. Does 45 divide d?
True
Let t(s) = 2. Let z(g) = -10*g**2 - g + 21. Let w(b) = 3*t(b) - z(b). Let q(h) = -h**2 + 4. Let k be q(-3). Does 16 divide w(k)?
False
Suppose 2*o = 1977*j - 1979*j + 3250, 3*o - 3 = 0. Is 3 a factor of j?
False
Let t(q) = -425*q - 1341. Does 23 divide t(-29)?
False
Suppose -5*q = -4*k - 13, 4*k - 2 = 2*q - 0*q. Does 6 divide (q*(-4)/16)/((-4)/1296)?
False
Let z(d) = 5*d - 3. Let s be z(1). Suppose p - 628 = -s*b, -4*b + 5*b + 3*p - 324 = 0. Does 24 divide b?
True
Let g = 83 + -36. Suppose -10*t = 2*t + 420. Let n = g + t. Is 3 a factor of n?
True
Is (232/(-3))/(42 - (-99801)/(-2376)) a multiple of 164?
False
Let h = 232 + 2447. Does 19 divide h?
True
Let n(p) = -p**2 - 2. Let z be n(-3). Let x = 16 + z. Suppose -2*l + 346 = x*q, 3*q = -2*l + 2*q + 338. Is l a multiple of 14?
True
Suppose 1063106 = 3*a - 13*a + 32*a. Is a a multiple of 253?
True
Suppose 0 = -7*c - 53 - 115. Let o be ((-80)/c)/(1/3). Does 11 divide (44/o)/(1/45)?
True
Let t be 3/15 - 1/((-15)/5202). Let n = -256 + t. Is 9 a factor of n?
False
Let j be ((-329080)/(-60))/((-2)/(-3)). Suppose -15*l + 21757 = j. Is l a multiple of 11?
True
Let w(k) be the first derivative of -4*k**3 - 2*k**2 - k + 27. Let v be w(-1). Is 117 + 0 - (v + 5) a multiple of 12?
False
Suppose 616*i - 630*i + 21000 = 0. Does 100 divide i?
True
Suppose -2*n - j = -0*j - 484, 0 = 3*n + 3*j - 732. Let i = n - 120. Is i a multiple of 16?
False
Let k = 296 + -424. Let u = -3209 - -3112. Let h = u - k. Is 31 a factor of h?
True
Suppose n - 30 = -0*n - 5*m, -2*m = 2*n - 20. Suppose c - n*c = -1064. Does 19 divide c?
True
Suppose -3*r - 3 - 17 = -x, -2*r = x - 20. Suppose -x = 3*k + 16. Is 861/5 + k/60 a multiple of 9?
False
Let k = -7313 + 17765. Is k a multiple of 40?
False
Let o = -47 + 41. Let z(t) = -2*t**3 - 4*t**2 - 2*t + 20. Is 20 a factor of z(o)?
True
Let k(j) = 84*j**2 + 15*j - 183. Does 43 divide k(9)?
False
Let x = -290 - -282. Does 9 divide (-282)/36 - x - (-