 = -525 - -599. Let a = 2 + -3. Does 25 divide (k - a)/(-1 + 2)?
True
Is (-27)/288*-8 + (5 - 247131/(-12)) a multiple of 27?
False
Suppose h - b - 210 = 0, b - 2*b + 1050 = 5*h. Suppose 0 = 42*o - 35*o - h. Is 30 a factor of o?
True
Let v = -232 + 600. Suppose 2348 = 30*c + v. Is c a multiple of 33?
True
Suppose s - 27018 = 4*i, -s - i + 18803 + 8200 = 0. Is s a multiple of 136?
False
Let j = -20 - -47. Let w = 193 + j. Is w a multiple of 10?
True
Suppose 5 = 5*y + 5*n + 10, -3*n = -3*y + 3. Suppose y*z - 4*z + 8 = 3*a, 0 = 2*a + 3*z - 5. Suppose -6*f + 4*f = 5*u - 164, -a*f - 12 = 0. Does 17 divide u?
True
Let y be 0 - 0 - 16/4 - 98. Is 25 a factor of (-414)/((1/(-4))/((-17)/y))?
False
Let x be (-19073)/4 + -3 - (-13)/52. Does 19 divide (x/26)/(6/(-24))?
False
Suppose 2*u - 3 = z, -z - 2*z - 9 = 2*u. Let n be 11 + -8 + 2 + z + 65. Suppose 14*w - n - 241 = 0. Is w a multiple of 10?
False
Let m = 1362 - 868. Does 26 divide m?
True
Let w(c) = -c**3 - 12*c**2 - 9*c + 10. Suppose 2*n - 6*n = 32. Let a be w(n). Let j = a + 290. Does 17 divide j?
False
Suppose -65*o + 49*o = -234416. Is 19 a factor of o?
False
Let y(x) = -x**2. Let l(s) = -2*s**3 + 11*s**2 + 6*s + 1. Let r be l(6). Let g(k) = -5*k**2 + 3*k - 9. Let w(q) = r*g(q) - 6*y(q). Is 9 a factor of w(-7)?
False
Does 93 divide (((-9)/24)/((-1)/6))/(18/131688)?
True
Suppose -223*r + 113*r - 54956 = -112*r. Is 11 a factor of r?
True
Suppose -4*p + 1020 = k, 8*p - 5*k - 1275 = 3*p. Let w(t) = 2*t**3 + 10*t**2 + 2*t + 10. Let x be w(-5). Suppose x = 4*s + s - p. Does 17 divide s?
True
Suppose 26 = 13*b - 26. Suppose g - 3 = -5, -w + 7 = -b*g. Is 12 a factor of -2*w/(-1)*-66?
True
Let g(f) = -4*f + 34. Let d be g(-9). Suppose -11*s + 4264 = -d. Suppose 12*i = -s + 1822. Does 15 divide i?
False
Let t(g) = -1018*g + 803. Does 142 divide t(-15)?
False
Let y = 7350 - 7284. Is 6 a factor of y?
True
Is 24/9*(-34650)/(-264) a multiple of 25?
True
Let v be (-28)/(-64)*4 - 3/(-12). Let j = 0 + v. Suppose 88 = 3*q - 3*i - 452, 0 = -j*q + 5*i + 372. Is q a multiple of 44?
True
Let f(l) = 487*l**2 + 4*l + 29. Is 47 a factor of f(-3)?
False
Does 17 divide (-17411)/(-7) - (8/(-14))/(63 + -65)?
False
Let i(q) = -25*q + 318. Let x be i(13). Let w(l) = -98*l - 378. Is 12 a factor of w(x)?
False
Suppose 70*h - 102 = 72*h. Let f = -40 - h. Is 10 a factor of f/(2*(-1)/(-18))?
False
Let m be 238/4 + (-2)/(-4). Suppose m*l + 4 = 62*l. Does 61 divide l/7 + -2 + (-4920)/(-28)?
False
Let k be 6 + -1 - (3 + 1). Let t be 3932 + k/(3/(-6)). Suppose 1018 = -13*v + t. Is v a multiple of 16?
True
Let y(x) = -5*x**3 - x - 1. Let j be y(-1). Let c(l) = l**3 + 11*l**2 + 8*l + 10. Let v be c(-9). Suppose -j*r - v = -9*r. Is r a multiple of 10?
False
Suppose 43*c = 14*c + 14*c + 184320. Is 102 a factor of c?
False
Let v(p) = -5*p + 29. Let y be v(6). Is ((-18)/(-7) - 4)/(y/7) a multiple of 9?
False
Let d be ((-5)/(20/5988))/((-6)/4). Suppose -3*y - d = -6686. Does 48 divide (-1)/(-3) - (-4 + y/(-9))?
False
Suppose 307 = 3*y + 4*m, -5*y + m + 704 - 154 = 0. Let a = -110 + y. Does 4 divide ((-5)/(-3) - 2)*a*45?
False
Suppose -12*m = -0*m - 23820. Suppose -310 + m = c. Suppose -13*a - 609 = -c. Is a a multiple of 9?
False
Let g(q) = q**3 - 4*q + 8*q**2 + 6*q**2 - 4*q**2 - 5 + 3*q. Let m be g(-4). Let t = m + -15. Is t a multiple of 10?
True
Is (-10785)/(-6)*15614/1055 a multiple of 62?
False
Let i(b) = 1025*b**2 + 56*b + 187. Does 13 divide i(-5)?
True
Suppose -3*g + 8*g - 25 = 0. Let w be 0/(5 - (3 - -3)). Suppose -g*t + 8*t - 144 = w. Is 24 a factor of t?
True
Suppose -2*z - 234 = 5*m, 5*m - z - 30 + 273 = 0. Let p = 48 + m. Suppose -8*x + 10*x - 120 = p. Is 10 a factor of x?
True
Let q(u) = -u**3 + 7*u**2 - 6*u + 2. Let o = 1 + 5. Let p be q(o). Suppose -t + 219 = 3*v + 2*t, -400 = -5*v + p*t. Does 37 divide v?
False
Let t = -1399 - -2214. Suppose 1761 = 16*h - t. Is h a multiple of 10?
False
Let c be ((1 - -1) + -6)/(4 - 2). Let v be (3/12)/(c*(-3)/48). Suppose v*o + 315 = 9*o. Does 9 divide o?
True
Let l be 5/(90/12) + (-20)/(-6). Suppose -o - 14 = -m, -2*m - o - 32 = -l*m. Is m a multiple of 8?
False
Let j(a) = -3*a**3 - 7*a**2 + 2*a + 2. Let h be j(7). Let f = 1971 + h. Suppose -3235 = -20*o - f. Is o a multiple of 18?
False
Let v(i) be the first derivative of i**4/4 + i**3/3 - i**2/2 + i - 30. Let z(g) = 49*g**3 - 5*g**2 + 5*g - 7. Let d(r) = -6*v(r) - z(r). Does 15 divide d(-1)?
False
Let w = -61 - -87. Suppose w*t + 448 = 3568. Does 24 divide t?
True
Let d(j) = -11*j - 43. Let k be d(-4). Let x(g) = 178*g + 8. Is 23 a factor of x(k)?
False
Suppose 6*q = 4*w + 3*q + 10, q + 3 = -5*w. Is 8 a factor of 8772/72*2 - w/3?
False
Suppose 2*b - s - 16924 = 5851, b = 21*s + 11285. Is b a multiple of 67?
True
Suppose -35*k + 1230847 = 400074 - 270852. Is 105 a factor of k?
False
Suppose 4*h = 4, 5*b + 4*h = 39 + 75. Let n be (-831)/(-33) - ((-40)/b + 2). Suppose n = 6*g - 17. Is 7 a factor of g?
True
Suppose -w - 4 + 0 = 0. Let l be (1 + 0 - -3) + 8/w. Suppose 0 = -3*c + 2*x + 68, -l*c + 4*x + 18 + 30 = 0. Is 2 a factor of c?
True
Let y = 17 + -7. Let h be y/(-5)*(-1092)/8. Suppose 0 = -0*d - 3*d + h. Is 22 a factor of d?
False
Suppose -13*b = -b - 480. Let s = b - -129. Suppose -2 = -3*o + s. Is o a multiple of 20?
False
Let o(r) = 2197*r - 4357. Is o(11) a multiple of 70?
True
Let s = 249 - 247. Suppose 0 = -5*i - s*d + d + 511, -i + 2*d = -111. Does 21 divide i?
False
Let a(y) = -y + 47. Suppose -6*b + 363 = 585. Does 28 divide a(b)?
True
Let q = 218 - 35. Let b = q - 85. Is b a multiple of 49?
True
Suppose 0 = 5*w - 3*x + 65, -2*w + 39*x = 41*x + 10. Is (w - (-3325)/10)/((-1)/(-2)) a multiple of 43?
True
Let x(z) be the first derivative of 1/3*z**3 + 15 - 48*z + 7*z**2. Is x(7) a multiple of 33?
True
Suppose -2*u = 4 - 18. Suppose 0 = -g - u*g + 512. Is 2 a factor of g?
True
Suppose -5*k - 3*n + 65 = 0, 2*k = 12*n - 7*n + 26. Does 46 divide 5371/k + 16/(-104) + 1?
True
Let o = 19492 + -18100. Is o a multiple of 16?
True
Let i(g) = g + 6. Let j be i(3). Suppose -r + 470 = j*r. Suppose 0 = -3*c + 124 + r. Does 12 divide c?
False
Let h be ((-12)/18 - (-5)/3)*3. Suppose a = -h*s + 269, a + 253 = 3*s + 6*a. Suppose 5*c + 109 = 2*t, 0 = 4*t - 5*c - s - 112. Is 33 a factor of t?
False
Suppose 4*n - 123 - 209 = -2*h, -5*n - 341 = -2*h. Does 21 divide h?
True
Suppose 0 = -17*x + 87 + 32. Suppose x*r = r + 6. Is (2 + (r - -485))/2 a multiple of 32?
False
Suppose -3*q - 3*t = -15 - 9, -q = -t - 16. Let b be (28/q)/(2/6). Suppose -2*p - 565 = -b*p. Does 12 divide p?
False
Does 30 divide (32/64)/(1/35060)?
False
Let t be 146 + -1 + (-25)/(-5). Suppose 7*u = u + t. Let j = 49 + u. Does 9 divide j?
False
Let h be 3290/(-91) - (-1 + 33/39). Let a be 16/24 + (-584)/(-6). Let y = h + a. Is 31 a factor of y?
True
Suppose 0*l - l + 434 = 0. Suppose 752 = 4*w + 4*c, -5*w = -5*c - l - 476. Suppose 4*j = 5*u - 573 + 85, 5*j + w = 2*u. Is u a multiple of 20?
True
Suppose -2*m - 3*w = -w + 98, 2*m + 122 = 4*w. Let l = m + 253. Is l even?
True
Suppose 553*m - 566*m = -27911. Is m a multiple of 28?
False
Suppose 7*h + 2412 = 3*h. Let g = -263 - h. Does 17 divide g?
True
Let z be (-6)/(-4)*(-16)/12*1. Does 85 divide (-1256)/z - (102/(-17) - -3)?
False
Let p(g) = -26*g - 11. Let z be p(-8). Suppose m = 2*j, -4*m = -74*j + 69*j - 3. Suppose m*r = 23 + z. Does 11 divide r?
True
Let s(w) = 70*w - 87*w + 6 + 133*w. Is 14 a factor of s(2)?
True
Let h = -718 + 778. Is 30 a factor of h?
True
Is 28 a factor of 18856/(-28)*-7 - 10?
True
Suppose -12*i + 102068 = 41480. Does 27 divide i?
True
Let x(i) = 336*i**2 + 2*i - 2. Let m be x(1). Let h = 128 + m. Does 16 divide h?
True
Let n be (1 - -4) + (-833)/(-17). Let z be 474/8*72/n. Let m = 128 - z. Does 7 divide m?
True
Suppose -26*b = -24*b + 12. Is 53 a factor of (-70668)/(-169) + b/39?
False
Suppose -b + 4*b - 1445 = -5*o, -4*b = 2*o - 1950. Suppose 0 = -2*q - 3*q + b. Does 62 divide q?
False
Let c(t) be the second derivative of 1/6*t**3 + 0 + 11*t - 3/2*t**2 + 25/12*t**4. Is c(-2) a multiple of 21?
False
Let o = 33575 - 19724. Is o a multiple of 138?
False
Suppose 26*x = 4*v + 27*x - 11247, -4*v = 3*x - 11245. Is v a multiple of 74?
True
Let w(s) be the first derivative of 10*s**3/3 - 9*s**2/2 - 72*s + 226. Does 11