*2 - 8*m - 7*m + n*m + 4*m**2. Does 17 divide s(13)?
True
Let x(q) = -6*q**2 - q - 10. Let n be x(3). Let t = -38 - n. Is 2 a factor of t?
False
Suppose d - 5 = 17. Let r = d - 9. Suppose 0 = -2*z - 5*o + r, -2*z - 2*o + 1 = -9. Does 4 divide z?
True
Let k = 7 - 4. Suppose 0 = -4*t + 13 + k. Suppose -t*j + 7*j = -z + 112, -3*z = 6. Is j a multiple of 14?
False
Let t = 44 + 248. Suppose 3*d = r - 293, -2*d = r - 4*d - t. Is r a multiple of 58?
True
Let c = -44 + 73. Suppose 6*b + 5 = c. Does 2 divide b?
True
Suppose 0 = 10*p - 5097 + 1107. Is 7 a factor of p?
True
Suppose 0 = 26*x + 7*x - 10692. Is 12 a factor of x?
True
Let x(g) = -2*g + 4*g**3 + 7*g**2 - 5*g**3 + 1 - 7. Let p be x(6). Suppose -237 = -5*k - 4*u, -2*u + 27 = k - p. Is k a multiple of 16?
False
Let p be ((-22)/(-6))/((-2)/(-54)). Let x be (0 - 1)/((-3)/p). Suppose 2*v + 1 - x = 0. Does 8 divide v?
True
Suppose 944 - 10268 = -7*r. Is 81 a factor of r?
False
Suppose 0*m = 2*m - 8. Suppose x + 12 = -y, x - y = -m*y - 4. Does 10 divide x/((-5)/2 - -2)?
False
Let q = 67 - 63. Does 4 divide 32*q/8 + 3 + 0?
False
Let u be 0*(0 - 0 - 12/(-12)). Suppose 0 = 3*k - u*k - 627. Is 40 a factor of k?
False
Let t(f) = -10*f + 60. Is t(-10) a multiple of 32?
True
Is ((-55578)/1099)/(1/84*-2) a multiple of 18?
True
Suppose -14 = -i - 3. Let h = i + -7. Suppose -5*a = -h*a - 10. Is 10 a factor of a?
True
Suppose 645 + 712 = 4*z - 3*i, 4*i = -4*z + 1392. Is z a multiple of 7?
True
Let x(u) = -6*u + 12. Let b be x(-5). Let r(p) = -41*p**2 - 17 - p + b*p**2 + 8*p. Is 16 a factor of r(-14)?
False
Suppose -o - 2*x = -325, x + 98 = -o + 418. Does 45 divide (90/(-105))/((-1)/o)?
True
Is 546/22 - (4 + 92/(-22)) a multiple of 25?
True
Let o = -31 + 128. Let s(w) = -28*w - 1. Let p be s(2). Let z = o + p. Is z a multiple of 9?
False
Let g be 28/(-7) - (-2 + 52). Let m = 30 - g. Is 28 a factor of m?
True
Suppose 4*o + k - 1084 = 0, -161*k = 4*o - 159*k - 1088. Is o a multiple of 27?
True
Let t(s) be the third derivative of -7*s**4/24 + 7*s**3/6 + 4*s**2 - 6. Is t(-12) a multiple of 7?
True
Let k(q) = 37*q - 10. Does 30 divide k(10)?
True
Let y be (-45)/(1/(-3*4/(-12))). Let s(h) = -h**3 - 3*h**2 - 6*h + 3. Let c be s(-5). Let m = y + c. Is m a multiple of 16?
False
Suppose -4*l = -a + 31 - 10, -5*l + 30 = 5*a. Let q(s) = -7. Let h(r) = r + 1. Let x(o) = 3*h(o) + q(o). Is 6 a factor of x(a)?
False
Suppose -4*v - 16*n = -17*n - 9094, 5*n = -2*v + 4558. Is 13 a factor of v?
False
Let n(k) = k**2 + 5*k - 8. Let s be n(-6). Let h be s + 3 - (2 + -1). Suppose -m + 1 + 5 = h. Is m a multiple of 2?
True
Suppose 4*b = 3*t - 819, 5*t + b = 4*b + 1354. Is 5 a factor of t?
False
Suppose -3*b - k - 239 = 0, -4*k = 3*b + 75 + 161. Let s = b - -122. Does 11 divide s?
False
Suppose 0 = k + 4*l + 18, 4*k - 4*l - 8 = 20. Suppose -112 = -4*n - 6*g + k*g, 4*g = -3*n + 86. Let w = n + 11. Does 11 divide w?
False
Suppose 0*b + 35 = b. Suppose 2*z + b = q + 4*q, 2*z = -4*q + 10. Does 4 divide -3 - q/(10/(-36))?
False
Let q(g) be the second derivative of -83*g**3/6 - g**2 + 2*g. Is q(-1) a multiple of 9?
True
Let i = 4138 + -1892. Is i a multiple of 55?
False
Suppose 62*c + 2 = 61*c. Does 19 divide (-1)/(c + 74/38)?
True
Let i(t) = -t**3 - 10*t**2 - 11*t - 4. Let j be i(-9). Does 17 divide (1/(-3))/(j/(-3570))?
True
Let t(f) = -2*f**3 - 8*f**2 + 2*f - 2. Let d be t(-4). Let x be (1 + d)/3 + 4. Suppose 4*k + 5*y + x = 85, 2*k - 4*y - 68 = 0. Does 13 divide k?
True
Let d = 14 + -1. Suppose 2*g - 37 = -d. Let c(h) = h**3 - 13*h**2 + 15*h - 2. Is c(g) a multiple of 34?
True
Let g = 17 - 32. Let z(k) = -7*k + 28. Is z(g) a multiple of 12?
False
Let r be 2 - -2 - (-64 + 4). Does 2 divide 1/(((-12)/r)/(-3))?
True
Let c = -12 + 13. Does 20 divide (-3 + c)*((-20)/4 + -51)?
False
Let r(d) be the third derivative of -d**2 + 1/12*d**4 + 1/6*d**3 + 0 + 0*d. Does 4 divide r(7)?
False
Let g(z) = -z**2 + 24*z + 48. Does 48 divide g(0)?
True
Let z be (32/(-20))/(-4) - (-1348)/5. Suppose -92 - z = -4*v - 5*a, 5*v - 434 = 3*a. Does 22 divide v?
True
Let h(x) = -8*x + 17*x + 57*x + 25*x - 22. Is h(4) a multiple of 57?
True
Suppose 4483 + 5219 = 21*g. Is 21 a factor of g?
True
Let q be ((-10)/(-4))/(3/36). Suppose -u + q + 11 = -d, -d + 111 = 3*u. Is 5 a factor of u?
False
Suppose -280 = -3*y - 19. Suppose 3*i - 3*t - 45 = 0, -2*i - 3*t = -2*t - 21. Suppose 0*d = -3*d - z + y, 0 = 4*z + i. Is d a multiple of 11?
False
Let w(n) = -n**2 + n + 53. Let q be w(0). Let y = 112 - q. Is y a multiple of 35?
False
Suppose -27 = -3*q - 96. Let i(z) = -z + 9. Let u be i(8). Let w = u - q. Is 7 a factor of w?
False
Suppose 3*j + 7 = -5*b + 1777, b - 5*j = 326. Is b a multiple of 36?
False
Suppose -p + 4*p - 31 = 4*j, -p + 13 = -2*j. Let o = 37 - p. Does 8 divide o?
True
Let w(l) = -7*l - 6. Let q be w(-2). Suppose -q*u = -151 - 297. Does 5 divide u?
False
Suppose 2*r + 335 = 4*r - m, -669 = -4*r + m. Does 4 divide r?
False
Let w = -115 + 202. Let z = 31 + w. Does 8 divide z?
False
Suppose 7*m = 29 - 8. Let j(s) = 3*s**3 - 6 - 12 - 2*s**3 + 12*s**2 + m + 8*s. Does 3 divide j(-11)?
True
Let y(f) = 17*f**2 + 52*f + 5. Is 15 a factor of y(-6)?
False
Is 28 a factor of (-30)/70 - 2570/(-35)?
False
Let l = -25 - -25. Is (l + -2)*(404/(-8) + 7) a multiple of 10?
False
Let f(j) = j**2 + 5*j - 4. Let p be f(-6). Let v(t) = -15*t**2 + 16 - 20*t**2 - 10*t + 37*t**p. Is v(7) a multiple of 10?
False
Let d = 1416 + -1356. Is 5 a factor of d?
True
Let p be 1/((-4)/24*-3). Is (p/4)/((-4)/(-152)) a multiple of 2?
False
Suppose 2*m - 3*q = m + 6, 5*m - 2*q - 30 = 0. Does 17 divide m*(-1)/(-3) - -20?
False
Let x(d) = -d**2 - 8*d + 13. Let g be x(-11). Let m = -20 - g. Suppose -3*r - 2*r + 3*p + 269 = m, -165 = -3*r + 3*p. Is 26 a factor of r?
True
Let x(i) = 3*i + 173. Is 5 a factor of x(-16)?
True
Let y(z) = -122*z + 52. Does 17 divide y(-19)?
False
Suppose 22*d - 26*d = -36. Suppose 2*c - 3 + d = 0, -4*z + 33 = c. Does 6 divide z?
False
Let w(r) = -11*r + 1. Let t(x) = -6*x + 1. Let y be t(1). Let n = 4 + y. Does 3 divide w(n)?
True
Let z(a) be the third derivative of a**4/12 - a**3/3 - a**2. Let g be z(-1). Does 7 divide (-14)/g*(-1 - -3)?
True
Suppose 13*l - 8*l = 0. Suppose l = 9*h - 1163 - 133. Is h a multiple of 12?
True
Suppose -34 = -11*m - 6*m. Let c be ((-4)/(-6))/(2/15). Suppose m*j + 2*w - 13 - 19 = 0, -c*j = 3*w - 86. Does 6 divide j?
False
Suppose 3*y - 42 = 3*k, y + 4*k = -0*y + 14. Suppose y*v - 162 = 11*v. Is 26 a factor of v?
False
Suppose 19*l - 924 = 16*l + 4*b, 5*l = 3*b + 1551. Is l a multiple of 24?
True
Let h(x) = 14*x**2 - 31*x - 11. Is h(-5) a multiple of 13?
True
Let m be ((-6)/(-1 - -4) - 0)*8. Is 11 a factor of 6/(-18*4/m)*33?
True
Does 78 divide (2/(8/(-26)))/((-24)/2016)?
True
Let a = -8 - -37. Suppose -a = 2*l + 3*x, -l - 35 = -2*x - 10. Does 12 divide ((-2 - -4) + l)*-4?
False
Is 10 a factor of (0 - 1 - -251)/1?
True
Let f = 1082 - 121. Does 70 divide f?
False
Let j(u) = u**2 + 15*u - 18. Let s be j(-16). Does 16 divide -7 + (s - -5) + 68?
True
Let w(v) = v**2 + v - 5*v + 2 - 4 + 17. Does 5 divide w(-5)?
True
Let f = -27 + 27. Suppose 2*k + 3*h = 6*k + 2, -5*h = 4*k + 18. Does 11 divide k - f - -2 - -17?
False
Let c be 4*-6 - (0 - -4). Let x be 8/c - (-702)/7. Suppose -x - 100 = -4*t. Is t a multiple of 25?
True
Let j(n) = 4*n + 1. Let x be j(-4). Does 16 divide (-1*x/(-10))/((-6)/1256)?
False
Let z = -685 + 1035. Is z a multiple of 35?
True
Let d(a) = 3*a**2 - 26*a + 284. Does 11 divide d(29)?
False
Is 19 a factor of (-4)/(-22) + 17563/143?
False
Let w(x) be the first derivative of -24*x**2 - 2*x + 10. Let s be w(-5). Suppose -7*o + s = -0*o. Is 17 a factor of o?
True
Let v = 1876 - 1328. Does 12 divide v?
False
Let x(v) = -v**3 + 5*v**2 - 5*v + 6. Let i be x(4). Let h = i - -4. Does 5 divide 50/8 - h/24?
False
Suppose 3*a - 2*r = 29, 4*a + 4*r - 12 = -0*a. Let u be 5/(-10) - a/(-2). Suppose -5*w - 5*n = -176 - 39, -154 = -u*w + 2*n. Is 24 a factor of w?
True
Suppose -2*h + 1850 = -3*c, 0 = -5*h - 3*c + 2*c + 4659. Is 25 a factor of h?
False
Let f be 0/(8/12*(2 + 1)). Suppose 2*a = -x + 93, 5*a + 4*x - 212 - 19 = f. Is a a multiple of 4?
False
Suppose -11*d + 9761 = 32*d. Does 60 divide d?
False
Suppose 30*i - 59*i = -9251. Is 12 a factor of i?
