tor of t?
True
Let f = -128 - -218. Is f a multiple of 16?
False
Let y = -2 - -2. Suppose y = 4*w - 5*w + 3. Is 7 a factor of (w + 23/(-2))*-2?
False
Let x(f) = 23*f + 5. Let u be x(5). Suppose 3*l = -2*l + u. Suppose -l - 17 = -m. Is m a multiple of 14?
False
Let n = -111 - -209. Let u = -67 + n. Is u a multiple of 17?
False
Let x(i) = i + 3*i - 7 - 2 - 8. Is 12 a factor of x(11)?
False
Let c(v) = 53*v + 1. Let k be c(-1). Let m = k + 88. Is m a multiple of 12?
True
Suppose 2*a + 0*a = 4. Let l(r) = -r**3 - r**2 - r. Let h be l(-1). Is a + (-1 - -18)*h a multiple of 10?
False
Suppose 6*k = k. Suppose k*x + 21 = x. Let w = x - 5. Is w a multiple of 7?
False
Let h be (3 + -4)/(3/(-21)). Is (1/(-3))/(h/(-273)) a multiple of 13?
True
Suppose -4*t - 5*w + 238 = 0, -5*t - 4*w = -4*t - 65. Is 10 a factor of t?
False
Let g = 34 - -2. Is g a multiple of 12?
True
Suppose -4*d + 215 = q, 2*d + 3*q + 0*q = 105. Is 12 a factor of d?
False
Suppose 0 = -4*p + 19 - 3. Suppose -p*m = -2*m. Suppose -4*u = -m*u - 32. Is u a multiple of 5?
False
Let z(l) = -l**2 + 15*l - 6. Let x be z(15). Is (-1629)/(-27) + (-4)/x a multiple of 29?
False
Let b(c) = c**2 - c + 15. Let n be b(0). Suppose n = t - h, 3*t + h - 24 = -3*h. Let d = 17 - t. Does 5 divide d?
True
Suppose -3*f + 126 - 33 = 0. Let h = f + -15. Does 16 divide h?
True
Suppose 159 = 2*p - 3*l, -2*l = -p + 3*l + 90. Is 41 a factor of p?
False
Let m be 0 - 2 - (2 - 5). Let d(b) = -b**3 + 6*b**2 + 1 + m - 4*b - b**3 + b**3. Is d(4) a multiple of 18?
True
Let z(k) = -k**3 + 3*k**2 + 6*k - 5. Let x be z(4). Let w be 2*-2*3/12. Is (-10)/(-5)*(w + x) a multiple of 4?
True
Let t be (1 + -3)/((-2)/4). Suppose -j + t*z + 27 = 5*z, 85 = 3*j + 4*z. Is 10 a factor of j?
False
Let s be ((-65)/(-10))/((-3)/(-6)). Let l = s + 11. Is l a multiple of 9?
False
Let l be 18/4 - (-4)/8. Suppose -m = -2*m + 5*d - l, 3*m + d - 17 = 0. Suppose -3*x + m*x - 16 = 0. Is x a multiple of 4?
True
Suppose -2*k + k = 0. Suppose k = q + 4*q - 100. Is q a multiple of 14?
False
Let q(x) = -x - 1. Let f be q(-6). Suppose 0 = 3*p - 2*w - 56, 0 = 2*p - f*w - 0*w - 30. Is 12 a factor of p?
False
Suppose -3*h + 0*h = -3*w - 330, h - 5*w = 102. Does 14 divide h?
True
Suppose -3*o + 2*w = -302, 0 = o - 2*o + w + 100. Is 20 a factor of o?
False
Let q(j) be the first derivative of 5*j**2 + 1. Is q(3) a multiple of 10?
True
Let j(p) = 7*p**2 - 4*p + 3. Let z be j(3). Is 12/z + 590/18 a multiple of 12?
False
Let o = -74 + 97. Is 7 a factor of o?
False
Let l(u) = -u - 1. Let d(a) = a**2. Let j(k) = 2*d(k) - 4*l(k). Is j(-3) a multiple of 5?
True
Suppose 16 = -u + 5*u. Is u a multiple of 2?
True
Let z = -2 - -7. Suppose 0 = -z*f + 140 + 40. Is f a multiple of 11?
False
Let q(u) = 10*u**2 + 4*u + 4. Let d be q(-4). Let b = d - 92. Does 28 divide b?
True
Suppose -d = -4*d + 72. Is d a multiple of 12?
True
Let y(g) = -g**2 - 14*g + 3. Let l be y(-14). Suppose 20 = 4*v - 5*n, -18 = -2*v + 5*n + 2. Let m = l - v. Is 3 a factor of m?
True
Suppose -3*c - 3*g - 107 = -5*c, 5*c = -5*g + 230. Does 12 divide c?
False
Suppose 0 = 2*o + 2*o - 620. Is o a multiple of 23?
False
Let n = 471 - 307. Is n a multiple of 13?
False
Suppose 29 = 5*v - 126. Is 10 a factor of v?
False
Suppose -c = 5*q - 49, -q + 13 = -0*q - 3*c. Suppose -5*v = -q, -5*v = -i + 9 + 17. Is 18 a factor of i?
True
Suppose 2*n - 2*l = -14, -n = 4*n - l + 23. Let u be n/(-2) - (1 + -2). Is 3 a factor of (3 + -7)/((-2)/u)?
True
Let t(j) be the second derivative of -j**3/2 - 9*j**2/2 + 5*j. Is t(-11) a multiple of 6?
True
Suppose -6*c = -3*c - 63. Does 5 divide c/14*(-104)/(-6)?
False
Let x(o) = o**3 - 12*o**2 + 11*o + 5. Let v be x(11). Suppose -71 = -v*g + d, -3*g - 5*d - 14 + 79 = 0. Does 5 divide g?
True
Let b = 38 - -37. Is b a multiple of 24?
False
Suppose -2*b + 4*w + 15 = -3, -4*w = -b + 5. Is b a multiple of 6?
False
Let z(q) = 36*q**2 + 1. Let o = 3 + -4. Is z(o) a multiple of 15?
False
Let g = 15 + 13. Does 18 divide g?
False
Let a = 14 - -17. Is 26 a factor of (3 + 3 + a)*1?
False
Let q(d) = d**2 - 5*d - 4. Let h(c) = c**3 + 3*c**2 - 3*c - 3. Let p be h(-3). Let k be q(p). Let v = k + 4. Is 6 a factor of v?
True
Suppose -4*y + 6*y = 0. Suppose -m - j = -2*j - 71, y = 3*j - 6. Is m a multiple of 32?
False
Suppose -4*y + 0*y + 940 = 0. Is y a multiple of 26?
False
Let d be ((-9)/15)/((-1)/(-5)). Let q(o) = -2*o**2 + 2*o + 7. Let n(x) = 2*x**2 - 3*x - 8. Let j(y) = d*n(y) - 4*q(y). Does 10 divide j(-3)?
False
Suppose 2*j + 5*g = 55, 0 = j - 2*j + 5*g + 20. Does 4 divide j?
False
Let f be 35 + 2 - 2 - 0. Suppose s = 6*s + f. Let q = s - -13. Is 3 a factor of q?
True
Let i(u) = 2*u. Let k be i(-4). Let c = 5 + k. Is (c/(-2))/((-9)/(-96)) a multiple of 16?
True
Suppose -43 = -5*d + 47. Is d a multiple of 6?
True
Suppose 3*m - 2*m + 8 = 0. Suppose 0*z - 3*g = 4*z - 85, -2*z - g = -41. Let v = m + z. Is v a multiple of 11?
True
Is 22 a factor of 1*(-1)/((-3)/258)?
False
Let b(k) be the second derivative of k**4/12 - k**3/2 + 7*k**2/2 + 3*k. Does 14 divide b(-5)?
False
Is 6*(650/15 - 0) a multiple of 19?
False
Let w = 1 - 8. Let l = -3 - w. Is l a multiple of 2?
True
Let x(y) = y + 2*y**2 - 4*y + 6*y + 2 - 2*y**3 - 2*y. Suppose 3*v = 4*l - 3*l - 3, 2*v + l = -7. Is x(v) a multiple of 11?
False
Suppose 3*m - 62 = -t, -3 + 22 = m + 2*t. Suppose 0 = -3*u + m + 15. Is 4 a factor of u?
True
Suppose w - 6*w - 5 = 0. Let p be -3 - -1 - (2 + -5). Does 3 divide 10 - (w + 3)*p?
False
Suppose -j = -2*f + 20 + 16, 0 = -4*j. Is 3 a factor of f?
True
Let w = -1 + 19. Let q be (75/2)/(3/w). Is (-2)/(-8) - q/(-12) a multiple of 8?
False
Suppose -38 = -2*y + 12. Let k = -8 + y. Is 17 a factor of k?
True
Let o = 5 - 3. Let l(z) = 3 - 2 - o*z**2 - 15*z**3 - 2*z**3. Is 16 a factor of l(-1)?
True
Suppose 2*m = k + 46, 18 = 2*m - 4*k - 40. Let o = 7 - m. Let x = 23 + o. Is 9 a factor of x?
True
Suppose h + 83 = 4*p + 2*h, h - 3 = 0. Does 5 divide p?
True
Let o be ((-4)/(4/(-5)))/(-1). Let v(w) = -w**3 - 6*w**2 - 6*w. Is 2 a factor of v(o)?
False
Suppose -y - h = -3*y - 15, -3*y = -3*h + 24. Let b(c) = c - 8*c - 2 - 8 + c. Is 12 a factor of b(y)?
False
Is 32 a factor of 3 - (0 + 3) - -96?
True
Let s(k) = -k**3 + 6*k**2 - 2*k. Let w(l) = 2*l - 3. Suppose 4*r + 1 = -7, r - 7 = -3*t. Let h be w(t). Is s(h) a multiple of 13?
False
Let m be (-5)/(-25) - 2/10. Let w = m + 13. Does 5 divide w?
False
Let i(o) = -o**2 + o - 2. Let m be i(0). Let n be ((-1)/m*0)/(-1). Suppose n = 4*j - 24. Is 5 a factor of j?
False
Let c(s) = -27*s + 3. Let q be c(-4). Suppose 6*g = g - 4*w + q, 5*g - 4*w - 79 = 0. Let h = g + -13. Does 6 divide h?
True
Does 32 divide (20/8 + -4)/((-2)/256)?
True
Suppose -16*x = -17*x + 7. Is x a multiple of 3?
False
Let x(l) = 6*l - 3. Let c be x(-3). Let b(h) = -h - 6. Let i be b(-5). Does 9 divide i/(((-4)/c)/(-4))?
False
Suppose 171 = -3*z + 603. Does 18 divide z?
True
Let r = 273 + -73. Is r a multiple of 40?
True
Suppose -8 = 2*s + 4. Let g = s + 49. Is 18 a factor of g?
False
Let f(m) = -16*m + 1. Let y(d) = 1. Let v(x) = -x + 3. Let o(z) = v(z) - 3*y(z). Let t(j) = -f(j) - 5*o(j). Does 14 divide t(1)?
False
Suppose 78 = 5*s + 3*v, 2*v + 11 - 3 = 0. Let f = -9 + s. Is 9 a factor of f?
True
Let k = 82 + -53. Does 19 divide k?
False
Let c(w) = w**3 - 2*w**2 - 10*w - 1. Is c(7) a multiple of 25?
False
Suppose -2*x - 7 = -33. Let k = x + 19. Does 12 divide k?
False
Suppose 162 = 5*l + 3*a, -5*a = -5*l + 55 + 75. Is l a multiple of 9?
False
Suppose g - y = 2*y + 41, 108 = 3*g - 4*y. Suppose m = 6*m - 5*z - 60, m + 3*z = g. Is m a multiple of 17?
True
Let w = 5 + 37. Is w a multiple of 13?
False
Let z = -14 + 20. Let k be -2*(-34)/(-12)*-3. Let d = z + k. Is d a multiple of 9?
False
Suppose -5*f + 3*f - 2 = 0. Is 22 a factor of -15*(f - 20/12)?
False
Suppose 4*i = i, 0 = -5*l + 3*i + 5. Let n be 91 + (4 - 2/l). Let a = n - 63. Is a a multiple of 15?
True
Suppose z - 2 = -7. Let d = 8 + z. Suppose v - 8 = -3*v + b, -4*v - d*b = -24. Is 2 a factor of v?
False
Let i(k) = 11*k**2 - 6*k + 29. Is 18 a factor of i(4)?
False
Let o(i) = -203*i**3 - 2*i**2 - 2*i. Does 11 divide o(-1)?
False
Let z(v) = -13*v - 6. Let w be z(-4). Let y be ((-12)/10 - 0)*-40. Is 14 a factor of 1/(-1 + y/w)?
False
Suppose 0*u - u + 3*v = 13, 2