 = -2*z. Is 14 a factor of z?
True
Is 4/(4 - -1 - (-215)/(-45)) a multiple of 18?
True
Let s(j) = 332*j**3 - j**2 - 2*j. Let p be s(-1). Let t = p - -527. Suppose -t = -6*g + 2*g. Does 17 divide g?
False
Suppose 107*f - 33*f = 294890. Does 51 divide f?
False
Let u(a) be the second derivative of 35*a**4/4 + a**3/3 + a**2 + 7*a. Let o be u(-2). Does 13 divide o/18 + 12/(-54)?
False
Suppose -2*w = 3*f - 2068, f - 4*f - 2092 = -2*w. Does 47 divide w?
False
Suppose 0 = 10*l - 14*l + 1908. Is l a multiple of 53?
True
Let i = -506 + 1052. Is i a multiple of 39?
True
Let n be 3/(-1) - (-24)/3. Suppose -34 = 6*d - n*d. Let t = d + 64. Is 15 a factor of t?
True
Let q(o) = -3*o**3 + o**2. Let t be q(-1). Let l = t - -1. Suppose 2*b - 46 = 3*c, -77 = -l*b + 2*c - 4*c. Is 9 a factor of b?
False
Suppose -7*n = 5*n - 96. Let v(j) = 9*j - 35. Is v(n) a multiple of 5?
False
Let s be 65/20 - (-3)/(-12). Suppose 2*r - 6 = -2*h, s*h - 5 = -5*r + 6. Suppose 5*b - l = 124, h*b - 60 = -5*l + 8*l. Is b a multiple of 12?
True
Is 73 a factor of (-4380)/(-6)*8/64*4?
True
Let z(u) = -1. Let p(r) = -r**2 - 3. Let x(k) = -2*p(k) + 9*z(k). Is 5 a factor of x(-2)?
True
Let i(c) = 197*c**3 - 2*c**2 + 1. Is i(1) a multiple of 14?
True
Let t = -1559 - -2421. Does 6 divide t?
False
Suppose 1930 = 5*n + 4*t, n - 2*t - 394 + 22 = 0. Is 3 a factor of n?
False
Let g = 1494 - 1008. Suppose -z - 2*q - 660 = 3*z, 3*z + g = 3*q. Let r = -109 - z. Is r a multiple of 26?
False
Let y(j) = -j**2 + 17*j - 2. Let k(q) be the second derivative of q**3/3 + 4*q**2 + 3*q. Let h be k(4). Is y(h) a multiple of 3?
False
Let k = 540 - 385. Suppose -j = 4, -633 = -7*q + 2*q + 2*j. Suppose -q = -4*c + k. Is c a multiple of 14?
True
Let q be 1/((2 + -5)*3/(-27)). Suppose 0 = -5*r, r = -4*h + q*r + 224. Is 54 a factor of h?
False
Let j = -168 + 654. Does 18 divide j?
True
Let i(y) be the first derivative of -2 + 10*y - 1/4*y**4 + 4*y**2 + 2*y**3. Is i(7) a multiple of 10?
False
Suppose -5*d - n - 8 = -22, 3*n - 14 = -d. Suppose -2*v - 3*v - d*o = -11, 0 = -4*v + o + 14. Suppose 2*q + 368 = -3*s + 8*s, -s + 77 = v*q. Does 18 divide s?
False
Suppose -36*i + 592 = -20*i. Is i a multiple of 37?
True
Let d(l) be the second derivative of -l**3/6 + 8*l**2 + 5*l. Let t = -8 - -8. Does 6 divide d(t)?
False
Let k = -464 + 479. Is k a multiple of 2?
False
Let a be (2/(-5))/(4/(-20)). Let d(i) = -i**3 + 4*i**2 - 4*i + 3. Let s be d(a). Suppose -s*b + 129 = 39. Does 30 divide b?
True
Let o be 5/(-10)*(0 + -6). Suppose j = o*f, 0*f = f - j. Let y = f + 80. Is 20 a factor of y?
True
Let s = -10 - -12. Let o(h) = -s + 6*h**3 - 5*h**2 + 3 + h + h**3 + 3*h**2. Does 20 divide o(2)?
False
Suppose 4*r + 5*f + 9 = 0, -5*r = -0*r - 5*f. Let l = 6 + r. Suppose l*w - 15 = 45. Is 9 a factor of w?
False
Let r(q) = q**3 + 10*q**2 + 13*q + 9. Suppose -4*t + 6*t = 8. Suppose -2*k + 12 = -2*l, -2*l = -l - t*k. Does 18 divide r(l)?
False
Let f be 3 + 0 + (-14 - -17). Is 23 a factor of 1498/f - (-18)/(-27)?
False
Suppose 0 = -y - 0*y + 4*a - 2, -3*y + a = -5. Suppose q + 3*w - 103 = -q, 0 = -5*w - 25. Let x = q - y. Is 19 a factor of x?
True
Suppose 0 = 4*n + 2*n. Suppose n = -3*g - g - 3*u + 345, -2*g + 185 = -u. Does 16 divide g?
False
Suppose -a - 5*g + 573 + 605 = 0, 3*a + 2*g - 3586 = 0. Is 16 a factor of a?
False
Suppose 7*o - 3*o = 0. Suppose q - 4 = -o. Suppose 0 = -q*d - 4, 29 = 2*j + 2*j + 3*d. Is j a multiple of 4?
True
Let f(l) = -l**3 - 11*l**2 + 9. Let x(h) = -5*h**2 + 28*h + 1. Let p be x(6). Does 9 divide f(p)?
True
Suppose p = -4*p + 15. Suppose p*i = 2*w - w - 8, 4*w - 3*i - 14 = 0. Suppose 0 = 5*f - g - 636, 4*f - 392 = f - w*g. Does 37 divide f?
False
Let p = 33 + -29. Suppose 0 = 3*c + 2*m - 35, -2*c - 12 + 62 = -p*m. Is c a multiple of 15?
True
Let m(d) = 44*d - 249. Is m(27) a multiple of 51?
False
Let h = -411 + 901. Suppose -b = -5*y - 98, -3*y + 4*y + h = 5*b. Is b a multiple of 49?
True
Suppose -u = 5*n - 21, -5 = -3*u + 5*n - 22. Is 14 a factor of (-66 + 9)/(-2 + u)?
False
Let v = 1085 - 677. Is 19 a factor of v?
False
Let y be 2/(-4) + (-42)/(-12). Suppose -2*u = 4*f - y*f - 105, 0 = -4*u - 20. Is 13 a factor of f?
False
Is 138 a factor of 16/14 + (-28964)/(-14)?
True
Let u(h) be the first derivative of -h**4/4 + 11*h**3/3 + 6*h**2 + 7*h - 18. Does 2 divide u(12)?
False
Let m(x) = 7 - 2 + 3*x**2 - 6*x + 7. Is m(3) a multiple of 21?
True
Suppose 3*f + 0*f = 6, 293 = b - 5*f. Suppose -3*j + 321 = -b. Is j a multiple of 13?
True
Let j(a) = a**2 + 3*a - 2. Let w be j(-3). Let x = -60 - -39. Is (9/w)/(x/28) a multiple of 6?
True
Let x(u) = u**2 - 2*u - 3. Let i(r) = -r + 3*r + 0 - 5*r - 1. Let m be i(-2). Does 12 divide x(m)?
True
Suppose -5*t + 7*t = -152. Let l = t + -58. Let r = l + 189. Is r a multiple of 17?
False
Suppose -i = 4*i - 1210. Let s = -117 + i. Does 25 divide s?
True
Let w(h) = 74*h**3 + 2*h**2 - 1. Let q be w(1). Let g = -44 + 48. Suppose q = g*k - k. Does 9 divide k?
False
Let l(p) = 2*p**2 - 5*p + 7. Let y be l(5). Suppose -4*x = -4*m + 352, x = -m + 56 + y. Is m a multiple of 14?
False
Let o = -1947 - -2731. Is o a multiple of 16?
True
Let t be (-84)/(4/(-8) - 0). Suppose -5*d + t = -117. Let m = 107 - d. Is 13 a factor of m?
False
Let k be (-8)/(-28) - 4/14. Let c be 2/(8/292) - k. Suppose 4*d - 5*o = c, -d - 4*o + 13 = -0*d. Does 17 divide d?
True
Is 3 a factor of (3 + 10/4)/(2/4)?
False
Let i(l) = 26*l + 331. Is 11 a factor of i(2)?
False
Suppose -2061 = -2*i - 387. Suppose -i = -12*f + 483. Is f a multiple of 47?
False
Let n(g) = 19*g**2 - g. Let q(h) = -h + 15. Let u be q(12). Suppose u = -f + 4. Is 7 a factor of n(f)?
False
Let i(a) be the second derivative of 0 + 5/6*a**3 - 7/2*a**2 - 2*a. Is 9 a factor of i(5)?
True
Suppose 5*a - 366 = -941. Let z = a - -325. Is 14 a factor of z?
True
Let o(l) = -82*l - 2. Let m be o(-4). Suppose 0 = -4*x + 16, -4*c + 146 + m = x. Suppose 3*k - 321 + c = 0. Is 34 a factor of k?
True
Is 78 a factor of 3/(-3 - -12) - (-2920)/15?
False
Let v = 563 + -396. Suppose 0 = 3*i - 49 - v. Does 31 divide i?
False
Let l be 6 + 0 + (3 - 4). Is l/((-15)/9) + 13 a multiple of 5?
True
Let r(g) = g**3 + g**2 - 2*g - 6. Let x be (3 + (-45)/12)*-4. Let z be r(x). Does 12 divide ((-171)/(-36))/(3/z)?
False
Is 6*(5 - 86/18)*18 a multiple of 6?
True
Does 7 divide (24/(-240) - 1701/(-10)) + 5?
True
Let w be 1071/4 + 1/4 - -2. Suppose 7*y - 24 - w = 0. Is y a multiple of 42?
True
Let r be 2120/(-15)*12/2. Let h = -498 - r. Is h a multiple of 14?
True
Let d be (-2)/(-18) - 2/18. Suppose d = 5*y - 865 + 135. Is y a multiple of 11?
False
Let m = 2696 + -1913. Is m a multiple of 12?
False
Let r(g) = g**3 - 28*g**2 - 22*g - 153. Is r(30) a multiple of 9?
False
Let m be ((-9)/2)/((-2)/4). Let y(o) = o**2 - 19*o - 51. Let j be y(22). Let c = m + j. Is c a multiple of 24?
True
Let g(h) = h**2 + h + 8. Let n be g(0). Is (-28)/n*-20 - -2 a multiple of 24?
True
Let m = 378 + -78. Does 15 divide m?
True
Suppose 0 = d - 3*x - 124, d - 5*x - 134 = -0*d. Suppose 635 + d = 3*a. Is 62 a factor of a?
True
Let z = 485 - 333. Suppose -34 = -7*v + 2*v + 4*h, 4*h - 14 = -3*v. Suppose 2*o = v*o - z. Is 19 a factor of o?
True
Suppose -15*w + 16 = -7*w. Suppose w*d - 29 = 3*q, 0 = 4*d + 3*q - 114 + 29. Is 19 a factor of d?
True
Let m = 526 + -306. Does 22 divide m?
True
Is (-1)/2 - (-2817)/36*10 a multiple of 32?
False
Suppose -574 - 8498 = -9*w. Does 7 divide w?
True
Let l be (5/((-30)/68))/(4/(-12)). Let v = 29 + l. Is 7 a factor of v?
True
Let r be 11/11 - (-1 - 1). Suppose -x - r*x = -168. Is x a multiple of 7?
True
Suppose -71 = -3*z - 59. Suppose w + 4*x + 1 = 163, -z*x = -3*w + 422. Is w a multiple of 32?
False
Let f = -24 - -33. Suppose -3*w + 246 = -f. Does 29 divide w?
False
Is 49 a factor of (148*20/64)/(4/112)?
False
Suppose 0 = -l + 5*p, -p + 6*p = 5*l. Does 34 divide l/((-3)/3) - -191?
False
Let g(m) = 331*m + 11. Let t be g(1). Is 11 a factor of ((-88)/(-24))/(-2*(-3)/t)?
True
Let r(u) be the third derivative of 13*u**4/24 - 5*u**3/6 + 15*u**2. Is r(5) a multiple of 15?
True
Let n = -27 + 29. Let f(v) = v**3 - 4*v**2 - 5*v - 4. Let d be f(5). Let c = n - d. Is c a multiple of 4?
False
Let s = 6 - 14. Is (-1226)/s + 1/(3 + -7) a multiple of 22?
False
Let s = -12 - -52. Is s a multi