Is 10 a factor of o?
True
Let i(x) = 1469*x - 1772. Does 8 divide i(3)?
False
Suppose -9*a + 1060 = s - 12*a, 4*s = 3*a + 4240. Let o = 1605 - s. Is o a multiple of 27?
False
Let i(r) = 1105*r - 2370. Does 22 divide i(7)?
False
Let s(v) = -11*v - 16. Let l(t) = 8*t - 8*t - t + 2*t. Let r(o) = 4*l(o) + s(o). Is 9 a factor of r(-10)?
True
Let z be 88 + -26 + -6 + 1. Let i = z + -49. Is 20 a factor of 480/9*36/i?
True
Let o be 9/(-18)*(-6)/3. Let k be 43/(-5) + (o - 21/15). Let y(r) = -21*r - 20. Is y(k) a multiple of 27?
False
Suppose 10 = -0*m + 5*m. Let s be ((0 - m) + -2)*6/(-8). Suppose -s*n + 66 = 3*y, -4*y + y = 5*n - 108. Is n a multiple of 21?
True
Suppose 3*h - 138 = 3*c, -4*c + 10 = -10. Does 16 divide (2796/144 + (-1)/(-4))*h?
False
Suppose 4*q + 2*u + 125 + 133 = 0, -4*u = q + 61. Let m be (-3)/(3/(-4)) + q. Let x = -37 - m. Does 9 divide x?
False
Let t be 3/(-2) - (-10)/20. Let y(w) = 254*w**2 + 8*w + 1. Is y(t) a multiple of 5?
False
Suppose 51379 = 62*g - 28*g + 7111. Is 25 a factor of g?
False
Let o be (4/(24/(-15)))/((-4)/8). Suppose 0 = -4*z - 5*b - 980, -2*z + 2*b = -o*z - 728. Let f = -123 - z. Is f a multiple of 31?
False
Suppose 239*l - 222 = 233*l. Suppose 12*t = l*t - 12600. Does 9 divide t?
True
Let n be ((-344)/6)/((-18)/54). Suppose -4*p + n = -164. Does 7 divide 37 + ((-6)/21 - p/49)?
True
Let g(t) = 102*t - 62. Let z(h) = h**2 + 3*h + 5. Let f be z(-3). Does 64 divide g(f)?
True
Suppose 4*q - 23289 = h, 41*q - 45*q + 23310 = 2*h. Is q a multiple of 91?
True
Let o(s) = s**3 - 19*s**2 + 20*s - 10. Let r be o(18). Suppose 8 = 4*i + 2*n, -i + n + 1 = 2*i. Does 21 divide (-2 + 11)/(i + (-24)/r)?
False
Let s(t) = 5*t - 1. Let w be s(1). Suppose 2502 = w*r + 542. Suppose -379 - 16 = -3*k - 4*v, 2*v + r = 4*k. Is 11 a factor of k?
False
Suppose -8*r = -40*r - 39*r + 253825. Does 29 divide r?
False
Suppose -l - 3*p - 2 = 0, 3*p + 30 = l + 8. Let x(i) = i - 19. Let y be x(l). Is 12 a factor of (28/(-98) - (-134)/(-21))*y?
True
Suppose -6*v + 84 + 36 = 0. Suppose 3*l - 3*i - v = -8*i, -5*i = l - 10. Suppose 0 = -7*s + l*s + 346. Is 27 a factor of s?
False
Let s = 55 + -50. Let c(r) = -16*r**2 + 4. Let f be c(s). Let x = -264 - f. Is 44 a factor of x?
True
Let d(a) = -33*a**3 - 2*a**2 - 4*a + 3. Let v be d(-3). Suppose 7*u - v = -5*u. Is 6 a factor of u?
False
Let m = -8751 + 62331. Is 190 a factor of m?
True
Suppose 4*n = 3*f + 2033, 3*f - 814 = -2*n + 225. Suppose n = -3*j + 2054. Does 78 divide j?
False
Let s = 15436 + 132. Does 8 divide s?
True
Let k(i) = 4*i**3 - 2*i + 26. Let x be k(4). Suppose 2*u - x = 2*g + 270, 4*u = -5*g + 1097. Is 13 a factor of u?
True
Suppose 109 - 229 = -10*n. Suppose 1760 = -10*a + n*a. Does 55 divide a?
True
Let o(d) = 32*d**2 - 3*d - 10. Let p be o(-4). Suppose 0 = 10*f - 8*f + 4*q - p, 3*f + 5*q - 767 = 0. Is f a multiple of 11?
False
Let m = 11704 + -5936. Is m a multiple of 8?
True
Let h be ((-12)/5)/(18/240). Let j be (1/1)/(124/h + 4). Does 3 divide j/14 + 450/70?
False
Let h(p) = 3*p**2 + 6*p - 5. Let l be h(-5). Suppose -4*z + 28 = 2*a - 60, -a + 5*z = -37. Suppose 68 = -l*b + a*b. Does 9 divide b?
False
Suppose -29*f = 120219 - 526857. Does 6 divide f?
True
Suppose 3*c - 33 = 30. Let u(f) = -68*f**2 - c + 140*f**2 - f - 65*f**2. Is u(6) a multiple of 25?
True
Let q(k) = 40*k**2 - 9. Let d(h) = -2*h - 21. Let b be d(-9). Does 39 divide q(b)?
True
Let n = 18 + -12. Let c be -6 + ((-48)/(-18))/((-18)/(-891)). Suppose 0 = 3*p - n*p + c. Is p a multiple of 8?
False
Let q(p) = -4*p**3 + 24*p**2 + 7*p + 17. Let h(w) = 3*w**3 - 24*w**2 - 7*w - 18. Let m be 2/2*-1 + 6. Let y(b) = m*h(b) + 4*q(b). Is 15 a factor of y(-24)?
False
Suppose 919*i - 936*i + 49419 = 0. Is 17 a factor of i?
True
Suppose 10192 = 20*o - 35728. Suppose 0 = 13*d - 2280 - o. Is d a multiple of 16?
True
Is 33 a factor of ((-4523928)/(-2330))/(8/110)?
True
Suppose 0 = -7*x + 3011 + 391. Does 40 divide 310959/x - (-2)/12?
True
Let w be 5 + (-3 - -1) + 11. Suppose w*p = 7*p. Suppose -38*l + 40*l - 238 = p. Does 7 divide l?
True
Let k be 1633/3 - (-17)/(357/14). Let o = -383 + k. Is 18 a factor of o?
True
Let x(z) = 6 - 14*z + 108*z - 10 - 3. Let i be x(3). Suppose -2*k = -229 - i. Does 42 divide k?
True
Suppose -50*p = -p - 98917 + 18116. Is 97 a factor of p?
True
Suppose -909 = -2*v - 5*y + 14421, 7*v + y - 53523 = 0. Is 36 a factor of v?
False
Let p = -4010 - -4514. Does 87 divide p?
False
Suppose 5*z + 100 = 5*s, s - 2*z = 3*z + 12. Let d(c) = c**2 - 46*c - 636. Let w be d(-11). Let v = w + s. Is v a multiple of 3?
False
Suppose 11*s - 61218 - 1607 - 65479 = 0. Is 27 a factor of s?
True
Let o = -28048 - -28224. Is o even?
True
Let n be (1/2)/((-2)/8) + 39. Suppose -4*z + 0 = -4, -2*f + 3*z + n = 0. Suppose -a - a = y - 7, 5*a + 5*y = f. Does 2 divide a?
False
Suppose 11*p + 51 + 202 = 0. Let t be 4*(37/(-4))/(-1). Let s = t + p. Is 14 a factor of s?
True
Does 26 divide (-2)/(-21) + 35387550/567 + -24?
False
Is (-6363)/5*1390/(-417) a multiple of 42?
True
Let r = -19444 - -39541. Is r a multiple of 82?
False
Let n be ((-20)/15)/((-4)/6). Suppose 2*f - n = -0. Does 11 divide 7/(((-4)/(-28))/f)?
False
Suppose 2*l + 24 = 4*k, 5*l + 28 = 5*k + 2*l. Suppose -k*n - 10 = 2*n. Is 7 a factor of 3 - ((-4)/((-12)/(-207)) + n)?
False
Suppose x + 4358 - 793 = 5*c, 2*x - 2126 = -3*c. Let f = c - 431. Suppose -5*b + 269 = -f. Is b a multiple of 10?
True
Let w = -696 - -7404. Does 129 divide w?
True
Suppose 5*z = z + 20, -5*i - 4*z - 1030 = 0. Is 737 + i/45*6/(-7) a multiple of 13?
True
Let z be 621/46*(-2)/3. Does 2 divide 6*4 - (-3 + z - -12)?
True
Suppose -4*u + 3*p + 240 = 0, -u + 3*p = 8*p - 60. Let b = u - 48. Suppose 24 = b*a - 10*a. Is a a multiple of 4?
True
Let a = -132 + 783. Does 7 divide a?
True
Let d(v) = -2*v**3 - 26*v**2 - 25*v + 39. Let k be (-129)/9 - (-1)/(-3)*-4. Does 6 divide d(k)?
False
Let k(c) = 5*c + 104. Let t be k(-10). Suppose -t*j = -46*j - 2104. Is 16 a factor of j?
False
Let o(j) be the second derivative of 29*j**5/20 - j**4/2 + j**3/2 + j**2 + 2*j - 12. Does 12 divide o(2)?
True
Let h be ((-6)/(-9))/((-12)/(-72)). Suppose 5*w - 5*v - 970 = 0, -2*v - 385 - 383 = -h*w. Does 19 divide w?
True
Suppose 2*z + 3*a + 837 = -2*z, 219 = -z - 4*a. Let o = z - -416. Is o a multiple of 5?
False
Let l be 1 - -2 - 1/(3/(-42)). Suppose 833 - 3723 = -l*a. Does 17 divide a?
True
Let w(r) = 12*r**2 + 27*r - 144. Let o be w(5). Suppose 3*c = 159 + o. Is 10 a factor of c?
True
Let c = -63 + 63. Let l(p) = c + 11 - 4*p + 11. Does 41 divide l(-15)?
True
Suppose 6883 - 1647 = -17*c. Let s = c - -528. Is s a multiple of 22?
True
Suppose 0 = 36*h - 33*h - 90. Suppose -12*j + 18 = -h. Suppose 3*k + j*t = 387, 2*t - 168 = -3*k + 225. Is 19 a factor of k?
True
Is ((-4)/(-6)*3049)/(-56 - 18535/(-330)) a multiple of 10?
False
Suppose 0 = -f + 2*l + 29, 6*l - l + 62 = 2*f. Let x be f/(-3)*(-4)/14. Is 51 a factor of (-458)/(1/x*(2 - 6))?
False
Suppose 0 = 10*h + 6904 + 1796. Does 30 divide (-2)/((-7828)/h + -9)?
True
Does 3 divide (-12512)/(-102) + 2/(-18)*-3?
True
Suppose 29*i - 22*i - 3458 = 0. Suppose -5*o = 4 - i. Is 49 a factor of o?
True
Is 16 a factor of 2294060/60 - -23 - 28/12?
False
Let j = -140 - -263. Suppose -3*l = -0*l - j. Suppose 2*d - 37 - l = 0. Does 13 divide d?
True
Let l be 91/(75/40 - 2). Let j = -427 - l. Let m = -170 + j. Does 14 divide m?
False
Let x(r) = 11*r**2 + r + 7. Let o be x(-11). Let q = o + -929. Does 15 divide q?
False
Let x(g) = 546*g - 2663. Is 61 a factor of x(7)?
True
Let f(b) = b**2 - 16*b + 7. Let v be f(13). Let d be ((-216)/v)/((-2)/24). Let s = -22 - d. Is s a multiple of 13?
False
Suppose 0 = 2*v - 5*v - 3*h - 306, 3*v + 306 = -4*h. Let q = -4 - v. Is 14 a factor of q?
True
Let k(u) = u**2 + 12*u + 14. Let r be k(-10). Let a be r/(-4) - 21/14. Suppose -3*s + 150 = -a. Does 5 divide s?
True
Let t(c) = 2*c**2 - 21*c + 77. Let k(f) = 2*f**2 + 2*f - 29. Let o be k(-5). Is 4 a factor of t(o)?
True
Suppose 2 = -3*d + 17, 0 = 6*u + 2*d - 17416. Is u a multiple of 6?
False
Suppose -34*l = 62*l + 20865 - 198273. Is l a multiple of 44?
True
Suppose 133*p = -44*p + 2018154. Is p a multiple of 10?
False
Let u(v) = -v + 8. Let x be u(12). Let w = -440 + 417. Is 14 a factor of (7/x)/(w/552)?
True
Let z = -1