 factor of p?
True
Let o be (2 + 2)/(-1)*361/(-76). Let a(r) = -r**3 + 18*r**2 + 30*r - 22. Is 13 a factor of a(o)?
False
Let g(s) = s + 16. Let b be g(-14). Let f be 1/1 + b + 3. Suppose -33 = -f*a + 27. Is 7 a factor of a?
False
Suppose 4*s - 435 = 2*s + 5*p, -4*s + 3*p = -849. Suppose s = -4*c + 14*c. Let m = c - -60. Does 21 divide m?
False
Let l be -3*49/(-21) + -5. Suppose -2*y = 4, l*y + 1213 = 5*v - 2*y. Does 27 divide v?
False
Is (-2)/((1/164)/((-574)/28)) a multiple of 82?
True
Suppose 95*v + 102300 = 407060. Does 30 divide v?
False
Suppose 13*b - 5 = 8*b. Is 5 a factor of (-2424)/(-18) - b/(-3)?
True
Let d = -9829 - -12939. Is 16 a factor of d?
False
Let r(j) = -15*j**2 - 64*j - 18. Let z(m) = 31*m**2 + 127*m + 39. Let k(n) = -13*r(n) - 6*z(n). Is 11 a factor of k(-8)?
False
Suppose 32841 = 51*v - 81603. Is v a multiple of 12?
True
Let o be 7*(159/(-212))/(3/(-4)). Let g be (-1)/(78/40 - 2). Let d = g - o. Is 2 a factor of d?
False
Let o = 907 + 518. Let n = o + -984. Suppose 0 = -6*d + 3*d + n. Does 36 divide d?
False
Let v = -5421 - -12559. Is 83 a factor of v?
True
Suppose 9*q - 9724 = -10*q + 100951. Is q a multiple of 5?
True
Suppose -4*q - 16 = -28, z - 3*q - 52563 = 0. Does 12 divide z?
True
Does 4 divide (-4074)/(-4) + (-18)/((-36)/5)?
False
Let a be 0 + 2 - -9*59. Suppose -n = -17*k + 18*k + 253, n + 2 = 0. Let m = a + k. Is 13 a factor of m?
False
Suppose -4*p - 5*k + 10905 = 0, 5*p = -5*k - 3670 + 17300. Suppose 5*j = -f + p, -2*j + 10*f = 11*f - 1087. Is j a multiple of 13?
True
Let p(c) = -94*c**3 - 2*c**2 + 3*c + 4. Let u be p(-2). Let g = 69 + u. Is g a multiple of 10?
False
Let u(p) = p**2 + 27*p - 31. Suppose -2*m = -2*a + 42, 0 = 3*a + 2*a. Let f be u(m). Let d = -110 - f. Is d a multiple of 8?
False
Let v be (15/5 - 4)*-1 + -2. Is 156 - 18 - (3 + v) a multiple of 14?
False
Let q = 43 - 970. Let a = q + 938. Is a a multiple of 11?
True
Is (-9)/(180/8) + (-21184)/(-160) a multiple of 30?
False
Let t(c) = 6*c**3 - 5*c**2 - 6*c + 4. Let s be 13 + (-3)/((55/(-10))/(-11)). Is 25 a factor of t(s)?
True
Suppose -7*s + 6*s = -3*l + 5, 3*s + 10 = 4*l. Is (-3)/((l/22)/((-9)/6)) a multiple of 11?
True
Let p = 163 + -102. Suppose p*i = 62*i - 10. Does 10 divide i?
True
Let r be (5/(-5) + 2)/(2/176). Let j = r + 242. Is 31 a factor of j?
False
Let p be ((-36)/27)/((-4)/3909). Let h = p + -711. Is h a multiple of 37?
True
Let m(w) be the second derivative of w**4 - w**3/3 - 3*w**2 + 364*w. Let r = -2 + 5. Is m(r) a multiple of 16?
True
Let p(b) = 4204*b - 1808. Is 24 a factor of p(8)?
True
Suppose 2*x - 8*c + 99859 = 7*x, 2*x + 4*c - 39946 = 0. Is 41 a factor of x?
True
Let c(k) be the first derivative of 87*k**2 - 8*k - 102. Is 19 a factor of c(9)?
True
Suppose -9*t + 51*t - 60396 = 0. Is 96 a factor of t?
False
Suppose 9440 = 13*c - 5*c. Suppose o - 2*j = 1184, -o + 0*j + c = -4*j. Is 8 a factor of o/(-81)*(-21)/2?
False
Let l be 15/((-150)/20) - 4*9. Is 7 a factor of (-44)/12*l*3?
False
Let n(o) = 18*o**2 + 33*o + 1. Is n(8) a multiple of 2?
False
Let g = 128 + 137. Suppose -g = -3*h + 41. Is 3 a factor of h?
True
Suppose q = -5*v + 15374 + 11078, -26473 = -5*v - 4*q. Is v a multiple of 34?
False
Suppose -5*g - 3*g = 176. Let l be (-15)/20 + g/(-8). Is 36 a factor of (-443)/(-7) + l/(-7)?
False
Suppose 9*r - 5*r + 4*c = -208, 5*c - 58 = r. Suppose -5*q - 60 = 10. Let u = q - r. Is u a multiple of 13?
True
Suppose 4*r = 4*d + 2392, -10*r = -5*r - 2*d - 2996. Let z = 11 + -7. Suppose -2*p = z*p - r. Is p a multiple of 10?
True
Let a = -54 - -17. Let f = a - -259. Does 31 divide f?
False
Let m(y) = -y**3 + 37*y**2 + 53*y - 453. Is m(38) a multiple of 3?
True
Let f = -226 + 229. Suppose 0 = 4*j - f*c - 2*c - 1743, j - 462 = -4*c. Does 34 divide j?
True
Suppose 12*h = 18747 + 52209. Suppose 49*z - 58*z = -h. Is 20 a factor of z?
False
Let s = 188 - 196. Is 26 a factor of 8 + (64/s - -442)?
True
Suppose -227*n - 8700 = -230*n. Suppose 17*p - 7*p = n. Is p a multiple of 12?
False
Let j = 12426 - 10440. Is 6 a factor of j?
True
Suppose 2*j + 6208 = 2*d, 4*d - 12440 = -314*j + 312*j. Is 74 a factor of d?
True
Suppose 0*z + 11*z = 33. Suppose -g + 4*n = -20, -2*g - 3*n = -37 - z. Is 4 a factor of g?
True
Suppose 0 = -l - 19*l + 35120. Suppose -5*n + l = -w, -937 + 213 = -2*n - 5*w. Is n a multiple of 44?
True
Suppose -4*t + 2*t - w - 18 = 0, 2*w - 45 = 5*t. Let a(m) = 1376*m - 353*m - 355*m + 3 - 340*m - 346*m. Is a(t) a multiple of 33?
True
Let t(y) = -293*y + 1243. Is t(-11) a multiple of 29?
True
Suppose 16*s - 6815 - 2497 = 0. Let w = s + -408. Is w a multiple of 12?
False
Let c(x) = x - 2. Let d be c(-6). Let t be 5/(-14)*(-3 - (-99)/45)*7. Is ((-74)/8)/(1/d*t) a multiple of 12?
False
Suppose -19 - 11 = -10*o. Suppose -130 = -5*m - o*p + 2*p, 4*m + p - 105 = 0. Is 29 a factor of (290 - 0)/(-1)*(-20)/m?
True
Let c(z) = -21*z**3 - 14*z**2 + 35*z - 11. Let a(l) = 14*l**3 + 9*l**2 - 23*l + 8. Let o(y) = 8*a(y) + 5*c(y). Is 5 a factor of o(2)?
True
Let u(s) = s**3 - 8*s**2 + 14*s - 5. Let j be u(4). Let r be 124/2*(j + 14). Suppose -2*p - y + 191 - r = 0, -2*y - 204 = -3*p. Is 11 a factor of p?
True
Is 20512 + (2*(-1 + (-12)/(-8)) - -3) a multiple of 46?
True
Is 20 a factor of (-25940)/7*1*7*14/(-14)?
True
Let y(u) = -2 - 7*u**3 - 49809*u**2 + 49810*u**2 + 1. Let r be 1/1 - (-1 + 3). Does 7 divide y(r)?
True
Is 97 a factor of ((-12)/3 + 2526)*(3 - (-17)/17)?
True
Let q = 1187 + -845. Suppose q = 5*p + 4*x, 0 = -3*p - x + 4*x + 189. Is p a multiple of 8?
False
Let r be 63/(-189) - (1 - 190/3). Suppose b - 94 = r. Is b a multiple of 11?
False
Suppose 23*m = -692 + 3498. Let f = 256 + -164. Let g = m - f. Is 2 a factor of g?
True
Let k = -10264 - -15513. Does 2 divide k?
False
Let l(n) = 66*n**2 + 122*n - 916. Is 36 a factor of l(8)?
True
Let f = -479 + 1037. Let u = 954 - f. Is 36 a factor of u?
True
Let y = -65 + 65. Suppose y = -5*n - 5*s + 20, -n + 2*s - 8 = 3*n. Is 26 a factor of (-154)/(1 - 2) - (-2 - n)?
True
Suppose 145*q = 157*q - 6168. Is q a multiple of 3?
False
Let d = -429 - -432. Let z(p) = 82*p**2 - 68*p - 4. Is 25 a factor of z(d)?
False
Let f(m) = m**3 - 16*m**2 + 35*m + 17. Let c be f(13). Let i be 50/c*(-14)/6*-3. Is 45 a factor of (-9*25/i)/((-2)/(-24))?
True
Let u = 168 + 576. Does 6 divide u?
True
Suppose 34*x + 38 = 36*x. Let g = x + -16. Suppose -g*a = j - 26, 0 = 5*j - a + 2*a - 102. Is j a multiple of 11?
False
Suppose -x - 406 = 6*x. Let a = x - -61. Suppose 4*f - 182 = 2*v, 0*v = a*f + 4*v - 109. Is f a multiple of 21?
False
Let z be (-5 + 4 - 4) + -7. Does 49 divide z/16 + (-3148)/(-16)?
True
Let u(i) = i**2 + 18*i + 26. Let n be u(-17). Suppose -f - 2 = -3*p - 66, -2*p = f + 51. Let l = n - p. Does 6 divide l?
False
Let j(a) = 2*a + 32. Let n be j(-10). Let p be (3 + (-28)/n)*(-9 - 3). Is 6 a factor of p/(-2)*1*14?
False
Suppose -30*d + 62*d - 3486 = 31*d. Does 14 divide d?
True
Let u be -1 + -3*(-2)/6. Let q(x) = x**2 + 11*x - 25. Let i(y) = 2*y**2 + 13*y - 26. Let f(o) = 5*i(o) - 6*q(o). Is 10 a factor of f(u)?
True
Let n be (0 - -1)/((-2)/(-6)). Suppose 4*p - 94 = 2*i, 0 = n*p + 4*i - 3*i - 68. Suppose 3*d - 30 = 2*a, 2*d - p = d + 5*a. Is d a multiple of 2?
True
Let u(g) be the second derivative of 26*g**3/3 + 42*g**2 - 2*g - 11. Does 22 divide u(6)?
True
Suppose 50*b = 46*b + 92. Suppose -3*q - c + 2348 = 0, 2*q - c = b + 1544. Does 71 divide q?
False
Let c = 18 + -15. Suppose -2*z = 4*j - 18, c*z - 2*j + 24 = 7*z. Suppose 2*n = -z*s + 71 + 89, -32 = -s + 4*n. Is s a multiple of 12?
False
Let x(c) = 78*c - 5. Let a(w) = -156*w + 12. Let f(t) = -3*a(t) - 7*x(t). Let u be f(-2). Let r = -93 + u. Does 9 divide r?
False
Let i(o) = -10*o - 18. Suppose -2*b + 9 - 5 = 0. Suppose 4*j + 42 = -b*m, 18 = 3*j - 4*j - 3*m. Is i(j) a multiple of 18?
True
Suppose -42 + 6 = 3*w. Let j = w + 11. Is 13 a factor of 729/9 - 4*j?
False
Let h(i) = 7*i - 33. Let o be h(5). Let l(u) = -u**2 + u + 2. Let y be l(o). Suppose y = -g - 0*g + 139. Is g a multiple of 15?
False
Let c = 446 + -442. Suppose -3667 = -c*a - 5*l, -3940 + 1186 = -3*a - 3*l. Does 71 divide a?
True
Let f(r) be the third derivative of r**4/3 - 4*r**2 - 2. Does 3 divide f(5)?
False
Let a(i) = -260*i**3 - i**2 - 2*i - 1. Let d be a(-1). Is (6 - 30/6)/(2/d) a