55*y - 7. Let o(d) = -p(d) + r(d). Does 18 divide o(-4)?
True
Let w = -4744 - -6036. Is w a multiple of 59?
False
Let d(p) = 23*p + 85. Let w be d(-4). Let k(z) = -41*z - 47. Does 16 divide k(w)?
True
Let j(z) = 8*z - 1. Let u be j(-6). Suppose 3*c = 8*h - 5*h - 486, -5*c - 324 = -2*h. Let x = u + h. Is x a multiple of 18?
False
Let l(y) = -y**3 + 20*y**2 - 9*y - 89. Let r be l(18). Let o = 530 + r. Is 15 a factor of o?
False
Suppose l - 5*m = 108, 5*l + 3*m = 2*m + 592. Let g be 1/(4/(l*-2)). Let i = -27 - g. Is 6 a factor of i?
False
Let z(n) = -n**2 - 11*n - 45. Let r be z(-12). Let a = r + 209. Is a a multiple of 8?
True
Suppose 56*a - 15075 = 27261. Is a a multiple of 9?
True
Let f = 7096 - 7099. Let a(l) be the second derivative of l**4/3 - 2*l**3/3 - 3*l**2 - l. Does 14 divide a(f)?
True
Is 56 a factor of (-64 - 2298)*12/(-4)?
False
Suppose -160 = -5*g - 310. Let b be (2672/20)/((-12)/g). Let q = b - 180. Is q a multiple of 14?
True
Let m(q) be the first derivative of -q**4/4 - 2*q**3/3 + 47*q**2/2 + 9*q - 98. Is m(-12) a multiple of 80?
False
Let f be 145/20 + (6/8 - 0). Suppose f*w = 31*w - 3703. Is w a multiple of 23?
True
Let p = -20376 + 28594. Does 33 divide p?
False
Suppose 0 = -6*j + j + 2*g + 2, 3*j + 2*g - 14 = 0. Let c(s) = 8*s - 10*s**2 - s**3 + 19*s**2 - 6 - j*s**2. Is 6 a factor of c(6)?
True
Let t(n) be the second derivative of 61*n**3/6 - 94*n**2 + 26*n - 3. Is t(8) a multiple of 75?
True
Is 79354/7 - -1 - 690/(-966) a multiple of 46?
False
Suppose -349 + 189 = -8*h. Suppose -18*u + 15960 = h*u. Is 20 a factor of u?
True
Let r be (20768/(-10))/(2/(-10)). Suppose 13*m - r = 2*m. Suppose -19*z + m = -11*z. Does 21 divide z?
False
Suppose -3*v = m - 28732, -21603 = -2*v - 3*m - 2467. Is 9 a factor of v?
False
Let y be (-1334)/(-2) - (9 - 4). Suppose 1438 = 5*a - y. Does 14 divide a?
True
Let n be 4*-23*1/((-2)/29). Suppose 0 = 15*u - 271 - n. Is 8 a factor of u?
False
Let y = -406 + 406. Suppose 0 = 2*a - y*a - 10, -1196 = -4*q + 4*a. Is 4 a factor of q?
True
Suppose -3*n + 9 = -3*m - 0*m, 5*m = -5*n + 15. Suppose 2*v - n*g + 6*g - 185 = 0, -g = 2*v - 183. Is v a multiple of 13?
True
Let w = 13247 + -8102. Suppose -5*b + 12*b - w = 0. Is b a multiple of 21?
True
Let u = -25 - -33. Let y(g) = g**3 - 8*g**2 + 3*g - 20. Let f be y(u). Does 9 divide 15/(-30) - ((-306)/f)/3?
False
Let w = -1532 - -2376. Let a = w + -332. Is 16 a factor of a?
True
Suppose -36 + 6 = -6*s. Suppose -3*d + z - 283 + 763 = 0, 0 = s*d + 3*z - 786. Is d a multiple of 16?
False
Let w(i) = -21*i + 45. Let o(h) = -24*h + 44. Let s(l) = -6*o(l) + 7*w(l). Is 7 a factor of s(-32)?
True
Let y(i) = 13317*i - 60. Is 186 a factor of y(1)?
False
Let r be 2/(0 + 2/(-3)). Let q = r - 77. Let z = -47 - q. Is z a multiple of 33?
True
Suppose 0 = -b + k + 1363, -3*b + 6*k = 8*k - 4089. Suppose 0 = 4*a - 1217 - b. Does 15 divide a?
True
Let s = -931 - -403. Let q = -63 - s. Suppose h = 4*h - q. Is 31 a factor of h?
True
Does 26 divide (-332160)/(-1824) - (-4)/(-38)?
True
Let d(y) = -4*y**2 - 11*y - 6*y**2 - 12 - y**3 + y**2. Let n(l) = -2*l**3 - 35*l**2 - 18*l - 25. Let q be n(-17). Is 3 a factor of d(q)?
True
Is 113528/14 + 7/(-49) a multiple of 17?
True
Let b(k) = 2*k**3 + 35*k**2 - 44*k - 6. Is b(-16) a multiple of 24?
False
Let x(c) = c**3 + 17*c**2 - 50*c + 224. Is x(15) a multiple of 94?
True
Let u(t) = 23*t**3 + t**2 - 2*t + 4. Let i be u(3). Let r = i + -390. Suppose r = 3*l + 5*z, -z = -l - 3*z + 78. Is l a multiple of 12?
False
Let z(p) = -p**3 - 7*p**2 - 6*p. Let c be z(-6). Suppose 4*i + 1612 = -c*q + 4*q, -1209 = -3*q + 2*i. Is q a multiple of 13?
True
Let o(s) = -s**3 + 18*s**2 + 5*s + 4. Let a = 72 - 55. Is 28 a factor of o(a)?
False
Let j(c) = 12*c - 60. Let s be 54/10*560/168. Is j(s) a multiple of 12?
True
Suppose -5*p + 5*c = -15460, 5*p + 2*c - 12380 = p. Does 14 divide p?
True
Let q(k) = 56*k + 4. Let g(j) = j**2 + 15*j + 43. Let c be g(-12). Is q(c) a multiple of 4?
True
Suppose 0 = -24*s + 27*s - 6. Suppose 0 = 154*h - 153*h - s. Suppose -h*z - 300 = -5*z. Is 20 a factor of z?
True
Is 4 a factor of (-3940)/(-200)*-12*(3 - (13 - 0))?
True
Let d(c) = 8*c**2 - 7*c - 20. Let j be (-52)/(-91)*7/(-2). Is d(j) even?
True
Is (-381600)/54*(2 + -3 - (-1)/(-2)) a multiple of 5?
True
Suppose -h = 5*h + 26*h - 104256. Is h a multiple of 3?
True
Let i(b) = -b**2 + 11*b - 14. Let a = 34 + -25. Let m be i(a). Suppose 3*x - 34 = 3*y - m*y, -4*x + 128 = 4*y. Does 9 divide y?
False
Let h(i) = -114*i + 10. Let s be h(-2). Suppose 11*l = 4*l + s. Does 6 divide l?
False
Let u(d) = -23*d**2 + 8*d - 1. Let b be u(1). Let r(j) = -21*j - 9. Let k be r(-7). Let q = k - b. Is 27 a factor of q?
False
Suppose -1046*i - 79563 = -3*r - 1045*i, 3*i = -r + 26531. Is r a multiple of 211?
False
Let j = 163 + -3. Let m(u) = 12*u + 8. Let a be m(-2). Let h = j - a. Does 31 divide h?
False
Let s = -4 - -14. Let b(w) = 20*w**2 - s + w**3 + 0 - 5 - 24*w. Is b(-21) a multiple of 17?
False
Let m be 1/(-3)*(-6)/12*12. Suppose -m*p = -21 + 11. Suppose -p*o = -4*o - 133. Is 7 a factor of o?
True
Suppose -215 - 4685 = -2*d. Suppose 26*z = -d + 8638. Does 14 divide z?
True
Let f = 85 - 83. Suppose j - 108 = 4*b - 28, 4*j - f*b - 320 = 0. Suppose j + 592 = 8*o. Does 14 divide o?
True
Let j = -73 + 79. Let a be 0*2/(j/3 + 0). Suppose 7*i - 2*i - 180 = a. Is 12 a factor of i?
True
Suppose 5*a = 3*o - 3694, 3*o + 2*a - 571 = 3109. Is 53 a factor of o?
False
Let g(j) = j**2 - 15*j + 18. Let y be g(13). Let q(v) = v**3 + 10*v**2 + 5*v - 9. Is q(y) a multiple of 7?
False
Let l be ((3 - 35)/((-4)/(-16)))/((-18)/2115). Suppose -5*x = -x + 448. Is 16 a factor of (-2)/7 - l/x?
False
Let q be (-18003)/(-255) - (7/(-5) - -1). Let h = q - -371. Does 44 divide h?
False
Let i = 22812 - 19500. Is 3 a factor of i?
True
Suppose 2*d + 25 = -5*k, 2*k + 27 = -2*k - 3*d. Let t be (4/k)/(12/(-1908)). Is (-6)/(-2) + t + -5 + 7 a multiple of 24?
False
Let d(l) = 12*l**2 + 156*l + 1712. Does 10 divide d(-12)?
False
Let m(n) = -66*n - 194. Let s be m(11). Let f = s - -985. Is 13 a factor of f?
True
Let a(q) = -q. Let k(w) = 2*w + 1. Let y(d) = 5*a(d) + 5*k(d). Let o be y(-4). Does 47 divide 247/3 + (-70)/o + -4?
False
Let y(b) = -7*b - 62. Let g be y(-16). Let t = g + -2. Does 16 divide t?
True
Let j(y) = -5*y + 5. Let r be j(0). Suppose -498 = -4*o + 3*k, 720 = r*o + k + 107. Is o a multiple of 4?
False
Let b = 15358 + -13784. Is 2 a factor of b?
True
Let s(g) = 18*g**2 - 126*g + 2838. Does 22 divide s(22)?
True
Let x = -7521 - -18231. Is x a multiple of 15?
True
Let d be (6/(-18))/(1/9). Let a be 4/d + 1 - 40/(-12). Suppose 2*c = -3*c + 5, -c + 271 = a*v. Does 28 divide v?
False
Suppose -3*p + 3932 = -5*j, -2*p + 4*j = -1232 - 1390. Is 14 a factor of p?
False
Let o = -47 + 102. Suppose 6*d - 505 = -o. Suppose 10*t - d = 45. Is t a multiple of 12?
True
Let h = 918 - 911. Suppose -1405 = h*r - 11604. Does 31 divide r?
True
Let c(h) = -h**3 + 7*h**2 - 13*h - 4. Let j(s) = -4*s + 21. Let v be j(4). Let g be c(v). Let i = 115 - g. Is i a multiple of 23?
False
Suppose 7508*t + 786915 = 7575*t. Is 179 a factor of t?
False
Let v = 6 - -9. Let h be -3*((-140)/v - 3). Suppose -11*l + 10*l = -h. Is l a multiple of 5?
False
Suppose 40*u - 89*u + 15*u + 7140 = 0. Is 6 a factor of u?
True
Suppose -1320 = -m + 5854. Does 7 divide m?
False
Suppose -75*v = -129643 - 60358 - 60799. Is 16 a factor of v?
True
Let m = -65 - -486. Suppose -832 = -m*d + 419*d. Does 26 divide d?
True
Let x(v) = 71*v**2 - 29*v - 117. Is x(-8) a multiple of 4?
False
Let n(b) = 2*b**3 - b**2 + 2*b - 3. Let o be n(0). Let h be (22 - 16)/(o*(-2)/32). Let k = h + -20. Is k a multiple of 12?
True
Let h be 1*((-624)/(-13))/(-6). Let j(d) be the first derivative of -d**4/4 - 7*d**3/3 - 9*d**2/2 - 3*d + 1. Is j(h) a multiple of 19?
True
Suppose 2*k - 928 = -2*k. Suppose -k = -6*u + 4*u. Does 29 divide u?
True
Let g be -1 - (2 + -4 + -1494). Suppose -3*u + g = 4*c, 2377 = 4*u + 2*c + 397. Let m = u + -259. Is 15 a factor of m?
False
Does 37 divide -7 - (-6*24/18 + -3974)?
False
Let y = 48 - 69. Let u be (36/90)/(y/(-10) + -2). Suppose -u*j - j + 960 = 0. Does 32 divide j?
True
Let b = 142 - 142. Suppose b = 2*z - 2*y - 14, -z - 3*z = 3*y. Suppose 2*f = -s + 173, -2*