 - d - 4*t. Suppose -n = 4*n - d. Suppose b = -3*q + n, -3*q - b + 269 = b. Is 10 a factor of q?
False
Suppose -q = 2*b - 49, -5*b + 2*b + 70 = 5*q. Let u(f) = 3*f**2 - f - 44. Does 14 divide u(b)?
True
Suppose -35*n + 40*n = 190. Let x = -2 + -1. Is 11 a factor of x/1*n/(-6)?
False
Let x = -2 - 17. Is (-1375)/(-35) - (3 + x/7) a multiple of 12?
False
Suppose -9*j + 475 - 7486 = -28*j. Is j even?
False
Suppose -25765 = -6*f - 1945. Is 2/((f/495 - 4) + -4) a multiple of 4?
False
Let c(f) = -f**2 - 3*f - 1. Let t be c(-3). Let p(y) = -69*y**2 - 14*y + 1. Let n(k) = 71*k**2 + 12*k - 1. Let u(w) = 7*n(w) + 6*p(w). Is 15 a factor of u(t)?
False
Let h(f) = f + 21. Let i = -48 + 143. Suppose -6*z = -11*z + i. Is 13 a factor of h(z)?
False
Is 26 a factor of 25428/10*255/153?
True
Let c = 11 + -8. Let v(z) = -z**3 + 8*z - 3. Let k be v(c). Let q = 56 + k. Is 11 a factor of q?
False
Let j(t) = 237*t**3 + 15*t**2 - 13*t - 29. Is j(4) a multiple of 62?
False
Suppose 0 = 4*q - q - 351. Suppose -19*y + 207 = -22*y. Let b = y + q. Does 24 divide b?
True
Let s(h) = 2*h**3 - 38*h**2 + 103*h - 94. Does 20 divide s(18)?
False
Suppose 3*j + 2*y = 17985, j - 4343 - 1652 = -2*y. Is 160 a factor of j?
False
Let n be ((0 - (3 + -2)) + 2)*719. Let h = 1643 - n. Does 12 divide h?
True
Let i(n) = -n**3 - n**2 - 5*n - 7. Let j be i(-2). Is -7*(j/(-21))/(1/66) a multiple of 12?
False
Let j = -1420 - -1426. Suppose -r + 6*r = 20. Is 4/j*r/8*390 a multiple of 18?
False
Suppose d - 4*a + 13 = 0, -4*a + 0 + 28 = 4*d. Suppose d*x - 4*o - 10 = -2*o, -23 = -5*x - 3*o. Suppose x*n + 12 = 0, 0*c + 315 = 2*c - n. Is 26 a factor of c?
True
Suppose -281094 - 198642 = -54*m. Is m a multiple of 99?
False
Suppose w = 5, -w + 2611 = 1508*g - 1507*g. Is g a multiple of 4?
False
Suppose -4*p = j + 12, -4*p - 12 = -4. Let o(l) = -2*l**3 - 4*l**2 - 4. Let h be o(j). Is 9 a factor of 96/h*(0 - -20)?
False
Suppose -10*r = 4*r + 238. Let b = r + 27. Does 7 divide b?
False
Let l(u) = -166*u + 56. Let w(p) = -250*p + 90. Let c(j) = -8*l(j) + 5*w(j). Let o = 5 + -4. Is 16 a factor of c(o)?
True
Suppose -4*i - 20 = -0*i, 423 = 2*q - i. Suppose -q = -2*k - 3*y, -170 = -k - 4*y - 63. Is 6 a factor of k?
False
Suppose -7*t - i = -2*t - 145, 0 = 3*t - i - 95. Suppose 3*d + 8 = f + t, 4 = 2*d + 2*f. Suppose -d*c = -9 - 3. Is 2 a factor of c?
True
Let j(u) = -u**2 - 4*u + 10. Let m be j(-5). Suppose -3*h + y = -2*y - 12, -m*h + y = 0. Is h + (1 - -3) - -99 a multiple of 11?
False
Suppose -2*a = d - 13, -5 = -4*a + 4*d - 9. Let n(p) = -2*p**2 - 6*p - 39. Let y(c) = c + 1. Let s(w) = a*y(w) - n(w). Is s(-6) a multiple of 11?
True
Let y(a) = 15*a + 15*a + 26 - 33*a. Let w be y(9). Does 36 divide (-300)/5*(1/(-5) + w)?
True
Suppose -3*r - 63 = -5*u + 31, -3*u + 66 = -5*r. Suppose u*d = -2*d + 21812. Does 15 divide d?
False
Suppose -u - 2*u + 1152 = 0. Suppose 192 = j + 2*p, 2*j = 4*j + p - u. Does 13 divide j?
False
Let x(g) = 288*g**2 + 19*g + 2. Is 39 a factor of x(3)?
False
Suppose -4*y = -v + 7167 - 2611, 0 = -v + 5*y + 4557. Is 41 a factor of v?
False
Suppose p + 32 = 5*w, 7*w - 4*w - 30 = p. Let q be (-2)/(0 - (-6)/p). Suppose 169 = q*v - 110. Does 31 divide v?
True
Suppose -3*x - 2260 = -3*r - 4*x, -2*r + 4*x + 1530 = 0. Let d = r + -455. Is 10 a factor of d?
True
Suppose 55 = -13*o + 523. Suppose 26*f = 23*f - o. Let a = 44 - f. Is a a multiple of 14?
True
Suppose 0 = -2*j - 4 + 14. Suppose -2*z - 10 = -0*z, -5*o + j*z = -1915. Is 30/80 - o/(-16) a multiple of 6?
True
Suppose -19*z + 49020 = -93252. Does 78 divide z?
True
Let u(p) = -2*p**3 - 70*p**2 + 21*p - 17. Let l(v) = -v**2 - v. Let k(d) = 4*l(d) - u(d). Does 33 divide k(-33)?
False
Is 138 - -1 - (3 + (-55)/(-11) + -9) a multiple of 70?
True
Let a = 261 - -1050. Suppose -26*w + a = -23*w. Does 23 divide w?
True
Suppose -7943*i + 7921*i + 42944 = 0. Does 16 divide i?
True
Let q(y) = y**2 - 4*y - 14. Let m(z) = -2 - z + 6 - 7. Let g be m(-10). Is q(g) a multiple of 3?
False
Let d(h) = 3*h - 9. Let o be d(3). Suppose o = x - 3*x + 70. Suppose -215 - x = -5*v. Is 5 a factor of v?
True
Suppose 5*m - 2*c + 5*c - 20 = 0, -2*m - 5*c = 11. Suppose -374 = -k - u, -4*u + 753 = 2*k - m*u. Does 15 divide k?
True
Let h(a) = -2*a**2 - 22*a - 46. Let j be h(-8). Suppose j*s - 16*s + 2940 = 0. Does 56 divide s?
False
Let f(a) = 103*a + 3720. Is 16 a factor of f(-29)?
False
Suppose -4*z - u + 662 = 0, z + 4*z - 3*u = 819. Suppose 4*v + t = -z, 3*t + 187 - 28 = -4*v. Let m = 66 + v. Is m a multiple of 24?
True
Let f = 207 + -369. Let c = 199 + f. Is c a multiple of 3?
False
Let k be -1 - 2/(-6) - 5064/(-36). Is 12 a factor of (-2)/(((-8)/k)/((-180)/(-35)))?
True
Let k(i) = i**3 - 67*i**2 + 144*i + 41. Does 18 divide k(65)?
False
Is 20 a factor of -12 - 4664*3/(-6)?
True
Let l(q) = -13*q + 145. Is l(-26) a multiple of 4?
False
Suppose -2*z - t = 17 + 1, 38 = -4*z - 3*t. Does 20 divide 3 + z/((-48)/1638)?
False
Suppose -c + 2*c = 1. Let r(o) = 2*o - 122. Let a be r(63). Is 2 a factor of (-4 - (c - 1))*-1*a?
True
Suppose 44 = -98*f + 87*f. Does 17 divide ((-2)/f)/((-12)/(-24))*395?
False
Let q = -361 + 3177. Is q a multiple of 88?
True
Suppose -31*o = -50450 + 33431. Does 17 divide o?
False
Does 23 divide ((-2)/(-3))/(((-35)/(-4200))/(4554/15))?
True
Let j(p) = -36*p**3 + 4*p**2 - 9*p + 5. Let i be j(5). Does 37 divide ((-2 - 7)/(-1))/((-90)/i)?
True
Let z be (1608 - (-1 + -2))/(2/2). Suppose 0 = g + m - 949 - z, -g = -5*m - 2554. Is (-6)/(-27) + g/27 a multiple of 24?
False
Suppose 90*y = 66*y - 79*y + 684126. Is y a multiple of 19?
False
Let q(i) = 27*i**3 + i. Let s be q(1). Let c = 1346 + -1345. Is c/(-3) + s/(-12)*-4 a multiple of 9?
True
Suppose 6*b + 7 = 7. Suppose 0 = -5*c - 5*o + 75, 2*c + o - 54 + 19 = b. Suppose c*j - 732 = 17*j. Is j a multiple of 13?
False
Suppose 7*x = -13*x - 100. Is (-30)/(-9)*(-249)/x - 0 a multiple of 4?
False
Let i = 53 + -53. Suppose h - 134 + 9 = i. Let c = -75 + h. Does 25 divide c?
True
Let g be -4 - (1 + 2 - 11). Suppose -3*r + a = -g*a - 1396, 0 = r - 4*a - 470. Does 33 divide r?
True
Suppose 1128 = 2*u + 380. Let o = u + -242. Is 22 a factor of o?
True
Let l be (88/66)/(1/((-18)/(-4))). Suppose -b - 3*o - l = 0, -3*b + 4*o + 18 = -b. Suppose -4*i - v = -95, -b*i + 0*i = -3*v - 75. Is 3 a factor of i?
True
Let v(m) = 822*m**3 - 2*m**2 + 3*m. Let a be v(1). Suppose 67 = 2*c - a. Suppose -c = -3*s + 5*x, s - x - 461 = -2*s. Does 33 divide s?
False
Let m = 3925 + -1924. Is 29 a factor of m?
True
Let x = -183 + 173. Is (-7132)/(-22) + ((-120)/(-66))/x a multiple of 9?
True
Let h(o) = o**2 + 18*o - 101. Let p be h(-23). Suppose 4*t - 2166 = 2*u, p*t = 12*t - 5*u + 1053. Is 29 a factor of t?
False
Let h(x) = -63*x**2 + 3. Let s(a) = 20*a**2 - 83*a**2 + 30*a + 4 - 29*a. Let z(u) = -6*h(u) + 5*s(u). Does 10 divide z(-1)?
True
Suppose -55*p + 54*p = 4*a - 48804, 3*a - 36658 = 13*p. Is 20 a factor of a?
False
Let j(o) = -o**3 - 4*o**2 + 4*o + 2. Let x be j(-4). Does 7 divide (62/(-14) - -4) + (-2260)/x?
True
Let h = -12 - -14. Suppose -3*o + 4*o + 2*f = 12, 28 = 3*o + h*f. Let d(v) = 2*v - 5. Does 2 divide d(o)?
False
Let q(b) = -13*b + 171. Let n be q(13). Suppose -n*x = -7*x - 3*t + 2613, 2*x - 1039 = 5*t. Does 18 divide x?
True
Suppose -j - 44 = 4*z, 5*j + 13 = -7. Let q(a) = a**2 + 7*a - 554 + 182 - 4*a + 179 + 178. Is q(z) a multiple of 11?
True
Suppose 0 = 2*x - 5*t + 409 - 1176, 0 = -x - 2*t + 379. Is x a multiple of 6?
False
Let s be -4 - 471/15 - 8/(-20). Is 33 a factor of 6/5*s/(-49)*77?
True
Suppose -n - 32529 = -4*l, 5514 + 2641 = l + 3*n. Does 83 divide l?
True
Let u = 121 - 117. Let o be (-2)/u + 695/10. Let q = 38 + o. Does 12 divide q?
False
Suppose -4*i + 7*i - 5*v = 14169, 3*i = -3*v + 14121. Does 13 divide i?
False
Let v = -5044 - -39994. Is 150 a factor of v?
True
Let p be (6*(-105)/10)/(-1). Let r be (9/(p/595))/(1/5). Suppose -r = 6*j - 1595. Is j a multiple of 15?
True
Let z = -30 + 20. Let s be 776/9 + z/45. Let y = s - 72. Does 2 divide y?
True
Let d(o) = o**3 + o - 6. Let a be d(3). Let v = 58 - a. Suppose v*p + 195 = 37*p. Does 13 divide p?
True
Is (-100)/((-36)/(-9))*-2 even?
True
Let v be 2/15 + (-13)/30*-32. Suppose b - v = -6*b. Suppose -406 = -0*w - b*w. Does 36 divide w?
False
Let g = -100 + 112. 