2 + 6*j - 10. Let h be n(-7). Let x = 0 - h. Suppose 4*p - 4*o - 320 + 48 = 0, 64 = p - x*o. Is p a multiple of 19?
False
Let i(f) = f + 5. Let g be i(-6). Let c = -16 + 14. Does 7 divide (-42)/c - (-2)/g?
False
Let b = 718 + -392. Is b a multiple of 9?
False
Suppose -18*o + 881 = -901. Does 4 divide o?
False
Let t = 511 - -78. Is 19 a factor of t?
True
Let v(h) = h**3 + 2*h**2 + 1185. Is v(0) a multiple of 11?
False
Suppose -3*g + 5*r + 1638 = 0, -3*g + 0*r = -4*r - 1638. Is 21 a factor of g?
True
Let i(w) = 12*w + 382. Does 19 divide i(0)?
False
Let u(y) = -y + 1. Let v(p) = -2*p**3 + p**2 + 5*p - 1. Let b(c) = 2*u(c) + v(c). Let l be (6/(-15))/((-2)/(-10)). Is b(l) a multiple of 15?
True
Let g = -177 - -234. Is 7 a factor of g?
False
Let h(q) = 63 + 5 - 23 + 33 + q. Does 13 divide h(0)?
True
Suppose 3*m + 8 = -46. Let z = -6 - m. Does 6 divide z?
True
Let n = -81 - -83. Suppose -3*d + 7*t + 93 = n*t, -114 = -3*d - 2*t. Is 12 a factor of d?
True
Let d(l) = -3*l + 3. Let y be d(4). Let q(h) = 0 + 4 + 2*h + 3 - 3*h. Is 16 a factor of q(y)?
True
Let l(j) = -46*j + 1. Let g be l(-1). Suppose -4*n + 237 = -3*x, 5*x - g - 167 = -3*n. Suppose s = -2*s + n. Is s a multiple of 14?
False
Let k(m) = -m**2 + 5*m - 1. Let o be k(4). Suppose -y + 132 = o*y. Is 16 a factor of y?
False
Let x(n) = n**3 + 5*n**2 + 2. Let w be x(-6). Let t = w + 42. Does 8 divide t?
True
Let w(m) = 2*m**2 + m + 6. Let b be w(-2). Suppose 0*j + 1164 = b*j. Does 14 divide j?
False
Suppose 254*d = 252*d + 222. Let k = -12 - 29. Let v = d + k. Does 17 divide v?
False
Let b(s) = 452*s + 58. Is b(2) a multiple of 13?
True
Let i(s) = s**2 + 4*s - 2. Let p be i(-5). Suppose -2*o - 160 - 52 = -p*z, 0 = -2*z + 4*o + 152. Does 7 divide z?
False
Let j(n) = -n**3 + 2*n**2 - n + 2. Let p be j(2). Suppose 0 = -5*k - p*k - 4*q + 167, 2*k + q = 68. Is 9 a factor of k?
False
Let s = 42 - 37. Suppose -j - 2*j = 2*v - 34, 4*v + s*j = 70. Is 3 a factor of v?
False
Let l = -41 + 23. Let b = 45 + l. Suppose 22*u - b*u + 60 = 0. Is 4 a factor of u?
True
Suppose -8*q = -9*q + 175. Let g = q - 121. Is 9 a factor of g?
True
Let x = 698 + -509. Does 9 divide x?
True
Let l be 3*(-2)/9*39. Let r = l - -14. Does 8 divide (3/(-2))/(r/64)?
True
Let v(z) = 445*z**3 - 8*z**2 + 8*z + 2. Is v(2) a multiple of 12?
False
Suppose 257 = -5*j + 82. Let k = -3 - j. Does 8 divide k?
True
Suppose -4 = 4*p + m - 22, 4*p - 14 = -3*m. Suppose -p*j = 8 - 23. Suppose -1 = j*l - 4, 3*l = -2*g + 25. Is 2 a factor of g?
False
Let x(y) = 6*y + 101. Is x(55) a multiple of 17?
False
Suppose -11*r + 5*r + 14832 = 0. Is r/18*4/((-8)/(-3)) a multiple of 15?
False
Suppose j + 4*c - 11 = 0, 3*j + 8*c - 3*c = 19. Suppose 3*i + 1119 = -3*y, -2*y - j*i + 2*i - 751 = 0. Is 10 a factor of 2/(-8) + y/(-8)?
False
Let b(a) = 517*a + 57. Let n be b(-6). Is n/(-11) + 8/44 a multiple of 60?
False
Let l(k) = k**3 - 4*k**2 + 5*k - 3. Let g be l(3). Suppose -n = -2*n + g*c + 18, -2*c = 10. Suppose m - 36 = -3*a, -2*m + 80 = -n*a + 8. Does 13 divide m?
False
Suppose m = -2*s + 7, s + 4*m - 13 = 1. Suppose -4*v = -3*y - 140, -6*v + 140 = -s*v + 2*y. Is 20 a factor of v?
False
Suppose w = 207 + 87. Does 8 divide w?
False
Let c(f) = -f**3 - 2*f**2 + 3*f - 2. Let o be c(-3). Let i be 33 + o*(-3)/(-3). Let v = -15 + i. Is 8 a factor of v?
True
Does 47 divide ((-141)/9)/(2/(-18))?
True
Let m(p) = p**3 + 11*p**2 + 10*p - 2. Let r be m(-11). Let t be (-81)/12*r/6. Suppose -u + 4*u = t. Is u a multiple of 12?
False
Let x(i) = i. Let l be x(4). Suppose 2*f = l*f - 150. Does 11 divide f?
False
Let y(c) = 143*c + 4. Let k be y(-1). Is 16 a factor of (4 + k)/(3/(-2))?
False
Let d(i) = -2*i + 24. Is 16 a factor of d(-4)?
True
Suppose 0 = -2*n + 3 - 1. Suppose 8*l - 345 = 3*l. Suppose 0 = -2*o + l - n. Is 17 a factor of o?
True
Is 18 a factor of (-954)/(-5) + 25/125?
False
Suppose 2*f + 2*q - 3650 = 0, -5*f - 7*q = -11*q - 9080. Does 17 divide f?
False
Suppose 2*l = 1612 + 1060. Is 167 a factor of l?
True
Suppose -j = 5*d - 32, -d + 4*j - 32 = -5*d. Is 19 a factor of (d/(-4))/(36/(-456))?
True
Let o = 94 - 94. Suppose 0 = w - o*w - 77. Is 27 a factor of w?
False
Let y = -39 + 44. Suppose 4*b - 513 = -5*m, b - 91 - 26 = -y*m. Is b a multiple of 22?
True
Let p(d) = 73*d - 187. Is 14 a factor of p(11)?
True
Does 20 divide (-2 - -42)/(21/84)?
True
Suppose -3*p + 49 = -161. Suppose 4*n + 3*z - 459 = 0, 2*n - 106 = 4*z + 118. Let f = n - p. Is 11 a factor of f?
True
Let j be (-1441)/(-33) + 1/(6/(-4)). Let s be 1*(4/1 + 1). Suppose -s*g + 17 = -j. Is 5 a factor of g?
False
Let d(i) be the first derivative of i**4/4 + 11*i**3/3 - 2*i**2 + 15*i - 1. Let y be ((-6)/27 - (-16)/(-9)) + -9. Is d(y) a multiple of 19?
False
Suppose 2*p = y - 525, -6*p = -3*y - 2*p + 1579. Is y a multiple of 5?
False
Is (-22)/(88/(-42) + 2) a multiple of 20?
False
Suppose -2*n - 10 = -18. Suppose 0 = 6*r - n*r - 56. Does 14 divide r?
True
Let u = 51 - 83. Suppose 2*c + 32 = 6. Let f = c - u. Does 19 divide f?
True
Let p = 698 - 415. Is 25 a factor of p?
False
Let t(d) = 5*d**2 - 3*d - 12. Let l(o) = 3*o**2 - o - 6. Let j(c) = 7*l(c) - 4*t(c). Let v be j(-8). Let x = -16 + v. Does 9 divide x?
False
Let l = -1 - 15. Does 34 divide 72/l*136/(-6)?
True
Suppose -3*k + 1799 = 317. Does 19 divide k?
True
Suppose -5*l - o + 1 = -1, 0 = -4*l - 4*o - 8. Let q be (-2 + 0)/(l/(-12)). Suppose -2*a - 4*s = -28, 2*a + 5*s = -0*s + q. Does 14 divide a?
False
Let u(l) = -l**2 + 14*l + 3. Let m be u(13). Does 18 divide 38 - 0 - m/8?
True
Suppose 0 = -9*b + 10*b + 10. Let i = b - -47. Is 11 a factor of i?
False
Let x(s) = 10*s - 44. Is x(8) a multiple of 4?
True
Let f(w) = -2*w - 107. Let q(c) = -c - 53. Let g(t) = 2*f(t) - 5*q(t). Is g(-16) a multiple of 7?
True
Let m be -3*(-357)/9 - -1. Suppose 5*y = 2*y + m. Suppose -6 = -d + y. Is 20 a factor of d?
False
Suppose 0 = -3*u + 255 - 60. Suppose -u = -5*x + 3*x - 3*z, z - 169 = -5*x. Is 34 a factor of x?
True
Let h(o) = -21*o**3 + 2*o**2 - 6*o + 3. Let u be h(2). Let z = u - -560. Let d = z + -255. Is d a multiple of 35?
False
Let d(s) = 78*s - 568. Does 14 divide d(25)?
False
Suppose 0*k - 732 = -12*k. Is 7 a factor of k?
False
Let f(p) = 0*p - 3*p - 18*p**3 + 2*p**2 + 19*p**3 + 3. Let d be f(2). Let i = d + 3. Does 10 divide i?
False
Suppose 2*y - 30 = -3*y. Suppose 6*d - 3*d = y. Suppose d*c = -2*c + 384. Is 32 a factor of c?
True
Let v(r) = r**3 + 7*r**2 - 2*r - 9. Let w = 17 - 24. Is 3 a factor of v(w)?
False
Let j(b) = 29*b - 2. Let u be j(10). Suppose -h - u = -2*z - 3*z, 3*z + 5*h = 156. Does 19 divide z?
True
Suppose 0 = 5*g + 10, 5*q + 0*g + g - 18 = 0. Let i(w) = 6*w**2 + w + 8. Is 18 a factor of i(q)?
True
Let u(s) = s**3 - 33*s**2 + 35*s + 5. Does 5 divide u(32)?
False
Suppose 5*a - 2*a = c + 105, 4*c = -4*a + 124. Suppose -5*v = -4*j + 32, 2*j + 4*v - 2*v - a = 0. Is 4 a factor of j - (-1 + 5 - 3)?
True
Suppose -2*t + 1202 = -46*s + 48*s, t = 2*s - 1193. Does 9 divide s?
False
Suppose 2*d = -2*d + 12. Suppose -16 = d*s - 64. Let c = -9 + s. Does 2 divide c?
False
Suppose 0 = -62*v + 67*v - 1600. Is v a multiple of 16?
True
Let m(a) = 2*a**2 - 14*a + 33. Does 7 divide m(6)?
True
Let g be 2 + -54*(-3)/6. Suppose -2*z = -4*l - 26, -2*l + 3*z - g = 2*l. Is -5*(0 - (-54)/l) a multiple of 25?
False
Let y(f) = f**3 - 3*f**2 - 3*f. Let t be y(4). Suppose 2*p + t*h = 44, -4*p - 2*h + 54 = -2*p. Is 5 a factor of p?
False
Let a = -354 - -452. Is 5 a factor of a?
False
Does 62 divide 31788/81 - 4/9?
False
Let j = 321 + -305. Is 8 a factor of j?
True
Let k = -39 - -223. Let g = k - 129. Is 10 a factor of g?
False
Let s = -112 + 1497. Does 34 divide s?
False
Does 48 divide (2 - (-8622)/10) + 18/(-90)?
True
Suppose 5*h - 2*w + 1 = w, -2 = -5*h + 4*w. Let i be (6/12)/(h/(-72)). Suppose -m + 0*m = -i. Is 11 a factor of m?
False
Suppose 5*q = 3*v + 1388 + 1855, 4*q - 2588 = -4*v. Is 16 a factor of q?
False
Let x(l) = -l**3 + 2*l**2 - 5*l + 20. Let p be x(7). Let i = -180 - p. Does 20 divide i?
True
Let t = 197 - 304. Let l be 1*(3 - 2) + -192. Let g = t - l. Is g a multiple of 14?
True
Suppose 0*r - 6*r = -30. Suppose -4*s - 615 = -8*h + 3*h, r*h + 3*s = 580. Is h a multiple of 12?
False
Let k(z) be the third derivative of -z**4/24 + 23*z**3/6 - 13*z**2. Does 13 di