 j - -1015. Is 6 a factor of q?
True
Let f(v) = 23*v**2 + 1380*v - 227. Does 42 divide f(-89)?
True
Let q be (-81)/54*(1 + (-14)/6). Suppose -q*y = -4*m - 814, y - 218 - 191 = 3*m. Is 10 a factor of y?
False
Let t(r) = -42 - 908*r**2 - 25*r + 914*r**2 + r**3 + 0*r**3. Is 29 a factor of t(-8)?
False
Let p(u) = -u**3 - 12*u**2 - 3*u - 10. Let f(a) = 2*a - 7. Let r be f(5). Suppose r*h + 43 = 7. Is 5 a factor of p(h)?
False
Suppose 15 = 3*o - 3*c, c + c - 10 = 0. Let l(x) = 3*x**2 - x + 2. Does 21 divide l(o)?
False
Let k be ((-66)/(-44))/(2/4). Suppose m = -0 + k. Suppose 2*r - 2*h = 92, 4*h + 88 = 2*r + m*h. Does 11 divide r?
False
Suppose 3*l + 3*h - 6 = 0, -6 = -3*l - 5*h + 4. Suppose l = -v, a - v = -3*v + 3. Let p(y) = 5*y**2 + 3*y - 1. Is p(a) a multiple of 9?
False
Let x = -272 + 293. Suppose x*b - 8*b - 6500 = 0. Is 20 a factor of b?
True
Let x = -140 - -67. Suppose -4*h = -2*n + 102, -h - 3*n = 67 - 45. Let o = h - x. Is o a multiple of 8?
True
Suppose 2*f = 3*z + 55, 0*z - 25 = -5*z. Suppose 0 = r - 0*r - f. Is r a multiple of 7?
True
Is 8 a factor of (5/((-50)/(-56)))/((-20187)/20190 + 1)?
True
Let d(z) = -5*z + 1017. Let j be d(0). Let n be j/6*((-20)/(-6) + -2). Let y = -139 + n. Is 12 a factor of y?
False
Let x = 31 - 26. Suppose -5*o - 20 = 0, -n + 0*o = -x*o - 20. Suppose a - 2 + 6 = 4*r, n = 2*r - 4. Is 4 a factor of a?
True
Let o = -13233 + 14350. Is o a multiple of 14?
False
Let f(p) = 3*p**3 - 2*p**2 - 53*p + 568. Does 16 divide f(8)?
True
Let r(n) = -3*n**3 - 12*n**2 - 9*n + 13. Let w be r(-8). Suppose 8*v - w - 59 = 0. Is 6 a factor of v?
True
Let s(m) = 8*m**2 + 14*m - 18. Let z be s(4). Suppose 5*t + 12 = 9*t. Suppose 0 = t*w - w - z. Does 26 divide w?
False
Is 20 a factor of (-30)/(-3) - (51 - 1166)?
False
Let p(h) = -h**2 - 11*h - 26. Let j be p(-5). Suppose -5 = k, -2*r + 0*k - j*k = -330. Let d = 256 - r. Is 36 a factor of d?
False
Let d be 1/(1/1)*-89. Let v(w) = -15*w**2 + 241*w - 5. Let x be v(17). Let r = d - x. Does 14 divide r?
True
Suppose 0 = -5*n + 121523 + 61142. Does 119 divide n?
True
Let n(s) = -70*s**2 + 6*s + 17. Let j(a) = 140*a**2 - 12*a - 34. Let z(r) = 3*j(r) + 5*n(r). Is 23 a factor of z(-4)?
True
Let c(j) = -2*j - 20. Let d(s) = -2*s - 22. Let r(q) = 6*c(q) - 5*d(q). Let p be r(-6). Suppose -4*f - 3*v = -69, p*f - v = -0*v + 27. Is f a multiple of 3?
True
Suppose -16*a + 106 = 26. Suppose 777 = p + a*v + 311, 5*p = -3*v + 2330. Does 28 divide p?
False
Suppose -4*k - 15 = g, 14*g - k - 1 = 17*g. Is 34 a factor of (-1837)/(-3) - (2/(-3) + g)?
True
Let z(l) = -10*l + 177. Let y be z(17). Does 15 divide 617 - ((-12)/(-21))/(2/y)?
True
Let p(a) = -4*a**3 + 17*a**2 + 4*a + 10. Let n be p(-4). Suppose 3*b + 3*d - n = 0, -6*b - 5*d + 524 = -3*b. Is b a multiple of 6?
False
Let p(r) = -r**3 - 9*r**2 + 12*r - 8. Let k be p(-9). Let x = k + 336. Is 22 a factor of x?
True
Let d(t) = -1358*t - 248. Is 18 a factor of d(-4)?
True
Suppose -869*y + 885*y = 35072. Is 3 a factor of y?
False
Suppose -3*q - 4*f - 80825 = 0, q - 3899 = 4*f - 30830. Does 11 divide 2/2*q/(-31)?
True
Suppose -5*o + 2*j = -183916, -40*o = -41*o + j + 36785. Does 347 divide o?
True
Does 139 divide 16967 + (-8 + (2 - -4) - 7)?
True
Suppose -55*g - 354 + 1564 = 0. Let k(x) = 33*x + 56. Is k(g) a multiple of 46?
True
Let l be ((-12)/30)/(2/(-180)) - -4. Suppose -5*r - 3*m + 2005 = -8*m, -2*m = r - 413. Suppose 0 = -45*a + l*a + r. Does 19 divide a?
False
Let a(t) = 16*t - 27. Let i = -224 - -227. Does 3 divide a(i)?
True
Let h = 186 - 132. Suppose -131*l + 119*l = 408. Let m = h + l. Does 4 divide m?
True
Let n(d) = 2*d + 11. Suppose 4*z - 160 = -2*o + 6*o, 3*o + 4*z + 141 = 0. Let c = o - -39. Is 2 a factor of n(c)?
False
Suppose -10*j - 4 = -34. Suppose -c - j*i + 95 = 249, -442 = 3*c - i. Let n = 265 + c. Is n a multiple of 42?
False
Let p(d) = -d**2 + 13*d - 38. Let u be p(6). Suppose -u*y - 122 = -2*a, 0 = -3*a - 6*y + 2*y + 213. Does 18 divide a?
False
Suppose 26*b - 21*b + 4*o = 37938, 22779 = 3*b - 3*o. Does 51 divide b?
False
Suppose -914 = 4*o - t + 4*t, 0 = 2*o - 2*t + 464. Suppose 248 = -3*z + 1505. Let q = o + z. Does 12 divide q?
False
Is 3 a factor of (4 - -1) + (0 - (-2243 - 11))?
True
Let j(z) = -63*z + 25. Suppose -5 = 196*o - 191*o. Is j(o) a multiple of 44?
True
Let w = 10072 + -4179. Is w a multiple of 23?
False
Let b(n) = 13*n**3 + 22*n**2 - n + 34. Does 58 divide b(5)?
True
Let w = -30 - 6. Is 52 a factor of (-6)/w + 3651/18?
False
Is 9 a factor of ((-414)/4)/(43/(-86))?
True
Let f be (-2)/(-2)*(-6 - -8). Suppose -4*n - n + 3*o = -950, -2*n + f*o + 380 = 0. Is n a multiple of 38?
True
Let m(l) = -l**3 - l + 27. Let n(s) = 144*s - 351. Let g(y) = 11*y - 27. Let u(t) = -27*g(t) + 2*n(t). Let r be u(3). Is m(r) a multiple of 3?
True
Let x(r) = 10*r + 2. Let i be x(0). Suppose -7*a + z + 1431 = -i*a, 5*z + 841 = 3*a. Does 14 divide a?
False
Suppose -2*l - l - 27 = -3*s, 0 = 3*s + 5*l + 5. Let k be -2 + 1 + -2 + s. Let g(j) = 48*j + 1. Does 20 divide g(k)?
False
Suppose -30*v = -199781 + 39761. Suppose 6330 + v = 27*h. Is h a multiple of 12?
True
Does 14 divide ((-14)/8)/((-31)/99448)?
True
Let k = 9893 - 5342. Is 2 a factor of k?
False
Suppose 5*m - 29240 = 5*p, -4*m = -3*p - 5334 - 12214. Is (-33)/(-55) - p/10 a multiple of 13?
True
Suppose -5*d = 7*v - 2*v + 25, 4*v = -d - 17. Suppose 5*c - a = 19, 3*a + 23 = 2*c + 5. Is 33 a factor of (-1 + c)/v - (-530)/4?
True
Let f(p) = -p**2 + 7*p - 8. Let x be f(6). Suppose -14*w = w + 3060. Does 51 divide ((-3)/x)/(-5 - 1026/w)?
True
Let l(h) = -2*h - 11. Let t(p) = -p - 5. Let g(y) = 6*l(y) - 13*t(y). Let z be g(5). Suppose -797 = -z*m - 309. Does 17 divide m?
False
Suppose -155572 = -86*h - 3*h. Is h a multiple of 38?
True
Suppose a + p = -a - 58, 2*a + 46 = 5*p. Is 7/a + 2165/4 a multiple of 36?
False
Let t = 57 + -47. Suppose 0 = t*k - 117 - 373. Is k a multiple of 7?
True
Suppose -203 = 2*x - 1167. Let j = 217 + -84. Suppose 0 = 5*i - 3*t - j - x, 265 = 2*i - 5*t. Is 30 a factor of i?
True
Suppose 2*s + 1003*k - 8415 = 1004*k, -4*s + 16831 = -k. Is s a multiple of 95?
False
Let g = -10464 + 17860. Does 107 divide g?
False
Let d(k) = k**2 + 2*k + 4. Let r be d(-2). Suppose r*s - 7 = 9. Is 7 a factor of -14*4/s*(-14)/4?
True
Suppose -6*i - 14582 = -53120. Suppose 2089 + i = 19*o. Is 4 a factor of o?
True
Suppose 101*l = 102*l - 7. Suppose 11*j = l*j + 1648. Is 18 a factor of j?
False
Let d be 174/261 - (-1 + (-112)/3). Is 37 a factor of 6 + (-18070)/d*6/(-4)?
False
Suppose 49 = 3*x + 4. Suppose -19*a + 676 = -x*a - w, -3*a + 507 = 4*w. Is a a multiple of 4?
False
Suppose -4*t + 19 = c, -3*t - 1 = -3*c - 34. Let d be (35/2)/((-3)/t). Let q = -14 - d. Does 3 divide q?
True
Let o be ((-66)/55)/(1 + 74/(-70)). Let v be 226/14 - 3/o. Let y = 23 - v. Is 7 a factor of y?
True
Let p(s) = 11*s**3 + 35*s**2 - 10*s + 8. Is 56 a factor of p(6)?
True
Suppose -2561*u - 45924 = -2573*u. Does 31 divide u?
False
Suppose 0 = 2*k - 5*l - 2, -16 = 9*k - 13*k + 4*l. Suppose 0 = -3*x - i + 756, -1258 = -k*x + x - i. Does 48 divide x?
False
Suppose 0 = -1956*t + 2016*t - 480240. Is 11 a factor of t?
False
Let t(w) = 9*w + 86. Let a be t(-9). Suppose -a*n - 1098 = -3*h, -5*h + 1830 = 2*n - 4*n. Does 8 divide h?
False
Does 17 divide 9/9 + 13568 + -3?
True
Let s(h) = -586*h - 713. Does 109 divide s(-5)?
False
Let i = -31424 - -34340. Is i a multiple of 18?
True
Let v = 4169 + -1456. Is 28 a factor of v?
False
Let k = -402 + 156. Let b = k + 642. Is 33 a factor of b?
True
Suppose 8*i = i + 196. Suppose -5*x + 4*j = -4*x - i, 2*x - 5*j - 62 = 0. Suppose -48 = 35*b - x*b. Is b a multiple of 12?
True
Suppose 4*t = 4*j + 53216, 3*t - 55*j + 59*j - 39891 = 0. Is t a multiple of 47?
True
Let o(r) = -62*r - 157. Suppose -s - 3 = -4*p + 6, -4*s + 2*p = 64. Does 40 divide o(s)?
False
Suppose -4*h + 9 = -7, 0 = g - 5*h + 20. Suppose 2*u - 1 - 73 = g. Is u a multiple of 37?
True
Suppose -23817 = -5*z - 4*d, 4*d - 7247 - 7040 = -3*z. Is 43 a factor of z?
False
Suppose 0 = 2*b + 3*b. Let x = -353 + 374. Suppose 2*j + 55 = 5*m, j + x = 2*m - b*m. Does 13 divide m?
True
Suppose o = 5*q + 22, -2*q - 5 = -5*o - 10. Is -196*((-5)/(0 + q))/(-1) a multiple of 3?
False
Let h(b) = -b**3 + 19*b**2 - 19*b + 41. Let c = 114 -