uppose i*c = 44*c - 84. Is 3 a factor of c?
True
Let c = -351 + 417. Is 17 a factor of c - (4/6)/(3/(-9))?
True
Suppose 0 = -10*f - 7 + 37. Is 9 a factor of (216/(-28))/(f/(-56))?
True
Let w = 71 + -34. Let h = -6 + w. Let d = 47 + h. Does 16 divide d?
False
Let w(f) = 4*f**2 - 49*f - 5. Suppose 5*r + g - 54 = 9, -5*g = -15. Let a be w(r). Let h = a - -42. Is h a multiple of 3?
False
Let h be (6*(-6)/(-8))/((-25)/(-450)). Let k = h + 125. Is k a multiple of 27?
False
Let g = 14 - 6. Let y be 6 - (-8)/(-12)*-6. Let t = y + g. Is 6 a factor of t?
True
Let w = 13168 + 7937. Does 45 divide w?
True
Is 13 a factor of ((-1430)/30)/11*-3*1118?
True
Let r(p) = 4*p - 23. Suppose -12 + 40 = 4*a. Let h be r(a). Suppose -50 = -5*d + h*n, -5*d + 3*n = 2*n - 58. Is d a multiple of 12?
True
Let m(z) = -43*z**3 - 2*z**2 - 5*z + 10. Let i(n) = 87*n**3 + 4*n**2 + 11*n - 20. Let d(y) = -2*i(y) - 5*m(y). Is 8 a factor of d(2)?
False
Suppose 0 = -3*f - 4*r + 8000, 4*f - 5057 = -4*r + 5615. Is f a multiple of 25?
False
Suppose 8*f - 575 = 4*f + 369. Is f a multiple of 2?
True
Let q be 2*(-1)/(2/(-59)). Let v = 81 - q. Is v a multiple of 11?
True
Let r = -105 + 107. Let s(q) = -38 - q**2 + 17 + q**3 + 9*q**2 + 30 - r*q. Is 11 a factor of s(-8)?
False
Let z = 8 - 6. Suppose -s - z*s - 240 = 0. Let d = 140 + s. Is 8 a factor of d?
False
Let i(c) = 12*c - 201. Let h be i(17). Does 50 divide (1 - (h + 258))/((-1)/2)?
False
Suppose 0 = r - 3*g - 9, -8*r - 9 = -4*r + 3*g. Suppose r = a + a + 4*y - 292, -5*a + 723 = 3*y. Does 8 divide a?
True
Let r(l) = -7*l + 40. Let t be r(7). Is ((-12)/18)/(12/t)*26 a multiple of 7?
False
Let f be (3/5)/(5/25). Suppose -5*a - 64 = -x, 4*x - 40 = f*a - a. Let n(d) = -d**2 - 21*d + 6. Is n(a) a multiple of 35?
False
Suppose -109*h + 23*h = -829728. Does 11 divide h?
False
Let n(x) = 2*x**3 - 27*x**2 + 204*x - 9. Does 2 divide n(8)?
False
Suppose 6*m + 68 = 4*m. Let t = -105 - m. Let l = -23 - t. Is l a multiple of 24?
True
Let k(s) = s**3 - 14*s**2 + 15*s + 18. Let t be k(13). Let l be (4 + t)*(-124)/(-8). Suppose -l = -n - 5*n. Does 41 divide n?
False
Suppose -w - 18 = -10*w. Suppose w*c = -2*c. Suppose c*i = -i + 8. Is 6 a factor of i?
False
Suppose 78 = -2*f - 6. Let r be f/7*4/3. Is (-2 + r/(-3))*24 a multiple of 7?
False
Let o(u) = -114*u + 8. Let r be o(-4). Suppose q + 14*y = 9*y + 164, y = -3*q + r. Is q a multiple of 9?
False
Let x = 24619 + -21091. Is x a multiple of 49?
True
Let r(f) = -4*f + 13. Suppose 2*u = -4*x + 12, 3*u + 3 = 2*x - 3. Suppose -4*y + 3*y + 12 = 5*z, 2*y + z = -x. Is 5 a factor of r(y)?
True
Let c(k) = 15*k**2 - 258*k - 120. Does 32 divide c(34)?
True
Let h = -173 + 118. Let r be h/(-22) + (-6)/(-4) - 16. Is (2 - 57/r) + 2/8 a multiple of 6?
False
Let r(y) = 166*y + 3387. Is 10 a factor of r(46)?
False
Suppose -4*m = -5*a + 2*a - 11, 4*a - 7 = m. Suppose -m*c = -4*c - 11*c. Does 10 divide -118*(c + 3/(-6))?
False
Let h(z) = -z**2 + z + 4. Let y be h(2). Suppose -3*c = y*w + 5 - 567, -c - 4*w = -194. Suppose -4*x + 2*j = -c, -j + 4*j = -3*x + 126. Is 12 a factor of x?
False
Suppose -884 = -2*m + 5*q, -m + 2*q - 424 = -2*m. Suppose -2*z = -2*f + 5*f - m, 4*f - 556 = 4*z. Let n = 62 + f. Is 34 a factor of n?
True
Suppose 0 = 3*k + 14 + 4. Let u(a) = -a**3 - 5*a**2 + 12*a. Let d be u(k). Let t = 262 + d. Is 29 a factor of t?
False
Suppose -21*n + 4 = -38. Let x(r) = 62*r**3 - r**2 + 6*r. Does 14 divide x(n)?
True
Let n = 69493 + -41824. Is 29 a factor of n?
False
Let y be 33/22*(3 - 2343/9). Is 11 a factor of 3*(-5)/3*y/2?
False
Suppose 22*i = -28*i + 1950. Suppose 54*b - i*b - 13890 = 0. Is 27 a factor of b?
False
Suppose -5*v - 10 = 5*g, g = -4*v + 1 + 6. Suppose -650 = -4*o + 5*h - 83, v*o - h - 439 = 0. Does 7 divide o?
False
Let s(p) = 682*p**2 + 191*p + 385. Is 196 a factor of s(-2)?
False
Suppose y - p - 5136 - 1023 = 0, -4*p + 18512 = 3*y. Does 67 divide y?
True
Let m = 28538 + -17012. Does 102 divide m?
True
Suppose -47*z + 43*z = -152. Suppose -z*v + 11*v + 5049 = 0. Does 17 divide v?
True
Let c = -213 + 111. Let m = 119 + c. Suppose -121 + m = -y. Is 52 a factor of y?
True
Suppose 2*g + 226 = f + 6*g, 0 = f + 5*g - 231. Let b = f - -300. Does 22 divide b?
True
Let q = -70 + 73. Let y(p) = -p**3 - 5*p**2 + 7*p - 3. Let x be y(q). Let z = 64 + x. Does 10 divide z?
True
Suppose 3*b + 21 = 5*d, 0*b - b = 2. Suppose -v - 3*s + 465 = 0, v - 5*s - 470 = -d*s. Does 52 divide v?
True
Is (-24)/(-18)*(-271 + -19)/((-4)/135) a multiple of 15?
True
Let w = 112 + -112. Let k be w/(12/(-3))*-1. Suppose k = -5*p + 185 + 95. Is p a multiple of 4?
True
Suppose -61 - 123 = -2*i. Let j = i + 0. Is 10 a factor of j?
False
Let m = -7 - -9. Suppose 0*h + 104 = m*s - 3*h, 3*s - 4*h - 154 = 0. Does 12 divide (-23)/s + 97/2?
True
Let h(w) = -w**2 - 9*w. Let r be h(-3). Suppose -11*f - 12 = -7*f. Let a = f + r. Does 5 divide a?
True
Let c = 417 - 252. Suppose -q = o - 174, 0*o = -o + 2*q + c. Does 4 divide o?
False
Suppose 17*y = 61102 - 12533. Is 15 a factor of y?
False
Let d = -199 + 229. Is ((-10)/(-5))/(3/d) a multiple of 18?
False
Let g be 8/2 - (13 + -33). Suppose -g*c + 5769 = -1359. Is 31 a factor of c?
False
Suppose 324 = 26*y - 22*y. Let v = y - 13. Let k = v - -3. Is 7 a factor of k?
False
Let m be 1 - 53 - (0 + 0). Let d = 56 + m. Suppose 3*c = d*j - 223, -3*j + 5*j + 4*c - 84 = 0. Is 26 a factor of j?
True
Suppose 0 = -5*n - 10, 762 = 5*u + n - 101. Let i = u - -114. Is i a multiple of 21?
False
Let h be (-12)/(-84) + (-1)/((-14)/(-548)). Let c = h + 43. Suppose -c*g + 247 = -113. Is 10 a factor of g?
True
Let v(d) = 3*d**3 + 37*d**2 + 9*d - 183. Let a(c) = c**3 + 12*c**2 + 3*c - 61. Let k(y) = 8*a(y) - 3*v(y). Is k(-17) a multiple of 30?
True
Suppose 2*v = 147 + 535. Suppose 0 = 4*g - 479 - v. Is g a multiple of 34?
False
Let g(v) = -2*v**3 - 6*v**2 - 10*v - 20. Let a be (-1 + -4 + 2 + -1)*1. Does 2 divide g(a)?
True
Suppose 0 = 1742*z - 1747*z + 8010. Does 20 divide z?
False
Suppose 289 = 3*w - 5*c, 0 = 2*w + c + c - 182. Suppose -8*z + w = -51. Suppose z*d + 192 = 24*d. Does 9 divide d?
False
Suppose 252 = 6*q - 2*q. Let u(j) = 2*j**2 - 30*j**3 - 32*j**3 + q*j**3. Is 16 a factor of u(4)?
True
Let k = 52377 - 20401. Is 28 a factor of k?
True
Let i = 309 + -296. Is (-26 + i + 110)/((-2)/(-10)) a multiple of 12?
False
Suppose 15*g + 15000 = 10*g. Let d be 1/(-5*3/g). Suppose -3*h = 12, 4*n - d = 2*h - 52. Is 24 a factor of n?
False
Suppose -3480 = -8*h + 6*h - 4*x, -3*h + 5*x + 5198 = 0. Is 28 a factor of h?
True
Suppose 5*x - 2*g - 30 = 0, 9 = -4*x + g + 30. Let o(h) = 149*h + 28. Is 16 a factor of o(x)?
True
Let b be 2/8 - (6 + 1565/20). Let i be (12 - b)*15/(-4). Does 24 divide (1 - (-63)/(-15))/(12/i)?
True
Let p(c) = 8386*c**3 - 13*c**2 - 6*c + 2. Does 27 divide p(1)?
False
Let v(m) = m**3 + 27*m**2 + 26*m + 45. Suppose 15*k - 5*k - 50 = 0. Let c(u) = -u**2 - 2*u + 9. Let r be c(k). Does 15 divide v(r)?
True
Is 15 a factor of 15393 - (2756/273 + 18/(-189))?
False
Let q(a) = -468*a**3 + a**2. Suppose -82*u = -3*h - 83*u - 5, 2*h = -u - 4. Does 10 divide q(h)?
False
Suppose 0 = 3*l + l - 288. Suppose 0 = 5*p + 2*c - 5*c + l, 64 = -4*p - 4*c. Let y(a) = -10*a - 6. Is y(p) a multiple of 18?
True
Let l(w) = -4*w + 3. Let a(g) = 2*g - 2. Let j(f) = -7*a(f) - 3*l(f). Let v be j(1). Suppose 2*q = 3*k + 228, -q + v*k + 88 = -20. Is q a multiple of 15?
True
Suppose 50 = -4*c + 146. Let x = c - 2. Let q = x - -37. Is 17 a factor of q?
False
Let q = 13358 + 2077. Is 49 a factor of q?
True
Let i(j) = -17*j**2 - 83*j - 4. Let f be i(-5). Let r(q) = q**3 - 2*q**2 + q. Let b be r(-2). Is 12 a factor of 322/9 + (1 - f/b)?
True
Let v(m) = 571*m - 3050. Is v(42) a multiple of 21?
False
Let w = 166 - 162. Does 10 divide ((-3)/w)/(21/(-5628))?
False
Suppose f - 2141*v - 6643 = -2145*v, 6697 = f - 5*v. Is 59 a factor of f?
True
Suppose 6*r = r + 30. Let z(u) = -3*u**2 + 4*u**2 + 9 + r*u + 6. Is 20 a factor of z(-12)?
False
Let n(m) = m**2 - 9*m. Suppose 5*f - 66 = 4*r, -2*f = -5*f + 5*r + 37. Is 23 a factor of n(f)?
False
Let u be ((5/15)/(-1))/(1/(-3270)). Suppose -13*p = -2225 - u. Is p a multiple of 17?
True
Suppose 26 = -4*p + 2*f, -2*p - 4*f - 2 - 6 = 0. Let o be (785/(-3))/(-5) - p/9. Suppose -4*y - 59 = -7*y - 4*m, 3*y =