 0. Is 10 a factor of r?
True
Suppose -14*b - 10965 = -22*b - 9*b. Is 5 a factor of b?
True
Let a be ((79 + 0)/(2 + -1))/(-1). Let d = a - -90. Let g = 39 - d. Is 5 a factor of g?
False
Let s(k) = -10*k - 75. Let f be (-406)/21 + 4/12. Is s(f) a multiple of 5?
True
Suppose -i + 2330 = -5*y, 5*i + 4483 = 5*y + 16173. Does 26 divide i?
True
Let r(t) = 2*t + 16. Let s = 31 + -31. Let i be r(s). Is (12 - 0)/(6/i) a multiple of 16?
True
Let v = -4892 + 15112. Is v a multiple of 140?
True
Let t be -1 + -3 + 11 + 137. Suppose -4*b + t = -288. Does 9 divide b?
True
Let j(h) = -5*h**3 + h**2 + h. Let n be j(-1). Suppose 5*b + 2*z - 1178 = 0, 4*b - n*z - 312 = 604. Is b a multiple of 39?
True
Suppose -3*d + 19008 = -5*r, 3*r + 16892 = 3*d - 2110. Is d a multiple of 29?
False
Let c(p) = p**2 + 9*p + 8. Let u be c(-1). Suppose i + i + a - 230 = 0, u = 5*i - 4*a - 575. Is i a multiple of 5?
True
Let h be (-2691)/9 + (2 + -1 - 1). Is (-113068)/h - (-4)/(-26) a multiple of 21?
True
Suppose -2*v = 16, -327*r - 63530 = -329*r - 4*v. Is 84 a factor of r?
False
Suppose -10*s = 1355 + 1605. Does 17 divide (s - -55)/(1 - (-2)/(-1))?
False
Let w(l) = 99*l**2 + 40*l - 122. Does 13 divide w(3)?
False
Let f(d) = -5*d**2 - 4*d**2 - 12 + 7*d**2 + 3*d**2 - 13*d. Does 15 divide f(-11)?
False
Let p(s) = 844*s - 679. Is 3 a factor of p(4)?
True
Let y(l) = 27*l**2 - 10*l - 130. Is y(8) a multiple of 18?
False
Suppose 2*w - 6891 - 1677 = -2*g, 3*w - 12876 = 3*g. Is w a multiple of 67?
True
Let c(v) = 406*v**2 - 90*v - 252. Does 9 divide c(-3)?
True
Is 25 a factor of ((-37)/12)/(26/(-199641)) - 30/80?
True
Is (-22 - -16)/((-2)/3081) a multiple of 86?
False
Let i = -5208 + 9055. Is i a multiple of 17?
False
Let x(z) = -2382*z + 635. Is x(-6) a multiple of 23?
True
Suppose r + 5*r - 26788 = -9550. Is r a multiple of 6?
False
Suppose t - 478 = -2*f + 7, 5*t - 3*f - 2412 = 0. Is 7 a factor of t?
True
Let v(o) = 1796*o + 12. Is 77 a factor of v(5)?
False
Does 24 divide 2*22/(308/17661)?
False
Let x(f) = 168*f**2 + 19*f - 126. Is x(6) a multiple of 49?
False
Suppose 141321 = 173*q - 219384. Is 139 a factor of q?
True
Does 15 divide 3*-1*(-2092 + -11)*(-1)/(-3)?
False
Suppose 23142 - 71094 = -27*r. Is 6 a factor of r?
True
Suppose -160 = -5*k + 3*s, 0*s = 2*k - 3*s - 73. Suppose 33*d = k*d + 52. Suppose d*o - 1050 = 6*o. Does 25 divide o?
True
Let n = -42 - -12. Let m be (20/n)/(1/(-3)). Suppose 2*z - 3*f - m*f - 446 = 0, z - 222 = 3*f. Is 32 a factor of z?
False
Suppose g + g = g. Suppose g = 10*b - 5*b + 235. Let v = 22 - b. Is 23 a factor of v?
True
Let v = 7621 - 7348. Does 2 divide v?
False
Let u(j) = -j - 1. Let w(x) = 12*x + 6. Let v(a) = 9*u(a) + w(a). Suppose 40 = -0*o + 4*o. Is v(o) a multiple of 27?
True
Suppose 4*h - 21 = 3*r, 19*r - 6 = -h + 20*r. Suppose 3*d = -9, h*z = -4*d + 9 + 255. Does 46 divide z?
True
Suppose -x = -q - 17451 + 4217, 0 = -4*x - 5*q + 52900. Is x a multiple of 35?
True
Let v be 2*(18/(-4) + 3). Let i(g) = -172*g + 50. Is i(v) a multiple of 8?
False
Let c be (-36)/21*315/(-6). Let j = -63 + c. Does 5 divide j/9 - (2 - 14)?
True
Suppose -a - 4 = -17. Suppose 12*l = a*l - 672. Suppose l = 42*w - 38*w. Is w a multiple of 14?
True
Let i(h) = h**3 + 14*h**2 - 16*h - 10. Let o be (-10 - -5) + 20/(-2). Let x be i(o). Suppose 5 = -x*j, -4*t + 0*t = -2*j - 398. Is 29 a factor of t?
False
Suppose 2*s - 12 + 6 = 0. Suppose 3*q - s*b - 249 = 0, b + 4*b + 5 = 0. Is 52 a factor of q?
False
Let x(s) = s**2 + 19*s + 39. Let v be x(-17). Suppose -v*k - 341 + 1051 = 0. Suppose -5*z + 3*z + k = 5*g, 334 = 5*z + 2*g. Is z a multiple of 6?
True
Let b be (9 - 4 - 3) + 0. Let r be -26*b*(-14)/4 + -2. Suppose 0 = 8*g - 3*g - r. Is 4 a factor of g?
True
Let p(n) = 3*n**3 + 14*n**2 + 13*n - 19. Let w(t) = -t**3 - 4*t**2 - 4*t + 6. Let v(k) = -2*p(k) - 7*w(k). Let s = 2 - -3. Is v(s) a multiple of 21?
False
Let l be (3*-3)/((-10)/(-330)*11). Let p(v) = -v**3 - 26*v**2 + 7*v - 3. Does 53 divide p(l)?
False
Let s(a) = -302*a - 120. Let k be s(-11). Let q = k - 2176. Is q a multiple of 9?
True
Suppose -469*f - 1085084 + 186296 = -535*f. Does 26 divide f?
False
Let k = 373 + -370. Suppose 3*x - 3*u - 1100 = -41, k*u - 3 = 0. Is 9 a factor of x?
False
Suppose -7*k = -19*k + 2520. Does 12 divide 2803/15 + 28/k?
False
Suppose 56 = -11*a + 15*a. Suppose -4*w = -4*o + 14 + a, 5*o = -5*w - 5. Suppose 171 = o*t - 84. Does 17 divide t?
True
Let j be ((-285)/(-10)*-2)/((-15)/20). Let s = j + 221. Does 27 divide s?
True
Let r(p) be the second derivative of p**4/6 + p**3 + 13*p**2 + 2*p + 44. Is 48 a factor of r(-9)?
False
Let x(s) = s**3 - s**2. Suppose -2*p = -8, -3*q + 5*p = -0*p + 5. Let t(j) = 4*j**3 + 2*j**2 - 4*j - 2. Let o(y) = q*x(y) - t(y). Is 15 a factor of o(7)?
True
Let f(h) = 21*h - 45. Let m be f(7). Let j = m - 36. Suppose x - 4*i - j = 0, 0*x - i + 288 = 5*x. Is 43 a factor of x?
False
Suppose -4*m - 2*k + 23 = k, -4*k + 12 = -4*m. Suppose m*f = 4, -4*f - 220 = -2*n - 2*n. Let s = 25 + n. Does 10 divide s?
False
Let c = -159 - -159. Suppose 5*h - 2*g - 3143 = c, -3*g - 619 = -h - 5*g. Is 33 a factor of h?
True
Let u be 9270/36*(-224)/(-10). Suppose -u = 133*v - 141*v. Is v a multiple of 12?
False
Let g(c) = -2*c**3 - 11*c**2 - 25*c + 21. Is g(-12) a multiple of 51?
True
Let a(y) = -y**3 - 2*y**2 - 9*y - 8. Let q be a(4). Let h = 705 + q. Is h a multiple of 44?
False
Let a = 14409 + 24936. Does 215 divide a?
True
Suppose 0*p + 4*p - 668 = 0. Let o = p + -64. Does 11 divide (o - (5 - 4)) + -3?
True
Suppose -13*t = -18*t - 3*p + 27841, -3*t - 2*p = -16705. Is t a multiple of 84?
False
Is 48 a factor of ((-10)/(-30))/((-1)/189)*-163?
False
Suppose 0 = 2*a + 5*z + 793, -2*a + 3*z + 0*z = 817. Let r = a + 1924. Does 40 divide r?
True
Suppose -19*l - 192 = -7*l. Is l/40 + (-6726)/(-15) a multiple of 64?
True
Let a be ((-6)/5)/((21/20)/(-7)). Let n = a + 96. Is n a multiple of 13?
True
Let m be 25/(-15)*(-240)/25. Suppose m*l = 139 + 2901. Is l a multiple of 6?
False
Suppose -4*x + 10 + 2 = 0. Let f be 46 + 3/(x/(-2)). Suppose 4*q - 197 = -0*i + i, -5*i = q - f. Is 19 a factor of q?
False
Let a(k) = -k**3 + 24*k**2 - 7*k + 12. Let z be a(23). Let j = z - 303. Does 2 divide j?
False
Let p be (2/6*(-27)/18)/(3/12). Let z = 1 - -1. Does 11 divide (z/(p/(-197)))/1?
False
Suppose 15*k - 9671 - 5089 = 0. Does 123 divide k?
True
Suppose -4*s + 73 + 11 = d, -322 = -4*d - 2*s. Suppose 3*n + k - d = 0, 125 - 5 = 4*n - 2*k. Does 7 divide -2 + 7/(n/64)?
True
Let i(n) = n**2 + 13*n - 56. Suppose -3*z + 0*z - 4*c = -37, -c = 2*z - 18. Is i(z) a multiple of 19?
False
Suppose -1363 = -x + s, 3*x + 9*s - 4*s = 4113. Is 52/156 - x/6*-1 a multiple of 12?
True
Suppose -14*b = 14*b + 223354 - 688546. Is 9 a factor of b?
True
Suppose -3*q + 2*m = 194, 96 = -2*q + m - 33. Is 9 a factor of (q/(-6))/(32/1536)?
False
Let g(z) = 3*z - 40. Let l be g(20). Suppose -4*c + l = 3*i, c - 16 = -2*i - 3*c. Suppose -t - 277 = -i*u, 0*u + u - 61 = 3*t. Does 14 divide u?
True
Let b be ((-8)/(-32))/(3/(-996)). Let m = b - -144. Does 10 divide m?
False
Suppose 0 = 560*z - 290*z - 514620. Is z a multiple of 16?
False
Suppose 0 = 5*k - 3*j + 6*j - 29, -4*k = -j - 13. Suppose -k*p + 5 = 13. Let y(a) = -12*a**3 + 3*a**2 - 2*a - 4. Does 36 divide y(p)?
True
Let r(t) = -3*t**2 - 30*t + 10. Let x(m) = -5*m**2 - 61*m + 20. Let u(q) = -3*q - 46. Let a be u(-19). Let s(p) = a*r(p) - 6*x(p). Does 25 divide s(10)?
True
Let p be 2 + (-4 - 14 - 4). Let s be p/(-60) - (-10)/6. Suppose 0 = s*x + 3*g - 76, x + 3 = 4*g + 19. Is 16 a factor of x?
True
Let r(k) = 3*k - 25. Let f be r(10). Suppose f*v + 12 = -u, 2*u = 4*v + 31 - 13. Suppose -5*t + u*t - 282 = -4*j, 144 = 2*j - 2*t. Does 23 divide j?
True
Let w(y) = 2*y**2 - 8*y - 8. Let d be w(6). Suppose 14*s - 168 = -m + d*s, 0 = 2*s + 10. Does 3 divide m?
False
Is 2176/((-209)/(-330) - (-12)/(-90)) a multiple of 64?
True
Let q(y) = 9*y**3 - y**2 - 8*y. Let c be (7 + -4)*(0 - -1). Is 14 a factor of q(c)?
True
Let p = -86 + 102. Suppose -14*i = -p*i + 728. Is 52 a factor of i?
True
Let h = 268 - 272. Is 6 a factor of (-12)/4 + ((-172)/h - 4)?
True
Let v be 1/((-3)/(-123)) + -1*3. Suppose -3*y + 87 = -3*k, 3*k + 0 = -2*y + v. Is y a multiple of 5?
True
Let l(a) = 134*a - 2. Let s be l(1