6) a multiple of 13?
False
Suppose 720 = 6*x - 3*x. Let i be (x/20)/(-2 + 1). Let o(b) = 2*b**2 + 15*b + 30. Is o(i) a multiple of 23?
True
Does 11 divide -9 + 11 + 1217 + (-12 - -14)?
True
Let l(i) = 4*i - 56. Let k be l(15). Suppose -3*z + z = k*s - 2550, -5*z - 25 = 0. Is 40 a factor of s?
True
Let m = -198 - -180. Does 37 divide 27/m + (-839)/(-2)?
False
Let d = 8283 + -6308. Is 5 a factor of d?
True
Let c(u) = -u**2 + 30*u + 51. Let r be 1 + 10 - (-9 + 4 + 1). Does 12 divide c(r)?
True
Is (8/14)/(494/4154787) a multiple of 55?
False
Suppose -178 + 163 = -5*x. Suppose x*k = -i + 293, 295 = i - 2*k + 4*k. Does 24 divide i?
False
Let p be (-205)/30 + (-1)/6. Let z be 2/p - (-90)/21. Suppose -5*h + 3 = -z*h. Is h even?
False
Suppose 32*d + 59*d - 11*d = 1260000. Does 18 divide d?
True
Suppose 0 = -4*u - 3*b + 21732, 80*u - b = 75*u + 27203. Is u a multiple of 49?
True
Let u = -299 - -309. Suppose -u*p + 192 = 6*p. Does 6 divide p?
True
Let m(y) = y**3 + 3*y**2 - 3*y + 3. Let n be m(-4). Let p be (26 + n)*-4*(-5 + 4). Suppose -25*s + 21*s + p = 0. Is s a multiple of 14?
False
Suppose 54*s - 36162 = 21*s + 15*s. Is s a multiple of 6?
False
Does 7 divide ((-25)/(2 + -1))/((-6)/1218)?
True
Let j = 6 + -67. Let r = 2296 + -2215. Let y = j + r. Does 10 divide y?
True
Suppose 49*q = -95*q + 646704. Is q a multiple of 5?
False
Suppose -92*n + 59632 = -89*n + 6556. Is n a multiple of 13?
False
Let x(u) = 2*u - 18. Let c be x(9). Let w(t) = 7 - 2*t**2 + c*t**3 - t**3 + 8*t**2 + 4*t**2. Is 22 a factor of w(7)?
True
Let r = 228 + -225. Is 4*(-53)/(-28) - r/(-7) a multiple of 4?
True
Let x(o) = 9*o**2 + 15*o + 6. Let v = -564 + 559. Does 12 divide x(v)?
True
Suppose -39*i = -41*i + 5*v + 6320, -4*v - 9494 = -3*i. Is 24 a factor of i?
False
Let j(v) = -v**3 + 14*v**2 - 12*v + 1. Let d be 2/(28/(-1150)) - 12/(-84). Let z = -72 - d. Does 34 divide j(z)?
False
Suppose b - 61 = -5*y - 389, 2*y - 1001 = 3*b. Let w = 705 + b. Does 11 divide w?
False
Let z = 14729 - 14501. Is z a multiple of 76?
True
Let b(p) be the first derivative of -2*p**3/3 - 35*p**2/2 - 5*p - 24. Is 56 a factor of b(-13)?
True
Suppose 3080 = 15*v - v. Does 32 divide 6/(-60)*-5*(v - -2)?
False
Suppose 5*f - 3*x = 19, -4*f - 2*x = -3*x - 11. Suppose b - 4*b + 1352 = f*y, -5*y - 2245 = -5*b. Is 9 a factor of b?
True
Let w(u) = 86*u**2 - 64*u + 458. Is 33 a factor of w(7)?
True
Let k = 297 - 299. Is 22 a factor of 78 + (7 - 5)/k?
False
Suppose -29348 = -55*u + 65802. Is u a multiple of 7?
False
Suppose -5*t + 123567 = 33*w - 29*w, -7*w - 24768 = -t. Is 15 a factor of t?
False
Let t be -15 - -14 - (-422 - -1). Suppose -3*d + 2*z + t = -0*z, -d + 5*z + 140 = 0. Is d a multiple of 5?
True
Suppose 100*f = 95*f - 5*x + 30, -5*f - 2*x = -27. Suppose 0 = 3*z + 15, -f*b + 4*z + 4615 = 7*z. Is b a multiple of 10?
False
Suppose -2*w + 12541 - 3135 = 5*r, 9392 = 2*w - 2*r. Does 77 divide w?
False
Let j(d) = d**3 - 6*d**2 - 2*d + 20. Let p(t) = -t**2 + 3*t + 16. Let l be p(5). Is j(l) a multiple of 8?
True
Suppose -3*k - 28 + 7 = 0. Let t(h) = h**2 + 9*h - 16. Let a be t(k). Is 5/10*-2 - a a multiple of 4?
False
Let n = -18698 - -30044. Is 9 a factor of n?
False
Is 10 a factor of (30/((-6)/(-2)))/(106/41234)?
True
Let w(i) = -148*i + 66. Let l = 160 - 163. Is 12 a factor of w(l)?
False
Let h be -3*(4 - (1 - -4)). Suppose -5*b - 4 = 1, -3*g - h*b + 3 = 0. Suppose g*q - 6*q + 228 = 0. Is q a multiple of 19?
True
Suppose 0 = 4*w - 5*m + 65, 2*w = 5*w + 2*m + 43. Let x = 32 - w. Does 6 divide x + 3 + (-28)/4?
False
Let m(s) = 186*s + 3648. Does 141 divide m(85)?
True
Let d = 47 + -43. Let o(l) = 2 + 6*l - 4 - d + 2. Is 13 a factor of o(5)?
True
Suppose -3*x = -2*x + 16. Let u(i) = i**3 - i. Let l(y) = 6*y**3 + 15*y**2 - 19*y + 24. Let q(f) = -l(f) + 5*u(f). Is q(x) a multiple of 5?
False
Let u = 46222 - 27952. Is 30 a factor of u?
True
Suppose -4*l + 3*b + 20 - 3 = 0, -4*b = -5*l + 22. Does 34 divide 204/(9/12*l)?
True
Let h = -15055 - -41310. Is 32 a factor of h?
False
Let s(p) = p**3 + 52*p**2 + 36*p - 67. Is s(-24) a multiple of 6?
False
Let g be (-1)/(-3) + (-1023)/(-9). Let q = g + -5. Suppose 0 = 2*n - 111 - q. Does 10 divide n?
True
Suppose 4*a = 5*x - 5, 3*x - 2*x - 3*a + 10 = 0. Suppose 0 = -x*q - 4*t + 33, -7*q + 60 = -2*q - 5*t. Does 14 divide 105/6*q/(90/16)?
True
Suppose -4*n = -2*n - 60. Let g be 6/(-3) + (5 - -18)/(-1). Let u = n - g. Does 11 divide u?
True
Let v = 26390 + -7598. Is 108 a factor of v?
True
Suppose -39*m = -41*m - y + 36933, -2*m + y = -36923. Is m a multiple of 8?
True
Let q = -472 - -6024. Is q a multiple of 7?
False
Let r(c) = c**2 + 41*c + 41. Let p be r(-30). Let f = p - -551. Does 68 divide f?
False
Suppose -931*r + 283554 = -842*r. Does 54 divide r?
True
Let j(x) = 71*x**2 - 6*x. Suppose 6*f - 9 = 3. Is j(f) a multiple of 34?
True
Let f = -117 - -227. Suppose 47*y + 343 = -2*y. Let b = y + f. Is 9 a factor of b?
False
Suppose 62559 = 4*h - 81201. Is h a multiple of 9?
False
Let r = -10996 + 15874. Is 25 a factor of r?
False
Let d(a) = 10*a + 120. Let f be (-315)/36 - ((-12)/16 - -1). Is 12 a factor of d(f)?
False
Let p(m) = m - 4*m + 9 - 2 + 0*m. Let w(a) = 1. Let k(y) = p(y) + 5*w(y). Is k(-12) a multiple of 12?
True
Suppose 3*n = -3*d - 2076, 10*d - 3448 = 15*d - n. Let g = d - -1166. Is 34 a factor of g?
True
Let w = 46241 + -12707. Is w a multiple of 243?
True
Let f = -96 - -115. Suppose -f*n = -1545 - 22243. Does 13 divide n?
False
Suppose 3*q + 3 = 0, 0*k + k = -4*q - 49. Let w = 48 + k. Suppose w*z - 176 = -56. Does 8 divide z?
True
Suppose 113780 = 5*c - 4*z, -6*c + 4*c - z = -45512. Is c a multiple of 33?
False
Suppose 33*p = -47*p + 3086606 - 433886. Is p a multiple of 156?
False
Let s = 435 - 431. Suppose -4*h + z = -2693, -s*z = z + 25. Is h a multiple of 12?
True
Let s be -25*(-1)/5 - (-2260 - -3). Let v = s + -928. Is v a multiple of 23?
True
Let b be (-1)/((2/(-3))/((-20)/15)). Is 4 a factor of (b - -4) + 765/5?
False
Let h be (-3 + 9)/(2 - -1). Suppose 4*x + 2*a = h*x + 46, -2*x + 4*a + 52 = 0. Is x a multiple of 3?
True
Let h = -2114 + 882. Let w(g) = g**3 - 3*g**2 - 12*g + 26. Let r be w(2). Is (6/r)/(-3 - 3672/h) a multiple of 11?
True
Let x = 554 - 898. Let z = -177 - x. Let f = z - 86. Is 9 a factor of f?
True
Let g(c) = -10*c**2 - 11*c + 1. Let m(l) = 29*l**2 + 32*l - 2. Let h(t) = -17*g(t) - 6*m(t). Let n be h(-4). Is 20 a factor of -1 + 81 - 0*7/n?
True
Let j be 5 + (-24)/5 - 70/(-25). Is 67 a factor of -2*((-1647)/2 + (-6)/j)?
False
Let k(a) = -2*a**3 + 27*a**2 + 9*a + 77. Let f be k(14). Let x = 576 - 240. Suppose -x = j - f*j. Does 14 divide j?
True
Let d(a) = -a**3 + 5*a**2 - a - 10. Let z be d(6). Let k = -50 - z. Suppose r - k*v = 28, -r - 62 = -3*r - 2*v. Is r a multiple of 10?
True
Suppose 2*x - 114 = -2*s + s, -5*s = -x - 614. Suppose 0 = -6*o + 262 + s. Is o a multiple of 4?
True
Let v(b) = 2*b**2 - 9*b - 7. Let o(w) = -10*w + 4. Let n be o(1). Let c be v(n). Suppose 2*p + c = 3*p - 5*i, -3*p - i = -277. Is 21 a factor of p?
False
Is 116 a factor of -174*(170/(-595))/((-3)/(-203))?
True
Let p(i) = 24*i + 108. Let j be p(-14). Suppose 2*c = 482 + 294. Let q = c + j. Does 32 divide q?
True
Let a = 47 + 179. Let b = a - 78. Is b a multiple of 23?
False
Suppose -3178877 = -208*l + 641667. Is 224 a factor of l?
True
Suppose 25 = -22*k + 27*k, 0 = 2*p + 5*k - 3009. Suppose 23*m - 16005 = -p. Is m a multiple of 13?
False
Suppose 4*n + 0*n = -4*r + 1124, n - 853 = -3*r. Let h = r + -65. Is h a multiple of 13?
True
Does 101 divide -1 + (5/(-2))/(7/(-8204)) - 0?
True
Let r = -17801 + 25142. Is r a multiple of 63?
False
Suppose 2*a + 3*m + 19 = 4*a, -2*a - 2*m + 34 = 0. Is 21 a factor of (a/(-4))/((-3)/414)?
True
Suppose -4324 = -2*t - k, 10*t - 4328 = 8*t - 2*k. Is 24 a factor of t?
True
Suppose 0 - 10 = 5*x. Let d be (-118)/((-42)/(-9) - 4). Is 13 a factor of 1/(6/d)*x?
False
Suppose v - k = 816, 181*v + 2*k = 178*v + 2428. Is v a multiple of 14?
True
Suppose -42*p - 30*p = -139392. Does 4 divide p?
True
Let n(f) = 711*f - 21. Let y(k) = 237*k - 7. Let r(s) = -3*n(s) + 8*y(s). Let w be r(-2). Suppose 5*i + 4*l - 254 = w, 148 = i + l. Is 13 a factor of i?
True
Suppose 11*f = 3*d + 6*f - 59, d = -3*f + 1. Suppose d*y - 9*y - 680 = 0. Is y a mult