et u be w(10). Let n(a) = -6*a**3 + 7*a**2 - a + 5. Let i(k) = u*n(k) + 5*j(k). Is i(4) a multiple of 13?
False
Let m(k) = -7*k + 5. Let o be m(-5). Suppose -o + 8 = -2*f. Is 8 a factor of f?
True
Let m(u) = 2*u**2 + u + 2. Is m(-6) a multiple of 23?
False
Suppose 146 = 6*s - 16. Is 14 a factor of s?
False
Suppose -5*v = -3*x - 0*x - 19, -5*x - 3*v = -25. Let f(k) = 7*k**2 - 3*k. Does 9 divide f(x)?
False
Suppose 97 = 2*i - x, 0*x = i - x - 46. Does 10 divide i?
False
Suppose -133 - 302 = -5*f. Is f a multiple of 29?
True
Let w(b) = 9*b + 11*b**2 + b**3 + 0*b**3 + b**2. Let y = -14 + 3. Is 13 a factor of w(y)?
False
Suppose 0 = -2*p - 3*p + 10. Suppose 0 = p*o - o. Suppose o = -n - 1 + 13. Is n a multiple of 12?
True
Let p(l) be the second derivative of -l**4/12 + l**3 - l**2/2 + l. Let m be p(5). Suppose -3*a - 3*x - 6 = 0, 0 = a + m*a - 2*x - 18. Is a even?
True
Is 13 a factor of -2 - (3 + 5*-7)?
False
Does 6 divide (1 - 1) + 120/10?
True
Let z(b) = -b**3 - 3*b**2 - 4*b - 2. Let w be z(-2). Suppose 0 = 4*d - w*d - 20. Is 10 a factor of d?
True
Let q be 2/6 - (-276)/36. Let i = 10 - q. Does 3 divide 64/(-12)*(-3)/i?
False
Suppose 2*i - 5*d = 3 - 1, 5*i = -2*d - 24. Is -2*26/i - -3 a multiple of 12?
False
Let f(l) = l**3 + 9*l**2 + 5*l + 12. Let i be f(-9). Let k = 13 + i. Does 10 divide k/(-1)*1/1?
True
Let s be (1/((-3)/6))/2. Let g = 1 + s. Let i(y) = -y**2 - y + 30. Is 12 a factor of i(g)?
False
Let b(w) = w**3 + w**2. Let c(h) = -h**3 - 8*h**2 + 6*h - 3. Let z be 3/2*(-4)/3. Let t(l) = z*b(l) - c(l). Is 11 a factor of t(4)?
True
Suppose 3*h - 102 - 78 = 0. Is 9 a factor of ((-82)/(-10))/(12/h)?
False
Let g(b) = b**3 - 10*b**2 + b - 12. Let a be g(10). Let c be (-6)/(-5)*(a + 47). Suppose 42 = 4*y - c. Does 17 divide y?
False
Let y(f) = 2*f**2 - 2. Let x(z) = -z**2 - z + 2. Let g(q) = 2*x(q) + 3*y(q). Let m be (1 + 0)*(0 - -2). Is 10 a factor of g(m)?
True
Suppose 4*m - q + 4*q - 249 = 0, -3*m - 5*q + 184 = 0. Is m a multiple of 21?
True
Suppose -4*p + p + 114 = 0. Is 6 a factor of p?
False
Suppose -2*a + 40 = 5*m, 5*a = -0*m + m + 154. Does 5 divide a?
True
Suppose 3*t = 3*n - n - 163, -n - t + 94 = 0. Is n a multiple of 13?
False
Is 7 a factor of 280/12*(92/8 - 1)?
True
Let k be (1 - 0)/((-1)/(-6)). Suppose 81 = 5*h + k. Does 14 divide h?
False
Let i(b) = -b - 4. Let y be i(-4). Let u be (10*7)/1 + y. Is (2/1)/(4/u) a multiple of 12?
False
Let c = -62 + 34. Is c/(-1) - (-6 + 3) a multiple of 6?
False
Let c(u) = -u**3 - 6*u**2 + 5*u + 3. Let k(s) = s**3 + 7*s**2 - 6*s - 2. Let q(l) = 6*c(l) + 5*k(l). Suppose -33*n + 28*n = 0. Does 4 divide q(n)?
True
Let y be 18/6*14/(-6). Let j = y - -12. Does 14 divide (21/j)/(3/15)?
False
Let y be (-50)/(-8) - (-6)/(-24). Suppose -4*l = -y*l. Suppose l - 10 = -u. Does 5 divide u?
True
Let p(r) = r - 3. Suppose 0 = 2*m - 1 - 9. Let n be p(m). Does 7 divide (1/n)/(3/42)?
True
Let b be 15/21 + (-6)/(-21). Is 12 a factor of (-4 + 2 - b) + 15?
True
Let q(g) = g**2 - g + 18. Is 6 a factor of q(0)?
True
Suppose 153 = 7*a - 85. Does 17 divide a?
True
Let b = 5 + -8. Let c be ((-30)/(-9))/((-1)/b). Let m = -7 + c. Is m even?
False
Suppose -5*t = -79 + 29. Let x = 25 - t. Does 9 divide x?
False
Suppose -3*b = 4*s - 30, -32 = -6*s + 2*s - 4*b. Suppose 4*a - 4*t - 6 = -2, -s = -2*t. Suppose -4*m - 50 = -2*q, 5*q + a*m = 9 + 172. Is 12 a factor of q?
False
Let o(t) = -761*t + 4. Let v be o(4). Is v/(-56) + 4/(-14) a multiple of 11?
False
Suppose 11 = 3*h + 5*k, 2*h + 6*k = k + 4. Is 7 a factor of h?
True
Suppose -3*h + 7*h = 172. Let l = -30 + h. Does 12 divide l?
False
Suppose -q - 3 = -57. Is 18 a factor of q?
True
Let n(c) = c**2 + 7*c + 4. Let x be n(-7). Let u be (51/(-2))/((-2)/x). Suppose -4*b = -49 - u. Is 15 a factor of b?
False
Let u(s) be the second derivative of 2/3*s**3 + 0 + s - 2*s**2. Does 8 divide u(3)?
True
Let o = 9 + -6. Is 3 a factor of o?
True
Suppose 0 = -0*b - 3*b + 33. Is b a multiple of 3?
False
Let m = 7 + -6. Let z = 6 - m. Suppose 0 = -z*n - 37 + 107. Is n a multiple of 5?
False
Is 14 a factor of (126/(-12))/(2/(-4))?
False
Let j(a) = a + 245. Let l be j(0). Is 13 a factor of l/20 + (-6)/(-8)?
True
Let b(m) = -m**3 + 14*m**2 + 12. Is b(14) a multiple of 6?
True
Let w = 5 - 3. Suppose 0 = -4*v - w*u - 52 - 24, 62 = -2*v + 5*u. Let y = v + 30. Is 5 a factor of y?
False
Let y(j) = -j**2 - 2*j + 4. Let t be y(-4). Is 2 a factor of (10/t)/((-1)/2)?
False
Suppose -12 = -9*u + 5*u. Suppose 5*q + u*h = -0 + 103, 4*q - 3*h - 77 = 0. Does 6 divide q?
False
Let a(r) = -r**3 - 4*r**2 + 6*r + 5. Let j be a(-5). Let v = -4 - j. Is 4 a factor of -1*5*4/v?
False
Let n be ((-3)/4)/((-2)/(-8)). Let q = -7 - n. Let d = q + 8. Is d a multiple of 2?
True
Suppose 171 = 2*q - 5*l, 0*q - 4*l + 92 = q. Is 22 a factor of q?
True
Let g = -9 - -11. Suppose 5*n = -3*h + 172, -g*n = n - 4*h - 80. Is n a multiple of 11?
False
Is (-4)/18 + (-956)/(-9) + -6 a multiple of 22?
False
Suppose -5*w + 3*p + 26 = -0*w, p - 14 = -4*w. Let c = -1 + w. Does 3 divide ((-10)/(-4))/(c/6)?
False
Let z be (-25)/(-6) - 1/6. Suppose -5*w = -5, 4*i - z*w - 2 = 34. Is 8 a factor of i?
False
Let d(q) = -q**3 + 9*q**2 + 6*q + 4. Does 10 divide d(9)?
False
Suppose 2*m = 2, 2*b - 4*m = -2*b + 88. Is 23 a factor of b?
True
Let a(y) = 16*y**3 - 2*y**2 + 2*y - 1. Let z be a(1). Suppose 15 = 2*f - z. Is f a multiple of 15?
True
Suppose -3*s + 33 = -18. Suppose -3*p = -s - 16. Does 11 divide p?
True
Suppose 3*q - q = 2. Let d = q - -20. Does 18 divide d?
False
Suppose 3*g + b - 1 = 0, -5*g - 4 = -g + 4*b. Let u = g - -2. Suppose -140 = -u*t - t. Is t a multiple of 15?
False
Let n(g) = -2*g + 6. Let p(m) = 2*m - 6. Let x(j) = -5*n(j) - 6*p(j). Let a(b) = -b**2 - b + 1. Let k be a(-4). Is 14 a factor of x(k)?
True
Let k = -2 - -6. Suppose k = b - 11. Is b a multiple of 5?
True
Suppose -5*r = -19 - 71. Let d = 33 - r. Let z = d + -1. Does 11 divide z?
False
Suppose 6*u = 5*u + 33. Is 8 a factor of u?
False
Suppose -3*b = -6*b - o + 167, -2*b + 2*o + 122 = 0. Is b a multiple of 19?
True
Let c(x) = 0*x - 3*x - 3*x - 6 + 4*x - 3*x**2 - x**3. Is c(-4) a multiple of 18?
True
Suppose -3 = 3*t + b + 8, 4*b + 18 = t. Let m = t - -28. Is m a multiple of 13?
True
Suppose -4*k + 30 = -10. Is 2 a factor of k?
True
Let z = 32 - -18. Let n = -8 + z. Does 14 divide n?
True
Does 45 divide 3538/13 - 12/78?
False
Suppose 0 = -4*x + 5*x + h - 43, 2*x - 51 = 5*h. Does 5 divide x?
False
Let x = -42 + 64. Does 11 divide x?
True
Let v = 5 + -2. Suppose 2*d = 5*s - 2*s + 105, -4*s = -v*d + 155. Is d a multiple of 22?
False
Suppose 2*a - 4*a + 236 = 0. Is a a multiple of 18?
False
Does 43 divide 1*(-1)/(480/482 - 1)?
False
Suppose 0*h + 48 = 2*t - 2*h, 2*t = 4*h + 52. Suppose 2*q = 104 - t. Is q a multiple of 16?
False
Suppose 6*x = 5*x + 92. Does 27 divide x?
False
Let h be (-14)/(-4)*12/7. Let a = -4 + h. Is a a multiple of 2?
True
Let v(l) be the first derivative of l**3/3 + 3*l**2 - l + 1. Let m = 83 - 92. Does 11 divide v(m)?
False
Suppose 29 = 2*z - 43. Is 19 a factor of z?
False
Let n = -28 + 82. Is n/2 + 1/(-1) a multiple of 15?
False
Let i be (10/6)/(5/(-15)). Let y = 1 - i. Is y a multiple of 3?
True
Suppose -j + 3*i = 3*j, 0 = 2*i - 8. Suppose 5*z = j*o - 46, 38 = -0*o + 4*o + 5*z. Does 6 divide o?
True
Let a(q) be the first derivative of 5*q**3/3 - q - 1. Let u be a(1). Suppose x - 2 = u. Is x a multiple of 6?
True
Suppose 6*j = 112 + 32. Is j a multiple of 12?
True
Let i(b) = 6*b**2 + 3*b - 7. Let u(y) = 2*y**2 + y - 2. Suppose 3*x = -2*x + 35. Let q(a) = x*u(a) - 2*i(a). Is 6 a factor of q(-2)?
True
Suppose 9 = 5*s - 16. Let f(w) = -4*w**2 - 5*w - 7. Let p be f(s). Let n = -77 - p. Is 26 a factor of n?
False
Let j(g) = 23*g - 3. Let p(h) = h + 1. Let x(i) = j(i) + 4*p(i). Let t be x(1). Suppose u - t = -3*u. Is u a multiple of 7?
True
Suppose -2*j = 3*b + 2*b - 1496, 5*b = -j + 1498. Suppose -d = 2*z - 0*z - 120, -5*d = -5*z + b. Is 26 a factor of z?
False
Suppose 3*b - 164 = -2*z - b, 0 = 5*z - 4*b - 340. Is 24 a factor of z?
True
Suppose -46 = -3*k + 308. Does 13 divide k?
False
Let s = -38 - -160. Does 14 divide s?
False
Suppose -2*a + 63 = a. Let q = a - 13. Let y = 16 - q. Is 3 a factor of y?
False
Let w be ((-6)/(-4))/(12/16). Suppose 0*i - w*i - 10