rue
Suppose -1 = -3*d - 4. Let t be (0 - d - 0)*-6. Does 5 divide (-4)/t - (-26)/6?
True
Is 4 a factor of (-2)/(1 + -5)*(23 + 1)?
True
Let n = -2 + -6. Let l(h) = -3*h - 9. Is l(n) a multiple of 7?
False
Let n be 31*(5 - 4) + -2. Suppose 0 = 3*w - 70 - n. Does 11 divide w?
True
Let k(y) be the third derivative of -y**5/60 + 7*y**4/12 - 3*y**2. Does 22 divide k(6)?
False
Suppose -90 = 5*z - 1755. Does 35 divide z?
False
Let i(o) = 48*o - 6. Is i(7) a multiple of 55?
True
Suppose 2 + 22 = -4*c. Let q(b) = b**3 + 7*b**2 + 6*b + 3. Is 2 a factor of q(c)?
False
Let j = 101 + 88. Is j a multiple of 21?
True
Suppose -3 = -2*n + 3*n. Does 16 divide ((-14)/n)/(5/45)?
False
Let o(r) = r**2 + 9*r + 10. Let c be o(-8). Suppose -2*s - 174 = -4*s. Suppose -3*l + 3*n = -s, 0*l - c*n = l - 26. Does 15 divide l?
False
Let q(s) be the first derivative of 3*s**2/2 - 15*s - 3. Does 2 divide q(8)?
False
Suppose -t = -n - 0*t - 28, -3*n - 69 = 2*t. Let x = n + 52. Does 11 divide x?
False
Let p(l) = l + 2. Let q be p(0). Suppose q*o - 7*o + 65 = 0. Does 13 divide (-2)/(2/(-1))*o?
True
Suppose 5*m = 8*m - 216. Is m a multiple of 12?
True
Let a(z) = -29*z + 44. Is a(-5) a multiple of 9?
True
Let g = 1 + 3. Is 25/g + 10/(-40) even?
True
Does 57 divide 5100/14 - ((-5)/7 - -1)?
False
Let l(w) = -3*w - 1 + w + 5 - 4*w. Is 20 a factor of l(-6)?
True
Let u(r) = 2*r**2 - 2. Let n be (12/(-8))/((-1)/2). Suppose 0 = s + 3*v - 8, -2*s + 0*v + n*v = 20. Is 13 a factor of u(s)?
False
Suppose 3*d + 20 = 2*d. Let x be (-11)/4 + 5/d. Does 12 divide (-3)/x*(39 - 2)?
False
Let p(m) = 3*m**2 + 1. Let q be p(1). Let g(c) = c**3 - 3*c**2 - 6*c + 6. Let b be g(q). Is 3 - ((-126)/b)/(-3) a multiple of 13?
False
Is (-5)/((-15)/6) - -2 a multiple of 2?
True
Let a(f) = -5*f - 2*f - 3 + 6*f. Is 5 a factor of a(-8)?
True
Suppose 0 = -2*c + 4*k - 21 + 257, -362 = -3*c - 2*k. Is c a multiple of 15?
True
Suppose -7*s + 3*s - 5*q = -177, 5*q = -15. Let g = -95 + s. Let p = -12 - g. Does 13 divide p?
False
Is 122/6 + (-8)/(-12) a multiple of 7?
True
Suppose -2*f = 3*j - 5*j - 106, -120 = -2*f - 5*j. Let w be 700/22 - (-10)/f. Suppose -3*b = -w + 5. Does 7 divide b?
False
Suppose 2*r + 8 = -2*r. Let h = 3 - r. Suppose 31 = 3*d - h. Does 6 divide d?
True
Let z be (4 - 5)*(1 - 9). Is (4 + z)/(4/14) a multiple of 21?
True
Suppose 0 = 5*l - 20 - 0. Let u(p) = p**2 - p + 1. Does 12 divide u(l)?
False
Suppose -4*w = -5*j - 2*w + 43, 3*j - 23 = 4*w. Is 6 a factor of ((-48)/j - 2)*-3?
False
Suppose -r + 39 = 5*t, -r + 0*r + t + 45 = 0. Is 13 a factor of r?
False
Let x = -202 - -307. Does 13 divide x?
False
Does 9 divide ((-66)/(-4))/((-21)/(-56))?
False
Suppose -2*l + 42 = -0*l. Is 12 a factor of l?
False
Suppose z - 6*m = -3*m - 18, 2*z = -5*m + 19. Does 12 divide ((-17)/3 + -3)*z?
False
Let z(o) = 0*o**3 - 3*o - o**3 - 6*o**2 - 4 + 0*o. Suppose g + 2*g = -18. Is 8 a factor of z(g)?
False
Suppose 36 = 2*h - 2*t, -t + 28 - 12 = h. Suppose 0 = -2*s + h - 1. Does 4 divide s?
True
Is 228/14 - (-8)/(-28) a multiple of 4?
True
Let k(n) = -7*n**3 - 2*n**2 + n + 6. Is k(-3) a multiple of 13?
False
Let a be 3 - (104/2)/4. Let y(s) = s**3 + 11*s**2 + 7*s + 6. Does 12 divide y(a)?
True
Let y(f) = f**3 - 2*f + 22. Does 12 divide y(0)?
False
Suppose 534 = 3*g - 114. Does 31 divide g?
False
Let r = -6 - -11. Suppose -23 - 102 = -r*s. Does 25 divide s?
True
Let t = -7 - -15. Let s = t - 5. Suppose 2*l = -s*l + 125. Is 13 a factor of l?
False
Suppose -3 = 2*r + 9. Let n(t) = 5*t + 8. Let w be n(-6). Let j = r - w. Is 7 a factor of j?
False
Suppose t + 98 = -t - 3*f, -3*t - 4*f - 145 = 0. Let m = 131 + t. Is m a multiple of 22?
True
Let f = -11 - -15. Suppose 0*b = -f*b + 76. Is 8 a factor of b?
False
Let p(g) = -7*g - 1. Let k be p(-6). Suppose -b + k = 12. Is b a multiple of 19?
False
Let p(u) = -2*u - 5. Let m be p(7). Let s = m - -39. Does 20 divide s?
True
Let p(x) be the third derivative of -x**6/120 - x**5/20 + x**3/3 - 2*x**2. Let d be p(-3). Suppose b - 19 = -d*l, -l - l + 4 = -4*b. Is l a multiple of 8?
True
Let j(k) = -k**3 - 13*k**2 - 12*k + 2. Let l be j(-12). Suppose -3*z - 12 = 5*f, -8 = -l*z - f + 3*f. Is 9 a factor of z/(-3) + 112/12?
True
Let q(p) = 60*p - 17. Does 25 divide q(5)?
False
Is (-7)/2*(-2044)/49 a multiple of 10?
False
Let c(o) be the third derivative of 0*o**3 + 0 + 0*o - 2*o**2 - 1/12*o**4. Does 11 divide c(-7)?
False
Is 10 a factor of (-12)/10*(-75)/(-9)*-4?
True
Suppose -2*a - 6 = 3*h, h + 9 = 5*a + 24. Let p(q) = 3*q**2 + 2*q. Is p(a) a multiple of 7?
True
Let o = -6 - -10. Let n = 19 - o. Is n a multiple of 11?
False
Suppose -3*i + 0*i + 39 = 0. Let z be 0/(1/(-3 - -2)). Suppose 0 = -m - z + i. Is m a multiple of 13?
True
Let g(w) = 2*w**3 - 7*w**2 - 6*w + 12. Is 6 a factor of g(6)?
True
Let x(p) = 3*p + 6. Let w be x(-4). Let y = -6 - w. Let f = 8 - y. Is f a multiple of 3?
False
Let z be 1/((-1)/(-2) - 0). Suppose -3*u + 18 + 9 = 0. Is 13 a factor of -1 + u*3 + z?
False
Let g = 86 - 79. Is 3 a factor of g?
False
Let m(j) = 2*j**2 - 13*j + 10. Suppose -4*z + 5 = -3*z. Suppose -h = -z - 3. Is 16 a factor of m(h)?
False
Let j(c) be the first derivative of -c**3/3 + 5*c**2/2 + 6*c - 2. Let d be j(6). Suppose d*z + 2*z - 24 = 0. Is 6 a factor of z?
True
Let w(u) = 2*u**3 - u**2 - u. Let n be w(2). Let f = 23 - n. Is f a multiple of 6?
False
Is 27 a factor of 1/(-2)*125*(-2)/1?
False
Suppose -a + 698 = -2*c, 3*a - 5*c = a + 1399. Suppose 5*b - a = b. Suppose 5*j - 86 = -2*t + 2*j, -5*t + 3*j = -b. Does 14 divide t?
False
Suppose -43 + 13 = -c. Is c a multiple of 8?
False
Let v = -84 + 196. Does 14 divide v?
True
Let v(f) = f**3 - 4*f**2 + 4. Is 4 a factor of v(4)?
True
Let p(w) = w**2 + 0*w + 7 - 5*w + 4 - 7. Is 5 a factor of p(6)?
True
Suppose 2*z - 1528 = 40. Suppose 5*c - c = z. Suppose -c = -2*j - 2*j. Does 19 divide j?
False
Suppose 197 - 61 = 4*t. Is t a multiple of 17?
True
Is 141/12 - 3/(-12) a multiple of 4?
True
Let r be 2/(-11) + 18/(-22). Let v be (-1)/r - (-4 - -1). Suppose v*j - 48 = -4*p, 2 + 8 = 5*p - 5*j. Is p even?
False
Suppose -9 - 26 = -5*n. Is 6 a factor of n?
False
Let w(d) be the second derivative of -d**5/20 - d**4/12 + d**3/6 + 5*d**2 + d. Let j = -5 + 5. Is w(j) a multiple of 10?
True
Let s be (1 + -3 + 1)/1. Does 4 divide ((-24)/(-16))/(s/(-12))?
False
Let l = -7 - -8. Suppose -5 + l = -j. Is 3 a factor of j?
False
Suppose -q + 3*v = -13, 0*q - 11 = 3*q + v. Let t(i) = i**2. Is t(q) a multiple of 2?
True
Let x(j) = 2*j**2 - 11*j - 9. Let p be x(9). Let a = p - 34. Suppose 3*u = -3*c + 108, 0*u + u = 3*c + a. Does 16 divide u?
True
Let k(g) = g**2 + g + 4. Let p be k(0). Suppose -w + 3*u - 24 = 4*u, p*w + u = -111. Let s = w - -41. Is s a multiple of 4?
True
Suppose 5*q = 3*v + 3*q - 51, 3 = -q. Does 3 divide v?
True
Let j = 0 + 3. Let i = -3 + j. Suppose i = -u - 2*u + 27. Is u a multiple of 9?
True
Let r(t) = -4*t**3 - 1. Is r(-1) a multiple of 2?
False
Suppose -m = -k + 3, 2*m + 3 = 3*m. Is (-414)/(-8) - k/8 a multiple of 17?
True
Does 10 divide 4*(255/6 + 5)?
True
Let h = 185 + -63. Is 18 a factor of h?
False
Suppose -1494 + 441 = -9*t. Does 39 divide t?
True
Suppose -4 = 5*m - 34. Does 8 divide m/10 - (-185)/25?
True
Suppose 5*t - 3*o = 137, 2*o + 0 - 2 = 0. Let q = t + -13. Is q a multiple of 9?
False
Let a(v) = 2*v - 2. Let t be a(-4). Let c = t + -2. Let s = 29 + c. Does 12 divide s?
False
Suppose 4*s + 2*p = 10, 4 + 0 = -4*p. Suppose s*y - 17 + 2 = 0. Suppose 3*u = 28 + y. Is u a multiple of 4?
False
Let m be (1 - (-9)/(-6))*-6. Suppose 3*h - 33 = m*r, 0*h + 4*h - 5*r = 43. Is h a multiple of 12?
True
Let x(m) = -2*m - 18. Does 4 divide x(-21)?
True
Suppose -x + c = 4*x + 6, -4*x - c - 3 = 0. Let n = x + 8. Does 5 divide n?
False
Let w(r) = r**2 - 1 - 5 + 9*r - r. Let j be w(-9). Let d(v) = v**3 - 2*v**2 + 2*v + 1. Is 10 a factor of d(j)?
False
Let g(c) = c**3 + 6*c**2 - 11*c - 16. Is g(-7) a multiple of 4?
True
Suppose 0*r = -4*r + 168. Is r a multiple of 3?
True
Let h be 5 - (0 - (-2 - -3)). Let v = h - 8. Does 9 divide (-524)/(-26) - v/(-13)?
False
Suppose 0 = 4*i + 2*v - 114, -5*i = 5*v - 190 + 35. Is 3/((-3)/(-2)) + i a multiple of 5?
False
Let i(g) be the first derivative of -g**4/4 + 8*g**3/3 - 5*g**2/2 - 7*g + 4. Let p be i(7). Suppose 2*o = 2*