. Does 24 divide ((-5)/f*-4)/(19/(-665))?
False
Let x = 235 + -438. Let v = -12 - x. Let b = 4 + v. Is 13 a factor of b?
True
Suppose 4*n = 77 - 73. Let y(j) = 200*j**3 + 3*j**2 - 3*j + 1. Is y(n) a multiple of 18?
False
Suppose -3*s + 15 = 0, n - 830 = 4*n - s. Let h = n + 404. Let y = -98 + h. Is y a multiple of 7?
False
Suppose -4*g = 0, 2*r + 3*r - 3475 = 20*g + 86725. Is r a multiple of 41?
True
Let r(q) be the third derivative of -q**6/24 - q**5/10 - q**4/8 + 5*q**3/6 - 52*q**2 - 2*q. Is r(-3) a multiple of 27?
False
Let i = 51875 + -24173. Does 29 divide i?
False
Let d = -1833 - -4707. Does 10 divide d?
False
Let n(y) = -8*y + 6. Let m be n(-2). Let o(u) = -u**2 + 23*u - 27. Let i be o(m). Does 41 divide (-246)/i*(-5)/(-2)?
True
Let c(j) = -2 + 0 - 6 + 1 + 4*j + 25*j. Suppose -4*u + 37 = 4*l + l, 19 = -2*u + 5*l. Is 20 a factor of c(u)?
True
Let p = -6416 - -7131. Is p a multiple of 65?
True
Let q(p) = 6*p - 10. Let n = -31 - -35. Suppose 3*j + 23 = 5*c, -3*c + n = -c + 4*j. Is 5 a factor of q(c)?
False
Let n be (-2908)/(-6)*(-90)/15. Does 5 divide -8 - 258/(-33) - n/22?
False
Is 9 a factor of 2107/21 + 12/(-9)?
True
Suppose q = -2, -5*u - 3*q = -0 + 1. Let d be u + 4/(-2) + -2 + 6. Suppose 3*p - d*r = -4*r + 61, 29 = p - 4*r. Is p a multiple of 13?
False
Let u(y) = -y**3 + 9*y**2 - 14*y + 4. Let v be u(7). Suppose 29 = -2*s + 33, v*w - 336 = 2*s. Is 53 a factor of w?
False
Suppose 209*w = 211*w - 384. Suppose -w = -u + 4*o, -o - 66 = -2*u + 325. Is 75 a factor of u?
False
Suppose 840 = 3*n - 3*l, 566 = -n + 3*n - 8*l. Does 2 divide n?
False
Is 2314620/45 + (-3 - (3 - 13)) + -1 a multiple of 20?
False
Suppose 0 = 2*u - 7*u + 5. Let d be (91 - -1)/((-2)/u - -3). Suppose -2*a + 5*a - 87 = -3*f, 3*f - d = 2*a. Does 30 divide f?
True
Suppose 4*s = -5*s + 5*s. Let d be (-5 + s + 3)/((-4)/18). Suppose -3*g + 38 = u, -3*u + 128 = -d*g + 4*g. Does 4 divide u?
False
Let i(g) = 51*g + 119. Let c be i(29). Suppose 0 = -c*t + 1603*t - 6265. Is t a multiple of 80?
False
Let c(n) = 3*n**3 - 8*n**2 - 17*n + 22. Let l(x) = x**2 + 8*x + 7. Let t be l(0). Does 30 divide c(t)?
True
Suppose 2*x = s - 15, 3*x = 4*s + x - 42. Does 11 divide -33*(-6)/s + 0?
True
Let n(w) = 22*w + 44. Let t(m) = -3*m + 30. Let s be t(6). Does 44 divide n(s)?
True
Let r(i) = 11*i - 29. Let f be r(4). Suppose -14*h = f*h - 15370. Is h a multiple of 53?
True
Let j = -457 - -3232. Is j a multiple of 37?
True
Let y = 4907 - 4539. Is 12 a factor of y?
False
Suppose 3*s - 7*s + 36 = 0. Suppose -s*g + 31 + 32 = 0. Let f(h) = 14*h + 42. Is f(g) a multiple of 28?
True
Let i(q) = 28*q + 49. Suppose 0 = 2*g - g + 11. Let s be i(g). Let d = s + 448. Does 9 divide d?
True
Suppose -5*y + 15 = 0, -y = k - 60 + 189. Suppose 2*l - 228 = l. Let z = l + k. Does 22 divide z?
False
Let g be -3*3/(-2)*6/9. Let n(o) = -18*o**2 - 2*o + o**g - 13*o**2 + 6 + 27*o**2. Is n(5) a multiple of 6?
False
Suppose -9*h = -12*h + 12. Let s be 542*3/15 + h/(-10). Suppose 6*l + s = 3*j + 3*l, -5*j + 174 = l. Is 35 a factor of j?
True
Suppose 2*p + 2*p - x = 1505, -5 = x. Let t = -661 + p. Let y = -197 - t. Does 9 divide y?
False
Let a(w) = -7*w**3 - 5*w**2 - 6*w. Suppose -5*v - 4*x + 3 = -2, 0 = -v - 4*x + 17. Is 25 a factor of a(v)?
False
Suppose 3*w + 478 = 5*w. Suppose -3*b - 339 = -d, -4*b = -d + w + 96. Is d a multiple of 14?
False
Let m(o) = -4*o**3 + 4*o**2 + 33*o + 415. Is 179 a factor of m(-15)?
True
Suppose 2*w + 9 = 3, 5*w = 2*u - 607. Does 5 divide u + (-5 - 0 - (-15 + 6))?
True
Let a(r) = -273*r + 10234. Does 35 divide a(28)?
True
Suppose 28*j = 36*j - 464. Is (j*(-4)/12)/(2/(-30)) a multiple of 10?
True
Let c = -120 - 65. Let h = 211 + c. Is 2 a factor of h?
True
Let x be 111/6*(-4)/(-2). Suppose x*q - 2178 = 28*q. Does 11 divide q?
True
Suppose 4 = 2*k, -2*y - 6 = -k + 8. Is (-1530)/(-12) + (-3)/y a multiple of 35?
False
Suppose 0 = 26*m - 43*m - 8976. Let j = m + 535. Is j a multiple of 2?
False
Suppose -2*x = 2*g + 6, 15*x = 20*x + 3*g + 7. Is 50 a factor of 829662/583 + x/(-11)?
False
Let l(f) = 3*f**3 - f**2 - 39*f + 81. Let a be l(2). Suppose 0 = -2*m + 2*w + 3020, -a*w + 21*w = 6. Does 56 divide m?
False
Suppose -3 = -b + 4. Suppose -b*a + 129 = 353. Let z = -5 - a. Is z a multiple of 3?
True
Let s(n) = -11*n + 17*n - 74 - 7*n - 6*n. Is 86 a factor of s(-45)?
False
Let u(h) = 7*h**3 + 20*h**2 - 22*h - 7. Let p(l) = 4*l**3 + 10*l**2 - 11*l - 3. Let d(y) = -5*p(y) + 3*u(y). Does 12 divide d(6)?
True
Suppose 1215 = -21*l + 2811. Does 3 divide l?
False
Suppose q - y - 105 = 2*y, -195 = -2*q + 3*y. Let k = q + -88. Suppose 6*u - 106 = -k*d + 4*u, 0 = -2*d - 3*u + 111. Is 6 a factor of d?
True
Suppose 5*o - y + 1458 = 0, -2*o + 4*o = -y - 579. Let h = -150 - o. Is 4 a factor of h?
False
Let l(q) = -15*q**3 - 4*q**2 - 5*q + 2. Suppose 2*t - 11*t = 27. Is l(t) a multiple of 30?
False
Let c(p) = -4*p - 14. Let v(h) = 7*h + 28. Let q(n) = -5*c(n) - 3*v(n). Let f be q(-21). Suppose f*a = 6*a + 55. Is a a multiple of 11?
True
Suppose 530827 = 89*d + 247656 - 672778. Is d a multiple of 10?
False
Suppose q - 137 - 27 = 0. Let d = -56 + q. Is 9 a factor of d?
True
Let k(b) = -49448*b - 156. Does 237 divide k(-1)?
False
Let l(h) = -2*h**3 + 15*h**2 - 12*h + 51. Let c(j) = j**3 - 8*j**2 + 7*j - 26. Let v(d) = -5*c(d) - 2*l(d). Is v(9) even?
True
Suppose 0 = 6*c - 2*c + 92. Let u = c - -27. Suppose u*z = -167 + 775. Is 32 a factor of z?
False
Let f be (-281135)/(-177) + (1/(-3) - 0). Suppose -3*r + 835 = -2*w - 351, 0 = 4*r - w - f. Let c = -208 + r. Does 10 divide c?
True
Let y = 103 - 99. Suppose -4*d = -y*t - 4, 2*d + 0*d = 5*t - 10. Is 37 a factor of (((-555)/(-6))/d)/(2/4)?
True
Suppose -5*s = -v - 23, -2*s = 5*v - 5 - 15. Suppose 0 = 5*g - 25, -c = v*g - 4*g - 50. Does 6 divide c?
True
Suppose -5*f - 28270 = -0*f - 15*f. Is f a multiple of 69?
False
Let j be 4/(-2)*(-1 + -47). Suppose -10*i + j = -4*i. Does 19 divide (15*5)/(-15 + i)?
False
Suppose 793*c - 763*c = 509490. Is c a multiple of 165?
False
Let m = -115 - -187. Suppose 0 = -2*b - 4*b + m. Suppose -4*u = b, 3*j - 4*j = -5*u - 64. Does 9 divide j?
False
Suppose -5*s - 7*b + 45 = -3*b, -3*s + 2*b = -5. Suppose -5*p = -4*l + 60, -3*p = l - 0*p + 2. Is 38 a factor of 2278/l - (4/s + -1)?
True
Does 12 divide (-8)/(-84) + 4 + (-2252864)/(-168)?
False
Is 7 a factor of 7*(19/((-76)/(-720)) - -3)?
True
Suppose -2*o - 4*m + 184 = 0, 2*m - 7 = 3*o - 283. Suppose x = -4*p + 96 + o, -3*x + 531 = p. Let r = x - -16. Does 29 divide r?
False
Let w(z) = z**3 + 3*z**2 - 4*z + 5. Let r be w(-4). Let g be (32/(-4))/(-3 - -1). Suppose -121 = -2*f - r*h, 0*f = 3*f + g*h - 164. Is 16 a factor of f?
True
Let b(w) = 254*w**2 + 8*w + 8. Is 122 a factor of b(3)?
True
Let a = -6353 - -18811. Does 21 divide a?
False
Let n = -120 - -123. Suppose 3*b - 813 = -2*y, 0 = -y + n*y. Does 19 divide b?
False
Is 17 a factor of 6/(-36)*-91230 + (-1)/3*0?
False
Suppose 160*v - 578259 + 13210 = 128551. Is 69 a factor of v?
False
Suppose 21*o - 50721 = -8*o. Is 53 a factor of o?
True
Let s(y) = y**2 - 9*y - 6. Let z be s(9). Let d be 3/z*-3*(-260)/39. Is d - -5 - 1*-155 a multiple of 9?
False
Is 18/(-42) - 7/(490/(-103560)) a multiple of 29?
True
Let c(b) = 3*b**2 - 111*b + 138. Does 6 divide c(-19)?
True
Let f(q) = -16*q + 1294. Is 12 a factor of f(-70)?
False
Let n = -10070 - -15435. Does 29 divide n?
True
Suppose 4 - 2 = -z + 3*f, -8 = 4*z + f. Let c = 0 - z. Suppose 5*k = c*k + 120. Is 10 a factor of k?
True
Let x = 13825 + -8031. Is 63 a factor of x?
False
Let c(x) be the second derivative of 27*x + 0 - 7/3*x**3 - 1/20*x**5 + 7*x**2 + 7/6*x**4. Is 15 a factor of c(12)?
False
Let i be -48 - (-4)/12*3. Let m = i - -50. Suppose c - 173 = -2*r - 0*r, m*r - c = 252. Is r a multiple of 8?
False
Let w be (-7 - -3)/((-2)/(-4)*-2). Suppose 3*b - 28 = -s - 5, -w*b - 16 = 0. Is 26 a factor of (s*3 - (-4 + 5))/1?
True
Suppose 4*u - 75 = l - 1559, 5891 = 4*l - 7*u. Does 12 divide l?
True
Suppose 3*i - 4*i + 4*q - 114 = 0, 3*i = -4*q - 262. Let n = 76 - i. Is n a multiple of 17?
True
Let g = 4441 - 4353. Is 2 a factor of g?
True
Suppose 2*p - 682 = -2*x + 642, 0 = p - 4*x - 647. Let y = 75 - 72. Suppose p = 4*s - 3*g, -3*g + 261 + 207 = y*s. Does 12 divide s?
False
Let f = -162 - -165. Suppos