 3*f - 54 = 3*y. Is 8 a factor of f?
True
Suppose 2*n + 4 - 2400 = -j, -4*j + 9628 = -3*n. Is j a multiple of 42?
False
Let u = 17 - 15. Suppose -u*s + 92 = 4*g - 56, -s = 4. Does 6 divide g?
False
Suppose w - 335 = 5*x - 8*x, 2*x = -4*w + 1310. Is 43 a factor of w?
False
Let o = -51 - 26. Let v = o - -137. Is v a multiple of 16?
False
Let y(d) = 27*d - 17. Is y(3) a multiple of 8?
True
Let m be 3/2*((81 - -2) + 3). Suppose 5*x = -3*b + 697, -3*x + m = -2*x - 2*b. Does 23 divide x?
False
Suppose -4*u + 0*l - 5*l - 540 = 0, 270 = -2*u + 3*l. Let p be 4 + 70/(-10) + 1*-84. Let t = p - u. Is 24 a factor of t?
True
Let v(t) = -t**3 + 8*t**2 - 10*t + 15. Let a be v(7). Let b = 2 + a. Is (-3)/((-15)/b)*-40 a multiple of 10?
False
Let r(n) = 116*n - 15. Does 31 divide r(2)?
True
Let c = -7443 - -10941. Is 11 a factor of c?
True
Suppose -3*z - 5*b = -4 - 1, 0 = -3*z + 3*b - 3. Suppose -2*p - 2*p - 136 = -4*n, -4*n + 5*p + 131 = z. Is n a multiple of 13?
True
Suppose 6 + 8 = -7*c. Is -3 + 61 + (-8)/c a multiple of 31?
True
Let l = -50 - -60. Suppose 2*u + l - 318 = 0. Is 14 a factor of u?
True
Let p = 15 - 106. Let u = p + 193. Is u/(-4)*(11 - 13) a multiple of 17?
True
Let y be (-402)/(-78) + (-2)/13. Suppose -2*d = -y*z + 166, 2*d = 3*z - 0*d - 102. Does 32 divide z?
True
Let p(c) = c**3 - 3*c**2 - 10*c - 2. Let l be p(5). Let x be l + 9 - 6/2. Suppose -v + 27 - 6 = 3*m, x*v = 2*m + 14. Is 2 a factor of v?
True
Suppose -4*m - 2*p = -0*p - 114, -3*m + 3*p = -90. Let o = m - -5. Is 6 a factor of o?
False
Suppose 6*i - i = 2*m - 450, 0 = -2*m + i + 442. Suppose m = 4*s + s. Is 19 a factor of s?
False
Let g be (15/9)/(25/30). Let x(c) = -c**3 + 8*c**2 + 6*c - 4. Let j be x(7). Suppose j - g = m. Is 17 a factor of m?
True
Suppose -c - 2*q + 16 = -0*q, -5*q = 4*c - 67. Suppose -a - 2*r - 2*r = -c, 4*r - 72 = -4*a. Does 6 divide a?
True
Let u = -135 - -731. Does 56 divide u?
False
Let o = -133 - -132. Let c(q) = -73*q - 1. Is c(o) a multiple of 8?
True
Is 11 - -4 - 7 - 577*-3 a multiple of 47?
True
Suppose 55 = 27*a - 16*a. Suppose a*z - 28*z + 3818 = 0. Is 15 a factor of z?
False
Suppose 2*s = 4*o + 48, 0 = -4*s + 3*o + o + 76. Let f = -30 + 44. Is 102/f - s/49 a multiple of 7?
True
Let v(s) = -2*s - 3*s - 5 - 5 - 2*s. Let o be v(-7). Is 13 a factor of 1*(-2 + o + 2)?
True
Let u be 30/12*(-8)/10. Let p = 7 + u. Suppose -200 = w - p*w. Is 16 a factor of w?
False
Suppose -495 = -2*p - 3*p. Suppose -2*j - p = -429. Let z = j + -90. Does 25 divide z?
True
Let o = -127 - -219. Does 20 divide (o + -7)/((-2)/(-4))?
False
Suppose 5*v = 1 + 2099. Is 28 a factor of v?
True
Suppose -o + 4*h + 6 = 10, -o - 4*h + 28 = 0. Does 3 divide o?
True
Let g = 34 + -34. Suppose g = -4*q + 7*q - 246. Is 24 a factor of q?
False
Let k be ((-4)/10 + 278/(-30))*-18. Let f = k + -124. Is f a multiple of 10?
True
Let r = -23 + -107. Let k = -74 - r. Is k a multiple of 28?
True
Let r(m) = 10*m - 4. Let i be (45/10 + -6)/(1/(-10)). Does 31 divide r(i)?
False
Let q = 3 + 12. Let o(b) = -b**2 + 15*b + 12. Does 10 divide o(q)?
False
Suppose 2*t + 7 + 3 = 0. Let n(h) be the first derivative of h**3/3 + 5*h**2/2 + 5*h - 1. Does 5 divide n(t)?
True
Suppose -14*n = -25*n + 19690. Is n a multiple of 19?
False
Let d be 76/1 - 3 - -4. Suppose -2*w - 3*r = -d, 4*w + w - 184 = r. Is w a multiple of 19?
False
Suppose 4*n = -n - 2*a + 2912, a + 2909 = 5*n. Is 40 a factor of n?
False
Let z(p) = 3*p**2 - 33*p + 20. Let t be z(14). Is (3/6)/(1/t) a multiple of 13?
False
Let c(a) = 228*a**2 + a + 3. Does 30 divide c(-1)?
False
Suppose -5*j - 32 = 4*a, -a + j + 2 - 1 = 0. Let v be 1/(-3) + (-1)/a. Suppose v = -2*w + 3*w - 12. Does 6 divide w?
True
Suppose 59*u + u - 177480 = 0. Is u a multiple of 16?
False
Suppose -3*n - 4*n = -56. Suppose n*g + 84 = 5*g. Let j = 33 - g. Does 13 divide j?
False
Suppose -8 = h - 2*h - 4*r, -3*h - 5*r + 10 = 0. Let k(z) = -92*z + 3. Let o be k(-3). Suppose -10*p + o + 201 = h. Is 18 a factor of p?
False
Let r = -974 - -1368. Let s be 4 - 2 - (r - 0). Is 18 a factor of s/(-12) - 2/(-6)?
False
Let l(v) = -10 - 4 + 4*v**2 - 9*v - 4*v**2 + v**2. Let d be l(11). Suppose -2*c - d = -44. Is 6 a factor of c?
True
Let p = -557 + 1597. Is 130 a factor of p?
True
Let j be -2 - (-6)/(-4)*-4. Let n be j/14 - 33/(-7). Suppose 2*o = n*g - 36, 4*g + 5*o - 14 = -5. Does 6 divide g?
True
Suppose -n - 4*n - 36 = 4*s, -3*s = 5*n + 27. Let a = s - -13. Let g = a + 22. Does 13 divide g?
True
Let r(b) = 33*b**2 - 6*b + 5. Let f be r(7). Is 34 a factor of (32/20)/(8/f)?
False
Let o = 774 - 541. Does 8 divide o?
False
Let i be (-10 - -11)*(1 + -1). Suppose -3*z - 7 + 88 = i. Suppose 0 = -4*s + 3*s + z. Does 9 divide s?
True
Suppose 5*y + 3*d - 2*d - 265 = 0, -2*y + 99 = -d. Does 26 divide y?
True
Suppose 208 = 2*r + 2*y, 12*y - 16*y - 190 = -2*r. Is r a multiple of 5?
False
Let g = 9 - 5. Suppose 4*d - 3*d - 2 = 0, -h + 39 = -g*d. Does 9 divide h?
False
Suppose 212*a - 220*a = -416. Does 2 divide a?
True
Is 27 a factor of (112 + -273)*((-2)/(-2) + -10)?
False
Let i = 9 + 3. Suppose 48 + i = r. Is r a multiple of 30?
True
Let k be -8 + (-2 - (0 + 0)). Let o be (-103)/(-8) - (-1)/8. Let b = k + o. Is 3 a factor of b?
True
Suppose c + f - 40 = 5, 96 = 2*c - 4*f. Suppose 0 = -2*l - c + 10. Let v = l + 25. Does 7 divide v?
True
Let r be 0*(-2)/(-8)*2. Let j = 2 + r. Does 13 divide 1990/45 - j/9?
False
Let c be 10/(-40) - (-9)/4. Suppose w + 2*w = 5*k + 67, 38 = 2*w - c*k. Is w a multiple of 6?
False
Suppose 5*w - 446 = -4*l, 5*l + w - 555 = -4*w. Let q = l - 76. Does 9 divide q?
False
Let g(s) = s**3 + 8*s**2 + 2*s - 4. Let a be g(-6). Suppose 0 = 2*x + 2*v - a, 0*x + 2*x - 4*v - 50 = 0. Does 19 divide x?
False
Let w = -1200 + 2095. Is 62 a factor of w?
False
Let l = 24 + -12. Let u be l/9*153/6. Suppose -x + u = -0*x. Is 29 a factor of x?
False
Is ((-9154)/230)/((-2)/10) even?
False
Let a = 765 - 426. Is a a multiple of 15?
False
Let b = 4663 + -3247. Does 8 divide b?
True
Let l(j) = -j**3 + 3*j**2 + 4. Let p be l(3). Let m(a) = a**2 + a - 1. Is m(p) a multiple of 8?
False
Suppose w + 4*w = 70. Let b = w - 14. Suppose b = 2*t - 125 - 15. Does 12 divide t?
False
Suppose 9*x - 12*x - 5*h + 470 = 0, -2*x = -3*h - 345. Does 11 divide x?
True
Suppose -w = 2*i - 163, 504 = 5*w - i - 289. Does 53 divide w?
True
Let j be (-6)/(-1*(1 - 0)). Suppose 3*c + 327 = j*c. Does 21 divide c - -2 - 3 - 1?
False
Let o = -132 + 405. Does 10 divide o?
False
Let v = 1055 + -727. Does 43 divide v?
False
Let x = -139 - -145. Suppose 2*p - g = 3, 5*p + g + g - 30 = 0. Let q = x - p. Is q even?
True
Suppose -v = -3*v - 86. Let g = v + 105. Is 16 a factor of g?
False
Let m = -79 + 75. Let l(i) = -i**3 + 2*i**2 - 2*i + 12. Does 7 divide l(m)?
False
Suppose 0 = -3*f + 3*w + 12, -4*w = -3*f - 0*w + 13. Suppose 7*j + 16 = f*j. Is 2*3 + 4/j a multiple of 4?
False
Let z(w) = -11*w - 21. Let h be z(-4). Suppose 0 = -5*j - 10, -2*x - 3*x + 19 = -2*j. Suppose 0 = x*v - 2*v - h. Does 13 divide v?
False
Suppose -2*a + 2*j + 116 + 288 = 0, 4*j = -3*a + 578. Does 33 divide a?
True
Let x(n) = -n**2 + 35*n - 193. Is 10 a factor of x(21)?
False
Let s(x) = x**3 + 3*x**2 + 3. Let h be s(-3). Suppose 0*t - h = -t. Suppose -t*b + 15 = 0, -3*k + b + b + 158 = 0. Does 18 divide k?
False
Let y be -3 + (-6 + 3)*1. Let v(a) = a**2 + 5*a - 6. Let z be v(y). Let w(k) = -k**2 + k + 68. Is w(z) a multiple of 17?
True
Let i(d) = d**3 + d**2 - 3*d - 2. Let z be (2/5)/(3/(-15)). Let j be i(z). Suppose 4*w = 12, 0 = 4*m - 4*w - j*w - 4. Is m a multiple of 3?
False
Let v = 2080 + 306. Is v a multiple of 59?
False
Suppose 2*m - 3 = -z - m, 4*z + m = 12. Suppose 5*u = -3*a + 19 + 28, 4*a = -z*u + 48. Suppose a = h - 7. Does 8 divide h?
True
Let a be (-1)/(2/55)*-2. Let g be a/5*(0 + -1). Does 24 divide (-361)/g - (-16)/88?
False
Let b(r) = -32*r**3 - r**2 + 2*r - 1. Let q be b(1). Let t be q/(-3) + 4/(-6). Is 9 a factor of ((-10)/3)/(t/(-135))?
True
Let u(m) = -m**2 - 10*m + 14. Let t be u(-10). Suppose 50 + t = -4*g. Is (-4)/g - 501/(-12) a multiple of 14?
True
Let u(y) = y**2 - 7*y + 3. Suppose 2*x = -6 + 20. Let n be u(x). Let j = 14 - n. Is j a multiple of 3?
False
Let y(s) = -8*s - 6. Let i be y(-1). Does 11 divide (-6)/9 - 365*i/(-6)?
True
Suppose t - 44 