oes 7 divide g?
True
Let y(d) = 7*d + 2517. Is y(131) a multiple of 13?
False
Is 36 a factor of 2 + -2 + -121 + 7681?
True
Suppose 3*c = 5*c - 56. Let l be 188/c + (-4)/(-14). Is (3/(-2))/((7/(-2))/l) a multiple of 3?
True
Suppose -6*g + 983 - 47 = 0. Let i = 20 - 16. Suppose -6 + 0 = -2*x, i*s = 4*x + g. Does 6 divide s?
True
Let p = 49 + 101. Let l = 100 - p. Let d = 163 + l. Does 34 divide d?
False
Suppose d = 3*f + 828, 4*d - 443 = -7*f + 2983. Does 41 divide d?
False
Suppose 230 = 2*n + 5*y - 55, -3*y + 9 = 0. Let u(g) = -96*g - n*g + 3 + 95*g - 2. Does 37 divide u(-1)?
False
Suppose -4*r + 0*r + 12 = 0. Suppose 2*f + 35 = r*f. Does 2 divide (-12)/(-7)*3*f/30?
True
Suppose 9 = -2*c + b + 14, 5*b + 7 = c. Suppose 0 = -c*a - 2*l + 408, 0 = -3*l - 10 + 1. Does 23 divide a?
True
Suppose -3*u = z + 10, -4*z + 2*u + 35 = -u. Let d(o) = 23*o - 38. Is 7 a factor of d(z)?
True
Let n(u) = 5*u**2 - 2*u + 2. Let h be n(0). Suppose 4*v + h*d - 114 = 0, 3*v - 2*d - 88 = -6*d. Is 17 a factor of v?
False
Suppose b = -40*m + 38*m + 20140, 3*b = 4*m - 40280. Is 19 a factor of m?
True
Suppose 4*x - 82738 = -o, -x - 4*o + 11296 = -9411. Is 154 a factor of x?
False
Let z = 1 - -2. Let s be (z + (-10)/2)*-2. Suppose -s*r - 5 = -37. Is r a multiple of 4?
True
Let k be (12 + -2)*(-3894)/165. Is (-27)/(-18) - k/8 a multiple of 6?
False
Let l(j) = 11*j + 50. Let d be l(-3). Suppose 0 = -d*p + 15*p + 60. Does 3 divide p?
True
Let n(j) = 306*j**3 + 2*j**2 - 15*j + 7. Is 13 a factor of n(3)?
True
Let c(w) = 1234*w**2 - 9*w - 8. Does 15 divide c(-1)?
False
Let i = -11051 - -12709. Does 201 divide i?
False
Suppose -4*j - j + 4*p = -30, -3*j - 3*p = 9. Suppose -g - g = z - 11, -j*g = -z - 5. Is (z/(-4))/((-2)/136) a multiple of 12?
False
Let f be (2 - (-3 + 4))/((-1)/4). Let l(m) = -111*m + 31. Does 53 divide l(f)?
False
Is 40 a factor of 194520/27 + -4 + 12/(-27)?
True
Let g = 43623 + -40718. Is g a multiple of 83?
True
Suppose 3*l + 4*f = 203, 5*l - f = -0*f + 323. Let m = -44 + l. Suppose 0 = -d - 4*v + 22, 1 = 5*d - 2*v - m. Does 5 divide d?
False
Suppose 13*l - 8*l + 195 = 0. Let p = 2 - l. Let g = p - 9. Is 17 a factor of g?
False
Let h = -20671 - -21616. Does 45 divide h?
True
Suppose s + 2453 = 2*b - 235, 4*s + 2682 = 2*b. Suppose -2*g - 1102 - 246 = -3*y, 3*y - 5*g - b = 0. Does 15 divide y?
True
Let h be (1/3)/((-3)/99). Let o = h + 15. Suppose 0*z - z + o = 0, 2*k + z - 148 = 0. Does 24 divide k?
True
Let u(p) = 2*p**3 + 21*p**2 - p + 18. Let b be u(-10). Let n = 186 - b. Is 4 a factor of n?
False
Let l = 107 - 18. Let i = l + -83. Suppose -2*z = -i*z - 5*w + 130, -2*z + 5*w + 50 = 0. Is 10 a factor of z?
True
Let h(r) = 21*r**3 - r**2 + r + 8. Let n be h(5). Suppose 0 = 3*q - 6*q - 2*f + n, -2*q = -4*f - 1726. Does 79 divide q?
True
Let q = -6 - -9. Let w(h) = -h**3 + 4*h**2 - 2*h. Let x be w(q). Suppose 0 = -5*l + p + 444 + 71, -3*l + 297 = -x*p. Is l a multiple of 41?
False
Let u(v) = v**3 - 17*v**2 + 4*v + 43. Let r be u(17). Let w = 323 + r. Suppose -11*a + w = 3*a. Does 31 divide a?
True
Suppose -13*n + 84 = 1930. Let q = n - -292. Does 10 divide q?
True
Suppose 11*p = -p + 36. Suppose -502 = p*u - 5*w, 3*w + 2*w + 5 = 0. Let i = 265 + u. Is i a multiple of 15?
False
Let c be 3*(-50)/(-15)*(2 + 3). Is 4/c - (-8384)/200 a multiple of 2?
True
Suppose -3*q = 5*j - 351 - 1229, 0 = -4*q - 5*j + 2100. Let n = -277 + q. Does 27 divide n?
True
Let n = -14512 + 21833. Is n a multiple of 123?
False
Suppose 35*k - 238 = k. Is 22 a factor of (k/(-28) - 3858/(-8)) + 6?
False
Let j(o) = o**2 - 9*o - 17. Let u be j(-9). Suppose 4*n = u - 61. Does 24 divide 2/7 + 4026/n?
True
Let r(w) = w**3 + 18*w**2 - 26*w + 73. Is r(-17) a multiple of 5?
False
Let f(y) = 78*y**2 - 165*y - 42. Does 19 divide f(5)?
True
Suppose 8*v = -9*v. Suppose v = 4*q + 4*i - 9*i - 1047, 5*q - 1311 = 4*i. Is 12 a factor of q?
False
Let y(r) = -r**2 + 2*r**2 - 10 + 3*r + r**2 - 2*r**2 + 4*r**2. Does 12 divide y(-7)?
False
Suppose 8*p = 5*p - 6. Let k be p*5/(15/6). Let j = 114 - k. Is j a multiple of 12?
False
Suppose 9*r = 9*r - 3*r + 23853. Is r a multiple of 20?
False
Suppose 74276 = 40*r + 24356. Is 12 a factor of r?
True
Suppose 0 = -a - 5*p + 6127, -6*a - 2*p + 38515 = 1613. Is 32 a factor of a?
False
Let j(v) = -10*v + 50. Let q be j(5). Suppose -6*i + 615 + 105 = q. Does 10 divide i?
True
Suppose 3*o = 12*o - 54. Is 26 a factor of (o/7)/(27/2079)?
False
Let n(m) = 3*m**3 - 28*m**2 + 12*m + 70. Is n(16) a multiple of 26?
True
Suppose -5*t + n = 5016, -n = t + 860 + 148. Is 7 + 705/(-105) - t/14 a multiple of 24?
True
Suppose 84*s = 110*s - 168480. Is s a multiple of 60?
True
Suppose b - q - 7410 = 0, -2*q + 42 = 30. Does 8 divide b?
True
Let l = 3561 + -2761. Is l a multiple of 20?
True
Is (469/21)/(18/1458) a multiple of 67?
True
Suppose -209*q + 213*q + 38396 = 2*u, -5*q - 76804 = -4*u. Does 66 divide u?
True
Is (-8)/6*(-41791)/92*39 a multiple of 13?
True
Suppose -35 = -5*x - 5*l, -30 = -5*x - 7*l + 3*l. Suppose -x*y - 680 - 266 = 0. Let m = -216 - y. Does 22 divide m?
False
Let j(q) = 2*q**2 + 3*q - 15. Let r be (-1)/2 - 42/(-28). Let w(o) = -10*o**2 + 2*o - 1. Let z be w(r). Is j(z) a multiple of 30?
True
Suppose 2*z - 10 = 60. Suppose 2*g + 3*j = z, -25 = -2*g + 6*j - 7*j. Suppose 0*a + 1032 = 4*n + 4*a, -g = 5*a. Is 14 a factor of n?
False
Suppose 2*t - 6 = 0, -t - 1886 = -4*o - 85. Does 15 divide o?
False
Let m(r) be the second derivative of r**4/3 + 31*r**3/6 + 3*r**2 + 108*r - 2. Is m(-13) a multiple of 3?
True
Let x be 1/(((-2)/(-4))/((-2)/(-4))). Let j be -21*(-6)/9 - (-3)/x. Suppose -j - 82 = -y. Is 12 a factor of y?
False
Suppose 4*x = -2*z + 24, 5*z - 8*x + 13*x - 35 = 0. Suppose 0 = 5*h + z + 3, -2*h = -5*n + 57. Is 9 a factor of n?
False
Suppose -257*u + 3555 + 27333 = -248*u. Is 6 a factor of u?
True
Suppose -3*t = -4*p - 19843 + 5344, -5*t = 3*p - 24165. Does 15 divide t?
False
Suppose -3*x = 0, -15*z + 4528 = -11*z + 3*x. Is 11 a factor of z?
False
Suppose 5*w + 179 = -3*x - 0*x, -5*w - 43 = x. Let q = x + 152. Does 14 divide q?
True
Let h(x) = -2665*x - 1034. Is h(-3) a multiple of 11?
False
Let j(h) be the first derivative of h**3 - h**2/2 - 2*h + 1. Let d = -2816 - -2814. Is 12 a factor of j(d)?
True
Let u(y) = -2*y**2 + 24*y + 54. Let d be u(14). Is d + (-4)/((-32)/6)*300 a multiple of 21?
False
Let k = -576 - -318. Let v be (k/8)/(-2*(-3)/(-48)). Suppose 5*s - 2*d = 458, s + v = 4*s + 3*d. Does 23 divide s?
False
Suppose 483 = 8*n - 901. Let q = -1 + n. Suppose -t = 2*p + 4*t - 119, t = -3*p + q. Is 19 a factor of p?
True
Suppose 3*g - g - 20 = 0. Suppose -765 = -g*h + 2735. Does 14 divide h?
True
Suppose 0 = 2*w - 3*k - 13695, 447*w - 20490 = 444*w - 3*k. Is w a multiple of 53?
True
Does 4 divide -7*(-2)/112 + (1739115/(-24))/(-7)?
True
Let m = -27 + 106. Let c = m - -29. Is 12 a factor of c?
True
Suppose 2*w = -4*h + 21222, 99*h + 26528 = 104*h + 3*w. Does 11 divide h?
False
Let q = 45 + -305. Let p = 450 + q. Does 5 divide p?
True
Let l = 14436 - 6353. Does 9 divide l?
False
Let i(p) = 15*p**3 - 4*p**2 + 6*p - 3. Let g be i(1). Is 47 a factor of 176/28 + -6 - (-1844)/g?
False
Suppose 5*w + 4556 = g, -15695 = -4*g + 3*w + 2478. Is 39 a factor of g?
False
Let s(h) be the third derivative of -h**5/60 + 5*h**4/8 - 7*h**3/2 + 16*h**2 + 2*h. Is s(8) a multiple of 2?
False
Let w(b) = -9*b - 42. Let a(c) = -117*c - 546. Let j(t) = 2*a(t) - 27*w(t). Let p be j(-6). Does 61 divide p/(-18)*6*(1 - -74)?
False
Let p be 0/(1/3*-3). Suppose p = -49*a + 31*a + 1368. Does 12 divide a?
False
Suppose 14*d = 12*d - 10. Let k be (d + -22)/(1/(-10)). Suppose 5*x - o = 2*o + k, -2*x = -5*o - 89. Is 10 a factor of x?
False
Suppose 179*w = 39*w + 2408313 - 527693. Does 173 divide w?
False
Let i(g) = -g - 8. Let d be (-99)/9 + 3/(5 + -2). Let m be i(d). Suppose 3*r = a + 497, m*r = -2*r + 2*a + 660. Does 35 divide r?
False
Let w be 91 + (-6)/(-2) + 0/4. Let b = -90 + w. Suppose 7*x - 616 = -b*x. Is 28 a factor of x?
True
Suppose 0 = 3*y - 22*u + 18*u + 1811, 2*y - u + 1214 = 0. Let m = 827 + y. Does 17 divide m?
False
Is 14 a factor of -79444*(-4)/12*6/8?
False
Let p(f) = 138*f - 66. Let j be p(7). Suppose -22*h + 3500 = -j. Is h a multiple of 40?
True
Does 124 divide 16/2 + 247660/35