t o be (-123)/3 + (-4)/4. Is 13 a factor of 3 + o/(-1) + -1?
False
Let j(c) = -c**3 + 4*c**2 + c - 1. Let b be ((-6)/(-12))/((-2)/(-16)). Let g be 2/((-2)/b + 1). Does 3 divide j(g)?
True
Let w(i) = i**3 - 7*i**2 + 3*i - 10. Let z be w(7). Let p be (z/4 + 0)*8. Is 7 a factor of 4/p - 152/(-11)?
True
Let s(c) = -6*c + 1. Let t be s(-8). Let i = t + -29. Suppose 5*h - 35 - i = 0. Is h a multiple of 11?
True
Let p(k) = 3*k**3 - k**2 + k. Let w be p(1). Let f be 2/w - 14/3. Is 6 a factor of 2 - -1 - (f + -4)?
False
Let n(d) = d**3 + 6*d**2 - 8*d + 8. Is 5 a factor of n(-7)?
True
Let s(a) = 113*a**3 + a - 1. Is 34 a factor of s(1)?
False
Suppose 2*h + 41 = 2*j - 3*j, 2*j - 4*h + 58 = 0. Let w = 54 + j. Does 9 divide w?
False
Suppose -2*v = -0*v + 5*d - 166, 2*d = 2*v - 152. Is v a multiple of 26?
True
Let m be 3/12 - 83/(-4). Let z = m + 5. Let j = z - -4. Is j a multiple of 15?
True
Suppose -5*x - g = -120, x + 2*g + 120 = 6*x. Is 20 a factor of x?
False
Suppose 12 - 128 = -2*w. Is w a multiple of 54?
False
Suppose -2*u - 12 = u. Is u*29/4*-1 a multiple of 8?
False
Let x(p) = p**2 + 37. Let r be x(0). Suppose 3*m - 3*g - 111 = 0, 2*m - m = 5*g + r. Does 14 divide m?
False
Suppose -65 = -5*t + 4*t. Is t a multiple of 24?
False
Let u = -3 + 3. Let b(d) = d**2 - 3*d + 14. Let a(p) = -p**2 + 4*p - 15. Let n(o) = 2*a(o) + 3*b(o). Is n(u) a multiple of 5?
False
Let q(c) = 3*c**2 - c - 5. Let i be q(6). Suppose i = 5*h - 98. Let v = h + -1. Is v a multiple of 20?
False
Suppose 3*r - o = 17, 0*o + 5 = -5*r - 5*o. Suppose i - 6*i = -2*m - 43, -m = r*i - 24. Is i + 0/((-3)/1) a multiple of 3?
False
Let s(v) = -70*v**3 - 2*v**2 - 2*v - 1. Let w be s(-1). Is (-2)/(-5)*(w + 1) a multiple of 21?
False
Let v = 32 + -11. Suppose 6*t = -5*i + 3*t + v, 2*t = 4. Suppose -i*h + 2*q = -62, 34 = 5*h - 3*q - 71. Is 12 a factor of h?
True
Suppose -t + 4*b + 13 = 0, -3*t + 18 = 2*b - 7. Let p be (-1077)/t + (-2)/6. Is p/2*(-2)/5 a multiple of 13?
False
Let z(r) be the third derivative of r**4/24 - 5*r**3/6 + 2*r**2. Let p be z(6). Is 11 a factor of p/4 - (-594)/24?
False
Let b(k) = k**2 + 5. Let c be b(0). Suppose 0 = -c*t + 2*h + 26, 2*h - 4*h + 16 = 2*t. Is t a multiple of 2?
True
Let f(w) = 2*w**3 - w**3 + 5*w**2 - 2 + w - 1. Is 9 a factor of f(-4)?
True
Let l(d) = 18*d**2 - d. Let b be l(1). Let p = 53 - b. Does 12 divide p?
True
Let c = -70 - -109. Let g = -23 + c. Does 8 divide g?
True
Let h(q) = q**2 - 18*q - 41. Does 11 divide h(21)?
True
Let v(m) = m**3 - 7*m**2 + 2*m + 1. Let n = -4 - -11. Is 15 a factor of v(n)?
True
Suppose -35*p + 39*p - 728 = 0. Is 29 a factor of p?
False
Suppose 0 = -0*i - 3*i - 306. Let z = -64 - i. Does 19 divide z?
True
Suppose 3*a + 12 = -4*w - 55, 5*w = 5*a + 170. Let y = 57 + a. Is y a multiple of 11?
False
Let c = -57 - -113. Is 8 a factor of c?
True
Let a be 2/(-4) + 74/4. Suppose -2*b + b = -a. Is 6 a factor of b?
True
Let l = -7 + 9. Is 12 a factor of 18/(l/(-4) - -2)?
True
Let n(p) = -p**2 - 4*p + 3. Let r be n(-4). Suppose 0 = 3*z - r. Is z - (-11 + -2 + 0) a multiple of 14?
True
Suppose -o - 4*q - q = -109, 0 = 3*q - 15. Is o a multiple of 28?
True
Let f be (-3)/(-1) - (-3 - -6). Suppose 6*v - v - 100 = f. Is 10 a factor of v?
True
Suppose -5*m + 6 - 256 = 0. Let l = m - -108. Suppose -2*a + 4*a = l. Does 21 divide a?
False
Let w(k) = k + 15. Let t(d) = 7. Let y(f) = -13*t(f) + 6*w(f). Is y(1) even?
False
Let k(v) be the first derivative of v**2/2 - 6*v + 1. Let s be k(6). Let x(t) = t**3 + t**2 - t + 6. Is x(s) a multiple of 6?
True
Let k = -46 - -103. Is k a multiple of 4?
False
Suppose -105 = -5*n - 20. Suppose 4*v - 2*o = 26, -3*v = -5*v + 5*o + n. Is 1/(-2) - (-57)/v a multiple of 9?
True
Suppose -3*l + l = -218. Is l a multiple of 36?
False
Let p = 107 + 42. Is 18 a factor of p?
False
Let d(h) = h**3 + h**2 - 3*h - 3. Let n be d(-2). Let f be 3/((-6)/(-3 - n)). Let m(c) = 20*c. Does 10 divide m(f)?
True
Let r be (-3)/15 - (-58)/(-10). Let z be r/4*30/9. Is 1/z + 252/10 a multiple of 7?
False
Let s = -84 - -114. Is 10 a factor of s?
True
Is (360/50)/(3/40) a multiple of 12?
True
Let v = 0 + 2. Suppose 4*h - 5*t = 24, 0*t = v*t + 8. Let j(g) = 4*g**2 + 2*g - 1. Does 4 divide j(h)?
False
Let x = 5 + 1. Suppose -3*g = -x*g + 63. Is g a multiple of 17?
False
Suppose 2*d = -4*r, -5*d - 12 = -3*r + r. Suppose -4*g = 5*o + 13, 1 = 2*g + 3*o + 8. Is 7 a factor of g - (-11 - (-1 - r))?
True
Suppose 4*a - p = 45, 5*p = -4 - 1. Is 11 a factor of a?
True
Let f(a) = -4*a**3 + 3*a**2 + 3*a + 1. Is 10 a factor of f(-2)?
False
Suppose -4*g + n + 731 = 0, -3*g - g = -2*n - 734. Does 35 divide g?
False
Let l = 2 - -29. Does 6 divide l?
False
Let y(s) = -s**2 + 8 - 1 + 2 + 6*s - 2. Does 3 divide y(6)?
False
Let a(f) = f**2 + 7*f - 3. Let d be a(-8). Suppose -d*x = -3*x. Suppose -4*u - z + 124 = x, 4*u - 4*z - 144 = -0*u. Is u a multiple of 14?
False
Suppose -i = -32 + 5. Is i a multiple of 7?
False
Let r(g) = 8*g + 4. Let o be r(5). Suppose -2*c = -o - 106. Let z = c - 35. Does 14 divide z?
False
Let l(k) = 5*k**2 - 4. Is 38 a factor of l(3)?
False
Let d be 5*(84/(-5))/(-4). Suppose 5*g - d = 24. Is g a multiple of 8?
False
Let q(w) = w + 7. Does 6 divide q(3)?
False
Suppose 1 = -3*f + 3*h + 4, 5*h - 16 = -2*f. Suppose -f*g - 13 = -a - 0*a, -18 = -2*a - 2*g. Suppose 2*o - a - 2 = 0. Is o a multiple of 5?
False
Let v(d) = d**3 - 5*d**2 + 5*d + 8. Does 3 divide v(5)?
True
Let y = 24 + -13. Let p = y - 8. Suppose -32 = -p*t + 40. Is 11 a factor of t?
False
Let r be (0 - -6) + (0 - 1). Suppose 4*y + 79 - 241 = -2*t, 3*t = r*y - 219. Is 14 a factor of y?
True
Let v(g) = 9*g - 118. Is 7 a factor of v(24)?
True
Suppose 6*m - 216 = -0*m. Is 18 a factor of m?
True
Let t be -1*12*1/(-3). Suppose -2*g = 0, -4*c - t*g + 44 = -g. Is 4 a factor of c?
False
Suppose -5*x = -221 - 109. Suppose n = -2*n + x. Is 8 a factor of n?
False
Suppose 0 = 7*j - 1183 + 259. Does 11 divide j?
True
Does 5 divide 3 + 48/(-3 - -7)?
True
Let o(a) = a**2 + 3*a - 2. Suppose -2*y - 2*h = 3*h + 18, h = -4*y - 18. Let x = y - 1. Is o(x) a multiple of 4?
True
Let d(i) = i**3 - i - 1. Suppose 3*l + l = 8. Is d(l) a multiple of 5?
True
Let t = 12 - 9. Is 13 a factor of 33 + (t - 3) + 0?
False
Suppose 22 + 32 = 2*u. Does 5 divide (u/(-6))/(9/(-24))?
False
Let g(l) = -l**2 + 5*l - 1. Let y be g(4). Suppose -7*b = -y*b. Suppose -d = -b - 38. Does 19 divide d?
True
Suppose 2*y - 6 = -2*h, 2*h = y - 2*y + 8. Is h a multiple of 4?
False
Suppose 4*q + q = 10. Suppose 0 = -2*z + 14 + q. Does 3 divide z?
False
Let v = -5 - -8. Suppose -5*z + v = -47. Is z a multiple of 9?
False
Suppose -z + 0 + 1 = 5*o, 3 = 3*z + 3*o. Is 2 + (-1)/(z/(-1)) a multiple of 3?
True
Let l(w) = w**3 - 7*w**2 + 3*w - 7. Let i be l(5). Let s be (-23)/(-7) + 12/i. Suppose -s*z - 2*z + 35 = 3*a, -4*a - 5*z + 45 = 0. Does 5 divide a?
True
Let s(y) = 7*y**2 + y - 2. Is s(4) a multiple of 30?
False
Let k be (-1 - -3) + -1 + 3. Suppose 27 = k*s - 5. Is 20 a factor of (-444)/s*2/(-3)?
False
Suppose -3*k + 0*k + 165 = 0. Does 15 divide k?
False
Let j(y) = -y**3 - y**2 + 3*y - 9. Is 19 a factor of j(-5)?
True
Suppose 3*g + 69 = -3*l - 2*l, -4 = -2*g. Let c be (l + 6/2)*-6. Suppose -c = -0*u - 4*u. Does 9 divide u?
True
Let n(d) be the first derivative of 3*d**3 + 3*d**2 + 5*d - 10. Does 34 divide n(-3)?
True
Suppose -5*d = -0*d. Suppose y + 4*f - 4 + 0 = d, -2*f = -4*y + 16. Suppose 11 = y*x + 3, -2*l + 84 = 4*x. Does 19 divide l?
True
Suppose 8*o - 333 = 291. Is o a multiple of 26?
True
Let j(y) = 8*y - 6. Let i be j(6). Suppose 2*f - i = 4. Is 8 a factor of f?
False
Suppose 0 = -x + 16 + 10. Suppose -y - 2*p = -x, 4*p - 12 = 4*y - 68. Is 9 a factor of y?
True
Let r = 3 + 0. Suppose r*m - 2*i - 103 - 31 = 0, 3*m - 159 = -3*i. Is 16 a factor of m?
True
Let u(p) = 30*p - 6. Is 12 a factor of u(3)?
True
Suppose -4*l = 3*a - 0*l + 16, 0 = 5*l - 10. Does 5 divide (-2)/a + 105/12?
False
Let b = -164 - -398. Suppose -s = 2*s - b. Is 20 a factor of s?
False
Does 4 divide ((-3)/(6/11))/((-2)/4)?
False
Suppose 4*r = -3*h + 468, -h - 472 = -4*r - 5*h. Is 33 a factor of r?
False
Let v(d) = 0*d + 16 - 2*d**3 + 3*d**3 - d. Let y be v(0). Does 7 divide (1 - 0)/(2/y)?
False
Let z be (-2)/5 - (-3159)/(-15). Let r be 8/12 - z/3. Suppose 