
Let o(j) = -3*j**2 - 12*j - 5. Let b be o(-7). Let m = -40 - b. Does 32 divide 44/(-1)*(-35)/m?
False
Let o = -94 - -16175. Is 12 a factor of o?
False
Is 4 a factor of 2/14 - (-321600)/350?
False
Let p be 2/(-15) - (-17)/15. Let d(x) = 7*x - 4. Let f be d(p). Let l = f - -87. Does 14 divide l?
False
Let d(m) = 3*m**2 + 17*m - 4. Suppose 7*n + 18 = 4*n - 2*q, -5*n - 31 = 3*q. Let t be d(n). Is 9 a factor of t/10*(-20)/(-8)?
False
Let n = 105 - 100. Suppose -9 = 3*s, -s = n*u - 390 - 57. Is 10 a factor of u?
True
Suppose 12306*o - 12321*o = -10395. Does 3 divide o?
True
Let a = 1493 - 614. Is a a multiple of 4?
False
Let j(q) = 2*q**2 - 9. Let v be j(3). Suppose v*i - 4*i + 3*g - 35 = 0, g - 17 = -3*i. Suppose 13 = k - o, -i*o + 3*o - 23 = -2*k. Is k a multiple of 5?
True
Let l(x) = 206*x - 18. Let v = -522 + 526. Is l(v) a multiple of 31?
True
Suppose 0 = -2*y + 7*y - 230. Let g = 1814 + -1799. Let d = g + y. Is d a multiple of 31?
False
Let q = 648 + -638. Is 8 a factor of 4642/q - (-61)/(-305)?
True
Does 14 divide (-2568 - 0)*196/(-84)?
True
Suppose 0 = 2*j + 5*s - 38919, -2*j = 15*s - 11*s - 38916. Does 28 divide j?
False
Suppose k + 4*x - 23 = 0, -4*x + 10 = -k - 7. Suppose k*n + n - 20 = 0. Suppose t = 5*d - 3*t - 111, n*t = d - 39. Is d a multiple of 9?
False
Suppose 0 = -27*c - 35*c + 45074. Is c a multiple of 3?
False
Let i = -527 - -524. Let j(f) = -391*f - 117. Does 33 divide j(i)?
True
Let t = 20 + -17. Suppose 2*f = 4*p - 86, 4*f + 70 = 3*p + t. Suppose 6*w = 5*w + p. Is 8 a factor of w?
False
Suppose 3*m - m = -4*q - 60, -32 = 3*q - 5*m. Let v be (-264)/(-77) - 8/q. Let c(f) = 2*f**3 - f**2 + 7*f + 3. Is c(v) a multiple of 20?
False
Let f(c) = -16*c**2 + 8*c - 17. Let u be f(6). Let m = -340 - u. Is m a multiple of 19?
False
Let a be (-2)/22 + (-105)/55. Is (-17 - 1437)/(a/1) a multiple of 37?
False
Suppose -26*o = 16841 + 14228 - 268735. Is 80 a factor of o?
False
Let b(a) = -a**2 - 18*a - 17. Suppose -4*x - 12 = -5*j, -9 = -4*x - 2*j + 7. Let g(m) = 19*m + 16. Let p(d) = x*b(d) + 3*g(d). Does 4 divide p(10)?
True
Let t be -127 - 1 - (1 - (-2 + 6)). Let m = -67 - t. Let z = 67 - m. Does 3 divide z?
True
Suppose -5*c + 4*k = -8271 - 21564, -23868 = -4*c - 3*k. Is 27 a factor of c?
True
Suppose 316*h - 384*h + 3381572 = 0. Is h a multiple of 26?
False
Suppose 0 = -12*m + 217 + 503. Does 2 divide (72/m)/((-2)/(-30))?
True
Suppose 19*z = 8011 - 7061. Is z a multiple of 10?
True
Suppose -2*y - 134 = -2*b, -4*b = -3*y + 106 - 308. Let u = -9 - y. Is 19 a factor of u?
True
Suppose -3*s = 3*r - 129, 0*r + 5*r = 5*s - 205. Let x = s - -881. Does 13 divide x?
True
Suppose -4*o + 8 = 0, 0 = 5*f - 10*f - 3*o - 4. Does 9 divide ((-204)/(-2))/(f + (-14)/(-6))?
True
Is 110 a factor of (-3)/5 - 3845777/(-145)?
False
Let k be (-16)/12*(-4)/((-12)/(-9)). Suppose -2*r = 2*u + 102, 9 = k*r - 11. Is (-16)/u + (-152)/(-7) a multiple of 5?
False
Let z = 77 - 74. Suppose -2*d - 4*n = 60, -n - 82 = z*d - 3*n. Let w = d - -91. Does 9 divide w?
True
Let a(v) = 9*v**3 + 8*v**2 - 46*v + 68. Is a(4) a multiple of 7?
True
Let t(c) = c**2 - 8*c + 34. Let h be t(-26). Let p = h - 616. Is 16 a factor of p?
False
Let q be 4/(-2) + 183/3. Let g = -55 + q. Does 7 divide (-39)/g*(-96)/36?
False
Let b(g) = 2*g**2 + 19 + 10*g**3 + 2*g - g**2 - 20. Let h(p) = -10*p**3 - 2*p**2 - 2*p + 1. Let o(k) = 6*b(k) + 4*h(k). Does 5 divide o(1)?
True
Suppose -2*v = -7*u + 2*u - 95, -5*v = -u - 272. Let x be 22/v + 374/(-10). Let s = 55 + x. Is s a multiple of 4?
False
Is (-4403)/(-7) + (-6)/(-8)*8 a multiple of 11?
False
Let h(k) = -k**2 + 4*k + 51. Let p be h(9). Let s(a) = 8*a**2 - 8. Does 10 divide s(p)?
True
Is (-2*((-50536)/(-24) + 4/(-24)))/(-1) a multiple of 8?
False
Let b = -64176 + 99528. Does 18 divide b?
True
Suppose -3*s + 4*s = -r + 5248, -2*r + 26246 = 5*s. Is 94 a factor of s?
False
Is 10 a factor of (160/(-112))/(338668/(-112882) + 3 + 0)?
True
Let p = 23 + -38. Let v(n) = -2*n**2 + 37 + n**2 - 19*n + 2*n. Is v(p) a multiple of 13?
False
Let a = -20447 - -34799. Is a a multiple of 52?
True
Let i(d) = 3*d**2 - 13*d - 41. Let f be i(6). Does 10 divide (6 - (-476)/(-77)) + (-10067)/f?
False
Does 20 divide 107909/87 - (0 - (-3)/9)?
True
Let t = 15 - 60. Suppose -v = 4*b + v - 32386, -5*v = -25. Does 36 divide (-4)/(-30) - b/t?
True
Let a be 1/((25/(-70))/(-5)). Let z be 170*(-3 - a/(-4)). Suppose 91 = w - z. Does 32 divide w?
False
Let j = 24 + -14. Suppose 0 = j*d - 385 - 965. Does 27 divide d?
True
Let o(c) = 19*c + 19*c**2 - 7*c + 0*c**3 - 7 - 6*c**3 + 7*c**3. Is o(-18) a multiple of 49?
False
Let a(x) = -5010*x - 6904. Is a(-8) a multiple of 286?
True
Let l(y) = y + 14. Let f(z) = -z**3 - 3*z**2 + 4*z. Let d be f(-3). Let h be l(d). Suppose -h*m = 2*g - 202, 0 = 5*m - 4*g - 633 + 92. Is 23 a factor of m?
False
Suppose -401544 = -89*f - 67*f. Is f a multiple of 26?
True
Let u(l) be the third derivative of 7*l**5/60 - 11*l**4/12 + 25*l**3/2 - 124*l**2 + 2*l. Is 27 a factor of u(15)?
False
Suppose 3*o = -z + 3964, z + 59*o = 61*o + 3964. Is 7 a factor of z?
False
Let x = -37 - -39. Suppose 2*w + 3*n = -3*w + 37, x*n = -4*w + 28. Suppose 2*m - 5*o - 233 = 200, -5*o = -w*m + 1045. Does 17 divide m?
True
Suppose -14 = 3*j - n, 0 = 23*j - 27*j + 2*n - 20. Let t(x) = 102*x**2 - 2*x + 10. Is t(j) a multiple of 30?
True
Let w = -21 - -30. Let u(c) = -c**2 + 12*c - 22. Let j be u(w). Suppose 5*d - k + 5*k - 25 = 0, 2*d = j*k + 10. Does 2 divide d?
False
Is (12251 + -38)*(-1)/((-3)/2) a multiple of 46?
True
Does 6 divide (1 - (-5)/(-2))/(1566/(-10612260))?
False
Let w(c) = 8*c**2 - c**3 - 6 + 0 + c + c. Let u = -1061 - -1067. Is 13 a factor of w(u)?
True
Suppose -206*j - 1120 = -192*j. Is 80 a factor of j*((-6)/3 + -6)?
True
Let r be (-5)/(-50)*706 + (-4)/(-10). Let d = r - 75. Let p(q) = -q**3 - 6*q - 10. Does 13 divide p(d)?
True
Let i(h) be the third derivative of 7*h**5/60 - 7*h**4/24 - 2*h**3 + 2*h**2. Is 24 a factor of i(-3)?
True
Let a(b) = 504*b**3 + 12*b**2 - b + 15. Does 156 divide a(3)?
True
Let n(m) = m**3 - 17*m**2 + 160*m + 162. Is n(28) a multiple of 11?
True
Let y be (-6)/(-4) - (-75)/(-30). Let h be (6 - y)*(1 + -2) + 3. Is 33 + 2 + (-2)/h*-2 a multiple of 17?
True
Let m(b) = -82*b + 12. Let p(y) = -y - 1. Suppose -5*g + a = -17, 0 = g + 4*a - 27 + 11. Let x(u) = g*p(u) + m(u). Is x(-2) a multiple of 45?
True
Let f(o) = 24*o**2 - 7*o + 26. Suppose -4*g + 12 = -0*t + 2*t, -2*g + 20 = -6*t. Is f(g) a multiple of 13?
False
Suppose -6*g = 92 - 326. Suppose -9*y + 10*y - g = 0. Suppose 3*p = y + 21. Is 13 a factor of p?
False
Suppose 3*d + 12*m = 15*m + 954, -312 = -d + 4*m. Does 22 divide 49/7 + d + 3?
True
Let x(z) = 3*z**2 + 17*z - 82. Let q(v) = -4*v**2 - 25*v + 123. Let j(u) = 5*q(u) + 7*x(u). Is 12 a factor of j(17)?
True
Let s(b) = -557*b**2 + 4*b + 2. Let l be s(1). Let k = l - -614. Is 7 a factor of k?
True
Let w = -3084 - -12794. Is w a multiple of 4?
False
Suppose 21*l = 25*l - 64. Suppose 0 = -4*a - 0*a + l. Let q(i) = 29*i - 13. Does 37 divide q(a)?
False
Let y = 560 - 1345. Let c = y - -941. Is c a multiple of 3?
True
Is 1*48*(39/(-26))/(9/(-856)) a multiple of 8?
True
Let d = -36 + 33. Let v(g) = 5*g + 24. Let h(r) = -5*r - 25. Let x(q) = d*v(q) - 2*h(q). Is x(-17) a multiple of 7?
True
Let q = -325 + 176. Let l(b) = -33*b + 13. Let x be l(-8). Let c = q + x. Is 16 a factor of c?
True
Let w(m) = 2741*m + 5985. Is w(5) a multiple of 12?
False
Let f = 19 - 16. Suppose s - f*i - 20 = -0*i, 0 = -3*s - 5*i + 4. Suppose -2*o = -5*g - 0*g + 86, -s = -g + 5*o. Is 3 a factor of g?
True
Let l be 9/5 - (-6)/30. Let g(p) = -3*p**2 + 3 - 3*p**l - 2*p**3 + 17*p**2. Does 7 divide g(5)?
True
Let u(c) = -4*c - 48. Let a be u(-11). Let w be -3*(11/(-3) - a). Is 38 a factor of w + 10/14 + (-3219)/(-21)?
False
Let j(a) = -29*a**3 + 16*a**2 - 65*a - 508. Does 50 divide j(-7)?
False
Suppose -3 = 2*w - 13, -4*w = -2*n - 24. Let p be n + (-5 - 0)/(2 + -3). Suppose 6*t - 126 = p*t. Is 11 a factor of t?
False
Let h(x) = -206*x + 1130. Is h(-8) a multiple of 19?
False
Suppose -148 + 128 = -4*s. Suppose 2*u - 12 = -u, 132 = 2*j + s*u. Does 3 divide j?
False
Suppose -41*w + 1008 = 36*w - 5*w. Let h(p) be the first derivative of p**3/3 - 6*p**2 - 10*p - 1. Is h(w) a multiple