oes 14 divide (r/n)/((-4)/(-98))?
True
Let q = 295 + 199. Does 13 divide q?
True
Let l = -680 + 967. Does 41 divide l?
True
Suppose -13 = 2*p - b, b + 5 = -0. Let y(k) = 5*k**2 + 19*k - 31. Is 15 a factor of y(p)?
False
Let r be ((-2)/4)/((-13)/156). Suppose 37 + 23 = r*p. Is 20 a factor of (108/p)/(14/105)?
False
Let p be 27/(-33) - 6/33. Let f be (-3)/((p - -4)/(-3)). Suppose 0 = -5*q + 5*v + 168 + 132, v = -f*q + 196. Is 16 a factor of q?
True
Let n be 1/(-1) + (3 - -24). Suppose 5*f - 14 = -3*x, 0*x = 2*x - 5*f - n. Let q = x + 51. Is q a multiple of 14?
False
Let d be -837*(-2)/10 - (-21)/35. Suppose -3*a + 0*c = -3*c - 9, 0 = -5*a + 4*c + 14. Suppose -a*j = j - d. Is 15 a factor of j?
False
Let r be (38/(-95))/(2/(-20)). Suppose -r*g = -456 - 168. Is g a multiple of 26?
True
Let j = 29 - 7. Let b = -17 + j. Suppose -b*i - 4 = -99. Is i a multiple of 6?
False
Let z = -1 + -5. Let t be (-3 - -2)/(z/174). Let w = t + -6. Is w a multiple of 23?
True
Let r(s) = 196*s + 7. Let u(x) = 1. Let d(j) = -r(j) + 4*u(j). Is 32 a factor of d(-1)?
False
Let g be 17 + 3*20/(-15). Let l be (-3)/(-2 + 5/4). Suppose x + l = g. Is x a multiple of 2?
False
Suppose 98 = -5*u + 4*a, -5*u + a - 57 - 35 = 0. Is (u/(-15) - 0)/((-1)/(-30)) a multiple of 18?
True
Let u be -2*(-2)/((-8)/6). Let o be 6 - (-9)/u - -2. Suppose -75 = -0*k - o*k. Does 5 divide k?
True
Let k = -3133 - -5093. Does 28 divide k?
True
Suppose 3*j - j - 2 = 0. Let k = 5 - j. Suppose 5*b = w + 63, -k*w - 24 = -3*b + 24. Is b a multiple of 4?
True
Suppose -2*x + 3*y + 274 = 0, 4*y = -15*x + 18*x - 410. Is 13 a factor of x?
False
Suppose -4*q + 5*z = -674, 0 = -3*q + 7*q + 3*z - 690. Is q a multiple of 19?
True
Suppose 2*k + 18 = 3*d + d, 2*k + 14 = 2*d. Let o be ((-56)/(-16))/(d/4). Suppose o*j = 9*j - 76. Is 15 a factor of j?
False
Let d = 42 - 37. Suppose -3 = -g, -a - a + 25 = -d*g. Does 20 divide a?
True
Let b(n) = -17*n**2 - 128*n - 3. Is 14 a factor of b(-7)?
False
Suppose -2*a = -q + 284, -2*q + 0*q + 567 = -5*a. Does 7 divide q/13 + (2 - -3)?
False
Let b be ((-30)/12)/(3/48). Is 32 a factor of ((-936)/65)/(6/b)?
True
Is 5*745 + (-275)/(-25) a multiple of 18?
False
Suppose 8*z = z + 1617. Is 21 a factor of z?
True
Let u(q) be the third derivative of q**6/10 - q**4/24 - 2*q**2. Let o be u(-2). Is 0 - o*(-3)/(-6) a multiple of 27?
False
Let o = 77 + -132. Is 563/5 - (-33)/o a multiple of 28?
True
Let y(i) = -i**3 + 35*i**2 + 87*i + 100. Is y(37) a multiple of 7?
True
Let h(s) be the first derivative of 4 + 11/3*s**3 - 2*s**2 - 7*s + 1/4*s**4. Is 8 a factor of h(-11)?
False
Let l be 4/(-6) - (-336)/(-36). Let h be ((-24)/l)/((-18)/(-60)). Suppose 4*b + r - 81 = 0, 4*r + h = -4. Is 8 a factor of b?
False
Let r = 11 - 8. Let k(o) = 5*o - 5. Let v be k(r). Suppose 2*h = v + 34. Is 11 a factor of h?
True
Let o(h) = -h**3 + 10*h**2 + 11*h + 20. Let x be o(11). Let v = -16 + x. Does 4 divide v?
True
Let d be (0 + 0)/(-1*1). Suppose 9*u - 5*u = d. Suppose -x - 5*z = x - 70, u = -5*z + 10. Is x a multiple of 5?
True
Let w = -72 - -108. Does 4 divide w?
True
Let q(y) = -y**3 - 17*y**2 - 4*y + 25. Does 31 divide q(-17)?
True
Let q = 111 + -68. Suppose 2*s = -13 + q. Suppose -y + 50 = 2*i + 21, s = 3*y. Is i a multiple of 12?
True
Let p be 20/12 + (-1)/(-3). Suppose j + l = -2*l + 202, p*j + 5*l = 405. Is j a multiple of 43?
False
Suppose 3*s + 44 = 4*s. Suppose -4*r + s = 12. Is (-135)/(-4) + 2/r a multiple of 17?
True
Is 16 a factor of (((-1)/(-2))/1)/((-15)/(-4320))?
True
Let q(h) = -32*h + 23. Is 49 a factor of q(-10)?
True
Let n(p) = 74*p - 16. Does 12 divide n(2)?
True
Suppose 3*g + 15*g = 1872. Is g a multiple of 4?
True
Suppose 0 = 7*z - 3*z - 3*i - 2323, 0 = 3*z + 4*i - 1711. Is 19 a factor of z?
False
Let b(u) = -u**3 - 12*u**2 - 11*u - 2. Let f be b(-11). Let x be -3 - (f - -6 - 14). Suppose 2*c - x = 9. Is 3 a factor of c?
False
Let l = -507 + 851. Is 6 a factor of l?
False
Let l be (1 + 0)*0 + (-576)/(-8). Suppose 0 = -8*x + 10*x - l. Does 18 divide x?
True
Let a = -28 + 50. Suppose 58 = 6*n + a. Does 3 divide n?
True
Let d(q) = 31*q + 3. Let w(r) = 93*r + 10. Let f(b) = 11*d(b) - 4*w(b). Is 11 a factor of f(-2)?
True
Suppose -31*j + 47*j = 2128. Is 20 a factor of j?
False
Let y = 4 - -2. Is y*2/8*20/15 a multiple of 2?
True
Is 21 a factor of ((-594)/77 + 0)/(2/(-84))?
False
Let t be 14/18 + 6/27. Let i(l) = l**2 + 1. Let p(w) = w**3 - 4*w**2 - 2*w - 3. Let z(b) = t*p(b) + 4*i(b). Is z(2) a multiple of 5?
True
Let i(x) = 42*x + 113. Does 55 divide i(5)?
False
Suppose -4*r - f = 3*f - 40, -5*f - 25 = 0. Let j be -9*((-2)/3 + 1). Does 9 divide 415/r - (-2)/j?
True
Suppose -30 = 4*l - 9*l. Let i be (-155)/(-30) - 1/l. Suppose 84 = 9*a - 4*a + 4*b, i*a = 3*b + 77. Is a a multiple of 8?
True
Suppose 10*l - 9*l = 0. Is (4 + -2)/(4/46 - l) a multiple of 5?
False
Suppose 5*n = 3*n + 758. Suppose -4*x - h + 655 = 0, -3*x + n + 131 = -3*h. Does 47 divide x?
False
Let f = 1183 + -863. Is 32 a factor of f?
True
Suppose 0 = h - 2*n - 63, 5*h + 3*n = 7*n + 315. Let j = h + -43. Is j a multiple of 4?
True
Let v = -23 + 32. Is 18 a factor of (3*12/v)/((-6)/(-81))?
True
Suppose h - 4 = 2*g - 4*g, -5*h - 7 = g. Suppose 336 = 4*z - u + g*u, 0 = -u. Does 19 divide z?
False
Suppose -3*p = -14 - 1. Suppose -27 = -4*u - 0*z + p*z, 0 = -u - z. Let w(h) = 2*h**3 + h**2 - 2*h + 4. Does 17 divide w(u)?
False
Let t(p) = -110*p**2 + 5 + 112*p**2 + 7*p + 1. Suppose l + 10 = -l. Is 7 a factor of t(l)?
True
Let s = 47 + -57. Let g = 85 + s. Is g a multiple of 10?
False
Suppose 5*x + 31 + 1 = k, -4*k = 3*x - 36. Let j be -1*k/8*-2. Suppose -2*g = 3*d - 176, -j*d + 227 = 5*g + 57. Does 15 divide d?
True
Let r(w) = w**2 - 10*w + 6. Let o be r(10). Suppose -o*n + 3*n = 6. Is (25/n - -3)*-2 a multiple of 13?
False
Let g = 1243 + -1055. Is 56 a factor of g?
False
Let x(q) = -25*q - 11. Let j be 2/10 - (-260)/(-50). Is x(j) a multiple of 18?
False
Is (6 + -4)*(-721 - 3)/(-2) a multiple of 35?
False
Let x(d) = 19*d. Let k be x(-3). Let w = k - -88. Is 10 a factor of w?
False
Let v(c) = c**2 - 14*c - 15. Let a be 1/(1 - (-3)/(-6)). Let y(t) = -5*t**2 + 57*t + 60. Let w(u) = a*y(u) + 9*v(u). Is 16 a factor of w(-6)?
False
Let c(p) = -3*p**3 - 6*p**2 - 2*p - 4. Let r be c(-4). Let w = r - 75. Is 10 a factor of w?
False
Does 36 divide 100/(-15) - -7 - (-2309)/3?
False
Suppose 67*y + 2265 = 72*y - 5*b, 0 = y + 5*b - 483. Is 22 a factor of y?
False
Let l(y) = -3*y + y + 3*y - 12. Let n be l(14). Suppose -5*q = 4*p - 184, -n*q - 122 = -2*p + 3*q. Is p a multiple of 7?
False
Suppose 0 = -5*w - 21 - 4, -3*u + 245 = -4*w. Does 25 divide u?
True
Suppose 0 = -2*d - 2*d + 280. Let c = d - 45. Is 6 a factor of c?
False
Let p be -5 - -8 - (1 - 0). Suppose 22 = 3*b + 4*v, -p*b - 4*v + 15 = -v. Suppose 8*h - 14 = b*h. Is 2 a factor of h?
False
Suppose b = 5*b - 3*b. Is 33 a factor of (-3 - (b - 228)) + 4?
False
Suppose 3*d - 649 = 800. Is d a multiple of 10?
False
Suppose -126 = -i + 5*x, 5*i = x - 170 + 776. Does 15 divide i?
False
Let g(y) be the third derivative of -1/60*y**5 + 1/3*y**3 - 5/24*y**4 + 0*y - 6*y**2 + 0. Is g(-4) a multiple of 6?
True
Let n(h) = -h**2 - 15*h - 49. Let c be n(-9). Suppose 65 = 2*w + c*i, 0 = -3*w - 0*i - i + 91. Is 10 a factor of w?
True
Suppose 1960 = 5*d - 28*l + 30*l, -4*d + 1535 = -5*l. Does 4 divide d?
False
Let j(d) = d**3 + 3*d**2 - 2*d + 12. Let o be j(-4). Suppose o*s - 1483 = -5*v - 0*s, -2*s = 2*v - 592. Is v a multiple of 53?
False
Suppose 297 = -4*w - 87. Let p = -42 - w. Is p a multiple of 27?
True
Suppose -4*v + 2*w + 3*w = 134, 68 = -2*v + 2*w. Suppose -4*s + 5*d = 53, -2*s - 46 = 3*d + d. Let c = s - v. Does 5 divide c?
False
Suppose -5*w - 363 = -p, -989 = -0*p - 3*p - 5*w. Is 26 a factor of p?
True
Suppose 6 = 4*f - 18. Let o be (-64)/f + (-1)/3. Let y = 19 + o. Is y a multiple of 4?
True
Let b(q) = 46 + 11*q + 71 - 10*q. Does 9 divide b(0)?
True
Let h(z) = 175*z**3 - 4*z**2 + 5*z - 1. Let y be h(1). Let w = 441 - y. Is w a multiple of 19?
True
Suppose 0 = -4*s + 23 - 11. Does 10 divide (88 - -5)/(s*1)?
False
Let q(a) = a**3 + 21*a**2 - 20*a + 43. Let i be q(-22). Let m(y) = -26*y**3 - y**2 - 3*y - 2. Is 13 a factor of m(i)?
True
Let l(t) = 550*t**2 - 48*t + 146. Does 29 divide l(3)?
False
