r of b?
True
Suppose -6*a = -5*a - 7. Suppose -t - 3 = -a. Suppose 0 = -6*o + t*o + 68. Does 22 divide o?
False
Let q(r) = 0*r + 9 + 3*r + 0*r - 2*r. Is q(-4) even?
False
Suppose 0 = -m + 5*o + 111 - 5, 2*m + 4*o = 268. Is 14 a factor of m?
True
Let f be 3/(-6) - 183/(-6). Suppose 0 = 4*n + n - f. Is 2 a factor of n?
True
Let u = 103 - 45. Does 25 divide u?
False
Let w(i) = i**3 - 3*i**2 + 2. Let u be w(2). Let l = u - -3. Let t = l + 11. Is t a multiple of 5?
False
Let g be (-1)/(-4) - 21/(-12). Suppose 0 = -4*y + g*k - 18, 2*k = -2*y - 0*y + 6. Does 9 divide 9/(0 + -1)*y?
True
Let v = -13 + 35. Suppose -h = k - 10, 5*k - v = -3*h + 6. Does 11 divide h?
True
Suppose 4*w - 97 = 3*w. Let o = -63 + w. Does 17 divide o?
True
Let f = -9 - -14. Suppose -2*d - f = -49. Is d a multiple of 11?
True
Let f = 35 - 20. Is f a multiple of 8?
False
Let u(w) = w**3 - 5*w**2 + 4*w - 6. Let j be u(4). Let q be (1 + j/4)*-4. Suppose 0 = 2*s + q*s + z - 16, 5*s = -4*z + 31. Is 3 a factor of s?
True
Suppose 2*u = 2*x - 240, x - 4*u = u + 108. Does 10 divide x?
False
Suppose -5*q = 2*t + 1, -4*q + 3 = 3*t + 1. Suppose 0 = 5*z - 5*a - 55, z - 6 = -5*a + 11. Suppose t*d - 34 + z = 0. Is 10 a factor of d?
False
Suppose 0 = -4*f, 0 = c - 5*f + 29. Does 10 divide (-1)/1*(0 + c)?
False
Is 147/14*(-2 - 40/(-6)) a multiple of 2?
False
Let w be 3/(-2) + (-6)/4. Let o be 14/2 + (w - -1). Suppose -o*k - 27 = -107. Is 16 a factor of k?
True
Suppose 4*o - 6 - 10 = 0. Suppose -l - 15 = -o*l. Suppose -l*m + 48 = -3*m. Does 12 divide m?
True
Let n = 43 - 21. Does 8 divide n?
False
Is 17 a factor of (-3)/4 - (13818/(-8))/7?
False
Is 6 a factor of (4/3)/((-1)/(-36))?
True
Suppose 0 = -3*a - 4*u + 80, -7*a + u + 164 = -2*a. Does 9 divide a?
False
Let k = -10 + 16. Let n = k + 8. Is n a multiple of 14?
True
Let z(o) be the first derivative of -o**4/4 + 4*o**3/3 + 2*o**2 + 7*o - 1. Let k be z(5). Suppose 3*y - 8 = k*y. Does 8 divide y?
True
Let r(d) = -d**3 + 6*d**2 - 2*d - 4. Suppose -2*s = -4*g + 12, -4*g + 5*g - 3 = -3*s. Is 5 a factor of r(g)?
False
Let y be (6/2)/(6/8). Let p be (-1208)/(-20) - y/10. Suppose 0 = 2*o - 5*k - p, -2*k = -4*o + 3*k + 120. Is o a multiple of 10?
True
Suppose -2*m = m - 66. Is 4 a factor of m?
False
Suppose -1 = -3*o + 29. Suppose 2*r - 3*i = o + 33, 2*r - 37 = -3*i. Is 15 a factor of r?
False
Suppose 2*z = -w + 3, 4*z - z - 3 = -w. Suppose 0 = -0*i + i - w. Does 3 divide i?
True
Let j(u) = u**3 - 3*u**2 + 3. Let b be j(3). Suppose -5*v = -m + 9, -b*v = -3*m - 0*v + 3. Is 14 a factor of (-2)/m - (-20 + -5)?
False
Let c = -40 - 6. Let q = c + 64. Does 11 divide q?
False
Let h = 8 + -6. Is -13*h*(-1)/2 a multiple of 13?
True
Let t(j) = 11*j + 1 - 6 - 20*j. Let n(w) = -w**2 + 6*w - 6. Let c be n(6). Is 13 a factor of t(c)?
False
Let g be ((-63)/(-27))/(1/(-15)). Let f = -28 - g. Is f even?
False
Let h(f) = -2*f**3 - 4*f**2 + 4*f. Let g be h(-5). Let p be 1/(2/12) + -1. Suppose -5 = p*k - g. Is k a multiple of 17?
False
Suppose 3*j - 2*z = 98, -5*j + 2*z - 6*z = -156. Is 16 a factor of j?
True
Suppose 4*d = 3*g + 2*d + 11, -4*g = 5*d - 16. Let x = 21 - g. Does 15 divide x?
False
Let s be (-3 + -2)*(-6)/15. Suppose -2*d + 18 + 22 = -s*q, -4*d + 2*q = -72. Suppose 5*l = 19 + d. Does 7 divide l?
True
Let w(d) = -d**3 + 5*d**2 + 7*d - 5. Does 16 divide w(5)?
False
Let n = -13 + -1. Is 12 a factor of (-994)/(-22) + n/77?
False
Let a(s) = -s**2 - 3*s. Let v be a(6). Let l = -16 - -14. Is 3 a factor of (1/3)/(l/v)?
True
Let y = 191 + -119. Is y a multiple of 4?
True
Suppose -4*y = -a - 187, y - 2*a = -2*y + 139. Does 33 divide y?
False
Suppose 33 - 156 = -3*l + 3*s, 4*l - 5*s = 169. Is l a multiple of 18?
True
Is ((-440)/(-25))/((-4)/(-10)) a multiple of 4?
True
Let x = -22 + 35. Suppose 5*a = 2 + x. Is 8 a factor of (0 - -4 - -2) + a?
False
Suppose 63 = 3*p - 453. Is p a multiple of 40?
False
Suppose 4*g + 13 = -0*o - 5*o, 5*g - 4*o = -6. Let u = 2 - g. Does 2 divide u?
True
Let x be 1/(-6) - (-117)/54. Let w(v) = 2*v**2 - 3*v. Let g be w(x). Let z(k) = 5*k - 1. Does 9 divide z(g)?
True
Let o = 45 + 5. Does 18 divide o?
False
Let x be -3*2/(1 + -2). Let o = x - -4. Suppose 43 = 3*v + o. Is v a multiple of 4?
False
Let a = -31 - -70. Is 13 a factor of a?
True
Let q be 3 - 2 - 61*-2. Suppose l - 109 - q = 0. Suppose -4*d + l = -0*d. Is 16 a factor of d?
False
Let v = -38 + 82. Suppose 4*q + 4*k - v = 0, -5*q + 2*k + 12 + 15 = 0. Is q a multiple of 2?
False
Let s = 81 + -41. Is 20 a factor of s?
True
Let q(s) = -s - 8. Let u be q(-4). Let h = -2 - u. Is h even?
True
Let k = 1 + 6. Let a = -7 + k. Let o = 10 - a. Does 5 divide o?
True
Suppose 0*w + w + 3*q = 9, -3*q = 5*w - 9. Let x(g) = -g**3 - g + 15. Is 7 a factor of x(w)?
False
Is 17 a factor of (-861)/(-35) + 6/(-10)?
False
Let z(u) = -u**3 - 3*u**2 - 2*u - 1. Let i be z(-4). Suppose i = w - 41. Is w a multiple of 14?
False
Let c = -19 - -31. Does 6 divide c?
True
Is ((-55)/15 - -1)*-6 a multiple of 4?
True
Is (81/(-45) - -2) + (-238)/(-10) a multiple of 4?
True
Is 28 a factor of 2/(6/(-207)*-1)?
False
Let p(b) = b**2 + 2*b + 2. Let t = 1 + -8. Does 17 divide p(t)?
False
Let x = -3 + -18. Is 8 a factor of (9*2)/(x/(-14))?
False
Let h = -5 + 5. Suppose 2*y - 4*y + 32 = h. Suppose m - 3*m + y = 0. Is m a multiple of 8?
True
Let f(l) = l**2 + 1. Let x(q) = -q**2 - 9*q + 7. Let o be x(-10). Does 10 divide f(o)?
True
Suppose -o - 102 = -3*o - p, -o + 60 = 5*p. Is o a multiple of 25?
True
Suppose -3*t - 32 = -7*t + 4*u, 34 = 5*t - 3*u. Suppose -t*r + 81 = -89. Is 20 a factor of r?
False
Suppose 2*r + 5*r = 504. Does 40 divide r?
False
Let k(c) = 3*c + 4. Suppose 2*y = d + 28, -d - 4*d - 84 = 4*y. Let t be d/(-8) + (-2)/(-4). Is k(t) a multiple of 13?
True
Suppose -3*u - 4*b + 80 = 0, -3*u + b = 2*b - 83. Is u a multiple of 26?
False
Let c = -15 + 6. Let i(v) = -v**3 - 9*v**2 + 10. Does 5 divide i(c)?
True
Let k(q) = 5*q + 1. Let t(p) = -2*p + 2. Let i be t(0). Is 11 a factor of k(i)?
True
Suppose -72 = i - 5*i. Suppose 3*y + 102 = -2*b + 5*b, -4*b = -y - 133. Suppose -3*z + b = -i. Is z a multiple of 13?
False
Is 1 - (-55 + 2) - 0 a multiple of 18?
True
Let z(n) be the second derivative of -3*n**5/20 - n**4/6 - n**3/2 + 2*n**2 + 3*n. Let t be z(-3). Suppose -60 - t = -4*c. Is 17 a factor of c?
True
Let g be 66/14 - 2/(-7). Suppose 3*z - 2*q - 54 = 0, 0*z = 3*z - g*q - 45. Suppose 2*y + 2*w = z, y - 4*w - 32 = -3*y. Is 9 a factor of y?
True
Let a be (-12)/21 - (-190)/14. Suppose -50 = 2*j + 4*n, 4*j + 5*n + 72 = j. Let z = a - j. Is 16 a factor of z?
True
Let f = 31 + 23. Is 18 a factor of f?
True
Let c(q) = q**2 - q - 2. Let a(u) = u + 5. Let p be a(-7). Let g be c(p). Suppose 2*w - g = w. Does 4 divide w?
True
Let s be (-2)/6 + 14/6. Suppose -5*u + 4*i = -72, s*u = u + i + 15. Does 9 divide u?
False
Let c(o) = 21*o + 1. Let g be c(-2). Let q = g - -73. Is 20 a factor of q?
False
Does 36 divide -8 + 11 - 282/(-1 + -1)?
True
Let v(f) = 25*f**2 + 3*f. Is 36 a factor of v(-3)?
True
Let s be (0 + 3)/(-3) - 0. Let m = s - -19. Is 9 a factor of m?
True
Is 15 a factor of 12/(-4) - -4*42?
True
Suppose 3*b - i = -6*i + 17, -5*i = b - 9. Does 4 divide b?
True
Let b(u) = 24*u - 7. Let i be b(-5). Let n be (-4)/(-3)*(-267)/(-2). Let o = n + i. Is o a multiple of 23?
False
Let b(h) = 2*h + 12. Let w be b(-5). Does 14 divide 38*(0 + 3/w)?
False
Let m(z) = -z**2 + 4. Let a be m(-3). Suppose -4*y + 3 = 47. Is (-13)/(-3)*(a - y) a multiple of 14?
False
Suppose 0*s + 3*s = -v + 78, -3*v - 4*s = -214. Suppose 4 + 8 = 4*y, -2*y = -3*q + v. Is q a multiple of 12?
True
Let q = -999 + 669. Is (-2)/(-1)*q/(-20) a multiple of 16?
False
Suppose 0*u = -7*u - 7. Let r(y) = -8*y**3 + 2*y + 1. Does 2 divide r(u)?
False
Suppose -36 = z - 5*g - 226, -5*g = -5*z + 890. Is 49 a factor of z?
False
Let t = -7 - -11. Suppose 79 + 49 = t*x. Is x a multiple of 16?
True
Suppose 3*k - 3*n = 3, n = k - n + 3. Suppose -k*b - v = -15, 2*b - 4*b = v - 3. Suppose -l + 60 = b*l. Is l a multiple of 6?
True
Let c = -16 + 84. Is 18 a factor of c?
False
Suppose 3*g + 25 = 82. Is g a multiple of 8?
False
Let r = 48 - 20. Is r a multiple of 5?
False
Let i(b) = -9*b - 5. Is 8 a factor of i(-12)?
False
Let m(t) = t**2 + 4*t - 3. Suppose 2*f - 4*f + 38 = 0. Suppose 4