d(i) + 5*q(i). Is b(c) a multiple of 23?
True
Let z(n) = 7 + 4*n**2 - 3 - 6*n - 1. Let l be z(4). Let d = l + 2. Does 15 divide d?
True
Suppose 20*d - 16 = 12*d. Suppose 2*u = -d*u - 12, 4*u = 3*r - 156. Is 6 a factor of r?
True
Let d be 80/13 + 4/(-26). Let i = 11 - d. Suppose 184 = i*o - 76. Does 13 divide o?
True
Let z(c) = 42*c + 139. Does 20 divide z(7)?
False
Does 37 divide ((-4)/(-8))/(18/26640)?
True
Suppose -k = k + 4. Let r(l) = -l**3 - 2*l**2 - 4*l - 3. Let m be r(k). Suppose 68 + 107 = m*g. Is g a multiple of 12?
False
Let f = 78 - 75. Let c be (-964)/(-8) - 2/4. Suppose f*i - c = 72. Is i a multiple of 16?
True
Let k = 5132 - 219. Is k a multiple of 17?
True
Let p be (-22)/(-8) - 48/64. Suppose -p*h + 3*h = o - 24, 2*o - 48 = -2*h. Is o a multiple of 6?
True
Suppose 815 = t + 25*q - 23*q, 3*t + 5*q = 2446. Does 8 divide t?
False
Let z = -358 + 1595. Is 75 a factor of z?
False
Let m = 181 + -66. Let l = m - 91. Is l a multiple of 21?
False
Suppose -11*x = -222 + 90. Is x a multiple of 4?
True
Suppose -5084 + 20193 = 29*d. Does 46 divide d?
False
Let p = -10 - -15. Let m = -1 + p. Suppose 0*x - x = y - 12, -x + m*y + 32 = 0. Is x a multiple of 4?
True
Suppose 2*g = -3*y + 150, -2*y = g - 101 + 27. Let t = -29 + g. Does 16 divide t?
False
Let z(l) = -2*l**2. Let r be z(-1). Let i(p) = -p**3 + p**2. Let v(u) = 9*u**3 - 4*u**2 - 2*u. Let n(k) = -5*i(k) - v(k). Is 23 a factor of n(r)?
False
Suppose -6*j - 3*t + 43 = -j, 0 = -j - t + 9. Suppose 3*i = -4*b + 60, 2*i + 4*b + 2 = 42. Does 20 divide j/i*(0 - -150)?
True
Suppose -81*n = -64*n - 18241. Is n a multiple of 37?
True
Let d(r) = 11*r**2 + 24 + 6*r**3 + 11*r + r**3 - 8*r**3. Is 11 a factor of d(12)?
False
Let t = -38 - -41. Suppose 0*h = -t*o - 2*h + 173, -35 = -o + 5*h. Does 11 divide o?
True
Let n(g) = g**2 + 15*g - 234. Is n(-32) a multiple of 3?
False
Suppose -g = -2*g - 3*w - 235, -g + 3*w = 265. Let l = 420 + g. Is l a multiple of 34?
True
Let c(f) be the second derivative of f**4/12 - f**3 + 8*f**2 - 22*f. Does 16 divide c(8)?
True
Suppose -2*d - 6 = 3*k + 4, 2*d + 6 = -k. Is 4 a factor of 57/(d + 1 + 2)?
False
Let q(x) be the third derivative of 5*x**4/8 + 3*x**3/2 + 18*x**2. Is q(5) a multiple of 5?
False
Suppose -5*y + 480 = 5*p, 6*p - 5*p - 378 = -4*y. Does 3 divide y?
False
Let m be 885/12 - ((-9)/(-12) - 1). Suppose 16*l = 15*l + m. Is 54 a factor of l?
False
Let k(n) = -n**3 - 16*n**2 - 4*n - 1. Let i be k(-16). Let s = -48 + i. Is 5 a factor of s?
True
Suppose -5*n - 60 = -430. Suppose -5*j - 139 = -679. Let y = j - n. Is 22 a factor of y?
False
Suppose -2*g + 33 = 29. Suppose -31 + 303 = g*x - 4*b, -3*x = -b - 388. Is 32 a factor of x?
True
Suppose 4 = -c, c - 757 = -5*l + 2039. Let o = -15 + 26. Suppose -16*i = -o*i - l. Does 28 divide i?
True
Suppose 217 + 188 = 4*p - 5*h, -5*p = -h - 522. Suppose -5*x = -f + p - 5, x + 20 = -f. Let w = x + 112. Is w a multiple of 31?
False
Let l(x) = -x**3 - 8*x**2 + 2*x + 2. Let u be l(-8). Let a = u + 162. Suppose 5*b = -23 + a. Is 5 a factor of b?
True
Let h be 2*((-9)/(-4) - 2)*-2. Does 19 divide h + (-1380)/(-8) + 5/(-10)?
True
Let d(w) = 117*w**3 + 2*w**2 - 4*w + 4. Is d(2) a multiple of 23?
False
Suppose -2*g + 322 = -326. Is g a multiple of 36?
True
Let i(o) = 44*o + 1238. Is 80 a factor of i(0)?
False
Let k(c) be the second derivative of 3*c**3 + 3*c**2/2 - 3*c. Let m be k(5). Suppose -255 = -3*u - m. Is u a multiple of 22?
False
Let q(y) = 8*y + 1. Let t = -64 + 75. Is 26 a factor of q(t)?
False
Let g = 312 - -514. Is 59 a factor of g?
True
Suppose -3*b + 1 + 5 = c, b - 15 = 4*c. Suppose 2*z - 5*p = -3*z + 25, -23 = -b*z - p. Suppose 0 = 2*m - z - 1. Is m even?
True
Let j = 37 + -19. Let s = j + -16. Is 5 a factor of (s - -2 - 7) + 43?
True
Suppose 0 = 2*x - 2*p - 835 - 4041, 2*x + 5*p - 4862 = 0. Does 21 divide x?
True
Let y(i) = i + 4. Let x be y(-3). Let q(a) be the first derivative of 11*a**4 + a**3/3 - 3*a**2/2 + 2*a + 355. Does 23 divide q(x)?
False
Let y = 47 + -48. Does 22 divide -82*-1*y/(-2)?
False
Suppose -p + 187 + 1320 = 0. Is 11 a factor of p?
True
Suppose 3*p + 377 = 4*j, j - 48 = -4*p + 32. Suppose -7*a + 3*a = -j. Does 23 divide a?
True
Let d(t) = 5*t**2 + 40. Is 19 a factor of d(-7)?
True
Suppose 0 = 5*j - 2 + 12, -5*j + 2350 = 5*m. Does 8 divide m?
True
Suppose k - 136 = x, k - 124 = -0*k - 2*x. Is k a multiple of 11?
True
Suppose 216 = -5*m + 2*m + 2*j, 4*m - 3*j = -288. Let f = 18 - m. Is f a multiple of 45?
True
Let j be ((-3)/(-12))/1 + 1671/4. Suppose -4*o = -5*p - 1263, -5*o + 5*p + 1162 = -j. Is 20 a factor of o?
False
Let i(s) = -56*s**2 - s + 1. Let q be i(1). Let g be (q/12 + 4)*-12. Let l = g - -46. Is l a multiple of 18?
True
Suppose -26*j - 76 = -28*j. Is 14 a factor of j?
False
Let i(a) = a**2 - 14*a + 6. Let h be i(15). Let r = 25 - h. Suppose 5*y = -r + 19. Does 3 divide y?
True
Let p = 62 + -64. Is 16 a factor of (1 - (-3 - -1))*(-32)/p?
True
Let c(d) = -6*d**2 + 229*d + 3. Is 47 a factor of c(32)?
False
Suppose 305 = 3*y - 4*j, 3*j - 11 = -5*y + 449. Let s = y - -85. Suppose -7*k + 2*k = -s. Is 12 a factor of k?
True
Let o(r) = -r + 12. Let c be o(9). Suppose 2*p + c*p = 20. Suppose p*d - 11 = -3*m + 6*d, m = 3*d + 6. Is m a multiple of 3?
True
Suppose -23*n + 7605 = -10*n. Is n a multiple of 15?
True
Suppose -4320 = -4*s - 3*p, -9*p = -4*s - 5*p + 4292. Is s a multiple of 17?
False
Let r be 254/(-2)*(-2 - -4). Does 36 divide r/(-7) - (-8)/(-28)?
True
Let h(a) = 5*a**2 - 25*a - 115. Does 11 divide h(-7)?
False
Suppose 0 = 8*p - 3*p - 15. Does 14 divide (-3 + 3 + 309)/p?
False
Let m(x) = 31*x**2 + 23*x - 23*x + 1. Is 5 a factor of m(1)?
False
Let j(k) = -3*k + 6. Let c be j(4). Let x be 6*(-2 + (-15)/c). Suppose x*h + s = 6*s + 103, -4*h - s + 99 = 0. Is 10 a factor of h?
False
Let c be (-2)/(780/785 - 1). Suppose 0*j + c = 4*j + 2*x, -308 = -4*j + 4*x. Does 26 divide j?
True
Let s be 8/(-52) - 134/(-26). Suppose 4*c - 82 = -2*q - 0*q, -c - s*q + 25 = 0. Does 20 divide c?
True
Suppose 3*t = 4*t - 27. Suppose 2250 = t*r - 22*r. Suppose -3*o - n + 343 = 0, 2*o + 5*n = -2*o + r. Is o a multiple of 23?
True
Let b = 6 + -3. Does 11 divide (b/5)/((-2)/(-150))?
False
Let j(a) = -1277*a - 514. Does 34 divide j(-2)?
True
Suppose 4*r - 81 = -5*a, 3*a - a = 2*r - 54. Does 5 divide (r - -1)*(0 + (3 - 2))?
True
Suppose 5*x = 15 + 15. Suppose -x*d + d - 65 = 0. Let q = 24 + d. Is q a multiple of 11?
True
Let k(i) be the third derivative of 0*i - 4/3*i**3 + 1/4*i**4 + 0 - 8*i**2. Is 4 a factor of k(4)?
True
Let n = 19 + -10. Let w(o) = 2*o - n*o + 54 + 6*o. Is 16 a factor of w(0)?
False
Is 73/1 + -14 + 9 a multiple of 6?
False
Suppose 5*q - 43 + 48 = 0, -5*h + 3401 = 4*q. Is h a multiple of 3?
True
Suppose 0 = -2*h + 7*h + 5, h - 2073 = -m. Is 57 a factor of m?
False
Let k(j) = j**2 - 6*j + 6. Let d be k(8). Suppose 0 = -y + 4*h + 41, -5*y - h + 290 - d = 0. Is 11 a factor of y?
False
Suppose 0 = -w - 5 + 6. Let b = 6 + w. Suppose 0 = z - b + 1. Is z a multiple of 5?
False
Let i = -374 + 693. Is i a multiple of 11?
True
Suppose -3*g + 20 = -8*g. Let k(u) = 52 - 25 + 0*u**2 + 2*u**2 - u - 30. Is 16 a factor of k(g)?
False
Let s(m) = 7*m - 72. Let x(h) = 5*h - 48. Let u(w) = 5*s(w) - 8*x(w). Does 32 divide u(-8)?
True
Is 44 a factor of (-3 + 1)/((-6)/156)?
False
Let c = 708 - 264. Is c a multiple of 12?
True
Let k(m) = -m**3 - 7*m**2 - 10*m + 1. Let a be k(-7). Suppose b = -u + 50, -4*b + a = -3*u + 221. Is 14 a factor of u?
False
Suppose 5*g = 5*y - 840, -4*g = -2*y + 50 + 292. Does 55 divide y?
True
Let d = 37 - 52. Is ((-9)/d - 0)*165 a multiple of 33?
True
Let o(v) = v**3 + v**2 + v + 56. Let d(x) = x + 6. Let c = 16 + -22. Let g be d(c). Does 16 divide o(g)?
False
Let g = -53 + 80. Does 8 divide g?
False
Let z(q) = -61*q - 277. Is 6 a factor of z(-7)?
True
Let v(u) = -20*u + 9. Let c(h) = 21*h - 9. Let d(k) = 3*c(k) + 2*v(k). Is 30 a factor of d(6)?
False
Suppose 0 = 13*n - 42*n + 152453. Does 149 divide n?
False
Let k be ((-2)/4)/(2/(-88)). Let a(s) = s**2 + s - 85. Let j be a(9). Does 11 divide 12*j/15*k?
True
Suppose -121 = -4*n + 19. Suppose 0 = -38*o + n*o + 15. Is o even?
False
Let g(m) = 2*m**2 - 5*m - 9. Does 54 divide g(9)?
True
Let p be 10*(2 + 1 + -4). Let t be 18/5 - 4/p. Does 33 