 w(o) = -1. Let j(q) = p(q) + 2*w(q). Let y(f) = -3*j(f) - n(f). Is 3 a factor of y(4)?
True
Let n be 3/((-84)/(-8)) + 120/21. Let r = n - 0. Does 2 divide r?
True
Let s(m) = -71*m - 120. Is s(-9) a multiple of 17?
False
Let u(z) = 2*z**3 - 28*z**2 + 2*z - 23. Let i be u(14). Let k = i + 42. Is k a multiple of 5?
False
Let b(v) = 85*v + 33. Is b(2) a multiple of 19?
False
Let h be (2 - 3)/((-2)/56). Let a = h - 67. Let i = a + 93. Is i a multiple of 18?
True
Suppose -s + 8 = -5*s + b, 2*b + 20 = -4*s. Let q(k) = -k**3 + 2*k**2 - 3*k - 6. Does 10 divide q(s)?
False
Let i = 9 + -25. Let p = i + 14. Is 21 a factor of 63*p/(-3) - 0?
True
Is (23 + -1)/((-5 - -11)/216) a multiple of 22?
True
Suppose -170 = -17*o + 12*o. Suppose -a - 16 + o = 0. Is 9 a factor of a?
True
Let h(a) = a**2 - 7*a + 14. Let g be h(8). Suppose 20*s + 6 = g*s. Is 2 a factor of s?
False
Let o(m) = -m**3 - 18*m - 16. Is 16 a factor of o(-8)?
True
Let r be -1 - (0 - (-2 + 3)). Is -9*(r + -1) + -2 a multiple of 7?
True
Is 3 + -2 + (-4256)/(-7) a multiple of 21?
True
Suppose -6*x - 57 = -747. Does 49 divide x?
False
Suppose 9*t - 15*t = -168. Is 2 a factor of t?
True
Is 9 a factor of (0 + 164)*110/20?
False
Let p(t) = 3*t. Let i be p(-11). Let u = -4 + -7. Does 7 divide (-6)/i - 108/u?
False
Let p(n) = n**2 - n - 16. Let q be p(13). Suppose -95 - q = -5*k. Suppose 2*l - k = 25. Does 12 divide l?
True
Suppose -5*y = -y - 8. Suppose 67 = y*m - 13. Suppose -j + m = 3*j. Is 3 a factor of j?
False
Let u = 11 + 13. Let r be (-6)/u - (-866)/8. Let b = 154 - r. Does 26 divide b?
False
Suppose -3*d = -2*l + 195, -2*d - 2*d + 301 = 3*l. Is 4 a factor of l?
False
Let a be (-6)/9 + 856/6. Suppose 25 = y - a. Is y a multiple of 24?
False
Let i be ((-18)/10)/(4/(-20)). Is -1 - i/(36/(-272)) a multiple of 11?
False
Suppose 0 = q - 2 - 6. Suppose q*b + 282 = 14*b. Is 12 a factor of b?
False
Suppose 2*z + 0*z = 216. Is 18/z + 2 + (-17)/(-6) a multiple of 2?
False
Suppose 4*v = 8*v. Suppose -u - 2*u + 72 = v. Is u*(1 + 4/(-16)) a multiple of 6?
True
Suppose -8*t + 28*t = 19220. Is 31 a factor of t?
True
Let y be 3/(15/(-2))*30. Let n = 28 + y. Is 5 a factor of n - 3 - (-2 + 0)?
True
Let d be (1 - 2)*3 + 8. Suppose -d*t - 3*n = 30, 0*t + 17 = t - 4*n. Is 135/3 - 1 - t a multiple of 19?
False
Let b(r) = -48*r + 395. Is b(8) a multiple of 2?
False
Let x(i) = -112*i. Let d be x(-5). Suppose 2*m + d = -0*m + 3*z, -4*m + z - 1100 = 0. Let k = -177 - m. Is k a multiple of 29?
False
Let b(q) = -11*q + 9. Let i be b(-6). Let y = -288 + 663. Suppose y = 5*h - i. Is h a multiple of 18?
True
Let j(a) = a. Let l(o) = -4*o - 3. Let q(f) = -3*j(f) + l(f). Let k = 10 + -18. Is q(k) a multiple of 19?
False
Suppose 5*i - 5*f - 4670 = 0, -3*i + 2*i + 930 = -5*f. Does 11 divide i?
True
Suppose -2*j + 4*v + 650 + 212 = 0, 0 = -4*v. Let c = 301 + -90. Suppose 0 = -2*z - g - 4*g + c, j = 4*z + g. Is z a multiple of 36?
True
Let u(i) = -i**3 + 17*i**2 + 31*i - 78. Does 9 divide u(18)?
False
Suppose 9 = b + 1. Suppose 18 = 3*x - 6*x. Is 30/b*(-16)/x a multiple of 5?
True
Suppose 10*q = 12*q - 26. Suppose -q*v + 167 + 223 = 0. Is 15 a factor of v?
True
Let y(w) be the first derivative of w**3/3 - 2*w**2 + 4*w + 1. Let n(o) = o**2 - 2*o - 11. Let a be n(3). Is y(a) a multiple of 25?
True
Let n be (-6)/10 + 17/(-5). Let p be (n/16)/((-1)/52). Suppose 0 = 14*d - p*d - 22. Is 17 a factor of d?
False
Let p be (-3 - 35/(-10))*98. Suppose 54*s = 55*s - p. Is 7 a factor of s?
True
Let w(a) = -a**3 + 5*a**2 - 4. Let o(x) = x**2 + 17*x + 10. Let n be o(-14). Let b = -29 - n. Is 14 a factor of w(b)?
True
Suppose 52*b - 54*b + 198 = 0. Suppose b = 6*t - 111. Is t a multiple of 35?
True
Suppose -10*v + 2001 + 719 = 0. Is 28 a factor of v?
False
Suppose 0 = 2*t - 0*v + 2*v - 188, -t = -2*v - 94. Suppose -10*l = -t - 46. Is 7 a factor of l?
True
Let k = -487 + 768. Let w = k - 181. Is 24 a factor of w?
False
Is ((-352)/24)/((-1)/9) a multiple of 3?
True
Let l(v) = v**2 - 11*v + 22. Let g(o) = 2*o + 1. Let j be g(1). Let x(i) = -i**2 + 12*i - 23. Let s(m) = j*l(m) + 2*x(m). Is 28 a factor of s(12)?
True
Let t be (-2 - -7)*92/20. Let i = 17 - t. Is 15 a factor of (-800)/(-15) + (-4)/i?
False
Suppose -48*u = -40*u - 1584. Does 66 divide u?
True
Suppose 3*n + 76 + 62 = 0. Let t = n - -94. Does 6 divide t?
True
Suppose 0 = -3*j - 3*q - 123, 6*j + 102 = 3*j + 4*q. Suppose -5*g = -p + 78, 0 = -p + 4*p - 5*g - 244. Let k = j + p. Is k a multiple of 15?
True
Suppose 0 = -0*f + f - 10. Let y be f/15 - (-1868)/6. Suppose -y - 23 = -5*j. Does 18 divide j?
False
Let y(f) = -66*f - 13. Let t be y(-2). Let o = t - 74. Is 22 a factor of o?
False
Let i be 60/25 - 2/5. Suppose -i*m - 2*h - 2 = 0, -9 - 22 = 4*m - 5*h. Does 13 divide (m + (20 - 3))/1?
True
Suppose 25*a - 32592 = -23*a. Is a a multiple of 38?
False
Let k(f) = -3*f - 12. Let x(u) = -u**2 - 3. Let i be x(-6). Let r = i - -27. Is 12 a factor of k(r)?
True
Let g(c) = -1. Suppose 2*i = -3*d - 0 - 1, 0 = 4*i - 5*d + 35. Let k(r) = 4*r + 28. Let a(s) = i*g(s) - k(s). Does 5 divide a(-12)?
True
Suppose 135*b - 137*b = 96. Let t = b - -80. Is 4 a factor of t?
True
Suppose -45*f + 40283 - 12653 = 0. Is 9 a factor of f?
False
Does 24 divide (8 - (0 - 10/(-4)))*14?
False
Suppose 0 = 2*c - n + 7 + 4, -3*n - 31 = 2*c. Is 46 a factor of (5862/24 - 3) + 2/c?
False
Suppose -4*g - g = -5. Suppose -3*f + 4 = 40. Is (2 - 6)*f/g a multiple of 13?
False
Suppose 5*h = 5*z + 360, 5*h - 416 = 4*z - 56. Is h a multiple of 3?
True
Suppose l + 4*l - 20 = 0. Suppose -2*q + k = -1, 24 = l*k + 4. Suppose 42 = -0*y + q*y. Is y a multiple of 7?
True
Does 4 divide 74 + 0 + (0 - 2)?
True
Let u = 26 - 18. Suppose 0 = 4*m - u*m + 20. Is 9 a factor of -2 + (m - 1)*5?
True
Let s(x) be the second derivative of 5*x**4/12 - 5*x**3/6 + 5*x**2 + 6*x. Is s(3) a multiple of 7?
False
Let c be 50/18 - (-2)/9. Suppose -4*b + 2*p - 4 = -c*b, b + 4*p + 4 = 0. Does 7 divide (2 - (-10)/b)*-14?
True
Let l = 3063 - 1303. Is 88 a factor of l?
True
Let x(i) = i**3 + 3*i**2 - i + 1. Let w be x(-3). Let o = -1 - w. Let g = 13 + o. Is g a multiple of 3?
False
Let u be ((-11)/((-198)/84))/((-2)/(-147)). Suppose 3*h + u = 4*h. Does 29 divide h?
False
Suppose -2*f + 4*f = 8. Suppose -5*m - 6*d + 9 = -3*d, 0 = -5*m + f*d - 12. Suppose 5*z - 149 = -4*l, m = -4*l - z + 6*z + 99. Does 14 divide l?
False
Suppose -5*s = -7 - 3. Let c(v) = 10*v**2 - 4 - 9*v**s + 2 - 5*v. Is c(9) a multiple of 19?
False
Suppose 0 = -f + 3*o + 244, -5*o = 3*f - 472 - 218. Is 47 a factor of f?
True
Let i = 45 + -46. Does 4 divide (-10)/((4/i)/4)?
False
Suppose 483 = 16*i - 11*i - 3*t, 5*i + t = 479. Does 24 divide i?
True
Suppose -z + 4*x = -3*z - 10, 0 = 5*z - x - 19. Suppose 0 = 5*s - z*l - 104, 5*s - 2*l - 25 = 4*s. Is s a multiple of 18?
False
Let c = 283 + -147. Is c a multiple of 9?
False
Let g be (-493)/(-153) + 2/(-9). Suppose 5*w = 5*n + 1 - 106, -g*w + 27 = 2*n. Does 18 divide n?
True
Suppose -m - 3351 = -3*k, 7*k = 2*k + 2*m + 5585. Does 55 divide k?
False
Let o(k) = -k**3 + 7*k**2 + 4*k + 5. Suppose 2*f + u = -3*f + 40, 0 = 2*u - 10. Is o(f) a multiple of 11?
True
Suppose -4*p + 33 = -m - 23, -123 = 3*m + 3*p. Let n = 90 + m. Is 8 a factor of n?
False
Let n = -139 - -1082. Is 12 a factor of n?
False
Let n = -93 - -100. Suppose -n*y = -118 - 71. Is 27 a factor of y?
True
Let x = -41 - -37. Does 31 divide 186/x*8/(-12)?
True
Let m be (-17)/34 + (-305)/(-2). Suppose f = -7*f + m. Is f even?
False
Suppose -2*r + 3*r = 0. Suppose -20 = -5*n - r, 2*p = -4*n + 26. Suppose -82 = -3*v - 4*t, -v + 4 + p = 5*t. Is 11 a factor of v?
False
Let t be -12*-2*1/6. Suppose t*k + 50 = 5*k. Is 14 a factor of k?
False
Suppose 4*j - 5*j + 690 = -2*u, 5*j + u = 3417. Does 51 divide j?
False
Suppose 0*m = 4*m - 32. Is 11 a factor of -2*4/m*-149?
False
Let y(t) = -t**2 - t - 1. Let s(i) = -i**2 - 6. Let q(x) = 3*s(x) - 6*y(x). Let l = -28 - -22. Does 25 divide q(l)?
False
Suppose -i - 82 = -n, -n - 11*i = -13*i - 77. Is n a multiple of 36?
False
Let v(s) = 3*s**2 - 9*s - 8. Let g(r) = 2*r**2 - 8*r - 7. Let y(n) = -4*g(n) + 3*v(n). Let q be y(-3). Does 7 divide 49*-3*q/21?
True
Suppose -h + 59 = -2*n - 2*n, 0 = 3*n - 3*h + 51. Let r = n + 140. Does 18 divide r?
True
Let v(g) = -4*g**3 + 4