ultiple of 9?
True
Let g(u) = u**3 + 11*u**2 + u + 11. Let c be g(-11). Suppose c = -4*l - 0*l + 12. Suppose -y - 4*r + 24 = l*y, 3*r = 2*y - 27. Does 9 divide y?
True
Suppose 0 = -5*f + 37 + 63. Suppose f = 8*c - 9*c. Does 10 divide (-40)/(-6)*(-150)/c?
True
Let d = -178 + 239. Does 11 divide d?
False
Let o = 55 - 31. Let i = 89 - o. Is 13 a factor of i?
True
Suppose -2479 + 6439 = 20*o. Is 7 a factor of o?
False
Is (-94)/(-2) + -6 + 2 + 2 a multiple of 16?
False
Suppose -617 = -5*c - 2*q, 19*c - 14*c - 5*q - 645 = 0. Is 7 a factor of c?
False
Suppose -i + 77 = -103. Suppose -20 = 5*x - i. Suppose 3*s - 8*s - 3*j + 87 = 0, 4*j = -2*s + x. Is 6 a factor of s?
True
Suppose -4*v + o = -4*o - 22, 4*v + 2*o = 8. Suppose -x = p + x - 13, 0 = -2*p + v*x + 61. Does 5 divide p?
False
Let r be (13/(-13))/((-2)/16). Suppose 4*o - 2*o = -r. Let a = -1 - o. Does 2 divide a?
False
Suppose -12*c = -6*c. Suppose 2*y - 190 = -4*s + 290, c = s. Is y a multiple of 10?
True
Let d(v) = -3*v + 6. Let y(a) = -3*a - 36 + 91 - 48. Let m(s) = 3*d(s) - 2*y(s). Does 10 divide m(-2)?
True
Suppose -4*x = 3*a, -5*a + x + 4*x = 0. Let g = 71 - 5. Suppose o + o - g = a. Does 14 divide o?
False
Let j = 34 + -30. Let l = 11 + j. Is 3 a factor of l?
True
Let j = -30 + 4. Let w = j + 37. Let a = w - -4. Does 15 divide a?
True
Suppose -23*n + 9*n = -2660. Is n a multiple of 38?
True
Let h = 588 - 420. Is 8 a factor of h?
True
Let f(a) = 2*a**2 - 12*a - 6. Suppose 3*h = 17 + 4. Is f(h) even?
True
Suppose 1120 = -80*x + 88*x. Is x a multiple of 3?
False
Suppose 0 = 2*v + n - 550, v - 8*n = -4*n + 257. Does 13 divide v?
True
Suppose 3*i = -5*a + 5526, -7368 = -4*i - a - 2*a. Does 12 divide i/15 - 5/(-25)?
False
Let i = -867 - -1067. Is 15 a factor of i?
False
Suppose -61*h = 4*z - 63*h - 3818, 4*z - h = 3823. Is z a multiple of 11?
True
Let v(c) = 29*c**2 + 11*c - 6. Does 24 divide v(3)?
True
Let v(c) = -2*c**2 - 17*c - 8. Let h be v(-8). Suppose -3*n + 2*r + h*r + 110 = 0, 0 = -3*n - 5*r + 82. Is n a multiple of 21?
False
Let j(z) = 20*z + 33*z - 3 - 89*z. Is 9 a factor of j(-1)?
False
Suppose -2*m + 13 = -3. Let b = m - 2. Is 4/b - (-142)/3 a multiple of 16?
True
Let i = 32 - -18. Suppose -o + 2*o = 0. Suppose o = 3*x - 4*s - i, -31 = -4*x + 5*s + 37. Is 22 a factor of x?
True
Let i(h) = 2*h**2 + 6*h + 6. Let y be i(-4). Let o = 167 - y. Does 22 divide o?
False
Let g(h) = -h**3 + 28*h**2 + 6*h - 96. Does 3 divide g(28)?
True
Let p = 1029 + -649. Is 20 a factor of p?
True
Let w(x) = 41*x - 68. Does 11 divide w(6)?
False
Let y be (6/(-4))/(7/14). Let k be y/(-1)*16/(-6). Does 4 divide k/5*(-65)/26?
True
Let n(f) = -6*f + 1. Let b be n(-3). Suppose 41 = 3*k - b. Suppose -i + 11 = -3*v + 4, 4*v - k = 0. Is 8 a factor of i?
False
Let r(a) = -6 - 9 + 9 - 116*a - 37*a. Is r(-1) a multiple of 21?
True
Suppose -2*q + 146 = -0*q. Suppose -o = x - q, -2*o + 25 = -5*x + 425. Suppose -3*j + x + 24 = 0. Does 17 divide j?
True
Suppose f - 4 = -5*k, -2*k = -3*f + 16 - 4. Is 55 + 3 + k*(-2)/6 a multiple of 10?
False
Let n be (7/(-4))/(4/(-800)). Let y = n - 245. Is 35 a factor of y?
True
Suppose 0*l = l + 3. Let f be l*(-3)/3 + -1. Suppose 260 = f*x + 2*x. Is x a multiple of 13?
True
Suppose 0 = -2*o - 3*q - 9, q + 3 = o - 0*o. Suppose 0 = t + 3, -3 = 3*l - 5*l - t. Suppose o = -c - 4*f + 23, 3*f = -3*c + l + 39. Is c a multiple of 3?
False
Let j(x) = 2*x**3 + 61*x**2 + 24*x - 53. Is 9 a factor of j(-30)?
False
Let v be -1 - (0 + -1 + -15). Let q be 6/v + 6/(-15). Suppose q*z + 5*f = 3*z - 70, 5*z + f = 70. Is z a multiple of 15?
True
Suppose 4*g = -c - 39, 4*c = 5*g - 56 + 5. Let a be 1*c*(-16 - -14). Let x = a + 10. Is 16 a factor of x?
True
Suppose -6*m = -2*m - a - 19, -5*m = -3*a - 29. Suppose 0 = m*o - 301 + 97. Is 9 a factor of o?
False
Let h = -78 + 128. Suppose 0 = 6*a - 218 + h. Is a a multiple of 17?
False
Let h(n) = 5*n - 28 + 6*n + 27 - 5*n. Let j be h(1). Is 7 a factor of -1 + j - (-13 - -10)?
True
Let w be 4/4*(175 + 2). Suppose w = 3*v - 2*b - 136, 2*v - 208 = b. Does 13 divide v?
False
Let i be -2*2/(-4) + 2. Suppose -3*l + 4*u = -15, -l + u + i*u = -5. Suppose -q = -l*q - 2*d + 26, 5*d + 23 = q. Is q even?
True
Is (-1905)/(-35) + -1 + (-8)/(-14) a multiple of 8?
False
Is (-24)/(2/7 - (-58)/(-154)) a multiple of 24?
True
Suppose -3*c + 75 = -132. Let n = c - 45. Is 19 a factor of n?
False
Suppose -61*t + 3060 = -49*t. Is 11 a factor of t?
False
Let y = -81 - -100. Let q = 38 - y. Does 3 divide q?
False
Let p(t) = 8*t + 4. Suppose 5*g - 16 = 19. Is 10 a factor of p(g)?
True
Let g(k) = -60*k - 4. Let o be g(-3). Suppose -2*h = 5*x + 4*h + 6, -2*h - 2 = 0. Suppose x = 17*t - 21*t + o. Is t a multiple of 10?
False
Suppose 0 = -6*f + 472 + 74. Let r = f + -47. Is 14 a factor of r?
False
Let u(i) = 4*i**2 - 6*i - 14. Let b be (-55)/22*(-16)/(-5). Does 62 divide u(b)?
False
Let j = 1056 - 748. Does 11 divide j?
True
Let w = -17 - -14. Is ((-27)/1)/(w/15) a multiple of 22?
False
Suppose 5*a + 7724 = 6*u - 2*u, -2*u + 5*a + 3872 = 0. Suppose 366 = -5*w + u. Does 26 divide (3/3)/(4/w)?
True
Let o(s) = 3*s**2 + 5*s + 3. Let g be o(-2). Suppose 0 = -g*y, 2*h - 259 = -5*y - 91. Let j = h - 58. Is 6 a factor of j?
False
Let n be (12/(-4) + 6)/1. Suppose 5*z - 3*z = -2*p - 8, 20 = -n*p - z. Does 15 divide ((-4)/p)/(3/270)?
True
Let b(j) = -3*j**2 - 3 + 29*j**3 + 24*j**3 + 7*j - 54*j**3. Is b(-7) a multiple of 24?
True
Let g = 17 + 3. Let h = g + -9. Does 11 divide h?
True
Let m = 403 + -342. Is m a multiple of 4?
False
Let d(n) = 99*n - 501. Is d(37) a multiple of 31?
True
Let v = -23 + 40. Let x = v - 12. Suppose 104 = x*b + 3*w, b + w - 20 = -0*b. Is b a multiple of 11?
True
Suppose r - 3*r + 6 = 0. Suppose -4*a = -x - 233 - 25, 6 = r*x. Suppose -b - 5*h = -a, b + h = -2*h + 57. Is b a multiple of 26?
False
Let t(g) = 3*g**2 + 3*g - 5. Is 9 a factor of t(4)?
False
Let b(g) = 70*g - 7*g**2 + g**3 - 2*g**3 + 4 + 0*g**3 - 69*g. Is b(-8) a multiple of 15?
True
Suppose -8*y = -4*y - 3*m - 17, 0 = 5*m + 15. Suppose 4*d = 11*d - 294. Suppose -27 = -2*o - a, -3*o + 0*a + d = y*a. Does 6 divide o?
True
Suppose 0*l = 2*r - 2*l - 14, 3*r + 5*l = 5. Let d(x) = -9 - x - 3*x + 0*x + 5*x + x**2. Does 7 divide d(r)?
True
Is 91 a factor of (-28)/(-6)*-13*(-3780)/360?
True
Is 4 a factor of 100 + -1 - (9 + -14)?
True
Let b be 6/((-6)/(-16)*4). Suppose 0 = -3*x + b*x - 39. Does 4 divide x?
False
Suppose -4*u - 5*k + 788 = 0, k = -u + 6*k + 197. Is 17 a factor of u?
False
Is 10 a factor of ((-92)/6 + 2)*(-1653)/38?
True
Let a(m) = m - 4*m + 2*m**2 + 5*m**3 - m**3 - 5*m**2. Let c = 9 - 6. Is a(c) a multiple of 24?
True
Let m be 130/8*24/60*2. Suppose 292 - 58 = m*k. Is k a multiple of 9?
True
Suppose 4*b + 20 + 11 = -3*u, 5*b = 3*u - 5. Let q(n) = -7*n - 11. Does 8 divide q(u)?
True
Suppose -35 + 10 = 5*f. Let m(j) = -j**3 + 5*j**2 - j - 3. Let n be m(4). Let i = f + n. Is i a multiple of 3?
False
Let y(q) = -q**3 - 9*q**2 - 4*q + 3. Suppose u = 4*m + 33 + 2, -3*u + 42 = -5*m. Let h be y(m). Let c = h + 9. Is 21 a factor of c?
False
Suppose 0 = -2*i + 98 + 470. Is 38 a factor of i?
False
Let t = 74 + -86. Is 21 a factor of 123/2 + t/(-8)?
True
Let s(j) = 6*j**2 + 4*j + 84. Is 4 a factor of s(-6)?
True
Let u(i) = 4*i - 1 - 3*i - 2*i + 0*i. Let q be u(-3). Suppose 4*v - 385 = -5*w, 0*v - 147 = -q*w - 3*v. Is 12 a factor of w?
False
Let o = 38 + -35. Suppose -o*z + 60 = -123. Does 31 divide z?
False
Is 54 a factor of 14*(3 + (-1818)/(-42))?
True
Suppose -216 - 424 = -4*n. Suppose i = -3*i + n. Suppose 5*g = -2*m + i, 2*g + 39 = 4*m + 7. Does 7 divide m?
False
Let f = 104 + -124. Is ((-230)/f)/(((-2)/(-20))/1) a multiple of 17?
False
Is (-10)/(-5 - 592/(-120)) a multiple of 5?
True
Suppose 879 = 3*n - 5*r - 1585, 6 = -3*r. Does 19 divide n?
False
Let o(l) = l**3 - 13*l**2 - 11*l - 8. Let z(y) = -y**3 + 12*y**2 + 11*y + 7. Let g(c) = 3*o(c) + 4*z(c). Suppose 4*n + 10 = 5*n. Is g(n) a multiple of 14?
True
Let q(s) = s**2 + 3*s - 1. Let g be q(-4). Suppose 3*t - 272 = 4*m, 464 = 2*t + g*t + 4*m. Is t a multiple of 15?
False
Suppose t - 934 = 3*u, 2822 = 3*t + 58*u - 57*u. Does 8 divide t?
False
Is 1886 + (4 - 121/11) a multiple of 7?
False
Let a(p) = -2*p - 12. Let n be a(-10). Suppose n*t - 76 = 7*t. Is 2 a factor o