 be l(25). Is 7490/u - 3/(-15) a multiple of 25?
True
Let c = -252 - -423. Is c a multiple of 20?
False
Let n(g) = 28*g**2 + 125*g + 6. Does 29 divide n(20)?
False
Let m be ((-2)/(-3))/((-2)/(-15)). Suppose -75*c = 71*c - 3358. Suppose u = c + m. Is 27 a factor of u?
False
Suppose 36*l = 38*l - 4. Suppose -7*d + n = -4*d + 3, 6 = -l*d + 2*n. Suppose 2*b - 230 = 4*x, d = -2*b - x + 31 + 184. Does 14 divide b?
False
Let t = -40453 - -63103. Suppose t = -14*v + 44*v. Is v a multiple of 46?
False
Let l(a) = 3102*a + 444. Is l(3) a multiple of 39?
True
Let p(u) = -214*u - 66. Let w(y) = -641*y - 198. Let g(f) = 8*p(f) - 3*w(f). Does 35 divide g(4)?
True
Let q be (7/(-2))/(3/2064*8). Does 20 divide (q + (4 - -2))*-1?
False
Let z = -87 - -88. Let v be 7 + -4 + z*-57. Let s = 139 + v. Is 17 a factor of s?
True
Suppose 744652 - 64588 = 128*o. Does 13 divide o?
False
Let h = 12 + -13. Let l be 2 - (-1 + 5 - h). Is 17 a factor of 122 - 2*l*(-8)/16?
True
Let l = -5754 - -10395. Is 60 a factor of l?
False
Let h be (3/((-18)/(-3)))/(4/48). Let a(c) = -2*c**2 + 3*c - 15. Let u(p) = -p**2 - p - 1. Let s(q) = -a(q) - 2*u(q). Is s(h) a multiple of 20?
False
Suppose -10*j + 15*j + 5*v = 2820, -5*j = -9*v - 2736. Is j a multiple of 6?
True
Let c(w) = -w**2 - 9*w + 12. Let h(i) = 3*i**2 + 18*i - 24. Let j be ((-39)/(-9) - 4)*15. Let v(g) = j*c(g) + 2*h(g). Does 29 divide v(-9)?
True
Let t = 2 + 3. Suppose -5*f + 27 - 6 = -m, -t*f + 5*m = -5. Suppose f*q - 191 = 4*j + 27, -174 = -4*q + 3*j. Is 7 a factor of q?
True
Let y(m) = 9*m**2 - 4*m**2 + 2*m**2 + 13*m + 6*m**2 + 41 + 23*m. Is 14 a factor of y(-9)?
True
Is 23 a factor of (-3 + 4)*(45 + 13736)?
False
Let i = 349 + -230. Suppose 3*r + 23 = -m + 66, -3*m + i = -r. Suppose -32 - m = -2*q. Is q a multiple of 6?
True
Let m(z) = 3*z**3 - 371*z**2 - 24*z + 462. Is 118 a factor of m(124)?
True
Let t = -726 + 1050. Suppose -u + 4*m = -16, 5*m + 20 = 10*u - 6*u. Suppose -5*y + 3*y + t = u. Is y a multiple of 18?
True
Suppose 0 = -0*i + 7*i - 1925. Suppose 0 = -6*n + 11*n + i. Let y = -38 - n. Is y a multiple of 2?
False
Suppose -4*v = 5*i - 47406, 5*v - 37914 = -39*i + 35*i. Is i a multiple of 102?
True
Suppose 237*o + 16 = 241*o, 4*b = -5*o + 24. Let h be 1/((-8)/10 + 1). Let t = h - b. Is 4 a factor of t?
True
Suppose -f = -6*f + 90. Suppose 4*s = 2*p - 0*p, -s + 5*p - f = 0. Suppose -4*o + 5*d = -1095, 5*d = -s*o + d + 580. Is o a multiple of 22?
False
Let y(n) = -2*n - 4. Let o be y(-7). Let l(a) be the third derivative of 3*a**4/8 + 7*a**3/3 + 362*a**2. Is 21 a factor of l(o)?
False
Let b = -5403 - -15067. Does 16 divide b?
True
Let b be (-33 - -152)*((0 - -1) + -2). Let t = b + 113. Let f(i) = 4*i**2 + 14*i + 38. Does 14 divide f(t)?
True
Let c(u) = 3*u**2 + 305*u + 4. Does 44 divide c(20)?
True
Suppose -5*o - 240 - 296 = 3*t, -o - 726 = 4*t. Let h = -90 - t. Is 23 a factor of h?
True
Let x(z) = 4*z**2 + 16*z - 13. Let y be x(-13). Suppose 9*t = 4*t - y. Let q = 156 + t. Does 13 divide q?
True
Let t be -4*(-18)/4 + 1. Suppose 5*h + 3*v = 6*v + 170, 0 = -11*h + 5*v + 366. Let w = h - t. Does 10 divide w?
False
Is (9/15)/(60/50)*4778 a multiple of 20?
False
Is 4 a factor of (9/6)/((-69)/(-87998)) + 5?
False
Suppose 0 = 5*q - 2*x - 1734, 3*q - 1032 = x + 3*x. Suppose -5*v + 3*w - 2*w + q = 0, -3*v - 2*w = -201. Let j = -58 + v. Is j a multiple of 11?
True
Let y be 825/10*(-1 + 1 + 2). Let k = y + -112. Is k a multiple of 2?
False
Let j(g) = 5806*g**3 + 16*g**2 - 13*g + 1. Does 50 divide j(1)?
False
Let w = 53 + -55. Let k be 5 + w + 0 - 0. Suppose -3*l + 2*o + 249 = 0, 2*o - 156 = l - k*l. Is 15 a factor of l?
False
Suppose -220*m + 11929500 = 155*m. Does 241 divide m?
True
Let k = -894 - -2126. Suppose 0 = -42*v + 26*v + k. Is 11 a factor of v?
True
Suppose -5*j = -3*f + 6*f - 1597, 2*f = -3*j + 1065. Let i = 776 - f. Is 11 a factor of i?
True
Let l(o) = -3*o**2 - 2*o + 12. Let p be l(5). Let v = -24 - p. Suppose v + 67 = z. Is z a multiple of 8?
False
Suppose 17 = -8*a + 41. Suppose -a*g = 2*y - 8*g - 185, -5*y + 2*g = -431. Does 19 divide y?
False
Suppose -3*g - 4*w = -g - 8, -3*w - 8 = -2*g. Suppose j - 2*u = -18 + g, 0 = -2*u + 8. Is 13 a factor of 34*(-4)/j*33/44?
False
Suppose 0 = 2*b - 1 - 1. Let f be b + 1 - (-7 + 4). Suppose 19 = f*h - 131. Is h a multiple of 5?
True
Suppose -3*j + 4*l - 350 = 2*j, -2*j - 4*l - 168 = 0. Let i = -63 - j. Is 6 a factor of i?
False
Let u be -1 - -8 - (-11)/((-110)/50). Suppose 3*l - 730 - 342 = 2*z, u*l - 2*z - 712 = 0. Is 5 a factor of l?
True
Let d = -54612 + 80173. Is d a multiple of 16?
False
Let m = -1059 + 1288. Let p be 6/(-15) + (-813)/5. Let q = m + p. Is q a multiple of 11?
True
Suppose -4*l - 155 = -3*j, -5*l - 3*j + 0*j = 214. Let d = -36 - l. Suppose 2*p = 8, -6*c + 288 = -2*c - d*p. Does 11 divide c?
True
Suppose -a + 329*j + 3988 = 328*j, -j = -3*j. Is 4 a factor of a?
True
Suppose 5*w = -15 - 30. Let d be 1110/w*(36/(-30) + 0). Let l = -98 + d. Is 12 a factor of l?
False
Suppose 5*h - 20 = 0, -26*h - 1924 = -o - 22*h. Is 16 a factor of o?
False
Suppose -20*w = 20 - 0. Let o be (-3)/(-21)*w + 24/21. Is (o/(-4) - (-1240)/(-32))/(-1) a multiple of 6?
False
Let h be 6/3*(-2 - 0). Let q(o) be the third derivative of -o**6/120 - o**5/30 - 7*o**4/24 - 2*o**3/3 + 92*o**2. Is q(h) a multiple of 18?
False
Let t(n) be the first derivative of 15*n**4/4 - n**3/3 + 5*n**2 - 2*n - 17. Let c(o) = 7*o**3 + 5*o - 1. Let a(d) = 13*c(d) - 6*t(d). Is a(-4) a multiple of 2?
False
Suppose -59*h + 2551765 = 104*h. Is h a multiple of 114?
False
Let c = -336 + 692. Suppose c*b = 357*b - 473. Does 11 divide b?
True
Let g(s) = s**3 + 9*s**2 + 6*s - 16. Let r be g(-8). Suppose -12 = 4*a, r = v + a + 79 - 252. Is v a multiple of 6?
False
Suppose -10 = 6*c - 64. Suppose -5*z = -d - 12 - 36, 0 = 3*d + c. Let o = z + 8. Is o a multiple of 17?
True
Suppose -4*o + 14*l - 11*l + 9534 = 0, -4*o = -l - 9530. Is o a multiple of 33?
False
Suppose -99*q + 5*t = -95*q - 3875, 0 = -3*q - 3*t + 2940. Is q a multiple of 3?
True
Suppose 17*y - 18*y + 22 = 0. Suppose 27*p - y*p = 200. Is p a multiple of 4?
True
Let u(i) = i**3 - 7*i**2 - i + 1. Let l = 38 + -31. Let x be u(l). Let r(q) = -12*q - 4. Is r(x) a multiple of 14?
False
Suppose 2*c - 2 + 8 = 0, 0 = -q - 2*c + 5453. Is q a multiple of 20?
False
Let f(d) = d + 8. Let j be f(6). Let r(z) = 2*z - 29. Let k be r(j). Does 6 divide k + (-4)/(-10) + 78/5?
False
Let i(a) = -a**2 + 6*a - 7. Let c be i(3). Let z be (-2)/c - (-824)/8. Suppose 0 = -5*h + 2*b + 582, 7*b - 3*b + z = h. Does 9 divide h?
False
Let h(j) = 2*j**2 - 98*j - 229. Is 69 a factor of h(83)?
False
Let h = -483 - -156. Let z = h - -161. Let r = z - -265. Does 9 divide r?
True
Let g(k) = 19*k + 14. Let u = -6 - -86. Let p = u - 76. Is 18 a factor of g(p)?
True
Let h(o) = -3*o**2 - 8*o - 4. Let i be h(-7). Let r(f) = -99*f**2 + 34*f - 2. Let c be r(1). Let s = c - i. Is s a multiple of 3?
False
Suppose -3*h - 52158 = 4*w - 163596, 0 = -3*w - 2*h + 83580. Is w a multiple of 143?
False
Suppose 0 = 25*z - 123370 + 31370. Does 133 divide z?
False
Let f(c) = c**3 + 27*c**2 + 24*c - 43. Let d be f(-26). Let r be d/21 - (-360)/(-56). Is 3/(r/(-74))*(-3 + 4) a multiple of 5?
False
Suppose -o + 7 = -2*x, -3 = -2*o + 5*x + 12. Suppose 5*l + o*d = 60, -5*l + 2*d = 11 - 92. Does 15 divide l?
True
Let h be (2/5 + 0)*(8 - -527). Suppose 0 = 3*r - 242 - h. Is r a multiple of 19?
True
Let w be (-65)/(-15) - (-8)/(-6). Suppose 0*z + 5 = -3*f - 2*z, -w*f - 25 = -2*z. Let t(x) = 2*x**2 + 7*x + 1. Is t(f) a multiple of 9?
False
Suppose 12652 = -11*l + 3159. Let c = -763 - l. Is c a multiple of 50?
True
Let b = 54 - -220. Let h(r) = r - 2. Let a be h(5). Suppose 0 = 5*c - 3*o - 490, -a*c + 2*o + 20 = -b. Is c a multiple of 14?
True
Let j(q) = -60*q**2 + 2*q - q**3 + 46 + 0*q + 61*q**2. Let n be j(0). Suppose 5*i - n - 84 = 0. Is 15 a factor of i?
False
Let h = -56 + 59. Suppose -3*o + 8*f = h*f - 452, -2*o = 5*f - 293. Let r = o - 5. Does 18 divide r?
True
Suppose 4*t = -f + 38268, 230*t - 229*t - 9585 = 2*f. Is t a multiple of 26?
False
Suppose 42*a - 27*a - 241696 = -a. Is a a multiple of 84?
False
Let w(k) = 70*k**2 + 21*k + 470. Is w(-10) a multiple of 10?
True
Suppose -5*s + 35682 = 5*i + 5422, 4*i - 4*s