 = l + -61. Does 16 divide w?
True
Let s = 23107 + -11702. Does 202 divide s?
False
Let z(l) = l**3 - 31*l**2 + 33*l - 430. Does 10 divide z(34)?
True
Suppose 8*x + 95 = 119. Suppose 0 = -2*o + x*h + 711, -1041 = -3*o + h - 5*h. Is 12 a factor of o?
False
Let l = -984 + 2325. Suppose -3*g = 4*u - 1600, 0 = -5*g - 2*u + 1349 + l. Does 29 divide g?
False
Let f(g) = g - 32. Let x be f(21). Let u = 7 - x. Suppose 14*t + 528 = u*t. Is 22 a factor of t?
True
Let r = -131 - -154. Let u(g) = -g**3 + 26*g**2 - 68*g - 3. Is 10 a factor of u(r)?
True
Is ((-1 - (-13118)/20) + 2/(-5))*4 a multiple of 22?
True
Let f(w) be the third derivative of -w**6/120 + 13*w**5/60 + 7*w**4/6 + 14*w**3/3 - 30*w**2 - w. Is f(14) a multiple of 4?
True
Let a = -56 + 105. Let h = a - 44. Suppose -h*n + 710 = 5*n. Is n a multiple of 11?
False
Does 12 divide (-1699)/(-7) + -1 + 9*28/882?
False
Let v = 169 - 119. Let h = 54 - v. Suppose -4*f + 244 = -4*l, -h*f + 2*l + l + 240 = 0. Does 33 divide f?
False
Let o(n) = 2025*n - 567. Does 81 divide o(2)?
True
Suppose -8*j + 8*j + 245224 = 29*j. Is j a multiple of 148?
False
Suppose -28*n - 16*n = 19*n - 387135. Does 5 divide n?
True
Suppose 0 = -3*x + 5766 + 5262. Does 5 divide x?
False
Let v(y) = -3*y**2 + 45*y + 51. Let r be v(16). Suppose -13 = -r*a + 371. Is 8 a factor of a?
True
Let o = 14124 + -4686. Does 6 divide o?
True
Let q(n) = 2*n + 13. Let r = 19 - 23. Let w be q(r). Suppose 2*o = 31 + w. Is 18 a factor of o?
True
Let r(h) = 215*h**3 + 9*h**2 - 6*h + 35. Is 101 a factor of r(6)?
True
Let a be 80/(-6)*135/12. Let p = 262 + a. Let w = 199 - p. Is w a multiple of 29?
True
Let x be (-4)/6 - (-14)/21. Suppose -3*z - 4*i + 72 = x, -5*i + 56 = 5*z - 59. Is 3 + (z/2 - -1) a multiple of 7?
True
Let o = -24 - -51. Let j = 49 - o. Suppose -3*q + j = -c - 22, 0 = -q + 3*c + 12. Does 15 divide q?
True
Let i(d) = -901*d + 4907. Is 18 a factor of i(-7)?
True
Let a be (-3 - -4)/(-1 + 2). Let g be 0 - ((-12)/(-15))/(a/(-5)). Suppose -147 = -g*h + 25. Is 12 a factor of h?
False
Let p = -61 + 65. Suppose 25 = p*v - 3. Is 11 a factor of 327/v + (-10)/(-35)?
False
Let m(x) be the second derivative of x**3/6 - 11*x**2 + 20*x. Let a(l) = l - 23. Let p(t) = 4*a(t) - 5*m(t). Is p(6) a multiple of 10?
False
Let n(s) = 27*s - 42. Let x be n(-7). Let l = -163 - x. Let q = 96 - l. Does 2 divide q?
True
Let x = 963 - 740. Let f be 1044/10 - 4/10. Let y = x - f. Is 19 a factor of y?
False
Let u be -34*(7 + 6) - -3. Let x = u - -979. Does 12 divide x?
True
Suppose 242310 = 148*w - 66*w. Is 14 a factor of w?
False
Let m(t) = t**3 + 4*t**2 - 3*t + 18. Let d be m(-5). Suppose -2*v + 2*o + 88 = 0, d*o = 2*v + 9*o - 97. Is 47 a factor of v?
True
Is 15 a factor of (-80)/1*-53 - (203 + -211)?
False
Let u = 7660 - 1231. Does 27 divide u?
False
Let h(j) = j**2 - 23*j - 156. Let t be h(16). Let n = 532 + t. Is n a multiple of 8?
True
Let t(u) = u**2 + 7*u - 6. Let c be t(-8). Let y(b) = 62*b**c + 27 + 60*b**2 - 17*b - 123*b**2. Does 5 divide y(-15)?
False
Let o(x) be the third derivative of x**5/20 + 7*x**4/24 - 11*x**3/2 + 8*x**2 + x. Is 10 a factor of o(-11)?
False
Suppose -60627 = -30*v - 3743 + 34916. Does 10 divide v?
True
Suppose 1140 = 2*z + 3*z + 3*r, 4*z - 895 = r. Let h be ((-2)/(-5))/(18/z). Suppose -x - 141 = -h*t, -5*t - x = 2*x - 137. Is t even?
True
Let f(a) = -8*a**3 + 5*a**2 + 12*a + 15. Let p be f(-3). Let c = p + -121. Is 12 a factor of c?
False
Suppose 31*z - 554415 - 384934 = -9628. Is 14 a factor of z?
False
Suppose 0 = 4*p - 0*p + 3*i - 7068, 0 = -5*p + i + 8835. Does 93 divide p?
True
Suppose 0 = -2*s - 2*j + 16692, -43*j = 5*s - 45*j - 41765. Is s a multiple of 8?
False
Let y(q) = -6*q + 36. Let i be y(6). Suppose -8*h = -i*h + 192. Does 23 divide (-310)/(-8) + 18/h?
False
Suppose 0 = -0*m - m + y + 20653, -3*m + y = -61949. Does 11 divide 2/7 + 5 + m/56?
True
Suppose -5*r + 4 = -5*p - 16, 2*r = 3*p + 10. Is 42 a factor of p - (-5 + (-4)/(-4) + -460)?
True
Suppose 86*h = 99*h - 48321. Suppose -h = 18*r - 9189. Is 38 a factor of r?
True
Suppose 439*f - 3*d + 15907 = 441*f, -5*f = 5*d - 39755. Is 58 a factor of f?
True
Let t = 328 - -90. Suppose 13*i - 2589 + t = 0. Is i a multiple of 15?
False
Suppose 0 = 4*j - 0*t + 4*t + 72, 35 = -2*j - 3*t. Let g be (-1176)/(-30) + (2 - -2)/(-20). Let a = g - j. Is a a multiple of 33?
False
Let j = 14557 + -807. Is 11 a factor of j?
True
Let m(q) = 3*q**3 - 6*q**2 - 5*q - 10. Let a be m(6). Suppose 8*i - a = 440. Let n = -77 + i. Does 2 divide n?
False
Let l be (-17 - (-328)/20)/((-2)/60). Let b(t) = -3*t - 22. Let v(s) = -3*s - 22. Let y(n) = -5*b(n) + 4*v(n). Is 7 a factor of y(l)?
False
Suppose 0 = y + 5*i - 14990, -2*y = -56*i + 53*i - 30032. Is y a multiple of 38?
True
Is 23 a factor of -10 + 2 + 18 + (-211680)/(-15)?
True
Let y be (60/(-6))/(-2 - -4). Is 7 a factor of 387 - 0 - 5 - y?
False
Let j(k) = -k**2 + 2*k + 3. Let t be j(0). Suppose -5*a - 3*p + p + 10 = 0, t*p = 0. Suppose -f = -3*s + 171, 0 = s - 6*s + a*f + 285. Is s a multiple of 5?
False
Let r(g) = -g**3 - 14*g**2 - 14*g - 10. Let c be r(-13). Suppose -k - 4*h = 4*k - 1351, -c*k = -h - 797. Is 41 a factor of k?
False
Let a(l) = 58*l - 1. Let p be a(1). Let v(s) = -s - 20 - 23 + p. Is v(-6) a multiple of 4?
True
Let a = 17 + -69. Let d be (-20)/6 + a/78. Is 29 a factor of 0 + -3 + (-1)/(d/592)?
True
Let q(d) = 1237*d**2 - 100*d + 305. Does 12 divide q(3)?
False
Suppose 975 = 7*d + 954. Suppose -t = d, -3*l + t = 2*t - 273. Is l a multiple of 9?
False
Let m = 12332 - 4644. Is m a multiple of 31?
True
Suppose -11*n = -29*n + 16*n + 1348. Is 2 a factor of n?
True
Let b = 39 + -11. Suppose 77 = 5*d - b. Does 4 divide (24/d + 3/(-21))*4?
True
Let z(r) = -7*r**2 - 169*r - 167. Does 59 divide z(-21)?
True
Is 136*((-385)/(-2) - -15) a multiple of 114?
False
Let x = 6983 - 6231. Is x a multiple of 9?
False
Suppose 0 = 5*i, 0 = 13*n - 8*n + 3*i - 70. Let l(j) = -8*j + 170. Is 8 a factor of l(n)?
False
Is 6 a factor of (1825120/1100)/(0 + 2/15)?
True
Suppose -7*v - 4276 = -16141. Suppose -4*n + v = -5*a, -3*a = n + a - 450. Is n a multiple of 28?
False
Does 41 divide (58212/385)/((-4)/(-190))?
False
Let i(u) = 2*u**2 + 23*u - 4. Let k be i(-18). Suppose -8*v = -9*v - k. Let c = 331 + v. Does 18 divide c?
False
Suppose 292 = -4*s - 3*j, -14*s + 10*s - 5*j = 284. Does 24 divide 1*(-4 - 0) - s*1?
True
Suppose 59 = 19*q - 17. Let z be (-298)/(-2) + 2/(-2). Suppose -5*v = d - 98, -3*d = -q*v - z - 165. Is 9 a factor of d?
False
Let i = 3822 + -3207. Is 5 a factor of i?
True
Suppose 0 = 6*h - 78 + 30. Suppose 31*p = -h*p + 585. Does 7 divide p?
False
Is 21/((-12)/4) - (-32414 - -19) a multiple of 69?
False
Let s(q) = q**3 - 10*q**2 - 22. Let y be s(10). Let n(h) = 2*h**3 + 45*h**2 + 9*h - 119. Is n(y) a multiple of 16?
False
Let h be (-159543)/855 - (-1 + (-14)/(-10)). Let q = h - -263. Does 5 divide q?
False
Suppose -10*m = 3*m - 23122 - 9612. Is m a multiple of 4?
False
Let j be 14163 - (3 - (4 - 5)) - -6. Suppose -11*x - 2857 = -j. Does 11 divide x?
False
Let p(g) = 10*g**3 - 384*g + 389*g + 2*g**2 - 1 - 1. Let s be p(-3). Let z = -143 - s. Does 18 divide z?
True
Suppose 2*o - 4879 = 3*o - 26950. Is o a multiple of 21?
True
Let l = -4150 - -6145. Does 15 divide l?
True
Suppose 39*p - 42*p - 2*h + 8408 = 0, -5*p - 4*h + 14010 = 0. Is 7 a factor of p?
False
Let f(j) = -103*j**3 - 2*j - 1. Let b be f(-1). Suppose b = 2*t - 44. Suppose 0 = -3*r - 4*p + t, 3*r + r = 3*p + 57. Does 12 divide r?
False
Let x(q) = 4*q**3 - 28*q**2 + 1. Let h be x(7). Is h*5 - 3056/(-16) a multiple of 49?
True
Let q = 453 - 446. Suppose 13*n - q*n - 1080 = 0. Does 60 divide n?
True
Suppose 12 = 23*t - 19*t. Suppose -6*a + 2*a - 16 = 0, -2*a + 148 = t*i. Is i a multiple of 13?
True
Suppose -518*i + 680 = -512*i - 2*w, -4*w + 612 = 5*i. Let y = 112 - 23. Let o = i - y. Is o a multiple of 6?
False
Let i(x) = 187*x - 68. Let o(d) = -3*d**3 - 85*d**2 + 59*d + 33. Let p be o(-29). Is 85 a factor of i(p)?
True
Let o(p) = -907*p + 10735. Does 61 divide o(7)?
False
Let m(w) = -1827*w + 1819. Is m(-23) a multiple of 32?
True
Suppose -10*b - 1050 = 5*b. Is 35 a factor of (774/(-4))/9*b?
True
Suppose 3*w + 916 = 3334 + 816. Does 14 divide w?
True
Let z(f) = -8*f**2 - f - 3. Let o 