(i) = 4*f(i) - 5*r(i). Let a be u(-13). Suppose a = 4*d - 77. Does 3 divide d?
False
Suppose -3*u - 10*u = -624. Let d = u + -8. Is 5 a factor of d?
True
Suppose 30*t = 19*t - 38*t + 295813. Is t a multiple of 31?
False
Let y(u) = -166*u - 1. Let z be y(-1). Let c = 9 + -4. Suppose 0*d - z = -5*d + f, d - c*f - 57 = 0. Does 5 divide d?
False
Let i = -2369 + 1649. Let h = i + 1077. Does 51 divide h?
True
Let f be (70/(5 + 0))/(-2). Is (252/15)/(f/(-35)) a multiple of 12?
True
Is 15 a factor of (-6 - -4 - 5846/(-3))*378/84?
True
Let q = -34624 + 85462. Is q a multiple of 37?
True
Let r(a) = a**2 + 14*a + 19. Let m = 121 + -134. Let s be r(m). Suppose -s*h = -h + 3*v - 655, -3*v = -h + 149. Does 7 divide h?
False
Suppose 5*i + 8 = 3. Let h be (-18)/(-15)*i*40/6. Let z(j) = j**3 + 9*j**2 - j - 2. Does 5 divide z(h)?
True
Suppose 434714 = 39*a - 301195 - 551871. Does 127 divide a?
True
Let j(z) = -6*z**2 - 21 + 6 + z + 12 + z**3. Let u be j(6). Suppose 4 = -a + u*v, -2*a - 40 = -7*a + 3*v. Is a a multiple of 3?
False
Let w be 57 + 0/(3 + -5). Let s = 59 - w. Is 26 a factor of (-78)/7*(s + -9)?
True
Let r = 9 - 29. Let a = r - -58. Suppose 5*k + 108 = 10*k - u, -2*k + 3*u = -a. Is 3 a factor of k?
False
Let j(v) = v**2 + 13*v - 5. Suppose 0 = -3*i - 0 + 9. Suppose q - 28 = 2*a - i*q, -4*a - q = 83. Is 30 a factor of j(a)?
False
Suppose -13*f + 9*f + 7344 = 12*f. Does 17 divide f?
True
Let w be ((-2)/3)/((-21)/(4851/(-22))). Let t(a) = -21*a - 2. Is 29 a factor of t(w)?
True
Suppose -29*s = -2*t - 30*s - 14, 3*t + 21 = -2*s. Let b = t + 77. Does 8 divide b?
False
Let o(w) = 6*w**2 + 5*w - 10. Let f be o(-15). Suppose -14*r + f + 191 = 0. Does 4 divide r?
True
Let i = 44 + -48. Let u be -9*(44/3)/i. Suppose 2*l + 12 = -l, -q + u = 3*l. Is q a multiple of 4?
False
Let y(a) be the first derivative of a**4/4 - 14*a**3/3 - 3*a**2 - 3*a - 25. Is y(15) a multiple of 12?
True
Let h(s) = -5*s**3 - 235*s**2 + 0*s**3 + 5*s**3 + 21 + 245*s**2 + s**3 + 10*s. Suppose -4*t + 3*w + 2 = 23, -2*t + 2 = -4*w. Is 12 a factor of h(t)?
True
Let m = 86 + -131. Let c = m - -45. Suppose 5 = -5*d, c*g + 3*d = 3*g - 21. Is g a multiple of 3?
True
Is 55 a factor of ((-764)/10)/((1/4)/(-18 + -17))?
False
Let d(h) = h**2 + 8*h - 18. Let z be d(-10). Suppose -4569 = -2*v - 2*v - 5*g, -z*v + 2*g + 2280 = 0. Is 16 a factor of v?
False
Suppose 82*c - 187537 - 70189 = 0. Is 149 a factor of c?
False
Let f(o) = o**2 - 17*o + 22. Let u be f(16). Suppose 10*q = 9*q - u. Is 6 a factor of ((528/9)/(-8))/(4/q)?
False
Let k(w) = 14*w + 2. Let s be k(3). Is 2/4 + 0 - (-18370)/s a multiple of 6?
False
Let h(w) = 113*w**3 + 3*w**2 - 4*w. Let v = -4 - -5. Is 4 a factor of h(v)?
True
Suppose 2*d - 3922 = 5*r + 4*d, -2*r - 1592 = -5*d. Let f = r + 1263. Is f a multiple of 53?
True
Let p(n) = -n**3 - 2*n**2 + 12*n + 1. Let h be p(-5). Let g(s) = 6 + 2*s + 2*s**2 - 9*s - h. Is 25 a factor of g(-4)?
True
Let j = 7457 + -4721. Is j a multiple of 24?
True
Suppose -4*y + 24 = 5*x - 5, 8 = -2*y. Is 21 a factor of x/3 + 104*3?
True
Suppose -y - 117533 = -4*y - 2*h, -2*h + 195883 = 5*y. Is 11 a factor of (-20)/210 - y/(-105)?
False
Let t be 86/(-43) + 14/2. Suppose 0 = i + 5*n - 329, 0 = -i + t*n + 246 + 63. Does 29 divide i?
True
Let b = -2719 - -4044. Does 7 divide (b/(-50))/(1 - 5/4)?
False
Let z(a) = a**2 - 86. Let r be z(-10). Is 3 a factor of 43*(-7)/r*-2?
False
Let m(o) = o**3 - 3*o**2 - 4*o + 11. Let j be m(6). Suppose -j*r + 83*r + 7032 = 0. Is r a multiple of 21?
False
Suppose -259*t + 2*l - 13930 = -264*t, -3*t = -5*l - 8327. Is 29 a factor of t?
True
Let j = 906 + -895. Suppose -7*g = -j*g + 2*i + 828, -3*g + 2*i + 621 = 0. Is 8 a factor of g?
False
Let f = 22 + -22. Suppose -4*t = t - f*t. Let l(n) = n**2 + 79. Does 33 divide l(t)?
False
Let v be (-134)/(-26) - 10/65. Suppose -3*q - x - x = -30, 0 = -v*q + x + 37. Suppose -q*m + 650 = -3*m. Is 13 a factor of m?
True
Let g(x) = -951*x + 3083. Is g(-8) a multiple of 14?
False
Suppose 3*x - 7890 = 5*n, 0 = 2*x - x + 2*n - 2652. Does 55 divide x?
True
Does 6 divide (-7)/14 - (0 - (-4277)/(-14))?
False
Let b(q) = 71*q + 2049. Is b(28) a multiple of 11?
True
Let z = 896 - 640. Let m = z - -444. Does 25 divide m?
True
Let f(x) = 4*x - 2. Let r be f(5). Suppose 4*s - 2*j - 180 - 6 = 0, -2*s - 4*j + 78 = 0. Let t = s - r. Is t a multiple of 9?
True
Suppose o - 5 + 0 = 0. Is 14 a factor of -582*((-112)/(-24) - o)?
False
Suppose -123240 = -41*o + 15*o. Does 79 divide o?
True
Let p = -36 + 71. Suppose 0 = -4*b - 5*k + 119, 0 = b - 0*b - 4*k - p. Suppose -8*n - 2*w + 6 = -7*n, -4*n + b = w. Is n a multiple of 4?
True
Let v be ((-126)/(-10))/(3/10). Is 11 a factor of (-38)/((-306)/v - -7)?
False
Let j(x) = 32*x**2 - 8*x + 13. Let d be j(3). Suppose 7*u - d - 45 = 0. Let m = u + 284. Does 49 divide m?
False
Let q = -49 + 28. Let n be -1*25 + (-13)/(65/10). Let x = q - n. Is 2 a factor of x?
True
Let o = 518 - 23. Suppose -3313 = -4*p + o. Does 14 divide p?
True
Let q = 21266 - 12707. Is 113 a factor of q?
False
Is 1*5*749152/80*2/2 a multiple of 37?
False
Let o be ((-10)/280*-16)/(4/14). Does 12 divide (170 - o) + 0/(-22)?
True
Let r = -32 - -32. Suppose r = -2*u + 246 + 400. Is 42 a factor of u?
False
Let j be -3 - (-25)/9 - (-440)/36. Suppose 0 = 3*q - o - o - 113, 4*q - 3*o - 151 = 0. Let b = j + q. Is 15 a factor of b?
False
Suppose -5*y + 1007 + 3898 = 0. Suppose -10*n + 739 + y = 0. Does 23 divide n?
False
Suppose 5*z + 25 = 0, 7*z - 15 = -5*j + 6*z. Suppose -3*t - j*b + 1561 = 0, 4*t - 3*b - 2128 = b. Is 6 a factor of t?
False
Suppose 11*w = 54 - 10. Suppose w*v - 11*i + 8*i = 1652, 5*v - 2060 = 5*i. Is v a multiple of 8?
True
Is 2*(4371/6 - 12/((-2)/(-1))) a multiple of 17?
True
Let h(j) = 3*j**2 - 17*j - 151. Is 23 a factor of h(16)?
True
Let l(n) = 12*n - 41. Suppose 21*v + 174 = 23*v. Suppose -14*i + v = -53. Is l(i) a multiple of 8?
False
Let i = 9256 - 6556. Is i a multiple of 12?
True
Suppose 0 = -5*w - 30, -21*w + 19034 = 4*i - 16*w. Is 51 a factor of i?
False
Let q(i) = 164*i + 1318. Is 20 a factor of q(24)?
False
Let f(j) be the second derivative of -j**3/2 + 32*j**2 - 35*j - 2. Does 17 divide f(-41)?
True
Let t(j) = 51*j**3 + j**2 + 8*j + 10. Does 75 divide t(5)?
True
Let q(c) = -10 - 10*c + c + 6*c + 2*c. Let w be q(-13). Suppose -w*k = -184 + 61. Is 13 a factor of k?
False
Let t(h) = 2*h + 25. Let w be t(-11). Suppose w*q + 0*z = -2*z - 118, -q - 46 = -z. Let v = q + 172. Is 13 a factor of v?
True
Let t(x) = -9*x + 151. Let z be t(17). Is 20 a factor of 285 + (-4 + 5)/(z/(-8))?
False
Let b = -12 - -14. Suppose b*x - 4*x = -4*s - 18, 4*s = -x - 3. Suppose x*g = -l + 15, 2*l - 3*l - 3 = -4*g. Is l a multiple of 2?
False
Suppose 104*o - 144 = 2*v + 105*o, -v = 3*o + 72. Let n = -515 - -219. Let g = v - n. Is 28 a factor of g?
True
Suppose -224*l - f = -219*l - 18811, 3767 = l + 5*f. Is l a multiple of 6?
True
Let t = 429 + -640. Let f = t + 269. Is f a multiple of 7?
False
Let b be (-2)/3 + (-2)/6. Let x(w) be the second derivative of -23*w**3/3 - 3*w**2/2 + w. Does 9 divide x(b)?
False
Let b be (-7)/(4 + -11) - (-276)/(-3). Let y = b - -285. Is y a multiple of 11?
False
Suppose 37*o - 41204 = -13898. Is 18 a factor of o?
True
Let p be 10/(-105)*6 + (-8)/(-14). Suppose -3*k + 240 + 297 = p. Is 4 a factor of k?
False
Does 15 divide ((-18)/(-12))/(2 + 3921/(-1962))?
False
Let p be 3/((-18)/(-8))*(-27)/(-6). Let z(a) = 7*a**2 - 47. Is 34 a factor of z(p)?
False
Let p = -1279 - -913. Let v = 43 - p. Is v a multiple of 65?
False
Suppose 5*b = -4*m + 25354, -3153*b + 31682 = 5*m - 3152*b. Is m even?
True
Let o = 16133 + -10841. Is o a multiple of 6?
True
Let j be 70/15 + (-7)/(-21). Suppose 0 = -j*z + 101 + 2294. Is z a multiple of 15?
False
Suppose 5*j - 74028 = 2*s - 12724, 0 = 3*j - 2*s - 36776. Does 21 divide j?
True
Is (-238)/(-9520) - 39198/(-80) a multiple of 98?
True
Suppose q = 3*y + 420, 3*q - 25 + 16 = 0. Let h = 328 - y. Does 6 divide h?
False
Let a = 2361 + -2289. Does 4 divide a?
True
Let f(o) = -o**2 - 9*o + 2. Let y be f(-9). Suppose -y*w + 30 = 3*w. Suppose -1075 = -w*z + z. Is 36 a factor of z?
False
Let l = 16649 - -47018. Is 218 a factor of l?
False
Does 2 divide (0 + (136 - (-6 + 13)))/((-15)/(-80))?
True
Suppose -254*r + 