ue
Let g = 28 - 24. Let p be (3 - 3)/((-2)/(g/2)). Suppose 3*i - 6*i - 3*k + 105 = p, -2*k + 36 = i. Is 6 a factor of i?
False
Suppose 5*p - 921 - 4444 = -5*a, 5*a - 2*p - 5414 = 0. Is 90 a factor of a?
True
Let v = 1597 - -5095. Is 140 a factor of v?
False
Does 11 divide ((-41)/(1025/1760))/((-6)/510)?
True
Let d(g) = 496*g**2 + 467*g + 5. Is 30 a factor of d(-2)?
False
Let t = -141 - -141. Is 6 a factor of (-237 + -5 + 7)*(t + -1)?
False
Let f be ((-136)/(-36) - 4) + 40/18. Suppose -5*u + 153 = -f*u. Is u*(-42)/(-27) + 4/6 a multiple of 10?
True
Let o(t) = 4*t - 29. Let q(k) = 5*k - 1. Let i(j) = -2*o(j) - 10*q(j). Is 14 a factor of i(-5)?
False
Suppose 4*p = 5*y - 7, -2*p = -p + 3. Does 64 divide (-8)/((193/48 + -4)/y)?
True
Let z = 7 + -4. Let m be (32/(-2)*1)/(12/(-78)). Suppose 272 = z*n + m. Is n a multiple of 7?
True
Does 90 divide 1864 - (2/(-5) - (-4312)/(-770))?
False
Let z(m) = -16*m + 131. Let q be z(8). Suppose -y = 2*w - 395, 3*w + 4*y - q*y = 591. Is 28 a factor of w?
True
Let v(z) = z + 6. Let j be v(-20). Let c(o) = 4*o**2 + 6*o - 10. Is c(j) a multiple of 30?
True
Suppose -9*g + 5*g - z + 3529 = 0, -z - 4409 = -5*g. Does 26 divide g?
False
Let r(c) = c**3 + 29*c**2 - 31*c - 797. Is 49 a factor of r(-28)?
False
Let z(p) = p**3 + 42*p**2 - 32*p + 373. Let j be z(-43). Suppose 0 = 4*o - 5*k + k + 568, -3*o = -5*k + 430. Let y = j - o. Does 5 divide y?
True
Suppose 0 = w - 5*d - 5490, 2*d = 15*w - 12*w - 16392. Is w a multiple of 28?
True
Let l(d) = 7*d**2 - 21*d + 38. Let z(v) = 6*v**2 - 21*v + 38. Let y(t) = 5*l(t) - 6*z(t). Suppose 36*j - 68*j = -576. Is y(j) a multiple of 4?
True
Let o = -1551 - -2373. Does 6 divide o?
True
Let a(r) = -57*r + 2630. Is 59 a factor of a(42)?
True
Let x = 329 - 319. Does 5 divide (68/(-12) - x/2)*-24?
False
Let p be (629 + -6)*(1 + -2). Let k = -1086 - p. Let s = k + 679. Is 36 a factor of s?
True
Let y(t) = 9*t + 52*t**3 - 27*t**3 - 24*t**3 + 26*t**2 + 20. Is 14 a factor of y(-25)?
True
Suppose -5*b - 5 = -25. Let a be ((-24)/b)/((-6)/(-8)). Let o = 12 - a. Is o a multiple of 20?
True
Suppose -4 = -2*m, 5*z - 156*m - 113084 = -158*m. Is z a multiple of 257?
True
Suppose 0 = i - 3*i + i + 2912. Does 28 divide i?
True
Let k(f) = f**3 + 14*f**2 - 16*f + 6. Let b be k(-15). Let v(l) = 2*l + 4*l - 12*l - b. Is 15 a factor of v(-16)?
True
Let l(w) = -w**3 + 9*w**2 - 9*w + 20. Let c be l(8). Suppose -8*x + 1080 = c*x. Is 13 a factor of x?
False
Let f = 331 - 322. Does 21 divide ((-3)/f)/((-1)/564)?
False
Suppose 4*l + 3 = -5*o - 12, -3 = o. Suppose l = 5*a - 3*f - 2409, 0 = -3*f - 0*f + 6. Suppose z - a = -2*z. Does 36 divide z?
False
Suppose -4*t + 8 = 0, 2*h + 2*h + 2*t - 1024 = 0. Suppose g + 40 = 5*g. Is (-8)/(-3*g/h) a multiple of 19?
False
Let x(o) = 21*o**2 + 40*o + 22. Let b(s) = -5*s**2 - 10*s - 6. Let f(m) = -9*b(m) - 2*x(m). Is f(-4) a multiple of 5?
False
Let h = -26 - -382. Suppose 19*v - 556 - h = 0. Is 27 a factor of v?
False
Let n(j) = -5*j + 2*j + 0*j. Let c be n(0). Suppose c = 7*v - 403 - 206. Is v a multiple of 13?
False
Let u be 6*(-5)/(-15) - -1. Suppose 3*s = s - v - 4, -4*v - 16 = -u*s. Suppose 47*y - 43*y - 676 = s. Is 45 a factor of y?
False
Let d = -38 + 42. Suppose -6*g + d - 28 = 0. Is 2 a factor of (7/4)/(g/(-64))?
True
Let n(w) = 146*w**3 - 3*w**2 + w + 3. Let i be n(1). Suppose -5*t - i = -j - 2*t, j - 4*t - 148 = 0. Is 24 a factor of j?
True
Suppose -g = -4*r + 3200 + 8391, 0 = -3*r + g + 8693. Is 7 a factor of r?
True
Let y = 31 + -27. Suppose -p = -y*p + 120. Suppose r = 4*a + p, 4*r - 5*a - 184 = -a. Does 12 divide r?
True
Let z(c) = -23*c**3 - 6*c**2 - 41*c - 60. Does 110 divide z(-8)?
True
Let y(p) = -p**3 + 10*p**2 - 28*p + 149. Let i be y(7). Does 14 divide (279/(-2) - -6)*i/(-15)?
False
Let d be -2 + 56/1 + 1. Let u = -215 + -173. Does 25 divide u/(-10) - (-11)/d?
False
Let n be (0 + -1)/((-18)/90). Let c(f) = -f + 16. Let z be c(n). Let w(j) = j - 4. Is 7 a factor of w(z)?
True
Let c(u) = -2*u**3 - 4*u**2 - 42. Let i be c(-5). Let a be ((-120)/140)/((-2)/7). Suppose 0 = -a*n + 12 + i. Is 4 a factor of n?
True
Let a(t) = -t**3 - 23*t**2 + 17*t - 24. Suppose -3*l - 2*q = 2*q + 88, -l = -2*q + 16. Is a(l) a multiple of 36?
True
Let j(x) = 4*x**2 - 298*x + 84. Is j(85) a multiple of 12?
False
Suppose -16278 = -31*k + 25*k. Suppose -683 = 14*a - k. Is a a multiple of 5?
True
Does 34 divide 2/(30/20*(30/6)/1530)?
True
Let j(t) be the second derivative of 11*t**4/12 - 9*t**2/2 + 64*t - 3. Is j(-12) a multiple of 75?
True
Let t(p) = 34. Let o(c) = -c - 1. Let q(w) = -12*o(w) - t(w). Let d be q(4). Does 3 divide 6/15 + d/10?
True
Suppose 0 = 280*w + 789913 - 11074190 - 6794323. Is w a multiple of 211?
False
Let p(i) = i**3 + i**2 + i + 4. Let c be p(0). Suppose 4*j - 5*a + 9 = -0*j, 2*j + c*a - 28 = 0. Let g = 56 - j. Does 13 divide g?
True
Suppose -19*k + 225600 = -4*k - 3*k. Is k a multiple of 11?
False
Is 15 a factor of ((-56)/12)/(-7) + -8 + (-219)/(-9)?
False
Suppose -16*d + 8902 + 71450 = 0. Is 62 a factor of d?
True
Let c(r) = 6*r**2 - 4*r + 8. Let t be 6/(4 + 18/(-4)). Let g = -8 - t. Is 8 a factor of c(g)?
True
Suppose -9*x + 13*x + 5848 = 0. Let v = x + 2182. Does 36 divide v?
True
Let o(m) = 15*m - 238. Let j be o(16). Suppose 4*g - 13 - 7 = 0, 0 = -2*q + j*g + 2106. Is 16 a factor of q?
False
Let i be (8 - 5)*(-5117)/(-21). Let y = i - 315. Is y a multiple of 16?
True
Suppose 2*d - 3*x - 3 = 0, -10*d = -11*d - 5*x - 31. Does 73 divide (d*7/28)/((-9)/876)?
True
Let d(r) = -r**3 + 4*r**2 + 40*r + 13. Let g be d(-6). Let y = 238 - g. Is 8 a factor of y?
False
Let i(h) = h**3 + 38*h**2 - h - 105. Does 33 divide i(11)?
False
Let u be 3/9 + (-8)/(-3). Let i be (-2)/(u + 17/15 - 4). Is 34 a factor of (3 + -44 - 1)*85/i?
True
Suppose 0 = 12*m - 17*m - 20. Let l(a) = 7*a**2 - a - 10. Does 4 divide l(m)?
False
Let t be ((-2)/5)/((-8)/260). Let u(n) = -2*n + 29. Let h be u(t). Suppose h = -i + 4, -3*i = -r + 45. Does 34 divide r?
False
Suppose -4*c + 164 = -384. Let y = 336 - c. Is y a multiple of 22?
False
Let a(i) = -49*i + 2104. Does 5 divide a(10)?
False
Let g(n) = -n**3 + 12*n**2 + 14*n + 247. Let l be g(14). Suppose -45 = -4*b + 175. Suppose l = f - b. Does 9 divide f?
False
Suppose -2638 = -h + p, -775 - 7137 = -3*h + 5*p. Is 65 a factor of h?
False
Let q(x) = 2*x + 1. Let o(k) = -85*k + 51. Let l(u) = -o(u) - 6*q(u). Is 47 a factor of l(4)?
True
Let s = 52711 - 31545. Does 19 divide s?
True
Let f = -105 - -202. Let w = -91 + f. Suppose 3*b - w*b + 282 = 0. Does 12 divide b?
False
Suppose 4*y + 154 - 1238 = 0. Let g = y + -128. Does 11 divide g?
True
Let b(o) = -4*o**2 - 202*o + 41. Is 11 a factor of b(-32)?
True
Let t(f) = f**2 + 6*f + 10. Let l(j) = -j**3 - j**2 - j. Let m be l(1). Let n be t(m). Let v(p) = 331*p**2 - 2*p + 2. Is v(n) a multiple of 12?
False
Let m be ((340/25)/1)/((-3)/(-360)). Suppose -16*c = c - m. Is c a multiple of 32?
True
Let b(y) = y**2 - 5*y - 4. Let i be b(5). Does 46 divide ((-48)/10)/(i + (-3668)/(-920))?
True
Let d = 399 - 402. Does 41 divide ((d + 2)*9)/1*-123?
True
Let v = -237 - -240. Suppose 673 + 1871 = 3*i - v*d, -2*i + d = -1691. Is 33 a factor of i?
False
Suppose -2 = n, -2*c + 228 + 166 = n. Suppose -5*x + 2070 = l, -x + 216 = -2*l - c. Is x a multiple of 23?
True
Suppose -26*z - w + 48112 = -22*z, 0 = 2*w - 16. Is z a multiple of 14?
True
Suppose -7*q + 70189 + 42323 = 15954. Is q a multiple of 22?
True
Is 711237/237 + (-1 - 2)*1 a multiple of 95?
False
Suppose -388 + 967 = v. Suppose 11*m = v + 576. Does 5 divide m?
True
Suppose 0 = 4*y - k - 9285, -3*y = -3*k - 1889 - 5086. Does 8 divide (0 - 4/22) + y/176?
False
Let w(x) = 2*x**3 - 15*x**2 + 11*x + 3. Suppose 0*u + 3*o = -5*u + 6, -2*u = 3*o + 3. Let j be (u - 7/2)/((-7)/98). Is 31 a factor of w(j)?
True
Suppose -22*o + 4537 = -173861. Is 9 a factor of o?
True
Let d = -82 - -103. Suppose -9*a = -d - 123. Let k = 70 - a. Does 9 divide k?
True
Suppose 0 = d + 2*l - l - 898, -4*d + 3580 = -2*l. Let u be d/80 + 2/(-10). Suppose 57 = -u*j + 14*j. Is j a multiple of 3?
False
Suppose -23*k + 5*p - 53126 = -25*k, 0 = 4*k + 4*p - 106264. Is k a multiple of 41?
True
Let b(r) = -972 + 488 + 513 - r**2 - 12*r. Does 56 divide b(-9)?
True
Suppose 10*z = -0*z + 8980. Suppose 0