
True
Let s = 765 + -902. Let y = 958 + s. Is 24 a factor of y?
False
Let s(z) = z**3 - z + 1. Let d(k) = -4*k**3 + 21*k**2 - 46. Let t(w) = d(w) + 5*s(w). Is 4 a factor of t(-21)?
True
Does 4 divide -13476*(-7)/(-4 + 25)?
True
Suppose 2*d = 5*i - 2728, -4*i - 3*d + 3583 = 1396. Suppose -j + 7*j = i. Let k = j + -21. Is 35 a factor of k?
True
Let j(r) = 7*r**3 - r**2 + 4*r - 2. Let v be j(1). Suppose -v*w + 5*w = -333. Suppose 5*y - w = 559. Is 26 a factor of y?
False
Suppose 2*d - 3*d = 4*p + 87, 5*p - 2*d = -112. Let r be (-26 - p) + (12 - -1). Suppose 11*u = r*u + 56. Is u a multiple of 14?
True
Suppose 17 = -2*i + 2*m - 7*m, 0 = 3*i + 4*m + 8. Suppose 0 = -i*s - 3*d + 427, 44 = s - 3*d - 74. Is 37 a factor of s?
False
Let o(a) = a**2 - 12*a + 39. Let x be o(6). Let l be 7 - (-6 + (x - 2)). Is 12 a factor of (-1852)/(-9) - l/(-54)?
False
Is 40 a factor of 0 + 41313 - 1 - 112/(-28)?
False
Suppose 57 = 12*l + 7*l. Suppose -4*d = 4*g - g - 391, -l*d + 296 = 5*g. Suppose -d = -3*y + 785. Is 26 a factor of y?
False
Let v(w) be the second derivative of 0 - 13*w - 5/3*w**3 + 15*w**2. Does 36 divide v(-15)?
True
Let c(u) be the third derivative of -7*u**4/24 - 34*u**3/3 + 25*u**2. Is c(-28) a multiple of 16?
True
Let y be (-6)/(((-12)/28)/(6/21)). Let f be y/(-18) - 21/27. Let v(m) = 161*m**2 - 3*m - 2. Is v(f) a multiple of 18?
True
Let o(f) = 3*f**2 + 11*f - 6. Let k be o(-8). Let t = k + -53. Is 8 a factor of ((-24)/(-30))/(2/t)?
False
Let g = -237 + 235. Is (-8*6/(-24))/(g/(-336)) a multiple of 23?
False
Let k be -1 + 1 + 69/((-9)/(-3)). Suppose 26*j - 426 = k*j. Is 19 a factor of j?
False
Let u(s) = s**2. Let p(b) = -b**3 - b**2 + 21*b + 15. Let f(o) = p(o) - 4*u(o). Is f(-8) even?
False
Let x = -1302 - -769. Let w = x - -839. Is w a multiple of 18?
True
Let m = 46213 + -30211. Is m a multiple of 18?
True
Suppose -4*f + 0*f = 0. Suppose -142*b - 4*p = -147*b + 25, 8 = 3*b - p. Suppose -2*c - 2*n + 51 = b, f = -5*c + 4*n + 98. Does 22 divide c?
True
Suppose 4*d - 4562 = l + 608, 0 = 2*d - 3*l - 2580. Let v = d + -355. Let x = v - 645. Is 16 a factor of x?
False
Let h = -1123 - -9021. Is h a multiple of 11?
True
Suppose 902262 = 115*r + 178567. Is 111 a factor of r?
False
Does 11 divide 165/(-11) - -30 - -3515?
False
Let d be 104/7 - (-3 - (-100)/35). Suppose -5*c + 0*a + d = 3*a, 6 = 2*c + a. Suppose 3*h - 3*x - 183 = 0, 75 = c*h + 2*x - 103. Does 6 divide h?
True
Let c = 5357 - 3960. Does 25 divide c?
False
Let v(d) = d**3 - 3*d**2 + 6*d - 22. Suppose 7*p = -320 + 369. Does 18 divide v(p)?
True
Suppose -5*f - b + 2942 = b, 1758 = 3*f + 3*b. Let g = -261 + f. Does 7 divide g?
True
Let t(i) = 203*i**2 + 5*i - 4. Let u(w) = -w**2 + w - 1. Let y(z) = t(z) - 4*u(z). Is 26 a factor of y(-1)?
False
Suppose 0 = -3*y + 3*k + 15, -k = -5*y + 9 + 12. Suppose -y*m + 2*v = -216, 3*m = v - 14 + 174. Is 16 a factor of m?
False
Is 33 a factor of (2 + 88)/(5 - (1320/(-650) - -7))?
False
Let j(k) = -6572*k - 34. Does 14 divide j(-1)?
True
Suppose 3621 = 10*v - 15839 - 25480. Is 42 a factor of v?
True
Let u = 1617 + 4633. Does 11 divide u?
False
Let d(s) = -38*s + 30. Let a(h) = -39*h + 31. Let t(k) = 3*a(k) - 4*d(k). Let b be t(-17). Is 24 a factor of (-4)/(-12) - b/6?
False
Suppose 479913 = 37*m + 262921 - 382334. Is m a multiple of 89?
True
Suppose 6*u = 41 + 73. Let a = 19 - u. Suppose a = -2*l - 3*z + 46, 2*l - 2*z = -3*z + 42. Does 2 divide l?
True
Suppose -2*w - 7970 = -2*g, -15946 = -4*g + 2379*w - 2378*w. Is g a multiple of 11?
False
Let k = -288 - -144. Let r = k + 378. Is r a multiple of 13?
True
Let t(l) = 82*l - 78. Is t(42) a multiple of 18?
True
Let i(q) = -5*q**2 + 179*q - 88. Is i(35) a multiple of 4?
True
Let h be (-119)/(-21) + (0 - (-5)/15). Let u(b) = -3 + 4 + 9*b + 5 - 4. Does 10 divide u(h)?
False
Let w(d) be the second derivative of 13*d**4/6 + 29*d**3/6 - 9*d**2/2 + 134*d. Is w(-5) a multiple of 31?
True
Let n(f) = -10*f**3 + 12*f**2 - 12*f + 43. Is 123 a factor of n(-8)?
True
Suppose 5*s = -2*f - 5637 + 29251, 9461 = 2*s + 3*f. Is 20 a factor of s?
True
Let h(v) = v**3 + 26*v**2 - 13*v - 350. Let j be h(-26). Let b(o) = -o + 1. Let f(t) = -t**2 - 14*t - 15. Let d(a) = 2*b(a) + f(a). Does 35 divide d(j)?
True
Suppose 13*n + n - 2310 = 0. Suppose 69 = i + 5*c, -5*i + 591 = -2*c + n. Is i a multiple of 21?
True
Suppose -549 = -7*l - 45. Suppose -3*i + l = 6*i. Does 20 divide 40*(4/i)/1?
True
Let x(h) = 4118*h**2 + 8*h + 12. Is x(-1) a multiple of 13?
False
Let y(z) = 2*z**2 - 14*z + 10. Let n be y(14). Let d = n + -94. Is 7 a factor of d?
True
Suppose 9 - 1 = y. Let t be y/(-12) + 2/3. Is (t + 16/3)/(22/231) a multiple of 28?
True
Let t = -32 + 35. Suppose 4*d - 228 = 4*k, -d = -t*d + 4*k + 108. Suppose 7*a - 11*a + d = 0. Is 15 a factor of a?
True
Suppose -854*m + 856*m = 3*i - 4361, 2*i = -4*m + 2918. Does 2 divide i?
False
Suppose -5*v = f - 1095, -10*v - 1080 = -2*f + 1050. Is 9 a factor of f?
True
Let d = -15 + -227. Let o = 252 + d. Is 5 a factor of o?
True
Is 44001/9*5 + 2 + 1 a multiple of 16?
True
Let l be (-5)/(35/(-166)) - (-4)/14. Let u = -12 + l. Is 4 a factor of u?
True
Let o = -121 - -126. Suppose 5*b = -3*f + 7*f + 199, -o*f = -b + 23. Suppose -59 = -4*d - b. Is d a multiple of 2?
True
Is (-12 + 3239)/7 - 6 a multiple of 12?
False
Let v(b) = -b**2 + 10*b + 13. Let t be v(11). Suppose -4*j - 3*i - t*i = 0, 0 = -4*j - i. Suppose j = 3*x - 20 - 10. Is 3 a factor of x?
False
Suppose -3*b + 2*b + 2*s = -6, 3*b = -3*s + 36. Suppose -120 = -9*j + 3*j. Let m = b + j. Is m a multiple of 15?
True
Let l(y) = 3728*y + 5596. Is 15 a factor of l(16)?
False
Suppose -2*m - v + 3091 = -6139, -4*m - 5*v + 18466 = 0. Is m a multiple of 24?
False
Is (23177/2)/11*2 + -6 a multiple of 5?
False
Let v = 322 + -181. Suppose -v = -2*a + 3*u + 2*u, 3*u = 4*a - 261. Is a a multiple of 21?
True
Let w be 4/60*3 - (-19)/5. Suppose 1439 = 3*t - 4*n, -t = -w*n + 8*n - 485. Does 37 divide t?
True
Let g = 25670 + -25094. Is 4 a factor of g?
True
Suppose -5*f + j = 4*j - 22, 3*f - 3*j - 18 = 0. Let i(g) be the third derivative of 3*g**5/20 - g**4/8 + 11*g**3/6 + 3126*g**2 + g. Is i(f) a multiple of 13?
True
Let t(s) = 351*s**2 - 181*s - 362. Is 6 a factor of t(-2)?
True
Let z = 2895 - -6065. Does 70 divide z?
True
Let r(w) = 2*w**2 - 66*w + 113. Does 39 divide r(-26)?
False
Suppose -6*d + 1225 = 745. Suppose 148*c - 143*c - d = 0. Is c a multiple of 2?
True
Let q = 5164 - -1420. Does 8 divide q?
True
Suppose -13*d + 27 = -4*d. Suppose -d*b = -3*y - 99, -5*b + 0*y = 2*y - 186. Suppose c + b = 88. Is 17 a factor of c?
False
Suppose 11*g - 46731 + 156891 = 19*g. Is 9 a factor of g?
True
Suppose -2*u = 5*f - 18, -3*u = 5*f - 35 + 13. Suppose -5*l - 3*h + 59 = -0*h, -l + 2*h + u = 0. Is l even?
True
Let v = -13197 + 20057. Is 10 a factor of v?
True
Suppose 5*f + 3*t = -62 + 10, -32 = 3*f + t. Let q(b) = -b - 8. Let x be q(f). Suppose -d - x*l - l + 81 = 0, -l - 256 = -3*d. Does 17 divide d?
True
Let l be 0 + (-6)/15*-10. Suppose -2*d - 16 - 244 = 0. Does 39 divide ((-6)/l)/(1/d)?
True
Let t be -1*(10/(-45) + (-6266)/(-9)). Let y = 58 + -40. Does 29 divide t/y*(-3)/2?
True
Does 27 divide ((-18)/(-8))/(20/3280)?
False
Let j = -4152 - -6339. Is j a multiple of 9?
True
Let b be -8 - 4/(2*-1). Let x(u) = 35 + 0 + 14*u - 27*u + 12*u + 5. Is 46 a factor of x(b)?
True
Let k(n) = -9*n**3 + 2*n**2 - 3*n + 2. Let i be (-6)/(-3)*(3 - (-8)/(-2)). Let x(d) = d**3 - d**2 - 1. Let m(z) = i*x(z) - k(z). Does 20 divide m(3)?
False
Let z be 21/12*-4*(-1)/(-1). Let s(y) = y**2 + 7*y + 1. Let k be s(z). Is 10 a factor of (k - 1 - 2)/(1/(-14))?
False
Let v(g) = 41 + 2*g - 4*g - 9 - 4. Let t be v(13). Suppose 3*f = t*a + 318, -4*a - 321 = -3*f - a. Is 26 a factor of f?
True
Suppose 16*q + 12*q - 54096 = 0. Is q a multiple of 161?
True
Does 14 divide (576/(-54))/((-9)/2349)?
False
Let i(v) = -13 + 5 + v**2 + 4 - 6*v + 0. Let l be i(7). Suppose 0*c + 102 = 2*c - 2*d, -5*c + 215 = l*d. Is 45 a factor of c?
False
Let f be 112/49 - 8/28. Is 47 a factor of (-1756)/(-6) + f/(-3)?
False
Suppose u - 16 = -4*a - 11, 25 = a + 5*u. Suppose a = -11*j + 352 - 0. Suppose j*s - 36*s + 312 = 0. Is 15 a factor of s?
False
Let r = -71 - -37. Let t = 344 - r. Is 14 a factor of t?
True
Let r(g) = g**2 