= -2*j. Is m a multiple of 14?
False
Let g(b) = -b**2 + 5*b + 26. Let v be g(8). Is 22 a factor of 44/v*(-17 - -19)?
True
Let h(m) = 260*m + 7. Is h(2) a multiple of 31?
True
Is 6/69 + (-16184)/(-92) a multiple of 8?
True
Suppose 17 + 8 = 5*m. Let x(z) = 2*z**3 - 6*z**2 - 4*z + 4. Is 28 a factor of x(m)?
True
Suppose 3*p + 0*p + 12 = 3*y, y + 3*p - 4 = 0. Suppose -2*u + y = -22. Let t = u - -9. Does 11 divide t?
True
Let n = -23 - -36. Let v(k) = 7*k - 2 - n*k - 14*k - 2. Is 21 a factor of v(-3)?
False
Suppose 0 = 3*x - 5*k + 4, 3*k - 1 = 2*x + 1. Let q(i) = 3*i**2 + 2*i + 1. Is 17 a factor of q(x)?
True
Let d(o) = -o**2 + 10*o + 15. Let j be 69/6 - 2/4. Let t be d(j). Suppose -t*a - c = -289, -a - 3*c = 3*a - 291. Is a a multiple of 24?
True
Suppose -3*t = -6*t + 30. Let m be (-3)/(-1 - 5/t). Suppose -4*u = m*s - 96, 272 = 4*s + 5*u + 74. Does 15 divide s?
False
Does 82 divide 12/54 + (-546080)/(-180)?
True
Suppose -4*o = -0*o + 24. Does 4 divide 12 - (o/2 + 3)?
True
Let n(w) = -w + 30. Suppose -6*o - 23 = 31. Let h be n(o). Suppose -5*t + 3*j = -47, t + h = 5*t - j. Is 8 a factor of t?
False
Let f = 592 + -328. Is f a multiple of 8?
True
Let l(n) = 4*n + 5*n**2 - 2*n**2 + 12 - 4*n**2 - 12*n. Let h be l(-9). Does 22 divide h*(0 + 66/9)?
True
Let n = -583 - -1102. Suppose 0 = 5*z + u - n, -4*z + 2*u + 532 - 114 = 0. Does 13 divide z?
True
Suppose -59*u + 14*u + 28485 = 0. Is u a multiple of 8?
False
Let w = 240 - -77. Does 4 divide w?
False
Let i be 10/5 - (-42)/1. Let d = i + 96. Does 20 divide d?
True
Suppose 46 = -3*a + 5*a. Suppose 6*i + 36 = 3*i. Let u = a + i. Is 3 a factor of u?
False
Suppose -3*r + 51 = 3. Let o = 58 - r. Does 11 divide o?
False
Let l(h) = -h**2 - 5*h - 6. Let v be l(-4). Does 3 divide v/5*(-845)/13?
False
Let p(r) = -5*r - 106. Let b be p(-22). Let h(f) be the first derivative of f**3/3 + 2*f**2 - 4*f - 1. Does 17 divide h(b)?
False
Suppose -r = -3*u - 7, -u - 11 = 3*r - 2*u. Is 7/r*(-13 + 3) a multiple of 9?
False
Suppose -2*k = 8, 3*r = -k - k - 8. Suppose -5*l + p = -r*l - 8, 5*l = -4*p + 18. Suppose 0 = -s + 4*i + 32, -l*i + i = -5*s + 84. Is 3 a factor of s?
False
Let l = -2 - 0. Is (l/((-4)/(-6)))/((-12)/376) a multiple of 15?
False
Suppose 0 = -3*f + 40 + 14. Let u be 63/f + (-2)/(-4). Let d(p) = p**3 + p**2 + 1. Is d(u) a multiple of 27?
True
Let a(p) = p**3 + 10*p**2 + 4*p + 4. Let s be a(-7). Suppose -371 = -5*o - 4*h - 83, -h = -2*o + s. Is 15 a factor of o?
True
Let j be -4 - 356/(-1 + 5). Let b = j + 132. Let o = -9 + b. Does 11 divide o?
False
Suppose 45*n - 4143 - 357 = 0. Does 10 divide n?
True
Let s be (0 - 1)*7/(-7). Suppose -4*b + 9*b - 5 = 0. Is -15*b*s/(-3) a multiple of 5?
True
Let p = 522 + -246. Suppose 3*f = -78 + p. Is f a multiple of 11?
True
Suppose 5*x - 7*b - 4095 = -4*b, 3*b = -5*x + 4065. Is x a multiple of 6?
True
Let l = -20 - -87. Suppose -3*o - 4*t = -l - 167, o + 5*t - 78 = 0. Does 39 divide o?
True
Suppose 21*q = 27*q + 498. Let y = q + 167. Is y a multiple of 21?
True
Let h(o) = -269*o + 3. Does 8 divide h(-1)?
True
Let t = -19 - -23. Suppose 204 = -m + t*m. Is 17 a factor of m?
True
Let u be 37*6/3 - 2. Let w = u - 48. Is 6 a factor of w?
True
Suppose 19515 + 11815 = 13*b. Does 16 divide b?
False
Suppose -1550*b + 1215 = -1547*b. Does 27 divide b?
True
Let y = -6 + 8. Suppose 4 = -0*m + y*m. Suppose 3*n + 2 = q, 0 = -2*q - m*q + 4*n + 24. Does 4 divide q?
True
Let s(j) = -5*j + 45. Let q be s(0). Suppose 139 = 2*n + q. Does 11 divide n?
False
Is 18 a factor of (-972868)/(-477) + 8/18?
False
Let k be (1/(-2))/(11/(-110)). Suppose -k*x + 4*b + 490 = 0, -24 = -3*x + 3*b + 270. Is x a multiple of 17?
False
Suppose -2*i + 5*i = g + 12, -2*i + 4*g = 2. Suppose 3 = -0*l - 3*l, 5*s = 5*l + i. Suppose d + 3 = -2*z - 0*z, 2*z + 8 = s. Is 2 a factor of d?
False
Let w = 8094 + -4518. Is 87 a factor of w?
False
Let i be (-4)/(-8)*1*4. Suppose -5*j + 97 = -i*k, j = -j + 2*k + 34. Suppose 4*y = 11 + j. Does 4 divide y?
True
Let l be (1/(-2) + 0)*(-1 + 1). Suppose 0 = -c - 2*k - l + 19, 0 = -3*c + 4*k + 17. Does 6 divide c?
False
Let x be -6*115/25*10/(-3). Suppose -4*t + 284 = -x. Is t a multiple of 6?
False
Let u(n) = -8*n + 14. Let d be u(5). Let l = -14 - d. Is 2 a factor of l?
True
Let k be (-12)/5*(-70)/4. Let r = 348 - 345. Is 13 a factor of r/3 + k + 3?
False
Let s = -2125 - -4301. Is 74 a factor of s?
False
Let i(d) = -d**2 - 5*d + 1. Let q(k) = -12*k**2 - 66*k + 12. Let t = 8 - 35. Let x(o) = t*i(o) + 2*q(o). Does 5 divide x(-3)?
True
Let k(h) = h**2 + h + 5. Suppose 0 = -9*a + 8*a. Does 2 divide k(a)?
False
Let r(d) = 3*d**2 - 48. Is r(16) a multiple of 12?
True
Suppose p = 2*d - 11, -5*d - 2*p + 41 = -0*p. Suppose -d*j = -3*j - 24. Suppose -j*s + 100 = -s. Does 8 divide s?
False
Let v(i) = 6*i - 16. Let j(c) = c. Let w be j(12). Let h be v(w). Suppose h = 5*s + 4*y - 5, y + 40 = 3*s. Does 3 divide s?
False
Let i(u) = 4*u + 25. Let o be (-384)/84 - 4/(-7). Does 9 divide i(o)?
True
Let x = -5283 - -7489. Does 47 divide x?
False
Let s(x) = 5*x**2 + 178*x + 15. Is 12 a factor of s(-39)?
False
Is 273/2 - 8/16 a multiple of 2?
True
Suppose -4*t = -2*z - 2240, -z = 4*t - 1248 - 980. Does 6 divide t?
True
Let u = 77 - 77. Suppose 0 = 12*g - 8*g, u = 2*x + 4*g - 580. Does 18 divide x?
False
Let q(u) = -u**3 - 3*u - 2. Let o be q(-1). Suppose -4*k = 4, o*j + 2*j + k = -89. Does 4 divide j/55 - 164/(-10)?
True
Suppose -25 = -0*b - 5*b, 0 = -2*d + 2*b. Suppose -3*g + d*g = 186. Is g a multiple of 12?
False
Suppose 3*a = -4*z + 29, -3*z + 4*z = -3*a + 14. Suppose -a*r + 91 = -80. Is r a multiple of 19?
True
Suppose 101*r - 84*r = 7089. Is r a multiple of 5?
False
Suppose -4*h + 5*h - 5*i - 596 = 0, 0 = 4*h + 2*i - 2296. Does 9 divide h?
True
Suppose 3*m - 7 = z, -4*m + 5*m = -5*z + 45. Let c = z - 3. Suppose 37 = k - 3*o, 3*k = -k - c*o + 165. Is 10 a factor of k?
True
Suppose -3*v + 2*v = -1. Does 4 divide 17/1 - (v + 2)?
False
Let w be (-16*(-2)/4)/(1/(-5)). Is 7 a factor of 4/(w/(-105))*4/6?
True
Suppose -4*j + 0*j = -32. Is 22 a factor of (-136)/(-2) - j/4?
True
Suppose 2*f - b - 3*b - 802 = 0, -4*b = -5*f + 1975. Is f a multiple of 17?
True
Let g = -346 - -359. Does 12 divide g?
False
Let d(x) = 5*x**2 + 3*x - 2. Let u(h) = 6*h**2 + 3*h - 1. Let c(n) = 5*d(n) - 4*u(n). Let g(f) = -f - 1. Let q be g(7). Is 10 a factor of c(q)?
False
Suppose 0 = -3*z + 43 + 83. Suppose 5*m + 4 = -4*b, b + 8 = -2*m - m. Suppose -b*g + z = -5*a + 242, -195 = -5*a + 3*g. Does 18 divide a?
True
Let j be (-1)/2 + 262/4. Let x = -41 + j. Is x a multiple of 3?
True
Let g = 15 - 15. Suppose a - 50 + 6 = g. Does 22 divide a?
True
Does 8 divide 19/(38/104) - 1*-4?
True
Let v(p) = -15*p**3 - 12*p**2 - 5*p - 6. Is 17 a factor of v(-2)?
False
Suppose l + 3*o - 240 + 19 = 0, 4*l + 3*o - 866 = 0. Does 34 divide l?
False
Is 20 a factor of 2131 + -21*(-33)/77?
True
Let q = 8 - -5. Suppose 4*c = q + 7. Suppose t - 26 = -c*x, 5*t - 79 = x + 25. Is 9 a factor of t?
False
Is 93 a factor of (22323/63)/(1/3)?
False
Let q(h) = 104*h**3 + 4*h**2 - 3*h. Let z(g) = 2*g**3 + 7*g**2 - 3*g + 5. Let x be z(-4). Does 7 divide q(x)?
True
Let z(u) = u**3 + 3*u**2 - 11*u. Let j be z(-5). Suppose g - j*l - 160 = 0, -2*g + 298 = -0*l + l. Let o = 277 - g. Is o a multiple of 37?
False
Let f be ((-196)/(-70))/(4/(-10)). Let b(z) = -14*z + 16. Is 6 a factor of b(f)?
True
Let s be (2/(-3) - -1) + 6148/87. Let h = s - -39. Is h a multiple of 22?
True
Let z = -64 + 141. Does 5 divide z?
False
Suppose s - 11*s - 1110 = 0. Let n = -85 - s. Is n a multiple of 3?
False
Does 24 divide (-12275)/(-25)*3/6*4?
False
Let f = -88 - -90. Is 19 a factor of (3 + (-35)/(-2))*f?
False
Let l = -57 - -95. Suppose -4*o + l = 2*h - 130, -25 = -5*o. Suppose 0 = -5*f + 3*q + 47 + h, q = -3*f + 67. Does 7 divide f?
False
Let r = 15 - 14. Does 21 divide (-44)/r*(-36)/16?
False
Let h = -6 + -14. Is (45/h)/(6/(-320)) a multiple of 8?
True
Let t = -10 - -20. Suppose -b + t = -21. Is b a multiple of 19?
False
Is 9 a factor of 1/((-6)/30) + 165?
False
Let t be 97 - (-6)/(-2 - 1). Suppose -2*c + 18 = -2*f + 3*f, -5*c + t = 5*f. Is 5 a factor of f?
True
Let u be 6/3 + (-4)/2. Suppose u = s - 0 - 1. Is 15 a factor of 6*(-1 + 6/s)?
True
Let x be (-3)/(-9)*(4 - -2). Let q be 7 - 