se
Let m = 686 - 335. Suppose 2*g - 75 = 5*c + 349, 4*c - 1027 = -5*g. Let j = m - g. Is 36 a factor of j?
True
Let t(i) = 1522*i**2 + i - 1. Let s be t(-1). Suppose 4*q + 4*v - 1220 = 0, 5*q = -8*v + 4*v + s. Does 25 divide q?
True
Suppose 0*m - 5*m - 41 = -2*t, -17 = -4*t - 3*m. Let p(f) be the third derivative of 29*f**4/24 - 4*f**3/3 + 149*f**2. Is 48 a factor of p(t)?
False
Suppose 3*v - 3*t = 57, 2*v + 9 = 3*t + 49. Suppose 3*u = 5*u - p + 29, -u + p - v = 0. Does 17 divide ((-85)/(-15))/((-1)/u)?
True
Suppose 178*r = 186*r - 76464. Does 9 divide r?
True
Let y be (-2*39/(-15))/((-4)/20). Let p(j) = -j**3 - 27*j**2 - 36*j - 29. Is 33 a factor of p(y)?
True
Let q(w) = -12*w**2 + w. Let z be q(1). Let o(y) = -11 - 15 - 22 + 71 - 3 - 2*y. Does 15 divide o(z)?
False
Suppose 2*c + 18 = 4*q - 0, -5*q = -3*c - 24. Suppose 272 = 2*p + 4*z, p - q*z - 146 = -0*z. Does 35 divide p?
True
Let n = -104 + 104. Is 13 a factor of (-126)/(-10) + ((-2)/(-5) - n)?
True
Let j(c) = -c**2 - 85*c - 1793. Let f be j(-45). Let t = -330 - -1194. Suppose -t = -f*v + v. Is 40 a factor of v?
False
Let v = 39 + 67. Suppose -3*l + 772 = v. Suppose 3*t = -45 + l. Does 4 divide t?
False
Let h be (29/87)/((-2)/42). Let p = 21 - h. Does 7 divide p?
True
Let z be (6/5)/((-9)/(-30)). Suppose 4*j - 77 = -0*f - f, -z*f = -j - 393. Let m = f + -37. Is 13 a factor of m?
False
Is 3 a factor of (-12264)/(-27) - (4 - (-204)/(-54))?
False
Let c(f) = -f**3 - 5*f**2 + 11*f - 16. Let a be c(-7). Suppose -a*q = -1087 - 88. Does 15 divide q?
False
Let s(l) = 19*l**2 - 9*l - 22. Let q be s(16). Suppose 38*u - q = 29*u. Is 58 a factor of u?
True
Let x(q) = -418*q. Let b be x(1). Let y = b - -142. Is 8 a factor of y/(-8 - -4) - -3?
True
Let a(l) = l**3 + 20*l**2 - 12*l - 63. Let y = 424 - 441. Does 42 divide a(y)?
True
Suppose 0 = 4*y + 2*i + 560, -y + 3*i = 2*y + 429. Let x(t) = -t + 16. Let a be x(13). Let p = a - y. Is p a multiple of 24?
True
Suppose 2*d - 15 = -5*n - 2*d, 4*n - 12 = -5*d. Suppose -n*s = -43 - 14. Let k = 73 - s. Does 27 divide k?
True
Let k be 2/(-17) - -33*(-62)/(-51). Suppose 2*a + 4*u - 226 = k, 4*a = -2*u + 538. Does 27 divide a?
True
Suppose -102*l + 12 = -105*l, 3*u - 78859 = l. Is u a multiple of 35?
True
Let w(c) = -21*c**3 + 2*c**2. Let q be w(-2). Suppose -4*k - 8 = -32. Suppose k*t - 4*t = q. Is 20 a factor of t?
False
Suppose -2*a + 0*a + 4 = 0. Suppose 0 = -3*g + z - 13, -5*g - a*z = 3*z + 35. Let m = g + 65. Is m a multiple of 20?
True
Suppose -m + 2 = 2*i, 5*i + 6 = -4*m + 7*m. Suppose 5*j - 617 + 197 = i. Suppose -7*r + j = -28. Does 12 divide r?
False
Is (-4 - 2) + (1721 - 1) a multiple of 31?
False
Suppose -23710 = p - 6*p. Suppose -4474 - p = -24*w. Does 12 divide w?
True
Suppose -21626 = -85*d + 23594. Is d a multiple of 4?
True
Let i = 1193 + 64. Suppose -i = -5*b - r, -5*r = -b - 2*r + 261. Let v = b - 147. Is 15 a factor of v?
True
Let f = -8624 - -73424. Is 72 a factor of f?
True
Let y(c) = 54*c**2 - 4*c + 9. Let d = -92 - -87. Let b be y(d). Suppose -10*n + b = 359. Is 10 a factor of n?
False
Let k(q) = 31*q + 77. Let i(n) = 495*n + 1236. Let u(z) = -4*i(z) + 66*k(z). Does 30 divide u(7)?
True
Let b(z) be the second derivative of -49*z**3/6 - 23*z**2 - z + 23. Does 19 divide b(-9)?
False
Let o = 454 - 1407. Let a = -290 - o. Is a a multiple of 13?
True
Let c(d) = -d**3 + 13*d**2 + 15*d - 9. Let i = -60 + 74. Let z be c(i). Suppose -5*u + u + 5*f + 225 = 0, u - z*f = 60. Is 13 a factor of u?
False
Suppose -20775 = -2*y - 10*y + 7*y. Is y a multiple of 14?
False
Suppose 3*b = -2*a + 58 + 275, -b = a - 112. Suppose -5*l = b - 34. Is 722/6 - (-5)/l a multiple of 40?
True
Suppose 4*w - 112 = -4*u, 3*w + 0*w - 100 = 5*u. Is w/8*2552/33 a multiple of 14?
False
Let r = -2237 + 5725. Is r a multiple of 8?
True
Let c(k) = k**3 - 6*k**2 - 23*k + 25. Let d be c(9). Let n = d - 7. Is 3 a factor of n?
True
Let h(i) = -249*i - 91. Is 72 a factor of h(-4)?
False
Suppose -20*j + 19740 = -15*j. Suppose j = 3*u + 11*u. Is u a multiple of 33?
False
Suppose -40*z = -39*z - 4. Suppose k = -0*k - z*k. Suppose 5*q + 10 = k, -s + q + 740 = 2*s. Does 38 divide s?
False
Suppose 0 = -h + 2*x + 14, 26*h + 10 = 31*h + 2*x. Does 4 divide h?
True
Let q = -20678 - -20762. Is 42 a factor of q?
True
Let i(s) = -3*s - 21. Let x be i(-23). Let j = -46 + x. Does 27 divide ((-328)/20)/(j/(-25))?
False
Is 57856/22 + 30/165 a multiple of 177?
False
Let l(u) = -257*u + 21210. Is 30 a factor of l(0)?
True
Let g(i) = 44*i. Let s be g(1). Let k = s - 35. Suppose 0*b + k*b = 1143. Is 33 a factor of b?
False
Let z = 42 + -42. Suppose z = -3*d - d + 148. Suppose d = 3*x - 122. Is 14 a factor of x?
False
Suppose -390 = -5*a + 5*d, 296 = 4*a + 2*d + 2*d. Suppose -3*k + 140 = -a. Suppose k = n + 9. Is 7 a factor of n?
True
Is 39 a factor of 6/2*((-64)/(-2) + 6559)?
True
Let g = -58 - -60. Suppose -4*y - 4 = g*k, y + 2*y = -k - 6. Suppose 4*s + 11 = 3*q, s - k*s = q - 29. Does 3 divide q?
True
Let y(b) = 20*b + 10. Let m(z) = -19*z - 10. Let k(a) = 4*m(a) + 3*y(a). Let s be k(-15). Let w = s - 146. Is 15 a factor of w?
False
Let s = -3111 + 6446. Is 24 a factor of s?
False
Suppose 903*h - 933*h - 13533 = -449913. Is 14 a factor of h?
True
Let s(r) = 4*r - 18. Suppose 5*p = 3*p + 14. Suppose -11*w = -10*w - p. Does 8 divide s(w)?
False
Suppose -16*m + 1959 + 489 = 0. Let s = 41 + m. Is 9 a factor of s?
False
Let b = 15 + -15. Suppose b = -5*x + x + 16. Suppose -17 = -t - x*p + 23, 0 = -2*t + 4*p + 140. Is 30 a factor of t?
True
Let r(m) be the third derivative of 19*m**4/8 - 26*m**3/3 - 212*m**2. Is 8 a factor of r(13)?
False
Let q(y) = -400*y. Let d be q(0). Let x(c) = -c**3 + 6*c**2 - c - 2. Let p be x(4). Let g = d + p. Does 4 divide g?
False
Let a = -878 + 1698. Let k = a - 235. Suppose -k = -10*m + 5*m. Is m a multiple of 39?
True
Let c(q) = q**2 + 2*q + 4. Let r be c(-4). Suppose -3*b + 0*b + r = 0. Suppose -3*a + b*j = -24, -2*a = 2*j - 7 - 9. Is 8 a factor of a?
True
Suppose -y - 57 = -208. Let d = 411 + -499. Let x = d + y. Does 10 divide x?
False
Suppose -4 = 22*x - 24*x. Suppose -2*b + 69 = -5*j, 0 = 3*b + x*j - 0*j - 113. Is b a multiple of 37?
True
Suppose 5*k - 7251 = -19416. Let a = 3571 + k. Is 69 a factor of a?
False
Let p(m) = -m**3 - 6*m**2 - 2*m. Let o(n) = -n**3 - 7*n**2 - n. Let h(c) = 4*o(c) - 3*p(c). Suppose 10*w - 3*w + 77 = 0. Is h(w) a multiple of 7?
False
Let y(b) = 2*b + 22. Let x be y(-4). Suppose -18*v = -x*v + 200. Let f = v - -169. Does 17 divide f?
True
Is 37 a factor of 2/(-37) - 2960688/(-1776)?
False
Let d = 869 + -343. Let m = d - 418. Is 36 a factor of m?
True
Suppose 2*w - v + 2*v = -39, 2*v + 99 = -5*w. Let b(f) = f**2 - f + 24. Is 81 a factor of b(w)?
True
Let r be (-94)/(-12) - 29/(-174). Suppose -2195 = -r*s + 2293. Is s a multiple of 51?
True
Let v(p) = 7*p**3 - 34*p**2 - 5*p. Let l be v(4). Let c = 418 + l. Does 6 divide c?
False
Let n be (7 - 8)*-19*-61. Let p = n + 1687. Is 44 a factor of p?
True
Suppose -2*m = -5*o + 9 + 4, -5*o + 5*m + 25 = 0. Let g be (3 - 3)/((-2)/o). Suppose g = 2*j - 4*j + 28. Is j a multiple of 7?
True
Let w(a) = a**3 - 3*a**2 - 9*a + 6. Suppose -3*t = -21 + 3. Let p be t - 0/2*(-4)/(-8). Is w(p) a multiple of 12?
True
Let n(i) = -201*i + 27. Let z be n(5). Let f be z/24 + 9/12. Is 25 a factor of 2/4 - 2 - 3620/f?
False
Let w = -202 - -134. Is w/8*(-11 + 9) a multiple of 6?
False
Let l be 1*(-10*2)/(-4). Let a(k) = 3*k**2 - 5. Let g be a(l). Suppose -4*s + s = -5*w + g, -4*w + 5*s = -43. Is 17 a factor of w?
True
Does 7 divide ((-7519)/3)/((2/24)/(39/(-78)))?
False
Suppose -4*u + 5*r = 9*r + 1112, 0 = -5*r - 10. Let j = u + 420. Is j a multiple of 6?
True
Suppose 3*m + 0*m = -6, 4*l = -2*m + 14076. Does 5 divide l?
True
Let i = -1007 - -1773. Let a = i - 392. Does 11 divide a?
True
Suppose 5*c - 44770 = -4*w, 32*w = 27*w - 2*c + 55954. Does 20 divide w?
False
Is 15 a factor of (131580/(-1071))/(1 - (-18)/(-14))?
False
Let p(d) = 87*d**2 - 418*d + 5059. Is 6 a factor of p(12)?
False
Let x(t) be the third derivative of t**8/4032 + t**7/1680 - t**6/240 + 3*t**5/10 + 14*t**2. Let f(m) be the third derivative of x(m). Does 15 divide f(-3)?
False
Let c(j) = 43*j**2 + 33*j + 8. Does 86 divide c(18)?
True
Let d(u) = u**3 - 17*u**