True
Suppose -2*c - 20 = 3*c, 0 = -3*k - 4*c + 164. Suppose -3*m - k = -2*u, -5*u - 2*m = -2*u - 64. Is 12 a factor of u?
True
Suppose -1204 + 346 = -6*o. Is o a multiple of 15?
False
Let j be 1*(1 - -20 - -4). Let w = 35 - j. Is (15/w)/(1/24) a multiple of 9?
True
Suppose -2*z = -4*i - 2264, -16 = -4*i - 0*i. Is 20 a factor of z?
True
Let n(a) = a**3 - 13*a**2 + 14*a - 27. Is n(19) a multiple of 65?
True
Suppose 0 = -4*c + 5*d + 15, -5*c + 4*d + 0*d + 21 = 0. Does 13 divide (-6936)/(-85) - 3/c?
False
Let c = 1758 + -1038. Is 60 a factor of c?
True
Let v(d) = d**2 + 15*d + 5. Is v(20) a multiple of 47?
True
Suppose -2*y = 4*m - 1160, 26*m - 31*m - 4*y + 1447 = 0. Is 43 a factor of m?
False
Suppose 2*k - 78 = -0*k. Let g = k - -27. Is 22 a factor of g?
True
Suppose -a - 112 = -2*s, -3*s + 4*s + 2*a = 61. Let v be ((-16)/12 + 3)*s. Suppose l - v = -4*l. Is l a multiple of 12?
False
Let c(o) = -o**2 + o - 18. Let f be c(0). Let z be (9/f)/((-1)/(-16)). Is 9 a factor of (z + -1)*(15 + -16)?
True
Let g(t) = 2*t**3 - 8*t**2 + 20*t + 6. Does 15 divide g(6)?
True
Let o(f) = 7*f + 7. Let h be o(-5). Let t be ((-574)/h)/((-1)/(-2)). Let j = -25 + t. Is j a multiple of 10?
False
Suppose 3*s - 15 = -4*v, -5*s + v + 20 = -5. Suppose -3*c + 455 = -s*d, -c - d + 180 = 3*d. Is c a multiple of 20?
True
Let o = 501 + -451. Is 10 a factor of o?
True
Let d(m) = 9*m**2 + 2*m + 34. Is d(-6) a multiple of 9?
False
Suppose 16*i = -10*i + 72748. Is i a multiple of 26?
False
Suppose 11*d + 5655 = 26*d. Does 13 divide d?
True
Suppose 0 = w + h, 2*w - 7*w = 2*h - 3. Does 10 divide 3/(w + 148/(-160))?
True
Let s be -3 + 1 - (-3 + 2). Let w = -43 + 27. Does 5 divide (-6 - -3)/s - w?
False
Suppose 5*u = 5*q - 3175, -2*q = u - 609 - 646. Is 69 a factor of q?
False
Suppose -50 - 166 = 2*d. Is 6 a factor of (1/2)/((-9)/d)?
True
Let t(j) = -j**3 - 8*j**2 + 11*j - 5. Let z be t(-9). Let n = z - -153. Is n a multiple of 26?
True
Suppose 812 = 4*j + y, 4*j = -0*j + 4*y + 832. Does 6 divide j?
True
Let r(h) = h**3 - 6*h**2 + h - 18. Is r(10) a multiple of 19?
False
Let g = 177 - -231. Is g a multiple of 12?
True
Is (10425 - (-3)/3)*1/2 a multiple of 14?
False
Suppose -f = 2*d - 3*f + 110, -112 = 2*d - f. Suppose -5*v + 4*k = 5*k - 428, -v = -k - 88. Let t = v + d. Is t a multiple of 21?
False
Let i(s) = -s**3 - 6*s**2 + 10*s + 21. Let w(d) = d + 1. Let b(u) = -i(u) + 3*w(u). Is 12 a factor of b(-6)?
True
Suppose 5*k + 4*s - 40 = 0, -10*k + 2*s = -5*k - 70. Is 6 a factor of k?
True
Suppose -22 = 4*v - s + 32, 0 = -5*v + 2*s - 69. Let w = v + 23. Is 5 a factor of w?
True
Let b = -10 - -13. Suppose -b*a + 13 = 2*j - 0*j, -4*j = -5*a + 7. Suppose j*z = 3*m + 57, -2*m + 6*m - 124 = -4*z. Is 8 a factor of z?
False
Let d be (-24)/(-42) - (-1123)/7. Suppose 162*s = d*s + 20. Is s a multiple of 16?
False
Is 23 a factor of (-32)/48*6/4*-276?
True
Let w be (-10)/(-6) + (-2)/(-6). Suppose 0 = 3*m - w*b - 28, 5*m + b - 38 = -0*b. Is 8 a factor of m?
True
Let z = 154 - -105. Is z a multiple of 21?
False
Let m be (-30)/4*(-6)/9. Suppose 9*s - s = 16. Suppose 154 = m*b - s*n, b - 3*n - 18 = 18. Is 10 a factor of b?
True
Suppose 3*w - 10 = 38. Let l = 42 - w. Is l a multiple of 26?
True
Let k be (-2)/((-159)/(-51) - 3). Let t = k + 21. Suppose 2*x = 0, -3*q + t*x = q - 60. Is q a multiple of 12?
False
Suppose 4*i - 2*i = -3*s + 24, 4*i - 6 = s. Suppose -s*m = -m - 3*y - 229, 3*y = 4*m - 185. Let n = m - 14. Is 9 a factor of n?
False
Let r(k) = 7*k**3 - 4*k**2 + k. Let g be r(2). Let v = 39 + g. Is 8 a factor of v?
False
Suppose -5*c + 4*p = 100, 2*c + 4*p = -0*p - 68. Let l(g) = -g**2 + 5*g + 10. Let v be l(7). Let a = v - c. Is a a multiple of 5?
True
Let o be (3440/(-30))/((-2)/6). Suppose 2*r + 3*r = -2*j - 342, -o = 2*j + 4*r. Let d = -121 - j. Is d a multiple of 19?
False
Suppose 0 = -5*x - 5*b + 15, 2*x = b - 4*b + 9. Suppose n + n - 114 = x. Suppose 4*f = -21 + n. Is f even?
False
Let f be (4/(-6))/((-5)/180). Let p = f - 22. Does 10 divide (p + -2)*1 + 54?
False
Let o = 164 - 32. Is o a multiple of 3?
True
Suppose -3*o + 4*o - 758 = 2*j, 3*o - 3*j - 2277 = 0. Does 40 divide o?
True
Suppose -5*u + 77 = 3*x + 11, 4*u = -x + 22. Suppose -i - 12 = -2*n, 3*i = 2*i - 3*n - x. Does 4 divide ((-9)/3)/(6/i)?
True
Suppose -5*t + 1627 = 5*x + 247, -3*t = x - 286. Does 36 divide x?
False
Let t(l) be the second derivative of -l**3/2 + l. Let q be t(-2). Does 18 divide q/1*28/6?
False
Suppose -2*q + 5*u + 294 = 0, -5*q + 735 = -u + 5*u. Is 7 a factor of q?
True
Let f(k) = k - 10. Let m be 28/(-8)*6/(-3). Let a be f(m). Let b = a + 14. Is b a multiple of 9?
False
Let f(d) = -111*d + 1178. Is f(-7) a multiple of 41?
False
Let j = 201 + -284. Let g = 7 - j. Is g a multiple of 18?
True
Suppose -17 = 3*g + 31. Let m(j) = -4*j - 20. Let o be m(g). Suppose -2*i = -0 - o. Is i a multiple of 7?
False
Suppose -a = -9*r + 4*r, -r = -2*a. Suppose 5*z - z - 96 = r. Is z a multiple of 6?
True
Let t(s) = -2*s**2 + 3*s + 8. Let k(b) = -5*b**2 + 8*b + 23. Let v(h) = 3*k(h) - 8*t(h). Let o = 12 - 5. Does 21 divide v(o)?
False
Suppose -14*s + 1088 = -1852. Is 14 a factor of s?
True
Suppose -2*m - d = -2261 - 440, 0 = -m + 3*d + 1368. Is m a multiple of 6?
False
Let l(y) = 5*y**2 - 7*y + 3. Let w(b) = -27*b - 1. Let u be w(-1). Let s = u - 30. Is 31 a factor of l(s)?
False
Let f = -1089 + 1609. Is 26 a factor of f?
True
Suppose 40 = 5*l - 3*l. Suppose -l = -8*v + 4*v. Suppose -v = -o + 17. Is o a multiple of 11?
True
Does 8 divide (-36)/(0 + -9) - -1204?
True
Suppose 0 = 3*b - 5*w + 7, -b - 3*b = -w + 15. Let x(q) = -5*q**2 - 35*q**3 + 3*q**2 + 34*q**3 - 1. Does 17 divide x(b)?
False
Suppose -4*r = 3*w - 675, 4*w - 3 = w. Does 5 divide r?
False
Let c be (-7)/21 + (-16)/(-3). Suppose 0 = -c*y + 2*y + 9. Suppose 2*j + 50 = y*m - 142, -5*m - 2*j + 304 = 0. Does 31 divide m?
True
Let k be 88/28 + 1/(-7). Suppose -2*f + 7 = -k*r - 12, f + 4*r = -18. Suppose 51 = f*p + p. Does 14 divide p?
False
Suppose 15 = 3*o + 2*b, 4*o - 2*o = 4*b + 10. Let k = 7 - o. Suppose 5*w - k*m - 27 = 365, 3*w = -2*m + 248. Is 21 a factor of w?
False
Let u = 17 - 25. Is 12 a factor of 27/36 - -7*(-62)/u?
False
Suppose -2*x + c + 170 = 0, 4*c = 5*x - 293 - 135. Let m = -3 + 5. Suppose 0 = m*w + w - x. Is 14 a factor of w?
True
Let f(z) = -7*z + 10. Let t(g) = 20*g - 30. Let n(o) = 17*f(o) + 6*t(o). Let v be n(9). Is 3 a factor of -36*(v - (-2)/3)?
True
Let d(t) = -t**3 + 11*t - 4. Let i be d(3). Does 43 divide -258*4/(-16)*i?
True
Let q(u) = u**2 - u - 83. Let r be q(-8). Let g be (2/(-4))/((-3)/(-78)). Let a = r - g. Is 2 a factor of a?
True
Suppose -7*a + 4*a = -9. Let f be 7/a - 8/24. Suppose -v - f*v = -96. Is 16 a factor of v?
True
Let n = -59 + 61. Suppose -y + n*y - 7 = 0. Is y a multiple of 4?
False
Is 34/30 - 1 - (-323736)/630 a multiple of 5?
False
Does 41 divide 82/6*(-54 - -81)?
True
Let b = -296 + 743. Is 12 a factor of b?
False
Let v = 179 + 107. Does 11 divide v?
True
Suppose 4 - 14 = -2*m. Suppose m*x + p - 101 - 32 = 0, -p = -3*x + 75. Suppose -2*t = -2*u - x, -t = -3*t - 2*u + 14. Is t a multiple of 5?
True
Let q = -27 - -27. Suppose q = 2*m - 107 + 9. Does 10 divide m?
False
Let v be (9/6)/((-4)/(-8)). Suppose -v*k + 10 = -k. Suppose k*t + 102 = 3*o + 4*t, 0 = 4*t. Is 27 a factor of o?
False
Let a(j) = 96*j**2 - 13*j + 8. Let d(o) = 528*o**2 - 72*o + 44. Let q(r) = 28*a(r) - 5*d(r). Is 23 a factor of q(1)?
False
Let m(z) be the first derivative of z**4/4 + 2*z**3 + 2*z**2 + 5*z - 4. Does 3 divide m(-4)?
True
Let x(g) = -g**3 + 2*g**2 - 2*g + 1. Let i be 5/(-30) - (-7)/6. Let w be x(i). Suppose -4*z = 5*r - 252, -r + 4*z + w*z = -36. Is r a multiple of 12?
True
Suppose 2*b - d + 6 = -0*d, -2*d = b + 8. Let z = b + 4. Suppose y - 2*y + j + 54 = z, -5*j - 93 = -2*y. Does 20 divide y?
False
Suppose -60950 = -65*v - 50*v. Is v a multiple of 22?
False
Suppose 3*p + 5 = 3*q - 1, 0 = -4*p + 5*q - 8. Is (p - (-154)/3) + (-2)/6 a multiple of 7?
True
Let q(i) = i**3 + 11*i**2 + 23*i + 11. Let b be q(-8). Is 17 a factor of 4 + -2 + (b - 4)?
True
Suppose -g + 0*g = -127. Let i = 199 - g. Suppose 7*h - i = 3*h. Does 9 divide h?
True
Let a be 1/(-4 + (-183)/(-45)). Suppose -16*f + 3 = -a*f. Suppose 4*o + 147 = f*z, o - 245 = -5*z + 3*o. Is z a