+ 199. Let f = o - 8. Let j = -38 - f. Is j even?
True
Let q = 1464 + 7556. Is 164 a factor of q?
True
Let s = 154 - 90. Let r be (s/10)/((-11)/(-880)). Suppose -2*g - r = -6*g. Is g a multiple of 32?
True
Let x(u) = -3*u**2 + 0 - 36 + u**3 + 13*u + 2*u**2. Does 20 divide x(7)?
False
Let l be (23 - 29) + (0 - 0). Let x be 7/3 - (16/l + 3). Suppose 0 = -x*r - 30 + 114. Does 35 divide r?
False
Suppose 141*a - 58028 + 412972 - 3187070 = 0. Is a a multiple of 5?
False
Let v(z) = 306*z**2 - 6*z + 101. Does 73 divide v(8)?
True
Suppose -3*a + u + 13 = 0, 7 + 3 = -2*a - 4*u. Suppose -3428 = -4*g + s, a*s = 4*g - 2618 - 810. Is g a multiple of 63?
False
Let z(i) = 8*i + 23 - 3 - 3 + 13. Let d be z(-6). Let f = d - -44. Is 4 a factor of f?
False
Let i = -62 + 68. Suppose -5 - 19 = -i*l. Suppose -3*o + 117 = -h, l*h - 212 = -2*o - 3*o. Does 15 divide o?
False
Let d = 2164 + 126. Is d a multiple of 14?
False
Let z(t) = -2*t**2 - 29*t - 11. Let j(l) = 2*l**2 + 19*l + 10. Let f be j(-8). Let c be z(f). Does 21 divide c - (2231/(-11) + 12/(-66))?
False
Let w(q) = -291*q - 1350. Is w(-15) a multiple of 89?
False
Suppose -2 - 18 = -4*f. Suppose -f*h + 0*h + 2252 = s, -h + 460 = 5*s. Does 30 divide h?
True
Is ((-6315)/(-9))/(8 - (-6227)/(-2340)*3) a multiple of 100?
True
Suppose 3*x + 164*f - 163*f = 44140, 14748 = x - 4*f. Does 52 divide x?
True
Let p = -21690 + 34539. Is p a multiple of 32?
False
Let o(l) = l**2 - l - 6. Let v be ((-16)/14)/2 - 234/(-42). Is o(v) a multiple of 6?
False
Let g be (8 + -8)/(-5)*(0 + 1). Does 2 divide (392/7 - 0) + g?
True
Let g = -67 - -73. Let l(j) = 12 - 67*j + g - 6 + 13. Is 42 a factor of l(-4)?
False
Let z(w) = -14*w**2 + 4*w + 8. Let s be z(-2). Let a = 131 + s. Is 15 a factor of a?
True
Let b = 20 - 23. Let o be b/((-18)/(-15))*(-46)/1. Suppose 249 = 4*q - 4*f + 25, o = 2*q - f. Is 13 a factor of q?
False
Let c(k) = 72*k - 3. Is 51 a factor of c(5)?
True
Let x = -197 - -148. Is 52 a factor of 202 + x/((-49)/(-7))?
False
Suppose -19*v + 28042 = -2396. Let c = v + -977. Is c a multiple of 51?
False
Suppose 166*o = 176*o - 120. Suppose 15*p - 90 = o*p. Does 12 divide p?
False
Let d(x) = 12*x - 4. Let m be d(2). Let y be 0 + 41/5 - m/100. Suppose -6*j = -100 - y. Is j a multiple of 6?
True
Let j(v) = -v**3 + 2*v**2 - 4*v + 3. Let l be j(0). Is 16 a factor of (-233 + 2)/(l/(-4))?
False
Let v(a) = -7*a + 57. Let q be v(-6). Let c = -76 + q. Is 14 a factor of (-5 - -4)*c*-3?
False
Let i be (0 - 1)*(-4685 + 14) - 3. Is 37 a factor of i/42 + 1/(-7)?
True
Let o = -727 + 876. Let x = o + 227. Is 8 a factor of x?
True
Let s = -309 - -301. Let r(o) be the second derivative of o**4/3 + 3*o**3 - 2*o**2 + 2*o. Does 27 divide r(s)?
True
Let u(h) = 2*h**2 - 58*h + 612. Is u(21) a multiple of 39?
False
Let y(z) = -3992*z - 213. Is y(-2) a multiple of 6?
False
Let t = 4009 + -391. Is t a multiple of 18?
True
Suppose 130*i - 512 - 29635 = 156923. Is i a multiple of 6?
False
Suppose 5*b + 471 = -4*y + 2*b, 0 = 2*y + 2*b + 238. Let s = y - -228. Does 6 divide s?
True
Suppose 23*x = 17*x - 2262. Let g = 543 - x. Suppose -1210 = -4*l + q + q, -g = -3*l + 4*q. Is 15 a factor of l?
True
Suppose 3*a = -3*d + 12750, -12750 = 417*d - 420*d + 3*a. Is 10 a factor of d?
True
Let p be -1 + (1 - (3 + -2)) - -3. Suppose -356 = -2*v - 4*d, -p*v + 4*d - 84 = -448. Is 12 a factor of v?
True
Suppose -8863 = -7*w + 23778. Suppose -27*i = -w - 7379. Is 22 a factor of i?
False
Suppose 11392 = -17*r + 112831. Does 39 divide r?
True
Let v(r) = -82*r - 271. Is v(-10) a multiple of 8?
False
Let w be (-125)/((1 + 1)/(-16)). Let v = w - 520. Suppose 15*q = 11*q + v. Does 15 divide q?
True
Let j(h) = -743*h + 1565. Is j(-10) a multiple of 30?
False
Is 65 a factor of 1336 + (0 + 7)*(-8)/(-28)?
False
Suppose -25*t + 8*t = -4882 - 33691. Is t a multiple of 29?
False
Let g = 4504 - -6141. Is 67 a factor of g?
False
Suppose 8*w + 198450 = 53*w. Is 30 a factor of w?
True
Suppose 0 = -2*p + 5*g + 14040, -3*p - 14*g + 21110 = -9*g. Does 7 divide p?
False
Suppose -4*b + 6*g + 1125 = -11525, 4*g = 4*b - 12652. Does 90 divide b?
False
Suppose 2*u = -4*i + 296, -5*u - 5*i + 957 = 222. Suppose 614 = 5*j + p, 0 = 2*j + 2*j + 5*p - 508. Let m = u - j. Is 3 a factor of m?
True
Let v be (-38)/209 + (2462/(-11) - 2). Is 2 a factor of 1 + -5 - -6 - (-1 + v)?
False
Suppose -2*a + 7*a - 1680 = 0. Suppose a = 4*o - c, -157 = -2*o + c + 11. Is 3 a factor of o?
True
Let r = 1819 + -1245. Let m = r + -434. Does 14 divide m?
True
Suppose 0 = -28*q + 14822 - 9469 + 19203. Is q a multiple of 22?
False
Let n(h) be the first derivative of h**3/3 - 3*h**2/2 + 461*h + 313. Is 89 a factor of n(0)?
False
Let q(s) = -2*s**3 - s**2 - 10*s - 22. Let l be q(-2). Suppose -l*b = -826 - 474. Does 2 divide b?
True
Let z(t) = 65*t + 100. Let r be z(-5). Let n = -144 - r. Is n a multiple of 8?
False
Let u be (-8000)/(-16) - ((-3 - -2) + -2). Let h = 610 - u. Does 8 divide h?
False
Let x(f) = f**2 + 15*f - 65. Let q be x(-18). Suppose 0 = -4*y + 5*m + 28, 5*m + 18 = -2. Is 11 a factor of 884/22 + y/q?
False
Suppose -4*p + 497 = 3*p. Suppose -128*l - p = -129*l. Let i = l - -4. Does 15 divide i?
True
Suppose 1254789 - 580515 = 125*d - 1267976. Does 35 divide d?
False
Let g(z) = 36*z**3 + 2*z**2 - 8*z + 5. Is 70 a factor of g(5)?
False
Let v(h) = h**2 + 10*h + 14. Let r be v(-7). Let b(a) = -27*a - 111. Is b(r) a multiple of 13?
True
Let o = -302 - -122. Suppose -g - 37 - 222 = 0. Let r = o - g. Does 14 divide r?
False
Let y = -501 - -354. Let w = y + 273. Does 11 divide w?
False
Let i(a) = -162 - 64 + 12 + 29*a + 6 + 2. Is 30 a factor of i(9)?
False
Suppose -7*m = -17*m + 190. Suppose 0 = 17*o - m*o + 116. Does 22 divide o?
False
Let p(l) = -11*l**3 - 3*l**2 - 2*l - 4. Let x be p(-2). Suppose -3383 - x = -3*v. Does 78 divide v?
False
Let d(b) = 10*b**3 - 2*b**2 - 2*b + 2. Let r be d(2). Suppose -11 = -7*c + 171. Suppose 5*u - r - 34 = -2*z, 4*u = z - c. Is 7 a factor of z?
True
Suppose 72*b + 1000 = 74*b. Suppose -23 = -3*o - 4*i, 3*o - 3*i = -2*i + 13. Suppose -4*d = -o*r + 1201, -5*r - 4*d = -1709 + b. Does 26 divide r?
False
Let v be (-3)/(-9)*54/9. Suppose -k - 5*s + 12 = 0, -3*s = -v*s + 1. Does 14 divide k?
False
Let u(y) = -y**2 + 8*y + 53. Let f be u(-5). Let g = 102 - f. Does 8 divide g?
False
Suppose -l = 5*q - 7981, 74*l - 69*l + 20 = 0. Is q a multiple of 5?
False
Let b be (-3)/2*(-8)/6. Let h(t) = 11*t**3 - 4*t**2 + 3*t - 2. Let d be h(b). Let u = 227 - d. Is u a multiple of 12?
False
Suppose 8*j - r - 33112 = 8583, 21 = -3*r. Does 9 divide j?
True
Suppose 232 = -2*k + 1688. Suppose -7*o + k = -350. Let a = -58 + o. Does 24 divide a?
True
Suppose -3402*d + 823935 = -3353*d. Does 27 divide d?
False
Let n = 47 + -45. Suppose n*w = -2, 0 = 3*x + 5*w - 7 - 6. Suppose 0 = -j + 91 - x. Does 4 divide j?
False
Suppose 199*t = 291*t + 355*t - 7935144. Is t a multiple of 89?
False
Let v = -56 + 49. Let c be 5*((-6)/(-4) - v/(-10)). Suppose -5*u + w = -0*u - 260, 0 = -4*u - c*w + 184. Is 34 a factor of u?
False
Suppose -4053 - 2091 = -3*p - h, -10224 = -5*p + h. Does 15 divide p?
False
Suppose -2*j + 20 = 28. Let l(p) = 19*p**2 - p + 2. Let n be l(j). Suppose 42*w + n = 47*w. Is 31 a factor of w?
True
Let g be ((-459)/255)/((2/(-70))/1). Let t be (-100)/3*g/(-42). Suppose 4*z - t - 87 = 3*q, -108 = -3*z + 4*q. Does 8 divide z?
True
Let s(n) be the second derivative of -n**4/12 - 4*n**3/3 - 7*n**2 + 4*n + 2. Let o be s(-14). Let m = 168 + o. Is m a multiple of 35?
True
Suppose 3*r = -5*s + 27, -s + 3 + 4 = r. Let y(d) = 6*d + 7. Let j be y(s). Let p = j + -11. Is p a multiple of 14?
True
Let t = 999 + -360. Let u = 215 + t. Is 61 a factor of u?
True
Let o be 2183/2 + 309/(-206). Suppose -4*j = c - 476, -o = -5*c - 3*j + 1222. Does 6 divide c?
False
Let u = 5004 - -456. Does 10 divide u?
True
Let d(p) = p**3 + 3*p**2 - 21*p - 114. Let h be d(-5). Let f be (-2292)/14 + (-18)/63. Let c = h - f. Is 10 a factor of c?
False
Suppose 4*q + 15 = q. Does 9 divide 4/18 + ((-154380)/54)/q?
False
Let p be -6 - (-1)/((-2)/(-4)). Let g(t) = -5*t**3 + 9*t**2 + 16*t. Is 16 a factor of g(p)?
True
Suppose 23058 + 14967 = 25*l. Is 56 a factor of l?
False
Is (-2 - -2310 - 1) + -12 a multiple of 15?
True
Let t(g) = 580*g + 8712. I