26 a factor of s?
True
Let l = 648 + -366. Let a = l + 418. Is a a multiple of 66?
False
Suppose -d + 3*d = -5*c + 28, -4*d = 3*c - 28. Let j(p) = 65*p - 12. Is 47 a factor of j(c)?
False
Let d(j) = 26*j**2 - 2*j. Let g(o) = -2*o**2 + 1. Let m(i) = d(i) - 4*g(i). Suppose 6*h = 3*h + 6. Is 28 a factor of m(h)?
False
Let l(x) = -840*x + 4970. Is 14 a factor of l(0)?
True
Let z(o) = o**3 - 4*o**2 - 11*o - 3. Let k be z(6). Does 13 divide k*(-17877)/(-75) - 20/250?
True
Suppose -327960 = 167712*n - 167727*n. Is n a multiple of 24?
True
Let c(d) = 2*d**3 - 15*d**2 - 10*d + 10. Let z be c(7). Let l = z + 310. Is l a multiple of 2?
False
Let r be (-6)/(((-51)/(-6974))/(-17)). Suppose -32*c - r = -76*c. Does 6 divide c?
False
Suppose 0*m + 258513 - 2913 = 45*m. Is 20 a factor of m?
True
Let c = -11042 + 22665. Does 59 divide c?
True
Suppose -9*c = -3*c - 24. Suppose t + c*m = 105 + 353, -938 = -2*t + 3*m. Is t a multiple of 14?
False
Let d be (-1 + -253)*(-14)/(-14). Let w = -100 - d. Does 7 divide w?
True
Suppose -68*o + 200128 = 50*o. Is o a multiple of 24?
False
Let l be (-201)/(-4) + (2 - (-18)/(-8)). Suppose l = 2*r - 392. Is 13 a factor of r?
True
Let u = -173 + 219. Suppose 5*n - 66 - 58 = -2*p, -2*n + p = -u. Is n a multiple of 4?
True
Suppose 33 = -3*t - 4*w, 0 = 2*t - t + 5*w. Is 29 a factor of (-480)/(-2) - (t - -17)?
False
Suppose 4*q = k - 15, -5*k = -3*q + 11 - 35. Suppose k*b - 7*b + 12 = 0. Is b a multiple of 2?
False
Suppose 2*r + 30 + 306 = -5*y, -y + 360 = -2*r. Let w = -520 - r. Let f = -197 - w. Is f a multiple of 9?
False
Let j(c) = -5*c + 16. Let v be j(5). Let b = v + 148. Let q = b - 88. Is q a multiple of 3?
True
Let k = 71 + -60. Suppose -7 = 2*h - k. Suppose r - 3*n - 99 = 0, h*r - 4*n + 9*n - 187 = 0. Is 12 a factor of r?
True
Let a = 580 + -568. Suppose -a*h = -8*h - 256. Does 8 divide h?
True
Let n = -10238 - -16043. Is n a multiple of 15?
True
Let n(z) = z**2 + 64*z + 185. Is n(-75) a multiple of 5?
True
Suppose -1069*d = -1062*d - 87122. Is d a multiple of 180?
False
Let f be 253/15 + (-108)/(-810). Suppose 388*d = 389*d - f. Is d a multiple of 5?
False
Let t be (-185)/35 + (36/28 - 1). Let w(i) = -3*i**3 - 5*i**2 + 12*i + 9. Is 13 a factor of w(t)?
False
Suppose -102 = -30*g + 33*g. Does 10 divide -5 - (g + 21/(-7))?
False
Let d = -115 - -117. Let i be (-4)/2*271/(-2). Suppose 3*c = d*l - 98, l + 4*l - c = i. Is l a multiple of 11?
True
Suppose d = -35 + 28. Is 2 a factor of ((-74)/d)/((-2 + -2)/(-56))?
True
Let q = 28969 - 12840. Is q a multiple of 127?
True
Suppose -2*h = 5*j + 3, -3*j = 3*h + 3 + 6. Let a(q) = 54*q**2 - 1. Let i be a(j). Let v = -41 + i. Does 5 divide v?
False
Suppose 4*l - 557 = 403. Suppose -5*u = n - 236, -l = -3*n + 2*n - 4*u. Suppose 2*m - 2*f = -0*m + n, -4*f = 2*m - 262. Does 43 divide m?
True
Let x be 0/(6/(3 - 0)). Let l(s) = -s**2 + s + 88. Let o be l(x). Let h = -20 + o. Is 19 a factor of h?
False
Let i(h) = 4*h + 57. Suppose o + 3*o + 2*p = 14, -o = p - 2. Let s be i(o). Is 3 a factor of (-2 + (-2 - -1))*s/(-11)?
True
Suppose 0 = -u + 2*u - 56. Let h = -52 + u. Suppose 0 = h*i + 3*c - 492, -3*c = c. Is 14 a factor of i?
False
Let w(s) = s**2 + 16*s + 1. Let b be w(-12). Let k = b + 81. Suppose -38*o + 536 = -k*o. Does 21 divide o?
False
Let g be (2 - 3)*(-27)/1. Suppose x + j = -5, x - 2 = 3*j - g. Let m = x - -20. Is m even?
True
Suppose 4*t - 4*q - 7440 = 0, -2*q + 9300 = 5*t - q. Is 30 a factor of t?
True
Let j be (-2)/(-4)*-4*52/8. Let d = 60 + -21. Is 205/3 + j/d a multiple of 12?
False
Let a(b) = -53*b - 2. Let g be (-18)/(-4)*8/12. Suppose -8 = -k + 2*k + g*y, -2*y = 4*k + 12. Is a(k) a multiple of 13?
True
Let f be (-6)/9*-6*-1. Let i be (-18)/f - (-9)/6. Suppose -775 = -i*y + y. Is y a multiple of 27?
False
Let u be 2 - ((-20)/(-130) + (-267)/(-39)). Let i(j) = -74*j - 42. Is i(u) a multiple of 21?
False
Let s(g) = -183*g**2 - 8*g - 15. Let a be s(-2). Let c = 1358 + -333. Let m = a + c. Does 21 divide m?
True
Let y = -1024 - -2171. Suppose y = -7*t + 3352. Is t a multiple of 15?
True
Suppose -2*j = -0*j + 2*j. Let n be j/(-2) - (-345)/(-5). Let z = -44 - n. Is z a multiple of 9?
False
Let b be 4/(-5) - 113816/(-820). Suppose 0*m - 434 = -2*m. Let x = m - b. Is x a multiple of 16?
False
Let t(m) = m + 2. Let z(s) = 10*s**3 + 2*s**2 + 4*s + 6. Let k(a) = 4*t(a) - z(a). Let l(w) = w**2 - 4*w - 2. Let g be l(4). Is 8 a factor of k(g)?
False
Let m(b) = 8*b**2 - 9*b + 51. Let x be 22/4 + 32/64. Is m(x) a multiple of 23?
False
Suppose -4*p - 7*s + 5*s + 4110 = 0, p + 5*s = 1041. Does 19 divide p?
True
Suppose -6*i - 4*i - 5*a + 5755 = 0, 2877 = 5*i + 3*a. Is i a multiple of 24?
True
Let o = -2 - -30. Suppose 614 = -7*j + 1160. Let l = j - o. Is 6 a factor of l?
False
Let z be (-9 + 3 - -8) + -2. Is 5 a factor of 13*5 + (z - 7) + 5?
False
Let p(m) = -m. Let c(v) = 12*v + 5. Let d(w) = -4*c(w) - 44*p(w). Let i be d(-6). Suppose 0 = -i*u + 122 + 54. Is u a multiple of 10?
False
Suppose 7 = 4*v - 5. Let n be (6 - v - 3) + 131. Suppose 297 = 3*l - o, -l + n = -o + 32. Is l a multiple of 18?
False
Let d(x) = 111*x - 101. Let p be d(26). Suppose q = -4, 23*c = 18*c - 5*q + p. Is c a multiple of 26?
False
Let w = 14016 - 9588. Is 21 a factor of w?
False
Let w be (-5)/(10/(-4)) + 63. Let i = 46 - w. Let d(z) = z**2 + 3*z - 16. Does 18 divide d(i)?
True
Suppose -5*y + 18038 + 39495 = -2*j, 0 = 3*y + j - 34511. Is 9 a factor of y?
False
Suppose 2*m + 5*a - 13 = 2*a, 0 = -5*a + 25. Is 68 a factor of ((2 - -5) + 192)*(-3)/m?
False
Suppose g - 2 = 0, -5*v + 2*g - 7*g = -155. Suppose -v*r - 91 = -1918. Does 13 divide r?
False
Suppose 3*c = 5*z - 6633, 4*z - 1273 = c + 4032. Is 26 a factor of z?
True
Let b = 54 + -56. Let u(d) = 11*d**3 + d + 4. Let c be u(b). Let t = 177 + c. Does 13 divide t?
True
Suppose 6*d - 20*d + 3920 = 0. Let q = d + -129. Does 11 divide q?
False
Suppose -c + d = 9, -10 = 2*c - d + 3. Let o be (14/8)/(1/(0 - c)). Let z(f) = -f**3 + 11*f**2 + 3*f + 11. Does 29 divide z(o)?
False
Let k(p) = 19*p**2 + p + 28. Let q be k(-12). Suppose 4 = -g, -3*g = 4*x - 3188 - q. Does 61 divide x?
False
Let j be 0 + 1 - 9/(45/(-10)). Suppose -3*g + 120 = 5*u, 5*g - 72 = -j*u + 3*g. Is 45 a factor of (-2)/(-8)*6816/u?
False
Suppose -p - 632 = -3*p. Let v = -282 + p. Is 4 a factor of v?
False
Suppose 3*n + 6*t - 120 = 2*t, 3*t - 167 = -4*n. Suppose 16828 = n*r - 16*r. Is r a multiple of 33?
False
Suppose 0 = 5*b - 203 - 12. Let l = -45 + b. Is 27 a factor of (-1)/(747/(-372) - l)?
False
Let p = -228 + 234. Suppose 4*v + 3*i - 55 = p*i, -4*v + 79 = 5*i. Is v a multiple of 5?
False
Let t = -17045 + 68345. Does 90 divide t?
True
Suppose -169*a = -101*a - 812328. Is 13 a factor of a?
False
Suppose 437*i - 86*i - 5551416 = 0. Is 12 a factor of i?
True
Suppose -3291 = 16*t - 395. Is -4 + -1 - t - -1 a multiple of 37?
False
Let n(p) = -17*p**3 + 27*p**2 - 14*p - 48. Let x(c) = -20*c**3 + 28*c**2 - 14*c - 49. Let t(k) = 7*n(k) - 6*x(k). Is 36 a factor of t(-21)?
True
Let o(f) = -4105*f + 1548. Is o(-6) a multiple of 19?
False
Suppose -43*a + 78*a - 75880 = 0. Is 16 a factor of a?
False
Suppose 35*k - 1408 = 19*k. Suppose 0 = -3*b + k + 20. Is b a multiple of 3?
True
Is 52/(-4)*9740/(-10) a multiple of 26?
True
Let j be (-2 - -2)*(-3)/6. Suppose -66*s + 71*s - 1200 = j. Does 15 divide s?
True
Suppose 0 = -2*z - z - 1080. Suppose 4*b + 5 = 9. Is 18 a factor of b/(1435/z + 4)?
True
Is 11 a factor of (4*-12 - -4)/((-28)/1722)?
True
Suppose 49*w - 3690 = 19*w. Let v = 6 - 3. Suppose -3*h = -v*u + w, -4*u - h - 78 = -232. Is 13 a factor of u?
True
Let v(u) = 2*u**3 - 4*u**2 + 3*u. Let j be v(2). Let o(y) = y**2 - 7*y + 13. Let z be o(j). Suppose -g + 1168 = z*g. Is 25 a factor of g?
False
Does 36 divide (-877)/7893 - (-2 - 249463/9)?
True
Let r(n) = 2*n - 3. Let x be r(3). Suppose -2*q + v - 7 = 0, -4*v + 0 = -x*q + 2. Let z(k) = -k**3 - 6*k**2 - 9*k - 7. Is z(q) a multiple of 16?
False
Suppose 4*c = 5*k + c - 4, -k = 5*c - 12. Suppose 2 + 6 = -k*d, -700 = -3*i + 4*d. Let o = i + -61. Does 23 divide o?
False
Suppose -42*u + 23449 + 215447 = 0. Is 72 a factor of u?
True
Let a(v) = 14*v**3 - 5*v**2 + 53*v - 213. Does 3 divide a(5)?
True
Suppose 51*o = 66*o + 615. Does 24 divide o + 331 + -1*2/1?
True
Suppo