- 356 = -3*f. Is 13 a factor of f?
True
Suppose d = y - 31, -4*y + 0*y + 16 = -d. Let f = -3 - d. Is f a multiple of 19?
False
Let d(t) = 630*t**3 - 3*t**2 + t + 2. Is d(1) a multiple of 94?
False
Suppose -123*i + 4074 = -116*i. Is 11 a factor of i?
False
Is 9 a factor of 20*(25392/1344 + (-12)/(-14))?
False
Suppose 2*p + 4 = -3*s, 0 = 4*s - 4*p + 5*p - 3. Suppose o = -s*o - 5*z, -5*z = 2*o. Let i(t) = t**3 - t**2 + 2*t + 47. Is 10 a factor of i(o)?
False
Suppose 260 + 150 = g. Is 4 a factor of g?
False
Suppose -2*t - 5 = -t - z, -z - 5 = 4*t. Let k = -14 - t. Is 8 a factor of (-2)/k + (-1625)/(-78)?
False
Let r = -39 + 34. Let q(u) = -u**3 - 5*u**2 - 6*u - 2. Does 14 divide q(r)?
True
Suppose 2*u = 6*u. Suppose 0 = 3*z - u*z + 27. Is (-6)/9 + (-42)/z a multiple of 2?
True
Does 30 divide 199689/666 - (2 - 13/6)?
True
Suppose 4 = -l, 6*l + 16 = -5*n + 2*l. Suppose n = 5*q - 277 + 47. Does 11 divide q?
False
Suppose -4*l + 784 = -2*l + 4*q, -5*l = 3*q - 1932. Suppose -4*j = 2*z - 2*j - 246, -2*j = -3*z + l. Is 21 a factor of z?
True
Let m = 401 + -269. Is 12 a factor of m?
True
Suppose 3*l - 567 - 147 = 0. Is l a multiple of 6?
False
Suppose -815 - 481 = -3*a. Is 8 a factor of a?
True
Let o = 1621 - 864. Does 15 divide o?
False
Let p(y) = 12*y**2 + 8*y - 45. Is 29 a factor of p(6)?
True
Suppose 102144 = 3*h + 39*h. Is 64 a factor of h?
True
Suppose -52*l = -27*l - 61975. Is l a multiple of 67?
True
Let y(t) = t**2 - 5*t - 6. Let x be y(7). Let r(c) = 12*c - 4. Let i be r(x). Suppose 0 = -b - 3*z + 18, 5*b - 14 = z + i. Does 7 divide b?
True
Let v(o) = -152*o - 368. Is 16 a factor of v(-6)?
True
Let y = -15 + 20. Suppose -k + y*o - 15 = 7*o, 88 = -5*k + 3*o. Let g = 63 + k. Does 23 divide g?
True
Suppose k = -10*k + 1650. Let z = 266 - k. Is z a multiple of 29?
True
Let f be (-12)/20 + 56/10. Suppose -2*h + 3*j = -414, -4*h + f*h - j - 205 = 0. Is h a multiple of 20?
False
Let k(u) = 2*u**2 - 5*u + 2. Suppose -2*v + v + o = -4, -4*o = -5*v + 20. Is 5 a factor of k(v)?
False
Let n = -969 - -1451. Is 10 a factor of n?
False
Let i(n) = -32*n - 10. Suppose 0 = 5*y - 2*s + 20, -5*y - 20 + 0 = 4*s. Does 14 divide i(y)?
False
Let t = 13 + -13. Let j(w) = w**3. Let i(n) = 2*n**3 + n**2 - 32. Let q(g) = -i(g) + j(g). Is 7 a factor of q(t)?
False
Let z be ((-1)/(-1))/1 + -1. Let a(o) = -o + 6. Let q be a(3). Suppose z = h - 4*c - 35, -3*c - c + q = h. Does 5 divide h?
False
Suppose 0*t - t = 13. Let l = t - -43. Suppose -u + l = 4. Is u a multiple of 8?
False
Let n be (1/1)/(6/(-54)*3). Let d(r) = -28*r + 33. Is 22 a factor of d(n)?
False
Is 372 - (52/(-156))/(2/(-30)) a multiple of 5?
False
Let k(u) = 2*u + 2*u**3 - 6*u**2 - 3*u**3 - 9 + 4*u + 0. Let l be k(-7). Does 30 divide (-183)/(-6) - l/4?
False
Let d be (7 - 6)/(-1*(-3)/6). Suppose 35 + 15 = d*u. Does 4 divide u?
False
Let w = -33 + 33. Suppose -164 = -3*z + k, 5*z + w*z + 3*k = 278. Does 25 divide z?
False
Suppose 9*l - 240 = 3*l. Does 10 divide l?
True
Let b(r) = 2*r**3 - 17*r**2 + 8*r + 59. Is b(11) a multiple of 32?
False
Let v(a) be the third derivative of 7*a**4/8 - 2*a**3 + 13*a**2. Let t be v(8). Suppose -3*l - t = -6*l. Is l a multiple of 13?
True
Does 6 divide 113997/195 - 2/(-5)?
False
Let m = -1903 + 2935. Does 43 divide m?
True
Let g be 3 + 3220/12 - (-4)/6. Suppose 3*j = -q + g, -734 = -5*j + 4*q - 258. Does 23 divide j?
True
Suppose -28*x = -20*x - 1536. Is 9 a factor of x?
False
Let y(l) = 11*l + 666. Is 61 a factor of y(-55)?
True
Let c(w) = -w**3 + 10*w**2 + 14*w - 7. Does 50 divide c(9)?
True
Does 22 divide ((-448)/84)/((-2)/33)?
True
Let u(i) = 20*i**2 - 1 - 5*i**2 - 2 + 4*i. Let y be u(5). Does 10 divide (y/(-35))/((-1)/5)?
False
Let p be (-2)/(-11) - 172/(-22). Let i be (-44)/3*3/(-2). Suppose -5*f = -4*q + 59, 3*q = -f + p + i. Does 6 divide q?
False
Suppose -5*v - 3*q = -13 - 59, -v = 4*q - 11. Suppose c + v = 111. Is c a multiple of 16?
True
Let v be 3/(-1) + (2 - 1). Does 28 divide (12/10)/(v/(-180))?
False
Let d(p) = -3*p - 15. Let r be d(-6). Suppose 0 = -r*s + 3, 0*s = 3*t - 3*s - 60. Is 7 a factor of t?
True
Let f = 503 + -758. Does 28 divide (-9 - -8) + f/(-3)?
True
Let s = -350 - -542. Does 48 divide s?
True
Let q(x) = -x - 10. Let k be q(-10). Suppose -2*j = l - 67, k*l - 2*j - 67 = -l. Is 15 a factor of l?
False
Is 5*9/(-315) - 7226/(-14) a multiple of 16?
False
Is 38 a factor of (-3)/7 + (-16681)/(-49) - -2?
True
Let r = 363 + 188. Does 25 divide r?
False
Let v(s) = 16*s - 1. Let k be 8 + (5 + -2 - 2). Does 24 divide v(k)?
False
Let j be ((-3)/(-2))/(27/(-468)). Let z = j - -92. Is 22 a factor of z?
True
Let m be 5*(64/20)/(-4). Let a be (m - -8)/1 + -1. Suppose -77 = -a*r + 175. Does 12 divide r?
True
Let v(o) = o**3 + 23*o**2 + 36*o + 32. Does 38 divide v(-15)?
True
Suppose 4*u - 4052 = -15*a + 10*a, a - 814 = -2*u. Is a a multiple of 27?
False
Suppose d - 4*z + 6 = -25, 3*z + 143 = -4*d. Let r = d - -63. Is 14 a factor of r?
True
Suppose -33*w + 22*w + 21494 = 0. Is 33 a factor of w?
False
Suppose -4*t + 27 = 31, 4*f - 3*t - 7839 = 0. Is 69 a factor of f?
False
Suppose -10*o = -5*o - 10. Let p be (15/(-30))/(o/84). Let j = p + 45. Is j a multiple of 14?
False
Let t(h) = 4*h**2 + 32*h - 27. Does 51 divide t(23)?
False
Suppose 0 = 2*l + j - 1403, -3*j + 699 = 8*l - 7*l. Is l a multiple of 27?
True
Suppose -20 = -4*x + 4. Let p(q) = 2*q**3 - 10*q**2 + 5*q - 9. Is p(x) a multiple of 13?
False
Let q(l) be the second derivative of -l**8/6720 - l**7/630 + l**6/240 + l**4/12 - 5*l. Let b(c) be the third derivative of q(c). Does 3 divide b(-5)?
False
Let d(w) = 2*w**2 + 2*w - 7. Let t(u) = 6*u**2 + 6*u - 20. Let g(m) = -8*d(m) + 3*t(m). Let l be g(-4). Is 6/(-3) + 1 + l a multiple of 7?
False
Let r = -3 - -3. Suppose -5*y + r*y + 37 = -2*u, -4*y + 2*u + 30 = 0. Suppose -2*i + y*i - 2*b - 46 = 0, 4*i - b = 38. Is 8 a factor of i?
False
Let b(u) = u**2 + 2*u + 12. Suppose 0 = -k + 3*k - 10, 37 = -2*l + 5*k. Does 18 divide b(l)?
True
Suppose -4*s = 5*x - 336, -2*x - 364 = -4*s - 0*s. Does 5 divide s?
False
Suppose -22*u - 14*u = -79704. Is u a multiple of 18?
True
Let v = -407 + 428. Is 7 a factor of v?
True
Let y(z) = -56*z - 10. Let l be y(4). Let n = -90 - l. Is n a multiple of 36?
True
Suppose 2*y + y = 9, 4*w - 1935 = -y. Suppose -12*p + 477 = -w. Is p a multiple of 20?
True
Suppose -a - 9 - 13 = 0. Let r = a + 97. Is r a multiple of 25?
True
Suppose -2 = 3*i - 11. Suppose i*a + 4 = -a. Does 6 divide (9/6)/a*-8?
True
Let z = -105 + 104. Is (-4)/z + -1 + 49 a multiple of 12?
False
Let b = 242 + -209. Does 11 divide b?
True
Suppose -8*g - 282 + 762 = 0. Does 3 divide g?
True
Does 17 divide ((-5355)/42)/(2/(-4))?
True
Does 79 divide (2448/(-90))/((-3)/75)?
False
Suppose 3*i - 5*p + 9 = -i, -i - 2*p + 14 = 0. Is 11 a factor of -1 + (0 + 176)/i?
False
Let l(j) = j**2 + 10*j + 12. Suppose 3*x + r + 8 + 4 = 0, 8 = -2*x + 5*r. Let s be ((-3)/x)/(2/(-24)). Does 3 divide l(s)?
True
Let z(x) = x**3 - 7*x**2 - 4*x - 8. Let g(m) = -3*m**3 + 14*m**2 + 7*m + 16. Let t(q) = 2*g(q) + 5*z(q). Let u be t(-6). Is 27 a factor of (2 - -133)*u/(-10)?
True
Suppose 0 = 31*o - 15*o - 15200. Is o a multiple of 60?
False
Let m be (-1410)/(-14) + (-2)/(-7). Suppose -2*t - 106 = 2*w, 2*w + 2*t + m = t. Let u = -24 - w. Is 13 a factor of u?
False
Let j(r) = 80*r**2 - 7*r. Is j(2) a multiple of 51?
True
Does 37 divide 5 + ((-1794)/(-3) - 4)?
False
Let f(j) = -j + 56. Let g be f(0). Suppose g = -b + 5*b. Is b*((-4)/8 - -1) a multiple of 3?
False
Let c = -453 - -858. Suppose -s - c = -4*d, 4*s - 9 = s. Is 34 a factor of d?
True
Suppose -6252 + 3282 = -3*b. Is b a multiple of 16?
False
Let b = 49 - 42. Let c(x) = -x**2 + 11*x + 4. Is c(b) a multiple of 8?
True
Let g = 546 - 375. Does 19 divide g?
True
Let t(a) = -a**3 + a**2. Let h(v) = -8*v**3 - 15*v**2 + 3*v + 3. Let w(i) = -h(i) + 6*t(i). Does 9 divide w(-10)?
False
Let i(p) = -37*p + 13. Let t be i(-4). Suppose 2*k = 3*o + t, -3*k + k + 141 = o. Is 10 a factor of k?
False
Let t(j) = 11*j**2 - 157*j + 13. Does 41 divide t(24)?
False
Let j = -39 + 36. Let o(x) = -24*x + 5. Does 11 divide o(j)?
True
Let z be (-5)/(-15)*0*-1. Does 7 divide 62 + (2 - 2) + z?
False
Let r = -73 + 78. Suppose -f - 5*w + 117 = f, -r*w = 5*f - 270. Does 6 divide f?
Fals