 3146. Does 46 divide y?
True
Suppose -4 = t - 4*p, -2 = -5*t + 3*p - 5. Suppose 2*f - 226 = b, -5*b + t*b = -4*f + 452. Is f a multiple of 13?
False
Is 66296/3*(-78)/(-676) - (-2)/13 a multiple of 15?
True
Let t(c) = 18*c**2 + 19*c + 76. Is t(-7) a multiple of 12?
False
Let v(s) = 300*s**2 + 40*s - 69. Is 108 a factor of v(5)?
False
Is 4/(-9) + (-3021305)/(-315) + 17 a multiple of 4?
True
Suppose 4*m = -8, -69*m - 29971 = -3*c - 73*m. Is 5 a factor of c?
False
Suppose 0 = 2*o + 4*r - 12, 2*o + o + r - 8 = 0. Let p(k) = -12*k + 10 + 0*k**2 + 1 + k**2 - o*k**2. Does 4 divide p(-11)?
False
Suppose 0*l + 2*x - 763 = -3*l, -3*l - x = -761. Let y = l - 123. Suppose 0 = -6*n - 4 + y. Does 7 divide n?
True
Suppose -2*a - 22 = -120. Let u be (4329/(-72))/1 + 3/24. Does 4 divide (0 + u/(-35))*a/2?
False
Let k be 3/2*966/(-63). Let t = k - -21. Is 9 a factor of t*(4 - 17/2)?
True
Let d(x) be the first derivative of x**4/4 + 3*x**3 - 15*x**2/2 + 2*x + 7. Let g = 99 - 107. Is 31 a factor of d(g)?
True
Let y(o) = -548*o**3 - 2*o**2 + 31*o + 66. Is y(-2) a multiple of 146?
True
Suppose i = 1 + 174. Let y = 263 - i. Let x = y - 54. Is x a multiple of 34?
True
Let r be 1*(-2204)/(-8) - (-9)/6. Suppose -2*d + 11 + r = 0. Is 13 a factor of d?
False
Let f be (5/3 + 1)*(-66)/(-44). Suppose -f*s = 2*z - 230, 4*s - 331 = -3*z + 5*s. Is z a multiple of 7?
False
Let y be (0 + 2/(-3))/(442/(-8619)). Let d be (-4)/(-14) + (-12)/(-7). Suppose 0 = y*r - d*r - 1826. Does 11 divide r?
False
Suppose -40 = -2*j - 0. Suppose -2*a - r + 377 = j, -6 = -2*r. Does 6 divide a?
False
Suppose -y + 5*y = 3*q - 4, -4*q + y + 1 = 0. Suppose u + 8 - 3 = q. Is 7 a factor of (-1)/1 + 11 + -7 - u?
False
Suppose 0 = 5*q - 4*d - 9452, q + 9 = 3*d + 1906. Does 4 divide 27/4*q/177?
True
Let v = -3340 + 46600. Does 30 divide v?
True
Let m(q) = -q**2 - 11*q. Let i be m(-8). Does 20 divide ((-6)/(12/(-19)))/(1/i)?
False
Let y = 25 - 15. Let g = 7 - y. Is 22/(-33) + (-437)/g + -3 a multiple of 21?
False
Let t(b) = 3*b**3 - 6*b**2 + 11*b - 51. Let d be t(5). Suppose 11 = 3*m - d. Is 10 a factor of m?
True
Let v(r) = 4291*r - 1805. Does 5 divide v(4)?
False
Suppose 33*d = -5*d + 58140. Is d a multiple of 51?
True
Let c = 108 - 81. Suppose c*n = 1057 + 1238. Is 4 a factor of n?
False
Let p = -6328 - -8579. Is p a multiple of 11?
False
Suppose 5766 + 24261 = 8*o - 31669. Is 16 a factor of o?
True
Let s = 8 - -20. Suppose 4*d + 4*l - s = -0*l, 3*l = -5*d + 29. Suppose 2*f = -k + 14, d*f + 14 = k - 0. Is k a multiple of 7?
True
Let s(t) = 4*t - 29. Let v be s(8). Suppose 2*j = -3*j + v*r + 163, 4*j = 5*r + 120. Let u = 115 - j. Is 20 a factor of u?
True
Let d be (-8)/10*(1365/26)/(-21). Suppose -d*s - 10*n + 6*n + 64 = 0, 5*s = -5*n + 170. Is 2 a factor of s?
True
Let w = 87858 - 46113. Is w a multiple of 106?
False
Let i(d) = -2*d**2 + 233*d - 520. Is i(104) a multiple of 52?
True
Let n = 832 + -687. Suppose 142*j = n*j - 1254. Does 11 divide j?
True
Let g(a) = 49*a**3 - 3*a**2 - 4*a - 7. Let w be g(3). Suppose -3*t + 3796 = -11*q + 6*q, t - w = 4*q. Does 30 divide t?
False
Suppose -4*h = 4*y - 48, 2*h + y = 4*y + 9. Suppose -2 + 22 = -4*u, h = -4*o - 5*u. Suppose -o*z + 48 = q - 47, -4*q + 401 = -5*z. Does 19 divide q?
False
Suppose -p = 1, 103*k - 100*k - 5*p = 15125. Does 10 divide k?
True
Suppose 0 = -5*f, 5*n + 6*f - 3260 = 4*f. Suppose 0 = -t - n + 2230. Is t a multiple of 81?
False
Let w be (-3)/(-7) - (-414)/14. Suppose -4*r = -w + 14. Suppose -5*q - 49 = o - r*o, 4*o = -q + 50. Is 13 a factor of o?
True
Let y(r) = -r**3 - 94*r**2 - 26*r - 456. Is y(-94) a multiple of 21?
False
Does 61 divide 6884574/1254 - (-1)/(-11)?
True
Let t = 21 + -16. Suppose -7*b + 11*b = t*a + 249, -285 = -5*b + a. Does 3 divide b?
False
Let q = -20 + 60. Let j = q + -37. Suppose 3*h + 10*n = 7*n + 387, 2*n = -j*h + 384. Does 43 divide h?
False
Let r(d) = -d**3 - 57*d**2 - 45*d - 529. Does 10 divide r(-59)?
False
Let y(j) = j**3 + 23*j**2 + 34. Let l be -18 + 21 + (-26)/1. Let u be y(l). Suppose -3*r + u + 8 = 0. Does 7 divide r?
True
Suppose j + 3*o = -85, 0 + 4 = 4*o. Is j/(-220) - (-686)/10 even?
False
Let l(a) = -40*a + 24*a**2 - 17*a**2 + 72*a**2 + 41*a - 11 + 10. Is l(3) a multiple of 66?
False
Suppose 3*x - 17424 = -5*q, -157*x + 152*x + 3476 = q. Does 69 divide q?
False
Let q be (-46)/(-253) + (-46)/11. Is (-69975)/15*q/12 a multiple of 69?
False
Is (-25115 - (23 - -6))*(-10)/4 a multiple of 28?
True
Suppose -61 = -5*c - s, c - 10 + 0 = 2*s. Let r(f) = 8*f - 4. Let y(b) = -b**2. Let k(d) = -r(d) - y(d). Does 13 divide k(c)?
True
Let z = -33 + 35. Suppose 5*v = -3*l + 33 - 4, z = -2*l + 2*v. Suppose -7*f + l*f - 4 = 0, 4*f = 5*g - 1174. Does 39 divide g?
True
Suppose 2*d - 15 = -4*x - 1, 2*d - 3*x - 7 = 0. Suppose -2*f = 5*w + 167, d*f + 272 = -2*w - 135. Let y = -65 - f. Is 2 a factor of y?
True
Let g(p) = -3*p**2 + 15*p + 5. Let x be g(5). Suppose -3*m = -x*y + y - 276, 5*m + 3*y - 489 = 0. Does 25 divide m?
False
Let p(x) = x**3 + 4*x**2 + 2*x - 3. Let z be p(4). Let o = z + 271. Is o a multiple of 26?
False
Let d(b) = -12*b - 3*b**2 + 4*b**2 + 3*b - 6*b + 7. Let m be d(15). Let x = 1 + m. Does 2 divide x?
True
Let y = 47 + -12. Suppose -6*o - 5 = -y. Does 10 divide 242/o + ((-6)/5)/3?
False
Suppose 4*b - 2*u - 49408 = 0, -5*b = 10*u - 6*u - 61786. Is 46 a factor of b?
False
Is 1 + (99970/18 - (-4)/36) a multiple of 161?
False
Suppose 0 = a - 21 + 18. Suppose -3*n = 5*y + 19 - 1205, a*n = 5*y - 1204. Is y a multiple of 36?
False
Suppose 5*z - 2*i - 15 = 0, 4*z - 5*i - 4 = 8. Suppose -2729 = -4*f - 3*m, z*f = -m + 607 + 1436. Is 8 a factor of f?
True
Suppose 0 = -87*i + 314331 + 473367. Is i a multiple of 30?
False
Let r(x) = x**2 - 1. Let q(z) = 6*z**2 + 8*z + 13. Let o(c) = q(c) + 5*r(c). Is o(-2) a multiple of 9?
True
Let h(z) = 13*z**3 - 6*z**2 + 8*z - 2. Let s be h(2). Suppose -5*v - 284 = -3*x, -2*v + 7*v = x - 288. Let n = s + v. Is n a multiple of 21?
False
Suppose -58*p + 7793 = -20047. Is 30 a factor of p?
True
Suppose 192*x = 5049589 + 35087 - 779076. Is 75 a factor of x?
True
Suppose 223*x - 432*x = -235*x + 192946. Is x a multiple of 20?
False
Suppose -6 - 2 = -8*y. Suppose 2*c = 0, 2*p - c = 33 + y. Is 17 a factor of p?
True
Let s(b) = 2*b**3 - 111*b**2 - 165*b + 126. Does 39 divide s(57)?
True
Suppose -2*r - 2 = -12. Suppose r*t - 3425 = 5*j - 2*j, 3*j = -4*t + 2713. Is 22 a factor of t?
True
Let w = -562 - -648. Suppose 2*n - 2*u + 10 = -4*u, u = 0. Does 23 divide 2 + n + 9 + w?
True
Let f = 32 - 29. Let m be 0/(-1) + (69 - (7 - f)). Suppose 81*x = 76*x + m. Does 5 divide x?
False
Is 17 a factor of (-4)/26 - (16/(-2) - (-8848074)/(-3133))?
False
Let u be 24/132 - (-1104)/(-22). Let m = u - -72. Let t(f) = f**2 - 20*f + 23. Is 32 a factor of t(m)?
False
Suppose 3*x - 5*x - 5*j - 6520 = 0, 4*j - 3260 = x. Let m = -2250 - x. Suppose 9*t + 173 = m. Is 11 a factor of t?
False
Let i(n) = -n - 11. Let y(t) = t + 12. Let a(v) = -6*i(v) - 5*y(v). Let g be a(-2). Suppose -g*w = z - 531, -6*w + 4*z = -4*w - 252. Does 33 divide w?
True
Let f(s) = -3*s**2 + 294*s + 377. Is f(79) a multiple of 3?
False
Let f(q) = q**3 + 13*q**2 + 13*q + 4. Let o be f(-12). Let g be 5/(-10)*o + 106. Suppose -2*x + g = 24. Is x a multiple of 11?
False
Let v = -6677 - -17567. Is v a multiple of 10?
True
Is 29 a factor of (-67923)/(-7) + 760/1064?
False
Let q = -24509 - -31767. Is q a multiple of 19?
True
Suppose s = 4*m - 9, 2*s = -3*s - 5*m - 20. Is 5/s - -1*42 a multiple of 3?
False
Suppose -2*w = k + 2*k - 18, 5*w + 5*k = 35. Suppose 4*q + 0*q - 10 = 2*d, 0 = w*d + 4*q - 25. Suppose d*v = -4*p + 547, v + 269 = 2*p - 2*v. Does 17 divide p?
True
Suppose 9*v - 9651 = 1239. Suppose -13*z + v = -8*z. Does 22 divide z?
True
Suppose 2*r = 172 - 86. Suppose -r*f = -18*f - 20900. Does 23 divide f?
False
Suppose 137465 - 47545 = 8*t. Is 5/(-20) - t/(-32) a multiple of 9?
True
Let z(l) = 477*l**3 + 5*l**2 + 16*l - 44. Is 8 a factor of z(2)?
True
Let k(c) = -28*c + 24. Let a be k(4). Suppose -4*m - z - 310 = -970, -2*m = z - 332. Let d = a + m. Is 10 a factor of d?
False
Is 210 a factor of (-1170)/(-13 - (-41)/42 - -12)?
True
Let l(t) = t**3 + 9*t**2 + 8*t + 6. Suppose 5 = 18*r - 19*r. Let q(d) = d**2 + 2*d - 22. Let s be q(r). Is 