2 a factor of u?
True
Is 14*((-12)/(-8) + -2) - -2581 a multiple of 13?
True
Let a(z) = -148*z - 75. Let v be a(-4). Suppose -v = -6*j + 2123. Is 44 a factor of j?
True
Suppose -35384*y = -35315*y - 2525952. Does 143 divide y?
True
Let p = -818 + 794. Is 15 a factor of p/(-18) + 12260/30?
False
Let h = -138 + 215. Suppose k = -48 + h. Is k a multiple of 4?
False
Let t(l) = l**3 + 18*l**2 + 13*l - 33. Let y be t(-8). Let v = y - 355. Does 37 divide v?
True
Let g be (1 - 191)*210/75. Is 9 a factor of (114/7)/((-152)/g)?
False
Is 184*68/((-2 + 4)/1) a multiple of 23?
True
Let k be (-35 - -34)*(-2 - -1 - 2). Suppose k*u + 4*l = -u + 1264, -2*u + 624 = 4*l. Is u a multiple of 64?
True
Suppose 21*o = -o + 6556. Suppose 3*g + o = 418. Is g a multiple of 5?
True
Let g be (1 - (1 - 0))/(-2 - 0). Is (11 - 5) + (g - -73) a multiple of 7?
False
Let c(s) = -56*s**2 - 5*s - 5. Let k be c(-2). Let w be 3 + -8 + 2 - k. Suppose 2*z = -2*b + w, -4*b + 169 = -4*z + 601. Does 36 divide z?
True
Suppose 272148 + 173154 = 17*z + 16*z. Is 62 a factor of z?
False
Let w(k) = 12*k + 304. Let i be w(-25). Suppose 559 = 8*r - 7*r + 4*c, -r + 575 = -i*c. Is 27 a factor of r?
True
Let x(h) = 14*h**2 + 49*h - 135. Is x(5) a multiple of 2?
True
Let a(z) = -z**2 - 20*z + 25. Let m(w) be the first derivative of -w**4/4 + w**3/3 - w**2/2 - 19*w - 10. Let b be m(0). Is 7 a factor of a(b)?
False
Let r = -42737 - -92955. Does 324 divide r?
False
Suppose 0 = -2*p + 5*f + 43, -p + 30 = 4*p + 3*f. Does 21 divide p - 8555/(25/(-5))?
False
Let s(c) = -339*c - 270. Is s(-12) a multiple of 93?
False
Let v be (-204066)/(-144) + -2 + 15/8. Suppose 6*c = v + 149. Does 23 divide c?
False
Let p(f) = 167*f**2 - 4*f - 4. Suppose -4 = -4*i + 6*i. Let u(s) = 168*s**2 - 3*s - 3. Let t(m) = i*p(m) + 3*u(m). Is t(-1) a multiple of 31?
False
Suppose -900 = -21*h + 18*h. Suppose -8*k + h = -12*k. Does 31 divide (36/54)/((-1)/(k/1))?
False
Let i = 74 + -229. Let w = -31 - i. Is 51 a factor of w?
False
Suppose -2*q - 2 = 2*t, -5*t - 45 = -5*q - 0*t. Suppose -j = -5*r - 7, -j - 5 = q*r - 2*j. Does 9 divide 47 - (2 - (r + 2))?
True
Suppose -n = 3, -11*v + 2674 = -6*v + 2*n. Let a = v - 275. Does 7 divide a?
False
Let d(g) = -g**3 + 9*g**2 - 2*g - 16. Let b be (-62)/(-8) - (-1)/4. Let k be d(b). Let u = 117 + k. Is u a multiple of 27?
False
Let m(b) = 60*b**2 + 213*b + 632. Is m(-3) a multiple of 7?
False
Let v = 53 + -8. Let g be 7/((-35)/138) - v/(-75). Does 21 divide -24*(g/(-12) - 4)?
True
Suppose 0*r - 3*r = 0. Let w(c) = 3*c + 8. Let h be w(r). Suppose -23 - h = -v + 2*n, 0 = 3*v + n - 107. Is 5 a factor of v?
True
Let t(c) = -44*c - 8. Let o be t(-3). Let j = -117 - o. Let p = -136 - j. Is p a multiple of 15?
True
Suppose l - 42 = 108. Is 38 a factor of 75/20*(l - -2)?
True
Let s(b) = -b**3 + 3*b**2 + 6*b - 5. Let g be s(2). Suppose -g*q + 2326 - 313 = 0. Does 6 divide q?
False
Let b = 15 + -37. Let z be -26 - b - -1*(-6 - 2). Let w = 26 + z. Is 3 a factor of w?
False
Suppose -562 = -7*n + 3358. Does 17 divide (n/(-15))/(-1*3/27)?
False
Let a(v) = 5*v - 1. Let j be a(-3). Let y be j/(-10) + 10/25. Is 1 - -1 - (-2 - 40/y) a multiple of 8?
True
Let q = -1601 + 375. Let j = q - -2111. Is j a multiple of 15?
True
Suppose -15*v = 1014 + 66. Does 6 divide (-32)/v + 6248/36?
True
Let u(v) = -2*v**2 + 17*v + 52. Let l be u(11). Is 65 a factor of -6 + 3 - (-1815)/((-15)/l)?
False
Is 36/24 - 13/(78/(-245175)) a multiple of 350?
False
Suppose 18*s - 11*s - 7861 = 0. Suppose -d = -5*x + 1327 + s, -d = 5*x - 2440. Does 53 divide x?
False
Let f = -69 + 76. Let m = f - -2. Suppose -m*d = -13*d + 688. Does 13 divide d?
False
Suppose 12*o = 1223 - 179. Suppose -4*j - 3*k = -216, 2*j - 21 = -2*k + o. Let f = j - 43. Is 8 a factor of f?
False
Suppose 3*c - 1156 = 136*f - 137*f, 3*c = -12. Is f a multiple of 4?
True
Suppose 3*t + 8 = 5. Does 14 divide -3 - t - 382*(-1)/2?
False
Let s(f) = f**2 - 13*f + 15. Let w be s(12). Suppose w*z + 4 - 19 = 0. Suppose -4*d - 2*a + 448 = d, -z*d = -4*a - 424. Does 28 divide d?
False
Let t(c) = 2*c**2 + 4*c + 24. Suppose -4*d = -s - 23, 4*d - 3*s - 14 = -1. Is 19 a factor of t(d)?
False
Let r(n) = -4*n - 12. Let z be r(-4). Suppose -k = -2*p + 44, -7*k - 40 = -2*p - z*k. Is p even?
False
Suppose 0 = 5*f - 75 - 1165. Suppose 3*q - 5*h = 1972, -2*h = 3*q + 2*h - 1981. Suppose -4*m + q = 2*z + 157, -2*z + f = 2*m. Is 27 a factor of m?
False
Let w(v) = -2*v**2 + 73*v - 55. Let g(r) = r**2 - 36*r + 28. Let x(y) = -13*g(y) - 6*w(y). Does 26 divide x(12)?
True
Let j = -6 + 14. Let f be (j - 4)*(3/2)/(-3). Is 23 a factor of (0/5)/(f/(-2)) - -46?
True
Let g = -2291 + 3251. Let a be ((1116/(-42))/1)/((-1)/7). Suppose -180*i - g = -a*i. Is i a multiple of 10?
True
Does 23 divide (43 - 5441)*4/(-8)?
False
Let p(d) = -4*d**3 - 2*d + 6 - 3*d**2 - d + 5*d**3. Let k be p(6). Suppose -m + 3*n + 303 = 2*m, 4*n - k = -m. Is m a multiple of 48?
False
Let h = 25 + -33. Let g(f) = 5*f**2 + 8*f + 92. Let c(r) = -3*r**2 - 5*r - 61. Let v(w) = h*c(w) - 5*g(w). Is 14 a factor of v(0)?
True
Let c = -262 - -368. Let m = 225 - c. Is m a multiple of 23?
False
Suppose 126*z - 130*z = -12, -8317 = -5*t + z. Is 104 a factor of t?
True
Let o(v) be the second derivative of -v**3/3 - v**2 - 16*v. Let r be o(4). Let q = r - -25. Is q a multiple of 5?
True
Let r(k) = -k**3 + 5*k**2 + 3*k - 7. Let w be r(5). Suppose w*s - 4*s = 408. Suppose 105*o = s*o + 60. Is 7 a factor of o?
False
Let q(u) = 76*u**2 - 79*u + 590. Is 73 a factor of q(11)?
False
Suppose -2*q + a = -1043, 5*q - 2585 = 3*a - 8*a. Does 96 divide q?
False
Let r = 189 - -17. Let t = 388 - r. Suppose 2*s = -3*a + 182, 0*a = 2*s - 4*a - t. Is s a multiple of 10?
False
Let q = 184 + -167. Suppose 4*y - 4*d = 56, 2*y - d = q + 8. Is y a multiple of 4?
False
Let d = 34328 - 14964. Is d a multiple of 77?
False
Suppose w + 59627 = 3*o, -o - w = -12999 - 6866. Does 119 divide o?
True
Suppose -5244*l + 5240*l = -240. Does 15 divide l?
True
Suppose -j = 3*a - 73, 4*j - 2*a - 3*a = 377. Let t be 10/(-6)*(1 - 4). Suppose -3*r + 5*k - 3*k = -j, 0 = t*r - 2*k - 148. Is r a multiple of 3?
True
Is 1*20890*(-23)/(1265/(-44)) a multiple of 226?
False
Suppose 63*s - 62*s = 0. Suppose 9*k - 6 + 33 = s. Is (-11)/4 - k - 2849/(-28) a multiple of 17?
True
Let j = -20 + 13. Let p be 107 - (-7)/(j/3). Suppose 0 = -l + p + 22. Does 14 divide l?
True
Let k = 79 + -68. Suppose 1092 = k*o + o. Does 30 divide o?
False
Let t(h) = -5*h**2 - 8*h + 10*h**2 + 2*h**2 + 10*h**3 - 5*h**2 - 2. Is 7 a factor of t(2)?
True
Let c(r) = -3*r - 12. Suppose -11*b = -15*b - 28. Let d be c(b). Is (237/(-12))/(d/(-36)) a multiple of 5?
False
Let t = 1564 + 2048. Suppose -11*r = 3*r - t. Does 32 divide r?
False
Suppose 751*o - 745*o = 3*r - 26793, -3*r = -5*o - 26797. Is 71 a factor of r?
False
Let z(s) = -2*s**3 - 4*s**2 + 5*s - 4. Suppose 4*k + 3*m - 14 = 0, -2*k + 4*k - 2*m = 0. Let p be z(k). Let w = 42 - p. Does 9 divide w?
False
Let d(u) = -5*u - 18. Let b be d(15). Let x = b - -282. Does 27 divide x?
True
Let j(x) = x + 1. Let c(b) be the third derivative of -7*b**5/15 - 5*b**4/24 - 2*b**3/3 + 11*b**2. Let q(n) = -2*c(n) - 10*j(n). Does 7 divide q(1)?
False
Suppose 4*h + 34 = 54. Suppose -a + 102 + 232 = 2*d, 0 = d + h*a - 158. Is 34 a factor of d?
False
Let f(y) be the first derivative of -260*y**2 + 13*y - 87. Is f(-1) a multiple of 41?
True
Is (89 - 80)*-1*1 + 3714 a multiple of 39?
True
Suppose -14*d - 40 = -124. Is (-3177)/d*(-12)/18 a multiple of 25?
False
Suppose -19*q + 356 = -15*q. Suppose -2*f + 70 = 2*m, -5*f + q = -2*m - 86. Does 4 divide f?
False
Let b = -6510 + 22722. Is b a multiple of 14?
True
Let c = -1088 - -2131. Suppose -12*y + 19*y = c. Suppose -4*j + 268 = 2*s - 310, 4*s + y = j. Does 10 divide j?
False
Suppose 17*u + 30*u = 33*u + 12950. Is u a multiple of 11?
False
Let p(m) = -22 + 56*m + 5*m**2 - 45*m - 71. Is p(6) a multiple of 9?
True
Suppose -134*q + 5*q + 270771 = 0. Is 44 a factor of q?
False
Let u(r) = -5*r**2 + 34*r + 14. Let x be u(7). Does 56 divide 8063/8 - x/(-56)?
True
Suppose -322*y - 77499 = -331*y. Is 144 a factor of y?
False
Suppose 155*g = 9*g + 310688. Is g a multiple of 76?
True
Let m(x) = 99*x**3 + 5*x**2 - 22*x - 7. Does 127 divide m(4)?
False
Let y = 