-22*o = -k*o - 72. Is 24 a factor of o?
True
Suppose 0 + 6 = 3*s. Let p be 12/((s - -2)/8). Is 48 a factor of (6/(p/(-20)) - -3) + 338?
True
Let c = -74 + 74. Suppose c = -4*o - 140 + 400. Is o a multiple of 20?
False
Suppose -6*d = -2*d + 54*d - 26390. Is d a multiple of 10?
False
Suppose -2*r = 3*j - 20 + 13, -16 = 4*r. Suppose 7*l = 6*l - 4*t + 206, -j*t + 20 = 0. Is 7 a factor of l?
False
Let m be -9 + 5 - 34/(0 - 2). Suppose -9*c = -m*c + 348. Let q = -7 + c. Does 20 divide q?
True
Suppose -54*l - 646 = -35*l. Let g(b) = 3*b**2 + 50*b - 89. Does 23 divide g(l)?
True
Let j = -79 - -215. Let o be ((0/(-3))/3)/2. Suppose -s - 4*i = 2*s - 190, o = -2*s + 2*i + j. Does 22 divide s?
True
Let v(n) = n**3 + 2*n**2 + n + 4. Let j be v(0). Let s(w) = 11*w + 7. Is s(j) a multiple of 2?
False
Let j(r) = 31*r**3 - r**2 + 10*r - 144. Is 72 a factor of j(9)?
True
Let d(c) = -2*c**2 - 19*c + 12. Let p(r) = -r**2 - 7*r + 51. Let o be p(-12). Is 3 a factor of d(o)?
True
Let a = -308 - -311. Suppose -a*h + 8*h - 1120 = 5*l, 0 = -5*h - 5*l + 1080. Is 20 a factor of h?
True
Let y = -55552 - -82305. Is 49 a factor of y?
False
Let w = -21 + 20. Is -9*(w - (-4 - -11)) a multiple of 12?
True
Suppose 3*q + 1 = w + 3, 28 = 4*q + 5*w. Let p(j) = -4*j + 20*j**2 - 4*j**3 + q*j**3 - 13 + 7*j + j**3. Does 18 divide p(20)?
False
Suppose -1044 - 18034 = -5*t - 12*p, 6 = -p. Is t a multiple of 9?
False
Let i(n) = n**3 + 12*n**2 - 2*n - 12. Let g be i(-12). Let d be (g/(-15) - 0)*(-455)/(-7). Does 2 divide d/2*((-3)/(-6) + -1)?
False
Let s be 24/15*(-5)/(-1). Let y(t) = 103*t - 92. Is 8 a factor of y(s)?
False
Let v(w) = -36*w**2 - 42*w**2 + 19 + 2*w**3 + 5*w**2 + 18*w - 55*w. Is 9 a factor of v(37)?
False
Let v(t) = -15*t**3 - 3*t**2 + t + 2. Suppose -1 - 5 = 2*r - x, -3*r + 3*x - 15 = 0. Is 2 a factor of v(r)?
False
Let z(p) = -2*p**3 - 8*p**2 + 16*p + 2. Suppose j = -96 + 98. Suppose j*c + 7 = c. Is z(c) a multiple of 46?
True
Let j(h) = -142*h**2 - 28 + 190*h**2 - 3*h**3 + 6*h - 2*h. Is 6 a factor of j(16)?
True
Let u(l) = l**3 - 30*l**2 - 76*l + 2486. Is 91 a factor of u(42)?
False
Suppose 0 = -3*t - j - 1738, -13*t - 2*j = -17*t - 2324. Let o = -355 - t. Is 25 a factor of o?
True
Let f(d) = 22*d - 26 + 9 + 10*d**2 + 11 - 5*d - d**3. Let b be f(11). Suppose 2*q - 58 = 4*i, -2*q + 7*i - 4*i + b = 0. Is 11 a factor of q?
True
Let u(p) = 4*p**2 - 3*p - 6. Let n(w) = -11*w**2 + 10*w + 19. Let g(m) = 2*n(m) + 7*u(m). Let i = -1208 - -1204. Is g(i) a multiple of 24?
True
Let v(x) = -6*x**3 - 4*x**2 + 15*x - 2. Let z be (-14)/(-112) + 114/(-16). Let p be v(z). Suppose -23*t = -18*t - p. Does 13 divide t?
True
Let r = -21 - -23. Let w be r/6 + (-4)/(11 - -1). Suppose w = 3*s - 0*s + 4*x - 587, 5*s - x - 940 = 0. Is s a multiple of 21?
True
Let v be (2/10)/((-3)/(-5))*573. Suppose 133 = 4*h - v. Suppose 3*m = 45 + h. Is 14 a factor of m?
True
Let c = -7585 + 15121. Does 16 divide c?
True
Let r(g) = 21*g - 4. Let v be r(1). Suppose -v = -3*z + 4. Suppose 324 + 26 = z*f. Is f a multiple of 9?
False
Let d(i) = 2*i**3 + 8*i**2 - 27*i + 25. Suppose 0 = -8*x + 17 + 39. Does 23 divide d(x)?
False
Suppose -14*l + 2898 = -0*l. Let h = 487 - l. Is h a multiple of 20?
True
Suppose 150*a = 123*a + 140049. Is 91 a factor of a?
True
Does 7 divide 24/8*1370/15?
False
Suppose 165244 = 163*g - 184228. Is 4 a factor of g?
True
Suppose 369917 = -35*v + 1140407. Is v a multiple of 88?
False
Suppose -3*d + 9 - 3 = 3*z, 12 = 3*d - 3*z. Let l = -9 - -14. Suppose 544 = l*a + d*a. Is 17 a factor of a?
True
Let r be (-8)/(-6) + (-9)/27. Let s be (12 - 6)*r/2. Is s - 1 - (-375)/25 a multiple of 17?
True
Suppose 0*t = t - 2*c - 11, -4*t + 2*c = -38. Suppose -17*u - 2160 = -21*u. Suppose -t*k + u = -3*k. Does 9 divide k?
True
Let m(k) = -1229*k + 230. Does 24 divide m(-2)?
True
Let u(b) = 8*b + 56. Let g be u(4). Let t = 178 + g. Does 19 divide t?
True
Suppose -4*g - 3*d - 55 = 74, -d = -4*g - 133. Let n = -30 - g. Suppose -4*r + 205 = -n*a, 0 = -r - 0*r - 2*a + 43. Is r a multiple of 8?
False
Let j(d) = -d**3 + 12*d**2 - 11*d - 6. Let m be j(6). Suppose 26*i - m = 20*i. Is 2 a factor of i?
True
Let j be (-217)/(-42) - 5 - 262/(-12). Let v be j/4 - (-10)/(-4). Suppose 3*t - 5*t = 2*f - 152, 3*f - v*t - 234 = 0. Does 38 divide f?
False
Let c = -30 - -58. Let w = 103 - c. Suppose 0 = -h + 3 + w. Does 9 divide h?
False
Suppose -4*d - j = -3704, 122 = -d - 2*j + 1055. Does 25 divide d?
True
Let z = 44 + 97. Is 9 a factor of (756/(-10))/(z/(-470))?
True
Suppose -3*m = 173 - 437. Suppose 0 = 2*u + h - m, 3*h + 89 = 5*u - 153. Does 19 divide u?
False
Suppose 3*s - 4*s = 0, -5*c + 100 = -2*s. Suppose 3*l + i + 19 = 3*i, -5*l - c = -i. Is 596/12 + (0 - (-2)/l) a multiple of 11?
False
Let n be -5 + (6 - (2 + -1)). Does 44 divide 3*((n - 438/(-9)) + -3)?
False
Suppose -w - 25 = 4*w - 5*j, 5*j = 3*w + 21. Let k be -21 - (-1)/w*6. Is 4*(-2)/k*231 - -3 a multiple of 31?
False
Let z be 31 + -29 - (1 - 4). Suppose 0 = z*b - 648 - 1032. Does 36 divide b?
False
Does 156 divide (-12878792)/(-731) + (-26)/559?
False
Suppose -10*z - 69 = -59. Is 0/3 + (-117)/z a multiple of 10?
False
Let a(u) = -107*u**2 - 11*u - 12. Let w be a(-9). Let b be 2/(-2) + (-7)/(42/w). Suppose 7*d + 29 = b. Is d a multiple of 50?
True
Suppose 1433*r - 15200 = -4*c + 1429*r, -3*r - 3780 = -c. Does 13 divide c?
False
Suppose -4*i - i = -2*b - 7510, 0 = -5*i - 5*b + 7475. Suppose 6*d + 4*d = i. Let w = 235 - d. Does 5 divide w?
True
Let a(q) = 40*q + 1. Let c(d) = 21*d + 1. Let g(b) = -6*a(b) + 11*c(b). Let w be g(-1). Suppose 4*l - w = 4*m + 10, -5*m + 40 = 2*l. Is l a multiple of 5?
True
Let m be ((-11)/6*-14)/((-6)/(-18)). Let z be 24/(-30) - 2/10. Let w = z + m. Is w a multiple of 19?
True
Suppose 5*f - 11*k = -7*k + 223, -5*k + 203 = 4*f. Let t = 294 + f. Is t a multiple of 40?
False
Suppose -21*z + 31841 = -86956. Is z a multiple of 31?
False
Suppose 4*y = 2*x - 1006, y - 977 = -5*x + 1593. Suppose 5*f - 2*m - 1560 = 0, m + x = 3*f - 422. Is f a multiple of 31?
True
Let l(t) be the second derivative of 21*t**3 - 36*t**2 + 14*t - 3. Does 31 divide l(5)?
True
Suppose -34380 = 6*p + 33468. Is 2 - (p/99 + (-2)/(-9)) a multiple of 15?
False
Let h be (-60)/6 + 6 + 2. Let f(o) = -23*o**3 - 2*o**2 + 11*o + 21. Is 5 a factor of f(h)?
True
Let z(t) = 19*t**2 - 2*t + 7. Let j be z(-3). Let g = j + 25. Does 14 divide g?
False
Let v = -272 - -344. Suppose v*z - 69*z - 783 = 0. Does 29 divide z?
True
Let u(i) = -5*i**3 - 3*i**2 - i + 12. Let h be u(-3). Let p = h + -75. Does 4 divide p?
True
Let x = 3992 + 1125. Does 24 divide x?
False
Suppose 5*l - 216 = -4*l. Let v = l + 1. Suppose -n - 5*c + 11 = -16, 0 = 5*c + v. Is 28 a factor of n?
False
Suppose -6*p + 6363 - 687 = 0. Suppose 391 = -3*r + p. Is r a multiple of 37?
True
Let i be 28/9*2 - 12/54. Suppose i*u + 1439 - 4289 = 0. Does 27 divide u?
False
Let i(m) = 3 + 11*m - 3 - 6 - m**2. Suppose -4*w - w + 35 = 0. Is 11 a factor of i(w)?
True
Let q = 471 + -471. Let b(u) = -8*u**2 + 392. Is 28 a factor of b(q)?
True
Suppose -z + 1115 = -4*n, -z + 6 = z. Let g = n - -420. Let s = g + -70. Does 36 divide s?
True
Let g = -24 - -24. Let o be 0 + -2 + g + 2. Suppose o = -t + 8 + 13. Is t a multiple of 6?
False
Suppose 58701 = 3*j + 5*b, 28114 = 4*j - 5*b - 50154. Suppose -18*r + j = -r. Is r a multiple of 75?
False
Does 18 divide (-2 + (-20048)/(-35))*5?
False
Suppose -74*d = 4863 - 25065. Is 5 a factor of d?
False
Suppose 51*k - 4 = 49*k. Suppose k*w + 1 = 3*w. Suppose w = 2*q - 17. Does 3 divide q?
True
Suppose h + 4*b = 73, 24*h - 23*h = 5*b + 118. Does 2 divide h?
False
Let q(z) be the third derivative of -z**6/120 - 11*z**5/60 + 13*z**4/24 + 7*z**3/3 + 5*z**2. Let j be q(-12). Let d(r) = 35*r**2 + r - 3. Does 18 divide d(j)?
False
Let z = 219 + -80. Suppose 0 = -141*q + z*q + 1080. Is 45 a factor of q?
True
Let r = -40 - -45. Suppose 35 = r*m - 25. Let i = 48 - m. Is 9 a factor of i?
True
Let g = 1233 + -932. Is g a multiple of 35?
False
Suppose s + 2060*y - 58068 = 2063*y, -3*y - 290292 = -5*s. Is s a multiple of 123?
True
Suppose 0 = -8*i + 3*i + 1530. Suppose -i = 4*q + 2. Let y = -12 - q. Does 11 divide y?
False
Let k(p) = -72*p - 4. Suppose b = -5, -4*q - 7*b + 2 = -9*b. Is 7 a factor of k(q)?
True
