 b = -3614 - -20579. Does 65 divide b?
True
Let o(l) = 68*l**2 + 28*l - 17. Let q(h) = -137*h**2 - 53*h + 34. Let s(v) = -7*o(v) - 4*q(v). Is 18 a factor of s(1)?
False
Let l(r) = r**3 + 21*r**2 - 15*r - 26. Is 114 a factor of l(8)?
True
Is (-4 - -161)*(4 - 1) even?
False
Let t(b) = -331*b**3 + b**2 - 2*b - 2. Let f be t(-1). Let i = 472 - f. Is 10 a factor of i?
True
Suppose -15*u = 15*u + 1440. Does 57 divide u - -44 - (-3)/((-6)/(-920))?
True
Let k(p) = 2*p**2 - 9*p + 98. Let l be k(18). Let q = -312 + l. Does 16 divide q?
True
Let y = 159 - 96. Suppose 5*a = 7*q - 3*q - 221, -4*a = -q + 168. Let n = a + y. Is 11 a factor of n?
True
Let f = 33 - 0. Let w be (-2)/(((-104)/39)/4). Does 34 divide f/(-3)*-12 - (-12)/w?
True
Suppose 0 = -20*p + 33*p - 26. Suppose -p*m + 1852 = -4*k, 86*m = 90*m - 4*k - 3708. Is 116 a factor of m?
True
Suppose -12*d + 1498240 = -4*d + 32*d. Does 16 divide d?
True
Let h = 35 - 47. Let j be 2/h + (-413)/42. Is 12 a factor of (-1 - (-5)/j)/(2/(-128))?
True
Suppose 4*u - 7 = 3*f, 4*f = 5*u + 2 - 10. Suppose 5*k - 602 = -u*q, -5*q - k = -0*k - 742. Suppose -5*o + q + 37 = 0. Is o a multiple of 4?
False
Let d(w) = w**3 + 7*w**2 - 9*w - 3. Let c be d(-8). Suppose c*b - 858 = 172. Is 25 a factor of b/(3 - 1) + -3?
True
Let a = -14572 + 20159. Is 40 a factor of a?
False
Let q = 1020 - -8079. Is q a multiple of 27?
True
Let t = -80 - -85. Suppose v = -t*b + 10, 12 = 3*v - 4*b + 1. Suppose -2*m - 85 = -2*r + 49, -r - v*m = -73. Does 13 divide r?
False
Suppose -31189 = -t + 230*v - 226*v, 0 = -4*v + 36. Is t a multiple of 91?
False
Let k be (-2 + (-369)/45)*-5. Let a = k + 982. Does 81 divide a?
False
Suppose 468*x = 4892037 - 230757. Is x a multiple of 60?
True
Suppose -a - 49 = 5*f + 2*a, f - 4*a = 4. Let s be (f/20)/(2/(-760)). Suppose -3*h + 3*o = -o - 146, -3*h = 2*o - s. Is h a multiple of 4?
False
Suppose -54 + 66 = 2*z. Is 42 a factor of 41 + (-69)/(-46)*4/z?
True
Is -6 - 4566/(-12)*(-12)/(-1) a multiple of 16?
True
Let d(b) be the second derivative of b**4/12 + 7*b**3/6 + 23*b**2 + 36*b. Is 2 a factor of d(-8)?
True
Suppose 5*u - 11 = -5*z + 29, 0 = 2*u + 5*z - 10. Let j(f) = -15*f - u - 6 + 23*f. Is 17 a factor of j(6)?
False
Suppose -2*a - 12 = -16. Suppose -8 = -4*r - 0*r. Suppose -4*c + 188 = -r*f - a*f, -3*f - 12 = 0. Does 4 divide c?
False
Is ((-36)/10 + 2)/((-1560)/20619300) a multiple of 16?
False
Suppose 6*z = 2*z + 32. Suppose z = 2*y + 4. Does 5 divide -1 + 1 + 22 - y?
True
Let s = -43 - -19. Suppose -5*q - 230 = 29*p - 24*p, 4*p + 209 = q. Let k = s - p. Does 27 divide k?
True
Let q be 60/36 - (-2 + 1)/3. Is 5 a factor of q/(-8) + 7491/44?
True
Let r(f) be the third derivative of f**5/60 + 7*f**4/12 - f**3/6 - 14*f**2. Let k be r(-14). Does 12 divide 15141/105 - k/(-5)?
True
Let o be 5 - ((-26)/(-8))/(1/(-68)). Let r = 818 - o. Is 74 a factor of r?
True
Let k = 31 - 18. Suppose -k*c = -4*c + 630. Let a = 145 + c. Does 25 divide a?
True
Let s(c) = 4*c + 14. Let x be s(-4). Let t be 39 + (-2 + 2)/x. Suppose -3*d + t + 3 = 0. Does 7 divide d?
True
Let s be 96/(-40)*(0 - -65). Let a = 461 + s. Is 13 a factor of a?
False
Suppose -118 = -3*v + v. Suppose 25 = -5*h, -2*a + 7*a = -4*h. Is v + a + 0 + 4 a multiple of 16?
False
Suppose -45*m = -57*m + 126396. Is m a multiple of 119?
False
Suppose 0 = -5*w + 2*x - 9, -3*w = -8*w + 5*x - 15. Is (-2352)/70*(-26 + 0 - w) a multiple of 22?
False
Let f = -5357 - -6438. Is 2 a factor of f?
False
Let u = 9308 - 2700. Does 7 divide u?
True
Is ((-34)/(-5) - (-1)/5) + -6 + 92468 a multiple of 13?
True
Let k = -252 + 271. Suppose -20*a + k*a + 2*g + 172 = 0, 0 = 2*a + 4*g - 304. Is 27 a factor of a?
True
Is 48 a factor of 245201/(16 + -5) - 4*(-6)/4?
False
Let c(j) be the third derivative of -j**6/720 + 7*j**5/60 + 19*j**4/24 + 12*j**2. Let q(v) be the second derivative of c(v). Does 5 divide q(6)?
False
Suppose 0 = 62*x - 66841 - 1500891. Is 269 a factor of x?
True
Suppose 2*c + 4 = 2*k, 0*k + 3*k + 6 = -c. Let a(l) = 167*l**2 - 2. Let j be a(k). Let i = j - 140. Does 5 divide i?
True
Let v = -25766 - -31290. Does 24 divide v?
False
Let q = 26128 + -10304. Is q a multiple of 184?
True
Let v(t) = 36*t**2 + 56*t - 482. Is 53 a factor of v(18)?
True
Let q = -5349 - -10075. Is 34 a factor of q?
True
Let t be (21/14)/(9/(-18)). Is 17 a factor of (t + (137 - -2))/(28/350)?
True
Suppose 0 = 2*j + 2*y, 0*j - 3*y - 10 = j. Suppose 6*h + 65 - j = 0. Let n(s) = -s**3 - 11*s**2 - 12*s - 4. Does 6 divide n(h)?
False
Suppose -r + 23 = 16. Suppose -f = 3*x + 3, -5*f - r*x + 57 = -10*x. Let w(b) = 2*b**2 - 15*b + 16. Is w(f) a multiple of 12?
False
Let v(m) be the first derivative of -22*m**2 - 65*m - 54. Is 31 a factor of v(-5)?
True
Let g(n) = -8*n**2 + 120*n + 4. Let s be g(12). Let t = s - 164. Is t a multiple of 32?
True
Let x(l) = 5*l**2 + 15*l + 2. Let t be x(-7). Let a(i) = i**2 - 9*i - 10. Let m be a(9). Let h = t + m. Does 44 divide h?
True
Suppose 0 = -5*h + 2*h - 24206 + 85031. Is h a multiple of 35?
False
Let o(k) = -122*k**3 + 3*k + 4. Let r be o(-1). Is 13 a factor of 5 + -2 + 2 + r?
False
Suppose 4*t + d = 1341, d + 339 = -0*t + t. Suppose 4*r = -8*r + t. Is r a multiple of 7?
True
Let l(s) = -2*s**2 - 14*s + 12. Let j be l(-11). Let a = 225 + j. Is 3 a factor of a?
False
Let o be (1/((-4)/26))/((-9)/954). Let l = o + -589. Is l a multiple of 20?
True
Is 79 a factor of ((-1558)/6 - -7)/(4/(-30))?
False
Suppose 204 = 5*l - 26. Suppose 5*z - l = 79. Does 4 divide 1150/z - -1*4?
False
Does 30 divide 1 - (12415/(-1) + 9 + (-104)/8)?
True
Let b(j) = 60*j + 2344. Does 14 divide b(-33)?
True
Suppose -2*v - 3 = 7. Let x be (-18)/v + ((-12)/(-15))/2. Suppose x*n - 218 = 102. Is 20 a factor of n?
True
Let q(y) = 2*y**2 + 7*y - 16. Let x(a) = a**2 + 4*a - 8. Let d(k) = -2*q(k) + 5*x(k). Is d(-10) a multiple of 8?
True
Let z = 21 - 25. Let a be 11/(-44) + (-1)/z. Suppose 4*h + 20 = a, 4*n - 2*h - 355 = h. Does 17 divide n?
True
Let q(o) = -380*o + 715. Does 9 divide q(-27)?
False
Let b(y) = 45*y - 8. Let s be 33 + 1 + 64/16. Is b(s) a multiple of 46?
True
Is 5 a factor of 0 + 6/(-39) + 22301/377?
False
Suppose 8*r + 1106 = 3*r - 2*z, 3*r + 674 = 4*z. Let p be r/(-21) + 6/14. Suppose p*o + 150 = 16*o. Does 7 divide o?
False
Let p be (-3985)/20 + 5/4. Is 50 a factor of (-3)/(-1)*11/(p/(-1200))?
True
Let b = -3531 - -37648. Is 119 a factor of b?
False
Let a = -11 + 113. Let k = a - 73. Is 15 a factor of k?
False
Suppose -7*s = -22 - 20. Suppose -p = -s*p + 40. Suppose p*k - 96 = -0*k. Is k a multiple of 4?
True
Is 94 a factor of ((-18)/(-12))/((-106)/(-423788))?
False
Suppose 150 = 17*m + 13*m. Suppose 2*s = 4*x - s - 624, -m*s + 20 = 0. Does 3 divide x?
True
Let n = 4505 - 3701. Is 46 a factor of n?
False
Suppose 0 = -4*s, 31*s - 16524 = -2*y + 26*s. Is 17 a factor of y?
True
Let y be (-15)/(-4 - (-721)/181). Let i = -576 + y. Does 47 divide i?
True
Suppose -14*o + 80615 + 52434 = -64323. Is o a multiple of 14?
True
Let z(m) = -2*m**3 - m**3 + 0*m**3. Let i be z(-1). Suppose -4*s + 163 = -i*d - 19, -4*s + 170 = 3*d. Is 9 a factor of s?
False
Let m = 42 - 37. Is m + (-1813)/(-14) - (-3)/2 a multiple of 68?
True
Let h(c) = -2*c**3 + 3*c**2 + 5*c - 12. Let j be h(6). Let y = j + 394. Does 11 divide y?
True
Suppose 818 + 1833 = 11*m. Let u = m + -139. Does 34 divide u?
True
Is 21 a factor of (-9604)/(-245)*(-930)/(-4)?
True
Let g = -129 - -126. Let t(i) = 19*i**2 + 12*i + 3. Is 31 a factor of t(g)?
False
Suppose 4*j + p - 2526 = 37143, -3*j + 29743 = -p. Is j a multiple of 142?
False
Let k(g) = -237*g - 34. Let c be k(-4). Suppose 8*b - 526 = c. Is b a multiple of 18?
True
Suppose -122*k + 208643 = -29*k - 257659. Is k a multiple of 12?
False
Let c = 62 - 29. Suppose -c*m - 216 = -34*m. Let x = m - 120. Is 12 a factor of x?
True
Let k be 49/(-21) - 2/3. Is (-2463)/(-2)*k/(-18)*4 a multiple of 50?
False
Does 9 divide (0 - (-414)/8)/(-1 + (-203)/(-200))?
False
Suppose 67 = -n + 69. Suppose n*h - 193 = -3*b, -5*b + 3*h = 2*h - 313. Is 21 a factor of b?
True
Let t(k) = k**2 - 9*k - 25. Let z be t(16). Suppose -2629 = -7*l + z. Does 57 divide l?
False
Let t(y) = y**2 - 7*y + 15. Let a be t(4). Let v(k) = 14*k**3 + a*k - 15*k**3 - 10 + 2*k + 11*k**2. Is v(10) a multiple of 10?
True
Let t(w) = 