-2625)/u?
False
Let o = 242 - 239. Suppose p + o*n - 79 = -n, -3*p = -3*n - 177. Does 5 divide p?
False
Suppose -37*v = -169874 - 65891 - 388499. Is v a multiple of 152?
True
Let x be (3/(18/(-8)))/((-416)/112944). Does 96 divide x + -4 + -4 + 7?
False
Let w(k) = -46*k + 5100. Does 108 divide w(26)?
False
Let o(m) = -m**3 - 9*m**2 - 43*m - 132. Is 17 a factor of o(-6)?
False
Let x(o) = -o**2 - 35*o - 89. Let k be x(-32). Suppose f + k*f - 1784 = 0. Is f a multiple of 47?
False
Let j(w) be the third derivative of -w**5/60 + w**4/12 - w**3/3 - 3*w**2. Let r be j(2). Is 4 a factor of (-8)/((-21)/30 + r/(-10))?
True
Let z(a) = -979*a + 8514. Is z(-5) a multiple of 62?
False
Suppose 20 = 4*t, 6*x - 5*x - 882 = -4*t. Suppose -2*u = -146 - x. Does 6 divide u?
True
Let c(h) = 15*h**2 + 2*h - 48. Let q be c(16). Suppose -q = -47*o - 1004. Does 33 divide o?
False
Does 16 divide (-485)/2*(-267720)/3450?
False
Let u be (1/3 - 0) + 1550/30. Suppose -5*q + 60 + 16 = 4*k, u = 2*k - q. Is (k/20)/((-3)/(-140)) a multiple of 28?
True
Let i(j) = -246*j + 11022. Is 124 a factor of i(7)?
True
Let t be (10/8)/(1/(-140)). Let s = t - -205. Is 3 a factor of s?
True
Is 789340/(-183)*60/(-25) a multiple of 4?
True
Let t = 291 + -295. Is (6872/(-48))/(t/24) a multiple of 37?
False
Suppose 2*o - 6*o + 112 = 0. Let r be 8/(80/15)*o/6. Suppose 9*t - 408 = r*t. Is t a multiple of 13?
False
Let i = 44005 + -18917. Suppose -6*z = 10*z - i. Does 16 divide z?
True
Let x = 2 - 0. Let s = 683 - 683. Suppose -2*r = -5*u + u - 20, s = -x*r + 5*u + 19. Is r a multiple of 6?
True
Let d = 851 - 331. Is 40 a factor of d?
True
Suppose 11*k = -3*k + 4242. Let x = -218 + k. Does 17 divide x?
True
Suppose 0 = -45*x + 69*x - 95688. Does 85 divide x?
False
Suppose -20 = 109*k - 114*k. Let q be (((-40)/(-15))/k)/(2/18). Let w(n) = n**3 - 5*n**2 - 6*n + 15. Is w(q) a multiple of 10?
False
Let r(a) = 13*a**2 - a + 59. Is r(7) a multiple of 53?
True
Let l = -183 - -190. Let s(v) = 59*v - 90. Is 63 a factor of s(l)?
False
Let o be (2/(-3))/((-18)/81). Let p(g) = -4*g**2 - 3 + 0*g + 0*g + 8*g - o*g**3 - 9*g. Is p(-3) a multiple of 10?
False
Let a(k) = 170*k**2 + 14*k + 156. Is 80 a factor of a(11)?
True
Suppose -18*j + 10*j + 1936 = 0. Let d = j + -188. Is d a multiple of 43?
False
Let d be (-16)/((25/10)/(-5)). Suppose -3*w + d = t + t, 4*w = -16. Suppose -4*p = -t - 58. Is 4 a factor of p?
True
Suppose 219*o + 11151970 = 574*o. Is 286 a factor of o?
False
Let d(f) = 3*f**3 - 19*f**2 - 16*f + 32. Is 26 a factor of d(13)?
False
Let m(o) = o**2 - 20*o + 6. Let r be m(18). Let t be (-1)/(-5) - (-36)/r. Does 47 divide (-6)/(30/(-935)) - (t - 0)?
True
Suppose 0 = 5*x - 2*l - 18663, 4*l = -24*x + 29*x - 18661. Is 38 a factor of x?
False
Let x(j) = 4*j**3 - j**2 + 3*j - 2. Let p(d) = d**3 - 2*d**2 - 3*d - 6. Let c be p(5). Suppose 58 = 4*s + c. Is 2 a factor of x(s)?
True
Let s be ((-1)/(-5))/(1/5) + 66. Let z = s - -15. Is 11 a factor of z?
False
Let k be 320/(-120)*6/(-4). Suppose 2176 = k*t - 1688. Is 21 a factor of t?
True
Suppose -t + 3*t + i - 953 = 0, i - 5 = 0. Let k = t + 124. Is k a multiple of 16?
False
Let n(i) = -2486*i - 176. Let s(a) = -71*a - 5. Let k(l) = -5*n(l) + 176*s(l). Let u be k(-2). Suppose -47*j + 44*j = -u. Does 44 divide j?
True
Suppose g + 25*g - 782808 = 0. Is g a multiple of 241?
False
Suppose 0 = -33*i + 1057 + 1009 + 904. Is i a multiple of 30?
True
Let d = -46 - -53. Suppose 3*k = d*k + 52. Is 5 a factor of (-1 - k)/(9/12)?
False
Let i = 2331 - -489. Is i a multiple of 5?
True
Suppose 6 = 18*c - 16*c. Is 1/c + -3*232/(-72) a multiple of 5?
True
Let r = 8 - 4. Let p(g) = 4*g**2 + 19*g - 63. Let y be p(3). Suppose -r*u + y + 38 = 0. Is u a multiple of 11?
False
Let f be (-10)/(-6) - 1/(-3). Is 79 a factor of f/10 - (5 + 419/(-5))?
True
Suppose -61 - 23 = -7*y. Is 2/1*3546/y a multiple of 10?
False
Let b(n) be the first derivative of 791*n**2/2 + 35*n - 10. Is b(1) a multiple of 14?
True
Let d = 24711 + 7599. Is d a multiple of 69?
False
Is 4649 + 29 - (0 - 13) a multiple of 93?
False
Let t be ((76992/8)/(-6))/2. Let g = 350 - t. Is 18 a factor of g?
True
Suppose 8679*n - 82733 = 8626*n. Does 7 divide n?
True
Let h = -28 + 61. Let w = 41 - h. Is 82*(-4 + 36/w) a multiple of 8?
False
Is 63 a factor of 545623/19 + (-3 - -14)?
True
Let l(x) = -198*x + 316. Does 56 divide l(-10)?
True
Suppose -3*p + 9 = 0, 0 = 2*y + 4*p - 16534 - 8264. Is 51 a factor of y?
True
Suppose 2148744 = 54*g + 102*g. Is 71 a factor of g?
True
Let d(h) be the third derivative of -3*h**4 + 13*h**3/2 - h**2 - 43*h. Is d(-3) a multiple of 15?
True
Let i = 4269 + -4016. Is 3 a factor of i?
False
Let m be 28/6*(-35 - -5) - 0. Let o be 5/1*(-246)/(-5). Let y = o + m. Does 14 divide y?
False
Let a(w) = w**3 - 17*w**2 + w - 14. Let t be a(17). Suppose 0 = t*x + 3*m - 642, -x - x + 3*m + 438 = 0. Does 9 divide x?
True
Suppose 23760 = 15*q + 25*q. Suppose -44*l = -35*l - q. Is 11 a factor of l?
True
Suppose -2*h - 4*w + 59036 = 5386, 0 = -4*h + w + 107327. Does 66 divide h?
False
Let b(k) = -2*k**2 - 27*k - 8. Let g be b(-13). Suppose 0 = -g*q + 5*r + 1535, 23*q - 5*r + 1575 = 28*q. Does 17 divide q?
False
Let c = -5193 + 5226. Is 24 a factor of c?
False
Suppose 0 = -4*y + n + 647, 3*y = -3*n + 98 + 406. Let x = y - 53. Is x even?
True
Suppose -c - 6*j = -2715, -4*c - 2*j + 1295 = -9587. Does 12 divide c?
False
Suppose -13*d + 18*d = 5*q + 18495, -4*d - 3*q = -14796. Is 11 a factor of d?
False
Is (-48)/9*(3279/(-12) - -7) a multiple of 21?
False
Let m(h) = -5*h - 20. Let y be m(-5). Suppose 4*g + 1160 = y*r + 9*g, 4*g - 8 = 0. Does 10 divide r?
True
Suppose -16*b = -41*b + 98525. Let a = -2650 + b. Is a a multiple of 37?
False
Suppose 7*m + 768825 - 2833536 = -82*m. Is m a multiple of 19?
True
Let i be 1 + (0 - (-7 - 0)). Suppose -i*j - 43 = 13. Let a(h) = -h**2 - 7*h + 15. Is 5 a factor of a(j)?
True
Let c(b) = -5*b**2 - 14*b - 10. Let n be c(-4). Let p = 131 - n. Is p a multiple of 15?
True
Let a(z) = -34*z + 66. Suppose 24 = -2*s - 3*t, 20 = -4*s - 5*t - 30. Is a(s) a multiple of 18?
True
Suppose 0 = -3*z - 4*x + 77, 3*z - 3*x + 50 = 5*z. Suppose 4*n - 51 = n. Suppose 0 = 3*g - n - z. Does 3 divide g?
False
Suppose 0 = -p - 6, 23*p - 27*p = 2*i - 9360. Is 51 a factor of i?
True
Let r = 25602 - 13330. Is 11 a factor of r?
False
Suppose 3*j - 147 = -4*j. Suppose 0 = 4*s - j + 1, 2*v = 5*s - 17. Let h = 12 + v. Does 16 divide h?
True
Let k(m) = -27*m + 76. Suppose -7 = 4*j + 5, -21 = 5*l - 3*j. Is k(l) a multiple of 7?
True
Let y(u) = -u**3 + 3*u**2 - 4*u - 6. Let o be y(-3). Let l = -61 - -155. Suppose -f + l = -o. Is f a multiple of 23?
False
Suppose 0 = -7*d - 11*d + 90. Let a(p) = -p**3 + 13*p**2 - 12*p - 5. Is a(d) a multiple of 4?
False
Let p be 0/((-1)/(6/(-24))). Suppose p = -87*v + 84*v + 336. Suppose 0 = v*u - 118*u + 534. Is u a multiple of 26?
False
Let v be -1 + (-6 - -4) - -7. Suppose 2*g - 4*r - 325 = -3*g, 3*r = v*g - 259. Suppose -w - g = -2*w. Does 4 divide w?
False
Let u(g) = -1356*g + 50. Is 22 a factor of u(-3)?
False
Suppose 99*p = -1604005 + 9356695. Does 93 divide p?
False
Let z(l) = 39*l**2 - 34*l + 114. Let y be z(3). Let j = y - 140. Is j a multiple of 4?
False
Let d = -14 - -27. Is 15 a factor of (d/(-3) - 1)*(-3465)/60?
False
Suppose 24 = 5*t + 2*a, 33*t - 37*t - 2*a + 20 = 0. Suppose 0 = 23*o + t*o - 26460. Is o a multiple of 70?
True
Suppose r - l + 0*l = 92, 251 = 3*r + 2*l. Suppose -m - 5*h = -r, 4*m - 6*h - 436 = -4*h. Does 9 divide m?
False
Let v(z) = 2*z + 2. Let n(r) = 59*r + 46. Let f(a) = n(a) - 5*v(a). Is f(4) a multiple of 35?
False
Suppose n + 4*n = -15, -5*a + 4*n - 143 = 0. Let r = -205 - a. Is r/(3 + -6 + 1) a multiple of 19?
False
Suppose -4*q + 0*q = -2*r + 20, -3*r - 2*q - 10 = 0. Let u(h) = -2 - 2*h**2 - h**3 + r*h**2 - 2*h**2 + 2*h**2 - 3*h. Is u(-4) a multiple of 7?
True
Let q(h) = -3*h**2 - 74*h. Let k(m) = -m**3 - 17*m**2 - 14*m + 9. Let g be k(-16). Is 17 a factor of q(g)?
False
Suppose -2*b - 12 = -5*d, 0 = 4*b + b + 4*d + 30. Let p = b + 72. Does 11 divide p?
True
Let j = 20699 + -8206. Does 47 divide j?
False
Let p(w) = 42*w**2 - 4*w + 8. Suppose -5*o - 4*k - 11 = 0, -k - 2 = -8*o + 9*o. Is 14 a factor of p(o)?
False
Suppose 12*h + h = 78. Suppose 0 =