*u + 70 = 0, n*p + 46 = -u + 141. Is p a multiple of 6?
True
Suppose -5*c = 3*y - 26766, 0 = 4*c + 6*y - 3*y - 21411. Is c a multiple of 153?
True
Does 113 divide 325/5200 - (-301790)/32?
False
Let m(o) = -5268*o**3 + o**2 - 5*o - 4. Does 17 divide m(-1)?
True
Let t(j) = 304*j + 577. Is 28 a factor of t(36)?
False
Let c = 53 - 51. Let o be (-4)/c*4336/(-32). Suppose -4*j = 6*v - v - o, -5*j - v + 323 = 0. Is j a multiple of 32?
True
Let o(l) be the second derivative of -8*l**3/3 - 69*l**2/2 + 19*l. Let g be o(-11). Does 28 divide 1*(0 + 5) + g?
True
Let q(f) = -2*f**3 - 20*f**2 - 9*f - 10. Let w be q(-8). Let x = -128 - w. Suppose 0 + x = z. Is z a multiple of 20?
False
Let a = 63 + -81. Let l(k) = -8*k - 32. Let w be l(a). Let i = 123 - w. Does 11 divide i?
True
Suppose -1351 - 810 = 3*u - x, -3*x = u + 717. Is u/108*(-132)/10 a multiple of 44?
True
Let r be 34/14 + 3/(-7). Suppose 345 = r*j + 3*f, 4*j + 0*j - 705 = -f. Suppose 7*w - 222 - j = 0. Is 18 a factor of w?
False
Suppose -45*u + 2099 + 32236 = 0. Does 20 divide u?
False
Is 30 a factor of (-46054874)/(-2656) + 2/32?
True
Suppose -42 = m + 190. Let x = 583 + m. Is 25 a factor of x?
False
Suppose 4*q = 3*g + 31787, -q + 7*g + 7947 = 6*g. Does 29 divide q?
True
Let w be (126/8)/7 - 1/4. Suppose -4*j - 13 = u, w*j = 6*j + 5*u + 1. Is 14 a factor of (-29)/(-2) + (-5 - 18/j)?
True
Suppose 0*y - 3*y + 5*j = -25, -2*y - 25 = 5*j. Let q(k) = 3*k + 47. Let u be q(y). Suppose 3*x + u = 2*m, -5*m - 4*x = -2*m - 28. Is m a multiple of 5?
False
Let y = -39 - -49. Is y*((-3)/(-2) + 0) a multiple of 2?
False
Let b(h) = 238*h + 1038. Does 31 divide b(21)?
False
Let n(r) = 2*r + 2. Let c be n(-1). Suppose -4*y - y + 260 = c. Suppose 4*b - y = 3*b. Does 13 divide b?
True
Is 50 a factor of (-2)/(-9)*-12*(-280125)/180?
True
Let v be (-5 + 8)*-1 + 6. Suppose -8*h + v*h = -240. Is h a multiple of 2?
True
Suppose h = 2*x + 16, -5*h = -4*x + x - 45. Let k be (h/4)/((-9)/(-30))*1. Does 41 divide k/2 + -2 - (-303)/2?
False
Let b(m) = m**3 + 34*m**2 - 4*m - 9. Let k be b(-34). Let f = k - 43. Is f a multiple of 6?
True
Let o be ((-177)/6 - 4)/((-2)/28). Suppose 19 = -25*v + o. Is 4 a factor of v?
False
Suppose -3*w + 14 = -8*w - 2*u, 4 = -4*w + 2*u. Suppose -910*j = -912*j - 138. Does 23 divide ((-28)/(-21))/(w/j)?
True
Let n = 1318 + -849. Suppose 4*i - w = -n, 4*w - 91 = 2*i + 147. Let r = i - -203. Does 27 divide r?
False
Suppose 70 = 29*w - 24*w. Let z(u) = 2*u**2 - 4*u + 13. Does 59 divide z(w)?
False
Suppose 51*v - 61*v + 1300 = 0. Does 9 divide (-4)/26 + 7040/v?
True
Suppose 95*n - 2*q = 96*n - 237, 221 = n - 2*q. Is 22 a factor of n?
False
Suppose -30510 = -57*a + 47*a. Suppose 10*j - 12171 = -a. Does 9 divide j?
False
Let o(m) = 7*m - 2. Let i be o(1). Let v be i/(-10) + (-41)/(-2). Suppose -810 = -v*k + 11*k. Does 30 divide k?
True
Suppose 0 = 6*b + 366 - 414. Let j = b + 432. Is 20 a factor of j?
True
Let w = 55452 + -34308. Is 35 a factor of w?
False
Let q = 2296 + -1307. Suppose 8*v - q = 931. Does 30 divide v?
True
Let w(l) be the first derivative of l**4/4 - l**3 + l**2/2 + 68*l + 158. Is w(0) a multiple of 5?
False
Suppose 0*a = -a - 8. Let x be (-320)/(-18) - a/36. Suppose -o = -x - 2. Does 12 divide o?
False
Let g = -657 + 1889. Does 28 divide g?
True
Let m be (-2240)/(-21)*63/14. Suppose 2*r = -60*a + 58*a + m, -4*r = -5*a - 996. Does 16 divide r?
False
Let i(b) = -20*b - 4. Let c be i(8). Let z be c/(-2) - (26 - 26). Suppose 0 = -2*l + n + z, -2*l - 82 = -4*l + 2*n. Is l a multiple of 13?
False
Suppose -22*a = -31*a + 9. Let m be a/6 - 6590/(-60). Suppose -y = m - 134. Is y a multiple of 8?
True
Let x be (1 - 1)/(8 - 12). Suppose 7*i + 5 - 19 = x. Is (i*1)/((-134)/34 - -4) a multiple of 17?
True
Let a = 1124 + 460. Let v = -937 + a. Is 76 a factor of v?
False
Let m be (-4 - -7)*(-4 - -3). Is (-3*m/18)/(3/102) a multiple of 2?
False
Let i = -12515 + 13518. Is 17 a factor of i?
True
Suppose 2*s + 2*s + v - 20 = 0, -4*v = s - 20. Suppose -4*t - s*w = -20, 0*t - 9 = 3*t - 3*w. Let x(k) = 55*k**3 + k. Does 27 divide x(t)?
False
Let l = 8570 - -600. Suppose y = -13*y + l. Is 9 a factor of y?
False
Let z(n) = -32*n + 103. Suppose 4*b - b = 3*o - 27, 57 = -4*b - 3*o. Does 38 divide z(b)?
False
Suppose 621*f - 584*f = 44400. Does 16 divide f?
True
Let q(j) = j**2 - 144*j + 16296. Is q(0) a multiple of 21?
True
Suppose 38*y + 8*j = 33*y + 53472, 0 = 2*j + 2. Is 44 a factor of y?
False
Let q(t) be the third derivative of 31*t**4/24 - 11*t**3/3 + 15*t**2. Let b be q(16). Suppose 815 = 5*u - 5*s, -2*u + b = u + 2*s. Is 23 a factor of u?
False
Suppose z + 11*k - 4287 = -391, 5*k = -5*z + 19380. Is 13 a factor of z?
True
Let g = 16 - 40. Let l(t) = -t**3 - 23*t**2 + 11*t - 56. Does 16 divide l(g)?
True
Suppose -299*w - 3630 = -302*w. Suppose -16*p = -w - 5174. Is 19 a factor of p?
True
Suppose 5*h - 26 = -s - 114, -4*h - s = 70. Let x(g) be the third derivative of g**5/60 + 3*g**4/4 + 7*g**3 + 2*g**2 - 117*g. Is x(h) a multiple of 7?
True
Suppose 5*j - 10*j + 10 = 0. Suppose -h - 62 = -2*h + 3*x, j*h - 134 = x. Let t = 131 + h. Does 28 divide t?
False
Let h(y) = -6*y**2 - 49*y - 3. Let a be h(-8). Suppose 10500 = -a*r + 12*r. Is 125 a factor of r?
True
Suppose -20 = -4*u - u. Let v be 392/35 + u/(-20). Suppose -v*k + 6*k + 1475 = 0. Does 63 divide k?
False
Let m(o) = -o**3 + 8*o**2 - 6*o + 10. Suppose 8*h + 4 = 60. Let x be m(h). Suppose 448 = -t + x*t. Is 13 a factor of t?
False
Let q be 12 - (-259)/(-21) - (-517)/3. Let c be 12/6*(0 - 4). Let n = q + c. Does 15 divide n?
False
Let t(z) = -58*z - z**2 - 7 - z**3 + 44*z + 22*z. Is 21 a factor of t(-7)?
True
Let m(x) = -6*x + 19. Let r(v) = 17*v - 57. Let p(z) = 11*m(z) + 4*r(z). Let t be p(12). Suppose -t*j = -7*j + 330. Does 30 divide j?
False
Let h(t) = 58*t + 49 - 11*t - 13*t - 16*t. Does 10 divide h(12)?
False
Suppose 4*h + 5*u - 86435 = -27806, -2*h + 29287 = -3*u. Is 23 a factor of h?
True
Suppose -3716 = 34*h - 18*h - 17*h. Does 187 divide h?
False
Let x(j) = -21 + 20 + 6*j**3 - 3*j**2 - j**2 + 5*j**3. Let y be x(3). Suppose 2*g = -11*g + y. Is 12 a factor of g?
False
Let v be (2 + -17)/(-3 + 2). Suppose -249*y = -250*y + v. Is y a multiple of 6?
False
Suppose 83277 = 32*a - 140019. Does 9 divide a?
False
Suppose 123796 = 52*d - 100237 + 54305. Does 16 divide d?
True
Suppose 3*p + 2*i - 2358 = 0, p + 3*i = -2*i + 773. Let w = p + -333. Is w a multiple of 13?
True
Suppose 10*t + 9*t = 570. Suppose 0 = -t*w + 56*w - 27092. Does 22 divide w?
False
Let g(y) = -203*y + 2876. Is g(0) a multiple of 37?
False
Let r(z) be the second derivative of z**3/2 - 17*z**2 + 8*z. Let c be r(11). Is 11 a factor of 20 + -6 + -1 + c?
False
Suppose 16*f = 15*f + 4. Let h(k) = -4*k**2 + 8*k - 13. Let d be h(f). Let r = -36 - d. Does 9 divide r?
True
Suppose -4*s - 4*j = -0*j + 460, -5*j = -4*s - 505. Let c = s - -164. Does 10 divide c?
False
Let s be (50/3)/(2/6). Let m = 34 + s. Does 4 divide m?
True
Suppose 2*l - 20228 = 2*v, -5*l - 4*v - 17579 + 68203 = 0. Does 46 divide l?
True
Is 14 a factor of (3076/6)/(((-32)/24 + 1)/(-2))?
False
Let b(z) be the first derivative of -48*z - 3 - 3/2*z**2. Is 6 a factor of b(-24)?
True
Let o be 8/2 - -5*12/15. Does 87 divide 927/4 + o/32?
False
Let u(j) be the third derivative of j**5/60 - j**4/6 + j**3/6 - 272*j**2. Let v(n) = n - 1. Let y be v(-3). Is 15 a factor of u(y)?
False
Let w(l) = 65*l + 280. Let i be w(6). Let k = i + -40. Is 45 a factor of k?
True
Suppose 0 = -3*z - 12, 3*a - 4*z = 4*a - 3812. Suppose -4*b + 4*c = -a, 4*c - 1914 = 66*b - 68*b. Is 21 a factor of b?
False
Suppose -12*z = -27*z + 2070. Let p = z - -601. Does 53 divide p?
False
Suppose -12465 - 1439 = 44*l. Is 36 a factor of l/(-8)*(-10)/(-1)?
False
Suppose 6 = 62*d - 63*d. Let h be 5/(90/1122) + (-4)/d. Suppose w = j - h, 318 = 2*j + 3*j - 2*w. Does 32 divide j?
True
Let u(m) = 178*m**3 - 11*m**2 + 3*m + 14. Is 73 a factor of u(4)?
True
Let a = -265 - -267. Suppose -5*q + 154 = -q - a*i, -2*i = 2*q - 74. Does 11 divide q?
False
Let t(h) = 273*h**2 - 82*h + 526. Is 13 a factor of t(6)?
False
Suppose 16 = -7*v + 44. Suppose -595 = 5*a + u + v*u, 131 = -a + 3*u. Let c = a + 182. Does 15 divide c?
True
Suppose -b - 4 = -2*b. Suppose -h - 2 = -2*l, -3*h = -2*l