)?
True
Let s be 968/16*(1 - (-5)/1). Let k = s + -203. Is k a multiple of 10?
True
Let n(q) = -29*q - 1. Let r be n(-14). Suppose 0*w + r = 9*w. Does 15 divide w?
True
Let u = 379 - 265. Suppose -5*o = -u - 1041. Is 10 a factor of o?
False
Let u = 18 - 12. Let z be 3/(-8 - 1) - 678/(-9). Suppose -11*g + z = -u*g. Is 5 a factor of g?
True
Let h(o) = -27*o + 225. Let k be h(7). Suppose 43*r - k*r = 6335. Is r a multiple of 5?
True
Let w(d) = d**3 - 8*d**2 - 7*d + 14. Let k = 74 - 65. Is w(k) a multiple of 23?
False
Let u = 12395 + -6158. Is u a multiple of 81?
True
Suppose -2*f = g + 1 - 393, -5*f = g - 407. Is g a multiple of 15?
False
Suppose 19*l - 108 = 158. Suppose 0 = l*n - 6531 - 8799. Does 12 divide n?
False
Suppose 0 = 57*f + 138*f - 2783040. Is f a multiple of 32?
True
Let p(r) = -r**2 - 15*r - 52. Let j be p(-9). Suppose -2*u + 210 = 2*u - 2*t, u - j*t = 45. Does 24 divide u?
False
Suppose 0 = -8*c + 10*c - 40. Suppose -c*q + 12056 = 1336. Does 7 divide q?
False
Let o = -287 - -5159. Does 42 divide o?
True
Suppose 0 = -6*f - 37 + 61. Suppose -f*i + 871 = i - 4*a, -5*i + 5*a = -875. Is 14 a factor of i?
False
Let c = -11093 - -53124. Does 59 divide c?
False
Let g(q) be the first derivative of q**3/6 + 33*q**2/2 + 9*q + 9. Let f(k) be the first derivative of g(k). Does 15 divide f(-18)?
True
Is (-130)/(((-322)/(-714))/(-23)) a multiple of 65?
True
Let y be (-1 - -6)*(162/15)/9. Does 6 divide (-2 + 32)*(7 - y)?
True
Suppose -40*o = -1102671 + 303791. Is 4 a factor of o?
True
Suppose -2*m = -9 + 1. Let y be m/6*60/(-40). Is (-4)/y + -4 + 16 a multiple of 16?
True
Let n(f) = 15*f**2 - 2*f. Let l be n(-3). Let m be 18/(-27)*(-3)/(-11) + 285/55. Suppose m*r + 4*x = 6*r - l, 243 = 2*r + 5*x. Does 43 divide r?
True
Suppose -149 = -2*x - c, 2*x - c = -2*x + 283. Let p = x + -62. Is p a multiple of 10?
True
Let d = 51053 - 32917. Is 185 a factor of d?
False
Let t = -109 - -115. Let z(x) = x**2 - 2*x + 2. Let i be z(2). Is 9 a factor of t/(-6)*i - (-166)/2?
True
Suppose 0 = -447*s + 441*s + 1530. Is 17 a factor of s?
True
Does 16 divide 6901/134*(551 - 3/(-3))?
False
Let t be (-216)/(-36) + 1 + 470. Let q = 147 + t. Is q a multiple of 9?
False
Let k be (-209)/(-2) - 2/4. Let a(b) = 29*b**2 + 287*b - 23. Let i be a(-10). Suppose -i*m + 3*m = -k. Is 12 a factor of m?
False
Let x(f) = f**3 - 17*f**2 - 8*f. Let p = 90 + -9. Suppose -5*n = 3*j - p, -3*n - n + 2*j = -78. Is x(n) a multiple of 18?
True
Let w(r) = -r**2 - 11*r - 6. Let g be w(-10). Suppose -156 = -7*n + g*n. Let a = n + 5. Is a a multiple of 19?
True
Let i(s) = 5*s + 44. Let p be i(-9). Is 20 a factor of (-440)/(-110) + 1/(p/(-262))?
False
Let c be (1 - 1)/(15 - 12). Suppose c = -3*p + 332 + 76. Is 2 a factor of p?
True
Suppose 39*d = 34*d + 10. Suppose -d*r = 9*r - 154. Is 13 a factor of r?
False
Let l be (-2)/12 - (-17)/102. Suppose l = 36*x - 38*x + 576. Does 24 divide x?
True
Let v(j) = 5132*j**3 + 4*j**2 + j - 3. Does 21 divide v(1)?
False
Let p(n) = -10*n + 81. Let t be p(8). Does 5 divide (-1350)/(-40) + (-6)/8 + t?
False
Let g(t) = t**3 - 2*t**2 - 19*t + 1. Let i(h) = -h**2. Let k(o) = g(o) + 4*i(o). Does 2 divide k(10)?
False
Let a(b) = -16*b - 38. Let q be a(-6). Let p = 159 - q. Is p a multiple of 17?
False
Let u(p) = 10802*p - 2. Let f be u(1). Suppose 33*l - 39*l + f = 0. Suppose -10*j + l = 5*j. Is 34 a factor of j?
False
Is (16 - (21 + -23)) + 14022 a multiple of 39?
True
Let k(i) = i**3 - i**2 + i + 5. Let p be k(-3). Let a = p + 36. Let s(d) = 21*d**2 + d + 3. Is 9 a factor of s(a)?
False
Let t be 4560/4 + 6 - 0. Suppose t = 5*a - 1894. Does 8 divide a?
True
Suppose 13*q + 15 = 14*q + 2*d, 4*d + 95 = 3*q. Suppose 0*a - 19925 = -q*a. Does 61 divide a?
False
Suppose 143378 = 5*b - 2*z, 1454*z = 1451*z - 12. Does 35 divide b?
False
Let o(a) = 58*a**3 - a**2 - 14*a + 15. Is 26 a factor of o(1)?
False
Suppose 5*z + 570 = d, -6*d + 2*d - 4*z + 2304 = 0. Is 9 a factor of 12/10 - 23/(d/(-1820))?
False
Let s(r) = 21 + 6*r + 37 + 6*r + 3*r + r**2. Let k be s(-6). Is 7 a factor of k/(-34) + ((-30044)/(-68))/7?
True
Let m(d) = -594*d - 117. Is m(-2) a multiple of 21?
True
Let p = 44 + -41. Let j(a) = 38*a - 30. Does 12 divide j(p)?
True
Suppose -i - 29161 = -3*z, 0 = 33*i - 32*i + 1. Does 45 divide z?
True
Let h(w) be the second derivative of -w**5/20 + 5*w**4/4 - w**3/6 + 6*w**2 - 28*w + 2. Is 21 a factor of h(7)?
False
Suppose 4*o - 19 = -3*i, 3*i = 2*o - 3*o + 34. Let c(t) = -4*t - 7. Let b be c(i). Let f = b + 139. Does 19 divide f?
False
Let q be (2*2/4)/(136 - 137). Is 139*((-1)/(-3))/q*-3 a multiple of 11?
False
Let s be (1 - 7)/6*(1 + 29). Let j be (-1360)/s + 8/(-6). Does 22 divide (6/(-4))/((-3)/j)?
True
Let v = -1307 - -7828. Suppose v = 65*g - 14929. Is g a multiple of 3?
True
Suppose 2*w = -0*w + 70. Does 11 divide ((-973)/w)/(2*2/(-20))?
False
Let x be 2/9 - (-4)/(-18). Suppose 0 = -x*y + 13*y - 130. Is y a multiple of 3?
False
Suppose -3*n - 69 = h, -2*h + 4*n - 118 = -0*n. Let f = 188 - 93. Let j = f + h. Is j a multiple of 5?
False
Suppose -2*z = -4, 5*m + 3*z + 2 = 7*m. Suppose 2*w - 80 = -h - h, -4*h + m*w = -200. Does 7 divide (h/(-20))/((-57)/28 + 2)?
True
Suppose -169737 = -30*w + 353973. Does 17 divide w?
False
Suppose 4*q + 704 = b, 6*b + 4*q - 3544 = b. Suppose 3*m - b = -2*c, -3*c = -2*m + 4*m - 477. Is 20 a factor of m?
False
Suppose 336*j + 1422 = w + 339*j, j = 4*w - 5636. Does 6 divide w?
True
Let a be (-403410)/(-180) - (-1)/(-6). Let h = a + -843. Is 16 a factor of h?
False
Let x(j) = -3*j + 108. Let q(i) = -i + 54. Let c(o) = 5*q(o) - 2*x(o). Is 6 a factor of c(-30)?
True
Suppose 2*v + 20 = 28. Suppose -8*t + 376 = -4*t + v*b, 5*b = 3*t - 250. Does 10 divide t?
True
Suppose 0 = -14*g - 11*g - 27944 + 150219. Is 73 a factor of g?
True
Let k(n) = -n**3 + 2*n**2 - 3*n + 8606. Let z be k(0). Does 6 divide (-2)/12 + z/12 + 3?
True
Let n(p) = -3*p**3 + 28*p**2 - 54*p - 1500. Is n(-18) a multiple of 186?
True
Let d(w) = -w**2 + 14*w + 31. Let o be d(15). Suppose -o*a + 14*a + 164 = 0. Let v = -74 + a. Is 3 a factor of v?
False
Suppose -i - l = -0*l - 9, 5*i - 5 = 5*l. Suppose 1730 = 2*z + i*m, -58*z = -57*z - 5*m - 835. Does 52 divide z?
False
Let c(h) = 5*h**2 + 461*h + 79. Let m be c(-92). Let o(g) = -58 - 5*g - g - 3*g. Is 9 a factor of o(m)?
False
Let t(l) = -26*l + 21. Let u(w) = w**2 + 9*w + 7. Let d be u(-9). Suppose -d - 5 = 4*v. Does 15 divide t(v)?
False
Let o be 2/(-1)*(-70)/14. Suppose -3*w = -o*w - 14. Is 22 a factor of 440*(w/(-10)*-18 + 4)?
True
Let q(f) = -3*f**3 - 16*f**2 - 27*f - 12. Is 2 a factor of q(-6)?
True
Suppose 4*i = 2*s + 90, -2*i + 3*s + 42 - 3 = 0. Let v be i/84 - 3/(42/1250). Let a = v + 194. Is 12 a factor of a?
False
Let j(m) = 3*m**2 - 96*m - 776. Is 67 a factor of j(-50)?
True
Is 241 a factor of ((-8)/10 + 0)/(-14*22/29624210)?
False
Suppose 4*r - 11 = 197. Suppose r = 3*a - 59. Let d = a + -29. Does 8 divide d?
True
Let v = 1508 - 1024. Let i = 988 - v. Is i a multiple of 14?
True
Suppose 2*q - 3 = -3*n + 12, 4*q = 3*n + 3. Is (241 - -2)/q - -2 a multiple of 9?
False
Let y(m) be the third derivative of -11*m**4/24 + 3*m**3 - 111*m**2. Is 17 a factor of y(-2)?
False
Let i = -81 - -83. Suppose -i*j + 1290 = 3*k, k - 5*k + 2584 = 4*j. Suppose 6*z - 2*z - p - 847 = 0, 3*z - 5*p = j. Is 28 a factor of z?
False
Let k = 977 - -2609. Suppose 14*f + k = 36*f. Is 57 a factor of f?
False
Let c(g) = -37*g + 4. Let u be (-6)/3 + 6/4*-2. Is c(u) a multiple of 21?
True
Suppose 30 = 3*d - b, 0*d - 3*b = -2*d + 13. Let r(i) = -3*i + 30. Let n be r(d). Is (-1)/((-1)/(((-99)/n)/3)) a multiple of 5?
False
Let r = -6348 + 14412. Does 5 divide r?
False
Let t = 150695 - 87463. Is t a multiple of 38?
True
Let w(n) = 92*n**2 - 88*n + 24. Is 72 a factor of w(-12)?
True
Let k(p) = -p**3 - 14*p**2 - 11*p + 7. Let r be k(-13). Let q(o) = -o - 16. Let n be q(r). Suppose 9 = 5*b - 2*b, -4*b - 192 = -n*d. Is d a multiple of 17?
True
Let c be 4/(-14) - 837*33/77. Let k = c + 450. Is 13 a factor of k?
True
Let d = -456 - -461. Suppose 0 = -j - 3*m + 1703, -58*m = -53*m - d. Is j a multiple of 72?
False
Let h be (-1*(1 - 3))/(6/(-261)). Let a = h - -288. Is 13 a factor of a?
False
Let g(o) = 5*o**2 - 8*o - 15. Let k be g(3). Suppose -2*b = -5*n + k*n