Let u = -11921 - -25617. Is 11 a factor of u?
False
Suppose 2*r + 250 = z - 380, -5*r = 3*z - 1945. Is z a multiple of 20?
True
Suppose -260*y - 189925 + 1900985 = 0. Is 48 a factor of y?
False
Let q(s) = -286*s + 272. Does 85 divide q(-28)?
False
Let h be -3 + 3 + 1 + 1. Suppose -287 = -h*j - n, 3*n = 7 + 8. Is 12 a factor of j + (3 - 0/(-1))?
True
Suppose 0 = -3*k - k. Let i(w) = -w**2 - 8*w - 12. Let r be i(-5). Suppose -r*z - s + 146 = k, 4*z + 69 = -2*s + 265. Is 16 a factor of z?
True
Suppose 37*v - 36*v - 7 = 0. Suppose 3*w = v*w + 2*g - 48, -3*w + 29 = 5*g. Suppose w*t - 8*t = 75. Does 4 divide t?
False
Suppose -395*b = -383*b - 34932. Let y = 4184 - b. Is 67 a factor of y?
True
Is 15 a factor of ((-422926)/(-28))/(-17)*(-29 + -1)?
True
Let p(d) = 3*d + 13. Let l be p(-3). Is 11 a factor of 12/(-3) + l + 363?
True
Suppose 209*n - 66*n - 127795 = 145907. Is 22 a factor of n?
True
Let p(x) = 2*x**2 + 5*x + 13. Let z be p(-3). Let o = 37 + z. Is 23 a factor of o?
False
Suppose 12*w + 16*w - 13*w = 186480. Is w a multiple of 21?
True
Suppose 388*t - 405*t = -101065. Is t a multiple of 21?
False
Let j(m) = m**3 + 7*m**2 - 9*m - 10. Let i be j(-6). Let c = 77 - i. Is 8 a factor of -2*(-4)/(c/(-9) + 0)?
True
Let w(f) = 12*f + 16. Let c be w(10). Suppose -73 = 3*q - c. Suppose -q*i + 26*i - 455 = 0. Does 10 divide i?
False
Let p(f) = f**3 + 7*f**2 - 8*f - 1. Let h be p(-8). Let o(y) = -66*y**3 - y**2. Let m be o(h). Let v = 142 - m. Is 13 a factor of v?
False
Let g(v) = -7*v + 1. Let n(w) = -5*w - 10 + 4 - w**2 + 4. Let q be n(-6). Is 19 a factor of g(q)?
True
Suppose -4*g = d - 8232, -43*d + 41*d = 4*g - 8232. Is g a multiple of 98?
True
Suppose 6*b = 3*b + 6. Let s = 2 - b. Suppose s = -3*d + 49 + 11. Is 20 a factor of d?
True
Suppose 11*l - 195 = -30. Is 23 a factor of 1471 + (-26)/39*l/2?
False
Suppose b - 64 = -3*b. Let r be 4605/25 - (15 + -6)/45. Suppose -r + b = -7*y. Is y a multiple of 8?
True
Let l = -13304 + 15130. Is 4 a factor of l?
False
Let z(x) = 5*x - 135. Let v be z(31). Suppose -4 = -3*l + 2*l - 4*a, 4*a = -3*l + v. Does 4 divide l?
True
Let p(x) = 4*x**2 + 3*x - 30. Let y be p(-9). Let i = y + -231. Is i a multiple of 12?
True
Suppose -3*x + 3010 + 1092 = 5*c, -8 = -4*c. Suppose 168 = -13*i + x. Is i a multiple of 23?
True
Let n(c) = -16*c**3 + 31*c**2 - 36*c - 7. Let s(m) = -3*m**3 + 6*m**2 - 7*m - 1. Let d(p) = 2*n(p) - 11*s(p). Is 15 a factor of d(5)?
False
Let v(m) = -4*m + 203. Let w be v(47). Suppose 0 = -0*f + 3*f - w, -2*f - 890 = -4*c. Does 9 divide c?
True
Suppose -4*z + 8673 = 5*i + 2008, 2*z = 5*i - 6665. Does 7 divide i?
False
Let p(r) = r**3 + 10*r**2 - 28*r - 14. Let y be p(-12). Suppose -4784 = -y*m + 21*m. Does 16 divide m?
True
Suppose -6*d + 23 = -d + 3*c, -5*d - 4*c = -24. Suppose 4*x + 4*l = 16, 0*x = x - 3*l + d. Suppose -4*s = -20, -x = -3*z - 2*s + 20. Does 2 divide z?
True
Let n(z) = -z**2 - 2*z + 41. Let x be n(5). Suppose 2*s - 3300 = -3*s. Suppose -x*c + 120 + s = 0. Is c a multiple of 10?
True
Let r(d) = d**2 - 1. Let j(a) = a**2 - 11*a + 17. Let w be j(9). Let g be r(w). Suppose g = -h + 27 + 13. Is 10 a factor of h?
True
Suppose 2907199 = 330*r - 269*r. Is 36 a factor of r?
False
Is 4/(11/3190*(-24)/(-9)) a multiple of 3?
True
Let l(f) = 14*f**2 + 5*f + 12. Let n be l(-8). Suppose p - 4*q = 358, 0 = -3*p + q + 173 + n. Is p a multiple of 50?
False
Suppose -20*g - 135 - 25 = 0. Is 40 a factor of 5/(-1) - (g + -1157)?
True
Let g(o) = 4*o - 16 - o**2 - 16*o - 5*o - 14. Let x(v) = -v**2 - 17*v - 30. Let c(s) = -5*g(s) + 6*x(s). Is c(-12) a multiple of 5?
True
Suppose -13*i + 1394 = -5*u - 10*i, -2*u + 4*i - 566 = 0. Let r = 525 + u. Is r a multiple of 8?
True
Is 64 a factor of 7885 + 438 - (4 - 1)?
True
Let p = -742 + 9649. Is 38 a factor of p?
False
Suppose -3*d = -2*h - 2, 0*h = 3*d - 4*h + 8. Suppose 0 = b - d + 1. Is 25 a factor of (-184)/b*(-7)/((-56)/(-12))?
False
Is 206 a factor of (14 + -10)/((-6)/12) + 2 + 20400?
True
Let n(p) be the third derivative of -23*p**4/12 - 9*p**3 + 188*p**2. Does 5 divide n(-6)?
False
Let l(o) = 38*o - 351 + 322 - 8*o. Is 11 a factor of l(5)?
True
Suppose -2004 = 4*i - 4*f, -23*f - 2540 = 5*i - 21*f. Let r = -128 - i. Is r a multiple of 21?
True
Let u be -329 + (20/(-4))/(-5). Let d = 595 + u. Does 14 divide d/3 - 4/(2/2)?
False
Is (-88254)/(-15) - (12 - 248/20) a multiple of 53?
False
Suppose q = i - 152, 4*q = -2*i + 48 + 232. Let y be 6/(132/48 - (-6)/(-8)). Suppose 0 = -y*u + i + 44. Is 19 a factor of u?
False
Let r(h) = -41*h**2 + 401 + 16*h**2 - h + 21*h**2. Does 8 divide r(0)?
False
Let r(b) = -b**3 + 4*b**2 + b - 5. Let w(s) = -4*s - 17. Let t be w(-5). Let c be r(t). Suppose 0 = c*h - 376 - 828. Does 20 divide h?
False
Is 12 a factor of (8 - 7)*(641 + -6)*8/5?
False
Suppose -526*l - 68019 = -533*l. Suppose l + 32567 = 31*j. Is 31 a factor of j?
True
Suppose 6573*w - 113424 = -2*j + 6570*w, -j = -2*w - 56684. Is 27 a factor of j?
True
Suppose -2*q = q - 3*m + 9, 3*q + 4*m - 12 = 0. Is (1762/6 - q) + 48/144 a multiple of 14?
True
Let s(p) = -2*p**2 + 2*p + 1. Let j(k) = -5*k**2 + 9*k + 14. Let g(f) = -j(f) + 2*s(f). Does 18 divide g(-9)?
False
Suppose 12*o - 2 = 11*o. Let b be 6 + 1/((0 + -2)/o). Suppose 187 = -b*w + 547. Is w a multiple of 24?
True
Let z(r) be the second derivative of r**3/6 - 2*r**2 + 3*r. Let t be z(3). Is 3 a factor of (1/2)/(t/(-30))?
True
Let l = 27 - 27. Let d = l + 1. Does 22 divide d/(-2) - 708/(-8)?
True
Let m(r) = -2*r - 8. Let c be m(-6). Suppose 0*x = -x + 5*k - 252, -c*x - 987 = k. Let d = x + 384. Is d a multiple of 21?
False
Let t(m) = -10*m + 2*m**2 + 33*m + 4*m**2 + 113 - 5*m**2. Is 14 a factor of t(-21)?
False
Suppose 0 = z + 2*y - 1710 - 6155, -2*z - 3*y = -15733. Is z a multiple of 49?
False
Let v(a) = -2*a**2 - 176*a + 942. Is 20 a factor of v(-81)?
False
Suppose -12*y - 70*y + 1800864 + 1041256 = 0. Is y a multiple of 10?
True
Suppose s - 590 = 288. Suppose -s = -3*j - 128. Does 5 divide j?
True
Let q = 625 + -146. Let i = q - 316. Is i a multiple of 18?
False
Let l(g) = -1. Let k(p) = -p**2 + 4*p + 21. Let w(y) = k(y) + 6*l(y). Let o be w(7). Let s = 13 + o. Is s even?
False
Let m be (-13)/(-26)*(-34)/(-1). Let u(f) = f**2 + 10*f - 15. Let g be u(8). Let l = g + m. Does 24 divide l?
False
Let u = 5610 - 2191. Does 263 divide u?
True
Let x be 1/3*3 + (28 - 1). Suppose 30*m - x*m = -400. Let v = -83 - m. Does 25 divide v?
False
Let c(y) = 135*y + 51 - 73 + 73. Is c(4) a multiple of 21?
False
Let k = 50 - 47. Is (-19)/((-133)/784) - (1 + k) a multiple of 9?
True
Does 34 divide ((-1984)/6)/(-4) - (-8)/(-12)?
False
Let y(h) = -h**3 + 11*h**2 - 4*h + 44. Let n be y(11). Is 14 a factor of (-1)/2*(-387 - (-1 + n))?
False
Suppose -4*r = -4*b - 284, 2*b + 312 = 3*r + 94. Is 5 a factor of -4 - r/(-20) - 216/(-5)?
False
Let c(g) = -18*g + 83. Let o be c(4). Suppose 6*u - o*u = -1515. Does 35 divide u?
False
Let k(t) = -2*t - 2 - 3 - 4*t**2 - t**3 - 9. Suppose -4*i = 3 - 11, -7 = h - i. Does 8 divide k(h)?
False
Let a = 119 + -109. Suppose -a*u + 217 = l - 6*u, -2*l + u = -407. Does 9 divide l?
False
Let v(d) = 2*d**3 + 37*d**2 + 18*d + 99. Does 11 divide v(-18)?
True
Suppose -11*o + 240 = -27*o. Let a(c) = c**3 + 17*c**2 + 11*c - 45. Does 80 divide a(o)?
True
Suppose -16 = 6*f - 10*f. Suppose 0 = -f*d - 2*d + 18. Suppose -3*i - 2*p + 128 = -d*p, -i + 3*p = -56. Is i a multiple of 5?
False
Does 122 divide 380*(-93)/(-6) - (1 + -9)?
False
Let v(t) = t**2 + t - 1. Let d(s) = 2*s**2 - s - 6. Let u(p) = -d(p) + 5*v(p). Is u(5) a multiple of 37?
False
Suppose 11*a = 200 - 101. Suppose 32 = a*z - 193. Does 15 divide z?
False
Let o(v) = -4*v**3 - 2*v**2 - 7*v + 1. Let s be o(-3). Suppose 8*g = -48 - s. Let n = 7 - g. Is 8 a factor of n?
False
Suppose 384 = 24*z - 0*z. Is (88/z)/(3/(-708)*-2) a multiple of 73?
False
Does 25 divide (-1161)/(-2) + (-134)/(-268)?
False
Let w be (-55)/(-3) + -4 - 2/(-3). Let l be (-5)/(-1 + 0) + 60/w. Suppose 0 = -3*y + l, 4*c = 3*c - 2*y + 39. Is c a multiple of 10?
False
Let w = 216 + -440. Let p = w + 344. Is p a multiple of 20?
True
Let v(d) = -34*d**2 - 8*d - 9. Let j be v(-2). Let r = 25 - j. Is 6 a factor of r?
False
Suppose 0 = 28*s + 3*s - 68696. Is s a multiple of 38?
False
Suppose 160608 =