es 18 divide w?
True
Suppose -73*k - 11807 = -73565. Does 11 divide k?
False
Suppose 0 = 4*y + 3*y - 2296. Let a = -227 + y. Is 21 a factor of a?
False
Suppose -5*n - 179 + 2560 = r, 4*n + 2*r = 1906. Is n a multiple of 14?
True
Let w = 32 - 29. Suppose w*o = 4*o - 5*c - 53, 5*o = -4*c + 149. Let j = o - -10. Does 18 divide j?
False
Suppose 0 = 17*x - 12*x - 30. Is (2 + (-27)/x)*164/(-5) a multiple of 41?
True
Suppose -a = -4*f + 1250, -2*a + 943 = 3*f - 0*a. Does 22 divide f?
False
Let u = -215 + 65. Is 31 a factor of 2 - (2 + -5 + u)?
True
Suppose -4*h + 904 = 2*t, 4*t + 2*h - 1817 = 3*h. Is t a multiple of 15?
False
Suppose 2*t = 2*i - 306, 8*i - 3*i - 757 = 3*t. Let j = i + -45. Is 18 a factor of j?
False
Let d = -566 - -791. Is 25 a factor of d?
True
Let u(g) = 2*g + 3. Let q be u(3). Let x be q + -6 - (7 - 0). Let f = x - -28. Is 12 a factor of f?
True
Let v(u) = u - 1. Let i be v(5). Suppose -i*s = -s - 12. Suppose -4*t + 2*y + 108 = 0, 66 = t + t - s*y. Is 7 a factor of t?
False
Let p(m) = -2*m**2 - 2*m - 52. Let q be 1/(-4) + 18/8. Let i(w) = -w**2 - w - 26. Let t(j) = q*p(j) - 5*i(j). Is t(0) a multiple of 26?
True
Let a = 727 - -1140. Does 20 divide a?
False
Suppose 3*z + 4*v - 5549 + 191 = 0, -z + 1786 = -4*v. Is z a multiple of 83?
False
Let q(b) = -b**2 + 13*b - 9. Let t be q(12). Suppose -t*x + 43 = -20. Is 6 a factor of x?
False
Let h(a) = 977*a + 219. Does 30 divide h(2)?
False
Let a(k) = k**2 - 8*k + 4. Let i be a(7). Let t(x) = -2*x**2 + 3*x - 2. Let z be t(i). Let s = -21 - z. Is s a multiple of 5?
False
Suppose 3*o + 20 = 7*o, 2*p = -3*o + 21. Let s = -2 + 54. Suppose 0 = p*d - 41 - s. Does 12 divide d?
False
Is (33/(990/156))/((-1)/(-270)) a multiple of 19?
False
Let f = -937 + 1315. Suppose -f = -12*h + 9*h. Is 14 a factor of h?
True
Suppose -29*l + 3*j = -24*l - 13884, -3*l = -3*j - 8334. Is l a multiple of 75?
True
Does 36 divide 182*192/(-56)*-3?
True
Suppose -4460 = 8*m - 29420. Is 40 a factor of m?
True
Suppose 0 = 3*q - 3*w - 9624, 1974 + 1230 = q - 2*w. Is q a multiple of 72?
False
Is (3 + 0)/(-6*8/(-7200)) a multiple of 19?
False
Let b be (-57)/(-38) - 11/2. Let o(v) = v**2 - 3*v - 7. Does 4 divide o(b)?
False
Let y(x) = -x**3 - 6*x**2 - 3*x + 9. Let c be y(-6). Let p = c + 0. Is p a multiple of 5?
False
Let z be ((-3)/2)/((-12)/112). Suppose -93 + 13 = -5*w. Suppose -z - w = -3*c. Is c a multiple of 3?
False
Let j(p) be the third derivative of -p**6/120 + p**5/6 - 7*p**4/24 - 2*p**3 + 2*p**2. Let s be j(9). Is 20 a factor of (10 - 2)*57/s?
False
Let j = -11 + 17. Let g = -4 + j. Suppose -g*u + 20 = -26. Does 6 divide u?
False
Let m(p) = p**2 - 6*p + 13. Let z(n) = 5*n**2 - 29*n + 66. Let f(i) = 11*m(i) - 2*z(i). Let k be f(6). Is 18 a factor of 90 + 4 + k + -3?
True
Let v = -375 + 678. Does 15 divide v?
False
Suppose 0 = 2*g - 10 - 6. Let b(q) = -q + 14. Let f be b(g). Suppose 0 = 3*v - 5*h - 68, -3*v + f*v = -3*h + 36. Is v a multiple of 4?
True
Let s be 520*4/5*1. Suppose 0 = -4*h - 0*h + s. Does 8 divide h?
True
Suppose -26 = -5*m + 29. Suppose 0 = m*v - 0*v - 2717. Is v a multiple of 13?
True
Let p = -169 - -229. Is 17 a factor of p?
False
Let o be 17 + -3*(-1 + 0). Suppose -4*r - o = -6*r. Is 5 a factor of r?
True
Let t = 2 - 20. Let k be (t/5)/6*-5. Suppose 0 = 3*p + n - 85, k*n + 8 = -n. Is 13 a factor of p?
False
Suppose -4 = -2*d, 0 = -6*z + 2*z - 5*d + 26. Suppose 4*k - 31 = k - 2*r, -z*r = -k - 13. Does 7 divide k?
True
Is -1 - 3*8592/(-18) a multiple of 27?
True
Let w = -8 - -12. Let q be -3 + (-6 + w)/(-1). Is 16 a factor of q*((-3)/(-3) - 38)?
False
Suppose -2*i = -4*n + 3*i - 33, -20 = -4*i. Let w(k) = -5*k. Is w(n) a multiple of 3?
False
Suppose 5*n = -6 + 171. Suppose -4*d - 9 = -n. Is d a multiple of 6?
True
Let d(y) = y**3 + 6*y**2 + 3*y - 3. Let j = -19 - -15. Is 15 a factor of d(j)?
False
Let t be (-6)/(-12)*(-3 - -3). Suppose -2*h - 4*i = -674, h - 5*i + t*i = 365. Does 15 divide h?
True
Suppose 4*c - h - 7 = 16, -3*c = 5*h - 46. Let o(n) = -n**3 + 8*n**2 - 6*n + 5. Is 12 a factor of o(c)?
True
Let p(m) = -m**2 + 27*m - 30. Let f be p(22). Suppose 2*a = -2*a + f. Does 5 divide a?
True
Let s = 164 - 75. Let l = s - 34. Is l a multiple of 3?
False
Suppose 0 = 5*q + 2*q - 609. Suppose k = -2*f + 22, 0*f + f + q = 3*k. Is k a multiple of 4?
True
Suppose -n + 5*a + 0*a = 46, -4*a = 2*n + 36. Let g = n + 84. Is g a multiple of 14?
False
Let a = 21 + -13. Let g(i) = -i**3 + 69 + 10*i**2 + i**2 - 57 - 13*i. Is g(a) a multiple of 20?
True
Let n(x) = -16*x - 3. Let k be n(-1). Let f(t) = t + 1. Let v(s) = 4*s - 14. Let j(g) = 5*f(g) - v(g). Is 18 a factor of j(k)?
False
Suppose 0 = 6*n + 31 + 41. Does 40 divide 1 + -1 + (-6)/n*468?
False
Is 30 a factor of -4 + 7/((-28)/(-4576))?
True
Suppose 0 = -5*s - 2*d + 39, 0*s + 2*d + 10 = 2*s. Let z = 23 - s. Is 4 a factor of z?
True
Suppose -3*b + 3 = 9, 4*b = k - 176. Is 6 a factor of k?
True
Let w(f) = -f**2 - 2*f. Let y be w(-3). Let r = 2 - y. Is 7 a factor of 3 - (-29 + 20/r)?
True
Suppose -2599 = -25*s + 10976. Is s a multiple of 7?
False
Suppose -6*z + 23820 = -4*t, 0 = -16*t + 17*t. Does 70 divide z?
False
Suppose -88 - 14 = -3*z. Suppose 0 = -2*p + z + 86. Suppose 0 = -2*n + 14 + p. Is n a multiple of 14?
False
Let o = -3 - -6. Let p(a) = 4*a**3 + 2*a**2 + a - 1. Let i be p(o). Suppose 5*u - j + 3*j - i = 0, 3*j = 3*u - 60. Is 6 a factor of u?
True
Suppose 2*q = 70 + 32. Let z(x) = x**3 - 2*x**2 + x - 6. Let p be z(3). Let c = p + q. Is 11 a factor of c?
False
Suppose 5*s - 2719 = -2*a + 911, -s = 5*a - 726. Is 22 a factor of s?
True
Let b(s) = -s**2 + 2*s. Let l be 0/((-5 + 4)*1). Let r be b(l). Suppose 2*p = -2*u - r*u + 22, 4*u = 5*p + 17. Is u a multiple of 2?
True
Suppose -2*z = -259 + 49. Let v = z - 72. Is v*((-3)/(-9) + 1) a multiple of 22?
True
Suppose 2*k + 0*s = s + 530, 0 = -3*k + 3*s + 798. Let i = -142 + k. Is i a multiple of 16?
False
Let s(p) = -37*p + 1. Let n(r) be the third derivative of r**6/120 + r**5/12 - r**4/24 - r**3 + 7*r**2. Let g be n(-5). Does 23 divide s(g)?
False
Let t = 30 - -135. Is t a multiple of 11?
True
Does 4 divide (3 + -2)/(9/288)?
True
Let b(z) = 5*z**3 - 12*z**2 + 3*z + 34. Does 10 divide b(6)?
True
Let d(t) = 17*t**3 + 2*t**2 - 2*t + 1. Let g be d(1). Let f = g + 142. Does 40 divide f?
True
Let x be 4/28 - (-110)/14. Let h = x + 28. Suppose 1 = 2*y + 5*d - 43, -3*d = 2*y - h. Is y a multiple of 12?
True
Let g = 38 + -35. Suppose -48 - 249 = -g*j. Does 29 divide j?
False
Let c(p) = -p**3 + 7*p**2 + 5*p - 2. Let l = -14 + -21. Let g be 4/(-2)*l/10. Is c(g) a multiple of 21?
False
Let n = -205 - -208. Let t(w) = 17*w**2 + 17*w - 13. Let c(s) = 4*s**2 + 4*s - 3. Let o(g) = 26*c(g) - 6*t(g). Does 12 divide o(n)?
True
Let s = 3167 + -1166. Is s a multiple of 33?
False
Does 62 divide ((-32)/12)/(1*6/(-1584))?
False
Let l(m) = m**3 + m**2 - m + 1. Let z be 1 + -6 - -3 - -1. Let s(h) = -4*h**3 + h**2 - 6. Let u(d) = z*s(d) - 3*l(d). Does 15 divide u(4)?
True
Let r(l) = l**2 - 6*l - 140. Let s be r(15). Let c(q) = 2*q - 7 - 6*q - 1. Is c(s) a multiple of 6?
True
Suppose 0 = -3*o + 8 + 1. Suppose 6*l = o*p + l - 96, 0 = -5*p - 4*l + 160. Is 7 a factor of p?
False
Is 8 a factor of -3165*(-9)/27 - (2 - 3)?
True
Let h(m) = -5*m**2 - 4*m + 89. Suppose 0 = -x + 3*x - 22. Let g(b) = b**2 + b - 18. Let a(d) = x*g(d) + 2*h(d). Is 12 a factor of a(8)?
False
Let i = 400 + -382. Is 7 a factor of i?
False
Let z = 353 + -236. Suppose 5*p = -z + 592. Is 5 a factor of p?
True
Let g = -75 + -79. Let z(s) = s**3 - 12*s**2 + 4*s + 1. Let f be z(11). Let y = f - g. Is 26 a factor of y?
True
Let f = -32 + 31. Let z(y) = 14*y**2 - 2*y - 1. Is z(f) a multiple of 5?
True
Let c = -223 - -211. Let r be (-194)/10 - 2/(-5). Let f = c - r. Is f a multiple of 3?
False
Let s(i) = i + 12. Let d be s(-10). Suppose g + 2*x = -1, d = -3*g - 2*x + 7. Let t = g - -9. Does 5 divide t?
False
Suppose 33035 = 17*d - 18373. Does 54 divide d?
True
Suppose 2694*a - 2156 = 2693*a. Is a a multiple of 22?
True
Is 82 a factor of (883/2)/1 - (-29)/58?
False
Suppose -11*d + 62 = 18. Is (-4 - 134)*d/(-6) a multiple of 22?
False
Suppose -2*t - 1 = 3*s - 9, 3*s - 5*t + 20 = 0. Suppose -2*n + 5*n - 36 = s. Suppose -n*k + 24 = -9*k. Does 8 divide k?
True
Suppose 5*g 