Let h(f) = -f**3 + 13*f**2 - 11*f - 7. Let g = 20 - 8. Let d be h(g). Suppose 2*y = 2*l + l + 116, 4*y + d*l - 276 = 0. Does 32 divide y?
True
Suppose -z = -5*z + 1228. Suppose 0 = 5*f - z + 37. Suppose s = 5*a - f, -2*a - 4*s = -6*a + 40. Is a a multiple of 11?
True
Let z be (-5)/((-60)/212) - 2/(-6). Suppose -j - y + z = 2*y, 2*j + y - 56 = 0. Does 10 divide j?
True
Let i = -22 - -22. Let z = 2 - i. Suppose 34 = -z*t + 3*t. Is 19 a factor of t?
False
Let t(p) = -p + 13. Let h be t(8). Suppose 47 + 43 = h*r - c, -4*c + 115 = 5*r. Is r a multiple of 19?
True
Let a = 881 + -699. Is a a multiple of 4?
False
Let w be (-2 + (-21)/(-9))/((-9)/(-162)). Let g = w + -3. Does 3 divide g?
True
Let f = -21 - -661. Is f a multiple of 32?
True
Let v(u) = 3*u**2 - 6*u + 14. Let c be v(6). Is 6 a factor of (1/2)/(1/c)?
False
Let r be (245/(-14))/(1/(-6)). Let o = r - 49. Is 14 a factor of o?
True
Let o = 630 - 458. Does 43 divide o?
True
Let p = -127 + 1274. Is 31 a factor of p?
True
Let z(h) = h. Let d(r) = 38*r - 9. Let p(o) = d(o) + 3*z(o). Is 7 a factor of p(2)?
False
Let r(m) = m + 590. Does 9 divide r(-17)?
False
Let k be (0 + -12)*1/2. Let a(x) = -2*x - 9. Let j be a(k). Suppose j*q + 2*q = 205. Is q a multiple of 31?
False
Let z(v) = 3*v**3 - 6*v**2 - 3*v + 1. Let i(y) = -y**3 + y**2 - y - 1. Let k(q) = 6*i(q) + z(q). Is k(-3) a multiple of 12?
False
Let s(g) be the second derivative of g**4/12 + 5*g**3/6 + g**2 - 3*g. Let d be s(-6). Let w = 16 - d. Does 2 divide w?
True
Suppose 3*n - 1283 - 1111 = 0. Is n a multiple of 28?
False
Suppose 4*u = 2*u - 10, 15 = -a - 4*u. Let n be 2 - 2 - (4 - a). Is 6 a factor of 42/7 + (1 - n)?
True
Let l be (-1)/(-4) - (-59)/4. Let i(y) = y**3 + 9*y**2 - 12*y - 19. Let x be i(-10). Let n = l + x. Is n a multiple of 4?
True
Let h be (2 - 3)*(-3 + -18). Suppose -5*v + 4*v + h = 0. Is 3 a factor of v?
True
Let i(b) = 3*b**3 - 7*b**2 + b + 2. Is i(5) a multiple of 23?
True
Suppose n - 2397 = -3*c - 2*n, -4 = 4*n. Does 14 divide c?
False
Let z = 194 - -88. Suppose -33*m + 30*m = -z. Is 16 a factor of m?
False
Suppose -5*j = -2*l - 21, -2*j - 3*l + 20 = 2*l. Let p(s) = 8*s**2 - 11*s - 6. Is 13 a factor of p(j)?
False
Let w = 29 + -11. Is 3 a factor of 12/w*(17 - -1)?
True
Is 3 - -39 - (1 + -1) a multiple of 7?
True
Suppose -35*x = -39*x + 1304. Does 56 divide x?
False
Is (15*-32)/(-5*(-7)/(-175)) a multiple of 30?
True
Let o = 2114 - 1267. Is 20 a factor of o?
False
Let i = -790 - -2390. Is i a multiple of 20?
True
Let w be -4 + 4 + -2 + 6. Suppose h - w = 84. Suppose -9*t + h = -5*t. Is t a multiple of 22?
True
Let m be ((-12)/(-5) - 0)/(1/90). Suppose 19*c + m = 23*c. Is 18 a factor of c?
True
Let m(h) = -961*h - 155. Let y(s) = -37*s - 6. Let t(v) = 6*m(v) - 155*y(v). Is t(-2) a multiple of 13?
False
Suppose -2*l + 3 + 7 = 0. Suppose -4*g - l*u = 17 - 4, 0 = 5*g - 2*u + 8. Does 9 divide (g + 22 - 0)*1?
False
Suppose 7*s = -s. Suppose -3*o + 7*o = s. Suppose o = -6*h + 4*h + 48. Is h a multiple of 8?
True
Suppose 3*d = 2*m - 2*d - 3816, -2*d - 1910 = -m. Suppose 5*z + 3*x = 1926, -5*z + 0*x + x + m = 0. Does 24 divide z?
True
Suppose -2*u + 90 = 2*m, -2*u = -4*m - 45 - 15. Suppose -u = -2*o + 2*n, 4*o - 3*n = -0*o + 76. Does 9 divide (-4)/o - (-85)/4?
False
Let u(r) be the first derivative of -r**3/3 + 3*r**2/2 - 7. Let h be u(3). Suppose 5*z - 35 - 85 = h. Is 12 a factor of z?
True
Does 9 divide (3 - (-54)/(-12))*-42?
True
Let b = 73 - 20. Suppose -5*h - 3*o + b = 0, 3*h + 5*o + 13 = 48. Is 3 a factor of h?
False
Let i = 14 + -12. Suppose 19 = -i*g + 185. Suppose 4*t - 69 - g = 0. Does 19 divide t?
True
Let a = 13 - 6. Let i(s) = -s**2 + s + 10. Let j be i(a). Let b = j + 75. Does 16 divide b?
False
Let l be 3 + (1 + -1 - (-1 + -6)). Let i = 109 + l. Is 35 a factor of i?
False
Let y(p) = -p**3 + 7*p**2 + p - 6. Suppose 5*n + 22 = -23. Let t(z) = -z**2 - 9*z + 6. Let m be t(n). Does 18 divide y(m)?
True
Does 2 divide (297 - 7)/(6 - 4)?
False
Suppose -736 - 1332 = -4*k. Is k a multiple of 11?
True
Suppose -4*j + 777 = -j. Let l = 387 - j. Does 34 divide l?
False
Let o(z) = z**3 - 9*z**2 - 8*z - 4. Let g(r) = -r**3 - r**2 + 3*r. Let j be g(-3). Suppose -3*l + j = -21. Does 8 divide o(l)?
True
Let j be (1 - 3) + 1 + 5. Suppose -j = 4*c - 16. Suppose 4*u - c*v - 151 = 0, 4*u + v + 49 = 196. Is u a multiple of 10?
False
Suppose 2*k = 5*z - 433, z - 2*k - 97 = k. Is 5 a factor of z?
True
Let t(i) = -9*i - 9. Let v(g) = -g - 1. Let m(h) = -t(h) + 6*v(h). Suppose -s - 28 = -5*s. Is 8 a factor of m(s)?
True
Let n(i) = i + 25. Let r be n(0). Suppose -3*k = 5*j - 25, 2*k = -5*j - 0*k + r. Suppose 0 = -j*d + 22 + 33. Does 3 divide d?
False
Is 3 a factor of 136/128*4*(-312)/(-2)?
True
Suppose -n + 4*n + t + 178 = 0, -5*t = -3*n - 208. Let a = 141 + n. Is 16 a factor of a?
True
Let x(j) = -258*j + 27. Is 54 a factor of x(-2)?
False
Suppose -u + p + 757 = 0, -3*u + 2*p = -2*p - 2268. Suppose 0 = 5*i - u + 240. Is 28 a factor of i?
False
Let k = 429 - 228. Does 31 divide k?
False
Is 2/(16/786) - 18/72 a multiple of 7?
True
Let b be 15/9 + 6/(-9). Let x(p) = 6*p - 1. Let l be x(b). Suppose -v + 77 = 4*v - 3*a, 5*a = -l*v + 85. Does 16 divide v?
True
Is ((-54)/(-8))/((-15)/(-5760)) - -8 a multiple of 130?
True
Let v(w) = 30*w**2 + 4*w + 48. Does 7 divide v(8)?
False
Let q = 145 - 61. Suppose h = 3*h, b + h = q. Does 11 divide b?
False
Let h be 111/15 + (-2)/5. Is 2 a factor of h/(-7)*(1 - 5)?
True
Let c be ((-2)/(16/6))/((-2)/8). Suppose -2*k + 3*x = -78, c*k - 3*x - 118 = -1. Does 3 divide k?
True
Does 48 divide 12*(-5)/((-5)/104)?
True
Is ((-125)/20)/(2/(-48)) a multiple of 25?
True
Let g(a) be the first derivative of a**3/3 - 7*a + 1. Let t be g(3). Is (-1)/(t*(-5)/950) a multiple of 19?
True
Suppose 5*l + 73 = -57. Is -41*102/l - (-14)/91 a multiple of 23?
True
Let j = -1007 - -1999. Is j a multiple of 62?
True
Is ((-50)/6)/((-14)/1092) a multiple of 26?
True
Let b = -160 + 96. Let j = b + 117. Is j a multiple of 26?
False
Let b(x) = 3*x**2 - 26*x + 98. Let o(z) = z**2 - 12*z + 49. Let g(m) = 3*b(m) - 7*o(m). Is g(7) a multiple of 53?
False
Suppose 0 = 583*s - 589*s + 3522. Does 28 divide s?
False
Suppose -6*f + f + 1395 = 0. Suppose y - 4*l + f = 4*y, 0 = -3*y + l + 264. Is 16 a factor of y?
False
Let u(j) = 190*j**2 + 27*j + 75. Does 70 divide u(-5)?
True
Suppose 3*u = v - 357, -u = 9*v - 5*v - 1441. Is v a multiple of 15?
True
Does 28 divide 8312/18 - (-1 - 35/(-45))?
False
Suppose 5*f + 8 = y + 3*y, 0 = -3*y - 2*f + 6. Is -2 - (y + (-453)/3 - 3) a multiple of 30?
True
Is 468 + 11 + -11 + 7 a multiple of 39?
False
Let o(b) be the third derivative of b**5/20 - 5*b**4/6 + b**3 - 27*b**2. Is 19 a factor of o(8)?
True
Let t(o) = -7*o - 59. Let m be t(-9). Is 17 a factor of 145/((-3 - 0) + m)?
False
Let r = -29 - -107. Let x = r + -36. Is x a multiple of 21?
True
Let d = 52 - 49. Suppose -s - 34 = -h, 0*h - d*h = -4*s - 105. Does 10 divide h?
False
Suppose 9*n = 3141 + 3807. Is n a multiple of 53?
False
Let s be 170/7 + 10/(-35). Let n be ((-30)/(-8))/(6/s). Is 3/15 + 102/n even?
False
Suppose -2*d + 4 = 4*t, 0*t + 4 = -2*t + 2*d. Suppose -3*j + 260 = -3*a + 7*a, t = 3*j + a - 254. Is 21 a factor of j?
True
Let b(a) = -a**3 + 2*a + 4. Let k be ((-8)/(-3))/((-4)/6). Let r be b(k). Suppose -2*g + r = 3*g. Does 4 divide g?
True
Let z be -9 + 7 - (-1 + -3). Suppose -z*c = -2 - 8. Is 3 a factor of c - (2 + 0 - 3)?
True
Let i = 88 - 144. Let o = -35 - i. Is o a multiple of 21?
True
Suppose -b + 54 = 2*p - 84, -552 = -4*b + 2*p. Is 11 a factor of b?
False
Let r = 114 + -106. Suppose 0*q + 528 = r*q. Is 9 a factor of q?
False
Suppose -8*t = -3*t - 3*k - 6627, 0 = -4*t - 3*k + 5280. Does 44 divide t?
False
Let x(t) = -364*t**3 - t**2 + t - 1. Let b be x(1). Let q = -210 - b. Is 15 a factor of q?
False
Let p(f) = -f**2 - 90 + 2*f**2 - 10*f + 93. Let t be p(10). Suppose t*z = -2*w - 5, 5*z + 50 = 4*w + w. Does 2 divide w?
False
Does 19 divide ((-4)/(-10) - 0)/(7/15085)?
False
Suppose 0 = -2*a + 5*u + 316, 88 = -3*a + 2*u + 584. Does 8 divide a?
True
Suppose 528 = -4*x + 1608. Does 18 divide x?
True
Let c(f) = 10*f + 7. Let t(w) = -w + 4. Let s be (-12)/(-20) - (-46)/(-10). Let l be t(s). Is c(l) a multiple of 29?
True
Let u be (-10)/(-25)*15/