e (4/5)/((-2)/5). Suppose 4*t + 0*y - 4*y - 8 = 0, -5*y = -4*t + 13. Does 3 divide t*2*u/4?
True
Does 20 divide (-64)/(-672) - (-15116)/42?
True
Suppose 2*o + 97 = -i, 0 = 3*i - i + 5*o + 193. Let v = i + 126. Is v a multiple of 16?
False
Suppose -3*o - 15 = 0, 3*y + 3*o + 2*o + 28 = 0. Let j(p) = 5*p**2. Let s be j(y). Suppose 68 = s*h - 322. Does 17 divide h?
False
Is (-224 - (-8 + 19))*-17 a multiple of 125?
False
Let c be 10/(-45) + 60/27. Suppose 5 = 5*t, d - c*t - 124 = -d. Is d a multiple of 21?
True
Let f = 11 - 8. Let s(u) = u**3 + 2*u**2 + 3*u - 3. Let w be s(f). Suppose -3*o + 4*o = w. Is 22 a factor of o?
False
Let p(m) = 580*m + 15. Is 16 a factor of p(1)?
False
Let t(x) = x**3 - 2*x**2 - 23*x - 20. Is 55 a factor of t(10)?
True
Let n(d) = d - 5. Let p be n(3). Let w = -19 + p. Is 6 a factor of -2 + (0 - w) - 3?
False
Let j = 390 - 90. Does 10 divide j?
True
Suppose 5*j - 539 = -229. Does 52 divide j?
False
Suppose -3*r - 3 - 7 = 4*i, 5*i = 3*r - 26. Suppose -2*s = -r*l - 56, 3*l - 32 = -2*s + s. Does 10 divide s?
False
Let j(p) = -12*p - 80. Let k(i) = -2*i. Let v(n) = j(n) + 2*k(n). Does 7 divide v(-12)?
True
Does 52 divide ((-6435)/6)/(-5)*(-80)/(-30)?
True
Let w = 71 - 45. Let f = 42 - w. Does 5 divide f?
False
Let t(u) = -2*u + 26. Let o be t(-7). Suppose -b = -o + 7. Is 17 a factor of b?
False
Let r = -1400 - -1437. Let d(k) = -11*k + 1. Let q be d(3). Let a = r - q. Does 7 divide a?
False
Let v = 877 - 408. Is v a multiple of 13?
False
Suppose 2*y = 19*y. Suppose -z + 460 = 3*d + 96, y = 4*z - 4*d - 1456. Is z a multiple of 20?
False
Is 18 a factor of ((-24)/44)/3 + 8912/11?
True
Let a = -305 - -419. Is 39 a factor of a?
False
Let q be (9/27)/((-1)/(-87)). Let w = -6 + q. Is w a multiple of 11?
False
Let r = 606 + -414. Suppose -280 = -8*w + r. Does 12 divide 1 - 4/((-4)/w)?
True
Does 22 divide (-125)/20 + 7/28 - -50?
True
Suppose 0 = 4*u + 8, -5*u = 7*q - 4273 - 799. Is 33 a factor of q?
True
Let a be 1/1 - (-3)/1. Let x(m) = 0 + 4 - 3 + m**2 + a*m + 3. Does 3 divide x(-5)?
True
Let j be 3/(-12)*6*30. Let o be 104/18 - 10/j. Let d = o + 25. Does 8 divide d?
False
Does 22 divide (4048/(-138))/((-1)/9)?
True
Let p(i) be the second derivative of 83*i**3/6 + 17*i**2/2 - 6*i. Let o be p(5). Suppose 426 = 3*u - j, -3*u - j + o = -4*j. Is u a multiple of 40?
False
Suppose 12*q = 13*q - 4. Suppose 882 = 11*p - q*p. Is 9 a factor of p?
True
Let m(z) = 365*z**2 + 10*z + 16. Let b(h) = -73*h**2 - 2*h - 3. Let l(q) = -11*b(q) - 2*m(q). Does 18 divide l(-1)?
True
Suppose -2 = -x - x. Is 47/2 - x/2 a multiple of 7?
False
Suppose -4*z = r - 2333, 2*z - 384 = -3*r + 795. Does 46 divide z?
False
Is 4 a factor of (2/(-4))/(((-69)/(-2064))/(-23))?
True
Let r = -43 + 81. Suppose 5*g = -48 - 57. Let o = g + r. Is 7 a factor of o?
False
Let u be (5 + 34/(-4))/(2/(-20)). Let y = 46 + u. Is y a multiple of 21?
False
Let j(u) = u - 3. Let v be j(5). Suppose -v*p = -11 - 1. Does 11 divide p/(-24) + 197/4?
False
Let a(r) = 15*r + 6. Does 6 divide a(2)?
True
Let y = -787 - -1231. Is 25 a factor of y?
False
Let m be 50*4*(-3)/30. Let l = 20 + m. Suppose -2*n + 6*n - 136 = l. Is 8 a factor of n?
False
Let l be -2 + (1 + -1 - (-56)/8). Suppose 5*s + 20 = 10*s, l*b = s + 896. Does 36 divide b?
True
Let n(i) be the third derivative of -i**5/60 + 25*i**4/24 - 6*i**3 + 6*i**2. Does 15 divide n(18)?
True
Suppose -5*i + 5*b + 0*b + 15 = 0, -i = b + 7. Let o be i*10*(-2)/8. Suppose -34 = o*x - 219. Is 8 a factor of x?
False
Is 4/30 + (-156016)/(-105) a multiple of 17?
False
Suppose 105160 = 8*x + 3880. Is x/75 + (-8)/10 a multiple of 21?
True
Let o(g) = -41*g - 17. Is 6 a factor of o(-6)?
False
Does 23 divide (-16)/(-40) + (-2208)/(-5)?
False
Suppose -166 - 1374 = -3*p - 4*x, 5*p + 2*x = 2590. Is p a multiple of 19?
False
Let o be (14/(-6))/((-1)/9). Suppose 0 = n + 1, 3*j + 2*n - 100 = -3*n. Let r = j - o. Does 7 divide r?
True
Let s be (-1*(-3)/(-2))/((-84)/224). Is 35 a factor of (s + -3 - 4) + (-356)/(-2)?
True
Suppose 1800 = 12*q - 9*q. Is 20 a factor of q?
True
Suppose -88*t + 10875 = -73*t. Is t a multiple of 5?
True
Suppose 0 = 61*g - 53*g - 400. Does 10 divide g?
True
Suppose 2*g + 1707 = 5*z, -5*z + g = 286 - 1992. Is z a multiple of 17?
False
Let x(f) = 8*f - 5*f - 2*f**2 + f**2. Let g be x(3). Suppose g = 4*a - 5*a + 8. Is a even?
True
Let s = 460 - 440. Is 10 a factor of s?
True
Let l = -416 - -926. Does 15 divide l?
True
Suppose m + 22 = 3*m - 4*i, 0 = -m - 3*i - 9. Suppose 0 = -2*z + 4*s, -3*z - m*s + 32 = -s. Is 20/3*30/z a multiple of 8?
False
Let s = -594 - -1998. Is s a multiple of 54?
True
Let h(a) be the second derivative of -a**5/20 - 11*a**4/12 + a**3/3 + a**2/2 + 13*a. Let r be h(-11). Does 6 divide (28/r)/((-4)/54)?
True
Let d(u) = -128*u - 9. Is d(-7) a multiple of 41?
False
Suppose 0 = 7*r - 430 - 522. Is 8 a factor of r?
True
Let n(l) = 44 - 9*l + l**2 - 20*l + 13*l. Is 16 a factor of n(14)?
True
Let m be ((-2)/(-4))/(2/8). Suppose 0 = -2*z + 2*l - 8, -5*z + 4*l = 2*l + 8. Suppose 3*s - 35 = -m*p, 4*s - 2*s + 2*p - 26 = z. Does 9 divide s?
True
Suppose -9*t = -3*t - 456. Suppose -t = 4*z + 104. Let w = z + 67. Is 22 a factor of w?
True
Let p(o) = -11*o**2 - 27*o + 28*o + 6 + 25*o**2 + 9*o**2. Does 24 divide p(-2)?
True
Suppose -5*t = 3*q + 6, -2*t + 4 = -4*t - 2*q. Suppose -2*m + 47 + 90 = 3*l, -2*l - 5*m + 106 = t. Is 8 a factor of l?
False
Suppose 0 = -3*k + 5*x + 383, -3*k + 423 = 2*x + x. Suppose 3*v - 105 = -3*o, 31 = 5*o + v - k. Does 15 divide o?
False
Suppose -5*m + 196 = 4*r, -5*r - 2*m + 155 = -107. Is r a multiple of 9?
True
Let c be (-16)/5*(-90)/12. Is 12 a factor of (c/10)/((-1)/(-35))?
True
Suppose -2*v - 5*l = -486, 4*v - 4*l + 2*l = 996. Let r = -128 + v. Is r a multiple of 16?
False
Let d(c) = 8*c - 8. Let n = -29 + 23. Let b = n - -16. Does 24 divide d(b)?
True
Suppose 5*j + 17 = 5*i - 3, -3*j - 2*i = -8. Let k(g) = -g**2 + 2*g + 80. Is k(j) a multiple of 16?
True
Let s(f) = f**3 + 16*f**2 - 8*f + 48. Does 80 divide s(-12)?
True
Let w(f) = -f + 8. Let j = -9 - -15. Let v be w(j). Suppose v*g + 2 = 5*k - 73, -2*k = -g - 29. Is k a multiple of 17?
True
Let p = 31 + -29. Suppose -5*q - 120 = -5*b, -p*q - 126 = -5*b - 0*q. Is 9 a factor of b?
False
Suppose -4*o - 16 = 2*u, 4*u + 0*o = 2*o + 8. Let i be u/(-1 + 1/(-1)). Suppose -3*y - 3*s - 15 + 195 = 0, -5*y - 4*s + 297 = i. Is 19 a factor of y?
True
Suppose -14*s = -0*s - 28. Suppose 3*p + 127 = t, 2 + 4 = s*p. Is t a multiple of 8?
True
Let n be (2*1)/((-10)/145). Let x = -24 - n. Suppose 213 = x*c - 287. Does 25 divide c?
True
Suppose 4*h = -3*h + 21. Suppose 5*i = -2*q + 180, i - 23 = 2*q - 5*q. Suppose -5*w - 13 = -i, -h*n - w = -101. Does 9 divide n?
False
Is 194*(1 - (2 - 3 - 0)) a multiple of 14?
False
Let l = -55 - -466. Is 48 a factor of l?
False
Suppose 9*z + 128 = 10*z. Suppose -116 = -4*b + z. Is b a multiple of 13?
False
Is 20 a factor of ((-108)/28 - -3)*-350?
True
Let h be 10 - (-6)/(-1 + -1). Suppose -h*f + 11*f = 96. Let z = -1 + f. Is 5 a factor of z?
False
Suppose -18 + 9 = -p. Let b = p - 30. Is 4 a factor of -1 + (-5 + 4)*b?
True
Let x = -8 + 7. Suppose -f - 120 = 7*f. Is 13 a factor of ((-40)/(-12))/(x/f)?
False
Suppose 2*c + 4*h - 26 = 0, -5*c - 3 = -4*h + 2. Suppose -3*t = c + 3. Is 26 a factor of ((-15)/(-20))/(t/(-176))?
False
Suppose 0 = -458*c + 449*c + 9558. Is c a multiple of 14?
False
Suppose -v = -3*v - 48. Let y = 35 + v. Does 2 divide y?
False
Let t be (23 - (-6 + 6)) + 1 + 2. Let i = 102 - t. Does 19 divide i?
True
Let s = 19 - 17. Let d be (-3)/s*1650/(-45). Suppose -85 = -4*l + d. Is l a multiple of 7?
True
Suppose -9*x = -322 + 25. Suppose -l + 19 + x = 0. Is 52 a factor of l?
True
Let n(l) be the second derivative of 5/2*l**2 - 1/2*l**3 + l + 0 + 3/4*l**4. Is n(3) a multiple of 22?
False
Let y = -13 - -15. Let t(b) = -6*b + y*b**2 + 4*b**2 + 7 + 2*b**2 - 5. Is 5 a factor of t(2)?
False
Let n(s) = 3*s**3 - 34*s**2 + 4*s - 36. Is n(12) a multiple of 25?
True
Suppose 3*j - 4*z = 203, 0 = 5*j - 3*z - 0*z - 342. Does 12 divide j?
False
Suppose -219*m - 7140 = -224*m. Does 28 divide m?
True
Let f(i) = -2*i**2 + i + 1. Let c(z) = -z**2 - z - 1. Let g(t) = -6*c(t) - f(t). Is g(4) a multiple of 34?
False
Let y(f) = f**3 + 4*f**2 - 3