rue
Let j be 2 - 3*8/(-12). Let x(r) = -2*r - j + 5*r - 4 + 2*r. Is 13 a factor of x(11)?
False
Let n(f) = 10*f**3 - 9*f**2 + 7*f - 16. Is 24 a factor of n(4)?
False
Suppose -5*k = -m - 15, 0 = 5*m - 2*k - 2 - 15. Suppose -1 = a, -4*f + m*f = -4*a - 25. Is 13 a factor of ((-364)/f)/((-1)/(-3))?
True
Suppose -2*k + 8 = 3*r - 3*k, r - 4 = k. Is 7 a factor of r*(-1 - 77/(-2))?
False
Does 12 divide (4/(-2))/((-10)/(-3480)*-3)?
False
Let r = 1845 + -1565. Does 3 divide r?
False
Let d(l) = 3*l + 34. Let p(g) = -2*g - 23. Let r(k) = 5*d(k) + 7*p(k). Let o = 102 + -97. Is 3 a factor of r(o)?
False
Let v(m) = -153*m**3 + 20*m + 44. Is 41 a factor of v(-2)?
False
Let p = -1273 - -3015. Does 26 divide p?
True
Let g = 26 - 24. Let s(i) = -6 + 7*i**g + 4*i**2 - 7*i - 2*i**2 - i**3 + 0*i**2. Does 10 divide s(6)?
True
Suppose 53*r = 39*r + 24878. Is r a multiple of 15?
False
Suppose z = 5*z - w - 411, 2*z - 4*w - 216 = 0. Is z a multiple of 6?
True
Let k(s) = 22*s - 3. Let d(w) = w - 8*w + 6*w. Let f(a) = -4*d(a) - k(a). Is f(-4) a multiple of 25?
True
Let g = -19 - -21. Suppose 0 = -3*c + g*q + 110, -c - q + 2*q + 36 = 0. Let b = c + -7. Does 18 divide b?
False
Suppose 328 = 4*k - 4*a, -4*k + 3*k + 62 = 4*a. Does 12 divide k?
False
Suppose -3*z - 2*y + 3596 = 0, 2*z - 2*y + 1204 = 3*z. Is z a multiple of 46?
True
Let k(b) = 89*b - 93. Does 32 divide k(5)?
True
Let x = 228 + -197. Let p be 0 - (-1)/1*25. Let i = x - p. Is 6 a factor of i?
True
Let j be -1 - -1 - (-2 + -22). Let q = j + 31. Is 11 a factor of q?
True
Let b(m) = 4*m + 31 - 4*m - 13 - m. Is b(9) even?
False
Suppose -h + b - 2*b + 125 = 0, 0 = -4*h + 5*b + 473. Suppose a - 5*n - 130 = -4*a, n + h = 5*a. Is 6 a factor of a?
True
Suppose -5*s - z = -651, 4*s + z - 233 - 288 = 0. Suppose -s - 358 = -8*m. Is 23 a factor of m?
False
Let f be 45/(-27)*1*3. Let h be (-784)/(-20) - (-1)/f. Suppose -5*u + h = -2*u. Is 4 a factor of u?
False
Does 30 divide ((-5885)/(-22))/((-7)/(-42))?
False
Let k(d) = -d**3 - 5*d**2 - 5*d - 5. Let m be k(-4). Is 24 a factor of 4 + 1*78 - (m - -2)?
False
Suppose -259 = d + 2*a - 877, 2*a - 3066 = -5*d. Does 4 divide d?
True
Let p(v) = -27*v + 39. Is 21 a factor of p(-11)?
True
Let l = 18 - 15. Suppose l*v + 15 = 0, 5*q - 4*v + 6*v = 165. Does 6 divide q?
False
Is (-4989)/36*-3 - 6/(-24) a multiple of 16?
True
Let y(c) be the third derivative of c**6/180 - c**5/60 - c**4/12 + 2*c**3/3 + 3*c**2. Let b(v) be the first derivative of y(v). Is 11 a factor of b(4)?
True
Is 31 a factor of -3 + 2 - -3 - 868/(-4)?
False
Let y be (12 + -11)/(1/(-10)). Let z(u) = u**2 - 19. Does 10 divide z(y)?
False
Let g(b) = -6*b + 8*b + 2*b - 2*b**2 - 3. Let z be g(2). Let k(c) = -9*c - 3. Does 14 divide k(z)?
False
Suppose 4179 = 6*t - 1389. Does 58 divide t?
True
Let v = -2387 - -2711. Does 13 divide v?
False
Let v(s) = -41*s - 13. Does 6 divide v(-6)?
False
Suppose -5*r = 5*h - 30, 3*h = 5*r - 12 - 42. Does 7 divide r/((-18)/(-4)) - -35?
False
Let k = 2 + 1. Let j be (-6)/(k*3/(-108)). Suppose 0*d = d - 4*m - j, 2*m = 4*d - 232. Does 23 divide d?
False
Let u = -30 - -70. Suppose 2*w + 4*n = u + 2, 133 = 5*w - 4*n. Is w a multiple of 3?
False
Let i = -900 - -1796. Does 14 divide i?
True
Suppose -2*u - 4*t + 12 = 2, -5*u + 4*t = 3. Is 15 a factor of (-4 + 2)/(u/(-50))?
False
Suppose -8*h - 7 = 105. Is (-6)/((-12)/h)*18/(-7) a multiple of 3?
True
Let d be ((-228)/(-16))/((-6)/(-16)). Let y = d + -28. Let f = 8 + y. Is f a multiple of 8?
False
Let u = 50 - 70. Let i be 0 - u/1 - -2. Suppose -r = -10 - i. Is 9 a factor of r?
False
Let i = 160 - 107. Suppose 57 = v - 64. Let s = v - i. Does 14 divide s?
False
Let c(v) = 6*v**3 + 2*v**2 - v - 2. Let l be c(2). Let s(i) = -6*i - 26. Let p be s(0). Let u = l + p. Is 13 a factor of u?
True
Let n = 120 - 72. Suppose -l - 4*d + n = -7*d, 5*l - 2*d = 188. Does 4 divide l?
True
Suppose -s = -8 + 4. Suppose -s*w + 8 + 20 = 0. Is (324/(-42))/((-1)/w) a multiple of 9?
True
Let q = -697 - -715. Let z be 9*(10/3 + -1). Let b = z + q. Is b a multiple of 13?
True
Suppose 1 = k - 2. Suppose 21 = -4*g - k*g. Let q(b) = -2*b**3 + 2*b**2 + 2*b. Does 11 divide q(g)?
True
Is ((-36)/(-30) - -6)/(1/30) a multiple of 8?
True
Suppose -n + 650 = 4*n - 5*l, 0 = -n + 5*l + 118. Is n a multiple of 13?
False
Let m = 138 + 163. Let c be (-2)/(-3) + m/21. Let a = c - 6. Does 7 divide a?
False
Suppose -5 - 1 = p. Is p*(-27)/4*2 a multiple of 14?
False
Is ((-128)/12)/(6/(-144)) a multiple of 32?
True
Let q be 80/30*(-6)/(-2). Let b(x) = x - 1. Let m be b(7). Suppose p - q = m. Is p a multiple of 14?
True
Let b be 5/(-100)*-5 + 183/4. Let d = b - -218. Is d a multiple of 12?
True
Let z = 2 - -1. Suppose 4*j = 16, 0 = 2*b - j - 5 + z. Suppose -b*h + 157 = 5*u, 0*h + 2*h = -5*u + 113. Is h a multiple of 14?
False
Let j(z) = -34*z - 6. Is 20 a factor of j(-11)?
False
Let p(g) = -g**3 - 20*g**2 + 16*g + 12. Let i be p(-22). Is (-2)/(-3) + i/12 a multiple of 21?
False
Let g = -33 + 7. Let f = -22 - g. Suppose 7*b - 110 = 2*b + c, 3*b = f*c + 83. Does 9 divide b?
False
Let a = -468 + 763. Suppose k - 47 = -2*q + 23, -a = -4*k - 5*q. Does 16 divide k?
True
Suppose -3*b = -12, -4*b - 635 = 7*j - 8*j. Is 7 a factor of j?
True
Let t be (-1 + -1)/((-4)/10). Let f be (-1)/((21/70)/(6/(-5))). Suppose -14 = -t*u + f*u. Is u a multiple of 7?
True
Suppose 5*h + a = -1409 + 6867, -3*a - 3282 = -3*h. Is 52 a factor of h?
True
Let w = 393 - -113. Is 22 a factor of w?
True
Suppose -h - 3*f + 1350 = 0, -1346 = -h - 0*f - f. Does 34 divide h?
False
Let y = -5 - -6. Let v = 13 - y. Is 7 a factor of v?
False
Does 38 divide 8/12 + (1048/3 - -2)?
False
Suppose -3*i - 1 = -10, -5*i + 18 = p. Suppose -3*r - 2*s = 3*s - 24, 2*r = 3*s - p. Suppose 2*q = 4*b + 32, 98 = 4*q - r*b + 39. Does 9 divide q?
False
Suppose 0 = 5*k - 374 - 106. Does 12 divide k?
True
Let b(u) = -90*u + 42. Let o be b(-5). Let p = 830 - o. Is 30 a factor of p?
False
Suppose -4*y = 2*k - 1220, 5*k - 1662 - 1367 = -3*y. Is k a multiple of 6?
False
Let c = -607 - -1043. Suppose 2*o + c = 4*m, 3*m + 20 - 348 = o. Does 14 divide m?
False
Let m = 140 - 9. Let i = m + -63. Suppose -3*q = 2*o - i, 3*q - 2*o - 61 = 3*o. Is 21 a factor of q?
False
Let i(t) = t**2 + 3*t + 4. Let f = -14 - -11. Let z be i(f). Suppose -6*b + z = -32. Is b a multiple of 2?
True
Does 18 divide (3 + -4)*5*594/(-15)?
True
Suppose 6*w = -534 - 438. Does 6 divide (5/3)/((-9)/w)?
True
Let o = 178 + 36. Is o a multiple of 28?
False
Let n(l) = 193*l - 107. Is 143 a factor of n(5)?
True
Is 163098/198 + (-6)/(-22) a multiple of 54?
False
Let s be (-8)/3*45/(-20). Suppose 3*i - 80 = 4*f + 264, 116 = i - 2*f. Suppose -2*c - i = -s*c. Is c a multiple of 14?
True
Suppose 6 = 4*g + 3*y, -g - g + 14 = -4*y. Suppose 5*l = 4*z - 187, 0*z + l - 126 = -g*z. Suppose 2*r - z = 57. Is 10 a factor of r?
True
Suppose -10*v + 13 = -37. Suppose -v*i = -0*i - 770. Is 22 a factor of i?
True
Let g(a) = -195*a + 184. Is 30 a factor of g(-4)?
False
Suppose h = 1413 - 26. Does 36 divide h?
False
Let q(d) = d**3 - 3*d**2 + 1. Let i be q(3). Suppose g - 11 = -i. Does 10 divide g?
True
Suppose 0 = -2*o + 59 - 21. Is 5 a factor of o?
False
Suppose 7483 = 5*m - 5612. Is m a multiple of 92?
False
Let b(n) = -2 - 15*n + 11*n - 36*n. Does 8 divide b(-1)?
False
Let o = 18 + -16. Let t be (-45)/(-6) - (-1)/o. Suppose -23 = -9*r + t*r. Is r a multiple of 8?
False
Let c(n) = n**2 + 9*n - 9. Suppose 3*b + i = 5*b - 17, 5*i + 25 = 0. Does 6 divide c(b)?
False
Let j(o) = -3*o**3 - o**2 - o. Let v be j(-1). Suppose -h - 2*l = -2, -5*h + v*h = 3*l - 6. Suppose h*g + 2*i - 22 = g, 0 = 5*g - 3*i - 17. Is g even?
True
Let d(i) = 4*i**3 + 9*i**2 - 33*i + 28. Is 12 a factor of d(5)?
True
Let n(p) = -20*p**3 - p**2 - 9*p - 9. Does 17 divide n(-3)?
False
Is (-2 - -2) + (-3 - -901) + -5 a multiple of 21?
False
Let c(m) = -m**2 + 4*m + 7. Let x be c(-8). Let z = -44 - x. Is 2 a factor of 252/z + (-3)/5?
False
Is 5 - (-7)/(77/4873) a multiple of 28?
True
Suppose -z + 6 + 6 = 0. Suppose -5*y = z - 52. Is 20 a factor of 322/4 - 4/y?
True
Suppose 35*d + 4*b = 40*d - 229, -d + 5*b = -29. Is 3 a factor of d?
False
Let r = -869 + 1341. Does 29 divide r?
False
Suppose -7*k = -22260 - 10080. Is k a multiple of 30?
True
Let l(v) = -13