et c(l) = 0 + 0 - 22*l + 22. Let v be 3149/(-670) + ((-69)/30 - -2). Is c(v) a multiple of 11?
True
Let u(a) = 19*a**2 + a. Let o be u(1). Suppose 2*q = 2*z - 6*z + 876, 4*z = o. Suppose x = -3*h + q, -h + 4*x + 0*x + 160 = 0. Is 48 a factor of h?
True
Suppose -5*c - 3*n + 994 = -4*c, 5022 = 5*c + 2*n. Does 12 divide c?
False
Let o = -3011 - -1897. Let y = -673 - o. Is y a multiple of 49?
True
Suppose 0 = 10*l - 0*l + 3030. Let z = l - -454. Is 3 a factor of z?
False
Let o(l) = 3*l**2 + l. Let n be o(-1). Let p(u) be the second derivative of u**5/10 - u**4/12 + u**3/3 - 78*u. Is 8 a factor of p(n)?
True
Let k be 12*((-2)/4)/(6/16). Is (-6 - k - 6) + 263 a multiple of 34?
False
Let t = 338 + -336. Does 17 divide 0 - (-2)/t - (49 + -1341)?
False
Suppose 5*m + 28 = 3*m + c, -22 = 2*m - 4*c. Let q = m + 13. Is 19 a factor of (q + (-292)/(-5))*5/2?
False
Suppose 2*k + 2*n - 11205 = 3269, -3*k + 4*n + 21704 = 0. Is 85 a factor of k?
False
Suppose -50*m + 6180 = -10*m - 2620. Is m a multiple of 110?
True
Suppose q = 2*v - 14, 0*v - 4*q - 11 = v. Suppose -r + 0*t - 40 = -t, v*r - t = -212. Let a = -39 - r. Does 2 divide a?
True
Let t(u) be the third derivative of u**6/36 + u**5/12 + 7*u**4/6 - 8*u**2. Let n(x) be the second derivative of t(x). Is n(3) a multiple of 14?
True
Let i(a) = 31*a - 279. Let q be i(9). Suppose 37*x - 4537 - 162 = q. Is 24 a factor of x?
False
Let k be 3 + -1 - (0 - -1). Let l(r) = 2*r - 22. Let o be l(10). Is 13 a factor of (143/22)/(o*k/(-4))?
True
Suppose -8988028 = -171*d + 6192004 - 3345293. Does 24 divide d?
False
Let r(k) = 15097*k + 208. Is r(3) a multiple of 19?
False
Let o = -26 - -38. Does 10 divide -244*(-6)/o - -8?
True
Suppose -3*v = 0, -5*c = 3*v - 6412 + 2292. Is c a multiple of 14?
False
Let t(k) = 2*k**2 - 7*k + 25. Let h be t(11). Let l = 236 - h. Does 43 divide l?
False
Let b = -523 + 519. Is 25 a factor of ((-442)/6)/((16/b)/36)?
False
Let s = -5441 + 6064. Is s a multiple of 36?
False
Let y(g) = 23*g + 60. Let v(o) = 24*o + 59. Let t(q) = 3*v(q) - 2*y(q). Is 71 a factor of t(6)?
True
Let r(a) = -a**3 - a**2 - 14*a + 4. Let n be r(8). Let y = 325 - n. Is y a multiple of 23?
False
Suppose -l = -b - 5*l + 7, b = 5*l - 2. Suppose b + 4 = j. Is 23/(j/28 - (-1)/(-20)) a multiple of 31?
False
Suppose -2*t + 252 = 66. Let n be ((5 + -1)/(-12) - 0)*-501. Let x = n - t. Does 19 divide x?
False
Let q be (-38)/(-14) + 4/14. Suppose -2*n - 14 = -2*h, -8 = n + n. Suppose -2*u = 2*z - 74, 0*z - q*u - 81 = -h*z. Does 2 divide z?
True
Suppose 2*o = 3*o - 3, 3*p = 3*o. Suppose 0 = c + 4*r - 70 - 177, p*r - 248 = -c. Let w = c + -153. Is 14 a factor of w?
True
Suppose -2*f = -2*r + 4, 0 = 2*r - 3*r - f. Let d be ((-3)/(-9))/(r/18). Suppose 5*u = d*u - 13. Does 3 divide u?
False
Suppose 2*l - 460 = -2*m, 4*l = 2*m - 370 - 102. Let x = 285 - m. Does 6 divide x?
False
Let q(x) = x. Let w(v) = 70*v**3 + v - 2. Let o(m) = -2*q(m) + w(m). Let n be o(2). Suppose -47*c = -51*c + n. Does 10 divide c?
False
Suppose -4*t = -4*k - 7*t + 450, -117 = -k - 3*t. Suppose -2*j - k = 21. Let y = j + 90. Is y a multiple of 8?
True
Suppose -4*h - 1372 + 26238 - 2306 = 0. Does 60 divide h?
True
Let u(r) = r**3 + 11*r**2 + 17*r + 15. Let m be u(-9). Let w = 109 - m. Suppose 5*q + 519 = 3*l, 4*q = -2*l + 239 + w. Is l a multiple of 20?
False
Let i = 27470 - 14927. Does 111 divide i?
True
Let l = 13 - 3. Let i be ((-42)/70)/(2/l) + 129. Let j = 166 - i. Is j a multiple of 8?
True
Let r = -61 - -61. Suppose r = -4*u + 53 - 25. Does 16 divide (3*u/63)/((-2)/(-96))?
True
Let g(j) = -9*j + 7. Let p be g(-3). Suppose 8*c + p = 7*c. Let u = c + 64. Does 30 divide u?
True
Let o be (1 - 3/2)*-292. Let b be (-51)/34 - (-21)/6. Suppose -o = -b*l + 24. Is 17 a factor of l?
True
Is 189 a factor of (-6)/9 + (11285722/1122 - 2/(-22))?
False
Let z be 3/(6/(-4)) + 2 + 153. Suppose 4*v = z + 467. Does 13 divide v?
False
Let p = 62187 + -35277. Is 115 a factor of p?
True
Suppose -19 = -i + 1. Let b = i - 18. Suppose -5*m - 3*a = -387, -2*m - 3*m + 388 = b*a. Does 13 divide m?
True
Suppose 5*v = 0, w - 2*v = -6*v - 7. Let t(j) = j**2 + 2*j + 20. Does 5 divide t(w)?
True
Suppose -3*g + 4*g + 2*f = 63, 0 = -3*f + 15. Suppose y = b + 173 - g, -b = -4. Is 4 a factor of y?
True
Suppose 7*b - 352 = -4*b. Let o be b/(-144) + (7168/18 - 1). Let c = -280 + o. Is c a multiple of 39?
True
Let r(l) = -40*l**3 - 8*l**2 - 3*l - 7. Let p be r(-4). Let d = p + -981. Is d a multiple of 13?
True
Suppose -6*w + 5*w = -16. Suppose -5*k - w = -k. Let m(y) = -2*y**3 - 6*y**2 + 1. Is m(k) a multiple of 18?
False
Let b(a) = -9062*a - 6056. Is 7 a factor of b(-3)?
False
Let r(l) = 9*l - 44. Let w be r(14). Let i be (-1)/4 + (-349)/(-4). Suppose w*o - i*o = -260. Does 9 divide o?
False
Let k(x) = 136*x + 576. Is 22 a factor of k(21)?
True
Let o(a) = 33*a + 8 + 3 - 5 + 56. Let s(i) = 17*i + 32. Let m(y) = 6*o(y) - 11*s(y). Does 12 divide m(8)?
True
Let n be (-5)/(4 + 21/24 + -5). Let k be (-408)/(-5) + 14/35. Let h = n + k. Is h a multiple of 28?
False
Let m(n) = -2*n**2 - 8*n + 719. Does 56 divide m(0)?
False
Suppose 2*b = -2, -2 = 4*l + 2*b - 264. Suppose l*w - 1232 = 52*w. Is 22 a factor of w?
True
Suppose -17*i - 50753 = -190238. Is 37 a factor of i?
False
Let w = 8330 + -2284. Is 63 a factor of w?
False
Let u = -67 + 134. Suppose -2148*h + 2140*h - 320 = 0. Let x = h + u. Is 16 a factor of x?
False
Is 6 a factor of 1*2/(-16) - 35093011/(-5144)?
True
Let i(p) = 502*p + 1432. Is i(2) a multiple of 11?
False
Suppose 2*c = j + 29919, -5*j + 29916 = 2*c - 9*j. Does 11 divide c?
True
Let o = 140 + -81. Suppose 78 = -10*k - 32. Let r = k + o. Is r a multiple of 22?
False
Let t(g) be the third derivative of -337*g**4/12 - 3*g**3/2 - 32*g**2 - 2*g. Is t(-2) a multiple of 61?
False
Let p(n) = -6*n**3 - 23*n**2 - 12*n + 1. Is p(-6) a multiple of 48?
False
Let k = 266 - 20. Let m = 413 - k. Suppose -3*j + 187 = -w + 3*w, 2*w - j = m. Is 10 a factor of w?
False
Let j be (-2)/((-14)/3) + 4108/182. Suppose 3*n = j*o - 19*o + 1190, 2*n - 790 = 2*o. Does 65 divide n?
True
Let o(k) = -79*k - 1. Let c be o(2). Let h = -519 - c. Is 2/(4/h*-5) a multiple of 6?
True
Let n(k) = 266*k**2 - k - 4. Does 29 divide n(5)?
True
Suppose 249 = 238*t - 237*t. Suppose 0 = 3*o + 24 - t. Does 15 divide o?
True
Suppose 3*i - 4794 = 29874. Is i a multiple of 6?
True
Let a(x) = x**3 + x**2 - 6*x + 22. Let o be a(-7). Suppose -n - n = 2*c - 736, 736 = 2*n + 5*c. Let d = n + o. Does 6 divide d?
True
Suppose 0 = -4*x + 4*h + 68, 4*x - 93 = -x + 3*h. Let t be 637/x - (-5 + 2)/(-9). Suppose -50 = -2*k - t. Is 6 a factor of k?
False
Let f = 1 - -9. Suppose 0 = f*w + w - 2387. Let h = w + -123. Does 12 divide h?
False
Suppose 20090 + 2995 = 27*o. Is o a multiple of 4?
False
Is 3 a factor of (-3)/6 - (83/8)/(42/(-2856))?
True
Suppose 7*q - 6 = -l + 10*q, 0 = -2*q + 2. Suppose -15*t = -l*t - 336. Is 6 a factor of t?
False
Suppose 0 = -8*s + 11*s - 5*p - 40, 15 = 4*s + p. Let m(x) = 4*x**2 + 6*x - 58. Does 36 divide m(s)?
True
Let c be (-1)/(-2 - -3)*370/10. Suppose -q = q + 22. Let d = q - c. Is 13 a factor of d?
True
Let i(n) = 5*n**2 - 13*n - 18. Let r = 195 + -198. Is i(r) a multiple of 11?
True
Let w be ((-51)/85)/(1/(-75)). Let p = w - 43. Suppose -5*s + 3*u = -115, 4*s + p*u = 7*u + 92. Does 6 divide s?
False
Let t(f) = -2747*f + 66. Let q be t(1). Let p = q - -3930. Does 50 divide p?
False
Let d(f) = 4*f**2 - 33*f + 35. Let q be d(7). Let m(c) = 16*c + 228. Is m(q) a multiple of 7?
False
Let x(a) = -25*a + 40. Let h(m) = 6*m - 10. Let u(l) = -9*h(l) - 2*x(l). Let p be u(-8). Suppose -p = -6*q + q - 4*s, 4*q - 32 = -4*s. Is 3 a factor of q?
False
Suppose -4*c - 235 - 178 = -5*b, 102 = -c + b. Let y = -7 - c. Let f = y - -75. Is f a multiple of 33?
True
Let b be 410/3 + (-43)/(-129). Suppose -c + 5*a + 584 = b, 2*c = -2*a + 858. Is c a multiple of 18?
True
Suppose -2*v - 17856 = -4*t, t - 5*v = -430 + 4876. Is 7 a factor of t?
True
Let l(q) = -4*q - 51 + 109 - 24. Is l(0) even?
True
Does 46 divide ((-60)/(-225))/((-4)/(-5530)) - (-8)/(-12)?
True
Suppose -4*m - 19954 = -3*u, 0 = 14*u - 16*u - 5*m + 13295. Does 9 divide u?
False
Suppose 146 = -4*s + 3*q, 1 - 3 = q. Let t = s + 44. Is (-1 - (-1018)/t) + (-56)/84 a multiple of 14