= 2*n + 96, n - 183 = -k*f. Is f a multiple of 23?
False
Suppose -3*x = 18 + 126. Suppose -3*g - 32 = 184. Let l = x - g. Does 12 divide l?
True
Let m = -27 + 36. Suppose 13*v - 352 = m*v. Suppose -2*o + 4*a = -v, 5*a - 155 = -4*o - 5. Does 16 divide o?
False
Suppose 0 = -4*g + v + 1925 + 5464, g = 5*v + 1871. Does 105 divide g?
False
Let t be 1422/(-24) + (-12)/16. Let n = t - -118. Suppose 0*p - n = -p. Does 19 divide p?
False
Let w be (1/1)/((-18)/126). Let j = 8 - w. Is 2 a factor of j?
False
Let t(u) = -u**3 - 27*u**2 + 27*u - 10. Is t(-28) a multiple of 9?
True
Let j(f) = 5*f + 9. Let n be j(11). Is n/20*(-465)/(-6) a multiple of 17?
False
Let m(k) = 28*k**2 + 3*k - 4. Let u(a) = -27*a**2 - 2*a + 3. Let o(h) = -2*m(h) - 3*u(h). Is 7 a factor of o(-1)?
False
Let d(i) = 2*i**2 - 45*i + 284. Is d(22) a multiple of 4?
False
Let a = -3722 + 5591. Is 21 a factor of a?
True
Let h(v) = 53*v**2 - 3*v - 1. Is h(-1) a multiple of 23?
False
Suppose 3*h - 456 + 105 = 0. Suppose u + 304 + h = 3*z, -1 = u. Suppose 5*o - z = -5*i, -2*o + 32 + 4 = -2*i. Is 15 a factor of o?
False
Let g = 14 - 7. Suppose -g = -2*n + 5. Suppose n*w = 5*w + 28. Does 14 divide w?
True
Let h be 4/(-8) + 11/(-2). Let x be 21*1*(-4)/h. Let w = -4 + x. Is 5 a factor of w?
True
Let u be (56/(-42))/((2/(-9))/1). Is -20*u/24*(-4 + 2) a multiple of 4?
False
Let a(c) = 4*c - 19. Let o be a(6). Let g(u) = 3*u**2 + 3*u - 4. Is g(o) a multiple of 9?
False
Let b = 615 + -76. Let x = b + -322. Is x a multiple of 19?
False
Suppose -56*o + 53*o = -336. Is o a multiple of 4?
True
Let n be 4/16 - 1/4. Suppose 2*j = -n*j + 8. Does 18 divide 3/(-12) + 105/j?
False
Suppose 2*d = 5*g + 13 - 214, -92 = -2*g - 5*d. Does 9 divide g?
False
Let r = 252 + -215. Is r a multiple of 37?
True
Let t(x) = -x**3 + 27*x**2 - 30*x + 37. Is t(24) a multiple of 19?
True
Let x(f) = 2*f**3 - 4*f**2 - 4*f + 47. Is x(6) a multiple of 17?
False
Suppose -58 = 2*a + 4*g, 3*g = -a - 0*g - 34. Let z = 18 + a. Let p = 19 - z. Is p a multiple of 10?
True
Suppose 0 = 18*j - 14*j - 1824. Is j a multiple of 38?
True
Suppose -2*r - 5 = 3*r - 5*b, 2*r + 5*b - 19 = 0. Is 16 a factor of (r - -14 - 2)/(5/15)?
False
Suppose -4*z + 21 = -3*b, 3*z + 5*b + 6 = -0*b. Suppose p + q + z*q - 38 = 0, 2*p - 55 = -q. Is p a multiple of 13?
True
Let i(n) = 6*n + 2. Suppose -4*h = -8*h + 124. Suppose 2*s - h = -5. Does 17 divide i(s)?
False
Suppose -4 + 1 = -h. Suppose 3*s + 5*z + 2 = -7, h*z = -3*s - 3. Let y(q) = 4*q**3 - 4*q**2 + 3*q. Does 3 divide y(s)?
False
Let w(p) be the third derivative of p**5/30 - 11*p**4/24 - 7*p**3 + 19*p**2. Is w(-6) a multiple of 15?
False
Suppose -o = 2*o + 4*i - 4, 0 = 4*o - i - 18. Let f = 17 + o. Is 7 a factor of f?
True
Let f(x) = -3*x + 130. Let j(m) = 3*m - 129. Let y(w) = -4*f(w) - 3*j(w). Let p be y(0). Let i = -55 - p. Is i a multiple of 22?
False
Suppose -6*x + 1483 = 61. Suppose -x = -c - 4*i, 2*c = i + 273 + 174. Is 33 a factor of c?
False
Suppose g = 0, 3*t + 3*g - 21 = 4*g. Does 3 divide t?
False
Let r(k) be the second derivative of k**5/20 - 7*k**4/12 + 23*k**3/6 + 13*k**2/2 - 31*k. Does 10 divide r(6)?
False
Suppose -11*l = -2*l - 1386. Is l a multiple of 39?
False
Let r(j) = 2*j**2 - 33*j + 7. Let m be r(16). Is (44/6)/(m/(-54)) a multiple of 4?
True
Let w = 1454 + -933. Is 25 a factor of w?
False
Let s = -152 + 314. Let h = -115 + s. Does 16 divide h?
False
Let q(x) = 80*x**2 - 26*x - 157. Is 15 a factor of q(-7)?
True
Let x(r) = -5*r**2 - 2*r + 39. Let f(w) = -w**2 - 1. Let z(c) = -6*f(c) + x(c). Let g be z(0). Let n = g + 6. Is n a multiple of 12?
False
Is 8 a factor of 46/6*(1 - -29)?
False
Let b be ((-12)/16)/((-1)/(-4)). Let d(m) = -4*m**3 - 2*m**2 - 4*m + 3. Is d(b) a multiple of 21?
True
Suppose -828 = -m - 3*m - 4*h, -3*m = 2*h - 620. Suppose -m - 45 = -q. Suppose -3*n + 4*k + 122 = 0, 5*n + 17 - q = -k. Is 23 a factor of n?
True
Let d(h) = h**3 + 5*h**2 + 4*h - 1. Let i(k) = -2*k**2 - k. Let r be i(1). Let o be d(r). Suppose -o*l + 51 = -89. Is 28 a factor of l?
True
Let f(h) = -4*h + 1. Let j be f(-3). Let q = j - 8. Suppose 102 = q*v + 42. Is 4 a factor of v?
True
Let j = 9 - 0. Suppose -4*u - 240 = -j*u. Let v = 74 - u. Is 26 a factor of v?
True
Suppose d + 2*d + 4*v = 29, -27 = -4*d - 3*v. Suppose -10 = -l + y, 5*l - y = 33 - d. Suppose l*z - z = 108. Does 17 divide z?
False
Let p = 58 - 95. Let b = p - -71. Is b a multiple of 33?
False
Suppose 3*d = 1374 + 525. Is 41 a factor of d?
False
Does 11 divide (551 + -3 - -5) + -3?
True
Is 7 + 7 + -13 - -865 a multiple of 14?
False
Suppose 1 = u + 6, 2*f + 5 = -3*u. Suppose 0 = -f*g + 3*m + 156 + 30, 0 = 2*m + 4. Does 6 divide g?
True
Let y = 3499 + -1843. Is y a multiple of 13?
False
Let f = 1001 - -889. Is (2 - 1) + f/27 a multiple of 19?
False
Does 20 divide -9*4/12 + 362?
False
Let u(q) = 0*q**3 + 14 - 7*q**2 + q**3 - 8*q**2 + 0*q**3. Does 15 divide u(16)?
True
Let a = -481 + 480. Let t(b) = -b**3 - b**2. Let n(u) = -65*u**3 + 8*u**2 + u. Let s(v) = n(v) + 6*t(v). Does 24 divide s(a)?
True
Suppose 15*t - 332 = 11*t. Suppose -5*q = o - 385, -q + t = -3*o + 6. Suppose 0*y - q = -4*i - y, 3*i - 66 = 2*y. Is i a multiple of 9?
False
Suppose 63*d - 58*d = 15. Is 10 a factor of (2 + d)*(8 + 4 + -2)?
True
Suppose 4*f = 3*f + 2*g, 4*f = -4*g. Suppose -4*y - y - 145 = f. Let k = -26 - y. Is k a multiple of 2?
False
Let x(q) = q**2 - 3*q + 683. Does 62 divide x(0)?
False
Let o = 1603 - 125. Is 7 a factor of o?
False
Suppose 0*j = -j - s + 18, 5*s = -4*j + 76. Let z = 23 - j. Is 2 a factor of z?
False
Suppose 0 = 4*o - 5*o + 5. Suppose -o*s + 34 = -l, -3*s + l = -0*l - 22. Is 4 a factor of s?
False
Suppose 0 = -u + 3, 0 = -5*h - 4*u + 1695 - 533. Let a be (-3 - -2)/((-2)/h). Suppose 129 + a = 4*i. Is i a multiple of 13?
False
Suppose 5*q + 4130 = 5*u, u - q = -5*q + 846. Let h = u + -280. Suppose -2*y - 3*y = -h. Does 25 divide y?
False
Suppose 13 = q - 5*t, 2*q - 5*t + 54 = 100. Does 3 divide q?
True
Let c(w) = -w**3 - 11*w**2 - 3*w - 20. Is c(-12) a multiple of 80?
True
Let z be (-8)/3*156/8. Is 28 a factor of 0 + 3 - (z + -1)?
True
Is 8 a factor of (-40)/60 + 530/3?
True
Let p be ((-16)/(-24))/((-2)/(-57)). Suppose 5*v - 6 = -3*h + p, -v + 5 = -3*h. Does 3 divide v?
False
Suppose 5 = p - 0. Let m be 180/50 + 2/p. Suppose 5*y - 41 = -g, -2*y + m*g + 52 = 2*y. Is y a multiple of 7?
False
Suppose -2*z = z - 15. Suppose 0*u = z*u - 295. Is 18 a factor of u?
False
Let d(z) = -19*z**2 + z. Let j be d(1). Let w = 178 + j. Does 16 divide w?
True
Let h be 2/(-3) - 8/(-12). Suppose h = n - 2*n + 6. Suppose 3*c = n*c - 48. Is 16 a factor of c?
True
Let u(t) be the second derivative of t**4/12 - 11*t**3/6 + 8*t**2 + 6*t. Is 14 a factor of u(12)?
True
Does 18 divide (-25)/125 - (-2522)/10?
True
Let l(y) = 3*y - 3 + 3 - 3*y**2 - y**3 + 5*y**2. Let g be l(3). Is -5 - -7 - (-63 + g) a multiple of 14?
False
Let a be 1*2/10 - 2664/(-180). Suppose -a + 79 = 4*j. Is j a multiple of 3?
False
Let a = 1407 + -1091. Does 13 divide a?
False
Suppose 3*g - 8*g - 2*m + 2680 = 0, 2*g + 2*m - 1078 = 0. Is 57 a factor of g?
False
Let o be 19/(-4) + (-21)/(-28). Let w(j) = -j**3 - 2*j**2 + 7*j + 6. Let q be w(o). Suppose -4*u = -i - q, -5 + 3 = -3*i + 4*u. Does 6 divide i?
True
Suppose -98*y = -92*y - 1302. Is y a multiple of 17?
False
Let k(x) = 3*x - 5. Let g be k(-7). Let v = 29 + g. Suppose 58 = v*o + 4. Does 6 divide o?
True
Let t(j) = -2*j**2 - 2*j. Let c be t(-2). Let h = c - -13. Suppose 5*o - 2*p - 334 = 0, -o + h*p + 76 = 4*p. Does 11 divide o?
True
Let c = -289 + 339. Is c a multiple of 12?
False
Suppose -14 = 4*a - 46. Let h = 32 - a. Does 22 divide h?
False
Suppose 9*h - 36 = 7*h. Suppose h*u + 12 = 14*u. Is 14 a factor of 4/(-6) + (-257)/u?
False
Let q be (3/(-9))/(3/(-90)). Is (-8)/q - (-94)/5 a multiple of 6?
True
Let d(l) = 31*l**2 + 8*l + 26. Is d(-3) a multiple of 17?
False
Let f be ((-6)/(-4))/(15/20). Let u(n) = 4*n**3 + 2*n**2 + n + 1. Let g be u(f). Suppose -5*l + g + 7 = 0. Does 5 divide l?
True
Let j(b) = -81*b - 2. Let g(z) = 82*z + 2. Let c(w) = 7*g(w) + 6*j(w). Does 18 divide c(1)?
True
Let d(w) = -w**3 - 5*w**2 - w - 8. Suppose 130 = 5*p - 4*h - h, -3*p = -4*h - 83. Let j = 15 - p. Is 17 a factor of d(j)?
True
Suppose -6*h = -0*h + 192. Is 