 a multiple of 18?
True
Is (-1968)/(((-270)/(-12))/(-15)) a multiple of 16?
True
Let o(y) = y**2 - 14*y + 56. Is o(17) a multiple of 3?
False
Suppose -12*l = 6 + 18. Is 13 a factor of -3 - (3 - -507)/(-3) - l?
True
Let m(p) = -111*p + 3. Does 9 divide m(-2)?
True
Let l be (-184*8/16)/(1/(-2)). Let a = 261 - l. Does 11 divide a?
True
Let o(m) be the third derivative of m**4/4 + 8*m**3/3 - 15*m**2. Is 14 a factor of o(9)?
True
Let a(m) = 10*m + 66. Suppose -4*g - 16 = 0, 6*k - k + 3*g - 13 = 0. Is a(k) a multiple of 34?
False
Is 6/2 - (4 - -3 - 10) a multiple of 2?
True
Let o = -108 + 94. Is (-4)/o + (-705)/(-7) a multiple of 6?
False
Is 25 a factor of (477 - -3) + -3 + 1*2?
False
Let k(t) = 98*t - 14. Let x be k(2). Suppose -c - 370 = -2*j + 4*c, -c - x = -j. Does 12 divide j?
True
Suppose 20*c = 18*c + 54. Let g = 18 - c. Let b = 18 + g. Is b a multiple of 2?
False
Let j be 0/(((-4)/(-4))/(-1)) - -756. Suppose j = 4*r + 2*r. Is r a multiple of 15?
False
Let g = -567 - -2316. Is g a multiple of 67?
False
Let i = 14 + -9. Suppose -195 = -i*v + 2*v. Does 13 divide v?
True
Is ((-20)/(-4))/15 + 339/9 even?
True
Suppose 0 = 2*s + 8 - 6. Is s/4 + (2 - 153/(-4)) a multiple of 3?
False
Let f(x) = -6*x - 9*x - 4 - x. Does 7 divide f(-1)?
False
Let g = -10 - -8. Let d(b) = -17*b + 2. Is 12 a factor of d(g)?
True
Suppose -4*k + v + 167 = 6*v, 0 = 2*k - 2*v - 106. Suppose -5*r = -r - k. Is 178/6 - (-4)/r a multiple of 8?
False
Let u(l) = -11*l**2 + 2*l + 1. Let o be u(-1). Let d be ((-51)/2)/(o/16). Suppose 5*g + p - 31 = d, 5 = p. Does 4 divide g?
True
Suppose -3*w = -222 - 120. Does 10 divide w?
False
Let s = -1014 + 1534. Is s a multiple of 6?
False
Let b = -9 - -5. Suppose y - 20 = -5*v + 23, -46 = -5*v - 2*y. Is b*1/(v/(-26)) a multiple of 13?
True
Does 18 divide 4/(-14) - (-105900)/210?
True
Suppose 1884 = 4*h - 4*t, 5*h - 2*h - 5*t = 1421. Let c = h - 332. Is c a multiple of 15?
True
Let m = 1704 + -889. Is 24 a factor of m?
False
Suppose -5*f + j + 18 = -3*j, 0 = -5*f - 5*j. Let z be ((-20)/6)/(4/(-48)). Does 10 divide ((-1)/(-2))/(f/z)?
True
Is (-1 + 2)*1 - -986 a multiple of 22?
False
Let d = 24 + -19. Suppose l + 4*l - 291 = -3*h, 4*l = d*h + 218. Is l a multiple of 10?
False
Suppose -39 = 4*l - 5*l. Let a = -10 + l. Let w = a - 18. Does 2 divide w?
False
Suppose 0 = 3*b + t - 482, 4*b - 2*t = -0*b + 636. Does 8 divide b?
True
Let c(r) = -r**2 + 14*r + 11. Let o be c(11). Suppose -h + 6 = h - 5*f, -2*f + o = 5*h. Does 8 divide h?
True
Suppose 4*d - 680 = -13*d. Suppose -76*y + d = -75*y. Is 4 a factor of y?
True
Let j = -40 - -42. Suppose -5*o = -h - 3*h - 106, -j*o - 3*h + 47 = 0. Does 2 divide o?
True
Suppose 4*n + 4*s + 472 - 1840 = 0, 0 = n - 5*s - 312. Does 12 divide n?
False
Let b(x) = -11*x**2 + 32*x + 10. Let a(y) = 7*y**2 - 21*y - 7. Let j(q) = -8*a(q) - 5*b(q). Let i be j(9). Is (-4)/i + 2190/45 a multiple of 25?
True
Is (1008/40)/(-14)*1*-15 a multiple of 5?
False
Does 47 divide ((-4)/(-6)*-47)/(3/(-369))?
True
Let b = -352 - -451. Does 9 divide b?
True
Let p(t) = t**2 - 4*t - 5. Let n be p(5). Let b be -1 + (110 - (0 - n)). Let l = b - 66. Is l a multiple of 25?
False
Suppose 0 = -3*m - 3, 0*m = -5*a + m + 91. Is 17 a factor of (1071/a)/(3/6)?
True
Let d = 79 - 74. Suppose -149 = d*h - t - 475, -202 = -3*h - t. Is h a multiple of 31?
False
Let a = 24 + -20. Suppose 0 = 2*c - a*c + 2, -c + 61 = 3*w. Is 8 a factor of w?
False
Suppose -3 - 52 = -5*w. Let k = w + -17. Is 9 a factor of 22*((-9)/k + 0)?
False
Let w = 254 + -74. Let s = w + -104. Let d = -52 + s. Is 6 a factor of d?
True
Let m = 1283 + 1164. Is m a multiple of 33?
False
Suppose 7 = u - 4. Let g = u - 6. Suppose g*j - 2*t - 28 = 86, -4*j + 102 = 2*t. Is j a multiple of 15?
False
Let o be 20 - (1 + (-4 - -1)). Suppose 10 - 158 = -4*c + 5*u, 0 = c - 5*u - o. Suppose -2*w + c = 6*i - 4*i, w + 4*i = 15. Is 7 a factor of w?
False
Suppose 2*h - w - 32 = -3*h, -3*h + w + 20 = 0. Does 19 divide 4*(-28)/(-8)*h?
False
Let u(q) = 13*q**2 - q - 10. Let g be u(6). Suppose 266 = 2*c - g. Does 36 divide c?
False
Let t = -4 - -99. Suppose -4*r + t = 3*v, 65 = 3*v - 2*r - 0*r. Let m = v + -13. Does 12 divide m?
True
Suppose -39 = -5*d + 21. Let z be 51/d*(17 - 1). Suppose -6*s + s + x + z = 0, -5*x - 41 = -2*s. Is s a multiple of 4?
False
Suppose 3162 + 504 = 6*j. Is 35 a factor of j?
False
Let j(h) = 759*h**2 - h - 4. Is 12 a factor of j(1)?
False
Suppose -713 = -3*b + 355. Suppose -3*q + 370 = -2*n, -3*q - 2*n = 3*n - b. Let h = q - 1. Is h a multiple of 39?
False
Let y(o) = 16*o**2 - 3*o + 4. Suppose -w = -c - 11, -4*w - 8 = 4*c + 4. Let s = -5 - c. Is 14 a factor of y(s)?
False
Suppose -2*m + 32 = -0*w - 2*w, 5*m + 3*w - 112 = 0. Suppose 4*a = 5*u + 23 + m, 3*a - 24 = u. Is 5 a factor of a?
False
Let p(i) be the second derivative of i**4/12 - 5*i**3/3 + 2*i**2 + 25*i. Let l(j) = -4*j - 6. Let u be l(-4). Is p(u) a multiple of 3?
False
Suppose 7*y - 503 = 260. Is 9 a factor of y?
False
Suppose 108*b - 105*b + 5*j = 8095, 3*j + 10832 = 4*b. Does 40 divide b?
False
Suppose 1703 + 2153 = 16*i. Does 3 divide i?
False
Is 4 a factor of -3*(11*-1 - (13 + -16))?
True
Let z(r) be the first derivative of 4*r**3/3 - 3*r**2 + 9*r + 3. Let p be z(6). Suppose -3*s + p = -0*s. Is 11 a factor of s?
False
Let r(m) = -9*m**3 - 25*m**2 - 50*m + 21. Let t(u) = 5*u**3 + 13*u**2 + 25*u - 11. Let s(x) = -6*r(x) - 11*t(x). Is s(9) a multiple of 5?
False
Suppose 11*x = 6*x. Suppose q = 1, c + x*q - 5*q - 112 = 0. Is 41 a factor of c?
False
Suppose -p + 32*j + 756 = 31*j, -5*p - 5*j = -3780. Does 4 divide p?
True
Let y(z) = 3*z - 18. Let m be y(7). Is 5 a factor of ((-40)/m - 0)*6/(-4)?
True
Is (8064/45)/((-12)/(-30)) a multiple of 7?
True
Let i be 64 + 0 - (8 + -5). Does 19 divide i - 8*3/6?
True
Suppose 2*p - 7 = -1. Suppose a - 28 = -p*a. Suppose -11*u = -a*u - 140. Does 7 divide u?
True
Let y(a) = -2*a**3 + 32*a**2 + 15*a - 55. Is 37 a factor of y(16)?
True
Let y(r) = 8*r + 7. Let f(o) = 17*o + 15. Let g(c) = -6*f(c) + 13*y(c). Suppose -3*d - 4 = -5*d. Is g(d) a multiple of 5?
True
Suppose -5 = -4*v - 1. Let k be v/(-1)*0 + -23. Let s = -12 - k. Is 10 a factor of s?
False
Suppose 0 = 3*h - 29 - 31. Suppose 2*s = -2*f + h, -s - 26 = -f - 6*s. Let u = f + 71. Is 13 a factor of u?
False
Let x(m) = m**3 + 11*m**2 - 4*m - 10. Let y be -13 + 2 + 0/(-8). Is x(y) a multiple of 8?
False
Suppose -4*g = -4*s - 1432, 4*s - 338 = -g - 0*s. Does 22 divide g?
False
Suppose 0*h + 538 = 4*u + 2*h, -3*h + 15 = 0. Is 44 a factor of u?
True
Suppose -2*z - 18 = 2. Let h(y) = y**2 - 11*y + 13. Let g be h(z). Let t = 317 - g. Does 26 divide t?
False
Let v(x) = x**2 + 2*x + 2. Let d be v(-2). Suppose -d*r = -5*r - 2*s + 8, 5*s + 19 = -r. Is 3 a factor of r?
True
Let y be 0 + 1 + -3 + -4. Is (-4)/y*-3 + 10 a multiple of 8?
True
Let j = 2119 - -1451. Is 21 a factor of j?
True
Does 43 divide (-4295)/(-10) - ((-4)/2)/4?
True
Suppose 260*q = 268*q - 14216. Is 9 a factor of q?
False
Suppose 10*t - 224 = 8*t + 4*h, 3*t - 332 = 5*h. Is 4 a factor of t?
True
Let f be (-3)/(2 + 62/(-28)). Is 5 a factor of 282/14 + (-2)/f?
True
Let q = 17 - 170. Is 8 a factor of (-34)/q + 1114/9?
False
Suppose 0 = 10*m - 1926 - 1804. Does 39 divide m?
False
Let u(t) be the first derivative of 20*t**3/3 + 3*t**2/2 + t + 3. Let y be u(-2). Let i = y + -40. Is i a multiple of 5?
True
Let s = -835 + 1255. Is s a multiple of 30?
True
Let b be (-12)/(-6)*(-1 + 2). Suppose b*h = 3*h - 34. Does 3 divide h?
False
Let c(s) be the second derivative of -s**5/20 + s**4 - 5*s**3/3 - 7*s**2 + 13*s. Is 34 a factor of c(9)?
False
Suppose -158*s - 1100 = -163*s. Is 10 a factor of s?
True
Let l = 144 - -78. Let y = l + -312. Is 24 a factor of (-8620)/y + 4/18?
True
Let z be 2*1 - (1 + -5). Let v be 2/z + 392/21. Does 19 divide (3 - (-3 - v))/1?
False
Let r(a) = a + 15. Let q be r(-12). Suppose 2*x - q*z - z - 68 = 0, 2*z = -2*x + 56. Is x a multiple of 21?
False
Let a(r) be the third derivative of r**4/24 + 11*r**3/6 + r**2. Let v be a(-9). Suppose v*g + 24 = 3*g. Is 12 a factor of g?
True
Let m(c) = -c + 4. Let t be m(4). Suppose t = -n + 3*n + 5*x - 3, -5*n + 3*x = -54. Suppose -5*r = 5*h - 215, 145 = 4*h + 4*r - n*r. Is h a multiple of 13?
False
Let i(m) = -4*m + 36*m + 5