rue
Suppose -4*r - 2*r = 54. Does 8 divide (-3)/r - 264/(-18)?
False
Let f be -4 + 2 + (0 - -5). Is -1*(-38)/2 - f a multiple of 6?
False
Let i(a) = -a**2 - 8*a - 4. Let y = 21 + -13. Let c be 6/(-8)*(y + 0). Is 4 a factor of i(c)?
True
Suppose -2*y + 5*g - g + 20 = 0, 3*y = 2*g + 38. Does 7 divide y?
True
Does 19 divide ((-70)/(-1))/(20/10)?
False
Is (63/(-12))/((-12)/32) a multiple of 14?
True
Let p(h) = -h**3 - 3*h**2 - 2*h + 2. Let w be p(-2). Suppose k + b = -0*k + 14, w*b - 4 = 0. Does 12 divide k?
True
Suppose 6*y - y - 200 = 0. Does 20 divide y?
True
Let x(u) = -16*u - 4. Let v be x(-3). Suppose -2*n - 2 = -v. Is 8 a factor of n?
False
Let m = 15 + -11. Suppose 4*q - 3*i - 2*i - 57 = 0, -5*q - m*i = -20. Is q a multiple of 5?
False
Let w(m) = -m**2 + 8*m - 12. Let q be w(7). Let x(i) = -i**3 + 5*i**2 + 8*i - 4. Let j be x(6). Let h = j + q. Is h even?
False
Let l = 8 - 5. Suppose -2*x + 8 = 0, -37 = -l*j + x + 67. Suppose -z + j = z. Is z a multiple of 9?
True
Suppose -c + 24 = -66. Suppose 4*q = -3*i + 137, -5*q + 2*i = -q - 122. Suppose 2*a - 2*v = q, 0 = 3*a + 2*a + 5*v - c. Is 17 a factor of a?
True
Let y(c) = -c**3 + 9*c**2 - 5*c - 3. Let g be y(8). Does 28 divide (g/12)/(1/48)?
True
Let k(m) = m**2 + 13*m + 5. Does 14 divide k(10)?
False
Suppose 0*v - 48 = -2*v. Let f = 45 - v. Does 21 divide f?
True
Let r(w) = -w**2 - 13*w - 6. Is r(-9) a multiple of 29?
False
Let o(h) be the first derivative of h**3 - 3*h**2 + 7*h - 4. Is o(5) a multiple of 21?
False
Suppose -1 = 2*n - 5. Suppose 3*k = -3, k = 4*f - n*k - 99. Let d = 16 + f. Does 20 divide d?
True
Let n = 21 - 54. Let p = 56 + n. Let z = p - 12. Is z a multiple of 4?
False
Let f = 174 + -269. Let c = f + 150. Is 15 a factor of c?
False
Is 13 a factor of -3 + 77 + 1*4?
True
Let w(d) be the second derivative of -d**5/20 - d**4/6 - d**2 + 5*d. Does 15 divide w(-4)?
True
Suppose -2*i - 308 = -6*i. Suppose 0 = -u - 2, -35 - i = -4*c - 4*u. Is c a multiple of 15?
True
Let y(l) = l**2 - 4. Let i(p) = -p**2 - 7*p - 3. Let t be i(-5). Let r = t + -4. Is y(r) a multiple of 5?
True
Let r(i) = -16*i - 13. Let t(d) = -8*d - 6. Let q(o) = 4*r(o) - 9*t(o). Let p = 11 + -6. Is q(p) a multiple of 18?
False
Suppose -3*f - 6*r + 11 = -r, -2*r = -3*f - 17. Does 11 divide (68/(-3))/(2/f)?
False
Let b be 0/(-2 + -1 + 5). Suppose p + b - 3 = 0. Suppose p*s - 24 = 5*o, -s + 25 = 4*o - 0*o. Is s a multiple of 13?
True
Let x(w) = w + 8. Let q be x(-6). Suppose q*c - 52 = 5*g, -c - 3*g + 68 = 4*c. Is 8 a factor of c?
True
Let l = -9 + -14. Let o = -9 - l. Does 11 divide o?
False
Let w be (0 + 2/(-2))*-676. Let t be w/6 + 2/(-3). Suppose -3*j + 2*c + t = 0, 4*j = -j - 3*c + 155. Is j a multiple of 13?
False
Suppose -2*p + 0*p - 12 = 0. Let f(n) = n**3 + 6*n**2 - n - 3. Let u be f(p). Let h(y) = -y**3 + 6*y**2 - 3*y - 4. Does 7 divide h(u)?
True
Suppose 14*m = -3*m + 4080. Is m a multiple of 24?
True
Let s(x) = x**2 + 13*x + 8. Is s(-14) a multiple of 22?
True
Does 8 divide ((-672)/(-98))/((-1)/(-7))?
True
Let k(t) = -t - 7. Let c be k(-6). Let s(r) = r**3 - r**2 + r + 1. Let u be s(0). Does 4 divide (1 + u - -7) + c?
True
Let o be (-2)/4*53*2. Let b = -23 - o. Suppose i + i - b = 0. Does 13 divide i?
False
Let a(s) be the first derivative of -21*s**2/2 + s + 2. Let y(r) = r**3 + 6*r**2 + 4*r - 6. Let u be y(-5). Does 11 divide a(u)?
True
Let r(k) = 2*k. Let i be r(-1). Let l be (-2 - 2)*i/4. Suppose 0*j + 28 = l*j. Is j a multiple of 6?
False
Does 3 divide 3/((-2)/1 + (-117)/(-45))?
False
Suppose 0 = 4*t + 2*w - 18, 0 = t + 3*w + 2 + 1. Suppose 0 = 5*u + 1 - 16. Is ((-3)/t)/(u/(-114)) a multiple of 6?
False
Suppose -19 = 6*o - 337. Does 12 divide o?
False
Does 9 divide (-16)/(-32) + (-17)/(-2)?
True
Suppose -2*s = -4*f + 182, -s - 2*f + 16 = 87. Let v be 1/(-4) - s/4. Suppose -2*n + 2*b + 22 = 0, 4*n + 2*b - v = 6. Is 8 a factor of n?
True
Suppose -4 = 2*m + 6. Let k(f) = -5*f**2 + 4*f - 12. Let u(h) = 4*h**2 - 5*h + 11. Let v(s) = m*k(s) - 6*u(s). Is 9 a factor of v(-12)?
True
Suppose -s - 4*p + 365 = 4*s, 2*s - 5*p - 179 = 0. Suppose 0*d + 50 = -d. Let r = d + s. Is r a multiple of 13?
False
Let h(i) = i**3 + 8*i**2 - i - 3. Let f be h(-8). Suppose -38 - 2 = -f*b. Let w = 7 + b. Is w a multiple of 15?
True
Suppose -a + 3*a - 5*v = 38, -33 = -5*a - 3*v. Is a a multiple of 9?
True
Suppose 4*m - m = 2*k - 13, 3*m + 4*k - 17 = 0. Let x = -10 + 2. Is (x/20)/(m/55) a multiple of 22?
True
Let d(m) = m**3 - 7*m**2 + 8*m - 3. Let g be d(6). Suppose -191 = -g*n + 4*n + i, i + 74 = 2*n. Is 13 a factor of n?
True
Let x(c) = -c**3 + 9*c**2 + 3*c - 10. Is x(9) a multiple of 7?
False
Suppose 54 = -2*w - 26. Let k be -3 - ((-68)/(-1) + -1). Let y = w - k. Does 15 divide y?
True
Suppose -36 - 21 = 3*a. Let v = a - -50. Is 15 a factor of v?
False
Let n be (-5 - 6/(-2)) + 2. Suppose n = 3*u + 3 - 87. Does 11 divide u?
False
Let d(s) = 12*s**2 - 2*s - 4. Let f be d(3). Let q(h) = 5*h + 1. Let u be q(-1). Is 6 a factor of 1/u - f/(-8)?
True
Suppose 2*l + 358 = 6*l - p, 3*l = 4*p + 262. Is l a multiple of 15?
True
Does 3 divide (1 - -3)/((-44)/(-77))?
False
Suppose 9*q - 210 = 240. Does 50 divide q?
True
Let h = -21 - -36. Let x = h + -11. Does 2 divide x?
True
Let x(w) = 28*w**3 + 2*w**2 - 2*w + 1. Let b be x(1). Let d = -17 + b. Does 5 divide d?
False
Suppose 0 = 5*h + 3*c - 77, -4*h = -0*h - 5*c - 69. Suppose -2*k - 10 = -p, -1 = -p - 5*k + h. Is 3 a factor of p?
True
Suppose -4*h + 32 = -5*h. Let p = h + 50. Is p a multiple of 12?
False
Let r = 23 + -32. Let u = 8 + r. Is 1 - 1/u - -53 a multiple of 22?
False
Let j(d) = d**2 - 3*d - 5. Let a be j(3). Is 5 a factor of a/(1/(-4)*1)?
True
Suppose -3*d + 165 = -159. Is 12 a factor of d?
True
Does 8 divide (-872)/(-12) - (2 - 8/6)?
True
Suppose 0 = 5*y - 126 - 4. Let r be 1*10*1 + 1. Let q = y - r. Does 10 divide q?
False
Suppose 0 = 4*p - 50 - 102. Suppose q - 37 = -5*o, 0 = 4*o - 0*q + 5*q - p. Is 3 a factor of o?
False
Let t = 0 + -2. Let z be 5/3*(t - 1). Let w(r) = r**2 + 2*r - 3. Is w(z) a multiple of 12?
True
Let v be -3 + -6*(0 - 1). Let o be -3*(0 + (1 - 2)). Suppose 0 = -x + v + o. Does 4 divide x?
False
Is 9 a factor of 1/1 + 9 + 3?
False
Let c be (-2 - -3)*1 - -3. Suppose 2*w - 2*d = 2*d + c, 4*w - 3*d - 13 = 0. Is w a multiple of 4?
True
Let r = -87 - -150. Does 9 divide r?
True
Let s be 5/(18/15 + -1). Suppose -1 + s = 2*f. Is 12 a factor of f?
True
Let t(g) be the first derivative of g**3 - 2*g**2 - g + 2. Is 18 a factor of t(5)?
True
Let p be 2/(-1) + 1 + 6. Suppose b = p*a + 19, -6*a + 3*a - 21 = -b. Is b a multiple of 12?
True
Let q be 4/(-18) + (-2)/(-9). Let u(o) = -o + 26. Is u(q) a multiple of 13?
True
Let b(h) be the first derivative of h**4/4 + 5*h**3/3 - h**2 - 6*h - 1. Suppose 0 = 5*k - 3*k + 3*v + 13, -v = -4*k - 19. Is b(k) even?
True
Let t(v) = v**2 - v - 1. Let q(a) = -a**3 - 11*a**2 - a + 10. Let x(y) = -q(y) - 3*t(y). Is x(-7) a multiple of 7?
True
Let t(y) = -6*y**3 - 2*y + 3. Let v(i) = -31*i**3 - 10*i + 16. Let b(j) = -11*t(j) + 2*v(j). Is b(1) a multiple of 2?
False
Is 17 a factor of (-85*3/(-9))/((-2)/(-6))?
True
Is 4 a factor of (1 - 18/14) + (-1876)/(-49)?
False
Let a(f) = -f - 3. Let q be a(-9). Suppose 0*t + 34 = 3*x + 2*t, -2*t - q = -2*x. Is x even?
True
Let t = -4 - -14. Does 4 divide t?
False
Let l = -24 - -75. Is l a multiple of 25?
False
Let g be 188/(-6)*(2 - 5). Suppose 3*x - g = 104. Suppose 4*c - x = -22. Is c a multiple of 7?
False
Let s be (-44)/(-6)*15/10. Is 15 a factor of 321/s + (-8)/44?
False
Let r(p) = -6*p. Does 5 divide r(-5)?
True
Suppose 3*j + 9 = -0*j. Let y(i) = -2*i**3 - i**2 - 3*i - 3. Is 17 a factor of y(j)?
True
Let x be (21/(-14))/((-6)/4). Is (-51 - 2)*-1*x a multiple of 17?
False
Suppose -4*i = -5*i. Suppose i*l + 48 = 3*l. Is 7 a factor of l?
False
Let r = 5 + -19. Let i = r + 30. Is i a multiple of 8?
True
Let r(h) = h**2 - 4. Does 5 divide r(3)?
True
Suppose 3*u - 3*n = 21, 5*n - 23 = -5*u + 12. Let v be (-12)/42 + 30/u. Suppose -43 = -3*b - 5*g, -9 = b + g - v*g. Does 3 divide b?
True
Let m(n) = -n**2 - 4*n + 5. Let v be m(7). Is v/(-5) - 10/25 a multiple of 14?
True
Suppose -s + 4 = -5*g, -5*s + 3*g + 128 = 5*g. Is s a multiple of 10?
False
Let r be -2 - (-43 - (-1 - -2)). Let o = r + -4. Is o a