- 2723. Does 15 divide h?
True
Suppose -7*g + 141 + 1084 = 0. Let j = g - 40. Does 9 divide j?
True
Suppose 2*r - 42 = 6. Let m = r - -12. Is 12 a factor of m?
True
Suppose -14664 = -10*j + 456. Does 84 divide j?
True
Let n = 2475 + -1733. Does 27 divide n?
False
Let o = 2 + -2. Suppose -4*y + 12 = -o*y. Suppose -4*s + 22 = z, -y*z + 0*s - 4*s = -74. Does 26 divide z?
True
Let t(o) = o - 4. Let g be t(6). Suppose 0 = -5*j + f - 182, 0 = -0*j + 2*j + g*f + 68. Is 8 a factor of (-97)/(-4) + 9/j?
True
Suppose 0 = 5*b - 3*f - 405 - 306, -2*b + 5*f + 273 = 0. Is 12 a factor of ((-18)/(-12))/(3/b)?
True
Let u(w) = 4*w - 20. Let d(s) = -3*s + 21. Let m(q) = 3*d(q) + 2*u(q). Let f be m(7). Suppose -r + 8 + f = 0. Does 9 divide r?
False
Let c(h) = 344*h**2 + h + 3. Is c(1) a multiple of 17?
False
Suppose -4*d = -2*l - 3828, -3*l + 2853 = 3*d - 0*l. Let i = -596 + d. Is i a multiple of 57?
False
Let r be 28 + -24 - (2 + -2). Suppose -c = 4*c. Suppose -3*p + 0*p + 143 = 2*d, -d + r = c. Is p a multiple of 6?
False
Let n(v) be the third derivative of -5*v**4/8 + v**3/3 + 8*v**2. Is n(-2) a multiple of 32?
True
Let o(r) = 4*r**2 - 11*r + 10. Does 10 divide o(14)?
True
Suppose 6*j + 3 = 33. Suppose 2*z - f = -0*f + 74, -j*z = f - 171. Let t = -23 + z. Is 12 a factor of t?
True
Suppose -11*k - 5 = -5. Suppose k*q + 183 = q. Is q a multiple of 7?
False
Let q = -60 - 48. Let w be (10/90)/((-2)/(-12))*243. Let v = w + q. Does 23 divide v?
False
Let g(t) = -t**3 + 12*t**2 - 2*t + 3. Is 41 a factor of g(6)?
False
Let v = -14 - -22. Let s = 545 + -543. Suppose 0*z + 2*z = v, s*w - 212 = 4*z. Does 38 divide w?
True
Suppose 32 = -d + z, -d - z - 47 + 11 = 0. Let h = d - -55. Suppose -h + 8 = -b. Is b a multiple of 7?
False
Does 6 divide (-4)/(-1*(-32)/(-3304))?
False
Let v(x) = -x**3 + 5*x**2 + 27*x + 20. Is v(-12) a multiple of 32?
True
Let c(a) = -4*a + 117. Let k be c(29). Let x(o) = 54*o**2 - 19*o**2 - 2*o + o. Is 14 a factor of x(k)?
False
Let z be ((-4)/10)/(1/10). Let x(r) = r**2 + 3*r - 2. Let p be x(z). Suppose s + 72 = p*s. Is s a multiple of 24?
True
Suppose z = -3*b + 141, 0 = -3*b - 3*z + 105 + 30. Is 4 a factor of b?
True
Let a = -156 - -227. Let z = -33 + 142. Suppose 5*g + 3*b = -b + z, -3*g - b + a = 0. Is g a multiple of 22?
False
Suppose 5*j - 63*v - 7125 = -60*v, -4*v - 7120 = -5*j. Is j a multiple of 17?
True
Let o(h) = 13*h**2 - 35*h + 160. Is 19 a factor of o(4)?
True
Let a = -234 - -249. Is 2 a factor of a?
False
Let v(t) = -t**3 - 3*t**2 + 8*t + 77. Does 14 divide v(-8)?
False
Let n be (12/(-18))/((-2)/(-150)). Let g = 5 - n. Is g a multiple of 18?
False
Let i(m) = 34*m**2 - 10*m + 53. Does 37 divide i(5)?
False
Let s = 1621 + -673. Does 23 divide s?
False
Let p(o) = 80*o**2 + 24*o - 8. Does 12 divide p(5)?
True
Let r(y) = -y**2 + 31*y - 62. Does 3 divide r(28)?
False
Let c(s) = 32*s + 28. Let a be c(6). Is 2 a factor of (2/(-4))/((-22)/a)?
False
Let k be (-135)/(-25) - (-6)/10. Suppose -k*j + 142 + 92 = 0. Does 13 divide j?
True
Suppose -8*r + 0*r = 176. Is (0 + r - 4)*7/(-2) a multiple of 13?
True
Suppose -12*l = 24*l - 12276. Is l a multiple of 2?
False
Let q(v) = v**3 - 8*v**2 - 6*v + 6. Let j be -3*-4*3/9. Suppose -j*k + 38 = 2. Does 11 divide q(k)?
True
Let o = 35 - 30. Is 13 a factor of (1 - -2)*((-67)/(-3) - o)?
True
Let q(v) = -v**2 + 9*v + 2. Let t be (-22)/(-2) + 0 + 0. Let a(k) = -k**3 + 12*k**2 - 9*k - 14. Let p be a(t). Does 10 divide q(p)?
True
Suppose r + 3*r - 4 = 0. Let p be 10/(-4)*1 + 6/12. Is 7 a factor of 2*p*-7 + r?
False
Let k = -41 - 12. Let b = k - -254. Is 19 a factor of b?
False
Suppose 0 = -5*f + c + 9, -2*f - c + 2*c = -6. Suppose -f = -k + 4. Suppose 2*b - k = 17. Is b a multiple of 11?
True
Let s(p) = -p**3 - 26*p**2 + 14*p - 45. Is s(-28) a multiple of 13?
True
Suppose -62*h + 59*h = -72. Does 12 divide h?
True
Let y(p) = 7*p**2 - 2*p - 2. Let t be y(-3). Suppose t + 221 = 8*n. Does 9 divide n?
True
Let q(w) = -w**3 - 11*w**2 + 7*w - 7. Let u be q(-12). Let k = 245 - u. Is 57 a factor of k?
False
Let m(b) = 18*b**2 - 18 - 3*b**3 - 19 + 23*b + 27 + 2*b**3. Does 22 divide m(19)?
True
Suppose 168 = 6*g - 13*g. Is 15 a factor of (g + 4)*(-6)/4?
True
Does 11 divide (-2114)/(-56)*(-8 + 56)?
False
Does 58 divide (8816/(-190))/((-2)/20)?
True
Is (-2 - 4/8)*-1*144 a multiple of 4?
True
Let s(n) = -16*n + 1. Let d be (-2 - (-80)/15)*3/(-2). Does 9 divide s(d)?
True
Is 2 a factor of 3 + -4 + 14/2?
True
Suppose 0 = -5*z + 2*z + 2*m - 31, -4*m - 37 = 5*z. Does 17 divide ((-798)/z - -2)/(3/9)?
True
Suppose t - 5*t = 24. Let h(w) = w**2 + w + 11. Is h(t) a multiple of 16?
False
Let n be 38 - (4 - (-3 - -4)). Let g = n - 19. Does 4 divide g?
True
Let t = -138 + 143. Suppose 0 = t*m - 92 - 948. Is 18 a factor of m?
False
Suppose z + 3*q = 36, 5*z + 0*q = -3*q + 168. Let o = -20 - -27. Let i = o + z. Is 20 a factor of i?
True
Suppose 0*x + 5*x - 30 = 0. Suppose x*t - 7*t + 1 = 0. Suppose 0 = 4*l - 2*u - 12, 3 = -l + 3*u + t. Is l a multiple of 3?
False
Suppose 4*v = -v + 20. Suppose 8 = 4*s - 4*q + v, 2*s = -3*q + 27. Suppose -a + 4*c - c + 22 = 0, s = -a - 4*c. Is a a multiple of 10?
True
Let q(b) = -162*b - 2 + 1 + 36*b. Let d be q(1). Let g = -91 - d. Is g a multiple of 15?
False
Let h be (-1 + 2)*(-18)/2. Is 8 a factor of -3*(3 + 435/h)?
True
Suppose 0 = 4*d + q - 3698, d - 4*d + 2780 = 4*q. Is d a multiple of 11?
True
Suppose -4*t + 7*t + 16632 = 4*c, 3*c - 12461 = -t. Does 15 divide c?
True
Let r(v) = -4*v**2 + 25*v + 5. Is r(4) a multiple of 6?
False
Let a(r) = r**3 + 11*r**2 + 8*r - 4. Let n be a(-10). Does 34 divide (113/4)/((-28)/n - -2)?
False
Let i be (45/(-10) - -3)/(1/(-2)). Suppose -i*o - 145 = -8*o. Does 16 divide o?
False
Let m(j) = 23*j + 410. Is 95 a factor of m(8)?
False
Let g(m) be the third derivative of -31*m**4/24 - m**3 - 34*m**2. Is g(-2) a multiple of 14?
True
Let l = 2455 + -1976. Is l a multiple of 60?
False
Let p be 2/(-4)*(16 + -8). Let z be ((1 - -3) + p)/2. Suppose 10*k - 12*k + 160 = z. Is k a multiple of 24?
False
Is 82/328*(2 + 2946) a multiple of 67?
True
Let b = -194 - -488. Does 21 divide b?
True
Let w(o) = -o**2 + 13*o + 3. Let q be w(13). Is (2 - q)*21/(-3) a multiple of 4?
False
Let y(i) = -i**2 + 21*i - 26. Let d be y(14). Suppose -216 - d = -n. Is n a multiple of 36?
True
Suppose -3*g - 1632 = -4*m, 4*g - 7 = -23. Does 27 divide m?
True
Suppose 0 = 14*v - 11*v - 99. Is 8 a factor of (8 - v)/(-1 + 0)?
False
Let g(h) = 2*h**2 - 2. Let w(j) = j**2 - 14. Let s be w(0). Let z be s/2 + 3/1. Is g(z) a multiple of 30?
True
Let a(r) = -230*r + 17. Is 12 a factor of a(-15)?
False
Let i be 4 + (3 - (-4 - -7)). Suppose i*d - 2*n = -0*d + 56, d + 2*n = 9. Is 4 a factor of d?
False
Let r(w) = 6 - 7 + 2*w + 2*w + 2*w. Let p be r(-1). Let j = 7 - p. Is 3 a factor of j?
False
Let u(g) = g**3 - 19*g**2 + 5*g - 35. Let m = 102 + -83. Does 4 divide u(m)?
True
Suppose 12 - 4 = 4*f. Suppose -j + f*j - 5 = 0. Suppose 2*y + 260 = 5*t - 2*y, -y = j. Does 15 divide t?
False
Let g = -25 + 27. Suppose 5*y - 1 = g*r, 2*r + y - 1 - 4 = 0. Suppose 0 = -2*l - 5*i + 29, r*l + 5 = -4*i + 37. Does 6 divide l?
False
Let a be -10*2*(-5)/25. Suppose 0 = a*n + 2*b - 68, 5*b + 68 = 3*n + n. Does 3 divide n?
False
Let v = 18 + -40. Suppose 4*l + 2*s - 3*s = 27, -l - 3 = 3*s. Let k = l - v. Is 7 a factor of k?
True
Let k = -224 + 158. Let l = 95 + k. Is l a multiple of 10?
False
Let h be 36/(-8)*(-38)/(-3) - -2. Let a = 17 - h. Is 10 a factor of a?
False
Let t(s) be the third derivative of s**5/120 + 77*s**4/24 - 7*s**3/6 + 8*s**2. Let j(n) be the first derivative of t(n). Is 16 a factor of j(0)?
False
Suppose -4*i = -146 - 138. Let l be (-12)/(-15) + (-502)/(-10). Let u = i - l. Is 10 a factor of u?
True
Let u be ((-3)/3)/(1/37). Suppose -5*f = -3*s + 224, -2*f - 288 = -4*s + 2*f. Let t = s + u. Is 18 a factor of t?
False
Let n = -178 + 249. Suppose -3*h + 436 = -n. Is 13 a factor of h?
True
Let h(b) = -23*b. Let q be h(-3). Suppose -t - 4*a = -11, -3*t = -0*a + 3*a - q. Does 10 divide t?
False
Suppose 5*r - q - 42 = 0, -5*q - 10 = -0*q. Suppose 0 = -3*i - 121 - r. Is (-1 - i)/((-10)/(-5)) a multiple of 7?
True
Let y(a) = -7*a - 10. Let h = -35 + 21. Let x be h/1*6/12. Is 39 a factor of y(x)?
True
Suppose -2*c - 30 = -