m. Suppose 4*q - 4*d - 40 - 20 = 0, 0 = -k*d + 8. Is q a multiple of 17?
True
Let f(o) = o**2 - 8*o - 12. Let u(j) = 0*j**2 - 4*j**2 + 0*j**2 - 6 - 7*j + 3*j**2. Let b be u(-7). Is f(b) a multiple of 18?
True
Suppose 7*d - 402 = 4*d. Let t = d - 38. Does 24 divide t?
True
Is 66/(-429) - ((-41190)/13)/3 a multiple of 24?
True
Let a be 1 + -1 - 36/(-9). Suppose 0 = -u - a + 54. Is 8 a factor of u?
False
Suppose -38*g + 220770 = 52*g. Does 11 divide g?
True
Is (-16)/88 - (-1151019)/187 a multiple of 17?
False
Let y(b) = -4*b**3 + 11*b + 19. Is 73 a factor of y(-7)?
True
Let y(i) = 2*i**2 - 26*i + 112. Let c be y(7). Let h(u) = 5*u**2 + 2*u + 1. Let b be h(-3). Let m = b - c. Is m a multiple of 4?
True
Suppose -5*b - 4*w - 100 = -382, -b - w + 56 = 0. Let n = 88 - b. Suppose -3*r = -f - n - 28, -3*r = 3*f - 78. Does 11 divide r?
False
Let z be (-10)/4*(-18)/15. Suppose -p = z*p + 24. Let n(t) = -t**3 - 5*t**2 + 5. Is n(p) a multiple of 19?
False
Suppose 3*w - 6*w = n - 627, 5*n - 4*w - 3154 = 0. Does 14 divide n?
True
Let l be (14/(-8) + 2)*(13 + -9). Let x = l - -53. Is x a multiple of 27?
True
Let o(y) = -y**2. Let x(w) = -110*w**2 + w - 1. Let k(d) = -3*o(d) - x(d). Does 15 divide k(1)?
False
Let s(r) = 2*r**2 - 43*r + 786. Is s(18) a multiple of 30?
True
Suppose 2*x = 3*a + 822, -2*x = -4*a - 580 - 244. Is 17 a factor of x?
True
Let i(z) = 7*z - 45. Let d be i(7). Does 6 divide (d - -3)*((-8)/(-28) + 4)?
True
Let r be (90/15)/(2/4 + 1). Let j(u) = 14*u**2 - 10*u + 16. Is 20 a factor of j(r)?
True
Let d(m) = 70*m**2 - 5*m - 2. Is 9 a factor of d(-1)?
False
Suppose -9 = 3*h, -r - 4*r + h = -533. Let o = -61 + r. Is o a multiple of 15?
True
Does 35 divide (-58*29/(-4))/(12/24)?
False
Suppose 7*b + 8*b = 30. Suppose 4*x - 330 = -2*v - x, -8 = -b*x. Does 20 divide v?
False
Let a(f) = -29*f - 8. Let i be a(1). Let z = -126 + 56. Let c = i - z. Is c a multiple of 23?
False
Suppose 5*y = 5*b - b - 533, -3*b - 4*y = -361. Does 41 divide b?
False
Suppose 2*v + 68 = 3*d, 3*v + 4 - 19 = 0. Suppose -70 - d = -4*y. Is 8 a factor of y?
True
Suppose 0 = 3*l + 5*s - 9749, 0*s - 4*s + 9754 = 3*l. Is l a multiple of 18?
True
Let u(x) be the second derivative of -x**4/8 - 4*x**3/3 - 5*x**2/2 + 5*x. Let k(b) be the first derivative of u(b). Is 13 a factor of k(-7)?
True
Suppose -20 = 4*i, 2*i - 7*i = -5*c + 35. Let n(a) = 4*a**3 + a - 1 + 5*a**3 - 8*a**3 + 2*a**3. Is n(c) a multiple of 25?
True
Suppose -4*j + 413 = 5*l, 14*l - 16*l - 4*j + 170 = 0. Does 3 divide l?
True
Let o(d) = -d**2 + 38*d + 40. Does 7 divide o(20)?
False
Let l = 6 - 2. Suppose -y - 3*j = 3*y + 81, 4*y + 88 = l*j. Is -3 - 7/(y/30) even?
False
Let d = -227 + 910. Does 11 divide d?
False
Let r be 30/(-12) - 1137/(-6). Let n = r + -70. Is 14 a factor of n?
False
Suppose n = 6*n. Suppose -2*v - 2*v - 12 = n. Is 5 a factor of ((-3)/(-2))/(v/(-26))?
False
Suppose -5*d = -5*a + 70, -5*d - a = 87 - 5. Let s = 5 - d. Does 7 divide s?
True
Let m(i) = 25*i**2 + i. Let h be ((-2)/3)/((-10)/(-15)). Let b be m(h). Is b - 1*(2 - -1) a multiple of 16?
False
Let c(j) = 37*j - 40. Let d be c(-7). Let z = -30 - d. Is z a multiple of 29?
False
Suppose 0 = -o - 3*l + 699, -2*o = -o - 2*l - 694. Is o a multiple of 12?
True
Is 17 a factor of 9174/18 + (-4)/(-12)?
True
Let t = 11 - 8. Does 7 divide (t - -3)/((-9)/(-12))?
False
Suppose 0 = 3*d - c - 103, 101 + 44 = 5*d + 5*c. Suppose 5*u - d = -z, 3*u + 4*z = z + 27. Is -2*(-2 - 0)*u a multiple of 12?
True
Suppose 3*y - 3*r = -2*y + 1544, -5*r + 10 = 0. Does 4 divide y?
False
Suppose 4*c = -2*d - 6, 3*d + 5*c = d - 9. Suppose 3*f - 45 = -j, d*j - 49 - 90 = -5*f. Does 24 divide j?
True
Suppose -5*x + 1498 = 3*h, 5*h - 1194 = -5*x + 1296. Is h a multiple of 8?
True
Let r(n) = -2*n + 9. Let w(u) = u**3 + 5*u**2 + 5*u + 1. Let d be w(-4). Is r(d) a multiple of 3?
True
Let j = 0 - -10. Suppose 0 = -5*a + j, -5*a + 366 = 3*y - y. Let n = y + -108. Does 19 divide n?
False
Let q = 1132 + -296. Is 5 a factor of q?
False
Does 6 divide (-2786)/(-42) + 2 + (-21)/9?
True
Let a = 1923 + -1113. Is 15 a factor of a?
True
Let u(o) = o**2 - o - 5. Suppose 3 = d - y, 3*y = 4*d - 7 - 6. Suppose -2*r = d*f - 22, f - 2*r - r = 9. Does 19 divide u(f)?
False
Let s be 0/(2*(-1)/1). Let d(f) = -f**3 + 2*f**2 + f - 36. Let j be d(s). Let q = j - -84. Is q a multiple of 16?
True
Let w(v) = 3*v**2 - v + 17. Let b(q) = q**2 + 1. Let f(y) = -4*b(y) + w(y). Does 2 divide f(0)?
False
Suppose 0 = 2*o, 0 = 118*i - 117*i + o - 108. Is 3 a factor of i?
True
Suppose 4*m - 335 - 1265 = 0. Does 25 divide m?
True
Let p(v) = 7*v**3 + 10*v**2 - 4*v + 17. Does 51 divide p(5)?
True
Suppose 3*w = 2*a - 6*a + 727, -4*a - 2*w = -722. Suppose 4*h = m - a + 692, 4*m = 4*h - 508. Does 39 divide h?
False
Let m(w) = -2*w - 10. Let g = 29 + -34. Let z be m(g). Suppose 2*c - 3*j - 114 = 0, 4*c + 0*c + 4*j - 248 = z. Is c a multiple of 12?
True
Let c(p) = 118*p**2 - 7*p + 3. Is 6 a factor of c(2)?
False
Suppose -1628 = -2*u + 4*r, r - 3*r = 3*u - 2418. Does 27 divide u?
False
Is 50 a factor of (560/(-21))/(-4)*285?
True
Let s be -29*(5/5)/(-1). Let f = s - 2. Is f a multiple of 5?
False
Let n = 66 - 193. Let l = n - -254. Does 22 divide l?
False
Let v(i) = 4*i**2 + 10*i - 16. Is 6 a factor of v(-13)?
False
Is 8 a factor of (-8)/14*2163/(-6)?
False
Suppose 5*v - 4 = 6*v. Let q = 23 + v. Suppose 0 = 3*x + 2*m - 0 - q, -m = -3*x + 22. Is 7 a factor of x?
True
Suppose -3*o + 195 = 10*o. Is (-13 + o)/(2/137) a multiple of 35?
False
Suppose -2*i + 3*l - 24 = -2*l, 24 = -4*i + 4*l. Is 47*(i/2)/(-1) a multiple of 47?
True
Suppose -d + 0*d + 2 = 0. Let m = 10 - -4. Suppose -m - d = -4*i. Is 4 a factor of i?
True
Let a = -14 + 18. Let g be -3 + (a + -12)/(-4). Is 9 a factor of 29*g*(-10 + 9)?
False
Let q = 108 + -128. Is q/(-35) + (-598)/(-7) a multiple of 37?
False
Let b(y) = 3*y - 6. Let v be b(6). Let r = 18 + v. Does 13 divide (-6)/r - 512/(-10)?
False
Let h be (10/6)/((-18)/54). Is (-1616)/20*h/2 - -2 a multiple of 48?
False
Let w(k) = 2*k - 9*k**2 - k**3 - 3 + k + 14*k**2. Is w(5) a multiple of 3?
True
Suppose -5*s - 5*q + 110 = 0, s + s - 23 = 5*q. Let d be (4 + 4)/2 + s. Suppose -3*c + d = -49. Is c a multiple of 8?
True
Let k(v) = 231*v**2 - 3*v - 4. Let g(j) = -115*j**2 + j + 2. Let c(y) = -5*g(y) - 2*k(y). Is c(1) a multiple of 16?
True
Let b be (-84)/(-20) + 1/(-5)*1. Let y = b + 94. Is 15 a factor of y?
False
Let n be 9/2*(4 + 60/6). Let o = n + -23. Is 8 a factor of o?
True
Suppose -2*t - 4 = -3*f, -t + 3 + 2 = 2*f. Suppose f*s = -5*b + 10, -s - b + 2 = -2*s. Suppose 9*j - 5*j - 120 = s. Is 15 a factor of j?
True
Suppose -5*u = 19*u - 456. Is u a multiple of 11?
False
Suppose 4*f = -3*u + 44 - 4, 15 = -3*f. Suppose -2*g - 5*r + 29 = 0, -5*g + u = r + r. Suppose -w - 26 = -g*w. Is w a multiple of 18?
False
Does 9 divide (-3 - (-2)/(-2))/(92/(-3036))?
False
Suppose 805 = 4*k - s, -7*s - 995 = -5*k - 2*s. Is 57 a factor of k?
False
Suppose 3*b = b + 8, 14 = -3*x + 2*b. Does 10 divide 25/x*4/(-5)?
True
Suppose -492 = -u + 3*o, 32*u - 4*o = 33*u - 464. Does 10 divide u?
True
Let s be (-3)/(-3)*0 + 3. Let b(t) = 4*t + 5. Let z(j) = 20*j + 26. Let i(q) = 11*b(q) - 2*z(q). Is i(s) a multiple of 5?
True
Suppose 0 = 4*z - 9*z + 1070. Is z a multiple of 34?
False
Suppose 15*l - 11*l + 292 = 0. Let b = -41 - l. Suppose 3*f - 10 - b = 0. Is 14 a factor of f?
True
Let w(f) = -3 - 3*f + 2*f - 2. Let b be w(-7). Is 46/b + 0 + 3 a multiple of 10?
False
Let x(m) = 23*m + 38. Let c be x(15). Let d = c - 230. Is d a multiple of 16?
False
Let i(j) = -4*j**2 - j + 2. Let a be i(2). Suppose -5*k = c + 19, -3*c - 3*k = -6*c + 33. Let t = c - a. Is t a multiple of 11?
True
Let m(q) = 4*q - 10. Let z be m(8). Let a be 1258/z + 22/(-121). Suppose 17*f = 14*f + a. Is f a multiple of 7?
False
Suppose m - 37 = -3*l, 3*l + 2*l = 3*m - 69. Let o be m/(-6) + (-6)/(-9). Let r(c) = -5*c - 1. Is r(o) a multiple of 13?
False
Let x(f) = 37*f + 147. Let a be x(-3). Let z(b) = -25*b + 1. Let p be z(1). Let j = p + a. Does 10 divide j?
False
Let d = -179 - -255. Is d a multiple of 14?
False
Let b = 671 - 536. Does 6 divide b?
False
Let x be 4/3*144/2. Suppose 5*a - x = -4*u, 5 = -5*u - 0. Is a a multiple of 5?
True
Let j(r) = 10*r**2 + 11*r + 26. Does 20