= -k*y + q. Suppose -187 = -y*v - 61. Is v a multiple of 14?
False
Let p(h) = 2*h**2 - h + 2. Let l(j) = 13*j**2 + 27*j + 36. Let a(s) = l(s) - 6*p(s). Does 31 divide a(15)?
True
Let c(p) = p**3 - 21*p**2 + 7*p + 2. Suppose -3*a + a = 4*n - 60, n = 4. Is 10 a factor of c(a)?
True
Is 11 a factor of ((-693)/(-9))/((-1)/(-62))?
True
Let r(a) = a**2 + 6*a - 15. Let v(b) = b**2 + 6*b - 14. Let x(y) = -4*r(y) + 5*v(y). Let m be x(0). Let g = m + 131. Does 37 divide g?
False
Let l(g) = -5*g - 5. Let a be l(-2). Let b(w) = 19*w**2 - 4*w + 18. Is 19 a factor of b(a)?
False
Suppose -40*l + 537 - 57 = 0. Let z = l - -231. Does 9 divide z?
True
Let t be ((-66)/(-27))/(-11) + (-11164)/(-18). Let n = 189 + t. Does 12 divide n?
False
Suppose -4*n = -5*a + 1374, 6*n = -7*a + 9*n + 1921. Is a a multiple of 2?
True
Let v = 216060 - 152392. Is 18 a factor of v?
False
Let g be (-160)/(-360) + (-152)/18. Does 10 divide g/14 + (-24895)/(-91)?
False
Let u be (-9420)/17 - (0 + 10/(-85)). Let m = -361 - u. Does 17 divide m?
False
Suppose -2*o + 21*o = -41*o + 461520. Is o a multiple of 5?
False
Let y be (54/15)/(4/(-40)). Is 6/y + 844/24 a multiple of 4?
False
Let r(y) = -84*y + 60. Let s be r(1). Is -3*67*80/s a multiple of 32?
False
Let d(o) = 24*o**2 - 2211*o + 36. Does 27 divide d(94)?
True
Let p(k) = -k**2 + 3*k + 7. Suppose -3*y + y - 10 = 0. Let f be p(y). Is 22/f - (-1 + 124/(-6)) a multiple of 21?
True
Let s(a) = a**2 + 308*a + 75249. Does 177 divide s(0)?
False
Suppose -216 - 337 = 5*b - o, b + 104 = -2*o. Let f(i) = i**3 + 8*i**2 - 12. Let q be f(-9). Let r = q - b. Is 5 a factor of r?
False
Suppose -110*o = -2891339 + 709819. Is 74 a factor of o?
True
Suppose -7*i - 10 = 74. Does 25 divide i/(-8) + (7378/(-4))/(-7)?
False
Suppose -98742 = -13*w + 82127. Is 45 a factor of w?
False
Suppose c - 1593 = 113*f - 112*f, -4*c - 4*f = -6396. Is 21 a factor of c?
True
Let y = 2820 - 1780. Does 13 divide y/(-2 - -10)*4?
True
Let q(m) = 4*m**2 + 24*m - 17. Let l = -251 - -258. Is q(l) a multiple of 13?
False
Suppose -b - 31 = 507. Let z = -53 - b. Suppose -5*a - s + 616 = -3*s, -4*a - s = -z. Is a a multiple of 40?
False
Let x = -190 + -133. Let n = x - -565. Is 22 a factor of n?
True
Is 1*930 + (36/6)/(-2) a multiple of 24?
False
Let d(g) = -g + 65. Let v be -3 + -3 - (-19 + 10). Is 8 a factor of d(v)?
False
Let p(k) = -9*k**3 - 7*k**2 - 12*k + 220. Is 29 a factor of p(-13)?
True
Suppose -92579 - 197725 = -42*n. Is n a multiple of 96?
True
Suppose 4*y - 503 = 3*d, 4*y - 378 = y + 3*d. Suppose -3*u + y - 35 = 0. Is u a multiple of 3?
True
Suppose -2*w - 15264 = -2*v + 2592, -3*v = -w - 26778. Is v a multiple of 75?
True
Is 60 a factor of 1045/17765 + -1 + (-65296)/(-17)?
True
Does 79 divide (-152397)/(-28) - 210/120?
False
Suppose 7*k - 21185 - 8488 = 0. Does 157 divide k?
True
Suppose -9 = 10*t - 13*t. Suppose -4*q + 52 = -t*q. Let m = -4 + q. Does 6 divide m?
True
Suppose 0 = -2*b - 2*s + 1686, -5*b + s + 3372 = -b. Suppose 117 = 4*i - b. Is i a multiple of 8?
True
Let a(v) = -3212*v - 6896. Is a(-4) a multiple of 6?
True
Let g = 3394 + -3277. Is 13 a factor of g?
True
Let i(o) = 7*o**2 - 5*o - 30. Let f be i(8). Does 6 divide (105 - 106)/(2/f*-1)?
False
Let y be 24/(-132) + (-964)/22. Is 25 a factor of ((-693)/y)/(3/12)?
False
Let i = 362 - 285. Suppose -9*b + 20*b - i = 0. Is b even?
False
Let t(l) be the third derivative of -l**5/60 + 7*l**4/2 + 14*l**3 + 6*l**2 - l. Does 88 divide t(42)?
True
Let h(u) = -170*u + 10. Let l(r) = 7*r - 93. Let g be l(13). Is 14 a factor of h(g)?
True
Let k(r) = -7*r - 43. Let a be k(14). Does 11 divide (a/2)/(13/(-78))?
False
Let i = -36337 + 53362. Is i a multiple of 5?
True
Let v(x) = -x**2 - 12*x + 8. Let d be v(-13). Let j(y) = -4*y**3 - 5*y**2 + 2*y - 2. Does 41 divide j(d)?
False
Suppose 6*y = -11*y - 51. Let m be (-146)/8*(6*y + -2). Let x = -136 + m. Does 23 divide x?
False
Suppose -11*p + 12*p = 5*j - 294, -3*j + 166 = 2*p. Suppose j*t = 46*t + 3168. Is t a multiple of 6?
True
Let h(z) = 2*z**3 - 11*z**2 + 27*z + 2. Let s = 363 + -358. Is h(s) a multiple of 14?
True
Suppose 1540515 + 692525 = 66*j + 336860. Does 26 divide j?
True
Let h = -40 - -43. Suppose -47 = 4*u - f, h*f = -5*u - 2*f - 65. Is 39 a factor of (-97)/(-2)*(u + 14)?
False
Let o(i) = i**2 - 1. Let j(v) = 2*v**2 - 21*v + 2. Let p(g) = 2*j(g) - 6*o(g). Is p(-13) a multiple of 10?
False
Suppose -2*l = 5*a - 26452, a + 3*l - 2803 - 2490 = 0. Is 10 a factor of a?
True
Let i be (-1)/(2/(-8)*2 + 0). Suppose -3*v + a + 853 = 0, 2*a + i*a - 592 = -2*v. Is v a multiple of 8?
False
Suppose -7760 = 14*b - 30*b. Suppose -b = -67*h + 21491. Does 41 divide h?
True
Let l = 5098 + -3938. Is 20 a factor of l?
True
Let s be (-5)/15 - (-21)/18*2. Suppose s*q = i + 471, 6*i = 3*q + 2*i - 694. Does 17 divide q?
True
Let h be (-1192)/(-10) - 6/30. Let m = h - -9. Let l = -68 + m. Is l a multiple of 10?
True
Suppose -26*r + 12*r - 48545 = -3*w, 48697 = 3*w + 5*r. Does 16 divide w?
False
Let n(y) = y**3 - 13*y**2 - 16*y + 24. Let v = 99 - 60. Let z = v - 24. Is 17 a factor of n(z)?
False
Let l(k) be the first derivative of -k**3/3 + 10*k**2 + 10*k + 47. Let n be 194/10 + (-10)/25. Does 12 divide l(n)?
False
Suppose -6*m - 2*l + 186 = -m, 3*l = 2*m - 82. Suppose -46*n + m*n = -128. Is n a multiple of 3?
False
Let s(y) = -y**3 + 96*y**2 - 1363*y + 41. Is 34 a factor of s(72)?
False
Suppose -46*r - 224402 + 738636 = 0. Is 35 a factor of r?
False
Suppose 16296 = 175*o - 33710 + 6956. Is o a multiple of 4?
False
Let y(t) = t**3 + 33*t**2 - 53*t - 106. Let v be y(-34). Let g = v - 218. Is 7 a factor of g?
True
Let s be ((-8)/10)/((-2)/50*-5). Let l be (4 + ((-105)/4)/(-1))*s. Let r = -115 - l. Is r a multiple of 3?
True
Suppose -11*y - 67 + 243 = 0. Is 18 a factor of ((-2)/y - (-15155)/280) + 0?
True
Let n(a) = -5*a + 190. Let r be n(37). Suppose -w = -q - 1461, 0 = r*w + 4*q - 869 - 6409. Is w a multiple of 86?
False
Suppose 0 = -2*l + 3*i + 2950, 5908 = -0*l + 4*l - 4*i. Suppose -4*c + l = 13*b - 10*b, b = -3*c + 1107. Is c a multiple of 14?
False
Suppose 0 = -32*u + 15*u + 10*u + 19677. Is 43 a factor of u?
False
Suppose 182*h - 163320 = 167*h. Does 109 divide h?
False
Suppose 192 = -3*p + a + 1646, -p = 3*a - 498. Is 42 a factor of p?
False
Suppose -5*p + j = -10, -3*p + 4*j + 6 = -0*j. Suppose -2 = -p*r, 4*w - 3*r - 33 = -0*w. Suppose -160 = -3*y - h, 2*y - w = 5*h + 75. Is 13 a factor of y?
True
Suppose 0 = -468*n + 579*n - 1472748. Is n a multiple of 62?
True
Suppose 27*z = -4*z + 9*z. Suppose 2*c - 942 + 268 = z. Does 12 divide c?
False
Let k be 6/8 - 2863/(-28). Let w be 14 + (2 - 0)/(-2). Let y = k - w. Is 18 a factor of y?
True
Let v(c) = 28 + 31*c + 30*c + 34*c - 124*c + 34*c. Let n(q) = 3*q**2 - 3*q - 3. Let o be n(-2). Does 29 divide v(o)?
False
Let d(p) = p**2 - 2*p. Let f(t) = 22*t**2 - 3*t - 8. Let j(u) = 2*d(u) - f(u). Let g be j(-3). Let c = g - -297. Is 24 a factor of c?
False
Is 6/(-45)*5 + (-721264)/(-24) a multiple of 44?
True
Is 10896/1 - 72/12 a multiple of 15?
True
Let b(p) = p**2 - 30*p - 641. Does 143 divide b(120)?
False
Let o = 8470 - 5649. Suppose o - 15592 = -11*p. Does 25 divide p?
False
Let r(o) = -50*o**3 - o**2 + 45*o**3 + o - 4 + 1. Let s be r(-2). Suppose q - 1 - s = 0. Is 16 a factor of q?
True
Let v(x) = 671*x**2 - 6*x - 29. Is 21 a factor of v(-2)?
True
Let l(s) = -5*s**2 - 3. Let b be l(1). Let f be 1*-2*(-12)/b - -7. Suppose -f*c + 148 = -7*o + 3*o, 0 = c - 4*o - 43. Does 5 divide c?
True
Suppose -1651 = -18*j - 427. Let d = j + 25. Does 21 divide d?
False
Suppose 30720 = -13348*g + 13364*g. Does 13 divide g?
False
Let t = -3558 + 17679. Does 153 divide t?
False
Let a(h) be the third derivative of h**6/60 - h**5/6 - 8*h**3/3 - 92*h**2. Does 63 divide a(9)?
False
Let d(q) = 7 + 537*q - 3 - 166*q - 6. Let m be d(2). Suppose -3*j - 65 = -m. Is j a multiple of 45?
True
Let a be 1 + 11/((-55)/(-10)). Suppose 14*z - 87 = -a. Is z a multiple of 2?
True
Suppose -3*d + 3*w - 63 - 45 = 0, -2*d = w + 72. Let k = 32 + d. Is 399/15 + k/(-10) a multiple of 7?
False
Suppose 3*k + 232 = k. Let c = k + 178. Suppose -a + 8 = 3, -3*q - 4*a = -c. Is 12 a factor of q?
False
Suppose -275*f = -268*f - 3738. Is f*(95/15 - 6) a multiple of 2?
True
Let t be (-54)/(-2