 -1699*g - 609. Is s(-4) a multiple of 151?
False
Let f be ((-2)/(-2))/((-17)/17). Is -1218*((f - -2) + -2) a multiple of 42?
True
Let l(r) = r**3 + 3*r**2 - r - 16. Let p be l(-5). Let y = p - 274. Let g = y + 488. Is g a multiple of 28?
False
Suppose 8 = 2*q, 4*l - 16*q + 19*q - 47156 = 0. Does 142 divide l?
True
Suppose 2*w + 2*w - 4 = 5*n, 5*w = 2*n + 22. Suppose w*u + 2 - 38 = 0. Let s(d) = 11*d + 18. Is s(u) a multiple of 14?
True
Suppose 34 = c - 19*i + 22*i, 62 = 3*c + i. Suppose 2802 - 256 = c*p. Is 12 a factor of p?
False
Suppose -12*y + 107*y - 142248 = 1645272. Is y a multiple of 14?
True
Let q be (-5 + 4)/(-1 + 114/117). Is 13 a factor of 2*q/3*1?
True
Suppose 0 = -5*d + 4 + 6. Suppose 3122 = d*w + 12*w. Does 31 divide w?
False
Suppose -4*t + 111534 = -4*y - 36498, 4*y + 28 = 0. Is t a multiple of 11?
False
Let f = -273 - -290. Let v(i) = 2*i + 151. Is v(f) a multiple of 77?
False
Let h(v) = -3*v - 1. Let c be h(-2). Suppose -710 = -i + 5*q, 0 = c*i + q - 3788 + 134. Suppose 3*d - 5*l - 470 = 0, -i = d - 6*d - 5*l. Is 30 a factor of d?
True
Let l(i) = 2*i**2 - 3*i + 13. Let m(c) = -2*c**3 - c**2 + 2*c + 1. Let a be m(-2). Let g be l(a). Suppose g = 2*n + 4*y + y, n - 3*y = 63. Does 24 divide n?
False
Let g = -7255 + 9624. Is g a multiple of 23?
True
Let s be -2*(-3)/6 - -3. Let o be (-184)/((6 - 64/12) + -1). Suppose -n - o = -4*n - s*r, -4*r = 0. Is 28 a factor of n?
False
Suppose 0 = -28*b + 29*b - 44. Suppose 0 = b*g - 21917 - 5671. Does 28 divide g?
False
Let w be -27*-5*22/(-10). Is 13 a factor of (-8 - w/36)/((-2)/(-584))?
False
Let v = 1000 + -649. Let a = -288 + v. Is a a multiple of 21?
True
Let m = 1716 + -598. Does 27 divide m?
False
Let r = -579 + 580. Let h(f) = 412*f + 8. Is 5 a factor of h(r)?
True
Suppose -4*b + 8 = -3*b. Suppose -2*o = 3 - 1, 5*n + 5*o = 625. Let y = n - b. Is y a multiple of 12?
False
Is 12 a factor of 15974/8*(-952)/(-51) - (-14)/(-21)?
True
Suppose -6 = -3*c, 3*c = 5*d + 6*c - 16. Is 143 + -146 - 482/(-1*d) a multiple of 34?
True
Let a be 79 - (-1 - (-12)/(-4)). Let o = -144 + a. Let m = 114 + o. Is m a multiple of 7?
False
Let i(h) be the first derivative of -9*h**2/2 - 64*h + 46. Is i(-14) a multiple of 4?
False
Let k(i) = 2*i**3 + 2*i**2 - 6*i + 9. Let a(y) = -y**3 + 1. Let l(d) = -3*a(d) - k(d). Does 20 divide l(8)?
True
Let z(o) = -65*o**3 + o**2 + 3*o + 34. Is 7 a factor of z(-3)?
False
Does 30 divide 9223396/572 - (-2)/11?
False
Let k(q) = -q**2 - q + 2. Let r(o) = -594*o**2 + 4*o + 18. Let w(j) = 4*k(j) - r(j). Does 55 divide w(-1)?
False
Suppose 2*i - 30 = 38. Let k be i + 3*8/(-6). Suppose 33*j - k*j - 45 = 0. Is 6 a factor of j?
False
Let i(w) = 390*w**3 - w**2 - 26*w + 87. Is 117 a factor of i(3)?
True
Suppose 2225 = z + 5*u, 10*u + 4457 = 2*z + 13*u. Is 45 a factor of z?
False
Let g be ((-1)/(-7) - 8504/140)*-5. Suppose -c - z - 95 = -244, -2*c - 3*z + g = 0. Is c a multiple of 24?
True
Suppose k = 2*s - 1285, 15*k - 10*k + 25 = 0. Is 7 a factor of s?
False
Let k = 15145 - 10357. Is 9 a factor of k?
True
Suppose -3*c + 2*q = -2*q - 87, 3*q + 9 = 0. Let s(f) = 171*f**3 - 60*f**3 - 28*f**2 - 51*f**3 - c + 29*f - 59*f**3. Does 3 divide s(27)?
False
Suppose 292 = 3*l + 64. Suppose h + l - 354 = 2*q, 2*h = 3*q + 561. Is h a multiple of 28?
False
Suppose -13*c - 2*c = -42240. Is 16 a factor of c?
True
Let w(g) = -g**3 + 8*g**2 - 4*g - 10. Let f be w(7). Suppose 4*m - a + f = 0, 2*a + 11 = -2*m - m. Is 4 a factor of (22/m)/((-10)/15)?
False
Let v be (-2 + -3 + 7)/(4/(-26)). Let c be -13 - v - (-2 - 2). Does 8 divide (16/c)/((-1)/(-16)*4)?
True
Suppose -u - 5*w + 991 = -1808, -3*u + w = -8429. Is u a multiple of 52?
False
Suppose 13*r + 11*r = -152*r + 1921216. Is r a multiple of 32?
False
Suppose 5*n = -7*n + 90336. Suppose -55*o + n = -3362. Is 11 a factor of o?
True
Suppose 1204 = -13*d + 11760. Suppose -7*t = -2541 + d. Is t a multiple of 57?
False
Let x = 408 + -400. Suppose 12*v = x*v + 972. Does 9 divide v?
True
Let z = 4446 + -3945. Is z a multiple of 3?
True
Let r = 9880 + 164. Does 18 divide r?
True
Let f(p) = -23*p - 27. Let g(w) = -20*w - 26. Let u(x) = -3*f(x) + 4*g(x). Let q be 61/(-5) - (-1)/5. Is 25 a factor of u(q)?
False
Suppose 301 = -3*u + 10*u. Let d = 96 - u. Does 2 divide d?
False
Let n(q) = -q**3 - 32*q**2 - 28*q + 24. Does 93 divide n(-37)?
True
Let v(o) = -6*o - 230. Let n be v(-35). Is (-2150)/n*(-13)/((-260)/168) a multiple of 17?
False
Let o(r) = 52*r + 9. Let h(d) = d**3 - 10*d**2 + 3*d - 29. Let u be h(10). Let v be (55/10 - u)*2/3. Does 11 divide o(v)?
True
Let g(w) = -16*w + 82. Let a be g(6). Let i(n) = n**2 - 6*n + 37. Is i(a) a multiple of 9?
False
Let q = 106 + -98. Let r(y) = 25*y + 227. Is 87 a factor of r(q)?
False
Let g(x) be the third derivative of x**5/20 + 41*x**4/24 - 23*x**3/3 - 86*x**2. Does 32 divide g(-21)?
True
Let p(j) = j**3 + 32*j**2 + 92*j + 24. Does 30 divide p(-25)?
False
Let i(h) = -2*h**3 + 2*h**2 + 7*h + 7. Suppose -3*y - 4*w - 26 = 0, -4*y - 26 = 5*w + 8. Is i(y) a multiple of 17?
False
Let y(u) = -u**2. Let z(i) = 19*i**2 + 2*i - 5. Let x(l) = 6*y(l) + z(l). Does 21 divide x(-3)?
False
Suppose -3*b = b - 3*b. Let h(d) = -d + 60. Let p be h(b). Suppose 0 = -t + p + 18. Is t a multiple of 13?
True
Suppose 2792 = h + 2*c - 2060, -2*h + 9704 = -c. Is 248 a factor of h?
False
Let f(q) = -8*q + 5*q + 13 + 4*q + 40 + 17. Does 68 divide f(29)?
False
Let s = -1769 + 3577. Does 12 divide s?
False
Suppose -245*a = -381*a + 247384. Is a a multiple of 17?
True
Suppose 5*o = j - 1241 - 1858, -3*j + 3*o + 9201 = 0. Is j a multiple of 5?
False
Let h = 36 + -33. Let n(d) = 55*d - 27. Is n(h) a multiple of 27?
False
Let t(k) = -10*k - 88. Let h be t(-11). Suppose 0 = 5*f + 2*r - 26 - 31, -2*f = r - h. Does 10 divide f?
False
Suppose 3*f = -8 + 26. Let c be 4/8*0 + f. Let t(a) = 23*a + 43. Does 31 divide t(c)?
False
Let z(d) = 10*d**2 + 14*d + 16. Let y be z(-3). Suppose 4*h = -5*i + 58, -2*i + y = -3*h + 7*h. Is 4 a factor of h?
False
Let o(t) = 147*t + 36. Let v(s) = -49*s - 12. Let c(p) = -6*o(p) - 17*v(p). Is 23 a factor of c(-5)?
False
Let p = 28 - 35. Let y be 9*((-14)/(-3))/p. Does 11 divide (28/y)/(4/(-12))?
False
Let l = 504 - 129. Suppose -z + 385 = -4*k + 1, 5*k - l = -z. Is 20 a factor of z?
True
Is 14 a factor of (38 + -67)/(2/(-38))?
False
Let y = 8748 - 5582. Is y a multiple of 17?
False
Let b = -4455 + 3076. Let m = 1996 + b. Is m a multiple of 25?
False
Let s(l) = 7*l**3 + 44*l**2 - 320*l - 22. Is 13 a factor of s(14)?
False
Is 34 a factor of 182/(-10 + -4) + 29875?
False
Let r(p) = -61*p**2 + 9*p - 30. Let v(b) = -30*b**2 + 5*b - 15. Let y(g) = 3*r(g) - 5*v(g). Let o(n) be the first derivative of y(n). Is o(-1) a multiple of 9?
False
Suppose 503 = 35*z - 197. Suppose -31*t = -z*t - 7260. Is t a multiple of 16?
False
Let u = -3635 + 6101. Is u a multiple of 137?
True
Suppose 9*i - 8*i = -l + 3110, 5*l = -4*i + 12442. Does 37 divide i?
True
Suppose 30*i - 40*i = 220. Is i + 21 - 12*-10 a multiple of 7?
True
Let y be 2/7 - 4/((-84)/(-12039)). Let m = y + 966. Is m a multiple of 38?
False
Let s be 80830/40 - 1/(-12)*3. Suppose -504 = 4*w + j - s, 0 = 2*w + 4*j - 776. Is 18 a factor of w?
True
Let v = 16 + -622. Is 41 a factor of 2144/(-201)*(v/(-4))/(-1)?
False
Suppose -73*n - l = -74*n + 1992, 2*n + 3*l = 3944. Does 11 divide n?
False
Let l be 10*((-7479)/(-10) - (-3)/(-2)). Let d be (-2)/26*2 + l/(-156). Let t = 82 + d. Is t a multiple of 17?
True
Let c(o) = 7*o + 56. Let p be c(14). Let g = -127 + p. Does 9 divide g?
True
Let h = -8713 - -10845. Does 52 divide h?
True
Let t = 82 - 69. Let u(i) = 2*i**2 - 16*i - 6. Is 31 a factor of u(t)?
True
Let d(j) = 4*j + 57*j**2 + 56*j**2 - 5054 + 5056. Let q be 1/((-1 - -1) + -1). Is d(q) a multiple of 12?
False
Let m(u) = u**3 + 5*u**2 + 3*u + 3. Let j be m(-5). Let c(a) = a**2 + 13*a + 8. Let k be c(j). Let s = 17 + k. Is s a multiple of 13?
True
Let c(g) be the first derivative of -6*g**2 + 103*g - 45. Is 11 a factor of c(-12)?
False
Let i(j) = -2*j**3 - 2*j**2 + 2*j + 3. Let v be i(-1). Let f be (6/3)/(v/4). Is (0 + f/(-12))*-12 a multiple of 3?
False
Let w = 83 + -75. Suppose -p = -11*v + w*v + 331, -108 = -v - 2*p. Is v a multiple of 4?
False
Suppose 10 = -46*c + 51*c. Suppose -c*b