c + 276, -7*c + o - 273 = -9*c. Does 5 divide c?
True
Let g = 15 - 10. Let u(f) = -f**2 + 8*f - 6. Let p be u(g). Suppose p*v = 4*v + 45. Is 9 a factor of v?
True
Let z(p) = -p**2 + 3*p - 1. Suppose i = -2*i + 9. Let q be z(i). Is 15 a factor of ((0 - 1) + q)*-15?
True
Suppose 2*q = -5*w + 6*q + 4434, 2666 = 3*w - q. Is w a multiple of 15?
False
Let b = 195 + -43. Is b a multiple of 8?
True
Let s(b) = -b**2 + 14*b + 32. Let h be s(16). Suppose -4*n - n - 65 = -v, 2*v - 4*n - 100 = h. Is 10 a factor of v?
True
Let j(v) = 0*v + 0*v - v**2 + 13*v - 11 + 2*v. Is 9 a factor of j(11)?
False
Suppose -89*m = -47*m - 70560. Does 24 divide m?
True
Let o(y) be the third derivative of y**5/60 - y**4/8 + y**3 - 5*y**2. Is o(-3) a multiple of 5?
False
Suppose 31829 = 15*r - 3361. Is r a multiple of 69?
True
Let p be -1*(0 + 1) + (-2)/(-2). Suppose -4*q = p, -q + 32 = 5*k - 23. Does 3 divide k?
False
Suppose -1376*k = -1367*k - 12312. Is 8 a factor of k?
True
Let m(j) = 15*j + 1. Let c be (30/(-12) - -3) + (-1)/(-2). Does 3 divide m(c)?
False
Let r = 14 - 13. Suppose -s - r + 4 = 0. Suppose -s*t + 163 = -5*n, t + 3*n = 31 + 14. Does 17 divide t?
True
Let u(r) = -r - 2. Let x be u(-7). Let p be ((-20)/8 - -3)*0. Suppose p*s - 40 = -x*s. Does 4 divide s?
True
Suppose 2*j - 23 + 3 = 0. Is (-4886)/(-35) - (-1 + 6/j) a multiple of 19?
False
Let b = -45 + 25. Let l = -16 - b. Is l a multiple of 2?
True
Let m = 61 - 43. Suppose 4*x - 24 = 6*r - 3*r, 2*x - 3*r = m. Suppose -x*y + 32 = -y. Does 5 divide y?
False
Suppose 4*t - 4*x = t + 726, 0 = 3*t - 2*x - 726. Does 22 divide t?
True
Suppose 6358 + 7796 = 7*v. Is v a multiple of 14?
False
Suppose -52*c = -57*c + 3545. Is 79 a factor of c?
False
Suppose -i - 3*i - 16 = -4*v, -3*i - 4*v = -23. Let z be i*-2 - (-9 + 5). Suppose 16 - 82 = -z*d. Is 6 a factor of d?
False
Let b = -38 + 60. Suppose 0 = -v - b + 20. Is (14/21)/(v/(-42)) a multiple of 7?
True
Suppose 0 = -2*n + 5*n - 4*x - 24, 16 = 2*n + 2*x. Suppose -q - 4*z = -18, -2*q - z + n = -0*z. Is (39 - q)/((-1)/(-3)) a multiple of 23?
False
Let b(g) = 8*g**3 - 14*g**2 + 14*g + 1. Let u(m) = 4*m**3 - 7*m**2 + 7*m. Let v(j) = -3*b(j) + 7*u(j). Does 7 divide v(2)?
False
Suppose -3*y + 240 = -78. Let n = y - -34. Is n a multiple of 35?
True
Let l = 17 + -14. Suppose l*d + 4*a + 80 = 0, -d + a = -0*d + 15. Does 6 divide 31 + d/4 + 2?
False
Suppose -3*g = -3*j + g + 2390, -2*j - 5*g + 1601 = 0. Is j a multiple of 18?
False
Let b be -15 - (0 - (-6 + 3)). Suppose 8*a - 6*a = 108. Let s = a + b. Is 19 a factor of s?
False
Let m(j) = -2*j**3 - 52*j**2 - 8*j. Is m(-26) a multiple of 18?
False
Suppose 544 = 11*w - 2492. Is w a multiple of 12?
True
Let d = 2722 - 478. Does 68 divide d?
True
Is (-8)/(1 + 1) + (-22 - -503) a multiple of 37?
False
Let r = -45 + 63. Suppose -r = q + 1. Let k = q - -30. Is 4 a factor of k?
False
Suppose 3*x + 1375 = 13*f - 12*f, 0 = -3*f - 4*x + 4086. Does 16 divide f?
False
Let z be (24/(-18))/(3/108). Let f = z + 88. Is f a multiple of 8?
True
Let l(z) = z. Let n(c) = 10*c - 6. Let m(v) = -3*l(v) + n(v). Is m(7) a multiple of 22?
False
Suppose 0 = r - 5*s - 308, 1432 = 5*r + s - 212. Is r a multiple of 41?
True
Let h(n) be the third derivative of n**5/60 + n**4/6 - n**3/2 - 2*n**2. Suppose 0*g = -4*g + 28. Does 22 divide h(g)?
False
Let v = 269 - 99. Is v a multiple of 17?
True
Suppose g - q = -0*g + 31, 3*g - 133 = -5*q. Let v be 3/(-4) - 81/g. Is 24 a factor of ((-2)/v)/((-1)/(-87))?
False
Let y = -39 - -386. Does 27 divide y?
False
Let s(t) = 3*t**2 + 8*t - 6. Let g be s(5). Let p = 296 + -227. Let c = g - p. Does 10 divide c?
True
Suppose 0 = -4*g + 264 + 160. Suppose 10 = -3*h + g. Is 5 a factor of h?
False
Let p = 5 - 3. Suppose 4*j = -3*u - 30, -21 = p*u + 3*u - 3*j. Is -1 + u/(-9)*12 a multiple of 5?
False
Let y(i) = 132*i - 193. Is 59 a factor of y(6)?
False
Suppose 0 = -5*t + 6*t. Suppose -3*m - 195 = -t*m. Let w = -33 - m. Does 30 divide w?
False
Let t(g) = g**3 + 3*g**2 - g + 9. Let n be t(-4). Does 20 divide 1/n*1*(1 - 118)?
False
Let n be 1/(0 + (-3)/(-423)). Suppose -x - 6*m + m + 157 = 0, m = -x + n. Is 27 a factor of x?
False
Let k be 1/(-2) + (-8)/16. Let j be (-2 - -17)/(0 - k). Suppose -j = 4*g - 43. Is 7 a factor of g?
True
Let n be 3/12 - (-1350)/(-24). Is 37 a factor of (n/16)/(-3 + (-483)/(-162))?
False
Let f(k) = 12*k - 36. Let r be f(4). Let x = r - -3. Does 2 divide x?
False
Suppose 6*i - 9*i + 3633 = -5*w, -3*w + 4873 = 4*i. Is 16 a factor of i?
True
Suppose 4*x = -3*q + 2781, 3*x = -2*q - 946 + 2799. Is q a multiple of 133?
True
Let s be (1 - 1)/(-14 + 11). Suppose 3*k = -t + 603 - 86, -t - 5 = s. Is k a multiple of 29?
True
Let m(v) = -16*v + 12*v + 5 + 5. Let s be 2 - 3 - (2 + 2). Is 15 a factor of m(s)?
True
Suppose -5*l + 19 = -l - d, l - 3*d - 2 = 0. Does 12 divide 9/(-6)*l/((-5)/32)?
True
Suppose -4*x - a + 1770 = 0, -5*x - 245 = 4*a - 2463. Is x a multiple of 13?
True
Let p(y) = y + 17. Let x be p(0). Suppose -3*g + x + 1 = 0. Is 9 a factor of (-1)/3 - (-164)/g?
True
Let c = -201 + 14. Let q = c - -273. Is 15 a factor of q?
False
Suppose 5*c + 3*m = 1, c + 10 - 3 = -3*m. Let r(s) = 13*s + 1. Does 4 divide r(c)?
False
Let j(u) = 38*u + 2. Let b be j(21). Suppose -8*o - b = -13*o. Is 8 a factor of o?
True
Is 27 a factor of 117/(-52)*(-1168)/6?
False
Let m(l) = 5*l**3 + 3*l**2 - 11*l + 224. Let a(j) = 3*j**3 + 2*j**2 - 7*j + 149. Let k(g) = 8*a(g) - 5*m(g). Is 23 a factor of k(0)?
False
Let j be 10 + 0/(-1) + 3. Let i(b) = 2*b**3 + j*b**2 + 3*b - 3 - b**3 - 6*b**2. Does 7 divide i(-6)?
False
Let b(m) = -2*m**2 - 14*m - 9. Let k be b(-6). Suppose k*g - 160 - 344 = 0. Is 12 a factor of g?
True
Let x(n) = 41*n**2 - 5*n + 4. Does 27 divide x(-2)?
False
Let f = -141 + 371. Is f a multiple of 72?
False
Suppose -3*y + 173 = 4*o + o, -5*o + 71 = y. Is y a multiple of 17?
True
Let j = -4378 + 7051. Does 27 divide j?
True
Suppose -6*w + 12 + 1590 = 0. Suppose -w = -3*p - 0*p. Does 16 divide p?
False
Let r(p) be the third derivative of -p**6/120 - p**5/20 - p**4/12 + p**3/2 + 7*p**2. Suppose 4*b - 5*b = 4. Does 9 divide r(b)?
True
Let q(o) = 28*o - 5. Let n be q(3). Suppose 2*b + 75 = -n. Let p = 109 + b. Is p a multiple of 8?
True
Let d(i) = -i**2 + 6*i - 6. Let h be d(-7). Let b = h - -168. Does 5 divide b?
False
Suppose 3*j + 2*m + 1897 = 666, 0 = -j + 5*m - 382. Let f = j - -587. Is 18 a factor of f?
True
Let a(j) = -j**3 - j**2 + 4*j + 1735. Let t be a(0). Suppose -10*b + t = -5*b. Is 39 a factor of b?
False
Suppose -2*t - 4*z + 6*z = -132, -3*t = 3*z - 174. Is 6 a factor of t?
False
Let s(f) = -3*f + 8 - 2 - 2*f + 4*f. Let w be s(2). Suppose 4*g = 4*c - 20, 2 = -3*g + w*g. Does 2 divide c?
False
Suppose 13*u - 237 = -3331. Suppose 0*c + 8 = -4*c. Does 10 divide u/(-8) + c/(-8)?
True
Suppose 0 = -h + 3*h, 566 = -a + h. Is 3/12 - a/8 a multiple of 9?
False
Let b(z) = 15*z**2 + 10*z + 2. Let d be b(-7). Let s = d - 469. Is s a multiple of 32?
False
Let b = 18 - 23. Let n = -2 - b. Suppose 0 = -4*h - n*p + 83, -5*h + 0*p + 70 = -3*p. Is h a multiple of 17?
True
Suppose 5*p = -0*z - 3*z + 797, -5*z = -4*p - 1353. Is 29 a factor of z?
False
Let f(c) = c**3 - 6*c**2 + 3*c + 6. Let u be f(5). Let n be (0/((-12)/u))/(-2). Suppose -4*q + 0*j - j + 96 = n, 0 = -2*q + 2*j + 48. Is q a multiple of 8?
True
Let h(n) = -n**3 + 35*n**2 + 42*n - 89. Is h(36) a multiple of 127?
True
Suppose 46*p - 9*p - 2738 = 0. Is 24 a factor of p?
False
Suppose -796*y + 816*y = 36900. Is 41 a factor of y?
True
Suppose 2*b + 5*x + 4 = 0, 5*b - 3*x = 3 + 18. Suppose -b*r + 2*p - 33 = 7*p, 0 = r - 5*p - 9. Let l(z) = -11*z + 7. Is l(r) a multiple of 23?
False
Let c(v) = 9*v - 97. Does 26 divide c(31)?
True
Suppose -2*i = 2*v + 4, -v - 1 = 2*i - 2. Let n(p) = p**2 + 4*p - 3. Let a be n(v). Suppose a*z - 6 = 42. Does 6 divide z?
True
Suppose 0 = -54*n + 15*n + 2184. Is 14 a factor of n?
True
Suppose 0 = w - 5*w + 4. Let n be -5 - (w + 0)/1. Does 14 divide (-330)/(-9) + 4/n?
False
Let c = 158 + -153. Let v = 24 + -11. Let u = v - c. Is 5 a factor of u?
False
Let h(j) = 12*j**2 + 8*j - 4. Is h(-8) a multiple of 70?
True
Suppose 89*o - 74*o = 11445. Is o a multiple of 11?
False
Let x(n) = -n**3 + n**2 - 27*n. Is 13 a factor of x(-8)?
False
Let w(u) be the 