pose 2*a + 203 = 5*k, -y*k = -3*k - 3*a - 202. Suppose 4*z = 2*m - 128, -28 = -m + z + k. Is 26 a factor of m?
False
Suppose 20*l - 195840 = -14*l. Is l a multiple of 18?
True
Does 11 divide 2/7 - (-4480094)/406?
False
Suppose -4*k - 100792 = -4*z, -80*k = 4*z - 82*k - 100792. Does 293 divide z?
True
Let g(w) = 3873*w - 2347. Is g(10) a multiple of 209?
False
Suppose -7611*v - 12495 = -7632*v. Is 9 a factor of v?
False
Let n(v) = -7*v**2 - 167*v. Let b be (-438)/73 + 1 + (-8)/2. Is n(b) a multiple of 13?
True
Let k = 64 - 57. Suppose -1044 - 776 = -k*a. Is 17 a factor of (4/10)/(1/a)?
False
Is (-20 - (-1848)/22)*75 a multiple of 21?
False
Let r(i) = i**3 + i**2 + 1. Let s(n) = -4*n**3 + 4*n**2 - 4*n + 24. Let y(l) = 5*r(l) + s(l). Suppose -95*k = 6*k + 19*k + 960. Is 9 a factor of y(k)?
False
Let z(x) = -2*x**2 - 11*x - 37. Let m be 124/(-24) - 3/(-18). Let q(b) = b**2 + 7*b + 25. Let r(i) = m*z(i) - 8*q(i). Does 30 divide r(6)?
False
Let i(m) = m**3 + 16*m**2 + 15*m + 5. Let u be i(-15). Suppose -s + 219 = -u*o, -s + 213 = -0*s + o. Does 11 divide s?
False
Let f(a) = -32*a - 5. Let q be f(4). Let j = 242 + q. Suppose j = 4*t - 163. Is 17 a factor of t?
True
Does 45 divide (515823/143 - 4/26) + (-24 - -17)?
True
Let i(h) = -40*h - 198. Let q(v) = -v**2 - 14*v + 9. Let r be q(-15). Does 7 divide i(r)?
True
Suppose 0 = -u - 15*u + 608. Let p = 401 - u. Is p a multiple of 33?
True
Let i(o) = o**3 + 26*o**2 - 25*o + 64. Let b be i(-27). Let z(j) = -j**3 + 10*j**2 + 14*j - 12. Is z(b) a multiple of 8?
True
Let y(x) be the first derivative of -3*x**2 - 7*x - 1. Suppose 11*m + 146 + 74 = 0. Is 18 a factor of y(m)?
False
Suppose 11*z - 3*d - 573 = 8*z, 3*z - d - 577 = 0. Does 7 divide z?
False
Let t(v) = 9*v - 10. Suppose 3*m = -0*d - 2*d + 14, -9 = -3*m + 3*d. Let f be t(m). Suppose 30 = 2*k - f. Is 2 a factor of k?
True
Let d(a) be the second derivative of a**5/20 + 7*a**4/12 - 3*a**3/2 + a**2 - 4*a. Let k be d(-8). Let i(y) = 10*y + 8. Is i(k) a multiple of 13?
False
Let s(c) = 575*c - 685. Does 47 divide s(11)?
True
Let m(u) = -4*u - 61. Let o be m(-4). Is 62 a factor of ((-18)/(-10))/(o/(-3750))?
False
Let f(g) = -10*g - 6*g**2 + g**2 + 14 - 2*g**3 + g**3. Let j = 330 - 336. Does 12 divide f(j)?
False
Suppose -i + 13648 = 10*r, i + 6*r = 7*r + 13604. Is 63 a factor of i?
True
Let i(v) = 202*v**2 - 14*v + 40. Is 20 a factor of i(5)?
True
Let c be ((-15)/(-9))/((-10)/(-3) + -3). Suppose 499 = -c*m + 1639. Is m a multiple of 19?
True
Let m(r) = 7*r**2 + 17*r + 3237. Is 9 a factor of m(69)?
True
Suppose 0 = 4*q + 14 + 118. Let n = q + 83. Is n a multiple of 10?
True
Suppose -44 = a - 47. Suppose 4*q + q = a*m + 579, 5*m - 327 = -3*q. Does 57 divide q?
True
Is 12315336/1056 + (-7)/(-4) a multiple of 72?
True
Let r(n) = -n**3 - 3*n**2 + 15*n + 13. Let f be r(-5). Does 11 divide 4/(-2)*(-3)/f*-2162?
False
Is 50 a factor of (-42515)/100*-4 + 21/(-35)?
True
Let i(m) = 32*m + 17*m - 107*m + m**2 + 47*m + 35*m - 28. Let s(o) = o**2 - 12*o + 9. Let b be s(7). Is 24 a factor of i(b)?
True
Is (1/3)/((-2)/(-61554)) - 273/(-273) a multiple of 19?
True
Does 109 divide -6 - (1542/(2 + 0))/((-1044)/22272)?
False
Let l = 16740 + -3939. Is 18 a factor of l?
False
Does 3 divide -2*(-4 - 50162/28)?
True
Suppose 2*i - t = -i + 6287, -2*t + 8356 = 4*i. Is i a multiple of 13?
True
Is 13 a factor of 7/((-28)/(-27210))*4/6*1?
False
Let n = 73970 + -41034. Is n a multiple of 179?
True
Let f be (-74)/9 - 16/(-72). Let b be f/(-2)*15/30. Suppose 16 = m - 3*a, b*m - 3*m + a = -12. Is m a multiple of 5?
True
Let x(i) = 25*i + 0*i**2 - i**2 - 2 - 48*i. Let t be x(-17). Suppose 0 = 2*c - p - 52, -p = -8*c + 4*c + t. Is c a multiple of 8?
True
Let w be ((-240)/32)/(3/(-2)). Suppose -2*l + 10 = 0, -l + w = -3*h - 0*l. Suppose h = -0*i - 6*i + 720. Is 10 a factor of i?
True
Let m(y) = 1080*y - 25. Let q be m(2). Suppose -26*v = 9*v - q. Is 2 a factor of v?
False
Let m(t) = t**3 + 109*t**2 - 7*t + 236. Is 27 a factor of m(-109)?
True
Let b be (1228/(-7))/((-106)/371). Suppose 0 = -9*v - b + 2756. Is v a multiple of 58?
False
Suppose -3*r + 2 = -2*r. Suppose -5*d = -5*h - 0*h + 255, r*d + 127 = -3*h. Is 8 a factor of d/(0 - (1 + 1))?
False
Let u be 44 + (-2)/(0 + 3 + -5). Suppose -6*t = -3*t - 4*y - 55, -t - 4*y + u = 0. Suppose t - 115 = -5*s. Is 16 a factor of s?
False
Let q = 7567 - 4945. Is q a multiple of 6?
True
Let q(k) = 26 - 60 + 17*k + 23. Let s(o) = 18*o - 12. Let l(j) = 7*q(j) - 6*s(j). Is 10 a factor of l(5)?
True
Suppose 54 = -3*n + 2*x, 3*n = 6*n + 3*x + 69. Let d(u) be the third derivative of -u**4/6 - 34*u**3/3 + 6*u**2. Does 5 divide d(n)?
False
Let r(n) = 5*n**3 - 12*n**2 + 12*n - 6. Let p be r(6). Suppose -57*c + 40*c + p = 0. Is 6 a factor of c?
True
Let f be (2/3)/(2/(-3)). Does 49 divide ((-28)/10)/(f/115)?
False
Suppose -110519 = 1247*c - 1284*c. Is c a multiple of 64?
False
Suppose -3*t = 5*h - 8, 2*h - 5 = t + 7. Let z be (176/(-40) - t) + (-262)/(-5). Suppose 0 - z = -4*y. Does 11 divide y?
False
Let b = 48196 - 28504. Is 18 a factor of b?
True
Let q be (3/2)/(111/(-592)). Does 17 divide (5 + q)*(2 - 1) - -996?
False
Let q(a) = -a**2 - 16*a + 25. Let v be q(-16). Suppose 2*y - 7*y = -v. Is 2 - -3*y/3 a multiple of 2?
False
Let y(v) = v**3 - 28*v**2 + 62*v - 179. Does 5 divide y(28)?
False
Suppose 5*k - 72 = -87. Is (-18)/k - (-853 + -13) a multiple of 24?
False
Suppose -14*x + 353 = 14*x - 1103. Is 26 a factor of x?
True
Suppose -5*q = -8*q + 15. Suppose -4 = -q*a + 26. Suppose -a*l - 9*l = -165. Is l a multiple of 3?
False
Suppose 4*p = 3*j - 1, -5*p + j - 11 = -p. Let g(w) = w + 6. Let c be g(p). Suppose -r = 4*f - 203, f - 11 = -c*r + 31. Is 20 a factor of f?
False
Let k = -1294 + 2978. Does 44 divide k?
False
Let n be (-273)/(-65) + 1/(-5) - -810. Let q = n + -243. Is 22 a factor of q?
False
Is (1 + -3215)*(4 - 5) a multiple of 20?
False
Let t(x) = -x + 26. Let g be t(13). Suppose -g*u = -10*u - 438. Does 4 divide u?
False
Let p(d) = 20*d - 393. Let a be p(20). Suppose 3*r = -5*u + 303, 3*u = a*r - 5*r - 183. Is r a multiple of 12?
True
Let g(n) = -74*n**3 + n**2 + 6*n + 10. Let p(k) = -k**3 - 13*k**2 - 21*k + 9. Let q be p(-11). Does 27 divide g(q)?
True
Let h = -13058 - -18363. Is h a multiple of 69?
False
Let n be ((-129)/86)/(-1*(-2)/372). Let f be ((-8)/(-12))/((-6)/n). Suppose f*s + 227 = 32*s. Is s a multiple of 51?
False
Suppose 2*q + r = -0*q + 5786, 2898 = q - 2*r. Suppose 3*h = -4*m + 1161, -5*h - 4*m = -q + 959. Does 15 divide h?
False
Suppose 0 = -2*j - 2*j + 776. Suppose 4*b - 2*g = 1042, 3*b - 4*g - 595 = j. Is 25 a factor of b?
False
Let h be (-39)/26*20/(-6). Suppose -h*y = -2*r - 25, -3*r + 17 = y - r. Does 26 divide -10*78/(-2)*y/21?
True
Suppose 24144 = 4*u + 4*i, -7*u + i + 30174 = -2*u. Suppose 9*n + 1589 = u. Is n a multiple of 13?
True
Suppose 0*p - 174 = 29*p. Is 17325/24 + 4/32 - p a multiple of 52?
True
Let i(r) = 4*r**2 + 5*r + 5. Let j be i(-1). Suppose 0 = -4*v + j, -5*v - 95 = -5*a - 0*a. Is 4 a factor of a?
True
Suppose -3*s + 109348 = -m, -2487*s + 2485*s - 5*m + 72927 = 0. Is s a multiple of 223?
False
Suppose -53 = -t - 33. Let z = 44 + t. Is z a multiple of 32?
True
Let u be 308/(7/1) - -7. Suppose 0 = 3*f - 24 - u. Does 2 divide f?
False
Let r = 6076 - 5756. Is r a multiple of 40?
True
Suppose -4*x + 15443 = -2*y - 17045, -y - 8122 = -x. Is x a multiple of 31?
True
Suppose 173*q - 45268 = 414393. Does 34 divide q?
False
Let q = 19184 + -12746. Is 5 a factor of q?
False
Suppose 0 = 463*l + 82*l - 1181954 - 9479881. Is l a multiple of 28?
False
Suppose 6*n - n + 0*l - 6650 = 3*l, 0 = 5*l. Is n a multiple of 2?
True
Let t(n) = -n**2 - 16*n + 1. Let v be t(-11). Suppose l = -l + v. Suppose -31*d = -l*d - 108. Is d a multiple of 19?
False
Let q = 3514 - 458. Does 16 divide q?
True
Suppose -2*t - 7 = -4*a - 49, -70 = -5*t + 3*a. Suppose 5*n + 4*u + 6 = 0, 3*u - 9 = -5*n - t. Let h(r) = 21*r**2 + r - 6. Is 16 a factor of h(n)?
True
Suppose -5*j = -7*g + 6*g, 2*g = 0. Suppose 4 = -x, 5*n + 3*x - 383 - 45 = j. Is n a multiple of 8?
True
Suppose -4*p + 900 = p. Let t = 694 + -688. Suppose -t*m = -10*m + p. Is m a multiple of 15?
True
Suppose -209 + 2 = -9*h. Let v(w) = 2*w**2 - 40*w - 2. Is v(h) a multiple of 34?
True
Let b