)/(y/(-75)) a multiple of 3?
True
Let c(k) = k + 10. Let n be c(-8). Is ((-3)/(-2))/(n/596) a multiple of 7?
False
Let n(m) be the first derivative of m**4/4 - 10*m**3/3 - m**2 + 9*m - 70. Is 21 a factor of n(12)?
True
Let l be (-3)/(-5) + 32/5. Suppose 0 = p - l*p - 564. Let w = -52 - p. Is 7 a factor of w?
True
Suppose -9*q + 44 = -1. Suppose 8*i + 360 = c + 6*i, q*c + i - 1800 = 0. Is c a multiple of 45?
True
Let q(z) be the first derivative of z**4/2 + 2*z**3 - 2*z**2 - 14*z + 5. Is q(5) a multiple of 20?
False
Let t be (-5 - (-29)/4) + (-1)/4. Let v be (26/(-65))/(t/(-5)). Suppose -v = 5*c - 36. Is 7 a factor of c?
True
Let q(c) = -c**3 + 23*c**2 + 23*c + 36. Let v be q(24). Suppose -7*l + 4*l + v = 0. Is 18479/68 + (-3)/l a multiple of 36?
False
Suppose -7*k - 1118 = -404. Let d = k - -102. Let h = 84 - d. Does 6 divide h?
True
Let t(r) = -r**2 - 3*r - 26. Let z(g) = -2*g**2 - 5*g - 51. Let p(m) = 5*t(m) - 3*z(m). Does 24 divide p(11)?
True
Let b = 22140 - -17880. Does 40 divide b?
False
Suppose 76*c + 2850 = 78*c. Suppose 4*k = -5*t + c, k - 6*k = 0. Does 57 divide t?
True
Suppose 2*y = 16 - 0. Let i = y - -23. Suppose -2*a + i = -v, 2*a + 0*v = -2*v + 22. Is 5 a factor of a?
False
Is (23553/18)/(((-28)/(-152))/7) a multiple of 131?
False
Suppose 5*k = -3*t - 108 - 130, t = -k - 76. Let f = t + 111. Does 8 divide f?
True
Let u(r) be the third derivative of 9*r**4/8 - 109*r**3/6 + 47*r**2. Does 14 divide u(9)?
False
Let y = -1070 + 3635. Is y a multiple of 27?
True
Let v = -4722 - -9755. Is v a multiple of 7?
True
Let n = 3830 - 101. Does 33 divide n?
True
Suppose -26*n + 20*n + 60 = 0. Let u(y) = y**2 - 8*y + 1. Is 2 a factor of u(n)?
False
Suppose 6*z + 23*z = 14384. Let n = -399 + z. Does 11 divide n?
False
Let l(v) be the third derivative of -v**6/120 + 3*v**5/20 - v**4/3 + 7*v**3/6 + 9*v**2. Let w be l(8). Suppose w*n - 144 = 584. Is n a multiple of 10?
False
Let x(u) = u**2 - 5*u + 22. Let d(k) = -11*k + 4. Let f be d(0). Is 18 a factor of x(f)?
True
Let i = 1413 - 759. Suppose i = 9*j + 150. Is j a multiple of 4?
True
Suppose 0 = 2*o + 3*l - 4423, 2*l - 23 + 33 = 0. Let y = -1202 + o. Is 15 a factor of y?
False
Let a(r) = -2*r**3 + 13*r**2 + 5*r - 16. Let j be a(6). Suppose -j*m = -35*m - 27000. Does 40 divide m?
True
Let f be 1*(-1)/2 + 41/(-82). Does 31 divide (f + 38/8)/((-3)/(-248))?
True
Is (151/(-4))/((-13)/104) a multiple of 7?
False
Let r(y) be the second derivative of -41*y**3/3 + 95*y**2 + 13*y - 7. Is r(-6) a multiple of 93?
False
Let l = 258 + 408. Suppose -3*a + 0*a + l = 0. Suppose -3*p - a = -o, -4*o + 2*o - 4*p + 454 = 0. Does 45 divide o?
True
Let x be (-4)/4*0/(-1). Suppose -3*a = -5*a + 3*o + 15, 25 = -5*a - 5*o. Suppose -5*v - 25 = a, 75 = 4*u + 5*v - x*v. Is 25 a factor of u?
True
Suppose 5*k - 2*p = 32 - 10, 0 = -2*k + 4*p + 12. Suppose -k*v + x - 53 = -5*v, 4*v - 208 = -5*x. Suppose v = f - 3. Does 12 divide f?
True
Let h = -19 + 21. Let j be 9 + (0 - h) + (-1 - 1). Suppose -j*z - 22 + 2 = 0, 0 = 5*y + z - 306. Is 12 a factor of y?
False
Suppose -27*i + 441641 = -82753. Is 78 a factor of i?
True
Let h(p) = p**3 + 30*p**2 - 50*p + 13. Is h(-28) a multiple of 22?
False
Is 64/(-20) - -3 - (2585610/(-50) + 2) a multiple of 25?
False
Suppose 0 = -29*t - 17*t - 28060. Let c = t - -716. Does 6 divide c?
False
Let o(x) = 2*x**2 + 15*x - 14. Let h be o(1). Does 17 divide (6 + 0)*1/h*707?
False
Suppose 10*d = 14*d + 2*h - 4798, -7*h - 1192 = -d. Is d a multiple of 5?
False
Suppose 29 = m - 28. Let b = 62 - m. Suppose 5*o = 4*s + 348, 4*o + b*s = s + 300. Does 6 divide o?
True
Suppose 2*s - 3 = 2*p - 3*p, 3*s - 2 = -4*p. Let d be 339*(-4)/(-12)*p. Let b = 257 + d. Is b a multiple of 48?
True
Suppose 2*i + 24 = 4*q - 2*i, 3*i + 2 = -q. Suppose -25 = q*v + v. Is 23 a factor of ((-138)/10 - 0)*v?
True
Let b(f) = -f**3 - 14*f**2 - 25*f + 6. Let y be b(-13). Suppose 2*z - y = -2*u + 418, 4*u = -5*z + 1156. Is u a multiple of 21?
True
Let d(v) = -11 - 14*v + 3*v + 77. Is 20 a factor of d(-8)?
False
Let z = -25 + 28. Suppose 0 = -h - m - z*m + 29, 2*h - 34 = 4*m. Suppose 0 = -3*y + h + 6. Is y a multiple of 8?
False
Let u = -16 + 18. Suppose 0 = 4*w - 0*w - r - 5, 2*w - 2*r = -u. Is (0 - w/4)/((-15)/480) a multiple of 4?
True
Suppose m + 0*m = -15. Let w be -2 + (-200)/3 + (-10)/m. Let y = -52 - w. Does 8 divide y?
True
Let v(m) = m**2 + 14*m + 3. Let j be v(-14). Suppose -j*z + 5*r = -52, -4*z = z + 5*r - 100. Does 34 divide 8*(-1 + z/2)?
True
Let h = 411 - 414. Does 17 divide (2 - 570/(-18)) + h/(-9)?
True
Suppose 6*y + 2*r = 9*y - 4475, 2*y - 2978 = -4*r. Does 17 divide y?
False
Let w = 64 + -123. Let t = w - -90. Is t even?
False
Suppose -59*y = -55*y - 4. Let t(b) = 14*b**3 - 4*b + 3. Let i be t(y). Suppose 2*o - o = 3*z - i, 3*z - 2*o = 11. Is z a multiple of 5?
True
Suppose -240352 = -25*u + 17*u - 21*u. Is 8 a factor of u?
True
Let j(x) = -7*x**2 - 7. Let n be j(3). Let u = 116 + n. Suppose u = 3*m + 7. Is m a multiple of 7?
False
Suppose g + i - 8 = 4, 2*g + 4*i - 22 = 0. Suppose -4*p + g = -5*m, p + p - 4*m = 8. Suppose 3*b - 14 = p*b. Does 11 divide b?
False
Suppose 2*y + 3*j = 37161, 0 = 21*y - 25*y - 4*j + 74332. Is y a multiple of 12?
True
Let w(p) = -p**3 - 13*p**2 + 5*p - 20. Suppose 45 = -7*d + 4*d. Let l be w(d). Let r = l + -206. Does 15 divide r?
False
Suppose -41*z = -35*z. Suppose z = x + 4*c + 7 + 3, -4*c - 46 = -5*x. Does 6 divide x?
True
Let p(z) = 18*z**2 + 5*z + 103. Is 4 a factor of p(-9)?
True
Let b(m) = 183*m**2 - 3781*m - 8. Does 76 divide b(27)?
True
Suppose 10*f - 43 + 53 = 0. Let k(p) = 1104*p**2 + 3*p + 1. Is 58 a factor of k(f)?
True
Is 301 a factor of 1683/(-99) + 1*28612?
True
Suppose 3*a - 3*u + 3 = -9, 10 = -5*u. Let n = 10 + a. Suppose -n*r + 394 = -54. Is 16 a factor of r?
True
Is (-28 + 40381)*((-4)/(-14) + 1/21) a multiple of 64?
False
Let x be (-2)/(-3) - (14/21 - 2). Is 28 a factor of (308/33)/(x/102)?
True
Suppose -5 = -f, -6*i + f + 37095 = -i. Is 35 a factor of i?
True
Let f(z) = z**3 - 88*z**2 + 193*z + 495. Is 237 a factor of f(87)?
True
Let k = 1999 + -1039. Is k a multiple of 4?
True
Let p(d) = -38 - 18*d**2 + 11*d**2 + 5*d**3 + 51 + 7*d. Is p(5) a multiple of 12?
False
Let n(w) = w + 299. Let j be n(-19). Let d = -1 - -1. Suppose d = -9*q + q + j. Does 13 divide q?
False
Let g(m) = 2*m - 26. Suppose 3*u + 32 = 3*c - 2*u, 52 = 4*c - 2*u. Let t be g(c). Suppose -y + 89 = -i, -t*y + 190 = -2*i + 6*i. Is y a multiple of 14?
False
Let j = 299 + -297. Suppose -302 = -v - m + 241, -j*m = 5*v - 2724. Is 13 a factor of v?
True
Is 45 a factor of 3 + 1703 + 11 + -7?
True
Let i = 4 - -1. Suppose 4*u = 5*y + i, -y + 3*u = -u - 15. Let z = y + 82. Does 11 divide z?
True
Let p be 3 + 3 + -3 + 2. Suppose w - 106 = p*z - 307, -w + 119 = 3*z. Does 6 divide ((-72)/z)/(1/(-5))?
False
Let k be (-32)/112 - 39066/(-21). Suppose k = 3*t + 168. Does 47 divide t?
True
Let s(j) = -j**3 + 15*j**2 - 18*j + 28. Let k = 114 + -101. Is s(k) a multiple of 11?
True
Let n(m) be the second derivative of m**3/6 - m**2 - 5*m. Let q be n(2). Suppose 5*u = q, -2*l + 0*u + 56 = -2*u. Is l a multiple of 28?
True
Suppose 4*b = -3*u + 10455, -167*b + 163*b = u - 3477. Does 43 divide u?
False
Suppose 15*n + 48 = 7*n. Let v(x) = 2*x**2 + 11*x - 2. Let c be v(n). Is -3*(-526)/54 - c/18 a multiple of 3?
False
Suppose 21*j = b + 25*j - 1495, 0 = -4*b - 2*j + 6036. Does 21 divide b?
False
Let d(o) = o + 11. Let g be d(-11). Suppose -3*z = -4*f - 8, -z + g*f + 6 = -2*f. Does 15 divide 10/8*(28 + z)?
True
Suppose 5*d + 4 = -1. Let w be -6*(d - (-14)/(-4)). Suppose 3*p - w = 6. Is 11 a factor of p?
True
Is (-12956)/(15 - 102/6) even?
True
Let s = 5 - -49. Let b = -4 - s. Let p = b + 310. Is 28 a factor of p?
True
Let g = -1930 - 361. Let r = g + 3227. Is r a multiple of 26?
True
Let o(w) = w + w**2 - 95*w**3 + 0*w + 1 + 8*w**3 + 0*w**2. Let t be o(-1). Is 10576/t - 6/33 a multiple of 15?
True
Suppose -h - 3*t + t + 6 = 0, h + 5*t + 6 = 0. Let f = h - 16. Does 42 divide 165 - (3 + f) - -4?
True
Does 17 divide ((-9)/(-108)*-6)/(2/(-8032))?
False
Suppose 5*d = 210*w - 207*w - 114, 2*d + 152 = 4*w. Let i(u) = -u**2 - u - 14. Let z be i(0). Let p = w - z. Does 12 divide p?
False
Suppose 0 = 4*n + 3*x - 7*x + 2372, 0 = 2*n + 