- 3*l - 27 = 0, -2*l + 0*l = 10. Is 7 a factor of o(g)?
False
Suppose 3*q + 50*b - 12579 = 55*b, -3*b = -5*q + 20933. Does 44 divide q?
False
Let s(a) be the first derivative of 4*a**3/3 + 9*a**2/2 - 44*a - 10. Is 4 a factor of s(4)?
True
Let x be (-223004)/(-20) + (-3)/15. Suppose 0 = -25*c + x - 1250. Does 11 divide c?
True
Let h = -526 - -526. Does 20 divide (2*183)/(9 - 8) + h?
False
Is 92 a factor of 4/2*(132401/31 + 18)?
False
Suppose 15751 = -7*b + 26*b. Let u = -301 + b. Does 24 divide u?
True
Let m(a) = -191*a - 302. Let o be m(-11). Suppose -5*j - 152 - 1200 = -3*f, 0 = 4*f - 3*j - o. Does 19 divide f?
False
Let c(y) = -26*y + 7. Let n(d) = 77*d - 20. Let l(u) = -11*c(u) - 4*n(u). Let q be l(3). Does 6 divide -1 - q - (9 + -10)?
False
Let h(f) = f**2 + 15*f + 31. Let g be h(-13). Suppose -q - g = -z + 2, 3*q + 3*z - 3 = 0. Is (q - -1)*(-97 + (2 - -1)) a multiple of 27?
False
Let m(g) = -g - 7. Let l be m(-17). Is 17 a factor of (4 - (-3176)/(-12))/(l/(-15))?
True
Suppose 5*m - 4007 = -0*m - 3*n, 5*n = -5*m + 4005. Suppose 0 = -3*x + 4*y + 743 + m, -2*y = -3*x + 1539. Does 9 divide x?
False
Let w(s) = 2252*s + 433. Does 15 divide w(4)?
False
Suppose -3*c + 17777 - 3029 = 0. Is c a multiple of 18?
False
Is 55 a factor of ((-186)/9*-1)/(22/12705)?
True
Suppose 3 = p, 4*p + p = 3*w + 549. Let d = -82 - w. Is d a multiple of 15?
False
Let x = -212 + 301. Let z = 92 - x. Suppose 16*h - z*h = 910. Does 10 divide h?
True
Let a(y) = y**3 - 66*y**2 - 150*y + 343. Does 135 divide a(71)?
False
Suppose 5*m = 5*v + 7*m + 20, 5*v + m = -20. Does 29 divide (286/3)/(((-8)/15)/v)?
False
Let f(w) = 3*w**3 - 35*w**2 + 7*w + 2. Suppose -5*o - 5*j + 60 = 0, -3*o + 36 = -5*j + 3*j. Is 15 a factor of f(o)?
False
Let o(j) = -48*j + 7. Let z = -10 + 14. Suppose -32 = 3*s - 5*d, 0*s + 3*s = -z*d + 4. Is o(s) a multiple of 28?
False
Suppose -5*g - 4*a + 31 + 11 = 0, -4*g + a = -21. Suppose -y - g = -3*y. Suppose -y*v - 30 = -8*v. Is v a multiple of 3?
True
Let w = 88 + -62. Suppose 5*s = 3*s + w. Suppose -p + 5*l + s = -9, 4*l + 55 = 3*p. Is 5 a factor of p?
False
Suppose 491*a = 437*a + 551610. Does 10 divide a?
False
Let j = -24 + 28. Let y(o) = -o + 9. Let f be y(j). Suppose 0 = -f*m - m + 324. Does 9 divide m?
True
Suppose -6*a = -10*a, 5*a = -3*r + 51. Let k(t) = 91*t**2 + t + 3. Let c be k(-1). Let q = c - r. Is q a multiple of 29?
False
Let n = -1377 - -718. Let j = 851 + n. Does 24 divide j?
True
Let n(h) = 70*h**3 + 3*h**2 - 3*h + 1. Suppose 4*t + 3*j - 5 = 0, 5*j = -t - 3*t + 3. Let x be t/11 - 81/(-99). Is 23 a factor of n(x)?
False
Suppose 2555 = 14*d - 35245. Is 45 a factor of d?
True
Let m be (-6 + 6)/(2/2) - -984. Is 13 a factor of (m/(-18) - 6)*-3?
True
Let w = 207 + 667. Does 19 divide w?
True
Is -616*(116 + -6)/(-11) a multiple of 20?
True
Let o(s) = s + 25. Let u(b) = b. Let i(v) = -o(v) - 2*u(v). Let f be i(-7). Is 28 a factor of 10/f + 3990/28?
True
Let a(q) = -q**2 + q - 1. Let x(l) = -47*l**2 - 7*l + 9. Let o(h) = -2*a(h) - x(h). Is o(-3) a multiple of 32?
False
Let r(u) = -1216*u**3 - u**2 + 200*u + 588. Does 14 divide r(-3)?
False
Let k = -13 - -13. Suppose k = 6*f - 743 - 3151. Suppose -10*m + f = m. Is m a multiple of 5?
False
Let q be ((-3)/(-2))/(-5 - 564/(-120)). Let k(m) = 0*m + 4 + 1 + 7*m + 3*m**2. Does 7 divide k(q)?
False
Suppose -5*i - 4*q = -10628, 0*i + 2113 = i + 5*q. Is 76 a factor of i?
True
Let q(w) = 82*w - 2271. Is 3 a factor of q(30)?
True
Suppose 11*l - 17843 = -12*l + 237227. Is 27 a factor of l?
False
Let n(q) = 5*q - 10 + 5 + q**3 + q**3 - q. Let i be n(3). Suppose i = 2*k - 2*j - j, -3*j = 2*k - 31. Is k a multiple of 4?
False
Let a(x) = 3*x**3 - 9*x**2 + 4*x + 3. Let u = 76 - 5. Let v = u - 67. Does 12 divide a(v)?
False
Does 162 divide (-583080)/2825*(-115)/2?
False
Is 43 a factor of 35/7*(18522/35 - -4)?
True
Let k be (27/(-15))/((-6)/(-15))*-8. Suppose -15912 = -k*u + 10*u. Is u a multiple of 18?
True
Suppose -4*u = -4*w - 1276, -4*u + 255 = -w - 1012. Does 6 divide u?
False
Let d(o) = o**3 + 4*o**2 + 3. Let m be d(-3). Let v be (-3)/(3/m + -1). Suppose v*u + 3*s - 4*s = 86, 0 = -5*u + 3*s + 104. Is 21 a factor of u?
False
Suppose -581*l = -571*l - 12100. Is l a multiple of 22?
True
Let r be 2/((-5)/(-1) + 92/(-20)). Is 9 a factor of 2/4 + 1150*r/20?
True
Suppose 0 = -5*y - 4*k + 58410, -3*y + 2*k + 36302 = 1256. Does 11 divide y?
True
Let x(n) = -3*n**2 - 8*n + 6. Let i be x(-3). Suppose -g = i*m - 1044, 2*m + 4*g = -99 + 805. Is m a multiple of 54?
False
Let a = -38 + 40. Suppose -a*b + t - 2128 = -6*b, 2*b - 1054 = -3*t. Is b a multiple of 41?
True
Let w = 1008 - 1863. Let y = -524 - w. Is 18 a factor of y?
False
Suppose 0 = 9*n - 5*n - 28. Suppose 15 = -2*o + n*o. Suppose 0 = -o*i + 23 + 361. Does 32 divide i?
True
Let o = -4 + 46. Let b = o + 536. Does 17 divide b?
True
Let i(b) = 2*b**3 + 16*b**2 - 3*b + 6. Suppose -u = -28 + 36. Does 5 divide i(u)?
True
Suppose 2771203 = 263*n - 1581184. Is n a multiple of 6?
False
Suppose 4*y = -c + 1572, 3*c - 1186 = -3*y + 4*c. Does 7 divide (1 - 13 - y)*1*-1?
True
Suppose 5*q + 48870 = 3*q + 4*q. Is q a multiple of 15?
True
Let f be (-8)/(-36) - (-26593)/9. Suppose 351 - f = -31*k. Is k a multiple of 4?
True
Is 29176/20 - (36/20 - 1) a multiple of 27?
True
Suppose -5*a = k - 153461, -k - 92091 = -29*a + 26*a. Is 206 a factor of a?
True
Let s(h) = -h**2 - 9*h + 24. Let n be s(-11). Suppose 166 = -n*y - c + 543, 2*y - 4*c = 382. Let b = y + -58. Is 15 a factor of b?
False
Suppose -5*k + 14 = 3*r - 7*k, -3*k + 30 = 4*r. Suppose -6*f - 2313 = -5*i - 5*f, -r = -3*f. Is 40 a factor of i?
False
Let x be (-9 + 3 + 0)*-269. Suppose 2*j = -4*j + x. Suppose 2*u - j = 3*s, -4*s = -u + 49 + 93. Is 26 a factor of u?
True
Let k(l) = 46*l**3 - 2*l**2 + 5*l - 4. Let t be k(1). Let q = 86 + t. Is 5 a factor of q?
False
Let b = 354 - 352. Suppose -97 = b*c - 427. Does 11 divide c?
True
Let t(k) = -3*k**2 - 32*k - 16. Let d be t(-10). Let l(m) = 16*m**3 + m**2 + 5*m - 28. Is l(d) a multiple of 43?
True
Let z = -3603 + 3603. Let r be -26*9/(-2) + 0. Is (1 - z)*(r + 15) a multiple of 33?
True
Let t(b) = 10*b**2 - 18*b + 1. Let i be t(2). Suppose -2*l - i*j = -7*l + 1545, -l + 297 = 3*j. Is l a multiple of 9?
True
Let z = 16 - 20. Let s be 2 + z - (3 + -10). Suppose 0 = 2*j + s*l - 47, 4*l = -j - 0*l + 22. Does 26 divide j?
True
Let h(b) = -22*b**2 - 127*b - 60. Let a(x) = 7*x**2 + 42*x + 20. Let n(y) = -17*a(y) - 6*h(y). Is 26 a factor of n(-10)?
False
Let q(s) = -1746*s - 558. Is 108 a factor of q(-13)?
True
Let d(b) = 209*b - 9 + 6 - 1 - 9. Is 11 a factor of d(1)?
False
Suppose y = v - 574, 0 = 3*v + 9*y - 5*y - 1722. Suppose v = 3*z - 35. Is z a multiple of 7?
True
Suppose -f + 42 = 179. Let r = f + 184. Does 4 divide r?
False
Suppose -5*m + 6671 = y, -1527*y + 20039 = -1524*y + 2*m. Does 17 divide y?
True
Let w(g) be the first derivative of -g**4/4 - 2*g**3 + 8*g**2 + 14*g + 5. Let n be w(-10). Suppose 5*q - 7*q + n = 0. Is q a multiple of 35?
False
Let k(r) = -3*r**3 - 48*r**2 + 47*r + 113. Does 3 divide k(-18)?
False
Let n(h) = h**3 + 13*h**2 + 11*h - 7. Let p be n(-12). Suppose 6*s = -5*z + 11*s + 830, -p*z + s = -846. Is z a multiple of 8?
False
Let r(i) = -i**2 + 9*i + 25. Let n be r(11). Suppose 0*a + 165 = n*a. Let y = a - 37. Is 16 a factor of y?
False
Let m = -30 - -117. Let i = -47 + m. Does 12 divide i?
False
Let x be 5/((-15)/9) - -12. Let c(g) = g**3 + 6*g**2 + 6*g - 15. Let q(w) = -w**3 + w**2 - w. Let f(s) = -c(s) - 2*q(s). Is f(x) a multiple of 20?
True
Let x be -3 - (-245 - -8 - (-1 - -4)). Let i = x - 98. Is 8 a factor of i?
False
Let f(p) = 9*p + 8. Suppose -16 = -4*y + 4. Let j be f(y). Let b = j - 50. Is 3 a factor of b?
True
Suppose 0 = 5*z + 3*x + 109, 5*x + 35 = 2*z - 3*z. Suppose -2*b + 6*b = 204. Let s = b + z. Is s a multiple of 30?
False
Let d = 154 + 43. Let s = 266 - d. Is s even?
False
Suppose 0*h + 5804 = -4*q - 4*h, -3*q + 5*h - 4369 = 0. Is (-10)/8 + 2 + q/(-4) a multiple of 28?
True
Let s be ((-16)/12)/(-2)*126. Suppose -22*j = -15*j - s. Is j a multiple of 4?
True
Suppose -130*z + 14 = -123*z. Suppose -3*b + 555 = -0*b. Suppose 2*l - z*q = 7*l - b, 2*l - 4*q = 50. Is l a multiple of 6?
False
Is (-2979000)/(-360) - (2*-3)/(-2) a multiple of 9