a factor of j?
True
Suppose -6*h + 9 + 3 = 0. Suppose 0*b - 5 = 4*b + n, -h*n = -3*b - 12. Is 9 a factor of -27*(-3)/((-6)/b)?
True
Let w be (-18)/45 - ((-607)/5 - 0). Let q = w + 135. Does 32 divide q?
True
Let c(p) = -8*p - 2. Let q(j) = j**2 + 3*j - 8. Let v be q(-4). Is c(v) a multiple of 15?
True
Let f be ((-16)/(-56) + 145/7)*47. Suppose -f = -8*n + n. Is n a multiple of 33?
False
Let n(p) = -p**3 - 3*p**2 - 2*p + 3. Let r be n(-3). Let l = r + -7. Suppose l = -2*m, -4*h - 2*m + 14 + 40 = 0. Does 14 divide h?
True
Suppose a - 3*x + 2 = -0*a, 2*x + 55 = 5*a. Let p = a + -15. Is p/(-10) + (-1056)/(-20) a multiple of 24?
False
Let a(y) = -7*y + 2. Let o be -3*(4 + (-16)/6). Let r be a(o). Suppose 35 = 5*g + 5*x, 4*g - x - r = -4*x. Does 6 divide g?
False
Suppose -8*m = -5*m - 2*o - 1882, 4*m = 5*o + 2521. Does 16 divide m?
True
Let h be 2 - (0 + -1 - 2). Suppose c = h*c. Suppose 0 = -5*t - v + 2*v + 45, c = -5*t + 5*v + 45. Is t a multiple of 3?
True
Suppose 5*b = -3*i + 1495, b - 1705 = -4*i + 260. Does 78 divide i?
False
Suppose 13*n + 17*n - 750 = 0. Is n a multiple of 2?
False
Suppose -j + 2*j + 4*i = 8, -4*j + i + 15 = 0. Let y be 1/(-33*(-8)/(-276) - -1). Suppose j*s = y + 81. Is 26 a factor of s?
True
Let j(r) = -57*r - 47. Is 20 a factor of j(-11)?
True
Let o(p) = 4986*p**2 + 10*p - 9. Is 12 a factor of o(1)?
False
Let y = -127 - -359. Suppose -4*n + 42 = -2*z - y, -15 = -5*z. Does 35 divide n?
True
Suppose 5*q - 3*v = 2931, 355 = 2*q + v - 813. Does 15 divide q?
True
Let k be (-60)/18*(-12)/(-10). Let z be 6/k*2672/6. Is 12 a factor of z/(-16) + (-3)/(-12)?
False
Suppose 5*u = 4*z + 2220, -5*u + 21*z = 25*z - 2220. Is 12 a factor of u?
True
Let h be ((-2)/(-6))/((-2)/12). Let o be (0 - 2 - -2)/h. Let m = 15 - o. Does 15 divide m?
True
Let w(i) = 0*i**3 + 367*i + 6 - i**3 - 3*i**2 - 371*i. Is 24 a factor of w(-4)?
False
Let n(h) = -22*h + 126. Does 9 divide n(0)?
True
Let f(o) = 4*o - 41. Suppose -4*w + 38 = -2*g, -4*w + 4*g + 11 = -17. Is f(w) a multiple of 4?
False
Suppose -4*b + 3896 = -7*t + 12*t, -4*t + 3119 = b. Is t a multiple of 30?
True
Suppose -245 = 4*o - 0*o - 5*i, -o - 5*i - 55 = 0. Let y = o + 81. Does 21 divide y?
True
Let n be (-1)/(-1) + 3 + 0. Suppose -5*d + 12 = -2*u, 5*u + 0 = n*d + 4. Suppose 0 = -u*l + 117 - 45. Does 9 divide l?
True
Let t(a) = -a**2 - 16*a + 16. Let q(c) = -c**2 + 10*c + 16. Suppose -2*r + 2*v - 40 = -6*r, 0 = -3*r - 2*v + 28. Let o be q(r). Does 23 divide t(o)?
False
Let x(o) = 11*o - 2 + 932*o**2 + 1 - 933*o**2. Let y(j) = j + 12. Let a be y(-6). Does 8 divide x(a)?
False
Suppose 4*p + 0*y - 3640 = -2*y, -2*y - 1808 = -2*p. Is p a multiple of 55?
False
Let t(g) = -2*g + g + g + 9 - g. Let v(y) = y. Let x(w) = t(w) + 2*v(w). Does 9 divide x(8)?
False
Let s(p) be the first derivative of p**5/10 - 5*p**4/12 + 2*p**3/3 + 2*p**2 - 10*p - 1. Let m(o) be the first derivative of s(o). Does 20 divide m(3)?
False
Is 32 a factor of (-51 - -11)*(-8)/2?
True
Let x = 3 - -2. Suppose x*k - 87 = -4*d + 45, 5*d = -4*k + 156. Is d a multiple of 3?
False
Suppose -218 = 2*n + 4*f - 1898, -3*f - 1680 = -2*n. Is 60 a factor of n?
True
Let c(i) = -i - 6. Let p be c(-6). Suppose 0 = -4*u - 3*s + 417, p = -u - 3*s - s + 88. Does 27 divide u?
True
Suppose 3*s = -5*r - 2, s = -5 + 1. Let v(l) = -r*l + 3 - 2 + 56*l**2 + 1. Does 14 divide v(1)?
True
Let b = 46 + -44. Let i = -2 - -7. Suppose -t + 222 = i*m, 0*t = 4*m - b*t - 186. Is m a multiple of 15?
True
Suppose 6*f + 4*z - 268 = 2*f, -f - 4*z + 55 = 0. Does 17 divide f?
False
Suppose -15 = 9*d - 14*d. Suppose -d*s + 2*v = -4*s + 297, s - 3*v - 272 = 0. Is 44 a factor of s?
False
Let k be (227/4)/(2/8). Suppose k = 4*m + 39. Let f = m - 28. Is 14 a factor of f?
False
Suppose c + 5*w + 19 = 72, 4*c + w - 155 = 0. Let h = -47 + 35. Let v = c + h. Is 12 a factor of v?
False
Suppose 3 = -2*r - r, -y + 183 = -5*r. Let j = y + -84. Is 29 a factor of j?
False
Suppose 45 = 5*d - 2*d. Suppose -5*l + 0 = -d. Suppose -l*v + h - 5*h = -140, -5*v + 5*h = -245. Does 8 divide v?
True
Let d(y) = 38*y - 41. Let x be d(8). Let i = 452 - x. Is 27 a factor of i?
True
Let a(r) be the third derivative of -11*r**4/24 + r**3 - 18*r**2. Does 18 divide a(-6)?
True
Let s(h) = -h**2 + 50*h - 51. Is s(39) a multiple of 24?
False
Let s = 120 - 119. Is 20 a factor of 176 + (-4)/(-1)*s?
True
Suppose c = -122 - 289. Let g = c + 900. Does 18 divide g/9 - (-1)/(-3)?
True
Does 6 divide 3*-1 - (-289 + (20 - 36))?
False
Let n(b) = -2*b - 2. Let w(u) = u - 18. Let c be w(8). Let f be n(c). Suppose -3*g - f = -144. Is g a multiple of 14?
True
Suppose 0 = 2*s - 7 + 1. Let l(i) = -4 + 5*i**3 - 4*i**3 + 5*i**2 - 2*i**s. Is l(4) a multiple of 4?
True
Let l be (-13)/4 - 5/(-20). Let k = l - -8. Let r(c) = -c + 15. Does 10 divide r(k)?
True
Suppose 6*f - 1984 = -280. Suppose q - f = -40. Is q a multiple of 54?
False
Suppose 4*l - w = 230, 5*l - 3*w = 2*w + 295. Suppose -k = -4*t + 209, -3*t + l = -3*k - 102. Is 13 a factor of t?
True
Suppose -24 = 7*g - 11*g. Suppose g*h + 12 = 108. Is h a multiple of 16?
True
Let m(s) = -5*s + 21. Suppose -4*l = -2*z + 19 + 13, -3*z - 12 = 0. Is 9 a factor of m(l)?
False
Let d(c) = -11*c + 4. Does 5 divide d(-6)?
True
Suppose 60*s = 59*s + 46. Is s a multiple of 21?
False
Let a(n) = -164*n - 797. Is a(-7) a multiple of 3?
True
Let i be (-1)/(-1) - (1 + -3). Let b(x) = -2 + 4 - i - 11*x - 7. Is b(-4) a multiple of 18?
True
Let d be 44*(2 + (-21)/12). Suppose 0 = d*p - 17*p + 972. Is p a multiple of 64?
False
Suppose 16 = h + 19, -2*s + h = -663. Is 66 a factor of s?
True
Suppose -2*x + 254 = -90. Let q = -87 + x. Is 9 a factor of q?
False
Let b(x) = 14*x**2 - 9*x + 11. Is 76 a factor of b(9)?
True
Suppose 5*g = 6*g - 12. Suppose -g = 6*s - 42. Suppose -2*i + 3*u = -74, u - 95 = -3*i + s. Is i a multiple of 5?
False
Let y be 329 - (8 + (-6 - -2)). Suppose 0 = 10*p - y - 615. Does 14 divide p?
False
Let f(x) = -x + 19. Suppose -2*b + 14 = 3*r, -b - r + 2 = -3. Let u be ((-3)/9)/(b/(-27)). Is 3 a factor of f(u)?
False
Let g be -2 - -1*(-3 + 7). Suppose g*x + 0 = 6. Suppose x*p - 54 = 21. Does 25 divide p?
True
Let m(g) = -g**3 + 16*g**2 + 49*g - 12. Does 10 divide m(14)?
False
Let h be ((-2)/3)/((-3)/(-63)). Let y = -3 - h. Let m = -6 + y. Is 4 a factor of m?
False
Let x(v) = 2*v**2 - 5*v - 3. Let f be x(3). Let m = 5 - f. Suppose -m*z + 42 = -3. Is z even?
False
Suppose -n = -4, 12 = 5*d - n + 1. Is 54 a factor of ((-4)/(-3))/(4*d/3402)?
True
Suppose 4*t - 424 - 1808 = 0. Is t a multiple of 17?
False
Let f(q) = 3*q**3 + 2*q**2 + 5*q - 4. Is f(4) a multiple of 16?
True
Let d = -267 - -395. Is 16 a factor of d?
True
Let d(o) = -o**3 + 13*o**2 - o + 14. Let w be d(13). Let l be w*-4 + (-24)/(-6). Let y = l - -75. Does 15 divide y?
True
Is 34 a factor of (-144)/(-5)*130/26?
False
Is (65/(-3))/(80/(-240)) a multiple of 8?
False
Let v be ((-66)/(-8))/(1/(-16)). Let w = 189 + v. Is w a multiple of 19?
True
Suppose -2*w + 183 = 187. Does 17 divide ((-144)/(-28))/(w/(-14))?
False
Is 96 a factor of (-4)/(-3) + 53/((-795)/(-40300))?
True
Suppose f = -4*l + 699, 4*f - 1275 = -4*l + 1461. Does 9 divide f?
False
Suppose 24*n - 29*n + 5384 = -p, -4*p - 16 = 0. Is n a multiple of 52?
False
Let j(h) = -h**3 - 10*h**2 - 2*h - 6. Is j(-10) a multiple of 5?
False
Let f = 1612 - -698. Is f a multiple of 42?
True
Let f be (-15)/(-2)*4/10. Suppose 47 - 14 = 2*g - 3*c, 2*c = f*g - 42. Is g a multiple of 6?
True
Let z = -60 - -178. Is 10 a factor of z?
False
Is 11152/56 + 3/(-21) - 1 a multiple of 2?
True
Let p be 8/20 + 588/5. Let h = p + -73. Does 3 divide h?
True
Let h be ((-5)/(-2))/((-3)/(-18)). Suppose 0 = 5*l + 2*d - h, 2*l - d = 7*l - 15. Suppose 6*b - b - 23 = -l*u, 0 = -2*u + 4*b + 8. Is u a multiple of 3?
True
Suppose -4*i - 35 = i. Let c be 6/(-3) + (-5 - i). Suppose 4*h + c*h - 102 = 3*f, -8 = 4*f. Does 12 divide h?
True
Let k = 15 - 10. Suppose -p = 3*q - 6, -p + 2*p = k*q - 2. Is 3 a factor of p?
True
Suppose -3*b - b = -5*p + 293, 10 = -5*b. Is 17 a factor of p?
False
Suppose 0*x - 1190 = -2*x - 5*m, -595 = -x - m. Suppose -4*z - 147 + x = 0. Is z a multiple of 14?
True
Let s(n) = -6211*n - 62. Is s(-1) a multiple of 58?
False
Suppose 140378 = -38*r + 112*r. Is r a multiple of 8?
Fals