uppose -17 = r*u - 185. Is 2 a factor of u?
True
Let y be 3108/14*(-17)/(-6). Let g = 1337 - y. Does 6 divide g?
True
Let k = 99 + -95. Suppose 4*a + 1671 = 4*h - a, -3*a + 1647 = k*h. Does 23 divide h?
True
Let f(k) = 14*k + 46. Let q be f(17). Let g = q + -259. Does 5 divide g?
True
Let s(x) = -13 - 14*x**2 - x**2 + 11*x - x + x**3. Is 13 a factor of s(16)?
True
Suppose 5*l + 15 = 5*t, -5*t + 27 = 3*l - 2*l. Suppose 5 = -g + 5*j, -t*g - j - j + 29 = 0. Suppose -g*y = -14*y + 1125. Is 15 a factor of y?
False
Let c(o) = o**3 - 8*o**2 + 4*o + 19. Let i be 6 - (2 + 20/(-5)). Let y be c(i). Let k = 9 + y. Is k a multiple of 20?
True
Suppose 0*v - 10*v - 50 = 0. Let i(x) = -100*x - 9. Is 47 a factor of i(v)?
False
Suppose 5 = o - 3*i, -5*i - 7 = -o - i. Let g be 1 + -1 + (-12)/(-3) + o. Suppose w - 243 = -3*w - g*c, 5*c - 111 = -2*w. Is w a multiple of 21?
True
Let f = -30 - -40. Let t(s) = 4*s**2 - 12 - f*s - 5*s**2 + 28. Is t(-11) even?
False
Let t = 97 + -92. Let u = 43 - 34. Is (t - u/3) + 41 a multiple of 3?
False
Suppose 22*z - 17*z + m = 25408, -2 = m. Does 19 divide z?
False
Let q(w) = 5*w**2 + w - 4. Let r be q(2). Suppose 13*m + 365 = r*m. Is m a multiple of 23?
False
Let t(a) = -a**2 - 7*a + 3. Let y be t(-7). Suppose -8*i = -4*i + d - 119, 2*d + 81 = y*i. Does 3 divide i?
False
Suppose 4*c - 275 - 2557 = -4*v, -c + 696 = -3*v. Does 21 divide c?
False
Let o = 209 - 207. Suppose -117 = o*p - 469. Does 11 divide p?
True
Let x(z) = z**2 - z + 2. Let p be x(1). Suppose 0 = -p*f + 6, -y - f + 8 = f. Suppose y*n - 225 = -n. Is 25 a factor of n?
True
Let t(i) = -2*i**3 - 39*i**2 - 162*i - 17. Is t(-18) a multiple of 24?
False
Is 13 a factor of ((-1)/2 - 1) + 38646/76?
True
Suppose -110 = 2*v + 5*m, -3*m = v - 4*m + 41. Let o = v + 173. Is 5 a factor of o?
False
Suppose 0*g - 14*g = 9*g - 577369. Does 10 divide g?
False
Is 28 a factor of (-23 - 108)/((-7)/133)?
False
Let n(u) = 7*u - 39. Let d be n(9). Suppose d*z - 5357 = 10675. Does 43 divide z?
False
Suppose -2*r + 12 = -3*f - 0*f, -3*f - 48 = -5*r. Does 3 divide r/(-6)*(2 - (36 - 1))?
True
Let x = -18 + 18. Suppose -6*m - u = -2*m - 20, x = m + u - 2. Suppose -2*c + 4*j = -238, j = -5*c + m*j + 620. Is 12 a factor of c?
False
Let x be 3540/25 - (18/10)/3. Suppose 5*w = -5*s + 2810, -5*w - 1795 + x = -3*s. Is 10 a factor of s?
False
Let i(c) = -219*c - 55. Is 4 a factor of i(-1)?
True
Let l(d) = -23*d - 133. Is l(-105) a multiple of 22?
False
Let k(i) = i**2 + 25*i - 222. Let q be k(7). Does 33 divide 10/(-5) + 208 - q?
False
Let q(v) = 7*v - 5. Let r be q(-6). Let y = 223 - r. Does 30 divide y?
True
Let r(b) = -b - 3. Let s be r(2). Let o be (-33)/6*14*s. Suppose v - 459 = -4*t + 278, -2*t = -5*v - o. Does 37 divide t?
True
Suppose 20*q + 56625 + 227691 = 192*q. Is q a multiple of 90?
False
Let b = 29 + -35. Let q be b/(-9) + (3 - (-12)/9). Suppose -2*o = 3*o - q*t - 695, 4*o = -2*t + 586. Is 24 a factor of o?
True
Let o be 143/44 + (-9)/(-24)*2. Suppose 4*s - d = o*d + 796, 2*s - d = 404. Suppose s = 13*v - 7*v. Is v a multiple of 17?
True
Let c(a) = 4*a**2 - 2 - 2*a**2 - 7*a + 0. Let x(i) = -i**3 + i**2 + 3*i - 1. Let n be x(-2). Does 13 divide c(n)?
True
Let y = -38 + 42. Suppose -y*k - 258 = -7*k. Let x = k - 38. Is x a multiple of 6?
True
Suppose k - 3 = 0, 0*x - 2*k = 4*x - 6. Suppose -3*y = 5*m - 2064, x*y + 1242 = 3*m + 3*y. Is m a multiple of 57?
False
Suppose 4*c - 2*f = 250, 2*c - 330 = -3*c - f. Let m = c - 53. Does 14 divide 14/(18/m*2/15)?
True
Let z = -31338 + 68176. Does 37 divide z?
False
Let i = 25112 + -14507. Does 15 divide i?
True
Suppose -4*u = -5*c - 85580, 5*u - 23*c - 106975 = -19*c. Does 13 divide u?
False
Let v = 227 - 182. Suppose v - 545 = -5*m. Is 10 a factor of m?
True
Let g = 83 + -113. Does 32 divide g/4*-128*(-6)/(-36)?
True
Let x(h) = -h**3 + 8*h**2 - 9*h + 32. Let k be x(8). Let b(y) = -2*y**2 - 17*y + 1. Let j be b(-13). Let s = k - j. Is s a multiple of 19?
True
Suppose 3*r - 15024 - 17025 = -m, -5*m = 4*r - 160278. Is 39 a factor of m?
True
Suppose -12577*t + 12557*t + 258260 = 0. Does 37 divide t?
True
Is (11716/(-29))/(6/(-63)) a multiple of 42?
True
Is 2 a factor of 6 - (-7)/((-7)/(-1363))?
False
Let r(g) = -g**2 + 2*g + 6. Let k(t) = -6*t**2 + 9*t + 30. Let j(c) = -4*k(c) + 22*r(c). Is j(12) a multiple of 36?
True
Suppose -31*l + 26*l = -30. Does 43 divide (-753)/(-6) + l/4?
False
Suppose 0 = 20*p - 24*p - 1404. Let m = p + 377. Is 20 a factor of m?
False
Let u = -196 - -94. Let j = 182 + u. Does 20 divide j?
True
Suppose 0 = 2409*x - 2405*x - 2876. Does 4 divide x?
False
Let i(q) = 1158*q**2 + 133*q + 19. Is 10 a factor of i(3)?
True
Suppose -25 - 4 = -i. Let d = i - 26. Suppose v - d*t = 85, 4*t + 107 - 20 = v. Is 13 a factor of v?
False
Let d(x) = x**3 - 11*x**2 + 9*x - 60. Let p = 511 + -499. Is d(p) a multiple of 48?
True
Let s be (-16)/6*15/(-10). Suppose -s*h = 3*b - 3*h - 1, 11 = b + 3*h. Is 3 a factor of 11 + 4/(-2 - b/1)?
False
Let u = -12569 + 25309. Is u a multiple of 26?
True
Let j = 55 - 50. Suppose -3*r - j*c = 2*r - 220, 3*r - 132 = -4*c. Suppose -39*x + r*x - 375 = 0. Is 23 a factor of x?
False
Suppose -37*m + 72 + 76 = 0. Let j(w) = -w**3 - 8*w**2 - 9*w - 10. Let u be j(-7). Suppose 5*n = d + 1663, m*n + u*d - 1340 = -0*n. Is 37 a factor of n?
True
Let d be 46*(4015/(-10))/(-11). Let x = d - 1193. Is 16 a factor of x?
False
Let t be 22*(-3 - -2)*189/(-126). Is 12 a factor of (1 + -7 - -3) + (385 - t)?
False
Is 234 a factor of (-6236 + -4)*(0 + (-81)/36)?
True
Suppose 8 = -4*b - 4, -3*b = 3*s - 1911. Is 5 a factor of s?
True
Let t be -2*(-9)/(-4)*(-16)/3. Let r = 27 + t. Suppose 42*i - 41*i - r = 0. Does 11 divide i?
False
Suppose j - 350 = -3*w - w, 0 = -5*w + 5*j + 425. Suppose -84*m = -w*m + 201. Is 5 a factor of m?
False
Suppose -10517*q + 10501*q = -106272. Is 8 a factor of q?
False
Suppose 2313 + 23387 = 5*k. Suppose -2829 - k = 13*o. Is (-60)/(-80) + o/(-4) a multiple of 11?
True
Let j be (-300)/45*(-9)/5. Suppose -j*y + 36 = -6*y. Let o(w) = 4*w**2 - 3*w. Is 14 a factor of o(y)?
True
Let f(w) = -4*w - 15. Let s be f(-5). Suppose t + 34 = -3*i + 96, -44 = -i - s*t. Let l = 37 - i. Is 6 a factor of l?
True
Let l(z) = 38*z**2 - 5*z - 9. Let v be l(-2). Let y = -141 + v. Is y even?
True
Let p = -38 + 41. Suppose 4*o + 3 = s - p, 3*s + 5*o = 18. Suppose 495 = s*k + 3*k. Is 30 a factor of k?
False
Let f(u) = 78*u - 26*u - 16*u - 56. Is 16 a factor of f(16)?
False
Let w(d) = -3*d**3 - 4*d**2 - 6*d - 2. Let c(b) = 2*b**2 - b + 4. Let k be c(0). Suppose -k = 2*u - 0. Is 6 a factor of w(u)?
True
Let b(s) = s**3 + 68*s**2 + 35*s - 506. Is 21 a factor of b(-67)?
True
Let q(m) = 86*m**2 + 45*m + 356. Is q(-6) a multiple of 8?
False
Let r(d) = -152*d - 1191. Does 53 divide r(-57)?
True
Suppose 1172266 - 380873 = 73*j. Is j a multiple of 90?
False
Let q(n) = -6*n**2 + 3*n - 3. Let c be q(4). Let r = c + 92. Suppose 0 = -5*x + 3*k + 732, -k + 502 = r*x - 214. Is x a multiple of 18?
True
Suppose 21202 + 159528 = 31*b. Is b a multiple of 55?
True
Is 114 a factor of 4/82 + 65875945/3895?
False
Let h = 8889 + 3747. Is h a multiple of 78?
True
Let g be (-57 - 0)*(1 - 0). Let k = 58 + g. Does 34 divide 8/16*(3 - -202 - k)?
True
Suppose 5*h - d = 20469, 1243 = 3*h + 2*d - 11041. Does 89 divide h?
True
Let a be ((-10)/5 - -4)*1 + 1998. Suppose -195 = 5*u - a. Is 16 a factor of u?
False
Suppose -5*g + 2*u = -59790, -35874 = 82*g - 85*g + 3*u. Is 71 a factor of g?
False
Let x be -1*(11/(-1) + 3). Let m(s) = -s**3 + 10*s**2 - 17*s + 19. Does 11 divide m(x)?
True
Let y be 4/3 - 750/(-45). Suppose y*b = -322 + 1654. Is 12 a factor of b?
False
Suppose 0 = -17113*h + 17114*h - 3609. Is h even?
False
Let l(i) = 4 + 8 - 11 + 9*i**2 + 2*i - 8*i**2 - 45*i**3. Let s be l(-1). Let m = s - 28. Is m a multiple of 4?
False
Let m be (-178)/8 - (-3)/12. Let a = -1 - m. Is 3 a factor of a?
True
Let q be (-1 - -4)*1/1. Suppose -4*b - 158 = 2*o - 3*o, 0 = -q*o - 5*b + 423. Does 12 divide o?
False
Let m(a) = 7*a**2 - 23*a + 23. Let j(v) = 13*v**2 - 45*v + 46. Let y(d) = -6*j(d) + 11*m(d). Let n be y(10). Suppose -b + n = 13. Is b a multiple of 18?
False
Let t(z) be the second derivative of -1/6*z**3 + 0 + 1/12*z**4 - z**2 - 21*z - 13/2*z**5. Is t(-1) a multiple of