pose 179*f = 199*f - 37060. Does 29 divide f?
False
Suppose 3*s - 166 = -f, -664 = -4*f - 0*f - 2*s. Is f a multiple of 4?
False
Suppose k + 352 = -k. Let g = k - -311. Suppose -d = -4*d + g. Does 14 divide d?
False
Suppose n = 2*n + x + 11, -5*n - 19 = -4*x. Let a(b) = -20*b + 8. Is 15 a factor of a(n)?
False
Suppose -36*n + 51*n + 330 = 0. Let f be (-102)/9*(-3 - 0). Let z = n + f. Does 12 divide z?
True
Let p be 2/6*3 - -2. Suppose 87 = p*u + 33. Suppose 4*o - o = u. Is o a multiple of 6?
True
Let c(j) = -j**3 + 6*j**2 + 6. Let h(y) = -y**3 - y**2. Let n be h(0). Suppose 4*w - 30 = -2*u, n = -w - u + 3*u. Does 4 divide c(w)?
False
Let i = 29 - 27. Suppose -34 = -4*v + i*v. Suppose s - v = f + 33, 98 = 2*s - 3*f. Is s a multiple of 31?
False
Let j = -2168 + 3810. Is 60 a factor of j?
False
Suppose 258 = 3*t + 4*v, -50 = -2*t - v + 117. Let z = -44 + t. Is z a multiple of 31?
False
Let z(s) = -s + 8. Let k be z(10). Let g(w) = 35*w - 1. Let f(d) = -104*d + 4. Let n(y) = k*f(y) - 7*g(y). Is 12 a factor of n(-1)?
True
Let s = 5 - -2. Suppose 41 = s*y + 6. Is y a multiple of 2?
False
Let s(y) be the third derivative of y**5/60 - y**4/2 - 11*y**3/6 + y**2. Does 2 divide s(13)?
True
Let x = 46 - 43. Suppose x*u - j - 56 = 2*u, 2*j + 4 = 0. Is u a multiple of 18?
True
Let z(q) = -q + 21. Let k(u) = -u + 3. Let f be k(11). Let c be 0/(0 + f/(-4)). Is 21 a factor of z(c)?
True
Suppose -2*p = 4*o - 20, 3*p + o = p + 8. Let f(l) = -9 - 4*l**2 + 3*l**2 - 13*l + p*l + 2*l**2. Is 32 a factor of f(-6)?
False
Let g(v) = -v**3 + 3*v**2 + 18*v + 24. Is g(-6) a multiple of 16?
True
Suppose 11*y - 117 = 1302. Is 43 a factor of y?
True
Let s be (2/((-8)/(-12)))/1. Let m = s + -10. Let r = 14 + m. Does 3 divide r?
False
Let h(t) = 4*t - 8. Let c be h(-6). Let r = c - -35. Does 2 divide r?
False
Suppose 356 = 3*u + u. Let c = -13 + u. Is c a multiple of 38?
True
Let n = 12 + -11. Let a be (2 - (1 - -1))/n. Suppose a = 2*i - i - 10. Is i a multiple of 5?
True
Suppose 0 = -2*q - 5*j - 21, j + 3 = -0*q - q. Suppose h - 52 = -4*f + 5*h, q*f = -3*h + 11. Is 2 a factor of f?
True
Let a = 2 - -1. Let o be 1/(6/12)*(0 + -1). Does 19 divide (a - 5)/o*30?
False
Suppose -3*a - 622 = -5*r - 7488, 3*r = 4*a - 4124. Is 15 a factor of (r/(-8))/7*2?
False
Let u = -29 - -33. Suppose -t + u*t = 252. Is t a multiple of 12?
True
Let m(a) = a**3 - 11*a**2 + 19*a - 25. Let z(s) = -2*s**2 + 26*s - 14. Let f be z(12). Is 13 a factor of m(f)?
True
Let g = 227 - -88. Is g a multiple of 12?
False
Let g(i) = i**2 - 19*i - 14. Is 12 a factor of g(29)?
True
Suppose 4320 = 40*q - 32*q. Is 27 a factor of q?
True
Let k(g) = -6*g + 1 + g**2 - 2*g**2 + 6 - 2*g**2 - 2*g**3. Is k(-4) a multiple of 7?
False
Let r be (-42)/(-4)*(-1 - -29). Let n be 9*1 + 0/2. Is 28 a factor of r/n + (-16)/(-12)?
False
Let j be -56*129/54 + (-2)/9. Let u = 6 - j. Is 35 a factor of u?
True
Suppose 8*s = 9457 - 713. Is 17 a factor of s?
False
Suppose 5*i - 27 = 4*l + 22, -3*l + 5*i = 33. Let g(u) = -u**3 - 19*u**2 + 24*u + 40. Let o be g(-20). Let k = l - o. Is k a multiple of 8?
True
Is 27 a factor of (19/(-38))/((-1)/1674)?
True
Let s(k) = -3*k. Let l(o) = -o**3 + 3*o**2 + 5*o - 5. Let j be l(4). Let x be s(j). Let f(i) = 3*i**3 - 2*i**2 - 4*i + 1. Is f(x) a multiple of 26?
True
Let g(b) = -b**3 - 20*b**2 + 2*b + 43. Let r be g(-20). Is 2 a factor of 19*(-1 + r + 1)?
False
Let c(v) = v**3 + 3*v**2 - 4*v. Suppose 0 = 3*b - 6*b + 12. Suppose -5*f - 8 - 17 = 2*o, -2*o = -b*f - 2. Is 10 a factor of c(f)?
False
Let y = -268 + 327. Is y a multiple of 3?
False
Let h be (2/3)/(2/18). Is (3/h)/((-1)/(-122)) a multiple of 9?
False
Let l = 11 - -43. Does 8 divide l?
False
Let c(t) = -t + 12 - 6 + 0*t. Let v = 4 + -1. Is c(v) a multiple of 2?
False
Let d be 1254/(-15) + 6/10. Let y be (-1)/2*(1 - 1)/3. Is (10 - d) + (y - 0) a multiple of 31?
True
Let h = 14 - 10. Suppose -4*b + 48 = -4*q, -2*b - h*q + 2*q = -32. Is 5 a factor of b?
False
Does 2 divide (-8 - 209)/((-1)/(-1) + -2)?
False
Let z(s) = 2*s + 2. Let c be z(1). Suppose 2*b = -c*h + 8, 0 - 4 = -h. Let x = 37 + b. Is 19 a factor of x?
False
Suppose -16293 = -28*j + 3727. Does 55 divide j?
True
Let x = 59 - 57. Is 5 a factor of (x - -2) + 1/1?
True
Let a(l) = -2*l + 48. Is a(11) a multiple of 26?
True
Suppose 5*l + 39 = 2*c + 485, -100 = -l - 5*c. Is 15 a factor of l?
True
Let n = -127 + 157. Let b = n - -130. Does 26 divide b?
False
Let t = -33 + 50. Let a be ((-2)/(-6))/(t/459). Suppose -11*s + a*s + 60 = 0. Is s a multiple of 5?
True
Let g(r) = 2*r**2 + 20*r - 15. Is 9 a factor of g(-13)?
True
Suppose 54*c - 852 = 42*c. Does 3 divide c?
False
Let q(k) = k**3 - 17*k**2 - 10*k + 54. Is 10 a factor of q(18)?
False
Let d(v) = -v**3 - v**2 - 4*v + 5. Let o(k) = k - 1. Let f(r) = d(r) + 3*o(r). Let g be f(0). Suppose 0 = -3*w - g*w + 135. Is w a multiple of 17?
False
Suppose 2*h = -2*h - 36. Is (1 + -55)/(h/18) a multiple of 27?
True
Suppose 23*g - 1848 = 12*g. Does 8 divide g?
True
Let x(n) = n - 3. Let t be x(6). Suppose t + 7 = m. Suppose 0 = -r + b + m, 0 = 2*r + 2*r - 3*b - 37. Is r even?
False
Let l be 12/(2 - -2) + 1. Let s(r) = r**2 - 9. Let o be s(l). Let f(h) = -h + 12. Does 5 divide f(o)?
True
Suppose -10*t + 2010 + 2630 = 0. Is t a multiple of 8?
True
Suppose 0 = -2*v - 0 - 4, 2098 = 3*y - 2*v. Is 41 a factor of y?
False
Let j(i) = -7*i**3 + 6*i**2 + 6*i - 10. Does 30 divide j(-4)?
True
Suppose -17*k + 5410 + 5606 = 0. Is 27 a factor of k?
True
Let m = 957 + -832. Does 98 divide m?
False
Suppose 8*t = 1108 + 404. Is 28 a factor of t?
False
Let j be (24/(-30))/(1/(-5)). Suppose -z = -j*k + 52, z + z = -k + 4. Is k a multiple of 4?
True
Suppose -t = 5*j - 1658 + 110, 0 = -j + 2*t + 314. Is j a multiple of 16?
False
Suppose b - 10 - 294 = 0. Suppose g = 3*z + 3*g - b, -4*g = -8. Is z a multiple of 9?
False
Let z be (8/(-5))/(8/(-20)). Suppose 2*h = -3*d + 4*h - 1, z*d + 28 = -4*h. Does 2 divide (-93)/(-18) + d/18?
False
Suppose 6*w = 2*w + 1256. Suppose -5*x = -3*x - 196. Suppose x = 4*d - w. Does 26 divide d?
False
Suppose -36 = 4*n - 3*z, 3*n - z + 27 = -4*z. Is (-3 - -2)*n*4 a multiple of 12?
True
Suppose -4*s + 1330 = 466. Is s a multiple of 8?
True
Let c = 230 + 105. Let v = c - 107. Does 19 divide v?
True
Let f = 24 + -18. Suppose f*q - 89 = 79. Does 14 divide q?
True
Let x = 80 - 61. Let z = x - -29. Is 16 a factor of z?
True
Suppose w = -0*w - 6. Let n be (-4)/(-18) + w/27. Suppose n = -3*s - 2*s + 80. Does 7 divide s?
False
Suppose 2*i + 0 + 6 = 2*f, i - 3*f + 5 = 0. Let j(a) = -58*a - 2. Let p be j(i). Suppose -2*v + p = v. Does 9 divide v?
False
Let w = -17 - -22. Suppose 88 = 2*o - w*h, -4*o - 2*h = -38 - 114. Is o a multiple of 13?
True
Let p(n) = 25*n**3 + n**2 - 5*n + 6. Is 45 a factor of p(3)?
True
Let c(o) be the third derivative of -o**6/120 + 4*o**5/15 - 7*o**4/12 - 8*o**3/3 - 7*o**2. Let k be c(15). Is 2/k*(-18 - 1) a multiple of 19?
True
Suppose 7756 = 9*f - 7103. Is f a multiple of 64?
False
Let q be 2/(-15) + 12985/75. Is -1*q/(-3)*3 a multiple of 13?
False
Suppose 2*c = -4*c. Suppose c*h - 2*h = -5*q + 280, -3*q - 3*h = -168. Is q a multiple of 16?
False
Let q be 6/(-2)*(1 + 0). Let t(g) be the third derivative of -g**6/120 + g**4/6 + g**3/2 + 99*g**2. Does 6 divide t(q)?
True
Suppose 596*x - 591*x = 2550. Does 17 divide x?
True
Suppose f = 8*f. Suppose f*r + 8*r = 344. Is r a multiple of 6?
False
Let x(k) = k**2 + 6*k + 11. Is 18 a factor of x(-17)?
True
Let q = 15 - -69. Suppose -q = -2*f - 4. Is 13 a factor of f?
False
Suppose -4*u = -7*u + 6. Suppose 0 = -z + o + 3, 0*z = -u*z - o + 9. Suppose -3*g - z*i = -86, -3*g - 6*i + 85 = -i. Does 10 divide g?
True
Let b = 2 - 13. Is (-4)/22 + (-475)/b a multiple of 13?
False
Is 338 + ((-30)/(-6) - 7) a multiple of 16?
True
Let m(i) = -19*i**3 + 4*i**2 + 10*i + 30. Is m(-3) a multiple of 61?
True
Let p be 1/(-5) - 756/(-30). Let w be (-10)/p + (-1374)/(-10). Suppose 9 = -4*v + w. Is 8 a factor of v?
True
Does 10 divide (50/15)/(1/126)?
True
Let g be 10*(-4)/(-8)*1. Let d(b) = -b**2 + 9*b - 3. Is d(g) a multiple of 7?
False
Suppose 5*d - 5455 = 2*r, -4*d + 3277 = -d - 2*r. Does 20 divide d?
False
Let f = -3 - -3. Let m be f + 3*2/1. Suppose 0 = -m*y + 3*y + 27. Is y a multiple of 3?
True
Let t = -2