s 27 a factor of ((-38)/8)/(3/(-325 + 1))?
True
Let s = -152 + 678. Let d = 998 - s. Is 59 a factor of d?
True
Let s(h) = 6*h + 12. Let w be s(-4). Let b be 3*(8/w - -1). Is 3 + (-1)/(b/(-71)) a multiple of 20?
False
Let o = -17576 - -33207. Is 49 a factor of o?
True
Let v(n) = -n**3 - 15*n**2 + 3*n + 48. Let z be v(-15). Suppose z*b = -4*u + 788, 4*u + 399 + 633 = 4*b. Is b a multiple of 3?
False
Let v = 36 - 524. Let t = v - -901. Does 49 divide t?
False
Is 25 a factor of ((-2)/(-8)*-1 + 11099/(-4))*-2?
True
Let c = 24468 - 11756. Is 28 a factor of c?
True
Suppose -12*p = -15*p + 3, 3*p = -5*v + 603. Let a be 1581/18 - (-2)/12. Let n = v - a. Is n a multiple of 8?
True
Suppose 4187*k - 4224*k + 2638914 = 0. Is 12 a factor of k?
False
Let z be 2 + (3 + -2)*-6. Let b(x) = 8*x**2 - 3*x - 21. Does 17 divide b(z)?
True
Suppose 206*c + 522 = 5*z + 210*c, -3*c - 218 = -2*z. Let u = 477 + -276. Let y = u - z. Is y a multiple of 22?
False
Let x(j) = 1823*j**3 + 246*j**2 - 494*j. Is 45 a factor of x(2)?
True
Let m(r) = r**2 + 71*r - 55. Let l be m(-32). Let f = l + 2059. Is f a multiple of 42?
True
Is 46 a factor of (-2683935)/(-567) + ((-20)/(-14) - (0 + 2))?
False
Let w be 2980/6*(-10)/(140/(-21)). Let h = 1707 - w. Does 13 divide h?
True
Is ((-171232)/24)/((-48)/36) a multiple of 32?
False
Suppose 13*n - 19787 = -10*n + 46154. Does 47 divide n?
True
Let f be 42/6 - 8 - -1. Suppose f = -4*d - 3*r + 6405, -2*d - 2*r + 8008 = 3*d. Is 89 a factor of d?
True
Does 12 divide (12 - (14 - -18)) + 21017?
False
Let q(r) = -218*r**3 - r**2 - 2*r - 1. Let v be q(-1). Suppose w - 2*k - v = 0, -8*w + 221 = -7*w - k. Suppose -h - 56 = -w. Is 42 a factor of h?
True
Let p(s) = s**3 - 16*s**2 + 52*s + 150. Does 13 divide p(15)?
False
Suppose -1158*u + 330369 = -1145*u. Is 4 a factor of u?
False
Suppose 14*w - 2*w - 5*w = 36400. Is w a multiple of 35?
False
Suppose -2*g = 2*y - 16, 5*g - 33 - 2 = -4*y. Suppose -5*q + 409 = 2*i, i + 571 = 4*i - q. Suppose i = y*f + 42. Does 9 divide f?
False
Let x(c) = 495*c**3 + 3*c**2 + 9*c - 3. Let t be x(-3). Is 45 a factor of (t/(-72))/(1/3)?
False
Let y(j) = 2081*j + 3221. Is y(2) a multiple of 2?
False
Does 14 divide 732/(-30)*12935/(-78) + (-1)/3?
True
Let b(g) = 452*g**3 - 18*g**2 + 130*g - 51. Is 23 a factor of b(5)?
True
Suppose 4*l - f - 37448 = 0, 131*f + 24 = 128*f. Is 6 a factor of l?
True
Suppose -4*n + 58 = 2. Let s = n + 48. Suppose -4*h - s = -2*k, -k - 57 = -3*k + 3*h. Does 21 divide k?
True
Suppose -207 + 1935 = 2*u. Suppose 5*k + 15 = 0, -3*v + u = 3*k - 0*k. Let i = v + -156. Is i a multiple of 27?
True
Suppose 4*r + 560 = 3*v, 0*r = 4*r - 4. Let t = 79 - v. Let h = t - -186. Is 13 a factor of h?
False
Suppose -3*r + 4*i + 69397 = 0, -5*r + i + 86324 = -29315. Does 196 divide r?
False
Does 11 divide (-178 + 192)*542/4?
False
Let f(i) = -i**2 + 6*i - 53. Let u(q) = -3*q**2 + 13*q - 105. Let a(w) = 5*f(w) - 3*u(w). Is a(10) a multiple of 24?
True
Let a = 592 + -871. Let s = -230 - a. Does 11 divide s?
False
Let k(s) = -s + 2. Let b(m) = -5*m + 51. Let n(u) = b(u) + 3*k(u). Is 3 a factor of n(-7)?
False
Is 33 a factor of ((-68)/6)/((-284)/925272)?
False
Suppose -3271 = -3*f + f + 5*b, -6 = -2*b. Suppose 3*i - 3*o = -i + f, 2*i - 816 = -4*o. Is 52 a factor of i?
False
Suppose -6*d = -11019 - 6477. Is d a multiple of 5?
False
Suppose -5*k - 220 = 5*r, k - 34*r = -39*r - 28. Is 83 a factor of k/240 + 9122/10 + 1?
True
Let k(p) = 4*p**2 + 84*p + 2502. Does 9 divide k(-48)?
True
Let y = -18024 - -26398. Is 11 a factor of y?
False
Let g = 17261 - 14636. Is g a multiple of 48?
False
Suppose -r = -0*i - 2*i + 14, 32 = 4*i - 4*r. Is 438 - -7*i/(-14) a multiple of 13?
False
Suppose -160*v + 195503 - 3018677 = -403*v. Is 5 a factor of v?
False
Let o be 0/(9/((-27)/6)). Suppose o = c - 3*k - 3, 2*c - 13*k + 11*k - 18 = 0. Is c a multiple of 6?
True
Let f = -318 + 183. Let i = -233 - f. Let j = -38 - i. Is j a multiple of 5?
True
Let y(t) = -t + 2. Let o be y(-6). Suppose -8*g - o = -9*g. Let b = g - -1. Does 9 divide b?
True
Let k = -233 - -282. Suppose -s + 8 = -3*s. Is 27 a factor of s/(2 - 3) + k?
False
Let q(a) = -42*a + 2. Let b be q(-3). Let c = b + -73. Is (c/33)/(2/42) a multiple of 7?
True
Suppose -2*c - 1 = -y - 11, y = -c + 5. Suppose -4 = -t, -4*j - 4*t + 16 + 12 = y. Does 26 divide ((-15)/10)/(j/(-84))?
False
Suppose -177*s - 55896 = -5*w - 174*s, 4*w - 44736 = -4*s. Is w a multiple of 28?
False
Suppose u - 19 + 3 = -5*z, -3*u + z = -16. Suppose b = u - 1. Suppose 4*n + 120 = b*n. Is 20 a factor of n?
True
Suppose 3*n + 0 = 3*r - 36, n = -3. Let m be (-1)/(3/r) + 13. Suppose 0 = m*b + 114 - 294. Does 6 divide b?
True
Let l = -30 + 8. Let u be 4 + l/3 - (-2)/(-3). Let o(i) = -80*i - 36. Is 29 a factor of o(u)?
False
Let m = 12581 - -3982. Is 12 a factor of m?
False
Let l be 2/9 + 7360/414. Is (-2)/(-3) - 6/(l/(-883)) a multiple of 5?
True
Let n(l) = l**2 - 8*l + 38. Let g be n(5). Suppose -g*c = -17*c - 252. Does 3 divide c?
True
Let d = -103 - -109. Suppose -1 = -d*r + 47. Is r a multiple of 2?
True
Let s(o) = -o**3 - 13*o**2 + 8*o + 29. Let w = -30 - -16. Is 17 a factor of s(w)?
False
Let z = 8077 + -5118. Does 4 divide z?
False
Is 1 - -4 - (12110/20)/(-7)*2 even?
True
Let o(j) be the first derivative of -14*j + 1/4*j**4 - 11/2*j**2 + 2*j**3 - 2. Does 3 divide o(-7)?
False
Let d(q) = 418*q + 1. Let b be d(3). Suppose -3*w + b = -6*c + c, -2081 = -5*w + 3*c. Is 48 a factor of w?
False
Let x(o) = 195*o + 1434. Does 6 divide x(12)?
True
Suppose 2*z = -2*w + 92, -5*w + w + 208 = -4*z. Suppose w = c + 4*x, 4 = -5*x - 16. Does 5 divide c?
True
Let x = 3084 - 1734. Is x a multiple of 15?
True
Suppose 6*s = -2*s - 16. Is (5 - 1)*((-369)/(-12) - s) a multiple of 4?
False
Suppose -25*r = -15*r + 100. Let q(v) = -v**3 - 3*v**2 - 7*v - 77. Does 30 divide q(r)?
False
Let t(z) = -z**3 + 7*z - 3. Let n = 90 - 95. Is 2 a factor of t(n)?
False
Suppose -178*c = -72*c - 6466. Is c a multiple of 32?
False
Let x(j) = j**2 + 4*j - 10. Let h(p) be the first derivative of -p**4/4 + 2*p**3 - 5*p**2/2 + 6*p + 25. Let q be h(5). Is 20 a factor of x(q)?
False
Suppose 8*j - 12*j + 8 = 0. Let m be 1/((-1)/j)*(-3 - 278). Let n = -310 + m. Is 18 a factor of n?
True
Suppose 4752 = 543*u - 534*u. Is 6 a factor of u?
True
Is 72 a factor of (4 - (3 + -10899)) + 66/(55/5)?
False
Let u = 100 + -91. Suppose 3*v = u*v - 264. Is 30 a factor of v?
False
Let k(a) = 59*a - 23. Suppose 3*w = -3*v - 150, 3*w + 132 = -4*v - 64. Let u = v - -52. Is k(u) a multiple of 37?
False
Let m be 19 + 0 + 4/2. Let i be (-70)/m*6/(-4). Suppose -i*k - 76 = -4*h, 2*h + 5*k = -3*h + 95. Does 10 divide h?
False
Suppose -22*k + 1129406 + 5891188 = 280*k. Is 39 a factor of k?
False
Suppose 0 = -8*v - 19*v + 7668. Let w = v - -558. Does 32 divide w?
False
Suppose 0 = 4*o + 3*p + 1531, p - 164 - 217 = o. Let a = 634 + o. Is a a multiple of 36?
True
Suppose -q - 7*q = -896. Let h = 115 - q. Is ((h*-4)/(-1))/(1/7) a multiple of 21?
True
Let j = 354 + -360. Is -10 - -321 - j - 1*-5 a multiple of 23?
True
Suppose -3*a = 10*a + 2*a - 27000. Is 20 a factor of a?
True
Let s(a) = a**3 + 23*a**2 - 54*a - 90. Let p be s(-25). Suppose t + 0*t - 23 = 0. Let y = t + p. Does 11 divide y?
True
Is ((-2171)/39 - -13)*-72 a multiple of 96?
True
Suppose 14*u - 7772 - 57173 = 673. Is u a multiple of 102?
False
Suppose 3*f + 15 = 0, 2*g = -5*f + 2*f - 15. Suppose g = -17*r + 5755 + 790. Is r a multiple of 18?
False
Let d(b) = -b + 5. Let y be d(8). Let n be (-9)/y + (-58 - (0 - 4)). Let m = n - -76. Does 12 divide m?
False
Suppose 27*y - 4815 = 22*y. Suppose -3*l - 3*k + y = l, -3*l + 4*k + 716 = 0. Is 20 a factor of l?
True
Let k be ((-84)/(-10))/(7*12/210). Suppose -k*h = -35*h + 8232. Does 49 divide h?
True
Let h = 10546 - 1586. Is 160 a factor of h?
True
Let o = -8250 + 14089. Is 15 a factor of o?
False
Let h be -17 + 720/27 + 2/(-3). Suppose 191 = h*b - 619. Is 9 a factor of b?
True
Suppose 30*s + 176 = 41*s. Does 25 divide (12/(-9))/(s/(-4200))?
True
Let g(i) = 2*i**3 - 255*i**2 + 574*i - 570. Is g(127) a multiple of 14?
False
Suppose 18*t + 10 = 21*t + 2*v, 0 = -4*t + 4*v - 20. Let i(n) = -n**2 - 7*n - 4. Let p be i(-3). Suppose t = -9*d + p*d + 221. Is d a multiple of 13?
True
Let j(f) = 