2*r + 74. Suppose -s + 3*s = r. Let c(n) = -n**3 + 18*n**2 - 28*n - 4. Does 15 divide c(s)?
True
Let i = 22504 - 13820. Does 12 divide i?
False
Suppose 0 = -20*t + 79*t - 68794. Does 13 divide t?
False
Let x be -157 - 9/(9/(-4)). Let f be (-4)/16 - x/4. Suppose -2*t + f = 4*c - 0*c, 5*t = -4*c + 101. Does 13 divide t?
False
Let b = 54 - -6. Suppose -l - b = -28. Let v = -4 - l. Is 15 a factor of v?
False
Let d(w) = -2*w**2 + 28*w - 7. Let k be d(14). Let t be (-3*1)/(1/(-4)). Let h = t + k. Does 2 divide h?
False
Let s(g) = g**3 + 17*g**2 + 58*g - 12. Let q be s(-13). Is 12 a factor of ((-74)/3)/(-8 - 715/q)?
True
Let p(v) = 7022*v**2 - 96*v - 200. Is 240 a factor of p(-2)?
True
Let i(t) = t**3 - t**2 + t + 2. Let f be i(0). Suppose 3*z - 188 = -2*y, -43*y = -44*y - z + 92. Suppose -f*k = -k - y. Is k a multiple of 22?
True
Let k = -16 - -20. Suppose -k*n + 41 = 5*o, -4*n - 4*o + 27 = -9. Suppose -3*u - 42 = -w, -166 = -n*w + u - 53. Is w a multiple of 12?
False
Suppose 0 = -355*p + 354*p + 4*z + 11016, -22086 = -2*p - z. Is p a multiple of 23?
True
Suppose 0 = 2*i, 2*i = 2*v - 0*v - 1380. Is 23 a factor of (1/(-2))/(-4 + 2755/v)?
True
Let k(m) = m**2 - 15*m + 11. Let f be k(13). Let d be (-18)/f*(-3)/(-6)*5. Suppose 5*c = -25, -4*q + 85 = -d*c - 18. Is q even?
True
Suppose 350827 = 30*h - 368483. Is h a multiple of 224?
False
Let o(l) = -l**3 + 3*l + 6. Let j be o(-4). Let p = j + 2. Let w = p - 41. Is 2 a factor of w?
False
Let v(h) = -62*h - 196. Is 88 a factor of v(-7)?
False
Suppose 17335 = -19*k + 3028. Let t = -715 - k. Does 4 divide t?
False
Let g be -527*1*(-26 + 25). Let y be g/51 + (-8)/6. Suppose 330 = 12*k - y*k. Does 11 divide k?
True
Suppose 1032 = 18*n + 5964. Let g = 1205 + n. Does 19 divide g?
True
Suppose 4746 = -31*d + 27624. Suppose -5*s = 3*b - 7904, -844 - d = -s - b. Is s a multiple of 13?
False
Suppose -338 = -30*t - 1898. Let f = t + 184. Is f a multiple of 11?
True
Let w(g) = 132*g + 42. Is w(12) a multiple of 39?
False
Let h be 10/((4/(-3))/(-2)). Let l(q) = -198*q + 1980. Let p be l(10). Suppose 2*a + i - 2 - h = p, -4*i = -4*a + 4. Is a a multiple of 2?
True
Is 51 a factor of 95067*14*(-9)/(-378)?
False
Let k be 602/18 + 20/(-45). Suppose -12*w - k*w + 42210 = 0. Is w a multiple of 67?
True
Suppose -3*u - u = -12. Does 34 divide (8 + u)/((-5)/(-65))?
False
Let m = 20 + -23. Let z(r) be the first derivative of -8*r**2 - 4*r + 47. Does 17 divide z(m)?
False
Suppose -7*q + 70 = -2*q. Suppose 0 = -3*g - q*g + 3808. Does 28 divide g?
True
Let j(b) = b**2 + 121*b - 5192. Does 79 divide j(67)?
False
Suppose -11*i - 8617 = -2831. Let o = 126 - i. Does 9 divide o?
False
Suppose -6085 - 2471 = 23*q. Let g = -316 - q. Is 4 a factor of g?
True
Let i(z) be the second derivative of z**4/12 + 3*z**3/2 - 2*z**2 - z + 116. Is 6 a factor of i(8)?
True
Let p = 21576 + -11040. Is p a multiple of 3?
True
Does 12 divide 84792/216 - (-16)/36?
False
Let g(l) = l + 1. Let p(o) = -26*o - 82. Let s(n) = -6*g(n) - p(n). Is 11 a factor of s(7)?
False
Suppose -2414 = -r - 6*r + 960. Is r a multiple of 47?
False
Suppose 23*f + 5*n + 28931 = 24*f, -2*f + 57757 = 5*n. Is 96 a factor of f?
True
Let f be (6 - 546)/(5/(-35)). Suppose -f = -10*s - 4*s. Is 15 a factor of s?
True
Let r = 191 - 191. Is 11 a factor of (-4)/(-22) + r + 10884/33?
True
Suppose 230*v = 60*v + 15888 + 71152. Let m(r) = 2*r - 8. Let i be m(6). Suppose i*w - v = 348. Does 13 divide w?
False
Suppose -439*g = -415*g - 254736. Is 183 a factor of g?
True
Suppose 12570 = 3*o + 5*g - 82555, -3*o + 2*g = -95111. Is o a multiple of 24?
False
Let d(j) = -117*j**2 - j - 4. Let o be d(12). Does 13 divide 6/57 + o/(-76)?
False
Let g = -7199 + 11016. Is g a multiple of 11?
True
Let t = 109 - 43. Let l = -94 + t. Is 3/3*-2*l a multiple of 14?
True
Let k(l) = -12*l**3 - 2*l. Let z be k(-1). Is 12 a factor of (55 + -31)/(((-6)/z)/(-3))?
True
Let i(l) = 89*l - 84. Let q be i(4). Let c = q + 251. Is c a multiple of 69?
False
Suppose -2*f + 13756 + 5538 = 4*q, 4*q - 3*f - 19299 = 0. Is q a multiple of 12?
True
Suppose i + 10 = -5*k, -2*i - 3*k - 4 = -5. Let u(h) = 5*h**2 + 5*h - 4. Let m(q) = -11*q**2 - 11*q + 7. Let g(c) = 2*m(c) + 5*u(c). Is g(i) a multiple of 28?
True
Suppose 88*d - 132130 + 47257 = 615079. Does 97 divide d?
True
Suppose 5*j = -0*k + 5*k - 60, 5*k = -4*j + 15. Let h be 68/14 - 5 - (-687)/k. Is ((-252)/h)/(2/(-14)) a multiple of 8?
False
Let u(d) = -3*d**2 + 20*d + 5. Let c be u(7). Does 3 divide (-3)/((-2 - c) + -8 + 7)?
True
Let l(w) = w**3 + 19*w**2 + 13*w + 176. Is 17 a factor of l(-17)?
False
Let r be -2*(-5)/(-2) + -18*24/(-54). Let y(l) be the third derivative of 3*l**5/20 - l**4/8 + l**3 - l**2. Is 12 a factor of y(r)?
False
Suppose -5*o - 29 + 1169 = 0. Suppose 4*q + 4*f = -0*f + o, 0 = -q + f + 59. Does 14 divide q?
False
Does 21 divide 11 - (-4470 + -16 - (-12)/4)?
True
Let g be (0 - 0 - -1)*606. Let q = -166 + g. Does 11 divide q?
True
Let k be (-191)/4 - 6/24. Does 31 divide (-12)/k + 795/4?
False
Does 41 divide 1230*(468/(-45) + 12)?
True
Let g(p) = -5*p**3 + 223*p**2 + 19*p - 87. Is g(44) a multiple of 139?
False
Suppose -23*h + 22*h = 5*d - 2, 0 = -2*d. Suppose -h*p + 21*r + 285 = 18*r, -4*p + 605 = r. Is p a multiple of 9?
False
Let p be (1 - (-14)/(-6)) + (-289)/(-3). Suppose 137 - p = 3*g. Is g a multiple of 7?
True
Let m(q) = 10*q**2 + 2. Let y = 46 - 42. Let w be -2 + (y - 2/1) + -3. Is m(w) a multiple of 6?
False
Let h = -2502 - -4047. Suppose 0 = -3*q + 1332 + h. Is q a multiple of 77?
False
Let b be (1/5 + 18/10)*1. Let u(l) = 3*l**3 - b*l**3 - 5*l + 0*l**3 - 5*l**2 + 0 + 9. Is 8 a factor of u(7)?
True
Let d(n) = -5 - 13 - 18 + 5*n + 6. Let g be d(7). Suppose -z - 5*r + 78 = -6*r, -g*z - 2*r = -411. Is 10 a factor of z?
False
Let c(y) = -6*y + 10. Let o be c(-2). Suppose 2 - o = -5*b. Suppose 0 = f + 4*m - m - 100, -b*f - 5*m + 428 = 0. Is 14 a factor of f?
True
Suppose -13 = 3*y - 3*u - 22, 2*u = -5*y + 43. Let f(l) = 2 + 2*l - 6 + 5 - l. Does 8 divide f(y)?
True
Suppose -3*f - 3578 = f + 3*x, f + 897 = -2*x. Let c = -103 - f. Does 10 divide c?
True
Let c(s) = 92*s**2 + 72*s + 1088. Is c(-21) a multiple of 246?
False
Let c(p) = -2*p + 1. Let o(k) = -20*k - 22. Let l(g) = 28*c(g) - 4*o(g). Does 18 divide l(5)?
False
Let u(g) = -4*g**3 - 19*g**2 - 13*g + 12. Let o be u(-12). Suppose -o = -21*s - 1530. Is 18 a factor of s?
False
Suppose 1786962 = 193*t - 55*t. Does 23 divide t?
True
Suppose 9*f + 1303 + 1721 = 0. Let s = f - -363. Is 8 a factor of s?
False
Let a be ((-160)/(-28) - 4)/(1/483). Suppose 74*n + a = 78*n. Is 6 a factor of n?
False
Let h = 6 - 5. Suppose -38*j = -3010 - 258. Let g = j - h. Is g a multiple of 22?
False
Let l be (-4)/((0 - 6)/78) + 2. Is 5 a factor of (-6 - (1 + -1)) + (70 - l)?
True
Let j(z) = 2*z**2 - 6*z + 3. Let d be j(2). Let k be 40/16 + d/2. Suppose -k*b + 38 + 42 = 0. Is 20 a factor of b?
True
Suppose 65*h + 40*h = 745290. Is 128 a factor of h?
False
Let k(v) = -16*v - v + 10*v + 16. Does 11 divide k(-15)?
True
Suppose -5*s + 54 = -1. Let v(h) = s*h - 3 + 192*h**2 - 4*h - 2*h - 2*h. Is v(1) a multiple of 32?
True
Suppose -34*h + 367878 = 17*h - 1054563. Does 9 divide h?
True
Suppose -4*g = v + 177, 4*g - 1 + 9 = 0. Let q = v - -499. Is 33 a factor of q?
True
Let z be 24/(-9) + 3 + (-5)/(-3). Suppose -435 = -5*o - 10*h + 11*h, 5*h = -z*o + 201. Is 11 a factor of o?
True
Let g(m) = 5*m**3 + 3*m**2 - m - 1. Let q be g(1). Suppose 0 = y, -2*p - 3*y + 170 = -q*y. Suppose -p = -7*v + 363. Does 16 divide v?
True
Suppose -13*d + 39324 = 45*d. Let t = d - -15. Is 11 a factor of t?
True
Suppose 0 = -98*z - 59*z - 59868 + 295368. Does 60 divide z?
True
Let r(s) be the third derivative of 11*s**4/12 + 10*s**3/3 - 5*s**2. Let z be r(-18). Does 21 divide (-1 - -1 - z/(-32))*-4?
False
Let w(k) = -82*k - 891. Does 38 divide w(-40)?
False
Let l be (-8*2/20)/(3/(-945)). Suppose -l = 4*q + k, 2*q + 312 = -3*q - 2*k. Let j = q - -99. Is j a multiple of 35?
True
Let g = 7 - 5. Suppose 5*m - 6 = 3*m - r, g*m = 2*r + 18. Suppose 2*n + 2*u = 90, 4*n + 0*u - m*u - 207 = 0. Does 31 divide n?
False
Let l be 3 - 28/10 - (-447)/15. Is 3*l/9 + 1 a multiple of 11?
True
Let i be (6 - (-32)/24)/(2/3). Is 44 a factor of (i/(-3) - -4)/(2/2388)?
False
L