, 20 = 3*r + 5*z. Let o(s) = -s + 1. Let k be o(-4). Suppose r = k*x + j + 3*j - 212, -6 = 3*j. Is x a multiple of 39?
False
Let b = -15652 + 34342. Is 7 a factor of b?
True
Suppose 2*t = -h + 3*t - 15, t = 3*h + 49. Let w be 16/136 - 15/h. Does 9 divide (-23 + 77)*(2 - w)?
True
Let j = -13405 - -24646. Is 50 a factor of j?
False
Suppose -4*a + 2*d - 6 = 0, 10*a - 14*a = d + 3. Let t(u) = -689*u - 5. Does 12 divide t(a)?
True
Let s = -15626 - -34570. Is 256 a factor of s?
True
Suppose 19*u + 125356 = 96*u. Does 37 divide u?
True
Suppose -87722 = -5*y + t + 4601, 3*y - 55407 = 5*t. Does 140 divide y?
False
Let q(b) = -b**3 + 37*b**2 + 20*b - 13. Is q(12) a multiple of 89?
True
Let i be 1 + 7 - (-13 - -15). Suppose 0 = -4*n + i*n + 10. Let a(g) = -g**3 - 2*g**2 - 7*g - 2. Is 36 a factor of a(n)?
True
Let q(u) = -119*u + 63. Let g be q(2). Let c = 223 + g. Is c even?
True
Suppose 16 = -2*l + 5*x, 0 = -x + 3 - 1. Let y = 58 - l. Let v = y - 37. Is v a multiple of 12?
True
Let j = -211 + 213. Is 3 a factor of (4 - j - 158)*50/(-40)?
True
Suppose -165*h + 728081 + 3408511 = -550563. Is 17 a factor of h?
True
Let t be -21 - -4 - (0 + -3). Let q(f) = 11 + 6*f**2 + 36*f**3 + 7*f**2 - 35*f**3 - 16*f. Does 13 divide q(t)?
True
Let o(c) = 5*c - 20. Let d be o(5). Let m be 1035/(d/1) - -3. Suppose i - m = -5*i. Is 7 a factor of i?
True
Suppose -8*o - 320 = -r - 3*o, 0 = -5*r - 5*o + 1600. Suppose -r = -31*w + 23*w. Does 13 divide 5/(-3)*((-4)/(-4) - w)?
True
Let c be (-2)/11 + 13320/55. Suppose -14*d + 3*d = -c. Let s = 94 - d. Is 12 a factor of s?
True
Let s = 2838 - 572. Suppose 0 = 7*x - s + 215. Suppose -x + 13 = -5*k. Is k a multiple of 7?
True
Is 10 a factor of (-8)/24*3*(-5858 - -5)?
False
Does 28 divide (171624/18 - 0) + (-22)/33?
False
Suppose -3*i + 5804 = 2*s - 15533, -4*s + 42671 = 5*i. Is 162 a factor of s?
False
Let k(n) = 36*n**2 + 58*n + 746. Is k(-19) a multiple of 160?
True
Suppose -11*g - 8 = -15*g, 3*k - 3*g = -6. Suppose -5*n + 2*v + 181 + 13 = 0, -2*n - 5*v + 95 = k. Is 2 a factor of n?
True
Let o(r) = -23*r**2 - 55*r**2 + 318 - 319 - 2*r. Let g be o(-1). Let y = -18 - g. Is y a multiple of 9?
False
Suppose 15*w = 2 + 73. Let o(h) = 3*h - h**3 + 4*h + 5*h**2 - 1 - 3. Does 9 divide o(w)?
False
Let a(r) = -10*r**3 - 13*r + 1. Is a(-5) a multiple of 13?
False
Suppose 96*y = 110*y - 91686. Does 24 divide y?
False
Suppose -4*i = b - 455, 2291 = 5*b + i + 3*i. Suppose 325 = -g - b. Let z = -481 - g. Does 63 divide z?
False
Suppose -2620 = -i + 112*g - 107*g, -7838 = -3*i + 4*g. Is 58 a factor of i?
True
Let n = 11406 + -4490. Does 19 divide n?
True
Suppose -1 - 1 = 2*w - 4*p, -w - 2*p - 1 = 0. Suppose 6 = -c - 4*k - 6, 89 = -2*c + 5*k. Let f = w - c. Is f a multiple of 5?
False
Let t(h) = 5*h**3 - 16*h - 2 + 3 - 6*h**3 - 2*h**2 - 5. Does 23 divide t(-4)?
True
Suppose 14*o - 4054 - 5664 = -912. Is 3 a factor of o?
False
Suppose -4*i + 9 + 15 = 0. Suppose 9*j - 6 = i*j. Suppose j*q - 5*q = -240. Is q a multiple of 20?
True
Does 152 divide (217/(-14) + 6)/((-12)/10824)?
False
Let q = -10099 + 14368. Is q a multiple of 8?
False
Is ((-1096)/(-6) + 16/24)*25668/465 a multiple of 10?
True
Is 8 a factor of 24622/4 + (5 - 8) - 1/2?
True
Let n(f) = 26*f - 471 - f + 483 - 343. Is n(26) a multiple of 11?
True
Suppose 80*m - 13732 + 10376 = 21444. Is m a multiple of 7?
False
Suppose -1386*w + 882740 = -1294*w. Is 143 a factor of w?
False
Suppose -3*v + 105 = 3*s, v + 18*s = 16*s + 30. Does 8 divide (11853/(-36))/(105/v - 3)?
False
Suppose 2*p - 5*j = p - 112, -3*j + 12 = 0. Let t = 54 - p. Suppose 2*l - 132 = t. Does 37 divide l?
False
Suppose -12442 - 46166 = -16*j. Is j a multiple of 37?
True
Suppose 24*r - 4*g = 20*r + 69588, 4*g = -20. Does 16 divide r?
True
Let p = 1 + -2. Let y = p - -3. Suppose y*o = -3*o + 320. Is 21 a factor of o?
False
Let w(l) be the first derivative of -l**3/3 - 21. Let c be w(0). Suppose c = 5*n + 286 - 766. Is 18 a factor of n?
False
Let i(k) = 13*k - 284. Let y be i(22). Suppose -v + 2075 = y*h, -2*v + 0*v - 2060 = -2*h. Is 45 a factor of h?
True
Suppose -2*b = 4*r - 11434 - 12344, 2*b = r - 5947. Is r a multiple of 13?
False
Suppose -3*y = -y + 10, 0 = q - y - 12. Suppose 176 + 230 = q*a. Let i = a - 14. Is i a multiple of 4?
True
Suppose -u = x + 3*x - 19, 2*x = -5*u + 113. Suppose -2*c - p = 3*c - u, 0 = -c - p + 3. Is (-5 - c)/(-2) - -1 a multiple of 6?
True
Suppose 4*m - 39 + 14 = 5*r, 5*m = 0. Let q(n) = -2*n**3 - 8*n**2 - 5*n - 12. Let z be q(r). Let y = z + -13. Is 17 a factor of y?
False
Let t(g) be the second derivative of g**4/4 - 5*g**3/6 + 3*g**2 - 5*g + 11. Suppose 10 = -3*v + 6*q - 11*q, 2*v + q = 5. Is t(v) a multiple of 13?
False
Let k = 4241 + -2257. Suppose -11*u + 6582 = k. Is u a multiple of 14?
False
Let w = -12815 - -12797. Let i = -178 - -340. Let f = i + w. Is f a multiple of 20?
False
Let f(z) = -366*z + 3148. Is f(-41) a multiple of 29?
True
Let v(q) = -6*q**3 - 7*q**2 - 4*q - 6. Suppose 2*j = -r - 84, -4*r + 4*j - 312 = -0*j. Let x = r - -77. Is 10 a factor of v(x)?
False
Let h be (((-130)/3)/1)/(28/(-42)). Suppose -5*g = -6*g - h. Let k = 91 + g. Is k a multiple of 4?
False
Let c = -1267 + 2134. Does 13 divide c?
False
Suppose -416 = -4*b + 4*s, -5*s = 5*b + 178 - 658. Suppose b = f - 19. Suppose g - 60 = -3*u, -3*u - 1 = -2*g + f. Is g a multiple of 12?
True
Let r = 453 + 412. Let c = r + -458. Is 9 a factor of c/15 + 3/90*-4?
True
Suppose 0 = -25*v + 36*v + 110. Is (-115 + (-6 - v))*-1 a multiple of 46?
False
Is 2/(-5) - (-13423862)/955 a multiple of 15?
False
Suppose -5*s + 4 - 9 = 0. Let b be (-8 + s + -3)/(-1). Suppose -3*y = b, -3*y - 9 + 35 = l. Is l a multiple of 10?
False
Suppose -5*h + 60812 = -99*m + 101*m, -5*h - 5*m + 60830 = 0. Is h a multiple of 69?
False
Suppose 16 = 30*h - 28*h. Suppose h*f - 9*f + 251 = 0. Is f a multiple of 19?
False
Let p(k) be the first derivative of -k**3/3 + 8*k**2 - 43*k + 8. Let s be (28/(-6))/(8/(-12))*1. Does 10 divide p(s)?
True
Suppose -4*s + 4 = 0, -4*q + 0*q - 5*s = 103. Suppose -4*n - 4 = 0, 5*r + n = 4*r - 4. Is q/(r/((-12)/(-4))) a multiple of 27?
True
Suppose -7303 + 34951 = 4*u. Suppose -u - 8082 = -42*s. Does 17 divide s?
True
Suppose 27*u = 200182 + 192781 + 10903. Is 27 a factor of u?
True
Suppose 0 = 5*g + v - 20477, 3*v = 1 - 10. Does 60 divide g?
False
Does 5 divide (-1 - (-238 + -3))/((288/(-153))/(-16))?
True
Let m(g) = -1794*g + 900. Is m(-5) a multiple of 94?
True
Suppose -191*b + 202*b = 63206. Is 19 a factor of b?
False
Let z = 917 - 492. Suppose -z = -4*x + 75. Is x a multiple of 25?
True
Does 26 divide 48/(-36)*(-8052)/8?
False
Let v(u) = -u**3 + 14*u**2 + 3*u - 32. Suppose -20*y - 4*k - 49 = -25*y, 2*k + 38 = 4*y. Is v(y) a multiple of 14?
False
Suppose 175 = 10*b - 5*b. Let m be (-3)/(-12) - 3/(-4). Is 4 a factor of (m + (b - 4))/1?
True
Suppose -3*q + 2*q = -14*q + 34944. Is 14 a factor of q?
True
Suppose 0 = 5*r - 2*v - 1972, 6*v = 2*r + 3*v - 791. Let c = 1237 - r. Does 95 divide c?
False
Let o = 23 + -23. Suppose -17*s - 65 - 122 = o. Let g(x) = -x**3 - 10*x**2 + 11*x + 15. Is g(s) a multiple of 5?
True
Let a(b) = -35*b**2 - b + 5. Let k be a(-2). Let t = 295 + k. Is t a multiple of 27?
True
Suppose 13*u - 121 = 12*u. Suppose -17 = c - u. Let a = 194 - c. Is 10 a factor of a?
True
Let x(p) = -2*p**3 + 20*p**2 - 82*p + 137. Is 23 a factor of x(-18)?
True
Let o(p) = 1055*p - 652. Is 11 a factor of o(4)?
False
Let s(g) = -9*g**2 + 43*g + 15. Let c be s(5). Suppose 2*x = -2*a + 532, c*a - 390 - 940 = -4*x. Is a a multiple of 5?
False
Suppose 2*l - 69*y + 64*y = 3760, 12*l - 4*y - 22456 = 0. Is 34 a factor of l?
True
Is 7 a factor of 78/(-4)*(-7 + 3093/(-9))?
False
Let g(r) = -569*r**3 + 10*r**2 + 100*r + 399. Is 11 a factor of g(-4)?
True
Suppose 2*z - 11305 = -3*t, -4520 = -2*t + z + 3005. Does 31 divide t?
False
Does 75 divide (-5 - -21958 - 11) + 3?
False
Is (-6701)/(-18 - -17) + -7 a multiple of 6?
False
Suppose -1 = -3*b + 11. Is 254/(42/9 - b) a multiple of 6?
False
Let x(w) = 5 - 193*w + 14 - 15. Is x(-1) a multiple of 14?
False
Let v = 176 - 272. Let g be (v + 0)*(-810)/72. Suppose 10*w - g = w. Is 20 a factor of w?
True
Let h = -55 + 61. Suppose 4*s - h*s = -3*y + 142, -y + 5*s = -69. Is y a multiple of 6?
False