 2*g**2 + 29*g + 121. Is 25 a factor of p(-19)?
False
Let p(h) = -41*h - 67. Let y be p(-5). Let j = 271 - y. Is 4 a factor of j?
False
Suppose 5*k - 81 = -4*k. Suppose -4*t = 2*c - 4, 4*t - k - 5 = 3*c. Suppose 18 = t*s - 10. Does 6 divide s?
False
Let p be 1/5 + 44/(-20). Let z be (-16)/(-6)*(72/p)/(-6). Is 26 a factor of z/64 - 3/((-12)/103)?
True
Let p(b) = 3*b + 43. Let l be p(19). Suppose -4*s + 56 = 3*v - 14, 0 = 3*v - 2*s - l. Suppose 5*a = -v + 130. Does 6 divide a?
False
Let u be ((-4)/(-2))/((-1)/22). Let b = 45 + u. Is 7 a factor of ((-109)/(-4) + (-4)/16)*b?
False
Let o = 12177 - 2976. Is o a multiple of 6?
False
Suppose 8*x + 24 = l + 6*x, -x = 5*l - 65. Suppose 0 = -8*p + l*p - 594. Is 12 a factor of p?
False
Let z(w) be the first derivative of 121*w**2 + 20*w - 17. Is z(2) a multiple of 36?
True
Let h(k) = -1553*k - 5389. Does 22 divide h(-9)?
False
Suppose 3025 = 15*c - 2075. Suppose -3*t - 860 = t. Let u = t + c. Does 17 divide u?
False
Suppose -120 = -t - 0*t. Suppose 0 = -w + 2*u + 11, 2*u - 111 = -119. Suppose w*f = 11*f - t. Does 5 divide f?
True
Suppose 7487 + 76209 = 33*c - 13555. Is 9 a factor of c?
False
Let s = 10233 - 8574. Is 2 a factor of s?
False
Let c(v) = v**3 - 15*v**2 + 14*v + 18. Let n be c(14). Let r(q) = 39*q**2 - 1 - 4 - 2*q - 20*q**2 - n*q**2. Is r(-5) a multiple of 30?
True
Suppose 5*u = -22*w + 18*w + 10285, 2*w + 4132 = 2*u. Is u a multiple of 9?
True
Suppose 0 = -32*m + 9*m + 123533. Is 36 a factor of m?
False
Let h(y) = 310*y**2 + 82*y - 80. Is h(1) a multiple of 4?
True
Let l(j) = -j - 1. Let b be l(-4). Suppose -4*f = 4*u, -4*f - 10 = -b*u + 11. Suppose -5*w - 2*v = -216 + 53, 101 = u*w + 2*v. Is 5 a factor of w?
False
Is -14 - (5 - -149)*-16 a multiple of 35?
True
Let j = -2906 - -3336. Is j even?
True
Suppose -7*p + 5*p - 4*m - 160 = 0, 0 = -p - 5*m - 80. Does 15 divide (1287/156)/((-1)/p)?
True
Let o be 0 - -3*264 - (-10)/2. Suppose o = 5*b - 283. Is 18 a factor of b?
True
Let w(z) = -35*z**3 - z**2 - 5*z + 7. Let p(t) = 35*t**3 + t**2 + 3*t - 6. Let g(y) = -4*p(y) - 3*w(y). Is g(-2) a multiple of 23?
False
Let l(a) = -27*a + 10705. Is 44 a factor of l(95)?
True
Suppose -13*b + 12*b + 3949 = 3*j, 5*b - 4*j = 19802. Is b a multiple of 55?
False
Let k = 35 - 27. Let q be 53 - (3/4 + 18/k). Suppose m = -m + q. Is m a multiple of 4?
False
Let c(n) = -10*n - 63. Let k be c(-9). Is 25 a factor of 28539/k + 1*-7?
True
Suppose -r + 3 + 3 = 0. Let j be (-1206)/(-495)*5 + 2/(-11). Suppose -9*u + r*u = -j. Is u a multiple of 4?
True
Let a = -96 - -97. Let p be ((-264)/32 + -4)/(a/(-4)). Suppose -4*s = -6*s + 5*d + 84, s + d = p. Does 16 divide s?
False
Suppose 128780 = -22*i + 116*i. Does 2 divide i?
True
Let d = 15757 + -6731. Does 22 divide d?
False
Suppose -n - 2156 = 3*s, -3*s - 894 = 2*n + 1261. Let h = -422 - s. Suppose 4*i + 2*c - h = i, i - 5*c - 99 = 0. Is i a multiple of 17?
False
Let t(d) = 7*d**3 + 2*d**2 + 2*d + 13404. Is 70 a factor of t(0)?
False
Let g be 7*(4 - (-2 + 7)). Let u = g + 25. Suppose v = -y + 2*v + u, -3*v + 79 = 4*y. Is 13 a factor of y?
False
Let a = 19624 - 16868. Is 179 a factor of a?
False
Suppose 61 = -o + 212. Suppose -2*k = -79 + 27. Suppose -4*s = t - o, k + 522 = 4*t + 2*s. Does 28 divide t?
False
Suppose -235567 = -127*t + 276370. Is t a multiple of 2?
False
Is 24 a factor of (4 - 6) + 1 + 6366?
False
Let h = 258 + -253. Suppose 3*r + 5*d = h*r - 53, 2 = 2*d. Does 29 divide r?
True
Does 214 divide (9 - (-93)/36*-4)*(-510069)/14?
True
Suppose -274*r + 22037400 = 468*r. Is r a multiple of 132?
True
Let i(a) = 335*a**2 - 1129*a + 10. Is 4 a factor of i(7)?
False
Suppose -8*r = -145 - 7. Suppose 4*k - 596 = -5*s, 16*s = 3*k + r*s - 444. Does 4 divide k?
True
Let l = 5390 + -3566. Is 38 a factor of l?
True
Suppose -2*k - 4*j + 7 = -9, k - j + 4 = 0. Suppose k*g - 12*g = -3672. Does 24 divide g?
False
Let u be (36/(-90))/((-6)/30). Let t(m) = 9*m**3 - 2*m**2 + 3*m + 0*m + m - 2. Is 14 a factor of t(u)?
True
Let z(g) be the second derivative of g**5/20 + 7*g**4/12 - 3*g**3/2 - 5*g**2/2 + 18*g. Let c be z(-8). Is 6 a factor of 1932/36 - (-1)/c?
True
Suppose -63*p = 38*p - 1104334. Does 22 divide p?
True
Suppose 145 = 26*q + 561. Let v(a) = -18*a + 76. Is 27 a factor of v(q)?
False
Let u(v) = -6 + 0 - 5 - 19 + 9*v + 4*v**2. Is u(5) a multiple of 23?
True
Let c(m) = m**2 - 17*m + 19. Let d be c(13). Let a be (-3)/2*(-472)/12. Let y = a + d. Does 9 divide y?
False
Suppose 2*z = 3*o - 1214 - 1702, -2*o = -3*z - 1944. Let m be (-1)/5 + o/(-15) + 3. Let h = m + 110. Is h a multiple of 16?
True
Let t be ((-15)/4)/((-63)/(-2100)). Let y = t + 380. Is 51 a factor of y?
True
Suppose -7*t + 228 - 3952 = 0. Let u = 1023 + t. Is 27 a factor of u?
False
Suppose 5*p + 5*r = -630, 4*r = -0*p + 4*p + 512. Let q = 209 + p. Let b = -72 + q. Does 3 divide b?
False
Let f = -116 + 72. Suppose -6*p - 106 = -7*p. Let k = p + f. Does 9 divide k?
False
Suppose 626 = -56*j + 5666. Let d(c) = 2*c**2 - 3*c - 4. Let o be d(3). Let p = j - o. Is p a multiple of 15?
False
Suppose 5*n + c - 341105 = 0, -4*c - 90034 = -5*n + 251096. Is 14 a factor of n?
True
Let m be 1 - (-205 + 6/(-6)). Let s = m + -99. Is s a multiple of 27?
True
Let q = -339 - -695. Suppose -5*n = -d - 8*n + 153, 0 = 2*d - 4*n - q. Is 35 a factor of d?
False
Suppose 0 = -29*m - 3*m + 96. Let u(h) = 209*h + 14. Is u(m) a multiple of 8?
False
Let n be 7 + (-2)/(-4)*-6. Is 4 a factor of (-1 - (-5)/15)/(n/(-270))?
False
Let u(p) = -p + 71. Let t = -40 + 41. Let o(l) = 1. Let w(n) = t*u(n) + 6*o(n). Is w(0) a multiple of 8?
False
Let v = -26055 - -39339. Does 54 divide v?
True
Is (2 - -1) + (-34)/((-1088)/760224) a multiple of 166?
False
Let z = 6258 + -4054. Is z a multiple of 3?
False
Let c(k) = 711*k**3 - 2*k**2 + 6*k - 3. Let v be c(1). Let p = v - 707. Does 3 divide p?
False
Let o be (1/2)/(1/22). Suppose 41*d - 13500 = o*d. Does 9 divide d?
True
Let b(q) be the third derivative of 17*q**4/12 + 7*q**3/6 + 18*q**2. Let z be b(2). Suppose 4*x - z = -x. Does 5 divide x?
True
Suppose 0 = 4*w - 4, 0 = -2*a - 5*w + 27. Suppose a*q = 5*q + 468. Is 13 a factor of q?
True
Let u = 82 + -127. Let o be (-2 - -7)/((-1)/(u + -3)). Suppose -t - o = -5*t. Is 9 a factor of t?
False
Suppose -1295 = -5*r + 5*k, r = 4*k + 139 + 123. Suppose 0*z + 2*z = -4*c - 190, 5*c = z + 109. Let p = r + z. Does 53 divide p?
True
Let h = -2444 - -11996. Is 16 a factor of h?
True
Let g be 2 + -1 + (3 - 2). Suppose g*l - 4*x = -156, 2*l - x = 4*l + 141. Is 18 a factor of (-4)/(-8)*(l*3)/(-2)?
True
Is -1 + 8880 - -2 - (-11 - -2) a multiple of 10?
True
Let v(l) = -33*l + 23. Let g = -93 + 127. Let r = g + -37. Is 59 a factor of v(r)?
False
Let b = 56248 - 18421. Is 27 a factor of b?
True
Let l(q) = -3*q + 75. Let d(k) = -k + 2. Let x(p) = -12*d(p) + l(p). Is x(7) a multiple of 40?
False
Suppose -159*k - 92484 = -243*k. Does 36 divide k?
False
Is 12 a factor of 0 + 1/(-1) - (-2723 - -79)?
False
Let k = 229 + -29. Suppose -5*g + k = 3*r, -r + 5*r - g - 305 = 0. Is r a multiple of 9?
False
Suppose 4*v = 3*k + 101919, 2*v + 23522 = -4*k + 74498. Is v a multiple of 186?
True
Let v be (15 - 14)/(1/85). Suppose v = -y + 96. Let q(x) = x**2 - 8*x - 23. Is 10 a factor of q(y)?
True
Let k = -262 + 464. Suppose 2363 = -46*s - 2237. Let b = k + s. Is b a multiple of 17?
True
Suppose 0 = 5*r + 5*x - 36245, -364*r + 369*r - 36255 = -3*x. Does 31 divide r?
True
Let w(i) = -2*i + 68. Let r be w(29). Is 0 - r*(-390)/12 a multiple of 19?
False
Suppose -4*p = -4*k + 15 + 5, 2*k = 3*p + 20. Does 39 divide ((-83)/5 + 1)*325/p?
True
Let r(x) = -5*x**3 - 3*x**2 + 50*x + 6. Is r(-10) a multiple of 41?
False
Let f be (-1 + -8)/(11 + -14). Suppose g = 2*m + 174, f*m - 388 = -2*g - m. Suppose 0 = 9*q - g - 104. Is 23 a factor of q?
False
Suppose 22*n - 35 = 9. Suppose 50*p - 2*v + 202 = 54*p, 92 = 2*p - n*v. Is 22 a factor of p?
False
Let m be 1/(2 - 1)*(726 - 9). Is m/13 + 20/(-130) a multiple of 11?
True
Let k be (-1)/(1/(-3)) - 1175/5. Let n be k/(-20) - 0 - 6/(-15). Suppose -n*h - 197 = -857. Does 8 divide h?
False
Let h = -387 + 378. Let g(k) = -5*k + 49. Does 3 divide g(h)?
False
Let t(d) = d**2 - 3*d - 159. Let h be t(0). Let b = 324 + h. Does 6 divide b?
False
Suppose 3*f - 16546 = -348*x 