(u) = -u**3 + 6*u**2 - u. Is h(q) a multiple of 28?
True
Let n be (-4 + 70/15)*69. Let o be n + 8 + 4 + -8. Let g = o + -14. Is g a multiple of 4?
True
Let x(n) = 3690*n - 4315. Is x(14) a multiple of 14?
False
Let l(w) = 26*w + 30. Let t be l(-3). Let c = t + -37. Let h = c + 112. Does 5 divide h?
False
Suppose -110*i - 50*i + 959154 = -669966. Is i a multiple of 6?
True
Let b be ((-128)/48)/((-1)/2394). Is 19 a factor of b/(-280)*((-14)/4 - -1)?
True
Let x(o) be the first derivative of -o**6/40 - o**5/60 + o**3 + 5*o**2 - 5. Let a(v) be the second derivative of x(v). Does 9 divide a(-3)?
False
Let y(n) = n**2 - 36*n - 280. Let c be y(40). Is (-12905)/(-50) - 4/c*-3 a multiple of 4?
False
Is 66076/(-10)*((-1265)/46 - -25) a multiple of 70?
False
Suppose -3 - 27 = -6*s. Suppose 0*z = s*z - 210. Does 3 divide z?
True
Suppose -5*h + 5*u = u - 6, -3*h = -4*u - 10. Let n be 16 + h + 4 - -3. Suppose -q = -2*q + n. Is 3 a factor of q?
True
Let q(s) = 59*s + 2 + 0 + 0. Let r = 1931 - 1930. Is 4 a factor of q(r)?
False
Suppose -5*t + 3*c + 1415 = 266, 695 = 3*t + c. Is 7 a factor of t?
True
Suppose 32*o = -3*h + 30*o + 37336, -h + 4*o = -12436. Does 17 divide h?
True
Suppose 0 = -3*c + 3*t + 86824 - 22150, -4*t + 8 = 0. Is c a multiple of 28?
True
Let w(j) = -2*j**2 - j + 2. Let h(g) = -990*g**2 + 8*g - 5. Let o(a) = -h(a) + 3*w(a). Is o(1) a multiple of 12?
True
Suppose -4*i - 269 = -q, 3*i - 225 - 72 = -q. Is q a multiple of 15?
True
Let z(l) = 5*l**3 - 34*l**2 + 192*l + 34. Is 33 a factor of z(7)?
False
Is (21/2)/(477660/31840 + -15) a multiple of 28?
True
Let s be (-11 - -11) + 3157/1 + -2. Suppose 945 = -26*h + s. Does 40 divide h?
False
Let i = 70 - 65. Suppose -4*h + 74 = j - 10, 4*h = i*j - 372. Is 76 a factor of j?
True
Suppose 4*g = 4*z - z - 22, 4*g = -16. Let n(d) = 7*d - 3 + 3*d + 1. Is n(z) a multiple of 5?
False
Let b(j) = j**2 + 19*j + 36. Let q be b(-17). Suppose 0 = 3*c - 4*f - 183, 0 = 3*c + q*f - f - 198. Suppose -c*h - 36 = -66*h. Does 18 divide h?
True
Let c(h) = -114 - 2*h + 521*h - 188*h. Is c(3) a multiple of 33?
False
Suppose 0 = -101*k + 18*k + 209990. Is 10 a factor of k?
True
Let j(s) = 3*s**2 + 10*s - 11. Suppose 19 = q - 15. Let c = q + -41. Is j(c) a multiple of 22?
True
Suppose 53*v = 75*v - 88. Suppose 5*i = -l - 3*l + 350, -v*l = -i + 70. Does 13 divide i?
False
Let z(d) = d**3 + d**2 - 11*d + 8. Let v be z(-4). Does 4 divide (-24)/48 + 2/v + 326?
False
Let b(x) = 250*x - 10126. Is b(84) a multiple of 46?
False
Let h be 1*(-3 - 7)*2/5. Is 44 a factor of -4 + 3 + h + 310?
False
Suppose 0 = -s + 5 - 1. Suppose -3 = s*g - 11. Suppose -f - g*d + 385 = 4*f, -f = -2*d - 77. Does 23 divide f?
False
Suppose 4*a - 5*o = 407, -o + 199 = 2*a - 2*o. Let p = a + -93. Does 9 divide 90 - 0/(0 - (p - 2))?
True
Let m be (-27)/(-12)*3904/48. Let w(u) = 20*u + 2. Let t be w(4). Let g = m - t. Is g a multiple of 21?
False
Suppose 785441 + 2080123 = 338*y. Is y a multiple of 157?
True
Suppose -3*k - 451 = -421. Let r = k - -144. Is r a multiple of 3?
False
Let g(w) = 2*w**2 + 13*w - 21. Let k be g(-8). Suppose -3*r + k = 0, -70 - 138 = -5*b + 2*r. Is 6 a factor of b?
True
Let t(p) = -1237*p - 2102. Is t(-58) a multiple of 9?
False
Let o = 333 + -49. Suppose o = -14*h + 1418. Does 8 divide h?
False
Suppose 8 - 14 = -c. Suppose 6 - c = -y. Let d(l) = l**2 + 2*l + 21. Does 16 divide d(y)?
False
Let k be (1/(1*2))/(15/2220). Let q = 79 - k. Let u(l) = 25*l - 6. Does 14 divide u(q)?
False
Let l(j) = 16*j**2 - 4*j + 33. Let v be l(10). Let y = 31 - 25. Suppose -15*d = -y*d - v. Does 33 divide d?
False
Let x be (1 - (12 + 5))/(-4). Suppose 533 = 2*l + 3*t, -x*t + 5 = -3*t. Is 89 a factor of l?
False
Let j(d) = -d**3 - 9*d**2 - 11*d - 19. Let m be j(-8). Suppose 0 = 3*r - 11 - 4. Suppose -b = -m*b, r*b = 4*w - 56. Does 7 divide w?
True
Suppose -3*h - 464 = -470. Let i(k) = 118*k - 32. Is i(h) a multiple of 7?
False
Suppose 5*q = -4*s + 23902, -1977*q + 1973*q = s - 5992. Is 48 a factor of s?
False
Suppose p = -3*v + 11, -4*v + 22 = 4*p - 3*v. Suppose 5*q - q = -4*h + 80, q = -p*h + 20. Suppose 0*r - 5*r - q = 0, -2*m - r + 18 = 0. Is 2 a factor of m?
False
Suppose 5168 = 43*q - 9*q. Is q even?
True
Does 33 divide (368/23 - 23)*54912/(-14)?
True
Suppose w + 2*b = 4*b, -w - 3*b - 15 = 0. Let a be ((-1)/w - (-5)/6) + 3. Suppose 5*y = 2*i - 27, 2*i = -a*y + 3*y + 45. Is i a multiple of 17?
False
Suppose -4*d = -14*r - 32176, 5*d - 92*r + 95*r - 40302 = 0. Does 23 divide d?
False
Is 11 a factor of 2445 - -9 - 108/9?
True
Let w(c) = -2*c**3 - 22*c**2 - 22*c - 23. Let z be w(-10). Let u(j) = 0 - 5 - 2 + 2*j + 15*j**2. Is 8 a factor of u(z)?
False
Suppose 5*s - 105 + 30 = 0. Let j be 12/3 - 5/(s/354). Let m = j - -312. Is m a multiple of 11?
True
Let k(t) be the second derivative of 11*t**3/2 - 55*t**2 - 17*t - 11. Is k(13) a multiple of 17?
False
Let j be (35/42)/((-5)/(-30)). Is 61 a factor of ((-1281)/(-3))/((-2 - -7)/j)?
True
Does 11 divide ((-682)/66)/(2 + (-8860)/4428)?
False
Suppose -s + 4 + 3 = 3*o, 11 = 4*o + 3*s. Suppose -3*q + 4*c = -309, -3*q + o*c = -8*q + 489. Is q a multiple of 33?
True
Let i be (2 + 1)*5*1*1. Let q = i + 140. Suppose -2*y = -5*g - 331, -7*g + 6*g + q = y. Is 38 a factor of y?
False
Let f = -24588 - -34976. Suppose -3*u + f = 25*u. Is 39 a factor of u?
False
Let i = 5 - 66. Let k = 191 - i. Is 19 a factor of k?
False
Does 72 divide 3/2*(-48)/72 - -9793?
True
Suppose -k = 5*j - 54598, -3*j - 4*k + k + 32754 = 0. Is 56 a factor of j?
True
Let a(i) = -76*i + 2. Let n(y) = y**3 - 5*y**2 + 6*y - 1. Let o be n(3). Is a(o) a multiple of 63?
False
Suppose -3*f + 2*c = -257, -4*f + 17*c - 21*c + 356 = 0. Suppose -2*t + 2*y + 292 = 0, t + 2*y - f = 71. Is t a multiple of 50?
True
Let c be (21/(-14))/((-6)/8). Let b be (0 + c)/((-4)/(-194) - 0). Suppose 2*q = b + 51. Is q a multiple of 37?
True
Is (9*(-4)/12 - -1)*-544 a multiple of 34?
True
Let y(z) = 310*z**2 - 49*z - 46. Is y(-1) a multiple of 4?
False
Suppose -4*l - 144 = 7*z - 8*z, -4*z + l + 486 = 0. Does 5 divide z?
True
Suppose 0 = -f - 4*k + 15204, 214*k = 4*f + 212*k - 60708. Does 15 divide f?
True
Suppose 0 = 17*l - 20*l - 4*r + 2800, 8*r - 900 = -l. Is 8 a factor of l?
False
Let y = -430 - -74. Let h be 5 + 913/(-33)*6. Let w = h - y. Is w a multiple of 13?
True
Let m be -1 - 3/(-2)*(-956)/(-3). Let u = m + -358. Is u a multiple of 10?
False
Let l be 1*(-2 + 5 - 6). Is 236 + 3 + -8 + (l - -1) a multiple of 14?
False
Let f(j) = 38 - 8 + 93 + 20*j + 0. Does 12 divide f(14)?
False
Suppose -3*x - 2*g = -4*g - 1539, 1527 = 3*x + 2*g. Suppose -15 = 5*b, b = 2*j - 1626 + x. Suppose 0*f = 4*f - j. Is 14 a factor of f?
False
Let o be (-924)/(-55) + (-4)/5. Suppose -o = -7*w + 54. Suppose -d + w + 47 = 0. Does 51 divide d?
False
Suppose 4*q = -2*d + 130, 5*d = 3*q + 68 + 192. Suppose -5*u + 45 = -4*l + 5*l, 5*u + d = 3*l. Is 5 a factor of l?
True
Let m be 6/9 - (-206)/6. Suppose 0 = 5*i - 3*r + 27, 3*i + 2*i + m = -5*r. Does 29 divide (36/15)/i*-290?
True
Let g be (-18)/(-4)*(-10700)/(-75). Let k = g + -425. Is 9 a factor of k?
False
Let p be 5/(-15) - 1/((-9)/21). Suppose -4*s = 2*o - 732, -p*o + 0*o - 2*s = -738. Let u = -92 + o. Is u a multiple of 56?
True
Let d(v) = 4295*v**3 + 2*v**2 + 4*v - 6. Is d(1) a multiple of 16?
False
Suppose 22*c - 21*c + 100 = 0. Does 58 divide 29*15*c/(-75)?
True
Suppose 3*l + 16880 = 3*u - 60730, -5*u + 3*l + 129360 = 0. Does 207 divide u?
True
Suppose -3*n = -n - 6. Suppose n*m - 515 = -9*l + 4*l, l + 849 = 5*m. Suppose 8*b = -m + 1418. Is b a multiple of 13?
True
Let j(v) = -12*v**3 - 67*v**2 - 22*v - 20. Is 4 a factor of j(-6)?
True
Suppose -2*h + 19250 = 3*n, -2*n + 40*h - 38*h + 12840 = 0. Is 62 a factor of n?
False
Let d(c) = c**3 - 19*c**2 + 4*c + 44. Let q = 162 - 143. Does 24 divide d(q)?
True
Suppose -3*w + 5 = 2, -2*w + 17 = 5*p. Suppose -p*z + 11 = 8. Is z*(-3 + 378/3) a multiple of 36?
False
Let n(k) = 5*k**3 - 8*k**2 + 15*k - 20. Does 6 divide n(5)?
True
Suppose -14*b + 12060 = -13*b + 15*a, 0 = 4*b + 2*a - 47892. Is b a multiple of 70?
True
Let u = 17 + -15. Let h(y) = -y**u + 10*y**2 + 8*y**2 + 0 - y**3 + 19 - 11*y. Is 33 a factor of h(16)?
True
Suppose 73 = 6*m + 55. Suppose -3*l + m*c - 55 = -4*l, 5*l - 261 = -c. Is 8 a fact