t t = 15387 + -2941. Does 7 divide t?
True
Let z be -3*8/60 + 47/5. Suppose -12*f + 27531 = z*f. Is 57 a factor of f?
True
Suppose 2*v = 3*i - 16, -i - 2*i + 5*v = -31. Let k(a) = 2*a - i + a - 2*a + 28. Is k(-11) a multiple of 5?
True
Suppose -10*u + 8*u + 4*x + 3792 = 0, -u - x = -1902. Is u a multiple of 11?
False
Let z = 945 + -853. Is -87 + z - 5*-214 a multiple of 71?
False
Let g(w) = -w**2 + 68*w - 31. Let k be g(20). Suppose k = 6*m - 427. Is 13 a factor of m?
False
Is (-752576)/(-55) + (63/35 - 3) a multiple of 73?
False
Suppose 3*s + 3 = 18. Suppose d - s*a - 110 = -4*d, -4*d + 102 = 3*a. Suppose -m - 4*t + d + 1 = 0, 0 = -m - 3*t + 23. Is 16 a factor of m?
False
Suppose 7*g - 25*g + 47268 = 0. Suppose 0 = x - o - 878, -4*x + g = -x - 5*o. Is 79 a factor of x?
False
Suppose 0 = -8*y + 7*y - 10. Let d = 54 + y. Is d a multiple of 19?
False
Let o = -626 + 1198. Suppose -m + 277 = 5*x, 0 = -m - m - 4*x + o. Is 68 a factor of m?
False
Does 82 divide 7/(((-3114)/3116 - -1)/1)?
True
Let g(j) = 8*j**2. Let i be g(-3). Let u = 413 + -419. Is (i/(-30))/(u/220) a multiple of 22?
True
Suppose 1023093 = 204*s + 75*s. Does 23 divide s?
False
Let o(p) be the second derivative of 5*p**4/6 - 13*p**3/6 + 26*p**2 - 181*p. Is 21 a factor of o(8)?
True
Is 10 a factor of (-7102256)/448*4/(-7)?
False
Suppose -381*b + 232*b + 3601260 = 241*b. Does 71 divide b?
False
Suppose -4*h = -3*t + 2, 0*h + 35 = -5*t - h. Let b = -4 - t. Suppose u + 200 = b*i, -i - 35 = 5*u - 113. Is 26 a factor of i?
False
Let k(f) = 52*f - 8. Let h(r) = 2*r. Let z(c) = 20*h(c) - k(c). Is 9 a factor of z(-22)?
False
Suppose 4*j + 55 = 23. Let q be j/4 - (152 - -2). Let p = q - -233. Does 11 divide p?
True
Suppose -m - 4*m + 4*x + 40 = 0, -12 = 2*m + 4*x. Suppose 4*y - m = 16. Suppose y*n - 45 = 75. Is n a multiple of 6?
True
Let t(u) = -u**2 + 79*u + 445. Is t(41) a multiple of 51?
False
Let f be 25850/(-14) + (-8)/14. Let c = -1132 - f. Is c a multiple of 55?
True
Let f(o) be the first derivative of -o**3/3 - 21*o**2/2 + 6*o - 1. Let g = -192 + 184. Does 22 divide f(g)?
True
Suppose -2*u + 13 + 81 = 0. Suppose -u = o + 5*i, o + 3*i + i = -42. Let f = 90 - o. Is 28 a factor of f?
True
Let m be ((-2)/5)/(0 + 2/(-10)). Let f(x) = 25*x + 3*x**m + 16*x - 48*x - 10. Is 7 a factor of f(6)?
True
Suppose -12 = 3*d - 3. Let l be 1 + (4307/(-15) - (-12)/90). Does 12 divide l/(-8) - d/12?
True
Let a(r) = -43*r**3 - 1. Let i(p) = -17*p**2 + 2*p**3 - 1 + 2*p**3 - 3*p**3. Let t be i(17). Does 21 divide a(t)?
True
Let t = -629 - -624. Is 5 a factor of t + 152/32 - (-1746)/8?
False
Is 17 a factor of 31/(186/34848) - 12/3?
False
Let p = 487 - 51. Let h = p + -338. Does 14 divide h?
True
Suppose 3*a - 20 = -5*h, 0 = -9*h + 4*h - 2*a + 20. Suppose -1392 = -h*k + 5*s, -4*s - 1583 + 539 = -3*k. Does 11 divide k?
False
Let v = -79576 + 159756. Is v a multiple of 20?
True
Is 6 a factor of -3*(-6)/54 + (1 - 94584/(-18))?
True
Let u = 2866 + -1268. Is u a multiple of 8?
False
Suppose -287*l - 69*l + 1404776 = 0. Is l even?
True
Let i be (3 - -1*100/8)*-2. Let n = i - -39. Suppose -n*x - 2640 = -24*x. Does 15 divide x?
True
Let j(v) be the second derivative of 0*v**3 + 2*v + 5/6*v**4 - 5/2*v**2 + 0. Does 9 divide j(2)?
False
Suppose -6673 = -5*o + 4*m, 2706 = 2*o - 1866*m + 1869*m. Is o a multiple of 12?
False
Let r be (-24)/(-204) + 6/(-51). Suppose 3*y - 851 + 95 = r. Does 7 divide y?
True
Suppose g = 542 - 547, 27911 = 3*y - 4*g. Does 26 divide y?
False
Suppose -j - 133 = 4*b - 565, 2*b + 3*j = 226. Suppose 0 = b*t - 111*t - 192. Let a = t + 88. Is a a multiple of 18?
False
Let y(c) = c + 3 + 2*c**2 - 3*c**2 + c - c. Let u be y(0). Suppose -v + u*h = -14, 3*h - 43 = -2*v + 4*h. Is v a multiple of 23?
True
Let d(l) = 3*l**2 - 31*l + 225. Does 33 divide d(-19)?
False
Let y(h) be the third derivative of h**5/24 - 21*h**4/8 - 11*h**3/2 + 35*h**2. Let v(x) be the first derivative of y(x). Is v(24) a multiple of 4?
False
Is 53 a factor of 6/(-10)*5*1/(9/(-33162))?
False
Let b = -81 - -49. Let z be b/(-12) - (-1)/3. Suppose -z*g = 4*c - 3*c - 13, 4*c = -5*g + 87. Is c a multiple of 28?
True
Let o(d) = 50*d - 247. Let l be o(5). Let h = -1 - -2. Does 7 divide (-5)/(l*h/(-6))?
False
Suppose 2*r = 103 + 83. Let d = r + -5. Does 11 divide d?
True
Let h(f) = f**3 + 41*f**2 + 17*f + 556. Is 11 a factor of h(-36)?
True
Suppose 3*d = -3*l + 39, -4*d - l - 2*l + 48 = 0. Is (-21)/(((-18)/6)/d) a multiple of 7?
True
Suppose 0 = 4*u + 91 + 89. Let h be (-1)/2 - u/18. Suppose 0 = -r - h*r + 3*j + 111, -2*j + 118 = 4*r. Is 16 a factor of r?
True
Suppose -550 = -0*b + 2*b + o, -3*b - 823 = o. Let n = 460 + b. Suppose -2*l + n + 53 = 0. Is 30 a factor of l?
True
Suppose 3*d + 14315 = 4*r, 79*r = 83*r - 4*d - 14320. Is 65 a factor of r?
True
Suppose b = 149 + 358. Let r = b + -182. Suppose r = 5*h - 4*m, m = -m + 10. Does 15 divide h?
False
Let y(c) = -c**3 + 43*c**2 + 222*c - 135. Is 32 a factor of y(46)?
False
Suppose 31*w = 33*w - 648. Let p = 339 - w. Is p a multiple of 13?
False
Is 315 a factor of 1/14 - 101870475/(-7350)?
True
Suppose -33 - 25 = -29*p. Suppose -3*f + 8 = -4. Suppose 0 = p*j + f*j - 90. Does 5 divide j?
True
Let w be (-3)/8 + (-54)/(-16). Suppose 283 + 3 = 4*s - w*a, -2*s + a + 142 = 0. Is s a multiple of 11?
False
Is 3 a factor of 2/17 - 8185*36/(-153)?
True
Let n(j) = j**2 + 9*j - 6. Let u be n(-9). Let h(x) = x**2 + 2*x + 9. Let v be h(u). Let k = -13 + v. Does 5 divide k?
True
Let f(i) = -i**3 + 46*i**2 - 88*i + 5. Let g be f(44). Suppose -2*n + 3470 = 3*n - g*o, -5*n + 3462 = -3*o. Is n a multiple of 46?
True
Let m be ((-4)/2 - -3)*(32 - 3). Let v = m - -36. Let r = 109 - v. Is 14 a factor of r?
False
Let r = 11144 - 4068. Suppose 4639 = 55*w - r. Is 53 a factor of w?
False
Let y(i) = -i**2 - 64*i + 57. Let h be (7 + 195/(-12))*4. Is y(h) a multiple of 22?
True
Let c be (2 - 48/(-9))/(6/(-18)). Let l = 85 + c. Suppose 3*v + 3*z = 201, 2*z + l = v - z. Does 22 divide v?
True
Let c(h) be the third derivative of -h**6/120 + 3*h**5/20 - 3*h**4/8 + 11*h**3/6 - 5*h**2. Let k be c(8). Let g(q) = 2*q**2 - q - 2. Is g(k) a multiple of 5?
False
Let x(i) = -i**3 - 17*i**2 + 18*i + 17. Let g be x(-18). Let b(h) = -13*h - 2*h - g + 3*h. Is b(-5) a multiple of 11?
False
Let c(x) = x**3 - 6*x**2 - 19*x - 120. Is c(23) a multiple of 74?
True
Let r be 3/(6/(-2))*-3. Suppose -4*a = -5*v + 39 + 3, -4*a = 2*v. Is 17 a factor of r*-1 + 5*(v - 2)?
True
Let z = -7436 + 8100. Does 6 divide z?
False
Let a(o) = o**2 + 16*o + 39. Let g be a(-13). Suppose -3*l - 2*l + 25 = g. Suppose 2*w + 2*h - 52 = 6*h, l*w - 4*h - 112 = 0. Is 5 a factor of w?
True
Suppose 7*o + t - 7 = 4*o, -5 = -o - t. Is 2 a factor of 202/2 + 7/o?
True
Let f = 7 - 4. Let c be ((-176)/(-66))/((-2)/(-18)). Let s = f + c. Does 10 divide s?
False
Let r(i) = -i**3 + 23*i**2 - 61*i + 25. Let w be r(20). Let y(h) = 18*h**2 - 11*h + 57. Is 21 a factor of y(w)?
False
Suppose -33*g - 81362 + 137565 = -99227. Is 70 a factor of g?
False
Let t(i) = i**3 + 3*i**2 - 2. Let z be t(-3). Is 20 a factor of (8/(-20))/z + (-2219)/(-5)?
False
Let t = 360 - 468. Let u = t + 426. Does 7 divide u?
False
Suppose 0 = -2*m + 8, -22*m + 23387 = 3*r - 23*m. Is r a multiple of 78?
False
Suppose 2*y - 4474 = 3*t, 0 = -4*t - 331 + 355. Is 19 a factor of y?
False
Suppose 500 + 74677 = 5*h + j, -4*h - 5*j = -60129. Is h a multiple of 179?
True
Let q = -26 + 39. Let j be 5 + -2 - (q + -10). Suppose 2*l - 672 = -3*g, -663 = -3*g - j*l - 5*l. Does 27 divide g?
False
Suppose -17*p + 21*p = 28. Let k(w) = -w**3 + 5*w**2 - 22. Let v be k(p). Let m = 360 + v. Does 20 divide m?
True
Let u = -197 + 182. Is 7 a factor of 55 + (3 - 0)/(u/(-10))?
False
Let o(p) = p**3 + 13*p**2 + 13*p - 8. Let n be o(-12). Let x(v) = -v**2 - 25*v - 25. Does 15 divide x(n)?
True
Let s = -61 + 65. Suppose 0 = v - 3*y - 3, 0 = 5*v - 0*v + 3*y + 3. Suppose -s*h - 2*m + 4*m + 392 = v, 172 = 2*h + 5*m. Does 24 divide h?
True
Let n be 28 - 1 - -3*(-8 - -7). Suppose 5*u = -r + n, -5*r + 28 = -u + 12. Suppose -5*s + 3*y + 10 = -17, -4*y + u = 0. Does 3 divide s?
True
Let g = -7445 + 9522. Is g a multiple of 49?
False
Let f = -25661 - -28359. Is 3 a factor of f?
False
Let l(c) = 2123*c**3 + 2*c**2 - 1. Is l(1) a multiple of 1