de l?
True
Suppose -180*q = 18*q - 2410848. Does 8 divide q?
True
Suppose 5*s - 9*s - 3*k = -31, 5*k - 15 = -3*s. Is (-288)/s*((-170)/20 + -4) a multiple of 10?
True
Let k(o) = 63*o**2 - 3*o - 11. Let r(j) = -j**3 + 2*j**2 - 3*j + 4. Let y be r(2). Is k(y) a multiple of 19?
True
Suppose -2*d = 3 - 99. Let o = d - 55. Let l(g) = -4*g + 2. Does 15 divide l(o)?
True
Let q = -1604 - -3162. Is 82 a factor of q?
True
Let a(i) = 15*i**3 - i. Let n be a(-1). Let q(v) = 13 - 67*v + v**2 + 20*v + 25*v + 23*v. Is q(n) a multiple of 24?
False
Let g(j) = 825*j - 465. Is g(11) a multiple of 70?
True
Suppose 4*f - 55 = -39. Suppose 4*v = 6*v + f*z + 28, 4*v - 2*z + 36 = 0. Is 2 a factor of v/(-15)*3/1?
True
Suppose 25175 = 4*q - x, 56*q - 2*x + 12570 = 58*q. Does 286 divide q?
True
Suppose 8*p - 13*p + 32130 = 3*q, 0 = -5*p + 30. Does 100 divide q?
True
Suppose c - 3*c = -12, 0 = -3*v - 5*c + 13278. Does 96 divide v?
True
Let h(i) = -5*i - 5. Let r be 100/(-125) - (-348)/10. Let x = 29 - r. Is 10 a factor of h(x)?
True
Let q(r) = r**3 + 17*r**2 - 24*r - 51. Let d be q(-16). Let i = d - 269. Does 16 divide i?
True
Suppose -4*i - 564 = -q, 5*q + 0*q = -i + 2841. Is q a multiple of 71?
True
Suppose -5*s = -5*n - 5, 3*n - 2*n = -s + 5. Let d(p) = 18*p + 54. Let m be d(-3). Suppose -2*z = -m*z, 495 = 5*l - n*z. Is 33 a factor of l?
True
Is 25 a factor of (-440538)/(-66) - 12/(-66)?
True
Let y be 0 + (-232)/1*1. Let k = -217 - y. Is k a multiple of 3?
True
Suppose 3*q - 3030 = -3*k - 0*k, -4*q - 2032 = -2*k. Is 11 a factor of k?
True
Suppose -3*h - 4*a = -27467, -5*h - 5*a + 24011 = -21774. Is 56 a factor of h?
False
Let c = 142 - -60. Let g = c - -100. Is g a multiple of 27?
False
Does 8 divide (2679 + 0 - 3) + -22 + 12?
False
Let b = 3477 - 357. Is b a multiple of 13?
True
Let z(p) = -p**3 - 12*p**2 + 7*p - 21. Suppose 4*h + 62 - 10 = 0. Let r be z(h). Suppose 2*t + r - 231 = 0. Does 14 divide t?
False
Let a be 1/((-26)/(-6) - 4) + 1718. Suppose 382 = -13*d + a. Does 22 divide d?
False
Let x(j) = -12*j - 110. Let v be x(-20). Suppose 5*o - 785 = -v. Is 14 a factor of o?
False
Let d = -113 + 122. Let p(c) = d + 52 - 17 + 3*c + c. Does 13 divide p(15)?
True
Let o be (0 + 3)/(3/2). Suppose o*b - 130 = -4*h, 280 = 5*b + 5*h - 10*h. Let d = 159 - b. Is d a multiple of 17?
False
Let w(l) = -14*l - 2. Suppose 13*p - 16*p = -18. Let y be (3 - 0 - p)*1. Is w(y) a multiple of 5?
True
Suppose w - 3*z = 4228, 0 = -w + 4*z + 5717 - 1488. Does 15 divide w?
False
Suppose 0 = -18*m + 306700 + 500294. Is m a multiple of 17?
False
Suppose f + 20 = -4*f. Let k be (-3 - 1 - f)/(-1). Suppose -h - 3 = k, -5*i + 193 = 2*h - 3*h. Is i a multiple of 15?
False
Let y = 36634 - 21388. Is 121 a factor of y?
True
Is (4 + -10507 - -21)*1/(-6) a multiple of 14?
False
Let d(a) = -1640*a - 713. Is d(-5) a multiple of 8?
False
Suppose -a + 158365 = 3*t, -333*t + 5*a - 263915 = -338*t. Is 90 a factor of t?
False
Let m(z) = 2*z**2 - 9*z + 4. Let c(k) = -9*k**2 + 35*k - 15. Let h(t) = -6*c(t) - 26*m(t). Let u = -2853 - -2838. Is 12 a factor of h(u)?
False
Suppose -4*h - b + 297 = 0, -5*b - 8 + 13 = 0. Suppose h*l - 84*l = -2760. Does 23 divide l?
True
Let b be 68/(-2) + -10 + 6. Let s be b/19 + (0 - -242). Suppose 4*u + s = 6*u. Is u a multiple of 20?
True
Let y = -3 - -12. Let u(c) be the first derivative of 25*c**2/2 - 17*c - 39. Is 16 a factor of u(y)?
True
Suppose 0 = -5*c - 2*o + 3 + 37, -40 = -5*c + 4*o. Suppose c*l - 4*l = 108. Let u = l - 18. Does 7 divide u?
False
Let l(h) = 85*h**2 + 14*h - 27. Is l(8) a multiple of 65?
True
Suppose 4*a + 94 = -2*d, 5*d + 3*a + 140 + 81 = 0. Let j = d + 21. Is j/11 - (2 + -2 - 62) a multiple of 6?
True
Let p be ((-28)/8 - -4)*(-20)/5. Let h(u) = -2*u**3 + 4*u**2 - u - 5. Let d(j) = 3*j**3 - 4*j**2 + 5. Let f(y) = 3*d(y) + 4*h(y). Is 2 a factor of f(p)?
False
Is 54 a factor of 68/340 - 1*311247/(-15)?
False
Let l = 16 - 11. Suppose -4*d - 3*y - 75 = 0, 0 = 3*d - l*y + y + 25. Let c(v) = v**3 + 15*v**2 - 6*v + 30. Does 40 divide c(d)?
True
Let q(w) = w**3 + 3*w**2 + 3*w + 12. Let s be q(-3). Let d = 96 + s. Is d a multiple of 33?
True
Let g(n) = -162*n + 1588. Does 47 divide g(-42)?
False
Suppose -2*z - 4*r + 5080 = 0, 0 = 2*z - 2*r + 659 - 5763. Does 26 divide z?
True
Suppose -96*z = -51*z - 24*z - 12117. Does 47 divide z?
False
Let l(d) = 26*d**2 - 8*d - 6. Let q(i) = 27*i**2 - 7*i - 5. Let n(b) = -6*l(b) + 7*q(b). Let j = 48 - 50. Is n(j) a multiple of 15?
True
Suppose -4*u - 20 = 0, 4*b + 0*b - 3*u = 3215. Suppose -f = -9*f + b. Suppose 10*g - f = 6*g. Is g a multiple of 3?
False
Suppose -48*h + 95926 = 14*h - 4018. Does 52 divide h?
True
Suppose 213*g + 4 = 212*g. Is 10 a factor of ((-71)/g)/(7/28)?
False
Let g(w) = -w**3 + 7*w**2 + 6*w + 19. Let i be g(8). Suppose 0 = -m - 5*z + 33 + 18, -5*m + 167 = i*z. Is 2 a factor of m?
False
Suppose h - 2347 + 438 = 0. Let f = h + -1196. Is 46 a factor of f?
False
Let v be (-1 + 6/9)*20535. Is (138/15)/((-37)/v) a multiple of 16?
False
Is 7 a factor of (-966302)/(-413) + (-2)/(-7)?
False
Let t = -11604 - -16829. Is 5 a factor of t?
True
Let k be 3 + (-462)/(-10) + (-1)/5. Let g = k + -48. Let f = 22 + g. Is 12 a factor of f?
False
Let z be (-52)/39*(-6)/4. Suppose -2*p + 3*p + 1049 = 5*b, 4*b + z*p = 842. Is 15 a factor of b?
True
Let q(d) = d**3 + 23*d**2 + 21*d + 20. Let u be q(-16). Suppose u = 3*y - 174. Is 10 a factor of y?
True
Let z(g) = 2*g - 10. Let p be z(4). Let l be 2 - 4*p/(-8). Does 4 divide ((-3)/l)/(-3) + 43?
True
Let b(w) = 97*w + 147. Is 60 a factor of b(37)?
False
Suppose -5*a - o + 1 = 0, -o + 5 = 5*a + 4*o. Let n be (-3)/(a + (-15)/25). Let f = 11 - n. Is 6 a factor of f?
True
Let m(o) = -3*o + 21. Let d be m(6). Suppose -13*k = -k. Suppose k*c - 108 = -d*c. Is 12 a factor of c?
True
Suppose -5*x + 4376 = 4*p, 840*x - 845*x - 5*p = -4370. Is 88 a factor of x?
True
Suppose 6*x - 22*x = -4016. Let a = -238 + x. Does 3 divide a?
False
Let g(n) = -154*n + 55 + 14 + 45 - 33*n - 48. Is g(-4) a multiple of 18?
False
Let g = 42 - 51. Let o be 288/(-162) + 2/g. Does 15 divide 1/5 - (o + (-8934)/30)?
True
Suppose -3 = 3*g - 0. Suppose -3*p - 3 + 0 = 0. Does 14 divide g/p*(46 + -11)?
False
Let a be (-130671)/(9 + (-45)/6). Does 14 divide a/(-45) + (-70)/(-525)?
False
Let f(t) = t**3 + 2*t**2 + 63*t + 4950. Does 11 divide f(0)?
True
Let o = 31 - 33. Is (-1981)/o + (-66)/(-44) a multiple of 62?
True
Let b(l) = l**2 + 12*l + 12. Let r be b(-8). Let x be (-2 - 1)*r/(-4). Does 21 divide ((-24)/x - 2)/((-6)/1500)?
False
Let o(p) = p**2 - 10*p + 37. Suppose -5*v - 3*r + 35 + 60 = 0, -v + 19 = -4*r. Does 26 divide o(v)?
True
Let j(r) = -r**2 + 82*r + 343. Is 18 a factor of j(44)?
False
Let p(i) = 6*i - 8. Let c(v) = 5*v - 9. Let f(n) = 3*c(n) - 2*p(n). Let q be f(3). Is (-1)/4 + (2334/24 - q) a multiple of 20?
False
Suppose -212*y + 175*y + 296296 = 0. Does 44 divide y?
True
Let n = -415 - -408. Is 25 a factor of 616 - (-5 - -4) - n?
False
Is 6 - 4*(3/15)/((-38)/431965) a multiple of 16?
False
Let h(l) = -8*l**3 - 18*l**2 - 48*l + 18. Is 14 a factor of h(-9)?
False
Suppose -5*t = -3*f + 4*f - 22295, 5*f + 13377 = 3*t. Suppose -r - 2*r = 5*c - 2678, 5*r + 4*c - t = 0. Suppose 12*i - 3*i = r. Is i a multiple of 16?
False
Let x(q) = 9*q + 3*q + 18 + 10 - 4. Let g be x(-6). Does 21 divide (-5056)/g - 2/(-6)*-1?
True
Is (-20870)/(-26) + 504/1638 a multiple of 10?
False
Is 5 a factor of ((-30)/(-4))/(2 - (-4746)/(-2376))?
True
Let v(y) = y**2 + 2*y - 22. Let x be v(4). Suppose 5*t - 230 = -3*u - 21, -137 = -x*u - t. Is u a multiple of 3?
False
Is 23 a factor of 33354074/369 + (0 - -4)/(-26 - -17)?
True
Let c = 8989 - 1828. Is c a multiple of 11?
True
Let c be (0 - 4*2/4) + 42. Suppose 5*f - 7*h - 194 = -8*h, f - c = h. Is f a multiple of 5?
False
Suppose -5*z - 60 = -2*a - 7, 0 = 3*a + 2*z - 70. Suppose 2*j - 6 = -a. Is 1/3 + 537*(-1)/j a multiple of 20?
True
Suppose -33*l + 32*l + 24 = 0. Suppose -28*w + 252 = -l*w. Suppose -4*m + 0*i - 3*i = -w, -5*i = -5. Does 15 divide m?
True
Suppose -391286 = -36*r + 568618 - 20628. Does 39 divide r?
True
Let v = -41 - 5. Let k = v + 55. Let g = k + 39. Is g a multiple of 16?
True
Suppose 119267 = 7*m - k, -3*m + k + 56294 - 5179 = 0. Is 8 a factor of m?
False
Let n(i) = i