s 17 divide u(4)?
False
Let l be (6/7)/(2/(-14)). Let t be (l/(-15))/(1/(-260)). Let z = t - -159. Is 23 a factor of z?
False
Suppose l - 128 = -q - 3*q, -4*q = -3*l - 144. Is q a multiple of 9?
False
Let r = -82 + 192. Is 17 a factor of r?
False
Let m(f) = -f**2 + 16*f - 19. Is 2 a factor of m(14)?
False
Suppose 0 = 2*m + 25 + 33. Let p = m - -41. Suppose c - 3*c = -p. Is c a multiple of 3?
True
Suppose -4*m + 1725 = 11*m. Does 23 divide m?
True
Suppose -m = -3*d + 34, -m + 45 = 4*d - 2*m. Is 11 a factor of d?
True
Suppose -3*n + 10 = 2*u, -2*u + 3 + 1 = 2*n. Suppose n*y + 10 = 4*y. Let h = y + 12. Is h a multiple of 3?
False
Does 27 divide (-2)/8 - 11216/(-64)?
False
Suppose -3*d + 5 = 2*d. Let n be (((-6)/2)/(-3))/d. Let x(w) = 10*w + 1. Is 5 a factor of x(n)?
False
Suppose -4*c + 12 = -c, 1028 = 4*u - 3*c. Is u a multiple of 26?
True
Suppose -4*f = c - 3*c + 170, 194 = 2*c + 2*f. Suppose m + 143 = 6*m - p, -3*m + 3*p + c = 0. Does 15 divide 848/m + (-4)/14?
True
Does 31 divide (1 + -4)/6*-186?
True
Suppose -3*l = l - 4. Let d = 2 + l. Suppose -d*j = 4*u - 61, u - 11 = -2*j - 2. Does 19 divide u?
True
Let w(b) = 6*b**2 + b + 5. Is w(-2) a multiple of 4?
False
Is 2 + 1*(73 - 0) a multiple of 26?
False
Let r(m) = -m**3 - 21*m**2 - 22*m - 28. Is 6 a factor of r(-20)?
True
Let n(a) = 12*a**2 + 8*a + 10. Does 34 divide n(-4)?
True
Suppose 0*d + 2*x + 20 = 3*d, -d = 5*x + 16. Suppose -b + 9 = -5*v - 10, 3*b + 5*v - 117 = 0. Suppose n + d*u + u = b, 3*u - 12 = 0. Is 7 a factor of n?
True
Does 15 divide 5/(15/171) - -1?
False
Suppose 0 = 2*h + 2*c - 214, 5*c + 446 = 3*h + h. Is 18 a factor of h?
False
Suppose 5*s + 108 = j, 4*s - 5*s + 216 = 2*j. Is 18 a factor of j?
True
Suppose 0 = 3*d + 6 + 3. Let m(w) = w**3 + 5*w**2 - 2*w - 2. Does 7 divide m(d)?
False
Let r = -4 + 4. Suppose -n - 51 = -4*n + 5*t, r = -4*n - 3*t + 97. Is 9 a factor of n?
False
Suppose 64 = 4*t - 32. Suppose -6*f + t = -3*f. Let j(o) = o**3 - 7*o**2 - 5*o + 10. Is 17 a factor of j(f)?
True
Suppose 9 = -2*u + 73. Let m = u - -32. Is m a multiple of 26?
False
Does 3 divide 4/18 - 284/(-18)?
False
Let i = -9 - -37. Does 14 divide i?
True
Let u be -10*(-4)/8 + 0. Let o(n) = -n**3 + 6*n**2 + 5*n - 2. Does 10 divide o(u)?
False
Suppose 2*t - 74 = -4*j, j = 5*t - 3*j - 213. Suppose -3*v = t - 140. Does 11 divide v?
True
Let i be ((-2)/(-3))/(4/18). Does 14 divide 41/(-2 - i*-1)?
False
Is (4 + -3)*-322*2/(-4) a multiple of 36?
False
Suppose 0 = -3*j + 4*v + 39, 0*j - 5*v = j - 13. Suppose 26 - 3 = -5*w + 2*f, 0 = w + 4*f - j. Does 3 divide 4/w*63/(-14)?
True
Suppose 5*t - 210 = 10. Let j = -30 + t. Is j a multiple of 7?
True
Let t be -10*((-2)/(-4) - 1). Suppose -r + 4*r - 4*d = 15, -5*d - 25 = -5*r. Suppose -4*w - 86 = -t*l, r*l - 53 = 2*l + w. Is l a multiple of 7?
False
Suppose 4*j - y = 2*y + 91, -2*y + 6 = 0. Is 5 a factor of j?
True
Let s = 4 - 10. Let j(g) = -g**3 - 5*g**2 - g - 2. Is 19 a factor of j(s)?
False
Let x = -3 + 23. Is (-8)/x - 62/(-5) a multiple of 4?
True
Let t = 2 + 0. Suppose t*l = -l + 6, -l = -5*x + 8. Suppose x*j = -2*j + 156. Does 10 divide j?
False
Suppose -4*l + 4*u - 28 = 0, 5*l + u + 44 = 15. Is (3/l)/((-4)/168) a multiple of 7?
True
Let u(n) = 31*n**2 + n. Suppose -f = -i - 4*i + 6, 0 = -i + 5*f + 6. Let l = -2 + i. Is 13 a factor of u(l)?
False
Suppose 0 = 3*g - 0*g, g = -2*l + 8. Suppose 43 = 3*j + k - 4, 35 = 3*j + l*k. Is 17 a factor of j?
True
Suppose 0*z - 2*z + 109 = q, 0 = 5*q - z - 501. Does 36 divide q?
False
Let l = 99 - -6. Is 35 a factor of l?
True
Suppose -2*a = -3*l + 738, -l - 2*a - 250 = -2*l. Is (9/18)/(2/l) a multiple of 26?
False
Suppose 3*p - 600 = 99. Is 24 a factor of (-6)/(-15) - p/(-5)?
False
Let a = 367 + -196. Does 20 divide a?
False
Let y(p) = -p**2 + 6*p + 1. Let x be y(10). Let a = x - -95. Is a a multiple of 14?
True
Suppose u = 4 - 5, 0 = -4*q - 2*u + 18. Let r be (0 - 2) + (q - -1). Suppose 0 = -6*h + r*h + 16. Is 5 a factor of h?
False
Suppose 3*x + 56 = 2*f, 39 = 4*f - 4*x - 81. Is 13 a factor of f?
False
Is 11 a factor of ((-63)/(-14))/((-9)/(-48)) + 3?
False
Suppose -v + 17 = -24. Does 14 divide v?
False
Suppose 2*d - 2 = 2. Suppose d*c = 2*w - 28, -40 = -3*w - 2*c + 22. Is 9 a factor of w?
True
Let q(f) = 116*f**3 + f - 1. Does 15 divide q(1)?
False
Let t = -1 + 6. Suppose 522 = t*x - 38. Let c = x - 80. Is c a multiple of 15?
False
Let c = 15 - 15. Suppose c = 3*w + 5*h - 1, -w + 5*h + 35 = 8. Does 7 divide w?
True
Does 10 divide 747/15 + (-3)/(-15)?
True
Is 26 a factor of 104/((-3 + 2)*-1)?
True
Suppose 3*i - 3*o = 14 + 106, -o = 0. Suppose -4*d - i = -128. Is d a multiple of 11?
True
Let r = -3 + 7. Suppose s + 9 = r*s. Suppose -48 = -4*y - s*m + 6*m, -5*m = -3*y + 47. Is y a multiple of 9?
True
Suppose 4*z - 6 = -2*q - 0*z, -2*q + 5*z - 3 = 0. Suppose -5*x + 0*g - 5*g + 10 = 0, -9 = 3*g. Suppose -2*j + x*s = -2, 3*s - 29 = -4*j + q. Does 6 divide j?
True
Let x(a) = 4*a**2 + 3*a - 4. Let d = 0 + 2. Let i = d + 1. Is 18 a factor of x(i)?
False
Suppose u = -h + 6 + 14, -5*u - 2*h = -112. Let p = 79 + -43. Let a = p - u. Does 6 divide a?
True
Let v = 130 - 74. Is v a multiple of 20?
False
Let t(k) = 202*k + 8. Does 30 divide t(1)?
True
Suppose -8*h + 3*h = 0, 2*h = -2*r - 76. Let c = -26 - r. Is 4 a factor of c?
True
Suppose 0 = 97*z - 96*z - 33. Is z a multiple of 11?
True
Let o = 28 - 5. Is 8 a factor of o?
False
Suppose 4*f + 14 = 2. Let y be (2/f)/(1/3). Let t = 0 - y. Is 2 a factor of t?
True
Let s(m) = -2*m - 1. Let p be s(-4). Suppose -p + 85 = 3*q. Is q a multiple of 13?
True
Suppose -108 = 3*i - 9*i. Is 2 a factor of i?
True
Let x(o) = o**2 + 7*o + 8. Does 17 divide x(-12)?
True
Let d(h) = -h**3 - 21*h**2 + 18*h - 16. Does 36 divide d(-22)?
True
Suppose 7*y + 614 = 2329. Is y a multiple of 49?
True
Let j(h) = 2*h**3 - h. Let m be j(1). Let d = 0 - m. Is (4*2)/(d/(-2)) a multiple of 6?
False
Suppose p - 867 = 4*q - 7*q, 0 = -p. Is q a multiple of 17?
True
Let n be (3 - (-2)/(-2)) + -1. Is 11 a factor of (88/6)/(n/3)?
True
Suppose 0 = 8*z - 0*z + 24. Let u(a) = 2*a**3 + 19*a**2 - 9*a - 1. Let l(f) = -f**3 - 9*f**2 + 4*f + 1. Let x(h) = -7*l(h) - 3*u(h). Is x(z) a multiple of 12?
False
Suppose 3*w - 3*a + a = 361, -355 = -3*w - a. Does 17 divide w?
True
Let j = -19 - -24. Suppose -j*m + 3 = 2*u - 99, 0 = 2*u - 3*m - 134. Is u a multiple of 13?
False
Let g(u) = u**2 - 9*u + 2. Let r(f) = -f**2 - 9*f + 1. Let c be r(-8). Let x be g(c). Suppose 4*q - 48 = -2*v - x*v, 3*v = 2*q - 44. Does 6 divide q?
False
Let c(o) = -o**3 - 6*o**2 - 3*o - 2. Let x(d) = -d**2 - d. Let s be x(2). Let r be c(s). Suppose 2*w - 4*z - 58 = -0*z, -4*z - r = 0. Is 16 a factor of w?
False
Suppose 4*a + 3*o = 2*o + 379, -5*a + 4*o = -479. Is 19 a factor of a?
True
Let j(a) = -3*a**3 - a**2. Let b be j(-1). Suppose b*p - 272 = -2*p. Does 23 divide p?
False
Let m = -2 - -82. Is m a multiple of 10?
True
Let g be ((-59)/(-3))/((-1)/(-3)). Suppose 4*c - 3*o - 33 = g, c = 3*o + 14. Is 13 a factor of c?
True
Let i = -10 - -10. Suppose -q + 5*q + 276 = i. Let v = q - -99. Is v a multiple of 15?
True
Let v(z) = -z**2 - 13*z + 3. Let j be v(-11). Suppose 50 = 5*i - j. Is i a multiple of 15?
True
Let d be 1116/14 - (-14)/49. Let s(g) = g**3 - 5*g**2 + 5*g - 1. Let q be s(4). Suppose d = j + q*j. Does 10 divide j?
True
Let d(n) = n**3 - 12*n**2 - 3*n + 8. Let h be d(12). Is (1/2)/((-1)/h) a multiple of 7?
True
Suppose -h + 1 = -1. Let m be (2/(-1))/h*-2. Suppose -17 = -3*f - m. Does 2 divide f?
False
Suppose -l + 5*l - 232 = 0. Suppose 0 = -2*n - 4 - 0, -2*v + l = -3*n. Is 13 a factor of v?
True
Suppose -t - 5*l + 18 = 2*t, -24 = -4*t - l. Suppose t*w - w = 5*z + 125, -15 = 3*z. Is w a multiple of 15?
False
Suppose 136 = 4*x + 20. Is x a multiple of 29?
True
Is 2/5 - (-1022)/70 a multiple of 3?
True
Let o(d) = 3 - 3 + d - 2 + d**2. Is o(-3) a multiple of 4?
True
Let r(b) = b**3 + 9*b**2 - 27*b - 2. Is 15 a factor of r(6)?
False
Let q = -17 + 10. Let d(h) = h**2 + 6*h - 7. Let k be d(q). Suppose 0 = -t - k*t + 3. Is t a multiple of 2?
False
Let c be -5*2/4*-14. Suppose 4*p + j + 54 + 50 = 0, -62 = 2*p + 3*j. Let r = p + c. Is 10 a factor of r?
True
Suppose 68 + 61 = -3*d. Let g = 88 + d. Let i = 71 - g. Does 11 divide i?
False
Suppose -363 = -4*a +