ctor of d(-1)?
True
Let g be (-10 - -2)/(5 - 6). Let h(u) = -u**3 + 7*u**2 + 7*u + 2. Let f be h(g). Let k = f + 27. Does 7 divide k?
True
Let p = 550 + -310. Is p a multiple of 24?
True
Suppose 72 + 30 = 6*l. Does 17 divide l?
True
Let w be (0 - -2)*-1 + -7. Is 19 a factor of -4 - -39 - w/3?
True
Let x(m) = -6*m**3 + m**2 - 6*m - 7. Is x(-2) a multiple of 48?
False
Let l be ((-1 - -2)/(-1))/(-1). Suppose -3*c - l + 10 = 0. Suppose -9 + c = -3*j. Does 2 divide j?
True
Does 17 divide 36/(4 + (-42)/9 - -1)?
False
Suppose 6*s - 7*s + 6 = 0. Does 4 divide s?
False
Suppose 0 = a + 3*a - 32. Suppose a*x - 20 = 6*x. Is 10 a factor of x?
True
Let z(w) = w**2 + 10*w - 5. Let j(m) = m**2 + 10*m - 4. Let a(l) = 4*j(l) - 5*z(l). Does 15 divide a(-7)?
True
Suppose -3*n = 4*s - 127, -3*n + 59 = -0*s + 2*s. Suppose 3*p + 2*o - 49 = 6*o, s = 2*p - 3*o. Suppose p = z + 3*y, y = -z - y + 10. Does 5 divide z?
False
Does 49 divide (1/(3 + -4))/((-3)/441)?
True
Let g(y) = 32*y - 13. Is g(2) a multiple of 6?
False
Let w be 28 + (1 + 1 - -2). Suppose q - w = -3*q. Is 3 a factor of q?
False
Let q(p) = -p**3 + 0*p + 2*p - 4 - p**2 + 5*p**2. Let g be q(4). Suppose g*t = 3*i + 31, 5*t + 2*i + 0*i - 33 = 0. Is 7 a factor of t?
True
Suppose j + 26 = -u - 2*u, 2*u + 8 = 4*j. Suppose -4*x - 3*t = -51, t - 62 = -4*x - 13. Let y = x + u. Does 2 divide y?
True
Let r be ((-1)/(-1))/1*0. Suppose 5*l + 80 = 2*y, y - 3*l - 40 = -5*l. Suppose -5*m + 6*m - y = r. Is 20 a factor of m?
True
Suppose 0 + 4 = -p. Is ((-26)/8)/(1/p) a multiple of 11?
False
Suppose -8*u + 6*u = -46. Let i = u + -17. Is 2 a factor of i?
True
Let u be (-1)/((-4)/6 + 1). Let h be (-2)/(-6) - 17/u. Suppose 3*m - h*m = -27. Is 9 a factor of m?
True
Let b(g) = g**2 + 3*g - 1. Let k be b(-4). Suppose -k*q + q + 44 = 0. Is q a multiple of 15?
False
Let h(l) = l**3 + 5*l**2 + l + 5. Let a be h(-5). Suppose a = -3*f + 6*f - 36. Is 6 a factor of f?
True
Let m(j) = -j**3 - 9*j**2 + 21*j + 10. Let s be m(-15). Is (2/(-5))/((-11)/s) a multiple of 19?
True
Suppose 0 = 2*v - 6*v + 188. Is v a multiple of 9?
False
Does 3 divide 85/4 + (-65)/20 + 3?
True
Suppose 3*p + 4*w - 14 = -5, 3*w - 7 = -2*p. Let q = 4 + p. Suppose 5*z - 4*v - 32 = 3*z, -q*v - 54 = -3*z. Is 10 a factor of z?
True
Let f(m) = m**2 - 4*m - 5. Let j be f(4). Let v(z) be the second derivative of z**5/20 + 2*z**4/3 + z**3 - 3*z**2/2 + z. Is v(j) a multiple of 19?
False
Suppose 0*t + t + 4*a = 12, -5 = -a. Is t/(3/(-2 - 16)) a multiple of 24?
True
Is 5*3*-6*10/(-6) a multiple of 6?
True
Let v(s) = s + 3. Let x be v(3). Suppose -o + x*o - 620 = 0. Let q = -82 + o. Is q a multiple of 24?
False
Suppose -3*n + 6*v - 2*v + 4 = 0, n + 5*v = -24. Let o be (7/3)/((-2)/(-18)). Let j = o - n. Does 13 divide j?
False
Let d = 38 + 21. Is d a multiple of 13?
False
Let f(z) = z**2 - 1 + 5*z + z + 0*z. Let q be f(-6). Is (4/(-8))/(q/14) a multiple of 5?
False
Let t(g) = -g**3 + g**2 + g + 4. Let d be 3 - -3 - (0 + 2). Let l be 0*(1 - 2/d). Does 3 divide t(l)?
False
Let x(v) be the first derivative of v**3/3 + 7*v**2/2 - 5*v + 3. Let t be x(-8). Suppose -71 = -t*y - 2. Is 8 a factor of y?
False
Let q be (103 + -7)/(0 - 1). Let z = -57 - q. Is z/3 + 2/(-2) a multiple of 4?
True
Let s(u) = -u**3 + 7*u**2 - 12. Let x(m) = m**3 - 6*m**2 - m + 11. Let p(l) = 5*s(l) + 6*x(l). Is 10 a factor of p(4)?
True
Suppose -10*g = 6*g - 1696. Does 40 divide g?
False
Suppose 2*i - 261 = -o, 4*o - 519 = -4*i + o. Let m = -86 + i. Does 28 divide m?
False
Let g(q) = 129*q - 2. Does 7 divide g(1)?
False
Let c(y) = -3*y**2 + 8. Let d(p) = -p**2 + p. Let k(o) = c(o) - 4*d(o). Let m = 3 - -3. Does 10 divide k(m)?
True
Let m(w) = w**2 - 11*w - 10. Suppose -5*o + 27 = 3*s, 2*o - 29 = -5*s + 35. Does 7 divide m(s)?
False
Let k(o) = o**2 + 4*o. Let s be k(-4). Suppose -3*n + u + 54 = s, n + 4*u - 9 = -4. Does 10 divide n?
False
Let l(p) = -2*p - 2. Let d(i) = -i**2 + 2. Let h be d(2). Let q be l(h). Suppose 2*n = -6, 7*n = 3*c + q*n - 24. Does 3 divide c?
True
Let i = 4 - -2. Let j be (i/(-9))/((-2)/6). Suppose -j = -2*x + 26. Does 10 divide x?
False
Suppose -5*k - l - 44 = -434, -156 = -2*k + 5*l. Does 36 divide k?
False
Let d be 7*(2 + -4 - -1). Let h = d + 29. Let o = h - 11. Does 11 divide o?
True
Is 4/(-44)*-2 - (-9104)/22 a multiple of 18?
True
Suppose -30 - 52 = -o + 5*a, 4*o + 2*a - 218 = 0. Is o a multiple of 49?
False
Suppose -3*o - 4*h + 67 = -61, 0 = 3*o - h - 148. Is o a multiple of 24?
True
Is 15 a factor of (-1)/((-484)/120 + 4)?
True
Suppose 4*n - u - 584 = 0, 4*n - 4*u = u + 568. Suppose 2*b - n = y, 3*b - 2*y - 225 = y. Is 18 a factor of b?
True
Suppose 10 = 2*s + 4. Let f = 12 + -3. Suppose 6 = s*d + g, 2*d + f = -0*d - 5*g. Is d even?
False
Let q(g) = 4*g - 6. Suppose 2*t + 2 = 0, w - 3*w = -3*t - 13. Let f be q(w). Is (2 + (-3)/2)*f a multiple of 2?
False
Suppose -6*b + 8 = -2*b. Let v be ((-28)/(-8))/((-1)/b). Is (-195)/(-21) + 2/v a multiple of 9?
True
Let s = -1 + 5. Let z(y) = 7*y - 3*y + 5*y - y. Is z(s) a multiple of 16?
True
Suppose -5*a - 5*z + 925 = 0, 5*z + 515 = 2*a + a. Let p = -9 - -12. Suppose a = 5*l - 5*q, 2*q - p*q = -3*l + 106. Does 13 divide l?
False
Is 17 a factor of (-371)/(-7) + (-2)/1?
True
Let n = 6 + 2. Let q = -5 + n. Is 6 a factor of (1 - q*-1)*3?
True
Let q = 7 - 11. Is 2 + 4/(-2) - q a multiple of 4?
True
Is 47 a factor of 8/10 - 4380/(-25)?
False
Let u = 33 - 15. Is 3 a factor of u?
True
Suppose 0 = -3*w + w. Suppose -4*o + 179 - 67 = w. Is o a multiple of 14?
True
Let n be 2/(-3) + (-4)/(-6). Suppose o - 151 - 25 = n. Suppose -y - o = -5*y. Is 18 a factor of y?
False
Let z(r) = -10*r**2 + 4*r + 2. Let w be z(-3). Does 6 divide (-4)/6 + w/(-15)?
True
Suppose -r - 32 = r. Let i = -6 - r. Let x(f) = f**2 - 6*f + 1. Is x(i) a multiple of 12?
False
Suppose -g - 5*m + 26 = -25, -77 = -2*g - 5*m. Is g a multiple of 13?
True
Let v(b) = 3*b**3 + b**3 + 2*b + 4*b**2 - 3*b**3. Let o be v(-4). Let i = o + 24. Does 15 divide i?
False
Let x(w) = -6*w + 4. Does 14 divide x(-4)?
True
Suppose 0 = -h + 5*k + 45, -2*h - 3*k = h - 153. Let r = h + -30. Is 10 a factor of r?
True
Let c = -9 - -16. Does 2 divide c?
False
Let r = -35 + 38. Is r a multiple of 2?
False
Suppose 0*v - 90 = -5*s - 4*v, s - 19 = -v. Suppose r - s = -0*r. Is r a multiple of 7?
True
Let h(q) = -12*q + 3. Let a(l) = -l**3 + 4*l**2 + 3. Let j be a(4). Let m(t) = -t**2 + 4. Let g be m(j). Is 21 a factor of h(g)?
True
Let d(z) = 4*z + 4. Let u be d(5). Let o = u + -12. Does 12 divide o?
True
Suppose 2*q - 4*q = -3*z + 5, 2*z - 5*q + 4 = 0. Let g be 6/18 + (-1)/3. Suppose g*i + z*i = 54. Does 18 divide i?
True
Let r(d) = d**3 + 6*d**2 + 3*d - 5. Let f be r(-5). Suppose -5 = -f*v + 110. Is 23 a factor of v?
True
Suppose -l + 5*d = -18, -5*d - 56 = 5*l - 266. Let s = 23 - l. Let i = -3 - s. Is i a multiple of 12?
True
Let j be 1/(2*(-3)/6). Suppose 2 = 4*z - 6. Does 5 divide 14*z/4 + j?
False
Let b(j) = j**3 - 9*j**2 - 9*j + 15. Suppose -33 = -4*y + 7. Let l be b(y). Suppose 0 = 2*g + 3*z - 17, -5*g + z + 43 = -l. Is g a multiple of 9?
False
Let x = -9 + 7. Let p = 8 + x. Does 6 divide p?
True
Let m(y) be the third derivative of 1/3*y**3 + 0 + 1/120*y**6 + 2*y**2 - 3/8*y**4 + 0*y - 1/15*y**5. Is 10 a factor of m(6)?
True
Let z(w) = -w**2 - 2 + 4*w - w**3 - 5*w + 0*w**2 - 4*w**2. Let v be z(-5). Suppose a - v*h = 2*a - 51, 0 = -5*a + h + 255. Is a a multiple of 22?
False
Suppose -2*u = -12 - 2. Does 18 divide ((-6)/u)/((-19)/399)?
True
Let t(b) = -b**3 - 11*b**2 + 15*b + 15. Let a be t(-13). Suppose 5*o + p = 3*p + a, -3*o + p = -94. Does 10 divide o?
True
Let n = -9 - -4. Is (6/(-6))/(1/n) a multiple of 3?
False
Suppose 0 = -6*s - 51 + 291. Is s a multiple of 9?
False
Let o(c) = 17*c**3 - c**2 + c - 1. Suppose 0*d = 4*d - 4. Is o(d) a multiple of 8?
True
Let b(a) = a + 15. Let p be b(-12). Suppose 44 = p*g - 58. Does 17 divide g?
True
Let k(g) be the second derivative of -19*g**5/20 + 2*g. Does 7 divide k(-1)?
False
Suppose 2*g - 54 = -7*g. Is g even?
True
Let b = -52 - -52. Let n(o) = 1 - 2 + o + 3. Is n(b) a multiple of 2?
True
Suppose 2*o + 60 = 7*o. Let c(v) = v**2 - 10*v - 10. Does 14 divide c(o)?
True
Let v be (-4)/(-16) + (-14)/(-8). Suppose -v*m + 22 = -6. Does 7 divide m?
True
Let d = 7 + -13