(-111)/u)/((-2)/(-36)) a multiple of 9?
True
Suppose 4*p + 184 = 4*x, -p + 5*p = -8. Let n = 49 - x. Is 8 a factor of (112/n)/7*5?
True
Suppose 4*x = -2*b + 54058, -2*b = 2*x - 6*x + 54070. Does 124 divide x?
True
Let r(a) = 58*a - 1. Let d be r(36). Suppose 8*f + 431 - d = 0. Does 9 divide f?
True
Let i be 1 + -1 + -11 + 0. Let p(f) = -f**3 - 10*f**2 + 5*f - 10. Let j be p(i). Let b = j + 20. Is b a multiple of 21?
False
Suppose -n + 4*j + 3 = 0, j = 5*n - 0*n - 15. Let z(d) = 3*d**3 - 28*d**2 - 3*d + 34. Let r be z(9). Does 17 divide 20/(n - r/(-26))?
False
Suppose 0 = -5*r - 3*j + 328, 5*r + 4*j - 156 = 173. Let s = 59 - r. Does 35 divide 346/2 + (-4 - s)?
True
Suppose -54 = 34*v - 28*v. Is v + 38 + 1 + 2 a multiple of 16?
True
Let c = -88 + 92. Suppose 0 = -y - 0*s - s + 7, -c*y = s - 19. Suppose -12*u + y*u + 784 = 0. Is 14 a factor of u?
True
Suppose 16*u + 24*u = -40*u + 185920. Is 14 a factor of u?
True
Let j(z) = 320 - 295 - 91*z + 233. Does 11 divide j(-18)?
False
Suppose 2*h + 4 = 0, c - 2082 = h - 460. Does 30 divide c?
True
Suppose 0 = 23*l + 70 + 45. Does 48 divide l - 0 - -726 - 4/4?
True
Let n be ((-25)/10)/((-4)/8). Suppose 0 = 5*m - 2*f - 323, -m = -n*m + 4*f + 268. Is 40 a factor of m?
False
Let s = 131 - 125. Suppose 194 + 208 = s*t. Let y = t + -55. Is 2 a factor of y?
True
Let v = 5655 + -2803. Is 92 a factor of v?
True
Let r(u) = -3*u + 102. Let w be r(33). Suppose 0 = 4*g - 2*o + o - 25, -w*g + 35 = -4*o. Is g a multiple of 5?
True
Suppose -l = -8, 2*j - 4*l + 15497 - 49415 = 0. Does 175 divide j?
True
Suppose -6*b = u - 10*b - 3021, 4*u = 5*b + 12040. Is u a multiple of 5?
True
Let f(h) = h**3 + 2*h**2 - 6*h - 6. Let y be f(-3). Suppose 4*o = -y*z + 138, 0 = 3*o - 0*o - 3*z - 114. Is 9 a factor of 21406/119 - (o/(-17) - -2)?
True
Let l = -22 + 46. Suppose 2*f - 6*f + l = 0. Does 10 divide (-80)/f*(-12)/8?
True
Let w be (-1980)/40*14/(-1). Let j = w + -469. Let q = -114 + j. Is 22 a factor of q?
True
Is (-10 - -3)*(-1 + (-18)/(-8))*-76 a multiple of 19?
True
Let d be (56/(-42))/(2/(-3)). Suppose 26*z = 27*z - d*j - 33, 10 = 2*j. Is 6 a factor of z?
False
Let r(y) be the third derivative of -87*y**4/4 - 37*y**3/6 + 4*y**2 + 52. Does 19 divide r(-2)?
True
Let v(s) be the second derivative of s**5/12 - s**4/3 - s**3/2 + 4*s**2 + 18*s. Let d(f) be the first derivative of v(f). Does 11 divide d(-3)?
True
Let u(y) = 3*y**2 - 28*y + 30. Let x be u(13). Suppose 3*g - 15 = -3. Suppose -3*z = -5*o - 164, -1 + x = g*z + 5*o. Does 7 divide z?
False
Let l(d) = -159*d**2 - d - 1. Let i be l(-2). Let q = i + 950. Suppose -7*y = -833 + q. Is y a multiple of 16?
False
Let z(u) = u**3 + 14*u**2 - 754*u + 72. Is z(-32) a multiple of 28?
True
Let u(r) = r**2 + 6*r + 32. Suppose 42 = -5*x - 8. Is u(x) a multiple of 24?
True
Suppose 106*c = 91077 + 2945. Is 34 a factor of c?
False
Is 6 a factor of 1104 - 13/(-78)*-6?
False
Suppose -10*n + 2*n = 0. Suppose n = h + 2*o - 230, -32*h + 31*h = -3*o - 255. Does 3 divide h?
True
Suppose 29 = 3*a + 5*p, -2*p - 51 = -2*a - 5. Suppose 13*m - 2511 = -1822. Let o = m - a. Is o a multiple of 7?
True
Let u(p) be the first derivative of 4/3*p**3 - 1/4*p**4 + 9*p + 1/2*p**2 + 7. Is 6 a factor of u(3)?
False
Suppose -24664*z = -24647*z - 83623. Is z a multiple of 79?
False
Suppose -8*y = -3*y - 20. Suppose -y*m = 3*m - 1274. Let n = 278 - m. Does 24 divide n?
True
Suppose -3*z - 5088 + 18262 = -5*n, -13*z + 3*n = -57106. Does 181 divide z?
False
Let i = -466 - -657. Suppose -6*x = -i - 403. Suppose 53 + x = v. Is v a multiple of 19?
True
Let v = -62 - -48. Is 45 a factor of (v/2 - 42/(-14)) + 769?
True
Suppose d + d = -4. Let g be d - -1 - 18/9. Is (1/g - 0)*-156 a multiple of 7?
False
Suppose 0 = -34*l + 29*l + 20. Suppose t - 1 - 1 = l*c, 0 = -4*c + 3*t + 2. Is 20 a factor of (3/12 - c)/(1/80)?
True
Let r = -20 + 2317. Suppose 1138 = 2*z - 4*u, -4*z - 2*u + 3*u + r = 0. Does 23 divide z?
True
Let v be (264/18)/(-11)*30. Is 20 a factor of v/((-4)/(-14) + 48/(-126))?
True
Let t = 184 + -179. Suppose -5*h + 11*y + 1014 = 9*y, -h - t*y = -219. Does 12 divide h?
True
Suppose k = 6, 42*a = 37*a - 3*k + 1468. Is 23 a factor of a?
False
Let b = 11781 + -10141. Is b a multiple of 26?
False
Let b(x) = -5 - 4 - 5*x - 2*x - 7. Let z be b(-4). Suppose -5*v + 420 = -2*a + 7*a, -z = -4*v. Is a a multiple of 7?
False
Let n = 161 + -157. Suppose -123 = -2*y + d - n*d, 4*y = 2*d + 222. Is y a multiple of 19?
True
Is 15 a factor of (168/(-20))/((-13)/35490)?
False
Let j = -28 - -32. Suppose j*a - 16 = 0, 2*y - 4*a = -3*y + 3314. Is 9 a factor of y?
True
Suppose -727*q = -2*c - 725*q + 1230, 3*q - 1827 = -3*c. Is c even?
True
Suppose 0 = -45*d + 50*d - 5*j - 9945, 4*d + 4*j - 7948 = 0. Is 7 a factor of d?
True
Let m be 1 + 28902/21 + 10/(-35). Let s = m - 472. Let o = s - 598. Is 42 a factor of o?
False
Suppose -2*k + 10 = 5*h, 3*h + 3*k = 21 - 6. Suppose -2*b - 230 - 134 = h. Let i = b - -352. Is 29 a factor of i?
False
Suppose -343 = -5*p - 43. Suppose -16*g + p = -4*g. Suppose 3*f = -5*y + 2*y + 720, -1160 = -g*f + 3*y. Is f a multiple of 47?
True
Let b(g) = -13 + 2*g**2 + 2*g**2 - 3*g - g**3 + 10. Let t be b(3). Is (-3)/3 + (-33)/t a multiple of 2?
True
Let s(v) = 122*v**2 - v + 24. Let g be s(-8). Suppose 13*j = 5*j + g. Does 20 divide j?
True
Suppose -70*i - 65041 = -738231. Is i a multiple of 14?
False
Suppose 104 = -8*w + 4*w. Let o = 14 + w. Does 9 divide (63/o)/((-3)/12)?
False
Suppose 11 = -7*r - 17, -2*x + 2*r = -1282. Is 13 a factor of x?
True
Suppose 4536 = -14*n + 31822. Is 104 a factor of n?
False
Let q = 8 - -3. Let u(b) = b**3 - 19*b**2 + 93*b - 33. Let g be u(10). Is 6 a factor of q/(g/(-9) - 1/12)?
False
Suppose 0 = 3*z + 2*n + n - 369, -480 = -4*z - n. Let i = z - 189. Is (3 + (i - 9/3))*-1 a multiple of 12?
False
Is 49 a factor of (13/39)/(2/16518)?
False
Suppose 162*a - 3984255 + 603153 = 0. Is 27 a factor of a?
True
Suppose -218602 = -3*u - 38*u - 51281. Does 53 divide u?
True
Suppose -19*r = -16*r. Suppose 7*p = 9*p - 2236. Suppose 3*f - 5*v - 663 = 0, 7*f - 2*f - 4*v - p = r. Is 42 a factor of f?
False
Let i(s) = -107*s**3 - 2*s**2 + 60*s. Is i(-6) a multiple of 180?
True
Let c(t) = -120*t - 2790. Is 13 a factor of c(-46)?
True
Let p(q) = q**2 - 4*q + 20. Let m be p(6). Is 2882/8 + (24/(-3))/m a multiple of 26?
False
Suppose -39*n + 8 = -35*n. Suppose 5*i - v = 3003, 0 = n*i + 2*v - 88 - 1118. Is 20 a factor of i?
False
Is (-210)/(-1400) + (-893074)/(-40) a multiple of 116?
False
Suppose -5*h + 2*a = -12836, -a = -h - 3*a + 2560. Is h a multiple of 141?
False
Suppose -161753 = -45*t + 2810767. Does 230 divide t?
False
Suppose 7*b - 4*k = 6527, 131*b - 132*b + 3*k + 913 = 0. Does 4 divide b?
False
Let s(w) = 1784*w**2 - 12*w - 12. Does 25 divide s(2)?
True
Let v = -181 - -187. Suppose -v*m + m + n + 1856 = 0, m + 3*n - 384 = 0. Does 12 divide m?
True
Let p(q) = -q**3 - 12*q**2 + 43*q + 23. Let r be p(-16). Let l = -69 + r. Is l a multiple of 5?
True
Let j(p) = -p**3 + 15*p**2 + 15*p + 8. Let l be j(16). Does 8 divide (-1421)/l - (-30)/80?
False
Suppose -21 + 1 = 10*h. Is 5 a factor of h/((-8)/(-14)*(-8)/32)?
False
Suppose 0 = 5*l + 5, 83*l + 102898 = 4*s + 81*l. Does 118 divide s?
True
Suppose 4*o - 7967 = 5*p, 5*p + 9965 = 13*o - 8*o. Is o a multiple of 14?
False
Let y(w) = -35*w + 7630. Is 5 a factor of y(40)?
True
Let o(h) = -3*h**3 - 6*h**2 - 4*h - 2. Let v be o(-4). Suppose -u = -2*z - 106, 9*u - z - v = 8*u. Is 3 a factor of u?
True
Let d = -16988 + 31761. Does 23 divide d?
False
Let q(t) = 76*t - 116. Is 37 a factor of q(28)?
False
Suppose -127*n - 55*n = 3*n - 429200. Does 7 divide n?
False
Let y be -2 + (-25)/(-5) - -7. Suppose 4*j - 2 = -2*w + 4*w, 2*w + 2*j - y = 0. Suppose 3*i - 12 = 0, -88 - 31 = -w*c - 5*i. Does 33 divide c?
True
Suppose -u - 31 = -5*k, 20 = -0*k + 4*k - 2*u. Let m be 36/84 - (-11)/k. Suppose 4*w - 119 = 5*v, -m*v = w + 2*v - 56. Is 12 a factor of w?
True
Let j(i) = 35*i**3 - 39*i**2 + 257*i - 20. Is 13 a factor of j(5)?
False
Suppose 4*q = -5*u + 398, 3*u + 52 = -5*q + 283. Let t = -1743 - -1749. Let h = t + u. Is 21 a factor of h?
False
Let t be (-1240)/(-10) - 10/2. Let j = t + 259. Is 8 a factor of j?
False
Suppose 2*u = -11*g + 1671, -4*g + 5*u - 276 = -6*g. Do