a factor of m?
True
Suppose -z + 23 = v, 6*v - 117 = 2*v + z. Let n = v + -22. Does 2 divide n?
True
Let n = 62 + -45. Does 3 divide n?
False
Is 9 a factor of (141 - (-3 + 8)) + -1?
True
Let t be -12*(9/6)/(-3). Suppose -5*r = -t - 54. Is r a multiple of 6?
True
Suppose -m = -5*q + 1952, 5*m - 71 = -2*q + 699. Suppose -5*a + q = 5*w, 3*w + 66 = -4*a + 5*a. Is 21 a factor of a?
False
Let h be ((-4)/2)/((-2)/3). Suppose -5*l + 162 = -h*x, 5*x - 11 = -l - 1. Is l a multiple of 11?
False
Let g = -3 - -3. Suppose -z - 1 - 4 = g. Let k = -3 - z. Is 2 a factor of k?
True
Let o(p) = -p + 38. Does 19 divide o(0)?
True
Let j(v) = -4*v + 4. Suppose g = -1 + 6. Let u = g - 8. Is j(u) a multiple of 13?
False
Suppose i - 809 = -5*m, 5*i - 481 = 3*m - 6*m. Is m a multiple of 18?
True
Is -3 + 1 + 5 - (-46)/1 a multiple of 6?
False
Let s(y) = -2*y. Suppose -3*n = -n + 6. Let u be s(n). Suppose c - u = -2. Is c a multiple of 4?
True
Let a = -2 - -7. Suppose 0 = a*t - 25, 2*q = 2*t - t + 107. Does 17 divide q?
False
Suppose 12 - 105 = -o. Let k = -54 + o. Is k a multiple of 16?
False
Suppose 48 = 3*u - 39. Is u a multiple of 29?
True
Let j = 64 + -125. Let m = -43 - j. Let b = 26 - m. Is 8 a factor of b?
True
Let r(w) = 2 - 2*w - w**3 - 2*w**2 - 5 + 5 + 6*w**2. Let j be r(3). Suppose 2 = 2*q + j*o + 3, 5*o = -15. Does 3 divide q?
False
Let z be ((-1)/2)/(1/12). Let f be -15*(8/z + 1). Suppose -x + f*x = 160. Is x a multiple of 14?
False
Let u = -6 + 8. Suppose 0 = -u*a + 1 + 3. Suppose -16 + 0 = -a*g. Is g a multiple of 5?
False
Suppose 2*k - 5*k - w = 65, -k + 5*w - 43 = 0. Suppose 2*g = -s - s + 112, 4*s = 5*g + 251. Let d = k + s. Does 15 divide d?
False
Suppose -2 = -5*j + 63. Suppose 253 = 5*i + j. Is i a multiple of 16?
True
Suppose -4*o + 133 = 4*y + o, 27 = y - 5*o. Let b = y + -8. Is 8 a factor of b?
True
Suppose -2*s - 15 = -7*s. Suppose 3*u = -s*p - 24, -2*p + 4*u + 12 = -u. Is 12 a factor of (0 + p)*(-19)/4?
False
Let z be -12 + 2/(-2)*-1. Suppose 3 = n, -2*n + 88 = 5*v - n. Let a = v + z. Is 3 a factor of a?
True
Let v(b) = 63*b - 5. Does 58 divide v(1)?
True
Let o be -3*166*(-12)/9. Is 12 a factor of o/28 + (-2)/(-7)?
True
Suppose n = 7 + 11. Suppose -3*h + g = -3*g + 21, -5*h + g - n = 0. Does 6 divide (h/6)/(2/(-24))?
True
Suppose -2*b = 3*b - 490. Does 18 divide b?
False
Let w(o) = o - 5. Let q be w(6). Is 5 a factor of q*((-2 - 1) + 15)?
False
Suppose -21*p + 18*p + 234 = 0. Does 13 divide p?
True
Suppose -q = 5*m - 55, 5*q = q - 3*m + 254. Is q a multiple of 12?
False
Let n = -62 - -41. Let y be (20/(-6))/(14/n). Suppose 0 = y*x - 12 - 18. Is x a multiple of 4?
False
Let a = 242 - 126. Suppose -5*n + 2*r + 158 = -0*r, 0 = 4*n + r - a. Is n a multiple of 10?
True
Let n(k) = k**3 + k**2 + k - 1. Let h(q) = q**3 - 4*q**2 + 9*q + 1. Let l(v) = h(v) - 2*n(v). Let d be l(-7). Does 7 divide (d - 0)*8/3?
False
Let w = 326 - 193. Let o = w + -88. Let g = -27 + o. Is g a multiple of 11?
False
Let p(h) = -4*h - 15. Let t be p(-6). Is 15 a factor of (-33 + t)*(-10)/4?
True
Let x be 6/2 - (-2)/2. Suppose 0 = y + x*y - 140. Does 14 divide y?
True
Let x(g) = 50*g**2 + 2*g - 1. Is 17 a factor of x(1)?
True
Suppose 6*z + 4 = 2*z, 3*y + 4*z - 149 = 0. Suppose -5 = -5*m + 2*g, 5*g = -3*m + 2*g - 18. Let j = m + y. Is 25 a factor of j?
True
Let b be ((-4)/6)/(5/1410). Let x be (b/(-10))/(3/15). Let a = x - 66. Is a a multiple of 14?
True
Let x = 46 + -7. Let j(i) = -2*i**3 + 15*i**2 - 8*i + 9. Let n be j(7). Suppose 3*a = n*a + x. Is 21 a factor of a?
False
Suppose -5*z - 66 - 19 = -b, -2*b - 2*z + 134 = 0. Is b a multiple of 14?
True
Let o(v) = 7*v - 16. Is 11 a factor of o(9)?
False
Is 48 a factor of ((-36)/(-48))/(2/512)?
True
Let y(t) = -10 + 3*t**3 + 9*t**2 - t**3 - 3*t**3 + t. Let o be y(9). Is (1 - o)/((-6)/(-69)) a multiple of 9?
False
Let p(i) = -7*i**2 - 2*i - 1. Suppose v - 5*z + 1 = 4*v, -15 = -5*v + 5*z. Let d be p(v). Let x = -14 - d. Is 14 a factor of x?
False
Suppose -13 = 3*y + 2. Is 3 a factor of (y/2)/(2/(-4))?
False
Suppose 2*l - 4 = 2. Suppose 14 + 34 = l*d. Is d a multiple of 3?
False
Suppose 0 = -0*b + 2*b - 2*y - 174, 5*b - 4*y - 433 = 0. Is 25 a factor of b?
False
Let t = -55 - -19. Let a = t + 52. Does 3 divide a?
False
Let i(h) = -5*h + 58. Does 10 divide i(-4)?
False
Suppose 10 - 2 = 2*a. Suppose -4*c - c = a*z - 84, 4*z = 2*c - 28. Is 16 a factor of c?
True
Let b = -35 + 85. Is 10 a factor of b?
True
Let l be (-2)/((-4)/(-20)*1). Suppose o + 4*o = 80. Let y = o + l. Is y a multiple of 2?
True
Suppose j - 14 = -2*p + 7, 2*j - 2*p = 18. Does 10 divide j?
False
Let k = 26 - 3. Suppose -k - 19 = -3*j. Is 14 a factor of j?
True
Let a be (2/5)/(13/455). Suppose y - a = -0*y. Is 4 a factor of y?
False
Suppose -3*y = -p - 13, -y + 4*p = 2*p - 1. Suppose 2*i = 3*k - 84, y*k - 4*k + 4*i - 28 = 0. Does 14 divide k?
True
Suppose 0 = 9*s - 636 - 1983. Is 20 a factor of s?
False
Let r = 2 - 0. Suppose 0 = r*i + 2*i - 68. Let g = 0 + i. Does 17 divide g?
True
Suppose 50 = 4*w - 74. Does 5 divide w?
False
Let t = 4 - 4. Suppose -10 = -5*l - t*l. Let v = l - -6. Does 4 divide v?
True
Suppose 3*s - 177 + 33 = 0. Does 8 divide s?
True
Suppose 8*c - 51 = 1445. Is 28 a factor of c?
False
Let h(i) = i**3 - 2*i**2 + 3*i. Suppose -3 = b + 5*n, -b - 3*b = 4*n - 4. Let q be h(b). Suppose -2*j + q + 14 = 0. Is 10 a factor of j?
True
Let k be 142/4 - 4/(-8). Suppose 5*c + 54 = -k. Is 9 a factor of (-16)/4*c/4?
True
Let l(b) = -b**3 + 2*b + 22. Is 14 a factor of l(0)?
False
Suppose 4*k + 104 = 332. Suppose 4*u + 3*i = -u + 353, k = u + 4*i. Does 11 divide u?
False
Suppose -24*o - 114 = -25*o. Is o a multiple of 19?
True
Let d = 34 + -16. Let k = 46 - d. Suppose 3*i - 1 = -4*g + 38, 3*g = -2*i + k. Does 3 divide g?
True
Suppose -26 = -5*s - 3*q, s = -s - 5*q + 18. Suppose -2*v - 3*z + 117 = v, 2*v + s*z = 84. Is v a multiple of 18?
True
Let a = 191 - 133. Does 8 divide a?
False
Let h(g) = -g**3 - g**2 + 4*g - 4. Let b(u) = 2*u**2 + 4*u - 1. Let j be b(-3). Let q = 1 - j. Is h(q) a multiple of 14?
True
Suppose 0 = -3*y - 3*t + 90, 0 = 2*t - 5*t - 12. Is y a multiple of 14?
False
Let d(s) = 2*s + 12. Let i be d(-9). Is 2/i + (-43)/(-3) a multiple of 3?
False
Is ((-40)/(-100))/(2/710) a multiple of 8?
False
Let q(c) = c**3 + 4*c**2 - c + 1. Let g be q(-4). Suppose t + 3*r - 181 = -4*t, -3*t + 115 = g*r. Is 21 a factor of t?
False
Is (1 + 2)*640/30 a multiple of 27?
False
Let g be 3*(11/3 - 3). Suppose 4*f = -2*z + 44, 2*f + g*z - 3*z = 26. Is 8 a factor of f?
False
Let j = 15 + -21. Let a = j - -10. Does 2 divide a?
True
Let d(l) = 19*l**2 - 2*l + 2. Does 32 divide d(2)?
False
Suppose -8*r - 1680 = -16*r. Does 32 divide r?
False
Suppose 27 - 7 = 2*n. Let p = n + 5. Is 1*p + -1 - 2 a multiple of 6?
True
Let c(f) = 2*f**2 + 15. Is 7 a factor of c(-5)?
False
Let p(o) be the second derivative of -o**5/20 - o**4/2 + o**3 + 3*o. Is p(-7) a multiple of 4?
False
Suppose 3*r + 164 = -4*c, 0 = -5*r + r - 4*c - 220. Let i = 107 + r. Is 17 a factor of i?
True
Let w(n) = -n**2 - 7*n - 8. Let z be w(-4). Suppose -2*b + 10 = 2*y - 16, -z*y + 2*b = -76. Is y a multiple of 6?
False
Let c = 2 + -1. Let o = c + 1. Suppose -4*a + 20 = 0, -4*y + o*y - 19 = -5*a. Is 3 a factor of y?
True
Let t(k) = -2*k**3 + 5*k**2 - k - 3. Let b be t(3). Let a = 27 + b. Is 2/(a/5 - 2) a multiple of 5?
True
Let o(t) = 12*t - 2. Let y be o(-1). Let z = y + 34. Does 7 divide z?
False
Let b(k) = -k**3 - 6*k**2 + 6*k - 7. Let n be b(-7). Suppose 4*d + 5 - 25 = n. Is 3 a factor of d?
False
Let j = 1 - -2. Let y be 2 - 1 - j/(-1). Suppose -2*b + 116 = 6*a - 2*a, 0 = -2*b + y. Is 10 a factor of a?
False
Let k be 10/6 + 3/9. Is 12*(3/k + 2) a multiple of 14?
True
Let u be (-14 - 6)*(1 + 1). Let q = u - -83. Is q a multiple of 13?
False
Suppose 0*j + 4*r + 22 = -2*j, 0 = -5*r. Let h be (11/(-4))/((-1)/4). Let l = h - j. Is 11 a factor of l?
True
Let s(q) = -q + 2. Let c be s(0). Suppose -3*m - c*m = -85. Is m a multiple of 7?
False
Suppose -3*y + 36 = -12. Is y a multiple of 7?
False
Let f = 8 + 66. Does 23 divide f?
False
Suppose 3 = -l + 8. Let h be 1/(3/3) - -79. Suppose l*p - h = 3*p. Is 20 a factor of p?
True
Let n(k) = -k**2 + 4*k + 5. Let b be n(5). Let z be 0/(1 + b) + 4. Suppose z*a - a = 9. Is a a m