tiple of 11?
True
Suppose -88*r + 239071 = 31*r. Is r a multiple of 21?
False
Let h(y) = -4*y**2 - 5*y + 3. Let u be h(3). Let a be (1/((-4)/u))/1. Is 7 a factor of ((-64)/a)/((-2)/9)?
False
Let f be 1/(2/(-18)) - (-8)/2. Let i(y) = -y**2 - 19*y - 4. Is 21 a factor of i(f)?
False
Let n = -49 - -51. Is 10 a factor of 0/n + 2 + 92?
False
Let r = -62 + 65. Suppose -11*s = -r*s - 1352. Is 13 a factor of s?
True
Let t = -65 + 110. Suppose -44*a + 44 = -44. Does 15 divide 1/((6/t)/a)?
True
Let h(p) = 3*p**3 + 6*p**2 + 2*p - 3. Let s be h(3). Is 14 a factor of (-1)/(-2)*6*s/9?
False
Let t(r) = -41*r**3 + r**2. Let j = 29 + -69. Let p be ((-16)/j)/(4/(-10)). Is 18 a factor of t(p)?
False
Suppose -5*q + 16 = -q. Suppose -6*k = -2*f - k + 166, q*f = -k + 288. Suppose -t - 11 = -f. Does 31 divide t?
True
Suppose 3*f = 699 - 108. Is 7 a factor of f?
False
Let f(z) = -z**2 + 8*z. Let q be f(8). Let k be (3 + -2 - q)*2. Is 4 a factor of (k/1)/((-4)/(-10))?
False
Let m(g) = g**3 + 5*g**2 - 6*g - 2. Let h be m(-6). Let y(r) = -r - 2. Let q be y(h). Suppose q = -f - 3*f + 64. Does 13 divide f?
False
Let x be (-1 - -4)/6*0. Suppose -3*k + 12 = 3*v, k + x*k - 10 = -3*v. Suppose 0 = -v*p - 4*b + 25 + 26, -2*p + 34 = 2*b. Is p a multiple of 3?
False
Suppose 0 = 15*p - 5*p + 490. Let s = p - -128. Is s a multiple of 10?
False
Suppose u + 1753 = 2407. Is 109 a factor of u?
True
Let w(y) = y**3 + y**2 - 4. Suppose -5 = 4*i + 5*z, -3*i + 3*z = i - 3. Let j be w(i). Let x = j + 46. Is x a multiple of 12?
False
Is 10 a factor of 175/(-35) - (0 + -179)?
False
Let o(u) = -28*u - 32. Let k = -131 - -125. Is o(k) a multiple of 8?
True
Let r = 0 + 2. Suppose -3*c + 184 = r*q, 5*q = 2*c - 0*c - 148. Does 8 divide c?
True
Let x = -213 + 376. Suppose -4*i - 273 = -4*u - 101, 0 = 4*u - i - x. Is u a multiple of 4?
True
Let k = 658 - 284. Let m = k + -192. Does 28 divide m?
False
Let t = -7 + 12. Suppose -3*p + 4*v = 10 + 2, -12 = 3*p + t*v. Is ((-35)/2)/(2/p) a multiple of 24?
False
Let x = 9 + -2. Suppose 0 = 2*c - x - 19. Let o = c - -3. Is o a multiple of 6?
False
Let b = 50 + -26. Let r be ((-248)/b)/((-2)/(-24)). Let g = -84 - r. Is g a multiple of 20?
True
Let z be (20/15)/(4/(-78)). Is 30 a factor of (-2370)/z - (-10)/(-65)?
False
Suppose 0 = -9*z + 10*z + 155. Let q = z + 245. Does 10 divide q?
True
Let n(a) = 84*a**2 - 8*a - 17. Let k be n(-5). Suppose -8*f - 3*f + k = 0. Does 20 divide f?
False
Suppose -1899 = -3*f + 855. Does 34 divide f?
True
Suppose 0*r = -6*r. Suppose -3*n + s - 19 = r, -3*s + 8*s = 2*n + 17. Let a(q) = q + 13. Is 7 a factor of a(n)?
True
Let k = 1212 - 287. Does 25 divide k?
True
Let m be (-5 + 2)*1 + (7 - -34). Let o = 166 - m. Is o a multiple of 18?
False
Suppose 9*v - 4*v - 56 = -o, 5*o = 4*v + 135. Let b = 79 - o. Does 16 divide b?
True
Suppose 4*x - 5*x + 1 = 0. Suppose 5*j + 4*r = -3, -7*r + 12 = -3*r. Does 8 divide (j - -1 - -17) + x?
True
Suppose 0*a = -5*a + 15. Suppose 2 = 5*n - 3, -2*n - 418 = -a*g. Does 28 divide g?
True
Is 24 a factor of (185 + 19)/((-3)/(-4))?
False
Let p(d) = -d**2 - 7*d - 3. Let a be p(-6). Suppose 194 = a*c - 226. Suppose c = 5*v - v. Is v a multiple of 11?
False
Is (-30 - -29)*(2 + -7)*383 a multiple of 16?
False
Suppose 2*d = 2*i + 12, -3*i - 11 = -2*d + 4. Suppose -d*b + 109 = 4. Is b a multiple of 7?
True
Suppose 3016 = 4*x - 4*v, 0*x - 4*v = -x + 766. Is 15 a factor of x?
True
Suppose -l - 355 - 309 = -5*p, p + l - 128 = 0. Suppose 0 = 7*s - 11*s + p. Let t = s + -17. Does 8 divide t?
True
Let j(a) = -12*a - 71. Is 5 a factor of j(-13)?
True
Suppose 43*k - 9603 - 12026 = 0. Is k a multiple of 4?
False
Let o(z) = 23*z - 19. Let w(k) = -35*k + 29. Let d(h) = -8*o(h) - 5*w(h). Does 13 divide d(-5)?
True
Suppose -4*i + 123 - 31 = 0. Let t = i + -1. Let b = t + -4. Does 13 divide b?
False
Let o(h) be the third derivative of -h**4/6 - h**3 + h**2. Let t = 40 - 49. Is 15 a factor of o(t)?
True
Suppose 0*v + v + 5*y - 35 = 0, 0 = 5*y - 15. Let r(i) = 2*i - 9. Let d be r(0). Let s = d + v. Does 11 divide s?
True
Let q(y) = 819*y**2 - 3*y - 3. Is q(-1) a multiple of 44?
False
Let r = 5 + -35. Let k = 98 - 84. Let n = k - r. Is 9 a factor of n?
False
Let x = 647 - -94. Is x a multiple of 9?
False
Let m = -30 + 157. Does 4 divide m?
False
Let g = -1 + 5. Suppose 7*c - 2*c = -g*r + 34, 5 = 5*r. Suppose -65 + 23 = -c*f. Does 2 divide f?
False
Let z(h) = -h - 7. Let a be z(-11). Suppose 14*c = 12*c + a. Suppose 0 = 2*w - 134 + c. Is 22 a factor of w?
True
Suppose -k - 5 + 0 = 0. Let o(t) = 2*t**2 - 8*t - 7. Is 10 a factor of o(k)?
False
Let x = -8 - -10. Let n be 3/6 + (-3)/x. Does 18 divide (n - -34)/(6/8)?
False
Let s = 117 + -104. Let n(q) = -q**2 + 11*q + 54. Does 4 divide n(s)?
True
Let j be 54*(4 + (-27)/6). Let z = j + 36. Is z a multiple of 9?
True
Suppose -22*b + 10273 + 221 = 0. Does 9 divide b?
True
Suppose -t + 277 = 4*u, 470 - 333 = 2*u - t. Is 6 a factor of u?
False
Let f(y) = -463*y - 243. Does 7 divide f(-5)?
True
Let s(u) = 3*u + 1. Suppose 5*t - 17 = -o, -2*o + o - 1 = -t. Is s(t) even?
True
Let a = -237 - -639. Is 13 a factor of a?
False
Let x(b) = 5*b**3 + 2*b**2 - 11*b - 6. Let d be x(6). Suppose d = 8*y - 0*y. Does 27 divide y?
True
Suppose -164 = 4*g + 4*t, -4*t - 85 = 2*g - 3*t. Let k = g - -1. Let o = -29 - k. Does 14 divide o?
True
Let j(n) = n**3 + 2*n**2 - 3*n - 2. Let s be j(-3). Let v be s + (-5)/((-10)/26). Suppose -50 = 6*h - v*h. Does 3 divide h?
False
Let z be (-7)/((-14)/4) + 360 + 1. Suppose -z = -3*a + 78. Is a a multiple of 21?
True
Let l(f) = 22*f**3 + 2*f - 1. Let i be ((-4)/6)/((-28)/210). Suppose 0 = -i*z + 5. Does 14 divide l(z)?
False
Let i be ((-27)/(-36))/((-1)/(-4)). Suppose -4*j - 5*v = -117, 2*j = -j - i*v + 87. Is 28 a factor of j?
True
Let a = 9 - 5. Suppose 9*g = a*g + 890. Suppose 4*l - 3*f = g, 0 = 5*l - 6*f + f - 220. Is l a multiple of 19?
False
Suppose 0 = -11*a + 3*a + 368. Is a a multiple of 7?
False
Suppose 0 = 6*q - 4*q + 5*d - 1219, 5*d + 2393 = 4*q. Is 14 a factor of q?
True
Let m be ((-23)/(-2))/((-3)/(-6)). Let p = -53 + m. Let q = p + 45. Is q a multiple of 5?
True
Suppose -5*o = 10*o - 30. Let j(d) be the second derivative of d**5/10 + d**4/3 - d**3/2 - d. Is j(o) a multiple of 8?
False
Suppose -l + 0*l - 2*t + 1396 = 0, 0 = -5*l + 3*t + 6954. Does 20 divide 20/35 + l/14?
True
Suppose -2*z = 7 - 19. Suppose 0*p - z*p = -366. Is 9 a factor of p?
False
Let h = 47 - 41. Let l(d) = 96*d + 6. Let r be l(9). Is 34 a factor of r/40*32/h?
False
Suppose 3*s = 8*s - 5*p - 255, 3*s + 5*p - 185 = 0. Suppose 125 = 4*r - s. Suppose 19*w = 14*w + r. Is w a multiple of 9?
True
Let l(s) = 34 - 3 - s + 2*s + 2*s. Is l(15) a multiple of 11?
False
Let i = -53 - -27. Let y = i + 78. Does 26 divide y?
True
Let f(w) be the third derivative of w**5/60 - 5*w**4/24 - 2*w**3/3 + w**2. Let d(m) = 5*m - 23. Let o be d(4). Does 5 divide f(o)?
True
Let z = -8 - -6. Let a be (1/z)/(3/(-372)). Suppose 2*r - 17 = -s, -4*r - r = 4*s - a. Is 2 a factor of s?
False
Is (-1 + -4)/(-1) - -923 a multiple of 32?
True
Let y = -284 + 366. Is 2 a factor of y?
True
Let a(r) = -r**2 - 32*r - 95. Is a(-27) even?
True
Does 94 divide ((-11)/(-3) - 3)/(11/2574)?
False
Suppose -85*n + 86*n - 46 = 0. Does 23 divide n?
True
Does 6 divide ((-612)/16)/(15/(-480))?
True
Is (147/9)/((-187)/99 + 2) a multiple of 2?
False
Is (4 - 3)/(1 - 2800/2804) a multiple of 11?
False
Suppose -13*b = -15*b. Suppose 0*z + 3*z - 4*s - 64 = 0, z - 2*s - 20 = b. Is z a multiple of 8?
True
Let r be (1/(-3))/((-2)/(-12)). Let x be 0 - r*3 - 0. Is 13 a factor of ((-52)/x)/(3/(-18))?
True
Suppose 0 = -2*t + 5*t + 4*f - 178, 2*t - 5*f = 157. Suppose 4*h + 2*k = 150, 4*h - 2*h = 2*k + t. Is h a multiple of 12?
True
Let i(x) be the second derivative of -7*x**3/6 - 7*x**2/2 - 2*x. Does 16 divide i(-11)?
False
Let t(g) = -g**3 - 9*g**2 + 13*g + 13. Let u(j) = 5*j**2 - 7*j - 7. Let q(r) = 4*t(r) + 7*u(r). Let n be q(3). Is 6 a factor of (8/10)/((-14)/n)?
True
Let w = -16 + 19. Suppose g - w*g + q + 228 = 0, -g - 5*q + 125 = 0. Does 39 divide g?
False
Let j(h) = 6*h**2 - 24*h + 68. Is 3 a factor of j(8)?
False
Let c be -4 + -1 + (-648)/4. Let j = 293 + c. Let y = -82 + j. Is y a multiple of 10?
False
Let l be ((-3)/(-9))/(2 + 1903/(-951)).