c(4)?
False
Suppose -2*y - 151 = 119. Does 9 divide ((-2)/1)/(10/y)?
True
Let b(i) = 3*i + 2 - 3*i - 4 + i. Let y be b(2). Suppose -4*w + 6 = -2, y = -5*q - 2*w + 94. Is q a multiple of 5?
False
Let k(p) = p**3 - 8*p**2 + 9*p - 6. Let c be k(7). Let g = -5 + c. Let b(n) = 4*n**2 - 2*n. Is b(g) a multiple of 10?
True
Suppose -9*f + 10*f = 81. Does 5 divide f?
False
Suppose 4*v - 18 = v. Is v a multiple of 3?
True
Let a be 1 - -4*2/(-4). Let s = a + 1. Suppose 2*l = -s*m + m + 39, -5*l - 3*m = -114. Is 11 a factor of l?
False
Suppose -102 = -3*a - 0. Suppose -2*i - 2 = -a. Does 4 divide i?
True
Suppose 3*f - 44 = -4*b, 5*f - 30 - 26 = 2*b. Does 10 divide f?
False
Let u(b) = 12*b + 9. Let v be u(-9). Is (-4)/(-10) - v/15 a multiple of 4?
False
Suppose -5*s - 4*u + 20 + 115 = 0, -26 = -s - u. Does 30 divide s?
False
Suppose -u - 2 = -5*d - 23, -u + 4*d + 17 = 0. Is 6 a factor of u/(-1) - (1 + -18)?
False
Let r be 0/2*(-2)/(-4). Suppose -5*a = -5*p - 90, -2*a + r*p = 3*p - 16. Is a a multiple of 8?
False
Let q(i) = 2*i**2 - 3*i - 6. Let o be q(-3). Is 11 a factor of 616/o*(-3)/(-2)?
True
Suppose 0 = -4*j + 2*w + 530, -4*j + w + 87 = -438. Suppose 2*q = 6*q. Suppose q = -7*g + 2*g + j. Does 13 divide g?
True
Suppose -4*p + 4*t + 332 = 0, 2*p - 5*t = -2*p + 328. Is 19 a factor of p?
False
Let z = -45 - -81. Is z a multiple of 7?
False
Let b(d) = d**3 - 6*d**2 - d - 1. Let i be b(6). Let k = i - -13. Does 3 divide k?
True
Suppose -5*h = 3*m - 0*m - 19, 0 = -5*m + 5*h + 5. Suppose 0 = -4*l + r + 161, 5*l - 205 = -m*r + 5*r. Is 13 a factor of l?
True
Let k(w) = w + 9. Let o be k(-5). Does 25 divide o/8*(0 + 86)?
False
Let s(q) = q**2 - 17*q - 30. Does 6 divide s(21)?
True
Let m(g) = g + 2. Is 7 a factor of m(11)?
False
Let x be (-8)/(-3) + (-10)/15. Suppose 3*r = 0, -l + 16 = r - x*r. Does 12 divide l?
False
Let w(o) = o**3 - o**2 - 3*o - 4. Let c be w(3). Let k = 0 + c. Does 5 divide k?
True
Suppose 4*q + 171 + 277 = 0. Let h = -54 - q. Is 20 a factor of h?
False
Let o be ((-2)/1)/(4/(-6)). Suppose o*j + 9 = 57. Is j a multiple of 16?
True
Is -4*1 + (7 - 4) - -26 a multiple of 25?
True
Let s(p) = p**3 + 10*p**2 - 12*p + 8. Is 19 a factor of s(-11)?
True
Suppose 108 = -v + 4*v. Let d be 5/(10/v) - 0. Is 1140/27 - 4/d a multiple of 14?
True
Let q be 3/(1*6/8). Suppose 0*s + q*s + 180 = 4*t, 0 = s. Does 15 divide t?
True
Let l be (-7)/((-208)/(-210) - 1). Is l/18 + (-3)/(-18) a multiple of 9?
False
Suppose 7*s + 5*i = 4*s + 29, 4*i + 92 = 4*s. Is 464/s - 2/(-9) a multiple of 15?
False
Let m = -4 - -6. Suppose 0 = o - m*x - 0 - 8, -3*o + 5*x = -25. Does 3 divide (24/20)/(2/o)?
True
Suppose 5*u = 4*m - 19, 3*m - 13 = 2*u - 4. Let t(s) = -s**2 + 3. Let y be t(u). Does 4 divide 31/3 + 2/y?
False
Let k = 16 + 120. Suppose -2*p = 2*p - k. Is p a multiple of 10?
False
Let y(w) = 6*w - 4. Let r(m) = m**2 + 3. Let s be r(0). Let i be y(s). Is (-2)/(12/i - 1) a multiple of 7?
True
Let z be (-2)/((-1)/(15/(-2))). Is (-507)/z + 2/10 a multiple of 9?
False
Let o be (-6)/(-9)*249/2. Let c = o - 33. Is 23 a factor of c?
False
Let w(z) = -z**3 - 12*z**2 + 12*z + 17. Let x be w(-13). Is 2 a factor of 1/((-3)/x*-2)?
False
Suppose -5*i + 10 + 20 = 0. Suppose i*w - 230 = w. Is w a multiple of 23?
True
Let c(i) = -59*i - 3. Is c(-1) a multiple of 38?
False
Suppose -5*a = -17 - 3. Suppose -4*h = 5*s + 20, -s - a*s = 5*h + 20. Suppose h = -5*w + 75 - 20. Does 11 divide w?
True
Let r = -30 + 50. Is 10 a factor of r?
True
Suppose 5*j = 3*j + 3*t + 79, 5*j + 5*t - 235 = 0. Is 15 a factor of 2 + j + (-2)/2?
True
Suppose 84 = 5*r - 91. Does 13 divide r?
False
Let m(b) = b. Let o be 1*-1 - (-4 + -4). Does 7 divide m(o)?
True
Let o be (-18)/((3/(-16))/3). Suppose -3*r - 45 + o = 0. Suppose -3*f + 0*n + 4*n + r = 0, -2*f - n + 65 = 0. Is f a multiple of 11?
False
Let j = 12 + -7. Suppose j*m = 2 + 13. Suppose -7*x = -m*x - 56. Is 10 a factor of x?
False
Suppose -2*w = -260 + 36. Is w a multiple of 14?
True
Let l(s) = -1 + 2*s + s + 8 - 5*s. Let a(b) = 3*b - 1. Let j be a(-2). Is 10 a factor of l(j)?
False
Let p = -161 - -236. Suppose -3*v + 48 = -p. Does 16 divide v?
False
Let d(l) = -3*l - l**3 + 3*l**2 - 5*l**2 + 7*l + 5. Let v(r) = -r - 2. Let q be v(2). Does 12 divide d(q)?
False
Does 10 divide 1 + 1 - (8 - 21)?
False
Suppose 0 = -3*t - 2*k + 432, -2*k = -3*t - 0*k + 432. Is 36 a factor of t?
True
Is 25 a factor of (-3 + 44)*5/5?
False
Let l(q) = -13*q - 2. Does 11 divide l(-1)?
True
Suppose 5*d = 1 + 4. Is 3 a factor of (-3 - -5) + 1/d?
True
Let l = -36 - -56. Suppose l = 5*w - 0*w. Suppose -4*s + 3*z + 24 = 0, -w*s + 3*z + 15 = -3*s. Does 3 divide s?
True
Let t be (105/(-12))/(3/12). Let r = -19 - t. Is 8 a factor of r?
True
Suppose -2*x + 0 + 12 = 0. Suppose x*h = 4*h + 6. Suppose -t = -h - 1. Is 4 a factor of t?
True
Let t(d) = d**2 - 2. Does 21 divide t(8)?
False
Suppose 1920 = 5*d - t, t - 1920 = -5*d + 5*t. Is d a multiple of 64?
True
Let p(q) = q**3 - 8*q**2 + 5*q - 8. Is 15 a factor of p(8)?
False
Let z(l) = 78*l**2 + 1. Does 31 divide z(-1)?
False
Let y(k) = -k + 31. Let f be 0 - 0/(0 - 1). Does 22 divide y(f)?
False
Let c(a) = a**2 + 3*a + 4. Suppose -m - 1 = 0, 3*b - m + 49 = -2*b. Does 13 divide c(b)?
False
Let k(m) = -m. Let q be k(1). Let l(t) = -21*t**3 + 2*t**2 - 1. Does 11 divide l(q)?
True
Suppose 2 = 4*z - 3*z. Let u(n) = -4*n - z - 2 - 10 + 2*n. Is 3 a factor of u(-10)?
True
Let u(h) = h**3 - 6*h**2 - 3*h + 6. Let a(y) = 3*y - 2. Let i be a(2). Suppose t - w - 8 = 0, -4*t + 0*w - i*w + 24 = 0. Is 12 a factor of u(t)?
False
Is 0 + (2 - -3 - -4) a multiple of 3?
True
Suppose 4*a + 4*u + 98 = 818, 0 = -a + 5*u + 192. Is a a multiple of 7?
True
Let g(w) be the first derivative of w**6/120 - w**5/15 + w**3/2 + w**2 + 2. Let r(l) be the second derivative of g(l). Is 2 a factor of r(4)?
False
Suppose -46*i + 44*i + 32 = 0. Is i a multiple of 16?
True
Let d = 159 - -43. Is d a multiple of 16?
False
Let r(g) = -g**2 + 12*g. Let j be r(9). Let k = 18 + j. Does 15 divide k?
True
Let x = 31 - -12. Is x a multiple of 14?
False
Let z(x) = -x**3 - 3*x**2 + 4*x + 3. Let o be -3 - (4 - (3 + 0)). Does 2 divide z(o)?
False
Suppose 0 = -r - 5*v + 16, -5*r - 2*v - 28 + 200 = 0. Suppose -3*f + 2*a = -50, -2*f + a + a = -r. Is 10 a factor of f?
False
Let g = -79 - -149. Is g a multiple of 14?
True
Let l = -7 - -13. Is 7 a factor of (-3*8)/(l/(-4))?
False
Suppose -5*t + 85 = 15. Let n(i) = -i**2 - 7*i - 2. Let k be n(-6). Suppose t = k*w - 2*w. Is w a multiple of 4?
False
Suppose -2*a + 2*f = -146, 2*a + 3*f = -3*a + 357. Suppose -l - a = -4*l. Is l a multiple of 8?
True
Let k = -22 + 277. Is 26 a factor of k?
False
Is (270/21)/(6/56) a multiple of 20?
True
Let c(u) = u + 2. Let s be c(6). Suppose 3*j + s*l = 3*l + 4, -3*j - 2*l = -7. Does 3 divide j?
True
Suppose 0 = -l - 2*l + 6. Suppose 4 = 3*y - 8, -l*x - 4*y = -60. Suppose -2*q = -q - x. Does 8 divide q?
False
Suppose 0*j - 3*j + 4*v = -9, 2*j - 8 = 2*v. Is 2 a factor of j?
False
Let r(b) be the second derivative of b**5/5 - b**4/6 - b**2/2 + b. Let j(p) = p**3 + 2*p**2 - 5*p - 4. Let c be j(-3). Does 12 divide r(c)?
False
Let y(s) = 24*s**2 + s - 2. Is 8 a factor of y(2)?
True
Suppose 34 = 2*b + 2*b - 2*g, -4*g = 3*b - 20. Is b a multiple of 6?
False
Let i(o) = 8*o**2 - o + 3. Is i(-3) a multiple of 19?
False
Suppose -i + 0*i = -35. Does 15 divide i?
False
Let a = -171 - -357. Is 35 a factor of a?
False
Let u(w) = -w**2 - 9*w - 7. Let c = -18 + 15. Is u(c) a multiple of 4?
False
Is 10 a factor of 3 - -1 - 330/(-5)?
True
Suppose -4*y = -5*k - 43, -5*y - 2*k + 0*k = -95. Is 4 a factor of y?
False
Suppose -q + 9 = 3*l, 5*q - 3*l - 10 + 1 = 0. Is 3 a factor of 2 + (3/1)/q?
True
Is -2*(2 - (-1 - -21)) a multiple of 12?
True
Let b(l) = -l**2 + 15*l + 13. Let p be b(9). Let c = p + -41. Is c a multiple of 13?
True
Let h(b) = -b + 10. Let m be h(5). Suppose -t - 12 = -m*t. Is t a multiple of 2?
False
Suppose 14 = -4*u - d, 21 = -5*u - 4*d + d. Is 11 a factor of u + 9*4*1?
True
Let b(d) = 0*d + 5*d - 3*d - 6*d. Is 13 a factor of b(-13)?
True
Is (-2)/((-2)/(-3)) - -11 a multiple of 4?
True
Let i be 13/(-26) - (-22)/4. Let n(a) = a**2 + 3*a + 1. Let w be n(6). Suppose -t + 1 = -3*h, i*t - 18 - w = -2*h. Does 13 divide t?
True
Let o = 