97 divide -19 - 2265/10*-96?
False
Suppose 0 = -10*p + 23*p - 6487. Let h = p + -331. Is h a multiple of 21?
True
Let g = 57 + -29. Suppose 0 = 6*j - g + 10. Suppose -j*y + 0*a + 3*a + 72 = 0, 4*a + 36 = y. Does 5 divide y?
True
Suppose -3*w + 79211 + 152967 = 40628. Is w a multiple of 15?
False
Suppose -3 - 5 = -4*h. Let d be -3*(h + -3 + 2). Is (d*(7 - -1))/(-1) a multiple of 12?
True
Let f be 2/(-8) - (-85)/4 - -4. Let m = -23 + f. Does 25 divide ((-117)/m - 4)*-2?
True
Suppose 6 + 3 = 3*r. Suppose r*q - 361 = -5*i, -2*q + 109 + 125 = 2*i. Let v = q - -112. Does 28 divide v?
True
Let h = -10532 + 25631. Is h a multiple of 25?
False
Suppose 0 = 2*b + n + 46, -2*b - 3*n - 42 = -n. Let y(u) = -u**2 - 39*u - 90. Is 20 a factor of y(b)?
True
Suppose 0 = -13*h - 4*h + 30549. Is 29 a factor of h?
False
Suppose -4*s - 5*k + 15 = 0, 0 = 3*k + 11 + 4. Let p be (-4)/s - (-435)/25. Let b(n) = n + 8. Is 5 a factor of b(p)?
True
Is -3 + 34/10 - (-547392)/20 - 1 a multiple of 79?
False
Suppose 185 = 5*m + 5*j, 6*j = 9*j + 6. Let d = m - 37. Suppose -2*a = 4*r - 266, -d*r - 2*a - 74 = -210. Does 31 divide r?
False
Let k(i) = 7*i**3 - 7*i**2 + 49*i - 536. Does 142 divide k(11)?
False
Let j be 38/8 - (0 + 3/4). Suppose u - 3*a = -0*u + 49, 0 = j*u + 4*a - 276. Let c = -10 + u. Does 18 divide c?
True
Suppose 19*o - 216 = 7*o. Let l(v) = -v**2 + 27*v - 30. Does 22 divide l(o)?
True
Let b be (1 - 22/10)*(-325)/26. Suppose -b*h + 15456 = 9*h. Is 32 a factor of h?
False
Let v = 19151 - 17777. Is v a multiple of 15?
False
Let m = 16794 - 2442. Is 184 a factor of m?
True
Let s(h) = -17*h**3 + 7*h**2 + 230*h + 1546. Is s(-7) a multiple of 23?
False
Let a = -6498 + 8191. Is 74 a factor of a?
False
Let r(k) be the first derivative of -k**3/3 + 57*k**2/2 + 34*k - 207. Is r(23) a multiple of 24?
True
Let x(n) = n**2 + 16*n + 38. Suppose 0 = 15*f - 14*f - 12. Is 21 a factor of x(f)?
False
Suppose 4*w + 4 = 4*c + 16, -16 = 4*c. Let n be (w + 14/10)*5. Suppose 4*j - n*z - 6 = z, -5*j - 3*z = -21. Is j a multiple of 3?
True
Let o = 31 - 18. Let j be 5/2*o/(65/(-6)). Is (122/4)/(j/(-6)) a multiple of 15?
False
Suppose 25 = 3*y + 130. Suppose -37*c = 95 + 16. Let m = c - y. Is m a multiple of 8?
True
Suppose 150*c + 339066 = 219*c. Does 126 divide c?
True
Let o(v) = 1000*v**2 - 4*v + 1. Does 121 divide o(2)?
True
Suppose -14*k = 1 - 85. Suppose 28*w - 31*w = -k. Suppose 4*v + 0*v - 544 = -4*m, -w*m = 8. Is v a multiple of 35?
True
Suppose 12*m - 266474 - 453766 = 0. Is 20 a factor of m?
True
Let k = 2276 - -29940. Is k a multiple of 15?
False
Let m(t) = t**3 - 3*t + 8. Suppose 7*x = x + 24. Let o be m(x). Suppose 8*g - o = 4*g. Is 13 a factor of g?
False
Suppose 9*y = 12718 - 1738. Let o = 1754 - y. Does 12 divide o?
False
Suppose -30*r + 24*r = -1284. Let p = 284 - r. Does 5 divide p?
True
Let z be (-2)/(-9) + 116/(-36). Let h be 870/(-18) - 1/z. Is (0 - 3) + h/(-3) a multiple of 2?
False
Let v be (3/((-3)/(-4)))/((-3)/(-6)). Suppose v*b = 377 + 247. Is 13 a factor of b?
True
Suppose -188*k = 118870 - 1072406. Does 131 divide k?
False
Suppose -5*f + 316 = -4*f - 3*m, 0 = -5*m. Let l = f + -263. Is 53 a factor of l?
True
Suppose -20*h = -23*h - 2*l + 6542, 4376 = 2*h + 5*l. Suppose -5*p + 4*r = -h, 441 = p + 3*r - 2*r. Is p a multiple of 27?
False
Suppose 41 - 173 = -6*d. Let m(a) = -a**2 + 21*a + 27. Let j be m(d). Suppose -13 = -j*u + 27. Is u a multiple of 2?
True
Let n(l) be the third derivative of 0*l - 11*l**2 - 1/24*l**4 + 77/6*l**3 + 0 - 1/60*l**5 + 1/120*l**6. Is n(0) a multiple of 16?
False
Let i = -5253 - -5825. Is 44 a factor of i?
True
Suppose 75 = -4*o + 9*o. Suppose 2*r + 3*s - 15 = -r, 0 = -5*s + o. Suppose -5 = b, 4*l + r*b - b = 443. Is l a multiple of 28?
True
Let s(b) = 27*b**2 + 46*b + 67. Is s(9) a multiple of 88?
False
Suppose 11*c - 333 = 63. Let r = c - -574. Is 36 a factor of r?
False
Let h(n) = -44*n + 126. Let o be h(6). Let i = o - -753. Is i a multiple of 35?
False
Let z(h) = -26*h + 27. Let r be z(16). Let c = 689 + r. Does 25 divide c?
True
Let k(v) = 19*v + 62 + v - 75 - 78 - 58. Is 6 a factor of k(21)?
False
Let m(t) = 34*t - 304. Let r be m(46). Let v = -3 - -6. Suppose -r = -12*u + v*u. Does 18 divide u?
False
Let f = 11868 - 1550. Is 75 a factor of f?
False
Let z = 36 + -36. Suppose t + 5*b = -23, z*t + 26 = 3*t - 4*b. Suppose -w + 119 = t*l, 3*l + 4*w - 47 = 139. Is l a multiple of 26?
False
Let g be (-216)/(-7 + (-138)/(-18)). Is 3 a factor of ((-10)/3)/(12/g)?
True
Let o(s) = -s**3 + 5*s**2 + 6*s - 13. Let r be o(4). Let d = r + 35. Let n = 137 - d. Is n a multiple of 25?
True
Suppose -5*u - 2*b - 1 - 5 = 0, -5*u + 15 = -5*b. Suppose p - 5*m + 226 = u, 3*p + 2*p - 4*m + 1172 = 0. Let j = -96 - p. Is j a multiple of 28?
True
Suppose 4*s - 4112 = 5*z, 3*s - 3637 = -4*z - 553. Let f = s + -538. Is f a multiple of 70?
True
Suppose a + 288 = 7*a. Suppose -a*v - 264 = -52*v. Is 33 a factor of v?
True
Let g be (-1 - -711)/10*1. Suppose 0*y - 66 = -3*y. Suppose -3*x + g + y = 0. Is x a multiple of 14?
False
Suppose 0 = -3*g + 2*r + 11181, 0 = -5*g + 11*r - 8*r + 18632. Does 13 divide g?
False
Let q(u) be the third derivative of u**6/180 - 3*u**5/40 + u**4/6 - 3*u**3/2 - 14*u**2. Let r(k) be the first derivative of q(k). Is 11 a factor of r(-7)?
True
Let k(m) = -10*m + 14. Let g be k(5). Let w = -101 - g. Let y = 40 - w. Is y a multiple of 15?
True
Let r(i) = -580*i - 314. Is r(-5) a multiple of 2?
True
Suppose 0*i + 425 = i. Suppose -3*b = 3*t - 5*t + 189, -5*t = 2*b - i. Let l = t - 39. Is 16 a factor of l?
True
Let f(q) = 2*q**2 + 93*q + 214. Does 60 divide f(15)?
False
Let x(j) = -j**2 + 20*j + 73. Let l be x(23). Suppose -4*r = 9*y - l*y - 512, 3*r + y = 373. Is 2 a factor of r?
False
Suppose 2*o = 2*i + 766, -i + 274 = -4*o + 1800. Is 15 a factor of o?
False
Suppose -29*o - 8712 = -41*o. Let u = -461 + o. Is u a multiple of 53?
True
Suppose -2*w - 84810 = -4*u, 3*u + 81*w = 80*w + 63590. Is u a multiple of 29?
True
Let s(y) = -19*y**3 + y**2 - 4*y - 25. Is s(-3) a multiple of 10?
False
Let o be (-2)/(-2)*0 - -349. Let r(k) = 4 - 327*k + o*k - 4. Is 22 a factor of r(5)?
True
Let p = 90 - 152. Does 4 divide 5 + -1 - p - 6?
True
Is 246 a factor of -17 + 33 - -13030*2?
True
Does 3 divide 3 + (-11 - (-8 - -7) - -556)?
True
Let r(v) = -v**3 - 7*v**2 + 14*v + 25. Let g be r(-9). Suppose -p - 3*p - q = -259, -p - 4*q + g = 0. Is 12 a factor of p?
False
Suppose 104*b - 100*b = 3*r + 103872, -4*r = -32. Does 39 divide b?
True
Let o(j) = 23*j - 3. Let n be o(6). Suppose -68 = n*f - 131*f. Is 8 - 1 - 34/f a multiple of 2?
False
Suppose 10 = 5*r, -3*y - 2*r = -0*y + 278. Let p = -411 + 591. Let c = p + y. Is 31 a factor of c?
False
Let q(p) = 84*p**2 - 15*p + 24. Let s be q(8). Suppose 4*h + s = 26*h. Does 8 divide h?
True
Is 28 a factor of (-43484)/(-12) + 256/192?
False
Let d = -147 + 111. Is d/81 - 13835/(-45) a multiple of 11?
False
Let v = -8 + 11. Suppose -630 = -3*y - 3*l, -v*l = -12 - 3. Let f = y + 5. Is 35 a factor of f?
True
Let f(n) = 2*n**3 - 122*n**2 + 107*n - 1799. Does 19 divide f(61)?
False
Let c = 159 + -164. Does 2 divide 1 + (-110)/c*(-4)/(-2)?
False
Let u = 23 - 20. Let b be 218 + (-6)/9*u. Does 17 divide ((-17)/(-4) - 0)/(9/b)?
True
Let y(s) = -s**2 + 7*s - 9. Let m be y(-5). Let h = m - -160. Suppose 8*g = 69 + h. Is g a multiple of 10?
True
Let s(k) = 32*k**3 + 5*k**2 - 4*k - 11. Let f(w) = -65*w**3 - 10*w**2 + 8*w + 20. Let r(j) = 3*f(j) + 7*s(j). Is r(3) a multiple of 22?
False
Let p = -11041 + 7841. Is ((-3)/(-6) - 2)/(10/p) a multiple of 16?
True
Let o be (-8)/(-64) - (2 - (-14)/(-16)). Is 1218 + (4/1 - o) a multiple of 31?
False
Does 56 divide (-5)/((-70)/101912) + 552/966?
True
Let a(m) = -m**2 - m - 1. Let w(i) = 3*i - 65. Let o(j) = -6*a(j) - w(j). Is o(-13) a multiple of 74?
False
Let d(s) = 6*s**3 - 3*s**2 - 4*s + 11. Let o be d(4). Suppose -3*g + 1123 = 4*p, 3*p - 2*g - 507 = o. Is p a multiple of 8?
True
Does 11 divide 1449/18*396/7?
True
Suppose 5*f = 18 + 67. Suppose 5*s + 5*o = -30, s + 14 = 5*o - 4*o. Let y = f - s. Does 9 divide y?
True
Suppose -8*u = -15*u + 1568. Suppose -u*f = -223*f - 208. Is 33 a factor of f?
False
Let q(n) = -3659*n**3 - 2*n**2 + 17*n + 19. Is 58 a factor of q(-1)?
False
Let x = 2353 