*3/(-6)?
True
Suppose 0 = -5*q - 15 + 65. Does 3 divide q?
False
Suppose 0 = 5*m - 5*f + 5, -5*m + 42 = 4*f + 11. Suppose 5*r + 5*x - 75 = 0, -m*r = -7*r + x + 65. Does 6 divide r?
False
Let k(v) = v - 3. Let u be k(-3). Is 5 a factor of (-54)/u - 1/(-1)?
True
Suppose 2*z + 5 = z, 4*n + z = 31. Suppose -t = -2*q + 35, -n = -4*q - 4*t + 67. Is 7 a factor of q?
False
Let v(y) = -y**3 - 5*y**2 + y - 8. Suppose 0 + 7 = -s. Let l be v(s). Let o = l + -59. Does 12 divide o?
True
Suppose -5*o + 21 = g - 1, 5*g - 4*o = -6. Suppose -g*v + 350 = -2*s, -v - 3*s + 75 + 96 = 0. Suppose 0 = -2*k - k + v. Is k a multiple of 17?
False
Let d(h) = 7*h + 1. Suppose 0 = -3*p - 7 + 4. Let n be d(p). Let g(w) = -w**2 - 7*w + 2. Is 8 a factor of g(n)?
True
Let j be 289/7 + 6/(-21). Suppose 113 = -5*d - 4*l + 2*l, -3*d - 2*l = 67. Let z = j + d. Does 7 divide z?
False
Let b be (3 + -1)/(4/98). Let m = -29 + b. Is 10 a factor of m?
True
Let q(u) = -u**3 + 12*u**2 - 15*u + 4. Let d be q(10). Suppose -3*c + 5*c - 5*t - 48 = 0, -5*c - 4*t + d = 0. Is c a multiple of 13?
False
Suppose 4*n - 27 = -3*t, -19 = -3*n - n + 5*t. Is 2 a factor of n?
True
Let f = 3 - 3. Suppose f = 2*x - 6*x + 24. Is 4 a factor of x?
False
Let n = -49 - -27. Is 10 a factor of 4 - 1 - (n - -1)?
False
Let h(d) = -15*d - 5. Let y be 114/(-24) - 2/8. Is h(y) a multiple of 15?
False
Let r be 1/(-3) + (-38)/(-6). Suppose 4*l - r = l. Suppose -15 = -3*d, 0 = -l*p + 4*p + 5*d - 41. Is 3 a factor of p?
False
Let j = 96 - 52. Suppose -z = -2*z + j. Is z a multiple of 11?
True
Suppose t - q + 154 = 4*t, 4*t - 216 = -4*q. Does 10 divide t?
True
Suppose m = 4*m + 2*s - 326, -2*m = -s - 208. Is m a multiple of 13?
False
Let h(g) = 3*g**2 - g - 1. Does 11 divide h(4)?
False
Let y = -1 - 6. Let q(j) = j + 7. Let h be q(y). Suppose -2*t + 75 = 5*k - 5*t, h = -3*k - 2*t + 64. Is 9 a factor of k?
True
Let x be -58 + (1*-4)/2. Let d = -35 - x. Does 10 divide d?
False
Suppose -2*p + 6*p - 5*j - 888 = 0, -p = -j - 221. Is p a multiple of 31?
True
Is (-27)/(-1)*(0 - -1) a multiple of 9?
True
Let i(p) = -p**3 + 5*p**2 + 3*p + 1. Let l be 100/36 + (-4)/(-18). Let f be i(l). Is 5 a factor of 6/9 - f/(-3)?
True
Suppose 3*a + 2*c - 8 = 26, -5*c = 3*a - 31. Suppose 0*m + 2*m = a. Suppose -p = -m*p + 35. Does 4 divide p?
False
Let t(s) = -5*s**2 - 15*s - 12. Let h(k) = -14*k**2 - 44*k - 35. Let n(r) = -6*h(r) + 17*t(r). Is 10 a factor of n(7)?
True
Let w(k) = -k**2 + 10*k + 13. Is 12 a factor of w(10)?
False
Does 8 divide (-1 + 0)*(-128)/4?
True
Let t(v) = -v**2 + 24*v - 17. Is t(17) a multiple of 26?
False
Suppose 4*m = 20, -3*a + 10 + 94 = -2*m. Suppose -g + 115 + a = 4*s, s + 2*g = 33. Is s a multiple of 14?
False
Let r(z) = z - 3. Let b be r(9). Suppose 5*c + l - 3*l = 251, 3*l - b = 0. Is c a multiple of 13?
False
Suppose 2*w = -3*l + 7, -w = 3*w + 16. Suppose -l*n + 1073 = 373. Suppose 10 = 2*y, 10*a - 5*a = 5*y + n. Is a a multiple of 18?
False
Let h(c) = -8 + c - 1 + 0*c + c. Let n be h(8). Let y = n + -4. Does 3 divide y?
True
Let i(t) = t**2 - 6*t + 5. Let z = 7 + -2. Let v be i(z). Suppose v*l = -3*l + 36. Does 6 divide l?
True
Let j = 3 - -7. Let z = 22 - j. Is 4 a factor of z?
True
Suppose 42 = 7*s - 91. Is s a multiple of 4?
False
Suppose 2*z + 19 = 3*y, 10 = y - 2*z + 1. Suppose 5*h = 3*w + 60 + 43, 5*w = -y*h + 95. Does 10 divide h?
True
Is 9 a factor of 834/15 + 14/35?
False
Suppose -3*l = -139 - 41. Is l a multiple of 12?
True
Let m = 7 - 6. Let b(z) = -1. Let n(p) = 6*p + 12. Let i(v) = m*n(v) + 12*b(v). Is 14 a factor of i(3)?
False
Suppose -5*h = -0*h - 50. Is h a multiple of 2?
True
Suppose -i + 8 = 4. Is i a multiple of 3?
False
Suppose c - 34 = 2*g, 3*c + g + 127 = 6*c. Is c a multiple of 11?
True
Is ((-84)/10)/((-3)/10) a multiple of 7?
True
Let i be (-401)/(-4) - (-4)/(-16). Suppose 20 = -4*a + i. Is a a multiple of 19?
False
Let z(x) = 5*x**3 - 6*x**2 + 6. Let w(v) = v**3 + 1. Let l(h) = 4*w(h) - z(h). Is 15 a factor of l(4)?
True
Is 3/(-12) + (-565)/(-20) a multiple of 12?
False
Let r(x) = x - 2*x + 0*x**3 - 4*x - 1 + x**3. Is r(4) a multiple of 14?
False
Let b be 0/(-1) - (-14 + 8). Suppose -l - 10 = -b*l. Let z = 15 - l. Is z a multiple of 13?
True
Let r be (16/(-4))/8*-10. Suppose -156 = -7*z + r*z. Does 28 divide z?
False
Suppose 4*f - 242 = -26. Is f a multiple of 10?
False
Let q(c) = c**3 + c**2 - 1. Let j(x) = 5*x**3 + 2*x**2 - x - 6. Let z(k) = -j(k) + 6*q(k). Let a be z(-4). Let o(g) = g**2 - 1. Is 7 a factor of o(a)?
False
Suppose 4*x + 128 = 4*u - x, u + 5*x = 7. Does 9 divide u?
True
Let n = -130 - -197. Is n a multiple of 13?
False
Let j(b) = b**3 + 4*b**2 - 6*b - 2. Let u be j(-5). Suppose -5*r + 4*k + 0*k + 67 = 0, 0 = -u*r - 4*k + 53. Let h = 28 - r. Is h a multiple of 4?
False
Let c = 22 - 20. Suppose m + s - 24 = -c*s, 0 = 3*m - 4*s - 72. Does 9 divide m?
False
Suppose -y - 5 + 3 = 0, -4*j + 2*y = 108. Is 31/4 + (-7)/j a multiple of 8?
True
Let j(m) = m**2 - 4*m - 5. Let s(l) = -l + 2. Let o be s(-2). Let x be j(o). Does 4 divide 2/(-2) + 2 - x?
False
Suppose 5*y + 3 - 13 = 0. Suppose 5*l - y*l - 90 = 0. Is l a multiple of 15?
True
Is 9 a factor of (3 - 9/2)*32/(-3)?
False
Suppose 4*o + 9 + 11 = 0, o + 13 = 4*f. Suppose u + f*u = 0. Is 11 a factor of (3 - u)/(9/102)?
False
Does 9 divide 0/3 + 2 + 25?
True
Suppose -f + 76 = 2*m, 3*m = 2*f - 0*f - 131. Is 37 a factor of f?
False
Let p(h) = 2 - 4*h - 7 + 17*h. Does 13 divide p(4)?
False
Let b(d) = 6*d**2 + 2*d**2 - 4*d**2 + 4 - 3*d**2. Is b(3) a multiple of 13?
True
Suppose 5*z - 3*z + 3*k = 7, 5*z = -3*k + 22. Suppose 3*y + 58 - 196 = 0. Suppose 0 = -3*t - 3*b - 2*b + 35, -z*t + y = -4*b. Is 10 a factor of t?
True
Let o(b) = -b**3 - 4*b**2 - 2*b - 2. Let p be 2/(-4) + (-21)/6. Is 6 a factor of o(p)?
True
Suppose -5*u = 125 - 625. Does 18 divide u?
False
Is 7 a factor of (-7)/((-42)/198) - 0/(-2)?
False
Suppose -4*j + c = j - 29, 4*c = -j - 11. Let i = -2 + j. Does 3 divide i?
True
Is -3 - 3912/(-22) - (-6)/33 a multiple of 20?
False
Let v = -22 - -34. Is 3 a factor of v?
True
Suppose -y - 13 - 3 = 4*g, 0 = -2*y - 2*g - 2. Let b = y - 1. Suppose -h + b*l + 8 = 0, 5*h - 1 = l + 67. Is h a multiple of 14?
True
Let a(c) = -2*c - 6. Let y be -1*2 + 1 - 3. Let o be a(y). Suppose 2*v + 50 = 2*s, -3*v + 4 = o*s - 26. Does 15 divide s?
False
Suppose 3*p + 3*i - 18 = 0, -4*p - 3*i = -0*i - 29. Suppose -2*w + 77 = 2*w - 5*u, 3*u - p = -2*w. Does 4 divide w?
False
Let r be 3/(12/(-32)*1). Is 7 a factor of (0 - 1)*(r + 1)?
True
Let a(j) = -j + 8. Let q be a(10). Does 15 divide (72 - -2) + q/1?
False
Suppose -4 - 5 = -l. Let b(a) = 6*a + 13. Is 19 a factor of b(l)?
False
Suppose -5*g - 3*g + 256 = 0. Is 32 a factor of g?
True
Let k = 15 + -23. Does 16 divide (2 + 24)/((-4)/k)?
False
Let i be 0 + (3 - 4 - -141). Let x = i - 75. Does 13 divide x?
True
Suppose -2*z - 2*a = -16, 0*z = 2*z + 4*a - 22. Suppose -3*h = -d - 3*d - 42, -35 = -2*h + z*d. Is h a multiple of 7?
False
Let h be ((-6)/(-5))/(-1)*20. Let p = h + 15. Let j = p + 19. Is j a multiple of 5?
True
Let c = 7 - 7. Let v be (3/3 + c)*19. Suppose 33 = 3*n + u, 2 = 3*n + 5*u - v. Is 4 a factor of n?
True
Suppose m - 6*m + 95 = 0. Is m a multiple of 3?
False
Suppose -m + 0*m + 16 = 0. Does 6 divide m?
False
Let j(f) = -2*f - 11. Does 9 divide j(-10)?
True
Does 14 divide (34/6 - -1)*(6 + -3)?
False
Is 10 a factor of 2*83 - (-5 + 1)?
True
Let q = 69 - 41. Let x be (4 - 0)*q/8. Let b = -8 + x. Is b a multiple of 6?
True
Suppose -15 = -4*b - 3*x, -8 - 12 = -b - 4*x. Suppose b = 2*i + 44 - 124. Does 12 divide i?
False
Suppose 0 = x + 3*x. Does 21 divide 2*(x - (-102)/4)?
False
Let s(d) be the second derivative of d**3/3 - 3*d**2/2 - 2*d. Let r be s(8). Let a = r + -4. Is 6 a factor of a?
False
Is 29 a factor of (1 + 0 + 2)*(-413)/(-21)?
False
Suppose -4*r + 443 - 107 = 0. Is 14 a factor of r?
True
Suppose l - 188 = -5*i, -2*l + 41 = 4*i - 107. Suppose i = 5*z - 147. Suppose z = 3*w + 1. Does 8 divide w?
False
Suppose -4*p + 9 = -3*g - 0*g, 0 = 4*p + 5*g + 15. Suppose 3*x + 15 = 4*o, -4*x + 15 - 3 = p. Is o a multiple of 3?
True
Let n = 0 - -3. Suppose v - 12 = 4*x, n*x - 27 = 5*v - 138. Is 6 a factor of v?
True
Let j(h) = h**2 - 4*h - 2. Let b be j(5). Suppose -b*k = -6*k - 93. Let x = k + 4