(j)?
True
Let m be ((-20)/(-5))/(2*1). Let g be 0 - 0 - -2*2. Suppose 0 = -4*p + 3*p + 5*w - g, -2*p + m*w = -24. Is 16 a factor of p?
True
Suppose 38 = 2*h - 4*t, 4*h - 56 = -0*t - 2*t. Let o = h - -45. Is o a multiple of 30?
True
Suppose 79 + 266 = 5*z. Suppose -u + 4*u = z. Is u a multiple of 16?
False
Let v(d) = d**2 + 6*d - 5. Is v(-7) a multiple of 2?
True
Let w(o) be the third derivative of 5*o**6/12 + o**5/60 - o**4/24 + 6*o**2. Is 25 a factor of w(1)?
True
Let r = 71 + -124. Let b = r + 83. Does 17 divide b?
False
Suppose -c = 3*b + 1 + 3, 3*c + b = 28. Let v(r) = r**3 - 11*r**2 + 3*r - 5. Is v(c) a multiple of 7?
True
Let i = -3 - -2. Is i/(-2) + (-9)/(-2) a multiple of 5?
True
Suppose -2*p + 108 = -4*q, -2*q = -0*p + 5*p - 294. Is 8 a factor of p?
False
Let d(u) = 6*u**2 + u + 2. Is d(2) a multiple of 7?
True
Suppose 2*d - 4*d = 6, -5*m = 3*d - 486. Is m a multiple of 33?
True
Let r(l) = l + 15. Is 4 a factor of r(-6)?
False
Suppose a + 43 = 2*a. Does 26 divide a?
False
Let i(l) = -l + 7. Let x be i(6). Let z be 1*(x + (-2 - -2)). Suppose 2*b - 5 = z. Does 3 divide b?
True
Let q = 5 - 11. Let i(g) = -2*g. Let s be i(q). Suppose h = -h + s. Is h a multiple of 5?
False
Suppose -3*x - 2*t - t - 9 = 0, 15 = 5*x - t. Does 21 divide ((-12)/8)/(x/(-28))?
True
Is 125/2 + 24/16 - -3 a multiple of 25?
False
Does 12 divide (-2)/4 - (1589/(-14) - 0)?
False
Let i = -9 + 19. Suppose j + 3*j = -5*d + i, d = 2*j + 16. Is ((-116)/d)/(4/(-6)) a multiple of 12?
False
Suppose b = 2*b - 4. Suppose -2*r - 4*g + b = 0, 5*r - 18 = 2*r - 2*g. Is 2 a factor of r?
True
Let z(x) = 2*x**2 + 23*x + 25. Let u(v) = -v**2 - 12*v - 13. Let k(d) = -5*u(d) - 3*z(d). Is 2 a factor of k(-7)?
True
Let y be (-2)/(-10) - (-19)/5. Suppose -a + o = -0*o - 34, 127 = y*a + 5*o. Is 9 a factor of a?
False
Suppose -3 = -3*j + 5*u - 2, -3*j - u = -7. Let f(a) = 2 + 3 - a - 3*a - a**j. Does 3 divide f(-4)?
False
Let r = 57 + -52. Is 4 a factor of r?
False
Suppose -3*j + 2*l = 5, 5*j + 8 - 1 = 4*l. Let z be (-8)/12 - 77/j. Suppose g = -2*c - 3*g + 36, 0 = -5*c + 3*g + z. Is c a multiple of 8?
True
Is 7 a factor of -2 - (-4)/3*21?
False
Let w(r) be the second derivative of -r**4/4 - r**3/6 + 3*r**2/2 - r. Let z be w(5). Let v = z - -115. Is v a multiple of 20?
False
Let s be (100/35)/((-6)/(-105)). Let q = s - 30. Is q a multiple of 5?
True
Is 8 a factor of (111/6*-4)/(-2)?
False
Let a be (-3)/(-5) - 22/(-5). Let z(i) = -i - 5. Let r be z(a). Does 15 divide (-284)/r - 9/(-15)?
False
Let r(d) = -d**3 - 14*d**2 - 15*d - 35. Does 35 divide r(-14)?
True
Let g be (1*-9)/(4/12). Is (5/((-5)/g))/1 a multiple of 10?
False
Suppose 0 = -3*z + i + 27, z = 2*i - i + 9. Does 9 divide z?
True
Let u be (-3)/((-4)/(152/6)). Suppose -47 = -3*l + u. Is l a multiple of 22?
True
Is 25 a factor of ((-4)/10)/(-1) + (-3738)/(-30)?
True
Suppose 3*c - 60 = 3*j, -5*j + j - c - 100 = 0. Does 7 divide (j/10)/((-12)/90)?
False
Let x be (-356)/(-10) - 24/(-60). Suppose -w + 2*k + x = -3*k, k = 4*w - 144. Does 18 divide w?
True
Let i = -2 + -8. Let b = i + 22. Is b a multiple of 9?
False
Let u = 9 + -6. Suppose z = -u*z + 8, -4*f = 4*z - 120. Does 7 divide f?
True
Let c(l) = 2*l**2 + 3*l - 3. Suppose -3*h - 2*d + 1 = 3*d, -2*h + d = 8. Let y be c(h). Does 4 divide ((-6)/(-9))/(y/135)?
False
Suppose 11 + 7 = -2*r. Let i = r - -46. Is i a multiple of 14?
False
Let a be 2/(0 + -2) + 26. Suppose -2*q = a - 109. Is 21 a factor of q?
True
Suppose -3 = -a - 8, -3*z = -5*a - 133. Suppose 5*d - 2*b - 186 = -z, -3*d - b = -79. Does 7 divide d?
True
Let o = 6 + 10. Suppose 0 - 24 = 4*f + 4*z, -2*f - 3*z = o. Is 9 a factor of 1 + (7 - 4/f)?
False
Let a be (-20)/(-6) - 6/(-9). Suppose a*l = 6*l. Suppose -2*h - h + 6 = l. Is h a multiple of 2?
True
Suppose -o = 3*v - 95, -5*v + 88 = 5*o - 87. Let j = v + -15. Is 15 a factor of j?
True
Let l be (-2)/(-1) - -4*5. Let t = -7 + l. Is 14 a factor of t?
False
Suppose -2*t = -4*t. Suppose 0 = -q - 4 + 1, -4*s + q + 7 = t. Suppose -3*x - a = -3 - 2, -5*x = 4*a + s. Is 3 a factor of x?
True
Suppose 9*c - 4*c + 2*h = 134, 9 = -3*h. Is 11 a factor of c?
False
Let z = 56 + -50. Is z a multiple of 6?
True
Let p(c) = -111*c**3 - c - 1. Let l be p(-1). Let n(s) = s**2 + 4*s - 8. Let z be n(-6). Suppose h = -5*v + l, 0*v - 18 = -v + z*h. Is v a multiple of 11?
True
Does 11 divide ((-2)/3)/((-404)/132 + 3)?
True
Suppose 5*y = -10, 0 = -4*v + 2*y - 6*y + 256. Is 29 a factor of v?
False
Let a = -1 - -4. Let p = 6 - a. Does 16 divide 47*(2 - (p - 2))?
False
Suppose -4*h = -2*h. Suppose 0 = -2*v - 5*n + 65, -v + 4*n + 60 + 5 = h. Does 15 divide v?
True
Suppose 3*o - 4 = 4*o, -o + 752 = 4*y. Does 9 divide y?
True
Let p = -6 - -4. Let b(o) be the first derivative of o**3/3 - o**2/2 - o - 4. Is b(p) a multiple of 4?
False
Let t be 0 - 1*-1*-5. Let h(q) = 7*q + 2. Let s(b) = -13*b - 5. Let k(y) = 5*h(y) + 3*s(y). Is k(t) a multiple of 15?
True
Suppose -3*x - 2*l = -0*x - 187, -256 = -4*x + 4*l. Does 21 divide x?
True
Suppose n - 4 = 2*q, -2*q + 3 = n + 7. Suppose b - 2 = -x, -3*b - 4*x = -n*x - 6. Suppose -b*y - 2*y = -32. Does 4 divide y?
True
Let i = 19 + -12. Suppose 0 = 3*n + i - 37. Does 5 divide n?
True
Suppose -4*n = -952 - 440. Does 41 divide n?
False
Suppose l - 25 = q, 0*l + q - 35 = -2*l. Does 10 divide l?
True
Suppose -172 + 42 = -5*b. Is 13 a factor of b?
True
Let s = 0 - 26. Let z = 41 + s. Let j = 39 - z. Does 12 divide j?
True
Is 13 a factor of (3 + -1)*(-212)/(-8)?
False
Let h(w) = -w**2 - 3*w + 4*w - 9 + 8*w. Let l be h(6). Suppose 119 - l = 5*i. Is 11 a factor of i?
True
Let x = 171 - 109. Suppose 2*b - x = -16. Does 23 divide b?
True
Let o be (0 - 1) + 7 + 0. Suppose -m - o + 22 = 0. Does 11 divide m?
False
Let n be 1/(1/11)*1. Suppose n = 5*l - 4. Is 15 a factor of 1/((-138)/(-45) - l)?
True
Let b(y) = 5*y - 15. Let u(v) be the first derivative of -3*v**2/2 + 8*v - 1. Let t(n) = -4*b(n) - 7*u(n). Is t(8) a multiple of 10?
False
Suppose 3*u = -r + 489, 3 = u - 0. Suppose -2*t = 3*h - 192, -5*t = -2*h - 0*h - r. Suppose 6*l - t = 2*l. Does 14 divide l?
False
Let g(l) = -2*l - 4. Let d be g(4). Let o be (-75)/d + 2/(-8). Suppose 4*s + o = s, 9 = 5*h + 3*s. Does 2 divide h?
False
Let g = 7 + -4. Let v be g/(0 + 3)*108. Suppose -4*q = 5*f - v, -5*q + 2*f - 5*f = -122. Does 6 divide q?
False
Let w(a) = -8*a**2 + 2*a + 1. Let s be w(-1). Let g(i) = -i + 19. Does 14 divide g(s)?
True
Let k be (-1)/(1 - (-6)/(-9)). Let g be 14*k*(-3)/6. Let s = -12 + g. Does 4 divide s?
False
Let o be 21/28 + 110/(-8). Let h = o + 24. Does 11 divide h?
True
Does 12 divide (-9)/6*(-164)/6?
False
Suppose -3*z = -2*z - 6. Let s(g) = g - 3. Let c be s(z). Does 3 divide (c/(-6))/((-2)/12)?
True
Is 21 a factor of (3 - 157)*12/(-8)?
True
Let c(y) = -1 - 23*y + 6 - 4. Does 12 divide c(-1)?
True
Suppose -5 = a + 10. Does 9 divide (-4)/10 + (-246)/a?
False
Let a(o) = 8*o - 6. Is a(12) a multiple of 20?
False
Let h = -284 + 145. Let t = -71 - h. Is t a multiple of 21?
False
Let p(h) = -h**2 + 8*h - 2. Let c = 9 + -3. Is 3 a factor of p(c)?
False
Suppose -f - f = -4*s - 58, 4*s + 4*f + 40 = 0. Let k(q) = q**2 + 12*q + 11. Is k(s) a multiple of 6?
True
Let r = -232 + 367. Is r a multiple of 45?
True
Let c = 170 + -90. Is 22 a factor of c?
False
Let m(o) = o**3 - 8*o**2 - 6*o - 10. Let c be m(9). Let u = c - -3. Is u a multiple of 5?
True
Suppose -3*a + 5*a + 12 = 0. Let y be 665/(-15) + (-2)/a. Let b = y + 84. Is b a multiple of 16?
False
Let g(m) = m**2 - 11*m - 13. Is 7 a factor of g(14)?
False
Let z = -45 - -96. Let a = 34 - z. Let n = a - -26. Is 9 a factor of n?
True
Suppose -418 = 4*s - 1138. Is 11 a factor of s?
False
Suppose -206 = 4*s - 3*n, -3*s - 105 = 3*n + 60. Let y = -28 - s. Is 8 a factor of y?
False
Suppose 0 = 5*q - 6 + 1. Let z(y) = 6*y**2 + y + 1. Let m be z(-1). Let d = q + m. Does 2 divide d?
False
Suppose 197 - 577 = -5*m. Suppose 0 = 5*r + i - m, 0*r - i = -3*r + 52. Is r a multiple of 16?
True
Let m(c) = -12 + 7*c + c + 2*c**2 + 24 - c**2. Does 4 divide m(-8)?
True
Suppose -v + 1 = 2*t, -t = 4*v + 2*t + 11. Let g be (v + 2)*(0 - 3). Let n = g - 2. Is 7 a factor of n?
True
Let d = -86 + 104. Does 4 divide d?
False
Let l(b) = 0 + 2*b**2 + 0*b**2 + 5*b**3 - 1. Let k be l(1). Suppose g + k = 20.