 factor of r?
True
Let d = -129 + 123. Is 3 a factor of (-664)/d - 7/(-21)?
True
Let j be (-6 + (-102)/(-18))/((-1)/3). Let i be (12 + -12)*(1/4)/j. Suppose 0 = 5*y + 3*f - 1363, i*y = -y + 5*f + 295. Is 25 a factor of y?
True
Let g(k) = -209*k**3 - 40*k**2 - 66*k - 1. Is 8 a factor of g(-3)?
True
Let v = 682 - 672. Does 5 divide (v/14)/(18/12978)?
True
Is 163 a factor of (((-1496)/(-33))/17)/((-4)/(-6846))?
True
Let a = 20783 - 20123. Is 11 a factor of a?
True
Suppose -8*x + 2*x + 24 = 0. Suppose 5*t - t = -2*h + 38, -4*t + x*h + 8 = 0. Is t/(35/380) - -2 a multiple of 25?
False
Let t(a) = 26*a**2 - 31*a + 93. Let w(f) = 13*f**2 - 16*f + 46. Let o(i) = 3*t(i) - 5*w(i). Is 40 a factor of o(4)?
False
Let p = -26 - -31. Let s be (4 + (-354)/18)/(2/(-30)). Suppose s = 5*q + 3*t, -q + 245 = 4*q + p*t. Is q a multiple of 11?
True
Let r = -16794 - -48903. Is r a multiple of 17?
False
Suppose 0 = -17*f + 14*f + 4*i + 25654, 2*f - 17096 = -4*i. Is 50 a factor of f?
True
Is 7 a factor of (2 - (-20)/14)/((-39832)/(-13272) - 3)?
False
Let f(c) = -c**3 - 1 + 0*c - 9*c**2 + 3*c + 11 + 11. Let g be f(-9). Let z(o) = o**2 - 12*o - 50. Is 11 a factor of z(g)?
False
Let r be ((-3)/((-12)/(-16)))/((-1)/4). Suppose -5*n = -109 - r. Is n even?
False
Let k(w) = -5*w**3 + 3*w**2 - 3*w - 5. Let b be k(-4). Let i be (2/(-36)*-15)/((-1)/(-6)). Suppose 0*m = -i*m + b. Is m a multiple of 25?
True
Does 144 divide ((-721)/(-2))/((-89)/(-1068))?
False
Let o = 577 + -284. Suppose 0 = 5*v + 2*q - o, -3*v + 3*q = -132 - 48. Is 7 a factor of v?
False
Let s = 42905 - 25937. Is 56 a factor of s?
True
Let f = -14 + 32. Suppose 2*o = 5*h + 58, -4*o - 83*h = -82*h - 94. Suppose -o*u = -f*u - 156. Does 7 divide u?
False
Suppose 5*r = 9 + 1. Let u be (-3 + -2)/(7/(-42)*1). Suppose 5*y - r*y = u. Is y even?
True
Suppose 0*i + 5*p = 2*i - 14, -5*i + 16 = -3*p. Let q = 54 + -54. Suppose q = -i*k - 7*k + 1656. Does 23 divide k?
True
Let i = 6 + 728. Suppose 0 = -4*x + i + 466. Does 12 divide x?
True
Let a be (750/20)/((-2)/(-20)) + -2. Let c = a + 192. Does 10 divide c?
False
Suppose y - 2*k - 117 = 0, -5*y - k + 165 = -409. Let a = -69 + y. Let c = 110 - a. Is 16 a factor of c?
True
Suppose 2*a = 7*a - 2240. Let r = a - 231. Is 31 a factor of r?
True
Suppose 8*i = -34 + 82. Does 24 divide 1/(((-36)/i)/(-234))?
False
Let o(y) = 4*y**2 - 14*y + 34. Let p(c) = 3*c + 19. Let m be p(-3). Is o(m) a multiple of 5?
False
Suppose -290 - 602 = -4*f. Suppose 37*o = 39*o - 68. Let n = f - o. Is 9 a factor of n?
True
Let i = -28 - 4. Let b be -4*(-1 - 2/(i/100)). Is 2 a factor of 95/3 - 7/b?
True
Let c(h) = -55*h + 8. Let v be c(-1). Is 34 a factor of 20180/35 - 36/v?
False
Let i be (532/(-95))/((-4)/(-290)). Let r = 694 + i. Suppose 7*b + r = 10*b. Is b a multiple of 20?
False
Suppose 3*x + 5*d = 3*d + 18, -d = 5*x - 30. Suppose -x*w - 4*w + 260 = 0. Does 10 divide w?
False
Let l(x) = 43*x**2 + 11*x. Let v be l(-7). Suppose 0 = -3*k + 10*k - v. Is 10 a factor of k?
True
Suppose -3*r = r - 16. Suppose -r*y + 40 = -92. Is 12 a factor of y?
False
Let i(h) = 6*h + 14. Let m be i(-4). Let r be (-1)/(5/m) - -1. Suppose -5*c + 2*k + 594 = -c, -138 = -c - r*k. Is 38 a factor of c?
False
Suppose -3*g + 15 = 12. Suppose 5 = -l - g. Is -4*(-93)/6 + l + 6 a multiple of 22?
False
Let s(b) = 2*b**2 + 6*b - 3. Let f be s(-4). Suppose -2*v + 5*v + y - 7 = 0, -5*y + f = 5*v. Suppose 4*a - v*a - 168 = 4*q, 0 = -q. Does 56 divide a?
True
Suppose 60 = -3*l - 1776. Let w = -306 - l. Is 49 a factor of w?
False
Let i(r) = 14*r - 56. Suppose 1 + 2 = x, 5*x - 139 = 4*k. Let h be k*(-1)/2 - 1/(-2). Is 21 a factor of i(h)?
True
Let s(l) = l**2 - 19*l - 82. Let m be s(27). Suppose -179 = -5*j - 2*x, 0*j - 4*j + 3*x = -m. Does 7 divide j?
True
Suppose -o + 5*s - 10 - 2 = 0, -4*s + 40 = 3*o. Suppose o - 1 = z. Let k(a) = a**2 + 10*a + 16. Is k(z) a multiple of 15?
True
Let j(l) = -l**3 + 7*l**2 - 11*l - 4. Let z be j(4). Suppose 4*f - 2*i = 2*f + 30, -4*f - 4*i + 28 = z. Is 3 a factor of f?
False
Suppose -124 = -39*p - 826. Suppose 0 = -2*y - 2 - 6. Let k = y - p. Does 14 divide k?
True
Let o(i) = -i**2 + 20*i + 93. Let x be o(24). Suppose -4*n + 0*n - 320 = 0. Let h = x - n. Is 11 a factor of h?
True
Let a be ((-1168)/(-24)*-2)/((-3)/9). Let s = a + -172. Is s a multiple of 41?
False
Let d = -13 - -3. Is 8 a factor of (42 + (d - 0))/(2/4)?
True
Suppose 4*i = -18*m + 15*m + 94575, -5*i = 5*m - 157640. Is 72 a factor of m?
False
Suppose -4*l = -307*p + 308*p - 299927, -l + 75002 = -2*p. Does 206 divide l?
True
Let u(x) = 29*x - 15. Let m be u(-1). Let z(g) = g**3 + 45*g**2 + 36*g - 39. Is 4 a factor of z(m)?
False
Suppose -11781 = -24*v + 35018 + 7129. Is v a multiple of 14?
False
Let a(d) = 236*d**2 - 52*d + 54. Does 17 divide a(7)?
True
Suppose -11 - 244 = -15*a. Let t(r) = -a + 18*r - 7*r - 3*r. Is 24 a factor of t(19)?
False
Let q(x) = 2*x + 13. Let r be q(-6). Does 13 divide 452 + (0 + (6 - 2))*r?
False
Let u be 67485/(-45) + (-4)/(-6). Let i = -717 - u. Is i a multiple of 71?
False
Let a be (8 - 3)*(-412)/(-10). Let r = -135 + a. Is r a multiple of 10?
False
Suppose -2*z + 3166 = 4*w, -13*w + 11*w + z = -1585. Is 8 a factor of w?
True
Is 59 a factor of (-2)/(-19) + 5*(-194)/190 + 12336?
True
Suppose -6 + 0 = 3*i. Let u(g) = -g**2 + 2*g. Let m(p) = 17*p**2 - 13*p - 4. Let q(w) = m(w) + 6*u(w). Is 5 a factor of q(i)?
False
Let x(f) = -f**3 + 9*f**2 - 7*f + 21. Let i be x(8). Let u = i + 30. Suppose -6*m + 373 = -u. Does 24 divide m?
True
Let w(a) = -a**3 + 27*a**2 + 12*a - 9. Does 17 divide w(12)?
True
Suppose -82578 + 113021 - 621899 = -61*v. Does 52 divide v?
False
Let h be (0 + 0)/(11/(-11)). Suppose -5*b - 4*w + 476 = h, -b - w = -31 - 65. Does 23 divide b?
True
Let k(f) = f**3 - 27*f**2 - 15*f + 232. Is 19 a factor of k(29)?
False
Suppose 5632 = 5*p - 5*w + 2037, -p + 4*w + 716 = 0. Suppose 0 = -13*o + 21*o - p. Is o a multiple of 5?
True
Let l be (-124 + 1)*(-5)/15. Suppose -167 = -r + l. Does 26 divide r?
True
Let h(g) = -g + 43. Let t = -73 + 96. Let z = t - 5. Is h(z) a multiple of 7?
False
Let h(b) = 17*b + 14. Let a be (1 - 2) + 2 + 1 - 10. Let l be h(a). Let s = l + 217. Is 34 a factor of s?
False
Suppose -7*j - 5*c = -2*j - 150, -3*c = -6. Let o(s) = 21 - 14*s - 32 + j. Does 13 divide o(-9)?
True
Let n(o) = -10*o - 19. Let u be n(-4). Suppose -447 = -u*s + 1023. Is s a multiple of 4?
False
Let d(a) = 31*a + 21. Let l(p) = -15*p - 10. Let g(q) = -6*d(q) - 11*l(q). Let j be g(-3). Suppose -j = -5*u + 33. Is 4 a factor of u?
True
Suppose -5*d = -c + 30, 3*c = 4*c - 4*d - 25. Let k(b) = 3*b - 3. Let z be k(c). Suppose -z*j + 520 = -8*j. Is j a multiple of 26?
True
Let d = -258 + 254. Is 17 a factor of (180/(-5))/d - -147?
False
Let k(y) = -1. Let i(j) = -15*j + 156. Let m(r) = -i(r) - 6*k(r). Is m(29) a multiple of 14?
False
Let y(c) = -c**3 - 24*c**2 + 103*c + 70. Is 161 a factor of y(-29)?
True
Suppose -22*a - 2 = -23*a. Suppose -f + a*t = -27 - 162, t = -2. Is 13 a factor of f?
False
Suppose -79*v + 973 = -72*v. Let x = 274 - v. Is 9 a factor of x?
True
Let n(m) = m**3 - 6*m**2 + 32. Let f be n(4). Suppose 492 + 1378 = 2*j + 4*a, f = j - 5*a - 921. Is 70 a factor of j?
False
Let g = 174 - 172. Suppose -1154 = -g*i + 6*x - 10*x, 5*i - 2909 = -4*x. Is i a multiple of 13?
True
Let t(q) = q**3 + 5*q**2 - 14*q - 44. Let g be t(-6). Suppose -3*l + 5*z + 270 = 0, -g*z = -l + 39 + 51. Is 18 a factor of l?
True
Let n(q) = 5851*q**2 + 72*q + 2. Is 41 a factor of n(-1)?
True
Let q(y) = 287*y + 52. Let v be q(10). Let n = v - 2040. Is 63 a factor of n?
True
Let t(n) = -8*n**3 - n**2 - n. Let y be t(2). Let o = 89 + y. Is 19 a factor of o?
True
Is -13 + -1 + 8458 + (50 - 51) a multiple of 3?
False
Let d be ((-6)/(-4))/((-7654)/(-1912) - 4). Suppose -5*c = 5*l - 1040, 4*c + 3*l = 350 + d. Is 6 a factor of c?
True
Let s be 15/(-25) + (-4)/10*-9. Suppose s*p + p = 3900. Suppose 3*b + p = 18*b. Does 19 divide b?
False
Does 16 divide (26/24)/(-13) + 211692/144?
False
Is 311 - ((-5)/5 - -12) a multiple of 12?
True
Let j = -2837 - -9161. Does 14 divide j?
False
Let t be (-18)/81 + (-133)/9. Is 5 a factor of ((-30)/4)/(t/250)?
True
Let x(w) = 4*w + 76. Let n be x(-19). Let z(j) = -2*j**2 - 4*j + 99. Does 11 divide z(n)?
True
Let