rue
Suppose 9 = d - 4*q, 7 = d - 2*q - 0*q. Suppose -d*p + 281 + 114 = 0. Is p a multiple of 16?
False
Let h(f) = -11*f**3 + 2*f - 5. Let i(u) = -5*u**3 + u - 2. Let k(g) = 2*h(g) - 5*i(g). Is k(3) a multiple of 13?
True
Let o = -45 - -45. Let s(m) = -m**2 + 2*m + 48. Is 8 a factor of s(o)?
True
Does 20 divide ((-276)/230)/(4/(-290))?
False
Let d = -227 + 507. Is 28 a factor of d?
True
Let y be 160/30 + 1/(-3). Suppose 2*g + y = 49. Is g a multiple of 22?
True
Let y = -5 - -8. Let p(q) = q**3 + 6*q**2 + 8. Let n be p(-5). Suppose y*v - n = 6. Is 13 a factor of v?
True
Is 6 a factor of 1*(-3 + 8 - -6)?
False
Let n(a) = a**3 - 8*a**2 + 30*a - 53. Is 64 a factor of n(11)?
True
Suppose 3*w - 954 + 218 = -4*s, 2*s = -w + 242. Does 9 divide w?
True
Is 23 a factor of (2/(-5))/((-39)/8970)?
True
Does 67 divide (-16270)/(-6) + (-250)/150?
False
Let d = -6 + 6. Let o be 9 - (d - (1 - 4)). Suppose -112 + 304 = o*r. Is 32 a factor of r?
True
Suppose 2 = -2*a - 34. Let l be (-4)/a + (-22)/99. Suppose g - 6 - 4 = l. Does 2 divide g?
True
Suppose -10*v = 3*v - 6916. Is 20 a factor of v?
False
Suppose -4*f + 23 = 7. Suppose -f*n = 3*y + 2*y - 12, 3 = -4*y + n. Suppose 0 = -y*o + 5*o - 270. Does 18 divide o?
True
Let m(r) = r**3 - 8*r**2 + 5*r - 2. Suppose -4*d - d + 65 = -4*n, 0 = -4*d + 4. Let l = n + 24. Is 31 a factor of m(l)?
True
Is 27 a factor of 1*(347 - (-7 + 3))?
True
Suppose -5*a - 208 = -6*a - 4*r, 0 = -5*a + r + 1103. Is 44 a factor of a?
True
Let v = 1 + 2. Suppose 5*p - 28 = 4*h, -4*p - h + 35 = -0*p. Is p/(-2*v/(-9)) a multiple of 11?
False
Let f(x) = 2*x + 8. Let o be f(7). Let h(r) = r**3 - 4*r**2 + 5*r - 3. Let m be h(3). Suppose m*p - 2*p - o = 0. Is 11 a factor of p?
True
Let g(r) = 7*r + 22. Let x be g(-3). Is 4 a factor of -1*2 - (-1)/x*42?
True
Suppose 3*f = 3*g + 1767, 0 = -141*f + 136*f - 2*g + 2966. Does 8 divide f?
True
Suppose 0 = 3*d - 2*f + 10, 5*d + 5*f + 25 = 0. Let a = d + 6. Suppose -k - k + 45 = l, -a*l = -2. Is k a multiple of 17?
False
Let i be ((-25)/(-20)*2)/(1/(-50)). Does 15 divide (-5675)/i - 4/10?
True
Let b be (-6)/(-51) + (-98)/(-34). Suppose -2*w - b*w = 300. Does 9 divide -21*(w/21 + 2)?
True
Suppose 8 = -3*c + 326. Does 9 divide c?
False
Suppose 4*z - 3*c = -2*c - 154, -4*z - 144 = 4*c. Let v = z + 74. Is 4 a factor of v?
True
Let b = 45 + -40. Suppose -87 = -b*g - 2. Is g a multiple of 3?
False
Let t be (7/(-3))/(28/(-6) + 5). Let r(u) = 4*u**2 - 4*u - 4. Does 15 divide r(t)?
False
Is (-2074)/(-4) - 3/2 a multiple of 47?
True
Suppose -68*b = -75*b + 8372. Is 26 a factor of b?
True
Suppose -3*w + 0*w + 48 = 0. Let j be 24 - (0 - 0 - -2). Does 3 divide 2/w*4*j?
False
Let z = -50 - -130. Suppose -330 + z = -5*f. Is f a multiple of 3?
False
Does 20 divide 1*26/(-117) - (-29882)/9?
True
Suppose 0 = -15*o + 47*o - 9312. Is o a multiple of 9?
False
Let f(t) = -2*t**2 + 9*t + 24. Let q(o) = -o**2 + 5*o + 12. Let w(u) = -6*f(u) + 11*q(u). Is w(-9) a multiple of 9?
False
Suppose 3*j = 19*l - 14*l - 1631, 5*j = -2*l + 640. Does 28 divide l?
False
Suppose -231*o + 360 = -225*o. Is o a multiple of 10?
True
Let d(r) = -r**3 + 2*r**2 - 4*r + 3. Let u be d(-6). Suppose c - u = -4*c. Is c a multiple of 4?
False
Let s = -62 + 55. Let v = s - -36. Is v a multiple of 15?
False
Let v(i) = i**3 + 2*i**2 + 1. Let a be v(-2). Let n = a + 3. Suppose -n*z - 4*m + 164 = 0, -5*z + 186 = -3*m - 27. Does 14 divide z?
True
Let a = -5 + -4. Let f(b) = b**2 + 9*b + 6. Let t be f(a). Suppose -7*z + t*z + 6 = 0. Is 6 a factor of z?
True
Suppose -123 = -9*b + 10*b. Let i = -83 - b. Is 20 a factor of i?
True
Let n(f) = -15*f - 12. Suppose -4*t - 100 = -0*t. Let p be 10/2*30/t. Is 16 a factor of n(p)?
False
Does 26 divide (-156)/((-2)/3*60/80)?
True
Let o(b) = -2*b**3 - 8*b**2 - b + 3. Is o(-9) a multiple of 79?
False
Let t = -13 - -17. Suppose 60 = t*z + z. Does 12 divide z?
True
Let z = 2 - -1. Suppose -3 = -j + m, 2*j - 6 = -0*j - z*m. Suppose -j*w + 2*f + 87 = -120, -5*w - 4*f + 367 = 0. Is w a multiple of 21?
False
Let v(d) = d**3 - 5*d**2 - 8*d - 1. Suppose 2*x = -5*l - 34, 0*l = 2*l + 4. Let q = -5 - x. Is 13 a factor of v(q)?
False
Let a = 1745 + -1671. Is 9 a factor of a?
False
Let c be 640/90 + (-2)/18. Let g(s) = -c*s + 5 + 8*s**2 + 4 + 2*s - 3 - s**3. Does 16 divide g(6)?
True
Let j be 14/(-3) - 10/(-15). Let k be (-2)/j + 14/4. Suppose 39 = -k*y + 147. Does 5 divide y?
False
Suppose 2*c - 5*r + 497 = 0, -2*r = 2*c + 258 + 204. Let v = -81 - c. Is 31 a factor of v?
True
Let y = 26 - 53. Let h = y + 29. Suppose -21 = 5*j - t - 343, h*j - 5*t - 115 = 0. Is j a multiple of 13?
True
Suppose 10 = 5*b - 2*d, 3*b + 2*d + 2 = -8. Suppose 6*h = -2 + 146. Suppose -i - 3*i + h = b. Is 5 a factor of i?
False
Does 11 divide 112 + 24/3 + -1?
False
Suppose -133 = -15*n + 10*n - h, -2*h = -n + 20. Does 26 divide n?
True
Suppose n = 1 + 1. Let x(s) = -5*s + 4. Let u be x(n). Is 24 a factor of 76 + -6 + u/(-3)?
True
Suppose 0 = -4*a + 9*a - 5. Let n(d) = 40*d**2. Is n(a) a multiple of 7?
False
Suppose -22*r + 29 + 719 = 0. Is r a multiple of 6?
False
Let h be ((-2 - 0)/(-1))/((-38)/(-9937)). Let r = h - 298. Is 18 a factor of r?
False
Let i = 3470 - 1994. Is i a multiple of 36?
True
Is 5 a factor of (-26)/((-4)/40*4)?
True
Suppose 239*p + 762 = 242*p. Is 12 a factor of p?
False
Let i = -56 + 65. Suppose -i*p + 80 = -8*p. Is p a multiple of 16?
True
Let m(b) = b**2 - 12*b + 4. Let f be m(12). Let z(r) = r**2 - f - 8*r + 4 + r + 2. Does 16 divide z(10)?
True
Let y(w) = -4*w - 3. Let j be y(-13). Suppose -j = -6*s + 143. Is s a multiple of 26?
False
Let r be (7/((-14)/16))/1. Let c = r - -12. Suppose -46 - 6 = -c*s. Is s a multiple of 11?
False
Suppose -r + 3*r = 230. Suppose -2*a - 75 + 604 = 5*u, 5*a = -u + r. Does 35 divide u?
True
Suppose -45*c + 48*c = 30. Suppose -3*n = -n - c, 346 = i + 4*n. Suppose -i = -3*p - 4*b, -3*p - 2*p - 3*b = -525. Is 34 a factor of p?
True
Is 29 a factor of 685/1 + -9 + -6?
False
Suppose -19*h + 1225 = 6*h. Does 7 divide h?
True
Let r(y) = 8*y**3 + 2*y**2 - 2*y - 1. Let x(n) = -n**2 + n + 1. Let q(a) = r(a) + x(a). Let j be q(1). Is 9/12 + 282/j a multiple of 9?
True
Is 17 a factor of ((-2)/6)/(2/(-2802))?
False
Let d = -11 - -12. Let n be d/(-2) + (-14)/4. Does 7 divide (44/(-4))/(n + 3)?
False
Let s = 353 - 192. Let p = 240 - s. Suppose -194 = -3*f + p. Does 14 divide f?
False
Let m be (-6)/10 - (-1)/(25/(-2110)). Let k = -52 - m. Does 11 divide k?
True
Suppose u = -3*f + 376, -3*f - 2*u + 2 = -369. Does 6 divide f?
False
Suppose 5*y + 18 = -5*b - 2, 3*y + 10 = -5*b. Is 26 a factor of (-1 - y/2)/(6/208)?
True
Let z(m) = -6*m - 3. Let p be 1/(3/(-3 + -3)). Let n be 3*(p - 0/4). Does 11 divide z(n)?
True
Is (-3738)/56*4/(-3) a multiple of 22?
False
Let v be (25/(-4) - -1)*(-164)/(-41). Does 6 divide 2*(-2)/(-4)*v/(-3)?
False
Let c = 34 - 28. Suppose -7*g + c = -575. Is 15 a factor of g?
False
Suppose -2*a + 100 = 3*s, 0 - 55 = -s - 5*a. Is s a multiple of 15?
True
Suppose -3*a = 5*g - 27, 4*g + 5*a = g + 29. Suppose 5*h + 3 - 23 = 0, -h = g*y - 82. Suppose 4*z = m + y, 0 = -z - 2*m - m. Is 6 a factor of z?
True
Let a(u) = -166*u**3 + u**2 + 3*u + 1. Let s(q) = -q - 13. Let y be s(-12). Does 15 divide a(y)?
True
Suppose -2*k + 4*k = -q + 705, -4 = -4*q. Is k a multiple of 32?
True
Suppose -12*c - 6789 = -15*c + 5*l, 0 = 4*c - l - 9069. Is 42 a factor of c?
True
Let t be 3*(100 + (-9)/3). Suppose -5*c + 364 = -3*g - g, 3*g = 4*c - t. Does 11 divide c?
False
Is 1/(2/766) - (4 + -3) a multiple of 7?
False
Suppose -4*h + 161 = -39. Suppose -v + 2*n = -2*v + 25, h = 3*v + n. Does 14 divide -115*(-2 + 24/v)?
False
Suppose 0 = 18*r - 11*r - 10878. Is (-3)/(-4) - (-1 - r/8) a multiple of 28?
True
Suppose -3*j = -s - 301, 23*j = 28*j - 5*s - 485. Is 6 a factor of j?
True
Suppose -f - 1 = -41. Let p(w) = 7*w**2 - 2*w - 2. Let x be p(-2). Let i = f - x. Is 3 a factor of i?
False
Let m = 145 - -16. Does 7 divide m?
True
Let b = -96 + 327. Let y = b + -142. Does 21 divide y?
False
Suppose 4*z + 16 = 0, 5*g - 8 = 4*z + 28. Suppose 40 = g*u - 60. Let d = u + -4. Is d a multiple of 8?
False
Suppose -2*j - 4932 = -11*j. Is j a multiple of 25?
False
Let f = -14 + 16. Let k(u) = f*u - 3 + 4 - 4. Is k(6) a multiple of 4?
False
Let c(h) = 7