7443)/(-788) - 6/8?
False
Suppose -4*h = -5*h + 5*v + 28, -h + 3*v = -18. Let m(f) = 6*f**2 + 6*f**2 + 109*f - 105*f. Is m(h) a multiple of 19?
False
Let q = -27 + 39. Suppose -s + q = -3*i - 3, s - 2*i = 11. Suppose 5*o - 3*o - 5*z - 154 = 0, 231 = s*o - 5*z. Is 15 a factor of o?
False
Suppose 0 = -3*c + 14 + 4. Let d = c - 2. Suppose 6*v - 10 = d*v. Is v a multiple of 2?
False
Suppose -5*w + 2*n = 62, 0 = w + 2*n - 0*n + 10. Does 36 divide ((-272)/w)/(2/141)?
False
Let s(h) = -11*h**3 - 1. Let i be s(-1). Suppose 3921 + 1729 = i*x. Is x a multiple of 54?
False
Let t(j) = 131*j**3 - 2*j**2 + 1. Suppose 26 = 32*s - 6. Is t(s) a multiple of 6?
False
Let u(q) = q**3 + 19*q**2 + 2*q + 4. Let w be u(-14). Let n = w - 297. Suppose 477 = -v + 4*v + 5*f, -f = -4*v + n. Is 31 a factor of v?
False
Let v be ((-1)/4 + 1)/((-2)/(-144)). Suppose 5 - 24 = -p. Suppose -p*o - v = -20*o. Does 4 divide o?
False
Let p = -2448 - -4159. Suppose 3*u - 1469 = p. Is u a multiple of 53?
True
Let r be -13 + (-2 - -5) + 1. Let u be 20/9 + 2/r. Suppose -u*t = -46 - 142. Is t a multiple of 22?
False
Suppose a - 46 = 5*o, -14*a - 6 = o - 11*a. Let i(p) = -p**3 - 8*p**2 - 21 - 6 + 0*p**3 + 2*p + 0. Is 6 a factor of i(o)?
True
Let z = 649 - 277. Suppose 0*k - z = -4*k. Is 28 a factor of k?
False
Suppose -y - 2 = 4*i, -4*y + 2*i + 12 = y. Suppose -38 = -y*q - 44. Does 8 divide 2/q - -67*(-10)/(-15)?
False
Suppose 5*x - 7231 = -6*x + 832. Does 17 divide x?
False
Let b = -95 + 99. Let z(o) = -o**3 + 5*o**2 - o + 4. Does 4 divide z(b)?
True
Suppose -10 = -12*o + 26. Suppose 3109 = 5*s - b + 5*b, o*s - 1867 = -4*b. Does 69 divide s?
True
Suppose -19*f + 54 = -193. Suppose 0 = -f*m + 18*m - 800. Does 16 divide m?
True
Suppose h - 3 = y, 4*y + 7 = 8*h - 5*h. Suppose -5*z + 0*c + 496 = -y*c, -z + 98 = -c. Is 25 a factor of z?
True
Suppose 3*l - 4 = -4*u + 8*l, 3*l - 2 = -2*u. Suppose -6*x - u = -7*x. Is 3 a factor of 3 + 11*(2 - x)?
False
Suppose -3*o + f = 3 - 7, 0 = 5*o - 3*f - 12. Suppose 5*t - 17 = -j - 0*j, 4*j + 3*t - 51 = o. Suppose j = 3*w - 309. Is 18 a factor of w?
False
Suppose -171 = -2*y + 5*w, -16*w + 141 = 2*y - 11*w. Suppose y*v = 87*v - 1998. Is 37 a factor of v?
True
Does 21 divide (5 - -2 - -23)*1923/5?
False
Let v(t) be the second derivative of 23*t**3/2 - 197*t**2 - 25*t - 1. Does 34 divide v(10)?
False
Suppose 0 = 12*h - 4*h - 64. Let o = -5 + h. Suppose 4*u - 608 = 2*f, 618 = -0*u + 4*u + o*f. Is u a multiple of 17?
True
Let r(o) = 25*o**3 + 129*o - 381. Is 9 a factor of r(3)?
False
Let q = 31 + -24. Let l be (0 - 2 - -1)/(q/(-21)). Suppose -138 = -l*n + 282. Is 20 a factor of n?
True
Let u(p) = -8*p**3 + 21*p**2 - 45*p + 25. Let b(d) = 2*d**3 - 5*d**2 + 11*d - 6. Let s(j) = 9*b(j) + 2*u(j). Does 10 divide s(3)?
True
Let y(h) = -42*h**3 + 9*h**2 + 82*h + 341. Is 6 a factor of y(-7)?
False
Let k(i) = -6*i**2 + i + 7. Let z be k(-3). Is z/(-30) + (-2812)/(-12) a multiple of 7?
False
Does 7 divide 689 - (128/22 + (-62)/(-341))?
False
Let m(g) = 20*g**3 - 7*g**2 - 56*g + 363. Does 68 divide m(6)?
False
Let a(f) = 23 - 2*f**2 - 6 - 3 - 5*f. Let y be a(-4). Suppose 0*x + 252 = 4*x - 4*h, 2*h - 122 = -y*x. Does 31 divide x?
True
Let q = 21340 + -12352. Is q a multiple of 41?
False
Suppose w = 3*a + 2, 2*a = 3*w - 2*w - 2. Let u(d) = 2*d**2 + d - 2. Let y be u(w). Suppose 7*k = y*k - 28. Is k a multiple of 7?
True
Suppose -109*d = 3*d - 1964592. Does 6 divide d?
False
Suppose -2365 = -6*t + 1571. Suppose -4*k = -4*l - 2*k + 20, 0 = 5*l - 4*k - 25. Suppose -l*o + 1716 = t. Is o a multiple of 58?
False
Let b(u) = -u**2 - 7*u - 14. Let j be b(-4). Let p(w) = -2*w**3 - 3*w**2 + w + 4. Let s be p(j). Is 9 a factor of ((-3)/2)/(s/(-8)) - -10?
False
Let p = 1201 - 446. Does 16 divide p?
False
Suppose 3*w = j + 10 - 2, j + 2*w - 12 = 0. Suppose j*z = -3*u + 3474, -10*z + 13*z + 4*u = 2602. Is z a multiple of 30?
True
Let b(w) be the second derivative of -6*w**2 + 1/3*w**3 + 0 + 1/12*w**4 + 2*w. Is 14 a factor of b(-10)?
False
Let d(j) = -j**2 - 20*j - 47. Let f be d(-17). Does 12 divide (-4)/4 - (-21 - f)?
True
Suppose 6*s - 5*s = b - 5, 3*s + 3 = b. Is 11 a factor of -921*-1*b/12*2?
False
Let w = 19502 - 10383. Is w a multiple of 161?
False
Let i(a) be the first derivative of -a**3/3 - 27*a**2 - 6*a + 86. Is i(-4) a multiple of 16?
False
Suppose 0 = 44*m - 35681 + 217. Is 31 a factor of m?
True
Suppose 70 = -4*d - 1982. Let l = -333 - d. Is l a multiple of 20?
True
Let w(h) = -h**2 - 11*h - 14. Let x be w(-9). Suppose 21 = x*r - o + 2*o, r + 21 = 5*o. Suppose -r*t + t = -144. Does 24 divide t?
True
Suppose -17*y - 502 = 25. Let h = -29 - y. Suppose 8*w = -h*w + 750. Is 31 a factor of w?
False
Suppose 0 = 4*j - j + 366. Let b = -59 - j. Is b a multiple of 15?
False
Suppose -11854 = -3*r + 8*d - 6*d, 2*r - 4*d = 7900. Is 45 a factor of r?
False
Suppose -640 = -8*p - 2*d, 7*p - 3*d = 2*p + 417. Is 9 a factor of p?
True
Let y = 40 - 2. Suppose -h = -3*b + 2*b + 10, y = 5*b - 2*h. Is (2 + (-33)/b)/(2/(-72)) a multiple of 21?
True
Let j(h) be the first derivative of -6*h**2 - 145*h + 13. Is j(-14) a multiple of 7?
False
Suppose 0*m = -3*m + 5*i + 11260, -16 = -4*i. Is 11 a factor of m?
False
Suppose 7*f = 21603 + 73905. Is f a multiple of 36?
True
Suppose 243*b = 272*b - 389528. Does 23 divide b?
True
Let g = -19512 - -39438. Is g a multiple of 123?
True
Let d be 1/4 - 143/(-52). Suppose 100 = -4*r - 6*f + f, 0 = -d*f. Does 10 divide 60*(-10)/r*(-30)/(-8)?
True
Let k be 1*-25*4/(-4). Let b = 72 + k. Let p = b + -56. Does 4 divide p?
False
Let a(v) = -v**3 + 13*v**2 + 14*v + 50. Does 133 divide a(-11)?
False
Let c(n) = -12*n**2 - 7*n - 43 - 11*n**2 + 3 + 24*n**2. Is 5 a factor of c(-8)?
True
Is 11 a factor of 2076/(-18)*((-774)/4 + -6 + 12)?
False
Suppose 3*s - s = -5*g - 44, 4*g + 52 = 4*s. Let a = g + 24. Is 6 a factor of (a/8)/(1 - (-46)/(-48))?
True
Suppose 3*p = 0, 2*v + 6*p = 4*p + 2200. Is 25 a factor of v?
True
Suppose -4*t - 12 = 5*h, 0 = -3*h + 4*t + 3 + 9. Does 7 divide h - 3*156/(-18)?
False
Suppose 3*k - 2*f - 11 = -3*f, 0 = 2*k - f + 1. Suppose -k*x = -4*a + 1146, 4*x = 4*a - 8*a + 1152. Does 25 divide a?
False
Suppose 136*w - 70*w + 178056 = 74*w. Does 14 divide w?
False
Is (-1)/6 - 532/20*39800/(-240) a multiple of 8?
False
Suppose -42 = -13*s - 276. Let a = -15 - s. Suppose 4*q + 479 = 5*m + q, 4*m = a*q + 382. Does 24 divide m?
False
Suppose -h = -3*s + 19, 0 = -3*s - s - 5*h. Suppose s*b = 18*b - 8697. Is b a multiple of 38?
False
Let q = -6276 + 12213. Does 11 divide q?
False
Let u = 693 - 692. Is -8 - (-382 + 4) - u a multiple of 21?
False
Let x(j) = -7*j**2 + 4*j + 3 + 4 + 6*j**2 - 8*j. Let c be x(6). Does 47 divide -1 + -3 - (8/4 + c)?
True
Let f = -57229 + 97129. Is 19 a factor of f?
True
Suppose 1571 = 10*y - 389. Suppose -3763 + y = -41*n. Is 3 a factor of n?
True
Let b(z) = -4*z**3 + 8 - 8*z + 5*z**3 - 6*z**2 + 2*z**3 + 5 - 4*z**3. Does 4 divide b(-7)?
False
Suppose -76*s - 2098 = -80*s - 3*h, 4*s = 5*h + 2114. Is s a multiple of 35?
False
Let g(k) be the first derivative of k**3/3 + 13*k**2/2 + 6*k + 58. Is g(-15) a multiple of 5?
False
Let w be (-6)/(-5)*440/66. Suppose w*m = 2652 + 1668. Is 11 a factor of m?
False
Let v be (((-14)/(-21))/((-2)/9))/1. Does 47 divide ((-36)/21)/v - 11832/(-21)?
True
Let w be (4/(4/5))/(15/210). Suppose -w = -1153*x + 1151*x. Is x a multiple of 35?
True
Let x = 9763 + -5923. Does 12 divide x?
True
Suppose -634*b = -646*b + 3972. Let j = 146 + 436. Let y = j - b. Does 33 divide y?
False
Suppose 108*i - 894877 = -169532 - 12545. Is i a multiple of 30?
True
Suppose 2*x + 633 = s + 2150, -4*s - 6008 = 4*x. Let q = -911 - s. Does 68 divide q?
False
Suppose 2*z = -s + 339, 112 + 1658 = 5*s - 5*z. Let y = 433 - s. Does 13 divide y?
False
Let q = -80 + 90. Suppose 0*g = 7*g - 28. Let f = g + q. Is f a multiple of 3?
False
Let j(c) = -82*c - 10. Let t be j(-17). Suppose -4*n + t = 5*f, 3*n - 7*n = -3*f + 856. Does 70 divide f?
True
Let y = -3504 + 8384. Is y a multiple of 16?
True
Let o be 3/4 + (-153)/(-68). Suppose 2*l - 536 = -2*y - y, o*l - 774 = 3*y. Let w = -148 + l. Is w a multiple of 38?
True
Let l be 9/7 + -1 - 642/(-7). Suppose 4*c - b - l = 2*b, 3*c + 5*b - 69 = 0. Is 2 a factor of c?
False
Suppose 19 = -4*c - 125.