et m(c) = 8*c + 115. Let o be m(-14). Suppose -2*k + 828 = 3*k - 4*v, 3*v + i = o*k. Does 15 divide k?
False
Suppose -96*c = -120*c + 43248. Is c a multiple of 24?
False
Let j(f) = -6*f**3 + 2*f**2 - 10*f - 1. Let u(t) = 5*t**3 - 3*t**2 + 9*t. Let g(q) = -6*j(q) - 7*u(q). Is 44 a factor of g(6)?
True
Let l(q) = q**3 + 2*q**2 - q + 6. Let d be l(0). Suppose d*h - 32*h = -5122. Is 6 a factor of h?
False
Let y(t) = -65*t - 20. Let u be y(-3). Suppose 3*o + u - 1033 = 0. Does 13 divide o?
True
Suppose 2*l - 55796 = -5*h, -2*h + l + 5807 + 16515 = 0. Is 124 a factor of h?
True
Let a = 88222 + -43312. Does 30 divide a?
True
Suppose -5*c + 7237 = 2*q, -11*q + 6*q + 18081 = c. Does 12 divide q?
False
Let w(i) = i**2 - 11*i + 34. Let m be w(8). Is 8 a factor of 39 + ((-12)/20 - (-16)/m)?
True
Is (32/10)/((-6)/(-32280)) a multiple of 19?
False
Let r(m) = -m**3 + 13*m**2 + 32*m - 15. Let u be r(15). Let a = -1 + u. Suppose 10*w = a*w - 584. Is w a multiple of 21?
False
Let b = 36 + -24. Suppose b = -2*t + 20. Suppose -t*c = 7 - 79. Does 9 divide c?
True
Suppose -12*z = -29*z - 68. Does 12 divide -2*1*((-20)/z - 520)?
False
Let n = -93 - -97. Does 29 divide 18/n - 3 - 1143/(-2)?
False
Let r be -17 - (0 - (0 + 1)). Let k(d) = 22*d + 21. Let t be k(r). Does 36 divide (1 - 63/49) + t/(-7)?
False
Let x(l) = 2*l**2 + 8*l - 84. Let z(f) = -f**2 - 5*f + 41. Let b(h) = -2*x(h) - 5*z(h). Is 8 a factor of b(7)?
False
Let o = -122 + 122. Suppose o = 10*b - 25*b - 300. Let s = 120 - b. Is s a multiple of 14?
True
Let t be (7 + -6 + 1)*(-212)/(-8). Does 12 divide 3*((-5)/1 + t)?
True
Suppose o - 46 - 3 = 0. Let i = -14 + o. Let x = i + -3. Does 2 divide x?
True
Suppose 83*m - 738458 - 322118 = -5*m. Is 23 a factor of m?
True
Let a = -9237 - -12249. Does 6 divide a?
True
Suppose -z + 11 = 3*m - 5, -5*z - 2*m + 28 = 0. Let x be (3 + (-27)/(-6))*z. Suppose x = 3*k + 3*k. Does 4 divide k?
False
Let b = -383 + 385. Suppose 1 - 7 = -b*y, 5*d + 2*y = 3006. Is 82 a factor of d?
False
Let b be 3*5*(32/(-12) - 1). Let r = 59 + b. Suppose -5 - 75 = -r*f. Is f a multiple of 9?
False
Let f = -921 + 4712. Is f a multiple of 18?
False
Is 68 a factor of -6 + (15/10 + (-297112)/(-16) - 3)?
False
Let t be (-90)/105 + (-40)/(-14). Is 399 + 7 + t + -3 a multiple of 45?
True
Let y = -4331 - -5185. Is y a multiple of 52?
False
Let d be 8/(-6)*(-120)/16. Suppose 2*f - d = -0*f. Suppose 0 = -f*s - 4*v + 830, 2*s - 3*v = -0*s + 309. Does 37 divide s?
False
Suppose -3 = 3*d + 3*a, -3*d + 5*a + 2 = -3. Suppose 0*l + 3*l - 24 = d. Suppose l*c + 58 = 330. Does 31 divide c?
False
Let x be -3 + 20/6 - (-22)/6. Suppose 17 + 43 = -x*g. Let h = 129 + g. Is h a multiple of 14?
False
Suppose -z + 0*z + 3 = 0. Suppose 0 = 4*c - g - 77, -66 = -z*c + g - 3*g. Does 20 divide c?
True
Let a = 185 - 76. Suppose -4*o + 180 = -2*u, -59*o = -60*o - 4*u + 54. Let w = a + o. Does 7 divide w?
False
Suppose 0 = -h - 5*u + 6752, 0 = 93*h - 97*h + 4*u + 26912. Is h a multiple of 36?
True
Suppose -66*c + 32*c + 280800 = -18*c. Is 27 a factor of c?
True
Let b(g) = -65*g + 3. Suppose 2*z - 4*k - 8 = -k, -5*z + 2*k + 9 = 0. Let f be b(z). Let w = -12 - f. Is w a multiple of 18?
False
Suppose -k = -14 - 7. Suppose -7*t + 40 = 4*d - 2*t, 5*d = 4*t + 50. Suppose d = -i + k. Is i even?
False
Let o = 57 - 52. Let w(c) = -11*c + 10 + 12*c + c**2 - o*c. Is w(6) a multiple of 11?
True
Let f(k) = -18*k**3 + k. Let p be f(-1). Let l(n) = n**2 - 19*n + 37. Let g be l(p). Is 2*(-3 + -38)*(-6)/g a multiple of 8?
False
Suppose 0*t + 3*t - 255 = -2*s, 4*t + 649 = 5*s. Let f(j) = j - 41. Let a be f(-7). Let n = a + s. Does 11 divide n?
False
Suppose -4*y + 2*b = -12, 4*b + 2 - 8 = 2*y. Suppose -y*f + 588 = 7*f. Is f a multiple of 7?
True
Suppose -2*v + 23 = 5*n - v, 3*n - 21 = -3*v. Suppose -y = 0, 0*y = n*x - 3*y - 228. Let z = 63 + x. Does 21 divide z?
False
Let t(a) = -a**3 - 4*a**2 - 4*a - 16. Let o be t(-4). Suppose o = -9*u + 7*u + 108. Is u a multiple of 6?
True
Let j(c) = 9*c**3 - 5*c**2 - 13*c - 8. Let y(s) = 4*s**3 - 2*s**2 - 6*s - 4. Let f(a) = 6*j(a) - 13*y(a). Let b be f(3). Suppose -42 = -5*i - b. Is i even?
True
Suppose 128*t + 115*t - 3939 = 230*t. Does 3 divide t?
True
Let j(t) = -270*t**3 - 8*t**2 + 18*t + 142. Is 109 a factor of j(-4)?
True
Let w = 12408 - 11522. Is 34 a factor of w?
False
Suppose -22*l + 28*l - 8496 = 0. Does 8 divide l?
True
Suppose 0 = 2*k, 0 = 4*f - 6*k + 9*k - 12. Does 64 divide (4/f*-2)/((-20)/5370)?
False
Let c(y) = -20*y**2 - 5*y + 34. Let j(d) = 42*d**2 + 11*d - 68. Let p(b) = -13*c(b) - 6*j(b). Is p(7) a multiple of 3?
True
Let a(p) = 2229*p - 13599. Is a(21) a multiple of 82?
True
Let g be (-47)/(-15) - (-6)/(-45). Let k(x) = -5*x**3 - 3*x**2 + 6. Let y be k(g). Let j = -69 - y. Does 23 divide j?
False
Let x(t) = -15*t - 324. Let g be (4/10)/((-80)/9200). Does 61 divide x(g)?
True
Let c(s) = -3*s. Let i be c(-1). Let g(o) = -13*o - 24. Let w be g(i). Let x = w + 80. Is x a multiple of 5?
False
Suppose 4*x - 6*t = -2*t - 28, t = 2*x + 12. Let y(r) = 8*r**2 - 8*r - 30. Is 42 a factor of y(x)?
True
Is 6358/(-4)*6*(-23)/23 a multiple of 187?
True
Let i be (-14)/(-2) + 7*(-7)/(-49). Suppose z - 292 = -5*p - 3, 4*p = -i. Does 19 divide z?
False
Let k(a) = -a**2 + 25*a + 13. Let c be k(26). Let s(v) = -v**3 - 3*v**2 + 11*v - 81. Does 15 divide s(c)?
False
Let w be (-98)/(-8)*-2*(8 + -6). Let n = w + -161. Is 13 a factor of 18/(-36) - n/4?
True
Let w be (-1*3)/(36/(-120)). Suppose -w*d - 92 = -8*d. Let a = d + 106. Does 20 divide a?
True
Suppose -3*s = -5*y - 169741, -203*s + 202*s + 2*y + 56578 = 0. Is 131 a factor of s?
True
Let n be 8/(4 - 8) + (-377)/(-1). Suppose 10*p - 7*p - n = 0. Suppose -i + 6*i = p. Is i a multiple of 5?
True
Let w(g) = g**2 + 7*g - 11. Let j be w(-7). Is 20 a factor of -4*(-3)/66 + (-2968)/j?
False
Let f(y) = -y - 77. Let c(l) = 2*l + 233. Let a(q) = 2*c(q) + 7*f(q). Is 2 a factor of a(-31)?
True
Suppose 21*m - 25 = 16*m. Let g be m/10 + (-1299)/(-6). Let q = g - 109. Is q a multiple of 12?
True
Is 101 a factor of (-180682)/(-9) + 33*(-82)/(-12177)?
False
Let j be (21/14 - (1 - -1))*84. Let u(d) = d**2 - 11*d + 12. Let s be u(9). Let y = s - j. Is 12 a factor of y?
True
Suppose i - 2697 = -q + 123, 5*i - 3*q = 14148. Is i a multiple of 10?
False
Suppose 6*v = -5*v + 3498. Is 219 a factor of v?
False
Suppose -20*x = -4*x - 48. Suppose -5112 = -x*y - 5*y. Is y a multiple of 71?
True
Suppose 91*j + 3006 = 2*l + 94*j, 2*l - 5*j = 2990. Is 4 a factor of l?
True
Let a be (259/(-35) - -7)*-5. Does 9 divide (a*(8 - -1))/(2/68)?
True
Let a(t) = 603*t**3 + t - 1. Let n be a(1). Let u = n - 191. Is u a multiple of 42?
False
Let a = 95 - 148. Let m(u) = -916*u + 2752. Let g be m(3). Let l = g - a. Does 11 divide l?
False
Suppose -18*y + 22*y - 352 = 0. Suppose 2*q = 46 + y. Does 30 divide q?
False
Let y(p) = 612*p + 236. Let q(r) = -245*r - 95. Let o(m) = -12*q(m) - 5*y(m). Does 20 divide o(-8)?
True
Suppose 87*b + 6256545 - 347145 = 297*b. Does 28 divide b?
True
Let l(k) = -k**2 + 9*k + 12. Let v(q) = 2*q**2 - 19*q - 25. Let n(i) = -5*l(i) - 2*v(i). Let y be n(6). Let w = 21 + y. Is w a multiple of 2?
False
Suppose 0 = -s - 6*y + 18675, 30*y - 93130 = -5*s + 35*y. Is s a multiple of 15?
False
Suppose -3*j - 2*l - 5428 = -32383, 0 = -3*j - l + 26961. Does 19 divide j?
False
Let j(u) = -235*u + 100. Suppose -26 = t - 24. Is 6 a factor of j(t)?
True
Suppose 22*o - 2*u = 17*o + 42, -5*o = -3*u - 38. Does 5 divide 238/o - (-24)/(-30)?
False
Let u(b) = 368*b + 83. Let h be u(4). Suppose -h = -5*n + 1035. Does 74 divide n?
True
Does 86 divide ((-27)/90*-3092)/(4/(100/3))?
False
Let u(m) = 4*m - 30. Let f be u(8). Suppose -o - 2*o - q = -2, q = f*o + 2. Suppose 5*d = g + 712, -3*d - 4*g + 441 = -o*d. Is 11 a factor of d?
True
Suppose -110*w + 107*w + x = -8953, -3*w + 8941 = 2*x. Is 13 a factor of w?
False
Let c be (-1365)/(-120) + 6/(-16). Does 13 divide (c/2 - 2)/(6/276)?
False
Suppose 73*j - 805185 = 274923. Is j a multiple of 18?
True
Let m(h) = -2 + 84*h**2 + 4*h + h - 3 + 2*h. Is m(2) a multiple of 15?
True
Let w be (33 - 0)/((-24)/(-208)). Suppose -w = -9*d + 164. Is d a multiple of 13?
False
Let c = 55 - -113. Suppose 0 = -4*t - 131 - 333. Let i = c + t. Does 13 divide i?
True
S