*(-21)/b*(26 + 1)?
True
Let y(i) = 71*i**2 + 121*i + 46. Is y(4) a multiple of 14?
True
Suppose -3*f + 0*f = j - 3244, 4*j - 13021 = -3*f. Does 22 divide j?
False
Let b(j) = j + 1. Let o be b(7). Suppose -13*a = -o*a. Suppose -x + 32 + 24 = a. Does 25 divide x?
False
Let m = -5168 - -6279. Does 2 divide m?
False
Does 5 divide 3729/(-12)*((-32)/304 - 148/38)?
False
Let w be ((-9)/(-12))/(3/12). Suppose 4*f + 20 = -f, -3*g - 180 = -w*f. Does 6 divide (-3 + (-27)/(-12))*g?
True
Does 11 divide 1/(-5) + 1034908/140?
True
Suppose 0 = 66*m - 48302 - 136894. Is m a multiple of 6?
False
Let j = 8928 - -3152. Is 40 a factor of j?
True
Let t = -107 + 125. Suppose 2*l = t*l - 2368. Is 11 a factor of l?
False
Let d be -6 + 3 - -4 - (0 + -1). Is 182/(15 + -2)*1/d even?
False
Suppose 0*z + 63 = -7*z. Let k be -3*(-3)/z - (-7 - -1). Suppose 5*o + 0*w - 679 = -w, 0 = 2*o - k*w - 277. Is 30 a factor of o?
False
Suppose 11*a - 16*a + 215 = 3*q, 284 = 4*q + 4*a. Is q a multiple of 10?
True
Suppose 4*w + 3*p = 29, 4*w - p - 32 = -5*p. Suppose -w*m + 475 + 390 = 0. Is m a multiple of 39?
False
Let r be 22/(-55) - (-344)/10. Let c = -127 + r. Let t = -61 - c. Does 14 divide t?
False
Suppose -36*p = -18*p - 13014. Is -4 - (-2 - ((-5 - -7) + p)) a multiple of 37?
False
Suppose -2*b - 5*y = 31, 0 = -2*b - 2*y + y - 19. Let p be 14/b - 0 - (-45)/60. Does 6 divide (0 + (-3)/9)/(p/24)?
False
Is 12 a factor of 12/(-21) + ((-25712)/(-14))/1?
True
Let z be (-12)/(-9)*(13 + (-4)/1). Suppose 14*k + 197 = -251. Is 16 a factor of k/z - -3 - 994/(-6)?
False
Let x = 27909 - 18079. Does 10 divide x?
True
Let m(v) = -v**2 - 26*v - 49. Let a be m(-25). Is 11 a factor of 9/(129/(-44) + a/(-8))?
True
Let u(n) = 16*n**2 + 22*n - 527. Is u(-24) a multiple of 20?
False
Let p = 105 - -612. Let t = -427 + p. Does 14 divide t?
False
Suppose 205 - 1 = 4*o - 5*w, 16 = -4*w. Let a = 104 + o. Is 10 a factor of a?
True
Let j(s) = -s**3 + 3*s**2 + 4*s - 8. Let a be j(3). Suppose 849 = a*g - 251. Is 11 a factor of g?
True
Let j = 10586 - -5164. Is j a multiple of 18?
True
Suppose 3*j - 18 = 138. Let l = -45 + j. Suppose -l*m + 2*m + 90 = 0. Does 17 divide m?
False
Let m = 12473 + -8899. Does 6 divide m?
False
Let c(v) = -9*v + 42. Let m(a) = -10*a + 43. Let k(u) = -6*c(u) + 4*m(u). Is 19 a factor of k(28)?
False
Suppose 2*y - 5*p - 18 = 0, -p + 22 = 5*y - 2*p. Let h(j) = 55*j - 16. Does 34 divide h(y)?
True
Let h(r) = 55*r + 135. Is h(10) a multiple of 2?
False
Let f = -23 - -66. Suppose -f*c + 54*c - 1265 = 0. Does 5 divide c?
True
Let z = -17064 + 22439. Is z a multiple of 11?
False
Let i = -15751 + 20535. Is i a multiple of 6?
False
Let d(n) = 5*n**3 - 6*n - 4. Let l be d(-2). Let t = l - -31. Let q(o) = -33*o. Is q(t) a multiple of 10?
False
Let m = 31784 + -21078. Suppose -32*n - 274 + m = 0. Is 5 a factor of n?
False
Let w be ((-54)/(-30))/((-9)/(-15)). Suppose -4*t + 2*t + 40 = 4*s, -3*s + w*t + 12 = 0. Suppose -942 = -s*p + 138. Is 15 a factor of p?
True
Is 14 a factor of 24911/((-2 + 13)/11)?
False
Let i be -37*(0 + (-9)/12*-4). Let d = i + -30. Let s = d + 353. Is s a multiple of 53?
True
Suppose -4*x = -16, 113 = -3*g + 4*x - 5*x. Let l be 1824/26 + 6/g. Suppose l*h = 66*h + 172. Is h a multiple of 43?
True
Let k(h) = -13*h + 102. Let a be k(8). Let o(c) = -47*c + 9. Let v(i) = 16*i - 3. Let m(f) = 6*o(f) + 17*v(f). Does 14 divide m(a)?
False
Suppose -2*x + 23*g - 22*g = -1194, 0 = -2*x - g + 1186. Does 85 divide x?
True
Let m(k) = -k**2 - 2*k + 17. Let i be m(-10). Is 9 a factor of (0 + -327)*(-7)/(i/(-6))?
False
Let l = 10356 - 9014. Is 22 a factor of l?
True
Does 8 divide (-9)/((-16)/(3072/18))?
True
Suppose 0 = -3*l + 21*l + 8*l - 154440. Is l a multiple of 27?
True
Is 28 a factor of (-1*(-1 - -2))/(31/3038)*-98?
True
Let p(y) = -y**2 + 9*y + 34. Let n = 70 + -55. Let d be p(n). Let x = 232 + d. Is x a multiple of 8?
True
Let t = 9501 + 7089. Does 79 divide t?
True
Suppose -2*s + 0*s + 4*w + 8 = 0, 22 = 2*s + 3*w. Suppose 4*j - s = 0, 4*v - 5*j = 120 + 38. Is 4 + 2/(-6) + 11354/v a multiple of 36?
False
Let w = 45 + -42. Suppose l + 100 = 3*t, 0 = -5*t + 2*l + w*l + 180. Does 10 divide ((-120)/16)/((-6)/t)?
True
Suppose -3589306 = -376*l - 724938. Does 13 divide l?
True
Is 109 a factor of 21/(-5) + 12/60 - (-12 + -1965)?
False
Let w(c) = -11*c**3 - 6*c**2 - 206*c - 1731. Is w(-8) a multiple of 71?
False
Let t = -26428 + 64468. Is 8 a factor of t?
True
Is ((-90)/(-5) - -27207) + 6 a multiple of 25?
False
Let l(r) = -32*r - 41. Let k(h) = -62*h - 83. Let g(i) = 6*k(i) - 11*l(i). Does 13 divide g(-17)?
False
Let s = 12152 + -8649. Is s a multiple of 58?
False
Let h(x) = -22*x**2 - 23*x + 2*x**3 + 39 - 3*x**3 + x. Is h(-21) a multiple of 12?
True
Let d(m) = 101*m + 43. Let w(r) = -51*r - 22. Let f(j) = 6*d(j) + 11*w(j). Let o be f(4). Suppose 4*p - 268 = -2*l, 0 = -3*p + 2*l - l + o. Is 22 a factor of p?
True
Suppose 442*g + x = 439*g + 73166, g + 3*x - 24394 = 0. Is g a multiple of 14?
True
Let o(q) = 357*q - 405. Does 60 divide o(5)?
True
Let b(k) = -29 + 139 - 4*k + 26. Is 22 a factor of b(0)?
False
Let b(i) = -2*i + 17. Let d(a) = a**3 - 2*a**2 - 11*a + 10. Let f be d(4). Let m be 15*f*2/(-10). Does 2 divide b(m)?
False
Suppose 25*f - 1002 = 22*f + 5*d, 0 = -2*f - 3*d + 630. Is f a multiple of 4?
True
Suppose -8*d + 39 - 23 = 0. Suppose d*b - 414 = -b. Is b a multiple of 6?
True
Let b = -266 - -442. Suppose -2*g = -2*l + 146, 2*l + g + 45 - b = 0. Suppose 0 = w + w - l. Does 4 divide w?
False
Suppose -15*n = -52 - 218. Suppose -2*p = -8*p + n. Suppose 9 = -p*v + 84. Is v a multiple of 18?
False
Let a = -7467 + 11185. Does 22 divide a?
True
Let i(h) = 13*h + 18. Let z be i(12). Suppose -f = u + 86, 2*f + 0*f + 4*u + z = 0. Is (8/10)/((-1)/f) a multiple of 8?
False
Let w(x) = x**3 + 7*x**2 - 21*x + 9. Suppose 6 = -3*r - 3*b, b + 10 = 3*r - 4*b. Suppose r = -10*n - 28 - 42. Is 13 a factor of w(n)?
True
Suppose 18 = 12*t - 3*t. Suppose 4 + 5 = 4*n - y, -2*y = -t*n. Suppose -5*s + 4*d + 42 = -4*s, -3 = -n*d. Does 23 divide s?
True
Suppose 1044480 = -657*y + 737*y. Does 64 divide y?
True
Is 171 a factor of ((-209)/95 - 1)*10/(-4) - -29487?
False
Let d = 105 - 98. Suppose -256 = -d*z + 906. Suppose 2*a + 2*a - z = -2*r, 3*a - 129 = -3*r. Does 10 divide a?
True
Suppose -6*c = -10*c + j + 1192, 2*c - 4*j = 596. Let i = -232 + c. Is i a multiple of 22?
True
Let y be 1*(154/(-6))/((-3)/27). Suppose -5*u + 12*u - y = 0. Suppose p - u = -a, 2*a = -5*p - 14 + 65. Is a a multiple of 6?
False
Suppose 5*i = z + 6, -2*i = -3*z + 6*z - 50. Suppose -r - z = -0*q - 2*q, -2*r = q - 12. Is 8 a factor of q?
True
Suppose -t = -4*t + 540. Let g = t - 100. Let o = -8 + g. Is o a multiple of 8?
True
Let k(b) = -b**2 - 23*b - 59. Let o be k(-6). Suppose -41*u - 866 = -o*u. Does 64 divide u?
False
Suppose -3*w = 5*u - 45700, 3*w = -w + u + 60918. Is w a multiple of 128?
False
Is 13 a factor of (-24)/(-6) - (729/(-12))/((-2)/(-648))?
False
Let t be (-12)/(-9) - (-2)/3. Let g(f) = 14*f + 28*f**2 - 5*f**3 - 22 + 8*f**3 - 11*f**2 - t*f**3. Is g(-16) a multiple of 10?
True
Suppose 0 = 12*q - 5215 - 125. Let o = -410 + q. Is 5 a factor of o?
True
Let h(i) = 7*i - 43. Let s be (-1)/2 + ((-1485)/10)/(-9). Let t be h(s). Is 2 - (-8)/6*t/2 a multiple of 5?
False
Let o(r) = 5*r + 57. Let i be o(-7). Suppose -2 = -6*b + i. Suppose -c = -4*n + 3*c + 292, 5*c = -b*n + 310. Does 15 divide n?
True
Let j(w) = 40350*w + 576. Does 19 divide j(1)?
True
Does 21 divide ((-20)/132 + (-8 - 602/(-77)))*-121149?
True
Does 289 divide 80/24 - 4 - 137654/(-3)?
False
Let c(o) = -143*o - 13. Let x(z) = z**2 + 27*z + 25. Let l be x(-26). Does 65 divide c(l)?
True
Let y(k) = -k**3 + 26*k**2 + k - 21. Let f be (-39)/4*(-16)/48*8. Let o be y(f). Suppose -3*n + 135 = 5*x - 3*x, o*x - 343 = -2*n. Is x a multiple of 5?
False
Let b = 15553 - 8768. Is 59 a factor of b?
True
Does 19 divide (15/(-20) - -1) + (-444132)/(-48)?
True
Let t(w) = 114*w**2 + 65*w - 12. Does 7 divide t(-12)?
True
Suppose 17*b - 31869 = 63985 - 6604. Is 7 a factor of b?
True
Suppose 368*t = -90*t + 3729036. Is t a multiple of 6?
True
Let u(j) = -j**3 - 12*j**2 + 27*j + 11. Let z be u(-14). Let w = 23 - 15. Let s = w + z. Is 4 a factor of s?
False
Let c = 192 + -18. Let a = 9