e -3*y - 4848 = -8*y + 2*c, -4*c + 4 = 0. Is 10 a factor of y?
True
Let k = 9 + 25. Suppose 4*o - 3*z - 57 = 0, 0 = 5*o - 3*o + 4*z - k. Is o a multiple of 3?
True
Suppose 4*u - 8 = -l + 52, 4*l - 32 = -3*u. Suppose -4*a - u = -4, -2*d + 92 = -4*a. Is d a multiple of 24?
False
Let x(n) = 2*n**3 - 4*n**2 + 3. Let i be x(3). Let d be i - 11 - (3 + 0). Suppose 6*s = d*s - 12. Does 4 divide s?
True
Suppose 7*o - 8*o + 2 = 0. Suppose 4*t + t = o*v - 21, -5*t - 3*v = 31. Does 9 divide 2*18 + (-4 - t)?
False
Is 11084/22 + 144/792 a multiple of 36?
True
Suppose -2 = -2*c - 0*c. Suppose h = -3*m - 1 - c, 5*h - 54 = m. Let k = 30 + h. Is k a multiple of 10?
True
Does 8 divide -5 + 3 + 197 + 1*4?
False
Suppose o - 3*o + 10 = 0. Suppose 4*a - 19 - 20 = -f, -o*a + 96 = 3*f. Is (-72)/f*18/(-4) a multiple of 6?
True
Let n = -4 + 7. Let o be 15/13 - 10/65. Suppose o = n*t - 101. Is 12 a factor of t?
False
Suppose 5*p - 2*i - 3424 = 5559, 0 = 3*p - i - 5389. Does 10 divide p?
False
Let c be -4 - (-3)/((-9)/(-33)). Suppose s - 64 = -c*s. Does 4 divide s?
True
Suppose -4*l - 8 = 5*u, -3*l + 2 = 4*u + 9. Suppose 283 = 2*x - b, x - 143 = 4*b - l*b. Does 35 divide x?
True
Let d(n) = -n**3 + 7*n**2 + 9*n + 1. Suppose 2*q - 18 = q. Let o = q + -10. Is 5 a factor of d(o)?
False
Let p = 53 - 29. Suppose -p*a = -21*a - 171. Does 9 divide a?
False
Let p(f) = 78*f + 2. Let i(x) = -x**3 + 3*x**2 + 4*x + 1. Let v be i(4). Does 19 divide p(v)?
False
Let c = 14 + -10. Let m = 40 + c. Let p = m - 1. Does 10 divide p?
False
Suppose s + s = 4*r, 2*r = 4*s. Suppose -k + 0*m + 2*m + 165 = 0, r = -4*m - 12. Is k a multiple of 24?
False
Let v(f) = f**2 + 7*f - 102. Is v(-25) a multiple of 12?
True
Let t = -414 - -739. Does 13 divide t?
True
Let b(x) = 3*x**2 - 6*x - 8. Let d be b(5). Suppose 0 = 6*l - d - 233. Does 12 divide l?
False
Suppose 2*z - 175 = -3*z. Let c = z - 5. Is 13 a factor of c?
False
Let t be (2 - 1)/((-12)/(-36)). Suppose 2*m - t*m = -5*l + 66, 0 = l - 2*m - 6. Suppose 0 = 4*a + 4, -5*a - l = -j - 1. Is 3 a factor of j?
False
Suppose 11*x = 9*x + 202. Suppose -4*t - k + 404 = 0, -2*t - x = -3*t - 4*k. Suppose 0*o - o - t = -3*p, p - 42 = 2*o. Does 7 divide p?
False
Let q be ((-12)/30)/((-1)/15). Suppose -m = -2*m + 4*s - 2, q = 5*m - 4*s. Suppose g + 4*v - 28 = 0, -m*g = -7*v + 2*v - 108. Does 6 divide g?
False
Let d be (-1)/((-356)/88 - -4). Let z = 71 + d. Does 17 divide z?
False
Suppose 5*t + 23 = p, 3*p + 7 = -3*t - t. Suppose 0 = p*r + 9 + 12. Is 4 a factor of (-1)/((-2)/(1 - r))?
True
Let d be (-2)/(2*3/(-6)). Let m(a) = a**2 - 9*a + 42. Let z be m(6). Suppose 4*o + 53 = 5*h, -3*h - d*o + 7*o = -z. Is h a multiple of 5?
False
Let w be ((-4)/(-3))/((-2)/(-9)). Is 50/w + (-8)/(-12) even?
False
Let p(z) = -363*z - 7. Let h be p(3). Is 9 a factor of (-2)/3 - h/24?
True
Suppose 218 + 34 = 9*f. Suppose -t - 5*s + f = -0*s, -2*t + 4*s + 126 = 0. Is t a multiple of 21?
False
Let p(y) = y**2 + 31*y - 22. Let i be p(-29). Let w be 2/(-4) + (-1100)/(-8). Let u = i + w. Does 19 divide u?
True
Let m = 2801 - 834. Is m a multiple of 183?
False
Let v = -6 - -78. Suppose 8*r - 2*r = v. Does 12 divide r?
True
Suppose 0 = -2*l + 8, -4*l = -10*x + 5*x + 1454. Is 14 a factor of x?
True
Suppose 5*r - 21 = 2*f, -22 = -f - 4*r - 0*r. Suppose -2*g = -u + 59, 2 = -g - f. Is u a multiple of 14?
False
Let n = 10 + -20. Let c(i) = 2*i**2 + i + 12. Let l(u) = 3*u**2 + u + 24. Let y(w) = 5*c(w) - 3*l(w). Is 34 a factor of y(n)?
True
Suppose 0 = -c - 4, -6*k + k - 3*c = -163. Is 1305/k - (6/21 - 0) a multiple of 4?
False
Suppose 0 = -y + 2*y. Let i be (y - 2 - 1)*-1. Suppose i*d = 4*l + 56, 0 = -d - l + 3*l + 16. Does 6 divide d?
True
Let g(w) = -5*w**3 + 2*w**2 - 4*w - 2. Let a be g(-4). Suppose 8*m - 10*m = -a. Is m a multiple of 23?
False
Let l(t) = t**2 + 23*t + 37. Let r be l(-20). Let v = 56 - r. Does 11 divide v?
False
Suppose 0*l - 14 = -2*l. Suppose -8 - l = -5*d. Is 10 a factor of -10*d*(-2)/4?
False
Let r = -559 + 618. Does 59 divide r?
True
Let t = 319 + -316. Let w(x) = x. Let g(n) = 2*n**3 - 4*n**2 + 9*n + 1. Let z(p) = g(p) - 3*w(p). Is z(t) a multiple of 20?
False
Let j(d) = d**2 - 26*d + 42. Let x be j(23). Let u = x - -41. Does 2 divide u?
True
Suppose -5*a + 26 - 1 = 0. Suppose -a*h + 6 + 34 = 0. Let c = 32 - h. Does 6 divide c?
True
Let t be 2/9 + (-344)/144*-2. Let x(v) = v**2 + 5*v + 4. Let h be x(-4). Suppose -t*s + 17 + 58 = h. Does 5 divide s?
True
Suppose 6*g - 340 = 1250. Let a = g + -125. Is a a multiple of 14?
True
Suppose -5*j = 4*n - 1337, 3*j + 119 = n - 194. Does 41 divide n?
True
Does 14 divide 1 - -4 - (15 + -136)?
True
Let s be (8275/50)/(2/8). Let r = s + -354. Is 14 a factor of r?
True
Suppose 13*j - 11*j + 66 = 0. Let z = 57 + j. Let s = 49 - z. Does 25 divide s?
True
Suppose 30 = 5*w + 4*o, 2*w + 2*o - 4 = 5*w. Suppose d - w = 2*d. Is 16 a factor of (d - -40) + (-15)/5?
False
Suppose 2 = 2*a + t - 1, 22 = -2*a + 4*t. Let h be -1*(3 - a) - -24. Does 22 divide -19*(-5)/(25/h)?
False
Let g(b) = 5*b + 17. Let q be g(-15). Let k = q - -106. Is k a multiple of 4?
True
Suppose 0 = b - 5*x + 19 - 131, 0 = -b - 3*x + 96. Does 17 divide b?
True
Let z(q) = 3*q - 70. Does 2 divide z(29)?
False
Let k = 473 - -384. Is k a multiple of 11?
False
Let g(b) be the second derivative of 3*b**5/20 + b**4/3 + b**3/6 - 5*b**2/2 - 24*b. Is 5 a factor of g(3)?
True
Let l = 71 + -32. Does 39 divide l?
True
Let w = 78 - 49. Suppose -27*s = -w*s + 132. Does 7 divide s?
False
Let l(i) be the second derivative of 13*i**8/6720 - i**5/120 - 5*i**4/6 - 9*i. Let q(p) be the third derivative of l(p). Is q(1) a multiple of 4?
True
Let c(d) = 10 + 2*d**3 + 3 + 3 + d - d**3. Let u be c(0). Suppose -12*v = -u*v + 136. Is 10 a factor of v?
False
Let r = 84 + -86. Is (-7)/((-21)/(-9)) + 20 + r a multiple of 15?
True
Suppose 2*f - 5*h + 4*h = 1399, -1394 = -2*f + 2*h. Is 13 a factor of f?
True
Suppose 3*k - 6*t + 1 = -2*t, -4*k - 5*t = -40. Let w(y) = -y**2 + 5*y. Let i be w(k). Suppose 5*z - 289 - 1 = i. Does 29 divide z?
True
Let k be 12/(0 - -4) - 7. Let w be (-8)/(-36) + k/18. Suppose w = 5*h - 205 - 15. Is 11 a factor of h?
True
Let k = -230 - -566. Is k a multiple of 14?
True
Suppose 60*b - 53*b - 3115 = 0. Is b a multiple of 2?
False
Let r(b) = 2*b**2 + 27*b - 319. Does 3 divide r(13)?
False
Is 6 a factor of ((-17)/(-2))/(1/12)?
True
Let p(d) = -23*d - 4. Let f be p(2). Is f/250 - (1 - 156/5) a multiple of 3?
True
Let x(j) = -j**3 + 15*j**2 + 21*j - 38. Let m be 16 - 0*(-1)/(-3). Does 7 divide x(m)?
True
Suppose l - 2*y + 4 = 13, 2*l + y - 3 = 0. Let m(c) = c**3 + 5*c**2 + 7*c + 9. Let a be m(-5). Let i = l - a. Is i a multiple of 29?
True
Let i = 86 + -125. Let a = i + 54. Is 5 a factor of a?
True
Let n(h) = 303*h**2 - 8*h + 22. Is 9 a factor of n(3)?
False
Let k(m) = -m - 11. Suppose -3*p = -2*p + 11. Let z be k(p). Suppose z*h + 65 = h. Does 13 divide h?
True
Suppose 2*r + 6*r - 3528 = 0. Is r a multiple of 7?
True
Suppose 4*r = -4*n + 2*n + 82, 0 = 5*n + 15. Let x = 6 + r. Is x a multiple of 8?
False
Let l = 485 - 291. Does 37 divide l?
False
Let g(o) = -2*o**2 + 15*o - 1. Let h be g(10). Let v = h + 85. Is 10 a factor of v?
False
Let p = 603 - 333. Is 10 a factor of (2 + (-32)/24)/(4/p)?
False
Does 16 divide -1*(-474 + 48/(-8))?
True
Suppose 5*m = -0*m - 4*b, b = -5*m + 15. Suppose -l + m*l = 357. Is 29 a factor of l?
False
Let b(d) = -d**3 + 26*d**2 + 18*d + 76. Is b(26) a multiple of 30?
False
Suppose 5*q - 2*q = 6. Suppose -5*f - 4*n + 2 = 0, 0 = 3*n - q*n + 2. Is (-3 - (-3 + f))*-1 a multiple of 2?
True
Let o(v) = 6*v - 12. Let f(z) = -5*z + 12. Let a(c) = 7*f(c) + 6*o(c). Is a(-5) even?
False
Let s = 116 - 100. Is 1/((1/s)/((-11)/(-11))) a multiple of 16?
True
Suppose 94*d - 31369 = 18921. Is 3 a factor of d?
False
Suppose 3*p + 4 = 1. Is 4 a factor of (-730)/(-30) - p/(-3)?
True
Let s be 2/3*(4 + 5 + 1239). Suppose 0 = 9*v - s + 121. Does 19 divide v?
False
Let a = 484 - 254. Is 5 a factor of a?
True
Suppose -4*a + 5*l - 36 = -11, 0 = -3*a - 2*l + 10. Suppose a = z - 77 - 83. Suppose 0 = 4*p - 3*i - z, 3*i + i = 16. Is 7 a factor of p?
False
Let u(g) = g**2 - g + 56. Let x be u(0). Let n = 281 - 290. Let i = n + x. Is 14 a factor of i?
False
Suppose 109 = 2*t - 5*c, 3*c