 + -632. Let d = n + 273. Is d a multiple of 4?
True
Let s(k) = -378*k + 86. Let h be s(7). Let c = -1454 - h. Is 14 a factor of c?
True
Let h(f) = 249*f - 4146. Is h(24) even?
True
Let b = 21584 + -16572. Is 25 a factor of b?
False
Is 17 a factor of (-55896)/(-10)*(-18 - (-1722)/84)?
True
Let f be (-1 + 3)/(-8*8/(-8864)). Let a = 389 - f. Is 28 a factor of a?
True
Let s be ((-28)/(-35))/((-2)/(-5)). Suppose -23 + 1 = -s*r. Suppose -t = 3*v - r, 0*v + 5*v = 4*t + 7. Is v a multiple of 3?
True
Let u(q) = -77*q + 43 - 27 + 3*q**2 - 5. Does 37 divide u(26)?
True
Let l(x) = -x**2 + x + 1. Let g = -41 - -38. Let f(z) = z**2 - 6*z + 1. Let s(c) = g*l(c) - f(c). Does 10 divide s(2)?
True
Let g(x) = 33*x + 3. Let l be g(5). Let k be 325 + -8 + 3 + 0. Suppose 0 = s + 3*c - l, 2*s + c - k = -c. Does 29 divide s?
False
Let q be (-1 + -1)*10/(-4). Suppose 237355 - 39885 = 403*u. Suppose 10*m - u = q*m. Is m a multiple of 14?
True
Does 25 divide 6439 - (-9 + 5 - 7)?
True
Suppose 8*g + 0*g - 1256 = 0. Does 57 divide g?
False
Let m = 28253 + -14213. Is 39 a factor of m?
True
Let f = 5514 - 3611. Is 2 a factor of f?
False
Suppose 17323*q - 17302*q = 27573. Is q a multiple of 6?
False
Let f = 355 - 613. Let w = f - -278. Is w a multiple of 10?
True
Let u be ((-5)/2)/((-69)/(-12) + -7). Suppose -5*j = 20, t = u*j + 406 + 431. Is t a multiple of 30?
False
Suppose 3*x - 108 = -x. Let r(n) = 6 + 20*n**3 + 0*n - n - 49*n**3 + x*n**3 - 9*n**2. Is r(-6) a multiple of 10?
True
Let o(v) = 100*v**2 - v - 1. Let j be o(-1). Suppose -362*y + j = -357*y. Is y a multiple of 3?
False
Is ((-1)/((-1)/5) + (14 - 1))*52 a multiple of 36?
True
Let x(k) = 3*k**3 - 30*k**2 - 29*k + 210. Is 6 a factor of x(18)?
True
Suppose -j - 26 = -5*p, -j - 2*j - 18 = -3*p. Suppose 559 + 236 = p*u. Suppose -2*y + 4*r = -y - 18, 5*y + 3*r = u. Does 15 divide y?
True
Does 19 divide ((-43)/(-7))/(-14*11/(-44198))?
False
Let k(o) = -6*o + 330. Let w be k(0). Let a = w - 100. Suppose 2*u + 5*m - 177 = 0, -2*u + a = 4*m + 58. Does 7 divide u?
False
Suppose 14 + 31 = 3*m. Let c be (-3 - (-50)/m)/((-1)/(-3)). Does 13 divide 46*((2 - 3)/(-1))/c?
False
Suppose 21*x = 69 + 309. Suppose x*s - 14*s = 84. Is s even?
False
Let p(m) = m - 21. Let i be p(8). Let a be -4 - (1 - 2) - (14 - i). Is (-8)/10 + 1/(a/(-2004)) a multiple of 22?
True
Let x be (4 - -4)*(-11 - -9). Does 45 divide 28593/36 - (-4)/x?
False
Is 14 a factor of -5 + (-215480)/(-24) + 7/(168/16)?
True
Let c be (1 + -3 + 4)/((-10)/(-485)). Let j = c + 7. Is 8 a factor of j?
True
Suppose 6*r - 255 = 699. Does 25 divide 718/3*r/106?
False
Suppose 28*w = 3*h + 25*w - 28080, -4*h - 3*w + 37447 = 0. Does 13 divide h?
False
Let j be 3 - ((-12)/4 - -9). Let p = j + 7. Suppose -p*i - d = 2*d - 21, 0 = -5*i - d + 40. Does 2 divide i?
False
Let n(q) be the second derivative of q**5/20 - 2*q**4/3 - 2*q**2 + 16*q. Let p be n(8). Does 21 divide (5/(-3) + 1)*882/p?
True
Suppose 0 = -5*a - 5*n + 99910, 0 = -2*a - 657*n + 654*n + 39970. Is 225 a factor of a?
False
Let h be 5 - ((-30)/8 - 3/12). Suppose i + h*x - 127 = 4*x, 3*i = 3*x + 399. Is i a multiple of 4?
True
Let f(o) be the second derivative of 5/3*o**4 - 1/20*o**5 - 23/2*o**2 + 11/6*o**3 + 5*o + 0. Is 49 a factor of f(20)?
False
Let h = 214 - 218. Is ((-2)/(-6))/(6/(-10656)*h) a multiple of 10?
False
Suppose -5*d = 5*s - 14745, s + 0*s = -3*d + 8833. Is 14 a factor of d?
False
Suppose 460*g - 457*g - 4*b = 42161, 0 = 3*g - 2*b - 42163. Is g a multiple of 38?
False
Suppose -4*c = -4*r - 28, -2*r + 5 = 3*c + 9. Let d(g) be the second derivative of g**4/4 + 5*g**3/6 + 8*g**2 + 2*g. Is d(r) a multiple of 12?
False
Let t(l) = -7*l - l - 28 + 2*l**2 - 6*l. Is t(-3) a multiple of 3?
False
Let u(x) = x**2 - 12*x - 17. Suppose 21 = 7*y - 70. Let s be u(y). Does 25 divide (-2)/s*(4 - -366)?
False
Suppose -136 = -17*d + 9*d. Suppose 0 = d*p - 12*p - 1645. Is 13 a factor of p?
False
Suppose 8*x = 11*x + 168. Let b be (0 + -80)*(x/16 + 3). Suppose 2*w - 362 = -b. Does 29 divide w?
False
Let m(z) = 4*z - 18. Let f be m(3). Let q be 2/f + 45408/36 - -3. Suppose -i + 8 = -5*i, 5*y + 3*i - q = 0. Does 15 divide y?
False
Let i = 12620 - -5668. Is i a multiple of 144?
True
Let t(f) = 1424*f - 9. Let z be t(2). Suppose -1649 = -6*q + z. Is 10 a factor of q?
False
Suppose 0 = -4*p - 3*n + 6*n + 23, 5*n + 15 = 2*p. Let t(j) = -11 + p*j + 5*j - j - 18*j. Does 13 divide t(-11)?
False
Let l be ((-20)/16 + -1)/((-12)/64). Suppose 5*o + 9 = 2*o - 4*j, 0 = -3*o - 5*j - l. Is (13 - o)*(-16)/(-3) a multiple of 16?
True
Suppose 0 = 47*y - 175*y - 16744 + 993768. Is y a multiple of 24?
False
Let r = 242 + -94. Let w be 2 + -2 - (26/6)/(2/(-150)). Let a = w - r. Does 21 divide a?
False
Let z = 666 + -390. Suppose x = 5*j + 115, -j - 89 = -4*x + z. Does 30 divide x?
True
Suppose -38 = -3*w - t, -2*t + 20 = -7*t. Let g be 520/(-36) - 4/(-9). Is (3830/g)/(-5) - (-4)/w a multiple of 8?
False
Suppose 5*s + g - 3*g = 30, -4*s - 5*g + 24 = 0. Let v = -4 + s. Suppose v*j + 3*j - 5*i - 325 = 0, 3*i = 5*j - 327. Does 33 divide j?
True
Let u(j) = 118*j**3 - j**2 - 2*j + 1. Suppose 189 = -3*g - 4*g. Let y = -26 - g. Is u(y) a multiple of 20?
False
Let d(a) = 6*a**2 + a - 92. Let y(f) = -29*f**2 - 4*f + 459. Let h(n) = 11*d(n) + 2*y(n). Is 9 a factor of h(7)?
False
Let q(b) = b**3 - 9*b**2 - 2*b + 21. Let w be q(9). Suppose s - 6*n - 369 = -w*n, 2*n + 1121 = 3*s. Is 12 a factor of s?
False
Suppose h + 13106 = 5*y, -5*y - 181*h + 176*h + 13130 = 0. Is 23 a factor of y?
True
Let c(w) be the second derivative of -w**3/6 + 13*w**2 + 48*w. Let t be c(11). Does 11 divide 3*(-10)/(-18)*t?
False
Let n(l) = l - 16. Suppose -59 = -2*j + 5*h - 6, j - 4 = -2*h. Let r be n(j). Is (-126)/(1/r*(4 + -2)) a multiple of 21?
True
Suppose -3*v + 0*v + 4*d = -6228, -8326 = -4*v - 2*d. Suppose -116*m = -120*m + v. Is m a multiple of 65?
True
Let p(x) = -x**2 - 262*x - 533. Is 32 a factor of p(-109)?
False
Suppose -28*h + 344411 = 105*h + 92775. Is 22 a factor of h?
True
Let f(i) = 2*i**3 - 18*i**2 - 48*i + 212. Is f(11) a multiple of 8?
True
Suppose 13*l + 147360 = 253*l. Is l a multiple of 3?
False
Let c(z) = 2*z + 7. Let p = -59 + 59. Suppose 3*h = 12 - p. Is c(h) a multiple of 3?
True
Let n be 75 + -10 + (-12)/2. Let y = n - 21. Is y a multiple of 6?
False
Let d be (-12)/10*(-2743 + 58). Suppose -5*z + 4548 = -d. Is z a multiple of 32?
False
Let l be (198/30 - 3) + (-6)/(-15). Suppose 740 = 4*g - l*c, -g + 176 = -c + 3*c. Is g a multiple of 14?
True
Let k be 2038 + -3 + (-9)/9. Suppose k = 15*b + 114. Does 16 divide b?
True
Let m(u) = -u**3 + 22*u**2 - u + 26. Let f be m(22). Suppose -f*j + 8 = q, -q = -0*q + 3*j - 7. Suppose -2 = -2*i, 4*r - 466 = q*i + 38. Is 23 a factor of r?
False
Let m be 2 + -2 + -2 - -14*1. Suppose 0 = m*j + 130 + 110. Is 33 a factor of (30/j)/(3/(-220))?
False
Let l(x) = x**3 - 10*x**2 + 10*x - 22. Let u be l(10). Let c = 84 - u. Is 5 a factor of (-1)/c - 2/12*-91?
True
Suppose 49471 = 39*l - 37733. Does 86 divide l?
True
Suppose -54*c = -50*c - 23016. Does 42 divide c?
True
Let j(z) = z**2 - 2*z - 10. Let r = -54 + 68. Let b be j(r). Suppose 5*i - b = 92. Is i a multiple of 10?
True
Suppose -5*f + 3*b - 1237 = -f, 4*b = -2*f - 646. Let u = -265 - f. Is 16 a factor of u?
True
Suppose 0 = 3*n - 3*k + 2859 - 34125, n - 10476 = -5*k. Is n a multiple of 5?
False
Suppose 2*v + v = 3*g + 32454, -2*g - 43288 = -4*v. Does 12 divide v?
False
Suppose -v - 51 = 4*j - 7*j, 2*v + 84 = 5*j. Suppose -j*q + 12065 = -4207. Does 12 divide q?
False
Is (-366101)/(-9) - 6/(-45)*(-155)/(-186) a multiple of 43?
True
Let h(s) = 68*s**2 - 249*s - 6475. Is h(-23) a multiple of 17?
True
Let w(b) = 21*b - 113. Let m(s) = s**3 + 35*s**2 + 66*s + 11. Let y be m(-33). Is 12 a factor of w(y)?
False
Let c(g) = -3063*g - 3882. Does 17 divide c(-7)?
False
Let n = -5161 - -9277. Is n a multiple of 14?
True
Let g be (-866)/5 + -11*12/(-660). Let x = -158 - g. Is x a multiple of 2?
False
Let l(h) be the first derivative of 5*h**3 - 32*h**2 - 11*h - 47. Does 23 divide l(8)?
True
Let w = -244 - -269. Suppose -14*o - 3465 = -w*o. Does 9 divide o?
True
Let i be 2925/60*(7 - (0 + 3)). Suppose 2*c - 626 = -4*n - n, n - 121 = c. Let y = i - n. Is 17 a factor of y?
False
Let m(x) = 13