t x = 456 - 464. Does 18 divide (-2 - 0 - x) + 592 + -10?
False
Let h(o) = -o**3 + 10*o**2 - 10*o - 25. Let y be h(13). Is 63 a factor of ((-3 - 0) + y)*8/(-20)?
False
Suppose 0 = r - 2*x - 307, -3*x = -3*r - 0*r + 912. Let d be (-1 - -3)*r/(-14). Let y = d - -80. Is 8 a factor of y?
False
Suppose -8*y + 5089 + 46527 = 0. Is y a multiple of 9?
False
Does 23 divide (86422152/(-96))/(-17) - (-3)/12?
False
Let k = 480 - 227. Suppose -3*a = a + j - 243, -j = -4*a + k. Is 2 a factor of a?
True
Let w be (10/(-7))/(185/(-518)). Suppose 3*o - 3*z - 344 = 1294, -w*o = -2*z - 2192. Is o a multiple of 22?
True
Suppose 5*n + 5*k = 0, k = n + 3*k + 2. Let i(u) = 170*u + 12. Let s be i(n). Let q = s - 222. Is 13 a factor of q?
True
Let s(j) = -j**2 + 54*j - 243. Let w be s(49). Suppose -w*o + 269 + 296 = c, 5*c = 2*o + 2765. Is 6 a factor of c?
False
Suppose -3*a + 8*a + 5*h + 5 = 0, -4 = 3*a + 2*h. Let r(n) = 1. Let m(l) = 38*l + 6. Let t(b) = -m(b) + r(b). Is 8 a factor of t(a)?
False
Suppose -11*h + 5*t = -14*h + 23585, 3*h - 3*t = 23553. Is h a multiple of 4?
False
Let u be 6/(-27 + -3) - (-2116)/(-20). Let m = 201 - u. Does 6 divide m?
False
Suppose 3*r - 4*h = -320, 3*r - 8*r + 2*h = 524. Let a = r - -200. Does 12 divide a?
True
Let c(z) = -z - 13. Let o = -89 - -73. Let x be c(o). Let n = x + 67. Does 10 divide n?
True
Suppose 0 = 3*t + 190 - 8761. Does 9 divide t?
False
Suppose -37 = 2*s - a - 256, 2*s - 2*a - 222 = 0. Suppose 2*b = -10, -5*i - s = -b - 613. Is 65 a factor of i?
False
Let d = 142 - 121. Suppose d*k - 2770 = 1766. Does 12 divide k?
True
Let c = -121 - -76. Let k = -42 - c. Suppose -k*s + 11 = -13. Is 8 a factor of s?
True
Let h(z) = -20*z**2 - 7*z + 6. Let l be h(4). Let x = -131 - l. Is 23 a factor of x?
False
Suppose 131*i + 1749459 - 8103876 = 0. Is 23 a factor of i?
True
Suppose 18*m - 136 = m. Let u(s) = -s**3 + 10*s**2 + 12. Does 14 divide u(m)?
True
Let v be (0 - 4 - (1 - 4)) + -69. Let n = -64 - v. Does 3 divide 15 + n/(-9) + (-24)/(-9)?
False
Let v(a) = 2*a**3 - 152*a**2 + 180*a - 161. Is 64 a factor of v(75)?
False
Suppose 13*k + 22*k - 396825 = 10*k. Is 29 a factor of k?
False
Let m = 740 - 732. Suppose -1301 - 987 = -m*n. Is n a multiple of 6?
False
Let b = 4278 + -3958. Is 42 a factor of b?
False
Let f = 120 - 115. Is 11 a factor of 306 - (-4 + 10/f)?
True
Suppose -2*y + 57 = -5*t + 3, -4*t = 2*y + 54. Let k(p) = p**3 + 9*p**2 - 54*p - 28. Is 7 a factor of k(t)?
False
Suppose 0 = -f + 2*u + 901, 0 = -10*f + 13*f - 2*u - 2711. Suppose -f = -2*z + 5*o, 914 = 3*z - z - 2*o. Is z a multiple of 20?
True
Suppose -58*j + 4080 = -38*j. Is 34 a factor of j?
True
Suppose -5*o = -1090 - 225. Does 26 divide o?
False
Let o(y) = 13*y**2 - 33*y + 95. Is o(8) a multiple of 9?
False
Suppose 0 = 3*d - 3*f + 7*f + 19, -5*d - 2*f - 27 = 0. Let a = d - -52. Is 47 a factor of a?
True
Suppose 2*q = 3*q - 3*k - 17, k - 37 = -5*q. Let b(c) be the first derivative of 17*c**2/2 + 28*c - 516. Is 41 a factor of b(q)?
True
Let f(r) = -4*r + 23. Let c be f(5). Suppose c*l - 2318 = -404. Is 47 a factor of l?
False
Suppose 731*h - 733*h = -2374. Does 5 divide h?
False
Let i be (-16 + 3)/(3/6). Is 12 a factor of (i/(-1)*-2)/(54/(-648))?
True
Let c be 45/5 - -2*3/6. Let u be 1*c + 5/((-15)/(-6)). Suppose -330 - 1170 = -u*b. Does 34 divide b?
False
Let w = -48 + 46. Suppose c = -3*c + 220. Is 32 a factor of -1 + -1 + c + w?
False
Let u(l) = -4*l**2 - 3 + 11*l**2 - 53*l - 58*l + 112*l. Is u(-4) a multiple of 8?
False
Suppose 2*w - 2071 = 2909. Is w a multiple of 38?
False
Suppose 867*x - 5264 = 860*x. Is 8 a factor of x?
True
Let j be ((-8)/(-6))/((-2)/(-3)). Let r(k) = 2*k**2 + 8*k - 45. Let l be r(5). Suppose j*d = 3*d - l. Is d a multiple of 9?
True
Let h = 262 - 260. Suppose h*o = -4*i + 2450, o = 6*o - 5. Does 68 divide i?
True
Let g = 343 - 357. Is (-11)/((-77)/g)*-53 a multiple of 4?
False
Suppose b + 617*g - 622*g = 28937, -3*b = -3*g - 86739. Is 51 a factor of b?
False
Let n = 736 + 3114. Suppose -v = 10*v - n. Is 10 a factor of v?
True
Let c(s) = 7*s**2 - 12*s - 12. Let a be c(9). Let o = -252 + a. Suppose 2*x = -x + o. Does 14 divide x?
False
Let m = -32432 - -49232. Is 30 a factor of m?
True
Let h be (-18)/(-5) - 18/30. Suppose h*o = 3*z + 2*z - 20, -4*z = o - 16. Does 34 divide z + 537/18 + 2/12?
True
Suppose 3*v = -2*v. Suppose v = 5*q + 18 - 3. Does 31 divide (-2)/3 + (-281)/q?
True
Let v be (-4)/((-7)/(-15) - (-2)/(-3)). Let j(i) = 41*i + 27. Let w be j(3). Is 15 a factor of (35/1 + -1)/(v/w)?
True
Let t = 540 - 20. Suppose t = -29*w + 25*w. Let l = 6 - w. Is l a multiple of 17?
True
Let n = 6985 - 4516. Does 15 divide n?
False
Suppose -19*u + 22212 = -16*u + 3*c, 4*u + 3*c = 29616. Is u a multiple of 176?
False
Suppose 0 = -711*s + 664*s + 1250153. Is 11 a factor of s?
False
Let u(r) = -r**3 + 18*r**2 + 41*r + 1. Let t be u(20). Suppose -33*i = -t*i - 600. Is i a multiple of 25?
True
Let t(n) = -11*n - 99. Let u be t(-9). Suppose u = -4*f + 2*f + 62. Does 11 divide f?
False
Suppose 2*d = -5*o - 65 - 173, -d + 1 = 0. Does 19 divide -1085*(2 + o/20)?
False
Let w(m) = -m**2 - 10*m - 15. Let k be w(-7). Let j(a) = -a**2 + 6*a - 5. Let o be j(k). Let i(s) = -25*s - 2. Is i(o) a multiple of 13?
False
Is 5 a factor of (5554*-1)/(-2) - (-6 + (38 - 27))?
False
Suppose -5*l + 519 = -2*l. Let i = l + -26. Does 21 divide i?
True
Let v(c) = c**3 - 4*c**2 + c - 2. Suppose -3*a - 17 = -35. Let w be v(a). Suppose -5*g + 9*g - w = 0. Is 4 a factor of g?
False
Let b be 11 + (8/(-2) - 0). Let j(h) = h**3 - 7*h**2 - 2*h - 10. Let q be j(b). Is -36*(-4)/q*-2 a multiple of 5?
False
Suppose 4*p = 6*p + 5*j - 18326, 4*p - 2*j = 36604. Is p a multiple of 81?
True
Let j(r) = 47*r - 72. Let b(a) = 44*a - 70. Let i(y) = 6*b(y) - 7*j(y). Is i(-7) a multiple of 11?
True
Let w(i) = 27*i**3 - i**2 + 5*i + 19. Does 65 divide w(4)?
False
Let f(v) = -53*v**2 - 1 - v + 29*v**2 + 32*v**2. Suppose 0 = -3*k - 3 - 3. Is 11 a factor of f(k)?
True
Let k(h) = h**2 - h + 4. Let b be 3/((-9)/(-6)) + 7. Is k(b) a multiple of 28?
False
Let o = -47672 + 67337. Is 10 a factor of o?
False
Let q = 37028 - 30714. Is 82 a factor of q?
True
Let q be (-2)/(-8) + 26/(-104). Suppose -k + q*k = -2*b + 10, 0 = 2*k + 2*b - 4. Is ((-17)/k)/(15/90) a multiple of 12?
False
Let u(o) = 25*o**2 - o + 16. Let a(c) = -12*c**2 - 8. Let m(y) = -7*a(y) - 3*u(y). Let n = -1277 + 1274. Does 40 divide m(n)?
True
Let x(w) = 318 + 305 - 1223 + 306 + 5*w + 317. Suppose 0 = 3*m - 4*g + 5, -g - 20 = -5*m - 0*g. Does 12 divide x(m)?
True
Let g be ((-6)/(-1))/(3/6). Suppose 4*s = g, 3*f - 6*s + s - 198 = 0. Suppose 5*d = -2*k + 39, 3*k = -3*d - 2*d + f. Does 16 divide k?
True
Let y(b) be the third derivative of b**5/60 - 7*b**4/12 - b**3/6 - b**2. Let j be y(7). Let r = 176 + j. Is r a multiple of 20?
False
Suppose -24675 = -3*u + 5*a + 9444, -5*a = 30. Does 76 divide u?
False
Let f(n) = n**2 + 635 + 6*n - 318 - 296. Does 16 divide f(13)?
False
Is 40 a factor of 1 + 3508 + (207 - 196)?
True
Let p = -5511 - -7968. Is p a multiple of 117?
True
Let j = -7002 - -8718. Does 156 divide j?
True
Let c be (-19)/(-38)*3*2. Suppose 0 = 4*l - 4*g, -10 = 5*l - c*l - 4*g. Suppose 0 = s - n + 4*n - 282, l*n - 10 = 0. Is 23 a factor of s?
True
Let z be 2 + (-8)/124 - 8/(-124). Let r(g) = -88*g - 29. Let y(b) = -132*b - 44. Let j(c) = -8*r(c) + 5*y(c). Is j(z) a multiple of 22?
False
Suppose -a + 4 = 0, 0 + 4 = -3*v + a. Suppose 2*m = -v*m - 4*x + 104, -3*m = -4*x - 106. Does 7 divide m?
True
Let s(i) = -436 + 8*i**2 + 412 - 20*i + 8*i. Is s(10) a multiple of 14?
False
Suppose 1289 - 407 = 9*o. Suppose -o*l + 96*l = -516. Does 12 divide l?
False
Let w(s) = -2*s + 2. Let l(j) = j**3 + 30*j**2 + 10*j - 1. Let p(h) = l(h) + 3*w(h). Is 55 a factor of p(-9)?
False
Suppose 0 = 3*h - 3*p + 21, 3*h - h - 4*p + 18 = 0. Let w(y) = y**3 + 5*y**2 - 10*y + 5. Does 11 divide w(h)?
True
Let r(c) = -c**2 + 8*c - 19. Let k be r(11). Let t = k + 120. Let m = -38 + t. Is 30 a factor of m?
True
Let k = 192 - -1104. Does 2 divide k?
True
Suppose -6*g - 12*g = -47520. Suppose 8*p = -0*p + g. Does 15 divide p?
True
Let s(b) = -b**3 - 6*b**2. Let a be s(-6). Suppose a*j + 45 = -5*j + 5*h, -3*j + 4*h = 27. Let q = 13 - j. Is q a multiple of 3?
False
Let t(