Let q be 1*2*16/32. Let m be (24 - 4)/5 + q. Let h(k) = 4*k**2 - 6*k + 10. Is 20 a factor of h(m)?
True
Suppose -116 = 3*j - 77. Is 31 a factor of (-12 - j)/(1 - 648/650)?
False
Is 14 a factor of 6/57 + 7010/190?
False
Suppose 118 = 2*m + 4*l, -m + 2*m - 2*l = 59. Suppose m = i + 2*h, -181 - 114 = -5*i - h. Does 22 divide i?
False
Let y = -1729 + 2928. Is 24 a factor of y?
False
Suppose 4*k + 2*o = 9704, 0 = -4*o - 23 + 31. Does 57 divide k?
False
Let o(d) = 125*d**2 - 15*d + 16. Is 7 a factor of o(1)?
True
Let c = 1113 + -828. Does 33 divide c?
False
Suppose 9 = 5*x - 1. Suppose -6*t + 12 = -x*t. Is 2 a factor of t?
False
Suppose -3*l - 2*t = -6*l + 51, 2*t + 34 = 2*l. Suppose 4*g - l = -5. Let s(q) = 3*q**3 + q**2 + 3*q + 1. Is s(g) a multiple of 33?
False
Suppose 2*w - 111 = 4*m + 27, 3*w - 227 = -4*m. Let r = 125 - w. Does 26 divide r?
True
Suppose 4*h - 2*h = 2*r + 2, -4*h - 5*r + 13 = 0. Suppose -4*d + 507 = 2*l - 3*l, -h*d + 2*l = -258. Is 21 a factor of d?
True
Is 21/6*(-2496)/(-12) a multiple of 56?
True
Let x = -8 + 18. Suppose 0 = -3*k - 2*w - 43 + 17, -5*k = -5*w + x. Does 5 divide (-8)/k*(-84)/(-8)?
False
Suppose 0 = -z + 4, 2*b - 15*z - 2214 = -16*z. Does 17 divide b?
True
Let o be 4/(-7) + 61*(-10)/35. Suppose -16 = 4*g, 4*j + 4*g = j - 7. Let i = j - o. Does 21 divide i?
True
Suppose 503 + 2422 = 3*c. Is 39 a factor of c?
True
Suppose -4 + 1 = -b. Let f be 21 - (b + 0/(-3)). Is 17 a factor of 6/f*(0 + 186)?
False
Let i(q) = -12*q**2 - 118*q + 3. Is 54 a factor of i(-9)?
False
Suppose 0 = w + 3*w - 8. Suppose 5*n - 605 = -w*p, -n = p - 63 - 61. Does 17 divide n?
True
Suppose 3 + 10 = f. Is 28 a factor of 33/2*(-7 + f)?
False
Let f = -76 - 7. Let m = -76 - f. Does 7 divide m?
True
Let n = -69 - -401. Is 31 a factor of n?
False
Let m(f) = f**2 - 6*f + 7. Let d be m(5). Let j = 95 - 66. Suppose -3*b + d*b + j = 0. Does 13 divide b?
False
Suppose 2*p = -0*p, -3*m = 3*p - 54. Let k = 18 - m. Suppose k = -n - 2*j + 30, -2*n - 3*n + 141 = j. Is 14 a factor of n?
True
Suppose 13*x - 2*i = 9*x + 258, 0 = -x - 4*i + 78. Is 3 a factor of x?
True
Suppose 3*r - 7*r - 4*d = 8, 4*d = -4. Let o = 43 - r. Does 15 divide o?
False
Let v = -190 - -478. Let p = 554 - v. Is 19 a factor of p?
True
Let l(n) = -11*n. Let j = 21 + -23. Does 9 divide l(j)?
False
Let r = -119 + 200. Does 14 divide (r/2)/((-10)/(-20))?
False
Suppose -3*t = 2*v - 664, 3*v + 773 = 3*t + 134. Suppose 2*z = -2*n + 110, 4*z - n = -4*n + t. Does 4 divide z?
False
Let f be (3/1)/(3 - (3 - 1)). Suppose 0 = f*k - 4*k + 24. Is k a multiple of 8?
True
Let p = -2508 + 4748. Is 40 a factor of p?
True
Let j(b) = 5*b**2 + 3*b + 35. Is j(-8) a multiple of 11?
False
Let y be (-2 + 1)*(-46 + 100). Let t(o) = 6*o**2 + 5*o + 4. Let a be t(-5). Let w = a + y. Is w a multiple of 25?
True
Let h(s) = 3*s + 12. Let f(d) = 8*d + 36. Let i(t) = 4*f(t) - 11*h(t). Let n(w) = w**3 + 7*w**2 + 6*w - 6. Let u be n(-6). Does 8 divide i(u)?
False
Let k = -6 + 184. Let a = 282 - k. Does 15 divide a?
False
Does 18 divide (-8)/3*(730/(-20) + -7)?
False
Let t be (8/4 - 3)*-113. Suppose f - t = -5*r - 3*f, -3*r = 3*f - 69. Is 7 a factor of r?
True
Suppose -14*s - 154 = -3472. Is 37 a factor of s?
False
Suppose 4*b + 4*j - 8*j = -16, 24 = -5*b + j. Let l(a) = -a**2. Let v(r) = -r**2 + 7*r + 11. Let c(d) = -5*l(d) + v(d). Is 19 a factor of c(b)?
True
Let l(s) be the first derivative of 3*s**4/4 - 2*s**3/3 + s**2/2 - 5. Let a be l(1). Let m(v) = 5*v - 2. Does 8 divide m(a)?
True
Let c be (-949)/(-39) + (-2)/6. Is 14 a factor of ((-6)/4)/(c/(-896))?
True
Let v be -2 - (10 - 2)*-1. Suppose -c - 308 = -0*c - 2*y, -3*c = 3*y + 960. Is c/(-12) - (-4)/v a multiple of 13?
False
Let i = 1289 + -1035. Is i a multiple of 13?
False
Let t(z) = 13*z + 39. Does 13 divide t(0)?
True
Let p = -15 - -53. Let x = -2 + p. Is 12 a factor of x?
True
Let n(o) = -1 + 28*o - 39*o + 26*o. Is 26 a factor of n(7)?
True
Let v be (-2)/4 + (-7)/2. Is 8 a factor of (6/v + 0)/((-6)/32)?
True
Let s(f) = 16*f + 5. Let a = 28 + -24. Let r be s(a). Suppose 4*b = 4*o - 228, 3*o + b = r + 82. Is o a multiple of 13?
True
Let u = 446 - 176. Is 12 a factor of (u/35)/((-6)/(-56))?
True
Let o = -2 + 12. Let p(v) = v. Let k be p(-6). Let t = k + o. Does 4 divide t?
True
Suppose -34*y = -2256 - 12874. Is 5 a factor of y?
True
Let i(j) = j**3 - 5*j**2 - 12*j - 11. Let c be i(7). Suppose 61 + 167 = c*s. Does 15 divide s?
False
Does 15 divide ((-6)/10 - -1)*(-108 - -633)?
True
Suppose -2*a = -10, 2*l = -l - 4*a + 29. Suppose l*q - 147 = 2*i, -4*q + 4*i - 55 + 251 = 0. Does 13 divide q?
False
Does 7 divide (-9 + 6)/(-6) - (-8598)/12?
False
Is 39*3*(5 - (-140)/(-30)) a multiple of 39?
True
Suppose -5*y + 399 = -496. Is 5 a factor of y?
False
Suppose 5*v = -4*c - 49, -4 = -2*v + 3*v - 5*c. Let r be (-38 + v/3)*1. Does 26 divide r/(-3*3/9)?
False
Let d = -45 - -448. Is d a multiple of 24?
False
Let k(b) = 2*b + 9. Let o be k(-7). Let f(a) be the first derivative of a**4/4 + 2*a**3 + 3*a**2/2 - 3*a + 1. Does 7 divide f(o)?
True
Let k = -14 + 26. Suppose 52 + 65 = -5*v + 4*q, -k = -4*q. Let a = v + 47. Is a a multiple of 13?
True
Let y(p) = -11*p + 26. Is y(-31) a multiple of 12?
False
Let b be (-6)/(-10) - 18/30. Suppose w - 3*d = -579, -1163 = 2*w - b*d - d. Is w/(-14) - 15/(-35) a multiple of 9?
False
Suppose -8*q = -3148 - 12. Does 17 divide q?
False
Suppose 1950 = w + 1290. Is w a multiple of 16?
False
Let s be (-1 - 1218/(-24))/(2/24). Is s*(-4 - (-26)/6) a multiple of 34?
False
Suppose -6*l + 307 = -23. Let v be (-3)/2 - l/2. Let r = 37 + v. Is 3 a factor of r?
False
Let n(r) = 2*r**3 - 30*r**2 - 13*r + 47. Does 3 divide n(16)?
True
Let c = -27 + -52. Let v = c + 151. Is v a multiple of 9?
True
Suppose 5*k + 675 = x - 0*k, -x - 5*k + 655 = 0. Does 35 divide x?
True
Suppose -5*d = 4*q + 48, 0*d = -5*d - 3*q - 51. Let j = 2 + -5. Let n = j - d. Is n a multiple of 9?
True
Suppose -2*r - r - 5*x + 49 = 0, 4*r - 5*x = 7. Let f = r - 5. Suppose k - 12 = -f*k. Is 2 a factor of k?
False
Let k(b) = b**2 - 26*b + 2. Let i be k(24). Let u(a) = 4*a**2 + 2. Let o be u(-2). Let f = o - i. Is f a multiple of 14?
False
Let j(w) = -w**3 - 8*w**2 - w + 1. Let r be j(-8). Suppose -r*c = -10*c + 20. Is c a multiple of 20?
True
Let v(t) = -t**3 - 3*t**2 + 2. Let d be v(-3). Suppose -d*b + 3*b = 16. Is 6 a factor of b?
False
Suppose -z + 389 = 3*a - 188, 3 = 3*z. Is a a multiple of 12?
True
Let h(n) = -n**3 - 5*n**2 + 7*n + 1. Let w be h(-6). Let l be 1/((-1)/15*-1). Let j = l + w. Is 5 a factor of j?
True
Is 20 a factor of (0 - 2)*-797 + (11 - 5)?
True
Suppose 3*v - 152 = -4*w + 136, -v = 2*w - 96. Let m(q) = q**3 - 7*q**2 + 8*q + 6. Let n be m(6). Suppose -n*a - v = -19*a. Is 16 a factor of a?
True
Suppose 0 = -2*a - 5*o + 53, -27 - 55 = -4*a - 2*o. Does 9 divide 926/4 - a/38?
False
Let u = 0 - -2. Let a = -2 + u. Suppose 4*m + m - 130 = a. Is 6 a factor of m?
False
Suppose 9*n = 3698 + 10. Is 10 a factor of n?
False
Let s(o) = -o**3 + 4*o**2 + 10*o - 12. Let m be s(6). Let d = 0 - 0. Is d + 4 + -3 - m a multiple of 13?
False
Suppose 0 = 3*c + 3*c - 30. Let b(r) = -r**3 + 7*r**2 + 2*r. Is 11 a factor of b(c)?
False
Suppose -3*s - 3 = 2*x, -3*s - 2*s - 15 = 0. Does 33 divide ((x - 3) + -4)*-33?
True
Let s = 12 - 10. Suppose s*b + 406 = 6*b + 3*j, -2*b + 210 = 5*j. Is b a multiple of 15?
False
Suppose 4*p = -y + 4560, 5*p - 5*y - 2133 = 3567. Is 19 a factor of p?
True
Let p = 139 - 505. Let t = p + 520. Suppose -2*u + t = 4*g, g + 0*u - 39 = -u. Is 19 a factor of g?
True
Let p(s) = -4*s + 731. Let r be p(0). Suppose 5*y = -4*w + r, -y + 76 = w - 108. Is 27 a factor of w?
True
Suppose -3*s - 72 = -5*l, l - 6*l - 96 = 4*s. Is 5 a factor of (-344)/(-12) + (2 - s/(-9))?
False
Suppose -41*y + 460 = -39*y + 2*w, y = -5*w + 230. Is y a multiple of 10?
True
Suppose 24*u = 21*u + 42. Let i = 19 - u. Suppose 78 = -i*d + 273. Is d a multiple of 8?
False
Let g be 108/28 + 2/14. Is (-9 + 3)*(-10)/g a multiple of 2?
False
Let c = 334 - 315. Is c even?
False
Let b(h) = 7*h**3 + 13*h**2 - 15*h + 34. Let u(a) = 6*a**3 + 13*a**2 - 16*a + 33. Let y(f) = -5*b(f) + 6*u(f). Is y(-14) a multiple of 7?
True
Suppose -j - 5*x + 521 = 0, 5*j - 5*x - 1498 = 957. Does 10 divide j?
False
Suppose 4*t = -0*t - 