
True
Suppose 3*p + 384*w = 387*w + 56841, -2*p + 3*w = -37889. Is 206 a factor of p?
True
Suppose -7*q - 8 = 5*r - 5*q, -5*r - 12 = -2*q. Let n be 249/((r/(-12))/(14/126)). Let j = n - -49. Is 35 a factor of j?
False
Is (-33384)/(-7) + (-600)/(-700) a multiple of 30?
True
Let q = -219 + 64. Let k = q - -239. Is 8 a factor of (k/(-5))/(-2) + 48/(-120)?
True
Suppose 735*c = 846*c - 3226326. Does 8 divide c?
False
Suppose 11*m + 608 = 4172. Let f = 386 - 606. Let t = f + m. Is t a multiple of 23?
False
Let j(g) = -g**3 - 36*g**2 + 35*g - 70. Let h be j(-37). Suppose -h*s + 1995 = -3*f, 8*s - 5*f - 503 = 7*s. Is 83 a factor of s?
True
Let b(g) = g + 16. Let z be b(-6). Suppose -3451 = -z*a + 1249. Is a a multiple of 18?
False
Suppose 9*c = 4*c + j - 100, 44 = -c + 5*j. Let w = -16 - c. Suppose -2*a = -y - w*y - 250, -2*a = 2*y - 280. Does 27 divide a?
True
Let g = 6492 + -1674. Does 73 divide g?
True
Let v(x) = 5*x**3 - 11*x**2 - 39*x + 46. Does 7 divide v(10)?
True
Let r(b) = 470*b**2 - 10*b + 40. Does 23 divide r(5)?
False
Suppose -22*t + 23*t = 2*y - 1931, 0 = -2*y - t + 1933. Let a = y - 315. Is a a multiple of 50?
False
Let a be ((-86)/4 - 1)*(-8 + 18). Is 2 a factor of 2 + a/(-11) + 54/99?
False
Let i be (-4 - 2)*(-12)/18. Suppose 4*y = 2*y + i*b + 76, 5*y + 3*b - 138 = 0. Is y a multiple of 2?
True
Let y(a) = -a**3 - 31*a**2 + 135*a + 53. Let c be y(-33). Does 11 divide -3*(c/(-12))/((-3)/6)?
False
Suppose 2*w = -2*w - 3*f + 6, 3*f = w + 6. Suppose 6*u = u + 3*h + 146, -4*u - 5*h + 102 = w. Let c = -3 + u. Is 6 a factor of c?
False
Suppose 4*z + 3*j = 10425, 20*z + j = 15*z + 13034. Does 10 divide z?
False
Let u be (-9)/((-9)/(-2)) + 10/2. Suppose 0 = u*n + 3*n - 162. Is 2 a factor of n?
False
Is (0 - 24)*(-45 + 18) - (-29 + 26) a multiple of 3?
True
Let m(p) = p**3 + 39*p**2 + 20*p - 126. Is m(-37) a multiple of 13?
True
Let r(q) = 8*q + 1293. Is r(-20) a multiple of 11?
True
Let w(a) = -15*a**3 + 49*a**2 + 29. Does 10 divide w(-7)?
False
Let b(x) = 3*x**2 + 17*x + 16. Let h be b(-12). Suppose -296 = -v - 4*v + n, 4*v + n - h = 0. Does 20 divide v?
True
Let x = 1231 - -10508. Does 12 divide x?
False
Let z(k) = 11*k - 77. Let h be z(9). Is ((-407)/h)/(1/(-2)) a multiple of 17?
False
Let y(u) be the first derivative of 24*u**2 - 6*u - 16. Let c(k) = -50*k + 6. Let s(v) = -5*c(v) - 4*y(v). Is s(3) a multiple of 24?
True
Let h = 377 + -231. Suppose -8*g + 366 + h = 0. Is 8 a factor of g?
True
Suppose -18*k - 68383 = -4*l - 17*k, -k - 3 = 0. Does 21 divide l?
False
Let d be (-14 - -12)/((-3)/744*2). Suppose r + 3*r - 1002 = 2*o, -d = -r + 3*o. Is r a multiple of 22?
False
Let h(w) = -11*w + 33. Let m(y) = 11*y - 33. Suppose -6 + 18 = 3*u. Let a(b) = u*h(b) + 5*m(b). Is 11 a factor of a(15)?
True
Let t = 1192 + 2343. Does 7 divide t?
True
Suppose -4*c - 14 = -10. Let k(r) = -18*r - 2. Let h be k(c). Does 18 divide 56 + ((-2)/4)/(4/h)?
True
Let b(q) = -319*q - 2155. Is 26 a factor of b(-34)?
False
Let w be 6873/(-15) + (-56)/70. Let s = -159 - w. Is s a multiple of 20?
True
Let i = 450 - 420. Does 45 divide (36/i)/((-24)/(-11720))?
False
Let r(t) = -120 - 4*t**2 + 581 + 4*t + 422 - 46 + 5*t**2. Is 27 a factor of r(0)?
True
Let b be ((-1)/6)/((-12)/72)*-2. Let k be 4/4 + (b - -3). Let c = 96 + k. Does 14 divide c?
True
Let m(p) be the first derivative of -16*p**2 + 388*p - 223. Is m(-6) a multiple of 58?
True
Suppose 4*v - 17 = 31. Let p(l) = -39*l**3 - 44*l**2 - 98*l + 54. Let o(m) = -11*m**3 - 14*m**2 - 32*m + 18. Let k(r) = -7*o(r) + 2*p(r). Is 5 a factor of k(v)?
True
Let j = 4986 - 1187. Is 30 a factor of j?
False
Is (6/(-5))/(364/520)*-22*91 a multiple of 13?
True
Let l(w) = -w**3 + 5*w**2 - 7*w + 6. Let u be l(4). Let a be (-3)/(u*(-4)/(-448)). Suppose 4*t + n - a = 5*n, 5*n = -t + 2. Is 2 a factor of t?
True
Is -17 - -12 - (-21)/3 - -141*1 a multiple of 143?
True
Suppose 0 = -11*t - 1 + 34. Suppose 9 = 2*m + 5*n, 0 = 3*m + t*n + 3 - 39. Is m a multiple of 3?
False
Let n(l) = -l**2 + 16*l - 14. Let j be n(13). Let k = j - 16. Suppose k*r = 5*r + 12. Does 3 divide r?
True
Let g(c) = 5*c**2 + 30*c - 11. Let w(k) = k**2 + k - 1. Let f(p) = g(p) - 6*w(p). Suppose -v - 57 = -4*v. Does 15 divide f(v)?
True
Let j = -81 + 97. Suppose h + j = -3*h. Does 13 divide (-1227)/(-12) + (-3)/h?
False
Suppose -10*y + 3925 = -5115. Is 113 a factor of y?
True
Let q = 3606 + 13768. Does 54 divide q?
False
Let t(c) = -151*c - 906. Let w be t(-6). Suppose 27 = 5*p + 2*d, -2*d + 7*d = 2*p - 5. Suppose -5*k + 2*b + 20 = w, -p*b = -5*k + 27 - 7. Does 4 divide k?
True
Let m(z) = z**3 - 15*z**2 - 12*z - 14. Suppose 76 = 4*f - 3*p, -2*f + p - 6*p = -12. Is 3 a factor of m(f)?
False
Suppose -82342 = -3*b - j, -35*b = -40*b + 3*j + 137246. Does 5 divide b?
False
Let y(c) = 2*c**3 + 86*c**2 + 116*c - 144. Is y(-35) a multiple of 17?
False
Suppose -2*q + 2 = -2*v, 5*q + 0*q - 5 = -v. Suppose 7*w - 1 + 1 = v. Suppose -y - 67 = -4*l - w*y, -y = l - 13. Is 11 a factor of l?
False
Let x(q) = 1112*q**2 + 70*q - 21. Does 130 divide x(-3)?
False
Suppose -16*d + 290 = -11*d. Let v = -40 + d. Suppose 3*b - 105 = -v. Is 3 a factor of b?
False
Let i = -23080 - -40581. Is i a multiple of 37?
True
Suppose -588*f + 2126337 = -16898528 - 803083. Is f a multiple of 65?
False
Let z = 4 - -28. Let o be (2/(-6))/((-11)/(-3993))*-1. Let b = o + z. Is b a multiple of 37?
False
Let f(y) = y**3 + 10*y**2 + 9*y + 17. Suppose 0 = -4*g - o - 40, 4*g - o = -4*o - 48. Let w be f(g). Let j = 17 + w. Does 4 divide j?
False
Suppose -22*x - 204441 + 42081 = 0. Is (4/6)/((-10)/x) a multiple of 41?
True
Let s = -3835 - -3992. Does 4 divide s?
False
Let h(r) = -2*r**2 + 85*r - 43. Let q be h(42). Is 39 a factor of (-13320)/(-40) + 1*(q + -4)?
False
Let u(d) = 16*d - 23. Suppose 889 - 73 = 4*v. Let r be (-24)/v - 138/(-17). Is u(r) a multiple of 7?
True
Suppose 0 = 246*b - 274*b + 21308. Is b a multiple of 2?
False
Suppose 5*q + m - 932 = 0, 0*q + 2*q + 4*m = 362. Suppose -a + q = a + 3*y, -2*a + 192 = 4*y. Does 5 divide a?
False
Let w be -3 - ((-114)/4 + 6/4). Let r = -20 + w. Is -2*96/r*-1 a multiple of 33?
False
Suppose 10*t = 15*t - 4*b - 30864, 0 = -2*t - 3*b + 12341. Does 19 divide t?
False
Suppose -d - 11 = 5*f - 1, 3*f + 14 = d. Let i be (-2)/(d/(-20)*1). Suppose -i*k - 157 = -829. Does 21 divide k?
True
Let r(n) = n**2 - 4*n + 8. Let i be r(3). Suppose -i*s + 27 = -6*s. Is 39 a factor of -27*((-2)/(-9) + 123/s)?
True
Suppose 492*b + 51462 = 498*b. Is b a multiple of 36?
False
Is 5722 - (5 - (-4 + -5)) a multiple of 104?
False
Let g be (-5)/(-5 - 0) - 0. Let p be (0 + 1)/(g/(-1)). Is 5 a factor of 62*(p - -4)/6?
False
Let j = -155 + 409. Let i = 338 - j. Is 40 a factor of i?
False
Let x(v) = 12*v**2 + 6*v - 13*v**2 + 16 + 3. Let l be x(8). Does 8 divide 7/((-2 - 110/(-54))*l)?
False
Let x(c) = 8*c**3 - c**2 - 5*c + 8. Let y be x(3). Let a = -101 + y. Is 9 a factor of a?
True
Suppose 8059 - 1054 = 15*k. Is k a multiple of 5?
False
Suppose -9*u + 7*u + 150 = 0. Suppose -i - 3*i - g + 60 = 0, 5*i - u = -3*g. Suppose -2*y + i = -27. Is 4 a factor of y?
False
Suppose 9*p = 43636 + 135860. Is p a multiple of 40?
False
Suppose 48 - 8 = y - 2*w, -y + 28 = 4*w. Suppose -o + 2 = -4*u + 28, -4*u - 4*o + y = 0. Suppose -u*j = -64 + 15. Does 2 divide j?
False
Is 12 a factor of (-15)/4*((-1022733)/81 - 19)?
False
Let z = 3 - -10. Suppose -45 = 4*p - z*p. Suppose -5*u + d + 65 = -3*u, -p*u = 4*d - 156. Is u a multiple of 16?
True
Suppose 15458 = 222*i - 7631 - 21977. Is 11 a factor of i?
False
Let d = -30 - -78. Suppose 20*w = 24*w - d. Suppose -4*x + 115 = -3*k, 0 = x + 3*k + 2 - w. Is x a multiple of 25?
True
Suppose -138*t + 2671459 = -208463. Is 56 a factor of t?
False
Let v be (-864)/(-5)*2/(4/10). Suppose 31*j - 7*j = v. Is j a multiple of 9?
True
Let x = -66470 - -94914. Is x a multiple of 26?
True
Let p = 14815 + -9931. Does 11 divide p?
True
Is 4 a factor of 317492/187 + (1 - 175/(-55)) + -4?
False
Suppose -14 - 30 = 2*s. Let u = s + 24. Suppose -u = 2*q, -n - 4*q = -0*n - 24. Is n a multiple of 7?
True
Let k(m) be the first derivative of 22*m**3/3 + 17*m**2/2 + 24*m + 42. Does 17 divide k(-5)?
False
Let n(i) = -2681*i - 590. Is 15 a factor of n(-5)?
False
Let b(h) = 283*h**2 + 19*h - 41. Is 11 a fac