s 12 a factor of x/2 - (-127)/2?
False
Let p(w) = 4*w**2 - 3*w + 16. Let m(s) = -3*s**2 + 4*s - 15. Let d(y) = -3*m(y) - 2*p(y). Is d(11) a multiple of 13?
False
Let k be ((-35)/(-14))/(15/84). Let a = 29 - k. Is a a multiple of 7?
False
Suppose 0 = 2*s + b - 7, 5*b - 2 = 13. Suppose 3*h = -s*h - 4*o + 83, 0 = 2*o - 4. Does 8 divide h?
False
Let k = -2339 + 3483. Is 28 a factor of k?
False
Let y = 120 - 80. Suppose 2*g = 104 + y. Is 9 a factor of g?
True
Is 12/((-164)/(-162) - 1) a multiple of 9?
True
Let z = 86 + 194. Does 10 divide z?
True
Let q(i) = -162*i + 12. Is q(-4) a multiple of 10?
True
Suppose -3*j - 8 = -245. Let s = j - 22. Is s a multiple of 12?
False
Let c be -6*(-2 + (-2)/4). Let k = c - -6. Is k a multiple of 3?
True
Let q(c) = -3*c + 12. Let u = 61 - 72. Is 5 a factor of q(u)?
True
Suppose i + 15 = 4*i. Suppose -i*n + 4*n + 181 = 0. Is 44 a factor of n?
False
Suppose 0 = 2*a - 8. Suppose 5*h - 3*k = -3, 5*h + 0*h + a = 4*k. Suppose h = 4*q - 69 - 27. Is 24 a factor of q?
True
Suppose -9*p - 260 = -5*p. Is 2/((-10)/p) + 3 even?
True
Let q be (8 - 9)/(1/(-443)). Let l = q - 195. Does 31 divide l?
True
Let h(d) = -4 - 7*d + 6*d**2 - d**2 + 0*d - 3*d**2. Is h(6) a multiple of 13?
True
Let x = 75 - 67. Suppose 4*s - 2*m = 96, -4*s = -5*m - 98 + x. Is 5 a factor of s?
True
Let u be -2*(-4 - ((-20)/8 - -1)). Suppose -u*o - 33 + 128 = 0. Is o a multiple of 10?
False
Suppose -3*r = -2*o - 9, -5*o + 5*r - 5 = 10. Suppose 5*z - 8*z + 276 = o. Is z a multiple of 6?
False
Does 8 divide 16/(-16)*(-2025 - -1)?
True
Let m = 25 - 5. Suppose -m = -5*a - 0*a. Suppose -6 = 3*t - 3, 5*h - 121 = -a*t. Is 12 a factor of h?
False
Suppose -4*x = -k - 241, 0 = 4*x + 2*k + 3*k - 235. Does 14 divide ((-80)/(-25))/(4/x)?
False
Let q = 891 - -273. Does 12 divide q?
True
Let x(m) = -8*m**2 + 1. Let c(t) = -t - 19. Let u be c(-18). Let r(p) = 1. Let v(q) = u*x(q) + 2*r(q). Is 7 a factor of v(-2)?
False
Is 73 a factor of (-1141)/(-2)*(-52)/(-91)?
False
Suppose 3 = 4*g + c, g + 10 = -2*c + 2. Suppose -218 = -6*k - g. Suppose -r = 2*r - k. Is r a multiple of 5?
False
Let c = -38 + 79. Suppose c = 5*y + 16, 5*r = 3*y + 165. Is 9 a factor of r?
True
Suppose -c - 92*r + 429 = -97*r, -3*c - 4*r + 1268 = 0. Does 11 divide c?
False
Let g be (-2)/((-8)/26)*4. Suppose 160 = 3*t - 4*r, 0 = -3*t - 3*r + 6*r + 162. Let w = t - g. Does 15 divide w?
True
Suppose -2*z = -0*z - 2*j - 918, -5*j + 1345 = 3*z. Suppose -4*h = h - z. Let q = h + -55. Does 12 divide q?
True
Suppose 4992 = 21*t + 5*t. Does 9 divide t?
False
Let l be (4 - (1 + -1))/2. Suppose -f + h = 5 - 0, 3*h - 15 = -4*f. Suppose 3*t + l*z - 8 = f, -5*t + 0*z = -z - 22. Does 4 divide t?
True
Let y(w) = -11*w + 5. Let h(s) = -10*s + 4. Let p(u) = 4*h(u) - 3*y(u). Does 26 divide p(-11)?
True
Let o(n) = 24*n**2 + 8*n + 15. Is o(6) a multiple of 10?
False
Let m = 654 + -215. Is m a multiple of 28?
False
Let p be ((-2)/3)/((-3)/9). Suppose -y + 16 = -p*y. Is ((-12)/y)/((-1)/(-4)) even?
False
Let c be (-24)/40 - (-6)/10. Suppose c = 5*r - r - 212. Let u = r + -23. Is 15 a factor of u?
True
Let j = -23 - -20. Let n = j - -3. Suppose n = -4*r + 90 + 30. Is 15 a factor of r?
True
Suppose 0 = q - 1, 4*q = v + 2. Suppose -4 = -v*s - 2, 112 = 2*u - 2*s. Does 19 divide u?
True
Suppose -17*o = 17*o - 14756. Is o a multiple of 14?
True
Let f be (-2)/4 + (-66)/(-4). Let l = f - -4. Does 3 divide (10/l)/((-1)/(-18))?
True
Let f(q) = 17*q**2 - q. Let l be f(-1). Let a = -14 + l. Is 103/a + 3/12 a multiple of 14?
False
Suppose -6*z + 2*z + 232 = 0. Suppose -5*l - 5 = -v - 4*l, l - 7 = -2*v. Suppose -160 = -4*q - v*a, -82 - z = -4*q + a. Is 12 a factor of q?
True
Suppose 99 - 507 = -4*w. Let j = w - 26. Is 39 a factor of j?
False
Let x(d) = 9*d**2 + 11*d - 31. Is x(4) a multiple of 14?
False
Suppose 5*m + 20 = 0, 11*v = 8*v + 2*m + 1358. Is v a multiple of 10?
True
Suppose 4*t - 39 = -39. Suppose t = 2*a - 76 - 24. Does 18 divide a?
False
Let k = 423 + -69. Does 10 divide k?
False
Let r = -65 - -184. Suppose 5*v - 6 - r = 0. Is 5 a factor of v?
True
Suppose -2 = 3*d + 1. Let p = 52 + -100. Is 13 a factor of (-2512)/p - d/(-3)?
True
Does 7 divide (-9)/(-6)*25680/40?
False
Let q(v) = -v**3 + 29*v**2 - 3*v + 57. Is 18 a factor of q(10)?
False
Let i(o) = 2*o**3 + 19*o**2 + 14*o + 7. Let w be i(-9). Let s = 50 + w. Is 3 a factor of s?
True
Suppose 814*f - 779*f = 10955. Is 6 a factor of f?
False
Let i(g) be the third derivative of g**5/30 - 4*g**3/3 + 14*g**2. Is 32 a factor of i(6)?
True
Let c = 34 + 446. Is 20 a factor of c?
True
Let f(h) be the second derivative of h**7/2520 + h**6/720 - h**5/12 + 7*h**4/12 - 4*h. Let y(d) be the third derivative of f(d). Does 9 divide y(-7)?
False
Let g be -1*(-178)/1*1. Suppose -m - 174 = m. Let a = m + g. Is 13 a factor of a?
True
Let j(f) be the second derivative of f**6/360 - 11*f**5/120 + 5*f**4/8 + f**3 - 3*f. Let y(o) be the second derivative of j(o). Is y(13) a multiple of 14?
False
Let j(i) = 25*i**2 + i + 2. Let l be 6/15 - (-24)/15. Let x be j(l). Suppose -5*p + 5*q = -104 - 76, -4*p - 4*q + x = 0. Does 10 divide p?
False
Let t(d) = -177*d + 74. Is t(-7) a multiple of 19?
False
Suppose -6923 - 6013 = -21*h. Is h a multiple of 8?
True
Suppose -3*w - 3*i + 8 = -10, 2*i = 3*w - 38. Suppose -5*y + 0*y + w = 0. Suppose -7*t + y*t = -175. Does 17 divide t?
False
Let r(s) = 7*s + 1. Let b(y) = 3*y**3 + 3*y**2 + 3*y + 1. Let h be b(-1). Let p be 2*(3/2 - h). Is r(p) a multiple of 10?
True
Let u = -5 + 18. Suppose 0 = 14*q - u*q - 66. Is q a multiple of 22?
True
Let v = 2289 + -633. Suppose -26*f + 20*f + v = 0. Does 46 divide f?
True
Suppose 0 = 38*t - 5440 - 9494. Is 8 a factor of t?
False
Let h(u) = -4 - 106*u + 0 + 0 - 1. Let x(c) = 53*c + 2. Let p(t) = 2*h(t) + 5*x(t). Is p(1) a multiple of 18?
False
Let h(m) = 379*m - 80. Is h(3) a multiple of 43?
False
Suppose c - 4530 = -6*s, -5613 = -2*c + s + 3460. Is c a multiple of 18?
True
Let p be (-4)/((-16)/4) - -3. Suppose 0 = -2*m + p*m - 162. Does 19 divide m?
False
Let u(f) = 4*f + 1. Suppose 5*d - 18 = 2*o, 2 = -2*d + 2*o + 8. Let j be u(d). Suppose -b + j = -25. Is b a multiple of 14?
True
Let d = -759 + 830. Is 12 a factor of d?
False
Let o(l) = -6*l**2 + 9*l. Let h(n) = -n**2 + n. Let j(i) = -5*h(i) + o(i). Let y be j(3). Suppose 3*z = a - 34, 2*z + y = 5*z. Is a a multiple of 19?
False
Let x(t) = 82 + 3*t - 101 - t**2 + 12*t. Is x(6) a multiple of 7?
True
Suppose 2*y - 6 = 0, 319 = 2*l - 0*y - y. Is l a multiple of 12?
False
Let v(h) = -h**2 + 7*h - 11. Let x be v(5). Let u = -3 + x. Let i(o) = o**2 + 5. Does 7 divide i(u)?
True
Let a be (-6)/8 + 78/8. Suppose -66 = -a*n + 3*n. Suppose 3 = -2*m + n. Is 2 a factor of m?
True
Let i(r) = r**3 + 14*r**2 - r - 6. Let t be i(-14). Suppose -t*h + 13*h = 520. Does 14 divide h?
False
Let l(k) = -2*k**3 - 9*k**2 + k + 17. Let w be l(-7). Suppose -89*g + 84*g = -w. Is g a multiple of 8?
False
Suppose -2*y + 4*i + 52 = 2*i, -3*y + 5*i + 74 = 0. Suppose m = -3*m + y. Is 2 a factor of m?
False
Suppose 13 = 12*g + 61. Let q(d) = -4*d**3 - 5*d**2 + 3*d + 3. Is q(g) a multiple of 32?
False
Suppose c = -3*c - 3*b + 479, -c = 4*b - 123. Let q = c + -166. Let p = q + 71. Is p a multiple of 8?
True
Suppose -4*u = 4*u - 2160. Suppose -5*q - 7 = 18, u = 5*h + 4*q. Is 9 a factor of h?
False
Suppose 4*o - 8 = -0. Suppose 43 + 27 = 5*c. Does 4 divide o/4 - (-63)/c?
False
Let l(j) = 8 + 0*j**2 + 15*j + 7 + j**2. Let u be l(-14). Let m(q) = 10*q**3 - q**2 + q. Does 3 divide m(u)?
False
Let s = -11 - -46. Suppose s + 10 = 3*d. Is 5 a factor of d?
True
Let i(q) = -5*q + 2 + 2*q + 9*q**2 + 7*q. Does 10 divide i(-2)?
True
Let j(k) = -43*k**3 - k**2 + 9*k + 13. Is j(-5) a multiple of 42?
False
Let t = 45 + -21. Does 18 divide (8/t)/(1/162)?
True
Let k = 69 + -39. Suppose -k*b + 10 = -28*b. Does 5 divide b?
True
Let b(l) = -l**3 + 6*l**2 + 9*l - 10. Let c = 12 - 5. Let f be b(c). Does 3 divide (-95)/(-6) + f/24?
False
Let f(n) = -2*n**3 - n**2 + 5*n + 4. Let p be f(-1). Suppose -4 = -3*o + o. Suppose o*u = -p*u + 4*b + 10, 5*u + 4*b = 25. Is u a multiple of 5?
True
Suppose 31*d = 33*d - 44. Suppose 3*u - d = -4. Suppose u*v - 5*v - 141 = 0. Does 34 divide v?
False
Suppose -2*x = 4*n - 6, 0 = 4*n - 2*x - 3*x + 15. Suppo