Let p(j) = 117*j - 49. Let b(x) = -118*x + 50. Let w(u) = -3*b(u) - 4*p(u). Is 27 a factor of w(-9)?
False
Suppose -16*p + 14*p + 16 = 0. Suppose 2394 = 26*i - p*i. Is 19 a factor of i?
True
Suppose -7*m + 10*m - 3*n = 0, -6 = 2*m - 4*n. Suppose -24 = -m*b + 396. Does 10 divide b?
True
Suppose -5*z + 148 = 2*x - 272, 3*z + 2*x - 256 = 0. Suppose 0 = -4*i + 6*i - 4*c - 84, 2*i - 3*c = z. Is i a multiple of 19?
True
Suppose -2*q = -7*q + 55. Suppose 13*t + 36 = q*t. Let v = t - -58. Is 11 a factor of v?
False
Suppose w = -h - 11, -3*h + w - 3 = 26. Does 15 divide 16/(-40) + (-2524)/h?
False
Let f(t) = 4*t - 5. Let h be f(-5). Let k = 202 - h. Is 6 a factor of k?
False
Is 3150428/266 + 48/(-8)*(-1)/21 a multiple of 126?
True
Let d = 830 - -215. Suppose -170*w + d = -165*w. Is w a multiple of 11?
True
Does 4 divide (2 + -11 + (-1579 - -5))*-1?
False
Suppose a + 4*j - 694 = 0, a - 4*j - 88 = 622. Let y = a - -135. Suppose y - 237 = 4*n. Is 25 a factor of n?
True
Let l be 66*(1225/(-45))/(-7)*12. Is 16/(-72) + (-2 - l/(-9)) a multiple of 10?
True
Let x = 624 - 143. Let q = 691 - x. Is 15 a factor of q?
True
Is (3153897/243)/(2/10) a multiple of 208?
False
Let j(r) = 20*r + 70. Let h be j(-19). Let p = -192 - h. Does 18 divide p?
False
Let c(g) = -g**2 - 27*g - 50. Let m be c(-23). Suppose 8*o - 182 = m. Does 4 divide o?
True
Let z = 90 - 38. Let m = z - 43. Does 3 divide m?
True
Let l(v) = 5*v - 57. Let n be l(3). Let t = -202 + 312. Let i = t - n. Is i a multiple of 43?
False
Let q = -2 - -200. Suppose -113*f - q = -114*f. Is f a multiple of 11?
True
Let g(k) = 5*k + 389*k**2 - 4*k - k**3 - 397*k**2 + 16. Is 11 a factor of g(-9)?
True
Let j(t) = 3*t**2 + 71*t - 66. Is j(10) a multiple of 10?
False
Suppose 0 = 4*n - 3*z - 23824, -5*z - 5939 = 383*n - 384*n. Is 101 a factor of n?
True
Let y be (15/(-6))/(5/(-4)). Suppose -y*n - 2*h = -3*h + 4, -n = -4*h + 16. Suppose -3*z + 597 = -n*z. Is z a multiple of 20?
False
Let n = 21 - 12. Let v = -267 - -276. Suppose v = h - n. Is 9 a factor of h?
True
Let k(q) = 2*q**3 - 5*q**2 - 12*q - 17. Let a be k(5). Let i(w) = w**3 + 7*w**2 + 3*w - 3. Let u be i(-7). Let o = a + u. Is o a multiple of 12?
True
Suppose 0 = -2*p + 6, -2*s + 6*s + 4*p - 19836 = 0. Does 21 divide s?
True
Let g = -58 - -132. Let n = -24 + g. Suppose -2*p = 2*m, 20 = -4*p + 2*m + n. Does 3 divide p?
False
Let n = 115 + -168. Let q = 53 + n. Is 39 a factor of (q + 26)*(-12)/(-2)?
True
Let o = 138 + -190. Let y = o - -91. Is y a multiple of 12?
False
Let h = 130 - 112. Let k = 10 - 5. Let r = h - k. Is 3 a factor of r?
False
Let u(f) be the first derivative of f**3/3 + 3*f**2/2 + 24*f + 97. Is u(-8) a multiple of 8?
True
Suppose -717*p = -802*p + 242165. Is p a multiple of 4?
False
Is ((-18)/(-2))/(22*(-48)/(-4414784)) a multiple of 122?
False
Does 224 divide (-2)/(5/(-908640)*12)?
False
Let s(t) = 4975*t**2 + 26*t - 1. Does 10 divide s(1)?
True
Suppose -t = 77 - 12243. Does 209 divide t?
False
Let y = 32276 + -14533. Is 23 a factor of y?
False
Suppose 197698 = 50*b - 504452. Is b a multiple of 17?
False
Suppose 0 = -g - 45 + 4. Let j = g - -46. Is 10 a factor of (14/21 + 2)*3*j?
True
Suppose 77*w - 95*w = -1105686. Is 42 a factor of w?
False
Let o(j) = -1622*j**3 + 134*j**2 + 275*j - 2. Does 20 divide o(-2)?
True
Let z(t) = 2*t**3 + 14*t**2 - 60*t + 77. Is z(18) a multiple of 64?
False
Let a = -3663 - -8635. Is 9 a factor of a?
False
Let d(k) = k**3 + 49*k**2 + 139*k + 93. Is 34 a factor of d(-45)?
True
Suppose k - 5*q = 2*k - 21, -2*q - 42 = -k. Suppose -4*j - p = -5*j + 24, j - 2*p = 20. Is k/(-1)*(-21)/j a multiple of 3?
True
Let m(n) = -n - 5. Let z be 3/6 + (-5)/(-10). Let v be m(z). Is (v/4)/((-335)/(-112) + -3) a multiple of 42?
True
Let o = -12969 - -18022. Is 31 a factor of o?
True
Let l(v) = -28*v - 2. Let m be l(-1). Let s = m + -23. Suppose 69 = s*h - 5*a, -5*h + 2*a + 131 = -a. Is 7 a factor of h?
True
Suppose -3*h - 11085 = -5*n, -h = -2*n + 2*h + 4425. Suppose 36*k = 31*k + n. Does 37 divide k?
True
Is 98 a factor of -212*(6 + (-462)/24)?
False
Let n(t) = -4*t**3 + 3*t**2 + 22*t - 99. Is 135 a factor of n(-13)?
True
Let p be (1329/(-4))/(1/((-32)/24)). Suppose 3*x - p = 547. Does 24 divide x?
False
Suppose 323*h - 260 - 63 = 0. Let q(i) = 325*i**3 - 2*i**2 - i + 3. Let g be q(3). Does 14 divide (g/35)/9 - h/(-5)?
True
Does 131 divide (-3)/(-3 - -12)*(-23580)/5?
True
Suppose -2*c = 2*y + 4, 0 = -2*y - y - 4*c - 7. Let a be (-18)/2*(-2 - y). Let d(h) = -h**3 + 8*h**2 + 14*h - 20. Is 5 a factor of d(a)?
True
Let u(w) = -2*w**2 - 13*w + 13. Let z be u(-7). Let b(x) = 41*x - 7*x + x + z*x. Does 14 divide b(3)?
False
Let f(b) = 8*b**3 + b**2 + 7*b - 6. Let l be f(3). Suppose -17*z = -13*z - l. Let x = z + 172. Does 11 divide x?
False
Is (10390 + -1*2)*((-1377)/68 - -22) a multiple of 53?
True
Let p be (0 + 5)/(-5) + -1740. Let r = 2472 + p. Is r a multiple of 17?
True
Let s(n) = -173*n**2 + 4*n + 78. Let r(b) = -43*b**2 + b + 19. Let a(x) = -26*r(x) + 6*s(x). Does 24 divide a(4)?
False
Let j(c) = -10*c**3 + 14*c**2 + 13*c + 385. Is j(-17) a multiple of 12?
True
Suppose 0 = -83*x + 19*x + 768. Suppose -318 = 4*k - 98. Let s = x - k. Does 12 divide s?
False
Let f = 66 + -12. Suppose 0 = 2*w - 34 - f. Is w even?
True
Let h = -10258 - -18568. Is 12 a factor of h?
False
Suppose -4 = 4*f + 4*j, f - 3*j - 26 = -27. Let s(z) = -65*z - 8. Let i(b) = b - 1. Let v(h) = -21*i(h) + 3*s(h). Is 10 a factor of v(f)?
False
Let o(y) = -16*y - 72. Let v be o(-5). Suppose 3*h = 6, -9*d + 2*h + 136 = -v*d. Does 10 divide d?
True
Let v be (7/3)/(6/2178*-1). Let n = 1217 + v. Is n a multiple of 37?
True
Let h = -37 + 4. Let j(k) = 6*k + 94. Let y be j(-5). Let b = h + y. Is 13 a factor of b?
False
Suppose -4*p = c - 6978 - 1015, 20*p = -4*c + 31968. Is c a multiple of 57?
False
Let d = -17 + 32. Let j = -13 + d. Is 10 a factor of (0 + (-1)/j)/(4/(-320))?
True
Let v = 195664 + -130672. Is v a multiple of 32?
True
Suppose -4*h = -4*w - 6552, -3*h = -5*w + 3*w - 4914. Suppose 2*s = 9*s - h. Is 26 a factor of s?
True
Let b = -17044 + 18473. Does 10 divide b?
False
Let b = 2 + -59. Let t = 39 + b. Is 26 a factor of t/(-45) + (-1296)/(-10)?
True
Let j = -3458 + 6538. Is 35 a factor of j?
True
Suppose -62533 = 338*y - 8681195. Is y a multiple of 43?
True
Suppose 29 = -14*r - 27. Suppose 185 = -4*i - 135. Is 41 a factor of (i/50)/(r/190)?
False
Let n be 4/(-16)*-2*4. Let q be ((-1)/(-1))/((-1)/n) + 5. Suppose -2*u = -6*u - q*b + 45, -4*u + 3*b = -75. Is u a multiple of 5?
True
Let c(f) = -f**3 + 38*f**2 + 40*f - 37. Let g be c(39). Suppose 0 = g*b + 7*b - 720. Is b even?
True
Let w be (-11)/(132/(-416)) - (-4)/(-6). Suppose -11*o + w = -43. Is (1 - -152) + (-40)/4 + o a multiple of 30?
True
Suppose m - 3*p - 8 - 3 = 0, -3*p - 28 = -2*m. Suppose -2*w + 17 + m = 0. Suppose w*j - 120 = 9*j. Is 3 a factor of j?
True
Let a(t) be the second derivative of -25*t**3/6 - 61*t**2/2 + 60*t. Does 19 divide a(-7)?
True
Suppose 0 = b - 4*b - 6, 2*n - 16 = 5*b. Suppose 0 = n*q - y + 311, -5*q + 4*y - 484 = 46. Let i = q + 171. Is i a multiple of 14?
False
Suppose -287*l + 978187 = -238*l. Is l a multiple of 5?
False
Let m be -2*(-7)/56 + 45/(-4). Let u be (385/m)/(3 - 2). Is 2/(2/u*-1) a multiple of 7?
True
Suppose -286*g + 296*g = 9230. Is 71 a factor of g?
True
Let o(a) = 34*a**2 - 213*a - 46. Does 140 divide o(-20)?
False
Let l(f) = -f - 4. Let q be l(-5). Let s(d) = -d**3 - 9*d**2 - 9*d - 2. Let t be s(-8). Let i = t + q. Is i a multiple of 7?
True
Suppose q + 2*c = -4, -3*c + 2 = 2*q - c. Is (3493/(-35))/(q/(-5) - -1) a multiple of 12?
False
Let l = 62 - 61. Let k be 1*-1*(l + 1). Let c(v) = -69*v - 3. Is 27 a factor of c(k)?
True
Suppose -3*t + 7*t + 94 = o, 0 = 2*t - 2. Let g = o - 108. Does 23 divide 32 - ((-32)/20)/(4/g)?
False
Suppose 0 = 5*d - i - 2400, 3*d - 6*i - 1065 = 375. Is 8 a factor of d?
True
Suppose -2*x = 5*n - 141, 2*x + n - 2 - 127 = 0. Suppose x*k + 298 = 65*k. Does 17 divide k?
False
Let q = 5 + 14. Let f be (12/18)/(1 - 40/42). Suppose f*a - q*a = -445. Is a a multiple of 9?
False
Suppose 4*g + 30958 = 3*m - 0*m, -4*m = -g - 41273. Is 16 a factor of m?
False
Let j = 58 - 181. Let b = j - -367. Does 34 divide b?
False
Let g = -40 - 40. Let z be (0 -