s 19 a factor of q(g)?
True
Let h = 5747 - 4343. Does 52 divide h?
True
Suppose 21 = -3*v, -4*v - 5648 = 3*i - 183460. Is i a multiple of 52?
True
Let a(v) = v**3 - 31*v**2 + 27*v + 86. Let z be a(30). Is (z - (-104 + -2))*(-2)/(-4) a multiple of 4?
False
Suppose -1 = -3*o - w, 3*w + 10 = 5*o - 15. Does 11 divide -17 + 14 + (25 - o - -2)?
True
Let x = -128 + 133. Suppose 0 = g - 3*t + 2*t - 101, 0 = 3*g - x*t - 303. Does 9 divide g?
False
Let v = -291 + 294. Suppose 2*d - 221 = v*c + 892, -4*c = 5*d - 2748. Is d a multiple of 69?
True
Let q = 3435 - 1006. Is q a multiple of 49?
False
Suppose -r - 22*x = -19*x - 9068, -3*x = -4*r + 36257. Does 28 divide r?
False
Suppose 15*w - 9234 = -4*w. Suppose -w = 95*l - 98*l. Is l a multiple of 27?
True
Let b(p) = 5*p**3 + 14*p**2 - 14*p + 18. Let n(w) = -3*w**3 - 7*w**2 + 7*w - 9. Let v(h) = 4*b(h) + 7*n(h). Let d be v(6). Is 14 a factor of 208/d + 8/12?
True
Let l be ((-2)/5)/(3/15). Does 33 divide (-1)/(-1) - -4 - (-357 + l)?
False
Let s = 49 - 37. Let c be (-4)/6*s/16*4. Is (-1*(-1)/(-1))/(c/196) a multiple of 14?
True
Let l = 14902 + -7896. Is l a multiple of 62?
True
Suppose -1810195 + 310135 = -92*a. Is a a multiple of 16?
False
Let a(p) = 5*p + 62. Let f be (-5)/(-80)*4 - (-22)/8. Let o(r) = 4*r + 61. Let n(l) = f*o(l) - 2*a(l). Is 7 a factor of n(-18)?
False
Let x = 27326 + -14796. Does 13 divide x?
False
Let z be 3 - (-4 - 2)/(-6). Suppose 2*q + z*q = 736. Is q a multiple of 46?
True
Suppose 70*z = 75*z - 2*b - 22269, -5*z + 22266 = -3*b. Is z a multiple of 85?
False
Suppose -f - 5 = -18. Suppose 2*j - c + 0*c + 1 = 0, j - f = 5*c. Is 56*j*(-3)/12 a multiple of 14?
True
Let o(y) = -y**3 - y + 2. Let q be o(0). Suppose -g - q*h = -4*g + 76, 0 = 3*g + 4*h - 46. Suppose 35 = 3*f - g. Is f a multiple of 14?
False
Suppose -4*h - 3*g - 475 = 1646, -g - 2131 = 4*h. Let z = h + 648. Does 6 divide z?
True
Let k be 0 + ((-3)/4)/((-9)/24). Suppose 212 = k*j - 150. Suppose 3*m + j - 451 = 0. Is 23 a factor of m?
False
Suppose 8*h - 900 = -7*h. Suppose 0 = -322*j + 327*j - h. Is 2 a factor of j?
True
Does 14 divide ((-8)/12)/((-32)/94752)?
True
Let w(q) = 9084*q**3 + 6*q**2 - 2*q - 1. Is w(1) a multiple of 7?
False
Is (2905/249)/((-1)/(-9)) even?
False
Suppose 10*c + 14 = 7*c + 4*h, -h = -c - 4. Does 99 divide 4954*c/(-20) - (-12)/(-30)?
True
Suppose 0 = -2*c - 217 + 1673. Suppose -15*q + c = 13*q. Is 10 a factor of q?
False
Let i = -418 + 444. Does 5 divide ((i/(-4))/13)/((-4)/2360)?
True
Let i = -42016 - -59984. Does 143 divide i?
False
Let o(n) = n**3 - 8*n**2 + 7*n + 10. Let a be ((-4)/6)/(15/(-180)). Does 6 divide o(a)?
True
Suppose 0 = -3*a - 3*v + 852, -5*a - 2*v + 683 = -734. Suppose a = -2*d + 1171. Does 10 divide d?
False
Let u(x) = -x**3 - 2*x - 10. Let h be u(-2). Suppose -t + m + 2419 = 3*t, -5*t - h*m = -3027. Does 9 divide t?
False
Suppose 248*q = 4793273 + 1427807. Is 131 a factor of q?
False
Let o(s) be the second derivative of s**4/3 + 5*s**3/2 + 112*s**2 + 246*s. Does 7 divide o(-9)?
True
Let w(f) = -14*f**3 + f**2 + 4*f + 15. Let x(i) = -i**2 - 11*i + 23. Let c be x(-13). Is 15 a factor of w(c)?
True
Suppose -5*y + 2*c + 12602 = 0, 6*c = -4*y + 3*c + 10077. Is 70 a factor of y?
True
Let k = 28 + 16. Let c = k - 20. Suppose -3*z + 4*v + 173 = 0, 2*z - 4*v + c - 142 = 0. Does 13 divide z?
False
Suppose 0*i - 4*c = i - 24, -1 = -4*i + 3*c. Suppose 2*k = i*z + 7 + 11, -z + 43 = 2*k. Let x = 3 + k. Is 11 a factor of x?
True
Suppose -5*x + 30 = -6*n + 2*n, -4*x + 4*n + 28 = 0. Suppose 252 = x*f + 206. Is f a multiple of 2?
False
Suppose -18*f = -3*f + 2115. Does 17 divide (36754/f)/((-2)/3)?
True
Suppose 5*b - 34195 = -5*r, -3*r = -r - 2*b - 13682. Does 10 divide r?
True
Does 67 divide (6766 + (32/8)/4)*(-6 + 11)?
True
Let a(v) = v**2 + 12*v + 53. Let r be a(-10). Let u = r + 682. Is 60 a factor of u?
False
Let z(r) = -3*r + 58. Let v be z(18). Let k be (82/(-10) - v/(-20)) + 0. Is (k + -100)*(-8)/6 a multiple of 24?
True
Let x be (-6)/(-4)*((-260)/(-12) - 21). Let q be (-10 - 2) + -1 + 1. Let l = x - q. Is l a multiple of 9?
False
Suppose -5*d + 4*y - 2 = -5, -5*d = 5*y + 15. Let m = d + 6. Suppose m*i + 85 - 355 = 0. Is i a multiple of 13?
False
Let f(x) = -39*x + 1758. Is 2 a factor of f(-37)?
False
Suppose -c - 1 = 3. Suppose 13*v = -10*v + 46. Does 5 divide ((-11)/v)/(c/88)?
False
Is 21 a factor of 10712/3 + (-110)/165?
True
Let f(x) = -x - 22*x - 44 - x - 1. Let u be f(6). Let d = 22 - u. Is d a multiple of 21?
False
Let y(d) = d**3 + 51*d**2 - 17*d - 47. Is 46 a factor of y(-51)?
False
Suppose -3*n - 3*i + 267 = 0, 3*n + 0*i - 2*i = 277. Let k = n + -26. Let m = -50 + k. Is m even?
False
Let l(v) = v**3 - 18*v**2 - 20*v + 19. Let a be l(19). Suppose a = -5*g + 527 - 142. Is 7 a factor of g?
True
Let l = 49166 - 45788. Is 192 a factor of l?
False
Let o(f) = 3*f**2 - f. Let c be 4/1 - (1 + 4 + -2). Let m be o(c). Is 18 a factor of 102*(-1 - m/(-1)) - -1?
False
Let f = 142 - 676. Let p = -288 - f. Is 19 a factor of p?
False
Let n(s) be the second derivative of s**6/45 - s**5/40 + 5*s**4/24 + s**3/6 - 14*s. Let y(q) be the second derivative of n(q). Does 13 divide y(2)?
False
Let q(s) = 6*s**2 - s + 17. Let d be q(5). Let t = d - -274. Is 11 a factor of t?
False
Let c(w) be the third derivative of w**4/24 + 59*w**3/6 + 126*w**2. Does 6 divide c(-13)?
False
Suppose -2*m = 3*p - 0 - 51, 2*m - p - 63 = 0. Let c = m - -26. Suppose -3*v - 38 = -c. Does 3 divide v?
True
Let t(x) = -x**3 + 7*x**2 - x + 9. Suppose 5*d = 2*h + 33, -3*h - 3 = -6*h. Let o be t(d). Suppose 5*g = 2*u - 111, 5*u - 2*g = o*u + 150. Is 10 a factor of u?
False
Is 44 a factor of ((-2)/6*10)/(1*26/(-449397))?
False
Let t(j) = j**2 - 3*j - 2. Let w be t(3). Let s be w/(-8) + 0 + (-235)/(-20). Is 18 a factor of ((-1098)/s - 3)*4/(-3)?
True
Let q(z) = 10*z**2 + 2*z. Let u be q(1). Suppose -4*w + 15 = -m - 0*w, -m - u = -3*w. Is m + -2 - 28*-1 a multiple of 8?
False
Let n = -2194 - -3441. Does 4 divide n?
False
Let z = -488 + 3890. Is z a multiple of 5?
False
Suppose 940 = 4*c + c. Let b = c + -11. Suppose -2*o + 21 + b = 0. Is 11 a factor of o?
True
Let d = 5081 + 379. Is d a multiple of 21?
True
Let l = 13234 - 3784. Is 65 a factor of l?
False
Let h(r) = r**2 + 8*r + 7. Let v be h(-6). Let p(y) = 5*y**2 + 39*y - 49. Let l(i) = -4*i**2 - 38*i + 48. Let j(t) = v*p(t) - 6*l(t). Is j(20) a multiple of 28?
False
Suppose -4*s - s - 4*l + 48 = 0, -2*l + 42 = 4*s. Let r be (-8)/s + (-6)/(-9). Suppose 2*a - 89 - 17 = r. Is a a multiple of 9?
False
Let h(x) = 284*x - 4. Let l(w) = 4*w - 8. Let k(i) = 5*i - 8. Let s(o) = 5*k(o) - 6*l(o). Let t be s(-7). Is 14 a factor of h(t)?
True
Suppose -2469*u + 2456*u + 46384 = 0. Does 13 divide u?
False
Let w(k) = -k**3 + 43*k**2 + k - 35. Is 7 a factor of w(14)?
True
Let f(y) = y**3 - 20*y**2 - 57*y + 48. Let h be f(24). Suppose 23*l - 17*l - h = 0. Does 24 divide l?
False
Let r(h) be the second derivative of -h**5/10 + h**4/4 - h**3/2 + 6*h**2 + 3*h - 5. Does 27 divide r(-5)?
False
Let n = -8296 + 13312. Does 57 divide n?
True
Let z = -4 + -6. Suppose 12 = -2*i - 0*o + 4*o, -i - 2*o + 14 = 0. Does 6 divide 935/25 + i/z?
False
Let r = 59 - 41. Let p = r - 17. Does 11 divide p - 1*(-88)/4?
False
Let u be (-75)/(-4) - (-31)/124. Let p(b) = -7 + b**3 - b + 5*b + 0*b**3 - 19*b**2. Is p(u) a multiple of 23?
True
Suppose 77*n = 47*n + 51750. Is 15 a factor of n?
True
Let b = -11 - -17. Suppose b*z = 5 + 7. Suppose 5*x + 66 = z*m + 494, -m + 173 = 2*x. Is x a multiple of 17?
False
Let c be 1/11 - (117509/77 + 3). Let d = -988 - c. Does 25 divide d?
False
Let c = 54 - -6. Let h = 87 - c. Suppose h*g - 25*g - 50 = 0. Is 18 a factor of g?
False
Does 23 divide 4155716/1027 + (-6)/13?
False
Let n = -3100 - -4456. Suppose -5*r + 0 - 10 = 0, -2*r = -4*f + n. Is 8 a factor of f?
False
Let v(d) = 17*d**2 - 2. Is 19 a factor of v(-3)?
False
Let o(s) = -s**2 + 5*s + 21. Let u be o(-5). Let v = 33 + u. Suppose -2*r + v*j = -76, 5*j = -0*r + 5*r - 175. Is 8 a factor of r?
True
Let v be (-54)/(-10)*30/(-6) + -3. Does 14 divide v/4*(-112)/10?
True
Suppose -7*i + 25 = -2*i. Suppose -z - 330 = -i*k, -110 = -5*k - 2*z + 205. Is 6 a factor of k?
False
Let b = 13960 - 4641. Does 22 divide b?
False
Suppose -3*v - 2*i = -1