 Let n = f + -403. Is n even?
True
Let p be (-9)/((-27)/6) - (11 - 11). Suppose -d + p*q - 436 = -6*d, 2*d - q = 169. Does 2 divide d?
True
Let s be (4/5)/(-4 - (-287)/70). Suppose -3*r + 190 + 227 = 0. Suppose 237 = s*x - r. Is 14 a factor of x?
False
Let u be 0/(-2) + (-24 - -23). Is 11 a factor of (-1 + -544)/(-5) - u?
True
Let g(o) = 70*o - 17. Let y be g(1). Suppose -4*l = -123 - y. Is l a multiple of 22?
True
Let r = 1166 + -468. Is -4 - (-2 + 3 - r) a multiple of 10?
False
Let f = -6 + 34. Suppose 5*m = -8 + f. Suppose o = -3*z - 3*o + 41, 4*z = -m*o + 48. Is z a multiple of 2?
False
Let y be 12/(-6) - (-2 - 2994/6). Suppose 1481 = 5*a - 4*m + y, -2*a + 373 = 5*m. Is a a multiple of 58?
False
Suppose 177*p + 4290 = 179*p. Suppose -8*h = -3*h - p. Let l = -129 + h. Is l a multiple of 25?
True
Let j(v) be the third derivative of -v**6/120 + v**5/4 + 11*v**4/24 - 10*v**3/3 - v**2 - 35*v. Does 33 divide j(14)?
True
Suppose -4*x + 5*x = 2. Let g be 23 - (4 - (x + 6)). Suppose g - 3 = 2*u. Is 9 a factor of u?
False
Let i be (-36 - -1)*(3 - (-112)/(-35)). Let j(z) = z + 1. Let w be j(-4). Is i*(w - 0)*(-48)/56 a multiple of 9?
True
Let g(l) = 2*l**3 - 4*l**2 + 21*l - 10. Does 57 divide g(9)?
False
Is 12 a factor of -6 - ((-2 - -1)/((-21)/105) - 2399)?
True
Let k(n) = 601*n**3 + 4*n**2 - 9*n + 12. Does 55 divide k(2)?
False
Let g(w) = -91*w - 139. Let x(s) = -21*s + 73. Let c be x(4). Is g(c) a multiple of 15?
False
Let o be ((-48)/18)/(2/(-6)). Suppose 0*l = o*l. Suppose d - 4*n - 31 = l, 3*d + 5*n - 180 = -2*d. Is 7 a factor of d?
True
Let t(c) = -65*c**2 + 4*c. Let f be t(-1). Let y = f - -442. Is 43 a factor of y?
False
Let t be (-1 + (-6 - -7))/2. Suppose t = -4*m - 4*k + 1828, 0 = m + 5*k + 61 - 522. Does 20 divide m?
False
Let n be 2/(-5) - 384/(-10) - 3. Suppose -n - 475 = -2*s. Does 11 divide (-2)/17 + 4620/s?
False
Let w(u) = u**2 - 4*u - 6. Let h be w(6). Let n(q) = -q**2 + 8*q - 9. Let c be n(h). Suppose 3*l - 98 = -4*x, -c*x = -2*x - l - 28. Is 16 a factor of x?
False
Suppose -54*f = -46*f - 1152. Let s be 6 - (0 + 0 - 2). Suppose -f = s*b - 16*b. Is 6 a factor of b?
True
Let l = -88 + 90. Let v be ((-72)/20 + 3)/(l/(-20)). Suppose r + v*a - 123 = a, -2*r = -a - 235. Does 24 divide r?
False
Let m(v) = -v + 20. Let x be m(-10). Let t = 77 - x. Suppose -5*f - 328 = -4*c, -f + t = 5*c - 334. Is 31 a factor of c?
False
Let c = 4381 - -6215. Does 6 divide c?
True
Suppose -11*i - 22507 = -17*i - j, -5*i + 4*j + 18751 = 0. Is 32 a factor of i?
False
Suppose 0 = 27*j - 94*j + 1114344. Does 108 divide j?
True
Suppose -q = 7*q - 2616. Suppose -4*p + q + 853 = 0. Does 59 divide p?
True
Let t be (-3)/2 + 364/8. Suppose -359 = -7*o - t. Suppose 3*j + o = g + 2, -3*j = -4*g + 190. Is 3 a factor of g?
False
Suppose n - 802 = 3*n. Let h = 706 + n. Is 61 a factor of h?
True
Does 120 divide 5055 + -8 + 4 + (-13 - -2)?
True
Suppose -17257 - 451 = -4*v - 5*n, 17672 = 4*v - 4*n. Does 5 divide v?
False
Suppose 371*v - 10777178 + 9142578 = 10713393. Is v a multiple of 32?
False
Let q(v) = v**3 + v**2 - 4*v + 14. Suppose 3*k - 44 = -23. Does 18 divide q(k)?
True
Suppose -2 = -h, 2*h = -z + 19566 + 19618. Is 12 a factor of z?
True
Suppose -3*b + 3*i = -6, -b - 5*i = -i + 8. Suppose b = 10*l - 31*l + 4872. Does 4 divide l?
True
Suppose 0 = 4*q - 2705 + 613. Is 25 a factor of q?
False
Suppose -22033 = -15*u - 20*u + 24*u. Does 58 divide u?
False
Suppose 3*s + 2*s - 3*p - 4548 = 0, -2*p = -8. Is 12 a factor of s?
True
Let z(i) = i**2 - 2*i + 2. Let y be z(0). Suppose y*v = -v + 387. Does 43 divide v?
True
Suppose 5*c = -4*j - 12613 + 59032, -3*j + 5*c + 34823 = 0. Does 7 divide j?
True
Suppose 175 = v - 5*t - 194, -2284 = -6*v - 5*t. Is v a multiple of 5?
False
Let y = 637 + -633. Let j(t) = -8*t - 4 + 32*t + 10*t. Is j(y) a multiple of 33?
True
Does 6 divide -8 - -963 - 14 - -13?
True
Suppose -3*m - 12 = -5*m - z, -2*z = -m - 4. Suppose 1419 = 4*l + m*t - 961, 2 = 2*t. Is l a multiple of 11?
True
Let a = 38672 - 36323. Does 6 divide a?
False
Let o be -4 + (-222)/(-36) + 2/(-12). Let y(s) = -s**2 + 18*s + 19*s + 3 - 24*s + o*s. Does 38 divide y(7)?
False
Let g be 3*2/(-6)*3. Let m be g/(-15) - (-16)/(-5). Is 8/(-3)*6*m/4 a multiple of 4?
True
Let c(l) = 40*l**2 + 90*l + 496. Is 6 a factor of c(-6)?
False
Let h(z) = -66*z**3 + 4*z + 15. Let s be h(-3). Suppose 0 = -5*g - 12*g + s. Is g a multiple of 15?
True
Let r = -12228 - -26105. Is r a multiple of 13?
False
Let a be 8*((-90)/(-8) - 6). Suppose a + 180 = 6*j. Is j a multiple of 4?
False
Suppose -u - 216 + 204 = 0. Is 34 a factor of 442 - (-7)/(-14)*u?
False
Let v(r) be the second derivative of -20*r**3/3 - 15*r**2 + r. Does 10 divide v(-7)?
True
Let a(r) = -r**3 - 4*r**2 + 4*r + 2. Let y be a(-5). Let p(h) = -y*h**2 + 10 + 2*h**2 - 28*h - h**3 - 4*h**2 + 30*h. Does 30 divide p(-10)?
True
Let s(o) = -57*o + 2. Let m be s(0). Suppose -f = 2*h - 464, 5*h - 2*h + 900 = m*f. Does 6 divide f?
True
Let v(s) = 15 + 7*s**2 + 19 + s**3 - 4 + 11*s. Let q be v(-6). Suppose q = -9*z + 4*z + 605. Is 10 a factor of z?
False
Let t(i) = -i**3 - 42*i**2 + 24*i - 63. Is t(-45) a multiple of 36?
True
Let h = -42317 + 62396. Does 207 divide h?
True
Is (240/50 + -5 + 15782/5)*5 a multiple of 99?
False
Let i = 7878 + -4347. Is i a multiple of 39?
False
Suppose 0 = 4*q, 4*y + 3*q + 24 = -72. Let r = 14 - y. Suppose -7*o + r + 144 = 0. Does 20 divide o?
False
Suppose -10*s + 16*s = -48. Let g(u) = -u + 5. Is 2 a factor of g(s)?
False
Let n be 7/(7/5)*1. Suppose l = n*d - 14, -2*l + 3*l + 18 = d. Let y(a) = -a + 27. Is 23 a factor of y(l)?
True
Let h(k) = -16*k - 163. Let j be h(-10). Is 49 a factor of 525 - -9 - (2 + (j - 4))?
True
Let u = 13168 - 12660. Let f = 302 - 635. Let d = f + u. Is 25 a factor of d?
True
Let b(n) = -n**3 - 21*n**2 + 22*n + 7. Let r be b(-22). Suppose 1023 = r*v - 300. Is 7 a factor of v?
True
Let f(n) = 11*n**2 + n**3 - 24 + n**2 + 14*n - 2*n**3 + 6*n**2. Let l be f(18). Let w = l + -44. Does 26 divide w?
False
Suppose 5*s - 5*b - 1045 = 4*s, -2*b + 3169 = 3*s. Let n = -544 + s. Is n a multiple of 35?
False
Let w = 156565 - 73485. Is 248 a factor of w?
True
Let m be (-3 + 0)*16/(-12). Suppose -3*x - 2*x + 4*b + 40 = 0, 0 = 4*x + 4*b + m. Let r(p) = -p**3 + 6*p**2 - p - 4. Is 24 a factor of r(x)?
True
Let f = -29 - -77. Let a = f + -3. Is 9 a factor of a?
True
Suppose 0 = -10*v + 249 + 641. Let m = 524 - v. Does 25 divide m?
False
Let n(z) = -68 + 18 - 23*z + 35. Does 8 divide n(-5)?
False
Let t(g) = -68*g**2 + g + 1. Let a be t(-1). Let r = a + 117. Let i = r + 6. Is i a multiple of 11?
True
Let o be (1 - -2)*1540/330. Suppose -3*j - 3*h + 1554 = 0, -o*j - 5*h + 2068 = -10*j. Is 25 a factor of j?
False
Let i = -2221 - -3863. Is 5 a factor of i?
False
Let i(n) = -19*n - 7. Let d(z) = -9*z - 4. Let o(g) = -13*d(g) + 6*i(g). Let p(l) = -131*l - 651. Let t be p(-5). Is o(t) a multiple of 6?
False
Suppose a + 512 = -4*x - 3*a, -2 = a. Let n = -108 - x. Does 3 divide n?
True
Let q(g) = 453*g**2 - 150*g - 133. Does 5 divide q(-6)?
True
Let g(v) = -584*v + 13222. Is 10 a factor of g(-67)?
True
Suppose -u + 6*u - 4*u = 0. Suppose 3*t - 2*p = -u*t + 1, 19 = 5*t + p. Suppose b + 90 = t*s, -b = b. Is s a multiple of 30?
True
Let g(p) = 138*p**2 + 6*p + 3. Let q be g(-2). Suppose 2*a + 2 = 0, -5*o + 4*a + q = -1081. Is 36 a factor of o?
True
Let f(n) = 2148*n + 145. Let a be f(-5). Is 46 a factor of 11 + a/(-39) - (-4)/(-6)?
False
Suppose 2*m + 3*m - 510 = 0. Suppose -55*q = -74*q + 855. Let y = m - q. Does 19 divide y?
True
Suppose -6498 = 295*d - 297*d + t, 4*t - 16219 = -5*d. Is d a multiple of 17?
True
Let m(a) = a**2 - 17*a - 1658. Is m(70) a multiple of 18?
True
Suppose -5*j - 5*q + 6*q + 12002 = 0, 6*q - 7188 = -3*j. Does 25 divide j?
True
Let s(j) = -52*j**2 + 20*j - 22 + 74*j**2 + 69*j**2. Is s(1) a multiple of 11?
False
Suppose -11*y - 5 = -6*y. Let q be y/(-2)*-193 + (-8)/(-16). Let t = -46 - q. Is 10 a factor of t?
True
Let i be ((-60)/(-7))/((-51)/1071). Is (420/i)/(1/(-216)) a multiple of 28?
True
Suppose 4*h + 12 = 0, -4*p + 7*h = 4*h - 21. Suppose 0 = -2*y - z - 0*z + 8, 2*y + p*z - 12 = 0. Suppose y*c - 95 = 22. Is 13 a factor of c?
True
Let l = 1583 + 406. Does 21 divide l?
False
Does 12 divide 6