of n?
True
Suppose -2*v = -3*y + 24890, 4*y = -v - 86 + 33280. Does 18 divide y?
True
Let o = -3743 + 17855. Is 32 a factor of o?
True
Suppose 0*d - 3*d = -24. Let c be 15 + -17 + -10 - -663. Suppose d*k = 421 + c. Is k a multiple of 45?
False
Let h(c) = 8*c - 217. Let u(o) = -25*o + 650. Let x(f) = 17*h(f) + 6*u(f). Is x(8) a multiple of 50?
False
Let j be (-13)/(234/12) + (-10)/(-6). Let o be 1*76*(j/4 - -1). Suppose -o = -d + 5*k, 2*d + k = -k + 214. Does 27 divide d?
False
Let j(n) = 229*n**2 + 10*n - 11. Is j(-5) a multiple of 26?
False
Suppose -32019 = -4*r - 575*t + 580*t, -40014 = -5*r + 3*t. Is 99 a factor of r?
False
Let g be -2 - -1 - (-16)/(8/(-4)). Let c be (-9)/6*(g + (-9)/(-3)). Suppose 0 = 4*n + 4*f - 0*f - 60, f = n - c. Does 12 divide n?
True
Suppose 7*y = -221 + 9797. Does 152 divide y?
True
Suppose 46 = -3*k - b - 0, -2*b = 5*k + 76. Is 7 a factor of 2*4/k - 2620/(-8)?
False
Suppose -11*b = 42994 - 146983 - 180647. Is b a multiple of 25?
False
Let j(p) = -7*p + 9. Let m(o) = -13*o + 17. Let x(f) = -5*j(f) + 3*m(f). Let s be x(0). Let q(n) = -n**2 + 11*n - 18. Does 12 divide q(s)?
True
Let n(s) be the first derivative of -33*s**4 - 2*s**3/3 - s**2 - s + 142. Is n(-1) a multiple of 3?
False
Let v(h) = -14665*h + 319. Is 7 a factor of v(-1)?
False
Let d = 5 - 3. Suppose 8*j = d*j + 60. Is 3/(18/j)*(-630)/(-35) a multiple of 10?
True
Let n(o) = 2*o - 46. Let z be n(25). Suppose 0 = 3*f - 5*a - 0*a - 1, 2*f = -z*a + 30. Does 2 divide f?
False
Suppose 55*n + 12022 = -15808. Let p = n - -752. Is 3 a factor of p?
True
Let p(l) be the second derivative of -l**5/20 - l**4/3 + 3*l**3 + 15*l**2/2 - 72*l - 2. Does 5 divide p(-7)?
False
Let g(m) = 479*m + 364. Does 19 divide g(3)?
False
Let g = 769 - 337. Suppose 0 = -11*n - 404 - g. Does 18 divide (-13 - n)/(3/10)?
False
Suppose 697*g = 735*g - 211432. Is 4 a factor of g?
True
Suppose 134*r = 3305526 + 188032 + 51948. Is 5 a factor of r?
False
Suppose -191807 + 48175 - 203120 = -172*x. Is 24 a factor of x?
True
Suppose -18716 = -3*i + 2*w, -15*i + 5*w = -18*i + 18751. Does 26 divide 231/(-45) + 5 - i/(-15)?
True
Suppose -4*o + 26356 = -4*z, -4*o + 3*z + 27935 - 1574 = 0. Does 14 divide o?
True
Let r = 199 + 5909. Is 6 a factor of r?
True
Let t = 26 + -23. Let c be ((-675)/(-12))/(t/12). Suppose -14*j + 15*j = c. Is 45 a factor of j?
True
Suppose 3*j + 4*p - 13 - 3 = 0, 8 = -4*j + 2*p. Suppose 24*t = 19*t + c + 4874, -4*t - 4*c + 3904 = j. Is 15 a factor of t?
True
Suppose -8*p = 98 - 90. Is 7 a factor of (p + 0 + (-444)/4)/(-1)?
True
Let q(c) = 796*c + 5. Let i be q(6). Is 5 a factor of i/56 + (-6)/16?
True
Let j(i) = i**3 - 17*i**2 - 36*i + 9. Let b(f) = -f - 1. Let s(w) = 3*b(w) - j(w). Is 61 a factor of s(17)?
True
Let v(d) = 5*d + d**3 - 9*d**2 - d + 6 + 0*d**3. Let r be v(5). Let p = -12 - r. Is 9 a factor of p?
False
Let q(i) = -144 + 13*i - i**2 + 53 + 69. Is q(8) a multiple of 9?
True
Let b = -13276 - -13425. Is 2 a factor of b?
False
Let d(c) = -c**3 - 6*c**2 + c - 38. Let t be d(-7). Suppose 0 = t*u - 5*x - 1520, u + 4*x - 381 = 5*x. Is 11 a factor of u?
True
Suppose 2*h - 1536 = 8*o - 6*o, 3*h - 5*o - 2302 = 0. Is 19 a factor of h?
False
Let c(o) be the first derivative of 21*o**2/2 - 36*o - 28. Does 9 divide c(3)?
True
Let n(m) = -m - 10. Let h be n(-12). Suppose h*f + f = 351. Let d = -83 + f. Is d a multiple of 17?
True
Suppose -5*u + 2*u + 141 = 0. Let n(z) = 36*z + 180. Let x be n(-5). Suppose -4*a - 119 = -2*d - u, 4*d - 5*a - 153 = x. Does 22 divide d?
False
Suppose 16*p + 80 = 8*p. Is (16/(-5))/(p/325) a multiple of 8?
True
Does 27 divide ((-34)/51)/(4/3)*-11462?
False
Is (15086/(-190) - -25)/(1 + 77/(-75)) a multiple of 60?
True
Let l be -3*-2*((-5)/2 - -3). Suppose -5*m + l*q + 49 = 0, 46 = 3*m + 2*m - 2*q. Suppose -212 + 780 = m*n. Does 7 divide n?
False
Let u(s) = s**2 - 6. Let b be u(-6). Let y be (170/(-136))/((-2)/40). Suppose b*g = y*g + 35. Does 7 divide g?
True
Let b(s) = s**2 + 4*s + 2. Let f = 17 - 23. Let v be b(f). Let u(h) = 6*h - 14. Is u(v) a multiple of 14?
True
Suppose -2621 = -p - 2*y, p + 0*y - 2*y = 2649. Does 191 divide p?
False
Let b(u) = u**2 - u + 7. Let w be b(-2). Suppose 414 - 1428 = -w*c. Does 2 divide c?
True
Suppose -2 = k + 38. Let z = -56 - k. Let w(n) = 2*n**2 + 18*n + 22. Does 41 divide w(z)?
True
Let s = -215 - -94. Let b = s - -113. Let l = b + 54. Is l a multiple of 9?
False
Suppose -5308 = -c - 921. Is c a multiple of 94?
False
Let o(q) = -q**2 + 3*q - 80. Let n be o(20). Let g = n - -590. Is g a multiple of 6?
False
Let s(f) = 2*f + 1. Let q be s(-2). Let k(a) = -27*a**2 - 40*a - 59. Let n(r) = -18*r**2 - 27*r - 39. Let b(c) = -5*k(c) + 7*n(c). Does 5 divide b(q)?
True
Let j(n) = -42 + 22*n + 18 + 37. Let c be j(6). Suppose 142*s - c*s = -42. Does 3 divide s?
False
Let n(u) = 39*u**2 + 3*u + 6. Let d be n(-3). Suppose -14*w + 436 = -d. Is w a multiple of 7?
True
Let g(n) = -n**3 - 10*n**2 - 19*n - 82. Let o be g(-9). Suppose 12*u + 4*i = o*u + 1252, -3*i - 15 = 0. Is u a multiple of 6?
True
Suppose -2399012 + 744580 = -82*k. Does 194 divide k?
True
Suppose -5*n + 2*t + 114 = 0, -4*n - 5*t + 39 = -72. Let l = 34 - -82. Let p = l + n. Is 15 a factor of p?
False
Suppose -62*r = -38*r - 72. Suppose -2486 = -5*o - 4*k, -r*k + 581 - 75 = o. Is o a multiple of 72?
False
Suppose -3*o = 3*f - 7302, -16*o + 18*o = -f + 2432. Is f a multiple of 4?
True
Let y(z) be the second derivative of 62*z**3/3 + 11*z**2/2 - 45*z. Is y(1) a multiple of 9?
True
Let z(g) = -g**3 - 13*g**2 + 19*g + 50. Let p be z(-14). Is 104*(1/(-2))/(p/40) a multiple of 3?
False
Is 2233845/(-81)*9/(-15) a multiple of 47?
False
Let q = 41 - 43. Is 6 a factor of -5 + (-195)/(-30) - 153/q?
True
Let a(f) = -455*f - 3421. Is 21 a factor of a(-60)?
False
Let f(y) = 4*y**3 - 14*y**2 - 3*y. Let l(c) be the first derivative of c**4/4 - c**3/3 + c**2/2 - 27. Let t(h) = -f(h) + 5*l(h). Does 7 divide t(-7)?
True
Let v(z) = -3*z + 13. Let j be v(3). Suppose 20 = j*n, -4*n + 9*n - 16 = 3*r. Suppose 0 = 5*i - r*b + 3 - 897, -6 = 2*b. Does 24 divide i?
False
Does 201 divide (-24)/(((-238)/55811)/(3/7))?
True
Suppose 0 = 41*n - 36*n - 4*y - 417, -y = -5*n + 423. Does 17 divide n?
True
Suppose 5*r - 3*y = -4*y + 5, 4*r - 4 = -5*y. Let c be (((-330)/(-8))/r)/(11/44). Let k = c - 57. Is k a multiple of 32?
False
Let q = 2356 + -2087. Is q a multiple of 8?
False
Suppose -84*x + 199*x = 798560. Does 62 divide x?
True
Let m be (2 + (-8)/6)*(388 - -8). Let r = -43 - -82. Suppose r*n - m = 35*n. Is 22 a factor of n?
True
Suppose -21*z + 221733 = 33321. Does 9 divide z?
False
Suppose -9*q + 13*q + 120 = 0. Let d = -52 - q. Let m = 25 + d. Is m a multiple of 3?
True
Let r(c) = 2565*c - 3213. Is r(5) a multiple of 54?
True
Suppose 5*s + 0*s = 420. Let k = -88 + s. Is 63 + 35/14*k/(-10) a multiple of 16?
True
Let r = 7934 + 4781. Does 10 divide r?
False
Suppose 653057 = 66*i + 148619. Is i a multiple of 11?
False
Let g = 8 - 5. Let t = 224 + g. Is t a multiple of 41?
False
Suppose -2*c + 33*r = 30*r - 8094, -5*c - 2*r + 20254 = 0. Does 135 divide c?
True
Let f be 2/6*((2 - -32) + -1). Suppose 876 = f*h - 1687. Is h a multiple of 16?
False
Let w(r) = -6*r + 1060 - 2*r**3 - 17*r**2 - 3*r**3 - 1082 + 4*r**3. Is w(-17) a multiple of 10?
True
Let v = 3357 + -1888. Suppose 16*x = v + 3107. Is x a multiple of 13?
True
Let g be (-303)/(-33) + 2/(-11). Suppose 3*a + l = g + 1, -2*a + 9 = 3*l. Suppose -4*b - q = -160, 29 = 2*b - a*q - 51. Is b a multiple of 22?
False
Let c = 20322 - 1219. Is 32 a factor of c?
False
Suppose u - 1547 = -3*z, -4*z = -u + 953 + 580. Is u a multiple of 23?
True
Suppose 0*o = -o. Suppose o = v + 2 - 3. Does 17 divide (-60)/(-4 - -2) + v?
False
Suppose -v + b + 173 = -2*b, -4*v = -5*b - 713. Suppose -2*l + 0*l = -6, -2*p = 3*l - 597. Let s = p - v. Is s a multiple of 14?
True
Let a(r) = 112*r**2 - r + 2. Let l(m) = m**2 - 12*m + 37. Let f be l(7). Does 3 divide a(f)?
False
Suppose -119130 = -18*v - v. Does 5 divide v?
True
Suppose -3*m + 119 = -2*w, -5*m - 4*w + w + 211 = 0. Suppose 5*p = s + 1185, -m*s = -p - 37*s + 237. Is 6 a factor of p?
False
Suppose -6*i + 10408 = -8047 + 5495. Is 45 a factor of i?
True
Does 9 divide (-480593734)/(-21897) - 4/(-54)?
False
Let y(b) = 10*