 528 + 180. Is 12 a factor of t?
True
Let w(x) = x + 9. Let z be w(-5). Suppose z*h - 6*y = -2*y - 20, -5*h + 20 = 4*y. Suppose h = -2*n - n + 9. Is n a multiple of 3?
True
Suppose a - 3*a = -10. Suppose -240 = -a*f - 0*f. Is f a multiple of 4?
True
Let v(u) = u**2 - 10*u - 15. Suppose -4*z = -2*z - 22. Let t be v(z). Let d(c) = -16*c - 3. Is 23 a factor of d(t)?
False
Let z = 67 - 120. Let r(y) = y**3 + y**2 - 5*y - 5. Let n be r(-4). Let h = n - z. Is 6 a factor of h?
False
Let d be 201/3 + (0 - -3). Suppose -7*b = -819 - d. Is 29 a factor of b?
False
Let f be 2 + (1 + 0)*-1. Let x be 36/3 + -3 + f. Suppose -b - 2 + x = 0. Does 8 divide b?
True
Let u(l) = l**3 - 2*l**2 + 4*l - 1. Let w be u(4). Let v = -33 + w. Is 7 a factor of v?
True
Let y be 1/((3*-1)/(-15)). Suppose -6*i = -1033 - 479. Suppose 38 + i = y*z. Is z a multiple of 26?
False
Suppose 65*g = 62*g + 450. Is 25 a factor of g?
True
Let c(g) = -g + 2. Let l be c(-1). Suppose -3*a = l, 5*f = -5*a + 16 + 34. Is 11 a factor of f?
True
Let p(n) = 14*n - 139. Is p(19) a multiple of 14?
False
Let p(o) = -18*o + 6. Let s be p(-3). Suppose 6*i = i - s. Let k = 95 - i. Does 13 divide k?
False
Is 13 a factor of ((-272)/(-5))/(-8)*-80?
False
Does 8 divide 98*(-45)/(-18) + (-2 - -1)?
False
Suppose -y = -s - 5, y - 3*s = 3*y - 15. Suppose 3*j + 387 = y*j. Does 24 divide j?
False
Let m(s) = 608*s**2 - 1. Is 6 a factor of m(-1)?
False
Let d(c) = c**3 + 31*c**2 + 37*c - 6. Is 127 a factor of d(-12)?
True
Suppose 4*f = -4*m - 56, -14 = m + f + f. Is 9 a factor of m/((-114)/27 - -4)?
True
Suppose 2*r - 1149 + 119 = 4*u, -r = 2*u - 495. Does 16 divide r?
False
Suppose -4*x - 8 = 0, -2*x + 342 = 3*z + x. Let s = 134 - z. Does 9 divide s?
True
Let m = 635 - 317. Does 50 divide m?
False
Let s(k) = -5*k**2 - 11*k**2 - 7 + 15*k**2 - 8*k. Let b be s(-7). Suppose 0 = -6*n + 4*n - 3*x + 49, -2*n - 4*x + 54 = b. Is n a multiple of 17?
True
Is 7 a factor of 247 - ((-121)/11 - -8)?
False
Let v(l) = -2*l + 7. Let j be v(5). Let u(b) = 4 - 38*b - b**2 - b**3 + 38*b. Does 3 divide u(j)?
False
Suppose 5*s + 20 = -5. Is (-3)/5 + (-33)/s a multiple of 4?
False
Let y = -452 - -83. Let q = -184 - y. Does 33 divide q?
False
Is 4 a factor of (-6)/10 - 2238/(-30) - 2?
True
Let j(m) be the third derivative of m**5/15 - m**4/24 + 6*m**2. Let c be j(1). Is 0 + (183/c - 1) a multiple of 20?
True
Let w(o) = o**2 + 66. Let z be 0*(-4 - 28/(-8)). Does 22 divide w(z)?
True
Let r(i) = 3*i**3 - 10*i**2 + 18*i - 41. Is r(7) a multiple of 26?
True
Suppose -c = 2*c - 27. Let i(r) = r - 1 + c - 5*r. Is i(-7) a multiple of 11?
False
Suppose -4*z + 19 - 3 = 0. Suppose 8 = -2*i, 7*s - 864 = 3*s - z*i. Suppose 5*r - 235 = s. Is 32 a factor of r?
False
Suppose -2*y - 4 = 2. Does 14 divide (1337/(-28))/(y/12)?
False
Let o = -3 - -5. Is (-144)/(-20) - 5 - o/10 even?
True
Let f = 2 + -11. Let g = f - -9. Suppose -3*q - 2*x + 14 = -3, -5*q - x + 40 = g. Is q a multiple of 3?
True
Let y(w) = w**3 + w**2 - w - 1. Let q(p) = -4*p**3 - 32*p**2 + 3*p - 6. Let z(b) = -q(b) - 6*y(b). Is 17 a factor of z(13)?
True
Let v(i) = 22*i**2 - 3*i + 1. Let k(y) = 45*y**2 - 5*y + 2. Let w(n) = -2*k(n) + 5*v(n). Does 13 divide w(-2)?
True
Let m(o) = 3*o**2. Let j be m(-1). Suppose j*h + 5*f - 200 = -2*h, 2*f - 8 = 0. Does 6 divide h?
True
Suppose -14*r + 17*r + 48 = 0. Let f = 175 + r. Is f a multiple of 28?
False
Let m be (0 + 3)*(-4)/(-6). Let b be (1/m)/((-15)/90). Is b - (-104)/(-1 + 5) a multiple of 23?
True
Let s(b) = b - 2. Let f be s(5). Suppose -m + u - 13 = -4*m, 14 = f*m + 2*u. Suppose 5*p - 2*r + 0 = 26, -4*r - m = -2*p. Is p a multiple of 3?
True
Is 55 a factor of (-8055)/(-6)*116/87?
False
Does 14 divide 1239/2*(-56)/(-42)?
True
Suppose -2*l - 4*v = 2*l + 24, -3*l = -4*v - 17. Is 33 a factor of (-1)/(-1) + 0/l + 65?
True
Let z = -16 + 20. Suppose -5*g - 16 - 165 = -4*p, 4*g = z*p - 176. Does 34 divide p?
False
Suppose 0 = -3*h - 4*g + 211 + 429, g + 1105 = 5*h. Does 55 divide h?
True
Let b(q) = -3*q - 9. Let x be b(-9). Is 34/153 + 302/x a multiple of 3?
False
Let o = -26 - 35. Let y = 20 - o. Is 22 a factor of y?
False
Let k be (-58)/6 - 1/3. Suppose -2*j = 4*t - 3*t - 83, -5*j - 227 = -3*t. Is t - 5/(k/6) a multiple of 15?
False
Does 55 divide 3 - 91/21 - 829/(-3)?
True
Let v be -1*(-1 + -3 + 4). Let j = 11 + v. Is 3 a factor of j?
False
Let m(l) = 67*l - 254. Is m(19) a multiple of 7?
False
Suppose 16*p = 7*p + 774. Does 11 divide p?
False
Suppose 3*x = 6*x - 2*b - 106, -3*x - 4*b = -130. Let i = x + 42. Does 16 divide i?
True
Let n be (-15)/12 - (-5769)/(-12). Is 40 a factor of (-1)/(2/n) + -1?
True
Let n = 884 - 662. Does 3 divide n?
True
Suppose 122 = 14*z - 102. Is z a multiple of 2?
True
Let x = -40 + 60. Suppose -2*f - x = -6*f. Suppose 45 + f = 5*u. Is 4 a factor of u?
False
Let v(m) = 1109*m**3 + 4*m**2 - 2*m - 1. Is v(1) a multiple of 15?
True
Let n = -67 - -71. Suppose 5*o - 4*s + 62 = 159, -n*s = 2*o - 22. Does 4 divide o?
False
Suppose -7*w + 93 = -145. Suppose 38*y = w*y + 256. Is y a multiple of 26?
False
Suppose -22*s + 152 = -706. Is s a multiple of 18?
False
Let z(p) = -10*p + 105. Is 9 a factor of z(-23)?
False
Suppose -2*x - 2*x - 4*n = 0, x - 9 = 2*n. Suppose x*i - 6*i - 27 = -3*b, 4*i = 12. Is 10 a factor of b?
False
Suppose -l + 5*k - 9 = -5*l, 4*k = -l + 16. Suppose -4*n = -2*h + 32, 2*h - 7*h + 50 = -4*n. Is 15 a factor of (-459)/6*l/h?
False
Is (((-175)/(-20))/7)/(3/864) a multiple of 40?
True
Let w = -489 + 696. Is 5 a factor of w?
False
Suppose -26*j + 23*j = 3. Is (-26 + 3 + 3)/(j/4) a multiple of 10?
True
Let b(f) be the third derivative of f**5/15 + f**4/6 - f**3/3 - 9*f**2. Is b(-3) a multiple of 19?
False
Suppose -13*z = -8*z + 5. Does 11 divide ((-34)/1 - 3)/z?
False
Let h(n) be the third derivative of n**5/12 + n**4/12 - 7*n**3/6 + 7*n**2. Is h(-5) a multiple of 36?
True
Let k = -9 - -14. Let a = k + -5. Suppose a = m - 6*m + 20. Is 2 a factor of m?
True
Let k = -3 + -2. Let j = 3 - k. Suppose 2*u - 3*u + 4*c - j = 0, -3*u - 3*c = -21. Does 4 divide u?
True
Let h(u) = 3*u**2 - u - 4. Let c be h(2). Let i be 1*8/12*c. Suppose 0 = -i*r - 0*d + 4*d + 84, 16 = -4*d. Is r a multiple of 17?
True
Let c = 21 + -13. Let v(d) = 10*d - 20. Is v(c) a multiple of 10?
True
Let g = 1353 + -863. Does 35 divide g?
True
Let m = -14 + 28. Let b = m - -43. Let f = b + -18. Is f a multiple of 20?
False
Suppose 0 = 3*s + 3*g - 276, 0 = -5*s + g - 3*g + 445. Let a = -45 + s. Is 11 a factor of a?
False
Let t(y) = 16*y**2. Let k be (-18)/21 - (-1)/(-7). Does 4 divide t(k)?
True
Suppose 2*x - 6*x - 5*w = -304, 4*x - 5*w - 344 = 0. Let p = x - -39. Suppose 8*i = 3*i + p. Does 6 divide i?
True
Suppose -495 = 3*r - 4*x, -7*r - 4*x = -3*r + 632. Let q = r - -276. Does 19 divide q?
False
Let c(w) be the first derivative of -2*w**3/3 - 10*w**2 - 14*w - 30. Does 6 divide c(-8)?
True
Suppose 16 = 3*t + 112. Let v = t - -83. Is 17 a factor of v?
True
Let k(p) = 118*p**2 + 21*p - 46. Is 17 a factor of k(5)?
True
Let p(v) = -5*v**3 + 25*v**2 - 4*v + 4. Is p(4) a multiple of 11?
False
Suppose 5*v = -2*c + 114, 2*c = 2*v - 9 - 31. Suppose -2*y = 5*s - 215, -y - s = -81 - v. Does 20 divide y?
True
Let y(a) = -a**3 - 1. Let n(u) = -6*u**3 + 8*u**2 - 9*u + 4. Let s be ((-1)/1)/(6/(-30)). Let l(j) = s*y(j) - n(j). Does 5 divide l(7)?
True
Let u(v) = 4*v - 20. Let i be u(6). Suppose 3*r - 92 = i*y, 0*r + 4*r - 4*y = 128. Does 9 divide r?
True
Suppose -3*c - s + 493 = 0, c + 0*s + s = 163. Is c a multiple of 11?
True
Let g be 4 - 4/20*0. Suppose h + 0*f = g*f + 108, 3*f = h - 108. Is h a multiple of 18?
True
Let k be (7/3)/7 - (-1)/(-3). Suppose 6 = -l - 2*x, 14 = l - k*l - 2*x. Is 4 a factor of l?
True
Suppose -736*i + 741*i - 2565 = 0. Is i a multiple of 9?
True
Suppose -7*x + 1182 = -5405. Is 15 a factor of x?
False
Suppose -4*c + 39 = -p, -2*p = 2*c - 10 - 2. Let d(n) = 3*n**2 + 11*n - 21. Let m(h) = -2*h**2 - 5*h + 11. Let u(y) = -3*d(y) - 5*m(y). Is 5 a factor of u(c)?
False
Let z(h) = h**2 - 8*h - 14. Let d be z(10). Suppose 3*t + 45 = d*t. Suppose 4*x - t - 29 = 0. Does 4 divide x?
False
Let t = 446 + -326. Is 15 a factor of t?
True
Suppose 5*n = 3*t + 5094, 3*t + 5104 = 5*n + 5*t. Does 68 divide n?
True
Suppose 2 + 19 = 7*p. Is 41 - 0/p - -4 a 