alse
Suppose 7*w - 1597 = 1406. Suppose 0 = -2*o + w + 9. Is o a multiple of 7?
False
Suppose 0 = 3*y + 2*h - 40673, -363*h - 67784 = -5*y - 362*h. Is y a multiple of 177?
False
Let h = 12728 + -5848. Suppose -11*o + h = 5*o. Is o a multiple of 10?
True
Let t be (-14*1)/((-8)/96). Let d = t + -111. Is (-247)/d*(1 - 19) a multiple of 13?
True
Suppose -4*n = -3*x + 15065, 3*n - 8371 = -2*x + 1644. Is x a multiple of 17?
True
Let s = -1205 - -635. Let l = s + 1382. Is 7 a factor of l?
True
Let o(a) = -5*a**3 + 2*a**2 + 9*a + 14. Let d(t) = 0*t**2 + 35*t**3 + t**2 - 34*t**3 - 1. Let v(h) = -6*d(h) - o(h). Does 6 divide v(-7)?
True
Let f(p) = p**3 - 5*p**2 + 13. Let j be f(3). Let k be 10/25 - (-487)/j. Let b = k + 155. Is 8 a factor of b?
False
Let x(n) = 6*n**2 - 54*n + 3 + 49*n + 0. Let s be x(3). Let u = -7 + s. Is u a multiple of 23?
False
Let n(o) be the third derivative of 11*o**4/12 - 17*o**3/2 + 28*o**2. Does 39 divide n(12)?
False
Let q be (3/(-2))/3*-8. Let v be (-15)/(-2) + (-215)/86. Suppose -v*j + 137 = -q*j. Does 42 divide j?
False
Let c be 453/6 - (-2 - 7/(-2)). Let x = c - 71. Suppose 3*s = x*d - 276, -2*d + 179 - 1 = -4*s. Does 21 divide d?
False
Let t(z) = -3*z**3 + 12*z + 86. Is 14 a factor of t(-11)?
False
Suppose -4*n + o = -329, 0 = -2*n + 2*o + 124 + 36. Suppose 5*h + n = 2*g, -4*g - h = -3*g - 45. Is g a multiple of 44?
True
Suppose 2*p + 207 = 231. Let h = 111 - p. Does 9 divide h?
True
Let s(a) = 4*a**3 + 3*a**2 + 7*a - 5. Let i be s(4). Let z = i - 177. Let f = z - 43. Does 24 divide f?
False
Suppose -4*i = -15 + 3. Let w(v) = v**3 - 13*v - 4*v + 14 + 5*v + 0*v**i - 10*v**2. Is w(11) a multiple of 2?
False
Let m = 3113 - 1874. Is 7 a factor of m?
True
Let u(l) = -36*l + 75. Let a be u(2). Is (-1932)/(-20)*10/a a multiple of 18?
False
Let z(o) = 882*o + 280. Is z(4) a multiple of 119?
True
Suppose 5*c - 7*c + 5*l = -1, 5*l - 20 = -5*c. Suppose -2*w - c*z + 55 + 229 = 0, 4*w - 604 = 3*z. Does 37 divide w?
True
Let h be -40*(8/(-56) - (-1466)/70). Let u = h + 1716. Is u a multiple of 34?
True
Let y = -2821 - -2819. Let z(m) = -12*m**2 + m + 2. Let i(j) = -11*j**2 + j + 1. Let v(b) = -4*i(b) + 3*z(b). Is 27 a factor of v(y)?
False
Let o = 288 + -286. Suppose 5*d - 314 = -4*v, o*d - 194 = -d - v. Is d a multiple of 11?
True
Let b = -1987 + 1040. Let x = -435 - b. Is x a multiple of 16?
True
Suppose 3*i + 152 = 2*u - 249, 218 = u - 5*i. Suppose 2*f = 1 + 3, u = 5*k + 4*f. Suppose -2*c + 3*b - 54 = -5*c, 2*c = -b + k. Does 19 divide c?
True
Let h = -38 + 25. Let i be 3046/26 + 2/h. Let j = -45 + i. Does 18 divide j?
True
Suppose p - 44 = -2*t + 334, -4*t = -4*p + 1488. Is 17 a factor of p?
True
Suppose 4*l = 10 + 2. Suppose 0 = 4*a - 3*w - 696, -l*a + 4*w + 742 - 227 = 0. Is a a multiple of 34?
False
Suppose -5*f - 3 + 8 = 0. Let p be 24/16*(3 - f). Suppose -p*i = -64 - 143. Does 23 divide i?
True
Let p be 40/18 + (-26)/117. Suppose -p*z + 119 = -361. Is z a multiple of 19?
False
Is (-130)/15 - 32/(-12) - -23981 a multiple of 25?
True
Suppose -8*g + 40707 + 36295 = -10374. Is g a multiple of 96?
False
Let t be 36 - 2 - 28/7. Let r = 42 + -71. Let k = t - r. Is 6 a factor of k?
False
Let u = -10143 + 19792. Does 103 divide u?
False
Let y(k) = 113*k**2 + 8*k + 12. Let m be y(-3). Suppose 2*j = g + m, 4*j - 9*j + 2532 = 4*g. Is j a multiple of 14?
True
Let n = -9 - -11. Let c = -36 - -38. Suppose 3*r + 6 - 40 = c*u, -n*r + 19 = -5*u. Does 6 divide r?
True
Let s(p) = -p**3 + 21*p**2 + 2*p + 14. Let x(j) = -j. Let a be x(0). Let l be (a - 21)*(11 + -5 + -7). Does 28 divide s(l)?
True
Let b(n) = 4*n**3 - 34*n**2 - 5*n + 5. Is b(11) a multiple of 20?
True
Let v(l) = l**3 - 7*l**2 + 6*l + 5. Let c be v(8). Let f = 11 - 8. Suppose -f*r + c = -135. Is 31 a factor of r?
False
Let u(m) be the first derivative of 15*m**4 + 2*m**3/3 - 2*m**2 + 2*m + 3. Suppose -6*b = 483 - 489. Does 3 divide u(b)?
True
Let n = 30 + -10. Let h(i) = i - 18. Let t be h(n). Suppose w - 4*x - 9 = 48, w - 47 = t*x. Is 7 a factor of w?
False
Let w(m) = -22 - 28 - 44 + 28 - 82*m. Is 8 a factor of w(-4)?
False
Suppose 4*c = -25 + 9, -3*h - 4*c = 28. Let y be 1/2*1*94. Let z = y - h. Is z a multiple of 17?
True
Suppose -4*w = -7*w + b - 23, 13 = -3*w - b. Let m(h) = h**3 - 6*h**2 - h - 4. Let d be m(6). Does 21 divide (w/d)/(2/130)?
False
Let i = 656 + -645. Does 12 divide -12 + 3 - (i - 1184)?
True
Let y(q) = q + 3. Let v be y(-3). Suppose 0*h - 2*h + 6 = v. Suppose 0 = j + 2*n - 36, 0 = -h*j + 8*j - 3*n - 154. Does 8 divide j?
True
Let n = -581 + 481. Does 24 divide ((-56)/10 + 40/n)*-76?
True
Suppose 35*i = -0*i + 3*i + 312480. Is i a multiple of 31?
True
Let f = 38968 - -5372. Is 60 a factor of f?
True
Suppose 7722*t - 7775*t = -171402. Is t a multiple of 98?
True
Let y(r) = -16*r - 12. Let s be y(-1). Let v = -7 + -9. Does 3 divide 0 - (3 + v + s)?
True
Let f = 68 - 68. Suppose 1 = -0*m - m, f = -3*t - 4*m + 1361. Is t a multiple of 13?
True
Does 51 divide 1733/(((-12)/(-18))/(-3 + 9))?
False
Let m(o) = 246*o - 351. Does 9 divide m(15)?
True
Let t(y) = y**2 + 19*y - 32. Let u be t(-20). Let j = -1 - u. Is 26 a factor of 66 - j - 1*-3?
False
Let x(a) = -a**2 + 6*a + 5. Let i be x(6). Suppose 157 = 2*l + i*o, 0*o = -5*l - 4*o + 418. Is 9 a factor of (1 + 0 - (-11 - -8)) + l?
True
Let y = 115 - 108. Suppose 3*r = 4*l - 98, -y*r = 2*l - 4*r - 58. Suppose 20*u = l*u - 558. Is u a multiple of 54?
False
Let p(g) = 3*g**3 + 8*g**2 - 9*g - 7. Suppose 0 = 89*w - 85*w + 16. Let h be p(w). Does 36 divide (-4700)/h - (-4)/(-14)?
False
Let h(c) = 9906*c**3 - 51*c**2 + 54*c - 2. Is h(1) a multiple of 114?
False
Let b = -4515 - -6373. Is b a multiple of 9?
False
Let h(a) = -a**2 + 105*a - 62. Does 10 divide h(74)?
False
Suppose 10*q = -36*q + 185365 - 20271. Is q a multiple of 5?
False
Does 40 divide 40/4 + -133 + 39053?
False
Suppose 464 = 2*y - y. Let m be y/32 - 3/2. Suppose -m*k = -663 - 0. Does 6 divide k?
False
Let z(t) = -4*t**3 + 127*t**2 + 121*t + 51. Is z(31) a multiple of 134?
False
Let w = 10 + 81. Suppose b = v - 2, b + 7 = 2*v + 2*b. Suppose v*a = 239 + w. Is 27 a factor of a?
False
Let p(w) = -21*w - 11. Let f be p(-1). Let r(o) = -f*o - 8*o + 23*o - 75. Is 7 a factor of r(22)?
True
Suppose -5*y - 3*g + 730 = 0, -2*y + 3*g - 301 = -4*y. Suppose -12*x + y = x. Suppose -q + x + 56 = 0. Is q a multiple of 15?
False
Let i = -2800 - -4150. Does 30 divide i?
True
Suppose 448 = 8*p - 312. Does 11 divide (4 + 440/(-50))*p/(-2)?
False
Suppose 2*i - 1925 = -3*w, 184*i - 4*w = 183*i + 979. Is i a multiple of 55?
False
Suppose 5*z - 5887 = -5*m + 2*z, 4688 = 4*m - 3*z. Suppose -2*u = 3*v - m, v + 4*u - 387 = 8*u. Does 24 divide v?
False
Suppose 3*g - r = -86, 70*g - 75*g = 4*r + 132. Let d(o) = 119*o**3 + o**2 - o. Let v be d(1). Let p = g + v. Is 13 a factor of p?
True
Let d be 216/52 + (-16)/104. Suppose -d*k + 4765 = k - 5*v, 2*v - 3794 = -4*k. Is 10 a factor of k?
True
Let d(h) = 6*h. Let b be d(1). Suppose 4*f - 18 = -b. Does 11 divide ((-244)/(-16) - f)*4?
False
Let z(p) = -p**2 + 8*p + 143. Let f = 377 - 362. Does 19 divide z(f)?
True
Suppose 7*v - 2547 = 6889. Suppose -2*k + 536 = -2*j, -4*k - v = 5*j + 10. Does 6 divide j/(-4)*(2 - 4/5)?
False
Let h = 138 + -131. Suppose 562 = 4*n + 10*l - h*l, -4 = 2*l. Let i = n - 69. Does 15 divide i?
False
Suppose 9*x - 2 = -p + 7*x, 0 = -2*p + 2*x + 10. Is 418 + (12 - p - 5) a multiple of 13?
False
Let j(z) = -4*z + 298. Let r be j(7). Let g = 486 - r. Is g even?
True
Let r(l) = 4*l**2 + 31*l + 89. Is 7 a factor of r(-22)?
False
Suppose f - 2229 = -3*i - 2*f, 5*i - 4*f - 3751 = 0. Let n = i - 417. Suppose 0*v - 5*v + n = 0. Does 11 divide v?
True
Let x(l) = 17*l + 70. Let y be x(-3). Is 9 a factor of (2/(-10))/(y/(-10355))?
False
Suppose 0 = 3*z - 32*s + 28*s + 5023, z - 2*s + 1677 = 0. Let t = -939 - z. Does 10 divide t?
True
Suppose 0 = 4*o + 1 + 7, -s + 9 = -2*o. Let p be (-9)/(-30)*s*20/(-3). Does 3 divide 2952/120 - 4/p?
False
Let l(h) = 6972*h**3 - 2*h**2 + 2. Let t be l(1). Suppose -30*j = -2*j - t. Is j a multiple of 5?
False
Let r(w) = w**3 - 2*w**2 + w. Let n be r(0). Is 5 - (180/(-5) + n) a multiple of 2?
False
Let h = -39 - -44. Let q(s) = 2*s**3 + 6*s**2 - 5*s - 3. Let k(d) = 3*d**3 + 12*d**2 - 11*d - 6. Let v(