iple of 162?
True
Let o = 4319 - 2080. Suppose 2*z - 497 - o = 0. Is 12 a factor of z?
True
Does 69 divide (-2 - (-2370)/4)*(-24 + -6)/(-5)?
False
Let r(m) = -m**3 - m**2 + m. Suppose 0 = u - 4*t - 8, 0 = 4*u + 4*t + 8. Let w be r(u). Suppose w = g - o - 48 - 53, 2*o = g - 98. Is 13 a factor of g?
True
Suppose 50*c - 41*c = -900. Let b = c - -107. Is b/((-147)/(-408)) + 3/(-7) a multiple of 19?
True
Suppose 3*m = 4*w + 24554, -w - 3*w = -5*m + 40934. Does 146 divide m?
False
Suppose -20*x - 60 = -50*x. Is 46 a factor of (26/26)/(x - 2090/1046)?
False
Let j = -9593 - -10254. Does 5 divide j?
False
Let v be 7/3 - (-169)/(-39). Let n(l) = -47*l**3 + l**2 + 3*l. Is n(v) a multiple of 88?
False
Is 26/(-10) - -1 - 16072154/(-3115) a multiple of 7?
False
Let r(x) be the first derivative of -x**4/4 - x**3/3 - 19*x**2 + 2*x + 100. Is r(-8) a multiple of 37?
False
Let k = 221 + -214. Suppose -417 = -z - 5*l, -5*z + k*z + l = 879. Is 46 a factor of z?
False
Suppose 0*j - 10*j + 1310 = 0. Let d = -241 + j. Let b = 15 - d. Is b a multiple of 17?
False
Let t(o) = -627*o + 133. Does 104 divide t(-8)?
False
Let v be -2*(1 + 0) + 1 + 102. Let w = v - 66. Let b = w + -25. Is b a multiple of 10?
True
Suppose 0 = -445*b + 453*b + 8. Is 98 a factor of 6/b + 4312/7?
False
Suppose -3*c + 2*g = -335 - 99, 446 = 3*c + 4*g. Let n = -76 + c. Is 3 a factor of n/(-7)*(-7)/2?
False
Suppose 0 = 3*o + 3*x - 5*x - 57, -2*o = -4*x - 38. Suppose o = 3*g - 5*a, -3*a - 2 = -2*a. Let k = g + 53. Is 17 a factor of k?
False
Suppose 3*h + 5*x + 0*x - 30 = 0, 0 = h + 5*x - 20. Suppose 9 = -3*s, 0 = h*u - 9*s + 10*s - 1432. Is u a multiple of 2?
False
Let f = -72 + 771. Suppose -x - 3 + 14 = 0. Suppose x*o - 225 = f. Does 6 divide o?
True
Let r(u) = -89 - 3*u - 6*u - 2*u**3 + 86 + 31*u**2 - 5*u. Let w be r(15). Suppose -16*a = -w*a - 344. Is 10 a factor of a?
False
Let p be (75 + 0)/((-38)/(-114)). Is -2 - (5 - (6/(-3) + p)) a multiple of 12?
True
Suppose 0 = -2*c + 4*u + 92, -7*c = -11*c + 2*u + 184. Let d = 146 - c. Does 6 divide d?
False
Let t = 38 - 34. Suppose 5*p - 5*j = -j + 3700, 2*p - 1480 = -t*j. Does 2 divide (-2)/9 - p/(-90)?
True
Suppose 0 = -3*n - 4*k + 24, -4*n - 4*k = -18 - 10. Does 14 divide (49 + (-12)/n)*(-29)/(-1)?
False
Suppose 52*q - 146237 = 34554 + 55809. Does 25 divide q?
True
Let s = -48 + 53. Suppose 4*q - 768 = r, -q = s*r - 190 - 2. Does 12 divide q?
True
Let w(d) = -5*d - 50. Let b be w(-11). Suppose -4*t + 16 = 2*l, -5*t + b = -5*l + 75. Does 3 divide l?
True
Suppose 59 + 309 = 8*c. Let o = c - 35. Suppose -o*n + 14*n - 102 = 0. Does 12 divide n?
False
Let m(w) = 2132*w + 20. Does 36 divide m(2)?
True
Let x(i) = i**3 + 21*i**2 - 45*i + 23. Let t be x(-23). Does 6 divide (147 - (t + -1)) + (-31 - -28)?
False
Suppose -2*k + n = -k - 11, -2*k + n = -23. Let m be 207/2 + k/24. Let r = m + -72. Is r a multiple of 16?
True
Let u = -5 - -5. Let v(m) = -4*m**3 + 2*m + 574. Does 15 divide v(u)?
False
Suppose 16*m = 14*m + 4*j - 102, 3*j = -6. Does 20 divide 11/(m/10) + 227?
False
Let t(w) = -w**2 - 3*w + 30. Let y be t(-6). Suppose -2984 = -5*g + 2*c, 5*c = 16*g - y*g - 2377. Does 26 divide g?
True
Suppose -5*s + 5 = 5*u, -5*u - 25 = -s - 6. Suppose 0 = -s*x - 4*p + 284, p + 75 = 3*x - 118. Is 11 a factor of x?
True
Let a = 4836 + -2544. Is a even?
True
Suppose 29*t - 27*t + 35685 = 5*v, -4*v + 2*t = -28548. Is 13 a factor of v?
True
Suppose 19*x - 18*x = h - 4711, 5*x - 30 = 0. Is h a multiple of 3?
False
Suppose 0 = -4*f + 2*r + 12108, 19*r - 3045 = -f + 24*r. Is f a multiple of 5?
True
Suppose 0 = 5*b - p - 4*p - 10, -5*p + 2 = -b. Suppose -b*s + 1350 = 42*s. Is 12 a factor of s?
False
Suppose 5*b = -6 + 11, 97 = -4*l + b. Does 13 divide (-1402)/(-12) + (-4)/l?
True
Let f(w) = 302*w + 6106. Does 4 divide f(-13)?
True
Suppose d = 4*i + 11, -3*d - 5*i + 3*i + 33 = 0. Let h(m) = m**3 - 4*m**2 - 35*m - 28. Is h(d) a multiple of 14?
True
Suppose -25430 = -5*i + 4*g, i + 1190 - 6252 = -4*g. Does 121 divide i?
True
Suppose 8*b = -4*j + 10*b + 1396, 4*j = -4*b + 1408. Suppose -255*n = -256*n + j. Is 24 a factor of n?
False
Suppose 71*q - 18*q - 75497 - 51491 = 0. Does 71 divide q?
False
Let t(w) = -w**3 + 11*w**2 + 4*w - 2. Let s = 158 - 148. Is t(s) a multiple of 6?
True
Let o(r) = 2*r**3 + 4*r**2 - 3*r - 11. Let x be o(4). Let j = x - 134. Is j a multiple of 3?
False
Let g = 81 + -80. Let q be (2 + g)/18 + (-37)/6. Is 382/8 + q/(-24) a multiple of 6?
True
Does 11 divide (25/(50/(-8)))/((4/2)/(-292))?
False
Let f(w) = 3*w - 49. Let u be f(21). Let t = 18 - u. Suppose -t*c + 31 = -81. Is 18 a factor of c?
False
Let b = 24252 - 4289. Does 28 divide b?
False
Let q be 3 + (-28)/8 + (-218)/(-4). Suppose 3*c = -36 + q. Suppose -c*n + 45 = -3. Is n a multiple of 6?
False
Let z = -14480 - -47247. Does 7 divide z?
True
Let d = -30 - -34. Suppose 2*s = 2*w + 8, -d*s + 5*w = 3 - 15. Suppose -s*l + 3*l = -360. Is l a multiple of 9?
True
Let f = 681 - 2131. Is f/(-30) + 13 + 4/6 a multiple of 5?
False
Let t(q) = 22*q - 1108. Does 27 divide t(124)?
True
Suppose 0 = -m + 7 - 28. Let o(l) = 10. Let x(j) = j - 10. Let u(i) = -4*o(i) - 5*x(i). Is u(m) a multiple of 35?
False
Let w be (-126)/(-27) + 1/(-3)*2. Suppose 16 = -4*s, -w*v + 4*s - s + 276 = 0. Is v a multiple of 3?
True
Let j = 40 + 69. Let l = -107 + j. Is 2 a factor of -114*l/(-18)*3?
True
Let g(i) = -17*i + 107. Let a be g(6). Suppose -f - 5*q + 589 = -121, 2740 = 4*f - a*q. Does 10 divide f?
True
Let h(y) = 3*y**2 + 6*y - 2. Let m be h(-3). Suppose 0 = -m*x - 107 + 408. Is 14 a factor of x?
False
Suppose 118336 = 19*k - 17780. Does 12 divide k?
True
Suppose 2*t + 4*z - 36 = 12, 5*t + z - 93 = 0. Suppose t*v - 12243 = -3819. Is 18 a factor of v?
True
Let j(k) = -71*k - 15. Let y(d) = -1. Let b(w) = -j(w) + 2*y(w). Let x(l) = 36*l + 7. Let n(h) = 2*b(h) - 5*x(h). Does 21 divide n(-3)?
True
Let p(v) = 73*v - 5. Let a be p(6). Let n be -1*(-11 - -5 - -9 - 3). Suppose 3*o = s - 2*s + 224, n = 2*s + 3*o - a. Is 13 a factor of s?
False
Suppose -3*d + 0*d + 4*q + 68654 = 0, -5*d + 114505 = 5*q. Does 88 divide d?
False
Let u(y) = -3*y**2 - 2*y - 385. Let k be u(0). Let j = 259 + k. Let w = 183 + j. Is w a multiple of 4?
False
Let s = 33 - 22. Suppose -s = -4*g - 3. Suppose -2*y - g*o = -3*y + 22, -5*y + 117 = -3*o. Is 6 a factor of y?
True
Let t be (-329)/105 - (-8)/60. Does 61 divide ((-42)/18 - t)*588?
False
Let c(x) = -x**3 + 10*x**2 + 2*x - 20. Let u be c(8). Let y = u + -119. Does 6 divide 157/4 + y/(-4)?
False
Suppose -3*s = -10*z + 6*z + 2, 0 = s - 2*z + 2. Suppose 3*p = s*w + 1493, -5*p + 533 = 3*w - 1930. Does 38 divide p?
False
Suppose 9*d + 1135 = 11*d + l, -3*d + 1715 = -l. Let c = d + -342. Is 76 a factor of c?
True
Suppose -5*s - 2*q + 5404 = 0, 2378 = 5*s - 4*q - 3014. Is 36 a factor of s?
True
Let a(t) be the second derivative of t**4/12 + 5*t**3/3 + 32*t**2 - 7*t - 2. Is 50 a factor of a(26)?
True
Let i = 385 + 801. Let g = i + -682. Is g a multiple of 13?
False
Suppose -w + 6*w + y = -120, -2*y = -10. Is 45 a factor of 432*w*(-2)/30?
True
Suppose 0 = 5*i - 9*c + 4*c - 765, 3*c - 331 = -2*i. Suppose 0 = 4*v - i - 2. Suppose 2*o + v - 251 = 5*t, 3*o - 284 = t. Is o a multiple of 13?
False
Let o(d) = -147*d + 5705. Does 5 divide o(-15)?
True
Is 48 a factor of 2 - (37090/(-20) - 1)/((-1)/(-2))?
False
Suppose -3*f = 29*b - 32*b - 606, -860 = -4*f - 9*b. Does 5 divide f?
False
Let c be (5 - -5)*(-3)/((-30)/28). Is 40 a factor of c/(-126) + 3332/9?
False
Suppose -4*p + 8*p = 2*t + 6, -5*t = -2*p - 1. Suppose -3*c - 2565 = -5*f, p*f - 5*f + 1539 = -4*c. Does 27 divide f?
True
Let n(h) = -5*h**2 + 3*h - 19. Let m(l) = -l**2 + 2*l - 2. Let q(g) = -6*m(g) + n(g). Is q(-5) a multiple of 21?
True
Is (-216)/120*-13*35 a multiple of 63?
True
Let q = 545 - 527. Suppose q*h = 14*h + 928. Is 58 a factor of h?
True
Let q be (9162/(-21))/(1/(-7)). Suppose 0 = -3*b - 3*b + q. Suppose -5*a + b = -16. Is 18 a factor of a?
False
Suppose -199*o - 5*m - 10805 = -200*o, 5*o + 4*m - 53880 = 0. Is 55 a factor of o?
True
Let a = -19865 - -26690. Is 105 a factor of a?
True
Suppose -8*d = -13*d - 4*z + 8, -5*z = -4*d - 10. Suppose 3*r + 4*x = 725, d = -5*r - x + 1036 + 195. Is r a multiple of 13?
True
Let f(h) = -36*h - 4. Let x(m) = -m - 1