 203*d + 15779 = a + 199*d. Does 45 divide a?
True
Suppose 2*k - 3769 = -5*d, d = -k + 2016 - 139. Does 36 divide k?
True
Suppose 4*x - 2*d + 222 = -0*x, -x = -3*d + 63. Does 37 divide 468/x*351/(-6)?
False
Let y = 578 - 74. Suppose 132 + y = 3*o. Is 21 a factor of o?
False
Let z = -7105 - -9785. Is 11 a factor of z?
False
Let r = -235 - -178. Let a = 129 + r. Does 6 divide a?
True
Suppose 41*s = 36*s + 8430. Is s a multiple of 71?
False
Suppose -s - o + 2 = 0, o + 5 + 3 = s. Suppose -s*y + 1190 = k - 6*y, 2401 = 2*k + 5*y. Does 70 divide k?
False
Let q be 5/(-10) - 0 - (-2)/4. Suppose q = -4*u - l + 47, l + 2 = 1. Suppose -u = -4*p - 3*r + 32, -5*p + 3*r = -55. Is 2 a factor of p?
False
Suppose -2*d + 3*q + 3806 = 0, -4*d + 5029 + 2561 = 5*q. Is d a multiple of 20?
True
Suppose -4 - 11 = -3*z + 3*h, z + 2*h - 2 = 0. Let a be (z/10)/(13/130). Let r(o) = 8*o - 7. Is 5 a factor of r(a)?
True
Suppose 98*d = 86*d + 112728. Suppose 6*q = -5*q + d. Is 49 a factor of q?
False
Suppose 2*k + 2*s = 2928, 0 = -3*k + 8*k + 2*s - 7311. Suppose 4*f - k + 1237 = 0. Is 54 a factor of f?
False
Let r(o) be the second derivative of o**6/360 + o**5/24 - o**4/4 + 7*o**3/6 - o. Let w(a) be the second derivative of r(a). Does 6 divide w(3)?
True
Suppose 0 = 4*l - 5*y - 20694, 2*y = -2*l + 7908 + 2412. Is l a multiple of 18?
True
Let n be -4 - -305*(2 - 1). Let q = -474 + n. Let m = 263 + q. Does 10 divide m?
True
Let r be ((-2308)/(-6))/(((-12)/(-9))/2). Suppose -6*k + r = 145. Is 8 a factor of k?
True
Suppose -56303 = -17*w + 53568. Is w a multiple of 108?
False
Suppose -4*l + 24 = 0, -6*i - 8052 = -7*i + 3*l. Is i a multiple of 15?
True
Let z = 28519 + -15546. Is z a multiple of 73?
False
Is 63 a factor of (-11)/4 + 2 + -1245*996/(-240)?
True
Is 26 a factor of 39/12*(-14 - (-4844)/14)?
False
Let j = -87 - -87. Suppose d + 181 - 1022 = 3*v, 5*d - 2*v - 4244 = j. Is d a multiple of 50?
True
Let k be (-175194)/594 - 2/33. Let x = 57 - k. Is x a multiple of 11?
True
Suppose 3*r - 5 = -2*g + 17, 3*r = -4*g + 32. Suppose -4800 = -r*a - 20*a. Is a a multiple of 10?
True
Suppose 0 = 12*n - 8*n + 64. Let s = 4 + n. Is 9 - 9/(27/s) a multiple of 13?
True
Is 17 a factor of (-15946)/8*(-11)/(-33)*-24?
True
Let x = 1715 - 173. Does 4 divide x?
False
Let u(t) = t**3 - 45*t**2 + t + 53. Does 27 divide u(46)?
False
Let q(s) = 252*s**2 - 2*s + 22. Is q(7) a multiple of 9?
False
Suppose 0 = 4*o, 3*o - 49 = -3*j - 253. Let g = -66 - j. Suppose a - 4*a - g*f = -44, 2*f - 28 = -2*a. Does 6 divide a?
False
Suppose 0 = -2*s + j + 640, 38*j - 39*j - 319 = -s. Is 38 a factor of s?
False
Let y(t) = -92*t**3 + t**2 - 3*t - 2. Let o(c) = 276*c**3 - 3*c**2 + 10*c + 6. Let f(i) = -2*o(i) - 7*y(i). Let l be f(-1). Let x = 100 + l. Is x even?
True
Suppose 3*y + 7032 = r, 17*y = -r + 16*y + 7040. Is r a multiple of 31?
False
Let p(n) = 275*n**3 + 12*n - 12. Let d(k) = k**3 + 6*k**2 + 7*k + 43. Let v be d(-6). Does 4 divide p(v)?
False
Suppose 2*w = 8*w - 10686. Suppose 4*r - w = -9*r. Suppose 0 = -11*v + 1304 + r. Does 19 divide v?
False
Let u be 150/60*1*2. Suppose 0 = 2*p + 6*o - o - 42, u*p + 5*o = 75. Is 4 a factor of p?
False
Suppose r + 36 = 649. Let m = -270 + r. Is 17 a factor of m?
False
Is (1281/252 + 1/(-12) + -12)*-195 a multiple of 35?
True
Let v be 4070/(-15) - (-1)/6*2. Let t = 702 + v. Is t a multiple of 11?
False
Let a(w) = 9*w**2 - 109*w - 1565. Is a(-13) a multiple of 2?
False
Suppose -38*k = -3091 - 4645 - 3816. Does 98 divide k?
False
Is 3 a factor of 22/(-33) - (-38980)/15?
True
Let a(k) = 7*k**3 + 16*k**2 - 12*k + 21. Let t(j) = j**3 + j**2 - 2*j + 1. Let d(p) = -a(p) + 5*t(p). Is 42 a factor of d(-9)?
False
Suppose 27364 + 46050 = 11*z + 5698. Is 81 a factor of z?
True
Let d = -7 + 3. Let i(u) = -u**3 - 5*u**2 - 7*u - 4. Let x be i(d). Is x/(-24) + (-1250)/(-6) a multiple of 32?
False
Suppose -x + 3*x = -5*w + 27, x = 1. Suppose -8*z - 460 = -9*z + 4*n, w*z - 2262 = n. Is 40 a factor of z?
False
Let b = -6084 - -6459. Is 3 a factor of b?
True
Let j be 18 - 0 - 0/(1 + -3). Suppose 17*l + 403 = j*l. Let p = l - 232. Does 34 divide p?
False
Is 3*3 + 376 + 275/25 a multiple of 44?
True
Let s(g) = g**2 - 4*g. Let l be s(5). Suppose 0 = 3*m - l*c + 4*c - 327, 3*c - 436 = -4*m. Let h = -97 + m. Is 3 a factor of h?
True
Suppose -5*y + 4*n - 24 = 2*n, 2*y - 4*n + 16 = 0. Let l = 20 + y. Suppose -l = 3*c - 286. Is c a multiple of 6?
True
Let y(o) = o**3 + 11*o**2 + 9*o + 10. Let i be 213/6 + 0 + 9/(-6). Suppose 0 = -5*m - 2*j - 7 - 30, 5*m + i = j. Is 13 a factor of y(m)?
True
Let s be (-2 + 11/2)*4. Let h(r) = 7*r - s + r**3 - 8*r**2 + 0*r - 6 + 5*r. Is h(8) a multiple of 14?
False
Suppose 27*m = 31*m + v - 13362, -2*m + 6686 = 3*v. Is 20 a factor of m?
True
Let l(n) = 104*n**3 + 20*n**2 - 5*n - 5. Is 14 a factor of l(5)?
False
Let s = 3 + 3. Suppose 0 = -2*y - s, -5*i - y + 2309 = 342. Is 16 a factor of i?
False
Let b = 1192 + 12334. Is 13 a factor of b?
False
Let c(f) = f**2 - 16*f + 4. Let l be c(17). Let w be (-4)/6 + (-7)/l. Is w/(((-1)/(-158))/(-1)) a multiple of 19?
False
Suppose -12 = -4*h, a + h + 4 - 12 = 0. Let g be -2 - a - (-2)/2. Let q(p) = -15*p + 22. Does 13 divide q(g)?
False
Suppose -6*l + 20 = -2*l. Suppose -4*h + 2591 = 3*z, -l*z + 1603 + 2746 = -h. Suppose -3*k + z = -184. Is 15 a factor of k?
False
Let q(h) = 33*h + 70. Let f be q(-2). Suppose 384 = f*t - 4*b, 5*t + b - 240 = 216. Is t a multiple of 26?
False
Let q(s) = 316*s**2 - 8*s + 8. Is q(3) a multiple of 14?
True
Let a(n) = -n**2 - 16*n - 10. Let l be a(-15). Let k be l/10 - 26/(-4). Let i(x) = 2*x**2 - 4*x - 8. Is i(k) a multiple of 31?
True
Suppose 23*f - 17728 - 47825 = 1814. Does 101 divide f?
True
Let r(i) = 2*i**2 + 10*i - 9. Let o be r(1). Suppose n + 432 = o*t, -2*t + 288 = -4*n + n. Is t a multiple of 8?
True
Suppose -3*f + g + 110 = -g, 4*g = 2*f - 68. Let c = -2 + f. Is c a multiple of 9?
True
Let z be (1 + 1)/(-4)*-6. Suppose -5*w - 2 = g, -2*w + z + 1 = -2*g. Suppose -405 = -5*r - w*r. Is r a multiple of 14?
False
Let f(x) = -161*x + 494. Does 24 divide f(-2)?
True
Let c(o) = -o**3 - 12*o**2 + 14*o + 17. Let x be c(-13). Let a be (-244)/(10/(-1 - x)). Let h = a - -9. Is h a multiple of 21?
False
Let b(n) = -94*n + 37. Let j be (3/((-45)/(-12)))/(3/(-15)). Does 12 divide b(j)?
False
Let h = 15697 - 889. Is h a multiple of 167?
False
Does 3 divide (-684*2)/(-6)*8/2?
True
Suppose 0 = -2*s - 3*d + 27729, 69396 = 14*s - 9*s - 3*d. Is 25 a factor of s?
True
Suppose -82338 = -12*l + 9*l - 3*j, -l + 27467 = -2*j. Does 62 divide l?
False
Suppose 21*g + 33 - 119 = 19. Let r(v) = -2*v - 10. Let h(n) = -1. Let z(m) = 4*h(m) - 2*r(m). Is 4 a factor of z(g)?
True
Let q = -1207 + 1500. Is q a multiple of 9?
False
Let f(o) = -564*o + 4334. Is f(6) a multiple of 10?
True
Let w(g) = -17*g - 2. Let f be ((-3)/3)/(-1 + (-2)/(-3)). Let y be w(f). Let j = y - -173. Does 39 divide j?
False
Suppose 8 = -3*s + 4*w, 70*w - 8 = -4*s + 66*w. Suppose -2*u + 65 = i - 122, 2*i + u - 359 = s. Is i a multiple of 3?
True
Let k(i) = -i**3 + 8*i**2 - i + 1. Let l be k(-4). Suppose 0 = 6*v - l - 127. Let a = v + -22. Is 4 a factor of a?
True
Let c(u) = 23*u**3 - u**2 + u + 6. Suppose -2*s = -5*q + 16, -3*q - 14*s + 9 = -15*s. Is c(q) a multiple of 47?
True
Let j = -18560 - -28736. Is j a multiple of 64?
True
Suppose 7*a + 3111 - 12988 = 0. Does 58 divide a/9 - (-136)/612?
False
Let k = 0 + 3. Let s(o) be the second derivative of 8*o**3/3 - 12*o**2 + 2*o + 4. Does 12 divide s(k)?
True
Let v(m) = -m**2 + 27*m + 69. Let t be v(29). Suppose t*s + s = 1728. Suppose 5*b - s = -4*b. Is b even?
True
Let m(x) = 2*x**3 + 4*x**2 + 11*x + 26. Let z be m(-4). Let r = -34 - z. Does 12 divide r?
True
Suppose -4*z = -5*z + 216. Let n be -11 + (-6 - -11 - -8). Suppose -z = -n*d - d. Is 8 a factor of d?
True
Does 3 divide (1522/7)/((-8740)/(-483) - 18)?
True
Suppose -2*q = 4*n - 4, 0 = -2*q - 2*q + 5*n - 31. Let j(c) be the second derivative of -c**5/20 + c**4/6 + 2*c**3/3 - 4*c**2 + 7*c - 22. Does 12 divide j(q)?
True
Suppose 0 = 5*n + 5*w - 195, -n + 3*w = -31 + 8. Does 11 divide 65*(10/n + 99/21)?
False
Suppose -9200 = 4*r - 20*r. Is 46 a factor of r?
False
Suppose 0 = -3*i + s - 2, -s + 8 = -i + 3*s. Let n(f) = -f**3 - 3*f + 123 + 5 - 