*y + 696, -f + y + 465 = 119. Is 19 a factor of f?
True
Let m = 160 - -366. Is m a multiple of 6?
False
Let m be (-36 + 35)*6*4. Let r be 1*1/((-2)/88). Let f = m - r. Does 20 divide f?
True
Suppose 2*h = -h + 12. Suppose 4*o - 507 = j, h*j - j = 5*o - 625. Is o a multiple of 17?
False
Let b(r) = -r**2 - 4*r + 7. Let a be b(2). Let d = a - -14. Is (20*d/6)/2 a multiple of 7?
False
Let g(k) = 36*k + 608. Is 4 a factor of g(-3)?
True
Let l = -1805 - -2753. Does 4 divide l?
True
Suppose 0 = -4*w + 5*i + 206, -2*w - i + 217 = 121. Is 7 a factor of w?
True
Let s be (-21)/(-42) + (-853)/(-2). Suppose g - 2 - 2 = 0, 3*y = -4*g + s. Does 16 divide y?
False
Let z(m) = 3*m**2 - 6*m - 5. Let s be (0 - 1)/((-4)/12). Suppose s*t - 21 + 6 = 0. Is z(t) a multiple of 11?
False
Let p = -129 - -203. Let g = p + -13. Suppose 5*r = -k + 74, 2*k = -4*r + 3*k + g. Does 5 divide r?
True
Let c(t) = t**3 + 4*t**2 + t + 1. Let d be c(-2). Let k(i) = -d*i + 0 + 8*i**2 + i - 6 - i**3 - 2*i. Is k(6) a multiple of 9?
True
Let n(r) = 7*r**2 - r + 3. Let k be n(2). Let q = k - 25. Suppose p + 32 = c - q*p, -4*c = -3*p - 60. Is 6 a factor of c?
True
Suppose -2*w - r + 5*r = 12, 15 = -w + 5*r. Suppose 3*m + w*m = 0. Suppose 0 = -4*k - 3*f + 207 + 145, m = 5*k + 5*f - 440. Is 22 a factor of k?
True
Let r be 2/(-5) + (-827)/(-5). Suppose 0 = x + 4*b - 5*b - 84, -b = 2*x - r. Is x a multiple of 14?
False
Let c = 5 - 53. Suppose -3*r - 11 = -5, -3*g + 5*r + 10 = 0. Does 13 divide 60/c*(g - 20)?
False
Suppose -46 = 7*x + 38. Does 8 divide 2/x*2*16*-3?
True
Let p(w) = 2*w**2 + 17*w + 24. Let m be p(-12). Suppose 2*o - 84 = m. Does 16 divide o?
True
Let z(q) = -5*q**2 - 3*q + 2. Let w be z(2). Let h be (-20)/(-6) - w/(-18). Suppose 4*j - 28 = h*j. Does 7 divide j?
True
Let g = -1139 - -1826. Suppose -2*a - 2 = 0, -4*d = -9*d - 3*a + g. Is 21 a factor of d?
False
Let b(o) be the third derivative of o**6/120 - o**5/10 - o**4/24 - o**3/2 - 57*o**2. Let i be ((-7)/(-2))/(-1)*-2. Is 8 a factor of b(i)?
False
Let x be (-1)/(-4) + 77/28. Let u be 1*((-9)/x + -2). Is (-36)/15*u/1 a multiple of 3?
True
Let f(h) = 3*h**2 - 12*h - 4. Let r be f(12). Let c = r + -200. Is 38 a factor of c?
False
Suppose -6*k - 6 = -2*g - 4*k, -g + 5*k + 7 = 0. Suppose -o + 36 = g*o. Is o a multiple of 4?
True
Suppose k = c - 3*c + 14, k + 16 = 4*c. Suppose -53 = 5*t - 2*i, -5*t + 0*t + k*i = 51. Let x = t - -28. Is 9 a factor of x?
False
Suppose 175*f - 185*f + 14870 = 0. Is f a multiple of 10?
False
Suppose -r - 3*f = -2*r - 37, 12 = -4*f. Let z = -36 - r. Suppose 7*a - 3*a + 2*w = z, 0 = a - 5*w - 8. Is 3 a factor of a?
True
Let p be ((-2)/(-4))/((-3)/(-30)). Suppose 23 = 5*x + t, 3*x = p*t - 3 - 0. Suppose 2*s - 3 = -2*d + 1, -x*s = -5*d + 37. Does 5 divide d?
True
Let u be (75 - -1)*36/(-48). Does 9 divide (-68)/3*u/38?
False
Let j = -138 - -134. Is j - (-24)/(3/3) a multiple of 4?
True
Suppose l + 37 = 5*a - 2*a, 4*a + 8 = 0. Let i = l - -75. Is 16 a factor of i?
True
Let k(c) = -8*c**2 - 4*c - 3. Let r(z) = z**3 - 3*z**2 + 2*z - 7. Let h be r(3). Let w be k(h). Is (-2)/w + 2710/70 a multiple of 12?
False
Suppose 374*t + 1887 = 375*t. Is t a multiple of 37?
True
Let o = -447 - -226. Does 10 divide o/(-4) + (-13)/52?
False
Suppose -562 - 2522 = -6*q. Does 11 divide q?
False
Let h(t) = -t**3 - 13*t**2 - 22*t - 27. Is h(-15) a multiple of 11?
False
Let u(h) = -h**2 + 8*h - 12. Let n be u(5). Suppose n*d + 158 - 719 = 0. Does 34 divide d?
False
Suppose 3*m - 2108 = 2*n, -2*m + 2808 = 2*m - 4*n. Does 21 divide m?
False
Let w be -2 + 2 - 8*3. Let y be (-6 - -1)*w/20. Does 26 divide (1*-76)/(y/(-6))?
False
Let c be (-4)/(-18) - (-5908)/63. Suppose 0 = -2*x + j + c, j + 0 = -2. Is 6 a factor of x?
False
Let y be (-30)/(-4) + (-36)/24. Suppose -11 = y*q - 347. Does 7 divide q?
True
Let d = -241 - -433. Is 16 a factor of d?
True
Let b be (-1)/3 + 13/3. Let f be (-3 - -2 - b)*-1. Suppose -f*q + 177 = 27. Is 13 a factor of q?
False
Is 65 a factor of ((-1172)/(-5))/((-2)/(-10))?
False
Let d be (-3)/((-4)/(-48)*3). Let z = d - -14. Suppose 5*v = -5*j + 35, -v - j = z*j - 7. Is v a multiple of 2?
False
Let b(k) = -k**3 + 10*k**2 + 27*k - 11. Is b(11) a multiple of 55?
True
Suppose -2*g = -g - 4. Suppose -5*m + 108 = -g*f, 2*m - 5*f = m + 9. Is 8 a factor of m?
True
Let t(v) = v**2 + 15*v + 4. Let a be t(-15). Let u be 158/4 + (-3)/(-6). Suppose -a = -s + u. Does 16 divide s?
False
Let p be (0 - -9)/(-3 + 2). Let k = -11 - p. Let r(c) = -2*c**3 - 2*c**2 - 2*c - 2. Is 10 a factor of r(k)?
True
Suppose -4*c + 25 = -7. Suppose -c*z = 30 - 134. Does 3 divide z?
False
Let l be 0 + (58/4)/((-2)/(-16)). Is 29 a factor of 30*(7/(42/l))/2?
True
Suppose -j - 2 + 4 = 0. Let x(h) = -20*h + 4*h + 0*h**2 - 12 + 2*h**2 + 0*h**j. Is x(12) a multiple of 22?
False
Let n(r) = r**3 - 2*r**2 + r + 11. Let q be n(4). Let p = q + 41. Does 44 divide p?
True
Let q(h) = 9*h**3 - 2*h**2 + 4*h - 2. Let d be q(3). Let y = d - 168. Is y a multiple of 37?
False
Let f(t) = 52*t**3 + 2*t**2 + 4*t + 2. Let m be f(-6). Let n be 12/(-54) + m/(-18). Is (4/(-6))/((-9)/n) a multiple of 29?
False
Let a = 2 - -3. Suppose 0*r - 15 = -a*r. Suppose 0 = k - r*q - 34, 2*q - 5*q - 12 = 0. Is k a multiple of 11?
True
Suppose -3*x = 2*y + 20, -1 = -y + 3*x - 2. Let d be (-2)/y*14/4. Is (-5 + d + 6)*5 a multiple of 5?
True
Let p be -10*(3/(-4) - (-1)/4). Suppose -p*q + 697 = 7. Is q a multiple of 19?
False
Let k(i) = 32*i - 353. Is 63 a factor of k(13)?
True
Let n(r) = -2301*r + 2313*r - 25 + r**2 - 2*r**2. Is n(4) a multiple of 3?
False
Let t(p) = p**3 + 18*p**2 - 5*p + 23. Does 14 divide t(-17)?
False
Suppose -4*f - p + 5*p + 2860 = 0, 2*f + 4*p = 1430. Does 4 divide f?
False
Let n = 81 - -346. Is 61 a factor of n?
True
Let j(f) = 6*f**3 - 2*f**2 - 4*f + 3. Suppose 0 = -2*k + 29 + 1. Let g = 17 - k. Is j(g) a multiple of 32?
False
Let z be (5/(-2))/((-30)/24). Suppose 0 = -4*d + 3*p - z + 47, -p = -d + 12. Is 3 a factor of d?
True
Let j = -818 + 868. Is 50 a factor of j?
True
Let q(g) be the third derivative of -g**7/420 - g**6/360 - g**5/40 - g**4/24 + 4*g**3/3 - 4*g**2. Let t(r) be the first derivative of q(r). Does 4 divide t(-2)?
False
Suppose 36*y = -13*y + 112896. Is y a multiple of 48?
True
Let i be 62/6 - (-1 + (-8)/(-6)). Suppose -3*x + i*x - 595 = 0. Is 12 a factor of x?
False
Let k be ((-2)/(-5))/((-10)/(-50)). Suppose 424 = 5*t + 4*z, 4*t - 243 - 101 = -k*z. Is 22 a factor of t?
True
Suppose -4*c + 40 = c + 5*d, -3*d + 29 = 4*c. Suppose 4*z - z = 5*a - 275, -2*a + c*z + 91 = 0. Is a a multiple of 29?
True
Let n(m) be the first derivative of -11*m**2 + 9*m - 4. Is 26 a factor of n(-6)?
False
Suppose 0 = 61*r - 66*r - 5. Let n(i) = -8*i - 1 + 3*i - 11*i. Is 5 a factor of n(r)?
True
Suppose 7*u - 2*u = 20, 5*p - 3*u + 2 = 0. Suppose -v + 0 = -p. Is v*(-3 - -5 - -16) a multiple of 24?
False
Is 14 a factor of 2/15 + (-384178)/(-915)?
True
Let o = 13 - 10. Suppose 0 = 4*v - o*v - 27. Is 9 a factor of v?
True
Suppose -4*i + 4 = -k, 4 = -7*k + 9*k - 4*i. Suppose -k*f + 9*f = 27. Is f a multiple of 9?
True
Let j(u) = u**2 - 7*u + 6. Is 21 a factor of j(-6)?
True
Let r = 663 + -220. Is 28 a factor of r?
False
Suppose -2169 = -5*o - 7*p + 4*p, -4*o = -3*p - 1719. Is o a multiple of 27?
True
Suppose -4*v + 128 = -340. Is v a multiple of 3?
True
Suppose -50*n + 4032 = -41*n. Is n a multiple of 28?
True
Let b be (-78)/4 - (-15)/10. Let p be ((-32)/(-12))/((-3)/b). Suppose 17 = 3*k + r - 31, -k = -3*r - p. Is k a multiple of 16?
True
Let m(u) = -u**2 + 3*u + 4. Let l be m(4). Suppose -2*v - 2*v + 16 = l. Suppose v = 4*y, -1 - 65 = -4*k - 2*y. Does 8 divide k?
True
Let j = 32 + -32. Suppose g + 8*g - 63 = j. Is 3 a factor of g?
False
Let f be 1*5 + 20/20. Let g(s) = 1 - f*s + 16*s - 8*s. Is 7 a factor of g(10)?
True
Let h = 3747 + -1979. Does 17 divide h?
True
Let d(p) = -p**3 - 38*p**2 + 33*p + 30. Is d(-39) a multiple of 2?
True
Suppose 5*t + 454 = 4*x + 7*t, x = -2*t + 115. Is x a multiple of 5?
False
Let n = 38 + -21. Let a = -2 + n. Is 8 a factor of a?
False
Suppose 0 = 5*v - 10*d + 14*d - 478, -d = -2*v + 199. Is v a multiple of 52?
False
Suppose -z + 20 = -3*p + 4*p, 4*p = 5*z - 64. Let f be (-20)/(-8)*z/5. Let u(d) = -d**2 + 11*d - 12. Does 12 divide u(f)?
True
