. Let a be v(14). Suppose 0 = 30*h - 14*h - a. Does 10 divide h?
True
Let h be -4*357/(-156) - 6/39. Suppose 5475 = h*l + 6*l. Is l a multiple of 16?
False
Suppose 26*m + 61526 = 363282. Is 7 a factor of m?
True
Suppose -5*h + 3*i - 5*i = -2164, 854 = 2*h - 5*i. Is ((-21)/12)/(2*(-3)/h) a multiple of 7?
True
Let b(j) = -164*j + 2568. Is 9 a factor of b(6)?
True
Is 300 a factor of (((-92)/(-230))/(2/130))/(1/146)?
False
Suppose -8*y = 14*y - 77704. Is y a multiple of 12?
False
Let d = -7584 + 10775. Is d a multiple of 52?
False
Is ((-23)/((-1725)/(-117650)))/(2/(-3)) a multiple of 30?
False
Let q(u) = u**3 + 28*u**2 + 4*u + 93. Let p be q(-28). Let t(n) = -n**2 - 33*n - 68. Is 11 a factor of t(p)?
True
Let c(r) = -3*r**2 - 8*r + 8. Let q(u) = 4*u**2 + 9*u - 8. Let b(j) = 3*c(j) + 2*q(j). Let i be b(-7). Does 26 divide (-6 - 142)*i/(-3 + 2)?
False
Suppose 0 = 4*w - 5*s + 4, 5*s - 10*s + 24 = w. Suppose 0 = -2*k - 3*v + 88, 0*k - 216 = -w*k + 4*v. Is 10 a factor of k?
True
Suppose -27*c + 3*c + 26*c = 19220. Does 37 divide c?
False
Let c be (182/6 - -3)*354/5. Suppose -9*h + c = h. Let v = h + -112. Is 43 a factor of v?
False
Suppose -35 = -7*d, 8722 = 4*y + 4*d - 35010. Is 68 a factor of y?
False
Let k = -52 - -15. Suppose -4*n + 43 = -l + 102, 4*l - 321 = -n. Let u = l + k. Is 7 a factor of u?
True
Does 5 divide (-8)/20 + (-33432)/(-105)?
False
Let f = 84 + -80. Suppose -14*z = -f*z - 1320. Is z a multiple of 34?
False
Suppose 0 = 6*s - 4*s - 2. Suppose 0 = -v - s, p = 2*p - 2*v + 55. Let k = p - -147. Does 31 divide k?
False
Suppose -l - 2*t = -80, t + 154 + 202 = 5*l. Suppose 65*v = 69*v - l. Let u = v - -31. Is u a multiple of 10?
False
Let c(n) = n**2 + 635. Let l be c(0). Suppose 3*i - 132 = -z + 7*i, 5*z = -5*i + l. Does 32 divide z?
True
Let x = -36 - -36. Let o = 6 - x. Does 32 divide (10/o + -1)/(6/1530)?
False
Suppose -7*n - 46878 = -27*n + 7*n. Is n a multiple of 16?
False
Suppose -12*g + 22*g = 50. Let h = 13 + g. Is h a multiple of 18?
True
Let p = 954 + -713. Let q = p - 36. Is 41 a factor of q?
True
Suppose -4*h = -50*w + 45*w + 29987, 17970 = 3*w + 5*h. Does 55 divide w?
True
Suppose 19*p - 18*p = 697. Suppose -332 = -7*a + p. Is 49 a factor of a?
True
Suppose -3*p + 19907 = y, 4*y - 26540 = 16*p - 20*p. Is p a multiple of 12?
True
Let r be (-1 + 1 + 1)*(11 + -11). Suppose -u - 3*x = -7*x - 5, -4*u - 4*x = r. Is 38/30*(-4 + u)*-5 a multiple of 19?
True
Is 6 + 6 + 4 - 8 - -1022 a multiple of 10?
True
Let b = 4938 + 6571. Is 114 a factor of b?
False
Suppose -75*q + 82*q - 133 = 0. Is 33 a factor of 1401/9*(-10 + q)?
False
Let k be (-22)/55 + 17/5. Suppose -5*b = 2*q + 2*q + 291, -k*q = -2*b - 121. Let j = 83 + b. Is j a multiple of 8?
True
Let u(b) = b - 16. Let c be u(17). Let i be c - 2944/(-22) - (-16)/88. Suppose 0 = 3*v - 2*v - i. Is v a multiple of 12?
False
Suppose s - 136 = -7*s. Suppose t - s*t = -15008. Is 14 a factor of t?
True
Is 12634/38*4 + (68/(-76) - -1) a multiple of 14?
True
Suppose 3*t = o + 1, -108 + 109 = -t - o. Suppose -10*y + 1667 + 783 = t. Does 8 divide y?
False
Let o be (-51)/(-9) - 14/21. Let z(l) = 6*l**2 - 7. Let i be z(o). Let j = i - -96. Is j a multiple of 20?
False
Let r(o) = o**2 - 11*o + 10. Let b be r(10). Suppose 0 = 5*f - 3*f - 2*d - 314, 2*f + d - 320 = b. Is f a multiple of 9?
False
Suppose 5*r - 14 = 6*r - 5*j, 126 = -5*r - 3*j. Does 3 divide ((-20)/3 + 0)/(r/1116)?
False
Suppose -4*s = -12, 0 = n - 4*n + s + 357. Suppose -3*d = 2*j + n, -2*j + 59 = -3*d - 49. Let i = d + 52. Does 6 divide i?
False
Suppose 0 = 3*a + 4*l - 8287 - 7661, 0 = 2*a - 4*l - 10632. Is 11 a factor of a?
False
Suppose -2*m - 2*b = 100, 3*m + 113 = b - 57. Let c(n) = -2*n**2 + n - 6. Let w be c(-5). Let r = m - w. Is r even?
True
Suppose -4*j = 4*v - 3*v - 25, 3*v - 20 = -j. Suppose -c + 63 - 26 = -4*y, 0 = 5*c + v*y - 210. Suppose 43*o = c*o + 178. Is o a multiple of 21?
False
Suppose -34*n - 3005 = -169707. Does 37 divide n?
False
Let k(y) = y**3 + 44*y**2 - 29*y + 453. Does 15 divide k(-36)?
True
Is 26 a factor of 2/(-7) - 940338/(-441)?
True
Let c(n) = -10*n - 51. Suppose 2*y + 23*y + 175 = 0. Does 13 divide c(y)?
False
Suppose -30*l - 66132 - 38088 = 0. Let n = -2196 - l. Is 18 a factor of n?
True
Let i(h) = h**3 - 2*h**2 - 18*h + 6. Let v be i(6). Suppose v*c - 37*c - 230 = 0. Is 6 a factor of c?
False
Let o(x) = 102*x**2 - 12*x - 6. Let q(j) = j**2 + 27*j - 61. Let u be q(-29). Is 79 a factor of o(u)?
True
Let q(x) be the second derivative of 47*x**3/6 - 37*x**2 + 27*x + 3. Does 17 divide q(7)?
True
Suppose -11446 = -5*x + 2*l, -422*x + 425*x - 6849 = -5*l. Is 143 a factor of x?
True
Let v be (-7)/(7/(-3)) + 9. Suppose -3*u + 0*u = -v. Does 7 divide ((-8)/(-12))/(u/246)?
False
Let o be 4/3*150/20. Suppose q = -o + 48. Suppose -21*g - q = -22*g. Is 22 a factor of g?
False
Let g = -15077 - -15189. Does 29 divide g?
False
Suppose -80*h + 700 = -76*h. Suppose -6*r - h = -811. Is r a multiple of 53?
True
Let b = -404 - -499. Does 19 divide b?
True
Let j(o) = -o**2 - 4*o + 6. Let m be j(-4). Suppose 2*s - 8 = -m. Is s/(-3) - 50/(-6) a multiple of 4?
True
Let v = -34040 - -48373. Does 22 divide v?
False
Let u = -1897 + 3261. Let n = u - 974. Suppose -c = 4*c - n. Is 12 a factor of c?
False
Let n(t) = -t**2 + 6. Let u be n(2). Suppose 3376 - 1076 = 3*g + u*d, 3*g = 2*d + 2308. Is g a multiple of 13?
False
Suppose 2*r - 2*u - 109610 = 0, 5*r = -9*u + 13*u + 274033. Is r a multiple of 60?
False
Let x(s) = -s**2 + 15*s + 15. Let r be x(12). Let g = -81 + r. Let v = g + 46. Is 3 a factor of v?
False
Let v be 3/3 - (-24)/2*1. Does 14 divide -1*(1 + v)*12/(-8)?
False
Let q(z) = -z**2 - 21*z - 10. Let a(h) be the third derivative of -h**5/30 + h**4/24 - 19*h**3/6 + 8*h**2. Let t be a(0). Does 14 divide q(t)?
True
Let m(y) = y**3 + 5*y**2 - 15*y. Let n(l) = 2*l**2 + 18*l - 18. Let q be n(-10). Suppose 4*z + 8 = z - 2*i, -2*i + 22 = -q*z. Is m(z) a multiple of 12?
False
Suppose -2*u + 142 = -58. Suppose -5*p = -3*p - u. Let q = p + -19. Is 6 a factor of q?
False
Let g(s) = 7*s - 36 - 4*s**2 + 9*s + s**2 - 11*s**3 + 13*s - 32*s. Is 13 a factor of g(-4)?
False
Let n(q) = -5*q - 12*q**3 - 14*q**2 + 5 + 20*q + 11*q**3. Suppose 0*l - 75 = 5*l. Is 2 a factor of n(l)?
False
Let g(u) = u**3 - 17*u**2 + 34*u + 46. Let m be g(14). Is m/55*1305/(-6) a multiple of 9?
True
Suppose -8229*q = -8223*q - 5670. Is q a multiple of 21?
True
Let b be (3 + (-3)/5)/((-2)/1220). Let v = b + 2374. Does 65 divide v?
True
Let t(o) = 5*o**3 - 12*o**2 - 6*o + 11. Let h be t(6). Let a = h + -1068. Let y = a - -700. Is 17 a factor of y?
True
Suppose -3*d - 336 = -s, 2*s + 560 = -0*d - 5*d. Does 15 divide (267/(-4))/(28/d)?
False
Suppose 4*y - x - 129538 = 0, -4*y - 54*x + 129528 = -50*x. Does 11 divide y?
True
Let m(y) = 3683*y - 1450. Is 116 a factor of m(2)?
True
Suppose 37*z = 12*z - 575. Let m = z - -127. Is 18 a factor of m?
False
Let j(o) = -9*o**2 - 2*o + 6. Let x be j(3). Let v = x + 351. Is v a multiple of 45?
True
Does 13 divide (-2144 + (13 - 1))/(-2)?
True
Let v = -98 + 124. Suppose -v*f - 1240 = -28*f. Let q = f + -324. Is q a multiple of 33?
False
Let g(h) = 36*h - 3. Let c(o) be the third derivative of 73*o**4/24 - o**3 + 7*o**2. Let j(d) = -4*c(d) + 9*g(d). Is 8 a factor of j(3)?
False
Let z = 515 - 358. Suppose -z = 15*w - 817. Does 2 divide w?
True
Does 5 divide ((-48)/(-16))/(4/(7680/18))?
True
Is ((8/(-5))/(32/8640))/((-3)/76) a multiple of 12?
True
Let k(r) = 3071*r**3 + 3*r**2 - 6*r + 2. Is k(2) a multiple of 45?
True
Let l(q) = 38*q**2 + 99*q - 1509. Is l(13) a multiple of 11?
False
Suppose -20*r + 7*r = -39. Let a(o) = 8*o**3 - 7*o**2 + 11*o - 8. Does 19 divide a(r)?
False
Let z = 114 - 95. Suppose -7*d + z*d = 3780. Suppose 36*u = 41*u - d. Is 9 a factor of u?
True
Suppose -52 = -4*n + 17*n. Let p be (-12 + 4)/n - (2 - 3). Suppose y - 36 = -0*y - p*x, 128 = 3*y - x. Is y a multiple of 7?
True
Suppose -4*k + 5*x = 164, 2*k + 0*k - 2*x + 80 = 0. Is 3 a factor of 9/(k/11)*8/(-1)?
False
Let v = -1860 + 6910. Does 10 divide v?
True
Suppose 14155 = 2*z + g - 7966, -2*z = 4*g - 22124. Does 158 divide z?
True
Suppose -4*n = -5*b + 2949, -b + 0*b - 4*n + 609 = 0. Let v = 744 - b. Is v a multiple of 3?
False
Suppose -47*t + 2970 = -25*t.