6451 - 39525. Is 23 a factor of u?
True
Let j = -429 - -434. Suppose j*i - 178 = -3*o + 321, -o + 2*i + 170 = 0. Is 7 a factor of o?
True
Let s = 11454 - 5968. Does 13 divide s?
True
Let g(r) = -23*r - 4. Let b be g(-7). Suppose -8*c - 21 = -b. Suppose -z - 11 = -3*d, -d + c = -0*d + 3*z. Is 5 a factor of d?
True
Suppose 0 = -269*a + 197*a + 3267864. Is 21 a factor of a?
False
Suppose -2209 - 2626 = -16*r + 813. Is r a multiple of 14?
False
Suppose 15 = -2*b + 7*b. Suppose -22 + 42 = 10*u. Suppose -4*x - 3*g = -112, 74 = u*x - b*g - 0*g. Does 17 divide x?
False
Let y = 88 - -136. Suppose 5*s - y = -2*s. Is (-12)/(-8)*-2 + (s - -1) a multiple of 3?
True
Let r = -57 - -40. Let z be 40/12 - 3 - 8/24. Does 20 divide (-215 - z)*(-18 - r)?
False
Let v(w) = -w**3 + 2*w**2 - w - 2. Let u be v(-1). Suppose 14*z = -u*y + 13*z + 733, 3*y + 3*z - 1107 = 0. Does 4 divide y?
True
Suppose 3*t - 2*o = -0*t + 56, 0 = -5*o - 5. Suppose -3*y - 26 = 4*f, 3*y - f - 4 = f. Let z = y + t. Does 6 divide z?
False
Suppose 71*h - 78*h + 167146 = 3*t, 5*t + 4*h - 278638 = 0. Does 12 divide t?
False
Suppose 2*y = 3*y - 482. Let k be -3 - (-24)/7 - y/14. Let f = k - -110. Does 12 divide f?
False
Let g(p) = p**3 + 11*p**2 - 3*p + 18. Let l(f) = 2*f + 29. Let m be l(-20). Does 7 divide g(m)?
False
Let l(d) = -279*d + 32. Is 11 a factor of l(-22)?
False
Let y(x) = 11 - 3*x**3 + 12*x**2 - 18*x**2 - 20*x**2 + x. Is y(-9) a multiple of 6?
False
Is -15 + 13 + (894 - (-11 + 7)) a multiple of 39?
False
Let u be (12/5*-1)/(273/910). Is ((-128)/(-6) + -4)*(1 - u) a multiple of 98?
False
Let k be -3 - (-136)/16 - (-2)/(-4). Suppose -2*h - 64 + 720 = -5*b, -k*h + 4*b = -1674. Is 7 a factor of h?
False
Is 925*(4 - 51/15) + -5 a multiple of 11?
True
Let s(i) = -39*i - 138. Let h be s(-10). Is (-7 + 1)/(9 - 2276/h) a multiple of 21?
True
Suppose 0 = -7*p + 3*p + 96. Let z(s) be the first derivative of s**4/4 - 8*s**3 + 3*s**2/2 - 60*s - 228. Is 7 a factor of z(p)?
False
Does 47 divide 4 + -8 - (-11589)/2*(-22)/(-11)?
False
Let x = 477 + -455. Suppose 11*o + 8316 = x*o. Is o a multiple of 9?
True
Let v(k) be the first derivative of 2*k**4 - 5*k**3/6 + 2*k**2 + 21*k - 20. Let s(p) be the first derivative of v(p). Does 15 divide s(2)?
True
Let c(l) = -l**2 + 26*l + 21. Let t be ((-12)/(-6))/((-2)/(-12)). Is c(t) a multiple of 5?
False
Suppose -70*b + 1932 = -66*b. Suppose b + 165 = 27*h. Is 5 a factor of h?
False
Let v = 39 - 30. Let a(z) = z**3 - 10*z**2 + 9*z + 5. Let b be a(v). Suppose -b*w = g - 9 - 93, -g = 3*w - 62. Is 5 a factor of w?
True
Suppose -5*o + 1733 = 2*f, -2565 = -8*f + 5*f + 4*o. Suppose -4*a = 5*v - 1176 - 531, 0 = 2*a - 3*v - f. Is a a multiple of 44?
False
Let j be 0*(-2)/4 - -2. Let f be 88/10*10/2. Suppose -j*p = -f - 32. Is p a multiple of 19?
True
Does 9 divide 5816/4 + 0 - (5 - 0)?
True
Let i = -14345 + 24377. Is i a multiple of 12?
True
Let m = -1439 - -1643. Is 6 a factor of m?
True
Let s(t) = -634*t - 4551. Is 12 a factor of s(-11)?
False
Suppose -5*n + 4*z + 1083 = 0, 2 = z + 4. Let x = -95 + n. Suppose 3*r - x - 48 = 0. Is r a multiple of 7?
True
Suppose 282 = 5*o - b - 5748, -2*b = 0. Let u = -614 + o. Does 37 divide u?
True
Let w = 1101 - -411. Is w a multiple of 84?
True
Let r(b) be the first derivative of 16 - b**2 - 8 + 5*b + 2*b**2 + 8*b**2. Does 11 divide r(4)?
True
Suppose z = -5*p + 11557, 0 = -4*p - 2*z + 5168 + 4074. Suppose 0 = 4*c + 4*k - p, 0 = -2*k - 12 + 4. Is 12 a factor of c?
False
Suppose 0 = -417*d + 180*d + 108783. Is 27 a factor of d?
True
Let k = 33165 - -1145. Is 146 a factor of k?
True
Let q be (-2*20)/1*4. Let b = 277 + q. Is b a multiple of 26?
False
Let j = 10663 + 9057. Does 29 divide j?
True
Let k(z) = 85*z + 7985. Is 65 a factor of k(-19)?
True
Suppose 894 + 2506 = 10*g. Suppose -2*q = -2*u - g, -39*u = -5*q - 37*u + 844. Is q a multiple of 14?
True
Let r = 390 + -1151. Let c = 515 + r. Let m = c - -467. Is m a multiple of 17?
True
Let d be 275*(12/(-10))/3. Let f = -506 + 526. Does 9 divide (-1588)/(-22) + f/d?
True
Suppose -w = -2*m + 87 + 36, 4*w + 2*m = -542. Suppose -5*s = 273 + 197. Let y = s - w. Does 15 divide y?
False
Let a(x) be the first derivative of x**4/4 - x**3/3 - 3*x**2 - 6*x - 1. Let v = -488 + 494. Is 23 a factor of a(v)?
True
Let s(a) = 26*a**2 + 67*a + 608. Is s(-10) a multiple of 9?
True
Is 143 a factor of (-1339)/(-4)*124/310*10/1?
False
Let f(r) = 3*r - 8. Let u be f(-4). Let s = 794 - u. Suppose -s = -6*p + 410. Is 16 a factor of p?
False
Suppose 210 = 4*d - 2*q, -q = -d + 42 + 13. Let b be (8/(-5))/(20/d). Is 15 a factor of 34 + (-2 - b) + 1?
False
Let s = 50 + -37. Suppose 2*q + s = 5*b, 5*q + 7 = 2*b + 6*q. Suppose b*t = 4*t - 67. Does 16 divide t?
False
Let y(g) = -g**2 - 15*g + 21. Let k be y(-16). Suppose 4*n + 100 = d, 6*n - k*n - 3 = 0. Is d a multiple of 14?
True
Let d be 1/(-3)*-15 + 7 + -15. Is (d - -16)/(-39) + (-217)/(-3) a multiple of 24?
True
Suppose -31*c - 4*n = -32*c + 249, 4*c = 9*n + 989. Does 245 divide c?
True
Let v(w) = 5664*w**2 + 325*w + 651. Is v(-2) a multiple of 12?
False
Let j(q) = 18*q - 24. Let p = 715 + -693. Is j(p) a multiple of 6?
True
Let s(t) = 34*t**3 + t**2 + 2*t + 4. Let l be s(3). Let r = -1378 + l. Is 12/(r/(-540) - 2/3) a multiple of 16?
True
Let v(b) = -1320*b**3 + 52 + 1321*b**3 + 11*b**2 - 3*b + 6*b**2. Is v(-16) a multiple of 24?
False
Suppose -3*z + 65538 = 3*s, 0 = -s + 662*z - 660*z + 21822. Is s a multiple of 61?
True
Let u = -183 - -188. Suppose 0 = -u*r + 10, 2*c - 3*c + 3*r = -176. Is c a multiple of 19?
False
Suppose 65*g + 36873 - 228033 = -55*g. Is g a multiple of 111?
False
Let v = -1443 - -989. Let t = v + 714. Is t a multiple of 5?
True
Is (1/((-20)/64 + 0))/((-60)/71250) a multiple of 4?
True
Let g = 11184 - 7716. Does 12 divide g?
True
Let g(l) = -6*l - 84. Let i be g(-17). Suppose -i*m + 3391 = -3917. Does 37 divide m?
False
Let v(g) = -g**2 + 37*g + 70. Let l be v(27). Let q = l + -253. Is q a multiple of 4?
False
Let g = 8174 + -8172. Let n = 123 - 68. Suppose -5*v + d - g*d = -n, -v - 4*d + 30 = 0. Is v a multiple of 4?
False
Suppose 4*x - x - 5*s - 5 = 0, 2*x = -3*s + 16. Is 166 + -1 + (x - (5 + 1)) a multiple of 21?
False
Suppose -3457*o + 317719 = -3426*o. Is 37 a factor of o?
True
Let v = -11 - -14. Suppose 0 = v*g + 41 + 109. Does 2 divide (g/20)/(2/(-4))?
False
Suppose -2*r + 13 = u, 0 = 3*r + r - u - 17. Let h be (-20)/r + (0 - -4). Let q(x) = -x**3 + 60. Is q(h) a multiple of 15?
True
Does 9 divide (59412/14)/((-1650)/(-5775))?
False
Let c(p) = p**3 - 72*p**2 - 134*p - 278. Does 14 divide c(78)?
True
Let a be -35*(145/(-25) - -5). Let o = a - 90. Let r = o + 76. Does 4 divide r?
False
Is 23 a factor of ((2 - 10) + 6574/114)/((-1)/(-27))?
False
Suppose -8*z = -4*z - t - 15, 0 = 5*z - 2*t - 15. Suppose -3*p - z*o + 558 = 0, 2*o - 5*o = -5*p + 930. Does 31 divide (p/1)/(21/14)?
True
Suppose -7*o = -15*o + 336. Let m(h) = -h**2 + 4*h - 3. Let f be m(5). Let j = f + o. Is j a multiple of 7?
False
Let k(g) = 2*g**3 - 18*g**2 + 35*g - 3. Let t be k(6). Does 19 divide (33008/56 - t/(-21))*1?
True
Let u(m) = -5*m**3 + 2*m**2 - 2*m - 2. Let t(h) = -h - 22. Let r be t(-17). Let j(c) = c + 4. Let s be j(r). Does 6 divide u(s)?
False
Let g be 19/(8/((-16)/(-6)) - 2). Suppose g*c - 2315 - 2302 = 0. Does 3 divide c?
True
Let a(l) be the third derivative of -l**4/8 + 4*l**3 + 7*l**2 - 3. Does 10 divide a(-8)?
False
Let a(v) = -12449*v**3 + 3*v**2 + 56*v + 52. Does 16 divide a(-1)?
True
Let q(x) = -x**3 + x + 4. Let y be q(-2). Let o be y/(-25) + (-1513)/5. Does 11 divide o*(-3 - (-40)/15)?
False
Suppose -7*r = 12 - 47. Suppose r*x - 17 = -2. Suppose 0 = -2*s + 5*g + 285, x*g = 5*s + 2*g - 724. Is s a multiple of 19?
False
Let y(t) = -2*t**3 - 31*t**2 - 5*t + 32. Let h be y(-23). Is 5*h/135 - 4/(-6) a multiple of 87?
False
Suppose -123*b + 127*b = 248. Suppose r = 5*f + b, -5*f + 7*f = -4. Is r a multiple of 4?
True
Suppose 0 = 3*o - 2*k - 8260, 5*o + 1153 = -3*k + 14926. Is o a multiple of 51?
True
Suppose 0 = -4*l - 2*z + 2960, -31*l + z - 3700 = -36*l. Does 74 divide l?
True
Let x = -472 - -855. Suppose 5*q = 3*m - x, -2*q - 2*q - 508 = -4*m. Is 5 a factor of (18/21)/(3/m)?
False
Is (-7 + -2)/(5/(-30)) a multiple of 6?
True
Suppose r = 4*y +