52 - c. Is a a multiple of 34?
False
Suppose -5*f = -2*b + 99, -2*b + 145 = b - 4*f. Let o = b + -42. Suppose 0 = -3*a + 6 - 0, -o*s + 5*a + 195 = 0. Does 9 divide s?
False
Let t be -2*1 - ((-13 - -3) + 2). Let a(o) = -2*o**2 + 10*o + 16. Let f be a(t). Does 7 divide 0/(-2) + -1 + (54 - f)?
True
Suppose 2*i - 21 + 25 = 0. Let t be (-35288)/77 + i/(-7). Let u = -288 - t. Does 36 divide u?
False
Suppose -2*z = -15*z + 1872. Let x = -19 + z. Let u = -94 + x. Is u a multiple of 20?
False
Suppose 29*k - 832093 = 11*k - 306781. Is k a multiple of 192?
True
Suppose -16 = 3*w + 4*q, -4*w - q = -5*w + 4. Suppose 3*j - 1654 = -2*j - 2*z, w = j - 5*z - 320. Does 15 divide j?
True
Suppose -28*r + 8*r + 360 = 0. Suppose -9240 = -r*p + 4*p. Does 33 divide p?
True
Suppose 2*g - 20 = -7*u + 5*u, 0 = -u - 2*g + 11. Let c(q) be the first derivative of q**3/3 - q**2/2 - 18*q - 1. Does 11 divide c(u)?
False
Suppose 4*x - 20 = 0, -287*x = -3*u - 286*x + 2557. Is 122 a factor of u?
True
Suppose w = 3*w - 2*g - 32450, -5*g - 32459 = -2*w. Suppose -26*u + 626 + w = 0. Does 72 divide u?
True
Does 5 divide (-238)/(-136)*2/(-14) - (-15127)/28?
True
Let u = 10516 + -6708. Does 32 divide u?
True
Let c be -5*-3*(-2)/6. Let w(d) be the first derivative of -d**4/4 - 4*d**3/3 - 3*d**2/2 - 17*d + 41. Does 23 divide w(c)?
True
Suppose -2*q = -3*l + 5, 2*q + 2*l - 5 - 5 = 0. Suppose 0 = -2*y - 8, w = q*w + 2*y - 160. Suppose -w = 8*z - 12*z. Is z a multiple of 7?
True
Let q = -28404 - -32804. Is q a multiple of 88?
True
Let n = 15315 + 9039. Is 13 a factor of n?
False
Let x = 201 - 199. Suppose 382 + 303 = 5*b + x*a, -2*a = -5*b + 665. Does 27 divide b?
True
Let i = -40 + 29. Let w = i + 16. Suppose 0 = -y + 5*x + 164, w*x = -4*y + y + 392. Is y a multiple of 22?
False
Suppose 2*k - 5*j = 34, 9 = k + j - 1. Let d be 6/((-4)/k - (-20)/66). Is ((-6)/9)/(1/d) a multiple of 12?
True
Let b(o) = 9*o**2 - 566*o + 86. Does 9 divide b(67)?
True
Let r be (-3 - -4)/(-3*3/(-378)). Let z(a) = 22*a + 13 + 23*a - r*a. Is 7 a factor of z(13)?
False
Suppose 12 = 3*p, -2*p + 3 + 9 = -2*t. Let h(a) = -a**3 + 4*a + 4. Let f be h(t). Suppose 0*s - 5*s + 3*g = -589, g = f*s - 467. Is 29 a factor of s?
True
Let j = 12887 - 9800. Is j a multiple of 21?
True
Suppose d + 1 = 0, r + 21*d - 10 = 26*d. Let q(o) = -105*o**2 + o - 1. Let x be q(1). Is 4 a factor of x/(-3) + (9 - r - 3)?
True
Let k(g) = -g**3 - 52*g**2 - 41*g + 1008. Is k(-58) a multiple of 130?
False
Let y = -322 - -476. Let b = 170 - y. Does 3 divide b?
False
Suppose 0 = 4*z + z - 3*n + 1358, 5*n + 266 = -z. Suppose -4012 = 17*f - 731. Let i = f - z. Is 26 a factor of i?
True
Suppose -14*t + 12*t + l + 1679 = 0, 12*l = 2*t - 1624. Is 67 a factor of t?
False
Suppose 5*z - 4*f = 12940, -5183 = -2*z - 0*f + 3*f. Is z a multiple of 17?
True
Let v(o) = -o - 9. Let f be v(-12). Suppose 0 = -d - 2*y + 12, f*d - 15 = -2*d - y. Suppose d*x + 426 = 5*x. Is 13 a factor of x?
False
Let d be (-30)/20 - (-6)/4. Suppose d = 2*u + 2*u + 24. Let l = 76 + u. Is l a multiple of 14?
True
Let p be 7 + 3 + (1 - 6). Suppose 302 = -p*w + 8*w + 2*r, 3*w - 301 = -r. Is 8 a factor of w?
False
Is 107 a factor of ((-15420)/(-14))/(177/413)?
False
Suppose 2*g + g = -51. Suppose 0 = 4*b + 3*s + 114, 0 = 8*b - 5*b + 3*s + 87. Let d = g - b. Does 2 divide d?
True
Let h(p) = -109*p**3 + p**2 + 27*p + 95. Does 4 divide h(-4)?
False
Suppose -2*z = u - 2 - 0, 0 = 3*u - 2*z - 38. Let k(b) = -b**2 + 2*b + 12*b + u - 2. Is 16 a factor of k(8)?
False
Suppose 157 = 4*y - 3*o, -2*y - 3*o = -5*o - 78. Suppose y = 15*b - 7*b. Suppose -h + 3*h = b*s + 126, -s + 102 = 2*h. Does 17 divide h?
False
Let a = -376 + 388. Suppose 0 = -a*d + 7*d + 15, 4*d = -p + 82. Is 5 a factor of p?
True
Let w be (0/(-3) - -2)*1696/64. Suppose 4*c - w = 5*p + 21, 0 = 2*c - 5*p - 32. Is c a multiple of 7?
True
Let d(y) = y + 3 + 0 + 2. Is 4 a factor of d(14)?
False
Let v = 73 + 57. Let l = -57 + v. Is 8 a factor of l?
False
Suppose 4*b - 50 = -50. Is 273 - b - 12/12 a multiple of 8?
True
Suppose 17*p = 14*p + 9. Suppose -k = -p*v - 633, 2*v - 3 = v. Is 65 a factor of k?
False
Let g be (18 - -1 - 7)/(2/16). Let t = 152 + g. Is t a multiple of 7?
False
Does 10 divide 2787 - (-12 + 36)/(-4)?
False
Let p(n) = n**3 + 5*n**2 + 2*n**2 - 9*n + 0*n**2 - 6 - 2*n**2. Suppose 54 = -18*g + 9*g. Is p(g) a multiple of 4?
True
Let k = 261 + -248. Suppose -7*s - k*s = -4920. Is 3 a factor of s?
True
Is 6 a factor of (-13)/(-26)*-38 - -2876?
False
Suppose -4*a + 3*p + 3966 = 0, -2*a + 4*p = 13 - 2001. Is a a multiple of 3?
True
Let g = 74676 + -45215. Is 134 a factor of g?
False
Does 78 divide -6 - ((-2188321)/219 - (-1)/3)?
False
Is 58 a factor of -2 - (-2 + -153)*6?
True
Is 41 a factor of ((5 + 36)/(50/(-20)))/(1/(-240))?
True
Let b(l) = 1853*l - 5128. Is 70 a factor of b(8)?
False
Suppose h = 6*m - 75367, 0 = -2*m + 4*h + 21630 + 3518. Does 65 divide m?
False
Suppose 14*g - 55 = 2*m + 11*g, -m = -2*g + 30. Does 25 divide (1170/(-4))/9*m?
True
Let k(n) be the first derivative of 4*n**3/3 - 11*n**2/2 + 72*n + 147. Does 9 divide k(14)?
True
Let i(d) = 3*d - 7. Let c be i(3). Suppose 117 = -0*y + y + c*t, -3*t + 453 = 4*y. Does 7 divide (-3)/(-2)*2072/y?
True
Let y = -16184 - -31914. Is 13 a factor of y?
True
Let x = 310 + -606. Let h = -2 - x. Is 6 a factor of h?
True
Let q = -28 - -41. Suppose -h = q + 35. Let g = h + 112. Is 8 a factor of g?
True
Let u(m) = 215*m**2 + 3*m + 10. Let v be u(3). Let s = v + -1171. Is s a multiple of 49?
False
Let z(p) = -p**3 + 9*p**2 - 5*p - 22. Let h be z(8). Let l(t) = -12*t - 6 - 13*t + 29*t - 3*t**2 + 0*t**3 + 21*t**3. Is 18 a factor of l(h)?
False
Let s(j) = 4*j**2 + 5*j - 42. Let f(h) = -5*h**2 - 6*h + 40. Let n(d) = 3*f(d) + 4*s(d). Is n(7) a multiple of 9?
False
Let n(i) = -1539*i + 3275. Is 22 a factor of n(-19)?
True
Suppose q - 4*n = 6074, -3*n + 2559 - 20745 = -3*q. Does 26 divide q?
True
Let r be 10*(-4 + 21/5). Suppose -2*h = 5*i - 200, 3*h - r*i + 311 = 6*h. Is 18 a factor of h?
False
Let k = 2026 - -3490. Suppose -10*s + k = -6804. Is 77 a factor of s?
True
Suppose 0 = z - 2*l + 198, -2*z - z + 3*l = 588. Let u = 987 + z. Is 13 a factor of u?
True
Let v be ((-1522)/(-4))/((-97)/(-24) + -4). Suppose -16*a - 2156 = -v. Does 15 divide a?
False
Suppose 6*d + 2*d - 48 = 0. Suppose -3*r - 22 = d*s - s, 4*r = s - 14. Does 6 divide r/18 + (-3140)/(-36)?
False
Suppose 0 = 5*o - 3*m - 1889, 0*m = 5*m - 10. Suppose -2*b + 0*w - 5*w = -o, 5*b + 5*w - 910 = 0. Is b a multiple of 11?
False
Suppose -3*f = -6 + 3. Let u(h) = 152*h**2 - 3*h + 1. Is 30 a factor of u(f)?
True
Let j(w) = 0*w**2 + 0*w + 13 + 0*w + 3*w**2 - 8*w. Is j(-7) a multiple of 27?
True
Suppose 2*z - 9221 = -10*m + 5*m, -4598 = -z - 5*m. Is 5 a factor of z?
False
Suppose -249*r = -226*r + 401*r - 8831496. Is 53 a factor of r?
True
Suppose 2*m = -4*i - 16, 3*i - 2*m - 4 = i. Let q be i + (1/1 - (5 + -6)). Suppose q = 3*h - 3*n - 204, 358 = 5*h - 0*n + 4*n. Is h a multiple of 12?
False
Let k(u) be the third derivative of u**5/30 - u**4/2 + 42*u**3 + 2*u**2 - 135. Does 3 divide k(0)?
True
Is 6/12 - (-2 - (10385/2 - 5)) a multiple of 173?
True
Suppose 5*m + 4*n - 163 = 2*n, m - 3*n - 19 = 0. Suppose m*p - 24*p = 5950. Does 53 divide p?
False
Let u(q) = -7*q**3 - 6*q**2 + 29*q - 1. Let r be u(4). Let n = r + 658. Does 13 divide n?
False
Let g be (-1)/(3 + (-848)/284). Let u = g + 67. Does 17 divide -147*(u/3 + 1)?
False
Suppose 0 = 5*q - 3*q + z - 3256, 0 = -5*q - 2*z + 8140. Does 37 divide q?
True
Let q = 3472 - 1269. Does 15 divide q?
False
Let o(p) = 2*p**3 - 11*p**2 - 9*p - 5. Suppose -7 + 56 = 7*b. Is 28 a factor of o(b)?
False
Let n(i) = -1010*i - 3308. Is 120 a factor of n(-16)?
False
Suppose 2*c + 6*c = 0. Suppose 0 = 7*s - c*s. Suppose 2*f - 4*z - 48 = s, 5*z + 45 = 2*f - 4. Is 8 a factor of f?
False
Let l(x) = x**3 - 17*x**2 - 17*x - 34. Let u be l(18). Is (-2)/(u/6) - 709/(-4) a multiple of 17?
False
Suppose -2*s = 4*u - 66058, 51600 = 3*u - 5*s + 2089. Is u a multiple of 202?
False
Let t = -27 + 53. Suppose -h - 6*w = -11*w - 9, 5*h = w + 93. Is (17 - h)/((-4)/t) a multiple of 8?
False
Let b(x) = -11*x + 218. Suppose 5*z = -3*o - 85, 0 = -2*o - 27*z + 23*z - 60. Is b(o) a multiple of 6?
True
Let t(q) = -7*q - 164.