rue
Let q(c) = 47*c**2 - 66*c - 382. Is q(-7) a multiple of 27?
False
Let w(l) = 2*l**3 + 74*l**2 - 75*l - 115. Is 13 a factor of w(-35)?
True
Let n be 4/10*45*(-4 + 5). Is n/24 - (-1033)/4 a multiple of 37?
True
Suppose 22 = -5*s + 62. Let g(f) = 11 + s*f - f**2 - f - 17. Does 2 divide g(4)?
True
Let m = 926 - -74. Suppose -2*t + 8 + 0 = 0. Suppose -t*g = 12 - m. Is g a multiple of 13?
True
Suppose -2*c + 4*i + 464 = 0, c - 4*i = i + 229. Suppose -y + 3 + 84 = 5*f, 2*y = 2*f + c. Suppose 0 = 3*n + n - y. Does 4 divide n?
True
Is 54/63*-1 - 52956/(-42) a multiple of 9?
True
Suppose -7*u + 16 = -12. Suppose -1002 = -5*f - 3*g, u*f + g = 2*g + 788. Is 33 a factor of f?
True
Let b(o) be the third derivative of -o**6/120 - o**4/8 + 45*o**3/2 - 70*o**2. Does 5 divide b(0)?
True
Let s = 15 + 8. Suppose 0 = 11*v + 307 + s. Does 29 divide ((-322)/(-5))/((-12)/v)?
False
Suppose 0 = -3*o + 2*b - 13 + 3, 25 = -3*o + 5*b. Suppose 5*g + 3*f - 3069 = o, -10*f + 6*f - 8 = 0. Does 13 divide g?
False
Let q(p) = 2*p**2 + 9*p - 2. Let b(o) = -o**2 - 9*o - 25. Let j be b(-5). Let y be q(j). Suppose y*c = -i + 132, c - 724 + 240 = -4*i. Does 18 divide i?
False
Let j(v) = 12*v**3 + 6. Let f be j(-2). Does 60 divide f*(0 + 100/(-6))?
True
Suppose 14*g = 36725 + 30125. Is g a multiple of 53?
False
Let r = 62 + -234. Let v = r - -335. Is 3 a factor of (-14)/(-10) + -1 + v/5?
True
Is ((0 - (-1 + 40)) + 1)/(1/(-233)) a multiple of 19?
True
Suppose 2*p - p + 1095 = -r, p = 2. Let b = -752 - r. Does 23 divide b?
True
Suppose 0 = 5*g - 45, 3*g - 25595 = -3*t + 41422. Is t a multiple of 29?
True
Suppose 2038 = -8*c + 10062. Suppose -3*b - 1232 = -4*m, 2*b - c = -4*m + 229. Is m a multiple of 7?
True
Suppose 0 = -2*z + 6*z - 56. Suppose 2*c - 4*g + 26 = -10, c + z = g. Let v = 22 + c. Does 5 divide v?
False
Is 1/(-11) - (4264470/154)/(-15) a multiple of 101?
False
Let m = 10 + -8. Suppose 4*a = 6*a - m*x - 14, -a + 3*x = -17. Is 16 a factor of (240/a)/((-6)/(-4))?
True
Let g(a) = a + 26. Let i be g(-27). Is 3/(161/77 - (i + 3)) a multiple of 7?
False
Suppose 10*j = -28*j - 12*j + 215150. Is j a multiple of 7?
False
Suppose -4 = 7*b - 11*b. Suppose 0 = -4*w + 5*l - 28, 2*w + 2*l = -b - 13. Let i(j) = 6*j**2 + 3*j - 18. Is i(w) a multiple of 51?
True
Let q = -252 + 740. Is q a multiple of 143?
False
Let p(x) be the second derivative of 7*x**3/6 - 39*x**2/2 - 25*x. Let b be p(6). Suppose -b*m + h = -3*h - 94, -174 = -5*m - 2*h. Is m a multiple of 16?
False
Suppose 0 = -2*w + 2*w - 4*w, -o - 3*w + 1914 = 0. Is o a multiple of 3?
True
Suppose -x - 5*m + 2241 = 0, 2*m - 12718 = -5*x - 1467. Suppose x = 7*y - 213. Is y a multiple of 4?
True
Suppose -l = 6*m - 7*m - 4224, -4*m - 12669 = -3*l. Is l a multiple of 83?
False
Let q be 2/(-5) - (-27)/5. Suppose -s - s + 38 = q*u, 4*s - 3*u - 102 = 0. Does 6 divide s?
True
Does 52 divide (40809076/(-42))/(-37) - (-6)/(-9)?
True
Let w(y) = -y**2 + 10*y + 21. Let a be w(12). Is 28 a factor of (-278)/a + (-17)/(-51)?
False
Let s(g) = 8*g**2 - 13*g + 8. Let f(r) = 798 - 2*r - 798. Let x be f(3). Does 38 divide s(x)?
False
Let p be (2156/8 + -1)*(-6)/9. Let r = p - -494. Does 72 divide r?
False
Let r be (12/8)/((-9)/(-558)). Let w = r + 550. Is w a multiple of 32?
False
Suppose -1 = c + 9. Let h = -7 - c. Suppose -473 = -h*q + 217. Is 23 a factor of q?
True
Suppose h + 2 = 0, 50 - 1950 = -3*u - 4*h. Suppose -3*s = -5*z - 965, 4*z - u + 22 = -2*s. Is s a multiple of 15?
True
Let d be 98/(-21) + (-4)/3 - (5 - 8). Let x be (-7)/2 - 2/4. Is 12 a factor of ((-180)/(-5))/(d/x)?
True
Let t = 37 - 40. Let r be t - (100/(-16) - (-2)/8). Suppose -2*c + 0*p + 46 = -4*p, 5*c = r*p + 87. Does 13 divide c?
False
Let z be 3 - -2 - -1 - 6. Is 556 + (5 - (-20)/(-5)) - z a multiple of 22?
False
Suppose -9*f + 101 = -133. Let y(z) = -z**2 + 3*z + 17. Let d be y(5). Let k = f + d. Is k a multiple of 11?
True
Suppose t + 14 = -5*x, 2*x + 5*t = x + 2. Let h(f) = -53*f**3 - f**2 - 15*f - 44. Is 59 a factor of h(x)?
False
Let z(k) = -2*k - 19*k**3 + 16*k**3 + 4*k**2 - k**2 + 1 - 6*k**2. Let y be z(-1). Suppose -y*p + 705 = 2*p. Is 10 a factor of p?
False
Suppose -240*h + 2656110 = -27*h. Is 43 a factor of h?
True
Let b = 3626 + -2954. Does 6 divide b?
True
Let a = 59 + -49. Suppose -i + 29 = a. Let n = 24 - i. Is n a multiple of 4?
False
Let o be (-1300)/(-286) - 6/11. Does 35 divide (-20)/(-3)*294/o?
True
Let w = -48 + 46. Let i be -1*(2 - (w - -7)). Suppose i*c + 3*n - n = 278, -5*n + 290 = 3*c. Is 15 a factor of c?
True
Does 7 divide 39*((4 - (-1656)/27) + -4)?
False
Let a(d) = d**2 + 53*d + 501. Let v be a(-41). Let z be (-11230)/(-8) - 2/(-8). Suppose 0*g + v*g = z. Is 39 a factor of g?
True
Let l(k) = -71*k**2 + 3*k - 3. Let j be l(2). Let a(p) = 100*p**2 + p. Let i be a(-2). Let m = i + j. Does 29 divide m?
False
Let w = -408 - -394. Is 154/((-6)/(w + 2)) a multiple of 28?
True
Suppose 0 = -2*o + o - 3*j - 11, -21 = o + 5*j. Let c be (o + 1)/(2 + -1). Suppose -c*v + 168 = v. Is v a multiple of 7?
True
Let m(r) = -30 + r**2 + 21*r + 0*r + 6*r**2 + 0*r**2. Is m(-10) a multiple of 46?
True
Let z = -182 - -179. Is 8 a factor of 171 + z/(-3 - -4)?
True
Suppose -4*f = -8*f - 4. Let j be 12/1*(f - (-6)/4). Suppose 4*m - 100 = j*l - l, -5*m + 4*l + 116 = 0. Is m a multiple of 4?
True
Suppose 0 = -v - 4*l + 213, 3*l = 21*v - 19*v - 415. Is v even?
False
Suppose 2*u + 12 = 8*u. Let n be (u + -1 - 11)*(-5 + 4). Suppose -v + 3*t + 77 = 0, 0 = -4*v + 6*t - n*t + 244. Is 27 a factor of v?
False
Is 29 a factor of (212 - 3)/((-43)/(-301))?
False
Let c(p) = 6*p**2 + 8*p + 7. Suppose 0 = -20*k - 0 + 160. Is c(k) a multiple of 65?
True
Let j = 836 + -111. Is 13 a factor of ((-22)/(-55)*j)/((-1)/(-2))?
False
Let h(t) = -t**2 - 14*t + 48. Let j be 3*((-4)/10)/(6/80). Is 4 a factor of h(j)?
True
Let r = -1044 - -1046. Suppose 3*j + 2*j - 448 = -4*h, 4*h + 4*j = 448. Suppose 0 = 4*i - r*a - 250 - h, -5*i = 5*a - 445. Is i a multiple of 6?
True
Suppose 0 = 28*o - 15*o - 39. Suppose -o*t = -177 + 123. Does 9 divide t?
True
Suppose 0 = o - s - 3022, 35*o + 4*s - 3017 = 34*o. Does 54 divide o?
False
Let p = -98 - -104. Suppose 0 = 3*w - a - 2061, 4*w - 3*a + 1363 = p*w. Does 7 divide w?
True
Let a(x) = 48*x - 152. Let m(g) = -24*g + 76. Let v(q) = 4*a(q) + 9*m(q). Does 3 divide v(3)?
False
Let r(u) = -u + 3. Let b = -141 - -147. Let v be r(b). Let s(m) = -m**3 - 5*m**2 - 6*m + 7. Is 2 a factor of s(v)?
False
Let s(g) = -85*g + 5. Let m(a) = 52*a - 3. Let l(r) = 10*m(r) + 6*s(r). Let v = 9 - 6. Is l(v) a multiple of 6?
True
Let n = -1563 + 2569. Let r = -622 + n. Does 8 divide r?
True
Suppose 0 = 83*k - 82*k + 19. Let l(r) = -5*r - 36. Let i(n) = -6*n - 35. Let a(y) = 4*i(y) - 5*l(y). Is a(k) a multiple of 7?
True
Let i(h) = 5850*h + 177. Is i(1) a multiple of 47?
False
Let c be 27 + 1 - (-5 + 4). Let t be 615/1025 + 1/(5/7). Suppose t*d - c = 7. Does 3 divide d?
True
Suppose -327*p = -338*p + 3069. Is p a multiple of 47?
False
Suppose y - 2*p + 102 + 86 = 0, y = 5*p - 194. Is (y/(-115))/((-2)/(-750)) a multiple of 24?
True
Let u be 2265/21 - 1/(-7). Suppose -3*j + 7*j = u. Let i(d) = d**3 - 27*d**2 + 5*d + 54. Is i(j) a multiple of 21?
True
Let t = 3356 - -2410. Does 93 divide t?
True
Suppose -102*f + 12628 = -5248 + 5942. Is f a multiple of 5?
False
Let x(w) = -2*w**2 + w + 7. Let p be x(-4). Let m = p + 32. Suppose 0 = m*t + l - 156 + 17, 3*l - 12 = 0. Does 15 divide t?
True
Does 7 divide (6 + -1)*(6/6)/5 - -34474?
True
Let n be (-6 - (-136)/22) + 112/(-11). Let w be (n/75*-10)/((-2)/(-42)). Does 10 divide (-1)/2 - (-1918)/w?
False
Let o = -733 - -1895. Is o a multiple of 83?
True
Suppose -13 = -2*j + 45. Let n = 19 - j. Is 42 a factor of ((-21)/2)/(n/160)?
True
Let v = -7 - -10. Suppose -4*k = c - 9 - 0, -2*k - v*c = 3. Suppose 0 = -k*o + 137 + 37. Is o a multiple of 8?
False
Let y = 258 - 175. Let r = y - 71. Suppose 44 = b - r. Does 5 divide b?
False
Let m be (-127)/(-8) + 15/120. Let h be 12/42 + m/14*19. Suppose 0 = -y + h + 21. Is 24 a factor of y?
False
Let l = -9796 - -26512. Does 199 divide l?
True
Let s(q) = -283*q + 5486. Does 39 divide s(-91)?
True
Let a(p) = -3*p - 26. Let s be a(-10). Let m(g) = g**3 - 2*g**2 - g. Let c be m(s). Suppose c*x - 240 = 23*x. Is 11 a fact