. Let l be n(3). Does 14 divide 3*(-1)/(-3) + l?
True
Let z(v) = -4*v - 19. Let x be 138/(-12) + (-6)/4. Does 11 divide z(x)?
True
Let c = 2 - 2. Let q = 2 + c. Suppose 34 = q*a - 6. Is 20 a factor of a?
True
Let m be ((-52)/(-12))/(4/60). Suppose -2*u + m = 5*f - 2*f, -5*u - 75 = -2*f. Is 5 a factor of f?
True
Suppose 20 = 10*c - 6*c. Is c even?
False
Is 14 a factor of (26 + 3 + -3)/1?
False
Let u = 2 + -1. Does 7 divide 1 + u + 2*6?
True
Suppose 3*a = -3*w - 2*a + 773, -2*a = -2. Is 16 a factor of w?
True
Let x = 0 + 3. Suppose -4*p = -x*p - 9. Let b = 1 + p. Is 8 a factor of b?
False
Let v(o) = o - 3. Let n be v(7). Suppose 3*m + 108 = 4*q, -q + 104 = 3*q - n*m. Does 15 divide q?
True
Suppose 3*v + 3*c = 12, -2*c = v - 0 - 3. Let t(m) be the second derivative of m**3/2 + m. Does 15 divide t(v)?
True
Suppose r + 76 = 4*m - r, m - r = 21. Is m a multiple of 7?
False
Suppose 5*x = 8*x - 93. Is x a multiple of 9?
False
Let t be ((-14)/(-4) + -1)*-2. Let i = t + 8. Suppose -i*q + 118 = 31. Is 12 a factor of q?
False
Let b(c) = 9*c**2 + 2*c - 6. Is 13 a factor of b(-4)?
True
Suppose 0 = -2*d + 2*c + 2, 10 = 3*d + 2*c - 3. Let k = 2 + d. Suppose u = k*r - 42, u + u = 4*r - 36. Does 7 divide r?
False
Let c = -2 + 25. Does 6 divide c?
False
Let x = -170 - -188. Is x a multiple of 9?
True
Let j(d) = -d**3 + 7*d**2 + 6. Suppose -8*i + 14 = -6*i. Is j(i) a multiple of 4?
False
Let f be ((-11)/2)/((-2)/4). Suppose 1 = z - f. Does 9 divide z?
False
Let h be (-3)/(-3 - (-18)/4). Is 4 a factor of 18 - (0 - (h + -1))?
False
Suppose 5 = -2*c + 17. Let f = -5 + c. Suppose 3*u + 5*h = 17, 0 = 2*u - 5*h - f - 2. Is 4 a factor of u?
True
Let s(d) = d**3 - 12*d**2 - 3*d + 8. Let v = -3 - -15. Let h be s(v). Let z = -6 - h. Does 11 divide z?
True
Suppose 2*q + 28 = 2*j, 2*j - 34 + 1 = q. Is j a multiple of 3?
False
Suppose 0*c + 5*c = g - 128, 2*c - 5*g = -42. Let n = 12 - c. Suppose 5*p - 278 = -n. Is 24 a factor of p?
True
Let p be 4*2*(-14)/(-4). Suppose 2*b = -2*b - p. Let r(w) = w**2 + 5*w + 6. Is 10 a factor of r(b)?
True
Let b = 194 - 127. Is b a multiple of 5?
False
Suppose 0*l - 2*l = 0. Let w = 0 + 0. Suppose l = -3*b - 5*k + 77, -3*b + w*k = k - 73. Does 12 divide b?
True
Let j = -22 - -23. Is 11 a factor of (-856)/(-14) - j/7?
False
Let r be 8*(-1 + -1)/2. Suppose 2*c - 64 = -2*c. Let k = c - r. Does 12 divide k?
True
Suppose b + 3*b - 280 = 0. Is b a multiple of 14?
True
Let w be (-3)/6*(-1 + -13). Suppose -4*z + 28 - 20 = 0. Suppose -22 = -2*t - c, 0 = -w*t + z*t - 2*c + 56. Does 11 divide t?
False
Is 11 a factor of (-141 - 2)*(1 - 2)?
True
Suppose -5*o = -36 - 4. Is o a multiple of 4?
True
Let i(y) = -2*y - 1. Suppose 2*o - 5*x = -38, 0 = -o + x - 12 - 1. Does 6 divide i(o)?
False
Let d(x) = x**3 + 2*x**2 - 2*x - 1. Let o be d(-2). Suppose 3*a - 1 = o*g + 8, -15 = -3*g. Is 4 a factor of a?
True
Suppose -2*l + 6*l - 5*f = -336, 5*l - 4*f + 429 = 0. Let g = -29 - l. Does 19 divide g?
False
Suppose 490 = 14*s - 1666. Is 13 a factor of s?
False
Let a be (1/2)/(2/24). Is 16 a factor of -48*(a/(-9) + 0)?
True
Let i = 9 + -4. Suppose 3*c - 4 - 3 = -2*u, 0 = -i*u - 3*c + 13. Suppose -u*d = 3 - 49. Is 8 a factor of d?
False
Let w = 8 + 0. Is 3 a factor of w?
False
Suppose 4 = 2*k + 3*a - 4*a, -a + 4 = 2*k. Is 2 a factor of k?
True
Suppose -9 = -3*d + 45. Is 5 a factor of d?
False
Suppose d - 6*d + 25 = 5*i, i + 5*d - 9 = 0. Suppose 4*k + i*m = 2*m + 88, -4*k + 2*m = -88. Suppose 0*x + 2*x = k. Is x a multiple of 4?
False
Let m(v) be the second derivative of v**4/4 - v**3/6 - v**2/2 + v. Does 23 divide m(-4)?
False
Let i(v) = v - 4. Let j be i(7). Suppose 2*h = -2*h - 2*n + 68, -j*n = -12. Is h a multiple of 15?
True
Let f(s) = -13*s - 1. Let i(g) = g**3 + 7*g**2 - 7*g + 3. Let u be i(-8). Let m be f(u). Suppose -m = b - 3*b. Is 16 a factor of b?
True
Suppose -5*i + 2*t = -729, 0*t + t - 3 = 0. Does 5 divide i?
False
Suppose -3*c - 5*k = -31, 4*c - 3 = 2*k - 5. Suppose -3*z + 103 = c*b, 0 = 2*z + 2*z - 2*b - 128. Does 12 divide z?
False
Suppose -4*a + 82 + 18 = 0. Does 20 divide a?
False
Let y = -2 + 5. Is 1/3*306/y a multiple of 17?
True
Let l = 210 + -66. Does 16 divide l?
True
Let h(p) = -p**3 - 3*p**2 + 4*p + 4. Let y be h(-4). Suppose -y*v + 3*v = -2. Is v/(-3) + (-392)/(-12) a multiple of 12?
False
Suppose 2*p = -2*p. Suppose 5*g + 22 - 72 = p. Is 3 a factor of g?
False
Is (-75)/(-5) - (2 + 1) a multiple of 6?
True
Suppose -4*u + 2*x - 5*x = -15, 4*x = 3*u - 5. Let o = 2 + u. Is 2 a factor of o?
False
Let z = -53 - -104. Is 17 a factor of z?
True
Let b = 205 + 100. Is b a multiple of 17?
False
Let p(a) = -2*a - 3. Let t be p(-1). Is 31 a factor of 1026/9 + (-2)/t?
False
Let o = -4 - -18. Is 4 a factor of o?
False
Let a be (3 + -4)*9/(-3). Suppose 16 = a*l + l. Suppose 3*y - 39 = -y + 5*c, 0 = 4*y - l*c - 44. Does 16 divide y?
True
Let g = 22 + -7. Suppose -4*m + 2*l + 14 = 0, -5*m + 2*l + g + 2 = 0. Let a = 17 - m. Is a a multiple of 9?
False
Let h = -7 - -5. Let m(c) = -5*c - 1. Does 3 divide m(h)?
True
Suppose -v = 2*v. Suppose -4*y + 232 - 80 = v. Is y a multiple of 12?
False
Suppose -4*n = -2*n - b - 189, 0 = -4*n - 3*b + 393. Is 16 a factor of n?
True
Let x = 7 + -3. Let a be (-6)/(-9)*114/x. Suppose a = 3*j + j + q, -4*j = -3*q - 39. Does 4 divide j?
False
Let s = -87 - -52. Let v = s - -60. Is 10 a factor of v?
False
Suppose -8*w - 804 + 2268 = 0. Suppose -2*s + 262 = -4*s. Let i = s + w. Does 26 divide i?
True
Let y be (-90)/(-8) + 7/(-28). Let s = -8 + y. Is s even?
False
Let u be 1 + 0 + 22/2. Suppose -s - 5 = 0, u = w - s + 3*s. Does 10 divide w?
False
Let w be (3/(-2))/(3/4). Is 16 a factor of (-2)/w - -1 - -30?
True
Let j(c) = c**3 + 5*c**2 - 7*c - 2. Let m be j(-6). Suppose m*u + 3*s - s - 80 = 0, 2*u - 20 = 4*s. Is 18 a factor of u?
True
Let p = -47 + 53. Is p a multiple of 3?
True
Let w = -116 - -206. Is 25 a factor of w?
False
Let q(u) = u**2 + 7*u - 8. Let p be ((-4)/8)/(2/(-24)). Is 23 a factor of q(p)?
False
Let g = 16 + -6. Does 8 divide -9*(g/(-6) - 1)?
True
Suppose -3*q - 3 = 0, -m - 2*q + 168 = -3*q. Is m a multiple of 21?
False
Suppose 4*n - 3*t + 46 = 13, 5*n + 21 = -3*t. Let s be 202/(-6) + n/(-9). Is 2*-1 - (s + 5) a multiple of 13?
True
Suppose -2*m + 2*u = 82, 0*u = 2*u + 4. Let k = m - -67. Does 12 divide k?
True
Let k(t) = t**2 + t + 4. Let z be 2/4*0/2. Let u be k(z). Suppose 0 = 4*p - 3*q - 33, -5*q - 15 + u = -3*p. Does 10 divide p?
False
Let x(b) = -29*b + 20. Does 21 divide x(-8)?
True
Let n be -1 + -2*(-14)/4. Let u = n + 6. Does 8 divide u?
False
Let d = 3 - -8. Let a = 29 - d. Is 18 a factor of a?
True
Let w = 29 - 20. Is 9 a factor of w?
True
Suppose -6*k + 97 = -77. Is 10 a factor of k?
False
Suppose -d + 1 = -0*d. Suppose 0 = t + t - 3*o - 3, 2*o = t + d. Is t a multiple of 3?
True
Let y = 118 - 60. Is 29 a factor of y?
True
Suppose 19*o + 1522 = 8723. Is 24 a factor of o?
False
Let b = 67 + -36. Let r = -23 + b. Does 2 divide r?
True
Suppose -52 = -2*u + 4*u - 5*k, u + 31 = 5*k. Let i = 47 + u. Does 13 divide i?
True
Let v be 1269/36 + (-1)/4. Is v/2*8/10 a multiple of 14?
True
Let w(u) be the first derivative of u**4/2 - 4*u**3/3 + u**2 - 6. Is w(2) a multiple of 3?
False
Let i = 10 - 15. Let x = i + 5. Let f = 4 + x. Is 4 a factor of f?
True
Let h = 17 + 51. Is h a multiple of 6?
False
Let o(x) be the third derivative of 7*x**4/24 + 5*x**3/3 + 6*x**2. Does 20 divide o(9)?
False
Let j be ((-5)/(-10))/((-1)/(-18)). Let b = j + -6. Is 3 a factor of b?
True
Let p(m) be the second derivative of -m**3/6 + 13*m**2 - 2*m. Does 19 divide p(0)?
False
Let i be (-10)/((-3)/(-6 - -3)). Is 5 a factor of (i/4)/((-1)/2)?
True
Let x be (3/(-2))/(12/(-160)). Suppose 5*i + 3*p = 20, i - 4*i = -3*p - 12. Suppose -h - i*h = -x. Is h a multiple of 4?
True
Suppose 0 = -0*s - 2*s - 4*x + 84, -x = -2*s + 84. Suppose 5*a - 4*k = 121, -3*a + s + 5 = 4*k. Is a a multiple of 7?
True
Let d = 48 - 24. Suppose 0 = 4*z + 8, z = -3*x + d + 4. Does 5 divide x?
True
Suppose -l + 3*j - 6 = 0, 3*l = j + 2*j. Suppose 0*s = -5*c - 4*s + 20, -3*s + 15 = 0. Suppose c = -v - l + 16. Is v a multiple of 5?
False
Suppose -m = 3*m - 12. Suppose 2*n = m*n. Suppose 4*j - 9 + 1 = n. Is 2 a factor of j?
True
Let m(z) = z**3 - 4*z**2 - 10*z + 27. Is m(6)