rue
Let h(l) = l**2 + l - 13. Does 12 divide h(13)?
False
Let h be (-220)/18 + 2/9. Suppose -2*n + 130 = 2*n - 5*r, -n + 40 = -5*r. Let u = h + n. Does 12 divide u?
False
Suppose s + 5*a = 4*s - 24, 2*a + 20 = 2*s. Is 11 a factor of s?
False
Suppose 12*o - 2100 = -3*o. Is o a multiple of 7?
True
Suppose 0 = -5*s + 159 + 66. Suppose -2*v = -s - 137. Is v a multiple of 24?
False
Is 2 - ((-6)/4)/3*178 a multiple of 41?
False
Is 7 a factor of 33 - 0 - (-5 - -3)?
True
Suppose 2*l - 82 = b, -4*b - 77 - 46 = -3*l. Is l a multiple of 15?
False
Let p = -30 + 113. Let r = -5 + p. Suppose 3*l = 0, -5*h + 42 + r = l. Does 12 divide h?
True
Let y(t) = -3*t**2 + t**2 + 2*t + 0 - t**3 + 2. Let v be 60/(-14) + (-4)/(-14). Is y(v) a multiple of 23?
False
Suppose -4*g + 18 = 2. Is 4 a factor of g?
True
Let o be (1/2)/((-6)/12). Is 4 a factor of (-1 - (o + -1)) + 11?
True
Let h(k) = 2*k - 5. Let c be h(4). Suppose 0 = i + 4*r - 13, -27 = -2*i + c*r - 12. Is i a multiple of 9?
True
Let x be (0 - -1)*1/(-1). Let t be (-22)/(-10) - x/(-5). Suppose -t*w + 10 = 2*q - 30, 2*q - 55 = -3*w. Does 5 divide w?
True
Suppose 220 = -4*g - 5*d + 49, 0 = -2*g + 4*d - 92. Let p = 123 + g. Does 16 divide p?
False
Suppose 303 = 10*r + 33. Is 27 a factor of r?
True
Suppose 2*v = -2*u + 11 + 7, -3*v + 3 = -5*u. Is v a multiple of 6?
True
Let x = 0 - -5. Suppose 64 = x*d - d. Is 8 a factor of d?
True
Let x = 160 + -80. Does 8 divide x?
True
Suppose 0 = 6*g - 4*g - 5*w - 15, 5*w = -3*g - 15. Suppose g = -4*d + 4*z, 4*d = 3*z + 2 + 1. Is d even?
False
Let j(u) be the second derivative of -u**4/12 - 2*u**3 + 3*u**2 - u. Does 15 divide j(-10)?
False
Let n be (-2)/(-4) + (-93)/6. Let w = 46 + n. Is 12 a factor of w?
False
Suppose -x = 2*x - 15, -4*x + 17 = -y. Let a(v) = 9*v. Let r be a(y). Let b = r - 14. Does 13 divide b?
True
Suppose 2*s + 2*h - 3*h - 2 = 0, 0 = -4*s + h + 6. Suppose -3*u + s*k + 49 = 0, 2*k = 2*u - 2*k - 38. Does 7 divide u?
False
Let u(b) = -2*b - 7. Let y be u(-6). Suppose 6*q - 23 = 103. Suppose -g = y*p - 101, -q = p - 2*p - g. Is p a multiple of 8?
False
Suppose 4*g + 3*o - 456 = 0, g + 4*o + 456 = 5*g. Is g a multiple of 9?
False
Suppose z = 3*z - 8. Suppose -24 = -z*v + 44. Does 16 divide v?
False
Let p(q) = q**3 + 7*q**2 - q + 2. Suppose 0 = -3*n - 2*d - 21, 4*n + 4*d + 7 = 3*n. Does 3 divide p(n)?
True
Let x(f) = -2*f - 1. Let w be x(2). Suppose 0 = 2*j + 2*i - 22, -5*j - i + 44 = 1. Let k = w + j. Is k even?
False
Let c = 104 + -48. Let s be (3*4)/(1 + 0). Suppose 0 = -l + c - s. Is l a multiple of 18?
False
Let f(o) = -o**3 + 4*o**2 + o - 2. Let j(l) = 5*l - 1. Let h be j(1). Let z be f(h). Suppose -63 = -z*c + t, 5*c - 48 = 3*c - 2*t. Is c a multiple of 11?
False
Does 31 divide ((-4)/(-10))/((-3)/(-2535))?
False
Let o(f) = -3 + 3*f - 4*f**2 + f**3 + 3*f**2 - 5*f**2. Let p be o(6). Suppose 2*z + 30 = 5*t - 2*z, p = -5*t - 5*z. Is t even?
True
Suppose 2*l + 16 = 6*l. Suppose -l*a = a - 25. Suppose 2*o = -2*n + a*n - 25, 0 = 5*n + 5*o. Is 4 a factor of n?
False
Let b(v) = -v**3 + 9*v**2 + 12*v - 15. Let m be b(10). Suppose 3*u - 4*q = 5*u, -m*u = 4*q - 30. Does 5 divide u?
True
Let r(i) = -i**3 + 190. Let x be r(0). Suppose 4*l + 2*u = x, -l = -u - 26 - 29. Suppose -2*d - 2*y = -l, d = -4*y + 6 + 7. Is 9 a factor of d?
False
Suppose -87 = -5*r + 83. Is 17 a factor of r?
True
Let a = 14 + 39. Does 14 divide a?
False
Let d = 6 - 8. Let m = d - -9. Does 3 divide m?
False
Let y be (-2)/(-5) - 17/5. Suppose 4*s + 17 = 3*d, 0*d - 2*d - 5*s = -19. Let j = y + d. Is j even?
True
Let n be 17/(-4) - (-3)/12. Does 6 divide (2 - n - -2)*2?
False
Let b be 16/6 + (-6)/9. Suppose -4*o + 64 = 4*f, -3*f + 36 = b*o - 3*o. Is f a multiple of 8?
False
Suppose 0 = -4*o + v + 28, 0 = -o - 0*o + 3*v + 18. Is 3 a factor of o?
True
Let x(j) = -j**3 - 8*j**2 - 4*j - 3. Let g be x(-5). Let k = g + 110. Is k a multiple of 13?
True
Suppose -p = -5, -3*o + p + 13 = 6*p. Is 15 a factor of (-17)/2*o - 1?
False
Suppose 4*v = 3*m - 438, m - 5*m + 5*v + 585 = 0. Is m a multiple of 25?
True
Let a = 5 - -1. Does 6 divide a?
True
Let l = -6 - -47. Is 12 a factor of l?
False
Suppose 6*k - k = 3*p + 438, 2*p + 262 = 3*k. Is 18 a factor of k?
True
Let p(n) = -n**2 + 3*n + 2. Let i be p(3). Suppose 4 = w + 3*m, -i*w - m - 2 = -10. Is 4 a factor of w?
True
Let x = 2 - -3. Let u(q) = 3*q**2 + 7*q + 4. Let b be u(-6). Suppose -2*n + b = 5*h - 7*n, -37 = -2*h + x*n. Does 5 divide h?
False
Let y be 5/15 + 40/6. Let p(z) be the second derivative of z**3/3 - 9*z**2/2 - z. Is 2 a factor of p(y)?
False
Let l = 21 - -10. Is l a multiple of 9?
False
Suppose -5*h - 4*b + 23 = 0, 4*h + 0*b + 3*b - 18 = 0. Suppose -2*u - 5*x + 95 = h*u, x = 3*u - 77. Does 10 divide u?
False
Let g = 8 - -27. Is 12 a factor of g?
False
Let f(y) = -12*y + 3. Let m(k) = 24*k - 5. Let t(n) = 5*f(n) + 2*m(n). Let z be t(-7). Suppose z + 17 = 3*j - 4*b, -b + 67 = 2*j. Does 12 divide j?
False
Let q be -4*(-4)/(48/(-21)). Let d = -2 - q. Is d a multiple of 5?
True
Let i(f) = 4*f. Suppose 26 = 3*g - 31. Suppose u - 11 = -3*l - 2*l, 4*u = 5*l + g. Is i(u) a multiple of 12?
True
Let h = 8 + -8. Let k(z) = 6*z**2 + 2*z**3 + 3*z - 3 - z**3 + h*z**3. Is k(-5) a multiple of 6?
False
Suppose -18 = -3*d + 84. Let n = d + -21. Does 5 divide n?
False
Suppose -10 = 3*p - 8*p. Let s(y) = 0 + 0 + p*y + y**2 + 6. Does 16 divide s(-6)?
False
Let g(w) = 4*w - 8. Suppose 30 = 2*m - 4*r, 5 = 5*m + 4*r - 0. Is 6 a factor of g(m)?
True
Let n(q) = q - 4. Let t be n(-8). Does 13 divide ((-156)/9)/(8/t)?
True
Suppose -5*m + 10 + 18 = x, x = 5*m - 22. Is m a multiple of 2?
False
Let s(m) = m**2 + 2*m + 1. Let c be s(-2). Is 4 a factor of c/(3/18)*2?
True
Suppose 55 = -u + 60. Is 3 a factor of u?
False
Suppose 3*a + 3*i + 2*i = -75, 5*i = 4*a + 65. Is ((-28)/6)/(a/150) a multiple of 12?
False
Suppose 0 = 5*l + y - 92, 110 = -l + 6*l - 5*y. Is 12 a factor of l?
False
Let k = -10 + 5. Let p = -2 - k. Does 3 divide p?
True
Let j(v) = -v**2 + 4*v + 7. Let h be j(5). Suppose -h*c = -4*g + 152, -5*g + 114 = -2*g - 2*c. Is g a multiple of 19?
True
Suppose 2*r + 96 + 120 = 4*c, 3*c = 4*r + 152. Does 21 divide c?
False
Suppose 7*m - 10*m + 450 = 0. Is 15 a factor of m?
True
Let h(l) = -27*l**2 - 3*l. Let y be h(-2). Does 17 divide (y/(-5))/((-18)/(-45))?
True
Does 20 divide (-958)/(-12) + 1 + (-5)/6?
True
Let j = -3 - -3. Suppose -2*k + 24 = -j*k. Does 6 divide k?
True
Let m = 6 + -6. Suppose m = l - 7 + 1. Does 6 divide l?
True
Let z(u) = -63*u - 18. Is z(-7) a multiple of 26?
False
Suppose -282 = -4*q + 9*h - 8*h, -3*h = 6. Is q a multiple of 14?
True
Let g(h) = 3 - 2 - 4 + 3*h - 2*h. Let v(q) = 6*q. Let u be v(1). Is g(u) a multiple of 3?
True
Let s = 3 - -3. Suppose -s*f + f = -155. Is 8 a factor of f?
False
Let j = -31 + 50. Does 19 divide j?
True
Let d be 12/(-2)*2/(-3). Suppose d*m - 98 = 94. Suppose 6*r - 2*r = m. Does 6 divide r?
True
Let z = 13 - 4. Let w = z + -6. Suppose 3*n = -w*i + i + 33, 3*i - 4*n = 24. Does 12 divide i?
True
Suppose -y = -b - 3*b - 48, -2*b = -5*y + 168. Does 10 divide y?
False
Let m(x) = -x**3 - x**2 - 27. Does 33 divide m(-6)?
False
Suppose -a + 1 - 10 = 0. Let t = 57 - a. Does 11 divide t?
True
Suppose 0 = -5*c + 403 + 77. Suppose 160 = 5*z + f, z + 2*f - c = -2*z. Is z a multiple of 10?
False
Let m be (-2 + 3)/(2/6). Suppose 178 = m*n - 8. Is 18 a factor of n?
False
Let l be (8/10)/(2/5). Suppose l*q = -5*y - 9 - 4, 0 = 5*y + 3*q + 17. Is 15 a factor of 123/3 - (2 + y)?
False
Suppose 10*l - 11*l + 23 = 0. Is l a multiple of 5?
False
Let f(p) be the first derivative of p**3 - p**2 + 3. Does 21 divide f(-3)?
False
Let n(a) = 13*a**2 - 15*a - 43. Is 9 a factor of n(-4)?
True
Let m(f) = -3*f + 19. Is m(0) a multiple of 12?
False
Let h be -13 + 0 + 2/1. Let g = -4 - h. Does 2 divide g?
False
Let l(g) be the second derivative of -g**3/6 - g**2/2 + 2*g. Let q be l(3). Let c = q + 10. Is c a multiple of 4?
False
Let s = 296 - 192. Does 13 divide s?
True
Suppose j + 2*f - 6 = 0, -3 = 4*j - 2*f - 17. Suppose 5*i - 3*i = 3*d - 10, 0 = -2*i - j*d - 24. Is i/(-3)*(5 - 2) a multiple of 4?
True
Suppose -4*n - f + 1331 = 4*f, 4*n - 1319 = -f. Does 13 divide n?
False
Let z be 7*(20/(-14))/(-1). Let u = z + -5. Is 4 a factor of u?
False
Let c(m) = 2