7?
True
Suppose 13*b - 185420 = -15*b + 296264. Does 34 divide b?
False
Let f = -6 + 4. Let m(d) = 0 - 15*d - 31*d - 26*d + 6 + 3*d. Does 23 divide m(f)?
False
Suppose -3*r = -5*a + 5207, -2*r - 3442 = -a + 5*a. Let t = -845 - r. Does 16 divide t?
False
Let p(w) = 59*w**2 - 34*w + 339. Does 2 divide p(14)?
False
Let m(a) = a**2 + 20*a - 105. Let c be m(-25). Is 56 a factor of 6712/c + 14/35?
True
Let g = -2 - -5. Let t be (-11)/((-110)/2525)*(-8)/(-10). Suppose 4*z = g*o + t, 62 = z - 0*o + 5*o. Does 26 divide z?
True
Suppose 14*p + 867 = 965. Let u(k) be the second derivative of k**3/2 + 5*k**2 + k. Is u(p) a multiple of 25?
False
Let h(o) = o**2. Let n(a) = -a**3 - 3*a + 2. Let u(x) = -h(x) + n(x). Let r(g) = g**2 + 6*g + 3. Let c be r(-2). Is 24 a factor of u(c)?
False
Let q(x) = -x**2 + 4*x + 4. Let b be q(4). Suppose -b*v - f = -9, -2*v - 2*f + 11 = -v. Is (v/(-3))/((-3)/72) a multiple of 4?
True
Let i = 26 - 23. Suppose -i*o = -o - 12. Suppose -56 = -2*h - o*h. Is 6 a factor of h?
False
Suppose 3*o - 2*l = 219, -3*o = -5*l - 166 - 62. Let g = 520 - 514. Let a = g + o. Is a a multiple of 18?
False
Let n be -2 - 8/4 - -26. Let j = -59 + 72. Let b = n + j. Is 5 a factor of b?
True
Let i be (5 - 9)*1*(-6)/4. Let m(w) = w**3 - 4*w**2 - 12*w + 27. Is m(i) even?
False
Let i(l) = 13*l - 13. Let m(j) = -16*j + 11. Let u(a) = 6*i(a) + 5*m(a). Is u(-23) a multiple of 2?
False
Does 5 divide 2980/9*18360/816?
True
Suppose -22984 = -5*u + 10602 + 16464. Does 33 divide u?
False
Suppose 4*v - 16811 = 3*x, -3*v = 32*x - 31*x - 12618. Is v a multiple of 145?
True
Let x = 64 + -31. Suppose -27*t + x*t - 738 = 0. Is 7 a factor of t?
False
Let h = 260 - 248. Let w(u) = 2 - 30 + 32*u - u**3 - 4*u**3 + 4*u**3 + 10*u**2. Is 34 a factor of w(h)?
True
Is 11 a factor of (0 + -12 - 79)/(2/(-78))?
False
Is 73 a factor of 1 - (-31237)/4 - 15/(-20)?
True
Let l = 11739 + -9009. Is 39 a factor of l?
True
Suppose 20 = 14*s - 9*s. Suppose -2*k + 4*z = -1652, -s*k + 3349 = 2*z - z. Suppose -11*i + k = 11. Is 31 a factor of i?
False
Let z = 587 - 585. Let r be 1 + (-1 - -3) + -1. Suppose j - 91 = r*b + 3*b, 0 = -z*j + 3*b + 175. Is 12 a factor of j?
False
Suppose -194 = -v + 3*g, 4*v = -7*g + 6*g + 750. Let o = -148 + v. Does 4 divide o?
True
Let h(f) = 13*f**2 + 2*f - 15. Suppose 20 = 13*a - 17*a. Let d be h(a). Suppose 4*u = -0*u + d. Is 19 a factor of u?
False
Let j = -711 + 343. Let r be j/(-3) - 8/(-24). Let s = r + -108. Does 15 divide s?
True
Let m(b) = -5*b. Let s be m(-1). Let r(p) be the first derivative of 3*p**2/2 + 5*p - 43. Is 5 a factor of r(s)?
True
Let d be 1/4 - (-11 + 145/20). Suppose 2*k + 2*k + d*f - 104 = 0, 0 = 4*k - 3*f - 139. Is 3 a factor of k?
False
Let x(t) = -170*t + 1 - 234*t - 17 + 136*t. Let n be x(-4). Suppose 10*q + 6 - n = 0. Is q a multiple of 7?
True
Does 81 divide (-1480)/(-200) + 9/15 - -15236?
False
Let b(m) = m + 6. Let o be b(-4). Suppose o*g - 3*x = 18, g + 6 = -g - 3*x. Suppose n = -0 + g. Does 2 divide n?
False
Suppose 0 = 9*o + 5957 - 1826. Let w = 207 - o. Does 6 divide w?
True
Let d = 747 + -333. Let h = d - 228. Is 56 a factor of h?
False
Does 5 divide (-10761)/(-17)*((-26)/(-10))/(3/5)?
False
Suppose 8*p + 1737 - 7329 = 0. Suppose -2795 = -4*v - 2*g - 3*g, -g = v - p. Does 10 divide v?
True
Let y = -241 - -243. Suppose -10*u = -9*u - 1316. Suppose 5*o = -y*n + u, 0*o + 3*n = -3*o + 795. Is o a multiple of 28?
False
Suppose 48*w - 65*w + 7463 = 0. Suppose -5*v = -b - w, -29*v + 28*v + 67 = 5*b. Is 7 a factor of v?
False
Suppose 5*c + 5*y + 15 = 0, c = -0*c + 5*y + 27. Let d be 12/9*(1 + c). Does 9 divide 107/3 + d/(-6)?
False
Suppose 7*l - 198 = -198. Suppose l = -s - 19*s + 20700. Does 30 divide s?
False
Let x = -7571 + 14585. Is 167 a factor of x?
True
Suppose h + 4*w = 6*w - 226, 0 = 2*h + 3*w + 459. Let v = 270 + h. Is v a multiple of 7?
True
Let o(h) = 8*h**3 + 13*h**2 - 10*h - 18. Is o(8) a multiple of 42?
True
Let u = -133 + 642. Is 6 a factor of u?
False
Let n(m) be the first derivative of -m**5/60 + 11*m**4/12 - 29*m**3/6 - 21*m**2/2 + 44. Let i(x) be the second derivative of n(x). Is i(9) a multiple of 8?
True
Suppose -2*i = 26*v - 21*v - 2709, -4*i - 4*v + 5448 = 0. Is 12 a factor of i?
False
Let s(p) = -p + 5. Let r be s(3). Suppose -v + 3*x - 258 = v, 129 = -v - r*x. Let b = v - -226. Does 34 divide b?
False
Let s(z) = -z**2 - 27*z + 425. Is 4 a factor of s(-20)?
False
Let w(r) = 16*r**2 + 10*r + 43. Let h(q) = 30*q**2 + 22*q + 87. Let x(g) = 4*h(g) - 7*w(g). Is 50 a factor of x(-11)?
False
Let d(x) = -546*x - 252. Let i be d(-6). Suppose -14*y = -22*y + i. Does 18 divide y?
True
Let q be 39/1 - 9/(-3). Suppose 4*k + n - q = -2*n, -3*k = -2*n - 23. Let i = 31 - k. Is i a multiple of 14?
False
Let n = -4585 + 65401. Does 336 divide n?
True
Suppose 0 = h - 42 - 43. Let f = 2808 + -2801. Suppose 0 = 5*c - 3*k - 97, -2*k + f*k = -4*c + h. Does 16 divide c?
False
Let g(d) = 147*d - 161. Let o(l) = l. Let j(b) = g(b) + 35*o(b). Does 7 divide j(4)?
True
Let x(i) = -i + 10. Let w be x(8). Suppose -2*g + 5*j = 19, -2*g + 2*j - w = 2. Suppose -3*u + 31 = k, -g*k + u + 176 = k. Does 15 divide k?
False
Suppose 5*m = -5*d + 1 - 6, 5*d + 20 = 0. Suppose -p = -3*k + 39, m*k = -2*k + 2*p + 64. Suppose -k*n = -53 - 451. Is n a multiple of 18?
True
Let l(u) = 41*u**2 + 5*u - 24. Let b(z) = -2*z**2 - z. Let f(k) = 4*b(k) + l(k). Does 90 divide f(-5)?
False
Suppose -u + 15425 = 4*i, -19*u + 15*u = -i - 61615. Is u a multiple of 79?
True
Let h be 2*(-2 - 54/(-12)). Suppose -4*s = -5*t - 125, 5*s = -h*t + 106 + 84. Is s a multiple of 7?
True
Suppose -q = 2*a - 10, a + 2 = 3*a. Suppose 0 = y - i + 4, y = -4*i + 2*i + q. Suppose -r + f = -y*r - 19, -r + 5*f = -31. Is r a multiple of 5?
False
Suppose -16*z + 7248 - 928 = 0. Let q = z + 251. Is 17 a factor of q?
True
Let j be 78/5*1840/(-24). Let d be j/(-20) - 3/(-15). Suppose 0 = 2*i - 0*i - d. Is i a multiple of 2?
True
Suppose -3*b - 30*v + 35*v = -2847, 0 = -2*v. Is 11 a factor of b?
False
Let o(m) = 3*m**3 - 84*m**2 - 19*m - 69. Is 35 a factor of o(29)?
False
Suppose -31*u + 19*u + 274680 = -2*u. Does 12 divide u?
True
Is (-7 - 11/(220/2968))/(2/(-60)) a multiple of 126?
True
Let q = -1918 + 1937. Let i(y) = -y**2. Let c(f) = 4*f**2 + 25*f + 61. Let a(k) = -c(k) - 6*i(k). Is 20 a factor of a(q)?
False
Let v(i) = -i**3 + 13*i**2 + i + 5. Let q(h) = -49*h - 3. Let z be q(-1). Suppose 2*l - 5*n = z, 4*l - n - 40 = -4*n. Is 12 a factor of v(l)?
False
Let r be 1050/40 - (-3)/(-12). Suppose -19 = 4*j + 5*k - 7, -5*j = -4*k - r. Does 3 divide (-3)/(1/(j - 4))?
True
Let j = 70 - 54. Suppose -4*x + 2*x + j = 0. Suppose 0 = -5*w + x*w + 9, -5*k + 5*w + 310 = 0. Is k a multiple of 11?
False
Suppose -2*o - 4*x + 684 = 0, 0 = 5*x + 24 - 34. Is o a multiple of 94?
False
Suppose 53*b - 64610 = -2*b - 10*b. Does 101 divide b?
False
Let c(m) = -23*m - 2. Suppose -2*k - 20 + 7 = 3*p, -p + 61 = -4*k. Let a = 13 + k. Does 2 divide c(a)?
False
Let o = -6 - -10. Suppose 0 = o*i + 2*q - 1396, 7*q - 710 = -2*i + 12*q. Is 5 a factor of i?
True
Suppose 2*o - 5*o - 9 = 5*t, -o = -3*t - 11. Suppose -r + 160 = -g, 8 = -o*g - 0. Is 30 a factor of r?
False
Let y = -133 + 154. Suppose y*g - 594 = 18*g. Is g a multiple of 22?
True
Let p = -590 - -850. Suppose 4*o - 36 = p. Suppose -3*s - s = 5*w - 66, 0 = -5*w + 4*s + o. Is w a multiple of 14?
True
Let w = 43747 + -30223. Is 49 a factor of w?
True
Let u(s) = 4*s**2 - s - 5. Let a be u(4). Let t = a - 49. Does 3 divide (-2 + t/4)*-50?
False
Suppose 13*c + 1080 = 28*c. Suppose -o = -1, h + 4*o - 8 - c = 0. Is 6 a factor of h?
False
Suppose 6*j - 28309 = -7327. Let u = -1540 + j. Is 14 a factor of u?
False
Let k(d) = 462*d + 3785. Does 5 divide k(5)?
True
Suppose -134454 = -134*i + 145363 - 36607. Is i a multiple of 33?
True
Let j = -55 + 57. Suppose -2*o + 36 = -j*l, -5*l - 3*o - 90 = -o. Is 7 a factor of l/90 + (-552)/(-10)?
False
Let f(j) = 129*j + 30. Let n be f(2). Let x = 502 - n. Is 17 a factor of x?
False
Let p(v) = 1412*v**3 + 3*v**2 + 10*v - 19. Does 19 divide p(2)?
False
Let z be -28*(-1 - (-15)/10). Is 4/((5/(-35))/(92/z)) a multiple of 23?
True
Let d(n) be the first derivative of 47*n**3/3 + 2*n - 133. Is 8 a factor of d(2)?
False
Is (-378)/315 - 358