 Does 35 divide f?
True
Suppose -115514 = 4*f - 23*f + 2*n, 5*f = 5*n + 30385. Does 160 divide f?
True
Let s = -78369 + 125565. Is 51 a factor of s?
False
Let r = -33688 - -45916. Does 7 divide r?
False
Suppose 15*p - 7*p = 2040. Suppose 3*z + p = -75. Does 15 divide (-18)/(3*5/z)?
False
Suppose 5 = 3*n - 10, 4*l + 2*n = 10. Suppose l = -5*p - 4*q + 1114, 849 - 155 = 3*p - 4*q. Is p a multiple of 37?
False
Suppose 109*x = 187*x - 118*x + 122880. Does 3 divide x?
True
Let m(y) = y**3 - 7*y**2 + 8*y + 4. Suppose 22*t = 21*t + 8. Does 6 divide m(t)?
True
Let s(w) = -82*w - 29. Let y(m) = 1885*m + 667. Let k(d) = 116*s(d) + 5*y(d). Does 29 divide k(-2)?
True
Suppose -86*a = -5*s - 87*a + 115663, 2*a = 3*s - 69390. Is 10 a factor of s?
False
Let t = 3391 - -4490. Is 71 a factor of t?
True
Let q(v) be the third derivative of 11*v**7/2520 + 13*v**6/360 - v**5/12 + 32*v**2. Let u(o) be the third derivative of q(o). Is 38 a factor of u(4)?
True
Let r = -6623 - -9764. Is 102 a factor of r?
False
Let f(d) = -d**3 + 15*d**2 - d + 15. Let l be f(15). Suppose 1054*h - 1060*h + 5502 = l. Is h a multiple of 64?
False
Does 42 divide -40 + 48 - ((-217813)/6 - (-6)/36)?
False
Suppose h - 309*t + 304*t - 10180 = 0, 10 = -5*t. Does 90 divide h?
True
Is 7 a factor of (255/(-12))/(-5)*(-12)/(-12)*1156?
False
Suppose 2*u + 3 = -1, -4*h + 3172 = -2*u. Let c = -98 + h. Does 36 divide c?
False
Let u(f) be the second derivative of f**4/12 - 4*f**3/3 + 37*f**2/2 + 117*f. Is u(14) a multiple of 53?
False
Let v = -28 + 33. Suppose -v*b + 0*u + 31 = 3*u, -10 = -5*u. Let a(m) = 9*m - 34. Does 11 divide a(b)?
True
Suppose -2*n - 4*a = 4, -4*a - 14 = 4*n - 7*n. Suppose 17 - 13 = n*d. Suppose 4*r = -d*h + 150, 2*r + 0*r = -2*h + 76. Is 37 a factor of r?
True
Suppose -329*i + 87182 = -323*i - 17674. Does 11 divide i?
False
Let g = -18897 - -19951. Is 101 a factor of g?
False
Let r(i) = -54*i**2 - i. Let t be r(1). Let u(j) = -2*j**3 - 9*j**2 - 23*j - 113. Let h be u(-6). Let d = h + t. Is 26 a factor of d?
True
Suppose 5*v = 235 + 65. Let c = v - -69. Let k = c - 72. Does 15 divide k?
False
Let l be (390/(-100))/((-6)/64)*-5. Let h = l + 452. Is h a multiple of 35?
False
Suppose 76651 = 17*a - 54725. Is a a multiple of 21?
True
Let a(w) = -11*w**3 + 14*w**2 + 35*w + 324. Does 3 divide a(-7)?
False
Suppose p + 4 = 2*p + 2*j, 3*j + 4 = p. Let x = -1753 - -1739. Is p/x - (-2124)/84 a multiple of 5?
True
Suppose 5*c = -2*u + 3438 + 438, 2*c = 3*u + 1558. Suppose 3*d + 390 = 3*f, 4*f = 2*d - 256 + c. Let a = 170 + f. Is a a multiple of 12?
True
Does 49 divide 14/6 + (-8)/2 + (-41237)/(-21)?
False
Suppose -7*s + 9 + 26 = 0. Suppose s*z + 24 = 13*z. Let f = 81 + z. Does 21 divide f?
True
Let z be 33 + ((-22)/4 - (-33)/22). Suppose -z*p = -31*p - 3*q + 867, 0 = p + q - 433. Is p a multiple of 24?
True
Let g(u) = 63*u**3 - 13*u**2 + 8*u - 4. Let p(a) = 31*a**3 - 6*a**2 + 4*a - 2. Let t(r) = -6*g(r) + 13*p(r). Does 25 divide t(2)?
False
Let q(n) be the first derivative of 0*n - 1/2*n**2 + 18. Does 3 divide q(-3)?
True
Suppose -17*o - 16 = 137. Does 10 divide (-3)/(-2)*o/(135/(-1900))?
True
Let l = 29313 - 9149. Is 5 a factor of l?
False
Suppose 0 = -5*h + 2*y + 32, -40 = -3*h - 5*y + y. Suppose d + h = 6. Is d*(-9)/(-6) + 211 a multiple of 52?
True
Let n be -18*((-3)/(-3) + 0). Is 4*((-2 + n)/(-4) + -4) a multiple of 4?
True
Let u(k) = 3*k**2 + 9*k**2 + 3*k - 8*k**2 - 11*k - 57. Does 15 divide u(-16)?
True
Let t(p) = -44*p**3 + 65*p + 4 - 60*p + 1 + p**2 + 0 - 1. Is t(-2) a multiple of 11?
False
Is 15 a factor of 3393003/732 + 1/(-4)?
True
Let y = 4855 - 2187. Does 10 divide y?
False
Let g(v) = v**3 - v**2 + 4*v - 6. Let f be g(4). Let n(s) = 99*s**2 - 21*s + 2. Let t be n(1). Let x = t - f. Does 11 divide x?
True
Suppose i - u - 132 - 123 = 0, -5*u = -4*i + 1020. Does 17 divide i?
True
Suppose 2*c - 2*i = 16, 0 = -5*c - 3*i + 2 + 6. Does 5 divide 6/(-12)*c/6*-153?
False
Let b = 99 - 100. Let d be 22/((0 + b)*(-11 + 10)). Suppose -21*h = -d*h + 38. Is 4 a factor of h?
False
Let p(m) = m**3 + 41*m**2 + 366*m - 21. Does 4 divide p(-17)?
False
Suppose 5*s = -0*p - 5*p + 4485, 3*p + 1799 = 2*s. Is 6 a factor of 2/(-16) + s/16 + -2?
True
Let a(m) = -226*m - 1534. Is 30 a factor of a(-34)?
True
Let t(v) be the third derivative of -11*v**4/24 - 9*v**3/2 - 21*v**2 - 3*v. Is t(-11) a multiple of 8?
False
Let t = 115 - 62. Let m = 4 + t. Does 19 divide m + 3/(-12)*0?
True
Suppose 91 = 35*f - 22*f. Let d(w) = 20*w**2 + 18*w - 26. Is 27 a factor of d(f)?
True
Suppose 5*i - d - 20793 = 0, -8*i + 9*i - 4167 = 3*d. Is 66 a factor of i?
True
Let h = -8672 - -10512. Is 23 a factor of h?
True
Let m = 34 - 34. Let x(f) = 16*f**2 + f**2 - 12*f - f**3 - 9 + m - 26. Is x(16) a multiple of 4?
False
Let l(z) = z**2 + 5*z + 52. Let s be (-1)/(-4) + (-1998)/216. Is l(s) even?
True
Suppose -84 = 5*v + 4*h, 4*h - h = -3. Let o(y) = -y - 16. Let k be o(v). Suppose -6*t + 4*t + 128 = k. Is t a multiple of 4?
True
Let u(y) = 2*y + 85 - 172 + 81. Let w = 34 - 16. Does 15 divide u(w)?
True
Let s(n) = 3*n**2 + 2*n + 3. Let u be s(-1). Suppose 780 = u*l - 4*p, -26*l + 21*l + 925 = 5*p. Is 10 a factor of l?
True
Let b(j) = j**3 - 47*j**2 - 26*j + 55. Let d be b(48). Suppose -363 + d = 2*s. Does 10 divide s?
False
Let f = -198 - 107. Let r = -255 - f. Does 10 divide r?
True
Let m = 88266 - 46479. Is m a multiple of 125?
False
Let z be 1*((-761)/6 + 5/(-30)). Let h = 73 - z. Is 4 a factor of h?
True
Let n(w) be the third derivative of w**4/3 - 44*w**3/3 + 12*w**2 - w. Is 48 a factor of n(23)?
True
Let w(g) = 80*g + 76*g - 2 - 14*g + g**3 + 668*g**2 - 690*g**2 + 1. Is 73 a factor of w(7)?
False
Suppose -24*a - 18 = -27*a. Let i(p) = 19*p + 21. Is 15 a factor of i(a)?
True
Let k = 12241 + 33878. Does 8 divide k?
False
Suppose -8 + 11 = -3*f. Is 12 a factor of ((-978)/(-21))/(f/(-7))?
False
Suppose -190*z + 100*z - 187*z = -2871936. Is 54 a factor of z?
True
Let s(c) = -5*c**3 - 4*c**2 + 4*c + 23. Suppose 3*k - 15 = 3*x, 2*k - 2 = 3*x + 13. Is 66 a factor of s(x)?
True
Suppose 4*z + 4*s - 5420 = 0, 3*z - 4*s - 6775 = -2*z. Suppose -z = -4*v + 605. Is 49 a factor of v?
True
Suppose 16395 = 6*t + 3602 - 17297. Is 17 a factor of t?
True
Let t be 44/3*(-12)/8 + 1. Let w = 21 + t. Suppose 0 = 6*f - w*f - 72. Is f a multiple of 4?
True
Let i(t) = -t**3 - 3*t**2 + 4*t. Let y be i(-4). Let d(u) = 16 - 64*u + 22*u + 17*u + 30 + 24*u. Is 4 a factor of d(y)?
False
Let p be -2 - (8/6)/((-4)/114). Let g = 40 - p. Suppose 91 + 77 = g*v. Is 6 a factor of v?
True
Suppose 2*o - 385*m - 42218 = -383*m, 63279 = 3*o + 3*m. Is o a multiple of 7?
False
Suppose -32*g + 35*g + 160667 = 4*h, -40187 = -h + 3*g. Is h a multiple of 7?
False
Suppose -79*v + 373004 - 300907 = -2110357. Does 10 divide v?
False
Let t be -9 - (-4 - 3) - -12. Is ((-10)/(-8) + 1)/(t/320) a multiple of 8?
True
Let p be ((-4 - -3)*84)/1. Does 18 divide (-3 - 348/(-8))/((-9)/p)?
True
Let w = -291 - -296. Does 11 divide (-22185)/(-225) + 2/w?
True
Let y(n) = 83*n + 26. Let a be y(8). Suppose -4*u = -5*p + 2*p - a, -3*p = -2*u + 342. Is 5 a factor of u?
False
Let k be (12/5)/((96/(-12))/(-80)). Suppose -10*j + 11526 = k*j. Does 7 divide j?
False
Is 21 a factor of 7317/6 + 6/(-24)*6?
True
Let t = 273 - 268. Suppose 4*v = t*q - 1080 + 101, -4*q + v + 792 = 0. Does 7 divide q?
False
Suppose 3*v - 1 = 2*v. Let u be 2*((v - -1) + 3). Does 28 divide ((48/u)/(-2))/((-3)/90)?
False
Suppose -323 = -70*t + 53*t. Suppose -t*p = 5*p - 23400. Is 66 a factor of p?
False
Let t = -411 - -395. Does 26 divide t + 305 - (0 + 6)?
False
Suppose -5*s - 5*d + 1012 = -3*d, -2*s + 5*d + 399 = 0. Suppose 2*i + s = -2*b + 6*i, 0 = -4*b - 5*i - 456. Is 6 a factor of b/(-2) - (-1)/(-2)?
True
Suppose -70 = -11*p + 535. Let m = p + 197. Is 14 a factor of m?
True
Let f = -136 - -122. Let t(r) = -13*r**3 - 2*r**2 + 2*r + 1. Let i be t(2). Is 5 a factor of i/(-4) - f/56?
False
Let r be 3 + (-2135 + 0)/(-5). Suppose -r = -6*f + 2072. Is f a multiple of 53?
False
Let s(o) = 85*o**2 - 34*o - 507. Does 16 divide s(-18)?
False
Suppose 7*z + 338 = -110. Let n = -66 - z. Does 3 divide n - ((-315)/(-5))/(-3)?
False
Let z(g) = g**3 - 3*g**2 - 15*g + 23. Let p be z(5). Let n = p + 146. Is 7 a factor of n?
False
Suppose 2*l 