 h = u - 44. Suppose -47 = -h*q + 63. Is 2 a factor of q?
True
Let o(n) = -4*n - 9. Let g be o(-3). Suppose k - 56 = -g*k. Suppose m - 2*m = -k. Does 14 divide m?
True
Let j(p) = -16*p**2 - 9. Let x be j(4). Let i = -709 - x. Is 3 a factor of i/(-18)*3/2?
False
Suppose 4*o - 3371 = 10598 + 3071. Does 142 divide o?
True
Let f(z) be the third derivative of 113*z**6/120 - z**5/30 + z**4/8 - z**3/6 - z**2. Suppose 0 = -b, 3 = 3*r - 0*b - 3*b. Does 17 divide f(r)?
False
Let r(s) = -s**3 + s**2 - 4*s + 2. Let n be r(4). Is 5 a factor of (8/(80/(-25)))/(1/n)?
True
Suppose -5*n - 2*h + 5857 + 44279 = 0, -2*n + 20074 = -2*h. Is 17 a factor of n?
True
Let y be (-3)/6 + (-63)/(-6). Suppose -2*g = s + 4 + 1, -3*g = 2*s + y. Suppose -2*k + 51 - 3 = g. Is k a multiple of 6?
True
Suppose -2*m - 2*a + 5426 = 0, -2*m + 4302 = -3*a - 1119. Suppose -9*q + 1410 = -m. Suppose -5*n + 1378 = q. Is n a multiple of 46?
True
Let m be 5/(-2) - (-17563)/26. Let x = m + -288. Does 9 divide x?
False
Let y be 19*191 + 51 + -54. Suppose -51*o = -37*o - y. Is o a multiple of 8?
False
Let y(n) = 19 + 0*n - 28 - 2*n + 10*n - n**3 + 24*n**2 + 14*n. Is 18 a factor of y(23)?
True
Suppose 3*y - 796 = q + 168, -2*y - 5*q = -620. Is (-3 + y)/(12/12) a multiple of 16?
False
Suppose -8*v - 2776 + 9287 = -1113. Does 3 divide v?
False
Suppose -n + k = -18, 3*n - 4*k - 44 = -3*k. Let m = n - 14. Let d(t) = -79*t + 6. Does 7 divide d(m)?
False
Let k = -2311 + 4832. Does 17 divide k?
False
Let i(y) = 23*y + 11. Let g be i(3). Suppose -5*w - 67 = 113. Let s = w + g. Is 11 a factor of s?
True
Suppose -54*r = -53*r - 2. Suppose 0 = -r*x - 3*d + 1031, 2*d = 2*x - 761 - 275. Is x a multiple of 47?
True
Let j(z) = 54*z**2 - z + 7. Let x be j(-4). Suppose 5*p = 5*q + x, 3*q + 82 = p - 103. Does 9 divide p?
False
Let s(h) = h**3 + 14*h**2 - 9*h - 10. Let l be s(-10). Suppose -39*z - l = -45*z. Is 8 a factor of z?
True
Let i(n) = 11*n**2 - 3*n + 6. Let y be i(-5). Let p = -239 + y. Does 19 divide p?
True
Suppose 0*j = -4*n + 3*j + 25, -3*n + 3*j + 21 = 0. Suppose -16 = -n*m, 3*r - 5*m = -m + 80. Does 4 divide r?
True
Let c be -9 + 15/5 - -8. Suppose -2*q = c*f - 832, 4*q + 2 = 6*q. Is f a multiple of 63?
False
Let k(s) = 12*s**2 - 34*s + 236. Is 79 a factor of k(-43)?
False
Let z(a) = 0 - 15*a**2 + 11 - 16*a + 2 + a**3 - 5. Suppose 3*y - n - 48 = 0, 5*n = -7*y + 2*y + 80. Is 2 a factor of z(y)?
True
Suppose 8*n = 9*n - 1346. Is 1/10*n - 42/(-105) a multiple of 9?
True
Suppose 79*x = 31*x - 86*x + 4543538. Does 267 divide x?
False
Let w(t) be the second derivative of t**3/2 - 4*t**2 - 6*t. Let m be w(5). Suppose -5*b + 26 = 4*z, 5*z = -0*b - 2*b + m. Is 6 a factor of b?
True
Suppose 0 = -18*z + 4*z + 56. Suppose z*q - 16*q = -24. Suppose 3*r - 3*a - 273 = 0, 0 = -q*a - 2*a. Does 13 divide r?
True
Let h(f) = 8*f**2 - 2*f + 15. Let b be h(-5). Let i = b + 402. Does 33 divide i?
True
Suppose i - 8 - 9 = 0. Suppose -7*j + i = -1166. Suppose 5*o - 3*a + 113 - 380 = 0, 0 = 3*o - 4*a - j. Is o a multiple of 25?
False
Let y(t) = t**3 - 31*t**2 + 76*t - 399. Is 7 a factor of y(32)?
False
Let s(r) = -2*r**2 - 13*r - 2. Let j be s(-6). Suppose 4*x + j*d - 650 = -d, d - 162 = -x. Does 10 divide x?
True
Suppose b - 3*r - 2682 = -b, 0 = -2*b + 4*r + 2686. Suppose 2*x = -3*x + b. Is 20 a factor of x?
False
Let c(h) be the first derivative of h**4/4 - 7*h**3/3 - 7*h**2 + 12*h - 631. Let m(v) = -v**2 + 8*v + 2. Let t be m(7). Is 4 a factor of c(t)?
True
Suppose 0 = -7*u - 3 - 4. Let p be (1 - (1 + 2))*1. Is 2 a factor of u/(p - -8) + 175/6?
False
Let d = 3405 - -6514. Suppose 1621 + d = 20*o. Does 56 divide o?
False
Let c(n) = n + 152. Let x(b) = b**2 - 16*b + 26. Let t be x(16). Suppose t*f = 28*f. Does 19 divide c(f)?
True
Let a(t) = 28*t + 125. Let k be a(-27). Let f = k + 1122. Does 50 divide f?
False
Does 10 divide 616 + -1 - (13 - (-128)/(-16))?
True
Let k(r) be the second derivative of r**4/4 - 5*r**3/2 + 13*r**2 - 128*r. Is 14 a factor of k(8)?
True
Let i be -4 - (-4)/(-4) - -2. Let d be (2/i)/(11/(-66)). Suppose 2*j = -d*o + 180, 444 = 2*j + 3*j + 4*o. Does 11 divide j?
True
Suppose 9*r - 94*r = -90950. Is 2 a factor of r?
True
Suppose -35*u + 15*u + 31*u - 24959 = 0. Does 120 divide u?
False
Suppose -2*c - 15832 = -4*a, 1143*c - 1140*c = 2*a - 7908. Is a a multiple of 18?
True
Let p = -4 - 0. Let d = -313 + 311. Does 27 divide (-2088)/(18/d) - (0 - p)?
False
Suppose 77 = 4*o + 13. Suppose -42 = 10*m - o*m. Suppose 77 = m*t - 0*t. Is 11 a factor of t?
True
Suppose -3*h + 18 = u - 2*u, 4*h - 5*u = 24. Suppose 3*b + h*b - 4095 = 0. Is b a multiple of 13?
True
Suppose -3 = -o - f, o - 6*o + 5*f + 5 = 0. Let s(n) = 46*n**3 - 3*n**2 - 5*n + 2. Is s(o) a multiple of 13?
False
Let m(o) = 1960*o. Let q(d) = 981*d - 1. Let g(x) = 4*m(x) - 7*q(x). Does 28 divide g(1)?
True
Let x be (-8)/((-4 - -5)*-2). Let y = x - -71. Is 10/(-3)*y/(-10) a multiple of 7?
False
Let n(u) = -u**3 - 6*u**2 - 4*u - 2. Let y be (-8 - -4) + (-4 - -2). Let i be n(y). Suppose -20*d = -i*d + 68. Is d a multiple of 34?
True
Let y = 781 - 733. Let l be (-1424)/(-14) + 10/35. Suppose 3*p - y = -z, 2*z + 3*p - l = -p. Is 11 a factor of z?
False
Let z = -294 + 530. Suppose 4*n = z + 64. Suppose -51 - n = -6*a. Is a even?
False
Let k = 17242 + -12813. Does 3 divide k?
False
Let p(o) = 16*o - 80. Let c be p(5). Suppose -18*d = -c*d - 1890. Is 21 a factor of d?
True
Let d = 1091 + 108. Let z = -668 + d. Is 59 a factor of z?
True
Let o(f) be the third derivative of -f**5/60 + 2*f**4/3 - 25*f**3/3 + 164*f**2. Is o(11) even?
False
Let k = 17607 - 17303. Does 76 divide k?
True
Let w(y) = -y**3 + 13*y**2 + 28*y + 31. Let o be w(15). Suppose 0 = 2*f - o - 1. Does 25 divide (4 - (f - -1) - -1) + 45?
False
Let z(o) = -o**3 + 19*o**2 - 47*o - 15. Let j be z(16). Let g(d) = 131*d**2 + 2*d - 3. Is 13 a factor of g(j)?
True
Suppose -20*n + 13*n = -2821. Let m = n - 311. Is 10 a factor of m?
False
Let m(a) = -16*a - 9 + 0 + 6. Let w(v) = -16*v - 2. Let j(i) = 4*m(i) - 5*w(i). Is 28 a factor of j(10)?
False
Let p be (-7*(3 - 5))/(-1). Let i(k) = -68*k - 72. Is i(p) a multiple of 11?
True
Let y(b) = -4*b**3 - 2*b**2 + 12*b + 5. Let k be y(4). Let l = 359 + k. Is l a multiple of 31?
True
Let f(i) = 6*i**2 - 29*i + 56. Let g(n) = n + 19. Let l be g(-5). Is f(l) a multiple of 14?
True
Let q = 41 + -26. Let a = 814 - q. Is 17 a factor of a?
True
Suppose 0 = 5*p - p - 184. Is 5129/p - 2/(-4) a multiple of 8?
True
Let c = -23 - -43. Let m(k) = k + 133 - c - 2*k + 0*k. Does 27 divide m(0)?
False
Let f be 8 + (0 - -1) + -4. Suppose 0 = -f*k + 7 + 3. Suppose k*l + 3*l - 550 = 0. Is 32 a factor of l?
False
Let k be (-2 + 42/9)*132/88. Suppose k*b = z - 95 - 49, -2*b + 288 = 2*z. Does 3 divide z?
True
Suppose 14*b - 11*b = 5*d + 54625, 0 = -b - 2*d + 18190. Does 40 divide b?
True
Suppose 0 = 13*g - 3*z - 56857, 4*z = 15 + 9. Is g a multiple of 23?
False
Let i = 122 + -195. Is 22 a factor of (i/(-2))/(3*(-1)/(-6))?
False
Let q(f) = -f + 26. Let s(b) = -b**3 + 15*b**2 - 27*b + 34. Let l be s(13). Let x be 333/(-12) - (l/(-12) + 2). Does 6 divide q(x)?
True
Let t(f) = -3 + 9*f + 104*f**2 - 106*f**2 - 2*f. Let b be t(3). Suppose 243 = 2*h - b*m - m, 2*h = 5*m + 239. Is 25 a factor of h?
False
Is 35000/525*(-234)/(-5) a multiple of 10?
True
Suppose 0*v = -2*n + 3*v + 35, -3*n - 4*v = -10. Let h = n - -36. Let l = 51 - h. Is 3 a factor of l?
False
Suppose -18*u + 31*u - 78786 = -41*u. Is u a multiple of 2?
False
Let j(i) = -16*i - 14. Let m be j(4). Let y = m - -82. Suppose 131 = d + l - 4*l, -472 = -y*d - l. Is 10 a factor of d?
False
Suppose 5*m - 10085 = -281*r + 276*r, 3*r + 5*m = 6053. Does 36 divide r?
True
Let z(a) = 3*a + 305. Suppose -5 = 3*b - v, -b + 20 = -3*v + 7*v. Let u be z(b). Suppose -3*y = -4*t - u, -2*y = -y - 2*t - 101. Does 23 divide y?
False
Let f(i) = -53*i + 1013. Let l be f(19). Suppose -94 - 11 = 5*y. Does 25 divide (l/14 - 0) + (-2889)/y?
False
Let b be 0/(-4)*((1 - 3) + 1). Let a be (60/16 + b)/(1/4). Does 18 divide a/(5 + 0) + (337 - -2)?
True
Suppose -5 = s - h, -3*h - 2*h = -4*s - 16. Let n(b) = -b**3 + 3*b - 45. Does 19 divide n(s)?
False
Suppose 33*s - 18*s + 13338 = 42*s. Is 3 a factor of s?
False
Let x = 350 + -344. Let k(f) = 6*f**2 + 13*f - 2