o(c). Suppose 527 = 6*h - m. Is 11 a factor of h?
False
Suppose -2*k + 9*k = -112. Is (k/4 - -3)*-159 a multiple of 13?
False
Suppose -10908 = -2*h - 7*h. Suppose -2*n - h = -4*l, -3*n + 266 + 1249 = 5*l. Is 32 a factor of l?
False
Let f(z) = -8*z**2 + 25*z + 115. Let u be f(-5). Is 16 a factor of 10/u*-6 - (-1566)/7?
True
Let r = 16368 - 7493. Is 210 a factor of r?
False
Let u(n) = n**3 + 2*n**2 + n + 1. Let j be u(-2). Let x be (-32 - (5 + j))*-1. Does 9 divide -1 - (3*x)/(-4)?
False
Let h be 101643/969 + 2/19. Let f be (-2 - -3) + 4*62. Let s = f - h. Is 12 a factor of s?
True
Suppose 4*r - 12 = 2*r - p, -p = -2*r + 16. Suppose -3294 = -r*y + 619. Does 13 divide y?
True
Suppose 219*x - 149930 = 133018. Is x a multiple of 2?
True
Let j = 10691 + -8582. Does 12 divide j?
False
Let l(i) = -216*i**3 - 2*i. Let x(h) = -2*h**3 - h**2 + h + 2. Let r(b) = l(b) - x(b). Let w(s) = s + 1. Let j be w(-2). Is 12 a factor of r(j)?
True
Suppose -q + c + 5043 = 0, -5*q - 5*c + 25191 = -18*c. Is q a multiple of 8?
False
Suppose -459 = -129*p + 126*p. Let m = p + 151. Is 36 a factor of m?
False
Let u be (-1)/(14/(-4)) + 135476/154. Let f = u + -807. Is f a multiple of 3?
False
Suppose 122*w - 123*w = -8. Suppose -2*v = c - 83, 9*c + 4*v - 73 = w*c. Does 7 divide c?
False
Let x = -6257 + 9281. Is x a multiple of 144?
True
Let l = -121 + 133. Suppose -3*t + 328 = 2*h, 4*h + 5*t - 664 + l = 0. Let z = h + -94. Is z a multiple of 44?
False
Let h = -10909 + 25413. Is 148 a factor of h?
True
Let y = 682 - -24863. Does 65 divide y?
True
Let h = -34 - -30. Is 31 a factor of ((-2)/h)/((-4)/3392*-2)?
False
Suppose -30 - 104 = -2*s. Suppose -4*o + 1088 = 2*r, -r - s = o - 338. Does 21 divide o?
True
Suppose -2*x = -4*x - 5*u - 5, 2*x - 4*u - 22 = 0. Suppose 4*q - p = -0*p + 46, 3*q - 46 = -x*p. Is (306/(-15))/(q/(-80)) a multiple of 34?
True
Let w = -1442 - -2307. Suppose -428 = -o + s, -2*o + 7*s = 2*s - w. Does 13 divide o?
False
Suppose -31*o - 14410 - 10590 = -51*o. Does 125 divide o?
True
Let b(m) = 216*m**2 - 2*m - 2. Suppose -4*z - 12 = 8*z. Is 24 a factor of b(z)?
True
Let w(o) = o + 3*o - 5*o - 19. Let c be w(-7). Let s = 120 + c. Is s a multiple of 12?
True
Let i(v) be the third derivative of v**6/120 - v**5/15 - 11*v**4/24 + v**3/6 - 10*v**2. Let b be i(6). Suppose b*x - 98 = -28. Is 3 a factor of x?
False
Is (-4)/6 - 4*(-11)/(-99)*-16233 a multiple of 6?
False
Let t = 221 - 194. Suppose 21*w - t*w = -84. Does 14 divide w?
True
Suppose 0 = -341*y - 56635 + 862418. Is y a multiple of 5?
False
Let y be 2030/(-56) - ((-2)/8)/1. Let m = -33 - y. Suppose i - 231 = -4*g, -m*g = -8*i + 4*i - 178. Is 8 a factor of g?
False
Let k(g) = -2*g**2 + 75*g - 1. Let z be k(35). Suppose 0 = -15*c - z + 1089. Is c a multiple of 13?
False
Let o = -272 - 169. Let h = o + 509. Is 34 a factor of h?
True
Suppose -3*y + 1244 = 4*o, o + 3*y - 7*y = 292. Let j be (-969)/19*4/(-6). Let t = j + o. Is 57 a factor of t?
True
Let d = -1691 + 3214. Is 35 a factor of d?
False
Let d(s) = 6*s**2 + 82*s - 5392. Is d(-77) a multiple of 18?
True
Let x = 53 + -58. Let v(a) = -5*a - 18. Let o be v(x). Suppose 0 = -o*b + 269 + 32. Is b a multiple of 4?
False
Let i = 882 + -94. Is 42 a factor of -3 + i + -1 + 3?
False
Let y be (-20 + 28)*(-1)/((-4)/(-5)). Let i(h) = 4*h + 52. Let r be i(y). Suppose x - r*x + 792 = 0. Is 12 a factor of x?
True
Let f be 9/3*(-3)/(-3). Suppose 0*u + 3*c = 2*u - 89, -c + 161 = f*u. Let l = 100 + u. Does 38 divide l?
True
Suppose 371*n = 601*n - 295*n + 1234220. Is n a multiple of 94?
True
Let f = 340 + -145. Let y = -23 - -21. Is 615/f + y/13 even?
False
Let b = -16165 - -34309. Does 252 divide b?
True
Suppose 5*l = -5, x = -3*x + 5*l + 657. Let g = x + -116. Does 13 divide g?
False
Does 73 divide -17338*1/(-6)*(-1 - (19 + -23))?
False
Is 2518/8 - (3 + 247/(-76)) a multiple of 5?
True
Suppose 0 = 8*h + 116 - 28. Let b(i) = -5*i + 55. Is 10 a factor of b(h)?
True
Let s(z) = 1396*z + 4522. Does 7 divide s(37)?
False
Suppose -34*b + 26306 = -129647 - 338407. Is b a multiple of 30?
False
Let q be ((-2)/4*(27 + -27))/(-1). Suppose 2317 = 3*k + n, q = 5*k + n - 0*n - 3861. Is 13 a factor of k?
False
Let m = 104 + -88. Let k be (-1774)/(-6) - m/(-48). Suppose -k = -4*w - 4*j, 3*w - j - 228 = 2*j. Is 25 a factor of w?
True
Suppose 6*a - a + 10 = 0. Let j(m) = 2*m + 3. Let l(z) = 45*z + 7. Let u(y) = 4*j(y) - 2*l(y). Is u(a) a multiple of 18?
True
Let n = -6739 + 10839. Suppose 0 = 4*k - b - n, 1359 = k - 4*b + 319. Does 16 divide k?
True
Suppose -18*x = 42*x - 408660. Is 25 a factor of x?
False
Let x(o) = -1199*o - 26. Let h be x(-4). Let u be 2/6*h/2. Suppose 8*y = -155 + u. Is 16 a factor of y?
True
Suppose 4 = j + 14. Let d = 90 - j. Is d a multiple of 10?
True
Let f(s) = s + 319. Let u be (-1 + 1)*1/2*-2. Let d be f(u). Suppose 10*z - d = -z. Is z a multiple of 15?
False
Let y(b) = -197*b - 1668. Is y(-10) a multiple of 2?
True
Suppose 10*t - 30430 = -7*t + 7*t. Is 4 a factor of t?
False
Let q(o) = 111*o - 89. Let h(n) = -226*n + 177. Let x(s) = -4*h(s) - 9*q(s). Is 15 a factor of x(-14)?
False
Let q(f) = 43*f**2 + 36*f - 179. Does 21 divide q(16)?
False
Let f be 6*6/(-24)*152/(-6). Suppose j + 33 = f. Suppose -j*g + 2*w - w = -390, 3*g + w = 226. Is g a multiple of 9?
False
Let p = 34 - 12. Suppose -p = -5*a + 58. Let q = 3 + a. Is 2 a factor of q?
False
Suppose -4*a + 3*a - 8*a = 0. Suppose 2*h - k - 11 = a, h + 19 = 5*h - 5*k. Does 34 divide ((-10)/h)/((2/(-84))/1)?
False
Let v be (-1)/(-11) + -3*(-177)/(-33). Is 14 a factor of (v/24)/(-1 - (-4629)/4635)?
False
Let l be (205 - 0 - -1)*(-5)/10. Let x = -90 - l. Is x a multiple of 2?
False
Let b be 30/(-72)*-44 + (-1)/3. Let o(l) = -15*l**2 + b - 5*l - 14*l**2 - 11*l**2 + 44*l**2. Does 28 divide o(5)?
False
Suppose 1556*w = 1593*w - 580234. Is w a multiple of 95?
False
Let c = -1926 - -5536. Does 4 divide c?
False
Suppose 3*d + 383 = s, d = s - 3*s + 780. Suppose 2*w = -3*b + 1097, 10*b = -w + 14*b + 576. Suppose 7*x - w = s. Is 27 a factor of x?
True
Let c = 245 + -127. Let p = c - -134. Suppose -d + 3*z = -61, 3*d - p + 49 = 5*z. Is d a multiple of 19?
True
Let o = 16034 - 15945. Is 3 a factor of o?
False
Let g(h) = 26*h**3 + 3*h + 2. Let d be g(-1). Let o = 31 + d. Let k(s) = 13*s + 2. Is 23 a factor of k(o)?
False
Suppose -w + 5*k + 2794 = 0, 2*w - k - 3493 = 2095. Is w a multiple of 10?
False
Let d = -2 - -17. Suppose -13*c + d*c = 298. Let h = -85 + c. Is 16 a factor of h?
True
Let p be 3/(-27) + (-31605)/(-135). Suppose 9*w - 11*w = -p. Does 9 divide w?
True
Let a(r) = -293*r + 14932. Is a(-80) a multiple of 181?
True
Suppose 0 = 3*k + 6, 127*d - 18950 = 125*d - 5*k. Does 20 divide d?
True
Suppose 5191008 = 261*t + 120*t + 664728. Is t a multiple of 120?
True
Let o be (-2)/(40/(-15) + 2). Let w(u) = 0*u**o + 16*u - 12*u**2 - 23*u - 18 - u**3. Is 8 a factor of w(-12)?
False
Let t be -24*39/(-6)*(-64)/(-24). Suppose -6*p + 22*p = t. Suppose -33*g = -p*g - 231. Is g a multiple of 33?
True
Let i(a) = -13*a - 29. Let u be i(-6). Let o = u + -53. Let v(f) = -f + 2. Is v(o) a multiple of 3?
True
Let j(m) = 43*m**3 + 5*m**2 - 19*m - 7. Does 21 divide j(5)?
False
Let z = 38298 - 24278. Is 38 a factor of z?
False
Suppose -1101 = 297*z - 300*z. Let h = z - -39. Does 6 divide h?
False
Suppose -2*z = -3*f - 21, -f + 4*z - 9 = 8. Is 16 a factor of 202 - -6 - ((-2 - f) + 1)?
False
Suppose -458500 = 1733*x - 1758*x. Does 20 divide x?
True
Does 17 divide 34*7*(-2811)/(-42)?
True
Suppose 4*u = 2*m - 34, 4*u + 16 = 4*m - 36. Suppose 7*c + m*c = 1072. Suppose c*s - 71*s + 1364 = 0. Is 54 a factor of s?
False
Suppose 5*g + 8093 = h, 0 = 5*h + 261*g - 264*g - 40311. Is h a multiple of 79?
True
Let w(g) = -g**3 + 3*g**2 - 5*g + 8. Let x be w(4). Let r be 940/x - (-6)/(-14). Let c = 0 - r. Is 8 a factor of c?
False
Let g(q) = -9*q + 28*q + 3 - 152 + 18. Is 3 a factor of g(11)?
True
Suppose -285*z = -295*z + 80. Is z - 12 - (-7 - 0) - -578 a multiple of 47?
False
Let w(a) = -16*a**2 - 103*a + 51. Let t be w(-13). Let p(c) = -20*c + 2. Let v be p(3). Is (t/5)/(-3) + v/(-145) a multiple of 11?
True
Suppose 0 = 17*n - 49355 - 154628. Is n a multiple of 169?
True
Let n(i) = 16*i**2 + 4*i - 5*i + 4*i + 7. Suppose 9*h + b + 13 = 5*h, 8 = -3*h