iple of 7?
True
Let c be 10*(0 + (-1)/(-2)). Suppose 29 = -2*r + q - 29, c*r = 2*q - 145. Does 17 divide (r + -3)*10/(-4)?
False
Let o = -14913 + 18092. Is o a multiple of 17?
True
Let z(c) = 18 - 5 - 15 + 72*c - 7 - 9. Is z(9) a multiple of 21?
True
Let o be -2*(-2)/6*3. Suppose 2*v - 6 = o*d, -3*v = 4*d + d - 9. Suppose -p - 2*p - 5*c + 55 = d, -2*c = -p. Is p a multiple of 2?
True
Let w(m) = 165*m**3 + m + 1 + 259*m**2 - 261*m**2 - 3*m. Does 9 divide w(1)?
True
Let y(m) be the third derivative of 4*m**5/15 - 9*m**4/8 + 103*m**3/3 - 95*m**2. Is 62 a factor of y(6)?
True
Let r = 4186 + 2526. Is (-7)/(-2) - 5 - r/(-16) a multiple of 21?
False
Does 54 divide (-22)/4 - 1004465/(-110)?
True
Let q(n) = -2*n - 27. Let x be q(-15). Suppose -3*v = x*v - 612. Suppose 11*f - v = 8*f. Is f a multiple of 17?
True
Let w = -193 - -8173. Is 105 a factor of w?
True
Let b be (-32)/(-6)*(-5 - 26/(-4)). Suppose -294 - 234 = -b*c. Suppose -d + 146 = d + r, -d + 3*r + c = 0. Is d a multiple of 4?
True
Is 2 a factor of 3562 + -934 - (-2 + 1 + 6)?
False
Let l be -11 + (12/8)/((-2)/(-4)). Let t(o) = -26*o - 23. Does 14 divide t(l)?
False
Suppose -5*x + 4*r = 8, 0 = 3*x + 3*r - 2 - 4. Suppose 0 = -4*l - 4*o + 1744, 2*l - 3*o - 2*o - 879 = x. Is l a multiple of 23?
True
Let n = 60 + -61. Is 4 a factor of (1 - (58 - 2))/n?
False
Let l(c) = -c**3 + 2*c**2 + 6*c - 3. Let d be l(2). Is 43 a factor of (254/2 + 2)*12/d?
True
Let u = 57 + 0. Let o(b) = -32*b + u*b - 27*b. Does 29 divide o(-19)?
False
Let v be ((-18)/3 - -3)*56/(-42). Let j = 24 - v. Is 5 a factor of j?
True
Does 13 divide 7822 + 6 + 0 + 4*3/(-6)?
True
Let a = 86 + -97. Is 64 a factor of (2/6)/(a/132) - -132?
True
Let m(q) = q**2 + 16*q + 18. Let f be m(11). Suppose f = 17*o - 365. Is o a multiple of 4?
True
Let i = 306 + -306. Suppose -19*b + 23*b - 1696 = i. Does 4 divide b?
True
Let x = 55 - 67. Let d(c) = -9*c - 72. Is 12 a factor of d(x)?
True
Suppose 2*l - 3*m = 1065, -111 = -3*l + m + 1476. Suppose 0 = l*x - 529*x + 333. Is 10 a factor of x?
False
Let n(f) = -f**2 - f + 216. Let q be n(0). Let b = 753 - 755. Is ((5 + -4)/b)/((-1)/q) a multiple of 18?
True
Let n = 411 + -523. Is (-3684)/(-21) - 64/n a multiple of 72?
False
Suppose -9*w - 19 = 8. Let r be (((-24)/w)/2)/1 - 0. Is 42 a factor of 106*((-2)/r)/(1/(-5))?
False
Let b(g) = g**2 + 13*g + 48. Suppose -n - 8 - 8 = 0. Is b(n) a multiple of 12?
True
Suppose -2728*p + 2718*p - 120 = 0. Let u(m) = -3*m + 0 + 4*m + 38. Is u(p) even?
True
Suppose -4*g - 2*s + 5*s = -30, 2*g - 2 = -5*s. Is 13 a factor of (287/2)/(-7)*(g - 24)?
False
Let w(n) = 43*n**2 + 40*n - 381. Does 9 divide w(12)?
True
Is 48 a factor of 31970/9 + (460/36 - (-104)/(-8))?
True
Suppose -2*w = 7*v - 159081, -4*w - 38*v = -35*v - 318129. Does 15 divide w?
True
Let m(p) = 125*p**3 - 2*p**2 + p. Let y be m(-1). Let b be ((-143)/(-2))/(1/(0 - 2)). Let s = y - b. Does 15 divide s?
True
Suppose 4*h - 4*t + 420 = 0, h - 3*t = -147 + 52. Let j = h - -165. Suppose j*c + 36 = 57*c. Is 5 a factor of c?
False
Suppose 4 = -2*x, x - 2 = -3*k + 2. Let b be k/((-18)/3)*-3. Is b + (1 - 2 - -56) a multiple of 14?
True
Let q = 6181 - 3596. Does 5 divide q?
True
Let r = 307 - 207. Let t = r - 70. Does 15 divide t?
True
Suppose 21*q - 361377 - 136659 = 0. Is q a multiple of 11?
True
Suppose -3*m - 6 = 0, -3*k - 16*m = -21*m - 9325. Does 11 divide k?
False
Suppose -114*i + 1431360 = 28*i. Is i a multiple of 96?
True
Let f(i) = 5*i**2 - 3*i - 33. Let t(x) = 2*x**2 - 60*x - 6. Let y be t(30). Is f(y) a multiple of 15?
True
Suppose -1526571 + 224699 = -30*b - 59722. Is b a multiple of 35?
True
Does 19 divide 2 + (-7 - -2364) - 7?
False
Suppose 0 = -4*c - i + 4*i + 26, 4*i = -3*c + 7. Is 3 + -5 - (-877 - c) a multiple of 19?
False
Let p(i) = 24*i**2 + 2*i - 12. Let w be (14/35)/(4/30). Is 23 a factor of p(w)?
False
Does 72 divide (1 - (-8)/12)/(-16 + 2301705/143856)?
True
Suppose -731*f + 684*f + 70030 = 0. Is 5 a factor of f?
True
Suppose 5*x - 11 = -3*q, -x + 9 = q + 3*q. Suppose 7*m - q*m = 1020. Does 12 divide m?
True
Let s = -73 - -46. Let q = s + 29. Suppose -b = q*b - 117. Is 13 a factor of b?
True
Let n be 4560/(-100)*(0 + -35). Suppose -4*t + 8*t = n. Is t a multiple of 64?
False
Does 80 divide 1897844/156 - 34/6?
True
Let n(d) = 4*d**2 + 2*d**3 - 4*d**2 - 26 - d**3 - 16*d - 10 + 15*d**2. Is n(-15) a multiple of 12?
True
Let b(k) = -2*k**3 + 90*k**2 - 12*k + 120. Does 20 divide b(43)?
True
Suppose -68*n + 48*n = 147*n - 1624743. Is 141 a factor of n?
True
Suppose 2045 = -12*u + 161. Let i = u + 239. Suppose i = h - 86. Does 28 divide h?
True
Suppose -5*b = 56 + 509. Let o = 120 + b. Is 3 a factor of o?
False
Let f(w) = 33*w**3 + 2*w**2 - 3*w + 2. Let z be f(2). Suppose k + s = -k + 115, -5*k + 4*s + z = 0. Let a = 83 - k. Is a a multiple of 9?
True
Is ((-18)/9)/(10/(-9535)) a multiple of 48?
False
Let a be (-1 - (-62)/4)*-6. Let p = a + 85. Is 14 a factor of p/(-4) - 1*(-189)/14?
True
Let w be (1/(-2))/(9/(-72)). Suppose 724 = 2*i + 4*r, -w*i = -9*i - 3*r + 1796. Suppose 0 = 4*l - 3*n + 5*n - i, -l - 2*n + 88 = 0. Is 11 a factor of l?
False
Suppose k - 2*s = -4*k + 40, 5*k - 3*s - 45 = 0. Let r = k - 7. Does 13 divide (38 - 35) + 47 + r?
False
Let a(b) = -b**2 - 9*b + 14. Let x be a(-6). Suppose 27*o = x*o. Suppose 4*d - 32 - 96 = o. Is 8 a factor of d?
True
Let j(d) = 1265*d**2 - 6*d - 87. Is 156 a factor of j(-4)?
False
Suppose 3314*j - 3341*j = -50679. Is 3 a factor of j?
False
Let m(g) = -2126*g + 2780. Does 21 divide m(-11)?
True
Suppose -25 + 895 = 2*w. Suppose 25*q - 28 = -z + 20*q, -z = -5*q + 22. Suppose 0 = z*f - 8*f + w. Is f a multiple of 22?
False
Suppose -9*j = 4860 - 31257. Is 75 a factor of j?
False
Suppose 74*w - 81*w = 249*w - 2763008. Does 86 divide w?
False
Is 87 a factor of (-3564)/2*(15504/32)/(-57)?
False
Suppose 7779 = 19*s - 18821. Is s a multiple of 7?
True
Suppose -1314 = -4*z + l, 3*z + 5*l + 234 = 1208. Let n = -55 + z. Does 15 divide n?
False
Let r(d) = -150*d + 81. Let x(q) = -15*q + 8. Let c(m) = -4*r(m) + 42*x(m). Is 8 a factor of c(-6)?
True
Suppose -30*v = -412 - 38. Suppose -v*r + 2537 = -268. Is r a multiple of 8?
False
Let n be -2 - 7 - -7 - 220. Let t = 658 + n. Does 55 divide t?
False
Let p be 1/(-7) + 1776/(-112). Let c = p + 13. Is (110 - -4)/(1/(-3)*c) a multiple of 38?
True
Let g(w) = -w + 19. Let p be g(22). Let x(c) = c**2 - 1. Let h(t) = 11*t**2 - 4*t + 2. Let j(u) = h(u) - 3*x(u). Is j(p) a multiple of 17?
False
Let r be 9 + -8 - (2 + -3 - -19). Let y = 14 + r. Is 14 a factor of ((-3)/(-4))/(4/(-112))*y?
False
Suppose 599 = -s + 184. Let g = -29 - s. Does 17 divide g?
False
Is 7 a factor of (-94 - -96)*1*(193 + -2)?
False
Let d(i) = -10*i + 114. Let r be d(11). Suppose -15 = 5*p, -r*o = 4*p - 25 - 783. Is 41 a factor of o?
True
Let f(s) = -30*s - 7. Let z be f(-3). Suppose -3*d + z*w - 79*w = -1836, 0 = d - 4*w - 620. Is 24 a factor of d?
False
Let d be (1620/(-14))/(7/(-294)*9). Suppose 12*z - d = -8*z. Is z even?
False
Suppose -d - 323*f + 321*f + 10437 = 0, -5*d = -3*f - 52172. Is d a multiple of 52?
False
Let a be (-9)/(-6)*3 + (-3)/2. Let v be (a/2)/((-2)/(-4)). Let n(d) = 37*d - 5. Is n(v) a multiple of 21?
False
Let k(p) = -12 - 35*p - 19 + 0 - 5. Does 8 divide k(-4)?
True
Let n(r) = -r**3 + 37*r**2 - 62*r + 94. Is 16 a factor of n(29)?
True
Let c(k) = -45*k**3 - 5*k**2 + 14*k + 36. Is c(-8) a multiple of 37?
True
Suppose 0 = -22*i + 17*i - v + 115, 0 = i + v - 27. Is 4 a factor of i?
False
Let x(u) = 38*u - 182. Let h be x(5). Is ((10 - h) + -640)/(-3 + 1) a multiple of 29?
True
Let s(a) be the second derivative of -37*a**5/60 - a**4/2 + 5*a**3/6 + 5*a. Let m(w) be the second derivative of s(w). Does 23 divide m(-2)?
False
Let b(c) = 25*c**2 - c + 13. Let m(n) = -2*n**2 - 10*n + 55. Let h be m(-8). Is 14 a factor of b(h)?
False
Let t(f) = -6*f - 24. Let c(s) = 5*s + 25. Let b(u) = 4*c(u) + 3*t(u). Is 19 a factor of b(7)?
False
Suppose -177 = k - 0*k. Let f(v) = v**2 - 22*v - 664. Let l be f(37). Let b = l - k. Does 6 divide b?
False
Let f = 14402 + -8798. Is 14 a factor of f?
False
Let b be (-6)/10 - (-3052)/70. Suppose b*y - 6360 = 19*y. Is 5 a factor of y?
True
Let f = 2689 + 2151. Is f a multiple of 44?
True
Suppose -4*c - 16 = 0, -b - 3*b 