/(-16)?
False
Suppose -c - 3028 = -4*i, i - 6*i - c = -3794. Let p = -408 + i. Is 25 a factor of p?
True
Let f(r) = 2*r + 16. Let h be f(-6). Suppose -5*z = -h*n - 326, 2*z - 112 = n + 16. Let a = z - -4. Is 11 a factor of a?
True
Suppose -2*o - 59988 = -5*q, -49*o = -q - 45*o + 11976. Is 120 a factor of q?
True
Let v(s) = -7*s**2 - 6*s - 8. Let a be v(-7). Let d = 452 + a. Is 3 a factor of d?
False
Suppose -u = 5*m - 9855, -4*m + 4*u = -0*u - 7860. Does 29 divide m?
False
Let i(a) = -a**3 + 71*a**2 - 46*a + 426. Does 60 divide i(65)?
False
Let q(i) be the third derivative of i**5/30 + i**4/12 + 14*i**3/3 - 12*i**2. Let y be 272/40 - (-3)/15. Is q(y) a multiple of 11?
False
Let b be 2/(26/(-27)) - 236/(-3068). Is 12 a factor of 193 + b/(7 - 5)?
True
Suppose -20020 = -2*n + 9*n. Is n/(-14) + (-4)/14*1 a multiple of 16?
False
Suppose -3*w + 6026 = s, -3*w - 18102 = 323*s - 326*s. Is s a multiple of 41?
False
Let n(r) = r**2 - 21*r + 4. Let f be n(21). Suppose -u + 4*t + 644 = t, -f*t - 2552 = -4*u. Suppose -259 = -6*j + u. Does 18 divide j?
False
Suppose 4*r = 3*x + 8275, 3*r + 11*x - 9*x - 6219 = 0. Is r a multiple of 19?
True
Let q(i) be the first derivative of -13*i**2 - 113*i + 86. Is 5 a factor of q(-5)?
False
Let n(t) = 259*t**3 - 8*t**2 + 28*t - 14. Is 34 a factor of n(4)?
False
Suppose 9*w + 8*w - 14092 = 6886. Does 2 divide w?
True
Let k be (32 + -33)*(0 + -659). Suppose 4*q + 2*t + t - k = 0, -4*q = -5*t - 683. Is 17 a factor of q?
False
Let k be (1 - 2/3)*(35 - 20). Let f(c) = -2*c + 2*c**2 + c**3 - 9 - 14*c**2 + 9*c**2. Is f(k) a multiple of 7?
False
Let c = -144 - -145. Suppose 0 = -3*s + c + 5. Suppose 0 = -4*p + s + 134. Is p a multiple of 4?
False
Suppose 5*k = 3*p - 1166, -1603 = -4*p - 3*k - 0*k. Suppose 0 = 8*f - 125 + p. Let t = f + 88. Does 27 divide t?
True
Let z be ((-1029)/42)/(2/28). Let v = 487 + z. Does 18 divide v?
True
Let k(j) = j**3 + j**2 - j + 2. Let s be k(0). Suppose -s*g - 48 = -154. Suppose 4*w - 2*n - 189 = g, -4*n + 12 = 0. Is w a multiple of 3?
False
Let n(p) = -3*p**3 - 366*p**2 - 102*p - 144. Does 50 divide n(-122)?
True
Let w be ((-82)/8 + 2)*-16. Suppose -609 + w = -5*p - 4*f, 2*p + 4*f - 186 = 0. Does 5 divide p?
False
Let z(g) = 134*g + 12. Is z(10) a multiple of 6?
False
Is (8/120)/(2/(-10)) + (-46154)/(-6) a multiple of 12?
True
Let c(d) = -8*d + 396. Is 30 a factor of c(12)?
True
Let i(k) = -k**2 - 10*k + 15. Let m be i(-11). Let j be m - (-1)/((-2)/8). Suppose 3*w = -j*w + 153. Is w a multiple of 17?
True
Let v be 21/(-14) + 969/34. Let z(c) be the first derivative of -c**3/3 + 33*c**2/2 + 3*c - 1. Is z(v) a multiple of 15?
True
Suppose -21143 = -h + 160*w - 155*w, 21140 = h - 4*w. Does 38 divide h?
True
Let y be 1288/(-36) + (-6)/27. Is 22/99*549/(-6)*y a multiple of 61?
True
Let a be (-4)/5*(-10)/4. Let m(u) = 29 - 3*u**3 + u - 40 + 0*u**3 + a*u**3. Is 7 a factor of m(-4)?
True
Suppose 1713 = -3*i - 3*b, 2 = 2*b - 0*b. Let x = 824 + i. Is x a multiple of 7?
True
Let a(q) = -q**3 - 7*q**2 - 16*q - 42. Let h be 7 + (-2 + 3 - 19). Is 8 a factor of a(h)?
False
Let k(o) = 498*o**2 - 161*o + 810. Does 47 divide k(5)?
True
Suppose 47*n - 54*n = -28. Suppose -7*x + 1763 = -2*x + l, n*x = -5*l + 1402. Is x a multiple of 25?
False
Let k(q) = 828*q + 29848. Is 14 a factor of k(0)?
True
Let j = 1429 - 793. Let u = j - 577. Is 3 a factor of u?
False
Is 230/((-12)/(-15) - 45/60) a multiple of 100?
True
Let b(r) be the second derivative of -r**4/24 - r**3/6 + 17*r**2/2 + 28*r. Let x(k) be the first derivative of b(k). Does 2 divide x(-10)?
False
Let k(l) be the first derivative of 11*l**4/4 + 2*l**3/3 - 2*l**2 + l + 18. Let q be k(1). Is (15/q)/((-6)/(-80)) a multiple of 5?
True
Let g = 1608 - 1098. Suppose 3*q = -2*q + g. Suppose 3*n = -0*n + q. Does 22 divide n?
False
Suppose -4*a - 23 = -g, 3*a - 23 = -5*g - 0*a. Is 94/6*(-5 - (-1 - g)) a multiple of 5?
False
Let b = -55 - -65. Suppose b*z = 21*z - 231. Does 7 divide z?
True
Suppose 74*t - 75*t = 0. Suppose t = 3*x - 1 - 26. Suppose -4*f + 2*m + 59 + x = 0, -m = 5*f - 71. Is 15 a factor of f?
True
Let u = 52 + -47. Suppose -2*d - 5*z - 146 = 489, u*z = d + 295. Is 31 a factor of (7/(-7))/(2/d)?
True
Suppose -k = -2*l - 25, 0 = -3*k - 0*k + 2*l + 67. Let y be 4/(-50) - 3116319/(-2425). Is y*4/28 - (-9)/k a multiple of 33?
False
Suppose -300*b = -326*b + 107640. Is b a multiple of 10?
True
Suppose 1505 = 5*d - 3*c, -2*c + 6*c = -2*d + 628. Let p be 16/(-88) + 35/11. Suppose d = p*x + 2*t, -t - 23 = -4*x + 386. Does 17 divide x?
True
Let u(c) = 4 + 84*c**3 + 5 - 83*c**3 + 3*c**2 + 13*c + 15*c**2. Does 13 divide u(-14)?
True
Let d = -903 - -1997. Let g be d/13 + (7 - (-186)/(-26)). Suppose -504 = -5*y + 3*f, -5*f = 2*y - y - g. Is 10 a factor of y?
False
Let w be -6*1/(-3)*(0 + 1). Let p(y) be the second derivative of 3*y**3/2 - 7*y**2/2 + 5*y. Does 3 divide p(w)?
False
Let b be (-3)/6 + 30/12. Suppose 4*c = 2*x + 2*x + 44, 3*c = -b*x + 13. Suppose 0 = -i - 4*a + 4, -5*i + c*a = 3*a - 68. Is 12 a factor of i?
True
Suppose -30*l + 26*l = -112. Suppose 82 - l = 2*o. Suppose 5*n - 118 = o. Is n a multiple of 4?
False
Let s(l) = -l + 63. Let h be s(-27). Is 2 + (h + -6 - 2) a multiple of 14?
True
Let c(x) = -430*x**3 - x**2 - 2*x - 7. Does 25 divide c(-2)?
False
Suppose -4552236 = -34*x - 388*x - 46*x. Is 38 a factor of x?
False
Let u = 287 + 9202. Is u a multiple of 57?
False
Let y(z) = -35*z**3 - 11*z**2 - 125*z - 21. Is y(-9) a multiple of 32?
True
Let l(r) = r**3 - 5*r**2 - 8*r + 14. Let s be l(6). Let a be 4 + ((-25)/(-5) - 9). Suppose -s*c + 10 = -a. Is 4 a factor of c?
False
Let y = 2757 + -1692. Does 7 divide y?
False
Let l(c) be the first derivative of -41*c**5/40 + c**4/24 - c**3/3 - 2. Let u(r) be the third derivative of l(r). Does 13 divide u(-2)?
True
Let j(d) = 1 - d**3 + 0*d**3 + 3 - 3*d**2 + 0. Let a be j(-2). Suppose -3*t + 452 = 4*l, a = -t - t + l + 283. Is t a multiple of 24?
True
Let m(b) = b**3 + 2*b**2 + 14*b - 15. Let o(q) = -5*q**3 - 8*q**2 - 56*q + 62. Let t(i) = -9*m(i) - 2*o(i). Is 21 a factor of t(7)?
False
Suppose 25*g - 270 = 7*g. Suppose 4*p = -8, -g*p + 95 = 3*c - 13*p. Is c a multiple of 3?
True
Suppose f = 2*f - 7500. Let j be -1*(f/(-35) - (-4)/14). Let m = j + -142. Is m a multiple of 4?
True
Let p = 23 - 12. Let i(r) = 41 - 49 - 48 - 15*r + 41*r - 4*r. Does 13 divide i(p)?
False
Suppose -5*y = 14*i - 4*y - 212695, -5*i + 75979 = -2*y. Is i a multiple of 111?
False
Let j = -522 + 776. Let k = 52 + j. Does 34 divide k?
True
Suppose 3*r + 19 + 26 = 0. Let g = 40 + r. Suppose -22*h = -g*h + 693. Does 13 divide h?
False
Suppose 5734*j - 5743*j + 129888 = 0. Does 35 divide j?
False
Let s(q) = -803*q**3 + 2*q**2 + 2*q + 1. Let d be s(-1). Suppose -5*y + 820 = 2*x + x, 3*y + d = 3*x. Does 9 divide x?
True
Suppose -5*j - 4*d + 60 = -0*j, 2*j - 26 = -2*d. Let h(v) = 7*v**2 - 8*v + 15. Let i be h(8). Suppose -1159 = -j*x - i. Is 19 a factor of x?
True
Suppose t = -2*h - 286 - 135, 3*h = 2*t + 849. Does 17 divide (-135266)/t - (2/(-9))/1?
False
Suppose 473*p - 86394 = 431*p. Does 87 divide p?
False
Suppose -5*v - 24 - 66 = 0. Suppose 184*n = 176*n + 200. Let j = n + v. Is j a multiple of 3?
False
Suppose 4*t + 5*b = 1257, 94 = 4*b + 74. Does 22 divide t?
True
Suppose 5*t + 3*p - 83 = 0, 18 = 2*t - 4*p + 9*p. Suppose 0 = -5*c - t + 44, 4*c + 2530 = 3*s. Is 11 a factor of s?
False
Suppose 255 = 3*h - 195. Let s = 3056 + -3132. Let j = h + s. Does 37 divide j?
True
Suppose 3*v - 2*w + 5843 = 0, 4*w - 8*w = 2*v + 3922. Let f = -839 - v. Is f a multiple of 22?
False
Suppose 0*w - 3*w = -4*u + 4, 3*u = w + 8. Suppose -5*o + 523 = 5*h - w*o, h + 4*o = 116. Is h a multiple of 8?
True
Let j(r) = r**3 + 14*r**2 - 9*r + 52. Let v be j(-10). Suppose 7*a - 1922 = v. Is 44 a factor of a?
True
Is 5 a factor of (-11271)/(-5) - 2 - (-232)/290?
False
Suppose 1141 - 176 = -5*t + z, t + 3*z + 209 = 0. Let f = t + 411. Is f a multiple of 7?
True
Let j be (6/33 + (-448)/44)/(-2). Let g(a) = 8 - 1 + 30*a - 5 + 8. Is g(j) a multiple of 66?
False
Let z = -210 + 313. Suppose d = 87 + z. Is d a multiple of 16?
False
Suppose -16*g + 88 = -8. Suppose 12*u + g*u = 6912. Is 32 a factor of u?
True
Is 1185/1975*132290/3 a multiple of 17?
False
Let f(i) = -26*i - 3. 