 -4*m + 7*m, -3*z = -3. Does 38 divide m?
False
Let t(l) = -l**2 - 31*l + 53. Let r be 10*(5 - (5 + 3)). Is t(r) a multiple of 83?
True
Let n(u) = -u**3 - 7*u**2 + 4*u - 12. Suppose 5*o = 6*o + 9. Does 19 divide n(o)?
True
Let h(c) = 4*c**2 - 7*c - 9. Let t = -109 + 118. Does 28 divide h(t)?
True
Let x be ((-42)/(-35))/(3/10). Suppose -x*l = 5 - 33. Suppose l*q - 666 = -218. Is q a multiple of 16?
True
Let q be (-3)/(-3) - (2 - -3)*-1. Suppose m = 4*r - 15 - q, 0 = -4*r - 2*m + 30. Is 25 a factor of 0 - 75/r*-2?
True
Let r(q) = -27 + 6*q**2 - 5*q**2 + 6*q + 3*q**2 - 20*q. Let g be r(-8). Is 1/6 - (6 - g/6) a multiple of 8?
False
Let i(v) = -v**2 - 7*v - 65. Let l be i(0). Suppose 0 = 2*s - 3 + 1, 3*p = -2*s + 119. Does 15 divide -3*l/p*(19 - -1)?
False
Suppose -4*g + 41525 = w, -4*g = -4*w - 24170 - 17390. Is g a multiple of 69?
False
Let h(p) = 63*p - 84. Let s be 2/(-8) - (-870)/120. Does 17 divide h(s)?
True
Let w be 4/(-7) - 460/(-35)*-3. Does 18 divide (-51)/(1*6/w)?
False
Let c(d) = 2*d**2 + 74*d - 1091. Is c(13) a multiple of 45?
False
Let n(l) = 6*l**2 - 19*l + 79. Let v(x) = 5*x**2 - 19*x + 77. Let y(s) = 4*n(s) - 5*v(s). Is 9 a factor of y(6)?
True
Let j(p) = 38*p - 22. Let z be j(3). Let q = z + -88. Does 43 divide (18/(-12))/(2/q) - -200?
False
Let v(x) = -23*x - 12. Suppose 3*z - z = -3*u - 20, u = -3*z - 16. Is v(z) a multiple of 16?
True
Let f(a) = 3*a**2 + 34*a - 66. Suppose 0 = 9*r - 10*r + n - 16, 4*n = -5*r - 116. Does 25 divide f(r)?
False
Suppose -2*s + 4*y = -4192, -129*s + 131*s + 3*y = 4164. Does 17 divide s?
False
Let y be 107/(-2) - -3*4/24. Let q = y + 51. Is -2 - -58*(q - -3) a multiple of 12?
False
Does 37 divide (365997/9 - 2) + 1840/(-1380)?
True
Suppose 34*r + 24*r - 10283 = 40177. Is r a multiple of 20?
False
Let o be (-3 - 22/(-4))*14756/35. Is 24 a factor of ((-8)/36 - (-200)/90) + o?
True
Let x = -10 + 13. Let i be (-1)/(x - 2) - -5. Suppose -i*l - 16 = 0, 2*n + 8 = n - 4*l. Is 2 a factor of n?
True
Suppose -2*y = -3*p - 97 + 1349, 2*p = y + 626. Let b = y - -1141. Is b a multiple of 9?
False
Let h(x) = -1099*x - 340. Is h(-8) a multiple of 10?
False
Suppose 5*l + 5*i = 155, 5*l - 118 = -i + 33. Let z = l + -26. Suppose z*m - 368 + 132 = 0. Is 18 a factor of m?
False
Suppose 20*r = 7*r. Let l be r + (-1 + 0)*-2. Suppose 2*h - 19 = -l*s + 249, 3*h = 3*s - 390. Is s a multiple of 10?
False
Suppose -2*j + 13818 + 264 = 0. Does 10 divide j?
False
Suppose 4*k = -2*n + 304 + 996, -2*n = 2*k - 1310. Suppose 2*b + 202 = f + 70, -n = -5*f + 2*b. Suppose -80*i + f = -77*i. Does 11 divide i?
True
Suppose -2*o + 408 = 2*a - 338, -4*a = -3*o + 1140. Suppose -f + o = 40. Is 6 a factor of f?
True
Suppose -2*c = -a - 4, -3 = 3*c + 5*a - 2*a. Let w be (-1 + 0)/c*(9 - 10). Is 8 a factor of w*4/8*34?
False
Let x = 20322 - 8553. Is x a multiple of 6?
False
Let c(r) be the second derivative of r**6/120 + r**5/6 + r**4/8 + r**3/3 + 27*r**2/2 + 6*r. Let a(u) be the first derivative of c(u). Is a(-9) a multiple of 21?
False
Let m = 7457 + -3745. Is 29 a factor of m?
True
Suppose 3*x - 6075 = 5*j, 4*x + 4*j - 8126 = 2*j. Suppose -5*u - 8*s + x = -12*s, 4*u - 5*s - 1624 = 0. Does 7 divide u?
True
Let w be (6 + (-8)/(-24))*27. Let o = -22 + w. Is 30 a factor of o?
False
Let b(q) = q**3 + 21*q**2 - 41*q - 69. Does 11 divide b(-15)?
False
Is (-3)/36 + -204745*(-14)/168 a multiple of 9?
False
Let r be 0*1*(-2)/((-24)/4). Is 21 a factor of (12 + -3)*(80/6 + r)?
False
Let j(g) = 3*g + 41. Let b be j(8). Does 11 divide (528/30)/(2/b)?
True
Suppose i - 71 = -5*x, -2*x + 87 = i - x. Suppose 389 = 6*q - i. Is q a multiple of 4?
True
Let d(s) = 8*s + 3 - 15*s + 3*s. Let o be d(3). Is (-2)/o + 3768/54 a multiple of 14?
True
Suppose -191*d - 160*d + 5324670 = 0. Is d a multiple of 41?
True
Let x = -4962 - -5295. Does 2 divide x?
False
Suppose 74*d - 4*p = 70*d + 6256, 0 = 5*d + 4*p - 7784. Is 20 a factor of d?
True
Let b = 8 - -1. Let j(v) be the second derivative of v**4/6 - 2*v**3/3 - 3*v**2/2 + 87*v. Is 13 a factor of j(b)?
False
Suppose 16*w = 4*b + 12*w - 27352, 2*b + 3*w - 13646 = 0. Does 32 divide b?
False
Suppose 5*t + 5*p = -15, 2*p = t - 2*t - 4. Let d be ((-1360)/11)/t - (-20)/110. Is d + (12/(-3))/(-1) a multiple of 11?
True
Let q(y) be the third derivative of 3*y**5/20 + y**4/6 + y**3/2 + 9*y**2 + y. Is q(-5) a multiple of 52?
True
Let m = 3 + 4. Suppose 0 = -m*i - 26 + 362. Let t = -24 + i. Is t a multiple of 6?
True
Let y = 1528 - 329. Let q = y + -641. Is q a multiple of 38?
False
Does 3 divide 2465 - ((-9 - -15) + -2)?
False
Let x(i) = 249*i**3 - 2*i**2 + 18*i + 17. Let w(k) = k**2 - k. Let b(p) = -2*w(p) - x(p). Is 31 a factor of b(-1)?
True
Suppose 3*a - 78 - 27 = 0. Let q(k) = 12*k - 353. Let l be q(28). Let x = a + l. Is x a multiple of 5?
False
Let l(x) = 4*x**2 - 2*x - 12. Let m(u) = u**2 + 13*u + 42. Let k be m(-9). Is 20 a factor of l(k)?
True
Suppose 4*c + n - 560 = 655, -c - 2*n + 309 = 0. Does 11 divide c?
False
Let z(s) = 8*s**2 - 3*s - 846. Let l(h) = 5*h**2 - 3*h - 423. Let g(v) = 5*l(v) - 3*z(v). Is g(0) a multiple of 9?
True
Suppose 5*a - 15 = 38*l - 37*l, a + 3*l + 13 = 0. Let b(c) = 258*c - 38. Does 31 divide b(a)?
False
Suppose -19*n - 17 = -74. Suppose -n*u - 27*u = -2310. Is u a multiple of 54?
False
Let q = -228 + 58. Let w = 390 + q. Is w a multiple of 7?
False
Let n(y) be the third derivative of y**5/60 + y**4/4 + 17*y**3/6 + 28*y**2 + 2*y. Is n(10) a multiple of 33?
False
Suppose -s + 8*h + 18294 = 0, 28 = -h - 3*h. Does 22 divide s?
True
Let u(q) = -q**2 - 473*q + 6790. Is 35 a factor of u(0)?
True
Suppose -39*f - 190099 = -1059019. Is f a multiple of 20?
True
Let p be ((-88)/(-154))/((-4)/(-42)). Suppose 14 = j + 4*m, 0 = 2*j + m - p*m - 54. Is 22 a factor of j?
True
Let r = -4325 + 7069. Does 49 divide r?
True
Suppose -46*q - 3*n = -51*q + 146655, -4*q + n + 117331 = 0. Is 22 a factor of q?
False
Let y(c) = 6*c**2 + 128*c + 1058. Is y(-79) a multiple of 24?
True
Suppose -68*z + 67*z = -1136. Is 121 a factor of z?
False
Suppose 255*u - 258*u = -12. Suppose -3*y + 12 = 0, -y - u*y = -5*j + 280. Is 3 a factor of j?
True
Suppose -52486 = -15*r - 5*r + 45194. Does 132 divide r?
True
Let q be 96/51 + 8/68. Suppose -t - 212 = -4*k - 4*t, q*k - 108 = -t. Is k a multiple of 2?
True
Suppose 21*x - 36 = 22*x. Does 13 divide -1 + 0 + 6 + (-27828)/x?
False
Let t(h) be the third derivative of -h**6/60 - h**5/60 - 7*h**4/24 - h**3/3 + 4*h**2 - 16*h. Is 6 a factor of t(-4)?
True
Suppose -2*b + 2*o + 0 = 4, 5*b + 5*o = 40. Suppose j - 2*h = -0*j + 249, -b*j = 4*h - 767. Does 23 divide j?
True
Suppose -17*k - 163 = 1248. Let a = 759 + k. Is a a multiple of 26?
True
Suppose 4*v - 36701 = 5*r, -5*v + 19120 = 2*r - 26715. Is 27 a factor of v?
False
Let l = 1 - 0. Let r(a) be the second derivative of 16*a**3 + 3*a**2/2 + 1529*a. Is 33 a factor of r(l)?
True
Let r(u) = 5*u**2 + 6*u + 3. Let s be r(-5). Suppose -q - 3 = 2*q, 4*q = 2*j - s. Suppose -j - 607 = -3*o. Does 42 divide o?
False
Let c(k) = -3 + k**2 - 2*k**2 + 4. Let q be c(-1). Suppose -j + 85 = -q*j. Does 29 divide j?
False
Let y = -49 + 51. Is 43 a factor of 52/2*((-156)/(-8) + y)?
True
Let f(t) = t + 2. Let j be ((-3)/2)/(12/(-32)). Let l be f(j). Suppose -l*a = -11*a + 570. Is a a multiple of 19?
True
Suppose 0 = 5*a - 10*a + 50. Suppose 9*t - 178 = -4*m + a*t, -5*t - 54 = -m. Suppose -m*z - 648 = -48*z. Is 11 a factor of z?
False
Let a be (-2 + 2)*(-2)/(-4). Suppose -404 = -109*z + 104 - 72. Suppose a = -z*v + 4*s + 328, 5*v + 0*s = -5*s + 370. Is v a multiple of 11?
False
Suppose 4*w - 4 = d, 1 - 5 = -3*d - 4*w. Suppose 45*v - 48*v + 198 = d. Suppose 4*r = -4*m + 124, 2*r + 5*m + 1 - v = 0. Is r a multiple of 15?
True
Suppose 4*a + 39355 = -63*j + 70*j, 3*a - 28140 = -5*j. Does 14 divide j?
False
Let j(x) be the second derivative of x**4/12 - 5*x**3/2 + 20*x**2 - 2*x. Let k be j(12). Suppose -189 = -3*q - k*q. Does 17 divide q?
False
Let d(g) be the first derivative of g**4/4 - g**3/3 - g**2 + 168*g - 17. Is 14 a factor of d(0)?
True
Let a be 366/((460/184)/((-1)/4*-5)). Suppose -m + 5*m + 10 = f, 5*m = f - 12. Suppose -f*i - 178 = -7*t + 3*t, 4*t - a = -3*i. Is 5 a factor of t?
True
Let s = 529 - 531. Let r(q) = 46*q**2 - 9*q - 25. Is r(s) a multiple of 