s 14 a factor of (-27)/(x*(-2)/(-6))?
False
Let t = 392 + -24. Does 23 divide t?
True
Suppose -1036 = -5*s + 2*m - 4*m, -3*s + 5*m = -603. Let f = -110 + s. Is 13 a factor of f?
False
Let x = 14 - 14. Let l = 14 - x. Is l a multiple of 6?
False
Suppose 47544 = 15*u - u. Is u a multiple of 12?
True
Suppose 0 = -k - 2*k + 6. Suppose 5*f - 40 = -k*j - j, 2*j - 10 = 0. Suppose f*t - t = 16. Is 2 a factor of t?
True
Suppose -2*u + 252 = u. Let v = 125 - u. Is v a multiple of 17?
False
Let x(q) = -q**2 + 23*q - 31. Let d = -12 - -26. Does 31 divide x(d)?
False
Let f = -1151 - -1320. Is 13 a factor of f?
True
Suppose -o = 5*p - 18, 2*p + 8 = 4*o + 2. Suppose -2*w + 2*s = -p*s - 34, -2*w + 4*s + 36 = 0. Is w a multiple of 22?
True
Suppose -5*s + w + 64 = 0, -s - 5*w = 3*s - 57. Suppose 0 = 2*k - 5*c - 52, k - 2*c - 15 = s. Suppose 4*a - k + 8 = 0. Is a a multiple of 2?
False
Let p be (-40)/25*15/1. Let l = p + 40. Is l a multiple of 6?
False
Let l(f) = -5*f + 8. Let t(w) = -2*w. Let i(h) = l(h) - 3*t(h). Suppose -n + 3 + 8 = 0. Is i(n) a multiple of 6?
False
Let p(f) = 20*f**2 + 12. Is p(3) a multiple of 12?
True
Is 744 + 48/(-56)*-7 a multiple of 30?
True
Let v(u) = u**2 + 1 - 6*u - 8*u + 17 + 10*u. Is 5 a factor of v(6)?
True
Let o(s) be the first derivative of -9*s**4/4 + s**3/3 + 5*s**2/2 + s + 13. Is 8 a factor of o(-2)?
False
Suppose 5*p = 3*d - 28, 16 + 16 = 4*d - 4*p. Suppose 26 = 4*m + d. Let l = m + 14. Is l a multiple of 12?
False
Let m = -25 + 28. Suppose -5*t + 17 = -m. Is 3 a factor of t?
False
Let v = 333 + 900. Does 23 divide v?
False
Let x be (-8)/28 + 317/7. Suppose 4*f - 5*b + 10*b = x, -22 = -2*f - 2*b. Is f a multiple of 4?
False
Suppose -3*p + 352 = 5*p. Suppose 5*a - 61 - p = 0. Is 20 a factor of a?
False
Let p(o) = o**3 + 3*o**2 - 5*o - 4. Let c be p(-4). Suppose 6*g - g - 60 = c. Is 2 a factor of g?
True
Let n(m) = -12*m - 6 + 0*m**2 - 2 - 4*m**2 + 2*m**2. Let o be n(-6). Does 9 divide (-37)/(-2) - (-4)/o?
True
Let t = 463 - 73. Let u = t + -183. Let h = u - 116. Does 19 divide h?
False
Let k(m) = -m**3 + 3*m**2 + 2*m + 8. Let v be k(4). Suppose v = 17*l - 13*l - 888. Is l a multiple of 22?
False
Let k be -62*(-2)/4 - 1. Suppose 3*r + 0*b - k = 3*b, -2*b - 5 = r. Suppose -r*m + 4*n + 430 = 0, 0 = -5*n + 4*n + 5. Is 17 a factor of m?
False
Let p(b) = 2*b + 14. Let l be p(-6). Let c be (5 - 5)/(3 - l). Suppose c = 5*t - 0 - 45. Is t even?
False
Let b = -27 - -76. Let h = b + -22. Is 9 a factor of h?
True
Suppose -37*w - 366 = -31*w. Let o = 221 + w. Does 23 divide o?
False
Suppose 0*b - 3*h + 124 = b, 2*h + 6 = 0. Suppose -87 - b = -5*t. Does 12 divide t?
False
Let v(l) = l**3 + 7*l**2 - 2*l + 12. Let u be v(-7). Let d be 6/21 - u/(-7). Suppose -27 - 45 = -d*t. Is 6 a factor of t?
True
Let n(k) = 2*k**3 + 39*k**2 - 50*k - 18. Let m(d) = d**3 + 19*d**2 - 25*d - 9. Let c(j) = -7*m(j) + 4*n(j). Does 5 divide c(-24)?
True
Let z = -64 - -143. Is 26 a factor of z?
False
Suppose 0 = -3*l + 4*l + 6. Does 16 divide ((-4 - l) + -50)*2/(-3)?
True
Suppose -25*r + 5183 + 17 = 0. Is r a multiple of 52?
True
Suppose -2*y + 5 = 5*x, 0 = -x + 2*x - 2*y - 13. Suppose 5*o + 30 = 110. Suppose -n + 7 + 11 = x*p, o = n + p. Is n a multiple of 7?
False
Suppose -35 = 3*j - 8. Let i be (-20)/35 - j/(-21). Let m(l) = 70*l**2 + l. Is m(i) a multiple of 17?
False
Suppose 4*n - 26 = -w - 2*w, 0 = 4*n - w - 34. Is (-396)/n*8/(-12) a multiple of 6?
False
Let y = -428 + 802. Let d = 677 - y. Suppose -4*h + 7*h = d. Does 16 divide h?
False
Let t(x) = 30*x**3 - 4*x**2 + 13*x - 1. Is 29 a factor of t(3)?
True
Suppose -3*w = -4*a - 1, -w = -a - 5 + 4. Suppose h - 196 = -w*n, 2*h = n - 0*h - 56. Does 8 divide n?
True
Let n = 0 - 2. Is -2*(-22 + (n - -6)) a multiple of 23?
False
Let x(d) = -d + 9. Let s be x(8). Let y be ((-2184)/(-36))/(s/6). Suppose y = 4*l + 3*l. Does 12 divide l?
False
Suppose -q = -4*u + 67, 313 = -5*q - 3*u + u. Suppose -4*f = f - 565. Let y = f + q. Does 25 divide y?
True
Is 12 a factor of (-1)/2 - (-1694)/28?
True
Let b(v) = 2*v + 26. Let g be b(0). Is (-18)/117 - (-82)/g even?
False
Let y be (-1 - (-365)/10)*-2. Let p = -2 - y. Does 34 divide p?
False
Let z be (6/18)/((-1)/(-33)). Suppose -4*h - 3*j = -9 - z, -4*h + j = -36. Suppose 2*v + h = 30. Is 11 a factor of v?
True
Suppose 15*j - 50 = 40. Suppose 1729 = j*s + s. Does 24 divide s?
False
Does 5 divide (11/(308/(-384)))/((-4)/126)?
False
Let j be 18/10 - (-1 + (-16)/(-20)). Suppose 4*l + 4*d - 336 = 0, 3*l + j*d - 191 - 57 = 0. Is 12 a factor of l?
False
Let o(t) = -t**3 + 8*t**2 + t + 9. Suppose -6 = -3*z + z - 4*q, 0 = -5*z - 4*q + 27. Is 18 a factor of o(z)?
False
Let q be 2/10 + 45/25. Suppose -20 = q*r - 7*r. Suppose f + 2*z = 32, -f - 4*z - 146 = -r*f. Is 14 a factor of f?
True
Suppose 13*u = 111 + 45. Is 8 a factor of u*(3 + (-62)/18)*-9?
True
Let d(l) = 3*l - 6. Let b be d(2). Suppose -h + 2*k + 67 = -58, b = 4*h - 3*k - 475. Is h a multiple of 7?
False
Let h(m) = -5*m - 5. Let b be h(-2). Suppose -5*i - 3*f - 17 = 0, 2*f = b*i + 3*f + 9. Let j(q) = 41*q**2 + q. Is j(i) a multiple of 8?
True
Suppose -2*z + 1 = -0*f - f, 0 = 3*f - z + 8. Let v = 20 - f. Is 5 a factor of v?
False
Suppose 3*q = 15, 2*q = -4*t + 2*t + 790. Let c be t/105 - 4/(-14). Suppose -c*u - 36 = -k + 7, 5*k + 2*u - 149 = 0. Is k a multiple of 11?
False
Let q(w) = 0 + 1 - 6*w + 12*w. Let d be q(-2). Let h = d + 42. Is h a multiple of 12?
False
Let r = 0 - -11. Suppose 188*u = 194*u + 36. Let v = r - u. Is 12 a factor of v?
False
Let n = -54 + 261. Does 9 divide n?
True
Suppose 10*u - 6*u = -240. Let z = 92 + u. Suppose 58 + z = 2*x. Is 22 a factor of x?
False
Let s be -8 - -2*(-2)/(-2). Let y(f) = -f**3 - 4*f**2 + 12*f + 4. Let c be y(s). Suppose -70 = -2*w + c*n, -w + 3*n = 5*n - 15. Does 7 divide w?
False
Is -2 + (-91)/(-21) - 11643/(-9) a multiple of 27?
True
Let r = -9 + 15. Suppose -3*f - r = 6. Let v(m) = -3*m + 4. Is v(f) a multiple of 4?
True
Let g(r) = 8 + 7 + 2*r**2 + 5*r - 2 + 7*r. Is 12 a factor of g(-7)?
False
Suppose 58 = 3*q + 28. Does 10 divide 902/q + (2 - 11/5)?
True
Let i(m) = 44*m**2 + 6. Let b be i(6). Let y be b/24 + (-2)/8. Suppose -u = u - y. Does 11 divide u?
True
Suppose -5*g + 341 = 4*k, -2*k + g + 54 = -99. Suppose 3*c + 13 = -5*p + k, 66 = 3*c - 3*p. Is c a multiple of 11?
True
Let d = -57 - -31. Let j = 44 + d. Let z = j + 24. Does 13 divide z?
False
Suppose w = -v, 0*w = -5*w - 4*v + 2. Is 29 a factor of 9/9 + (225 - -2) + w?
False
Suppose -763 = 6*p - 13*p. Does 6 divide p?
False
Suppose -9*v + 2*v = -14. Let t(k) = 5*k**2 + v*k**2 - 6*k - 6*k**2 - 14. Is 32 a factor of t(-9)?
False
Let w = 2335 - 494. Does 46 divide w?
False
Suppose 21*t + 1975 = 4*j + 20*t, -4*t + 1467 = 3*j. Is j a multiple of 2?
False
Suppose 4*u - 6764 = 23*j - 28*j, -3*u - 6757 = -5*j. Is 37 a factor of j?
False
Suppose -5*o + 4*z + 5 + 45 = 0, 4*z + 20 = 2*o. Is o a multiple of 10?
True
Let d(i) = -i**3 - 3*i**2 - 5*i - 4. Suppose 0*f - 5*f + 4*l = -10, -5 = l. Does 2 divide d(f)?
True
Let t(o) = -o**2 - 20*o + 2. Let z(j) = 2*j**2 + 41*j - 3. Let c(u) = 7*t(u) + 3*z(u). Suppose 0*g = 3*g - 9, 3*r = -2*g - 33. Is 12 a factor of c(r)?
False
Let i(c) = 8*c - 2. Let h(w) = -w. Let x be (9/2)/(6/(-8)). Let l(k) = x*h(k) - i(k). Is l(-1) even?
True
Let l(a) = -4*a**2 - 5*a - 3. Let y = 4 - 7. Let f be l(y). Is (-8)/f - 16/(-6) a multiple of 2?
False
Suppose -u - 4*x = x + 96, -x = u + 80. Let q = u - -132. Does 14 divide q?
True
Suppose -3982*o + 3974*o + 24344 = 0. Is o a multiple of 13?
False
Let w(y) = y**2 - y - 1. Let s(d) = -5*d**3 + 7*d**2 - 5*d - 5. Let p(m) = s(m) - 6*w(m). Is 5 a factor of p(-1)?
False
Let o(m) = -182*m**3 + 3*m**2 + 3*m. Is 34 a factor of o(-2)?
True
Let r(i) = 3*i**2 + 4. Let x be r(3). Suppose -x = -u + w, 5*u - 139 = -0*w + w. Is u a multiple of 9?
True
Does 7 divide (18/48)/(4/1696)?
False
Let x(p) = 18*p**2 + 3*p - 3. Suppose -2*t - i + 9 = -2, 2*i - 7 = t. Let z = t + -1. Is 25 a factor of x(z)?
True
Let d(m) = -16*m + 32. Let n(b) = 5*b - 11. Suppose 0 = 9*y - 4*y - 10. Let r(i) = y*d(i) + 7*n(i). Is r(11) a multiple of 10?
True
Let u = -150 - -274. Suppose 6*y + u = 8*y. Is 16 a factor of y?
False
Let l be 3 - 222/78 - 108/26. Does 8 divide (-4)/16 - 249/l?
False
Let y =