/6)/((-3)/(-981))?
True
Suppose -9 - 19 = h - 4*p, 165 = -5*h - 5*p. Let c = -32 - h. Suppose 4*q - 3*y - 59 = c, 0*q - 5*q + 2*y = -72. Is 2 a factor of q?
True
Let z = -43 + 43. Suppose -q - 2*q = o + 36, -5*o = z. Does 15 divide ((-2)/1)/(3*q/270)?
True
Suppose -w = -457 + 155. Let t be 11/(-990)*-8465 + 6/(-108). Let z = w - t. Does 16 divide z?
True
Suppose -1623*x = -1638*x + 5445. Does 17 divide x?
False
Let u(p) = -148*p**3 - 30*p + 9 - 150*p**3 + 299*p**3 + 17*p**2. Is 36 a factor of u(-18)?
False
Suppose -3*x - 222 = -279. Let s(p) be the third derivative of -p**5/60 + p**4 + 5*p**3/2 - 8*p**2. Is 10 a factor of s(x)?
True
Let j(u) = -u. Let t(x) = -91*x + 10. Let w(i) = 3*j(i) + t(i). Let k be w(-2). Let r = -108 + k. Does 15 divide r?
True
Let p = 700 - 995. Let q = -173 - p. Does 15 divide q?
False
Suppose 21*x = 10*x + 110. Suppose -2*s = -x*s + 656. Is 41 a factor of s?
True
Suppose m - 3*z + z - 27 = 0, -5*z + 150 = 5*m. Let s = m + 32. Let n = s + -1. Is n a multiple of 4?
True
Suppose -28*r + 25 = -31. Suppose 0 = 10*t - 48 - 252. Is (205 - r) + t/6 a multiple of 16?
True
Suppose 3*l + 18 = -m, 3*m - 4*l = -2 - 0. Is 15 a factor of (-490)/m*(10 - (2 - 1))?
True
Suppose -r + 116 = -m - 3*r, 3*m = 5*r - 293. Let b = m + 37. Let x = b - -133. Is x a multiple of 32?
True
Let g(f) = -f**2 + 11*f - 28. Let y be g(9). Let l be ((-8)/(-10))/(4/y) + 5. Is -1*l + 4/((-4)/(-31)) a multiple of 2?
True
Let r(j) = -113*j + 374. Is r(-22) a multiple of 13?
True
Suppose -25*r + 20*r + 25 = 0. Let h(q) = -q**3 + 2*q**2 + 13*q + 12. Let l be h(r). Suppose 4*u - 234 = -3*b, l*b + 75 = u + 11. Is 30 a factor of u?
True
Let u be (-60)/(-70) - 87/(-21). Suppose 5*l - 1635 = 2*i, 1328 + 302 = u*l - i. Is 25 a factor of l?
True
Let c(z) = 101*z + 54. Suppose -5*x + 3 = 3*u, -3*u + 36 = u - 4*x. Is 44 a factor of c(u)?
True
Let t = -298 - -188. Let w = 214 + t. Is w a multiple of 11?
False
Suppose 3*p - 4*f - 34186 = 0, -17*f = 2*p - 19*f - 22792. Is p a multiple of 53?
False
Let t(p) = 82*p + 44. Let g be t(-5). Let u = 558 + g. Is u a multiple of 14?
False
Suppose -4*v + 26*c - 24*c + 179986 = 0, -3*v - 4*c = -134951. Does 77 divide v?
False
Let v = -1264 + 1899. Suppose z + n - v = 0, -5*z + 2616 + 539 = n. Is 63 a factor of z?
True
Let h = -22 - -33. Let b be ((-6 + h)*-5)/(1/(-42)). Suppose b = -11*c + 16*c. Does 15 divide c?
True
Let p be (-35)/(-3) - 5/(-15). Suppose p*u - 798 = 6*u. Suppose -2*q = 5*b - u, -3*b + 6*q + 59 = 2*q. Is b a multiple of 21?
False
Suppose 0 = -5*m - 5*z + 15, 3 = -4*m + 5*m + 4*z. Suppose -2*x - 1009 = -5*n, -13*n + 10*n + 609 = -m*x. Is 20 a factor of n?
False
Let x(y) be the first derivative of -9*y**2/2 + 104*y - 222. Is 50 a factor of x(-19)?
False
Suppose -20*b - 124591 + 319250 = -85061. Is 54 a factor of b?
True
Let l be (-1)/(-7) - 50094/(-231). Does 7 divide (-2)/2 + l + 4?
False
Let u = -2392 + 2795. Does 13 divide u?
True
Suppose 0 = -6*w + 3*w - 5*g - 48, g = 2*w + 19. Let j be 29 + 1 + w + 14. Is j*(-3 + 4 + 4) a multiple of 15?
True
Let i(o) = -3*o - 35. Let m be i(-17). Let c(x) = -2*x**2 + 38*x - 18. Let k be c(m). Suppose -5*z - r = -k, 3*z = -r + 20 + 26. Is z a multiple of 10?
False
Let n(x) = 17 + 18 + 12 - 249*x - 1. Is n(-2) a multiple of 17?
True
Is 27 a factor of (3/(-2))/((-3)/(-12)*(-21)/22309)?
False
Let h(f) = -20*f**2 - 3173*f - 185. Is 16 a factor of h(-153)?
True
Let r(d) = -d**3 + 10*d**2 - 2*d - 17. Let i(g) = -2*g**3 + 20*g**2 - 3*g - 34. Let s(o) = 4*i(o) - 7*r(o). Is s(7) a multiple of 16?
True
Suppose 0 = 5*a + 3 - 73. Let q be 150/42 + (-6)/a*-1. Let j(f) = f**3 + f**2 + 2*f. Does 25 divide j(q)?
False
Let u = 313 - 937. Let h = u + 1143. Suppose 0 = 3*z - 3, 4*d = z + h - 36. Is 6 a factor of d?
False
Suppose -5472*s + 22570 = -5459*s - 6134. Is 48 a factor of s?
True
Suppose 19*v + 53713 = 34*v - 76697. Is 6 a factor of v?
True
Suppose f - 25 = k, 14*f = 15*f + k - 31. Is 14 a factor of (f/(-5))/((-6)/15)?
True
Suppose 4*y = 4*h - 56 - 288, 5*y - 4*h + 430 = 0. Let x = 125 + y. Suppose -4*s - x = -95. Is 5 a factor of s?
False
Let l(s) = 20 - 22*s - 230 - 64 - 32*s + 19*s. Does 6 divide l(-20)?
True
Let d(m) be the second derivative of -m**5/20 - 3*m**4/4 + 21*m**2/2 - 24*m + 2. Suppose -z - 9 + 0 = 0. Is 2 a factor of d(z)?
False
Let l(k) = -2*k**2 + 45*k + 17. Let o(y) = -y**2 + 23*y + 8. Let m(s) = -4*l(s) + 9*o(s). Let v be m(27). Suppose 104 + 104 = v*j. Does 26 divide j?
True
Let l(h) be the third derivative of h**6/120 + 3*h**5/20 - 5*h**4/12 + 7*h**3/6 + 7*h**2. Let n be l(-10). Suppose -k + n = -1. Does 8 divide k?
True
Let j(t) be the second derivative of -t**5/20 + t**4/2 + 3*t**2/2 + 2*t. Let l be j(6). Suppose -5*g - p - 3*p = -735, 0 = -2*g - l*p + 294. Does 13 divide g?
False
Let n be (52/(-10))/(28/(-70)). Suppose -4*w + 240 = -4*x, -5*x + 172 = n*w - 10*w. Does 14 divide w?
False
Let a(d) = 2*d**3 - 4*d**2 + 8*d - 5. Suppose 24*v - 31*v + 105 = 0. Let q = -10 + v. Does 37 divide a(q)?
True
Suppose 0 = -3*a + 2*n - 16 - 58, -2*n + 8 = 0. Let p be a + ((-2)/(-4))/(2/(-4)). Let q(g) = g**3 + 22*g**2 - 27*g - 45. Does 9 divide q(p)?
False
Suppose -4*u + 229 + 1151 = -4*l, 1381 = -4*l + 3*u. Let i = -338 - l. Is 5 a factor of i?
False
Suppose -8 = -4*l + 2*m, l = 6*l - 5*m. Suppose 4*o - 6 = 3*z, l*z + o - 5 - 6 = 0. Suppose 0*b - z*b = -74. Is b a multiple of 7?
False
Let d be 3*((-14)/(-28) + (-2)/(-4)). Suppose 2*c - 4*i - 1064 = -2*c, -d*c + 2*i = -796. Is c a multiple of 11?
True
Suppose y - 7*r - 743 = -6*r, 733 = y + r. Does 9 divide y?
True
Let o = -70123 - -122723. Does 333 divide o?
False
Let a(o) = 2*o**3 + 12*o**2 - 4*o + 6. Let u be a(9). Suppose 8*f + u = 13*f. Suppose t + 4*c - 118 = 0, 0 = 5*t - c - c - f. Does 15 divide t?
False
Suppose s + 0*s + 2*o + 14 = 0, 0 = -2*s + 2*o - 4. Is 11 a factor of ((-336)/(-35))/8*(-380)/s?
False
Let c = 362 + -392. Is c/135 + (-3244)/(-18) a multiple of 12?
True
Let f be 1 - 1 - 1 - 4. Let a(p) = 6*p + 3. Let r(y) = 2*y + 1. Let k(t) = -6*a(t) + 17*r(t). Is k(f) a multiple of 9?
True
Let g(i) = i**2 - 8*i - 24. Let z be g(-3). Let l(h) = h**3 - 8*h**2 + 7*h + 4. Does 10 divide l(z)?
False
Let u(v) = 2*v**3 + 19*v**2 + 3*v - 12. Does 39 divide u(-8)?
True
Let o be 4/14 - (1448/(-28) - 6). Suppose 67*q - o*q - 765 = 0. Does 6 divide q?
False
Let i = 1480 - 205. Suppose 0 = 19*m - 2753 - i. Does 10 divide m?
False
Let v be (100/(-6))/(2/39). Let f = -37 - v. Does 32 divide f?
True
Let s(o) = -227*o - 158. Let i = -346 + 342. Is 12 a factor of s(i)?
False
Let f = -17351 + 31321. Does 22 divide f?
True
Let j be (10 + (1 - -1))/(2 + 0). Suppose -j*v = -24*v + 5292. Suppose v = k - 2*z, k + 3*z = 198 + 111. Is 50 a factor of k?
True
Let k be 11942/18 - 20/45. Suppose 0 = -2*d - f + 1346, -d - 3*f = -0*f - k. Does 27 divide d?
True
Suppose -4*k - 12 = -20. Suppose -2*s + k*b - 92 = 0, -8*s + 46 = -9*s + 4*b. Let h = -41 - s. Does 5 divide h?
True
Suppose 14*p + 4203 = 23*p. Is p a multiple of 10?
False
Suppose -27 = 2*j - 4*z - 7, -j + z = 5. Suppose -4*f + 4*n = 254 - 1066, j = -2*f + 4*n + 404. Is 5 a factor of f?
False
Suppose 2*u - 24 = -4*s, 4 = 3*s - 11. Suppose u*g = 4*g - 10, -2650 = -4*a - 2*g. Suppose -11*t = -6*t - a. Is 9 a factor of t?
False
Suppose 5*x = -20 - 25. Let m = -633 - -649. Let j = m + x. Is j a multiple of 3?
False
Let l(c) = 3*c**2 - c + 7. Does 2 divide l(6)?
False
Let u(g) = -413*g - 1894. Is u(-8) a multiple of 10?
True
Let b = -4849 + 6844. Does 57 divide b?
True
Let j = -3 + 5. Let b(y) = -j - 13*y + 1 - 16 + 75*y. Is b(3) a multiple of 13?
True
Suppose -1377 = -3*g - 3*u, 2*g + 3*u = 62 + 852. Let r = 690 - g. Suppose q + 2*v - 59 = -0*v, r = 4*q - v. Is q a multiple of 19?
True
Let g = 62 - 59. Suppose -4*a = -g*j + 327, -2*a + 0*a = -j + 107. Is 24 a factor of j?
False
Is 22 a factor of (-66335)/(-20) + 4 + 70/56?
True
Let b(u) be the first derivative of -3 + 3*u**2 + 1/3*u**3 + 0*u. Does 5 divide b(3)?
False
Is 89 a factor of (8889/(-2))/((-25)/14 - (-96)/336)?
False
Let g be -1 + ((-252)/70)/(2/(-25)). Suppose -g = 70*v - 71*v. Is v a multiple of 3?
False
Let x be ((-2)/1 - 1)*1*105. Does 6 divide (36/14)/((-3)/x)?
True
Let t be 3*(-4)/12*-1. Let p be ((-6)/4)/(3/(-72)) + -1. Let 