True
Suppose -7*h + 20 + 1 = 0. Suppose 0 = h*y + 4*y + 210. Does 14 divide (-6206)/y - (-14)/105?
False
Let s(z) = 38*z**2 - 23. Is s(-4) a multiple of 39?
True
Suppose 32981 - 2280330 + 287965 = -321*k. Is 14 a factor of k?
True
Suppose 0 = 25*o + 70*o - 759810. Does 93 divide o?
True
Suppose 37*k = 36*k + 2. Suppose 0 = y + k*i - 203 - 288, 4*i = -8. Does 68 divide y?
False
Let c(l) = -l**2 + 13*l + 32. Let b be c(15). Is 2 a factor of (39/3 - (-4)/1)*b?
True
Let y(k) = -8*k**3 - 4*k**2 - 34*k - 66. Does 108 divide y(-3)?
True
Suppose -5*y + 50605 = w - 4*w, 5*y = -w + 50625. Does 5 divide y?
False
Let j(i) = 2*i**2 - 46*i - 3162. Is j(83) a multiple of 103?
True
Let j be (-2 - 1)/(7 + -8) + 3. Let u(q) = 128*q - 348. Does 6 divide u(j)?
True
Suppose 2*g + 5*r - 10 = 0, 2*g - r = r - 4. Is 4 + (g - 2) + 18 a multiple of 20?
True
Suppose -14 = -u - 3. Let z(n) = n - 6. Let t be z(u). Suppose 0 = t*l - 7*l + 74. Does 13 divide l?
False
Suppose 0 = 3*c + 2*c + 4*p - 46232, 0 = -c + 3*p + 9216. Is c a multiple of 105?
True
Suppose -18*t = -5*t - 286. Let w(n) = n**2 + 8*n + 4. Let l be w(-5). Let o = l + t. Is 11 a factor of o?
True
Suppose 22*i - 18*i = 20. Suppose 0 = -5*c + 5*d + 2145, -i*d + 8*d = 12. Let r = -300 + c. Does 21 divide r?
False
Let d = 15910 + -9160. Is d a multiple of 6?
True
Let c(p) = -84*p + 47. Let g be c(-2). Let i = g - 186. Is i a multiple of 9?
False
Is 4 a factor of ((-72)/27)/((-8)/7926)?
False
Let o be 3*(380/15 - 4). Let n = o + -36. Does 14 divide n?
True
Let i = 19300 - 14980. Is i a multiple of 24?
True
Suppose 23*f = 27*f + 44. Let q = -32 - f. Does 20 divide (-3)/q*2 - 1116/(-14)?
True
Is (33/2)/((-17411)/(-2484) - 7) a multiple of 6?
True
Suppose -62*g = -52*g + 1560. Let r = g - -211. Is r a multiple of 11?
True
Let t be (3 + -1)/(7/(-434)). Does 8 divide 4 + (-7 - -8 - t)?
False
Let b(f) = -14*f**2 - 27*f - 12. Let m be b(-9). Let h = m - -1337. Does 73 divide h?
False
Is 34 a factor of (-34)/(-51) + (-9332)/(-6) + 40/5?
True
Let k(i) = -i**2 + 20*i - 32. Suppose 5*c - 83 = 7. Let p be k(c). Suppose 0 = p*u - u - 4*b - 67, -2*b = 2*u - 40. Is u a multiple of 4?
False
Let w = -777 - -306. Let i = w + 731. Is (12/(-5))/((-8)/i) a multiple of 37?
False
Let o = 11 - 27. Let g(i) = -4*i**3 + 11*i**2 + 6*i - 15. Let z(y) = 3*y**3 - 12*y**2 - 5*y + 15. Let n(x) = 4*g(x) + 5*z(x). Is n(o) a multiple of 3?
False
Suppose 0 = 5*s + 2*o - 50278, -2*o + 2626 + 7428 = s. Does 142 divide s?
False
Let o(a) = a**2 + 31*a - 293. Let r be o(-40). Suppose -3*u - y + 193 = -r, -u + 108 = -5*y. Is 6 a factor of u?
False
Let j(v) = 52*v**2 + 26*v + 312. Does 11 divide j(-9)?
True
Let f be (-40)/16*14 - 5. Is f/2*3/((-90)/156) a multiple of 52?
True
Let k be 5 + 4/(-8) + 549/2. Let w = k + -48. Does 5 divide w?
False
Let l(h) = -16*h + 42. Let u be l(8). Let r = -45 - u. Suppose -3*q = b + 3*b - 57, -2*b + q + r = 0. Is 9 a factor of b?
True
Suppose 6*c = c + 490. Let m = -24 + c. Suppose -t + 0*d + d + m = 0, 0 = 2*t - 5*d - 136. Is t a multiple of 13?
True
Suppose -56*u = 73*u - 150930. Does 30 divide u?
True
Let z = -380 + 386. Suppose -z*w - 1955 = -11*w. Does 27 divide w?
False
Let m be 5/10*(1 - -1). Is 13 a factor of 28/(-2)*((-117)/6)/m?
True
Let o = 273 + -251. Suppose -550 = o*p - 2838. Does 26 divide p?
True
Let q(j) = 8*j + 88. Let f(h) = -8*h - 91. Let d(w) = 4*f(w) + 3*q(w). Is d(-18) a multiple of 11?
True
Let p(a) be the second derivative of -a**4/6 + 31*a**3/3 + 25*a**2 - 6*a + 11. Does 25 divide p(31)?
True
Suppose 350 = -a + 15*a. Suppose 19*y = a*y - 1800. Is 20 a factor of y?
True
Let s be 3/15 - (-4 + 44/20). Suppose -5*l + 13 = -n, -s*l + 12 = -2*n - 6*l. Does 10 divide (1*n)/((-8)/16)?
False
Let p = -4 - -9. Suppose 5*g = p*n + 25, -n - 29 = -g - 3*g. Suppose g*f = -0*f + 440. Does 5 divide f?
True
Let f = 26343 + -26039. Is 2 a factor of f?
True
Let b(g) = -47*g - 121. Let m(v) = -23*v - 61. Let i(r) = 6*b(r) - 11*m(r). Is 6 a factor of i(-5)?
True
Suppose -9*s = -1687 - 185. Suppose -4*g + 4*o + 2996 = 0, 2*g - o + s = 1711. Does 13 divide g?
True
Suppose 4 = r, 17*r - 15*r = -2*c + 35592. Is 31 a factor of c?
False
Let j(p) = 12*p**2 - 10*p + 3449. Does 17 divide j(0)?
False
Suppose 20 = 2*h + 3*j - 7*j, -5*j = -3*h + 33. Is 11 a factor of -2*(-5 - -3)*1524/h?
False
Suppose -4*b - 14080 = -5*w, -2*b + 15 = b. Let l = -1980 + w. Is 56 a factor of l?
True
Let t be 0 + 32 + -6*(-2)/(-3). Let g = t + 28. Does 7 divide g?
True
Suppose -64 = -6*m - 52. Suppose -z = -u - 404, -3*u + 916 = m*z + 98. Does 58 divide z?
True
Let v(s) = 341*s - 25. Let p be v(2). Let m = p - 261. Is m a multiple of 12?
True
Let i = -35 - -4. Let a = 31 + i. Suppose a = -u - 2*u + 81. Is u a multiple of 3?
True
Suppose -10*f + 21 = -3*f. Suppose 388 = 2*l - 2*n, 2*l + 197 = f*l + 2*n. Is l a multiple of 3?
True
Let u(b) = -13*b - 21 + 4 - b**2 - 20. Let f be (-2 + 4)*(39/(-18) - (-5)/(-15)). Is u(f) a multiple of 2?
False
Suppose 4*y - 39 = -4*c + 3*y, -4*c + 5*y = -69. Is c a multiple of 3?
False
Suppose -17*m = -18*m + 2*f + 739, 0 = -5*f - 25. Does 66 divide m?
False
Let r be (-1)/(-4 + 4 + 3/102). Let h(v) = 5*v + 191. Does 21 divide h(r)?
True
Suppose 2*c - 2*s + 8 = 0, 5*c + 0*s + 4*s = 7. Let w be 32/(-8) + (-7)/c. Suppose -w*r - 2*r + 450 = 0. Is 14 a factor of r?
False
Let m = 382 + -372. Suppose 5*q + m*w - 220 = 6*w, 3*q - 132 = -w. Is q a multiple of 2?
True
Suppose -7*m - 2*m + 8723 = -8*m. Is 145 a factor of m?
False
Let n = 2548 - -5186. Is n a multiple of 114?
False
Let q(i) = 8*i - 5. Let n(t) = 81*t - 51. Let l(c) = -2*n(c) + 21*q(c). Let b be l(1). Suppose 4*u - 177 = b*s, -3*u + 3*s - 22 = -157. Does 4 divide u?
False
Let q(r) = -r**2 - 17*r + 14. Let h be q(-17). Suppose -4*s - h - 138 = 0. Let m = -5 - s. Is 10 a factor of m?
False
Suppose -2*c = 2*p + 4, -3*c + 8 = -5*c. Suppose -d = -p*t - 72, -216 = -3*d - 0*d - t. Is 14 a factor of d?
False
Is 24 a factor of (1 - 2)/((-9)/(-3771))*-58?
False
Suppose -s = 5*p - 164331, 44*p - 40*p - 131427 = -5*s. Does 33 divide p?
True
Let l(y) = -52*y**3 + 2*y**2 + 4*y + 1. Let f be l(-1). Suppose 0 = -8*z + 171 - f. Is z a multiple of 2?
False
Let u(y) = -9 + y**2 - y + 0*y**2 + 15. Let q be u(-9). Suppose 64 = 5*k - q. Is 8 a factor of k?
True
Let n = 11759 + -6767. Suppose -69*m + 73*m - n = 0. Is 16 a factor of m?
True
Let k(f) be the third derivative of f**5/5 - f**4/4 + 3*f**3/2 + 86*f**2. Does 15 divide k(-4)?
True
Let h = 32 - 16. Suppose d - 2*r = 5*d - h, 3*d = -4*r + 12. Is d + (-10)/5 + 25 a multiple of 27?
True
Let w(z) = 7*z**2 - 3 - 3*z**2 - 9*z - 3*z**2 - 8. Let m be w(14). Let p = -47 + m. Does 12 divide p?
True
Let c(d) = 66*d**2 + 7*d + 13. Let b be c(-2). Suppose -a + 3*q = -2*a + b, -q + 757 = 3*a. Is 18 a factor of a?
False
Suppose -4*x + 2*u = -224, -5*x - 2*u = -5*u - 280. Suppose -x = 2*t - 758. Is 13 a factor of t?
True
Let s(l) = 17*l + 34. Let h be s(-2). Suppose 5*t - 1835 = -h*t + 5*i, 4*t + 2*i = 1444. Does 17 divide t?
False
Let l(i) = i**3 + 3*i**2 + 8*i. Let p be l(-4). Let r = 69 + p. Let d = r - -34. Is 5 a factor of d?
True
Suppose 0 = -3*n - 4*y + 93, -7*y = -3*n - 5*y + 75. Let w(q) = q + 21. Is 16 a factor of w(n)?
True
Let f = 6788 + -6655. Is f even?
False
Let g(j) = 38*j**2 - 36*j - 217. Let m be g(-6). Let u = -690 + m. Is 40 a factor of u?
False
Let y(i) = -i**2 - 4*i + 8. Let m be y(-5). Suppose g - q + 14 = 6, 28 = -m*g + 5*q. Is (-6290)/(-45) - g/27 a multiple of 20?
True
Suppose 5*r + 590 = -3*l + 7402, -r + 1376 = 4*l. Suppose 680 = 2*x + 5*h, -17*x = -13*x + 5*h - r. Is x a multiple of 34?
True
Let z = -53 + 180. Let s = z - 308. Let m = s - -257. Is m a multiple of 19?
True
Suppose -12*l - 48 = 4*l. Let z(b) = b + 6. Let i be z(l). Suppose -85 - 137 = -i*x. Is 9 a factor of x?
False
Is 3355*(-16 - 1245/(-75)) a multiple of 33?
True
Let v(a) = -477*a - 479. Is v(-8) a multiple of 27?
False
Suppose 0 = -11*j + 6*j + 20. Let z be (4 - -60 - 0) + j. Let f = z + -1. Is f a multiple of 18?
False
Let g(x) be the second derivative of x**7/840 - x**6/120 - 7*x**5/120 + x**4/12 + 5*x**3/3 - x. Let w(q) be the second derivative of g(q). Is w(5) even?
False
Let n(j) = -3*j + 47. Let z be n(15). Let t(w) = 0*w - 5*w**z + 8*w**3 