 57 + t. Does 8 divide g?
True
Let m(c) = 699*c**2 - 39*c + 128. Is m(3) a multiple of 23?
True
Suppose -32*g = -22149 - 19675. Is 24 a factor of -5 + -4 + -2 + g?
True
Let v = 37 - 42. Let n = v + 7. Suppose o + 98 = 3*d, -3*o - o = n*d - 84. Is 8 a factor of d?
False
Suppose -495 = 4*w + 5*c, -c - 496 = 4*w + 3*c. Let j = -90 - w. Is 10 a factor of j?
False
Suppose -119700 = -50*i - 35*i + 177970. Is 17 a factor of i?
True
Let a be 3/6*(-13 - -3). Let x(g) = 4*g - 7. Let d(s) = 12*s - 20. Let o(z) = -3*d(z) + 8*x(z). Is 24 a factor of o(a)?
True
Suppose 760554 - 114070 = 132*b - 922996. Is b a multiple of 41?
True
Let j be -2*(-7)/2 - (-9)/(-3). Suppose -j*o - 28 + 48 = 0. Suppose k - 2*t = 80, o*t - t = -2*k + 160. Is k a multiple of 20?
True
Let v = 16 - 14. Let w(g) = -4*g**2 - 4*g**2 + 2*g**2 - 5 - 2*g**2 - v*g**3 - 5*g. Is 14 a factor of w(-5)?
True
Let h(l) = 2098*l - 2456. Is h(12) a multiple of 64?
True
Suppose 24*t + 56712 = 593352. Is 130 a factor of t?
True
Let a be 1 + 26/(-4) + 3/2. Is 0 + (-7340)/(-35) - a/14 a multiple of 21?
True
Let z(u) = 8*u**2 - 14*u + 155. Let r(j) = 7*j**2 - 14*j + 154. Let g(l) = 3*r(l) - 2*z(l). Is 9 a factor of g(8)?
True
Suppose 10*f - 9*f + 35 = 0. Let v = 38 + f. Suppose -t + 4*i = -130, 0*t + 4*t - 507 = v*i. Is t a multiple of 18?
True
Suppose 3*q = 2*f - 1 + 19, q - 19 = 5*f. Suppose h - 5 = 0, q*h - 555 = -4*b - 39. Is b a multiple of 31?
True
Is 3/((-27)/5397)*(124 + -139) a multiple of 11?
False
Suppose 0 = 22*l - 20*l + 20. Let x(z) = -z**2 + 19*z + 53. Let r(b) = -b**2 + 9*b + 26. Let o(p) = -5*r(p) + 3*x(p). Is 27 a factor of o(l)?
False
Let o(p) = -p + 467. Let b be o(0). Suppose 0 = 2*i - b + 175. Is 7 a factor of i?
False
Let h = 211 - 110. Suppose -3*d - 564 = 9*d. Let x = h + d. Is x a multiple of 27?
True
Let b(w) = -w**2 + 6*w - 5. Let j be b(5). Suppose j = 3*k + 6*k - 108. Does 42 divide (k/15)/(2/225) + -2?
False
Let x(d) = -3 - 3 - 9*d + d**3 + 5 - 2*d**3 + 11*d**2. Let f be x(10). Suppose 69 + 138 = f*k. Does 22 divide k?
False
Suppose 5264 = 5*r - 3*k - 6618, 0 = -r + 5*k + 2350. Does 14 divide r?
True
Let p(r) = -r**3 - r**2 + 2. Let h be (3/(-6))/((-3)/(-18)). Let v be p(h). Let i = 72 - v. Is 26 a factor of i?
True
Let a(v) = 2*v**3 - 11*v**2 - 8*v. Suppose 2*m + m = 5*w + 19, -2*m = 2*w - 18. Is 39 a factor of a(m)?
False
Let t(y) = 35*y + 5. Let d be t(1). Is (1651 + -1)/(60/d) a multiple of 25?
True
Suppose -520*m + 3759 = -527*m. Let h = m + 945. Is 12 a factor of h?
True
Suppose 175 = 2*r + 3*r. Let a be (-546)/r + 4/(-10). Let m = 23 + a. Is m a multiple of 7?
True
Let y be (-6)/(-10) + 33/(-55) - -9. Let x(r) = -2*r**3 + 17*r**2 + 7*r + 18. Let c be x(y). Does 21 divide (c - -2)*305/10?
False
Suppose -3*s = -19*s + 3472. Suppose 2*u - 47 = s. Is u a multiple of 12?
True
Suppose 25 = 3*b + 1. Suppose i - b*v + 4*v - 363 = 0, 2*v = 5*i - 1887. Is 30 a factor of i?
False
Let c(k) = -51*k - 45. Let y(h) = -h**3 - 25*h**2 + 27*h + 17. Let j be y(-26). Let z be c(j). Suppose -12*i + 6*i = -z. Does 23 divide i?
True
Suppose 507*k - 57510 = 365*k. Does 3 divide k?
True
Let s(j) = -5*j**3 + 12*j**2 + 90*j - 9. Is 13 a factor of s(-7)?
True
Let c(i) be the third derivative of 17*i**6/120 + i**5/12 + i**4/8 - i**3/3 + 8*i**2. Let v be c(-2). Let w = v - -292. Does 24 divide w?
True
Let g = 27 + -24. Let n(j) = -2*j**3 + 2*j**2 - 17*j - 2. Let b(c) = -c**3 + c**2 - 6*c - 1. Let m(p) = g*n(p) - 8*b(p). Does 2 divide m(2)?
True
Let z be ((-1)/4)/((-4)/6544). Suppose 0 = -2*y + 3*g + 124 + z, -2*g + 249 = y. Suppose b - 2*b = w - 87, 0 = -3*b - 4*w + y. Is b a multiple of 26?
False
Suppose 142625 = -68*a + 510369. Is a a multiple of 14?
False
Suppose -164*f = -172*f - 1480. Let a = 491 - f. Is a a multiple of 26?
True
Let m(a) = a**3 - a. Let b(y) = -7*y**3 + 4*y**2 - 6*y - 1. Suppose 5*d = 4*j - 31, -20 = 4*d - 4*j + 8. Let x(o) = d*m(o) - b(o). Does 10 divide x(3)?
True
Let v = -61 + 73. Suppose 21 = -v*z - 27. Let a(h) = -2*h**3 - 2*h**2 - h - 7. Is 31 a factor of a(z)?
True
Let r = 17383 - 8577. Is r a multiple of 47?
False
Let u(i) = -42*i - 76. Let x be u(-7). Let h = -70 + x. Is 13 a factor of h?
False
Suppose -30 = 7*i - 541. Let v = i - 55. Suppose g - 138 - v = 0. Is g a multiple of 13?
True
Let l(j) = j**3 - 15*j**2 + 67*j + 13. Suppose 5*t - 53 = -3*d, 12*d = t + 8*d - 6. Is l(t) a multiple of 61?
True
Suppose -5*k = -4*b + 4614, 1161 = 20*b - 19*b - 5*k. Is b even?
False
Let u be (-199)/(-1) - 17/((-17)/4). Suppose u = 4*c - 161. Does 26 divide c?
False
Suppose -s + 4*y = -25934, -3134 = -s - y + 22775. Does 14 divide s/105 + 4/(-5)?
False
Suppose -y - 2*m = -0*m + 13, -2*m - 2 = 0. Let d = 39 + y. Let u = d - 14. Is 7 a factor of u?
True
Suppose 3*d - 4*w = 39541, -3*d = 2*w - 4*w - 39539. Does 12 divide d?
False
Let o(b) = -5*b**3 - 4*b**2 + 24*b - 5. Let a be o(-6). Suppose -11*c + a + 236 = 0. Let d = 113 - c. Is d a multiple of 3?
False
Let s = -14140 + 35888. Is s a multiple of 6?
False
Suppose -4*o + 36 = -4. Suppose -o = -j - 3*x + 32, 2*x + 67 = j. Is 8 a factor of j?
False
Let i = 41 + -31. Suppose 6*c - 36 = i*c. Is c*((-12 - -1) + 4) a multiple of 9?
True
Let l = -218 - -219. Is l*54*16/6 a multiple of 18?
True
Is 14 a factor of 933 - ((-22)/9 + (-60)/(-135) - -3)?
False
Let m(c) be the second derivative of 1/6*c**4 - 10/3*c**3 - 1/2*c**2 + 11*c + 0. Is m(14) a multiple of 37?
True
Let j(h) = h**2 + 54*h + 854. Is j(-21) a multiple of 2?
False
Suppose 2*c - h - 8819 = 0, 734 - 13962 = -3*c + 2*h. Is 21 a factor of c?
True
Let o(h) = 6*h**2 - 3*h + 4. Let m be o(1). Suppose -1492 = m*p - 4593. Is 15 a factor of p?
False
Suppose -21*m + 87 + 165 = 0. Suppose 5*b = -5*t + 25, -3*t - m = -5*t - 3*b. Suppose -t*i + 530 = 2. Is 22 a factor of i?
True
Let r = 694 + -431. Let s = -216 + r. Is 17 a factor of s?
False
Is 34 a factor of 0 - (-8)/(-22) - 642915/(-55)?
False
Let j(y) = 6*y**2 + y + 3. Let f(q) = -q + 1. Let x be f(-3). Suppose x*p - 4*h - 5 + 13 = 0, 3*p + 13 = -4*h. Is j(p) a multiple of 6?
True
Let g = -293 + 477. Suppose 4*l - g = 260. Is 24 a factor of l?
False
Suppose -g + 12825 = 2*r, -g - 9367 - 9868 = -3*r. Is r a multiple of 53?
False
Let w = 25 - 25. Suppose 5*m = 3*q - 73, 144 = -w*q + 4*q + 5*m. Does 31 divide q?
True
Let h = 249 - 281. Let b = h - -230. Is b a multiple of 9?
True
Suppose -70*p + 98*p = 64*p - 859248. Is p a multiple of 102?
True
Suppose -5386 = -139*q + 138*q. Suppose 25*j - 1764 = q. Does 27 divide j?
False
Suppose 23*y - 3 = 26*y. Let b be (4 - 4)/(1 + 0/y). Suppose b = -5*d + 4*f + 98 + 22, -2*d + 45 = -f. Does 12 divide d?
False
Let l(f) = 76*f - 557. Does 8 divide l(20)?
False
Suppose 0 = -27*k - 22*k + 183456. Suppose k = 5*v + 13*v. Is v a multiple of 13?
True
Let b(g) = -3*g**2 - 2*g**2 + 68 + 4*g**2 + 2*g. Let f be 8/(-88)*0*(0 + (-3)/9). Is b(f) a multiple of 7?
False
Let h(y) = 3*y + 89. Let t(l) = 2*l + 59. Let b(r) = 5*h(r) - 7*t(r). Is 6 a factor of b(-26)?
True
Let t be (55/4 - 2)/(13/988). Let j = -195 + t. Is 10 a factor of j?
False
Let n(h) = h**3 - h**2 + h - 24. Let t be n(0). Let p be (16/t)/(2/(-2112)). Suppose 0 = 3*i + c - p, i + i + 3*c = 467. Is 54 a factor of i?
False
Suppose 0 = 8*o - 11246 + 470. Suppose -8*a + 10*a - o = 3*v, -5*a + 4*v + 3364 = 0. Is 20 a factor of a?
False
Suppose 31 = -3*z + 22, -5*z = 2*q - 1579. Suppose -2*m + 462 = 5*a - q, 0 = 4*m + 2*a - 2510. Is m a multiple of 33?
True
Suppose -5*t + 110 = -3*t. Let p = t + -53. Let q(h) = 19*h + 20. Is q(p) a multiple of 5?
False
Let k(z) be the second derivative of z**5/10 - 17*z**4/12 - 7*z**3/3 + z**2/2 - 209*z. Let v be 8 + 4 + (0 - 2). Is 15 a factor of k(v)?
False
Suppose -22916 = -45*a - 6716. Is a a multiple of 120?
True
Let u(p) = -6*p**2 + 4*p - 1. Let c be u(1). Let h(j) = -149*j + 64. Is 7 a factor of h(c)?
True
Suppose 7*i - 15*i + 72 = 0. Is i/((-9)/2) - (3 - 7) even?
True
Let m = 47832 + -33352. Does 113 divide m?
False
Let l = 43 - 39. Let y be (86/l)/((-3)/54). Let j = y + 548. Is j a multiple of 23?
True
Let s(o) = -o**3 - 8*o**2 - 2*o + 12. Suppose 0*z + u + 17 = -3*z, 27 = -5*z - 2*u. Let y be s(z). Let n = 77 - y. Is 20 a factor of n?
True
Let t be ((-151)/(-3))/((-9)/(-54)). Let o = 186 + -323. Let b = t +