/5 + o?
True
Suppose -5*i = -289 - 251. Does 4 divide (-204)/(-26) - i/(-702)?
True
Suppose 7*u + 17*u - 15*u = 606015. Does 15 divide u?
True
Let a be (0 + 30/(-5))*(-2)/6. Suppose -73 = -a*b + 2*g + 125, 0 = 5*b + 3*g - 487. Is 10 a factor of b?
False
Let p(h) = 207*h**2 + 7*h + 14. Let m(g) = -69*g**2 - 3*g - 5. Let a(n) = 17*m(n) + 6*p(n). Is 7 a factor of a(-1)?
True
Suppose 57*u = 47*u + 40. Suppose o - 191 = -m, 2*m - 406 = -0*m + u*o. Does 15 divide m?
True
Let k(q) = 13*q + 97. Let y be k(-7). Let b(f) = 4*f**3 - 5*f**2 - 9*f + 12. Is b(y) a multiple of 10?
False
Let x(v) = 29*v**2 - 6*v + 64. Does 36 divide x(8)?
True
Suppose -6 = l - 11. Suppose -2*h - 2*z + 169 = -17, -500 = -l*h + 2*z. Is h a multiple of 5?
False
Suppose 0 = -i + 4, 2*n - 15*i - 8 = -16*i. Suppose 0 = 3*v + w - 433, n*v - 3*w - 325 = -51. Does 18 divide v?
False
Let l(k) = -22*k**3 - 17*k**2 + 31*k - 11. Does 52 divide l(-10)?
False
Let x(h) = -6187*h**3 + 3*h**2 - 10*h - 12. Is 25 a factor of x(-1)?
False
Let o = 11 - 14. Is 16 a factor of (189 + 12)*(4/o - -2)?
False
Let p = -2097 + 3093. Is p a multiple of 83?
True
Let d be (2 + 0)*((-60)/(-8))/5. Suppose 0*a = -3*a - d, -1406 = -5*b + a. Is b a multiple of 12?
False
Suppose 18 = 3*l - r, 2*l = 3*r - 2*r + 12. Suppose 3*v - l*v + 15 = 0, 657 = 2*g + 3*v. Is 13 a factor of g?
False
Let a = -150 + 160. Suppose -9*h = -a*h + 192. Is 28 a factor of h?
False
Let j(r) = 3*r**3 - 3*r**2 + 7*r - 8. Suppose -q + 4*x - 22 = 0, 3*q - x = -101 + 35. Let k = 26 + q. Does 41 divide j(k)?
True
Suppose 2*j = -12 + 4. Let y be j/(-5)*2980/8. Is y/4 - 10/(-4) a multiple of 11?
True
Let a be 18*(0 + 0 - (-213)/6). Suppose -4*g = -g + 5*u - a, -g = 4*u - 220. Let h = 308 - g. Is 13 a factor of h?
False
Let y be 2 + 1 + (-4 - -3). Suppose 0*v - y*v = 5*x + 71, 255 = -5*v + 3*x. Let s = v - -95. Does 13 divide s?
False
Let q(t) = -4*t**3 - 6*t**2 + 5. Let a(r) = -3*r**3 - 6*r**2 + 5. Let b(c) = 6*a(c) - 5*q(c). Is 21 a factor of b(5)?
True
Let q = -5 - -9. Let d = -34 + q. Does 9 divide d/(-3)*11/2?
False
Let t(c) = -2*c**3 + 3*c - 27. Let v be t(0). Suppose -2*f + 0*f = -s + 38, 88 = 2*s + 2*f. Let q = v + s. Does 3 divide q?
True
Let m(g) = 102*g - 1. Let o be m(8). Let d = -470 + o. Suppose 5*u - d = -3*q, 2*u - 2 - 4 = 0. Is 12 a factor of q?
False
Suppose 0 = -3*q + 62424 + 14412. Is 30 a factor of (-4)/(-18) + q/171?
True
Let i(l) = 2*l - 1. Let c be i(-1). Let t be 35 - ((4*-3)/2 + 4). Let w = t - c. Is w a multiple of 5?
True
Suppose -24*q + 3*q - 57*q = -896532. Is 14 a factor of q?
True
Suppose -2*s + 25*s = -179606 + 497558. Does 24 divide s?
True
Suppose -66 + 210 = 8*x. Suppose -m - 3 + x = 0. Is m/(-2)*(3 + -17) a multiple of 19?
False
Suppose -4*n - 2*y = -5252, n - 5*y = 1272 + 19. Is 55 a factor of n/11 - 110/605?
False
Suppose 0 = -4*y + y + 6. Suppose 0*b = -y*b - 2. Does 43 divide (-435 - b)*-1*1/2?
False
Let q be 4/(-6) + (-4)/(-18)*93. Suppose 4*j - 5*z - 17 = 20, -4*z - q = 0. Suppose j*p = 4*p - 147. Does 32 divide p?
False
Suppose 27*x - 28*x = 4*g - 6773, 3*g + 2*x - 5086 = 0. Does 30 divide g?
False
Suppose 0 = 220*u - 230*u + 131560. Is 22 a factor of u?
True
Let d(u) = 8*u + 15. Let h be d(-2). Let t(z) = 195*z**2 + 1. Is t(h) a multiple of 14?
True
Let t(v) = -6*v**2 - 4*v + 2. Let h(o) = 25*o**2 + 17*o - 8. Let u(y) = 2*h(y) + 9*t(y). Let n be u(3). Let f = n + 115. Does 37 divide f?
False
Suppose 72 = -3*o + 78. Suppose n - 4*l = -5*l + 483, -o*n - l + 965 = 0. Is 29 a factor of n?
False
Let f = -23811 - -37425. Does 26 divide f?
False
Let v = 395 + -54. Let l = 19 + v. Does 15 divide l?
True
Let c = -31076 - -58168. Does 26 divide c?
True
Let s = 1548 - 761. Suppose 373 = 5*g - s. Is g a multiple of 3?
False
Let w(j) = -j + 1. Let r be w(-1). Is (-168)/(1 + 1 - 7/r) a multiple of 16?
True
Does 37 divide 1809 + 0 + -3 + 8 + -15 + 9?
False
Suppose 2224365 = 79*w + 164124. Is 11 a factor of w?
False
Suppose -3 = -2*t + 3. Suppose f - 5*f + 4*s = 0, t*f - 8 = s. Suppose -120 = 2*r - f*r. Is 9 a factor of r?
False
Let n(c) = -c**3 + c**2 - 2*c + 2. Let b be n(0). Suppose 0 = 7*y - b*y - 25. Suppose 16 = -y*h + 301. Is h a multiple of 9?
False
Let v = 7882 + -7170. Is 8 a factor of v?
True
Suppose -x - 9516 = -7*x. Suppose -2*y = -2*l + x, -2*l + y = -526 - 1059. Suppose -4*u = 2*u - l. Is u a multiple of 33?
True
Let q = -161 + 222. Let l = -3 + q. Is 11 a factor of l?
False
Let k(x) = 4*x**2 - 3*x + 3. Let g be k(0). Suppose -4*a = g*f - 860, 13*f - 8*f - 1445 = 5*a. Is 32 a factor of f?
True
Suppose 5*k = 3*f - 15046, 548*f + 3*k + 20065 = 552*f. Does 27 divide f?
False
Suppose z - 2*q + 6 = -0*q, 3*z - 2*q + 6 = 0. Let j be (z - -2) + 7 + -6. Is 21 a factor of 388/j + (-18)/(-27)?
False
Let b be (9/(-12))/((-4)/16). Suppose 5*d - 8*c = -b*c + 1450, -286 = -d + 2*c. Does 49 divide d?
True
Is (-19 - -11)*(-5 + 4) a multiple of 2?
True
Let t(d) = 3*d + 58. Suppose 3*q - 2 = 2*q. Let n be 2 + (-28)/q + 0. Does 11 divide t(n)?
True
Let l(f) = 596*f**2 + 35*f - 122. Is l(3) a multiple of 22?
False
Let o be (-65)/(-9) + (-16)/72. Suppose -o*s - 936 = -s. Let b = -111 - s. Is b a multiple of 15?
True
Let u(s) = -s**3 - 9*s**2 + 10*s - 7. Let b be u(-10). Let v be ((-6)/4)/(b/14). Does 2 divide (v/4)/(3/28)?
False
Is 7 a factor of 6537 - (0 - -2)*30/(-60)?
True
Let u(p) be the third derivative of 19*p**5/30 - p**4/6 + p**3/3 - 1127*p**2. Let h(d) = d**3 - 4*d**2 - 6*d + 6. Let a be h(5). Does 9 divide u(a)?
True
Suppose 0*d + 2330 = 2*p - 5*d, 0 = -5*d - 10. Suppose c = 9*c + p. Let j = c - -205. Is j a multiple of 15?
True
Suppose -5*c + 2*h = 5*h - 293, 5*h = c - 53. Let z = -59 + c. Is 42 a factor of -2 - z*(47 - 3)?
True
Suppose -w = 2*s + 5, -s - 3 - 4 = -4*w. Is 2 a factor of (-207)/(-6)*w + 30/(-12)?
True
Let l be 6/15 - 56/(-35). Let w be ((-1)/l)/(5/(-20)). Suppose 4*q - 3*q = -w*n + 126, 3*q = 2*n + 378. Does 21 divide q?
True
Does 29 divide 7402*((-56)/252 + 26/36)?
False
Let f(i) be the second derivative of -i**7/420 - i**6/60 - 7*i**5/120 + 7*i**3/6 + 7*i. Let g(k) be the second derivative of f(k). Is g(-3) a multiple of 4?
False
Suppose 0 = 2*f + 3*z - 2783, 4*z = 6*f - 9*f + 4177. Is f a multiple of 60?
False
Let k = 7967 - 4796. Is 87 a factor of k?
False
Suppose -26078 = -7*x + 15908. Is 156 a factor of x?
False
Let r(u) = -12*u - 67. Let h be r(-6). Suppose 0 = d + 5*x - 144, 0 = -h*d - 6*x + 2*x + 657. Is d a multiple of 14?
False
Suppose 330 = -7*z + 2*z. Let p be ((-505)/(-10))/((-4)/8). Let k = z - p. Is 4 a factor of k?
False
Let j(d) = 7*d - 2. Let v be j(11). Suppose 4*w + v = -141. Is 29 a factor of 3/(-6)*(w - 4)?
True
Let q(g) = g**3 - 4*g**2 - g - 19. Let n = -35 + 41. Let y be q(n). Let a = y + 21. Does 25 divide a?
False
Let a = 146 + -145. Let l(o) = 94*o**2 + 3*o - 3. Is 8 a factor of l(a)?
False
Suppose -165*s + 13685 = -158*s. Does 85 divide s?
True
Suppose -7 - 9 = -8*x. Let s(v) = x - 22 + 19*v - 71*v. Is s(-5) a multiple of 16?
True
Let q = 58 + 0. Let f = q - -92. Suppose f = o + o. Does 25 divide o?
True
Let x = -570 - -574. Suppose -5*m + 3*y = -2105, -4*y - 804 = x*m - 2456. Is 22 a factor of m?
True
Suppose -210 = 25*o - 27*o. Let t = o + -12. Suppose t*n + 268 = 97*n. Is n a multiple of 54?
False
Let r(m) = -m**3 + 4*m**2 + 4*m + 7. Let g be r(5). Suppose 0*d - 5 = d, 3*c + 1 = -g*d. Suppose c*b - 3*q + 0*q = 57, 2*b = -3*q + 58. Is b a multiple of 6?
False
Let j = -23379 + 42286. Is 37 a factor of j?
True
Let s = -1 - -4. Suppose 4*c + 2*o - 4044 = 0, 5077 = 27*c - 22*c - s*o. Is c a multiple of 18?
False
Suppose -3*m - 2*v + 22131 - 3847 = 0, 5*v = m - 6055. Does 15 divide m?
True
Let c(q) = -2 + 20*q - 5*q - 19*q**2 + 15 + 0 + 2*q**3. Let h be c(9). Let y = h - -106. Is y a multiple of 16?
False
Suppose -5*a + 7 = o, 3*a - 12 = 5*o + 9. Suppose p - a*p - 3 = 0. Is 30 a factor of 1 + -2 + p + 175?
False
Suppose 0 = 63*s - 26086 - 74021. Is s a multiple of 187?
False
Let u(i) = -1763*i + 134. Is 17 a factor of u(-3)?
True
Suppose -5*h + 9*h - 4 = 0. Let b be (-2)/((-8)/h) + 490/56. Suppose -u - 1064 = -b*u. Is u a multiple of 19?
True
Let h(m) = m**3 - 14*m**2 + 9*m + 6. Let a be h(14). Suppose 13*z = 9*z + a. Is z*((-30)/20 - (-26)/12) a multiple of 18?
False
L