r of v?
False
Let g(s) = -s + 4. Let f be g(-4). Let j be (-5)/(-20) + (-58)/f. Let t(p) = p + 16. Does 2 divide t(j)?
False
Suppose 5*l = 529*w - 532*w + 186675, 4*w + l = 248934. Is w a multiple of 45?
True
Is 79 a factor of 5802*8/56*(-21)/(-6)?
False
Let g(h) = 113*h**2 - 534*h + 3680. Is g(7) a multiple of 26?
False
Suppose 93*y = 63*y + 207210. Is 2 a factor of y?
False
Let t = 24428 - 12686. Is 133 a factor of t?
False
Let m = -1 - -28. Suppose 4*v + 24 = 5*q - 3*q, q = 5*v + m. Suppose q*y + 132 = 5*y. Does 11 divide y?
True
Suppose -5*r = -145*r + 252840. Is r a multiple of 18?
False
Let t(p) = p**2 - p. Let u be t(2). Suppose 0 = -3*o - 0*b - 2*b + 2, 2*b - u = 0. Suppose 236 = 4*q - o*q. Is q a multiple of 6?
False
Let z = -87 - -90. Suppose -45 + 18 = -3*j - z*d, -5*j + 53 = -3*d. Is 12/j*13/((-156)/(-270)) a multiple of 9?
True
Let b = 90 + -90. Let g be b + 4 + (3 - (1 + 4)). Suppose 5*n - 260 = -g*r - 3*r, 0 = 2*r - 2*n - 84. Is r a multiple of 7?
False
Let i be 6*2/6 - 0. Suppose -4*y = 5*u - 25, 0 = -5*u - 0*y + i*y + 25. Suppose u*x - 161 = 3*r - 5*r, 0 = 5*r - 4*x - 419. Is 15 a factor of r?
False
Suppose -3*f + 4*s + 41 + 12 = 0, 3*s - 40 = -5*f. Let v be 1/2 - (-17)/(-2). Does 31 divide (-3 - (-3 + v))*f?
False
Is 750/(-93) + 8 - 2742026/(-217) a multiple of 161?
False
Let t(f) = 3*f**2 - 5*f - 2. Let o be t(4). Suppose i - 29 = o. Is 11 a factor of i?
True
Suppose -4*i - 126 - 161 = -3*z, z + 199 = -3*i. Let l = i + 108. Let u = l - -73. Is u a multiple of 23?
False
Let u be (503 - -5)*3/(-4). Let y = -105 - u. Suppose 0 = -0*l - 2*l - 4*b + y, 0 = 5*l - 3*b - 703. Is l a multiple of 28?
True
Suppose 5*t - 39 = -19. Let f = 124 + t. Is f a multiple of 29?
False
Suppose -14*l + 4473 + 9009 = 0. Suppose -5*p + 960 = -5*t, -l = -5*p + t + 3*t. Does 17 divide p?
False
Let d = -21 - 56. Let a = -20 - d. Suppose a*r - 59*r = -244. Is r a multiple of 18?
False
Is (-2)/(-4)*(-2640584)/(-92) a multiple of 25?
False
Suppose 79800 = -1718*j + 1756*j. Is 150 a factor of j?
True
Let a(s) = -1158*s - 3990. Is 141 a factor of a(-10)?
False
Suppose 6*c + 70162 = -23054. Does 37 divide c/(-30) + -6 + (-184)/(-30)?
True
Suppose 0 = z - 5335 - 4114. Does 8 divide z?
False
Let n(x) = -x**3 + 5*x**2 - 6*x - 1. Let j(d) = -d**2 - d + 2. Let g(v) = -2*j(v) + n(v). Let p be -4*(-1 - (-3)/(-6)). Is g(p) a multiple of 2?
False
Suppose -k + 500 = -5*k. Let f be (-2133)/(-9) + (-1)/1. Let h = f + k. Does 32 divide h?
False
Suppose -2138 = -2*t - 5*m + 6607, 5*m + 30630 = 7*t. Is 29 a factor of t?
False
Let j(q) = -27*q - 210. Suppose -2*m = -4*i - 54, 5*m + 24 = -3*i + m. Does 19 divide j(i)?
True
Let j(f) = f**3 - 19*f**2 - 62*f - 70. Let b be j(22). Suppose 34*p = b*p + 1088. Does 12 divide p?
False
Let t(s) be the third derivative of 67*s**4/8 - 31*s**3 - s**2 - 240*s. Does 12 divide t(7)?
False
Let q = 12969 - 10978. Is q a multiple of 50?
False
Let d be 2/(0 + 1) + 0. Suppose 173*m - 1148 + 283 = 0. Suppose a = -4, m*r + d*a + a - 293 = 0. Is r a multiple of 21?
False
Suppose 0 = 14*k - 10 - 18. Is 4 a factor of (k/(-6) - 209/(-114))*94?
False
Let w(t) = 13*t**2 + t - 8*t + 1656 - 1668. Is 18 a factor of w(-3)?
True
Let i = 59446 + -25402. Is 74 a factor of i?
False
Suppose -89*o + 10*o + 51660 = 44*o. Is 87 a factor of o?
False
Suppose -4*u + 2518 = 4*x - 5*u, 3*x = u + 1888. Suppose 0*f = -2*f + 22. Suppose -4*l = -f*l + x. Does 15 divide l?
True
Suppose 6*d - 14*d = -18*d + 92960. Is d a multiple of 112?
True
Let x = 49 + -47. Let z be (x + 0)*(3 - (-10)/(-4)). Is (8/16)/(z/72) a multiple of 4?
True
Let r = 232 + 37. Is r even?
False
Let a(x) be the second derivative of 5*x**4/4 - 7*x**3/3 + 35*x**2/2 + 48*x. Is 14 a factor of a(7)?
True
Let m(z) = z**3 + 2*z**2 + 6. Let u be m(0). Suppose -u*g + 3760 = 1018. Is g a multiple of 6?
False
Suppose 0 = 2*i + 3*h - 24, -i - 2*h + 2 + 11 = 0. Suppose i*m - 4901 + 1481 = 0. Is m a multiple of 38?
True
Is 4*202177/24 - (-8)/(-48) a multiple of 96?
True
Is 16 a factor of (-4)/(-3)*165/(-110) - (-67370)/5?
True
Let g = 46558 + -25022. Is g a multiple of 8?
True
Let c(r) = r**3 - 6*r**2 + 7*r - 1. Suppose v + 6*v = 35. Let w be c(v). Suppose -w*f + 2*f = -126. Does 3 divide f?
True
Let u be (-1)/7 - (-5 + 2245/(-35)). Suppose -2*b + 215 = -u. Let s = b + -45. Is 26 a factor of s?
False
Let f be 4828/(2 + (-12)/9) - -5. Suppose 0 = -10*y + f - 1967. Does 54 divide y?
False
Let i(l) = -l**3 + 6*l**2 - 2*l - 285. Does 5 divide i(-15)?
True
Let m(a) = a**2 + 22*a - 174. Let g(p) = 19*p - 285. Let l be g(13). Is 10 a factor of m(l)?
False
Let j(f) = 996*f + 1504. Does 103 divide j(11)?
False
Suppose 162*s + 2669 = 3*f + 163*s, 4453 = 5*f - 3*s. Is 34 a factor of f?
False
Suppose -3*o = 3*w + 771, -3*w - 3*o + 4*o = 751. Let v be -3 - 7/(1 + -2). Is 10 a factor of (w/(-45))/(v/50)?
True
Let v(u) = 2*u**2 + 30. Let a = -10 + 14. Let k be -1 - (-7)/((-7)/a). Is v(k) a multiple of 9?
False
Let f(t) = -9*t + 104. Let j be f(11). Suppose -j*y = -10, 3*v - 3*y = -0*y + 2259. Is 20 a factor of v?
False
Suppose -20*p = 88*p - 551880. Does 102 divide p?
False
Let l(o) = 95*o**2 - 138*o - 971. Does 62 divide l(-7)?
True
Suppose -m = s - 8111, 6*s - 4*s - 5*m = 16208. Does 17 divide s?
True
Let g = 9962 - -1150. Is g a multiple of 42?
False
Let b = 86 - -665. Let s = b - 532. Let j = s - 155. Is 11 a factor of j?
False
Suppose -5*x + 10 + 40 = 0. Let d(t) = 2*t**3 - 7*t**2 - 8*t - 50. Does 8 divide d(x)?
False
Let r(f) = 5*f**2 + 28*f - 1. Let p = 29 - 35. Let w(k) = 4*k**2 + 27*k - 1. Let s(u) = p*w(u) + 5*r(u). Is s(23) a multiple of 8?
True
Let r(w) = 10*w**2 - 27*w - 84. Is 100 a factor of r(28)?
True
Suppose -4*n = -5*f - 1425, -188 = -2*f + 2*n - 760. Let h = f - -718. Does 23 divide h?
True
Suppose -31 = m - 3. Let f be 6/15 + m/(-5). Suppose -418 = 2*x - f*x - o, 212 = 2*x + 2*o. Is 7 a factor of x?
False
Let w(m) = 0*m + 0 + 6 - 5*m + 14. Let g be w(3). Suppose g*i - 619 = 5*n - 199, -3*n + 258 = 3*i. Is i a multiple of 17?
True
Let y(q) be the second derivative of -q**5/10 + 2*q**4/3 + q**3 - 7*q**2/2 - 33*q. Does 12 divide y(-5)?
False
Suppose -14*i + 779 = 27*i. Let j(n) be the third derivative of n**4/12 - 23*n**3/6 + n**2. Is 15 a factor of j(i)?
True
Suppose -9*g - 1672 = -5*g. Is (1 + g)/((-51)/34) a multiple of 32?
False
Suppose 6*k - 34 = k + i, 2*i - 22 = -5*k. Let n = k - -91. Is n a multiple of 17?
False
Let a(x) = 12*x**3 + x**2 + 3*x - 19. Let s = -265 - -268. Is a(s) a multiple of 30?
False
Is (0 - -4 - (-5 + 14)) + (-46176)/(-12) a multiple of 7?
True
Suppose 5*c = 5*f - 58 + 168, -4*c + 44 = -2*f. Let n = f + 982. Is n a multiple of 15?
True
Let u(z) = 21*z**2 - 126*z + 3691. Does 86 divide u(37)?
True
Let z(j) be the second derivative of j**4/12 + 7*j**3/2 + 62*j**2 + 5*j + 4. Is z(-21) a multiple of 9?
False
Suppose 3*i + 4*s - 24693 = 0, 4*s + 22559 = 2*i + 6137. Does 45 divide i?
False
Suppose 35*r - 6*r - 9456 = 64494. Does 34 divide r?
True
Suppose -5*f = 0, -2*f = -2*u + 2*f + 124. Let h = 64 - u. Let k = 54 + h. Does 14 divide k?
True
Let f(m) = -m**3 - 18*m**2 + 5*m - 7. Let d be f(-18). Let a = d - -101. Let z(r) = 18*r - 3. Is z(a) a multiple of 6?
False
Let i = 27 + 107. Suppose 4*d - 15 + 251 = 0. Let w = d + i. Does 8 divide w?
False
Suppose -1 = 3*v - l - 106, 3*v - 105 = -2*l. Let y = 67 - v. Let r = y - 15. Is 17 a factor of r?
True
Suppose 35*q - 1352 = 31*q. Suppose -2*g - 4*a + q = 0, -3*a + 8*a = -20. Suppose -5*u + 2*d = 3*d - g, 51 = u - 5*d. Is 18 a factor of u?
True
Suppose 109*o - 104*o - 80599 = 34901. Does 60 divide o?
True
Let u(c) = -38*c**3 - 31*c**3 - 2 + c**2 + 95*c**3 + 5*c - 25*c**3. Is 3 a factor of u(3)?
False
Let t(k) = 6*k + 6. Let n(z) = 7*z + 7. Let s(a) = -4*n(a) + 5*t(a). Suppose 0 = -28*v + 21*v + 21. Is 2 a factor of s(v)?
True
Let x be (1/3)/(1/6) - 159. Let h be x/(-3) - (-5)/(-15). Suppose 6*f - 508 = -h. Is 16 a factor of f?
False
Suppose -10*t + 161788 = 2*l - 42*t, -5*t = 0. Is 11 a factor of l?
True
Let q(c) = -c**2 - 8*c - 6. Let o be q(-6). Suppose 0 = 20*v - o*v + 1456. Let y = 168 + v. Does 19 divide y?
False
Let t(b) = -8*b**2 + 46*b - 11. Let m be t(5). Suppose -2552 = m*k - 27*k. Is 19 a factor of k?
False
Let m(n) = n**3 - n + 76