0 = 0, 0*o + 1804 = j*o + h. Suppose m - o = -9*m. Does 5 divide m?
True
Let t(s) = 13*s**2 - 1 - s + 13*s**2 + 47*s**3 - 23*s**2. Let u be t(1). Is 16 a factor of (u/5)/(4*(-4)/(-80))?
True
Let k be (18 + -16)*(-278)/(-4). Let y = k + 614. Does 17 divide y?
False
Let p(v) = -17*v**2 - 25*v - 100. Let l be p(-5). Let y = -140 - l. Does 35 divide y?
False
Suppose -3*s = -5*s + 48. Suppose 13 = a + 3*y + 2, -3*a - 2*y + 12 = 0. Is 12 a factor of 2/12 + 718*a/s?
True
Suppose 3060 = -4*a + 11824. Does 69 divide a?
False
Suppose -5*j + 512 + 143 = 0. Suppose -6*p + 924 = -2*p. Let k = p - j. Is k a multiple of 25?
True
Suppose -4*m + 2*q = -37300, 5*m - 23569 = -4*q + 23108. Is m a multiple of 25?
False
Suppose -47517 = -4*l - x, -l - 13*x + 11883 = -14*x. Is 88 a factor of l?
True
Let w(u) = 1048*u**2 + 21*u + 153. Does 90 divide w(-5)?
False
Let p(z) = z**3 + z**2 - 13*z - 4. Let d be p(-4). Suppose d = -5*i - 2*y + 929, 3*i + 4*y = -i + 736. Does 11 divide i?
True
Let r be -4 - 6/(-6) - -8. Suppose 1965 = 8*z - r*z. Does 16 divide z?
False
Is 4/22 - (2483908/(-209))/7 a multiple of 92?
False
Suppose -2110 + 360 = -10*a. Suppose -756 = -a*x + 171*x. Is 6 a factor of x?
False
Let c(a) = -29*a - 6. Let v = 68 + -70. Does 26 divide c(v)?
True
Let j = 184 + 72. Suppose j = 2*f + 4*q, 0 = -4*f - 4*q + 238 + 270. Does 6 divide f?
True
Suppose -130*g + 133*g + 4*i = 12404, 4*i - 20 = 0. Is g a multiple of 12?
True
Let t(p) = -p + 15. Let d be t(8). Suppose 298 + 31 = d*j. Let l = j + -21. Does 23 divide l?
False
Let n = 1 - -44. Let j(a) = -a**3 + 11*a**2 - 8*a - 26. Let p be j(10). Let t = n - p. Does 11 divide t?
False
Let d = 103 - 45. Suppose 59*x - 315 = d*x. Is 21 a factor of x?
True
Suppose -3*p - 2*o = 3*p - 53070, -17683 = -2*p - 3*o. Is 29 a factor of p?
False
Is 4 a factor of (-130)/39 - 9442/(-3)?
True
Is 16 a factor of (171/4)/(219/42924)?
False
Let n = 297 + -295. Suppose 0 = -w - j + 1126, -n*j = -22*w + 19*w + 3388. Does 47 divide w?
True
Suppose -66 = -25*u - 8*u. Suppose -5*s + 1173 = 3*k + 352, -648 = -4*s + u*k. Is s a multiple of 21?
False
Suppose 8*f = j + 76462, 73*j = -2*f + 70*j + 19122. Does 54 divide f?
True
Let m be ((-45)/(-25))/(3/(-60)*6). Let k(x) = 17*x**2 + 3*x + 10. Does 16 divide k(m)?
False
Is (11 + (-200)/16 - -2)*(-85204)/(-2) a multiple of 119?
True
Let u = -5506 - -8581. Does 27 divide u?
False
Let x = 1272 + -572. Is 5 a factor of x?
True
Suppose 16 = r + 2*k, r - 3*k = -r - 3. Suppose 0 = r*p - 5*p - 2. Is (1 - -86)*(3 - -1 - p) a multiple of 29?
True
Let i be 52/65*5/2. Suppose -i*v + 58 = -4*d, -3*d - 105 = -5*v - d. Does 15 divide v?
False
Let u(c) = 7*c - 21*c - 20 - 5*c. Let o be u(-11). Suppose -3*d = -o + 45. Is 6 a factor of d?
True
Does 5 divide (14442/18 + 10)*3?
False
Let u(b) = -9*b + 2427. Does 42 divide u(-49)?
False
Suppose -934 = 3*t - 4*v, t + t = 2*v - 620. Let i = -50 - t. Is i a multiple of 9?
False
Suppose 271 = -26*a - 24273. Let d = -454 - a. Is 35 a factor of d?
True
Suppose -o + 137 = -4*a, o + 0*a + 3*a - 144 = 0. Suppose 72 = -3*w - o. Let k = 81 + w. Does 2 divide k?
True
Let d(z) be the first derivative of -z**4/6 - z**3/6 + 18*z**2 - 13*z - 16. Let u(n) be the first derivative of d(n). Does 6 divide u(0)?
True
Let m(t) = 2*t**2 + 5*t**2 + 0*t**2 + 48 - 10*t**2 + 6*t**2. Is 37 a factor of m(13)?
True
Let y = 182 + -180. Is 4 a factor of (y*(-36)/(-2))/(42/112)?
True
Let f(b) = 5425*b**2 + 20*b - 7. Does 103 divide f(2)?
True
Let y(j) = 2*j**3 + 72*j**2 - 4*j - 34. Is y(-33) a multiple of 182?
False
Suppose 0 = 285*y - 280*y + 2*d - 42100, y - 8427 = d. Does 16 divide y?
False
Suppose -4*v + 6 = -2*x, 2*v + v - x = 7. Suppose 6*i = -v*i + 1160. Does 29 divide i?
True
Suppose -27 = -2*r - 3*z, 0*r = 4*r - 3*z - 27. Let a = 29 + r. Let w = 101 - a. Does 9 divide w?
True
Suppose -177901 = 24*c - 510445. Is c a multiple of 35?
False
Let g = -25 - -29. Suppose 0 = 5*h + 15, h + 4*h + 391 = g*w. Let l = 234 - w. Is l a multiple of 35?
True
Suppose 123*w + 17184 - 81688 = 34019. Is w a multiple of 90?
False
Let d = 254 + -267. Let o(m) = 0*m**2 - m**3 + 0*m**3 + 13*m - 12*m**2 + 19. Is o(d) a multiple of 19?
True
Let s(y) = 33*y**3 + 3*y**2 - 2*y - 15. Let j be s(5). Suppose -2*q - 5*u = -j, 25*q - 21*q + 2*u = 8342. Is q a multiple of 63?
False
Suppose 2*t = -z - 339, 4*t - 3*z - 76 + 729 = 0. Let d = -1037 + 956. Let f = d - t. Does 8 divide f?
False
Is 8 a factor of (-20683)/(-1) + 1440/80?
False
Let z(b) = -584*b - 9. Is 92 a factor of z(-3)?
False
Let p = -11 + 13. Suppose 0 = -0*o + p*o - 10. Is 26 a factor of ((-18)/o)/(15/(-650))?
True
Suppose 2*r = 13*r + 143. Let p = 15 + r. Is 34 a factor of (2 + p)*(33 - -1)/2?
True
Let n be (9/((-9)/230))/(6/(-27)). Let d = n - 675. Does 40 divide d?
True
Let k = 4153 + -3397. Is 6 a factor of k?
True
Let m(p) = 18*p + 700. Does 8 divide m(18)?
True
Suppose 6*d - 9*d + y = 29, -4*y - 4 = 3*d. Is 3 a factor of -2*(-1 - (-100)/d)?
True
Suppose -5*m + 101648 + 7707 = -8505. Is 17 a factor of m?
False
Suppose y - 2*i = -11, 5*y + 7*i - 6*i = -44. Let f be (-4)/(-14) - (-374)/14. Is ((-5)/((-10)/(-56)))/(y/f) a multiple of 21?
True
Let d = -38 + 41. Let z(y) = -2*y**2 + 8*y - 2. Let l be z(d). Suppose -2*t - 9 = l*p - 87, -117 = -3*t + 2*p. Does 9 divide t?
False
Is 16 a factor of ((-26)/(-247) - (-308)/(-38)) + 3299?
False
Let m(f) = f**2 - 15. Let y be m(-5). Suppose -8*n = -y*n + 152. Suppose -n = 7*p - 321. Is 7 a factor of p?
True
Let o(a) = -a**2 - 6*a + 16. Let k be o(-9). Let w = k + 64. Suppose 5*j = 57 + w. Is j a multiple of 22?
True
Suppose -b - 2 = -4. Let j be (b - 0/1)*2/(-1). Is j/(90/23 - (-20)/(-5)) a multiple of 4?
False
Let n(t) = -t**3 - 7*t**2 + 18*t - 25. Let m be n(-11). Let d be (m/3)/3 - -1. Suppose 4*c = -w + 45, 4*c = -2*w + 4*w + d. Is 3 a factor of c?
False
Let i(u) = -2*u**3 + 8*u + 5. Let o be i(-2). Suppose 0 = o*k - 4*r - 1565, -3*k + 1243 = k - 5*r. Is k a multiple of 21?
False
Suppose -17 = 2*i - 193. Suppose -3*s - 20 = 2*q + 46, 4*s + 5*q = -i. Let b = 54 + s. Is 19 a factor of b?
False
Let v(u) be the second derivative of -25*u**3/3 + 2*u**2 - 36*u. Let a(o) = -101*o + 9. Let y(g) = -6*a(g) + 10*v(g). Does 16 divide y(3)?
True
Let h(w) = 571*w**2 + 80*w - 84. Is h(-6) a multiple of 49?
True
Let g = 99 - 165. Let f be (-2)/11 + (-5094)/g. Suppose 3 = -3*r - 5*p + 56, 3*p + f = 5*r. Does 4 divide r?
True
Let u(n) = -88*n + 58. Let i be u(-9). Suppose i = -72*d + 73*d. Does 7 divide d?
False
Let h(s) = 15*s**2 - 26*s + 5. Let m(y) = 7*y**2 - 13*y + 2. Let t(c) = 3*h(c) - 5*m(c). Does 41 divide t(6)?
True
Let m(s) be the first derivative of s**4/4 + 8*s**3/3 - 13*s**2/2 - 15*s + 7. Let q be m(-9). Is -72*(q/9 + -4) a multiple of 20?
True
Suppose -16029 = 21*s + 4154 - 86879. Is 8 a factor of s?
True
Let b(g) = -g**2 + 4. Let h be b(0). Let a(x) = 19*x + 11. Let i be a(h). Suppose -2*c + i = 3*y, -3*c = -2*y - 3*y - 159. Does 12 divide c?
True
Let c = -15425 - -22257. Is c a multiple of 122?
True
Let c = -6482 - -13926. Is c a multiple of 19?
False
Let v(l) be the third derivative of 5*l**4/4 + 41*l**3 - 63*l**2 - 2*l. Is v(0) a multiple of 5?
False
Suppose 18*v = 7*v + 121. Does 3 divide (13530/18)/v + 6/9?
True
Suppose 249*o - 1370109 + 363951 - 1663620 = 0. Does 10 divide o?
False
Suppose -5*n + 5*a - 330 = 0, -2*n = -6*a + 2*a + 122. Is 69 a factor of 3 - n - (7 + -2)?
True
Suppose -4446 = -3*q - 3*r - 1047, -5*q + 5667 = 3*r. Suppose 1218 = 3*i - q. Is 8 a factor of i?
True
Let w(q) = 54*q - 45. Let p(z) = -53*z + 46. Let v(a) = 2*p(a) + 3*w(a). Is v(8) a multiple of 17?
False
Let c(k) = -16*k + 495. Let t be c(31). Let d(z) = -14*z**2 - 5*z - 2. Let f(j) = 14*j**2 + 6*j + 2. Let p(l) = -5*d(l) - 4*f(l). Is 15 a factor of p(t)?
True
Suppose 0 = 5*z - j - 30, 1 = -3*z + 2*j + 12. Suppose -8*v + z*v = -80. Does 40 divide v?
True
Suppose -3*z + 3*k = 2037, 0 = 5*z - 0*k - k + 3415. Let y = z - -1343. Is 17 a factor of y?
False
Is 9 a factor of 2563/3 - (-48)/72?
True
Let t = 99 - 14. Suppose 79 = -2*d + 3*q, -d + 3*d = 5*q - t. Let w = 81 + d. Is w a multiple of 6?
False
Let v = -99 + 124. Let r be (((-4020)/v)/(-6))/(4/10). Suppose 61*x - r*x + 594 = 0. Is x a multiple of 33?
True
Let k be (18 - 73)*(1 + 46/