)?
True
Let f = -539 - -1089. Is 50 a factor of f?
True
Does 71 divide 2*((-2)/4)/(40/(-24040))?
False
Let m(v) = 2*v**2 + 23*v + 14. Let q be m(-16). Let g = -107 + q. Suppose 4*i + 58 = 3*d, -2*d - 17 + g = 2*i. Is d a multiple of 8?
False
Let r be (0 - -4 - 3) + 0. Is 49 a factor of 124 - (4 + -4)/r?
False
Let b be 76/133 - (-31)/7. Let u(y) = 6*y**2 - y - 4. Is 27 a factor of u(b)?
False
Let z(h) = -6*h**3 - 2*h - 1. Let d be z(-1). Let x be (-4)/(1/(d - -1)). Let j = -23 - x. Is 7 a factor of j?
False
Let t = 43 + -20. Let a = t - -7. Let g = a + -21. Does 4 divide g?
False
Is 5 a factor of 102/7*336/72?
False
Let y(w) be the first derivative of 25*w**2 - 18. Is y(4) a multiple of 25?
True
Let i(u) = -u**2 + 8*u - 6. Let f be i(6). Is 10 a factor of 20*3/f*1?
True
Let s(j) = 10*j + 12. Let g be s(5). Let p = 62 + g. Does 7 divide p?
False
Suppose 3*s - 7 = -2*k, 2*s - s - 5 = 0. Let r be 456/16 - (-2)/k. Suppose -m + g + 3*g + 24 = 0, -4*m - g + r = 0. Does 3 divide m?
False
Let j be (30/1)/((-7)/(-7)). Let n = j + -4. Is n a multiple of 5?
False
Let j = 33 - 59. Does 28 divide (-13)/j*480/2?
False
Suppose -2*s - 48 = -234. Let x = -173 + s. Is 5 a factor of 3/2*x/(-24)?
True
Let g(x) be the second derivative of x**6/120 - x**5/60 + x**4/24 + 6*x**3 + 9*x**2/2 + 6*x. Let y(k) be the first derivative of g(k). Is y(0) a multiple of 12?
True
Let y(s) be the first derivative of -s**2/2 + 14*s - 3. Is y(-6) a multiple of 14?
False
Let u(b) = -22*b + 452. Does 42 divide u(-31)?
True
Let t = 167 + 23. Suppose 218 = 2*y - t. Suppose 4*m = -0*m + y. Is 15 a factor of m?
False
Let f(u) be the third derivative of -1/6*u**4 + 0 + 0*u + 4*u**2 + 1/3*u**3. Is 12 a factor of f(-8)?
False
Let w = 5 - -1. Suppose -w - 4 = -2*n. Suppose n*h - 4*z = h + 120, 90 = 4*h + 2*z. Is h a multiple of 7?
False
Let g = 495 + -300. Is g a multiple of 4?
False
Let b(c) = -411*c**3 + 2*c**2 + c. Let j be b(-1). Suppose 3*n - j = -n. Suppose -4*w + 115 = -3*o, -5*w + n + 41 = -4*o. Is 27 a factor of w?
False
Let b(g) = g + 15. Let l be b(-12). Suppose 0 = -5*q + l*q + 4. Is ((-9)/q)/(4/(-24)) a multiple of 9?
True
Let w be (1/1 + 1)*-2. Let n be (-1)/(w/6)*2. Is ((-1)/n)/(5/(-255)) a multiple of 13?
False
Let l = 16 - 14. Let t(s) = -3*s**l + 8*s**2 - 2*s**2 - 5*s - 4. Is 8 a factor of t(5)?
False
Suppose -h + 6 = 5*v + 1, h = 5*v - 15. Suppose -v*b - 3*l = -144, 198 = 5*b - 5*l - 137. Suppose 0 = 4*q - 277 + b. Does 31 divide q?
False
Let u(a) = -165*a + 1387. Does 30 divide u(-11)?
False
Let m be (-5)/10*86 + 4. Let y = m + 162. Is y a multiple of 41?
True
Let j(a) = 21*a - 61. Let y(g) = -10*g + 31. Let f(d) = 3*j(d) + 5*y(d). Is 20 a factor of f(12)?
False
Let a(f) = 3*f**2 - 12*f + 9. Let i(h) = h**2 + 3*h + 4. Let c be i(-3). Is a(c) a multiple of 2?
False
Let f(k) = 14*k + 3. Does 71 divide f(15)?
True
Let w = -34 + 20. Let h = 19 + w. Suppose 0 = -4*t + h*x + 34, 3*t - 4*x - 15 = 11. Is t a multiple of 3?
True
Does 6 divide 25/(-2)*(-616)/(-105)*-3?
False
Let k(b) = -1 + 3*b - 5*b - 3*b + 0*b. Let s be k(-1). Suppose 4*r - 99 = -0*x - 3*x, 43 = 3*r - s*x. Is 21 a factor of r?
True
Is 4 a factor of 1/((-1)/(-4)) + 2 + 205?
False
Suppose -3*b = -5*u - 751, 9*b - 4*u - 248 = 8*b. Is b a multiple of 6?
True
Suppose -2*y = -17*l + 20*l - 831, 0 = -3*l - 3*y + 834. Is 11 a factor of l?
True
Suppose -3855 = -5*u - 5*k, 4*u - 4*k - 2403 = 689. Is u a multiple of 13?
False
Suppose l - 39 = -2*m, 2*l - 2*m - 102 = -0*m. Let k = l + -30. Does 17 divide k?
True
Suppose -51 = -4*x + 21. Suppose -22*a + x*a = -96. Does 12 divide a?
True
Let b = -793 - -1207. Is b a multiple of 18?
True
Suppose -2*s = -5*n - 420, 5*s + 70*n - 1096 = 71*n. Does 5 divide s?
True
Let v(q) = -q**3 + 9*q**2 + 7*q - 5. Is 9 a factor of v(9)?
False
Let p be ((42/(-8))/(-7))/(3/876). Suppose d - 6*h = -3*h + p, -2*d - 3*h = -411. Is d a multiple of 35?
True
Is ((-413)/(-21))/((-1)/(-3)) a multiple of 3?
False
Suppose 2*g + 3*g = 20. Suppose 0 = 5*n, 0 = 4*v - v + 3*n - 195. Suppose 3*h - v - 93 = -4*j, -g*h - 5*j + 210 = 0. Is 25 a factor of h?
True
Let b be ((-3)/9)/((-3)/9). Let i(d) = d**2 - 4*d - 14. Let r(w) = 1. Let p(v) = b*i(v) - 3*r(v). Is 7 a factor of p(-5)?
True
Suppose -k - r + 34 = 0, 13 = 3*k - 5*r - 113. Let p = 86 - k. Is 2 a factor of p?
False
Suppose -23 = 16*h - 695. Is h a multiple of 21?
True
Let g = 22 + -21. Let m be 7/g*396/(-154). Does 8 divide m/3*(-8)/3?
True
Let z = -405 + 915. Is z a multiple of 37?
False
Let q = 122 - -10. Suppose q = 5*a - 3*a. Let h = 116 - a. Does 14 divide h?
False
Let w = 55 + -10. Let n be 189/27*68/7. Let b = n - w. Does 15 divide b?
False
Is (3 + -81)/((-15)/110) a multiple of 52?
True
Let u(t) = -t**3 - 9*t**2 + 9*t - 4. Suppose -13 = 4*x + 27. Let o be u(x). Suppose -2*b + o = -42. Does 24 divide b?
True
Suppose 0 = 14*m + 35 - 161. Let t(p) = 5*p**2 - 34*p - 6. Is 21 a factor of t(m)?
False
Let n(f) = -f**3 + 3*f. Let m(k) = -k**3 + 3*k. Let q(g) = 4*m(g) - 5*n(g). Let c be q(6). Suppose 4*d - c - 18 = 0. Does 18 divide d?
True
Is 12/(-78) + 652/13 a multiple of 29?
False
Let s(d) = -3*d - 10. Let p(f) = f**2 - f. Let g(n) = 3*p(n) - s(n). Does 21 divide g(6)?
False
Let p = -28 + 32. Suppose -p*h + 4*a = -344, 0 = 3*h + h - 3*a - 340. Is h a multiple of 27?
False
Let w(b) = b**2 - 10*b + 10. Let v be w(9). Is (v - 5) + 16 + 3 a multiple of 5?
True
Suppose 9*i = 2*g + 11*i - 2886, -2*i = -3*g + 4339. Does 75 divide g?
False
Let g(z) = 4*z + 21. Let i(q) = -q. Let u(p) = g(p) - i(p). Does 6 divide u(9)?
True
Let i be (-238)/(-63) + 2/9. Suppose -2*f + 3*l + 94 = -l, -i*l = 5*f - 221. Is f a multiple of 12?
False
Let r be -1 - (36 + -4) - 3. Does 5 divide 9*8/r*-12?
False
Let l be (20/6)/(((-25)/(-5))/(-15)). Is 19 a factor of (855/l)/(-9)*2?
True
Let f(h) = h**3 + h**2 - h + 32. Let n(d) = -d**2 - 4*d + 1. Let r be n(-5). Let i = r + 4. Does 16 divide f(i)?
True
Suppose i + 1449 = 5*y + 3*i, 4*i = 5*y - 1437. Does 17 divide y?
True
Let z(q) = -q**3 + 5*q**2. Let u be z(5). Suppose 24*i - 27*i + 297 = u. Is i a multiple of 33?
True
Suppose -2*b + 214 = -0*b. Suppose 7*u - 572 = 3*u - 4*s, 439 = 3*u - 2*s. Suppose b = 4*z - u. Is z a multiple of 14?
False
Let g = -172 + 172. Is 82 - (11 + -10)*(2 + g) a multiple of 13?
False
Does 31 divide 3/(-9) - (10 + (-88660)/39)?
True
Let r(u) be the third derivative of u**5/20 - 5*u**4/12 - 3*u**3/2 - 19*u**2. Does 16 divide r(5)?
True
Let k be (-1)/(2/540) + 0. Let m(d) = d**2 + 10*d + 1. Let j be m(-5). Is 27 a factor of j/10*k/12?
True
Suppose 2*v = -2*l + 10, 0*l - l = 5*v - 33. Suppose -v*b + 610 = -622. Is 22 a factor of b?
True
Suppose -81 + 326 = 5*j. Suppose 4*i - j - 3 = 0. Is 13 a factor of i?
True
Does 25 divide (-7 - 99/(-18))*(-1732)/6?
False
Let a(l) = 37*l - 1. Does 12 divide a(11)?
False
Suppose 4*x = 1719 - 83. Does 65 divide x?
False
Let m(t) = 20 - 123*t - 33 + 15. Does 25 divide m(-1)?
True
Suppose 3*b + n - 203 - 158 = 0, 4*b - 4*n = 460. Is b a multiple of 17?
True
Let v be (-16 + 15)*(-4 - 1). Suppose -v*g + 4*w = -35, -7 - 10 = -4*g + w. Suppose a + 4 - 25 = -g*m, -69 = -2*a + 3*m. Does 10 divide a?
True
Suppose 2*y = 3*y. Suppose 4*p = 2*r, y = -2*r - 0*r + p + 6. Let s(o) = 2*o**3 - 6*o**2 + 4*o + 1. Does 24 divide s(r)?
False
Let p be -2*(-1)/(-7)*-7. Let c be ((-11)/22)/(p/(-16)). Suppose c*x + 63 = 5*x. Is 21 a factor of x?
True
Let i(s) = s**2. Let m(r) = 3*r**2 + 21. Let f(b) = -2*i(b) + m(b). Let x be f(0). Suppose 5*c - n - 299 = x, -5*c + 345 = 4*n. Is c a multiple of 18?
False
Suppose -2 = -4*m + 10. Let w be m/(-2 - 1) - -3. Does 9 divide 4*w/((-8)/(-9))?
True
Suppose -2 = 2*n - 6. Let r be n/(-10) - (-954)/45. Suppose 0 = -2*z - r + 65. Is 11 a factor of z?
True
Suppose 19*m = 1540 + 5889. Is m a multiple of 23?
True
Let i(h) = -h - 6. Let o = -32 + 20. Let r be i(o). Is 0/2 + 402/r a multiple of 15?
False
Suppose -8*j - j + 2*j = 0. Let m = j - -36. Is 5 a factor of m?
False
Let t(g) = g**3 - g**2 - 2*g + 229. Let w be t(0). Suppose 0 = -5*v + x - 45 + w, x + 112 = 3*v. Is 18 a factor of v?
True
Let q = 11 + -9. Suppose -q*g = 3*g. Suppose s - 4*s - 4*j = -127, g = 3*s - 2*j - 139. Does 19 divide s?
False
Suppose -4*p + h = 6*h - 12, -h = 0. Suppose -4*m + p*m + 127