*s - 32*s - 1961. Is 11 a factor of k?
True
Let g(k) = k**3 - 8*k**2 - 7*k - 18. Let l be g(9). Let c(b) = b**3 - 4*b**2 + 2*b + 274. Is c(l) a multiple of 13?
False
Let r(f) = -53*f**3 - f**2. Let j be ((-3)/(0 - -3))/(-1). Suppose -5*x - j = -3*m - 2, -2*m - 7 = 3*x. Is r(x) a multiple of 13?
True
Let m = 350 + -527. Let n = -136 - m. Is n a multiple of 3?
False
Let y(m) = 5068*m - 11914. Let l(k) = 137*k - 322. Let o(n) = -112*l(n) + 3*y(n). Does 14 divide o(-7)?
True
Suppose 65 = -3*d + 16*d. Is -78*(0/d + -4) a multiple of 12?
True
Suppose 45*y = -22*y + 2426540 + 2050534. Is y a multiple of 14?
True
Suppose -3*n + 2*g + 87 = -2*g, -3*g = -n + 34. Let v(b) = -b**3 - 13*b**2 + 28*b - 49. Let j be v(-15). Let t = n + j. Is 6 a factor of t?
True
Let q be -2*347/(-2)*(-10 - -11). Let l = q + -176. Does 19 divide l?
True
Suppose 5*p - 4*p = -3*z + 988, 2*z + 5*p = 650. Is z a multiple of 11?
True
Suppose 630 = 4*j - 446. Suppose -3*c + j = 5*b - 47, -3*b + 189 = 2*c. Suppose -2*h + b = 2*h - 3*q, 0 = -4*h - 2*q + 70. Does 17 divide h?
True
Let y = 0 - 3. Let w be y + (2 - 4*-2). Suppose 139 = 6*d + w. Is d a multiple of 2?
True
Let b = -3796 + 4956. Does 10 divide b?
True
Suppose 11*z - 14*z = -15. Let d be z/(-3)*(-17 + 14). Suppose l = 4*m - 46 + 160, 2*m - 570 = -d*l. Does 38 divide l?
True
Let g be -2 + 0 + (-5 - 9/(-3)). Let f be 1/(((-20)/25)/g). Suppose 2*r + f*j = 62, -2*j - 7 = -r + 24. Is r a multiple of 2?
False
Suppose 1119552 = 42*c + 64*c + 86*c. Is 33 a factor of c?
False
Let r be 2*2/(8/66). Suppose 7*v - r = 2*v - 3*h, 0 = -3*v - 2*h + 19. Suppose 8*a = v*a - 22. Does 22 divide a?
True
Is 67 a factor of (15*(-5)/(-225))/(4/22512)?
True
Let c(q) = -5*q + 14. Let i be c(-23). Suppose 0 = 4*s - 319 - i. Suppose 8*t - s = 32. Does 6 divide t?
True
Let q(v) = 1716*v - 3142. Does 14 divide q(4)?
False
Let o(i) = -i**2 - 142*i - 291. Is 21 a factor of o(-24)?
True
Suppose -159*w = -165*w + 1020. Let l = w + -137. Is l a multiple of 11?
True
Let o(s) = s**3 - 13*s**2 - 2*s + 10. Let h be o(13). Let v be (-3 + (-52)/h)*4. Suppose 0 = -y + v, 0*y + 55 = 3*d + 4*y. Does 3 divide d?
False
Let g(u) = -10*u**3 - 21*u + 15. Does 8 divide g(-7)?
True
Let i be ((-6)/4)/(8 - 1956/240). Suppose -5*t = -i*t, 5*t - 99 = -f. Is f a multiple of 3?
True
Suppose 4*d - 19*d = -195. Suppose d*w = 6*w + 1995. Is 28 a factor of w?
False
Is ((-124)/(-20) + 1)/((-7)/52920*-7) a multiple of 72?
True
Let y = 228 - 105. Suppose -5*d + 600 = 3*d. Let a = y - d. Does 16 divide a?
True
Let g(u) = 101*u**2 + 3*u. Let y(n) be the third derivative of n**6/120 - n**5/3 - 5*n**4/6 - 10*n**3/3 + 2*n**2 + 14. Let r be y(21). Is 24 a factor of g(r)?
False
Let p = 9688 - 9058. Is 21 a factor of p?
True
Suppose 4*f - 11 + 15 = -d, -2*f - 2*d - 8 = 0. Suppose f = -r + u + 419, 2 + 3 = 5*u. Is 42 a factor of r?
True
Suppose x = 3*v + 3470, -v + 2*x - 2312 = v. Is v/(-7) - 6/21 a multiple of 5?
True
Is 16 a factor of 1 + -7 + (6 + -6 - -1971) + 7?
False
Let k(a) = 2*a**3 + 17*a**2 + 45*a - 17. Let w(v) = v**3 + 8*v**2 + 23*v - 9. Let r(b) = 3*k(b) - 5*w(b). Is 8 a factor of r(-7)?
False
Suppose 9*t - 13*t = -24. Let i(j) = -j**2 + 6*j + 4. Let f be i(t). Suppose -4*z + 2*z = 5*g - 28, 0 = f*z + 5*g - 56. Is z a multiple of 2?
True
Suppose -334*i + 348*i = 96096. Is i a multiple of 12?
True
Let f = -590 + 27477. Is f a multiple of 167?
True
Let l(f) = -8*f**3 - 3*f**2 - 24*f - 30. Let v be l(-9). Suppose -21*d + 1008 = -v. Does 27 divide d?
False
Let k(l) = -l - 4. Let o be k(-5). Suppose -5*y = p - 37, -2*p = -3*y + 4*y - 11. Does 4 divide (-24 + y)/(-2 + o)?
False
Suppose 18*h - 13*h - v = -20, -20 = 5*h + v. Is (-7563)/(-42) + h/56 a multiple of 12?
True
Suppose -u + 2 = z - 2*z, -2*u = 2*z - 4. Suppose 6*t = u*t + 1116. Is 9 a factor of t?
True
Suppose -20*g + 14*g + 24 = 0. Suppose d + g*k = 440, -4*d - 4*k = k - 1738. Is d a multiple of 36?
True
Suppose 0 = r - 3*h - 48, 150 = -3*r + 6*r - 3*h. Let u = 4 + r. Does 3 divide u?
False
Is 10 a factor of (-502592)/(-28) + (-120)/(-90) + 66/(-63)?
True
Suppose -3*k + 21408 = 2*g, -k - 43*g = -41*g - 7144. Is k a multiple of 26?
False
Let j(r) = 2353*r + 3216. Is 163 a factor of j(13)?
False
Let m(q) = -q**3 + 10*q**2 + 14*q - 12. Suppose 5*z + 155 = 3*i, 2*i - 7*z + 2*z - 100 = 0. Let h = -47 + i. Is 12 a factor of m(h)?
True
Suppose 4*n - 57 = -15*n. Is 1/n - (-1469)/3 a multiple of 14?
True
Suppose 2*k - 1 = 5. Suppose 4*n = -k*w + 8*w + 523, 5*n - 4*w = 647. Suppose -1121 = -16*r + n. Is r a multiple of 39?
True
Let k = 349 + -428. Let c = 1 + 5. Let x = c - k. Is x a multiple of 17?
True
Suppose -18561 + 32167 - 135658 = -21*q. Is q a multiple of 112?
False
Let s = 296 - 296. Suppose s = c + 2*d + d - 37, 4*c - 118 = -2*d. Is 14 a factor of c?
True
Let h = -49 + 64. Let i be ((-2)/5)/2 + (-927)/h. Let t = -29 - i. Does 11 divide t?
True
Suppose -50*p + 51*p = 4, w + 4*p - 40836 = 0. Is 65 a factor of w?
True
Let i be (22/33)/(4576/2286 + -2). Suppose -5*o - 1161 = -i. Let a = o + 252. Does 32 divide a?
True
Suppose q + 7 = -2*s + 10, 4*q + 18 = 2*s. Suppose -182 - 4 = -3*r + 3*u, -123 = -2*r + s*u. Does 9 divide r?
True
Let z(d) = -d**3 - 55*d**2 - 7*d - 91. Let a be 440/24*(4 + -5)*3. Is z(a) a multiple of 17?
False
Suppose -7*y + 10*y + 3*p - 87 = 0, 2*y = -p + 57. Does 82 divide (-511)/146*4*(-1874)/y?
False
Let q be ((-2)/(-6))/(6/72*2). Let p(d) = 17*d + d**3 + 21*d**q - 12*d**2 - d + 10. Does 12 divide p(-6)?
False
Let c(k) = k**2 - 55*k + 158. Let f be c(52). Suppose 0 = 4*s - y + f*y - 3716, -1836 = -2*s + 5*y. Is 29 a factor of s?
True
Let l(q) = 147*q + 159. Let b be l(-4). Let w = b - -779. Does 14 divide w?
True
Suppose -5*y = -4*u - 6159, -y - 8*u + 1228 = -5*u. Suppose -61 = 6*j - y. Does 15 divide j?
True
Suppose -4*o + 0*o = -16. Suppose -5*b = 2*i - i + 17, o*i = 2*b + 20. Let q(g) = 37*g - 6. Is 35 a factor of q(i)?
True
Suppose -71*q - 72*q + 4866862 = 0. Does 22 divide q?
True
Let d be (-180)/(-25)*(-5)/(-2). Is (2/(-8) - d/24) + 68 a multiple of 5?
False
Suppose w = -2*q, -2*w + 2*q - 2 = -14. Suppose -18 = -2*c - 4*a, -w*a - 1 - 3 = 0. Suppose i - c = 79. Does 15 divide i?
True
Suppose 0 = 6*w - 34 + 16. Suppose -p = 0, -4*p - 712 = -i - w*i. Is i a multiple of 55?
False
Let j(b) = -8*b - 90. Let i be j(-8). Let s = 62 - i. Is s a multiple of 13?
False
Suppose -36*f + 10*f = 24*f - 1631300. Does 11 divide f?
True
Let d be (114/266)/(1/189). Suppose -d*w = -86*w + 430. Does 6 divide w?
False
Let y(l) = -5*l**2 - 14*l + 23. Let c(p) = 11*p**2 + 28*p - 46. Let s(w) = 6*c(w) + 13*y(w). Let i be s(-11). Let q = -88 + i. Is q a multiple of 10?
True
Let d(q) = -q**3 - 7*q**2 - q - 3. Let n be d(-7). Let g(b) = 34*b + 12. Let k be g(n). Is k - (4 - (4 + -4)) a multiple of 30?
False
Let m(n) = 2*n**2 - 4*n - 486. Is 120 a factor of m(-27)?
True
Let a(u) = -889*u - 6079. Is a(-19) a multiple of 68?
True
Is 20310/4*166/249 a multiple of 5?
True
Let f(u) = -u**3 - 2*u**2 + 7*u + 8. Let b be f(-4). Suppose -4*g + 8 + b = 0. Is 47 a factor of (3125 + g)/5*(-1)/(-2)?
False
Let m(u) be the third derivative of 7*u**4/8 - 5*u**3/3 - u**2. Let b be m(-5). Let o = 32 - b. Is 21 a factor of o?
True
Suppose 82*d = 26*d + 379344. Is d a multiple of 14?
False
Suppose 21 = -4*o + 29. Suppose v - 43 + 299 = o*b, 3*b - 374 = -v. Does 7 divide b?
True
Suppose -3*o - 195 = -a - 10, -2*a = 3*o - 334. Let v = a - 122. Is v a multiple of 34?
False
Let q be (-5 + (-55)/(-15))*-6. Let w be 5 + -8 + q + 155. Suppose -5*r - w = -4*z, 2*r - r - 4 = 0. Is 15 a factor of z?
True
Let x(y) = 8*y**3 - y**2 - 2*y + 2. Let i be x(6). Suppose -668 = -2*b + 2*m, -5*b + m - 2*m = -i. Suppose b = 7*f - 273. Does 5 divide f?
False
Suppose 1261 - 9474 = -43*n. Let q = 254 - n. Is 39 a factor of q?
False
Suppose 43 = 23*p - 3. Is 35 a factor of 62*5 + p - (1 - -1)?
False
Suppose -71*u = -19*u - 294216. Is u a multiple of 102?
False
Let w(i) = 626*i - 9190. Does 10 divide w(45)?
True
Let x be (-120)/36*1*-3. Let y = -15 + 11. Does 40 divide (49*y/x)/(2/(-20))?
False
Let c = -1325 - -3878. Is 23 a factor of c?
True
Let h = 386 - 381. Suppose h*a - 15 = 0, 2*o + 10*a - 1529 = 11*a. Does 22 divide o?
False
Suppose -8*z = -12*z + 20. Suppose 117 = -z*