-78*r - 108. Let n(m) = 18*m + 14. Let d be n(-1). Is 4 a factor of a(d)?
True
Let t be 3 + 0/((2 - 3)/1). Suppose 3*l - 3981 = t*y, l + y - 6*y - 1335 = 0. Is 53 a factor of l?
True
Let k = 4188 - 2112. Suppose k + 444 = 5*h. Does 28 divide h?
True
Let f = 42264 + 5819. Is f a multiple of 260?
False
Let h(t) = 54*t - 1361. Is h(33) a multiple of 2?
False
Suppose -5*h + 5*z + 50 = 30, 2*h - z = 8. Suppose 0 = -j - 3*r + 6*r + 503, 0 = -h*r - 20. Is 61 a factor of j?
True
Let x(d) = d**3 + 13*d**2 - 13*d + 16. Suppose -41 = 4*r + 5*j, -2*r + 2*j - 34 = -0*r. Let u be x(r). Is -6 - -32 - u*2 a multiple of 22?
True
Let w = -616 - -1115. Suppose -y - 122 + w = 0. Is 38 a factor of y?
False
Let u be 169/3 - (5 + 84/(-18)). Suppose -40 + u = l. Let v(n) = n**3 - 16*n**2 + 6*n - 4. Is 25 a factor of v(l)?
False
Suppose 54*o - 89766 = -10062. Does 36 divide o?
True
Let w(t) = -6*t**2 - 9*t. Let j be w(3). Let h = 96 + j. Does 26 divide ((-18)/h)/(4/(-530))?
False
Is 26 a factor of (-11363)/(-1)*7/77?
False
Let a = 323 - -118. Let p = a + -217. Does 14 divide p?
True
Suppose 11*o - 5*m - 49155 = 7*o, 2*m - 49134 = -4*o. Is 39 a factor of o?
True
Suppose 4*u + 3*m = -189, -2*m - 1 = -11. Let y = u - -49. Is ((14/(-4))/7)/(y/120) a multiple of 4?
False
Suppose 6*a = 4*n + 2*a - 1252, -3*a = -4*n + 1251. Suppose 3*b = 2*i + 5*b - n, 156 = i + 5*b. Suppose -i - 14 = -5*h. Is h a multiple of 34?
True
Suppose 0 = 3*z - k - 0*k - 1, -1 = 5*z + k. Suppose z = 8*g - 22*g + 350. Does 11 divide g?
False
Suppose 0 = -9*q + 357 + 228. Suppose -q - 37 = -f. Is 4 a factor of f?
False
Suppose 17*i + 37 = -14. Is 12 a factor of (0 + 0 - i) + 234?
False
Suppose 2*y - 49794 = -2*l, 0*l + 4*l = 5*y + 99588. Is 20 a factor of l?
False
Suppose 4*r + 8910 = 56334. Is r a multiple of 247?
True
Let r = -9 - -759. Suppose -458 = -3*q + 5*d, 22*q - r = 17*q + 5*d. Is q a multiple of 9?
False
Is 60 a factor of -3 + 4 - ((-7 + 6)*5 - 5154)?
True
Let g(x) = -x**2 + 25*x - 126. Let i be g(7). Suppose -43*r + 2674 + 18138 = i. Is 22 a factor of r?
True
Let r be 2*(-4 - (-29)/(-2)). Let t = r + 145. Suppose 5*m - t = 4*g, -3*m - 4*g + 54 = -g. Is m a multiple of 5?
True
Suppose 0 = -n + 4*b + 880, -8*n - 2*b = -4*n - 3430. Let c = 1330 - n. Does 17 divide c?
False
Suppose 3*s + 9 = 0, a - 3*s = -7*s - 2. Suppose -5*l = 3*c - 559, -5*c = -a*c - 5*l + 925. Is c a multiple of 7?
False
Suppose 0 = -22*x - 90 - 130. Let s(r) = -2*r**3 - 18*r**2 + 16*r + 1. Does 4 divide s(x)?
False
Let p be (0 + -4 - -4)*-1*1. Suppose 2*j = -p - 2, -2*r - j + 9 = 0. Suppose r*f = -3*n + 888, -5*f - n - n + 892 = 0. Is 36 a factor of f?
True
Let j be ((-14)/28)/(1/(-4)). Let h(d) = d**3 + 15*d**2 + 4*d + 5. Let i be h(-14). Suppose j*a - i = 75. Does 9 divide a?
False
Let s(b) = 4*b + 87. Let x be s(-20). Suppose -u + 760 = x*u. Is 5 a factor of u?
True
Suppose 14*o - 48 = 6*o. Suppose 7*k - o*k + x - 7 = 0, -4*x = -4. Does 4 divide k?
False
Suppose 11*i = 75*i - 6*i - 49242. Is i a multiple of 3?
True
Let k be -38*(5/(-10) - 1). Let y = k - 55. Suppose -s + 2 = 3, -y*s + 187 = g. Does 46 divide g?
False
Let t(j) = -516*j - 20 + 5 + 4 + 1. Does 46 divide t(-1)?
True
Let i = -21 + 62. Let v(o) = 4*o - 1. Let c be v(6). Let b = c + i. Is b a multiple of 16?
True
Let m = 9827 - 3579. Does 8 divide m?
True
Let k(t) = 5*t**2 + 9*t + 11. Let r be k(8). Let l = r + -287. Does 7 divide l?
False
Does 37 divide 531 - (-8)/(72/(-117))?
True
Suppose 0 = 5*y + w - 118643, -5*w + 7*w + 71204 = 3*y. Is 70 a factor of y?
True
Suppose -n + 3*f - 6 = 0, 16 = -5*n - 3*f + 4. Let w be (-116)/12 + (-4)/(-6) - n. Is 5 a factor of (-4)/(8/w) + 2*1?
True
Suppose -19*m + 106266 = -k, 35*m - 34*m - k = 5592. Is m a multiple of 119?
True
Let f = 16662 - 10614. Suppose -f = -8*o - 4*o. Is o a multiple of 12?
True
Suppose 223 = -5*q - 167. Let s = 21 - q. Is s a multiple of 11?
True
Suppose 3*t - 16*x = -21*x + 42099, -t = 4*x - 14040. Suppose -18*f + t = 10*f. Does 33 divide f?
False
Suppose -15 - 57 = 9*i. Let h be (-339)/(-24) + 1/i. Suppose h = c - 5*w, -5*c - 2*w + 10 = -114. Does 12 divide c?
True
Let u = -447 + 257. Let x = u - -238. Is x a multiple of 2?
True
Let t be 1/(170/55 - 3). Suppose -24*l = -t*l - 4160. Is 8 a factor of l?
True
Suppose -10 = -2*a - 56. Let o = a - -24. Is 29 a factor of (-3 - (o - 4)) + 121?
False
Let p(y) = -y**3 + y**2 - 55*y - 10. Let v be p(-11). Suppose -4*n + 5*t - 6*t = -2731, -v = -3*n - t. Is 10 a factor of n?
False
Let f = -175 - -2355. Suppose 5*v = -260 + f. Is 24 a factor of v?
True
Let i be 9 - 1 - (-2)/(-1). Suppose -13 = -5*w - i*u + 3*u, -w + 3*u - 1 = 0. Suppose 4*x - w*o - 382 = -136, 5*x + o = 297. Is x a multiple of 20?
True
Let q be 6/(-18) + ((-5820)/(-9))/(-4). Let h = 199 + q. Does 33 divide h?
False
Suppose o + 36 = 2*p + 64, -5*p - 115 = -5*o. Is 2 a factor of o?
True
Suppose 5*a = 204*z - 209*z + 103905, 4*a = -z + 20754. Is z a multiple of 66?
True
Let m(b) = b**2 + 3*b + 6. Let g be m(-8). Let d = -42 + g. Suppose 5*t = u - 94, 4*t + 0*t + 344 = d*u. Does 5 divide u?
False
Suppose 1205 = 6*m - 1927. Let z = m + -505. Is 8 a factor of z?
False
Let y(f) = 2*f. Let l be y(1). Suppose l*r = o - 97, -5*o - 3*r + 513 = r. Does 5 divide o?
False
Suppose -4*b + 3*x - 1476 = 0, 2*x = -5 - 3. Let c = -229 - b. Is c a multiple of 5?
False
Suppose 68*n - 175*n = -91*n - 29808. Is n a multiple of 29?
False
Is 121 a factor of (-3)/(-3 + 2 + 3615/3630)?
True
Let p(l) = -28*l - 5. Let i be p(-9). Let g = 131 + i. Suppose 35*z - 33*z - g = 0. Is 27 a factor of z?
True
Suppose -204*d + 703962 + 1415159 = -371719. Is d a multiple of 111?
True
Let f(w) = 2942*w**2 + 81*w - 170. Is f(2) a multiple of 14?
True
Let i(v) = -v**2 + 13*v + 51. Let p be i(16). Suppose -p*t + w - 5 = 0, -3*w + 2*w = 3*t - 5. Suppose t = -7*l + 798 + 70. Is l a multiple of 16?
False
Let o(x) = x**3 + 12*x**2 + 8. Let b be o(-12). Suppose b = 5*t - 7. Suppose -t*l + 129 = -4*n, l - 4*l - 4*n = -105. Is 15 a factor of l?
False
Let k = -30868 - -31353. Does 25 divide k?
False
Suppose 22*o = 17*o - 8*o + 87230. Is 49 a factor of o?
False
Suppose 5*x - 33 = -13. Suppose 0*l - 202 = -l + t, 992 = 5*l + x*t. Does 20 divide l?
True
Let t(p) = -47*p - 1103. Is t(-61) a multiple of 6?
True
Let k(j) be the second derivative of -j**5/20 + 11*j**4/12 - 13*j**3/6 - 13*j**2/2 - 42*j. Is 2 a factor of k(6)?
False
Let p(k) = -3*k - 11. Let b be p(13). Let h = 200 + b. Suppose -3*z = -4*c - h, -3*z + 2*z + 2*c + 52 = 0. Is 13 a factor of z?
False
Let j(k) be the first derivative of 5*k**2 - 5*k - 30. Let r be j(1). Suppose b + 3*b = -2*o + 70, -4*b = -r*o - 35. Is b a multiple of 4?
False
Let q = -35372 - -5546. Is 4 a factor of 2/(-23) + q/(-207)?
True
Suppose 5*j + 0*z - 5*z = 25, -5*j = z - 19. Let w(v) = v**2 + 55*v + 80. Let h be w(-54). Suppose 0 = a - j*p - 26, h + 36 = 5*a - 3*p. Does 5 divide a?
True
Let l(q) = 3*q**2 - 2*q - 2. Let w(z) = -2*z**2 + z + 2. Let t(n) = -4*n - 41. Let j be t(-11). Let h(k) = j*l(k) + 4*w(k). Does 18 divide h(-6)?
False
Let h = 35881 - 17458. Does 291 divide h?
False
Let o = -5091 - -12979. Does 17 divide o?
True
Suppose -t + 20 = -3*a, 4*a + 0*a - 3*t = -30. Let j(p) = -12*p - 29. Let l(w) = 1. Let v(g) = j(g) + 2*l(g). Is v(a) a multiple of 13?
False
Let n = -150 + 178. Let w = 39 - n. Is w even?
False
Let r = 139 + -138. Does 4 divide r*-84*292/(-219)?
True
Let v(k) = -779*k - 735. Is 158 a factor of v(-5)?
True
Let q be -5 - ((-4 - 16) + 5). Suppose -1989 = 7*a - q*a. Does 51 divide a?
True
Let q be -1*((-4)/(-7) - 6/(-14)). Is 11 a factor of 5 + (q - 2) - (3 + -122)?
True
Suppose -15*d - 675 = 315. Let v = 457 + d. Does 17 divide v?
True
Suppose 0 = 5*y + 3*a - 49 + 4, -4*y + 36 = -3*a. Let h(t) = -t**3 + 11*t**2 - 9*t + 20. Is h(y) a multiple of 2?
False
Let q be 14/84 - 11/(-6). Suppose 0 = 4*w, 5*h + 14 = -q*w + 79. Suppose -h*l = -4723 + 537. Does 13 divide l?
False
Suppose -6*z + 377788 = 119*z - 510837. Is 30 a factor of z?
False
Is 16 a factor of 46427/17 - (-10)/(-8)*(-4 - 0)?
True
Let q be 3*(-3 + 2 + 2). Suppose -2*n - q*r = -7*n + 96, r - 87 = -4*n. Does 8 divide n?
False
Let t(w) = w**3 + 18*w**2 - 11*w + 15. Is 7 a factor of t(-11)?
False
Suppose -221*w + 528209 - 250963 = -