f u?
False
Let r(y) = y**3 - 6*y**2 - 5*y - 4. Let g be r(7). Suppose g*j + 139 = 19. Does 41 divide (-817)/(-4) + -2 + (-33)/j?
True
Suppose 3*l = 0, -4*f + 3*f - 5*l - 164 = 0. Suppose 5*m + 259 = 579*i - 580*i, 0 = i + 4. Let b = m - f. Is b a multiple of 6?
False
Suppose -7*x - 2*x + 162 = 0. Let h(c) = c**3 - 17*c**2 - 12*c + 23. Let g be h(x). Let j = -32 + g. Is 9 a factor of j?
True
Suppose 52*m - 1166289 + 440952 = 960035. Does 22 divide m?
False
Is (2/6)/(2/30702*7) a multiple of 39?
False
Suppose 4*c + 5*z - 30 = 0, 0*z - 8 = -2*c + z. Let p be (-30 + (-7282)/44)/(2/(-12)). Suppose c*r + 133 = p. Is 13 a factor of r?
True
Suppose -2*q + 21 + 459 = -5*k, 5*k + 4*q + 450 = 0. Let m = -92 - k. Suppose -5*b + m*u = -1250, b + 4*u - 67 - 205 = 0. Is b a multiple of 14?
True
Let o be (-4)/(-18) + 3552/54. Suppose 17*u = 11*u + 1044. Let m = u + o. Is 12 a factor of m?
True
Let s = -95 - -103. Suppose -3*p = -p + s, l - 2*p = 321. Does 19 divide l?
False
Suppose -4*d - 4*a + 6 = -10, -4*d + 6 = -a. Let r be (-5 + 11 - d)*498/(-8). Is ((-16)/(-6))/(r/(-243) - 1) a multiple of 16?
False
Let h(a) = 48*a**2 + 569*a - 6. Does 57 divide h(-16)?
False
Does 133 divide (-20 + 17674)/7 + (3 - -2)?
True
Does 5 divide 116/203 + -307*(-613)/7?
True
Let k = -36 - 5. Let n = -27 - k. Suppose n*l - 640 = 4*l. Is 7 a factor of l?
False
Let s be (44/198)/((-1)/(-9)). Suppose 4*j - 1036 = -0*c - s*c, -1030 = -4*j - 5*c. Is j a multiple of 13?
True
Is 2 a factor of 6/(-21)*22393/(-14)?
False
Let u = 27038 - 11978. Is 15 a factor of u?
True
Let f = -689 - -693. Suppose -4*h = 4*u - 7524, f*h + 9441 = -4*u + 9*u. Is u a multiple of 13?
True
Suppose 4*g + 2*g - 3*g = 0. Suppose -5*a + 216 = t, g = -6*a + 5*a. Suppose -b - 3*b = 5*i - 288, -4*i - t = -3*b. Does 18 divide b?
True
Let o be 33/(((-45)/50)/3). Does 31 divide (-378)/(-8)*11*(-40)/o?
False
Suppose c = -164 + 471. Suppose 4*l + 4*f = -l + 1580, l = f + c. Does 24 divide l?
True
Is 9 a factor of (-157586)/(-2002) - (24/63 - 6/9)?
False
Suppose 8 = -4*c, 12*c + 17078 = 5*p + 13*c. Is p a multiple of 65?
False
Let f(y) = 5*y**2 + 3*y - 9. Let b(d) = -3*d + 24. Let j be b(9). Let s be j + ((-20)/(-5) - (-5 - -3)). Does 5 divide f(s)?
True
Let p = -16 - -27. Suppose -4*d + p = -3*i, 4 = -i + 7*d - 6*d. Is ((-1)/(i/12))/((-33)/(-880)) a multiple of 21?
False
Suppose -4*r = 3*g + 3, 0*r + 4 = -4*g - 2*r. Is (-30)/g*(-7 + 21/1) a multiple of 25?
False
Does 207 divide ((-18)/(-12) + -3)/((-51)/(-34)) + 16354?
True
Let l(g) = 50*g - 438. Does 47 divide l(24)?
False
Let r(q) = 9*q. Let d be r(0). Suppose d = 7*m + 51 - 1899. Is m a multiple of 16?
False
Suppose 35*m - 40934 = -3*r + 30*m, 0 = -4*r + 16*m + 54692. Does 123 divide r?
True
Let l be (25/(-10))/((-5)/12). Suppose 3 = n - l. Suppose 52 - 340 = -n*u. Is 8 a factor of u?
True
Let k = 491 - 168. Let c(t) = t**3 + 7*t**2 - 8*t + 11. Let h be c(-8). Suppose h*b + k = 1511. Is 18 a factor of b?
True
Suppose n = -h + 3080, -86*h + 83*h - 6*n = -9246. Is h a multiple of 27?
True
Let v(k) = -111*k**2 + 64*k**2 - k + 202*k**2. Let f be v(-1). Suppose 3*a = f + 9. Is 14 a factor of a?
False
Suppose -30*j + 609148 = 200668. Does 8 divide j?
True
Suppose 3*i + 5698 = -8*i. Let f = 705 + i. Does 17 divide f?
True
Let s(w) = -120*w - 461. Let v(j) = -242*j - 921. Let k(t) = -11*s(t) + 6*v(t). Is 7 a factor of k(-5)?
False
Suppose 407*c + 357*c - 2934524 = 0. Does 11 divide c?
False
Let v(q) = 2*q + 1. Let g(x) = 3*x - 13. Let f(m) = g(m) - 4*v(m). Does 9 divide f(-7)?
True
Suppose 4*c - j = 5, -2*j + 2 = -3*c + 7*c. Let g be (-1785)/45 - c/3. Let b = g + 61. Is 7 a factor of b?
True
Let m be 2 + 20/(-6) - 8217/(-27). Suppose 2*t + 67 = m. Is t a multiple of 12?
False
Suppose -199*f + u = -197*f - 112923, 0 = -2*u - 6. Is f a multiple of 255?
False
Let r = 370 + -368. Suppose 2*k = 10*h - 5*h + 416, 0 = -r*k + 4*h + 416. Is k a multiple of 4?
True
Suppose -1 = -2*r - 5, -5*r = 4*z + 10. Let v be (-4)/((-12)/9) - (z + -256). Let d = v + -142. Does 13 divide d?
True
Suppose -2*q + 4*u = 2*q - 28, -5*u = -4*q + 32. Suppose 0*b = -b + 1, q*p - 16 = 2*b. Suppose -3*x - 2*d = -307, -3*d = -0*d - p. Is x a multiple of 21?
False
Let f(y) = 129*y**2 - 10*y + 17. Let x be f(2). Let g = 775 - x. Does 21 divide g?
False
Suppose b - 6*x + 8*x = 11, 0 = 3*x - 12. Suppose o + b*o = i + 383, -o + 101 = 5*i. Does 16 divide o?
True
Suppose 0 = -5*r - 4*f + 25323, 0 = -5*r + 6*f - 3*f + 25344. Does 98 divide r?
False
Let p(b) = -b**2 + 13*b - 8. Let h be p(12). Let l = -88 - h. Let m = 139 - l. Does 33 divide m?
True
Suppose 18*l + 0 = 36. Suppose 3*j - 4*y = -y + 333, -l*y = 3*j - 358. Is 27 a factor of j?
False
Suppose 0 = 19*a - 17*a + 2*s - 154, -310 = -4*a - 2*s. Does 3 divide a?
True
Let g be -3 - (4/8 + (-705)/6). Suppose -4*h = -5*p - g, 2*p = -2*h + 3*p + 60. Does 35 divide -3 + h*(-1 + 5)?
False
Is 56/(-48) - 1438015/(-114) a multiple of 21?
False
Suppose 4*o - 40 = -5*c, 2*c + 2*o + 3*o - 33 = 0. Suppose 16 = c*n, -3*n - 109 - 73 = -h. Let r = h - -6. Does 39 divide r?
False
Let d = -43 + 66. Let k = -28 + d. Let g(x) = 9*x**2 + 8*x + 9. Is g(k) a multiple of 21?
False
Let a = -1854 + 5433. Is 53 a factor of a?
False
Suppose 4*l = -2*p - 0 + 18, l - 12 = -3*p. Suppose -v - 5*u - 326 = 0, -u = -5*v + l*u - 1688. Let o = v - -482. Is 46 a factor of o?
False
Let s(f) = -f - 5. Suppose -o = -4*o + 6. Suppose -z - o = -2*g + 5, -3*z = 3*g + 39. Is s(z) a multiple of 6?
True
Let i(m) = 7*m - 122. Let s be i(19). Suppose 684 = s*c - 2*c. Is 2 a factor of c?
True
Let n = -106 + 109. Suppose n*o + 19 - 4 = 0, 3*d - 3*o - 162 = 0. Does 49 divide d?
True
Let m be 8/10*1530/(-3 - -6). Let u = 508 - m. Does 3 divide u?
False
Let h(g) = g**3 - 4*g**2 + 5*g - 18. Let o(j) = j - 2. Let m(s) = 2*s - 5. Let p(u) = -6*m(u) + 11*o(u). Let z be p(3). Does 3 divide h(z)?
False
Let z(c) = -c**3 + 8*c**2 - 7*c - 30. Let w be z(6). Does 54 divide 2 + 113 + (w - 6)?
False
Suppose 217*i - 198*i - 43879 + 4283 = 0. Does 21 divide i?
False
Let f(u) = 43*u + 13. Is f(4) a multiple of 8?
False
Let u be 3/5 - ((-22)/5 + 3). Suppose u - 8 = -3*k. Suppose 2*m = -4*a + 386, m = -a - k*m + 94. Is a a multiple of 21?
False
Let v(t) = t**2 - 5*t + 14. Suppose -19 = -3*c - 2*c - g, c - 11 = -2*g. Suppose q = 4*u + c*q - 34, 0 = 4*u + 4*q - 24. Is 14 a factor of v(u)?
False
Let g(v) = -2*v**3 + 54*v**2 + 3*v + 5. Does 4 divide g(27)?
False
Let q(s) = 25*s + 48. Let c be q(-2). Is 34 a factor of c - (-602 + (-32)/(-8))?
False
Let g be (3 - (-155)/(-30))*-6. Suppose 1 = -4*y + g. Suppose 0 = 4*q + y*r - 477, -q = 2*r - r - 119. Is q a multiple of 20?
True
Is (-5)/3 + 1 + 25 + (-1049314)/(-42) a multiple of 8?
True
Let y be 1 - 5 - (-9 + 3). Let m be (-90)/27*(-3)/y. Suppose 0 = -m*t - 7 + 202. Does 13 divide t?
True
Let m be ((-2)/(-5))/(23/57155). Is 35 a factor of (m/3)/(8*8/96)?
False
Let y = -287 - -318. Suppose -y*g - 1554 = -45*g. Is g even?
False
Let q be (-9)/(-36) + (-51)/(-4). Suppose 19*c - 1842 = q*c. Is c a multiple of 6?
False
Let g = 2251 - 2016. Does 10 divide g?
False
Let i(g) = -7*g + 13. Let b(h) = -8*h + 12. Let m(u) = -6*b(u) + 4*i(u). Let y = 57 - 53. Is 8 a factor of m(y)?
False
Let g(o) = 116*o + 316. Is 2 a factor of g(0)?
True
Let b be -1 + 0 - (3 + -1). Suppose 2*i = 5*c - 20, -3*i - 5 = 4*c + 2. Is 5 a factor of i/(-6)*b*-2?
True
Is (-169)/39*-1290 - -12 a multiple of 12?
False
Let b(m) = -m**2 + 18*m + 75. Let x be b(21). Let k = 1926 - 1283. Suppose x*c - 101 = k. Is c a multiple of 18?
False
Suppose 0 = -6*f + 3*f - 2*i + 9166, -11*f + 33592 = -i. Is 20 a factor of f?
False
Let l(d) = 380*d**2 - 32*d - 452. Does 10 divide l(-9)?
False
Let b(g) = g**3 + 12*g**2 + 21*g + 5. Suppose 0 = 9*n - 28 + 91. Is b(n) a multiple of 5?
False
Let d(h) = 34*h - 20. Let r(g) = 69*g - 39. Let k(f) = -9*d(f) + 5*r(f). Let z be k(3). Suppose 6*q - z = 3*q. Does 2 divide q?
True
Suppose 4*k = 4*z - 24, -4*k + 3*k = 3*z - 14. Let a(v) be the third derivative of v**6/120 + v**5/30 - v**4/24 - 5*v**3/6 + 2681*v**2. Is 11 a factor of a(z)?
True
Suppose -19*k = 59*k - 739596. Does 11 divide k?
True
Suppose 14*w = 7*w - 3633. Let z = 46 - w. Is z a multiple of 12?
False
Let p be 41598/90 + (-12)/(-15). Let l