5 divide q?
False
Let f(c) = c**2 - c - 17. Let x be f(5). Suppose 4*q + 5*j - 3*j = 276, 2*q + x*j = 130. Suppose -2*v = -q - 83. Is 17 a factor of v?
False
Let y(l) = 5*l**2 + 23*l + 46. Does 14 divide y(16)?
True
Suppose -2*w = -j + 4230 - 575, -j = -3*w - 3651. Is 111 a factor of j?
True
Let k be ((-27)/4)/(4/(128/(-6))). Suppose 0 = -33*m + k*m - 1872. Suppose 5*p = m + 11. Is p a multiple of 13?
False
Let b(w) = -1 + 100*w**2 + 1. Suppose -i = 3*v - 10, -94*i = -98*i - 5*v + 19. Is b(i) a multiple of 25?
True
Suppose -177*m = -439030 - 1725680. Is m a multiple of 95?
False
Let y(c) = 2*c + 1. Let f(h) = 17*h - 110. Let r(n) = -2*f(n) + 18*y(n). Does 4 divide r(-24)?
False
Suppose 4*d = 3*v - 21, 0 = -5*v - 3 + 18. Let t be 397 - (d + 2)*3. Suppose 0 = 5*z - 3*y - 0*y - 1035, 0 = -2*z + 4*y + t. Is 30 a factor of z?
True
Let u = -7343 - -7589. Does 123 divide u?
True
Let g = 8432 - 7695. Does 2 divide g?
False
Let o = -300 + 1565. Is 11 a factor of o?
True
Suppose 0*t = t + t. Let z be (15/(-4) + 4)*t. Suppose -4*k = z, n + 2*n = 4*k + 75. Does 5 divide n?
True
Suppose 39*j = 7*j + 19*j + 102102. Does 11 divide j?
True
Let x(t) = -2*t + 35. Let w be x(15). Suppose 2*l - 7 = -w*k, 2*l - 4 = -5*k + k. Is 3 - 7 - (-93)/k a multiple of 5?
False
Is 96229/7 + -4 + 21 a multiple of 74?
True
Let z = -54 + 8. Let v = z - -64. Suppose 17*b = v*b - 51. Is b a multiple of 17?
True
Let n(h) = -h + 18. Let d be n(6). Suppose 0*b - 3*b = -d, -4*a - 4*b + 28 = 0. Is 3 a factor of 129*a/(-27)*-3?
False
Let j(a) = 103*a**2 + 10*a + 16. Is 29 a factor of j(7)?
True
Suppose -5*f + 138 = -2*c + 953, -f = 1. Suppose -19*u + 14*u = -c. Is 4 a factor of u?
False
Let y = -40 - -54. Suppose -y*i + 1364 = -232. Let v = i - 96. Is 18 a factor of v?
True
Suppose -2*j + 5*z + 14970 = 3*j, -z + 14964 = 5*j. Is j a multiple of 5?
False
Let i(c) = c**3 + 12*c**2 + 13*c + 7. Suppose 0 = x + 6 - 0. Is i(x) a multiple of 8?
False
Let i(z) = -273*z + 13. Suppose -13*s = -10*s + 2*l + 13, -15 = 5*s + 2*l. Does 13 divide i(s)?
True
Let w(z) be the first derivative of 19*z**4/4 - 2*z**3/3 - z**2 + z - 9. Let r be w(2). Is 7 a factor of 3 + r + 10/2?
False
Let h = 5383 + -868. Is 35 a factor of h?
True
Let s be 199530/180 + 5/2. Let b = s + -594. Is b a multiple of 61?
False
Let j = -20206 + 25910. Is j a multiple of 92?
True
Is 59 a factor of 148686/24 + (1 - -3*15/(-36))?
True
Let w = 49366 - 14254. Does 20 divide w?
False
Let h(q) = 2*q**3 - 26*q**2 + 8*q + 12. Let s be h(9). Let u = s + 1023. Does 51 divide u?
True
Suppose 88 = -7*t + 5*t. Does 4 divide 70 + (-1 + 2)*t/(-22)?
True
Is 108 a factor of 15*(-12)/54*(-1 - 33047)/6?
True
Is (-5)/((-1)/(-2718)*(-57)/(-1520)*-8) a multiple of 143?
False
Let v be (3 - 12)/3 + 6 + 2. Suppose -283 = -h + 2*a, v*a = -h + 2*h - 286. Suppose 3*u + 65 = h. Is u a multiple of 12?
True
Suppose l + l = 4. Let i = 1297 - 1297. Suppose g + 4*z + 142 = 4*g, l*z - 10 = i. Is 6 a factor of g?
True
Suppose -6*t = 3*m - 3*t + 45, -5*t - 15 = 0. Is (-939)/(-9) + m/(-18) a multiple of 8?
False
Let q(u) = -412*u + 2742. Does 25 divide q(-19)?
False
Let s(r) = 78*r + 12. Suppose 5*h = 28 - 18. Does 21 divide s(h)?
True
Let v = -341 + 344. Let u(b) = 11*b**3 + 5*b**2 - 12*b - 5. Does 45 divide u(v)?
False
Suppose -398*b + 402*b - 52 = 0. Let j(y) be the third derivative of y**6/120 - y**5/5 - y**4/6 - y**3/2 - 3*y**2. Is j(b) a multiple of 19?
True
Suppose 5*y - 34 = 2*o, -5*y + 32 = -y - 4*o. Let x be (-4)/y - 4338/(-27). Suppose 2*h = p + 3*h - 40, 5*p = 5*h + x. Is p a multiple of 6?
True
Suppose -34697 = -1135*y + 1131*y - 9*n, -5*y = 4*n - 43335. Is y a multiple of 14?
False
Let u(h) = 3*h**2 + 27*h + 34. Is u(-11) a multiple of 20?
True
Suppose 32*b + 14*b - 61006 - 87528 = 0. Is 62 a factor of b?
False
Let q = -339 + 337. Let m(p) = -52*p**3 + 2*p + 2. Does 9 divide m(q)?
True
Is 39 a factor of 22/3 + (-177122)/(-66)?
True
Suppose 3*w + 2335 = -4*k, -8*w + 5*w + 1767 = -3*k. Let p = 822 + k. Is 7 a factor of p?
False
Let b = 84 - -259. Let s = -172 + b. Does 19 divide s?
True
Suppose 0 = 12*q + 6715 - 80287. Is 13 a factor of q?
False
Let x be (-4)/(-18) - ((-35984)/72 - 2). Suppose -3*o + x = -4*q, -5*o - 5*q + 901 = 6. Is o a multiple of 6?
True
Suppose -65 = -32*b + 63. Is 8/b + (-504)/(-3) a multiple of 17?
True
Suppose 438 + 312 = 2*u - 2*l, -u + 5*l + 367 = 0. Suppose -u = -6*k + 1963. Suppose 3*v + 159 - k = 0. Is 42 a factor of v?
False
Let v = 85 - 81. Suppose -2*w + 58 = 3*w + z, 42 = v*w + 3*z. Let i = 18 + w. Is i a multiple of 6?
True
Suppose -31052 = -822*t + 794*t. Is t a multiple of 2?
False
Does 5 divide 150/21*(-23 + 21 + 3768)?
True
Let b be (-2)/5 + (-4)/(-10). Let a(s) = -13*s + 65. Let g(p) = 2*p - 1. Let r(u) = a(u) + 3*g(u). Is r(b) a multiple of 18?
False
Let g(w) = 6*w**2 - 10*w - 80. Suppose 4*b + 0 = 3*d - 17, -2*d = 5*b + 27. Is 8 a factor of g(b)?
True
Let d(z) = 8*z + 78. Let o be d(7). Let y = o - 70. Is y even?
True
Suppose -2*r + 14 = 2*r + 5*p, 5*p + 10 = 0. Suppose -r*f + 114 = -0*f. Suppose -f = -l + 5. Is l a multiple of 5?
False
Let x be -5 + 1 + 2 - -4. Suppose -x*q + 576 = -10*q. Let z = -45 - q. Is z a multiple of 4?
False
Let z(v) = v**2 - 57*v - 535. Is z(92) a multiple of 15?
True
Is 20*11272/32 + 2 a multiple of 29?
True
Let i = 1470 - 519. Is 15 a factor of i?
False
Let j = 21 - 16. Let l(h) = -3 - 24*h - 5 + j*h**2 + 4 - 1. Is l(7) a multiple of 12?
True
Let r be 2697/6 + (-15)/(-10). Suppose -4*j + r = 107. Is j a multiple of 12?
False
Suppose 18*m + m = 4*m. Suppose 17*d = 15*d + 3*v + 2098, -5*d + 2*v + 5223 = m. Is 17 a factor of d?
False
Let l = 18544 - 6990. Is 53 a factor of l?
True
Let l be 4/(-7) - (-32)/7. Suppose -97 = -4*p - x, 153 - 40 = 5*p + l*x. Let n = 58 - p. Is 9 a factor of n?
False
Let n(a) = 3*a**3 - 5*a - 2. Let c be n(-2). Is 23 a factor of 1150/20*c/(-20)?
True
Let b be (1 - 69)*2/(-4). Let s = b + -29. Suppose -4*v + s*d = -216, -5*d - 9 = -v + 30. Does 7 divide v?
False
Let t(b) = -6*b + 148. Let a be t(23). Is 66 a factor of (-70)/(-6)*25 - a/(-30)?
False
Let f = 81 - 209. Let b = f - -443. Does 9 divide b?
True
Suppose -33143*o + 33158*o - 101700 = 0. Is 60 a factor of o?
True
Let l = 26 - 18. Let k(w) = w**3 - 9*w**2 + 8*w - 7. Let x be k(l). Let i(a) = a**3 + 7*a**2 - 10*a - 14. Does 7 divide i(x)?
True
Suppose -117 = -7*k - 5. Is 39*(k/(-12) + 2) a multiple of 13?
True
Let k be (6/(-9) + 0)/((-2)/6). Suppose k*d = -5*q + 60, 2*d - 3*q + q - 60 = 0. Suppose -6*x = -3*x - d. Is 5 a factor of x?
True
Let n = -1792 + 1057. Let y = 1832 + n. Does 45 divide y?
False
Let f(b) = -324*b + 1. Let i be f(1). Suppose 0 = -34*d + 30*d - 1904. Let l = i - d. Is l a multiple of 16?
False
Let u(f) = -128*f - 477. Does 9 divide u(-18)?
True
Let n be (19 - (-4 - -4))*1. Let t = n + -15. Suppose -t*l - 4*c = -2*c - 646, -3*c = -3. Is l a multiple of 35?
False
Suppose 15*l - 3256 = 5954. Suppose -2*s + 4*s + l = 2*f, 3*s = -3*f + 951. Does 13 divide f?
True
Let z = -181 + 234. Suppose -2*y = 3*g - 332, 3*y = 2*g + z - 283. Is 14 a factor of g?
True
Suppose -68*v - 535926 + 1472374 = 56*v. Does 128 divide v?
True
Suppose -3*q + u = -781, -1033 = -3*q - q + 3*u. Suppose 0*h + 3*a - q = h, a = 4. Let k = 448 + h. Is k a multiple of 22?
True
Let v = 177 - -430. Let r = v - 370. Does 13 divide r?
False
Let q be (0 + (-21)/(-14))*8/(-6). Let m be (5/q)/(-1)*44/55. Suppose -k = -m*h - 101, 0 = -5*k - 0*h - 3*h + 453. Is k a multiple of 31?
True
Let f be 3/15 - (1536/(-20))/6. Suppose 12*y - 775 = -f*y. Is 7 a factor of y?
False
Let c(g) = 10*g + 9*g**2 - g**2 - 41 + 0*g - 5*g**2. Is c(5) a multiple of 21?
True
Suppose -4*q = -u - 1739, -3*q = q + 5*u - 1745. Is (48/10)/(6/q) a multiple of 41?
False
Suppose -5*b - 5*m - 130 = 0, -b - 2*m - 14 = -5*m. Let o be (-2 + 1)/1*b. Suppose -4*l + 1 = -o. Does 6 divide l?
True
Let r(q) = -13*q - 21. Let w = 131 + -197. Let m = -73 - w. Does 35 divide r(m)?
True
Let w(n) = -3*n**2 + n + 4. Let m be w(0). Suppose 0*i + m*i = -224. Let g = i - -121. Is g a multiple of 13?
True
Let b(w) be the third derivative of -1/12*w**4 + 0 - 20*w**2 + 0*w + 19/6*w**3. Is 8 a factor of b(-13)?
False
Let x be (-1)/(2 + (-333)/171). Let g(b) = b**3 + 19*b**2 - 8*b + 54.