Does 45 divide x?
True
Is 25 a factor of 251 + (-2)/(9/((-27)/(-6)))?
True
Let o(v) = -v**2 - 30*v + 34. Is 38 a factor of o(-29)?
False
Let q(g) = -g**3 - 8*g**2 + 4*g + 5. Suppose -3*p - 39 = 5*l, 4*p + l + 35 = -0*l. Let t be q(p). Does 7 divide (-537)/t + (-1)/(-9)?
False
Let p = 376 - 200. Let r = p - 105. Does 14 divide r?
False
Suppose -4*q - q + 3*w + 3985 = 0, -3*q - 5*w = -2425. Is q a multiple of 30?
False
Let v(n) = n**2 + 23*n + 44. Does 4 divide v(-22)?
False
Let u(w) = 48*w**2 - 10*w + 23. Is 43 a factor of u(4)?
False
Let n = 1854 + -1838. Does 16 divide n?
True
Suppose -2*p + 100 = -z + 5, -5*z - p - 442 = 0. Let y = z - -231. Is 24 a factor of y?
False
Is ((711/12)/(-1))/((-9)/180) a multiple of 42?
False
Suppose l + 2*s - 2 = 0, -2*l - s - 5 = -0. Let x(r) = 2*r - 9. Let z(i) = -2*i + 8. Let m(p) = l*x(p) - 5*z(p). Does 5 divide m(7)?
True
Let q be -5*((-32)/(-20) - 2). Suppose a - 5*p - 28 = 0, -5*a - q*p + 10 = -p. Suppose k - a*k = -174. Does 29 divide k?
True
Let p(d) = -d**2 - 16*d + 17. Let c be p(-17). Suppose 0 = 6*n - c - 48. Is n even?
True
Suppose -z + 4 = -2*z. Let g(y) be the third derivative of y**5/20 + y**4/12 + 29*y**2. Does 10 divide g(z)?
True
Let v = 76 + 2718. Does 22 divide v?
True
Suppose -5*f - 3*m + 13 = 0, -3*f + 2*m = -2*f. Let t(v) = v**2 - 5*v - 11. Let j be t(11). Suppose j = f*z - z. Is 19 a factor of z?
False
Suppose -f = 5*o + 15, 5*o = f - 0*o - 15. Let y be (-1)/(1/1) + f. Is 35 a factor of (1 - y) + -2 - -58?
False
Let p be -1*1*1 - -112. Let g(m) = -m**2 + 27*m - 67. Let b be g(27). Let i = b + p. Is 22 a factor of i?
True
Let g(o) = -o**2 - 2*o + 26. Let i be g(0). Suppose -2*u + 2*a - i = 0, a + a = 8. Does 11 divide (-245)/u + (-8)/36?
False
Let z(l) = -l**3 + 11*l**2 + l + 5. Let f be z(11). Suppose 5*w + 2*b - 43 = f, 2*w - 18 = 2*b. Is w a multiple of 6?
False
Is 128 a factor of (4608/28)/(13/91)?
True
Let g(f) = -7*f**3 + f + 2. Let j be g(-1). Suppose -45 = 5*h - j*h. Let i = h + -7. Does 6 divide i?
False
Let o(k) = 3*k + 15. Let q be o(-5). Suppose 4*g - 1768 = -0*g + 2*m, q = 5*g + 3*m - 2188. Is 17 a factor of ((-8)/(-5))/(16/g)?
False
Let j = 64 + -16. Suppose j = 5*o + 13. Is 3 a factor of o?
False
Let o be -1 + 3 + 738/3. Suppose -4*z + o = -0*z. Is 31 a factor of z?
True
Suppose 10*m - 3565 = 795. Is 9 a factor of m?
False
Suppose 4*u - 4*t = 13216, 6*u - u - t - 16504 = 0. Does 11 divide u?
True
Let u = 20 + -15. Suppose 0 = 3*m - u*m + 96. Is m a multiple of 16?
True
Suppose -5*t - 2*o = 154, -4*o = -4*t + o - 110. Let s = t + 32. Suppose 5*x = w + s*x - 53, 2*w = 4*x + 116. Is 9 a factor of w?
False
Let s be (4/(-2) - -4) + 11. Let w = 85 - s. Let v = -2 + w. Is 14 a factor of v?
True
Let y = 11 + -15. Suppose 0 = 5*d + 17 - 127. Is y/d - 112/(-11) a multiple of 5?
True
Does 20 divide -2 + -2 + -1 - -105?
True
Suppose i = -3*p - 43, 2*p + 23 - 1 = -2*i. Is 33 a factor of (36/(-10))/(p/440)?
True
Suppose 7*r = 10*r - g - 570, -r + g + 190 = 0. Is 19 a factor of r?
True
Suppose 3*d + 0*d + r = 13, d - 5*r - 15 = 0. Let k(x) = 6*x - 2. Let l(s) = -12*s + 5. Let t(n) = -5*k(n) - 3*l(n). Does 25 divide t(d)?
True
Let y = 354 + -140. Is y a multiple of 42?
False
Let y(s) = -s**3 - 5*s**2 - 8*s - 14. Suppose 3 - 27 = 4*t. Is 14 a factor of y(t)?
True
Let s(l) = -4*l - 6. Let y be s(8). Let p be 2 + (-2)/1 + y. Let x = 70 + p. Is x a multiple of 8?
True
Suppose -5*d - 5*k = -49 - 121, 4*d - 137 = -5*k. Suppose 35*u - d*u - 132 = 0. Is u a multiple of 50?
False
Is 90 a factor of ((325/10)/(-5))/((-4)/968)?
False
Let u(g) = g**3 + 8*g**2 - g + 2. Is u(-7) a multiple of 29?
True
Suppose -3*g + 1320 + 3985 = 5*b, -8854 = -5*g + 4*b. Does 30 divide g?
True
Let w(l) = l**3 + 13*l**2 + 9*l - 29. Suppose -4*x = -s - 5*x - 8, -3*x + 72 = -5*s. Is w(s) even?
False
Let p be 126/35 - (-3)/(-5). Suppose 5*r = -p*r + 296. Let v = r - 17. Is 15 a factor of v?
False
Let u be (-416)/(-6) - 4/(-6). Let t = u + -30. Does 8 divide t?
True
Let a(w) = -5*w - 4. Suppose -3*h - 1 = -10. Suppose -2*s = h*q + 19, -5*q - 19 = -4*s + s. Does 7 divide a(q)?
True
Let z = -377 + 641. Is 33 a factor of z?
True
Let c be -31 - (0 + -3 + 6). Let l = 10 + c. Is 5 a factor of (l/(-20))/((-2)/(-10))?
False
Let u(k) = -k**3 - 5*k**2 + 7*k + 37. Is 86 a factor of u(-7)?
True
Let g(r) = r. Let u be (-2)/1 + -3 + 8. Let f be g(u). Suppose 5*l + f*s - 182 - 12 = 0, -8 = 4*s. Is l a multiple of 17?
False
Let q(h) = -9*h - 8*h + 20*h - 8*h. Let u(m) = 2*m**3 + 4*m**2 + 2*m - 2. Let y be u(-2). Is q(y) a multiple of 23?
False
Let i(f) be the second derivative of -f**4/4 - 5*f**3/2 - 2*f**2 + 36*f. Is i(-4) a multiple of 4?
True
Let d = 39 - 25. Suppose -u - q = -1 - 2, 2*u - 3*q + d = 0. Is (u/(-4))/(2/152) a multiple of 2?
False
Let q be ((-4)/(-5))/((-2)/(-10)). Let c be 21/(-9) - 7305/(-45). Suppose 4*j = c - q. Is 14 a factor of j?
False
Let a be (-8)/10*(3 - 8). Suppose 5*f - 26 = 4*u, -a = 6*u - 3*u + 4*f. Is 3 a factor of 6/u*(-8 - -2)?
True
Let u(x) be the third derivative of x**5/30 - x**4/24 + x**3/3 - x**2. Let y be (11 - 14)*(-4)/6. Is 8 a factor of u(y)?
True
Suppose 0 = 2*p - 5*x + 26, 0*p - 3*x + 15 = -p. Is 39 a factor of p/3 - -3 - -263?
False
Suppose 4*s = -5*d + 2788, -2*s + 2008 = -4*d + 588. Does 26 divide s?
True
Suppose -2*o + 49 = 5*c + 5, -2*o - 4 = -c. Is 7 a factor of c?
False
Suppose 0 = 3*r - 3*w + 12, -r - w = -3 + 11. Let u be (r/(-14))/(1/7). Does 18 divide 27/((-7)/(-2) - u)?
True
Suppose -1883 = 5*m - 5398. Does 19 divide m?
True
Let m(r) = -33*r + 78. Is 32 a factor of m(-7)?
False
Let c = -123 - -129. Suppose 0 = c*m - 7*m + 36. Does 16 divide m?
False
Let a = -52 + 107. Let s = a + -47. Does 4 divide s?
True
Let o(j) = 18*j**2 - 6*j - 17. Is 13 a factor of o(-5)?
False
Let q = 32 + -28. Suppose 2*j - q*j + 250 = 0. Does 27 divide 234/5*j/50?
False
Let i(g) = -g**3 + 8*g**2 - 6*g - 10. Let z be i(7). Suppose 0*m + 5 = -m. Does 7 divide z/(-15) - 54/m?
False
Let s(a) be the third derivative of a**6/120 + 7*a**5/60 + 5*a**4/24 + a**3/3 - a**2. Suppose -9*d = -7*d + 5*i + 17, 2*i + 8 = -d. Does 4 divide s(d)?
True
Let t(r) = -13*r**2 - 5*r + 1. Let d be t(-5). Let x = d - -461. Suppose -5*s = -x - 118. Is 14 a factor of s?
True
Let v(r) = -r**3 - 36*r**2 - 60*r - 32. Is v(-35) a multiple of 61?
False
Let z(y) = -4*y - 8. Let j be z(-4). Is ((-52)/(-6) + -2)/(j/36) a multiple of 10?
True
Suppose 20104 = 4*x - k, -3*x - 4*k = -1493 - 13604. Does 14 divide x?
False
Let t(z) = -z - 29. Let h be t(-10). Let p = h + 37. Is 13 a factor of p?
False
Let d(s) be the first derivative of -s**3/3 - 13*s**2/2 - 12*s + 6. Let k = 4 + -15. Is 10 a factor of d(k)?
True
Let k(w) = -w**3 - w**2 + 3*w + 2. Let l be k(-2). Is 12 a factor of 26 + -2 + 3 + l/(-1)?
False
Suppose 4*i - 23 = -15. Suppose -i*j = -0 + 6, 0 = 5*d + 5*j - 15. Does 4 divide d?
False
Let a = -201 - -737. Does 14 divide a?
False
Suppose 0 = -f - 4*f + 10. Suppose -f*r + 4 = -12. Suppose -6*o = -r*o + 38. Is 4 a factor of o?
False
Suppose 0*n = -2*y - 2*n - 674, -4*y + n = 1343. Let c be (-4)/(-7)*y/(-32). Is 24 a factor of 27*-4*(-4)/c?
True
Suppose 0*k - 3*k + 6 = 0. Suppose 349 = k*s + 5*f, 3*s + f - 481 = 2*f. Is 27 a factor of s?
True
Suppose -18*v - 28*v + 4186 = 0. Is 4 a factor of v?
False
Suppose 4*p = -5*n + 1487, 0 = -p + n + 109 + 274. Does 21 divide p?
True
Let y(b) = -b**2 + 5*b + 12. Let k be y(7). Is 13 a factor of (1/2)/(k/(-328)) - 4?
True
Let i(o) = 188*o - 7. Does 40 divide i(3)?
False
Let t(c) = -9*c**2 - 2*c + 10. Let z be t(3). Let b = z + 214. Is 22 a factor of b?
False
Let q(j) = 5*j**2 + 3*j + 11. Let z(i) = -11*i**2 - 5*i - 22. Let f(r) = 5*q(r) + 2*z(r). Is f(-5) a multiple of 20?
False
Suppose -x = 4*l + 2*x - 4, l - x = 8. Suppose l*s - 50 - 18 = 0. Is s a multiple of 3?
False
Let l(t) = 2*t**2 - 7*t**2 + 10 - 7*t + 6*t**2 + 0*t**2. Let c be l(-10). Suppose 0 = -v + 6*v - c. Does 18 divide v?
True
Suppose -278 - 4 = -3*o. Let n = o + -79. Is 9 a factor of n?
False
Let z(r) = 466*r**2 + 39*r - 75. Does 29 divide z(2)?
False
Let p(b) = -b + 47. Is 5 a factor of p(12)?
True
Let y = -339 - -2124. Does 17 divide y?
True
Let g(c) = -25*c - 257. Does 20 divide g(-15)?
False
Suppose -5*a = -2*m + 64, -5*a + 20 = 4