Does 27 divide p?
False
Suppose 2*s + 2*r + 847 = 27459, 5*r = -s + 13286. Suppose 24*p - s = 7*p. Does 29 divide p?
True
Suppose 2*y - 17 = -2*y + 5*m, 3*m = 4*y - 23. Suppose -19 = -y*i + 13. Suppose -i*h + 2*r + 101 + 25 = 0, -h + 54 = 4*r. Does 14 divide h?
False
Let d(s) = 5*s - 5. Let p be d(2). Suppose -p*w - 3*z + 2258 = 0, -3*z = -5*w + 3*w + 920. Is 53 a factor of w?
False
Let z(s) = 146*s + 232. Let f(x) = 435*x + 695. Let j(q) = -4*f(q) + 11*z(q). Is j(-6) a multiple of 26?
False
Let d = 6345 + -1407. Is 24 a factor of d?
False
Suppose -160 = 20*v + 140. Is v/(-9) + (-232)/(-12) even?
False
Let x be -6*(-3)/36*-874 + 1. Let a = x - -1060. Is a a multiple of 6?
True
Let r = 71 + -67. Suppose -5*h = -4*j - 42, -r*h + 2*h + 18 = -2*j. Let f(g) = g**2 + 2*g - 8. Does 40 divide f(h)?
True
Suppose -w = -3*o + 30132 + 19911, -w - 33361 = -2*o. Is 38 a factor of o?
True
Let l(s) = -3*s**2 - 27*s + 15. Let y(n) = -2*n**2 - 26*n + 14. Let r(c) = -4*l(c) + 5*y(c). Is r(13) a multiple of 11?
False
Suppose 49 = -6*b + 37. Let j(g) = 42*g**2 + 2*g + 5. Does 18 divide j(b)?
False
Is (20288/(-10))/(12/(-30)) - 12/3 a multiple of 40?
False
Let l(t) = 3*t + 5. Let b be l(-1). Let a(s) = -s**3 + 40*s**2 + 18*s - 93*s**b + 45*s**2 + 13. Does 6 divide a(-10)?
False
Is 3/(-10)*2/((-54)/45)*15248 a multiple of 81?
False
Suppose -2*r = -r + a + 1, 2*r = 5*a + 33. Suppose 0 = r*b + 4*l - 4, 4*b = -2*l - 0*l. Is (46 - 1) + 0 + (-1 - b) a multiple of 9?
True
Let p = 210 - 230. Is 3*1/15 - 4176/p a multiple of 8?
False
Suppose 3*b - 4*q - 20 = 0, -17*b + 18*b - 10 = 3*q. Suppose -b*f + 15778 = 19*f. Is 52 a factor of f?
False
Let l = -5517 - -6277. Is l a multiple of 40?
True
Suppose 3*v - 5*r - 808 = 0, -3*r - 49 = 2*v - 594. Suppose 4*c - 140 = d, 2*d + c + 36 = -v. Let i = -8 - d. Is i a multiple of 27?
False
Is 7/(((-14)/13720)/(35/(-20))) a multiple of 35?
True
Let b = 198 - 1041. Let m = -473 - b. Does 23 divide m?
False
Let s(d) = 7*d**2 - 20*d + 26. Let i(o) = 2*o - 39. Let z be i(23). Is 29 a factor of s(z)?
False
Let b(q) = -26*q - 20. Let n be b(-1). Let f = 73 - 247. Let u = n - f. Is u a multiple of 18?
True
Let m(x) = -x**3 - 10*x**2 + 23*x - 11. Let s be m(-12). Suppose s = 2*c - 3. Suppose 6*y - c*y = -5*v + 399, 0 = -5*v + 2*y + 423. Does 8 divide v?
False
Suppose -296 - 116 = 4*s. Let v = 245 + s. Let x = -100 + v. Does 7 divide x?
True
Let o be (-3222)/13 - 5/((-260)/(-8)). Let a be (o/(-20))/(3/15). Suppose -a*p + 100 = -57*p. Does 10 divide p?
True
Let q(p) = -p**3 + 33*p**2 + 16*p - 11. Let d be q(34). Let b = d - -983. Is b a multiple of 60?
True
Let w(r) = -r - 2. Let k be w(-5). Suppose -g + 4 = k*g. Is (-16)/(6/(-15)*g) a multiple of 20?
True
Let m(o) = -6*o + 34. Let r = 75 + -21. Let q = -50 + r. Does 9 divide m(q)?
False
Let j(t) = 1514*t**2 + 13*t + 13. Is 8 a factor of j(-1)?
False
Suppose -3*i + 6*i - 9 = 0. Let m(k) = -k**3 + 3*k**2 - 6*k - 3. Let p(b) = 2*b**2 + 2*b. Let t(v) = m(v) + 2*p(v). Does 3 divide t(i)?
True
Let b be 5*-1 + 17 + -18. Let j(d) = 12*d**2 + 6*d + 18. Is j(b) a multiple of 18?
True
Suppose 2*l - 2*o = 18662, 3*l + 4*o + 3542 = 31584. Does 29 divide l?
True
Let t = -184 - -184. Suppose -4*i + 5*i = m - 303, t = 4*i + 16. Is 50 a factor of m?
False
Suppose -5*r = j - 1592 + 441, 0 = -5*j + 30. Does 17 divide r?
False
Suppose z + 1 = 2*z. Is (17 - 0)/(1/4*z) a multiple of 4?
True
Let y = 1198 - 1879. Let i = y + 1017. Is i a multiple of 56?
True
Let m(j) = 1945 - 971 - 927 + 5*j. Let k be ((-2)/3)/((-6)/99). Is m(k) a multiple of 6?
True
Is (-2197533)/(-52) + -6 - (-7)/4 a multiple of 74?
False
Let j be 710 + -4*(-12)/(-16). Let w = j + -502. Is w a multiple of 41?
True
Let x(h) be the second derivative of h**4/12 - 13*h**3/3 - 3*h**2/2 - 2*h + 1117. Let o(b) = 2*b**2 - 5*b - 4. Let c be o(-3). Is 14 a factor of x(c)?
True
Suppose -5*o - 412*m + 415*m = -190674, -5*o + 4*m + 190667 = 0. Does 26 divide o?
False
Let o(n) = 17*n + 280. Let j(t) = 26*t + 419. Let z(m) = -5*j(m) + 8*o(m). Is z(0) a multiple of 43?
False
Let n(f) = f**3 + 10*f**2 - 12*f + 7. Let l be n(-11). Suppose -x + 4*u + 6 = 0, -3*x = u + u - 46. Suppose l*h - x*h = 28. Is 6 a factor of h?
False
Let u(v) be the third derivative of -v**4/6 + 4*v**3/3 - 8*v**2. Let y be u(2). Does 4 divide 0/(-4) - (-16 - y)?
True
Let z be 98648/220 + (-3)/(-5). Let y = -378 + z. Does 3 divide y?
False
Suppose -2*j + 21972 = -y - 108092, -5*j + 325163 = -2*y. Does 10 divide j?
False
Suppose 23*j = -j + 27600. Does 50 divide j?
True
Suppose 5*y - 8297 = 6*q - 27567, -4*y = -5*q + 16058. Is 3 a factor of q?
True
Let z = -582 - -838. Suppose -z*u = -266*u + 1900. Does 15 divide u?
False
Suppose 4*z - 12 = 8. Suppose 0 = -8*f + 4*f + 8, -2*f + 4 = z*x. Suppose -26*i + 23*i + 66 = x. Is i a multiple of 9?
False
Is 314 a factor of (((-5024)/(-10))/4)/((-2)/(680/(-2)))?
True
Suppose -8*b + 3*b = -2*a + 130, -2*b + a - 52 = 0. Let q = 48 + 6. Let z = b + q. Does 5 divide z?
False
Let r = -118 + 352. Suppose -3*h + 2*p = -0*h - 717, -h - p = -r. Is 42 a factor of h?
False
Let t(l) = -46*l + 45. Let y be t(-9). Let n = 874 - y. Is n a multiple of 21?
False
Let w = -7 - 10. Let b = w + 27. Is 1106/b + (3 - (-108)/(-30)) a multiple of 22?
True
Let r be 53/106*(-14)/(-1). Let o(f) be the second derivative of 3*f**3 - 5*f**2 + f. Is o(r) a multiple of 21?
False
Suppose -f = -2*t - 3*f, 2*t + f = 1. Does 11 divide 59 + 3 + 2/t?
False
Let r be -152 - (-4 + (0 - -5)). Let h = 261 + r. Is 12 a factor of h?
True
Let f(w) = -29*w + 6080. Is 19 a factor of f(114)?
True
Let u be ((-786)/(-8) + -1)/(32/14464). Suppose -3*s - n = -43961, -2*s - s - 5*n + u = 0. Is 42 a factor of 2/9 - s/(-153)?
False
Suppose 105 = 6*k - k. Does 38 divide (896/k)/(2/30)?
False
Let j(t) be the first derivative of t**6/60 + t**5/8 + t**4/12 - 4*t**3/3 - 10. Let k(c) be the third derivative of j(c). Does 26 divide k(-6)?
False
Let m(p) = p**3 + 34*p**2 - 27*p - 13. Let c be m(-30). Suppose c = 20*d - 1223. Does 33 divide d?
False
Let k be 3/2*(-1 - (-29)/3). Let m(f) = k + 2*f - 3*f + f**2 - 3*f - f. Is m(10) a multiple of 17?
False
Suppose 0 = -3*r - 3 + 9. Let o(q) = -q**3 + 5*q**2 - 720 + 2*q**r - 2*q + 718. Does 3 divide o(3)?
False
Let y = 168 - 158. Suppose 0 = -y*q - 1551 + 4361. Is q a multiple of 25?
False
Suppose q + 168 = 25*q. Let j(a) = 67*a + 62. Let c be j(10). Suppose -q*r + c = 221. Does 11 divide r?
False
Let i(w) = -26*w + 12. Let y be i(2). Let c(q) = -12*q + 6. Is 27 a factor of c(y)?
True
Is 182 a factor of 49452/7 + (1/42)/((-2)/(-36))?
False
Suppose -6*o - 2971 + 14491 = 0. Is o a multiple of 6?
True
Let o be 2*(12/(-8) - -1) + 117. Suppose -5*l + 5*k = -620, 2*k + o = l - 3*k. Does 20 divide l?
False
Suppose -7*h - 653 = 75. Let r = 116 + h. Is 12 a factor of r?
True
Suppose 2*s - 6 = -t, -4*t - 36 = -4*s - 0*t. Suppose -5*p + 430 = -3*p - 3*d, 5*p - 1050 = -s*d. Does 4 divide p?
True
Let a be 1*-2 - (-10 - 4675/11). Let h = a - 297. Is 4 a factor of h?
True
Suppose 563161 = 24*j - 777119. Is j a multiple of 85?
True
Suppose -113*m - 6*m = -203252. Does 24 divide m?
False
Let c = -414 + 1752. Is c a multiple of 13?
False
Let a(x) be the second derivative of x**5/20 + x**4/3 + 2*x**2 + 7*x. Let n be a(-4). Suppose 5*g + r + n*r = 295, 3*g - r - 157 = 0. Is g a multiple of 28?
False
Suppose v + 37 = 4*v - 2*b, 22 = 2*v - 4*b. Suppose -27*i = -v*i - 3430. Is i a multiple of 49?
True
Let l(w) = 4*w + 6. Let i be l(0). Let s be i + 8/2 + -4. Suppose -s*c = 169 - 565. Is 11 a factor of c?
True
Suppose 0 = -5*n - 4*w + 27, 0 = -5*n + 9*w - 7*w + 9. Suppose -n*r + 2*r = -3*b + 2490, -830 = -b - 2*r. Is b a multiple of 26?
False
Let j(h) = -14*h - 79. Let b be j(-6). Suppose -10*v + b*v - n = -4028, v + n - 804 = 0. Is v a multiple of 26?
True
Let n(s) = -s**2 + 12*s + 15. Let m be n(13). Is 48 a factor of 384*(m + 10/(-8))?
True
Let c = -2465 + 2663. Is c a multiple of 4?
False
Let v be -3 + 0 - (-168)/(-21). Let o(n) = 3*n**2 + 5*n - 20. Does 42 divide o(v)?
False
Suppose 0 = z + 2*k - 1086, -6078 = -5*z - 2*k - 632. Is 5 a factor of z?
True
Is (46 + (-5206)/114)/((10/(-30972))/(-5)) a multiple of 89?
True
Let r(z) = z + 4. Let v be r(-12). Let o be -1*v/4*4. Suppose 0 = 10*h + o*