*k/6?
True
Suppose -4*x - 3*c = -22, -10 = -3*x - 2*c + 3*c. Suppose z = -z - x*t + 16, -5*t = -z - 13. Does 21 divide 63 + (0 + z - 2)?
True
Let h(c) = c**3 + 8*c**2 + 5*c + 4. Let z be h(-5). Let m = 91 - z. Is 6 a factor of m?
False
Suppose -4*q = -3*q - 244. Suppose 3*n - q = 65. Suppose -2*l + 4*a + n - 25 = 0, a - 36 = -l. Is l a multiple of 17?
False
Suppose v = -3*v + 52. Suppose 44 = t + v. Suppose 4*k = t - 11. Is k a multiple of 2?
False
Let k be (-12)/(-18)*1557/2. Suppose -57 = -2*s + k. Is 5 a factor of s/11 + (-8)/44?
False
Let f = 1588 - -50. Let v = -326 + f. Is v/24 + 2/6 a multiple of 11?
True
Suppose 4*l - 5*p - 399 = 0, -3*l = -4*p - 258 - 42. Is l a multiple of 6?
True
Let d = 31 - 25. Let f(t) = -t + 8. Let q be f(-6). Let j = q - d. Does 8 divide j?
True
Let w be (-25)/((-750)/72)*75/(-2). Let u = w - -104. Does 14 divide u?
True
Let i(h) = -h + 6. Let l be i(13). Does 22 divide 1 + (-64)/(-1) + (l - -8)?
True
Suppose v + 5*w - 176 = 0, -2*v = -4*v - 3*w + 352. Suppose 2*m = 4*m - v. Does 22 divide m?
True
Let d(g) be the second derivative of g**4/12 - 2*g**3 + 25*g**2/2 - 25*g. Is d(10) even?
False
Let c be 1232/12 + 2/6. Suppose 0 = -2*l + 51 + c. Is 11 a factor of l?
True
Let i be 0*(-2)/(6 + -2). Suppose i = -0*b + 5*b, -3*m - 54 = -2*b. Let h(v) = v**3 + 18*v**2 - v - 3. Does 5 divide h(m)?
True
Let y(k) be the third derivative of k**5/60 - k**4/12 - k**3/2 + 3*k**2. Let v be y(5). Does 5 divide v/(6/3) + -1?
True
Let t = 26 - 23. Suppose t*j = j + 8. Suppose 0 = j*q + 2*a - 10 - 100, 4*a - 12 = 0. Does 13 divide q?
True
Let k(d) = d**2 - 2*d + 3. Let l be k(0). Suppose 3*h - l = 2*h. Suppose h*u + 17 = 4*i - 24, -5*u + 95 = 5*i. Does 14 divide i?
True
Suppose -232 = -5*k + 3*i, -4*k + 3*k + 46 = -i. Suppose 2*w + k = 105. Does 13 divide w?
False
Let x(f) = 4*f**3 + f + 2. Is x(3) a multiple of 15?
False
Let y = -120 + 75. Is 5 a factor of ((-162)/y)/((-3)/(-40))?
False
Let l(j) = -j**3 - 5*j**2 + 6*j. Let p be l(-6). Suppose 5*i - r + 5 = p, i = 3*i + 4*r + 2. Is 4 a factor of 5 + 12/(i - -5)?
True
Suppose p + 30 = 6*p. Suppose p*i = 2*i. Suppose 5*m - 15 = i, -2*u + m + 35 = -50. Is 9 a factor of u?
False
Let b = -3 - -2. Does 2 divide ((-15)/(-10)*-10)/b?
False
Is 33 a factor of 6*(-8)/36 + 27820/12?
False
Suppose 3*r - 3*s = 12, 2*r - 5*s - 14 = -0*r. Suppose 2*q + 104 = 3*o, -22 = -r*o - 4*q + 58. Does 8 divide o?
False
Suppose 5279 - 14649 = -5*p. Does 11 divide p?
False
Suppose 5*s - 776 = -4*r, 3*r + 2 = r. Let l = 93 - 4. Let k = s - l. Is 18 a factor of k?
False
Let q be 304/(-80) + (-8)/(-10). Let c be q/(-2)*(-52)/(-39). Suppose -4*w + w = 4*x - 93, 5*x = -c*w + 125. Is 14 a factor of x?
False
Suppose -9*m - 4*w + 332 = -5*m, 166 = 2*m - 2*w. Does 9 divide m?
False
Suppose -3*z = 5*j - 533, -843 = -5*z - 0*j + 3*j. Suppose 9*d - 4*d = -s + 112, -4*s + 466 = 2*d. Let c = z - s. Is 18 a factor of c?
True
Suppose 11 - 23 = 3*t. Let c = 1 - t. Suppose 65 = c*d - 0*d. Is 13 a factor of d?
True
Suppose 2*t - 46 = -2*j, 3*t - 2*t = 1. Suppose -20 = -2*y + j. Is y a multiple of 8?
False
Let f(z) be the third derivative of 2*z**5/15 - 7*z**3/6 + 14*z**2. Does 16 divide f(-3)?
False
Let u = 2 + 1. Suppose -r - 538 = -5*r + 2*v, 0 = -5*r + 3*v + 674. Suppose -u*a + d + 84 = -d, 5*a - r = d. Is a a multiple of 13?
True
Let l be (-84)/(-7)*(1704/9)/(-4). Let z = -392 - l. Is z a multiple of 8?
True
Suppose r - 6*a = -9*a + 122, -610 = -5*r + 4*a. Is 6 a factor of r?
False
Let t = 995 + -97. Is t a multiple of 10?
False
Let a(i) = 4*i**2 + 14*i + 214. Is a(-23) a multiple of 39?
False
Suppose -5*x = -x + 592. Let a = -269 - x. Is 15 a factor of 3/(-12) + a/(-4)?
True
Suppose 9*t = -3*m + 6*t + 1476, -4*m = -t - 1978. Does 26 divide m?
True
Let i(k) = -k - 4 + 0 + 3. Let x be i(-1). Is 3 a factor of 5 + 2 - (2 - x)?
False
Let p = -42 + 31. Let v(c) = -5*c - 25. Does 10 divide v(p)?
True
Suppose 0*j - 2*j + 268 = -f, 0 = -3*j - 4*f + 391. Let o be j + ((-5)/(-5))/(-1). Suppose g = -g + 2*l + o, l = 3. Is g a multiple of 15?
False
Let h(j) = 9*j + 30. Let k be h(17). Suppose 5*l = 3*r + k - 50, -2*r = -4*l + 106. Does 6 divide l?
False
Is 10/12 - (-1 - 6281/66) a multiple of 12?
False
Suppose 5*d = 2*q + 35, d = 3*q - d + 80. Let x = 22 + -74. Let t = q - x. Is 5 a factor of t?
False
Let s(d) = -9*d + 1 - 4*d**2 + 4*d**2 + 11*d - 20*d**3. Does 18 divide s(-1)?
False
Suppose 0 = -3*a - 5 + 2. Let i be (-4 - a) + (4 - -1). Suppose -i*v = -3 - 21. Is 6 a factor of v?
True
Let l(q) = q**2 - 2. Let a be l(-2). Let h = 4 - a. Suppose -4*m + 3*m + 73 = 3*t, -h*m = -2. Is t a multiple of 12?
True
Let i = 497 + 361. Does 39 divide i?
True
Suppose 0 = 4*n + 2*m - 3426, -1217 = -5*n + 5*m + 3103. Is 30 a factor of n?
False
Suppose -3*t = -0 - 12. Suppose 2*l = t + 4. Suppose s = 2*q - 2*s - 171, -l*q + 343 = -5*s. Is 34 a factor of q?
False
Suppose -212 = -10*s + 58. Does 4 divide s?
False
Let w(o) = o**2 + 1. Let n be (2 + -3)*2 + 1. Let u be w(n). Suppose -4*d = 3*y - 14, y = -d + u*d + 7. Is 6 a factor of y?
True
Let s(j) = 2*j**3 - 8*j**2 + 4*j + 2. Suppose 3*o - d = 19, 0 = -o - 0*d + 2*d + 13. Does 15 divide s(o)?
False
Suppose 3*x + 0*w - w = 271, -x = -w - 91. Suppose 3*q + 3*q - x = 0. Does 4 divide q?
False
Let i(c) = -4*c + 3*c**3 - 3*c**2 + 6*c**3 - 10*c**3 - 1. Let m(h) = -3*h**3 - 10*h**2 - 13*h - 2. Let l(f) = -11*i(f) + 4*m(f). Is 6 a factor of l(-6)?
False
Let q(t) = t**3 + 8*t**2 - t - 2. Let f be q(-8). Suppose 5*b = -14 - f. Does 11 divide 34 + (-3)/(-6)*b?
False
Let h(c) = c**2 + 18*c - 39. Let r be h(-22). Let s = r + -46. Is s a multiple of 3?
True
Let r(v) = v**3 - 10*v**2 + 26*v + 5. Is 40 a factor of r(7)?
True
Suppose 1 = f, -q + 7*f - 4*f = -1409. Is q a multiple of 23?
False
Let c(d) = d - 5. Let y be c(7). Let z(m) = 3*m**2 + 3*m - 5. Let t be z(y). Let j = 3 + t. Does 8 divide j?
True
Suppose i + 3*s - 1641 = 0, -4*i - 4*s + 4756 + 1800 = 0. Does 9 divide i?
True
Let w(t) = 2*t**2 - 5*t + 4. Let o be (1 - 2) + (0 - -3). Let b be w(o). Suppose b*s = 9 - 1. Is s a multiple of 4?
True
Let b(x) = -x**3 + 5*x**2 + 3*x - 9. Let w(u) = 2*u - 7. Let k be w(6). Let q be b(k). Suppose 0 = -2*n - q*o + o + 36, 5*n = 2*o + 90. Is n a multiple of 6?
True
Suppose 0*v - 2*v = -3*z - 15, -4*v = z - 9. Suppose 0*j = v*j - 12. Suppose j*u - 3*u = 10. Does 10 divide u?
True
Let h(w) = 2*w**2 - 4*w - 19. Let t(y) = y**2 - 8*y + 8. Let d be t(6). Does 10 divide h(d)?
False
Let o(j) = -j**2 + 4*j + 14. Let z(l) = -l - 1. Let c(m) = -o(m) + 2*z(m). Let g(s) = 2*s + 30. Let b be g(-9). Is c(b) a multiple of 28?
True
Let v(a) = 65*a**2 + 7 + 64*a**2 - 130*a**2 + 6*a. Let r(g) = -4*g - 3. Let c be r(-2). Does 12 divide v(c)?
True
Let u(r) = r + 1. Let d(q) = -7*q - 5. Let z(s) = -d(s) - 4*u(s). Does 14 divide z(9)?
True
Let y be -4 - (-4 + 2)*3. Suppose -h = y*h - 192. Does 22 divide h?
False
Let a(c) = -37*c + 1. Let i = 6 - 9. Let m be (-1)/(-1) + i + 1. Does 38 divide a(m)?
True
Suppose 0 = 4*s - 2*s + 2. Let y = 315 + -343. Is 22 a factor of (y/42)/(s/33)?
True
Does 13 divide (-5 - 0)*(-1 + -280)?
False
Suppose 4*g + 0*g - 24 = 0. Suppose 36 = -g*t + 8*t. Let n = -11 + t. Does 7 divide n?
True
Let l = -9 + 16. Suppose 5*b = 5*w + 15, -5*b + l + 16 = -w. Suppose 3*a = -w*q + 52, a - 1 - 16 = -q. Is a a multiple of 18?
True
Let d be 3 + (-2 - 231) + 0 + -1. Let k = 400 + d. Does 57 divide k?
False
Is ((-56)/21)/(-6*(-7)/(-8001)) a multiple of 10?
False
Let h be (-2)/(-12) + (-170)/(-60). Suppose h*n - 5 = 1. Suppose n*j + 2*v - 110 = 0, -4*v = 2*j - 111 + 11. Is 10 a factor of j?
True
Let p(x) = -x + 11. Let c(i) = 8*i**2 - i. Let h be c(1). Let f be p(h). Suppose 4*o - f*y = 100, 27 - 127 = -3*o - 2*y. Is o a multiple of 10?
True
Let t(v) = 3*v**3 + 2*v**2 - 3*v - 6. Let c be t(-2). Is 6 a factor of 48/2*(-8)/c?
True
Suppose -7*t + 46 = 18. Suppose 38 = t*b - 66. Is b a multiple of 4?
False
Let s(y) = -y**3 - 6*y**2 + 5*y + 1. Let o be s(-6). Let l = o + 41. Suppose -4 = -d + l. Is d a multiple of 8?
True
Let w = -122 + 240. Is 14 a factor of w?
False
Suppose -605 = -2*r + 3*j, 2*j - 603 = -4*r + 615. Is r a multiple of 16?
True
Let m be 80/24*21/5. Is 7/(m/6) - -184 a multiple of 40?
False
Suppose 0 = -76*x + 80*x + 