Suppose -h*p = -7*p + 51. Suppose -p = 5*s - 272. Does 15 divide s?
False
Let i(m) = 5*m**2 - 8*m + 13. Let f(q) = 4*q**2 - 9*q + 13. Let b(n) = -4*f(n) + 3*i(n). Let k be b(10). Suppose -2*r + k*r = 120. Is r a multiple of 8?
True
Suppose -o = -0*o - 5. Suppose 3 + o = -2*l. Let y(z) = -4*z + 8. Is 8 a factor of y(l)?
True
Let g(b) = -38*b - 42. Let x be g(-6). Let q = x - 91. Is 20 a factor of q?
False
Suppose 9*r + 0*r + 54 = 0. Is 2/2 - (r - 59) a multiple of 22?
True
Suppose 3162 - 602 = -5*w. Let z be ((-1)/(-2))/(4/w). Let r = z - -132. Is 18 a factor of r?
False
Let p = -509 - -894. Is 5 a factor of p?
True
Suppose -47 = -10*n + 3. Suppose -6*k = -2*q - k + 42, n*k = 5*q - 90. Does 2 divide q?
True
Let d(v) = 4*v + 19. Let s be d(-5). Let b be (-10)/(1 - s)*-1. Suppose 0 = b*m - 122 - 148. Is 6 a factor of m?
True
Suppose 0 = 5*s + 359 + 1556. Let j = s + 593. Is 10 a factor of j?
True
Let f(l) = -3*l**3 - 7*l**2 - l + 3. Let o be f(-6). Let r = o - 153. Does 42 divide r?
True
Let v(h) = -4*h - 12. Let k be v(-13). Is 3 a factor of (6/10)/(8/k)?
True
Suppose 0 = -90*p + 92*p + 5*c - 1673, c = 1. Is p a multiple of 53?
False
Let f be ((-5)/(5/(-44)))/((-2)/(-4)). Suppose 0 = -t - 3*t + 228. Let b = f - t. Is b a multiple of 28?
False
Suppose -14*y = -12*y - 32. Suppose -y*b + 108 = -14*b. Does 18 divide b?
True
Let w(l) = 245*l**3 - 2*l + 1. Let h be w(1). Suppose -3*p = -4*s + 5*s - 245, 3*p + 2*s - h = 0. Is 12 a factor of p?
False
Let v be 12/(-5)*(-190)/3. Let f(u) = -u**3 + 29*u**2 - 32*u + 4. Let a be f(28). Let r = v + a. Does 11 divide r?
True
Suppose -5*s + 2*x + 1736 = 108, 2*s = -x + 644. Is 9 a factor of s?
True
Let i = 2 - -4. Let d(p) = -p**3 + 6*p**2 - 8*p - 1. Let j be d(i). Let f = -29 - j. Is f a multiple of 10?
True
Let x(t) = 2*t**2 - 15*t - 3. Let h be x(8). Let n = 136 - h. Is n a multiple of 10?
False
Let p be 9/(-3)*12/(-12). Suppose -2*f - p*a = -9, -13 = -3*f - 2*a + 8. Is f even?
False
Suppose -136 - 2074 = -5*h. Is 34 a factor of h?
True
Suppose 37*j + 6713 - 55257 = 0. Is 8 a factor of j?
True
Suppose -o - 5 = -2*o. Suppose 0 = -2*z + 46 + 10. Suppose c = z + o. Is 12 a factor of c?
False
Suppose -j + 350 = 5*m, 0 = -17*j + 13*j + 3*m + 1400. Is 14 a factor of j?
True
Let n be ((-2)/(-2))/((-7)/(-10710) + 0). Suppose h = 19*h - n. Is 7 a factor of h?
False
Let h be 1*(7 + 0/1). Let k = 8 - h. Is 4 a factor of (0 - (-19 + k)) + -3?
False
Let a be 0/((-2)/1) + 3. Suppose 3*l = a + 3. Does 10 divide 0/l + (35 - -4)?
False
Let t be -181 + (0 - 2) + 0. Let q = 399 + t. Suppose -5*g = -g - q. Does 20 divide g?
False
Let j(g) = g**2 + 7*g + 3. Let l be j(-7). Let f = l + 2. Is f/4*(32 - 8) a multiple of 15?
True
Suppose 199 + 391 = 5*i. Let d = i + -60. Is d a multiple of 29?
True
Suppose 1495 = 4*w - g - 987, 0 = -4*w - 5*g + 2494. Is 47 a factor of w?
False
Let c be 2607/(-55) - (-3)/(-5). Let j = c - -128. Is 59 a factor of j?
False
Let u(f) = 2*f**2 - 4*f + 2. Let l be u(6). Is 9 a factor of l/4*20/5?
False
Suppose 0*p + p - 2477 = -4*i, 0 = 3*i - 3*p - 1839. Suppose 7*y + 86 = i. Is 38 a factor of y?
True
Suppose 8048 + 163 = 17*g. Is g a multiple of 28?
False
Let t(y) = 20*y**2 + y + 2. Let k be t(2). Let h(j) = -j**2 - j + 29. Let g be h(-5). Suppose -g*z + k = -6*z. Is 9 a factor of z?
False
Suppose 6*j - 8*j + 14 = 0. Suppose 8*s - 30 = j*s. Is s a multiple of 15?
True
Let w(r) = 3*r - 1. Is w(31) a multiple of 7?
False
Let y be (-43)/(-2)*(4 - 2). Suppose 0 = 5*x - 2*x. Suppose 2*b + y - 159 = x. Does 15 divide b?
False
Let m be 2*3/(-12)*6. Let x(w) be the third derivative of -w**6/40 + w**5/12 + w**4/8 + w**3/2 + 25*w**2. Is x(m) a multiple of 24?
True
Suppose 0 = 2*j + 4*a + 8, 7*j - 2*j + 5*a + 25 = 0. Let y = j - -236. Suppose 4*i + 14 = y. Is 18 a factor of i?
True
Let r(x) = x**2 + 8*x - 7. Let g be r(-9). Does 17 divide g*-4*68/(-8)?
True
Let l(x) = 20*x**2 + 30*x - 5. Does 17 divide l(-4)?
False
Let y = -1922 - -2092. Is 10 a factor of y?
True
Suppose 3*z + 5*k - 159 = 108, 75 = z - 3*k. Is 8 a factor of z?
False
Let o = 30 - 28. Is 1/(-5) - ((-2362)/10 + o) a multiple of 32?
False
Let j be (-4)/(-10) + (2 - (-2124)/15). Suppose -15 + j = n - 4*r, 5*r = n - 132. Does 13 divide n?
True
Suppose -900 = 18*u - 28*u. Does 11 divide u?
False
Let c = -81 + 93. Let z(o) = -o**2 + 17*o + 2. Is z(c) a multiple of 9?
False
Suppose i = 2*p - 5, 0 = -5*p - 5*i + 27 + 23. Suppose 5*c - 75 = -n + 2*c, -n = -p*c - 67. Does 8 divide n?
True
Let a(o) = 91*o - 6. Let u be a(1). Suppose 9*h = -u + 571. Is 23 a factor of h?
False
Does 107 divide ((-1)/(-1))/((-80)/(-31600))?
False
Let z(l) = -13*l + 38. Does 34 divide z(-18)?
True
Let c = 538 - 339. Let q = c - 140. Is q a multiple of 9?
False
Let k = -28 - -43. Is 15 a factor of k/(-4*4/(-16))?
True
Suppose 4*h - 2*p = 28, 0*p = 3*h - 5*p - 21. Let g = -29 + 58. Let y = g - h. Does 11 divide y?
True
Suppose -o - k = -522, -2622 = -0*o - 5*o - k. Is o a multiple of 25?
True
Let m be (-60)/(-33) + (-6)/(-33). Suppose -m*x - 427 = 2*z + x, z = 3*x - 227. Does 25 divide z*4/16*-2?
False
Let o(w) = -w**3 + 3*w**2 + 6*w - 4. Let y be o(4). Let b = 146 + -78. Suppose y*d = -8 + b. Is 11 a factor of d?
False
Let k(j) = 2*j**2 + 4*j - 1. Let t = -4 - -3. Let g = 6 + t. Is 23 a factor of k(g)?
True
Suppose -2*b - 2*b - 5 = -r, -3*b - 3*r + 15 = 0. Suppose 2*w = -b*w + 2*a + 52, 3*w = -a + 86. Is 3 a factor of w?
False
Suppose -160 + 4 = -6*r. Let a = -29 + r. Is 17 a factor of 3/(-9)*-93 - a?
True
Suppose 3444 = 7*k - 1764. Is 12 a factor of k?
True
Let q(j) = -26*j - 1. Let b be q(-2). Let r = -44 + 208. Suppose -101 = -3*c - w + b, 3*c - 2*w = r. Does 6 divide c?
False
Let u(y) = -y. Let n be u(1). Let m = n - -3. Suppose 44 = 4*z - m*z. Is 9 a factor of z?
False
Suppose 0 = 23*v - 14*v - 162. Is 18 a factor of v?
True
Let r(q) = q**2 + q + 3. Let g be (2/(-5) - 0)*5. Let y be (-16)/(-2 + g)*-1. Is 7 a factor of r(y)?
False
Let s(h) = 3*h - 5. Let w be s(8). Let j = 87 - w. Is 5 a factor of j?
False
Suppose 634 = 2*i + 2*d - d, -5*d + 1280 = 4*i. Is 21 a factor of i?
True
Let m be (-4*2 + 4)*1. Let g be m - (-40 + -1)*1. Let i = g + -11. Is 13 a factor of i?
True
Let r(d) = 5*d + 80. Is r(-7) even?
False
Let a(o) = -100*o**3 + 13*o**2 + 3*o**2 + 20 + 17*o + 52*o**3 + 49*o**3. Is a(-13) a multiple of 61?
False
Is 10 a factor of (48 - -11)*(6 + -3)?
False
Is (-42)/(-70) + (-894)/(-10) a multiple of 6?
True
Suppose -209*k + 204*k = -3195. Is k a multiple of 71?
True
Suppose -2*v = 6*v - 240. Suppose -v*p - 430 = -35*p. Is p a multiple of 18?
False
Let w = 4459 - 3090. Does 21 divide w?
False
Let o(g) = -43*g - 69. Let l be o(-8). Let h = 56 + -4. Suppose 4*q + h = b, -6*q = -5*b - q + l. Does 10 divide b?
False
Let k = 71 - -21. Does 8 divide (-6*k)/(-6) + 2?
False
Suppose 4341 = -41*p + 14345. Does 4 divide p?
True
Let k = 1399 - 814. Does 65 divide k?
True
Let z(f) be the second derivative of 5*f**4/12 + 8*f. Let r be z(-1). Suppose -r*d = -55 - 150. Does 6 divide d?
False
Let r(j) = 3*j + 6. Let q be r(-1). Suppose 4*m = 2 - 6. Is (m - 1) + q - -16 a multiple of 8?
False
Suppose -12*n + 9*n + 15 = 0. Suppose 0 = -i - n*i + 18. Does 6 divide 3/2*20/i?
False
Suppose 2 = 2*s, 1386 = 2*k + s - 215. Does 16 divide k?
True
Suppose 0 = -2*q + q - 8*q. Suppose f + 6 - 12 = q. Is f a multiple of 3?
True
Let z(g) = g**3 + 12*g**2 + 16*g + 10. Let m be z(-8). Suppose 9*l + m = 12*l. Does 3 divide l?
False
Let d = 261 - 169. Does 8 divide d?
False
Let f be ((-2)/4 + 0)*-10. Suppose 4*o - 2*q + 0*q + 290 = 0, -5*o - f*q = 400. Let h = o + 151. Does 17 divide h?
False
Let k(c) = c**2 - 2*c + 14. Is k(33) a multiple of 17?
True
Suppose -1 - 5 = -3*j. Suppose j*n - 3*l = -2 - 41, -3*l = 3. Let h = -8 - n. Is 10 a factor of h?
False
Let o(f) = 73*f**2 + 26*f + 99. Does 19 divide o(-5)?
False
Suppose 0 = -j + l + 602, 15*j - 5*l - 1204 = 13*j. Does 4 divide j?
False
Let i = -310 + 1127. Is 19 a factor of i?
True
Suppose 30*w - 2523 = 27*w. Suppose w + 43 = 13*a. Is 34 a factor of a?
True
Suppose -12*n - 10878 = -26*n. Does 37 divide n?
True
Is ((-14288)/(-24) - 5) + (-2)/6 a multiple of 31?
False
Suppose 0 = 3*h - 17 + 8. Suppose 1054 + 1166 = 5*v + n, 0 = -v - n + 448. Suppose -v + 119