rue
Let t be 0/(4/(4/(-3))). Is 4 a factor of 14 + (-1)/(-2)*t?
False
Suppose 2*x - 3*x = 3*c + 13, 4*c = -3*x - 24. Let b(i) = -20*i + 2. Let y be b(c). Suppose -y = -z - z. Does 13 divide z?
False
Let q(r) = -8*r - 8. Let t be q(-6). Suppose -5*l = -3*l - t. Is l a multiple of 17?
False
Let y(p) = -p**3 - 6*p**2 + 6*p - 5. Let d be y(-7). Suppose 0 = 2*v - 5*a - 65, d*v + 2*a - 5 = 53. Is v a multiple of 9?
False
Let t(v) = -v**3 - 6*v**2 + 2*v + 9. Let c be t(-6). Does 16 divide (c + (-75)/(-9))*9?
True
Suppose 0 = -2*r + 94. Is r a multiple of 13?
False
Suppose -5*d + 15 = 5*s, -s + 5*d = -0*s - 3. Suppose 3*n = -s*x + 45, 0 = -2*x - 2*x - 3*n + 59. Is x a multiple of 14?
True
Let n(p) = 3*p**2 + 7*p - 1. Is n(-5) a multiple of 11?
False
Does 16 divide ((2 - -4) + 3)*8?
False
Let n = 4 - 4. Suppose 2*d - 6 - 18 = n. Does 12 divide d?
True
Let b be 41 + 3/1 - -1. Let k = b - 27. Is 12 a factor of k?
False
Let s be 22/3 - 2/6. Let h = s + -11. Is h/2 + 72/2 a multiple of 17?
True
Let z be 1022/8 - (-3)/12. Let l = z - 72. Does 14 divide l?
True
Let u be (-1)/2 - (-10)/4. Suppose -4 = -0*z - z, 3*r - u*z + 8 = 0. Does 3 divide (8 + r/(-2))/1?
False
Let m(l) = -l + 14. Does 7 divide m(-7)?
True
Let l(x) = 11*x**2 + 2*x - 1. Is 7 a factor of l(-2)?
False
Suppose -4*l = -8*l + 12. Suppose -l*j + 56 = j. Is j a multiple of 7?
True
Let a(p) = -p**2 + 7*p - 6. Let m be a(5). Suppose c = m*c - 96. Is c a multiple of 16?
True
Let f = -3 - 0. Is 16 a factor of (-3)/((-9)/f) - -17?
True
Let k(v) = -v**2 - 5*v - 3. Let s be k(-5). Let j be s + 2 + (-3 - -8). Suppose 0 = -4*u + 8, -5*l = -2*l - j*u - 10. Does 2 divide l?
True
Let x be (-1)/(-6) + 174/36. Let r = x - -10. Is r a multiple of 12?
False
Let g(z) = z**3 + 6*z**2 - 2*z + 3. Is 14 a factor of g(-6)?
False
Let b(k) be the third derivative of -k**6/120 + 2*k**5/15 - 5*k**4/24 + k**3 + k**2. Does 18 divide b(6)?
False
Let c(w) = -w + 17. Let f be (1 + 0)/((-4)/(-8)). Suppose 2*a = -f*a + 28. Does 5 divide c(a)?
True
Let t(d) = d + 108. Let f be t(0). Let n = f - 77. Suppose 0*k - 2*k - a = -n, 5*k - 4*a - 58 = 0. Does 7 divide k?
True
Suppose 0 = 4*y + 4, 3*y + 1685 = 4*d - 2*y. Does 18 divide d/(-8)*4/(-3)?
False
Suppose -2*t + 19 = 1. Is t/6 - 81/(-6) a multiple of 6?
False
Let y = 61 - 1. Does 23 divide y?
False
Let o = -56 - -107. Is 22 a factor of o?
False
Let v be 2/(-3) + (-8)/(-12). Suppose 0 = -6*b + b + 4*w + 107, -4*w + 8 = v. Is b a multiple of 13?
False
Let h = -72 - 14. Let a = 122 + h. Is a a multiple of 18?
True
Does 4 divide (2/4)/((-8)/(-320))?
True
Let k = 112 + -31. Is 9 a factor of k?
True
Let b(c) = -1 + 2*c + 4*c - 2*c + 4*c. Does 12 divide b(6)?
False
Let w(g) = -8*g - 4. Let h(s) = -s**2 + s. Let y be h(1). Suppose -4*v = -5*c - 9, 5*v - c - 5 + 20 = y. Is w(v) a multiple of 23?
False
Let n = 30 + -11. Let h = 33 - n. Suppose -4*l + 23 = b - h, 29 = b + 2*l. Does 8 divide b?
False
Let k = 10 + -8. Suppose -4*f = -k*f - 180. Does 30 divide f?
True
Does 26 divide 1 + ((-362)/6)/(7/(-21))?
True
Suppose -37 = -4*a + 11. Let n = 46 + a. Is 20 a factor of n?
False
Let d(u) = -u**3 - 10*u**2 + 5*u - 1. Let h be d(-10). Let r be 4/(h/(-57) - 1). Is 8 a factor of r/8*(2 - 6)?
False
Is 27 a factor of (-1)/(-2)*2 + 26?
True
Is 7*(624/(-14))/(-6) a multiple of 22?
False
Let h(w) = -w**3 + 13*w**2 + 5*w + 12. Let l(v) = -v**3 + 14*v**2 + 6*v + 13. Let g(c) = 7*h(c) - 6*l(c). Let t = 11 + -5. Does 18 divide g(t)?
True
Suppose -3*v + i - 577 = 0, -5*v - 4*i + 0*i - 939 = 0. Let a = v - -289. Is a a multiple of 30?
False
Suppose 2*b - c = 299, -5*b + 4*c + 755 = -c. Is b a multiple of 37?
True
Let h(v) = v**2 + 13*v + 8. Is h(-24) a multiple of 34?
True
Is (-692)/(-20) + (-12)/(-30) a multiple of 35?
True
Does 21 divide ((-364)/78)/(1/(-27))?
True
Suppose 0 = b + b - 42. Is b a multiple of 7?
True
Let m be ((-6)/4)/((-3)/(-124)). Let p = -32 - m. Does 15 divide p?
True
Let v = 82 - 40. Does 14 divide v?
True
Suppose 3*j - 51 = -5*n, 1 = n - 8*j + 4*j. Let l = n + -4. Is 5 a factor of l?
True
Let z = 88 - 31. Suppose 4*d + z - 5 = 3*p, 48 = 3*p - 3*d. Is 11 a factor of p?
False
Suppose -1 = 4*l + 11. Let q(o) = -1 + 3*o**2 - 3*o - 2*o**2 + 3. Is 9 a factor of q(l)?
False
Let d(w) = 2*w**3 + 3*w**2 - 13*w + 2. Is d(4) a multiple of 14?
True
Suppose -231 = 3*a - 5*u, -3*a = -4*a + 2*u - 77. Let k = a + 109. Is 17 a factor of k?
False
Suppose -92 = 2*u + 2*u. Let w = 41 + u. Does 6 divide w?
True
Let m be (1 - 1)/((-6)/(-6)). Is (m + 4)/(-2)*-20 a multiple of 20?
True
Does 9 divide (4 + -6)/2 - -10?
True
Suppose -o - 2 = 1. Let v = 31 + o. Is v a multiple of 28?
True
Suppose -w - 4*x + 67 = -63, 2*x - 506 = -4*w. Suppose 7*a - 9*a + w = 0. Is a a multiple of 21?
True
Let w be (-1 + 2)/(-2)*0. Let h(j) = -j**2 + 9*j + 2. Let q be h(9). Suppose w = y + q - 30. Is y a multiple of 14?
True
Let m = -47 + 115. Is m a multiple of 34?
True
Let j(g) = 20*g + 1. Is j(1) a multiple of 21?
True
Suppose d - 3 + 0 = 0. Suppose -10 = -5*q + d*g + 2*g, 0 = -3*q - 5*g + 14. Does 2 divide q?
False
Let v(i) = i**3 - 5*i**2 - 3*i + 4. Let x be v(4). Let o = x + 13. Let m = -7 - o. Is 4 a factor of m?
True
Let f(o) = -4*o + 15. Let j be (-2)/(-8) + 156/16. Let k be f(j). Let n = k + 49. Is 9 a factor of n?
False
Is 14 a factor of (1/1)/((-4)/(-92))?
False
Let l be (-5)/2*(6 + -8). Suppose 3*h - h - 4 = 5*q, -l*h - 7 = -4*q. Is q - 25/(-1) - -1 a multiple of 10?
False
Let k = -35 + -17. Let x = -16 - k. Suppose 0 = -4*w + 6*m - m + x, -m = w. Is 2 a factor of w?
True
Suppose -3*l + 238 = -5*m, l + 4*m - 188 = -l. Let x = -24 + l. Is x a multiple of 24?
False
Let c = 68 - 44. Is c a multiple of 7?
False
Suppose f = 5*h + 1, 3*h - 27 = -2*f - 2*f. Suppose 0 = -4*o + 2*o - f. Is 14 a factor of o/((6/80)/(-1))?
False
Let c be 1/4*-2*-8. Let u = -10 + c. Is (-4)/u*84/8 a multiple of 7?
True
Let r(i) = -i**3 + 5*i**2 - 4*i + 2. Let u be r(4). Suppose -3*f + u*f + 2 = 0. Suppose 2*o + 3*x - 16 = 0, -x = f*x + 6. Is 11 a factor of o?
True
Let s = 4 + 7. Let d = s + 73. Suppose -n + d = 3*o - 67, 3*n + 57 = o. Does 17 divide o?
True
Suppose 3*g + 3 - 15 = 0. Suppose 2*p = g*p + 8. Let r = -1 - p. Is 3 a factor of r?
True
Suppose -2*y = r - 2, 3*y = -4*r + 2*y + 1. Suppose 3*x + v - 27 + r = 0, -5*v = 15. Is 3 a factor of x?
False
Is (-2480)/(-10) + (-1 - -7) a multiple of 13?
False
Let t be 0 + -22 - 0 - 2. Let c = t - -12. Let b = 22 + c. Is b a multiple of 6?
False
Suppose 5*i - 390 = 60. Is i a multiple of 10?
True
Suppose -1001 = -12*w + w. Is 13 a factor of w?
True
Let l be (-1)/(-2) + 9/2. Let c(a) = -21*a + 11*a - 3 + 13*a. Is c(l) a multiple of 12?
True
Let z = 0 - -2. Suppose q = z*q. Suppose 3*r - 5*m = -0*m + 64, q = 2*m + 4. Is 9 a factor of r?
True
Let c(p) = p**2 + 4*p - 1. Let g be c(-6). Let k(n) = n**3 - 11*n**2 + 10. Does 4 divide k(g)?
False
Is 12 a factor of -28*(36/(-21))/2?
True
Suppose 4*k - 11 = -w, 4*k = -2*w + k + 42. Does 9 divide w?
True
Let a = 0 - 1. Let w = a + 4. Suppose -d - w*d = -96. Is d a multiple of 12?
True
Let v = -13 - -54. Does 3 divide v?
False
Let y be (-1 + -13)/(4/6). Let l = y - -23. Is 2 a factor of l?
True
Suppose 7*j = 3*j - 48. Let f be (-14)/(-4)*j/6. Let x(v) = -v**3 - 8*v**2 - 10*v - 8. Is 7 a factor of x(f)?
False
Let x = -40 + 73. Suppose -x = -4*m + m. Is 3 a factor of -2*(-3)/6*m?
False
Let o(c) = 16*c - 3. Let l(i) = i**3 - 9*i**2 + 8*i + 2. Let b = -8 + 16. Let z be l(b). Is o(z) a multiple of 14?
False
Suppose 0*p - 8 = 4*p. Let v be p/(-6) - (-1)/(-3). Suppose m + v = 2. Is m a multiple of 2?
True
Is 9 a factor of ((-102)/(-4))/(((-132)/80)/(-11))?
False
Let u be 0/(-1) - ((2 - 5) + 1). Let t(a) = a + 4. Let i be t(-4). Suppose i = 2*v - 3*p - 26, u*p - 7*p = 4*v - 74. Is v a multiple of 7?
False
Suppose -3*c - 2*c = 0. Suppose -x + 3*x - 26 = c. Is 13 a factor of x?
True
Let l(i) = -32*i. Let u be l(1). Let p be ((-78)/(-8))/((-12)/u). Let h = p + 24. Is 18 a factor of h?
False
Let t(l) = 3*l + l**2 + 5*l**2 - 5*l - 4. Is 6 a factor of t(-2)?
True
Let v(a) = a**2 - 4*a + 3. Let l be v(5). Suppose 0 = -2*t + t + l. Is t a multiple of 5?
False
Let r(z) = -9*z**3 + 3*z**2 - z - 3. Does 4 divide r(-2)?
False
Let j(f) = f - 3. Let x be j(7). Suppose x*c = -0*c 