(3/18 - 17/(-6)). Suppose v = -i + 3*r + 15, 5*i - 4*r - 119 = -0*i. Does 14 divide i?
False
Suppose 0 = j - 1 + 16. Let h be (-29)/(j/(-4) + -4). Suppose 2*g + 3*y - h = g, -3*y + 3 = 0. Is 33 a factor of g?
False
Is 150 a factor of -14 - (4 - (-12 + 10627))?
False
Let a = -29 + 16. Let u(d) be the second derivative of d**4/6 + 13*d**3/6 + 13*d**2 + 44*d - 2. Does 13 divide u(a)?
True
Let n be (-4)/16 - 843/4. Let w = -41 - n. Is 17 a factor of w?
True
Suppose -3*q - 9 = 0, -4*p + 2*p - 4*q = 0. Suppose p = 3*o - 0. Is 7 a factor of ((-22)/8 + o)/((-8)/224)?
True
Let j be 215/86*(-88)/(-10). Suppose j*p - 18*p - 560 = 0. Is 4 a factor of p?
True
Let d(n) = 83*n**2 - 3*n - 2. Let t = -63 + 66. Let o be d(t). Suppose -5*p = -5*i - 915, 4*p - 5*i - o = -0*p. Is 24 a factor of p?
False
Suppose d - z = 2883, 1145*d + 4*z + 2898 = 1146*d. Is d a multiple of 4?
False
Let x(j) = 2995*j**2 + 389*j + 388. Is x(-1) a multiple of 10?
False
Let b(z) = 45*z - 122. Let g be (1/4 - 111/(-12))*2. Does 44 divide b(g)?
False
Does 18 divide ((-424984)/(-10) - 40/100)/(6/4)?
True
Suppose -188*k + 31671 = -161*k. Is k a multiple of 26?
False
Suppose -5*q - 4*n = 6 - 29, 16 = 2*q + 5*n. Suppose 5*m - 5*f = -2431 + 10701, -m = -q*f - 1656. Is m a multiple of 29?
True
Suppose 0 = i + 2*k - 3*k - 238, -3*k - 236 = -i. Suppose -x = 3, i = 5*s + 3*x + 18. Suppose 16 = m - s. Does 31 divide m?
True
Let v be (-1 - 1)/(2*(-4)/16). Suppose -3*n - 1 = 11, 0 = 5*q + 4*n - v. Suppose 112 = 8*y - q*y. Does 10 divide y?
False
Suppose 3*j = 2*g, 2*j + 0*j - 2*g = 0. Suppose 15*s - 1275 - 2775 = j. Is 54 a factor of s?
True
Let f(w) = 30*w**2 - 4*w - 6. Let n be f(-2). Suppose -12*j + 15*j = -r + n, 118 = 3*j + 5*r. Is j a multiple of 5?
False
Suppose -5731*u + 5703*u + 58240 = 0. Is u a multiple of 27?
False
Suppose -4*w + k + 16 = 0, 2*w - 44 + 14 = -5*k. Let q(f) = -9*f + 14. Let m be q(-14). Suppose -w*l + 4*l + m = 0. Does 9 divide l?
False
Suppose -2*h + h - 3*s = 0, 5*h = -2*s + 13. Suppose 3*i - 525 = 3*n, i - 163 = -2*n - h*n. Is i a multiple of 11?
False
Let k be 11/2*48/(-36)*-3. Suppose k*h + 600 = 27*h. Is h a multiple of 8?
True
Let x be 7/((-105)/(-20))*156. Is (x/(-3))/2*63/(-14) a multiple of 12?
True
Suppose -1298 = -14*g + 1923 - 211. Is 3 a factor of g?
False
Suppose -2*r + z - 2 = -r, -z = -4*r + 7. Suppose -2*v - 4*d + d - 5 = 0, -4*d = v + 10. Is 17 a factor of (r - (-338)/8) + v/(-8)?
False
Suppose 0 = -549*b + 544*b + 25, -4*x + 22811 = 3*b. Is 11 a factor of x?
False
Is 3 a factor of (-35898)/(-24) + ((-15)/(-20))/3?
False
Suppose 5*j - 5*u - 425 = 0, 5*u + 158 = 2*j - 0*j. Suppose j = 9*x - 217. Does 3 divide x?
False
Let x(b) = 5*b + 11. Let k(r) = -4*r - 12. Let u(p) = 3*k(p) + 2*x(p). Let h be u(11). Let f = h - -47. Is 7 a factor of f?
False
Suppose -4*o = -f - 18, 0 = -5*f + 14 - 4. Let y(n) = -n**3 - 5*n**2 - 10. Let z be y(o). Let s = -7 - z. Is 45 a factor of s?
False
Suppose 3*p + 280 = 34. Let l = p + 80. Is -68*(l - -3)*(-4 + 1) a multiple of 51?
True
Let g = 26 - 16. Suppose 0 = -l + 3*l + 5*n - g, -3*n - 20 = -4*l. Suppose -320 = -l*u - 35. Does 19 divide u?
True
Let p(o) = 2215*o + 336. Does 39 divide p(3)?
True
Let s = -83 - -149. Suppose -705 = 16*d - 21*d. Let v = d - s. Is 25 a factor of v?
True
Let j = 300 - 183. Let u be 7/((-28)/228) + (-45)/(-9). Let y = j + u. Is 13 a factor of y?
True
Let w be (-23 - -27)*(-31)/4. Let s(r) = 2*r**2 + 45*r + 100. Is s(w) a multiple of 11?
True
Suppose -q + 435 = 2*q. Let r = q - 64. Does 6 divide r?
False
Let b be -4*3*(-2)/8. Suppose 2*c = 3*p + 11, -c - b*p = 4*c - 17. Suppose 0 = -c*y + 408 - 84. Does 9 divide y?
True
Let i(h) be the second derivative of -35*h**3/6 + 20*h**2 + 117*h. Is i(-4) a multiple of 6?
True
Let y(c) = -5*c - 25. Let z be y(-7). Is 3 a factor of (-2)/z - (71/(-5) - 1)?
True
Let y be ((-10 - 0) + -5)/(-1). Let s = y + -9. Does 7 divide 550/15*s/5?
False
Let z(q) = -60 - 16 + 29*q + 41. Let l = 4 + 0. Is z(l) a multiple of 39?
False
Suppose 60 = -9*k + 14*k. Suppose k*y - 6*y = -1218. Let l = y + 552. Does 29 divide l?
False
Let u(t) = 5*t + 34. Suppose 4*v + 0 + 2 = -2*l, 4*v - 7 = l. Let d(c) = -4*c - 35. Let n(m) = l*u(m) - 4*d(m). Is 3 a factor of n(-11)?
True
Let d(p) = 2*p**3 + 10*p**2 - 4*p + 10. Let b be d(-5). Is (109 - 29)/(4/b) a multiple of 20?
True
Suppose 4 = 3*k - 4*k + 2*w, 5*w = 2*k + 12. Let g(l) = 40*l**3 - 3*l**2 + 5*l - 2. Let a be g(k). Does 37 divide 1 + -5 + a/22?
True
Let a(g) = g + 2. Let b(p) = -7*p + 34. Let o(h) = -6*a(h) - 3*b(h). Is o(16) a multiple of 9?
True
Let v(q) = 12*q**3 - 17*q**2 + q - 11. Let z(j) = 6*j**3 - 8*j**2 - 5. Let t(x) = 3*v(x) - 7*z(x). Let h be t(-3). Suppose -h = -s + 100. Does 25 divide s?
True
Let m(j) = 2*j**2 - 4*j + 4. Let c be m(3). Does 2 divide (-2 + c - 2) + 122?
True
Suppose 56732 + 21372 = 26*u. Is u a multiple of 4?
True
Is 13 a factor of (28389 - 23) + (-13 + 6)/(-7)?
False
Let a(h) = 31*h - 18. Let q(z) = -93*z + 54. Let u(s) = -7*a(s) - 2*q(s). Let b be u(-9). Let r = -120 + b. Is 12 a factor of r?
False
Let z(r) = -2*r**2 - 13*r + 2. Let q be z(-6). Suppose 0 = q*c - 704 + 272. Let m = c - 45. Does 7 divide m?
False
Let j(t) = -t**3 + 7*t**2 - 20*t + 33. Let l be j(10). Let d = l + 647. Is 16 a factor of d?
False
Let u(v) = -2804*v + 5115. Is 10 a factor of u(-6)?
False
Let c(a) = -a**2 + 7*a + 11. Let u be c(8). Suppose u*g + 8*n - 3*n + 233 = 0, 2*g + 154 = -4*n. Let r = 120 + g. Does 6 divide r?
False
Let v be (-813 - -8)*(-12)/14. Suppose 0 = 3*h - 5*d + 1024 - 3094, -d + v = h. Is h a multiple of 15?
True
Suppose -4*z + 4*s - 19 + 55 = 0, 3*s = 5*z - 37. Suppose -z*n - 11 + 1 = 0. Does 14 divide (n + -1)/(45/(-210))?
True
Suppose -3*a + 10 + 17 = 0. Let m(i) = i**3 + 8*i - 2 + 4*i + 0 - 7 - 10*i**2. Is 3 a factor of m(a)?
True
Suppose -25 = -10*n - 235. Is 8 a factor of (266/n + 2)*-6?
True
Let r(l) = 4*l - 31. Let d(y) = 3*y - 33. Let j(f) = -3*d(f) + 4*r(f). Suppose -p = -5 - 7. Is 11 a factor of j(p)?
False
Let f(b) = b**2 + 80*b + 1758. Is f(0) a multiple of 13?
False
Let z(j) = 692*j - 2591. Does 25 divide z(4)?
False
Let h(i) = -50*i + 20. Let y = 61 + -66. Is 15 a factor of h(y)?
True
Let l be 209/55 + (-1)/(-5). Let c be l/14 + 6/(-21). Suppose c = 2*b + 3*b - 180. Is b a multiple of 11?
False
Is (273/(-1))/(1534/91 - 17) a multiple of 3?
True
Suppose -o + 6 = 3*m, -o - m + 2 = 3*o. Suppose x - 516 - 640 = 0. Suppose -6*n + x = -2*n - 4*q, n + 2*q - 283 = o. Is 20 a factor of n?
False
Suppose -1287*h = -1308*h + 54537. Does 30 divide h?
False
Suppose 15*y - 20175 = -7560. Suppose 5*k = 349 + y. Does 35 divide k?
False
Suppose -524*f + 18344529 = -221*f. Is 16 a factor of f?
False
Let q(w) be the first derivative of -21*w**4/4 - 4*w**3/3 + 5*w**2/2 + 12*w + 196. Is q(-3) a multiple of 33?
True
Suppose -98*m + 70*m + 733167 + 493737 = 0. Does 218 divide m?
True
Let w be (-144)/21 - 1/7 - 3. Is (122 - -9) + (-4 - w) a multiple of 10?
False
Let h = 439 - 857. Let g be h/8 - 4/(-16). Let z = g + 128. Is z a multiple of 7?
False
Let s = 6545 + 23730. Is s a multiple of 233?
False
Suppose 53*p - 48*p = -2*t + 14220, 28368 = 4*t - 2*p. Does 165 divide t?
True
Let f(n) = 15*n + 1661. Does 107 divide f(43)?
False
Suppose 5 = 15*d - 25. Suppose d*x = 203 + 127. Does 11 divide x?
True
Let u(n) = n**2 - 35*n - 38. Let p be u(36). Is ((-10)/p)/((-62)/(-18228)) a multiple of 105?
True
Suppose 53975 = 4*o + o - 5*d, o - 10815 = -3*d. Does 20 divide o?
True
Let g = 2063 - 1031. Is 24 a factor of g?
True
Suppose 2*f + 60 = 3*u - 131, 5*u = -4*f - 327. Let v = f - -132. Does 3 divide v?
False
Suppose 0*p - 11*p - 8459 = 0. Let u = 1363 + p. Is 22 a factor of u?
True
Suppose -2*x - 2*x - 4 = 0, 2*z + 13 = -5*x. Let i be 185/35 - z/(-14). Suppose 459 = -3*y + 8*y - 3*d, i*d - 475 = -5*y. Does 31 divide y?
True
Let k be 36/162 - (-16)/9. Suppose 2*m + 920 = -k*m. Let g = 342 + m. Is g a multiple of 23?
False
Suppose 5*u + 3*r - 5713 = 0, -7*r + 4584 = 4*u - 8*r. Suppose -u = -g + 4*t, -2*g + 3*t = -63 - 2242. Is 6/(-33) - g/(-11) a multiple of 21?
True
Let r = 4705 + -3552. Is 153 a factor of r?
False
Is 170 a factor of (60/14*20)/((5 - -2)/833)?
True
Suppose -v + 5*l = -0*v + 165, 4*l = v + 162. Is (-198)/(-1