uppose v = -i - 2*i + 255. Let h = -61 + i. Is 19 a factor of h?
False
Let x(b) = 2*b**2 - b - 3. Is x(-2) a multiple of 2?
False
Suppose -16*k = -8*k - 1344. Is k a multiple of 14?
True
Is 21 a factor of (-11 - -71) + 0 + 3?
True
Let b(l) = -l - 3. Let p be ((-9)/2)/((-12)/64). Let w be (-3)/(81/p + -3). Does 5 divide b(w)?
True
Let v be (-44)/(-10) - 2/5. Suppose 2*z - 2*r = 4, -2*z - v*r = -0*z - 22. Is z a multiple of 2?
False
Suppose -b + 79 + 9 = 3*h, -2*b - 41 = -h. Does 19 divide h?
False
Suppose -4*g - 18 = -2. Let h(z) = -z**2 - 6*z - 5. Let p be h(g). Suppose 5*t - 76 = -5*c - 16, p*t = -2*c + 26. Is c a multiple of 7?
False
Let n = 76 + -7. Is n a multiple of 8?
False
Suppose 5*z - 1 = -u, 3 = u + 3*z + 2. Does 18 divide (-1 + -22)*(u + -2)?
False
Suppose 9*y = 7*y. Is 69/(y + 5 + -4) a multiple of 23?
True
Suppose 3*j + 28 = -5. Is 14 a factor of (6 - 7)*5*j?
False
Let d = -15 + 5. Let n be d*(5/(-2) - -2). Suppose 3*k = -n*m + 2, 21 - 3 = 5*k + m. Is k even?
True
Does 6 divide (-11)/(-2) + 2/4?
True
Let d(z) = -3*z**3 - z**2 - 1. Let q(i) = 4*i**3 + i**2 + i + 1. Let n(w) = -3*d(w) - 2*q(w). Let s be n(2). Suppose -3*v + s = -3. Is v a multiple of 2?
True
Let t(x) be the first derivative of 2*x**3 + x**2/2 + 1. Let m be t(-1). Suppose 3*n - 21 = -i, n - i - 2 = m. Does 7 divide n?
True
Let a(i) = -i**3 - 2*i - 3 + 5 + 12*i - 9*i**2. Let n be a(-10). Suppose n*o = z - 34, 0 = -3*z - 0*o + o + 122. Does 21 divide z?
True
Let d be 210/55 - (-2)/11. Suppose -d*o - 69 = -7*o. Is o a multiple of 19?
False
Let f(c) = c**3 - 4*c**2 + c + 2. Let t be f(4). Suppose -4*r = -p + 23, -3 + t = p + r. Is -1*p*(-1 - 0) even?
False
Let i(n) = n**3 + 6*n**2 - 8*n + 5. Let s be i(-7). Let h = -1 + s. Is 9 a factor of h?
False
Let p(x) = 14*x - 4. Let i(n) = -5*n + 1. Let b(h) = 10*i(h) + 3*p(h). Let t be b(-3). Suppose 28 = 2*s - t. Does 23 divide s?
False
Let s(t) = t**3 - t**2 + 2*t + 231. Does 14 divide s(0)?
False
Suppose -16 = z - 57. Is z a multiple of 41?
True
Suppose -2*v + v = -54. Is 18 a factor of v?
True
Let g(t) = 3*t + 7. Let u be g(7). Let z(o) = -o**2 - 3*o + 3. Let x be z(-3). Suppose 0 = 4*n - x*n - u. Is n a multiple of 14?
True
Suppose 0 = 5*f - 11 - 49. Is 6 a factor of f?
True
Suppose -12 = -5*u - 4*n, -2*u - 5*n = -17 + 2. Let r be -2 - u/(-1 - 2). Is 3 - -5 - (-2 - r) a multiple of 3?
False
Suppose n - 2*k + 33 = -7*k, -4*n - 247 = -3*k. Let r = -39 - n. Suppose -54 = -3*d - 2*v, -5*v + 35 = 3*d - r. Is 9 a factor of d?
True
Suppose 3*t - 304 = -112. Does 16 divide t?
True
Let k be -3*1*5/(-3). Let b(t) = k - 12*t**3 + 20 + 13*t**3 - t**2. Is b(0) a multiple of 16?
False
Does 19 divide -4 - (0 - 142/2)?
False
Suppose -h - 65 - 5 = -r, 5*h + 90 = r. Does 18 divide r?
False
Suppose 0 = 3*z - 4*z + 6. Is 2 a factor of z/(-3) - 1*-7?
False
Let j(k) = 2*k - 4 + k + k + 2*k. Is j(8) a multiple of 22?
True
Let a = 134 + -86. Is a a multiple of 4?
True
Let r(u) = -10*u - 3. Suppose -18 = 5*d + 3*c, 10 = -3*d - c - 4. Is r(d) a multiple of 22?
False
Suppose 0 = 5*n - 4*f - 12, f = -2*n - f - 6. Let a = n - -3. Suppose -a*h = -0*h + 9, -h + 27 = 5*i. Is 2 a factor of i?
True
Let g = 10 + -17. Let l(f) = -f**2 - 9*f + 7. Does 8 divide l(g)?
False
Suppose -5*w + 38 + 282 = 0. Does 9 divide w?
False
Suppose 3*j - 33 - 21 = 0. Is 2 a factor of j?
True
Suppose 3*u + 93 = -3*r + 270, -3*r - 4*u = -182. Is r a multiple of 18?
True
Let w = -6 + 22. Let v = w - 2. Is v a multiple of 14?
True
Suppose -10 = c - 6*c + 2*m, -5*m + 29 = c. Suppose 3*r - 3*x + 67 = c*r, 201 = 3*r - x. Let q = r + -35. Does 13 divide q?
False
Suppose g + 31 = -2*v, g - v - 2*v + 26 = 0. Let k = g + 57. Is k a multiple of 20?
False
Suppose 5*l - 274 = -5*p + 281, p - 4*l = 116. Is 14 a factor of p?
True
Let m be (2/4)/((-6)/(-24)). Suppose -3*z - 9 = -5*h, 0 = -2*h + m*z + 4 + 2. Does 9 divide (h/(-1) - -9) + 0?
True
Suppose 3*o - 2*b = 92, -4*b + 9 = -2*o + 65. Suppose 2*c + 7*f - o = 2*f, -5*c = 5*f - 50. Suppose -c*m + 3*m + 36 = 0. Does 6 divide m?
True
Let c(v) = 7 + v**3 + 2*v - 3*v**2 + 6*v + 10*v**2 - 2*v**3. Let m be c(8). Let i(k) = -k**3 + 7*k**2 + 4*k + 6. Is i(m) a multiple of 17?
True
Suppose 0 = -4*v + 1 + 3. Suppose -3*z + v = 4*w + 7, -9 = 3*w. Is z even?
True
Suppose -2*z + 6*z = 288. Let p = z - 26. Suppose 3*c - p = -2*c - v, -5*v + 20 = 4*c. Is 3 a factor of c?
False
Suppose -5*y + 436 = -274. Is 14 a factor of y?
False
Let j(a) = -a + 10. Let d be j(5). Let s = -3 + d. Is 7 a factor of (s + -4)/((-2)/11)?
False
Suppose 4*z + 12 = a + 4, 0 = -a + 2*z + 18. Does 14 divide a?
True
Suppose 4*s - 72 = 4*l, l + 8 = -s - 0. Let d(q) = -q**2 - 16*q - 8. Let r be d(l). Suppose -4*w = y - r, -y + 0*w + 19 = w. Is 5 a factor of y?
True
Let b = 75 + -42. Is 11 a factor of b?
True
Let c be (-2)/(1 + (-134)/130). Suppose 0 = 3*y + 5*b + 51, 4*y + 4*b + 24 + 44 = 0. Let h = c + y. Does 18 divide h?
False
Suppose 4*d + 5*d - 1944 = 0. Is 42 a factor of d?
False
Does 9 divide 0/1 - ((0 - 5) + -4)?
True
Suppose 3*s = -0*s - 6. Let w be 11/(-4) - s/(-8). Let m = w + 8. Is m even?
False
Let t = 4 - -1. Suppose t*c - 3*c = 6. Suppose 2*v = -c*v + 240. Does 19 divide v?
False
Let t(y) = y**3 - y - 4. Let p = -10 + 13. Does 20 divide t(p)?
True
Let a(x) = 82*x - 2. Let j be a(2). Suppose 0 = -0*z - 3*z + j. Suppose -4*i = i + 3*v - 90, 3*i + 4*v = z. Is 9 a factor of i?
True
Let y = 14 - 11. Suppose 0 = -y*k + k - 3*m + 23, 4*m - 61 = -5*k. Is k a multiple of 10?
False
Let q(t) = -6*t**3 + t**2 + 2*t + 1. Let f be q(-1). Suppose -f*h + 2*l = -2*h - 18, 4*h = -4*l + 12. Is 11 + 3/6*h a multiple of 11?
False
Suppose 0 = -f - 6 + 39. Does 11 divide f?
True
Let y(i) = -i**3 - 5*i**2 + i + 5. Let f be y(-5). Let j = 0 + f. Let g(o) = o**3 + o**2 + 10. Is g(j) a multiple of 10?
True
Suppose 0*o + 174 = o. Let x = -102 + o. Does 12 divide (-8)/(-6)*x/4?
True
Suppose 0*q = 3*q - 87. Is 5 a factor of q?
False
Suppose 4*y = -y. Let z(l) = -l**3 - l + 22. Let d be z(y). Let x = d - 7. Does 10 divide x?
False
Let a = -14 - 5. Let v = 36 + a. Does 10 divide v?
False
Let s(l) = -l + 5. Let m be s(0). Suppose -m*x = -x. Is x + 1 + (20 - -1) a multiple of 10?
False
Is 15 a factor of (-4)/(12/(-15))*9?
True
Let s(r) = 4*r + 82. Is s(-14) a multiple of 26?
True
Let d(y) = -y - 4. Let q be (-2)/8 + 217/(-28). Let u be d(q). Let t(p) = 3*p**2 - 5*p + 3. Is 15 a factor of t(u)?
False
Let x = 144 - 69. Suppose -2*d + 21 + x = 0. Is d a multiple of 16?
True
Let c(p) = -2*p - 1. Suppose -5*m + 7 = 3*r, -2*m + 3*r - 17 = 3*m. Let h be c(m). Let k(l) = 37*l + 1. Is k(h) a multiple of 13?
False
Let c(l) = -8*l + 14. Let w be c(6). Let p be ((-5)/(-2))/(-5)*-2. Does 12 divide 2/(30/w + p)?
False
Suppose 3 = -3*k - 3. Does 5 divide (k + 3)/2*20?
True
Let c = -38 + 139. Does 13 divide c?
False
Let o = -15 + 19. Suppose -h = 4*h - 435. Suppose 15 = -o*l + h. Is 6 a factor of l?
True
Let p(o) = -o - 1. Let c be p(-3). Let s = 15 - c. Is 13 a factor of s?
True
Suppose 0 = 4*r + r + 70. Let m(k) = -6*k - 2. Let j be m(4). Let q = r - j. Is q a multiple of 5?
False
Let v(a) = -4*a + 10. Let n be v(3). Is (-68)/(-6)*(-3)/n a multiple of 14?
False
Let m(z) = -2*z + 6. Is m(-9) a multiple of 12?
True
Is -449*2/(-7) - (-8)/(-28) a multiple of 32?
True
Let r = 55 + -30. Does 11 divide r?
False
Let l(k) = -k**2 + 9*k - 1. Suppose 5*h = 5*r - 18 - 2, 4*r = -h + 21. Is 10 a factor of l(r)?
False
Let r be (-1)/5 + (-3)/(-15). Suppose r = -5*x - s + 290, 2*s = -s. Suppose x = 4*z - 74. Is z a multiple of 19?
False
Suppose -3*c + 43 + 47 = 0. Is 5 a factor of c?
True
Suppose 3*r + 12 = 0, 6*p = 3*p + 4*r + 169. Is p a multiple of 14?
False
Suppose 2*n - 5 = -1. Suppose n*f = -f. Let b(m) = m**2 - m + 18. Does 7 divide b(f)?
False
Let n = 101 + -51. Does 25 divide n?
True
Suppose 4*u + 0*u - 164 = 0. Is 4 a factor of u?
False
Let a = 40 + 47. Suppose 0 = 3*j - a - 24. Does 9 divide j?
False
Suppose -79 = 3*r + 5*d - 23, 0 = -4*r + 2*d - 40. Is (-218)/r + 1/(-6) a multiple of 9?
True
Suppose -p + 9 = 2*p. Let w(c) = 2*c + 4. Is w(p) a multiple of 10?
True
Suppose 2 - 1 = r. Let c(i) = 6*i. Does 3 divide c(r)?
True
Is 20 a factor of 4/(4/(736/4)) - 4?
True
Is 2720/65 + (-4)/(-26) a multiple of 14?
True
Suppose 4