rue
Suppose 15 + 0 = 3*m. Suppose q - 14 + 0 = 2*i, -40 = -m*q + 4*i. Is 9 a factor of (4/6)/(q/54)?
True
Suppose -4*o + 0*o + 2*q = -4, o = -2*q - 4. Suppose -4*z + 153 + 7 = o. Is (28/8)/(1/z) a multiple of 35?
True
Let z = 4291 + -1221. Does 66 divide z?
False
Let c(r) = -7*r - 5*r + 8 - 6*r - r**2. Let f be c(-12). Suppose 5*l = -5*w + 170, -4*w + 2*w - 5*l + f = 0. Does 11 divide w?
False
Suppose -k + 79 - 9 = 5*c, -5*k - 40 = -c. Suppose u + 56 = -3*n + 149, c = 5*u. Does 10 divide n?
True
Suppose 0 = -80*v + 73*v + 10115. Is v a multiple of 85?
True
Let d = 14139 + -8243. Is 67 a factor of d?
True
Let h(t) = -2*t**2 + 4*t - 2. Let r be h(-4). Let d = -34 - r. Is d a multiple of 16?
True
Suppose 0 = 21*d + 16*d - 22496. Does 76 divide d?
True
Let t = -686 + 2618. Does 12 divide t?
True
Suppose -2*s + 1775 = 3*s. Suppose -2*a = -7*a + s. Suppose -5*g + a = -64. Is 22 a factor of g?
False
Let t(n) = 68*n**2 - 2. Is 33 a factor of t(-1)?
True
Let f(b) be the third derivative of b**5/20 + b**4/6 - b**3/2 - b**2. Let s be -4*4/(-2) + 0 + -2. Does 20 divide f(s)?
False
Suppose 35 = -3*f + 4*m - 48, 3*f + 71 = -2*m. Is ((-45)/(-10) - 4) + f/(-2) a multiple of 13?
True
Let y = 7 - -4. Let m be 94/517 + (-766)/(-22). Let n = y + m. Is n a multiple of 23?
True
Let n(j) = -j**3 - 11*j**2 + 25*j + 169. Is 26 a factor of n(-13)?
True
Suppose 1089 = 9*d + 2*d. Let w = 109 - d. Does 7 divide w?
False
Suppose 5*s = -54 - 161. Let r = s - -88. Is 6 a factor of r?
False
Suppose 5*n - 905 = -4*t, -5*t + 3*t = -n - 449. Is t a multiple of 5?
True
Does 62 divide 84325/40 - ((-42)/48 + 1)?
True
Suppose -43*w = -63*w + 51840. Does 24 divide w?
True
Let z = 106 - -84. Let v = z + -116. Is 29 a factor of v?
False
Suppose 0 = 3*f - 3*j - 1863, -2*f + 574 = 5*j - 647. Is f a multiple of 33?
False
Let n be 4/(-3) + (-10)/(-3). Suppose -3*z + n*z + 14 = 0. Is z even?
True
Let q be 2 + -3 + -1 - -269. Suppose -2*z + 332 = 4*v, 0*z + 3*z + q = 3*v. Is 11 a factor of v?
False
Suppose 2*w + f - 9 = 0, 3*w - 3*f - 15 = -6*f. Suppose -4*c + w*y - 8 = 0, 4*c - y = -22 + 8. Let o(g) = -9*g - 10. Is o(c) a multiple of 13?
True
Let d be -18*(-4)/4 + 1. Let z = -69 + 99. Let b = z - d. Is 10 a factor of b?
False
Let n(f) = 42*f - 24. Let i be n(9). Suppose -3*u + i = -u. Is u a multiple of 33?
False
Suppose -3*a + 10 = -t, 4*a = -a - 4*t + 11. Suppose -3*o - 57 = 3*u, -5*u = -a*o + o + 60. Let n = u - -20. Does 6 divide n?
True
Let x = 907 - 574. Suppose 9*q - x = -63. Does 3 divide q?
True
Let i be (-2476)/(-36) + 4/18. Let j = -15 + i. Is j a multiple of 18?
True
Let b(m) = 7*m**2 - 22*m - 15. Let x be b(-10). Suppose -4*k + x = k. Does 31 divide k?
False
Let c(d) = -d - 2. Let a be c(-3). Suppose -s - 2 + 1 = 3*w, 52 = 3*s - 2*w. Suppose -k + s + a = 0. Is k a multiple of 11?
False
Let z(t) = t**3 + 18*t**2 + t + 14. Is 21 a factor of z(-17)?
False
Suppose 0 = 5*q - 1142 + 262. Is 16 a factor of q?
True
Let a be (-5 - 76)*(-17)/3. Suppose 6*v - 15*v + a = 0. Is v a multiple of 17?
True
Is (2/4)/(5 - (-7979)/(-1596)) a multiple of 19?
True
Let v be (1 - 5)*38/76. Let t(i) = -i. Let a be t(-2). Does 6 divide a*2*(-11)/v?
False
Let n(m) = m**3 + 7*m**2 + 9*m + 3. Let x be n(-6). Let s = x - -31. Does 4 divide s?
True
Suppose -2*v - 2*d = -8, -3*d + 8*d - 14 = -4*v. Is (-434)/21*v/(-4) a multiple of 5?
False
Let s = 450 - 92. Does 44 divide s?
False
Let q(h) = 0*h**2 - 3*h**2 + 3 + 8*h + h**3 - 6*h**2. Let o be q(8). Does 14 divide 126/o*(-3)/(-9)?
True
Let q(g) = 2*g - 2. Let x be q(4). Let a(k) = -2*k**2 + 2*k + 5. Let c be a(x). Let p = c - -104. Does 10 divide p?
False
Let x(w) = 56*w**2 + 4*w - 4. Is x(3) a multiple of 32?
True
Suppose 5*m - 1104 - 266 = 0. Suppose 12*g + m = 14*g. Does 21 divide g?
False
Suppose -4*y + 9 = 3*c - y, -5*c = -3*y - 15. Let t be (-1*27 - c)*1. Does 11 divide 10/t + 34/3?
True
Suppose 3*a - 342 = -3*f, 3*f + 2*a - 342 = -2*a. Suppose 5*k - 115 = -4*i + f, 3*i + k - 169 = 0. Does 12 divide i?
False
Let m = -25 + 36. Suppose -4*h - 3*n + m = 0, -h - 4*n - 7 = -0*n. Suppose -h*p + 2*l = -68, p - 4 = -2*l - 0. Is 6 a factor of p?
True
Let h(g) = g**3 - 6*g**2 + 6*g + 2. Let b(n) = 2*n**3 - 11*n**2 + 11*n + 5. Let p(i) = 2*b(i) - 5*h(i). Is 9 a factor of p(6)?
False
Let q = -27 + 28. Let b = q - -7. Is 4 a factor of b?
True
Suppose 362 = 3*j - 0*j - 2*b, -4*j + 482 = -2*b. Let x = -163 - -166. Suppose -j = -5*n + 5*v, -x*v = -4*n - 8*v + 123. Does 9 divide n?
True
Suppose -4 = -8*u + 68. Suppose c - 203 = -u. Is 35 a factor of c?
False
Suppose -92 = -4*d + 1732. Does 57 divide d?
True
Let s = -9 - -9. Suppose s = -g + 5*g. Is g/1 + (2 - -8) a multiple of 10?
True
Let t(l) = -l**2 + l + 14*l**2 - 10 + 0*l. Does 19 divide t(-3)?
False
Suppose 5*k = 3*u - 63, -2*u + 27 = k - 28. Let g = 315 - 211. Let l = g - u. Is 24 a factor of l?
False
Let o be -4*74/(-8)*1. Let g = o - 11. Does 5 divide g?
False
Let o be 3/2 + 10/4. Suppose o*p - 171 = p. Does 19 divide p?
True
Let z(g) = -47*g - 3. Let f be z(-2). Suppose 0*v + 5*v - 144 = r, f = 3*v + 4*r. Does 3 divide v?
False
Suppose 0 = 5*b - 15, -5*b + 1 = -a - 7. Let w(v) = -v**3 + 10*v**2 - 4*v + 5. Does 31 divide w(a)?
True
Suppose 4*s - 2*j + 5*j - 943 = 0, j - 1165 = -5*s. Suppose 76 = 2*x - 0*o + 5*o, 2*o - s = -5*x. Is x a multiple of 12?
True
Let o = 4 + -6. Does 12 divide ((-143)/(-22))/(o/8*-2)?
False
Suppose 1716 = 5*u - u - 5*n, 2*u + 2*n = 876. Suppose 2*y - 11 - 5 = 0. Suppose l = y*l - u. Is l a multiple of 31?
True
Let m(k) = k**3 + 15*k**2 + k - 19. Is 6 a factor of m(-13)?
True
Let w = -2552 + 3844. Is w a multiple of 76?
True
Is 25 a factor of (11154/110)/(12/(-15) + 1)?
False
Suppose 3*g - 140 = -2*c, 4*c = c - 5*g + 212. Let x = -100 + c. Does 5 divide x/(2 - 14/4)?
False
Suppose -s + 463 = -2*p, 2*p = 3*s - 0*s - 1377. Does 13 divide s?
False
Let r(n) = n**3 + 3*n**2 - 4. Let s(u) = -3*u**2 + 1. Let c be s(1). Let m be r(c). Suppose -2*o + 15 + 39 = m. Is o a multiple of 18?
False
Suppose 2*h + 109 = y, 10 + 210 = 2*y - 5*h. Does 34 divide y?
False
Let j be 1/4*(4 + 4). Does 20 divide (-1 + (-13)/j)*-16?
True
Let x be 2/6*84/7. Suppose -x*z - 3*h + 12 = -z, 5*z - 14 = -2*h. Is 4 a factor of -2*(z + (-63)/6)?
False
Suppose -2*n + 16 = 4*g, -6*n + n - 2*g + 24 = 0. Let d be -2 - (1 - 8)*24/14. Let x = d + n. Is 14 a factor of x?
True
Suppose -y - t = 2*y - 5403, -4*y - 5*t + 7215 = 0. Does 24 divide y?
True
Suppose 3*b - 1083 = 4*s + 3613, 5*b - 7796 = -s. Does 40 divide b?
True
Let c be (-24)/40 - (-26)/10. Let x be (c/(-2))/((-1)/(-2)). Does 15 divide 4811/85 + x/(-5)?
False
Let k = 4 + -4. Suppose -j - 2*j - 6 = k. Is 3 a factor of 0/(-13) - 18/j?
True
Suppose -5*t - 6*w = -5*w - 724, 4*t = w + 572. Does 5 divide t?
False
Let o = -112 - -332. Is 44 a factor of o?
True
Let m(a) = -a**3 + a**2 - 3*a - 4. Let x be m(3). Is 17 a factor of (x/(-4))/(8/64)?
False
Is 13 a factor of (26/(-1))/(6/(-126))?
True
Suppose 0 = 5*c + 6*b - 2*b - 172, -3*c = -2*b - 112. Let f = -19 + c. Suppose 4*x - f = -5*q + 40, 0 = -4*x - 4*q + 52. Is x a multiple of 4?
True
Let t(c) = 0*c + 14 + 3*c**2 - c**3 - 12*c + 10*c**2. Suppose 0*k - 5*m - 22 = -k, -k + 3*m + 18 = 0. Is 14 a factor of t(k)?
True
Let x = 4 - -1049. Is x a multiple of 85?
False
Let k be ((-1)/(-2))/(8/16). Let z = 95 + k. Is z a multiple of 16?
True
Let t be 40/50 + (-82)/(-10). Suppose t*v - 12*v + 42 = 0. Does 7 divide v?
True
Let n be (648/16)/(1/4). Let f = n - 81. Suppose -2*c = 3*w - 3 - 129, -c - f = -2*w. Does 21 divide w?
True
Let h(v) = -16*v**3 + 4*v - 4. Let j(s) = 49*s**3 - 13*s + 13. Let l(o) = -14*h(o) - 4*j(o). Is 21 a factor of l(2)?
False
Let o = -81 + 85. Suppose v + 2*y = 21, o*v - 32 = 2*y + 3*y. Is v a multiple of 13?
True
Let b(v) = 6*v**2 + 5 - 4 + 0 + v. Let t = 55 - 56. Is 6 a factor of b(t)?
True
Let q(k) = -6*k**2 + 3*k + 3. Let v be q(-2). Let m(j) = -2*j + 51. Does 35 divide m(v)?
True
Let k(g) = -g**2 + 11*g - 8. Let w be k(10). Let c(p) = 6 + 2*p - p**2 + 0*p**w - 3*p. Is c(0) a multiple of 3?
True
Suppose 3*l + 2*i = -119, -5*l - 165 = i - 6*i. Let o = l + 82. Is o a multiple of 15?
True
Is (78 - 2)*(-1036)/(-56) a multiple of 37?
True
Let m = 1660 + -1582. Is 6 a factor of m?
True
Let h(o) = -17*o - 6.