
Let z = -400 - -686. Let u = z + 1535. Is u a multiple of 12?
False
Let i = -117 + 119. Is 31 a factor of i/6 - 3825/(-27)?
False
Suppose 8400*z - 8397*z - 2499 = 0. Is 10 a factor of z?
False
Let l = 542 - -22348. Does 53 divide l?
False
Let d(q) = 51*q + 7215. Is 12 a factor of d(-109)?
True
Let h(u) = u**3 - 17*u**2 - 16*u - 23. Let n(d) = 3*d**2 + 11*d - 5. Let x be n(-6). Suppose -5*k - 18 = -f, 5*k + 53 = 5*f - x. Is h(f) a multiple of 7?
False
Let j = -456 + 1165. Let q = -667 + j. Does 36 divide q?
False
Let w be (15 - 1)*369*1/9. Suppose -716 = -15*x + w. Is x a multiple of 13?
False
Let w = -25620 - -34303. Does 31 divide w?
False
Let a(x) = x + 94. Let t = -165 + 133. Does 8 divide a(t)?
False
Let l(f) = 268*f**2 + 49*f + 25. Is l(-5) a multiple of 15?
True
Let h(q) be the third derivative of -q**5/30 - 23*q**4/8 + 22*q**3/3 - 69*q**2. Is 26 a factor of h(-34)?
True
Let r(a) = 308*a**3 - 4*a**2 - 2*a + 10. Is 2 a factor of r(2)?
True
Let w = 5109 + 32395. Does 293 divide w?
True
Let s(t) = 41*t**2 - 10*t + 105. Is s(14) a multiple of 14?
False
Let n(g) be the first derivative of g**2 + 5*g - 12. Let z be n(0). Suppose 59 = -z*w + 249. Is w a multiple of 19?
True
Suppose -750*o + 751*o - 1852 = -5*c, -3*o = 3*c - 5580. Is 2 a factor of o?
True
Let i(a) = -a**3 + 8*a**2 - 11*a + 16. Let k be i(7). Let q = 34 + k. Does 5 divide 1880/55 - 4/q?
False
Let t(r) = -23*r**2 - r + 11. Let a(o) be the third derivative of -o**4/24 + 11*o**2. Let f(h) = -5*a(h) - t(h). Does 14 divide f(3)?
False
Suppose -3*x + q = -286 - 175, -2*x + 4*q + 314 = 0. Is x a multiple of 23?
False
Suppose -68*s - 4 = -70*s. Suppose s*u - 927 = -k, -3*k + 98 + 378 = u. Suppose 10*d - 649 = u. Is 35 a factor of d?
False
Suppose 2*z = 10, -y + 3*z + 2 = 14. Suppose 4*d + 22 = -4*r + 66, 0 = y*r + 2*d - 34. Suppose r*j - 165 = 7*j. Does 6 divide j?
False
Suppose -2 - 4 = -3*l. Suppose -2*u + 98 + l = 0. Suppose -10 = i - u. Is i a multiple of 10?
True
Let b(d) = -3*d**3 - 200*d**2 + 62*d + 10. Is b(-67) a multiple of 3?
True
Let z = 15140 + -7400. Is z a multiple of 33?
False
Let w = -579 + 318. Let a = w - -387. Does 8 divide a?
False
Let g = 79 + -82. Let i be (258 - 1) + (6/g - -6). Let w = -149 + i. Does 15 divide w?
False
Let f be 0 - (1 + 3 - -4). Let i be 108*(0 + (-4)/f). Is ((-12)/(-9))/(3/i) a multiple of 6?
True
Let c = 7 + -3. Suppose -4*o - 3*j = -74, 0 = c*o + j - 18 - 52. Let z(g) = -g**2 + 19*g + 31. Is 7 a factor of z(o)?
False
Let d = -1603 - -2445. Suppose 67*x - d = 65*x. Suppose 4*b - 183 = x. Is 9 a factor of b?
False
Suppose 34 - 49 = -5*c. Suppose 0 = -c*f - f + 16, -328 = -2*i - 5*f. Is 22 a factor of i?
True
Suppose -4*n + 5 = 2*p - n, -3*n = 3. Suppose 0 = -4*c + 2*d + p, 0*c - 2*c + 3*d = -6. Suppose c = 15*o - 13*o - 56. Does 19 divide o?
False
Let b(t) = 7*t - 7 - 6*t - 12 + 2. Let c be b(7). Is 4/c*(4 - 209) a multiple of 10?
False
Let q(r) = -23*r + 6. Let i be q(8). Let v = 2690 + -2997. Let t = i - v. Is t a multiple of 23?
False
Let p be ((-2)/(-4))/((-1)/(-18)). Suppose -8*u = -1328 + 128. Suppose -p = 3*x - u. Does 7 divide x?
False
Is 21 a factor of (30/(-9)*7)/((-2)/288)?
True
Suppose 4*q - 114*f + 109*f = 13693, 3*f = 3*q - 10269. Is q a multiple of 57?
False
Let t(d) be the third derivative of -d**6/120 - d**5/10 - d**4/4 - 37*d**3/6 - 96*d**2. Does 5 divide t(-7)?
False
Suppose 0 = 5*i - 3*u - 205, -3*i = -7*i + 2*u + 162. Suppose 11*r - i = 127. Is r a multiple of 6?
False
Suppose 49*o - 170*o - 286257 + 2712549 = 0. Does 12 divide o?
True
Let p(j) = 831*j**3 - 12*j**2 + 37*j - 13. Does 59 divide p(4)?
False
Suppose -661 + 1405 = h. Suppose 7*z + y = 10*z - 559, h = 4*z - y. Is 37 a factor of z?
True
Let p(j) = j**3 - 71*j**2 + 658*j + 92. Let d be p(60). Let s = -7195 - -10240. Does 12 divide (-9)/12 - s/d?
True
Let a be (-3)/(-4) + 8/32 + 270. Suppose 2*u = 2*n - 232, 5*u + n = -285 - a. Does 14 divide u/(-6)*4/((-8)/(-9))?
True
Suppose -2*t = -2 + 12, 0 = 5*x - t + 2095. Let p = 895 + x. Does 18 divide p?
False
Let y = 4822 - 2067. Let t = -1711 + y. Is t a multiple of 9?
True
Let u = -9185 + 16955. Is u a multiple of 210?
True
Let h be ((58*-1)/2)/(-17 + 688/43). Let d(x) = -x**3 - 29*x + 6*x**2 + 19*x**2 + 44 + 5*x**2. Is d(h) a multiple of 11?
True
Let j(k) = 7*k**2 - 28*k - 33. Let a be j(15). Suppose 5*y + 835 = 3*r, -r + a = 3*r + 2*y. Is 20 a factor of r?
True
Let i be 0*((-56)/(-40) + 4/(-10)). Suppose p - 153 = 3*t, i = p + p - 4*t - 304. Is 23 a factor of p?
False
Let p(c) = c + 20. Let i be p(-18). Suppose -19 = -5*d + 4*b + 225, i*b = 5*d - 242. Is 24 a factor of d?
True
Let r(q) = -58*q**3 + 3*q**2 + 10*q - 9. Let f be r(5). Let x be 0 - 1/(-7) - f/42. Suppose -x = -2*i - j, 8 = -3*j + j. Is i a multiple of 6?
False
Suppose 0 = 23*u - 162861 + 13269. Does 4 divide u?
True
Suppose 34*g = -22*g - 25*g + 1306368. Is g a multiple of 48?
True
Let d = -88962 - -151135. Is 277 a factor of d?
False
Suppose 2*u + 6 = 0, 5*a - 287*u + 290*u - 8481 = 0. Is 44 a factor of a?
False
Let i(m) = -18*m - 6 + 2*m**2 - 3*m**2 + 31. Suppose 37*r + 3*r = -520. Does 12 divide i(r)?
False
Suppose 90*w - 478818 - 830682 = 0. Is w a multiple of 51?
False
Let t be -359*(0 + 2 + -5). Let f = t - 598. Does 28 divide f?
False
Let w(o) = -o**3 - 2*o**2 + 4. Let q be w(0). Suppose -n = 0, -5*p - q = -5*n + 1. Is 22 a factor of -3 - (-2 + p - (-4 + 135))?
False
Let r(u) = u**3 - 11*u**2 - 59*u + 4. Let p be r(-4). Suppose p = -45*q + 57*q - 2580. Is 11 a factor of q?
False
Let o = 68 - 90. Let z = 25 + o. Is 4 + -1 - -48 - z a multiple of 6?
True
Let k be 6/(-8) + (-15)/(-20). Suppose 0 = 4*t + 5*f - 24, 0 = -k*t + 5*t + 3*f - 30. Suppose -5*p + t*i - i = -115, -p = i - 15. Is p a multiple of 19?
True
Let o(c) = -1116*c**3 - 195*c - 388. Does 94 divide o(-2)?
True
Let j(v) be the first derivative of -v**5/60 - 11*v**4/12 - 4*v**3 + 8*v**2 - 3. Let p(f) be the second derivative of j(f). Is 24 a factor of p(-16)?
True
Suppose -9*p = 8*p - 42840. Suppose -35*t + 31*t = -p. Is 15 a factor of t?
True
Let n = -10733 - -15252. Is 31 a factor of n?
False
Let s(k) = k**3 - 2*k**2. Let y be (-2)/2 + 3/1. Let r be s(y). Suppose -3*x = -0*x, r = 5*n + x - 530. Is n a multiple of 53?
True
Let w(v) be the third derivative of 191*v**5/15 - 13*v**4/24 - 2*v**3 + 41*v**2. Is w(-1) a multiple of 17?
True
Let t be 6/33 - 108/(-11). Let s(o) = -o - 2516*o**2 + t + o**3 + 2531*o**2 + o. Is s(-15) a multiple of 10?
True
Suppose 13*u = 15*u - 808. Suppose -5*f + 70 = d - 453, 4*f - 4*d - u = 0. Is 7 a factor of f/2 + (7 - 10)?
True
Is (-4 - -8)*(-45)/(-60) + 9704 a multiple of 11?
False
Let c(z) = -z**2 + 2*z - 7. Let t be c(3). Let q be (-2 + 3)/(-1) - (t + 9). Suppose 4*k = -3*d + 271, -k + 4*k + 4*d - 212 = q. Does 16 divide k?
True
Let r(b) = -b**3 + 16*b**2 + 12*b + 102. Let q be r(17). Let m(y) = 34*y - 25. Is 13 a factor of m(q)?
False
Let m(u) = -24*u + 26. Let g be m(-26). Let y = g + -316. Is 28 a factor of y?
False
Let c(z) = 26*z**2 - 3104*z + 224. Is c(123) a multiple of 19?
False
Let u be (-744)/(14/2 - 8). Is 8 a factor of u/(-18)*(-6 + 0)?
True
Suppose 5*w = -3*r + 4, 5*w - 9*w = 4. Does 16 divide 11*r*551/87?
False
Let p = 14 - 26. Let i(j) = j**3 + 11*j**2 - 11*j + 24. Let c be i(p). Does 40 divide ((-512)/c)/(1/(-3))?
False
Let o be (-490)/18 - (-36)/162. Let j(z) = z**3 + 27*z**2 - 30*z + 90. Is j(o) a multiple of 25?
True
Suppose 2*p + 5*y - 22793 = -2*p, 5712 = p + 4*y. Suppose 1510 = -2*f + p. Suppose 8*z = f - 643. Is z a multiple of 26?
False
Let c(f) = 104*f**3 - 19*f**2 - 19*f + 21. Let m(p) = -21*p**3 + 4*p**2 + 4*p - 4. Let k(b) = 2*c(b) + 11*m(b). Does 10 divide k(-2)?
False
Let n(w) = 4*w**2 + 10*w - 6*w**2 - 12 + 1. Let j be n(6). Let y = -13 - j. Is 4 a factor of y?
False
Is 168 a factor of (1 + 114 - 3)/((-13)/(11076/(-8)))?
True
Is 179 a factor of (-267)/(-5)*223750/750?
True
Does 17 divide (14362/501)/(2/714)?
True
Let s(q) = 568*q + 2. Let r be s(1). Suppose -r = -3*c - t, -5*c = -c - t - 753. Does 6 divide c?
False
Suppose 3*s - 967 - 671 = 0. Is 13 a factor of s - (3/3)/(-7 + 6)?
False
Let j = -205 - -214. Suppose j*z - 2870 = 2*z. Is z a multiple of 41?
True
Let f be 1/(4 - (-172)/(-44)). Let b(u) = -u + 4*u**2 + f*u**2 -