e -9 = -l - 11. Is 18 a factor of x(l)?
True
Let h(f) = 53*f**2 + 35*f + 707. Is h(27) a multiple of 103?
False
Let s = -3678 - -4513. Does 18 divide s?
False
Let h = -499 - -3724. Is h a multiple of 15?
True
Let o be (-3 + -9)/(-6) - -2. Let c(i) = 9*i**3 + 5*i**2 - 6*i + 3. Is c(o) a multiple of 20?
False
Let i(d) = -2*d - 40. Let t be i(-22). Suppose 2*h - 2670 = -t*v - 234, -2430 = -4*v + h. Is v a multiple of 19?
True
Let r(p) = -78*p - 12. Suppose 0 = -7*i + 14 - 49. Let a be r(i). Suppose -2*y - a = -11*y. Does 5 divide y?
False
Suppose 5*x = -2*u + 3*u + 6, 0 = 3*x - 2*u + 2. Suppose 556 = x*j - 338. Is 9 a factor of j?
False
Let o(n) be the first derivative of 12*n**2 - 42*n + 177. Is 6 a factor of o(2)?
True
Let b(l) = -15*l - 61. Let a be b(-7). Suppose -a = 3*j - 50. Suppose 2*u + x = 14, j*x - 1 = -u + 3*x. Is u a multiple of 5?
True
Suppose 103 = 3*r + 2*g - 104, 5*r - 5*g = 320. Let n = r + -50. Is 2 a factor of n?
False
Let j be 19 - 16 - (0 - -16). Let s = -13 - j. Is (-2)/(s - 4/86) a multiple of 19?
False
Let g(u) = 3174*u - 311. Is 11 a factor of g(9)?
False
Is 20 a factor of (-7731)/(12/40*-1*5)?
False
Let b(v) = 5*v + 28. Let t be b(-5). Suppose 6*u - 25 = 5*o + u, -11 = t*o - 2*u. Is (o/(3/15))/(1/(-21)) a multiple of 35?
True
Let r = -415 + 206. Is 23 a factor of 38/r - 12905/(-11)?
True
Let f(n) = n - 18. Let l be f(14). Let b be l + (-21)/(-3) + -11. Let x(r) = 3*r**2 - 4*r + 11. Is 47 a factor of x(b)?
True
Let t(b) = 9*b**2 - 50*b + 9. Is t(13) a multiple of 44?
True
Let a(w) = -11*w**3 - w**2 - w. Let j be a(-1). Let q = -211 - -248. Let l = j + q. Is l a multiple of 6?
True
Let a(n) = -2*n**2 + 5*n - 5. Let b be a(3). Let s be 50*((-28)/b + 3). Suppose -5*j = -3*k - 510, j = -2*j - 2*k + s. Is 18 a factor of j?
False
Suppose 13*v - 46200 = -11*v. Suppose -3*i + v = 8*i. Is 27 a factor of i?
False
Let c = -398 + 453. Is 20 a factor of 2178/c - (-12)/30?
True
Suppose 0 = 3*m - 3181 - 10109. Is 25 a factor of m?
False
Is 13 a factor of (39/(-5))/((-555)/17575)?
True
Let g = -1 - -13. Suppose -4*t + x + 39 = -4*x, 3*t + 2*x - g = 0. Suppose t*r - 15*r = -1323. Is r a multiple of 22?
False
Let w = 644 + 6489. Does 93 divide w?
False
Suppose 0*v + 20 = -y - 4*v, 2*y + 5*v + 25 = 0. Does 51 divide -5 - (y - 1) - 11*-5?
True
Suppose -33*a = -40*a + 42. Let t be 374/a*(-18)/3. Let d = t + 581. Does 38 divide d?
False
Let v(a) = -2*a**3 - 7*a**2 - 19*a - 80. Let k be v(-8). Let m = -150 + k. Does 21 divide m?
False
Let d = 96 - 96. Suppose d = -23*m + 13*m + 900. Is -28*27/m*95/(-6) a multiple of 19?
True
Let f(m) = -10*m - 137. Suppose -18*j + 210 - 732 = 0. Does 9 divide f(j)?
True
Let a(g) = 3*g**2 - 6*g + 6. Let r be a(2). Let o be r/48 - (-1893)/24. Let w = 87 - o. Is 8 a factor of w?
True
Suppose 0 = 45*y - 3564 - 43892 - 14914. Is y a multiple of 21?
True
Suppose d - c + 1 = 0, 0 = 4*c - c - 3. Suppose -518 = -p - d*p. Is p a multiple of 37?
True
Let y(t) = -t**3 - 15*t**2 - 15*t + 12. Let r be y(-14). Let z = r + 51. Suppose 43 + z = 4*k. Is k a multiple of 30?
True
Let c(h) = 584*h**2 - 30*h - 109. Does 35 divide c(-7)?
False
Let q(j) = j**2 + 3*j + 3. Let k be q(-2). Let f(g) = 101*g - 4. Let p be f(k). Suppose 5*n = 457 - p. Does 9 divide n?
True
Suppose 84*w - 92493 - 44847 = 0. Is 15 a factor of w?
True
Suppose 2772 + 393 = 5*y. Let l = -408 + y. Does 15 divide l?
True
Suppose -24*c = 3672 - 17760. Suppose c = 10*r - 12783. Is r a multiple of 19?
False
Is 7 a factor of (14/3)/((-3)/(54/(-8)))*2344?
True
Let j be (2/3)/((-10)/(-180)). Suppose j*h = 9*h + 15. Suppose 6*b - h*b = 35. Is 7 a factor of b?
True
Suppose 3*r + 16 = 2*h, -r = h - 0*r - 13. Let n = -169 + 242. Let q = h + n. Does 28 divide q?
True
Let r = -47 + -13. Let g = 105 + r. Let q = g + -3. Is 6 a factor of q?
True
Suppose 0 = 5*i - 8*i + 435. Let l = i + -142. Suppose 0 = -u, -l*a - u = -12 - 21. Does 3 divide a?
False
Suppose -10 = -5*i + 5*z, 0 = 4*i - 2*z + 7*z - 17. Let t be -10*((-5)/(-2))/(-5). Suppose -i*k = -2*j + 24 + 32, j - 15 = -t*k. Is j a multiple of 25?
True
Let f = 4724 + -1724. Is f a multiple of 75?
True
Let n(j) be the third derivative of -17*j**4/24 + 11*j**3/6 + 7*j**2. Let o(t) = -t**2 + t + 1. Let r(k) = -n(k) - o(k). Is 19 a factor of r(-18)?
False
Let u = -500 + 1174. Does 5 divide u?
False
Let z(r) be the third derivative of -43*r**4/24 - 11*r**3/6 + 68*r**2. Is z(-2) a multiple of 15?
True
Let i(d) = d**2 - 3*d - 14. Let c be i(6). Let x be (3/c)/(6/32). Is x/6*(15 + 189) a multiple of 17?
True
Suppose 0 = -y + 5*o + 8298 + 4533, o = 5*y - 64083. Is 178 a factor of y?
True
Suppose 15*y - 8*y - 126 = 0. Is y a multiple of 9?
True
Let i = 1115 - -1003. Suppose -62*m = -68*m + i. Is m a multiple of 63?
False
Let l = 238 - 210. Is (19578/273)/(2/l) a multiple of 63?
False
Is 89 a factor of 89/((-6)/(-609)*((-21)/(-8))/3)?
True
Suppose 0 = 4*s - 8*s - 60. Let t be (3/9 + (-2)/(-12))*0. Is (12/s)/(t - (-1)/(-55)) a multiple of 21?
False
Suppose -4*n + 20 = -8*n. Let h be (n - 1)*2/2. Is 11 a factor of (-222)/15*15/h?
False
Let r(t) = t**2 - 5*t + 4. Let p be r(5). Suppose 0 = -3*l - 2*g + 3*g + 686, -p*l + 922 = -5*g. Suppose -8*j - l = -11*j. Does 17 divide j?
False
Suppose -5*o + 7 = -18, -2*x + 3*o = -7985. Is x a multiple of 20?
True
Suppose -131011 = 131*y - 581651. Does 8 divide y?
True
Let j(g) = 3*g**2 - 106*g + 31. Let v be j(35). Does 73 divide (118 - 0)*(-16)/v?
False
Suppose 0 = -3*b - 12, 7*d - 2*b = 9*d - 534. Is d a multiple of 12?
False
Suppose 0 = 4*m - 2*m + 3*n - 44, -3*m + 63 = 3*n. Let t = 24 + m. Is t a multiple of 10?
False
Let z(n) = -138*n + 9. Suppose -14*r = -13*r + 2. Let w be z(r). Suppose -3*t = -w - 195. Is 16 a factor of t?
True
Let x = 438 - 245. Suppose -x - 311 = -w. Is w a multiple of 12?
True
Let h(m) = -7*m - 156. Let z be h(-23). Suppose 0 = p - z*p + 2108. Does 10 divide p?
False
Let g be 1/1 + -1*(7 + -2). Let o(z) = 37*z + 193. Does 5 divide o(g)?
True
Let w = -89 + 496. Suppose -11*c = -w - 319. Is c a multiple of 4?
False
Suppose -16417 = -45*v - 7182 + 9305. Is v even?
True
Let f(x) be the first derivative of -31*x**2/2 + 156*x + 156. Is f(-44) a multiple of 95?
True
Let x(i) = i**2 + 9*i - 1820. Is x(61) a multiple of 70?
True
Suppose 5*v = 5, 3*o - 4*v = -0*v + 20. Suppose 0 = 5*g - 5, -2*g + o = 3*q - 0*g. Does 13 divide q/16*-106*-8?
False
Let j be 6/9 + (-760)/(-12). Suppose 21*x + j = 29*x. Does 8 divide x?
True
Let a = 132 - -43. Let y = -127 + a. Does 29 divide 209/3 - y/72?
False
Suppose 0 = -3*q + 320 - 41. Suppose -q = 6*h - 7*h. Let j = h + -55. Is 13 a factor of j?
False
Suppose 0 = -3*b + 7 + 53. Let o be 255 - b/(-15)*(-6)/(-4). Let f = 499 - o. Does 12 divide f?
False
Let x be 5/(35/24003) - -3. Suppose -x = -5*d - 8*d. Is d a multiple of 11?
True
Suppose 14*r - 5688 = -10*r. Let s = r - 90. Is s a multiple of 3?
True
Let l be (-17)/(17/(-1698))*(-2)/(-12). Let n = 1031 - l. Is n a multiple of 44?
True
Let v = -44 + 47. Suppose 0 = v*o - 5*g - 1, -3*o - 5*g + 62 = 21. Suppose -89 = -b - o*q + 5*q, 0 = 2*b + q - 166. Is b a multiple of 9?
True
Suppose 9 - 15 = -2*j. Suppose -3*d = -3*n + 9, -9 = -3*n - j. Let c(g) = 112*g**2 + 4*g + 4. Does 7 divide c(d)?
True
Suppose 4*o = -o - 5*l + 40, -5*o - 2*l = -25. Let b(i) = i**2 - 13*i - 2. Let v(m) = m**2. Let k(y) = o*v(y) - b(y). Is k(-10) a multiple of 17?
False
Suppose -c + y + 28 = 0, 2*c = -8*y + 4*y + 50. Suppose c = -13*z + 92. Suppose 278 = z*t - 212. Is 23 a factor of t?
False
Let a = 2411 + -1762. Is a a multiple of 19?
False
Let y(w) = w**2 - 26*w - 23. Let m be y(27). Let o be (-5)/(5/2) - (9 - 11). Suppose -5*a + 4*n = -534, -m*a + 4*n - 104 + 528 = o. Does 28 divide a?
False
Let f(u) = -149*u**2 + 3*u - 7. Let h be f(4). Is (1/1)/(h/238 - -10) a multiple of 5?
False
Let b(h) = -h + 2. Let a be b(0). Suppose -4*s = 4*j - 1204, -1477 = -3*j - a*j + 2*s. Does 33 divide j?
True
Suppose 2*j - 3806 = -3800. Suppose j*u - 183 = -6*l, 2*l + 2*l + 183 = 3*u. Is 2 a factor of u?
False
Let j = -95 + 95. Suppose 6*i + 663 = 8*i - y, j = -4*i - 2*y + 1314. Is i a multiple of 15?
True
Does 6 divide 44/(-20 + 118098/5904)?
False
Let w = 1012 + -1017. Let q(t) = -129*t - 45. Is q(w) a multiple of 10?
True
Suppose -2*z