- -2092. Is 11 a factor of o?
True
Let i be ((-1)/(5/(-135)))/1. Suppose -21*r = -i*r + 1020. Let f = r - 77. Does 31 divide f?
True
Does 33 divide 1592 + (2/((-8)/(-14)))/(269/538)?
False
Let m(g) = 136*g - 680. Is m(6) a multiple of 4?
True
Let o = -222 + 215. Does 7 divide ((-29)/2 + -3)*(o - 1)?
True
Suppose z - 5*h - 8165 = 0, -z + 8*h = 13*h - 8155. Is z a multiple of 96?
True
Let p = -42026 - -59433. Is 23 a factor of p?
False
Suppose 0 = -3*c + 2*x - 2 + 10114, 3*x = c - 3359. Is 15 a factor of c?
False
Let p be (2995/6)/5 + (-6)/(-36). Let h = p + -89. Suppose -763 = 4*y - h*y. Is y a multiple of 23?
False
Suppose -250*x = -231*x - 157111. Does 38 divide x?
False
Is 20 a factor of (-48140)/(-1245)*(-2)/(1061/531 + -2)?
False
Suppose 0 = -3*t + 5*f + 92190, 1301*t = 1300*t - 2*f + 30763. Is t a multiple of 13?
True
Let n(a) be the first derivative of -42 - 22*a - 13/2*a**2 + 4/3*a**3. Is n(8) a multiple of 13?
True
Suppose 20 = 2*h - 0. Let m = -8 + h. Does 5 divide 0 + (m + -1)*21?
False
Suppose 5*x - 482 = 633. Let r be 9 + ((-3339)/(-27) - (-1)/3). Let g = x - r. Does 9 divide g?
True
Does 5 divide (-4)/22*253/(-46) + 5559 + 0?
True
Suppose 5*s + 25 = -2*g, -2*s - 3*g = 2*s + 20. Is 138 + (30/(-6))/s a multiple of 6?
False
Let y(m) = 0*m**2 + m**2 - m**3 + 2 - 92*m + 96*m. Let u be y(-5). Suppose -572 = -5*n - 2*z, -n + u = 4*z + 14. Does 19 divide n?
True
Is ((-1)/(-5) - 1)/((-46 - -10)/1495980) a multiple of 11?
False
Let c(z) = -3*z**3 - 81*z**2 - 11*z + 335. Is c(-29) a multiple of 50?
True
Suppose 3*r + 0*d = 4*d + 118, 86 = 3*r + 4*d. Let n(i) = i**3 - 35*i**2 + 41*i + 34. Is 32 a factor of n(r)?
False
Let v(y) = 10*y + 103. Let z(d) = -d**3 - 3*d**2 + 15*d - 4. Let i be z(-6). Does 3 divide v(i)?
True
Does 4 divide 212001/33 - 9/33?
True
Let n = 17809 - 12184. Does 15 divide n?
True
Let c be 36/(4 - 0 - 72/20). Let l be -4 + (-7 - 0)/((-5)/c). Suppose l - 1652 = -6*q. Is q a multiple of 17?
True
Let t(m) = 7*m - 77. Let c be t(-9). Does 7 divide -6*-5*c/(-8)?
True
Suppose 20*d = 28*d - 22592. Is 13 a factor of d?
False
Let a = -258 + 294. Is 3804/84 + a/21 + -2 a multiple of 9?
True
Suppose -d - 2799 = -5*x, 13*x = 17*x + d - 2241. Is x a multiple of 4?
True
Let q(g) = 4*g**2 - 45*g - 15. Suppose 5*i + 2*a - 62 = 3*a, 2*i - 5*a - 34 = 0. Is q(i) a multiple of 7?
True
Suppose 0 = -225*o + 3976366 - 268366. Is o a multiple of 10?
True
Let k = -3129 + 3685. Is k a multiple of 139?
True
Let d(r) = 7*r**3 - 2*r**2 - 6*r + 1. Let s be d(4). Suppose -i + 2*f = -282, -i - 110 + s = -3*f. Is i a multiple of 35?
True
Suppose -5*r - 32 = 3. Let g = -6 - r. Let a(w) = 34*w**3. Is 20 a factor of a(g)?
False
Suppose -137*p - 6 = -135*p, -2*p + 19941 = 3*w. Is w a multiple of 14?
False
Suppose -5*s = -r + 9 + 4, -5*r + 3*s + 21 = 0. Suppose -4*f = 4*q - 1416, 4*f - r*q - 1398 = -q. Is f a multiple of 13?
True
Let g(d) = d**3 + 11*d**2 + 15*d + 20. Let m be g(-8). Let v = m - -269. Is v a multiple of 37?
False
Suppose 13 + 647 = -33*h. Is (25/(625/(-690)))/(2/h) a multiple of 13?
False
Is -9 - 287/(-28) - 428225/(-28) a multiple of 35?
True
Is 52 a factor of (-2)/(32/(-4204))*18 - (-95)/38?
True
Let q = -227 - -1837. Suppose 0 = 27*f + q - 4580. Is f a multiple of 16?
False
Suppose x - 2*x + 3*o - 3 = 0, -x - 4*o + 32 = 0. Is 21 a factor of 3 + (-45)/x - 13146/(-24)?
False
Let b = -89 - -159. Suppose 6*r + 10 = b. Is 3 a factor of r?
False
Suppose 2*t - 3*m - 32484 + 8941 = 0, -5*t + 58868 = -4*m. Does 64 divide t?
True
Let o(i) = 360*i - 1592. Does 26 divide o(18)?
True
Let k(a) = 0 - 714*a**2 - 13 + 715*a**2 - 15*a. Is k(-10) a multiple of 11?
False
Suppose 4*r = h - 11396, -239*r - 22820 = -2*h - 235*r. Is 136 a factor of h?
True
Let v(f) = 4*f - 29. Let z be v(9). Suppose -178 = -z*s + 6*s. Let i = s - 118. Is 15 a factor of i?
True
Let v = -42 - -45. Let d(g) = -v + 5 + 3 - g + 8. Does 6 divide d(-17)?
True
Let g be (-15)/1*5/3. Let c be (g + 28)/(2/((-2)/(-1))). Suppose c*r = -4*w + 335, -5*r + 243 = -0*w + 3*w. Is 6 a factor of w?
False
Let u = 121 - -47. Suppose 3*h = -h + u. Is h a multiple of 21?
True
Let l = 86 + -45. Let u = 43 - l. Suppose u*y - 3*y = -3*z - 237, 2*z = 2*y - 458. Is y a multiple of 35?
False
Let t be (1 - 1)/(-27 + 26). Suppose -19*j + 18*j + 218 = t. Does 4 divide j?
False
Let x(a) = 25*a + 119*a + 0 - 6 + 6*a. Let y be x(3). Let f = -214 + y. Does 46 divide f?
True
Is 7 a factor of 6 - (2 - 1)/(4 - (-3741)/(-935))?
False
Let o = 29148 - 20004. Is o a multiple of 72?
True
Let b(q) = 2*q - 8. Let n be b(6). Suppose 0 = -f - 4 + 2, 0 = -4*m + n*f + 20. Suppose -4*o + m*k + 22 = k, 0 = 5*o + 4*k - 34. Is o even?
True
Let z = 7 + -11. Let l(i) be the second derivative of -31*i**3/6 + 5*i**2/2 + 47*i. Is l(z) a multiple of 13?
False
Suppose 4*f + 156 = f. Let t = 18 + f. Let w = 51 + t. Does 17 divide w?
True
Let a be (1560/18)/((-1)/(-18)). Suppose k + 3*k = -16, 5*k + a = 5*z. Suppose -14*i + 3*i = -z. Is 14 a factor of i?
True
Let r = -1343 - -4653. Suppose -50 - r = -8*s. Does 28 divide s?
True
Suppose 5308 = 5*h - 1832. Let l = h - 1008. Is l a multiple of 15?
True
Suppose -q = 2*m + 531, -16*m = -15*m + 4*q + 255. Let h = -191 - m. Does 38 divide h?
True
Let v be 3*(1/(-2)*6 - -4). Suppose -v = 3*m + 3. Is 3 a factor of -24*(m + (-3 - (-26)/6))?
False
Let o(f) = f**2 - 7*f + 10. Let i be o(4). Let w be i*(-12)/8*1. Suppose -6*q + 60 = -w*q. Is 2 a factor of q?
True
Let o(d) be the first derivative of 3*d**5/20 - d**4/24 + d**3/3 - 5*d**2/2 - 31. Let s(v) be the second derivative of o(v). Is 3 a factor of s(1)?
False
Suppose -8 = -6*p + 2*p. Let a be (3 - (-2)/p)/(2/122). Suppose c - 52 = w, -w - a = 4*c - 9*c. Is 38 a factor of c?
False
Let p be (-2)/((-4)/(-36) - 1)*4. Suppose 0 = p*f + 36 - 954. Suppose 5*k = -4*x + f, -x + 6 + 24 = -k. Is x a multiple of 28?
True
Let f(p) = -3*p + 5320. Is f(13) a multiple of 29?
False
Let i(m) = -8414*m - 6400. Is i(-8) a multiple of 54?
True
Let a(p) = -20 + 534*p**3 - 13*p - 1063*p**3 + 530*p**3 + 25*p**2. Does 31 divide a(-24)?
True
Let b = 6057 + -4071. Suppose 3638 + b = 19*t. Is t a multiple of 3?
False
Suppose 4*k + 5*h - 381 = 0, h - 2*h = 3*k - 272. Let u = 4834 - 4866. Let r = k + u. Is r a multiple of 7?
False
Suppose 22*t - 45 = 7*t. Is (t/9)/((-1)/(-36)) a multiple of 6?
True
Let r(p) = -p**3 + 7*p**2 + 8*p + 36. Does 72 divide r(-13)?
True
Suppose 2*k + 1 = -4*v - 3, 0 = -4*v - 16. Suppose 460 = k*n - n. Let d = -63 + n. Does 29 divide d?
True
Suppose -2179*m = -2151*m - 33880. Is m a multiple of 22?
True
Let n(h) = h**2 - 11*h + 10. Let s be n(10). Suppose 3*i - 9 = -s*i. Suppose -4*x + 280 = 5*d, 0 = 3*d - d + i*x - 112. Is 14 a factor of d?
True
Let l be (47 - -15) + 1*5. Suppose 0 = l*v - 65*v - 88. Is v a multiple of 11?
True
Let c = -870 - -379. Let i = c + 1222. Does 8 divide i?
False
Let s(m) = 4*m + 45. Let k be s(18). Suppose 5*j + 342 - k = 0. Let b = 167 + j. Is 29 a factor of b?
False
Let t = 207 + -205. Suppose 0 = 3*w - 4*w + 6. Suppose -960 = -t*i - w*i. Is i a multiple of 28?
False
Let d(x) = x**2 - 10*x - 478. Is d(-59) a multiple of 12?
False
Suppose 20*k - 34717 = 77783. Does 252 divide k?
False
Let u be 6/(-1)*(-12)/(-8). Does 15 divide (0 + 42/u)*-45?
True
Suppose -5*o - s + 22 = 0, 2*o - 5*s - 39 = -14. Suppose j + o*h = 193, 3*j = -4*h + h + 639. Is j a multiple of 26?
False
Let d be 4/(-4*6/(-24)) - -1. Suppose 879 = 4*p + d*f, p - 5*f - 417 = -p. Is p a multiple of 12?
True
Let w = 5564 + 6409. Does 105 divide w?
False
Let l(v) = -3*v**2 + 6*v + 23. Let q be l(7). Let i = q + 145. Is i a multiple of 7?
True
Suppose -3*w = a - 2779, 2*a - 235 = -5*w + 4396. Suppose -92*q = -95*q + w. Is q a multiple of 12?
False
Is 51 a factor of -2*24*(-801)/12?
False
Suppose 17*w - 14*w = 15. Suppose -2*g + w*a + 133 + 177 = 0, -3*g + 5*a = -475. Is g a multiple of 48?
False
Let t be (-8)/22 + 2856/(-374). Is 11 a factor of (-1)/(t/4512*1)?
False
Let l(o) = o - 14. Let x be l(13). Let w be (-4)/(12/(-63))*x. Let i = w + 135. Is 27 a factor of i?
False
Suppose -4*w + 10 = -6*w. Let o(p) = -46*p - 27. Let v(j) = 23*j + 14. Let h(s) = 6*o(s) + 11*v(s). Is h(w) a multiple of 18?
False
Suppose 10*j + 280 = 15*j. Suppose -6*d = -2*d - j. Let f = d - 