pose -l + 832 = 3*l. Suppose 0 = 4*m - l + 24. Does 19 divide m?
False
Let i = 3 + -1. Let r = i + -3. Let u(d) = -27*d - 1. Is u(r) a multiple of 13?
True
Suppose 4*p = -23 - 1. Let j(x) = -3*x + 6. Is j(p) a multiple of 8?
True
Let w be (1 + -2 + 1)/1. Let k be 2 + w + 0 + 24. Suppose 5 = -d + k. Is 14 a factor of d?
False
Let o be (-231)/(-14) + 2/(-4). Suppose o = n + n. Suppose 0 = 2*p + n, 2*x = 4*p + 32 - 6. Is x a multiple of 2?
False
Let r(g) = 2*g + 21. Let l be r(-12). Is (-4)/l + (-60)/(-9) a multiple of 8?
True
Suppose -4*g + 5 = 1. Does 3 divide g*3/3*5?
False
Suppose 5*v - 807 = -3*n, -15 = -2*v - 3*v. Is n a multiple of 37?
False
Let c = 21 - 11. Let n be (-42)/c + (-1)/(-5). Is 12 a factor of (n/2)/((-2)/31)?
False
Let x = 62 + 13. Does 25 divide x?
True
Let s = 116 + -15. Is 21 a factor of s?
False
Let z(y) = y**3 + 7*y**2 + 8*y + 6. Let f be z(-5). Suppose -2*s + 0*m = 4*m - f, -4*m = 8. Is s a multiple of 6?
True
Let i(u) = u**3 + 0 - 5*u - 3 + 1 + 4. Is i(3) a multiple of 8?
False
Let p = 13 + -11. Does 6 divide 26 + (-1)/1*p?
True
Suppose j - 2 - 40 = 0. Suppose -j = -5*y + 4*z + 41, -3*y + 69 = 4*z. Does 8 divide y?
False
Let v = 16 + -24. Let z(t) = t**3 + 9*t**2 + 8*t + 3. Let j be z(v). Suppose 14 = -j*d + 158. Does 18 divide d?
False
Suppose 3*x = 2*x. Suppose 3*k = -3*c + 24, x*k = 4*c - 3*k - 4. Is 21 a factor of (c/5)/(16/840)?
True
Suppose -460 - 6128 = -18*n. Is 52 a factor of n?
False
Suppose -m + 3*a + 4 = 0, -2*a + 3*a = m - 12. Is m a multiple of 16?
True
Suppose 4*d - 286 = 5*h + 7, 5*h = -5*d + 310. Let t be (-34)/(6/(-3))*2. Let n = d - t. Does 15 divide n?
False
Let d(s) = -15*s - 35. Does 8 divide d(-13)?
True
Let f = -7 + 2. Does 16 divide (16 - -4)*(-8)/f?
True
Suppose 5*z = -3*j + 5*j - 9, -9 = 3*j. Let c(h) = 3*h**2 + h + 3. Is c(z) a multiple of 16?
False
Suppose 2*a = t - 2, 4*a - 2 + 8 = 3*t. Suppose a = -12*g + 11*g + 12. Is g a multiple of 6?
True
Suppose 0 = 5*c + 4 - 19. Is 5 a factor of c*(-2)/(-18)*30?
True
Suppose 3*c = 2*u + 7, 0 = 4*u + 3 - 7. Let j(a) = -4 + 4 + 2*a**3 - 2*a - c*a**3 - 1. Is j(-1) a multiple of 2?
True
Let f be (-3 + 1)/6*-15. Let v be (-226)/8 - 4/(-16). Is (v/f)/(2/(-15)) a multiple of 14?
True
Suppose -m - 2 + 1 = 0. Let k be (7 + -2)*-1*m. Suppose 0 = -3*x + 2*v + 108, 0 = k*x - 10*v + 5*v - 180. Is 12 a factor of x?
True
Let f = -3 - 23. Let w = -9 - f. Is w a multiple of 6?
False
Suppose -2*z + 17 = 1. Suppose -z*d = -3*d + 10. Is (-2 - (-1 - d)) + 8 a multiple of 5?
True
Suppose 0*k + 3*b = -k - 12, -4*b = -k + 23. Is k even?
False
Let c = 29 + 1. Suppose l - c = -2*l. Is l a multiple of 6?
False
Let l(w) be the second derivative of -w**5/20 + w**4 + 7*w**3/3 - w**2 + 3*w. Is l(13) a multiple of 11?
True
Suppose 4*k - 14 = -2. Suppose -6 - 2 = -4*h. Suppose -2*t + k*n + 76 = -h*n, -124 = -4*t - 4*n. Does 11 divide t?
True
Suppose 3*d + 14 = -h, 3*h + 13 = -d + h. Let p be (-2)/d*(-27)/6. Is p/(-1) - (-1)/1 a multiple of 3?
False
Let v(i) = i**3 - 5*i**2 + 4*i. Let g be (1 + (-7)/3)*-3. Let t be v(g). Suppose -7*o - 2*j + 20 = -5*o, t = 4*o + j - 25. Is o a multiple of 2?
False
Suppose -i + 23 = -0. Is i a multiple of 9?
False
Suppose 6*d = 2*d + 400. Is 22 a factor of d?
False
Suppose -4*q + 5*z = -8, -2 = -q - 2*z - 0. Suppose 0 = q*d - 4*a - 49 - 61, 4*a = -3*d + 115. Is 11 a factor of d?
False
Let s = -8 - -10. Let o be s + 2/2*19. Let v = o - 2. Is v a multiple of 19?
True
Let o be (1 + (-12)/9)*-9. Suppose 0 = o*k + 3 - 12, 4*k - 92 = 5*c. Let n = 28 + c. Is 12 a factor of n?
True
Let r = 52 - 7. Is r a multiple of 15?
True
Suppose y = -4*y. Suppose 3 = 3*u - 2*u, -q + 3*u + 33 = y. Suppose -6*t = -4*t - q. Is t a multiple of 7?
True
Is (-1 - 4/(-5)) + 11232/260 a multiple of 6?
False
Suppose -3 = b - 0*b. Let u(q) = -2 + 2*q - 5*q + 0 + 3. Does 10 divide u(b)?
True
Let z(p) = p**3 - 4*p**2 + 6*p - 16. Is 4 a factor of z(4)?
True
Let f = -10 + 7. Let w = f - -33. Does 15 divide w?
True
Let s(h) = h + 1. Let u(g) = 6*g + 3. Let m(i) = 3*s(i) - u(i). Let n be m(-3). Let k = n + 2. Does 6 divide k?
False
Does 16 divide (-258)/(-8) - 7/28?
True
Let z be 22/(-165) + (-1084)/(-30). Let g = 14 + z. Does 18 divide g?
False
Suppose 3*r = r + 6, 3*o - 4*r = 276. Is o a multiple of 27?
False
Let h(m) be the third derivative of m**6/120 + m**5/10 + m**4/8 - m**3/3 + 8*m**2. Suppose 4*k + 0*x + 20 = 3*x, -3*k = -5*x + 15. Is h(k) a multiple of 7?
False
Let g(l) = -60*l - 6. Does 12 divide g(-1)?
False
Suppose -5*i - 1 + 0 = -3*h, 0 = h - 2*i + 1. Suppose 3*m + q = 11, 2*q = -4*m + 11 + h. Suppose -62 = -2*k - k - 5*o, 4*k + m*o - 92 = 0. Does 9 divide k?
False
Is 15 + 317 + (-1 - -3) a multiple of 12?
False
Let l be 19/7 - (-4)/14. Let f be (-27)/(-12)*8/l. Suppose -2*k + 0*k = -f, -2*k - 10 = -2*j. Does 3 divide j?
False
Let q = 51 + -10. Is q a multiple of 41?
True
Let r = -7 + 10. Suppose -r*s + 4*s = 4. Suppose 0 = -s*z + 3*v + 34, z + 3*v = -z + 26. Does 5 divide z?
True
Suppose -17 = 4*t + 3*l, -3*l + 6*l + 22 = -5*t. Let g be 2/10 + 11/t. Let y = 9 - g. Is 3 a factor of y?
False
Let n = 5 - 1. Let j(o) = 2*o - 1. Let w be j(4). Does 7 divide w/(-2)*n/(-2)?
True
Let x = 35 + -11. Suppose -a - 2*w = 2*a - 17, 0 = 2*a + 2*w - 14. Suppose 3*j + 4*h = 53, a*j - 32 - x = -h. Is j a multiple of 19?
True
Let b(c) = 2*c**3 + 2*c - 1. Let t = -5 + 8. Let f be (-16)/(-10) + t/(-5). Is b(f) a multiple of 2?
False
Let q = 138 + -76. Is 17 a factor of q?
False
Let b(a) = 6*a**3 + a. Is 21 a factor of b(2)?
False
Let f(z) = -3*z + 3. Let q(l) = -l**3 + 5*l**2 + 5*l. Let i be q(6). Does 8 divide f(i)?
False
Let t = -180 + 208. Is 7 a factor of t?
True
Let h = -39 + 76. Is 22 a factor of (-1)/1 + h + 1?
False
Suppose 3 = 11*l - 8*l. Let a(k) = 21*k. Is a(l) a multiple of 7?
True
Suppose -9*f + 100 = -5*f. Is 3 a factor of f?
False
Let l(d) = -104*d + 12. Is 13 a factor of l(-2)?
False
Suppose 2*o - 568 = 6*o. Let t = 35 - 29. Is 1/t - o/12 a multiple of 12?
True
Let r(h) be the first derivative of 11*h**3/3 + h**2 - h - 3. Is r(1) a multiple of 6?
True
Let k(y) = -y**3 + 3*y**2 - 4*y - 2. Let h be ((-2)/(-6))/(4/48). Let p be k(h). Let m = p + 53. Is 9 a factor of m?
False
Suppose -5 - 15 = -5*s. Suppose s*f - 2*a = 240, 4*a - 18 + 78 = f. Is f a multiple of 15?
True
Suppose -n - 1 = -7. Suppose 2*d + n - 28 = 0. Does 11 divide d?
True
Let u be (0 - (-5 - -2)) + -3. Suppose -c - 3*c + 32 = u. Does 4 divide c?
True
Let q be (24/(-2))/((-3)/34). Suppose c = 2*r - 4*c - 93, -3*r + 4*c = -q. Is r a multiple of 15?
False
Let h be 18/(-63) + 164/(-14). Let i = h + 15. Does 3 divide i?
True
Let c(o) = -o**3 + 2*o**2 + 2*o. Is c(2) a multiple of 3?
False
Suppose 5*o = -c + 88, 0*o = 3*o + c - 52. Is 4 a factor of o?
False
Let d(h) = 17*h**3 + 3*h**2 - 4*h + 4. Does 18 divide d(2)?
True
Suppose -3*y = -y - 104. Is y a multiple of 9?
False
Suppose 0 = -4*o + 5*b + 16, 3*b - 12 = -3*o - b. Does 3 divide o?
False
Let c(h) = h**3 + 6*h**2 - 9*h - 9. Does 15 divide c(-6)?
True
Let r(g) = 9*g**3 - 2*g**2 + 2*g - 1. Let n be r(1). Suppose -55 = -n*m + 3*m. Does 11 divide m?
True
Let w(g) be the third derivative of -g**6/120 + g**5/10 - g**4/12 - g**3/2 - g**2. Let t = -1 + 5. Is w(t) a multiple of 12?
False
Let f = -2 + 4. Suppose -f*o - 18 = q, -5*o - q - 27 = -3*q. Let l = 7 - o. Does 14 divide l?
True
Suppose b = 3*b - 116. Let g be b*(3 + -1 + -1). Let s = 92 - g. Is 17 a factor of s?
True
Let x(a) = -3*a - 6. Let g be x(-6). Suppose 8*t + 24 = g*t. Is 2 a factor of t?
True
Let i(f) = 2*f**2 - 2*f**2 - 2*f**2 - 2 + f + 4*f**2. Does 4 divide i(-2)?
True
Let b(d) = d**2 + 9*d - 7. Let w be b(-10). Suppose -4*n = 3*j - 255, 5*n - w*j - 293 = 46. Does 22 divide n?
True
Let u(i) = 2*i**2 + 1. Let x be u(1). Suppose x*d = 2*n + 9, -n - 4*n = 0. Is d a multiple of 3?
True
Suppose 64 = 3*m - 152. Is m a multiple of 31?
False
Suppose -2*p + 3*m = -672, -1008 = -3*p - 0*m + m. Is p a multiple of 56?
True
Does 20 divide ((-1)/(-2))/(18/2952)?
False
Suppose 0 = -13*k - 132 + 340. Is k a multiple of 4?
True
Let m = 26 + -56. Let t be ((-24)/(-10))/((-9)/m). Suppose -2*f = -2*b + b - t, 12 = 3*b. Does 6 divide f?
True
Is 21 a factor of 24/(-30)*15*-12?
False
Let m = -12 + 19. Let r(t) = -t**2 + 9*t + 