es 46 divide t(17)?
True
Let h = -98 - -96. Does 27 divide (h - 579/(-6))/(9/18)?
True
Let w(y) = y - 5. Let o be (-2)/(-6) + (-5)/(-3). Let s = o + 12. Is 4 a factor of w(s)?
False
Suppose 2*h - 2 = 5*z - 1, h - 6 = -3*z. Let j = 6 + -10. Does 10 divide 30 - h*j/(-4)?
False
Suppose 0 = 3*p + 3596 + 1498. Is 48 a factor of p/(-22) + (-1)/(22/4)?
False
Let i(j) = 2*j**2. Let u be i(1). Suppose 0 = u*h + 2*h - 44. Let p = h - -1. Is 12 a factor of p?
True
Suppose 1024 = -10*q + 2*q. Let o = -71 - q. Does 19 divide o?
True
Suppose 4*j + 4 = 0, -2*x + 0*j - j - 7 = 0. Let d(q) = 7*q - 1. Let u be d(x). Is 22 a factor of 5792/88 - 4/u?
True
Let u = -159 + 594. Is u a multiple of 19?
False
Let d = 97 + 472. Does 19 divide d?
False
Suppose -47*a + 49*a - 104 = 0. Let b = 10 + -18. Let i = b + a. Does 11 divide i?
True
Let h(s) = 109*s**3 - 6*s**2 + 7*s. Is h(1) a multiple of 22?
True
Let v be -4*-2*2/8. Suppose 0 = -3*j - 4*g + 25, -v*g = -4*j + j + 1. Suppose 0 = -j*h + 101 - 23. Does 9 divide h?
False
Suppose -4*b - 4*n + 12936 = 0, 2*n - 11325 - 4839 = -5*b. Is b/48 - 2/6 a multiple of 25?
False
Suppose 550 + 80 = t + 4*y, 2*t + 2*y - 1242 = 0. Is t a multiple of 50?
False
Let y(j) be the second derivative of -7/6*j**3 + 0 - 3*j**2 - 2*j. Is y(-5) a multiple of 29?
True
Suppose 23 = 3*u - 22. Let x(d) = 7*d + 3. Let y(t) = 3*t + 1. Let r(h) = u*y(h) - 6*x(h). Is 11 a factor of r(12)?
True
Let u(j) be the second derivative of j**5/5 - j**4/6 - j**3/6 + j**2/2 - 10*j. Let n be u(1). Suppose -i - 14 = -n*i. Does 14 divide i?
True
Let c be ((-3)/3 - -14)/1. Let l(k) = k + 10. Is 19 a factor of l(c)?
False
Let d = 977 + -569. Does 51 divide d?
True
Let w(i) = -2*i + 20. Let j be w(7). Suppose -4*m - j*m = -690. Is m a multiple of 23?
True
Suppose 15 - 3 = 2*h. Let l be ((-9)/6)/((-3)/h). Suppose 49 = w + q, l*q = 2*w + 2*w - 231. Does 12 divide w?
False
Let q = 14 + -15. Is (267/6)/(q/(-2)) a multiple of 10?
False
Let k = 253 - -34. Is 41 a factor of k?
True
Let s be 35/(5 + 0) + (-8 - -3). Let y = -15 + 11. Let c = s - y. Is 2 a factor of c?
True
Does 13 divide ((-78)/(-8))/(9/31536*18)?
True
Let g(b) = b + 17. Let i be g(5). Suppose -r + i = 18. Suppose 5*y - 15 = 0, 2*x + r*y - 92 = -10. Is 7 a factor of x?
True
Let y(v) be the third derivative of v**6/120 + 17*v**5/60 + 11*v**4/8 + v**3/6 - 6*v**2. Is y(-14) a multiple of 20?
False
Let f = -67 - -71. Suppose -2*m - 382 = -f*m. Does 41 divide m?
False
Let z(i) = i**3 - 13*i**2 + 31*i + 17. Is 27 a factor of z(10)?
True
Let x(c) = -2*c - 6. Let f be x(-3). Suppose 7*b - 2*b = f. Suppose -4*d = 3*u + 2*u - 76, 2*u - 8 = b. Is d a multiple of 6?
False
Let i = 24 - 21. Suppose -8 = i*b - 5. Does 25 divide b - -38*(4 - 2)?
True
Let v(b) = -62*b - 16. Is v(-5) a multiple of 49?
True
Let y be 8 + -9 - 3/(-1). Let h(z) = -12 + 24 - 11 + 5*z**y - z. Does 26 divide h(-3)?
False
Suppose -10 - 15 = -5*l. Suppose -l*q + 2*p + 320 = -3*p, -2*p = -4. Let x = 108 - q. Is 7 a factor of x?
True
Suppose 93*v - 1022 = 91*v. Does 26 divide v?
False
Suppose -3*m + 127 + 65 = 0. Is (-3)/(((-60)/m)/5) a multiple of 6?
False
Suppose -28*o + 29*o = -5*v + 532, -333 = -3*v + 4*o. Is v a multiple of 19?
False
Let l be (4/6)/(5*(-4)/(-10860)). Let h = l + -181. Is h a multiple of 11?
False
Suppose 0 = 2*d - 1 + 7, 2*y + 2*d + 6 = 0. Let s = -27 + 133. Suppose 2*p - s - 22 = y. Does 16 divide p?
True
Suppose 2*a - 240 - 38 = 0. Is 7 a factor of a?
False
Let m = -7169 - -10049. Is 18 a factor of m?
True
Does 18 divide -3 - ((-26433)/54 - (-1)/2)?
True
Suppose 0 = -23*r + 3314 + 2252. Is r a multiple of 4?
False
Suppose -3*j - 2*i + 112 = 0, -4*i + 9 + 25 = j. Let w = j + -8. Suppose u - 3*n - 7 = 3, 3*u = -n + w. Is 5 a factor of u?
True
Let k = -17 + 13. Let p be ((-40)/k)/((-1)/(-11)). Suppose -7*l + 4*l + 62 = -d, 5*d + p = 5*l. Does 19 divide l?
False
Let v(k) be the third derivative of -k**6/40 - 3*k**5/20 + 11*k**4/24 + k**3/2 + 36*k**2. Is v(-5) a multiple of 14?
True
Let k(l) = -l**3 + 7*l**2 - 8*l + 9. Let x be k(7). Let y = -19 - x. Does 14 divide y?
True
Suppose 264 = -13*k + k. Does 5 divide -3 - ((-2)/(-4)*k - -3)?
True
Let k be (-9)/(-2) - 12/8. Let r = 3 - k. Is 2 - (r + (0 - 18)) a multiple of 20?
True
Let p(v) = v**3 - 16*v**2 - 16*v - 13. Let t be p(17). Suppose 0 = -2*y - 2, -5*y - t - 14 = o. Let f = 3 - o. Is f a multiple of 8?
True
Let q(u) = -u**2 + 12*u - 14. Let s be (-7 + 3 - -2)*(-7)/2. Is q(s) a multiple of 4?
False
Let f(t) = 2*t + 4. Let k be f(4). Let q(y) = y**3 + 20*y**2 - 4*y**2 - k*y - 14 - 2*y**3. Is 9 a factor of q(15)?
False
Suppose 1430 = -3*g - 4378. Does 25 divide (g/(-33))/(((-4)/(-6))/2)?
False
Let o be -11*(3 - 4)*2. Suppose -4*c + 41 = 3*y - 65, -y - 4*c + o = 0. Is 8 a factor of y?
False
Let b(z) = 47*z + 525. Is b(25) a multiple of 25?
True
Let l(i) = -i. Let j be l(-9). Let v(x) = -2 + j + 2*x - 1 + 0*x. Is v(6) a multiple of 6?
True
Let n(w) = -w**3 - w**2 + 18. Let g be n(0). Suppose -b + g = 2*b. Does 7 divide 4/6 + 200/b?
False
Let l(a) = -12*a**2 + 395*a + 6. Is l(30) a multiple of 44?
True
Let j(i) = 59*i**3 + 9*i - 7. Is j(2) a multiple of 13?
False
Is (28/10)/((23/490)/23) a multiple of 16?
False
Suppose -10*k + 4*k = -1938. Does 3 divide k?
False
Suppose -2*q = 3*k + 4, 4*k - q + 0*q = 13. Let c(p) = 14*p**3 + 6*p**2 - 3*p. Is c(k) a multiple of 13?
True
Suppose 4*j = 2*y + 1316, 4*j + 0*y - 1330 = -5*y. Is 15 a factor of j?
True
Let c = 22 - 20. Is (-192 - -18)*(c/(-3))/1 a multiple of 13?
False
Suppose 3*t + 18 = 645. Let c = 67 - t. Let s = -66 - c. Is 20 a factor of s?
False
Let r be (-14)/(-49) + (-250)/(-7). Let i = r + -50. Let w = 32 - i. Is w a multiple of 19?
False
Suppose j = 5*w - 2634, 2*w - 5*w = 2*j - 1583. Is w a multiple of 11?
False
Let i = -30 + 32. Is 13 a factor of (114 + i + -2)/2?
False
Let t(g) = -24*g + 0 - 2 + 10*g - 4. Is 9 a factor of t(-2)?
False
Suppose 0 = 5*c - 7*c + 10. Suppose -k - 29 = -123. Suppose -c*z - 45 = -5*g + 160, -2*g - 4*z = -k. Is g a multiple of 12?
False
Let a = -842 - -1930. Is a a multiple of 16?
True
Suppose 0*r - 1 = r, 4*r = 5*h - 24. Suppose y - 28 - 5 = -h*g, -4*y - 4*g = -96. Let j = y + 12. Is 11 a factor of j?
True
Let z(p) = 3*p**3 - 12*p**2 + 2*p + 16. Let c(b) = 2*b**3 - 11*b**2 + 2*b + 16. Let i(d) = -4*c(d) + 3*z(d). Does 6 divide i(-7)?
False
Let t(r) = r**2 - 11*r - 45. Suppose -m = -41 + 21. Is t(m) a multiple of 9?
True
Let q = -2022 - -3014. Does 52 divide q?
False
Suppose -8 + 8 = -d. Suppose 2*j = -5*k + 85, d = -3*j - 4*k + 47 + 70. Does 7 divide j?
True
Let z(a) = a**3 - 3*a**2 + 2*a - 2. Let x be z(3). Is x/(4*2/16) even?
True
Let q = 93 + 28. Suppose -78 = b + 3*d, 2*d = b + b + 156. Let k = q + b. Does 12 divide k?
False
Let x(i) = 184*i - 20. Does 28 divide x(3)?
True
Let u(m) = -45*m**3 - 4*m**2 - 3*m - 2. Does 19 divide u(-2)?
False
Let y be (-4144)/(-20) - (-4)/5. Suppose -9*o = -o - y. Is o a multiple of 11?
False
Let x(y) = y**2 - 5*y + 1. Let k be x(4). Suppose -f - 52 = -4*c, 5 = c - 4*f - 8. Let v = c + k. Is 7 a factor of v?
False
Let f(v) = -2*v**2 + 26*v - 22. Let t be f(12). Is t/(-7) - 256/(-14) a multiple of 3?
True
Let c = 162 - 17. Suppose -9*w - c = -10*w. Suppose w = 5*r + 5*i, 4*i = 3*r + 47 - 148. Does 22 divide r?
False
Let k(y) = 2*y**2 + 16*y - 154. Does 44 divide k(-19)?
True
Let f(w) = 11 - w + w**2 + 8*w + 5*w. Let i be f(-6). Let q = -12 - i. Is 13 a factor of q?
True
Suppose -4*n - 248 = 496. Does 31 divide ((-6)/4)/(3/n)?
True
Let d(o) = o + 3. Suppose -2 = 2*p - 0. Let u be d(p). Suppose u*b - 51 = 5*x - 179, 0 = -3*x + 4*b + 74. Is x a multiple of 13?
True
Let s(a) = -2*a**3 + 56*a**2 + 24*a - 18. Is 9 a factor of s(28)?
False
Suppose -242 = -5*w + 3*w. Let s = -57 - -62. Suppose -w = -s*g + 54. Does 11 divide g?
False
Let x = -59 + 211. Let h = x - -90. Suppose -5*q + 0*r + 292 = 4*r, 0 = -4*q + r + h. Does 10 divide q?
True
Let r be 3/((-3)/(-34)) + 0. Suppose 4*q - 3*q = r. Is q a multiple of 6?
False
Let x = -29 - -32. Is x*(-4)/(-6) - -80 a multiple of 21?
False
Let n(k) = 2*k. Let g be n(6). Suppose 10 = -c + 3*z, 4*z - g + 4 = 4*c. Does 9 divide ((-6)/c)/3 - -41?
False
Suppose a + 4 + 1 = 0, -5*a = 3*s + 10. Suppose 5*b = -3*o + 146, -3*o = 2*o + s*b - 240