Is (58/6)/(n/(-3)) a multiple of 29?
True
Suppose -23*f + 9609 + 2489 = 0. Is f a multiple of 62?
False
Let y be 4/16 + (-115)/(-4). Let t = 49 - y. Suppose 2*w + 3*c - t = -7, 0 = 3*w - c - 25. Does 7 divide w?
False
Let i(g) = -g**2 - 25*g - 1. Does 10 divide i(-16)?
False
Suppose 8*l = 1909 + 11083. Does 58 divide l?
True
Let i(o) = o. Let g be i(3). Suppose g*z = -a + 352, -5*a + 570 = -2*z + 7*z. Is 15 a factor of z?
False
Suppose -302 = -2*o - m, 2*o - 2*m - 161 = o. Is o a multiple of 3?
True
Suppose -84 = -w + 972. Is w a multiple of 44?
True
Let z be (780/48)/(((-6)/(-40))/3). Suppose 0 = -g - 4*g - 5*l + z, 0 = -4*g - l + 257. Is g a multiple of 4?
True
Let s be ((-414)/(-4))/((-27)/(-72)). Suppose 273 = 3*k + 3*y, 3*k + 3*y = -y + s. Does 11 divide k?
True
Let t = 41 + -9. Let s be 0 - (-2 - -3)*2. Let b = s + t. Is b a multiple of 9?
False
Suppose 13*r - 2 = 12*r. Suppose -r*y + 0*d + 36 = 2*d, -d = -3*y + 34. Is 13 a factor of y?
True
Suppose -2*g + 2*y = -198, -4*g + 431 = 14*y - 11*y. Does 13 divide g?
True
Suppose -3*a - 29 + 116 = 0. Suppose p - a = 56. Is 12 a factor of p?
False
Does 2 divide 1/(-5 - (-117)/24)*-1?
True
Let b(h) = 5*h - 3. Let y be (-360)/14 + (-8)/28. Let r be (-74)/(-26) - 4/y. Is 12 a factor of b(r)?
True
Let k be -1*(-2 - 20)/(-2). Let c be 276/10 - -1*(-4)/(-10). Let r = k + c. Is 17 a factor of r?
True
Let s(v) = v**3 - 10*v**2 + 11. Is 3 a factor of s(10)?
False
Suppose -5*m + m = 84. Let t(n) = -4*n**3 + 3*n**2 + 4*n + 3. Let h be t(-2). Let a = h + m. Is 4 a factor of a?
False
Suppose -12*h + 11*h = -126. Let r = 6 + h. Does 11 divide r?
True
Suppose 4*g = 3*g + 1095. Is g a multiple of 55?
False
Let l(p) = -5*p + 26. Is 3 a factor of l(-8)?
True
Suppose -3*p + 8*p - 15 = 0. Suppose 0 = 2*r + p*r + 25. Let h(y) = y + 11. Is h(r) a multiple of 5?
False
Let m be 141 - (40/(-18) + (-6)/(-27)). Let x = m - 138. Does 2 divide x?
False
Let u = 1944 + 762. Does 22 divide u?
True
Suppose -3850 = 3*j - 10*j. Does 17 divide j?
False
Let g(k) = 6*k + 1. Let q be g(0). Does 38 divide (-1)/((-2)/168) + (q - 1)?
False
Let i = -217 - -286. Is 53 a factor of i?
False
Let z = 8 + 152. Let f = -40 + z. Does 17 divide f?
False
Suppose 0 = 2*m - c - 1, -4*m - 10 + 27 = c. Suppose -g = 4*t - 23 - 17, -4*g = m*t - 173. Does 12 divide g?
False
Suppose y - 204 + 151 = 0. Is 2 a factor of y?
False
Let x(s) = -3*s + 129. Is x(-14) a multiple of 57?
True
Suppose -24 = 4*g - 7*g. Let m be -1*g/(-2)*1. Suppose -4 = -8*k + m*k, 4*b + k - 249 = 0. Does 13 divide b?
False
Let l(r) = -17*r - r**3 + 14*r**2 - 22*r**2 + 0*r**3 - 34. Is l(-9) a multiple of 47?
False
Let t = 21 + -21. Suppose -3*r + 0*r + 51 = t. Is 6 a factor of r?
False
Let n(j) be the third derivative of 2*j**2 + 0 - 1/120*j**6 + 11/24*j**4 + 0*j + 3/20*j**5 + 7/6*j**3. Is n(10) a multiple of 7?
False
Suppose 6*h = -6*h + 15228. Is 96 a factor of h?
False
Suppose 16 = 7*j - 11*j. Let q be (-22)/44 - 890/j. Is 15 a factor of ((-8)/(-6))/(4/q)?
False
Is 42 a factor of 6/4*(-13220)/(-30)?
False
Is ((-6)/2)/(4/(-112)) a multiple of 42?
True
Let f = -12 + 18. Let u(x) = -f*x**3 + 7*x**3 + 21 + 2*x - 10 - 7*x**2. Does 25 divide u(7)?
True
Suppose 5*i - 6 = 4. Suppose -3*f + 3*b + 15 = 0, 15 + i = 5*f + 3*b. Let x = f - -26. Is 15 a factor of x?
True
Let r(t) = 3*t**2 - t - 6. Let y(v) = -1. Let g(p) = -4*r(p) + 20*y(p). Let s be g(-2). Does 13 divide (1 - 1 - 1)*s?
True
Let a = 246 - 143. Is a a multiple of 2?
False
Let i(c) = -3*c**3 - c**2 + 14*c + 16. Is 7 a factor of i(-5)?
False
Suppose -3*x - 3*w = -114, -3*x - x - 5*w = -155. Let a = x - 28. Does 5 divide a?
False
Suppose -t - 15 = -41. Let x = 42 - t. Does 3 divide x?
False
Suppose -n = -3*s + 256, -36*n + 32*n = 2*s - 194. Does 6 divide s?
False
Let o(v) be the first derivative of 5*v**3/3 + 9*v**2/2 + 13. Is o(-4) a multiple of 16?
False
Let t be (-70)/(-40) - 2/(-8). Let l(b) = 21*b**2 + b - 4. Is 32 a factor of l(t)?
False
Suppose 0 = 3*a + 2*a, 5*j = 2*a + 30. Suppose -12*s + 384 = -j*s. Is s a multiple of 16?
True
Let g = 1 + -5. Let u be (-3 - 4)*g/14. Suppose 0 = m - u*v - 16, -5*m + v = -v - 96. Is 10 a factor of m?
True
Let p(o) be the second derivative of -o**4/12 - 7*o**3/6 - 3*o. Is p(-3) a multiple of 4?
True
Let f(a) = a**2 + a - 2. Let i be f(-9). Suppose s + s - 5*v = -i, s + 2*v + 26 = 0. Let x = 50 + s. Is 16 a factor of x?
False
Let p(x) = x**2 - 3*x - 21. Let b be p(5). Suppose s = 5*s + f + 163, 5*s + 5*f + 215 = 0. Let n = b - s. Is 29 a factor of n?
True
Let a(l) be the second derivative of -l**5/20 + 5*l**4/6 - 3*l**3/2 - 2*l**2 + 20*l. Is 19 a factor of a(8)?
False
Let k(f) = 6*f**3 - 2*f**2 - 3*f + 3. Let q = -8 + 10. Is k(q) a multiple of 15?
False
Suppose -4*i = 8*d - 24276, 18203 = 10*i - 7*i + 4*d. Is i a multiple of 44?
False
Is (552/14)/((-8)/(-28)) a multiple of 46?
True
Let p be -2 - (-1 - -13)/(-3). Suppose 0 = 4*m + 4*c - 169 - 599, -p*m + 381 = -c. Does 50 divide m?
False
Let g be 3*2 - (6 - (-3)/(-1)). Suppose -g*i - i = -20. Is 3 a factor of i?
False
Let t be (-54)/(-15) + 6/15. Suppose -4*s = -0*z - t*z + 68, 0 = -5*z - 2*s + 78. Does 16 divide z?
True
Let k(o) = o**3 + 3*o**2 + 6*o + 14. Let b be k(-3). Let l = 40 + b. Is l a multiple of 9?
True
Let n = -1046 - -2104. Is 26 a factor of n?
False
Let j(k) = -2*k - 12. Let v be (6 + 1)/1*-1. Let d be j(v). Suppose -d*s + 116 = 32. Does 7 divide s?
True
Let z(p) = 141*p + 112. Is z(16) a multiple of 8?
True
Suppose q = p + 4433, 3474 = q + 5*p - 947. Does 17 divide q?
False
Let l = 331 + -310. Is 13 a factor of l?
False
Let n(c) = c + 4. Let u be n(-1). Suppose -4*q + u*b = -2 - 26, -b + 14 = q. Is q a multiple of 10?
True
Let i(f) be the third derivative of f**5/60 + f**4/12 - 5*f**3/6 + 2*f**2. Let b be i(-4). Suppose 3*t = t + q + 157, 3*t + b*q = 249. Is 37 a factor of t?
False
Suppose 4*u - 7 = 2*u + c, 2*c + 6 = 2*u. Let v(x) = -x**3 + 4*x**2 + x. Let w be v(u). Suppose 76 = 4*h + w*p, -4*h + p = 3*p - 86. Does 6 divide h?
True
Let q(i) = -41*i**3 + 2*i - 4*i + 7 + i**2 - 9 + 0*i. Is 11 a factor of q(-1)?
False
Suppose -25 = -5*a - p - 7, -2*p = -5*a + 9. Suppose 7 = -l + a*s, 2*l + 3*l + 4*s = 41. Is l a multiple of 2?
False
Suppose 1022 + 40 = 9*f. Is f a multiple of 12?
False
Let r be 111/(9/24*2). Let q = 37 + -141. Let g = q + r. Does 22 divide g?
True
Let o(k) = k**2 + 36*k - 45. Does 33 divide o(20)?
False
Suppose -17*z - 654 = -24369. Is 9 a factor of z?
True
Let t be (-5 + 6)*1/(-1). Let n be 6*t*(-35)/14. Suppose 10*c + 365 = n*c. Is 19 a factor of c?
False
Let q(h) = 25*h + 18. Let z be q(6). Let i = 246 - z. Is i a multiple of 13?
True
Suppose t = -0*x + x + 1, 0 = 4*x + 2*t - 20. Suppose 74 = x*y + 4*a, 3*a + 0 = 15. Is y a multiple of 6?
True
Suppose 3*a - 1 = -4. Let c be -2 - (-86)/(1 - a). Suppose -5*l + 15 = -4*i + 206, -i - l + c = 0. Is 11 a factor of i?
True
Suppose -5 = -y - 0. Suppose -14 + 4 = -y*b. Suppose d = 2*i - 16, -5 = -b*i + 2*d + 7. Is 5 a factor of i?
True
Let d(t) be the first derivative of t**6/120 - t**5/12 + t**4/8 - 5*t**2/2 - 3. Let s(b) be the second derivative of d(b). Is s(5) a multiple of 9?
False
Let m = -7228 + 10679. Is 29 a factor of m?
True
Let g(x) be the second derivative of x**4/2 - x**3/6 - 3*x**2/2 + x. Suppose 0 = -9*a + 11 - 38. Is g(a) a multiple of 18?
True
Is 16 a factor of (-66880)/(-456)*(7 + -1*1)?
True
Suppose -5*b - 4 = -19. Suppose -2*h = -p + 9, -b*p = 5*h + 2*p. Is 26 a factor of (-6)/(h + (-156)/(-56))?
False
Is 8 a factor of 1 + 6/(-18) - 220/(-3)?
False
Let v be 3644/10 - 3/(-5). Suppose -3*t = 2*u - 6*u + 247, 0 = -5*t - 5*u - v. Does 10 divide (-18)/7*t/11?
False
Let j(x) = -x**3 - 8*x**2 + 7*x - 13. Suppose 0 = -32*s + 28*s - 36. Does 5 divide j(s)?
True
Let g(j) = -52*j - 4. Let f be g(-6). Suppose 3*y + 4*u - 286 = 0, -3*y = -4*u - f + 6. Suppose 97 = 3*m - y. Does 13 divide m?
True
Let y be ((-64)/2)/(-4) - 0. Let n be 114/22 - y/44. Suppose -23*v + 24*v - n = 0. Is v a multiple of 3?
False
Let x(l) = -3*l**3 - 7*l**2 + 55*l + 9. Does 20 divide x(-9)?
False
Let r = 138 - 134. Suppose -216 = -r*i + i. Does 18 divide i?
True
Suppose -c - c + 954 = -v, 0 = c + 4*v - 459. Is 57 a factor of c?
False
Let w(t) = -32*t**3 - t. Let r be w(-1). Suppose