). Let f be n(v). Suppose -f*z - 3*z = -y + 65, 2*y - 3*z = 109. Is y a multiple of 25?
True
Suppose -4*m = -14 + 2. Suppose 3*d = -0 - 3, -2*d - 371 = -m*w. Does 14 divide w?
False
Let b = 411 - 231. Is 9 a factor of b?
True
Suppose 4*v - 27 = -43. Let m = 52 + v. Is m a multiple of 16?
True
Suppose 0 = -4*p + 7 + 17. Let q be ((-44)/12 - -3)*p. Let z(d) = d**2 + 6. Is 22 a factor of z(q)?
True
Let f be -1*2/3*(-12 + 6). Suppose -f*t = -127 - 21. Does 25 divide t?
False
Let u = 325 + -116. Is 25 a factor of u?
False
Is 12 a factor of 236/(-4)*(14 - 10 - 69)?
False
Suppose 3*t = -27 + 87. Does 20 divide t?
True
Let s(r) = r**3 - 10*r**2 + 22*r - 12. Let h be s(7). Does 16 divide (147 + 2)/(h/(-5))?
False
Suppose -5*y - 17*i + 1336 = -13*i, y = -4*i + 280. Is y a multiple of 44?
True
Let h(k) = 3*k - 9. Let s be h(15). Suppose 5*v - w - 16 = 0, 0*w + s = 4*v + 5*w. Suppose 0*g + 8 = v*g, q - 5*g - 1 = 0. Is 9 a factor of q?
False
Let d = 716 - -275. Does 27 divide d?
False
Suppose 3*l + 1 - 7 = 0. Suppose 2*r - l*g - 3*g - 129 = 0, -2*g - 2 = 0. Suppose 5*z + r - 232 = 0. Is 10 a factor of z?
False
Let w be 141/1 - (-1 + 3). Suppose -w - 191 = -5*a. Suppose -5*b + a = -2*b. Is b a multiple of 7?
False
Suppose 5*x + 5*u - 10 = 0, -5*x - 3 + 9 = 3*u. Let l be (4/8 + x)*-2. Let i(z) = -17*z**3 - 2*z - 1. Does 8 divide i(l)?
False
Is (259/148)/((-2)/(-80)) a multiple of 10?
True
Let g(z) = z**3 + 25*z**2 - 1 + 4*z + 0*z - 26*z**2. Does 12 divide g(3)?
False
Let n = -112 + 102. Let l be (-48)/(-5) - (-4)/10. Is 3 a factor of n*1*l/(-25)?
False
Suppose v = -2 + 7. Let u(a) = 0*a + 16*a - v - 4*a. Is 5 a factor of u(2)?
False
Suppose -5*t = -3*f - 307, 0*t + 47 = t + 3*f. Let i = t + -28. Suppose i*u - 3 = 30*u. Is 3 a factor of u?
True
Suppose -5*g + 28 - 3 = 0. Suppose g = 2*f - f. Suppose -37 = -4*p - f. Does 6 divide p?
False
Suppose -3*g = -6*g + 4*p + 171, 3*g - 174 = 5*p. Suppose -4*q - 49 = -f + g, 0 = f - 3*q - 99. Is 15 a factor of f?
True
Let m = -17 - -10. Let n(q) = -q**2 - 7*q + 4. Let u be n(m). Suppose -3*l = u*r - 5 - 3, 0 = -3*r - 12. Is 4 a factor of l?
True
Let k = -549 - -894. Suppose -n + 43 = 2*y - 26, -2*y + k = 5*n. Is 23 a factor of n?
True
Suppose 4*f - 4460 = -5*r + 5*f, -3*r + 5*f = -2654. Is 32 a factor of r?
False
Suppose -14*s + 18*s = 364. Suppose 2*u + 74 = 5*u + 2*a, -5*a - s = -4*u. Suppose -3*j + u + 13 = 2*g, -5*j = -5*g + 105. Does 20 divide g?
True
Let m(a) = -8*a**3 + 3*a**2 + 5*a + 4. Let f be m(-2). Let t = 44 - f. Let z = 70 + t. Is 9 a factor of z?
False
Let y(n) = -n**2 - n + 6. Let z be y(-5). Let q be 1/(-2) + z/(-4). Suppose q*b - 6*u - 41 = -u, 2 = u. Is b a multiple of 5?
False
Let r(z) = -21*z + 333. Is r(0) a multiple of 9?
True
Suppose 5*c - 3649 = -3*g, 3*c + 4*g - 1855 = 341. Is 14 a factor of c?
True
Let i = 968 + -478. Is 48 a factor of i?
False
Let x be ((-150)/975)/((-2)/13). Let s(z) = z**3 - 4*z**2 - 6*z + 3. Let h be s(5). Is (45 - (6 + h))/x a multiple of 26?
False
Suppose 25*h + 506 = 27*h. Is h a multiple of 11?
True
Suppose -4*g + 12 = -9*g - 2*t, -t = g. Let j = 40 - g. Is j a multiple of 9?
False
Let c = 26 - 47. Let b be (-19 - c) + 14*1. Suppose -2*s - b = -28. Is 3 a factor of s?
True
Does 27 divide 1115/7 + (8 - (-348)/(-42))?
False
Suppose 13*d = 11*d + 6. Suppose -c + 3*f + 11 + 106 = 0, d*f - 117 = -c. Does 23 divide c?
False
Is 4 + (-396)/(-9 + 8) a multiple of 5?
True
Let w(b) = -b**3 + 14*b**2 + 6*b - 21. Let p be w(14). Let l = p + -28. Suppose 2*o - 80 = 4*k, -3*o - 4*k + l = -55. Is o a multiple of 8?
False
Does 57 divide (-39)/(-52)*2*-2 - -1143?
True
Suppose -17*n + 90015 = 68*n. Is n a multiple of 145?
False
Let l(k) = -210*k + 15. Does 29 divide l(-2)?
True
Let n(y) = y**2 - 6*y - 6. Let b = 23 - 26. Let r be n(b). Is 3 a factor of -3 - 1*r/(-1)?
True
Suppose -3*r + 4*b - 259 + 1049 = 0, -5*b - 522 = -2*r. Suppose -r = -4*u + 182. Is 8 a factor of u?
True
Suppose -12*c = -5*v - 10*c + 3247, 5 = -5*c. Is 8 a factor of v?
False
Let f be (-3)/(-12) + (-126)/(-8). Let v be (-8)/(-10)*(-40)/f. Is 3 a factor of (-5)/v*144/40?
True
Let x(c) = c**3 + 20*c**2 + 20*c - 8. Does 8 divide x(-8)?
True
Let o = 604 - 480. Is o a multiple of 16?
False
Let p(h) = -2*h + 6. Let v be p(7). Is 7 a factor of (v/(-20)*-2)/(2/(-140))?
True
Let c(n) = n**2 - 14*n + 18. Let m be c(12). Let p(u) = u**2 - 3. Let j be p(m). Let g = -23 + j. Does 3 divide g?
False
Suppose -217 = -0*d - 7*d. Suppose -d + 6 = -5*o. Let c(l) = 11*l - 16. Is c(o) a multiple of 13?
True
Suppose 3*f + 3 = -3*y, 0*f - 2*y + 2 = f. Let a(k) = -k**3 - 3*k**2 - 4*k - 3. Does 19 divide a(f)?
False
Let p = 9 - 6. Let r(m) = 11*m + 10. Is 14 a factor of r(p)?
False
Let x = -28 + 33. Suppose 12 = x*v - 13, -110 = -3*z - v. Does 5 divide z?
True
Is 31 a factor of (-6)/9 + (-7266)/(-18)?
True
Let t = -372 - -473. Does 25 divide t?
False
Let o(b) = -3*b**3 + 2*b**2 + b - 1. Let a be o(-2). Let t = a + -9. Is t a multiple of 20?
True
Suppose 2*u + 301 = 5*o + u, -3*u = 3*o - 177. Let z = 0 + o. Does 19 divide z?
False
Let q(v) = -v**2 + 5*v + 69. Let w(y) = y**2 - 6*y - 70. Let o(n) = -6*q(n) - 5*w(n). Let a be o(0). Is (-18)/4*a/6 a multiple of 13?
False
Suppose -5*f + 4*v = -80, -f - 3*v = -5*v - 16. Suppose -4*s = -f, 4*d = 9*d - 4*s + 6. Let a(c) = 8*c - 2. Is 5 a factor of a(d)?
False
Suppose 3*z + 350 = 1247. Does 9 divide z?
False
Let a(p) = -p**3 + 4*p**2 - 9*p - 42. Is a(-4) a multiple of 15?
False
Let n(q) = 4*q + 69. Let a be n(0). Let l = a - 15. Is l a multiple of 9?
True
Let s be 14/4 - (-5)/(-10). Suppose s*q = d - q - 14, 0 = -3*d + q + 20. Is (-127)/(-2) + d/4 a multiple of 13?
True
Is 5 a factor of (-30)/(-25) + (-7296)/(-95)?
False
Let f(u) be the third derivative of u**5/60 - 5*u**4/8 + 10*u**3/3 - 4*u**2. Let p be f(14). Is 5 a factor of -2 - p/(-3) - -15?
True
Let x = 82 - 0. Let n be 2/2*x/(-2). Let g = n + 87. Is g a multiple of 10?
False
Let y be (-333)/(-6) - 5/(-10). Suppose o - 3*o = -4*n - 32, y = 3*o + 2*n. Suppose 14*a - o*a + 140 = 0. Is a a multiple of 8?
False
Let n(s) = s**2 + 23*s + 21. Let m be n(-23). Let c(h) = 3*h - 31. Does 8 divide c(m)?
True
Suppose 4489 = 3*l + s, 0*s - 4*s - 5980 = -4*l. Is l a multiple of 44?
True
Let x = 367 - 194. Is 30 a factor of x?
False
Suppose -3*k + 12 = 0, 6*k + 423 = u + k. Is 39 a factor of u?
False
Let t = 16 + -15. Suppose t - 79 = -3*m. Suppose u = m + 42. Is 16 a factor of u?
False
Let y(l) = l**3 - 3*l**2 - 17*l - 1. Let v be (-21)/(-9) + -1 + (-68)/(-12). Is 47 a factor of y(v)?
False
Let t = 112 + -60. Suppose 3*f - 23 = t. Does 17 divide f?
False
Let o be (501/(-15))/((-1)/5). Suppose 4*r + o + 1 = 2*a, 4*a + 5*r = 297. Is 7 a factor of a?
False
Does 49 divide ((-247)/(-52))/(4/784)?
True
Does 21 divide (-1)/(7 + -6) + 286?
False
Suppose -2*k = 3*k - 10. Suppose w + 3 = d, d - 4 = -k*w + 4*w. Suppose -4*c = -d*c - 24. Does 3 divide c?
True
Suppose -6 = 2*d - 5*d. Suppose -d*p + 3*u + 653 = -2*u, -u = -3. Suppose -3*g - 73 = -j, 4*j + g = -g + p. Is j a multiple of 22?
False
Suppose 0 = 5*t + 5*o + 185 - 605, -4*t - 5*o + 333 = 0. Does 10 divide t?
False
Let k = -115 + 120. Suppose -12 = -v - 2*v, -k*v - 596 = -4*d. Is 14 a factor of d?
True
Let f(d) = d**3 - 7*d**2 + 3. Let y be f(7). Suppose -5*t + v + 715 = -0*t, y*t + 3*v - 447 = 0. Is t a multiple of 12?
True
Let z be (-4 + 6)/((-1)/(-7)). Let i = -13 + z. Let q = 55 + i. Is q a multiple of 16?
False
Suppose 2*h = -1 - 11. Let t be h - -10 - 1*-2. Is 9 a factor of t/8*(48 + 0)?
True
Does 15 divide 2/6 - 22216/(-6) - 3?
False
Suppose 20*w - 1649 = 5791. Is w a multiple of 8?
False
Let q(d) = -18 + 4*d + 11*d**2 + d**3 + 2*d**2 - d + 3. Is q(-9) a multiple of 11?
False
Let z = -2 + 2. Suppose -c - 2*c + 312 = z. Suppose -4*h = -f - 52 - c, -3*h + 2*f + 117 = 0. Is 13 a factor of h?
True
Suppose 3*o + 5*h + 0*h = -42, 86 = -5*o - 3*h. Let y = -1 - o. Is y a multiple of 18?
True
Let p be (-14 - -10) + 78 + (1 - 0). Suppose -2*y + 27 = -3*y. Let l = p + y. Is 16 a factor of l?
True
Suppose 6 = -2*n + 5*k, -5*n + 0*k - 50 = 5*k. Let i be (544/(-8))/(2/n). Suppose -112 + i = 5*w. Is w a multiple of 10?
False
Let n be 1/7 - (-5285)/49. Let h be 4/(-10) - n/(-20). Suppose -3*p = -2*i - h*p + 138, -25