d, -d = -3*t - 3111. Is d a multiple of 5?
False
Suppose -p + 4*r - r = -9, -4*r = -4*p + 12. Let o(l) = -4*l**2 + l + 904. Is 58 a factor of o(p)?
False
Suppose -5749 - 32861 = 18*p - 33*p. Is p a multiple of 9?
True
Let o = 611 + -414. Does 7 divide (o/7 - -2)/(15/105)?
False
Suppose 6 = -c + 2, -4*r + 5*c = -80. Does 47 divide (-846)/r*400/(-48)?
True
Let k(a) = -8 + 2*a**2 + 13*a - 26*a - 7 - 15*a. Is 45 a factor of k(20)?
True
Let o = -365 - -359. Suppose 5*b - b = -168. Is 50 a factor of (-6312)/b + o/21?
True
Let l(z) = 9*z - 4. Let s be l(2). Suppose -s*m + 16*m = -98. Let w = m + 85. Is 12 a factor of w?
True
Let i(l) = -l**3 + 28*l**2 - 25*l - 53. Let u(w) = 3*w**2 - 14*w + 21. Let p be u(5). Is i(p) a multiple of 29?
False
Suppose -4*q = 12, -3*g = -2*q + 22 + 116. Let r = 30 - -70. Let x = r + g. Is x a multiple of 12?
False
Suppose 5*a = -2*s + 1372, a = -s + 5*a + 712. Suppose 0 = 26*k - 30*k + s. Is (-18)/(-126) - k/(-7) a multiple of 7?
False
Suppose 31*u - 232666 = 36972. Is 20 a factor of u?
False
Let g = -98 - 28. Let u(k) = -k**3 + 13*k**2 - 10*k + 7. Let j be u(7). Let o = j + g. Is 21 a factor of o?
True
Suppose -2580 - 2154 = -6*c. Suppose 556 = -z + c. Is 16 a factor of z?
False
Is (-350)/(-4)*((-754)/(-10) + -1) a multiple of 31?
True
Let t = 14280 - -8393. Does 17 divide (-6)/33 + t/11 + -4?
True
Suppose -3*c + 3145 + 9212 = -2*x, 0 = -2*c + x + 8239. Does 34 divide c?
False
Let t = -41 + 43. Let k be (-15)/15 - t*31. Let s = -58 - k. Is s even?
False
Let k(c) be the first derivative of 3*c**2/2 - 48*c + 44. Let y be k(21). Suppose 2*u - 752 = -4*z, 5*u = -5 - y. Is z a multiple of 14?
False
Let f = 40 - 13. Suppose f*p - 26*p - 539 = 0. Does 49 divide p?
True
Let q be (-32)/160 - ((-6638)/(-10) - -2). Let i = -263 - q. Is 25 a factor of i?
False
Suppose 0 = 3*c - 17 - 16. Suppose c*o = 1444 + 2560. Does 14 divide o?
True
Let d be ((-5)/3)/(3/9). Let v(k) = 1254 - k - 622 - 627 - 4*k - 22*k. Does 14 divide v(d)?
True
Suppose f = 4*l + 580, -14*f + 3*l = -16*f + 1160. Let s = f + -268. Is s a multiple of 39?
True
Let j(h) = -19*h**3 + 3*h**2 + 17*h - 29. Let z be j(4). Let a = z - -2317. Is a a multiple of 11?
True
Let c be -4 + 2 - 0 - 2 - -287. Suppose 3*k - 2*f - c = -3*f, -3*f - 15 = 0. Is k a multiple of 6?
True
Let k = -1417 - -4158. Does 10 divide k?
False
Let i(v) = v**2 - 3*v - 27. Let g be i(8). Let y = -12 + g. Does 6 divide ((-4 - -2)*y)/((-4)/48)?
True
Let b = 29921 - 15537. Does 38 divide b?
False
Let v(d) = d**3 - 14*d**2 + 34*d - 9. Let p be v(10). Let f = p + 151. Is 41 a factor of f?
True
Suppose -5*w = 2*c - 13388 + 1937, -15 = 5*w. Is c a multiple of 19?
False
Let l be (-4)/6 + (-11)/(-3). Let q be (-1 + -3 - 3) + l. Let u = q + 41. Does 8 divide u?
False
Suppose 5*t = 3*t - 28. Let c be (-8890)/(-20)*(-8)/t. Suppose 9*i - 97 = c. Is i a multiple of 2?
False
Let n(p) = 928*p - 35. Let v be n(2). Let i = -1262 + v. Is 13 a factor of i?
True
Let n(g) = g**2 + 2*g - 6. Let y be n(-4). Suppose -567 = -y*w + w. Suppose 4*a + 4*i - w = 341, -5*a + 4*i = -1153. Is a a multiple of 41?
False
Let i(r) = 3*r + 17. Let o be i(-5). Let n be (6 - 3)*o/3. Suppose -d + 2*t = -n*d + 4, 0 = d + t - 7. Does 10 divide d?
True
Let b(n) = -n**3 - 16*n**2 + 2*n - 24. Let r be b(-15). Let s = r - -395. Is s a multiple of 58?
True
Let l(x) = x**3 + 4*x**2 + 7*x - 4. Let k(o) = -2*o**3 - 7*o**2 - 13*o + 8. Let r(z) = -3*k(z) - 5*l(z). Let t be r(1). Is -1 - (-19 - 1 - t) a multiple of 17?
False
Let j(r) = 4*r**2 - 30*r + 3. Let q be j(15). Let y = q + -233. Does 44 divide y?
True
Let l(x) = 62*x + 138. Let w be l(-5). Let c = w - -217. Is 23 a factor of c?
False
Let k(j) be the second derivative of -j**5/20 + 23*j**4/12 + j**3/2 - 31*j**2/2 - 27*j. Suppose -2*l - 5*i = -51, -3*i + 4 = i. Does 38 divide k(l)?
True
Is (1/3)/((-13)/(-144651)) even?
False
Let x = -19323 - -28630. Does 41 divide x?
True
Let w = 7 + -4. Suppose -6*x + 6 = -4*x - 4*s, -3*x + 21 = -w*s. Is (-3 - (3 - 7)/4) + x a multiple of 9?
True
Let o = -270 - -260. Does 3 divide 2994/24 - o - 1/(-4)?
True
Suppose 0 = 2*j + 2*y - 8718, -j - 5*y - 8669 = -3*j. Is j a multiple of 64?
True
Let p = 12202 - 4778. Is p a multiple of 58?
True
Let z(h) be the third derivative of 103*h**5/30 - h**4 + 43*h**3/6 + h**2 - 54*h. Is z(2) a multiple of 13?
True
Let d be (-70)/(-22) - 18/99. Suppose 28*l - 14*l = 70. Suppose 5*h = 5*x + 525, -d*x + 251 = l*h - 290. Is 12 a factor of h?
False
Let g = 94 + -103. Let r = 191 - g. Let w = -140 + r. Is w a multiple of 6?
True
Suppose -41 = -4*r - 3*c, -2*r - 52 = -5*r + 2*c. Suppose 2*w + 5*v - 1046 = 0, 13*w + 536 = r*w - 4*v. Is w a multiple of 16?
True
Let p be 44/(-110) - (0 + 74/(-10)). Let h(w) = 3*w**2 - 17*w + 54. Let c be h(p). Let g = -57 + c. Does 5 divide g?
True
Does 14 divide 21429/(2/(-7)*-4*(-294)/(-224))?
False
Is 138 a factor of (-36423)/(0 - 3) + (47 - 44)?
True
Let t = -81 - -77. Let l = t - -6. Suppose l*r = -u - u + 42, 5*r - 4*u = 150. Is 26 a factor of r?
True
Is -9326*10*(-3)/(-90)*(-9)/6 a multiple of 22?
False
Let w(j) = j**3 - 6*j**2 - 8*j + 9. Let t be w(7). Suppose 25 = 5*c, 4*c = -t*i + 60 + 62. Let s = -2 + i. Does 17 divide s?
False
Suppose -b - 2*n - 109 = 0, -n - 545 = 5*b + 3*n. Let v = b + 621. Does 29 divide v?
False
Let z(p) = -p**3 - 11*p**2 - 10*p + 3. Let b be z(-10). Let d(k) be the third derivative of k**5/15 + k**4/12 + k**3/2 + 114*k**2. Does 9 divide d(b)?
True
Let f(x) = 230 - 3*x**2 - 230 - x - x**3. Let h be f(-4). Suppose 131 = 3*q + h. Is 10 a factor of q?
False
Let s = 73 - 78. Does 32 divide (2*11)/(s/(-80))?
True
Suppose -3*l - 2*j - 312 - 164 = 0, 4*l + 616 = 2*j. Let w = l + 381. Is w a multiple of 29?
False
Suppose -1123 = 9*g + 200. Is (-19194)/g - (0 - (-4)/7) a multiple of 13?
True
Let p(s) = -35 + 104*s - 281*s + 2. Is 16 a factor of p(-2)?
False
Let i = 8969 + -5097. Is 29 a factor of i?
False
Let p = 225 - 222. Suppose -1236 = -4*z - 2*i + 2126, 0 = 3*z - p*i - 2517. Is 21 a factor of z?
True
Suppose 0 = 30*z - 28*z + 4*j - 70, 2*z - 82 = 2*j. Is 26097/z + 3*4/(-78) a multiple of 18?
False
Let k = -11726 - -18003. Is 29 a factor of k?
False
Let p(d) = d**3 - 16*d**2 - 16*d - 15. Let o be p(17). Let f(j) = -12*j**2 + j + 4. Let b be f(o). Let i = -39 - b. Is 2 a factor of i?
False
Let v(c) = -2*c - 3. Let n be v(-3). Suppose -2*k = 2*a - 96, 3*k = -n*a + 4*a - 32. Let w = a + 46. Is 30 a factor of w?
True
Let g(x) = 32*x**2 + x - 16. Let d = 137 - 133. Is 44 a factor of g(d)?
False
Suppose 18*y + 1234 - 6778 = 0. Suppose -2*j = 5*f - y, j = -4*f + 187 + 57. Does 6 divide f?
True
Let s be 9/(-21) + 40545/35. Suppose 12*o = s + 2406. Is o a multiple of 27?
True
Suppose 4*u + 5*a - 17770 = 0, 69*u + a = 68*u + 4442. Is u a multiple of 8?
True
Let k be (2 - 3)*(-4 + 2 + -1). Suppose 3*b - 9 = 0, 5*q + 2*b - k*b - 7 = 0. Does 14 divide 2/8 + (861/12 - q)?
True
Let p = 166 - 97. Does 5 divide (10/(-6))/((-1)/p)?
True
Let c = -519 - -1169. Let s = c - 629. Does 7 divide s?
True
Suppose 5*b = -5*q + 6*q - 9, 4*b + 8 = q. Suppose -q*t + 4*j + 2871 - 175 = 0, 5*t - 3374 = 3*j. Is 17 a factor of t?
False
Let n(v) = 3*v**2 - 7*v - 7. Let b be n(-6). Let c = 1264 - 1220. Let s = b - c. Does 9 divide s?
True
Let i be 2*1 - (-29)/(406/16156). Let d = i - 306. Does 50 divide d?
True
Let f be ((-68)/153)/((-3)/27). Is 19 a factor of (33 + f)*(-8 + 22)?
False
Is 11 a factor of (-56 + 32)*5498/(-6)?
False
Does 33 divide 369/75 + 26/325 + 5370?
False
Suppose -2*g + 3*v = -12782 - 4910, -4*g + 3*v + 35390 = 0. Is g a multiple of 22?
False
Let w(r) = -269*r - 279. Is w(-8) a multiple of 20?
False
Suppose 52*r - 48*r - 156 = 0. Let p(l) = 5*l**3 - 3*l**2 + 3*l. Let y be p(2). Let d = y + r. Is d a multiple of 30?
False
Suppose m = -3*m - 5*m + 31590. Is 9 a factor of m?
True
Suppose -8548 = -4*o + f + 2649, 2797 = o + 2*f. Is o a multiple of 21?
False
Suppose -26196 - 219849 = -5*k. Does 23 divide k?
False
Let s(f) = 29*f**3 - 8*f**2 + 26*f + 7. Suppose -12*x + 27*x - 45 = 0. Is s(x) a multiple of 56?
False
Let m(b) = -4*b**3 - 35*b**2 + 132*b - 18. Let y(x) = -5*x**3 - 34*x**2 + 131*x - 17. Let j(r) = -4*m(r) + 3*y(r). Is j(-41) a multiple of 59?
False
Is 1*-1*(20806398/(-3393) + 2/13) a 