ide m/s*105/(-10)?
True
Suppose 4 = -3*s - 5. Let o = s + 5. Suppose -4*a + 58 = -o*x, a + x - 32 = 5*x. Is 6 a factor of a?
True
Let p(z) = z**2 - 8*z - 12. Is 31 a factor of p(15)?
True
Let x = 9 - -11. Is x a multiple of 5?
True
Suppose -4*b - 3*n = -5*n - 22, -4*n - 2 = -b. Is b a multiple of 6?
True
Is (-12)/66 + (-486)/(-11) a multiple of 11?
True
Let h(l) = -2*l + 26. Is 2 a factor of h(11)?
True
Let o = -4 + 7. Suppose 5*w + 12 = 4*j - 0, -16 = -o*j + 2*w. Is j*((-33)/(-6) - 3) a multiple of 10?
True
Let p be 0/(-1)*(-3)/6. Suppose p*i = 4*i - 48. Is 8 a factor of i?
False
Suppose 7 = 3*o - 14. Is o a multiple of 2?
False
Let u(j) = j**3 - j**2 - 5*j + 3. Let o be u(3). Let v(d) be the first derivative of 4*d**2 - 8*d - 1. Is 20 a factor of v(o)?
True
Let b = 3 - 1. Suppose -6 = -4*i + b*i. Is 3 a factor of i?
True
Let l(r) = 0*r**2 + 1 - 2*r**2 + 1 + 3*r - r**3. Is 11 a factor of l(-4)?
True
Suppose -k + 448 = 3*k. Suppose q - k = -3*q. Suppose h - g - 28 - q = 0, 0 = -3*g. Is 25 a factor of h?
False
Let w = -5 + 7. Does 8 divide 16 + w + -2 - 0?
True
Is ((-58)/(-10) - 1)/((-5)/(-25)) a multiple of 15?
False
Let x be -9*(-1)/3*1. Suppose p = 4*i + 82, 4*p + 4*i = 5*i + 373. Suppose 2*t = -4*m - 32 + p, -x*m = -4*t - 74. Is m a multiple of 18?
True
Let r(g) = 8*g**2 - 2*g + 1. Let j be r(2). Let b = j - 13. Is 8 a factor of b?
True
Suppose 3*d = -f + 4*d - 54, -4*f - 171 = 5*d. Let t = f - -115. Does 27 divide t?
False
Let t(y) = 22*y**2 - 1. Is t(1) a multiple of 7?
True
Let u be (-3)/(-9)*(-30)/(-2). Suppose 5*b = -0*b - u. Let y = 6 + b. Is 2 a factor of y?
False
Let w(x) = -x - 7. Let a be w(-7). Suppose 3*s + 251 + 19 = a. Let o = s + 129. Does 14 divide o?
False
Let j = 13 + -13. Let a = 7 + j. Is 2 a factor of a?
False
Let s be 17/((-3)/(-6)*1). Suppose -g + s = g. Is g a multiple of 15?
False
Let a(j) = -j**3 + 6*j**2 - 5*j + 2. Let o be a(5). Let y = o + 0. Suppose n + y*d = -0*n + 34, -5*d - 59 = -2*n. Is 20 a factor of n?
False
Suppose 2*f - 18 = -2*h, 0*f - 26 = -3*h - 2*f. Does 4 divide h?
True
Let g(m) = -m**3 + 2*m**2 + 2*m. Suppose 4*u + 7 + 5 = 0. Let r be g(u). Suppose r = 5*s - 6. Is s a multiple of 4?
False
Let a(j) = j**3 - 8*j**2 - 7*j + 11. Is a(9) a multiple of 6?
False
Suppose y = -y. Let q(o) = o + 5. Let r be q(y). Suppose -1 + r = n. Is 2 a factor of n?
True
Suppose -3*n = -2*n + 45. Is 3 a factor of (-4)/10 - 513/n?
False
Let u(z) = 4*z**2 + 2*z + 3. Is u(-3) a multiple of 11?
True
Let y(w) = -w. Let g be y(4). Let r(v) = -2*v**2 + 0*v**2 - 1 - 2 + 2*v - v**3. Does 11 divide r(g)?
False
Suppose -18 = -o - 4. Is o a multiple of 12?
False
Let b(h) = -3*h**2 + 7*h - 9. Let t(i) = i**2 - i. Let f(p) = b(p) - 2*t(p). Let u be f(6). Let y = u + 205. Is y a multiple of 20?
False
Suppose 2*i + 44 = 4*i. Is 20 a factor of i?
False
Let m(q) = q**2 + 2*q. Let y be m(-2). Is (y - 1)*(0 + -22) a multiple of 8?
False
Let h(z) = z**2 - z + 1. Let q be h(1). Let b = q - -18. Is 12 a factor of b?
False
Let r = -49 - -85. Let c be (1/(-2))/(6/r). Is (-8)/c*(-75)/(-4) a multiple of 14?
False
Suppose n - 8 = -4*q + 8*q, -2*n + 3 = 5*q. Suppose n*v - 3*b + 39 = v, -31 = 2*v - 3*b. Let a = v - -20. Is a a multiple of 6?
True
Suppose -4*n = 2*s, -2*s - 3*n - 3 = -0. Let h = -39 - -23. Is 8 a factor of (h/s)/((-1)/(-6))?
True
Let m = 1 + 0. Let u be m/((-3)/18) - -1. Let w(n) = n**2 - n - 2. Is 12 a factor of w(u)?
False
Let o be (12/9)/((-1)/(-60)). Let b = 3 + 1. Suppose -b*a + o = a. Does 13 divide a?
False
Let m = 11 - 8. Suppose -a + 8 = m*a. Suppose -3*n = -2*p - p - 51, -a*n = 2*p - 26. Is n a multiple of 6?
False
Let i be (-2)/(-8) - 170/8. Let h = 72 + i. Is 14 a factor of h?
False
Let f = 39 - -8. Is f a multiple of 18?
False
Let j(m) = -14*m**2 - m. Let r be j(-1). Let g = -7 - r. Is g a multiple of 4?
False
Let q = 141 - 32. Suppose -k - k + 46 = 4*u, 2*u = 3*k - q. Does 17 divide k?
False
Suppose -2*w + w = 2*k - 49, 2*w = -k + 29. Suppose k = 3*j - 100. Does 15 divide j?
False
Is 15 a factor of 58/8*(-6 + 10)?
False
Let s = 10 + -5. Suppose 0 = s*k - 22 - 3. Does 4 divide k?
False
Let u = 8 + 26. Is u a multiple of 28?
False
Suppose 0 = m - 4*a + 10, -2*m + 7*a - 11 = 2*a. Suppose -2*f = m*v - 58, 2*f - 14 = f + 2*v. Is 9 a factor of f?
False
Let y = -36 - -73. Let f = y - 21. Does 8 divide f?
True
Let t(n) = -2*n. Let k be t(-5). Does 13 divide ((-76)/k)/((-2)/10)?
False
Let o = -5 - -68. Does 11 divide o?
False
Let m(d) = 2*d**2 - d - 4. Let z be m(4). Suppose k = -2*k - z. Let j = k - -32. Does 14 divide j?
False
Let z be 52/44 + 2/(-11). Let f = 3 - z. Suppose 14 = 4*r - f. Is 3 a factor of r?
False
Let w(z) = 10 + z**3 + 8 - 8 - 8*z**2. Let y be w(8). Is (y + -3)/(-1 - -2) a multiple of 3?
False
Let z be (0 - -1) + (10 - 9). Does 5 divide 24 - (z - 5)/3?
True
Let h be 86/6 - 6/(-9). Let w = h + -9. Is 2 a factor of w?
True
Let b(m) = -16*m. Let r(u) = 15*u. Let o(j) = 4*b(j) + 5*r(j). Is 6 a factor of o(1)?
False
Let r be (-5)/15 - 32/(-6). Suppose 0 = -0*b - r*b - 5*f + 10, 2*f = -2. Suppose 71 - 14 = b*l. Is 7 a factor of l?
False
Is 6 a factor of 358/8 + (-1 - (-10)/8)?
False
Suppose -5*p + 5*d = -3905, 0 = 5*p - 0*d + d - 3899. Let f be (-3)/((-5)/(p/9)). Is f/(-12)*(-8 + -1) a multiple of 13?
True
Let k(h) = 2*h - 1. Let p be k(2). Is (2/p)/((-2)/(-57)) a multiple of 7?
False
Let f be 2*(-2 - -1) + -1. Let q = 50 + f. Is 11 a factor of q?
False
Let y be 0/2 - (-1 + 3). Let s(f) = -f**3 - 7*f**2 + 2. Let c be s(-7). Is c + 1 + 7 - y a multiple of 8?
False
Let t(i) = -40*i + 2. Let x be t(-1). Does 11 divide x*1 - (15 + -17)?
True
Let z(t) = 2*t + 76. Does 21 divide z(15)?
False
Let o be (-9)/6*(-58)/3. Let r = o + -41. Let l = 33 + r. Is l a multiple of 15?
False
Let i = 63 + -38. Let b = -13 + i. Is b a multiple of 12?
True
Suppose 134 = 3*v - 2*w, 17 = 5*v + w - 189. Let q = 5 + -5. Suppose -2*m + v = f + f, -5*m - 3*f + 115 = q. Is 13 a factor of m?
True
Suppose 0 = q + 5 - 61. Does 12 divide q?
False
Let m be 3/(-4) - (-15)/20. Suppose 4*d - 14 = -2*b, 2*b + 10 = -m*b. Is 3 a factor of d?
True
Let w(m) = -4*m**2 - m. Let c be w(-3). Let g be 3/(-2 + c/(-12)). Suppose 0*x - 3*x + f = -60, 4*f = g*x - 80. Is 10 a factor of x?
True
Let y(i) be the second derivative of i**4/12 + i**3/6 + i**2/2 + 4*i. Is 10 a factor of y(-5)?
False
Let c = 5 + 118. Let b = c + -76. Is 19 a factor of b?
False
Suppose 1769 = 19*z - 188. Is z a multiple of 32?
False
Is 2 + -1 + 3/(12/248) a multiple of 26?
False
Suppose -8 = g + g. Let b = g + 8. Suppose 1 = -3*h + 5*u, 12 = 2*h + b*u - u. Does 3 divide h?
True
Let z(m) = 8*m - 3. Is z(5) a multiple of 20?
False
Let k be 14/(-1)*(-1)/2. Suppose 2*g + 3*i + 35 = -22, 4*i + 125 = -5*g. Let f = k - g. Does 11 divide f?
False
Suppose -n + 4*t = -2*n - 8, -5*t - 20 = 0. Suppose -2*x + n = 4. Does 6 divide x/(-6) + 152/24?
True
Is (((-4)/(-3))/1)/((-2)/(-30)) a multiple of 10?
True
Let z be (1 + 1)/((-5)/20). Let g = z + 4. Is g/(-2) - -31*1 a multiple of 21?
False
Let f = 8 + -5. Suppose -2*m = 3*x - 16, 0 = -m + 3*x - 0 - 10. Suppose -f*t = m*u - 7*t - 54, 2*u = t + 57. Does 12 divide u?
False
Let t(l) = -15*l**2 - 19*l + 5. Let v(w) = -7*w**2 - 9*w + 3. Let x(a) = 6*t(a) - 13*v(a). Let b = -10 + 3. Is 6 a factor of x(b)?
False
Let v(g) = 15*g. Is v(4) a multiple of 21?
False
Suppose 6 + 14 = 4*b. Suppose 10*s - 115 = b*s. Is 12 a factor of s?
False
Suppose -3*i = -6, -v - 132 = -3*v - 4*i. Is v a multiple of 15?
False
Suppose 0 = 3*h - 5*i - 311, h - 6*h - 3*i + 541 = 0. Let v = h + -44. Is v a multiple of 21?
True
Is 34 - -1*(-4)/2 a multiple of 13?
False
Let k(h) be the third derivative of h**5/60 - h**4/24 - h**3/2 - 4*h**2. Let b be k(-3). Is ((-8)/6)/((-1)/b) a multiple of 5?
False
Let y = 9 - 4. Suppose 4*f - 3*i - 49 = 0, -y*f + 3*i + 53 = 2*i. Is 10 a factor of f?
True
Let r(k) = 3 + 5*k - 2*k + k. Is 17 a factor of r(5)?
False
Suppose 5*c = -2 + 22. Suppose 17 = 5*r - 0*r + 3*k, c*r + 3*k - 13 = 0. Is 4 a factor of r?
True
Let y = 12 - 8. Let d(h) = h + h - 4 + h. Is d(y) a multiple of 4?
True
Let a(p) be the first derivative of p**3/3 + 3*p**2 + 4*p - 2. Let d be a(-5). Is 9 a factor of 1*-3 - d - -11?
True
Suppose -2*y - 2*b + 0*b + 344 = 0, -y + 5*b = -196. Is y a