Let u = -4 + i. Is 7 a factor of u?
True
Suppose -x - 132 = -5*x. Is x a multiple of 11?
True
Suppose 3*r + 208 = -r + 5*q, -q + 281 = -5*r. Let k = -35 - r. Does 16 divide k?
False
Suppose 365 = 62*h - 57*h. Does 9 divide h?
False
Suppose -112 = -3*f - 2*h, -3*h + 7*h + 48 = 2*f. Does 7 divide f?
False
Suppose -s = 5*l - 5*s - 32, -5*s = -5*l + 30. Let h = l - 5. Suppose -3*i + 63 = h. Is 10 a factor of i?
True
Let t = -140 + 310. Is t a multiple of 10?
True
Suppose -3*m + 24 = 5*j - 4*m, 0 = j + 2*m - 7. Is 2 a factor of j?
False
Let k(r) = 11*r**2 + 4. Let z(v) = -5*v**2 - 2. Let h(g) = 6*k(g) + 13*z(g). Let s be h(4). Suppose s = 2*a - 30. Does 11 divide a?
True
Suppose -7*q = -247 + 93. Is q even?
True
Suppose 2*c = c. Suppose c = 6*q - 4*q - 56. Suppose 2*t - q = 4*r + 26, -36 = -2*t - 5*r. Does 8 divide t?
False
Let i(z) = 32*z**2 + 2*z + 2. Is i(-2) a multiple of 11?
False
Suppose 2*v = -6 - 0. Let s = v + 7. Suppose s*n - 8 = 64. Is n a multiple of 5?
False
Let s(m) = -2*m - 2. Let t be s(-2). Suppose 3*y - 15 + 3 = -u, -t*y = -2. Is u a multiple of 9?
True
Let v be 6/(-10) - (-33)/5. Suppose -4*f + v = -2*f. Suppose u + 3*h = -5 + 53, 0 = -3*u + f*h + 96. Is u a multiple of 18?
True
Let n(s) = s**2 + s - s + s + 3. Let a = -11 - -6. Is 8 a factor of n(a)?
False
Suppose 2*h + 2*r - 5*r = 224, 0 = -h + 5*r + 105. Does 15 divide h?
False
Suppose -5 = -8*u + 3*u - 4*p, 15 = 2*u - p. Is 10 a factor of 40/(u + -1 + -2)?
True
Suppose -64 - 1 = -5*v. Is v a multiple of 4?
False
Let g(t) = -t**3 + 6*t**2 - 4*t - 6. Let u be g(5). Does 3 divide u + 1 + 1 + 2?
True
Suppose 0 = 4*c - 1 - 19. Let p(m) = 5*m**2 - 4*m**2 + 2 - 9*m + c*m - 7*m. Is 13 a factor of p(12)?
False
Suppose -2*h + 220 = 4*q + 58, -5*q = 5*h - 200. Is q a multiple of 16?
False
Suppose 6*i + 42 = 7*i. Is i a multiple of 24?
False
Let w = -48 + 11. Is 8 a factor of -2 - 4/4 - w?
False
Let x = -7 - -8. Is 10 a factor of (x + -21)/(2 + -3)?
True
Let m be 10/(-5) - (-1 - 0). Does 7 divide (m - 20)*(-8)/12?
True
Let c(b) = b**3 - b**2 - 2*b + 2. Let u be c(2). Let i be -2*(u - 1) - -1. Let l(m) = -23*m**3 - 2*m**2 - m. Does 10 divide l(i)?
False
Let u(b) = -2*b + 4. Let c be u(3). Is 9 a factor of 1 + (1 - 49)/c?
False
Let w(n) = 3*n - 1. Let u be w(1). Suppose -2*j + 49 = -z, 45 = u*j + 3*z - 0*z. Is 12 a factor of j?
True
Let t be 10/4*12/15. Suppose 2*a = -t*a, v - a = 20. Is 8 a factor of v?
False
Let v(t) = 3*t + 1. Does 13 divide v(4)?
True
Let m(u) = 2*u**2 + 4*u + 2. Let p be m(-2). Suppose p*a + 2 - 60 = -3*c, -5*c - 4*a + 100 = 0. Is 14 a factor of c?
False
Let f(s) = -s**2 - 1. Let x be f(1). Is (-1)/(x/(-38)*-1) a multiple of 5?
False
Let g(m) = -30*m + 32. Is g(-4) a multiple of 9?
False
Let o be 2/((20/(-18))/5). Let z(b) = -b**3 - 10*b**2 - 8*b + 12. Let s be z(o). Suppose -6*y + s*y = -75. Is y a multiple of 16?
False
Let z(f) = f**2 + 6. Is 12 a factor of z(-8)?
False
Suppose 3*i = -2*u + 60, -2*i = 3*u - 49 + 9. Suppose 0 = -4*l - i, c - l - 3*l = 35. Is 4 a factor of c?
False
Suppose 2*g + 493 = 3*k, -4*k + 5*g - 3*g + 654 = 0. Is k a multiple of 30?
False
Let h = 84 - 22. Is h a multiple of 31?
True
Let v(r) be the third derivative of -r**5/60 - r**4/12 + 7*r**3/6 + 2*r**2. Let z be v(-6). Let c = z - -25. Does 8 divide c?
True
Suppose 0 = s + 5 - 2. Let i be 2 - -1 - 2 - s. Suppose -i*h = -8*h + 132. Does 18 divide h?
False
Suppose 45 = -5*g - h, -4*g - 52 = 4*h - 0*h. Let t = -34 - -16. Let x = g - t. Is x a multiple of 10?
True
Let m(t) = t**2 - 4*t. Let g be m(3). Let f(l) be the third derivative of -l**6/120 + l**5/60 - l**4/24 - l**3/2 - 4*l**2. Does 12 divide f(g)?
True
Let j(s) be the second derivative of s**3/2 + 15*s**2/2 - 5*s. Is 11 a factor of j(6)?
True
Does 17 divide 376/(-2)*(-3)/6?
False
Let c = 183 + -133. Is c a multiple of 10?
True
Suppose -2*c = 4*p - 816, 137 = p - 5*c - 56. Does 29 divide p?
True
Suppose 3*a + 2*a = -45. Let h = -5 - a. Does 4 divide h?
True
Is (11/(33/160) - 2)*3 a multiple of 50?
False
Let f(t) = -t**3 - 12*t**2 + 9*t - 13. Is f(-13) a multiple of 9?
False
Let f(h) = -39*h + 3. Does 10 divide f(-3)?
True
Suppose 6*m - 930 = m - 2*s, -3*s = -m + 169. Is m a multiple of 12?
False
Suppose -3*t = u - 1, -2*u + 2 = -0*t + 4*t. Suppose t*h + 70 = 2*h. Does 24 divide h?
False
Suppose 125 = 4*s - 5*n, 93 = -3*s + 6*s - 4*n. Is 5 a factor of s?
True
Let h(g) = 20*g**2 + 2*g. Is 31 a factor of h(-2)?
False
Let p be (4 + -3)*(0 + -27). Suppose u + 13 = -4. Let a = u - p. Is a a multiple of 10?
True
Suppose -c + 3*t - 4 = 2, 2*c = -4*t + 18. Suppose -2*s = -c*s + 26. Is 15 a factor of s?
False
Let v = -26 - -42. Does 8 divide v?
True
Let h = 63 + -5. Suppose -3*j - h = -4*q, -q + j - 11 = -2*q. Does 13 divide q?
True
Let t = -3 - -118. Is t a multiple of 23?
True
Suppose c + 71 = -61. Let k = 201 + c. Does 15 divide 4*(-1 + k/12)?
False
Suppose -20 = -0*s - 4*s. Suppose -t - 2*m = -16, 0 = 2*t - 0*m + s*m - 29. Is 11 a factor of t?
True
Does 33 divide ((-6)/(-10))/((-4)/(-460))?
False
Suppose 3 = -q - 3. Let x be -1 - (q/3 + -49). Suppose x = 3*v + 2*v. Does 7 divide v?
False
Let g(d) = -d**3 + d**2 + 3. Let x be g(0). Is 6 a factor of (-54)/2*(-2)/x?
True
Suppose -m = 2*m - 132. Let s = -7 + m. Is s a multiple of 26?
False
Let t(h) = -h - 1. Let o = -2 - -1. Let l be t(o). Suppose -3*m + 18 = -3*k, l = -5*m - 2*k + 9. Is m even?
False
Let j(t) = t**3 + 11*t**2 - 2*t - 11. Let g = -29 + 18. Is j(g) a multiple of 3?
False
Suppose 17*u + 432 = 21*u. Does 12 divide u?
True
Let v(b) = 2*b - 2. Let z(d) = -d + 1. Let y(k) = -6*v(k) - 11*z(k). Let c be y(-3). Suppose -2*j + c*x = -0*j - 54, 3*j - 26 = -5*x. Does 17 divide j?
True
Let s(o) = -92*o**3 - o**2 + o + 1. Let p be s(-1). Let i = p + -57. Is 17 a factor of i?
True
Let s = 53 + -25. Let h be 7/s - (-1)/(-4). Suppose h*x = -x + 38. Is x a multiple of 14?
False
Let f(x) = 162*x**3 + x**2 - 2*x. Is f(1) a multiple of 23?
True
Suppose 7*n + 227 = 2509. Is 28 a factor of n?
False
Suppose -4*y + 30 = -2*y. Suppose -y = -4*f + f. Is f a multiple of 5?
True
Let v(a) = a**3 + a**2 - a + 32. Is v(0) a multiple of 9?
False
Let q be 328/(-24) + (-2)/6. Does 3 divide (-3 - 0) + q/(-1)?
False
Let r = 11 + 20. Does 8 divide r?
False
Let k(m) be the third derivative of m**6/120 + 2*m**5/15 + m**3/6 + m**2. Let d be k(-8). Suppose -j + d = -8. Does 9 divide j?
True
Suppose 0 = 3*l - 4*l + 2*n + 76, 10 = 5*n. Is l a multiple of 10?
True
Let b = -2 - -7. Suppose 0 = b*l - 137 + 2. Is l a multiple of 8?
False
Let l = -59 - -86. Is 27 a factor of l?
True
Suppose 51 = y - 27. Does 13 divide y?
True
Let i(t) = -t**3 + 5*t**2 - 3*t + 4. Let q be i(4). Let g = -3 - -8. Suppose 0 = -2*k - q, g*d + 0*k - k - 24 = 0. Is d a multiple of 2?
True
Suppose 3*a - 2*s = 8, 2*a + 5*s + 4 - 3 = 0. Suppose -a*g + 74 = 28. Is 14 a factor of g?
False
Let a(b) = 11*b**2 + 6*b + 1. Does 27 divide a(-4)?
False
Suppose -3*z + 0*q = -3*q - 249, 2*q - 166 = -2*z. Does 24 divide z?
False
Let g = 73 - -71. Is 24 a factor of g?
True
Let h = -19 - -46. Let l = h + -13. Does 14 divide l?
True
Let y(b) = -47*b**3 - 3*b**2 - 2*b. Is 19 a factor of y(-1)?
False
Let l be 2/(-8)*(-5 + 1). Is ((-9)/12)/(l/(-12)) even?
False
Suppose -59 = -6*w + 7. Is w a multiple of 5?
False
Suppose 9*k = 5*k - 44. Let b = k - -21. Is b a multiple of 10?
True
Suppose 8*v + 180 = 5*v. Let h = v + 86. Does 11 divide h?
False
Suppose -8*w + 4*w = -8. Is 2 a factor of w?
True
Is (1/3)/((-7)/(-315)) a multiple of 11?
False
Let b = 5 + 9. Does 7 divide b?
True
Suppose -h - 2 = -5. Let q = 11 - 7. Suppose -3*b - q*g - 32 = -6*b, -3*g = -h. Is b a multiple of 5?
False
Let s(q) = q**2 - 6*q + 4. Let k be s(6). Suppose 2*w - 148 = -5*d, -k*d - 3*w + 98 = -19. Does 15 divide d?
True
Suppose -4*o - m + 0*m = -653, o + 2*m = 165. Suppose 5*n - o = -28. Let y = n - 14. Does 7 divide y?
False
Let d = -50 + 122. Is 12 a factor of d?
True
Let i(o) be the second derivative of o**4/12 - 3*o**3/2 + o**2 + 3*o. Let n be i(7). Is 3 a factor of (-27)/n*(-16)/(-6)?
True
Let u(i) = -i**3 + i**2 + 2*i - 1. Let r(o) = 2*o**3 - 3*o**2 - 5*o + 1. Let f(p) = 4*r(p) + 7*u(p). Let y be f(6). Let b(k) = -7*k - 3. Is 9 a factor of b(y)?
True
Let u be (-15 + 0)*32/(-40). Let y(n) =