 - i. Does 4 divide m?
True
Let u(i) = -4*i**3 - 3*i**2 + 23. Is 8 a factor of u(-5)?
True
Let g(o) = -o**2 + 3*o + 5. Let t be g(-6). Let p = -19 - t. Does 6 divide p?
True
Suppose 0 = 8*s - 14*s + 48. Let x(p) = 3*p + 0 + 0. Does 24 divide x(s)?
True
Let c = 23 - -842. Is c a multiple of 7?
False
Let d(a) = 2*a - 2 - a**2 + 1 - 4*a + 2. Let j be d(0). Is 11 a factor of j/(-4) - (-3435)/60?
False
Let v(x) = -122*x - 28. Is v(-4) a multiple of 23?
True
Let s(z) = 51*z - 6. Is 12 a factor of s(2)?
True
Let g be (19*(-6)/12)/(2/(-4)). Let c(y) = 13*y - 57. Is c(g) a multiple of 38?
True
Suppose n - 3 = -o - 3*o, 0 = -5*n - 2*o + 33. Let q(j) = 12*j + 15. Does 33 divide q(n)?
True
Suppose h - b - 2341 = -3*h, 2*b - 1168 = -2*h. Suppose 3*w - h = -3*q, 3*w = 3*q - 30 + 585. Does 38 divide w?
True
Let h be (-3)/(3 + 36/(-8)). Suppose 3*o - l = 505, 7*l = h*o + 2*l - 341. Is 11 a factor of o?
False
Let o = 76 - 30. Suppose -2*a = -86 - o. Is 11 a factor of a?
True
Let i(x) be the first derivative of x**4/4 - 2*x**3 + 7*x**2/2 - 9*x - 20. Is i(6) a multiple of 8?
False
Suppose -s + 1 + 3 = 0. Suppose s*t - 161 = 51. Suppose -5*g + 440 = -3*b, 3*g - 211 = 5*b + t. Is 21 a factor of g?
False
Let f(q) be the third derivative of q**5/60 + 5*q**4/24 - 5*q**3/6 - 11*q**2. Is f(-8) a multiple of 4?
False
Suppose 0 = -q + 36*q - 4165. Is 7 a factor of q?
True
Let u(w) = -w**2 + 15*w - 36. Let h be u(12). Suppose -5*t + 163 = -h*t - 4*o, 3*o - 44 = -t. Is t a multiple of 7?
True
Suppose u = -h + 2595, 8*h + 3*u + 6385 - 27130 = 0. Does 48 divide h?
True
Let j(z) = -3*z**3 - 20*z**2 + 5*z - 22. Does 6 divide j(-9)?
False
Let v = -441 - -1449. Is 16 a factor of v?
True
Let y(t) = -t**2 - 14*t - 8. Let d be y(-13). Suppose 5*n + 3*j - 75 = 0, n - d*j + 1 + 12 = 0. Is 198/n - 1/2 a multiple of 8?
True
Does 3 divide ((-9)/(-2))/((21/(-16))/(-7))?
True
Is ((-58080)/(-1008) + (-2)/7)*9 a multiple of 12?
True
Let u(o) = -o**3 + 15*o**2 + 16*o + 46. Does 21 divide u(15)?
False
Suppose -397*v + 393*v = -276. Is 8 a factor of v?
False
Suppose 4*v + v = 5*f + 40, 4*f = 3*v - 28. Suppose v*u = -20, 3*x = -2*u + 48 + 32. Does 5 divide x?
True
Let i(v) be the third derivative of -3*v**4/4 - 5*v**3/6 + v**2. Is i(-3) a multiple of 14?
False
Is 12 a factor of 4 + 3808/8 - (-4)/(-1)?
False
Let g = 14 - 13. Is 11 a factor of 108 + (0 - (-1 - (2 - g)))?
True
Suppose 4*m = -13*m + 12461. Is 23 a factor of m?
False
Suppose -4*h - 55 = -5*p, -p + 0*p - 5*h + 40 = 0. Is 4/((p/(-20))/(-3)) even?
True
Let u be 1/(-4) + 1/4. Suppose u = 2*j - 3*j + 171. Is j a multiple of 25?
False
Let b(z) = -z**2 + z - 1. Let x(c) = -4*c**2 - 10. Let q(s) = -6*b(s) + x(s). Let l be q(4). Suppose -43 = -l*j - 5*t, t - 25 = 6*t. Is j a multiple of 17?
True
Suppose 5*m - 11 - 9 = 0. Suppose -45*w - m = -46*w. Let o(h) = 3*h**2 - 8*h + 9. Is 9 a factor of o(w)?
False
Suppose -5*s = 159 + 141. Is 20/(-8)*s/25 a multiple of 4?
False
Let h = 16 + -11. Suppose -3*m + h*b + 69 = 0, -4*b - 6 = -m - 8*b. Does 13 divide (-6)/27 + 616/m?
False
Suppose -2*t - t + 3*k - 156 = 0, 0 = 5*t - 4*k + 256. Does 13 divide t/10*(-5 - 10)?
False
Let x(q) = 10*q + 20. Let u = -11 - -17. Is x(u) a multiple of 5?
True
Suppose -3*h - 3 = 0, -47*y - 4*h - 388 = -51*y. Does 6 divide y?
True
Suppose -2*k = u + 2*k - 93, -3*u - 4*k = -239. Is 5 a factor of u?
False
Let c = -26 + 16. Let n = c - -37. Is 17 a factor of n?
False
Does 9 divide (-21)/14*-4 - (2 + -419)?
True
Suppose 0 = -2*c + 2*r + 14, -5*r - 1 = 5*c + 4. Suppose c*t = -g + 257, -3*g + 7*t = 2*t - 771. Is g a multiple of 66?
False
Let i(c) = 3*c + 11 - 19*c + 21. Does 15 divide i(-5)?
False
Let u be (-30)/(-5 - -2) - -3. Is 11 a factor of (-131)/(-4) - (-3)/(u - 1)?
True
Let f(t) = -5*t - 5*t + 7 - 6*t**3 + 11*t - 3*t**2. Is f(-3) a multiple of 28?
False
Let a be ((-1 - -5)/4)/((-2)/10). Let o(i) = -3*i**2 - 9 + 4*i - i**3 - 3*i**2 - 12*i. Does 3 divide o(a)?
True
Suppose 3*y - 13 = -2*u, 0*y + 4*y = 2*u + 8. Suppose -4 = m + u*g, -m - g - 2 = 3. Is 2 a factor of m/4 + 143/22?
False
Suppose 10*t = 11*t - 2. Suppose 16 = t*w - 12. Is 7 a factor of w?
True
Does 2 divide (78/18 + -5)*(3 - 102)?
True
Let r be -6*(-4 - 22/(-6)). Suppose j - 10 = -j, 5*j = r*h - 107. Is h a multiple of 18?
False
Suppose -4*p + 118 = -622. Let f = p + -113. Is 36 a factor of f?
True
Let d be -1*(4 - -5)*4/6. Suppose 0 = 2*i + i + 624. Is i/d - (-20)/(-30) a multiple of 28?
False
Let b = 19 - -109. Is 8 a factor of b?
True
Suppose 0 = 4*i + 16 - 48. Suppose 0 = 3*j - i*j + 145. Does 9 divide j?
False
Let i = 2137 + -1757. Does 25 divide i?
False
Let i be (-5 - -2) + 2 + -54. Is 19 a factor of 2 - (-4 + 4 + i)?
True
Let t be 2/8 + 6/8. Let h(y) = 13*y**2 + y + 1. Let v be h(t). Let a = v - -23. Is a a multiple of 19?
True
Let i = 1858 - 1080. Is i a multiple of 12?
False
Let a be 1/((-2)/(-48)) + 1. Let b = a + -20. Suppose q + 4*r = b*r + 33, 4*q - 5*r = 133. Does 11 divide q?
False
Is 2 a factor of (-5)/(10/(-106)) + 5?
True
Suppose 256 - 796 = -3*p - 3*q, -717 = -4*p - 5*q. Let y = 394 - p. Is y a multiple of 12?
False
Let l be (-558)/(-30) + (-3)/5. Suppose -4*q + 2*q = -2*a - l, 2*q - 2 = -2*a. Suppose -q*j - 31 = -w, 5*w + j - 242 = -3*j. Is 23 a factor of w?
True
Let y(a) = 11*a**2 + 34*a - 9. Is y(-9) a multiple of 16?
True
Suppose 0 = 10*p - 71 - 29. Let k(b) = 18*b - 22. Is 22 a factor of k(p)?
False
Let j(o) be the second derivative of o**4/12 + 5*o**3/6 - o. Let b be j(-5). Suppose b = -5*x - 2*t + 157, 4*t = -2*x + 5*t + 70. Is x a multiple of 11?
True
Suppose -153 + 203 = 5*l. Is 4 a factor of l?
False
Let s = -22 + 31. Let p(v) = 8*v - 47. Does 5 divide p(s)?
True
Suppose 4*v + 5*h = 743, 29*v - 33*v + 716 = -4*h. Does 4 divide v?
False
Suppose -26 = 4*p - 6*p. Suppose 0 = p*i - 10*i + 18. Let l(y) = -3*y - 5. Does 13 divide l(i)?
True
Suppose -23*j - 104 = -2*a - 25*j, -8 = 4*j. Is 27 a factor of a?
True
Let k(q) be the first derivative of -q**4/4 + 11*q**3/3 + q**2 - 10*q + 2. Let j be k(11). Let s = j - -34. Is s a multiple of 23?
True
Let q = 445 + -274. Does 19 divide q?
True
Let o(a) = 0*a**2 - a**2 + 0*a + 3*a + 0*a**2 + 10. Let j be o(5). Suppose 3*n - 41 - 31 = j. Is n a multiple of 24?
True
Does 16 divide (((-78)/(-15))/(-1))/((-15)/3000)?
True
Suppose 8786 = 52*d - 28654. Is d a multiple of 9?
True
Let r = 59 - 83. Is r/((-8)/2 - -3) a multiple of 5?
False
Suppose -h + 108 = 2*h + 3*m, 0 = 3*h - 3*m - 138. Is 2 a factor of h?
False
Let m(i) = i**2 + i - 7. Let v be m(5). Suppose 4*f = w - v, 5*w - 3*f - 79 = -f. Suppose -3 = -o + w. Is 6 a factor of o?
True
Suppose -16330 = -4*i + 5*p, -11*i - 4076 = -12*i - 2*p. Does 40 divide i?
True
Does 81 divide (-444)/((-245)/30 - -8)?
False
Suppose 5*l = -203 + 1183. Let d = -118 + l. Suppose -18 = -4*r + d. Does 12 divide r?
True
Is (-8962)/(-18) - (-16)/144 a multiple of 17?
False
Suppose -78*v - 3224 = -86*v. Is v a multiple of 73?
False
Let h be 822/(-90) + (-4)/(-30). Is h/9 - (-33 - -2) a multiple of 8?
False
Suppose 3*a - 10*a = 392. Let s = a - -112. Does 4 divide s?
True
Suppose 4*j - 335 + 964 = c, -5*c + 4*j = -3113. Suppose -4*u - f + 188 = -c, -5*f + 1030 = 5*u. Is 21 a factor of u?
False
Let a be (-1 + 0)/((-3)/135*3). Let b be (33*2/(-3))/2. Let q = b + a. Is q even?
True
Let a(b) = -80*b + 29. Let f be a(-5). Let g = f - 256. Does 50 divide g?
False
Suppose -4*z + 467 = 51. Let h = -29 + z. Is 11 a factor of h?
False
Let l(o) = -o**2 + o + 5. Let n be l(-2). Does 4 divide 35 - (0 - -1)*n?
True
Let a(u) be the second derivative of 7*u**3/6 + 43*u**2/2 + 42*u. Is 9 a factor of a(8)?
True
Does 7 divide (3/2)/(99/924)?
True
Let x(r) = -r**3 + r**2 - 5*r + 394. Does 10 divide x(0)?
False
Let j be (-56)/(-16) + (-1)/(-2). Suppose j + 2 = m. Is m a multiple of 3?
True
Is 12 a factor of 6 + (73359/189 - 2/14)?
False
Let a = -75 + 23. Let o = 23 + a. Let f = 62 + o. Does 14 divide f?
False
Let c be 22/10 + 6/(-30). Let d be -2 + c + 48/(-2). Does 2 divide d/(-132) - 128/(-22)?
True
Suppose 0 = 7*c + 72 - 429. Is c a multiple of 5?
False
Suppose -187 = 4*c - w, 3*w + 59 = 2*c + 150. Let t = -92 + 64. Let m = t - c. Is 5 a factor of m?
False
Let o = 15 - 9. Suppose 0 = 34*i - 38*i. Is (1 - i) + 114/o a multiple of 10?
T