14. Let j = 26 + z. Is 11 a factor of j?
True
Suppose c = 5*x + 14, 6*x - 4 = -3*c + 2*x. Is c even?
True
Suppose -5*j + 5*l + 5 = 0, 4 + 6 = j + 2*l. Let k(c) = -c**3 + 7*c**2 - 6*c + 2. Is k(j) a multiple of 21?
False
Does 15 divide 212 - (-3 - (-4 + 3))*-1?
True
Suppose 46 = 5*p - 4*a, -6*a + 4*a - 26 = -3*p. Is (-201)/(-9) - 2/p a multiple of 9?
False
Let x(c) = c**2 - 2*c - 18. Is x(-8) a multiple of 12?
False
Suppose -4*k + k + 93 = 0. Suppose -4*m = -3*r + m - k, -2*m + 4 = 0. Is ((-4)/2)/(r/147) a multiple of 21?
True
Let y(v) = 2*v - 3. Is 13 a factor of y(16)?
False
Let c be (5 - 1) + (-9 - 23). Suppose -94 = -2*g + 12. Let b = c + g. Does 15 divide b?
False
Suppose -4*u - 2*d + 7*d - 40 = 0, -u + 4*d - 21 = 0. Let g = 38 + u. Is g a multiple of 25?
False
Suppose 3*q = 15, 3*y = 4*q - 10 - 19. Let b = 13 - y. Let u = b - -1. Is 17 a factor of u?
True
Let f be 3471/9 + 6/(-9). Suppose -3*r - 2*r = -f. Let j = r - 37. Is j a multiple of 20?
True
Is 3 a factor of (-2 + -1 - 24)*(-4)/4?
True
Does 35 divide (-16296)/(-72) - 1/3?
False
Suppose y - 2 = 4. Let b(s) = s - 2. Is b(y) a multiple of 2?
True
Suppose 0 = 2*p - 9 - 75. Suppose -2*f + 42 = -p. Does 14 divide f?
True
Suppose -4 = 4*n + 12. Does 2 divide (-1)/n + 7/4?
True
Let a = -55 + 98. Suppose -3*k - a = 56. Let b = 8 - k. Does 14 divide b?
False
Suppose 4*d + 452 = 8*d. Is 15 a factor of d?
False
Suppose b - p = -0*p + 62, 5*b - 4*p - 310 = 0. Is 31 a factor of b?
True
Is ((-7)/(-2))/((-1)/(-4)) a multiple of 14?
True
Suppose -4*n = -4*v - 2*n + 210, 0 = -5*v + 5*n + 260. Let k = v + -26. Is k a multiple of 9?
True
Suppose 485 + 19 = 4*g. Let s = 29 + g. Suppose 0 = -4*p - s + 491. Is 30 a factor of p?
False
Let h = 39 + -11. Suppose -521 + h = -2*g - 5*m, -4*g - 2*m + 946 = 0. Suppose -4*u + 40 = t, 0 = -5*t - 3*u - 0*u + g. Is 16 a factor of t?
True
Suppose 2*i - 179 = 137. Let b = 103 - i. Is 18 a factor of (-2045)/b + (-4)/22?
False
Let p = 2 + -10. Let b = p + 36. Is b a multiple of 14?
True
Let q = 15 - 17. Suppose 0 = -5*i - 3*g + 40, 3*i - 13 = -g + 7. Is 2 a factor of (-3 + i)*(-3)/q?
False
Suppose -223 = -3*k + 2*t, -2*t + 208 = 5*k - 185. Does 6 divide k?
False
Is (-87)/(-2) - (-2)/4 a multiple of 11?
True
Suppose 4*o - 12 = -0. Suppose -b - 5*j + 32 = 4, 0 = o*b - 3*j - 12. Is b a multiple of 3?
False
Let y(q) = -3*q - 4. Is 20 a factor of y(-8)?
True
Let p(x) = 0 + 1 - 3*x - 10*x**2 + x**3 - 6*x + 0. Is 5 a factor of p(11)?
False
Let p = -3 + 1. Let l(w) = -w**2 + 9*w + 3. Let c be l(6). Let g = c + p. Is 18 a factor of g?
False
Let h(v) = -7*v - 2. Let j be h(-5). Suppose i + 2*i = j. Does 12 divide (2 + -4)*i/(-1)?
False
Let m(w) = -2*w + 4. Let r be (2 - -2 - -2) + -2. Let z be m(r). Let y(o) = -o**3 - 3*o**2 + 3*o. Is y(z) a multiple of 4?
True
Let l = 19 - -24. Does 7 divide l?
False
Is 5*4*(-4)/(-8) a multiple of 10?
True
Let v(p) = -p**2 - 6*p + 6. Let s be v(-7). Does 22 divide s/(3 + 266/(-88))?
True
Let i(u) be the third derivative of 7*u**4/12 - u**3/6 - 7*u**2. Is i(1) a multiple of 13?
True
Does 18 divide (20/(-3))/(8/(-156) - 0)?
False
Suppose 0 = -5*h + 42 + 28. Suppose -4*t = -3*t - 8. Let u = t + h. Does 11 divide u?
True
Let i = -24 + 29. Is i even?
False
Let l(k) be the third derivative of 0 + 7/6*k**3 + 0*k + 2/15*k**5 + 1/120*k**6 + 2*k**2 + 5/24*k**4. Does 10 divide l(-7)?
False
Let o = 90 + -64. Is o a multiple of 13?
True
Let a(j) = j**3 + 12*j**2 + 17*j - 7. Does 13 divide a(-8)?
False
Suppose x + 0*x + 2 = 0, 8 = -3*v + 5*x. Let g(c) be the second derivative of -c**4/12 - 4*c**3/3 - 3*c**2/2 - 2*c. Is g(v) a multiple of 9?
True
Let j(d) = -d + 13. Let x be j(10). Suppose -x*y + 11 + 22 = 0. Is 11 a factor of y?
True
Let j(x) = 4*x**3 - 9*x**2 - 6*x**3 + 12*x + 3*x**3 - 12. Does 16 divide j(8)?
False
Suppose -45 = -i + 2*b, -2*i + 189 = 3*i + 2*b. Suppose 0 = 2*a - 39 - i. Is a a multiple of 13?
True
Let b = 9 + -12. Is 13 a factor of 1203/24 - b/(-24)?
False
Suppose 3*p - 5*b = 432, 4*p + 3*b - 2*b - 576 = 0. Does 16 divide p?
True
Let r = 5 - 1. Suppose -t - 105 = -r*t. Is t a multiple of 13?
False
Suppose 7*k - 105 = 2*k. Does 7 divide k?
True
Suppose -c + 3*k = 4*c - 320, -4*c + 256 = -k. Does 17 divide c?
False
Suppose 5 = n - 0, 0 = -4*p - 5*n + 25. Does 7 divide 2*-6*(-1 + p)?
False
Let k(v) = v + 2. Let m(t) = -t**3 + 6*t**2 - t - 4. Let x be m(5). Suppose -u + x = 3*u. Does 5 divide k(u)?
False
Suppose 15 = -0*a - 3*a. Let z(x) = -x - 3. Let f(w) = w + 6. Let u(s) = 6*f(s) + 13*z(s). Is 14 a factor of u(a)?
False
Let k be 1*9/3 - 0. Suppose 0 = -y + 2*y - k. Does 5 divide (-1 + y)*22/4?
False
Let b(o) = o**3 - 3*o**2 + 3*o. Let f be b(2). Suppose 0 = -w + 1, -5*q + 0*q + 18 = -f*w. Let j = 21 + q. Does 9 divide j?
False
Is 14 a factor of (-2 + 51)*(-2 - -3)?
False
Let j(k) = 6*k - 25. Does 5 divide j(7)?
False
Suppose -5*w = j - 115, 0*j - 106 = -4*w + 2*j. Suppose b + w = 4*b. Is b a multiple of 5?
False
Let w = 17 + -27. Let z = -8 - w. Suppose n = z - 1, -105 = -5*i - 5*n. Is 20 a factor of i?
True
Let l = -108 - -127. Is l a multiple of 3?
False
Suppose 2*x = a + 3*x + 4, 4*x = -20. Let g be -1*-1*(a - 6). Let i = 12 + g. Does 7 divide i?
True
Let t(a) = 0*a - 5*a + a**2 - 8 + 2*a**2 - 2*a**2. Let p be t(7). Suppose -16 = -4*s + 4*y, -2*s + 28 = 5*y + p. Is s a multiple of 3?
True
Let g(d) = 17*d**3 - 1. Let q be -3 + 3 - (0 + -1). Let c be g(q). Suppose -4*f = -48 - c. Is f a multiple of 16?
True
Is (-8)/36 - 4191/(-27) a multiple of 19?
False
Suppose 3*g - 3 = 5*o, -2*o - g - 5 = 5. Let a(x) = -7*x + 2. Does 23 divide a(o)?
True
Let q be ((-2)/6)/((-5)/135). Suppose a - q = -0*a. Does 9 divide a?
True
Suppose 37 = s + 3*u, 3*s - 2*u = -3*u + 127. Suppose -2*x - 21 = -5*r + 50, -3*r + s = -x. Does 13 divide ((-12)/r)/(4/(-130))?
True
Let n = -10 - -46. Is n a multiple of 12?
True
Does 6 divide (-4)/26 - (-15202)/286?
False
Let z(x) = 2*x**3 - 5*x**2. Let y be z(4). Let i = 84 - y. Does 12 divide i?
True
Suppose -g + 3*g - 5*s = 79, 5*g - s = 163. Suppose 5*t - 3 - 35 = 4*z, -z - g = -5*t. Is 2 a factor of t?
True
Suppose 7 = -3*x - 17. Is (4/(-10))/(x/640) a multiple of 16?
True
Let a(b) = 6*b**3 + 3*b - 2*b + 0*b**3. Let s be a(-1). Let c = -3 - s. Is c a multiple of 4?
True
Let l = 2 + 3. Let r = 48 - l. Is 13 a factor of r?
False
Suppose -6*y + 46 = -2. Is y a multiple of 8?
True
Suppose -1 = -i + 55. Is 7 a factor of i?
True
Let o(c) = -4*c**2 + 2*c - 1. Suppose d + 5 = 6*d. Let f be o(d). Is 3 a factor of 4*((-3)/f + 1)?
False
Let f be 440/13 + 4/26. Suppose 0 = -2*a + 3*v + 69 + f, -3*v - 262 = -5*a. Is a a multiple of 14?
False
Suppose 11*l - 402 = 49. Is l a multiple of 11?
False
Let s(b) be the second derivative of -b**4/12 - 2*b**3/3 + 5*b**2/2 + 3*b. Is s(-4) even?
False
Let t be 1/((-3)/(3 - 9)). Suppose 2*b = -t*z + 16 + 18, 0 = 5*z - 2*b - 92. Does 7 divide z?
False
Let n(v) = 7*v + 4. Let k be n(3). Let f = -1 + k. Let x = f + 1. Is 12 a factor of x?
False
Let s(m) = 22*m - 26. Does 16 divide s(5)?
False
Let y = -4 - -4. Let n = y + -1. Let z = 36 + n. Does 17 divide z?
False
Let b(l) = -l**2 + 9*l - 2. Is 4 a factor of b(8)?
False
Suppose -30 = -j + 5. Let f = j - 18. Is 17 a factor of f?
True
Let x = 8 + 4. Is x a multiple of 4?
True
Suppose 13 = 4*v + 1. Suppose v*x - 91 - 20 = 0. Is x a multiple of 10?
False
Suppose 6*t = -3*t + 1701. Does 27 divide t?
True
Let d(n) = -n**3 - 8*n**2 - 12*n - 14. Is 35 a factor of d(-9)?
True
Suppose 3*y - 168 = y. Let k = y + -28. Is k a multiple of 14?
True
Suppose -3*a = 2*a - 190. Does 19 divide a?
True
Let f(h) = h + 6. Let r be f(-4). Suppose -u + 53 = r*v, -5*v + 2*v - 3*u + 81 = 0. Is 9 a factor of v?
False
Suppose 5*p = 4*o + 442 + 73, -2*p = -3*o - 381. Let g = -185 - o. Let i = g + 84. Is i a multiple of 12?
True
Let r be (-6 - 0)/(18/(-132)). Is (4 - r)*1/(-2) a multiple of 8?
False
Let a = -142 - -222. Does 9 divide a?
False
Let o be 5/(1 + 0 - 0). Suppose -4 = o*g - g. Does 14 divide (-2)/(-1)*(9 - g)?
False
Let x = -10 + -36. Suppose 5*l + 5*a = -105, -4*l - a - 69 = -2*a. Let o = l - x. Is 16 a factor of o?
False
Suppose -954 = -7*l + 1048. Is l a multiple of 11?
True
Let q = 27 + -22. Does 4 divide q?
False
Suppose -m - 3*m = -160. Does 10 divide m?
True
