 be c(x). Does 18 divide 108*i*2/(-6)?
True
Let z = 93 - 9. Suppose 4*h = 2*a - z, -4*a = -2*a + 4*h - 68. Does 3 divide a?
False
Suppose 0 = 21835*o - 21833*o - 34. Let d be (0 - -1)/((-3)/(-7197)). Suppose o*g - d - 49 = 0. Is g a multiple of 24?
True
Let u(h) = -14*h**3 - 2*h**2 + 5*h + 148. Does 14 divide u(-13)?
False
Let w = -2827 + 4969. Is 51 a factor of w?
True
Let c = -7280 + 8813. Does 73 divide c?
True
Suppose 224*p + 10*p - 980226 = 0. Does 34 divide p?
False
Suppose -4*a = -a - 54. Let o be ((1 + -3)/(-1))/(4/a). Is 8 a factor of (-11)/(o/24*(-2)/3)?
False
Let q(t) = 1016*t**2 + 11*t + 2. Suppose -9*b + 21 = 30. Does 54 divide q(b)?
False
Let w(b) = 3*b**3 - 2*b**2 + 2990. Is w(0) a multiple of 65?
True
Let q be (-3)/(-4) + (-693)/(-84). Suppose 2 = -7*d + q. Is (-1935)/(-54) - d/(-6) a multiple of 9?
True
Let w(s) = 16*s**2 + 13*s + 21. Let c be w(-7). Let m(h) = -5*h + 3. Let o be m(-1). Suppose -c = o*u - 15*u. Is 17 a factor of u?
True
Let a(j) = -4*j**3 - j**2 - 2*j - 1. Let s be a(-1). Let m = -1032 + 1032. Suppose m = -9*z + s*z + 720. Is z a multiple of 12?
True
Let s = -5 + 61. Suppose -s*c = -59*c + 732. Is c a multiple of 9?
False
Let t be (-165)/22*(-2)/(-5). Is 23 a factor of -1*((-1 - t) + -31)?
False
Let v(p) = 72*p**2 + 3*p. Let h be v(-2). Let d = h + 94. Is 47 a factor of d?
True
Let p(w) = 289*w + 2356. Is 16 a factor of p(12)?
True
Let j(y) = -52*y**2 + 11*y - 10. Let g be j(4). Let d = g - -1548. Is d a multiple of 37?
False
Suppose -4*b + 27 = -y, 3*b - 16 = 8*y - 3*y. Suppose 2*z - b = 3. Suppose -6*w = -z*w - 9. Is 3 a factor of w?
True
Let h(g) = -5709*g - 63. Let t be h(5). Is t/(-72) - (-2)/3 a multiple of 24?
False
Let k(h) = 2*h + 2. Let j(r) = 427*r - 36. Let m(d) = -j(d) - 5*k(d). Is 18 a factor of m(-2)?
True
Suppose 4*j + d - 2900 = -3*d, 2*d + 2185 = 3*j. Suppose 0 = -6*a + 2*a + 3*f + j, f = 3. Suppose 3*u = -y + a, -71 + 291 = 4*u - 5*y. Is u a multiple of 30?
True
Suppose -7*q = -12*q - 295. Let l = 57 + q. Is -165*(l/(-3) + 0 + -1) a multiple of 11?
True
Suppose 3*l - 12*l - 648 = 0. Suppose 5*g + 19 = 79. Does 8 divide 2/g*-10*l?
True
Suppose m + 5*w + 8 = 1, 0 = -4*m - 3*w + 6. Suppose -28 + 8 = -3*v - 5*g, -m*v + g = -14. Suppose 3*i = v*k + 636, -k + 6*k - 212 = -i. Is 24 a factor of i?
False
Suppose -3*y = 0, 4*u + 3*y = 5*u - 4070. Suppose u = -5*l - 2*x, 0*x = -2*l + x - 1637. Is 4 a factor of (-4)/(-10) + (-2 - l/10)?
True
Let n = -2 - 12. Let f = -5 - n. Is 30 a factor of (-7)/((-28)/1284)*3/f?
False
Let z = -9631 + 11071. Is z a multiple of 26?
False
Let q = -308 + 310. Suppose -8*x + 2622 = -q*x. Does 23 divide x?
True
Let b(r) = 20*r - 60. Let c be b(4). Suppose c*y = 16*y + 3*v + 111, -2*y - 5*v + 75 = 0. Is 14 a factor of y?
False
Suppose 4*s = s + 2*r + 220, 4*s + 5*r = 324. Let o = 45 - s. Let t = -18 - o. Does 13 divide t?
True
Suppose p + n = -3*n - 20, 0 = 5*n + 25. Suppose -3*r = p, -2*v = 3*r - 4 - 4. Suppose 3*x - y = 270, x + 0*y - 90 = v*y. Is x a multiple of 10?
True
Let d = -56 - -58. Let t be ((-41)/d + 3)*2. Does 5 divide ((-17)/(-17))/((-1)/t)?
True
Suppose 2*k = 5*z + 6213, 11*z + 12371 = 4*k + 12*z. Is k a multiple of 14?
True
Suppose -6*q + 6302 = 542. Suppose 23*s - q = 11*s. Is s a multiple of 3?
False
Suppose -2*o + 2*x = -1570, -4*o - 4*x + 2265 + 867 = 0. Let w = o - 700. Is 5 a factor of w?
False
Let b = 287 + -279. Suppose -2968 = -b*h + 4592. Is h a multiple of 58?
False
Let m(l) = 4972*l**2 + 8*l + 9. Let d be m(-1). Suppose 14*y + 185 = d. Does 6 divide y?
True
Let q be -10*((-1)/2 - -1). Let s(m) be the third derivative of -m**6/120 - m**5/12 + 2*m**3/3 + 40*m**2. Is s(q) a multiple of 4?
True
Let i(m) = -m**2 - 3*m + 4. Let u be i(-3). Suppose 0 = 3*w - 5*t - 42, -u*t + t - 42 = -3*w. Is 4/((-3)/14 + 4/w) a multiple of 14?
True
Let y(t) = 2*t**3 + 65*t**2 + 27*t - 137. Is 24 a factor of y(-31)?
False
Let a(r) = 308*r + 10. Let l be a(1). Suppose 11*o - 3288 = -l. Is o a multiple of 54?
True
Let y(o) be the third derivative of -7*o**2 + 13/15*o**5 + 0*o**4 + 0*o**3 + 0 + 0*o. Is 10 a factor of y(-1)?
False
Suppose 27*x = -5*x + 137068 - 18412. Does 23 divide x?
False
Suppose -2*c - 2*c = 4*n - 4, 2 = -c + 2*n. Suppose c = -q + 116 + 230. Is q a multiple of 15?
False
Let f(v) = -15*v + 219. Let r be f(-7). Suppose -98*m + 92*m = -r. Is m a multiple of 2?
True
Suppose -4*a + 28 = 4*w, -18*a = -21*a - w + 17. Let m(i) = 7*i**3 - 7*i**2 - 11*i + 62. Is 101 a factor of m(a)?
True
Suppose -3*w + 5*q + 1636 = 0, -1194 - 1466 = -5*w - 5*q. Suppose -3*a + 0*a + 9 = 0, -3*b + w = -a. Is 8 a factor of b?
False
Let s be (-1 - 0/(-2))*-6. Let v be (0*2/s)/(-2). Suppose 0 = 4*l + 4, -y + l - 2*l + 83 = v. Is 22 a factor of y?
False
Does 36 divide (-36 - (-9 + -29)) + 1 + 8347?
False
Suppose 0 = -430*w + 428*w + 28. Let x(u) = -3*u**2 + 51*u + 14. Is 4 a factor of x(w)?
True
Let s = 57 + -33. Suppose 20*b + 380 = s*b. Let z = -68 + b. Does 26 divide z?
False
Suppose 1598 = 38*c - 36*c + 2*r, -3*c - 5*r = -2405. Suppose 514*k + c = 519*k. Is 10 a factor of k?
False
Suppose 372414 = 147*o + 61509. Does 45 divide o?
True
Let f(s) = 2*s - 21. Let t be f(10). Let o(n) = n**3 + 4*n**2 + n - 1. Let h(b) = 1. Let c(a) = t*o(a) + 3*h(a). Is c(-4) a multiple of 2?
True
Let b be -9 - (4 - 20/4 - -3). Is (-2)/(-8) - (108108/48)/b a multiple of 13?
False
Suppose 549*j = 547*j + 300. Suppose 5*y - 680 - j = 0. Is 69 a factor of y?
False
Let t(j) = -5*j - 3. Let c be t(-6). Suppose 34*n - 629 = 2091. Let m = n + c. Does 36 divide m?
False
Let v be 369 + 1 + 30/(-15). Suppose -1192 + v = -2*q. Is 28 a factor of q?
False
Let i(l) = 16255*l**3 + 25*l**2 + 4*l - 4. Is 94 a factor of i(1)?
False
Let v(n) = n**3 - 11*n**2 - 22*n - 8. Let o be v(11). Let h be (-2)/(-13) - o/65. Suppose -w + 31 = -2*a - 101, 0 = -3*w - h*a + 376. Does 8 divide w?
True
Let w be (-56)/(-10)*70/(-4). Let s = w + 190. Let k = -47 + s. Does 8 divide k?
False
Suppose -5*p = -i - 21999, 4402 = 3*p - 2*p + 2*i. Suppose 3*t - p = -a - 3*a, -3*t + 4436 = -5*a. Does 112 divide t?
False
Suppose -48*z + 43*z = -685. Let p = z + 3. Does 10 divide p?
True
Suppose 17 = 5*v + 3*g, -2*v - 10 = -0*g - 3*g. Let x be v - (91/(-1))/(1/4). Suppose 4*u + u = x. Is 28 a factor of u?
False
Let f(y) = y + 10. Let j be f(-14). Is 101 - (j + 3)*0/3 a multiple of 11?
False
Suppose 5*t - 3259 = 2*s - 694, 0 = -5*s + 25. Suppose -t = 7*z - 3021. Does 15 divide z?
False
Let g = -115 - -112. Let q be (-38)/g + (-5)/(-15). Suppose 17*n - 216 = q*n. Is 3 a factor of n?
True
Suppose 4*r + 4 = 3*m, m + 4*r + r = 14. Suppose -2*a + 4*s = 70, -4*a - a + m*s - 205 = 0. Let j = 47 - a. Is j a multiple of 46?
True
Let x(v) = 5 + 15*v - 13*v + 11 + 1. Let s be x(-6). Suppose 0 = 3*r - 2*r + 4*d - 130, r + s*d - 134 = 0. Is r a multiple of 16?
False
Let k(v) = 3*v**2 + 52*v - 834. Does 207 divide k(15)?
True
Let u be 8/56 - (-111)/7. Is (-3)/(-12) + 6 + 1180/u a multiple of 5?
True
Suppose -2*g + 32 = 4*z + 12, 3*g = 5*z + 8. Let s(l) = l**3 - 7*l**2 + 3*l - 3. Let y be s(g). Let q = y + 60. Is q a multiple of 13?
True
Is 9 a factor of 4/5 + (-1756860)/(-300)?
False
Let n(c) = -12*c - 6. Let s(l) = -l**3 + 11*l**2 + 17*l - 28. Let r be s(11). Suppose 149 = 5*f + r. Is n(f) even?
True
Suppose -2*s + 11141 = -j, 3*j - 5581 = -9*s + 8*s. Does 28 divide s?
True
Let f = -10509 - -12648. Is 69 a factor of f?
True
Let t be ((-1252)/(-8))/(1/2). Let z = t - 170. Does 11 divide z?
True
Let i = 334 + 818. Is 4 a factor of i?
True
Let s(i) = i**3 - 3*i**2 + 3*i - 4. Let u be s(3). Let a = 32 - -170. Suppose 0 = -5*n + u*z + 725, -4*n + z + a + 375 = 0. Does 48 divide n?
True
Let m(u) = -u**3 + 7*u**2 + 26*u + 10. Let i(c) = c**3 + 4*c**2 - 12*c + 7. Let w be i(-6). Does 10 divide m(w)?
False
Let f = 81 - 93. Does 18 divide (5 - f/(-3))*54?
True
Let j = -241 - -692. Let p = 793 - j. Is 15 a factor of p?
False
Let b(l) be the third derivative of -l**6/120 + l**5/6 + 5*l**4/8 - 10*l**3/3 - 4*l**2. Let k be b(11). Does 5 divide ((-4)/(-8)*-5)/((-2)/k)?
True
Let z(w) = 2*w + 22. Let f(u) = 3*u + 21. Let p(r) = -3*f(r) + 4*z(r). Let v be p(22). Suppose b - 131 = -v*h, -h - 1070 + 367 = -5*b. Is b a multiple of 35?
True
Let o = 44 - 44. Suppose o*i - q + 7 = i,