 Is 23 a factor of m?
True
Is 8 a factor of (48/5)/((-2)/(300/(-9)))?
True
Suppose -5*k = 28 - 8. Let h be k + (-4)/(-2)*2. Let c(p) = p**2 - 2*p + 2. Is c(h) even?
True
Suppose -45*v + 6510 = -38*v. Does 45 divide v?
False
Let v be (20/(-12))/(3/(-72)). Suppose v = -n + 3*n. Is n a multiple of 10?
True
Suppose -2510 = -4*b - 0*b - 2*n, -5*b + 3*n = -3110. Does 4 divide b?
False
Suppose 48 = -4*f + 5*n, 0 = -2*f + f + 5*n - 12. Let a(w) = w**2 - 5*w + 9. Let h be a(f). Suppose 2*o - h = -o. Is 29 a factor of o?
False
Let m(n) = -8*n**2. Let l be m(2). Let v = -17 - l. Suppose v = 7*o - 6*o. Is o a multiple of 4?
False
Let d(t) = -t**3 + 12*t**2 + 48. Is d(9) a multiple of 15?
False
Let m(r) = 5*r - 14. Let i(z) = 4*z - 13. Let p(q) = -5*i(q) + 6*m(q). Is 10 a factor of p(14)?
False
Is 17 a factor of ((-42)/(-24))/7 + 2853/12?
True
Let h(z) = z**3 + 32*z**2 - 81*z - 78. Does 13 divide h(-34)?
True
Let o(d) = 234*d. Let g be o(-1). Let n = -161 - g. Let f = n - 45. Does 17 divide f?
False
Let i(c) = -c**2 + 8*c - 11. Let q be i(4). Suppose -4*f - 3*h = -107, q*f - h - 4*h - 90 = 0. Is f a multiple of 6?
False
Let u = -37 - -33. Let d be u/((-4)/(-5)) + 1. Is 4 a factor of (-8)/d + 0 + 2?
True
Let j = -155 - -288. Suppose 2*v - j = -9*g + 4*g, 3*v = -g + 180. Is 8 a factor of v?
False
Suppose 2*b + 5*i + 4 = 285, -275 = -2*b - 3*i. Let z = b - 77. Is z a multiple of 28?
True
Let x(c) = 2*c - 7. Let v be x(6). Suppose 2*k + 3*k - 3*q - 466 = 0, -2*k = -4*q - 192. Suppose -3*t + k = 4*f - v*t, 5*t = -f + 12. Is f a multiple of 6?
False
Suppose -5*y + 936 = -2*l, 4*y + l = 2*l + 747. Is y a multiple of 31?
True
Suppose -34469 = 70*y - 251259. Is 19 a factor of y?
True
Let l(s) = -s**3 - 3*s**2 + 4*s + 2. Let m be l(-4). Suppose 0 = -j + m. Suppose -2*t = -0*u - u - 64, -t = -j*u - 26. Does 12 divide t?
False
Let r be (78/8)/((-27)/(-36)). Suppose -r*x = -9*x - 208. Is x a multiple of 13?
True
Suppose -12421 = 83*p - 70521. Is 44 a factor of p?
False
Let p = -126 - -136. Suppose 5*z = -2*l + 1961, -z - 12*l + 397 = -p*l. Is 23 a factor of z?
True
Suppose 0 = 3*n + 5*s - 14, s = n + 4*s - 6. Let d = 42 - 37. Suppose d*t + 2*x = 102, n*t - 15 = -2*x + 43. Does 11 divide t?
True
Let u = 1369 + -917. Is u a multiple of 31?
False
Let j = 3128 - 1783. Is j a multiple of 72?
False
Let g be (132/30)/((-1)/(-80)). Suppose -3*m + 3*b + 1389 = m, -g = -m - 4*b. Is m a multiple of 29?
True
Let d(z) = -z**2 - 4*z + 1. Let q be d(-3). Let t(y) = y. Let m be t(q). Suppose -m*u + 85 = u. Is 13 a factor of u?
False
Suppose y - 5465 = -4*h, -2*h - 3*y + 1950 = -795. Does 105 divide h?
True
Let m(a) = -3*a - 6. Let t be m(-4). Suppose -4 + 18 = 14*o. Let y = t - o. Is 2 a factor of y?
False
Let d(t) = 6*t**2 - 169*t + 75. Is d(31) a multiple of 43?
True
Let i = 251 - 425. Let h = 330 + i. Is h a multiple of 26?
True
Let q = 538 - 122. Suppose -119 + q = 11*k. Is 9 a factor of k?
True
Let l(x) = x**3 + 8*x**2 - x + 1. Let q = -25 + 18. Let m be l(q). Suppose -3*j = -5*i + 285, i = -6*j + j + m. Is 10 a factor of i?
False
Suppose -y + 4 + 0 = 0. Suppose -y*k + k = 0. Suppose k = -2*x + 38 + 118. Does 26 divide x?
True
Let w(q) be the third derivative of q**6/120 - q**5/6 + q**4/3 - q**3/2 - 13*q**2. Let u be w(7). Let b = u + 157. Is b a multiple of 9?
True
Suppose 2*q + 52 + 912 = 4*o, -2*o + 474 = -3*q. Is 30 a factor of o?
False
Suppose 4*s - 71 = 5*n, -2*n + 19 + 3 = 2*s. Let l = 36 + s. Suppose -w + l = 5*t, 0 = 4*w + 3*t - 118 - 150. Is 12 a factor of w?
False
Suppose 5*c - 30 = 10*c + 2*z, 6 = -c + 2*z. Does 3 divide 4 - ((-4)/c - 630/54)?
True
Let b(i) = i**3 + 30*i**2 + 25*i - 19. Is b(-29) a multiple of 3?
False
Suppose -3*y - 5316 = -15*y. Does 16 divide y?
False
Let t be 18*((-12)/9 - 3). Let g = 42 + -29. Let d = g - t. Does 32 divide d?
False
Let j(u) = u**2 + 11*u. Let p be j(-11). Suppose -2*r = 8, 4*b - 2*b + 4*r + 16 = p. Suppose 0 = 3*g - b*g + 3*k - 87, -3*k + 9 = 0. Is 13 a factor of g?
True
Let r = -4 + 9. Suppose 2*g + o - 4 = 0, -r*g = 4*o - 15 - 1. Suppose -k + 1 + 6 = g. Does 7 divide k?
True
Let y be 4 + ((-22)/8 - 9/(-12)). Let l(g) = 6*g**2 - 2*g - 3. Let h be l(4). Suppose -s - h = -y*s. Is 22 a factor of s?
False
Suppose -38*a + 11480 + 44608 = 0. Does 9 divide a?
True
Let l = -113 - -1767. Is l a multiple of 6?
False
Suppose 7*c = 8*c + 5*l - 607, -5*c + 3087 = -l. Is c a multiple of 27?
False
Let x(a) = -5*a**3 + 2*a + 4. Let c be x(2). Does 57 divide (-1896)/c - 1/4?
False
Let i = 1289 + 170. Does 20 divide i?
False
Suppose 11*o = -7*o + 5652. Does 5 divide o?
False
Suppose -5*k + 2*h = -300, 3*h + 300 = -6*k + 11*k. Is 10 a factor of k?
True
Suppose -2*f - 160 = -5*i, 5*f + 2*i + 354 = 3*i. Let h = f + 95. Does 21 divide h?
False
Suppose -108 = -5*r + 92. Does 3 divide r?
False
Let f = 251 - -133. Is 18 a factor of f?
False
Suppose -114*j + 117*j = 1038. Is j a multiple of 19?
False
Is 7 a factor of (1 - (1 + 0)) + (-3 - -1283)?
False
Let n = 188 + 116. Is n a multiple of 8?
True
Let w = -16 + 28. Is (-352)/w*(-6)/4 a multiple of 4?
True
Suppose -42*h = -44*h + 8. Suppose -3*l + 185 - 12 = 4*b, 0 = l - h*b - 31. Is l a multiple of 11?
False
Suppose 3*u + 329 - 1478 = 0. Let g = -271 + u. Is g a multiple of 28?
True
Let d = 901 - 785. Suppose -4 = -3*n + 2. Suppose -4*b = 2*z - d, 3*z - 5*b - 350 = -n*z. Is 33 a factor of z?
True
Let q be (3/4)/(-6 + 1915/320). Does 24 divide 1*3/(-6)*q?
True
Let v(m) = m**2 + 28*m + 240. Is v(-20) a multiple of 10?
True
Let i(n) = 119*n**2 + 7*n + 8. Is i(-1) a multiple of 9?
False
Let q = 140 - 137. Is 5 a factor of (q*3/27)/((-1)/(-24))?
False
Let l(k) be the third derivative of k**6/360 + k**5/60 - k**4/24 - k**3/2 - 3*k**2. Let f(y) be the first derivative of l(y). Is f(5) a multiple of 17?
True
Let y(z) = -8*z - 4. Let j(n) = n. Let g(k) = -6*j(k) - y(k). Is g(4) a multiple of 10?
False
Let z be (-1 + 1)*10/20. Let l be (-2)/(1 + -3) - z. Does 12 divide -1 - l - (-54 - 7)?
False
Let h(d) = 23*d + 63. Let z be h(7). Suppose 10*v - 8*v - z = 0. Is 13 a factor of v?
False
Let l(z) = 4*z**3 - 8*z**2 - 4*z + 17. Does 9 divide l(5)?
True
Suppose v - 2*v = 64. Let m = v + 155. Is m a multiple of 21?
False
Let b(w) = -10*w - 3. Let v(a) = -2*a + 5. Let r be v(5). Let k be b(r). Let n = k - 23. Is 8 a factor of n?
True
Suppose 3*b + i - 4*i = 24, 0 = -i - 4. Suppose -2*h + 0*m - 2*m + 92 = 0, 4*h - 184 = b*m. Is 9 a factor of h?
False
Suppose -32 = -v + 1. Let t = -211 - -278. Let f = t - v. Is f a multiple of 12?
False
Suppose 5*t - 25 + 0 = 0. Let b = t + -3. Suppose 0 = b*h - h - 12. Is h a multiple of 6?
True
Suppose 0 = -4*m - 5*o + 3100, -3*m + 2*m - o + 775 = 0. Is 5 a factor of m?
True
Suppose 5*r + 3*y = 4*r + 66, -3*y = -2*r + 96. Does 2 divide r?
True
Let q(s) = -s + 23. Let h be q(-10). Let d = 64 - h. Does 10 divide d?
False
Suppose 5*x = -3*x + 2752. Is x a multiple of 43?
True
Let t(c) = -c**3 + 16*c**2 - 8*c - 13. Let n be t(15). Let i = n - 21. Does 19 divide i?
False
Let i(o) = -729 - 4*o + 3*o**2 + 719 + o**2. Is i(-4) a multiple of 14?
True
Does 53 divide 5/10*(4428/3)/3?
False
Let m(g) = 5*g + 24. Let b be m(-4). Suppose 0 = -b*s + 547 - 99. Is 16 a factor of s?
True
Suppose -p + 15 = 3*t, -2*p + 4*t = t + 6. Let u(n) = p - 7*n - n + n. Does 8 divide u(-3)?
True
Suppose 8*n - 3*n = 15. Does 3 divide (2 - n) + 3 - -3?
False
Is 10 a factor of ((-525)/50)/((-9)/(-12)*-1)?
False
Suppose 3*f + f = 0. Let s be (-2 - f)/2 - -2. Is 13 a factor of (-14 + s)/((-3)/15)?
True
Suppose -5*a = 4*k + 810 - 3677, -2*k - a + 1429 = 0. Suppose 125 = -7*f + k. Is 12 a factor of f?
True
Suppose -5*q + 3 = -42. Suppose -185 - 598 = -q*c. Is 10 a factor of c?
False
Let k(p) = p**2 + 11*p + 12. Let g be k(-10). Let x(w) = -1 + w**3 + 9 + 2*w**g + 2*w + 0*w**3 + 5*w**2. Is 8 a factor of x(-6)?
True
Suppose -3*z - 2*k + 116 = 0, 0*z = 4*z + 4*k - 152. Let i = -8 - -72. Let x = i - z. Is 8 a factor of x?
True
Is 7 a factor of ((-2450)/40)/(((-44)/48)/11)?
True
Let n(r) = -8*r + 4. Let b be n(-7). Let c = 88 - b. Is c a multiple of 6?
False
Let s be 1008/12 + (0 - 0). Let z be (1 - 5) + (-180)/(-20). Suppose l + s = z*l. Is l a multiple of 9?
False
Let l(x) be the second derivative of -3*x**4/8 + 5*x**3/6 + 3