pose -8*p = -5*t - 5*p + 899, 0 = 4*t + 3*p - 730. Is t a multiple of 13?
False
Is (-21 + 42)*(-2 + 17) even?
False
Let h = 469 - 466. Suppose 4*z - r = 29, 3*r = 3*z + 4*r - 27. Suppose h*j - z*j = -110. Is 22 a factor of j?
True
Is 30250/(-100)*(-6)/5 a multiple of 16?
False
Suppose -c + j + 7 = 4*c, c + 5*j - 17 = 0. Let b(n) = -n + 7*n**c + 0*n - 1 + 3. Does 5 divide b(2)?
False
Suppose -9 = x - 4*x. Let f(r) = r**2 - 6*r + 6. Let v be f(5). Suppose v = g - 2*l, -4 = -g - x*l + 17. Is g a multiple of 8?
False
Suppose -8*l = -25 - 167. Let h = l + 4. Is h a multiple of 7?
True
Let d = 6305 + -4186. Is 32 a factor of d?
False
Let r(k) = 5*k**2 - 4*k - 9. Let y be r(-3). Let p = y - 28. Is p a multiple of 4?
True
Let o(n) = -2*n - 7. Let q(h) = 5*h - 1. Let d be q(-1). Let s be o(d). Let x = 20 - s. Is x a multiple of 5?
True
Let j be (-2)/5 + 112/5. Is (-4 + 6)/(4/j) even?
False
Is (800 - 28) + (-2)/(-2) a multiple of 45?
False
Let n = 393 - -2366. Is 92 a factor of n?
False
Let f be ((-21)/28)/((-1)/(-4)). Let c be (-34)/6 + f/9. Does 2 divide 318/36 - 1/c?
False
Let n(b) = -b - 10. Let o be n(-6). Is 16 a factor of 1*o/2 - (-288 + -14)?
False
Let i(a) = -a**2 + 26*a - 53. Does 40 divide i(19)?
True
Suppose -100*s + 14232 = -20068. Does 28 divide s?
False
Suppose 3*m + 2831 = 5*c + 1004, -m = -3*c + 1097. Is 2 a factor of c/48 + 3/8?
True
Suppose 0*m + 18 = -3*m. Let z = m - -9. Suppose -5*q + w = -82, -z*q + 42 = 3*w - 6*w. Is q a multiple of 3?
False
Let t be 2/4*(-6)/(-3). Let j = 354 + -329. Let u = j + t. Does 5 divide u?
False
Suppose l + 29*k - 1546 = 31*k, 6180 = 4*l - 4*k. Is l a multiple of 52?
False
Let c = 67 - -87. Suppose 0 = 3*o + o + 2*g - 298, 2*o - c = -2*g. Is 9/o + (-910)/(-16) a multiple of 19?
True
Let o(l) be the second derivative of l**4/12 + l**3/6 - 2*l. Let d be (-3)/2 + 162/(-36). Does 6 divide o(d)?
True
Let p = -19 + 274. Is 17 a factor of p?
True
Suppose 5*s + c + 164 = -3*c, 4*c - 156 = 5*s. Let n = 60 + s. Suppose -2*b - n + 106 = 0. Does 13 divide b?
True
Suppose 540 = 2*t - 4*x, -2*x - 1315 = -5*t + x. Is t a multiple of 26?
True
Let v(m) = -m**2 + 13*m + 18. Is 2 a factor of v(10)?
True
Suppose d - 4*f + 7*f - 29 = 0, -4*d + 126 = 2*f. Let o = -6 + d. Is 5 a factor of o?
False
Let h(x) = 6*x + 7. Suppose 3*b + 1 = 5*j, 2*b + 1 = 5*j - 3. Suppose b = g - 2. Does 17 divide h(g)?
False
Let h = -795 - -514. Let v = 437 + h. Is 12 a factor of v?
True
Let x = -51 + 92. Let r = -10 + x. Is 31 a factor of r?
True
Let r(t) = t**3 - 2*t**2 + 2*t - 6. Suppose -5*i + 2 = -13. Let g be (i - 2) + (-2)/(-1). Does 4 divide r(g)?
False
Suppose 0 = 84*m - 83*m - 924. Is m a multiple of 33?
True
Let y = 365 - 246. Is 17 a factor of y?
True
Suppose -2*u = 3*i - 11, -3*i + 4*u = 17 - 4. Let g(q) = -i + 2 - 48*q**2 + 57*q**2. Is g(1) a multiple of 2?
True
Let v(z) = -z**3 - 5*z**2 + 15*z + 24. Does 4 divide v(-8)?
True
Let p be (6 + 13)/((-1)/3). Is (-10)/15*p/2 a multiple of 15?
False
Let t(m) = -240*m + 980. Is t(4) a multiple of 8?
False
Let d(i) = -2*i**2 + 2*i - 5. Let t be d(-5). Suppose 3*b = 2*q + 26, -q + b - 4*b = -5. Let g = q - t. Is g a multiple of 12?
False
Let m = -513 - -779. Is 14 a factor of m?
True
Let o be (12/10)/((-18)/(-60)). Suppose -o*z + 229 = z - 2*g, -4*z + 3*g = -179. Does 10 divide z?
False
Is 46 a factor of 224/(-336) + (-419)/(-3)?
False
Suppose 3*v - n = -2*n + 2, -5*v + 4 = n. Let r = -16 - v. Does 4 divide 146/6 + r/51?
True
Let r be 6/10 - 568/(-20). Let f = 52 - r. Is 14 a factor of f?
False
Let h = -6 - -13. Suppose -10*a + h*a = -294. Is a a multiple of 5?
False
Let k(u) = -u**3 - 10*u**2 + 12*u + 13. Let q be k(-11). Suppose -q*j + 89 = -f, -5*j + 170 = 2*f - 30. Does 14 divide j?
True
Let z(w) = 5*w**2 + 5*w + 2. Let h be z(-7). Let s = h - 105. Suppose -4*r + x = -s, r - 5*r + 5*x = -103. Is r a multiple of 9?
True
Suppose 5842 = 15*h + 1702. Is 23 a factor of h?
True
Suppose -2*p + 12 = i, 5*p - 5*i - 4 = -i. Suppose -2*j = p*y - 9*y + 27, -5*j - 21 = 3*y. Is 5 a factor of 4/j + 92/12?
False
Let i(y) = y - 12. Let g be i(11). Let b be (1/(g/162))/(-1). Suppose -5*o - 3*t + 424 = 0, 0 = -2*o - 5*t - 0*t + b. Does 31 divide o?
False
Suppose -5*t + 0 = 4*w - 2, 6 = 5*t + 2*w. Suppose -q = -z + 83, 5*q = 5*z + t*q - 413. Is 13 a factor of (3/6)/1*z?
False
Does 22 divide -1 + (-1 - (-966)/7)?
False
Let r = 1000 + -1214. Let c be 1*-1*(-4 - -1). Does 12 divide r/(-4) - c/(-6)?
False
Suppose -21*w + 1100 + 5494 = 0. Is 19 a factor of w?
False
Let u = 561 - 543. Is 3 a factor of u?
True
Suppose 7*a - 24 = -10. Suppose -5*z - 5*f = -415 - 145, -574 = -5*z + a*f. Is 19 a factor of z?
True
Let k = 3 + 1. Suppose 3*h - k*t - 21 = 0, 0 = -0*h + 3*h + 2*t - 3. Suppose -h*d = 6, v - 2*v - d = -7. Is v a multiple of 3?
True
Suppose 2*q + 12 = 3*q. Suppose 4*m + 3 = 5*k + q, 3 = -3*k. Is 6 a factor of (-104)/(-4) - (m - -1)?
True
Let g(q) = -q + 4. Let z(r) = 1. Let b(m) = g(m) + 3*z(m). Let i be b(4). Suppose i*k - 61 = -v, 5*v - k - 204 = 69. Is 11 a factor of v?
True
Let s = -492 + 1306. Is s a multiple of 14?
False
Let p = -49 - -52. Is 36 a factor of 142 - (p + (-4 - 1))?
True
Suppose -13*l = 10*l - 3864. Is l a multiple of 3?
True
Let y = 106 + -47. Is 3 a factor of y?
False
Let n be (-621)/(-108) - 6/8. Suppose -t = 2*q - 641, -q - q = n*t - 661. Does 58 divide q?
False
Let o = -13 - -9. Let a be 1/(o/72) + -2. Does 19 divide 8/a + (-486)/(-15)?
False
Let a be (-6 - 1)/(-8 - -7). Suppose -3*l + 19 - a = 0. Suppose u - l*b + 6*b = 16, 2*u - 22 = b. Does 4 divide u?
True
Suppose -3*g + 7140 = 2*o, -253*o = -257*o + 12. Does 8 divide g?
False
Suppose -5*w = -3*l + 218, -4*w + 1 = 5. Let g = l + -49. Is g a multiple of 5?
False
Suppose -2*s - 3*i + 25 = 0, 2*s = 5*s + 4*i - 37. Suppose 74 = s*r - 9*r. Is 6 a factor of r?
False
Let v(a) = a**3 - 4*a**2 + 17*a - 66. Is 6 a factor of v(9)?
True
Let m(s) = -s**3 - 7*s**2 + 7*s + 20. Is m(-9) a multiple of 17?
True
Suppose 12 - 67 = -5*a. Let p = 56 - 49. Suppose -3*w + a + p = 0. Is w a multiple of 3?
True
Let d be (1 - -8) + -4 + 2. Suppose d*x - 2*x - 155 = 0. Let n = 110 - x. Does 41 divide n?
False
Let r be (-2)/(-6) - 248/(-12). Let c = 35 - 3. Let n = c - r. Is n a multiple of 4?
False
Suppose 3*v - 4*y = 5, -8*y - 2 = -2*v - 5*y. Suppose 2*d = -v*d + 2592. Is 16 a factor of d?
True
Let b(a) = 14 - 38*a**3 + 2*a - 10 - 5. Let w be b(1). Let g = w + 62. Does 25 divide g?
True
Let q(v) = -v**3 - v**2 - v + 1. Let d = 24 - 27. Is 9 a factor of q(d)?
False
Suppose j - 2*l = 610, -4*j - l = -0*l - 2413. Does 30 divide j?
False
Let d = -23 - -36. Let u = d + -5. Suppose -5*a - u = n - 0, -3*n + 2*a = -61. Is n a multiple of 13?
False
Suppose m + 4*m + 3*p = 175, 2*m - 86 = 2*p. Let q be (-1)/(-6) + 91/(-42). Let z = q + m. Is z a multiple of 18?
True
Let j = -18 - -36. Let d = 90 - j. Is 8 a factor of d?
True
Suppose -l + 332 = 3*m, 15*l - 989 = 12*l - 2*m. Is l a multiple of 34?
False
Suppose -r = 3*r - 4*t - 52, 6 = 2*r + 3*t. Is r even?
False
Let h(g) = g**3 + 3*g**2 + 2. Let c be h(-3). Suppose -3*p + 7 = -c. Does 3 divide p?
True
Let h(a) = -a**3 + 2*a**2 + 5*a + 1. Let z be h(5). Let j = 96 - 118. Let n = j - z. Is n a multiple of 9?
True
Let b be (5 + -2)/(6/4). Suppose k + b*k = 369. Suppose -3*s + i = -138, -4*s = -s + 4*i - k. Is 15 a factor of s?
True
Let z(r) = -r**3 + 3*r**2 + 6*r - 2. Let b be z(4). Suppose 2*c - b*c + 1040 = 0. Does 12 divide c/(-8)*-2 + 0?
False
Suppose 5*l + 19 = -2*n, -2*l + 6 - 16 = 0. Suppose 26*h - 1011 = 23*h. Suppose -a - n*a - 5*m + 296 = 0, h = 5*a - 2*m. Is 22 a factor of a?
False
Suppose 24*n + 117 = 27*n. Suppose -n*i - 357 = -42*i. Is 17 a factor of i?
True
Suppose 45 = -2*l - 9. Let z = l - -24. Is z - (1 - 36 - -4) a multiple of 4?
True
Suppose 1716 = -108*l + 111*l. Does 33 divide l?
False
Let w(p) = -24*p - 5. Let t be w(-3). Suppose -j + t = 2*i + 2*j, 4*j - 41 = -i. Is i a multiple of 6?
False
Suppose -31*z + 4332 = -70. Does 71 divide z?
True
Let v(j) = -j**2 - 9*j - 5. Let h be v(-8). Suppose h*q + 99 = i - q, i - 3*q - 100 = 0. Is i a multiple of 22?
False
Let t(p) be the second derivative of p**4/12 - 4*p**3/3 - 6*p**2 - 10*p. Is t(-6) a multiple of 9?
True
Suppose 4*k - 26 = -10. Suppose n +