74 a factor of s?
True
Let y be (78/156)/((-1)/(-6)). Suppose 5*o - 9*o + 1997 = y*h, -o = 5*h - 3334. Is h a multiple of 29?
True
Does 80 divide 117117/6 - 135/30?
False
Let x = 24660 - 14760. Is x a multiple of 44?
True
Let c(a) = -2*a**3 + 24*a**2 + 4. Suppose 0 = -u - 3. Let z(y) = -3*y**3 + 25*y**2 + y + 3. Let s(o) = u*z(o) + 4*c(o). Does 26 divide s(-21)?
False
Let v = 18 + -15. Does 7 divide 22/(-66) + 818/6 - v?
True
Let k(y) = 8*y - 9. Let i be k(-4). Let n(o) = 9*o**2 - 2*o - 4. Let l be n(3). Let w = l + i. Does 6 divide w?
True
Let z = -275 - -76. Let l = z + 632. Is 16 a factor of l?
False
Let t be 0 + (-6 - -11) + -212. Let j = t + 230. Is j a multiple of 23?
True
Let k be 3/(-4) + 24981/44. Suppose -3*p + 111 = -k. Is p a multiple of 6?
False
Let i(h) = 11*h - 73. Let g be i(9). Suppose g*o = 18*o + 6032. Does 29 divide o?
True
Suppose -198*t = -372340 + 37522. Is 3 a factor of t?
False
Let w(a) = 255*a - 40. Let h be w(1). Is 89 a factor of h*(0 + -7)/(-7)?
False
Let o(c) = c**3 + 83*c**2 - 54*c - 812. Is 5 a factor of o(-83)?
True
Is 17 a factor of (-5 - -10)*(24/(-4) - -421)?
False
Let l(g) = -g**3 - 10*g**2 - 17*g - 3. Let t be l(-8). Let y(r) = -r**3 + 5*r**2 - r + 2. Let s be y(t). Does 10 divide (-49)/(-1*(s + 4))?
False
Let t(b) = -20*b - 244. Let p be -10*(-8 + (-161)/(-14)). Does 26 divide t(p)?
False
Let b(p) = 73*p - 30. Let n = -705 - -715. Does 14 divide b(n)?
True
Let f = 102 - 87. Suppose 2*u - f*u = 78. Does 39 divide (-54 + 2)*27/u?
True
Is 7 a factor of 1594 - (425/(-34) + 7/2)?
True
Let m(w) = -w**3 + 4 + 60*w**2 - 35*w**2 - 3 + 5*w - 30*w**2. Let o be m(-6). Suppose n = -o*n + 1632. Is 43 a factor of n?
False
Suppose 2*k - 129 = 5*k. Let x = k + 59. Does 24 divide 47*1 + (17 - x)?
True
Let u(i) = 2*i - 13. Let f be u(10). Let j = f - 21. Let z(d) = d**2 + 13*d + 12. Is z(j) a multiple of 13?
True
Suppose -2*w = -2*b + 8, 0*b - 38 = -5*b - w. Does 18 divide ((-1008)/(-10))/(((-28)/(-20))/b)?
True
Let g(p) = 10*p - 78 + 96*p + 102. Does 15 divide g(3)?
False
Let w(u) = -u - 3. Let s be w(-3). Let k(n) be the first derivative of 3*n**2/2 + 13*n - 280. Does 11 divide k(s)?
False
Let i(u) = 91*u + 377. Is 52 a factor of i(21)?
True
Let m = 90 + -34. Suppose 380*a + m = 382*a. Is 25 a factor of a?
False
Let t(w) = -48*w - 207. Let f(s) = -10*s**2 + 3*s + 4. Let r be f(-1). Is t(r) a multiple of 9?
True
Suppose 44*k - 58361 - 234662 = 68261. Is k a multiple of 23?
True
Let j(u) = 11*u - 33. Let l be j(-5). Let q = l + 278. Let r = q + -55. Is 15 a factor of r?
True
Let w(u) = 244*u + 5430. Is w(0) a multiple of 12?
False
Let k(i) = i**3 - 18*i**2 - 9*i - 23. Let v be 95/(-10)*10/(-5). Let w be k(v). Suppose -t = -2, 4*t - w = -4*s + 17. Does 11 divide s?
True
Let f(r) = -r**2 - 9*r + 8. Suppose 2*p + 16 = 2*v, p - 3*p - 26 = -4*v. Suppose 7*z = -v*y + 2*z - 45, -2*y - 5*z = 24. Does 8 divide f(y)?
False
Let t = 3455 + -2096. Is t a multiple of 5?
False
Suppose 0 = 10*h + 564 - 204. Does 6 divide (h/(-1))/(2*(-1)/(-4))?
True
Let p = -9216 - -15121. Suppose 16*b - 11*b - p = 0. Is 70 a factor of b?
False
Suppose 11*m - 12*m = -1, x - 5*m = 8794. Is x a multiple of 15?
False
Suppose 4250676 = 13*l + 263*l. Is l a multiple of 94?
False
Let r = 57 - 52. Suppose 3*a - 12 = -a, 5*a = -r*q + 20. Is (4/12)/(q/45) a multiple of 7?
False
Let x(i) be the first derivative of i**4/2 - 8*i**3/3 + i**2 - 5*i + 133. Is 6 a factor of x(6)?
False
Suppose 0 = 4*x, 3*s = 16*x - 19*x - 726. Let b = -97 - s. Does 29 divide b?
True
Suppose -319*m + 324*m = 135. Let p = m + 277. Is 38 a factor of p?
True
Let c = -141 + 141. Suppose c = -5*m + 83 + 42. Does 25 divide m?
True
Let i(n) = 5*n**2 - n + 1. Let q be i(1). Suppose 2*g = -q*m + 527, 4*m = -2*g - 0*g + 420. Is m a multiple of 17?
False
Let n(q) = -55*q**3 - 177*q**2 - 5*q + 15. Is 83 a factor of n(-7)?
False
Let n = 582 + -214. Suppose 4*r = -3*d + 547, d + 2*r - n = -d. Is d a multiple of 7?
True
Suppose -161028 - 167451 + 92079 = -60*q. Is 14 a factor of q?
False
Let y(j) be the third derivative of 43*j**6/120 + j**4/6 - j**3/6 - 78*j**2. Is y(2) a multiple of 84?
False
Suppose 3*q - 4*s - 1 = 0, -5*q + 24*s = 25*s - 17. Suppose 0 = 3*d - 8*d + 540. Suppose q*p - d = p. Is p a multiple of 9?
True
Let m be -4*4/(-8) - -2. Suppose -m*j = 5*o - 230, -5*o - 2 + 202 = -2*j. Suppose o = 12*y - 1554. Does 28 divide y?
False
Is 46 a factor of (103560/100 - -50)/((-2)/(-20)*2)?
True
Suppose 5*z + 5*j = 2*j - 785, 5*j = 5*z + 785. Let f = z - -84. Let a = f + 121. Is 12 a factor of a?
True
Let j(l) = 2*l**2 + 4*l**3 + 4*l**2 - 3*l + l - 1 - 3*l**3. Let y be j(-6). Suppose -y*f + 236 = -28. Is 5 a factor of f?
False
Let n be (-4)/6*(-27)/6. Let w(b) be the second derivative of 2*b**3/3 + 3*b**2 - 45*b. Does 3 divide w(n)?
True
Let p = -10136 - -18125. Is 23 a factor of p?
False
Let r(v) = -v**3 + 21*v**2 - 2*v + 46. Let h be r(21). Suppose 0 = -3*p + h*x + 416, -3*x = 9*p - 5*p - 563. Does 28 divide p?
True
Is 49 a factor of (184/96*4)/(1/147)?
True
Let s = -72 + 64. Let r be 2/s*-69 - (-60)/(-240). Suppose -20*a + r*a = -96. Is a a multiple of 3?
False
Suppose -7*n = 2957 - 10342. Is n a multiple of 5?
True
Let p be (6/(-2))/((-15)/20). Let a(o) = -58*o**3 + 4*o**2 + 2*o + 5. Let s be a(p). Is (-4)/(-18) - s/45 a multiple of 27?
True
Suppose -3*a = -4*k - 210, -144 = -2*a - 2*k + 6*k. Suppose -j - 22 = 3*d, 5*j + 2*d + a = -2*d. Let n(h) = -h**3 - 9*h**2 + 7*h + 2. Does 4 divide n(j)?
True
Let c(l) = -l**3 - 6*l**2 - 16. Let p(k) = -k**2 + 1 + 9 - 1. Let v be p(4). Is 11 a factor of c(v)?
True
Let h = -292 - -308. Let z(u) = -u**2 + 26*u - 96. Does 2 divide z(h)?
True
Suppose -1060860 = -30*s - 116105 + 253145. Does 121 divide s?
True
Suppose -30*o = -9*o - 47565. Does 10 divide o?
False
Let a(w) = -34*w**2 - 730*w - 37. Is 12 a factor of a(-19)?
False
Let v(t) = 380*t + 1921. Is 26 a factor of v(4)?
False
Suppose -12 = -4*g + 7*g, -5*g - 10 = -2*p. Does 2 divide 5 - (-14)/(-7) - p*5?
True
Suppose 3*o = -u - 7*o - 8, -2*u - 3*o = -1. Suppose f + 0 - 4 = -s, 0 = -4*s - 5*f + 20. Suppose s*n - 2*a - 27 = -n, -5*a = -u*n + 56. Is n a multiple of 5?
False
Let x be ((-6)/18)/(3/(-18)). Suppose 3*z - x = -5. Does 15 divide -21*(-2 - 0/z)?
False
Suppose 70990 = 13*y - 8*y + 5*w, -4*y - 2*w + 56804 = 0. Is 268 a factor of y?
True
Let v = 60 + -64. Let y(o) = -o**3 + o**2 - 5*o - 3. Is 22 a factor of y(v)?
False
Suppose -6*h - 29 - 25 = 0. Is h/18 + 1924/8 a multiple of 15?
True
Let f be (-40)/(-12)*(-1032)/(-20). Let l = -116 + f. Is l even?
True
Let o(v) = 6*v**3 - 44*v**2 + 22*v + 12. Is 27 a factor of o(11)?
True
Let z(n) = 17*n**2 - 4*n - 6. Suppose 4*a + 37 = 17. Is 35 a factor of z(a)?
False
Let n(j) = 3*j**3 - 225*j**2 + 132*j - 108. Is n(75) a multiple of 136?
True
Suppose -5*r + 5*t = -0*r - 6385, 2557 = 2*r - t. Is r/(-2)*(-2)/4 a multiple of 32?
True
Let b(k) = -2*k**3 - 24*k**2 + 347*k - 95. Is 35 a factor of b(-27)?
False
Suppose 1014 = 2*w - q, 3*w - 4*q = 5*w - 1014. Let s = w + 178. Is s a multiple of 19?
False
Let y(g) = -g**3 + 6*g**2 - 6*g + 7. Let i be y(5). Suppose i*d - 5756 = -3*d - 2*k, -5*k = -2*d + 2314. Is d a multiple of 64?
True
Let i be 3/(6/32) + -2. Let d = -2 - i. Is 2*2 + 28 + d a multiple of 3?
False
Let g(a) = 12*a + 336. Let k be g(0). Let l = k - -327. Does 6 divide l?
False
Let a(u) = -258*u - 1539. Does 109 divide a(-17)?
False
Suppose 5*t = -s + 41794, -422*s + 427*s + 25082 = 3*t. Is 13 a factor of t?
True
Let z = -33 - -40. Suppose -11*g - 28 = -z*g. Is 3 a factor of g + (4 - 0) - -23?
False
Suppose -590 = -4*j + 2*m, 5*j - 3*m + 277 = 1012. Let n = j + 130. Is 14 a factor of n?
True
Suppose 4*n + 15*d + 353 = 16*d, -4*n + 3*d = 363. Let t(v) = -2*v - 1. Let y be t(-1). Does 6 divide -4*n/24*(y + 1)?
False
Suppose -2*a - 2*a - 5*r - 3526 = 0, 0 = -5*a + 2*r - 4424. Let k = -47 - a. Is k a multiple of 60?
False
Let l(w) = -10*w + 57*w**2 + 4 - 55*w**2 + 6. Let q be l(4). Suppose -2*v - 88 = -4*v - q*z, -v = 2*z - 48. Is v a multiple of 17?
False
Suppose -52*t = -79*t + 87480. Is t a multiple of 54?
True
Suppose -4*y + 4*o - 24 = 0, -2*y = 2*o - 3 - 1. Is ((-603)/18)/(y/12) a multiple of 11?
False
Let y(r) = 2*r**2 - 6*r + 18. Let l be y(4). Suppose -l