se -j - 2*o - s = -2*j, 0 = 3*j - 2*o - 3590. Is 16 a factor of j?
True
Let p(c) = 2072*c - 2430. Is 4 a factor of p(4)?
False
Does 21 divide ((-20)/2)/30 - 119332/(-12)?
False
Let s(n) = 84*n**2 - 2*n + 18. Is s(-6) a multiple of 2?
True
Let n = 69 + 995. Suppose 1141 + n = 7*u. Is u a multiple of 9?
True
Let c(p) = -p**3 - 24*p**2 - 2*p - 24. Let b be c(-24). Does 8 divide 4/(-8) + 3 - (-372)/b?
False
Let g be (3 - 3)/(14/7). Suppose 8*l + 384 - 1136 = g. Is 2 a factor of l?
True
Let c(l) = 12*l - 44*l - 2 + 4*l + 11*l + 107*l**2 + 13*l. Is 19 a factor of c(2)?
True
Let p be 0 + -1 + 8 + 1289. Suppose -5*v - r = -p, 2*v + 2*r + r - 521 = 0. Is v a multiple of 35?
False
Let r(p) = 7*p - 150. Let j be r(21). Let n(i) = -221*i. Does 13 divide n(j)?
True
Suppose -5*n + 66825 = 4*n. Suppose 4*r + 7*r - n = 0. Is 9 a factor of r?
True
Let t = 101 - 97. Suppose t*l - 3 = 8*l + 3*b, -2*b - 2 = -2*l. Is -1 - (-5 - l) - -6 a multiple of 3?
False
Does 12 divide (4/2 - -58)/((-1)/(-124))?
True
Let w be ((-1)/4)/(5/(-20)). Let j be 36/w - 0*(6 + -5). Let v = j - -3. Is v a multiple of 13?
True
Let m be 0 - -3*(-2)/6. Let b(z) = -53*z. Let g be b(m). Let y = 68 - g. Does 3 divide y?
True
Suppose 2 = -27*b + 407. Suppose -3168 = b*k - 27*k. Does 22 divide k?
True
Let t be -2 - -6 - (-17 - -25). Does 33 divide (3/6)/(t/(-2376))?
True
Let d(m) = -2822*m - 3439. Is 76 a factor of d(-7)?
False
Let s = 15806 + -182. Is s a multiple of 93?
True
Suppose -36*g + 8787 = 51*g. Is g a multiple of 45?
False
Suppose g - 1373 = -g + j, 5*g = -5*j + 3455. Let t = -193 + g. Is t a multiple of 11?
True
Let d(g) = 2*g + 45. Let h be d(-9). Let l = 67 - 32. Suppose h*s + 416 = l*s. Is 5 a factor of s?
False
Let z(q) be the second derivative of -3/10*q**5 - 3/2*q**2 + 5*q - 1/6*q**4 + 0 - 1/6*q**3. Does 36 divide z(-3)?
True
Let a(q) = q**3 + 65*q**2 + 59*q - 2. Does 11 divide a(-35)?
True
Let d(r) = -4*r**3 - 20*r**2 + 7. Let f be d(-5). Suppose -f*b = -4*b + 3*o - 393, 398 = 3*b + 2*o. Is 8 a factor of b?
True
Let a be (4 - (7 - 4))*163. Let x = a + -42. Suppose 5*j - x = -i, i - j + 0*j = 133. Is i a multiple of 19?
False
Let f(c) = c**3 + 14*c**2 - 13*c + 39. Let q be f(-15). Suppose 0 = q*p - 1605 - 1203. Is p a multiple of 26?
True
Let p be 16*3/18*(-6)/4. Is 64 a factor of 410 + (p - 1) - 2?
False
Let y = -19967 - -50471. Does 12 divide y?
True
Let d = 860 - -1340. Suppose -8*t + d = -4*t. Is t a multiple of 10?
True
Let y(z) = 22*z**3 - 69*z**2 + 3*z - 31. Does 6 divide y(9)?
False
Let k(o) = 6457*o + 3351. Is k(3) a multiple of 14?
True
Let k be (-4)/(((-3)/9)/(1/2)). Let u be (-10)/8*(-78 - -2). Is 12 a factor of (8/4 - u)*(-2)/k?
False
Let s = 374 + -2. Is s*(-4)/(-12)*-2*-3 a multiple of 24?
True
Suppose -929 = 18*n + 817. Is -3 + (2 - 2) - n a multiple of 6?
False
Let x(g) = g**3 + 4. Let j be x(0). Suppose -45*o - 443 = -668. Suppose -5*w - 148 = -j*a, -5*a + o*w + 176 = w. Is 7 a factor of a?
False
Let d = -1697 + 10601. Suppose -d = 15*h - 23*h. Is 8 a factor of h?
False
Is 8 a factor of (91736/28)/(23/161)?
False
Suppose 61 = -23*t + 24*t. Let o = 69 + -92. Let g = t + o. Is 4 a factor of g?
False
Let n(q) be the second derivative of 3*q**4 - q**3/6 - 13*q**2/2 + 53*q. Is n(-3) a multiple of 16?
False
Let t(m) = -m**2 + 13*m + 9. Let c be t(14). Let h be 1 + c/3 - (-4)/6. Is (-1 - h) + (40 - (3 + 0)) a multiple of 9?
True
Let q(r) = 47*r**3 - 2*r + 57*r**3 - 8*r**2 + 14*r**2 - 4*r**2 + 1. Let p be q(1). Suppose 8*z = 297 - p. Does 2 divide z?
True
Suppose 5*z + 50 = -2*a - 0*z, -3*z = 3*a + 84. Let m(c) = 2*c**2 + 40*c + 82. Is m(a) a multiple of 62?
True
Suppose -12*f - 3657 = -45021. Is 9 a factor of f?
True
Suppose -3*r = f - 111, -339 = -7*f + 4*f - 3*r. Let q = f + -70. Is 9 a factor of q?
False
Suppose 37*f - 26*f = 0. Suppose f = -p + 5*p + 3*u - 2440, 3*u = 2*p - 1202. Is p a multiple of 36?
False
Suppose w - 194 = 4*g - 69, -5*w + 717 = 3*g. Let j = w - 170. Let p = j - -185. Is p a multiple of 13?
True
Let f = -185 + 223. Suppose -234 = -44*b + f*b. Is 12 a factor of b?
False
Let o(x) be the third derivative of x**6/12 - 7*x**5/60 + x**4/3 + 5*x**3/6 - 29*x**2. Is 28 a factor of o(5)?
True
Suppose -44*q - 3*x = -39*q - 31237, -4*x - 12474 = -2*q. Is 21 a factor of q?
False
Let i(d) = -7*d**3 - 16*d**2 - 39*d + 13. Let a be i(-10). Suppose a + 2307 = 10*s. Is 87 a factor of s?
False
Suppose -3*v + 16 - 43 = -3*l, 4*l = -3*v + 71. Suppose 594 = -12*o + l*o. Is 11 a factor of o?
True
Suppose 4*s - 4*x - 32 = 0, 0 = 2*s - 4*x + 5*x - 31. Suppose 3704 = -s*q + 10620. Is q a multiple of 19?
True
Suppose 13 = -3*k - 11. Is 22 a factor of (112 - 3)/((0 + k)/(-24))?
False
Let r(t) = -18*t - 146. Let d be (3/(-18) - 2/6)*18. Does 16 divide r(d)?
True
Suppose 0 = -7*x + 21 + 56. Suppose 4*z = 1 + 3. Suppose g - z = x. Is 5 a factor of g?
False
Suppose -2*c + 6180 = -38*f + 40*f, 4*c = 5*f - 15486. Is 86 a factor of f?
False
Let x(m) = -468*m**3 - 98*m**2 - 193*m + 15. Is 9 a factor of x(-2)?
True
Let r(u) = -11*u**3 + 8*u**2 + 102*u + 11. Does 2 divide r(-5)?
True
Let w = 8007 - 1395. Is w a multiple of 19?
True
Suppose -9*f = 4132 - 12853. Suppose -3*k = -264 - f. Suppose 39 - k = -2*z. Does 31 divide z?
True
Suppose j = m - 11, 6*m - 34 = 4*m - 4*j. Let w(q) = -q**2 + 20*q + 2. Is w(m) a multiple of 6?
False
Let t be 3/(-27)*3*-12. Let x(c) = -c**2 + c + 1. Let d(o) = -18*o**2 + 24*o + 12. Let u(j) = -d(j) + 12*x(j). Does 8 divide u(t)?
True
Suppose 27*g + 75297 = 84*g. Does 5 divide g?
False
Let u be 6*(33/6 + -2). Suppose j - 4*l - 6 = 0, -2*j + 47*l - 45*l = -18. Is 16 a factor of j/(-35) + (-36)/u + 82?
True
Let f(t) = t**2 + 9*t + 28. Suppose 1 = -5*g + 11, 76 = -5*v + 3*g. Is f(v) a multiple of 49?
True
Let q = 8836 + -8840. Suppose p - 23 + 73 = 0. Is p/((-51)/12 - q) a multiple of 37?
False
Let k(o) = 944*o**3 + o**2 + 11*o - 21. Does 33 divide k(2)?
True
Let n(x) = 34*x**3 - 11*x**2 + 29*x - 7. Is 11 a factor of n(7)?
True
Let m(a) = -a**2 - 7*a + 27. Let d be m(-10). Let y be (-1 - 15/(-6))/(d/(-8)). Suppose 0*l + 3*s + 531 = y*l, -2*s - 129 = -l. Is 49 a factor of l?
False
Let x = -154 + 156. Is 3 a factor of x/((-8)/(-116)) - -2?
False
Suppose 19*i + 19*i = -76. Is (-65)/130 - 1331/i a multiple of 21?
False
Let s(p) = -113*p + 603. Does 17 divide s(-30)?
False
Suppose 50*b - 98072 = 24*b. Does 46 divide b?
True
Let p = 11978 + -6150. Does 188 divide p?
True
Let b = 2576 - 1257. Suppose b = 6*l + 53. Suppose -3*d + 4*p = -142, 4*d + p - l = 2*p. Is d a multiple of 7?
False
Let x(y) = y**2 - 4*y + 9. Let p be x(6). Suppose p = 4*f - 11. Suppose -292 = f*c - 12*c. Is 12 a factor of c?
False
Let k(r) = r**2 - 9*r + 38. Suppose -4*b + 25 = 3*z, -b + 20 = 5*z - 16. Is k(z) a multiple of 3?
True
Does 139 divide 6*23/322*67711?
False
Let z = 174 + -164. Is 10/(-4) + 1 + 1855/z a multiple of 46?
True
Let h = 101 + -96. Suppose 3*i - h = 4. Is 27 a factor of (-2)/6*-41*i?
False
Is (1931 + (-1 - 1))*(-52 - -54) a multiple of 9?
False
Suppose 0 = -40*m + 34*m + 12240. Suppose 24 = 2*d + 2*c, -4*d + c - 4*c + 43 = 0. Suppose -10*o = d*o - m. Is o a multiple of 11?
False
Let n = -147 - -168. Is 14 a factor of n/(-3) + (-7 - -70)?
True
Let d(h) = -2*h**3 + 8*h**2 + 3*h - 31. Let i be d(5). Let b be (684/16)/((-1)/4). Let r = i - b. Is r a multiple of 11?
False
Let v(l) = -8*l**2 - 31*l - 33. Let x(q) = 2*q**2 - 16 - 5*q - 10*q - 3*q**2 - 3*q**2. Let c(d) = 2*v(d) - 5*x(d). Is c(-4) a multiple of 13?
True
Let l = 7 - 11. Does 7 divide 1227/18 + l/72*3?
False
Let q(o) be the third derivative of o**5/30 + 17*o**4/24 - 20*o**3/3 + 18*o**2 - 4*o. Is q(-11) even?
False
Suppose 9615*w = 9600*w + 74340. Does 84 divide w?
True
Let f(m) = 5*m**2 - 66*m + 1405. Is 8 a factor of f(29)?
True
Suppose -205*h - 108*h + 8853804 = 78*h. Is h a multiple of 153?
True
Let u be 6/(-8) - 3/12. Let p be (-2 + 168)*(19 + -20). Is p*(0 - u)*(-4)/8 a multiple of 11?
False
Suppose 85*c - 486948 = -17*c. Is 11 a factor of c?
True
Suppose -3*w + 12 = -w + 2*y, 5*y = 3*w - 2. Suppose 736 = 5*b + 4*j, 4*b - j = w*j + 556. Suppose b*d = 140*d + 280. Is 10 a factor of d?
True
Suppose z = 3*r + 227, -495*z + 502 = -493*z + 2*r. Is 6 a factor of z?
False
Suppose 0 = -5*c - 13 + 3. Let r = -4