*w + 14. Let s(c) = 4*c**3 - 5*c**2 + 9*c - 14. Let y(p) = 4*d(p) + 5*s(p). Is y(6) a multiple of 44?
False
Suppose -40*w + 28896 = -11*w - 21*w. Does 84 divide w?
True
Let c be ((-4)/(-10))/((-33)/(-127215)) - 4. Does 35 divide c/4 - ((-102)/12 - -8)?
True
Suppose 3*j = 4 + 2, 4*y + 3*j + 50 = 0. Let o = 17 + y. Does 16 divide -4*(-1)/(o/48)?
True
Let a be (24/60)/(2/(-30)). Is 54 a factor of ((-408)/66 - a)*-803?
False
Let t be (3 - 45/21)*(-14)/(-4). Suppose t*b - 3*h = 699, 0 = -11*b + 6*b - 5*h + 1145. Does 12 divide b?
False
Let i(n) = -n**3 - 8*n**2 + 18*n - 10. Let p be (8/20)/(2/(-60)). Is i(p) a multiple of 50?
True
Let n = -12602 + 32314. Does 56 divide n?
True
Suppose -2*l = -r - 70, l - 5*l = r - 128. Suppose -5*h + l = 103. Is 3/2 - 161/h a multiple of 5?
False
Suppose 4*i = -w + 1293, 4*i + 44*w = 46*w + 1278. Is 23 a factor of i?
True
Let b(v) = 71*v**2 + 16*v + 14. Suppose 40 = -5*p - l + 35, 0 = 4*p + l + 4. Is 69 a factor of b(p)?
True
Let l = -26714 - -56176. Does 79 divide l?
False
Let m be (375/1)/(-2 - (-8 - -5)). Suppose -m = -d - 96. Is 9 a factor of d?
True
Let o = -13686 + 14448. Does 6 divide o?
True
Let v = 144 + 179. Let f = v - 155. Does 8 divide f?
True
Let j be (1183/39)/((-1)/27). Is ((-6)/14)/(9/j) a multiple of 13?
True
Suppose -4*u - 2*m = -22074, 19353 = 7*u + m - 19264. Is 12 a factor of u?
False
Let h(w) be the third derivative of -17*w**4/12 + w**3 + 4*w**2. Let g(a) = -a**3 + 3*a**2 - 3*a + 6. Let p be g(3). Is h(p) a multiple of 27?
True
Suppose 3*d = 5*d - 6. Suppose d*z + 5*g + 202 = 0, 144 = -5*z - 4*g - 197. Let y = 75 + z. Does 6 divide y?
True
Let f(d) = -4*d**3 + 18*d**2 + 182*d - 94. Does 18 divide f(-14)?
True
Suppose 141*m = 137*m - j + 39886, 2*m = -2*j + 19952. Does 11 divide m?
False
Suppose 2*v - 2952 = 9*m - 8*m, v = -2*m + 1466. Is v a multiple of 67?
True
Suppose 0 = 6*j - 8*j + 58. Suppose 2858 = j*z - 5146. Does 12 divide z?
True
Let f(p) = p**3 + 16*p**2 + 26*p + 25. Let y = 113 - 123. Is f(y) a multiple of 23?
False
Let u = 3801 - -3353. Does 22 divide u?
False
Let u be 4/(-5)*-5*1. Let i be 1/(4600/1725*(-1)/(-8)*1). Suppose -i*k + 164 = -f - 73, -3*f = -u*k + 316. Does 13 divide k?
False
Let z = -3227 - -6393. Is z a multiple of 5?
False
Let f = 38 + -58. Let u(a) = -12*a + 32. Does 17 divide u(f)?
True
Suppose 67*k = 103*k - 196992. Does 8 divide k?
True
Let z be -18*((-55)/(-10) + -5). Let m(s) be the second derivative of -s**3/6 + 25*s**2/2 - s. Is 34 a factor of m(z)?
True
Is 32 a factor of (-27457)/(-65)*5 - (-12)/(-156)?
True
Let x = -2212 - -3271. Does 45 divide x?
False
Let y be (-1182)/(-9) - (-6)/(-72)*4. Let c = y - 51. Does 5 divide c?
True
Suppose 34*a - 8*a = 78. Suppose -a*u = -504 - 426. Does 31 divide u?
True
Let b(m) = -8*m**2 - 32*m - 9. Let p(t) = 7*t**2 + 31*t + 11. Let a(y) = -4*b(y) - 5*p(y). Does 22 divide a(-6)?
False
Is 76 a factor of 2845 - ((-68)/170)/(2/(-20))?
False
Suppose 10*r - 4397 - 6303 = 0. Suppose 5*f - 3*z - 1105 = 2*z, 5*f + 2*z = r. Suppose -220 = -3*t + 2*t - 3*p, t + p = f. Does 34 divide t?
False
Suppose -9*u + 14*u = 0. Suppose -67 = -n + 6*t - 9*t, -5*t - 35 = -n. Let l = n + u. Is 11 a factor of l?
True
Suppose 0 = q + 3*q - 4*f, -2*q + 3*f - 4 = 0. Let p(i) = -i**3 + 6*i**2 - 4*i + 6. Let v be p(q). Let w = 49 - v. Is w a multiple of 27?
True
Let m(w) = -3*w - 1. Let q(p) = 8*p + 2. Let b(c) = -9*m(c) - 4*q(c). Let d(z) = -z**3 - 4*z**2 + 4*z - 6. Let t be d(-5). Is 4 a factor of b(t)?
False
Let d = -55101 - -77211. Does 10 divide d?
True
Is 27 a factor of (12/36)/(2/11682)?
False
Let p(i) = 187*i**2 - 417*i - 4. Does 80 divide p(7)?
True
Does 38 divide 16596/((-30)/40 + 9/4) + 2?
False
Let a = -55 - -58. Suppose -18 = a*w - w. Is (-172)/(-6) - 12/w a multiple of 30?
True
Let w be 4/(6/(-105)*(-77)/(-33)). Suppose 3*f - 1 = -i - 25, 5*i + 5*f = -80. Is (-374)/(-10) - i/w a multiple of 5?
False
Let w = 219 - 197. Suppose 0 = -5*p - w + 32, 4*k - 3*p = 402. Is 17 a factor of k?
True
Let j(x) = 126*x**2 - 2*x + 2. Let s be (-2)/8*(-8)/(-2). Let g be (5 + -7)*s/2. Does 9 divide j(g)?
True
Let i = -158 - -166. Let t(u) = 1 + 4*u**3 - 15*u**2 + u + 1 - 2*u**3 + 2*u. Is t(i) a multiple of 16?
False
Does 53 divide 3061*(-11 - (-15 + -9))?
False
Suppose -511*d - 1503552 = -575*d. Does 41 divide d?
True
Let f(h) = 5*h**3 - 34*h**2 + 42*h + 64. Let c(a) = 6*a**3 - 34*a**2 + 42*a + 64. Let n(i) = 4*c(i) - 5*f(i). Is n(32) a multiple of 64?
True
Let m(p) = p**2 + 7*p - 200. Does 30 divide m(40)?
True
Suppose 0 = 5*x + 5351 + 124 - 59235. Is 128 a factor of x?
True
Let z = -13035 + 15045. Is 67 a factor of z?
True
Let h = 775 - -370. Is 59 a factor of h?
False
Let i(f) = 14*f**2 + 2. Let d be i(-2). Let x = 76 - d. Is (-1452)/(-27) + 4/x a multiple of 14?
False
Suppose -14 = -5*a - 4*y, -a + 7 = 5*y - 0. Let x be (122 + -5)*(-2)/a. Let i = -78 - x. Is 13 a factor of i?
True
Let n(t) = -11*t - 29. Let y be n(-4). Suppose 4*c + b = 21, 8*b + y = 4*c + 3*b. Is 8 a factor of (-260)/(-13)*14/c?
True
Let d(y) = y + 2. Let t be d(-14). Is 15 a factor of 4 + (-2)/2 + (t - -178)?
False
Let i(s) = -42*s - 14. Let b be i(6). Let r = -9 - b. Suppose 957 = 4*z + r. Does 18 divide z?
False
Let p(x) = -x**3 - 14*x**2 + 16*x + 17. Let s be p(-15). Suppose 0*y - 348 = 4*y + 4*o, -3*y = s*o + 261. Let r = -16 - y. Is 25 a factor of r?
False
Let u(h) = 93*h + 19. Let s be u(9). Let a = s + -379. Suppose x = -d + 93, 3*d - d = -5*x + a. Is x a multiple of 18?
False
Does 4 divide (2/1)/(416/486928)?
False
Is (-4 - (-5 + 4)) + 549 a multiple of 182?
True
Let c(l) = -103*l**3 - 22*l**2 - 27*l - 123. Does 25 divide c(-9)?
True
Suppose -4*z - 2*c = -138420, -138430 = -18*z + 14*z + 3*c. Does 13 divide z?
True
Let b be 3 + 0 + (-6)/(-15)*5. Let w(h) = 20*h**2 - 2*h + 14. Is w(b) a multiple of 24?
True
Suppose -5*g + 4*i = -41208, -26*g - 16484 = -28*g + 2*i. Does 43 divide g?
False
Let y be 5/15*0 + 3. Suppose b + y*b = 0. Suppose -s + 44 = -b*s. Is 11 a factor of s?
True
Let t = -210 - -47. Let x = t + 234. Let y = x - 56. Is y a multiple of 3?
True
Let f(w) = 14*w + 108. Let l be f(-8). Does 14 divide (-19)/(19/(-990)) - (-8 - l)?
True
Suppose 38058 = 3*g + 2*i, 2*g - 200*i - 25374 = -202*i. Does 14 divide g?
True
Let m = 41 - 32. Suppose -m*b + 776 + 394 = 0. Does 21 divide b?
False
Let q(f) = 80*f**3 - 5*f**2 - 3*f + 16. Let x be q(3). Let g = 2987 - x. Is 48 a factor of g?
False
Suppose -4*u = -3*x - 506, -2*u + 210 = 3*x - 52. Let o be 4/((-2)/(-1))*1. Suppose -a - a + u = y, -o*a - 136 = -y. Is 12 a factor of y?
True
Suppose w = 11*t + 1284, 4*w + 6534 = 9*w + 2*t. Does 2 divide w?
True
Let f(w) be the third derivative of -49*w**4/24 - 34*w**3/3 + 2*w**2 + 18. Is 16 a factor of f(-20)?
True
Is (2680/6)/((3/(-5))/(1521/(-130))) a multiple of 105?
False
Let c be ((-48)/(-18))/(2/6). Suppose 10*w = c*w - 86. Let v = 68 + w. Is v a multiple of 6?
False
Let v = 233 - 97. Suppose 2*w - 2*y - v = 0, -18*w + 248 = -14*w + 2*y. Does 4 divide w?
True
Let o = -3 + 27. Let q = 27 - o. Does 14 divide 4/(q + (-206)/70)?
True
Suppose y + 3*t + 304 = 0, 0 = -t + 1 - 3. Let i = -175 - y. Is i a multiple of 22?
False
Let i be ((-12)/8)/1*(-2 - 0). Let b(u) = -u**3 + 5 - 8*u**2 + 4 - 15*u - i - u**2. Does 5 divide b(-7)?
False
Suppose -r + 9 = -k, 4*r - 4 = -5*k - 13. Suppose 9*b - 675 = r*b. Is 27 a factor of b?
True
Let w(m) = -8*m**3 + 2*m**2 - m + 2. Let o(y) = -24*y**3 + 6*y**2 - 2*y + 7. Let u(q) = -2*o(q) + 7*w(q). Let i be u(2). Let f = 92 + i. Does 15 divide f?
True
Let l(u) = -49*u - 5. Let k(x) = -x - 1. Let q(i) = -3*k(i) - l(i). Let g(h) = 2*h**3 + 14*h**2 - 17*h - 6. Let f be g(-8). Is 16 a factor of q(f)?
True
Let x be (23148/27)/2 - 4/6. Suppose 2*o = 3*o - x. Is 36 a factor of o?
False
Suppose 0 = 7*l + 25 - 60. Suppose 0 = 4*j - 3*q - 2082 + 168, -l*q + 2410 = 5*j. Does 8 divide j?
True
Is (9224 - 2)*(3629/1910 - (-4)/(-10)) a multiple of 8?
False
Suppose -u + 1515 + 4722 = 0. Is 99 a factor of u?
True
Let r be (-222)/(-12) - 2/4. Let y(o) = o**2 - 7*o + 22. Does 31 divide y(r)?
False
Let m(o) = 395*o**2 - 2*o - 2. Suppose 2*i = 2*j, -2*j - 6 = -0*j + 4*i. Let t be m(j). Suppose -t - 40 = -3*w. Does 29 divide w?
True
Let g be ((-64)/6)/((-16)/24). Let x = -14 