
False
Let x(s) = s**2 - 15*s + 27. Suppose -59*l + 62*l - 51 = 0. Is 59 a factor of x(l)?
False
Suppose 3*x - 2239 = -5*f, 10*f = 3*x + 11*f - 2243. Is x a multiple of 49?
False
Let q(i) = -i**2 - 8*i - 6. Let h be q(-6). Suppose -4*j + h*j - 20 = 0. Let s(r) = -r**2 + 11*r - 1. Is s(j) a multiple of 3?
True
Suppose 167 = 4*t + 103. Suppose 3*w = 3*b - 450, -4*w + 8*w = -t. Is 34 a factor of b?
False
Suppose 17 = 5*r - 13. Suppose -3*f = 5*g - 9, 2*f = 2*g - g + r. Is f + -1 + 7 + 0 a multiple of 3?
True
Let j = 1 + -1. Suppose f = -4*h - j*h + 58, -68 = -5*h + f. Suppose 0*p = p - h. Does 7 divide p?
True
Let h = 9 + 126. Is ((-16)/(-20))/(1/h) a multiple of 27?
True
Let h(q) = -2*q**3 + 39*q**2 - 22*q + 23. Is 14 a factor of h(12)?
False
Suppose 12*p - 93 = 2895. Is 26 a factor of p?
False
Let v(i) = 13*i + 5*i**3 - 4*i**3 - i**2 - 9*i**2 + 2. Let u(a) = -a + 13. Let b be u(4). Does 19 divide v(b)?
True
Let r(f) = 31*f**2 - 53*f + 4. Is r(4) a multiple of 12?
True
Let o(s) = s**2 - 20*s + 1. Let b be o(20). Does 22 divide 1/((-6)/(-3))*(107 - b)?
False
Let d(k) = -5*k**2 - 2*k + 1640. Is 20 a factor of d(0)?
True
Let s be 2 - (-3 - (2 + -2)). Suppose -31 = -5*k + 2*x, -2*k - 2*x + 0 + 4 = 0. Suppose -p + s = 0, -3*w = -k*p - 0*p - 5. Is 10 a factor of w?
True
Suppose 1842*b - 18 = 1839*b. Let p be (0*(-2)/(-4))/1. Suppose p*v - b = -v. Does 4 divide v?
False
Let k be 74/26 - (-20)/130. Suppose -k*n - g + 16 = 0, n + n - 9 = g. Is 3/n + (-414)/(-10) a multiple of 9?
False
Suppose 7*d + 148 = 8*d. Suppose -206 = -3*s + d. Is 34 a factor of s?
False
Let w = -427 - -423. Let m(l) = -2 + 3*l**3 + 0*l**3 - 3*l**2 - 3*l - 4*l**3. Is 8 a factor of m(w)?
False
Let w be -8*(-4 + (-14)/(-4)). Suppose 0 = -2*l + 8, -w*t + 0*t - 5*l + 32 = 0. Suppose 3*k - 39 = -t*n, 0 = 5*n + 4*k + 11 - 72. Is 3 a factor of n?
True
Let h be -97*((-6 - -5) + -3). Suppose 3*w - h = i - 6*i, -4*i - 5*w = -300. Is 10 a factor of i?
True
Suppose 0 = 4*t + j - 356, 5*j - 201 = -4*t + 139. Suppose d = -0*d + t. Suppose d = 4*q + q. Is q a multiple of 9?
True
Let f = 59 + -87. Is 19 a factor of 14*f/(-8) - -4?
False
Suppose -c = -4*c - 327. Let n = 163 + c. Is n a multiple of 7?
False
Is -469*(32/(-63) + 4/18) a multiple of 6?
False
Suppose -15 + 3 = -3*r. Let s be 4/(-6)*6/r. Is 2 a factor of (2 + s/4)*4?
False
Suppose -5*a = -2*o + 65, 2*a + 8 = 3*o - 106. Suppose -o = 17*m - 12*m. Does 21 divide -56*12/m*1?
True
Let p = -1 + 5. Is -6*p/(-12) - -2 - -7 a multiple of 3?
False
Let o be 96/(-7) + (-2)/7. Let m = o - -16. Suppose m*r - 5*b - 85 = 0, -r + 3*b + 55 = -2*b. Does 15 divide r?
True
Let s be ((-9)/15)/(2*(-3)/30). Suppose -5*v + 3*q + 90 = 0, 2*q = -s*v + q + 40. Does 3 divide v?
True
Let l(y) be the second derivative of y**4/4 - 2*y**3 + 5*y**2/2 - 2*y. Let d = 10 - 5. Does 20 divide l(d)?
True
Let w(v) be the second derivative of v**5/20 + v**4/3 - 2*v**2 + 10*v. Let i be w(-3). Suppose -l + 2*d - 3*d + 25 = 0, 50 = 2*l + i*d. Is 5 a factor of l?
True
Suppose a - 799 = -8*u + 9*u, 0 = -2*a + 5*u + 1601. Is 9 a factor of a?
False
Let v(k) = -436*k - 2. Let j be v(3). Is 15/6*j/(-25) a multiple of 37?
False
Suppose -22*p = -5*p - 2210. Is 3 a factor of p?
False
Suppose 0 = 5*m - 381 - 1859. Is m a multiple of 16?
True
Let t = 6 + -3. Suppose -u - 34 = -6*u + t*p, -5*p = -u + 20. Suppose -u*i - 3*y = -249, -5*i - 3*y + 243 = -2*y. Does 16 divide i?
True
Let g = -371 - -714. Let z = -192 + g. Is z a multiple of 33?
False
Suppose 2 = 4*m - 10. Let x = 39 - 24. Suppose m*l + x = 6*l. Is l a multiple of 4?
False
Let y be -1 + (3 - 0/4). Let v be (-3 - (y - 2)) + 7. Does 3 divide (-46)/(-14) + v/(-14)?
True
Let l = 1317 + -926. Suppose 0 = h + 5*t - 115, -3*t = 2*h - 6*h + l. Is h a multiple of 16?
False
Suppose 4*v = 212 - 8. Let u be (-6)/v + 854/34. Suppose -14 - u = -a. Is 5 a factor of a?
False
Suppose -35*l + 9*l = -69342. Is l a multiple of 27?
False
Suppose -352 = -2*r + 5*a - a, 4*a = 4*r - 704. Suppose -175*n = -r*n + 66. Is 22 a factor of n?
True
Let a(u) = 3*u + 3. Let k be a(4). Let h = -38 + 33. Does 12 divide 2 + h/(k/(-102))?
True
Let n(s) = -s**2 + 17*s + 14. Suppose 5*j = 2*j + 42. Does 8 divide n(j)?
True
Let m(s) = -6*s - 2. Let y be m(-4). Suppose -4*p - 3*u - 54 = 0, p + y = -4*u + 2. Let j(l) = -l - 8. Is 4 a factor of j(p)?
True
Suppose -4*o + o - 114 = 0. Let y = o - -54. Is 16 a factor of y?
True
Let u(a) = 8 + 9 - 20 + 2 + 26*a. Is u(1) a multiple of 7?
False
Let b be 13 + 16/12*-3. Suppose -b*q + 33 = -12. Suppose -q*w + w = -12. Is 3 a factor of w?
True
Let x = -263 + 755. Is 20 a factor of x?
False
Suppose 3*k - 9 = 4*a - a, 0 = 5*k - a - 11. Let r be 2456/12 + k/6. Suppose 5*o = r + 155. Is 18 a factor of o?
True
Let c = 335 + -310. Is c a multiple of 2?
False
Let q(a) = 2*a**2 + a + 10. Is q(-4) a multiple of 5?
False
Is 6 a factor of ((-318)/5)/(8 - (-84)/(-10))?
False
Let q(r) = -r**3 + r**2 + 3. Let i(s) = 29*s + 1. Let u be i(-1). Let v = u + 28. Does 3 divide q(v)?
True
Suppose 5*w = 3*c - 1479, -w = -257*c + 260*c - 1497. Is c a multiple of 83?
True
Let g(w) = 2*w**2 + 3*w - 4. Let v be g(-3). Suppose -5*j = -5*p - v, -p = j - 0 - 5. Does 13 divide ((-3)/(-9))/(p/102)?
False
Let o be (3/2)/((-6)/(-16)). Suppose 2*z = d + d + 8, o*z - d = 4. Suppose l = -z*l + 48. Is l a multiple of 12?
True
Let w be (4 + -4)/2 + 0. Suppose 2*j - 4*j - 464 = -5*v, w = 2*v + 3*j - 178. Does 21 divide v?
False
Let o(i) = -12*i + 12*i**2 + 2 + 3 + 2*i - 11*i**2. Let m be o(10). Let w(a) = 3*a**2 - a + 5. Is 11 a factor of w(m)?
False
Let v = 340 + -103. Is 14 a factor of v?
False
Is 49 a factor of -2 + 403 + -8 + -1?
True
Let s(q) = q**2 - 4*q - 6. Let y be s(5). Let v(f) be the third derivative of -19*f**6/120 - f**5/60 - f**4/12 - f**3/6 + f**2. Is v(y) a multiple of 13?
False
Let x(i) = 2*i - 12. Let v be x(-6). Suppose t = -2*t + 1320. Does 25 divide t/12*v/(-10)?
False
Let v(p) = -p. Let t be v(-3). Suppose -l + t*l = -3*b - 5, 5*b + 5 = -5*l. Does 16 divide (-1488)/(-40) - l/10?
False
Let t be ((-125)/(-3))/((-1)/3)*-14. Suppose -2*a - 3*a + t = 0. Is a a multiple of 14?
True
Suppose 4*m + 191 = 4*s - 7*s, -4*m = -s - 53. Let k = -29 - s. Is k a multiple of 8?
True
Let s be 18/(-10) + (-3)/(-15)*-1. Is 11 a factor of -2 - -92 - s/2?
False
Let g be (-2)/(-14) - 5478/(-21). Suppose -3*t - 18 = -g. Suppose 3*v = 5*f - 115, 4*f - 3*v - 14 - t = 0. Is 8 a factor of f?
False
Let u(g) = 203*g - 56. Is 15 a factor of u(3)?
False
Let f(c) = c**2 + 17*c - 16. Let r be f(-18). Let t be r - (-268)/(8/4). Suppose -3*h - 4*y + 251 = 61, 2*h - t = -5*y. Does 15 divide h?
False
Suppose 0 = 5*f - 19 - 31. Let z(p) = -p**3 - 4*p**2 - 2*p - 15. Let r be z(-4). Is f/35 - 579/r a multiple of 20?
False
Let b(z) = 2*z + 228. Let y be b(0). Suppose r = 4*r - y. Is r a multiple of 38?
True
Let o be 4 + (2 - 3) + 155. Suppose -5*b = -3*g - 0*g + o, 5*g = 3*b + 258. Is g a multiple of 17?
True
Let z = -1241 - -1619. Is z a multiple of 63?
True
Suppose -3*q + 32 = -4*k, -1 = q + 2*k - k. Suppose 6 = 2*x + q*j, 3*x - 14 = -2*j - 1. Is x even?
False
Let u(z) = -14*z**2 + 3*z**2 - 11*z + z**3 - z**2. Is u(13) a multiple of 15?
False
Let u be ((-7)/2 + 3)*166. Let v = 130 + u. Is v a multiple of 25?
False
Let g(h) = h**2 - 2*h - 3. Let k be -1 - (-5 - 0/(-3)). Let s be g(k). Suppose -s*u + 49 = -66. Does 10 divide u?
False
Let f(a) = -105*a + 439. Is 60 a factor of f(-6)?
False
Suppose 49*f - 62*f + 6318 = 0. Does 14 divide f?
False
Suppose -3*o = -38 - 31. Suppose -o = -f + 67. Suppose 3*i - f - 117 = 0. Is i a multiple of 18?
False
Suppose t - 3*d = 10, 3*t - 10 = -2*t - 5*d. Let k be (-2)/7 + (-4)/(-14). Suppose t*z = -2*n + 34, -2*z - 5*n + n + 8 = k. Is z a multiple of 5?
True
Let b be 12/4 + 3*-1. Is (b - 10/(-15))*141 a multiple of 14?
False
Suppose -741 = -4*p - 133. Does 10 divide (13/(-52))/((-2)/p)?
False
Suppose -7*h + 5*d = -12*h + 20, -5*h = -5*d. Suppose h*s = 4*q + 174, 2*s = -s + 3*q + 264. Does 6 divide s?
False
Let t(n) = n**3 - 7*n**2 + 9*n - 2. Let r be t(6). Suppose 5*h = 4 + r. Let x(j) = 11*j - 2. Is x(h) a multiple of 14?
True
Does 11 divide 330/(0 + -6 + 26/4)?
True
Suppose 0 = y - 3 - 33. Is 14 a factor of 8/y + 480/27?
False
Suppose 8*n - 15 = 5*n, o