8, -3*m + 3*z - 3 = 0. Suppose -3*g - 300 = -m*t, -t - g + 149 = -2*g. Is 22 a factor of t?
False
Let b(a) = 3*a + 4. Let p be b(0). Let i be ((800/12)/p)/(1/12). Suppose 0 = 2*z - 4*r - i, 225 - 31 = 2*z + 2*r. Is 14 a factor of z?
True
Let t(n) = 24*n - 46. Let f be (1134/12)/9*(-16)/(-12). Is t(f) a multiple of 10?
True
Let u = -69631 - -98470. Does 194 divide u?
False
Let f = 1680 + -826. Is f a multiple of 27?
False
Let x(q) = -21*q - 209. Let f(p) = 20*p + 209. Let r(t) = -4*f(t) - 5*x(t). Is r(4) a multiple of 4?
False
Let f(x) = -x**3 + 16*x**2 - 16*x - 7. Let i be (-1 - 12/(-4))/((-2)/3). Let k = 11 - i. Does 22 divide f(k)?
False
Let h(m) be the second derivative of 2*m**4/3 + m**2/2 - 84*m. Does 26 divide h(-2)?
False
Let u(g) = -g + 7. Suppose -4*k + 4*j = 0, -3*k + 2*j = -4*k. Let w be u(k). Does 15 divide 2/w + (-1700)/(-28)?
False
Let u(g) = g - 6. Let v be u(10). Let a(j) = 42*j - 84. Is a(v) a multiple of 10?
False
Let o be (4/(-4))/1*4/(-1). Suppose -4*h + 232 = o*u, -5*u + 266 = -4*h + h. Let l = -8 + u. Does 4 divide l?
False
Suppose 485 = 38*h + 105. Suppose -1012 = -h*z + 1128. Does 44 divide z?
False
Let y = 7 - 4. Suppose -x + 58 = -2*a, 159 = y*x + 3*a + 21. Let s = x - -70. Does 20 divide s?
True
Let r = 311 - 309. Let j = 15 + -11. Is 5 a factor of 11*(r - (j - 3))?
False
Suppose 3*r - 2*b - 30 = 0, -3*b - 21 = 5*r - 52. Let z(l) = l**3 + 7*l**2 + 43*l - 16. Does 14 divide z(r)?
True
Is (44/(-55))/((-28)/10) + 469404/546 a multiple of 86?
True
Suppose -32*w = -36*w + u - 2788, 0 = 2*w + u + 1394. Let j = -265 - w. Is 3 a factor of j?
True
Let u(t) = 66*t - 52. Let o be u(4). Let f = o + -180. Is 4 a factor of f?
True
Suppose -v + 35 = 3*b + 16, -13 = -2*b - v. Is 8/((1/192)/(2/b)) a multiple of 26?
False
Let p(j) = -j**3 - 15*j**2 - 10*j + 78. Let a be p(-9). Is 34 a factor of 1 + 5 - (a - 17)?
False
Let d be (-2866)/(-14) + -6 + 44/7. Let s = 445 - d. Is s a multiple of 8?
True
Let g be (-34062)/(-154) - (-4)/(-22). Let k = g + 19. Is 24 a factor of k?
True
Let q be 0/((4 - 2)*-1). Let t be 1*-1*q/(-13). Suppose t*k + 9*k = 207. Is 9 a factor of k?
False
Let m(l) = -19*l**2 - 5*l**2 - 7*l - 19*l**2 + 54*l**2 - 39 - l**3. Is m(9) a multiple of 15?
True
Let m be -23 + -2 + (-48)/(-12). Let v(o) = -26*o - 130. Does 104 divide v(m)?
True
Let z(b) = 3*b**2 + 5*b - 29. Does 19 divide z(9)?
False
Let b(r) = 2*r - 22. Let j be b(12). Suppose -3*i - 4*y + 41 = 3, j*y = 5*i - 46. Suppose 0 = -w + 24 + i. Does 34 divide w?
True
Let o = 2432 + -1022. Is 30 a factor of o?
True
Suppose 8*t + 547392 = 4*t + 52*t. Is t a multiple of 15?
False
Does 5 divide ((-9140)/(-3))/1 - (-277)/831?
False
Let d = 30 + -28. Let s(o) = 10 + 9*o - 6*o + d - o. Is s(9) a multiple of 10?
True
Let o(s) be the third derivative of s**5/20 - 19*s**4/24 + 5*s**3/6 - 48*s**2. Is 15 a factor of o(8)?
True
Suppose 42*f + 24 = 48*f. Suppose 0 = f*c - 31*c + 8019. Is c a multiple of 12?
False
Let q(a) = 17*a. Let h be q(1). Suppose -3*x - 5*z = -7, -x = -21*z + 20*z - 5. Suppose -2*u + 7*u - 65 = -5*j, -h = -x*j + 3*u. Does 4 divide j?
True
Let p = 35 + 12. Let u(h) = h**2 - 30. Let l be u(10). Suppose 2*x - l = r + 3*r, x - p = -4*r. Is 3 a factor of x?
True
Let p(b) = b**3 + 7*b**2 - 10*b + 4. Let q be p(-8). Let c = -21 + q. Is 25 a factor of (5 - (c - -4))*65?
False
Suppose 34*i + 22*i - 583200 = 2*i. Does 67 divide i?
False
Let h(b) = -b**3 - 10*b**2 + 11*b + 6. Let v be h(-11). Let x = v + -1. Suppose 2*p - 2*r + 3 = 167, -x*r + 346 = 4*p. Is p a multiple of 14?
True
Suppose -10 = -5*f, -5*f + 13350 = -619*n + 623*n. Is n a multiple of 23?
True
Let l(i) = -i**2 + 10*i - 14. Let t be l(7). Let h be (-7)/(t/3) - 1*-14. Let a(g) = 5*g + 2. Is 3 a factor of a(h)?
True
Let f(o) = -2*o**2 + 21*o + 1330. Does 7 divide f(0)?
True
Suppose -4*v + 25777 = -2*n - n, -3*v = -n - 19339. Does 11 divide (-4)/14 + v/28?
False
Suppose 0*s = 3*s - 711. Suppose 346 + s = 2*v + 5*l, l + 1177 = 4*v. Suppose v + 336 = 7*h. Does 30 divide h?
True
Suppose 433 = q + 5*g, 4*q - 2088 + 331 = 5*g. Let u = q - -490. Does 16 divide u?
True
Suppose 2*f - 124 = 4*i, 4*i - 4*f + 183 = 67. Let n = -10 - i. Does 9 divide 690/n - (3 - 0)?
True
Suppose 5*g + 2791 = -5*a + 36151, a - 6675 = 2*g. Does 90 divide a?
False
Let k = 394 - 393. Suppose 0 = g + k, -3*g = -4*a + 2257 + 206. Is 15 a factor of a?
True
Suppose 3*i - 345 = -2*i. Let j = i - 58. Is j*(2 + -3)*1*-1 a multiple of 11?
True
Let g(k) = 456*k**3 - 4*k**2 - 5*k + 7. Let s be g(1). Suppose -s*j = -457*j + 2898. Does 23 divide j?
True
Suppose -5*z + 2*k + 2*k + 19 = 0, 8 = 4*z + 4*k. Let t be 18 + (z - 8)/(-5). Let q = t + 7. Does 5 divide q?
False
Let h(l) = -7*l + 20. Let r be (-9)/15 + 96/(-15). Is h(r) a multiple of 27?
False
Let i(m) = 4*m**2 - 85*m + 24. Let d be i(21). Suppose 5*w - 290 = -a, d*a + a + 3*w - 1143 = 0. Does 19 divide a?
True
Let u be 1078/(-9) - (-6)/(-27). Let n be ((-5)/10)/((-2)/u). Is 18 a factor of (-158)/(-8) + n/40?
False
Let p(i) = -i**2 + 96*i - 1161. Is p(76) a multiple of 4?
False
Suppose -4*y - 5*w - 68732 = 25373, 5*y + 117610 = -2*w. Is 11 a factor of (-4)/(-34) - y/68?
False
Let u(o) = o**2 + 3*o + 27. Let k(l) = l**2 + 29*l + 36. Let z be k(-28). Let g be u(z). Suppose g = -2*w + 7*w. Is w a multiple of 10?
False
Let k(n) = 20 - 16 + 73*n**2 - 6*n - 8*n**2. Does 9 divide k(1)?
True
Let h = 15651 - 8404. Is h a multiple of 28?
False
Let r = -21687 - -44457. Is r a multiple of 23?
True
Suppose 4*f - q - 19 = 0, -4*f + 8*f - 22 = -2*q. Suppose 4*y + 19*o - 16*o = 2085, -f*y + 2645 = -4*o. Does 16 divide y?
False
Let f be (-3)/(-1)*(-15)/(-9). Suppose -2*c + k = -0*k - f, 0 = 3*c + 5*k - 40. Suppose 5*r + 339 = 4*l - 308, c*l + 2*r - 850 = 0. Does 42 divide l?
True
Let k be ((-5)/3)/(7/(-504)*4). Is 8 a factor of (42/84)/(1/k)?
False
Let v be -2 + 2 + 300/4 - 3. Suppose -5*d + 422 = v. Is d a multiple of 7?
True
Let p(d) = d**2 + 3*d + 7. Let r be p(3). Let j = r + -21. Suppose -224 = -j*y + 5*k, -5*y + 5*k = -151 - 129. Is 3 a factor of y?
False
Let u = 4926 - -871. Does 75 divide u?
False
Is 36 a factor of -1 + (-1 - -1547) + (-3 - (-7)/(-7))?
False
Let r be -1*(-4 + (0 - -1)). Let h(w) = 20*w + 963. Let p be h(-42). Suppose 0 = -4*y - 3*g + 207 - 42, -2*g = r*y - p. Is 13 a factor of y?
True
Let n(v) = 1510*v - 200. Is 50 a factor of n(15)?
True
Suppose 6*z = 40*z + 10166. Let y = z - -497. Is 18 a factor of y?
True
Suppose -52281 = -117*w + 109881. Is w a multiple of 22?
True
Let f be (-18)/3*22/(-6). Suppose 5*k - 18 = f. Suppose 5*g = k*g - 36. Is g a multiple of 12?
True
Let l be (3/6)/((-3)/(-252)). Suppose -44*z - 4*m + 782 = -l*z, -3*z + 5*m + 1217 = 0. Is 21 a factor of z?
True
Suppose 1365 = 3351*g - 3344*g. Suppose 0 = -g*x + 188*x + 5152. Does 29 divide x?
False
Let s be ((-9)/4)/(27/144). Does 19 divide (-3971)/(-38)*s/(-3)?
True
Suppose -138*w = -152*w - 336. Let r = 24 - w. Does 17 divide r?
False
Let t be -27 + -2*(-25)/10. Let f be (-450)/(-55) + -8 + (-84)/t. Let i(p) = 2*p**3 - 2*p**2 + 3*p - 4. Is i(f) a multiple of 26?
True
Suppose -2*h + 5*p = -4*h + 19, 0 = 3*h - 2*p + 19. Let t be (1 - 2) + (2 - h - 7). Does 7 divide (12/t - -3)*-16?
False
Let c be (-325)/15 + (-4)/(-6). Let d = -21 - c. Does 38 divide 65 - -6 - -2 - (d + -3)?
True
Does 204 divide ((-3)/9*-170)/(12 + 50531/(-4212))?
True
Let b be 20/15 - (2/(-3))/1. Suppose -7*f = -9*f - b. Is -62*5/10*f a multiple of 20?
False
Suppose 23 = 13*v - 42. Suppose u = -2*m - m + 43, -3*u + v*m = -171. Does 13 divide u?
True
Let c(q) = 29*q**3 - 2*q**2 - 13*q + 58. Let r be c(5). Suppose 2*z = f + 1521, 5*z - 232 = 3*f + r. Does 22 divide z?
False
Let v = 689 + 4264. Does 50 divide v?
False
Let u = 6499 + -6498. Let f(s) = s**2 + 1. Let h(g) = 127*g**2 - 2*g + 7. Let p(k) = -4*f(k) + h(k). Is p(u) a multiple of 31?
True
Let s(h) be the second derivative of -89*h**5/20 + h**4/6 + 2*h**3/3 + h**2/2 - 7*h. Let j be s(-1). Let v = -10 + j. Does 13 divide v?
True
Suppose 16*p - 89 - 87 = 0. Let d(a) = 56*a + 104. Is d(p) a multiple of 15?
True
Suppose 0 = -2*c + 8, -2*c - 10 = -r - 4*c. Suppose 2*o = 6, -4*o + 9 = r*a - 7. Is a/5 - 1428/(-30) a multiple of 12?
True
Let m(v) = -v**3 + 35*v**2 - 50*v - 36. Let l(o) = -3*o**3 + 1