?
True
Let f(p) be the second derivative of p**5/20 + 2*p**4/3 - p**3/2 - 3*p**2 - p. Let d = 147 + -155. Does 13 divide f(d)?
False
Let r(w) = 5*w**2 + 2*w. Let a be r(-2). Suppose 0 = -u - u + a. Suppose -u*c + 700 = -c. Is 20 a factor of c?
True
Suppose 2 = 2*a, 12343 = 5*w - 3*a + 1506. Is 7 a factor of w?
False
Suppose -5*z + 1 + 8 = -2*t, 4*t = 5*z - 3. Is 112/(-28) + (-3)/(t/(-86)) a multiple of 18?
False
Let f(y) = 9*y + 235. Is 21 a factor of f(-9)?
False
Let b(v) = 56*v - 5. Let d be b(1). Suppose 515 = 4*h + d. Is h a multiple of 29?
True
Suppose z + 2*z + 148 = 2*a, 4*z + 202 = -2*a. Let d = -32 - z. Is 22 a factor of 796/d + (-26)/117?
True
Let a(t) = 7*t + 5*t**2 + 3*t**2 + 6 + 5 + t**3. Is a(-7) a multiple of 5?
False
Suppose g + 3*f = 147, 4*g - 36 = -3*f + 561. Is 7 a factor of g?
False
Suppose -4*o = -o - 27. Suppose 289 + 56 = 3*q. Suppose o*d - q = 4*d. Is 7 a factor of d?
False
Suppose k - 5157 = -2*k - 5*t, 0 = k - 5*t - 1699. Is k a multiple of 54?
False
Let c(w) = -w - 23. Let x be c(-26). Suppose -2*g = -x*i + 8*i - 886, 0 = -2*i - 5*g + 367. Is 31 a factor of i?
False
Is (-13 + 467)/((-3)/(9/(-2))) a multiple of 19?
False
Let n be -3 + (-5)/(5/(-39)). Suppose 0 = h - 5*h - n. Does 13 divide (-1856)/(-72) + (-2)/h?
True
Let v = 1078 - 644. Is 14 a factor of v?
True
Suppose -32*l = -26*l - 576. Is l a multiple of 6?
True
Suppose 3*d - 6 = -3*r, 5*r - 4*d - 9 = 1. Suppose -2*k - 5*y = 9, -3*y = 6*k - r*k + 11. Does 6 divide (-26)/k + (0 - -2)?
False
Let r be ((-42)/(-24))/((-2)/(-32)). Suppose 3*m = m + r. Let n = 32 - m. Is n a multiple of 6?
True
Let b be (-84)/22 + (-18)/99. Does 10 divide b/6*-4*(-330)/(-8)?
True
Let b(x) = 2*x**3 - 29*x**2 + 14*x + 17. Let g(u) = 2*u**3 - 29*u**2 + 14*u + 17. Let i(j) = 5*b(j) - 4*g(j). Does 9 divide i(14)?
False
Suppose 2*k - 6*k + 2256 = 0. Suppose -k = -5*g + g + 4*h, h = 3*g - 423. Does 12 divide g?
False
Let g be 16 + 3 + (-16)/4. Suppose 0 = -8*p + 3*p - g. Does 7 divide (-10)/(-1)*(p + 5)?
False
Let c = -1 + 1. Let s = 217 + -201. Suppose q + q - s = c. Does 7 divide q?
False
Let t(p) be the second derivative of -4*p**3/3 + 3*p**2/2 + 6*p. Suppose 5*k - 4*l = 1, 3*k + 0*l - l = -5. Is t(k) a multiple of 9?
True
Let y(j) = 8*j**3 + 4*j**2 - j - 1. Let s(p) = -15*p**3 - 9*p**2 + p + 2. Let d(u) = -6*s(u) - 13*y(u). Is d(-2) a multiple of 10?
False
Let h be (-1 - 154/(-10))/((-15)/50). Let c = h - -86. Is 19 a factor of c?
True
Suppose 0 = -6*w - 14 - 22. Does 7 divide (w/9)/(4/(-102))?
False
Let s = 49 + 109. Let d = s + -83. Does 15 divide d?
True
Suppose 0 = 5*i - 74 - 16. Suppose -x + i = -v, 6 = 2*v + v. Is x a multiple of 7?
False
Suppose -5*u + 2*u + 2442 = 0. Is u a multiple of 33?
False
Let m(l) = -l**2 - 12*l - 9. Let h be m(-11). Suppose -h*f + 3*f = 38. Is f a multiple of 30?
False
Let u = 52 + -36. Suppose -4*l - u = -88. Is 7 a factor of l?
False
Let f = 12 + -9. Suppose -f = r - 6. Let w(z) = 5*z - 4. Does 3 divide w(r)?
False
Let p(i) = -i**2 + 12*i - 23. Let v be p(6). Let d(l) = -l**3 + 7*l**2 + 6. Let q be d(7). Let r = v - q. Is 7 a factor of r?
True
Let f be (0 - 5) + ((-4)/(-2))/(-2). Is (4/f)/(826/(-822) + 1) a multiple of 32?
False
Suppose 3*f + 8*s = 4*s + 326, -f + 127 = 5*s. Is 7 a factor of f?
False
Suppose 2*s + s - 350 = 5*a, -a + 106 = s. Is s even?
True
Let s(q) = -2*q - 20. Let m be s(-12). Suppose z + 9 = m*z. Suppose 0 = -z*g + 22 + 83. Is 7 a factor of g?
True
Suppose -15*h - 10455 = -30*h. Is h a multiple of 69?
False
Let b(c) = -23*c - 18. Let p be b(-12). Let q be (0 - p/(-9))*-3. Let t = q - -126. Is t a multiple of 13?
False
Let t = 21 + -17. Let q be (-438)/(-12) + 2/t. Suppose 3*r = -3*s + 7*s + q, 5*r - 83 = -4*s. Does 3 divide r?
True
Let m be (-32 - (-3 + -1)) + 1. Let u be (9/m)/(1/(-12)). Suppose -16 = 4*n, 3*d - u*n - 111 = -n. Is d a multiple of 33?
True
Let m be 367 + 8/((-4)/(-2)). Is ((-2)/(-3))/(-3 - m/(-123)) a multiple of 7?
False
Suppose -20*r + 6*r = -28. Suppose 2*p = -4*y + 332, -p - r*p + 492 = 4*y. Is 20 a factor of p?
True
Let r be 78/18 - (-2)/3. Let q(y) = 2*y - 6. Let j be q(r). Is 9 a factor of (j/(-10))/(14/(-490))?
False
Let p(b) = -8*b - 40. Is 4 a factor of p(-9)?
True
Does 16 divide (-42)/(18456/(-2048) + 9)?
True
Let m = 3485 - 2808. Is 11 a factor of m?
False
Let l = 1 - -4. Let w be (-10)/l + 2*1. Suppose 5*r - 10 = w, 5*h + 2*r - 4*r - 76 = 0. Does 16 divide h?
True
Let t(v) = -11*v - 17. Let x be t(5). Let b = -40 - x. Is b a multiple of 8?
True
Suppose 5*d - 18 = 2*o, 15 = 5*d - 3*o - 2. Suppose -d*v + 62 = -134. Is v a multiple of 8?
False
Suppose -24*u = -25*u - 218. Let m = 335 + u. Is 39 a factor of m?
True
Suppose r = -0*r + 2, -4*x + 5*r + 6294 = 0. Is 10 a factor of x?
False
Is 10 a factor of 2 - 590*(-9)/6?
False
Suppose 0 = -24*s + 26*s - 1922. Does 99 divide s?
False
Suppose i - 2*z - 12 = 0, -4*z = -0*i + 2*i. Suppose -i*m - 1 + 49 = 0. Is m even?
True
Suppose -4 = 3*r - 1. Let u(v) = -71*v + 1. Is u(r) a multiple of 8?
True
Suppose 0 = -411*s + 397*s + 11550. Is 25 a factor of s?
True
Let w = -7 + 4. Let v(k) = k**3 + 6*k**2 - 2*k + 1. Is v(w) a multiple of 11?
False
Suppose -5*c + 62 = s, 4*s - 4*c - 6 = 122. Does 37 divide s?
True
Let q = 5763 + -3672. Is q a multiple of 66?
False
Suppose -2*j = -6*j + 4*n + 16, 3*j - 4*n = 13. Is (-3)/(-27)*21*j a multiple of 4?
False
Let j(i) = -20*i + 150. Is j(-12) a multiple of 13?
True
Let a(s) = 2*s**2 - 9*s + 5. Let k be a(6). Let r = 83 - k. Does 25 divide r?
False
Let n = 48 + -32. Let l = n - 1. Is 22 a factor of ((-88)/10)/((-3)/l)?
True
Suppose a + w - 31 = 2*a, 4*a = 3*w - 120. Let z = a + 32. Does 4 divide z?
False
Suppose 7*a - 3781 = 2932. Is a a multiple of 34?
False
Let o(v) = -7*v - 6. Let c(i) = i + 1. Let k(z) = -4*c(z) - o(z). Suppose 5*n - p - 1 = 4*n, 4*n + 5*p - 4 = 0. Is 5 a factor of k(n)?
True
Let d = 406 - 307. Is 11 a factor of d?
True
Suppose c = -2*n + 5*c - 10, -3*c + 14 = 5*n. Let h be -2 + -4 + n + 94. Let b = h - 30. Does 23 divide b?
False
Let a be (4 + 76/(-20))*5. Let c(j) = -5*j**2 + 7*j**2 - a + 3*j - 3. Does 16 divide c(5)?
False
Let x(y) = 17*y - 4. Let t be x(3). Suppose -210 = -2*z - 2*b, 0 = -2*z - 3*b + 2*b + 210. Let q = z - t. Is q a multiple of 19?
False
Let s(g) = -2*g**2 + 41*g - 15. Let q be s(20). Suppose -c + q*r = 6*r - 47, 16 = -4*r. Does 49 divide c?
False
Let h = 29 + -26. Suppose -h*y + 5*j + 48 = -27, 4*y - 100 = 5*j. Is y a multiple of 25?
True
Suppose -9*l = 5*q - 14*l - 6335, 2*l - 8 = 0. Is q a multiple of 31?
True
Suppose -8 = -2*q - 5*d, 4 = -3*q - 5*d + 16. Let i = q + 5. Is 13 a factor of (-156)/i*(-1 + -2)?
True
Let g(t) = 29*t - 868. Does 73 divide g(40)?
True
Suppose 22 = 2*d - 4*r, -d + 0*r = 5*r + 24. Let m(n) = 141*n - 3. Does 15 divide m(d)?
False
Does 22 divide 5/3*(-4 + 79722/45)?
False
Suppose 4*x - 8385 = -5*o, -3*x + 5*o + 642 = -5603. Does 38 divide x?
True
Let b(p) = p**2 - p - 19. Is 17 a factor of b(-15)?
True
Let w = 72 - -4. Let n = 720 - 717. Is n/(-3 + 234/w) a multiple of 13?
False
Is ((-4)/6*48)/((-2)/1) a multiple of 15?
False
Suppose -34 = -3*p + 8. Suppose 62 - p = 3*u. Suppose 5*y - 3*y = u. Is y a multiple of 8?
True
Let j(u) = 39*u**2 + 40*u - 107. Is j(3) a multiple of 29?
False
Let g be 3*4/30 - 42105/(-175). Let q = g - 136. Is 7 a factor of q?
True
Does 8 divide (-6712)/(-7) - 56/(-392)?
False
Let m = -48 + -7. Is ((-154)/m)/(2/90) a multiple of 37?
False
Suppose -1199 = 5*s - 6689. Is 61 a factor of s?
True
Suppose 21262 = 9*p + 499. Is 13 a factor of p?
False
Let s = 18 + -17. Let g(v) = 134*v**2 + 2*v - 2. Let m be g(s). Suppose -w + m = 4*a + w, 1 = w. Does 11 divide a?
True
Suppose 3*c + 15 = -2*c. Let f = c + 5. Suppose -f*u + 28 = 6. Does 11 divide u?
True
Let x(q) = 3*q + 3. Let z be -2 - (1 + -4)/(-3). Let n be x(z). Let b = 5 - n. Is b a multiple of 11?
True
Let j(m) = m + 1. Let d be j(-8). Let c = 222 - 188. Let r = d + c. Is r a multiple of 9?
True
Let s be (3 - 5)/((-2)/(-37)). Let r(h) = -5*h + 48. Let p be r(13). Let t = p - s. Is 17 a factor of t?
False
Let t(o) = -o - 10. Let b be t(-10). Let i = b - 2. Is ((-86)/8)/(i/8) a multiple of 10?
False
Let k(p) = -p - 8. Suppose 0 = 8*d - 5*d + 27. Let z be k(d). Suppose -i - 45 = -5*l, -z