o. Is 24 a factor of o?
True
Let i(o) = 2*o**2 - 2*o - 8. Let t be i(-4). Is (-6)/8 - (-4504)/t a multiple of 20?
True
Suppose 3*h = 648*z - 650*z + 10720, -26852 = -5*z - h. Does 68 divide z?
True
Let h be -9*((-444)/90)/((-6)/(-60)). Let z = 813 - h. Is z a multiple of 41?
True
Let f(o) = 8*o**2 - 325*o - 107. Does 54 divide f(52)?
False
Suppose -s + 2*h - 905 = 3*h, 3*s + 4*h = -2711. Let n = -589 - s. Is 40 a factor of n?
True
Suppose 0 = 345*z - 344*z + 4*l - 2942, -z + l = -2922. Is z a multiple of 133?
True
Suppose 46847 + 69965 = 55*l - 17*l. Is 29 a factor of l?
True
Let x(o) = 25*o**2 - o + 199. Does 62 divide x(17)?
False
Suppose 4*q + 23 = -3*x, -4*x = 3*q + 34 - 15. Is 41 a factor of x + 28/36 + 1480/18?
True
Is 0 - 2/2 - (-16 + 39 + -13887) a multiple of 16?
False
Let p = -22613 - -32531. Does 58 divide p?
True
Suppose -q + 70713 = 5*b, 5*b - 70755 = -26*q + 31*q. Is 52 a factor of b?
True
Suppose 3*f = 1282 + 2261. Suppose -f = -18*g + 439. Is g a multiple of 10?
True
Suppose 0 = -91*h + 50*h + 91881. Is 7 a factor of h?
False
Let u(h) = -h - 14. Let q be u(-16). Let m be 105/2*(2 - q/(-3)). Let f = 218 - m. Does 5 divide f?
False
Let w(b) = -65 + 5*b + 9*b + 2*b**2 + 28*b. Is 53 a factor of w(-29)?
False
Let s be 2/(-3)*30*(1 + 1). Let b = 134 - 80. Let p = b + s. Is p a multiple of 14?
True
Suppose 3*a - 5 = -2*a + 5*r, -2*a - 2*r = -6. Let d(t) = t**2 - 13 + 2*t + t + 15 + t**a. Is 4 a factor of d(-2)?
True
Let v(a) = -8*a + 47. Suppose 3*w - d + 2*d = -59, -2*w - d = 38. Is 7 a factor of v(w)?
False
Does 19 divide (13 + 5 + (-8634)/(-15))/(2/20)?
False
Let m = -34743 - -60715. Does 86 divide m?
True
Let b(u) = 309*u**3 + 2*u**2 - u - 12. Is b(3) a multiple of 107?
True
Is 4 a factor of ((-3444)/(-5))/(51/340)?
True
Suppose -d - 5*c = -1326 + 336, 3*d - 2890 = 5*c. Does 5 divide d?
True
Let l(x) = 107*x - 96*x + 12*x**2 + x**3 - 3*x**2 + 24. Let i be l(-8). Suppose 0*u + 4*u - 720 = i. Does 30 divide u?
True
Suppose 0 = 5*d - 35*d - 1200. Is 15 a factor of -105*1*d/28?
True
Suppose 0 = 2*d + 6*d + 576. Let i be d/(-39) - (-2)/13. Suppose 2*c + q = -2*c + 65, 2*c - 28 = -i*q. Is c even?
False
Suppose 87*c - 11861 = 321715 - 24117. Does 14 divide c?
False
Suppose 0 = -2*p - 2*z - 4, 58*z = 4*p + 54*z. Does 34 divide (2247 + p)/2 + (27 - 28)?
True
Let k(w) = 8*w**2 + w - 2. Let d be k(2). Let j = d - 27. Suppose -q - 4*y - 10 + 34 = 0, 2*y = j*q - 142. Does 12 divide q?
False
Suppose -w = -16*w + 8955. Suppose -15*d + 2697 = w. Is 20 a factor of d?
True
Let o be (26/4 + -5)*(-20)/(-6). Suppose -o*n - 38 + 498 = 5*w, 188 = 2*n + 4*w. Is n a multiple of 14?
False
Let w(v) = 60*v**2 - 26*v - 117. Is 7 a factor of w(-7)?
False
Let b = 1140 + -567. Let i = b + -339. Is 26 a factor of i?
True
Let n(i) = 12*i**2 + 212*i + 2077. Is n(-10) even?
False
Suppose -11*d + 17 = 28. Does 74 divide (1 - d)/((-26)/(-11544))?
True
Let p = 71 - 68. Suppose -3*m + 25 = -5*j, -4*j - m + p*m = 18. Is j + (1 - 0)*(6 - -8) a multiple of 7?
False
Let q = 9696 - 4661. Is 31 a factor of q?
False
Suppose 124*c + 0*c = 242962 + 56002. Does 9 divide c?
False
Let l = -7695 + 10891. Is l a multiple of 94?
True
Suppose 32*t - 5*o = 240379, 152*t + o + 37559 = 157*t. Is 64 a factor of t?
False
Is 27 a factor of (-12 + 4 - -7)*-3725?
False
Let o(k) = 518*k - 100. Suppose -16*w + 97 - 33 = 0. Does 58 divide o(w)?
True
Let g = 26216 - 7883. Is g a multiple of 63?
True
Suppose -717*p - 183708 = -780*p. Is p a multiple of 22?
False
Suppose -5*m - 2*t + 141189 = 0, 4*m = 1151*t - 1148*t + 112942. Is 11 a factor of m?
True
Let m be (-23574)/(-45) - 14/(-105). Let b = -106 + m. Let o = b + -286. Is o a multiple of 25?
False
Suppose 0 = -149*z - 334376 + 1944321. Is 45 a factor of z?
False
Suppose -288*l = -286*l - 8, -2*t + 4850 = 5*l. Is t a multiple of 35?
True
Let o(m) = 11 - 2*m + 0*m**2 - 3*m - 4*m + 5*m**2. Is 9 a factor of o(-7)?
False
Let l = 18663 + 17309. Is 17 a factor of l?
True
Let f(m) be the first derivative of m**5/60 - m**4/12 + 31*m**3/6 - 23*m**2/2 + 28. Let i(w) be the second derivative of f(w). Is i(0) a multiple of 15?
False
Suppose 4*h - 3 = 5. Let i(d) = 4*d + 4*d**2 - 51 + h*d**2 + 24. Is 31 a factor of i(5)?
False
Suppose 2*d = -2*n + 44, -3*n + 5*d = 7*d - 66. Let s(f) = -f**3 + 22*f**2 + 6*f + 69. Is 67 a factor of s(n)?
True
Let n = 289 - 408. Suppose 2*h = 2*v - h + 223, -4*v = 5*h + 413. Let y = v - n. Is y even?
True
Does 50 divide 8150 - -2*4/24*(51 - 57)?
False
Suppose -91635 - 96511 = -151*l. Is 12 a factor of l?
False
Is ((-20)/16)/((-16)/78848) a multiple of 69?
False
Does 25 divide (5/2)/(18093/243162 + (-20)/270)?
False
Let a(w) = 7*w**2 - 2*w - 5. Let n be a(-4). Suppose 4*l - q = 149, -5*l + 70 = -q - n. Is l a multiple of 9?
True
Suppose -4472 = -4*x + 2*k, 14*x - 11*x - 3*k = 3345. Is 2 a factor of x?
False
Let u(w) = 190*w - 36. Let l(b) = -38*b + 7. Let o(q) = -11*l(q) - 2*u(q). Is 12 a factor of o(12)?
False
Suppose 23*y + 106 + 9 = 0. Let p(n) = 13*n**2 + 29*n + 120. Is p(y) a multiple of 20?
True
Let o(t) = 6*t**2 + 4*t - 4. Let u = 113 + -109. Is 4 a factor of o(u)?
True
Let g(w) = 2*w**2 - 3*w + 4. Let o = -14 + 16. Suppose -4 = -f - 2*q, 0*f - 2*f - o*q = 0. Is g(f) a multiple of 16?
True
Let u(x) = 190*x + 1680. Let c be u(-8). Suppose -2*b - 12 = -6*b. Suppose 4*n + 4*r = -0*r + c, -b*n - 5*r = -122. Does 4 divide n?
False
Let k = 10 + -7. Let y(c) = -k*c + 6*c**2 + 14*c - 5*c - 2*c + 8. Is y(-3) a multiple of 50?
True
Is 208 a factor of 3/((-194)/(-1843) - 14955/142253)?
False
Suppose 4*s - 40 = -4*p, 0*s = 3*p + 2*s - 29. Suppose 500 = 5*d + b, -3*b - 282 = 6*d - p*d. Is d a multiple of 14?
False
Let q = 26216 + -14714. Is q a multiple of 111?
False
Let q(s) = 417*s - 1055. Is q(4) a multiple of 4?
False
Let v = -5448 + 6133. Does 7 divide v?
False
Let o(b) = b**2 - 5*b + 4. Let k be o(5). Suppose 6*i - k = 5*i. Suppose -3*l = t - 107, t - i*l - 127 = -3*l. Is 25 a factor of t?
False
Suppose -2*h - 5 = -3*h. Let f(b) be the second derivative of 16*b**3/3 + 9*b**2 + 11*b. Is f(h) a multiple of 44?
False
Is 93 a factor of 75350/4*(1710/225 + 6/(-1))?
False
Let g be 0 - 1*(3 + -6). Let i = 302 - 174. Suppose 66 = g*m - v + 4*v, v + i = 5*m. Is m a multiple of 6?
False
Suppose -23*d - 576 = -29280. Let p = d + -289. Does 47 divide p?
False
Let c(d) = d**3 + 8*d**2 - d - 2. Let z(u) = 6*u**3 + 41*u**2 - 6*u - 11. Let r = 4 + 7. Let p(f) = r*c(f) - 2*z(f). Is 8 a factor of p(4)?
False
Let c(p) = p**2 + 7*p - 33. Suppose 6*n + 39 = n + 3*f, -2*f - 24 = 5*n. Let j be n*3*3*5/15. Is 11 a factor of c(j)?
True
Suppose -2*o + 4*n = 120, -5*o - 2*n = n + 352. Let g = -75 - o. Let m(l) = 2*l**2 - 5*l + 2. Does 12 divide m(g)?
False
Let v = 25 - 29. Let x be (-4 - v) + -2 + 129. Suppose -x - 377 = -3*c. Is 42 a factor of c?
True
Let t(j) = j**2 - 38*j + 48. Let f be t(37). Let v = 3 - -5. Suppose -v*g = -9*g + f. Is 7 a factor of g?
False
Let a(u) = 79*u - 106. Let k be a(13). Suppose s - k = -4*m, 240 = -3*m + s + 929. Does 23 divide m?
True
Let c(q) = q**3 + 17*q**2 + 15*q - 18. Let n be c(-16). Let u be 1*(0 + 2 - n). Suppose 6*h - 2*h = -u, -5*b + 3*h = -128. Is b a multiple of 20?
False
Suppose 287*a - 35 = 292*a, 4*a - 7928 = -2*u. Is 18 a factor of u?
True
Let j = 194 - 325. Suppose 0 = 298*s - 287*s + 781. Let q = s - j. Does 9 divide q?
False
Suppose -3*r = 4*t - 56872, 4*r - 76244 + 400 = 2*t. Is 15 a factor of r?
True
Let f be (-4)/1 + -5 + 0/(-7). Does 5 divide f*15*(-21)/9?
True
Is 24 a factor of (-5)/(25/(-2)) - ((-1508169)/65 + 18)?
False
Let p = -5586 + 14545. Does 15 divide p?
False
Let n be 2*((-1164)/(-16))/(15/50). Suppose -3*r + 487 = -3*j - 965, 2*j + n = r. Is 21 a factor of r?
True
Let l = 6437 - 2981. Does 11 divide l?
False
Suppose 3*b - d - 117 = 0, -4*b + 126 + 19 = -5*d. Is ((-2172)/10)/((-16)/b) a multiple of 89?
False
Suppose -128 - 37 = -33*r. Let d(u) = 76*u + 18. Is d(r) a multiple of 17?
False
Let n be (1 - 3*6)/(-3 + 2). Suppose -2*w + n = 87. Let h = w + 69. Does 15 divide h?
False
Let j = -6458 + 9818. Is j a multiple of 140?
True
Suppose -7*o - 5*x = -6*o + 23, -x = 5. Suppose 2*v - v - 28 = -4*z, o*v - 2*z = 36. Is v a multiple of 4?
True
Let k = -20284 - -30463. Is k a multiple of 117?
