 - 4*u**2 + 59 + 5*u**2 + 18 + 3. Is 27 a factor of x(17)?
True
Let p = -4455 - -13396. Is 7 a factor of p?
False
Let f(h) = 49*h**2 - 576*h + 22. Is f(23) a multiple of 11?
False
Let c = -16986 + 22913. Does 202 divide c?
False
Let j be (-2)/(-4) - 6/(-4). Suppose -71*t + 16715 = 5923. Suppose 125 = u - 4*g, -j*u + u - 5*g = -t. Is 20 a factor of u?
False
Suppose 5*i - 2 = 2*u, -3*i - 7*u = -4*u + 3. Let t be ((-5)/(-3) + -2)*-12. Suppose i = 3*p - t - 116. Is p a multiple of 4?
True
Let b = 171 + -168. Suppose 792 = b*p + 15*p. Is p a multiple of 11?
True
Suppose -8*q + 962 + 2070 = 0. Suppose -r - 1884 = -6*r - b, -r + 2*b + q = 0. Does 4 divide r?
False
Let a(o) = -o**3 - 5*o**2 - 4*o. Let i be a(-4). Suppose 0 = 2*d + 272*g - 275*g - 717, -3*d - g + 1081 = 0. Suppose 3*n - d = -i*n. Is 12 a factor of n?
True
Suppose d = -3*m + 35474, -5*d + 14328 + 21166 = 3*m. Is 9 a factor of m?
False
Let z = 182 - 142. Is ((-1)/2)/(z/(-120880)) a multiple of 49?
False
Let u be -93*(1/(-7) + (-1802)/(-119)). Let c = -808 - u. Is 79 a factor of c?
False
Let o(j) = j**2 + 14*j - 47. Let r be o(-17). Suppose -4*v + 568 = r*h, 3*v = -2*h + 129 + 157. Is 7 a factor of h?
True
Let t = 11777 + -9676. Does 5 divide t?
False
Suppose 338 = 2*a + 2*y - y, 3*a - 507 = 4*y. Suppose k = r - a, 5*r - 2*k = -176 + 1027. Is r a multiple of 3?
True
Suppose 21*c = 19*c - 14. Let k be 3 - (c + (1/1 - -2)). Suppose 3*g - k*g - p + 199 = 0, -3*g + 3*p + 153 = 0. Does 5 divide g?
True
Let n = -36119 - -42832. Does 5 divide n?
False
Let f(a) = 219*a + 99. Let n be f(13). Suppose 167*k - n = 161*k. Is 57 a factor of k?
False
Let y be (15/(-10))/((-1)/(-6)) - -3. Does 16 divide (52 + -16)/(y/(-64))?
True
Let t = -828 - -1069. Is t a multiple of 4?
False
Let w = 1520 - -562. Is w a multiple of 13?
False
Let y be (0 + 2/5)/((-5)/(-10075)). Suppose -2*v + 815 = -0*v + k, -2*v - 4*k = -y. Is 13 a factor of v?
False
Let h be (12 + 2)/((-24)/156). Let l be (-1)/(-5) - (-768)/(-15). Let p = l - h. Is 6 a factor of p?
False
Suppose 0*q = -q - 67. Suppose 204*l - 616 = 196*l. Let x = l + q. Is x a multiple of 10?
True
Suppose 34*h - 12 = 56. Suppose j - 1400 = -h*b - 0*j, 5*b + 2*j = 3500. Does 10 divide b?
True
Let i(k) = -k**2 - 12*k - 1. Let u be i(-10). Suppose -16*f - 354 = -u*f. Is 7 a factor of f?
False
Suppose -12 = -2*w - w. Suppose 4*i - w = -4*r, r = 5*i - i + 11. Suppose 4*l = r*y - 40, 0 = y - 5*y - 4*l + 44. Does 3 divide y?
True
Suppose 9820 = 3*v - 2*f, 0 = 3*v - 9*f + 14*f - 9827. Is 21 a factor of v?
False
Let x(r) = r**3 - 3*r**2 + 2*r - 4. Let w be x(3). Suppose 0 = -2*k + 2*o + 152, -w*k + 4*o + 382 = 3*k. Does 26 divide k?
True
Let q(k) = 3*k**2 + 12*k + 5. Let v be q(-4). Suppose b = 2*c + 138, 4*b + v*c = 306 + 285. Is 36 a factor of b?
True
Suppose 4*m + n = 25868, -5*m - 21*n = -26*n - 32360. Is 12 a factor of m?
True
Let i(s) = -s**2 + 6*s - 6. Let o be i(4). Suppose -5*g - 5 = -4*g, -10 = o*p + 2*g. Suppose 5*j - 2*f - 288 = p, 5*j + 5*f - 284 - 11 = 0. Does 6 divide j?
False
Suppose -590 - 80 = 10*u. Let q = u + 647. Is 12 a factor of q?
False
Let j = 27172 + -17919. Is j a multiple of 14?
False
Let z = -17644 + 34532. Does 13 divide z?
False
Let s be 44/(-12) + 5 - (-3)/(-9). Let m(p) be the third derivative of 11*p**5/30 + p**4/24 - p**3/3 - 4*p**2. Is m(s) a multiple of 9?
False
Suppose -m = d - 1493, m + d - 6*d = 1463. Is 12 a factor of m?
True
Suppose -2*d + 28 = -4*f, d - 4 = -2*f + 2. Suppose -5*c + d = -3*c, -5*g + 2*c = -1225. Does 7 divide g?
False
Suppose 75*w - 153*w - 3485 = -79*w. Is 6 a factor of w?
False
Let y(g) = -g**3 + 12*g**2 + 27*g - 30. Let t be y(14). Let v be (t/(-3))/((-4)/(-66)). Suppose -b + v = 2*b + 5*n, b = 2*n + 66. Is 37 a factor of b?
True
Suppose 146 = -6*i + 188. Suppose 23*s = i*s + 1120. Is s a multiple of 10?
True
Suppose 0*n - 4*n + 5 = x, -4*x = -3*n - 20. Suppose n = 8*m - 2*m. Suppose -5*o + 51 = u - m*u, -2*o + u = -19. Is 5 a factor of o?
True
Suppose -4*a - 3*t = -27891, -8*a - 2*t + 34869 = -3*a. Does 118 divide a?
False
Let h = 135 - 159. Does 25 divide h/(-32) - (-361)/4?
False
Is 14 a factor of 4 + 0 + (2466 + -22 - 12)?
True
Suppose -414*s = -419*s - 200. Let c be (18/8)/(6/16). Is 286/c + s/(-30) a multiple of 13?
False
Let s(i) be the first derivative of -i**4/4 - 16*i**3/3 + 10*i - 18. Suppose 3*m + m + 4*q + 60 = 0, -81 = 5*m - q. Is s(m) a multiple of 5?
True
Let f be (10/8)/(-14 + 798/56). Suppose -498 = -3*a - 3*c + 243, 0 = 3*a - f*c - 749. Is a a multiple of 4?
True
Suppose 296873 = 143*r - 416840. Does 4 divide r?
False
Suppose 63*l - 53*l = 88920. Is 18 a factor of l?
True
Let k = -118 - -93. Is 29 a factor of 870/(-3)*20/k?
True
Suppose 5 = -b - 3. Let n be (-28)/8*b/(-14). Is 22 a factor of 132*((-3)/n)/((-18)/(-8))?
True
Suppose 0 = 4*z - 0*z + 5*b + 73, 4*b = -z - 10. Let h = 278 - z. Is h a multiple of 12?
True
Let u(l) = -688*l + 2915. Does 23 divide u(-43)?
True
Suppose -14*y - 568 - 1378 = 0. Let t = 74 - y. Is 10 a factor of t?
False
Let i = 535 + -10. Let d be (-70)/7*(-4)/5. Suppose -d*b = -b - i. Is 18 a factor of b?
False
Let c(f) = 10*f**3 + 16*f**2 - 10*f - 2. Let m(r) = -15*r**3 - 24*r**2 + 15*r + 4. Let d(u) = -8*c(u) - 5*m(u). Is d(-4) a multiple of 28?
True
Is ((-107252)/(-36) - 3) + 414/(-1863) a multiple of 32?
True
Let d(t) = -3*t + 26. Suppose 3 = 2*q + w - 13, -q = 2*w - 8. Let j be d(q). Suppose -j*u - 12 = 2*v - 4*v, -4*v + u = -18. Is 4 a factor of v?
True
Is (16 - 8882)/(-13) - (-8 + 2)*1 a multiple of 16?
True
Let q(h) = -h**2 - 23*h - 36. Let f be q(-20). Suppose -f*j = -13*j - 5533. Is 59 a factor of j?
False
Let z be (-2)/(((-2)/(-5))/((-9)/15)). Let m(p) = 9*p**2 - 12*p - 8*p**3 + 4*p + 7*p**z. Is m(7) a multiple of 21?
True
Suppose 3*b - 11 = 1. Let u be (-10)/((2/12)/(-1)). Suppose 2*d - d = -v + u, 2*d = -b*v + 246. Is 17 a factor of v?
False
Let b(r) = r**3 - 16*r**2 - r + 18. Let w be b(16). Suppose 2 = -w*g - 2*n, 0 = -g + 4*n + 13 - 4. Is -5 + (g - -6) - (-91 + 1) a multiple of 24?
False
Let k = -308 - -296. Let q = k - -796. Does 56 divide q?
True
Let p(f) = 94*f + 391. Let l be p(42). Let d = 6300 - l. Is 17 a factor of d?
False
Suppose c + 5*u - 1592 = 0, -15*u = -11*u - 20. Is c a multiple of 2?
False
Let f be 2/(-10) + (-9380)/(-25). Suppose -5*v + f = 5*q - 7*v, 4*q - 300 = v. Does 15 divide q?
True
Let z(r) = r**3 - r**2 - 31*r + 60*r - 30*r - 31*r**2 + 32. Let o be z(32). Suppose o = 3*j - 134 - 106. Is j a multiple of 19?
False
Suppose 5*h - 26 = -8*h. Suppose h*z = -2*g + 370, 8*g - z + 755 = 12*g. Is 19 a factor of g?
True
Let o = -115 - -121. Let l(h) = 65*h - 39. Is l(o) a multiple of 39?
True
Suppose -40*o - 4*o = 347330 - 1348330. Is o a multiple of 25?
True
Let o = 6941 - -12278. Does 47 divide o?
False
Let f be (-5 - 164/(-16))/(6/16). Suppose 8*l - 9*l + f = 0. Suppose 5*i + 117 = l*i. Is i a multiple of 2?
False
Is 63/105*(-10)/(-3) - -7997 - 1 a multiple of 62?
True
Let m(n) = -14*n + 18. Let c = 30 - 35. Does 56 divide m(c)?
False
Suppose 0 = 83*r - 87*r + 20. Suppose 0 = -6*h + r*h + 270. Is 13 a factor of h?
False
Let x(s) = -73*s + 1166. Is 10 a factor of x(11)?
False
Suppose -6*m + 12*m + 24 = 0. Is ((30/14 - 3) + m)*-7 a multiple of 17?
True
Let g = 3517 - 1495. Let t = -1183 + g. Is 20 a factor of t?
False
Let x = -39690 + 79860. Is 10 a factor of x?
True
Let p = 858 + -366. Suppose -101*v - p = -104*v. Does 20 divide v?
False
Let b = -2787 - -4250. Let v = -740 + b. Is v a multiple of 79?
False
Let g(z) be the third derivative of z**4/8 - 2*z**3/3 + 14*z**2. Let u be g(2). Suppose -12 = -3*l, -3*n - l + 30 = -u*n. Is 13 a factor of n?
True
Suppose 13*r - 168744 = -33*r + 693020. Is r a multiple of 58?
True
Suppose 24719 = 70*n - 146*n + 2190719. Is 57 a factor of n?
True
Let i = 33 + -39. Let r(x) = -1093 - 11*x - 5*x + 1072. Is 9 a factor of r(i)?
False
Suppose -20*r = -60217 - 56934 + 37351. Is 38 a factor of r?
True
Let h be (6/(-4))/(-1 - (-14)/12). Let u be (-12)/54 - (-70)/h. Does 5 divide ((-45)/(-3))/(-1 - 20/u)?
True
Let t(u) = u**3 + 8*u**2 + u + 19. Let w be t(-7). Let d = 330 - w. Does 56 divide d?
False
Let i(w) be the third derivative of -3/8*w**4 - 10*w**2 - 6*w**3 + 0*w + 0. Is 21 a factor of i(-20)?
False
Let