Let h = d + 134. Suppose 3*u + h = 487. Is 13 a factor of u?
True
Let p = 887 - -2662. Is p a multiple of 10?
False
Let u = 41922 + -18918. Does 9 divide u?
True
Let r = -6102 - -18830. Does 43 divide r?
True
Suppose 0 = 31*j + 45*j - 8*j - 14620. Let w be (-406)/3 + (-4)/6. Let y = j + w. Is 15 a factor of y?
False
Is 12 a factor of (-10)/45*4*27/(-6) - -1971?
False
Let b = 2267 + 2053. Is 160 a factor of b?
True
Let d = 3441 - 1531. Let v = -1130 + d. Does 13 divide v?
True
Is 13 a factor of (-3)/(-6)*(35912 + -14)?
False
Suppose -53260 = -15*t + 17255. Does 207 divide t?
False
Let m(w) = -1579*w - 106. Does 46 divide m(-4)?
True
Suppose 148295 = -8*h + 80*h - 77353. Is h a multiple of 223?
False
Let b = -2594 + 3802. Does 6 divide b?
False
Let b = 5652 + 2216. Is b a multiple of 17?
False
Suppose -2*k = 19*k + 126. Is (-747)/k + 55/(-22) a multiple of 12?
False
Suppose 197*r - 204*r + 13440 = 0. Is r a multiple of 80?
True
Let u = -47725 - -67639. Does 225 divide u?
False
Suppose -4 = 3*p - 4*p. Suppose 4*j + 2*i = 58, -j - p*i + 32 = -0*j. Suppose -4*u = 2*c - 456, 3*c = 6*c - j. Is u a multiple of 33?
False
Suppose 2*v - n = -3*v + 10, 0 = 2*v + 2*n - 4. Suppose 2*g + m - 5 = -v*g, -g + 2*m = 1. Is 9 a factor of (6 + -7)/(2/(g - 145))?
True
Let o be 8/6*93*(-2)/4. Let a = o + 73. Let n(l) = l**3 - 10*l**2 + 13*l + 6. Does 54 divide n(a)?
True
Let i(m) = -m**2. Let k(l) = -7*l**2 - 17*l. Let u(q) = 3*i(q) - k(q). Let s = 62 + -71. Does 34 divide u(s)?
False
Suppose 102465 + 34432 + 55827 = 14*w. Is w a multiple of 69?
False
Suppose 249*k - 3124035 = -68*k. Is 73 a factor of k?
True
Let r(k) = 25*k**2 - 633*k - 84. Is 117 a factor of r(33)?
False
Let w(g) = 629*g**3 - g**2 - 115*g + 115. Is 32 a factor of w(1)?
False
Suppose -3044338 = 3*y - 86*y - 59*y. Is 105 a factor of y?
False
Let z = -246 + 251. Suppose -z*l - 485 = -5*r, 1 = l - 1. Is 15 a factor of r?
False
Let z(q) be the third derivative of -5*q**5/12 - q**4/24 - q**3/3 - 13*q**2. Let h be z(-2). Let a = 26 - h. Is 18 a factor of a?
True
Suppose 0 = -9*o - u + 1057, 24*u = 23*u - 5. Does 25 divide o?
False
Let c(h) = -108*h**3 - 4*h**2 + h + 2. Let w = 72 - 73. Is c(w) a multiple of 4?
False
Let r(w) = -6*w**3 + w**2 - 17*w + 19. Let j(n) = -8*n**3 - 20*n + 18. Let g(d) = 2*j(d) - 3*r(d). Does 13 divide g(6)?
False
Let j = 21343 - 776. Is j a multiple of 141?
False
Suppose 0 = 3*x - 3*p - 54342, -x + 72486 = 3*x + p. Is x a multiple of 15?
True
Suppose 35 = -28*s - 217. Does 5 divide 0 - 15*33/s?
True
Let y(i) = -10*i**2 + 2*i + 1650. Let p be y(0). Suppose -113*k = -102*k - p. Does 6 divide k?
True
Suppose -2*j + 10 = -3*f, 0 = -3*j + 9*f - 5*f + 14. Let a be (-15)/36*-4 - j/(-6). Suppose a*i = -4*i + 450. Is i a multiple of 5?
True
Let m(y) = 2*y**2 - 61*y + 780. Does 10 divide m(30)?
True
Suppose -720 = o - 730. Suppose -o*p = 59 - 7279. Is p a multiple of 38?
True
Suppose 5*w - 3509 = -u, -140*u + 3 = -143*u. Does 117 divide w?
True
Let x be -6 + (-29 - 2 - 6). Let p = 637 + x. Is p a multiple of 54?
True
Let u be (-42)/(-12) + 1/(-2). Let f(d) = d - u*d + 14 + 5*d - 4*d. Is f(0) a multiple of 7?
True
Suppose 25*u + 14855 = 46720 + 72010. Is u a multiple of 60?
False
Let b be (-10)/(-3) + 1/(-3). Suppose 0 = 2*j + b*a - 115, -4*j - 5*a + 285 = -10*a. Let x = j + -18. Does 18 divide x?
False
Let i = -236 + 5006. Is 90 a factor of i?
True
Suppose -5*j - 232 = -2*v + 57, -3*v + 444 = -4*j. Suppose -r - 2*l = -0*r - v, -3*r + 420 = -3*l. Is r a multiple of 6?
True
Suppose -52 = -5*m + 68. Let g be (-114)/(-8)*m/9. Suppose -4*q - 76 = -2*a, -a + q = -2*a + g. Is 21 a factor of a?
False
Let i = 9126 + 3478. Does 38 divide i?
False
Does 73 divide (-51184)/(-35) - (-36)/(-15)?
True
Does 175 divide 2675 - -31 - (0 - -11)?
False
Is 10 a factor of 244/(-19 - (-25248)/1328)?
False
Let t be (4 + -6)/6*-3603. Suppose t = -8*s + 2873. Suppose -5*l = -s - 241. Does 15 divide l?
True
Let r(j) = 24*j**2 - 187*j - 715. Is r(-44) a multiple of 7?
True
Suppose 3*j - 4406 = k, 2366 + 577 = 2*j + 5*k. Suppose -4*q = -25*p + 23*p + 1460, q = 2*p - j. Does 16 divide p?
True
Suppose -444 = 23*c + 3420. Does 33 divide 2373/8 - 63/c?
True
Let q(i) = -i**2 + 5*i - 1. Let h be q(2). Suppose 5 = -m, 33 = 2*b - 2*m + 19. Suppose h*w - 2*w = -b*t + 202, 0 = t + 4. Is w a multiple of 14?
True
Suppose 9*r - 17 - 1 = 0. Let y(g) = 3*g**2 + 4*g + 3 - r*g**2 + g**3 + 2. Does 23 divide y(4)?
False
Suppose -b + 9527 = 4*b - 2*j, -4*b - j = -7606. Is b a multiple of 50?
False
Suppose 69*z - 512430 = 31*z. Is z a multiple of 96?
False
Let r(d) = -5*d**2 - d + 76. Let q(y) = -7*y**2 - y + 76. Let o(p) = -2*q(p) + 3*r(p). Does 5 divide o(7)?
True
Let k(s) = 459*s + 352. Let q(l) = -92*l - 71. Let m(g) = -2*k(g) - 11*q(g). Is m(7) a multiple of 11?
False
Suppose 5263 = 4*z + 5*f, 2669 = 15*z - 13*z - 5*f. Is z a multiple of 81?
False
Let c(k) = -3 + 5*k - 3 - 1. Let t be c(3). Suppose -4*q + t*q - 3*z - 43 = 0, 2*z = 3*q - 33. Is q a multiple of 10?
False
Let u = 40 + -35. Suppose -5*o + u = -0, 2*m - 3*o - 3 = 0. Suppose -m*h + 437 = 80. Does 17 divide h?
True
Let f(m) = 17*m**2 - 19*m + 12. Let y(q) = -q**3 + 12*q**2 + 29*q - 9. Let c be y(14). Is 6 a factor of f(c)?
True
Suppose -60*z + 51817 = -558743. Is 32 a factor of z?
True
Let b be ((-2)/(-4))/((-27)/324). Let y(r) = 4*r**2 - 28*r - 102. Does 42 divide y(b)?
True
Let o(p) = p**2 + 18*p + 35. Let j(q) = -4*q**2 - q + 2. Let b be j(2). Let a be o(b). Suppose 0 = -8*s + a*s + 810. Is 35 a factor of s?
False
Suppose 0 = -t - 3*f + 20747, 16 = -19*f + 15*f. Does 8 divide t?
False
Suppose 3*d + 4*i + 5674 - 51123 = 0, d = 4*i + 15155. Does 10 divide d?
False
Let p = 2280 - -553. Is 9 a factor of p?
False
Let w = 14699 - 14525. Does 2 divide w?
True
Let u(k) = k**3 + 7*k**2 - 8*k - 6. Let l be (-2)/4*(-154)/7. Suppose -4*x - 7 = -3*m, l = -5*m - 3*x + 4*x. Does 3 divide u(m)?
True
Suppose 0 = 3*g - 1376 + 188. Let v = -196 + 32. Let u = v + g. Is 29 a factor of u?
True
Let z(g) = -12*g + 36. Let p be z(3). Is (3 - 2 - p)*238/1 a multiple of 34?
True
Is 35 a factor of ((-4 - -39)*(-6 - -7))/((-4)/(-1188))?
True
Let y be 10/(-35)*4/((-4)/7). Suppose -v + 4069 = -4*x, 3*v = -y*v + 3*x + 20277. Suppose -16*i + v - 533 = 0. Is i a multiple of 55?
True
Suppose 2*c - 2*c - c = 0. Suppose 4*a - 87 - 21 = c. Let h = a - -102. Is h a multiple of 43?
True
Suppose 15*g - 32072 = -23*g. Let j = g + -375. Is 12 a factor of j?
False
Suppose -12*d = -6*d - 3*q - 64302, 5*d + 2*q - 53594 = 0. Is d a multiple of 46?
True
Let m = -23679 - -29367. Is 16 a factor of m?
False
Let s(n) = -7*n**3 - 178*n**2 + 82*n + 64. Does 19 divide s(-28)?
False
Let v be 154/(-30) + 5 - 184/(-30). Let o(c) = -32*c + 5*c**2 + 29*c - v + 6 + 5*c**3. Does 16 divide o(3)?
False
Let k(f) = -f**3 + 14*f**2 + 17*f + 50. Let v be k(17). Let m = -265 - v. Does 39 divide m?
False
Is 13 a factor of (143246 - -18)/22 - -1?
True
Suppose -235*d = -219*d - 57504. Is d a multiple of 6?
True
Let x = 29182 - 20056. Does 13 divide x?
True
Let a(x) = -116*x + 99. Let n(t) = 29*t - 25. Let q(k) = -2*a(k) - 9*n(k). Is q(-2) a multiple of 17?
True
Let f = -45 - -39. Let h be 2/f*(4 + -4). Suppose h = o - 190 + 3. Is o a multiple of 11?
True
Let o be -76*(6 - 4 - 1). Does 76 divide (-6631)/o - 2/8?
False
Let z = -411 - -414. Suppose -z*c + 792 = 4*w, 3*c + c - 4*w - 1084 = 0. Does 4 divide c?
True
Let c = -15934 + 22336. Is 11 a factor of c?
True
Suppose 114*r + 5125 = 119*r. Let q = 1745 - r. Does 15 divide q?
True
Let x(s) = -s**2 + 10*s - 8. Let k(b) = -17*b - 28. Let d be k(-2). Is 11 a factor of x(d)?
False
Is (-20 - 319608/(-161)) + 1*1/(-7) a multiple of 5?
True
Let a be (-12)/4 - 19/(-1). Suppose a = -3*t - 11. Is (1/(-2))/(t/1098) a multiple of 10?
False
Suppose 0 = 4*w + 4*j - 14212, 2*w - j + 10649 = 5*w. Is 79 a factor of w?
False
Let c be (18/12)/(3/4). Does 61 divide 800/4 - (-6 + c)?
False
Let c(i) = -8*i + 22. Suppose 2*x = -j + 103, 206 = 2*j - 3*x - x. Suppose -10*b - j = -23. Does 16 divide c(b)?
False
Suppose 234917 = 75*s - 357139 - 35694. Does 62 divide s?
True
Let j(u) = -u + 3*u + u**2 + 5 - 9 - 14. Let f be j(6). Let k = 41 - f. Is 10 a factor of k?
False
Suppose 3*x + 3*d = 77730, 3*d - 25611 = -2*x