 - 406, 3*n - b = 1225. Is n a multiple of 30?
False
Let l(y) = y**2 - 2*y**2 + 2 + 11. Let c be l(0). Suppose 8*b = c*b - 280. Is b a multiple of 14?
True
Suppose 0 = -c + 5*c + 36. Let p be (-96)/c*66/8. Suppose -6*g = -4*g - p. Is 10 a factor of g?
False
Let w(s) = -s**3 - 7*s**2 + 5*s - 17. Let l be w(-7). Let u = -50 - l. Does 3 divide (-2)/1*u/(-1)?
False
Let f = 1495 + 216. Is 19 a factor of f?
False
Suppose 0 = -o - 4*b + 29943, -16*o = -14*o + 3*b - 59916. Does 145 divide o?
False
Suppose -70 = 8*n - 62. Is 2 a factor of n/(345/1620 - (-2)/(-8))?
False
Let b = -116 + 116. Suppose d = -3*x + 131, b = -2*x - 2*d + 17 + 65. Let u = 98 - x. Is u a multiple of 12?
False
Let k(c) = -5294*c - 42. Does 32 divide k(-3)?
True
Let k be ((-4)/(-8) + -3)*-2. Suppose 0 = -k*w - 3*n + 1125, 2*w + 5*n - 182 = 287. Is w a multiple of 6?
True
Let l(h) be the second derivative of h**4/6 + h**3/6 - 3*h**2 - 3*h - 2. Does 14 divide l(3)?
False
Let y(j) = j**3 + 22*j**2 - 24*j + 72. Let n(d) = -23*d**2 + d + 1. Let k be n(-1). Is y(k) a multiple of 19?
True
Suppose 5*v = -3*k + 7089, -3*v + 0*v + k = -4245. Suppose -3*x - 2*r + v = 0, -219 = -4*x + 5*r + 1646. Is x a multiple of 10?
True
Let z be (-6454)/63 + 4/9. Is 31 a factor of (3 + z/(-3))*10?
False
Suppose -322*j + 1129612 = -940204. Is j a multiple of 4?
True
Let g(t) = -65*t + 384. Let m be g(6). Does 50 divide ((-4)/m)/((5/5)/150)?
True
Suppose -187133*h - 47284 = -187135*h. Does 16 divide h?
False
Suppose -4*d - 4 = -6*d. Suppose -s + 2*j + 524 = 0, 3*s + d*s = -2*j + 2644. Is s a multiple of 66?
True
Suppose 5*z + 3*x - 12 = 0, -3*z = 4*x + x - 4. Suppose -2805 = -4*q - i, z*i - 699 = -q + 2*i. Is 40 a factor of q?
False
Let w(z) = 10*z**2 - 2*z + 1. Let d = -32 - -30. Let x be w(d). Suppose -3*g = -x - 138. Is g a multiple of 15?
False
Suppose 154*z - 92528 - 145660 = 1303968. Is 114 a factor of z?
False
Let x(j) = -j**3 + 9*j**2 + 10*j + 4. Let u be x(10). Let s = 561 - u. Does 45 divide s?
False
Let k be (-42)/14 - (-5 - (4 - 1)). Let z(o) = -o + 5. Let v be z(-6). Suppose v*r = k*r + 84. Is 3 a factor of r?
False
Suppose -3*m + 2*d = -103, -38 = -4*m + d + 91. Suppose 0 = -q - 2*u + 76, -4*q - m*u + 28*u = -294. Does 4 divide q?
True
Is 53 a factor of 5882285/1645 - 1/(-7)?
False
Suppose -3*l - 30 = -0*l + 5*g, -5*g = 5*l + 60. Let d be (-8)/(-6) + 575/l. Let r = d - -99. Is 31 a factor of r?
True
Let v = -3423 + 12206. Does 15 divide v?
False
Suppose -26*m - 884 = -9*m. Let a = 98 + m. Does 23 divide a?
True
Let q(h) = -h**2 - 14*h + 8. Let p = 50 + -44. Suppose -4*z - 46 = p. Is q(z) a multiple of 4?
False
Let x = -34727 + 56431. Is x a multiple of 12?
False
Let t(b) = 156*b + 4. Let a be t(2). Suppose a = 10*d + 76. Suppose -d*n = -6*n - 594. Is n a multiple of 33?
True
Let f(g) = -g**2 + 12*g + 11. Let v be f(10). Suppose -4*c - 3*s - 175 = 0, c + v = -s - 4*s. Let n = -39 - c. Is n a multiple of 7?
True
Suppose 0 = a - 4*c + 1164 - 12810, 3*a = 2*c + 34948. Is a a multiple of 10?
True
Suppose 0 = 3*c + 4*n, 5*c - 5 = -5*n - 0. Suppose -2*x = -520 + 140. Suppose -10 = -6*z + 4*z, 0 = -3*i + c*z + x. Is i a multiple of 10?
True
Let n(v) be the third derivative of -v**6/120 + 11*v**5/60 + 7*v**4/24 + 4*v**3/3 + 2*v**2. Let d be (-1)/(-3) + 5/3 + 9. Is n(d) a multiple of 23?
False
Let r(q) = q**2 - 3*q + 1. Let h be r(5). Let n(b) = b**3 - 13*b**2 + 11*b - 6. Let y be n(h). Let s = 211 + y. Is s a multiple of 8?
False
Let h(v) = -7*v**2 - 427*v - 84. Does 6 divide h(-60)?
True
Let l(a) = a**3 + 6*a**2 + 4*a + 11. Let o be l(-5). Let y(z) = 18*z - 130. Is 37 a factor of y(o)?
False
Does 57 divide (1/(-8))/(11/(-66)) + (-42603)/(-44)?
True
Let j = 2066 + -622. Suppose -6*i + 284 = -j. Is 32 a factor of i?
True
Let l = -1366 - -1609. Is l a multiple of 3?
True
Let d = 21 + -25. Let z(j) = -j**2 + 9*j + 3. Let p be z(d). Let c = p + 102. Does 12 divide c?
False
Suppose -49792 = -8*l - 3*r, 17*r - 18*r = 5*l - 31120. Does 389 divide l?
True
Suppose -80*p = -109073 - 110207. Is p a multiple of 10?
False
Suppose 3*z + 294 = 5*j, -z + 270 = 5*j + 4*z. Suppose -24*v + 5*v = -j. Does 2 divide v?
False
Suppose 5*d = -131 + 126, 0 = -4*a + 5*d + 84485. Does 30 divide a?
True
Let h(f) = 17686*f**3 - 36*f**2 + 39*f + 1. Does 58 divide h(1)?
True
Suppose -24 = -q - 30. Does 11 divide 3/q + ((-3513)/(-6) - -6)?
False
Suppose 5*k - 2 = -o - 3, -5*o + k = -21. Suppose -16*a + 11*a - 47 = -r, -o*a = -4*r + 108. Does 22 divide r?
True
Suppose 93*r - 11*r + 162*r - 1888804 = 0. Is r a multiple of 92?
False
Suppose -3*s = -5*j + 16 - 3, 0 = -2*j - 5*s + 30. Suppose -2*b = -10 - 28. Suppose 2*h - j*h + 67 = -5*k, -h + 5*k = -b. Does 22 divide h?
False
Let m(n) = 46*n**2 - 11*n**2 - 8*n**2 - 19*n**2 - 20 + 5*n. Does 16 divide m(4)?
True
Let h(x) = 386*x**2 - 73*x + 680. Is h(10) a multiple of 75?
True
Let y(v) = 12*v**2 - 87*v - 110. Does 35 divide y(-21)?
False
Suppose -39*r = -4822 - 11363. Is 25 a factor of r?
False
Let w(v) = -10*v - 183. Let f be w(-34). Suppose -77 - f = -39*l. Is l even?
True
Suppose -3*f + 26793 = u, 4*f + 0*u = 10*u + 35758. Is f a multiple of 28?
True
Let v(o) be the first derivative of 27*o**4 + 2*o**3/3 + o**2 - 2*o + 39. Is 38 a factor of v(2)?
True
Suppose -33*h + 16562 = -6919 - 72879. Does 8 divide h?
True
Suppose 20*d - 7573 = 18907. Is d a multiple of 29?
False
Suppose 0 = -3*w - p + 23358, -23340 = -3*w + 598*p - 602*p. Is 13 a factor of w?
False
Let g(t) = 90*t + 561. Is g(4) a multiple of 3?
True
Let m be (1 - -42)*(1/(-1) - -10). Suppose 4*u + 4*s + 277 = -m, 0 = -3*u + 2*s - 473. Let w = u - -278. Is w a multiple of 17?
False
Let i be (-8)/(-6 - (-3 - 1)). Suppose i*b - 5 = 7. Suppose 0 = 4*w - b*r - 749, -w = 3*r - 0*r - 206. Is w a multiple of 43?
False
Let g(l) = 42 - 149*l + 57*l + 50*l + 46*l. Is 7 a factor of g(-7)?
True
Let s = -1178 + 2637. Is s a multiple of 13?
False
Suppose 0 = 107*b - 55*b - 150176. Does 2 divide b?
True
Let i(d) = d**2 + 11*d - 4. Let v be i(4). Let n = v - 57. Let j(l) = 159*l**2 + 4*l - 1. Does 29 divide j(n)?
False
Suppose -275*r + 6276 = -141*r - 122*r. Is 18 a factor of r?
False
Let j(r) = -9*r - 83. Let c be j(-9). Does 11 divide (c - -9)*-1*(-1150)/7?
False
Suppose -13*c + 3 = -12*c. Does 4 divide 2904/18 - ((-5)/c + 2)?
False
Let f(b) = b + 26. Let n(h) = 2*h + 51. Let c(t) = 13*f(t) - 6*n(t). Let v(q) = -q - 25. Let k be v(-15). Does 22 divide c(k)?
True
Does 5 divide (-315)/(-2)*(-96)/(-72)?
True
Let d be 105/21 - (1 - 3). Suppose -d*t = -3508 - 3807. Does 11 divide t?
True
Suppose 18*q - 15*q - 123 = 0. Suppose 4*p + 57 = -5*v, -4*p + 2*p - q = 5*v. Does 14 divide 44/3 + p/12?
True
Let u = 8 + -3. Let a(v) = 9*v**2 + 7*v + 1. Is 32 a factor of a(u)?
False
Suppose -125*y = 61*y - 26*y - 760960. Is y a multiple of 58?
True
Does 5 divide (-53176)/(-170) - (-24)/20?
False
Suppose -1976 - 714 = -5*r. Suppose -6*l = r - 112. Is 17 a factor of 3 + 1 - (l - -6)?
False
Let t = -94 - -129. Suppose -40*m = -t*m - 50. Suppose h = 45 + m. Is h a multiple of 11?
True
Suppose -21*o = -34141 - 24545 - 15423. Does 25 divide o?
False
Suppose 12 = 164*b - 158*b. Let j(p) = -4*p**2 + 11*p**2 - 3*p - 2 - 2. Is j(b) a multiple of 18?
True
Let x be (-4)/(-10) - (-170352)/420. Is 87 a factor of (36/(-14))/(4 + (-1626)/x)?
True
Suppose 122*n + y = 120*n + 3394, 4*y = -5*n + 8491. Is n a multiple of 4?
False
Suppose -4*i = -4*b + 520, -9 + 0 = -3*b. Let p = 132 + i. Is 4 a factor of p?
False
Suppose 29*q - 18*q = 44. Does 19 divide (-1)/(-4) + 379/q?
True
Suppose -5*w = 3*n + 2893, -4*w = -3*n + w - 2873. Let h = n - -1471. Does 12 divide h?
False
Let z(d) = -3*d + 23. Let i(k) = -k - 23. Let x be i(-12). Let r be x/1 - (-23 - -24). Is 6 a factor of z(r)?
False
Suppose -230*k + 2*x - 13156 = -232*k, -k + 3*x = -6578. Is k a multiple of 7?
False
Suppose 3*u - 3 = -0*u - 3*j, 5*u + 2*j - 20 = 0. Let k be -1 - 14/(-12) - (-347)/u. Let c = k - -89. Is 49 a factor of c?
True
Let q(y) = 19*y**2 - y - 17. Let m be q(7). Suppose 35*c = 37*c - 214. Suppose c = -4*u + m. Is u a multiple of 40?
True
Suppose 10*g - 12*g = y - 1423, -7085 = -5*y + 5*g. Is y a multiple of 6?
False
Suppose -4*j = -5*a + 12315, -7*j + 4926 = 2*a - 3*j. Suppose 15*u + a = 11343. Does 74 d