pose -r*j + 16*x + 7749 = 19*x, -5810 = -3*j - 4*x. Is 13 a factor of j?
False
Let p(x) = -2*x - 1. Let c(q) = -7*q + 11. Let b(w) = c(w) - 3*p(w). Does 9 divide b(-9)?
False
Let t(q) be the third derivative of -q**6/60 - 8*q**5/15 + 3*q**4/4 - 53*q**3/3 - 3*q**2 - 9. Does 4 divide t(-17)?
False
Let a = -17397 + 44985. Is 228 a factor of a?
True
Let t = -386 + 383. Is 14 a factor of -2 - (6 - 0)*302/t?
True
Let f = -265 - -262. Is 26 a factor of 42/f - -13 - (-325 + 1)?
False
Let a be ((-2)/3)/(15/48465)*-1. Suppose 12*l = 10*l + a. Is 38 a factor of l?
False
Let s be ((-4)/(-3))/(3/9). Let n(t) = -17*t + 68. Let p be n(4). Is -33*5*(-5 + p + s) a multiple of 18?
False
Is 15 a factor of -8 + 249539/8 - 1*3/8?
False
Let v = 29244 + -21314. Is 4 a factor of v?
False
Let a = -1443 + 6398. Is 9 a factor of a?
False
Suppose 35712 = 11*u + 5902. Suppose -5*z = -u + 925. Is 15 a factor of z?
False
Let c be -55 + 6/(-9)*3. Let b(o) = -o + 74. Let l be b(0). Let y = c + l. Is y a multiple of 12?
False
Let i = -14236 + 28996. Does 123 divide i?
True
Let q = -233 - -677. Let v = -364 + q. Is 4 a factor of v?
True
Let p(n) = -153*n**3 + 5*n**2 - 13*n - 1. Is 73 a factor of p(-3)?
False
Does 26 divide 1768/(-3)*270/(-40)?
True
Let g = 32666 + -4477. Is g a multiple of 29?
False
Let m = -17098 + 31273. Is 81 a factor of m?
True
Let q(x) = -21*x - 33. Let t = -129 + 124. Is 8 a factor of q(t)?
True
Suppose -5*w + 4*z + 4361 = 0, 2*w - 1666 = 2*z + 80. Is w a multiple of 11?
True
Does 101 divide 0 - (-26)/(-117) - (-359511)/27?
False
Suppose 0*u = -2*u - 16. Let h(l) = 9*l**2 - 35*l - 15. Let s(z) = -5*z**2 + 18*z + 8. Let q(g) = 6*h(g) + 11*s(g). Is q(u) a multiple of 5?
True
Let d(h) = h**2 + 60*h - 477. Is 6 a factor of d(51)?
True
Let f(j) = -59*j - 148. Is f(-28) a multiple of 16?
True
Let u(j) be the first derivative of -3*j**2/2 + 32*j + 245. Let w = -16 - -24. Does 8 divide u(w)?
True
Let n be (3/9)/(4/(-12)). Is 36 a factor of 3 + (0/(-6))/n - -153?
False
Let n = 810 - 85. Is 29 a factor of n?
True
Suppose 0 = 4*z - 4*v - 111488, -z + 27876 = -194*v + 197*v. Does 163 divide z?
True
Let g be (1*2)/(27/1107). Suppose g*s - 22000 = 72*s. Does 31 divide s?
False
Suppose 3 = -39*d + 36*d, -y - 2*d = -11744. Is 49 a factor of y?
False
Let v = -25 + 27. Let w(t) = 12*t**2 - 9*t + 19*t**v + 4 - 29*t**2. Is w(5) a multiple of 9?
True
Let q(v) = 40457*v - 209. Is 312 a factor of q(1)?
True
Let l(w) = 3*w**3 - 8*w**2 - 4*w + 5. Let r be l(6). Let n = -13505 - -13716. Let k = r - n. Is 13 a factor of k?
True
Let z(s) = 8*s**2 - 28*s - 6. Let i be z(19). Let y = i - 1327. Is 33 a factor of y?
True
Let d = -3978 - -7702. Does 49 divide d?
True
Suppose -y - 36 = 2*m - 5*y, 3*m + 54 = 4*y. Let o be ((-2)/6)/((-6)/m) - -28. Is 1766/9 - ((-24)/o)/(-4) a multiple of 14?
True
Let b = -711 - -691. Let r = b - -282. Is r a multiple of 3?
False
Let w = -807 + 1526. Let t = -311 + w. Is 17 a factor of t?
True
Suppose 41296 = 5*c - 83799. Suppose 69*p - 103321 = c. Is p a multiple of 15?
True
Suppose 4*y + w + 200 = 0, -w + 146 = -2*y + 52. Let b = y + 81. Does 32 divide b?
True
Let y = 26694 + -23875. Is 5 a factor of y?
False
Let f(a) = a - 5. Let j be f(9). Suppose j*q - 2*g - 3884 = 0, 0 = q + g - 5*g - 964. Is 36 a factor of q?
True
Let u(h) = h**3 - 5*h**2 + 4*h - 1. Let z be u(3). Let i be (-23)/(-7) + 2/z. Suppose -i*q + 123 = -5*n, -3*n - 55 + 14 = -q. Does 7 divide q?
False
Let a = -4253 - -8053. Is 19 a factor of a?
True
Let b(v) be the second derivative of -v**5/20 - 3*v**4/4 - 4*v**3/3 + 5*v**2/2 - 16*v. Let s be b(-8). Suppose -s*x - 138 + 348 = 0. Is x a multiple of 7?
True
Let i be ((-20)/12)/(1/(-3)). Suppose -9*f + 11368 = i*f. Is 52 a factor of f?
False
Suppose -13*p + 6217 + 3273 = 0. Suppose 596 = 17*o - p. Does 13 divide o?
True
Suppose -2*p + 6*p + 2317 = 3*g, -g = p - 784. Suppose g + 277 = 3*r. Does 16 divide r?
True
Suppose 0 = y + 2*v + 995, 17*y - 4905 = 22*y - 4*v. Let c = y - -1525. Is c a multiple of 10?
True
Suppose 0 = 234*h - 189*h - 377280. Is h a multiple of 64?
True
Let x(k) = -12*k + 235 + 239 - 2*k**2 - 469. Let y be x(-6). Suppose -2*g = g - y*s - 240, 0 = 2*g + 5*s - 185. Is g a multiple of 5?
True
Suppose 5*d + 3*f - 59 = 0, 4*d + 0*f - 4*f = 28. Suppose 2 = n - 2*r - d, -2*n - 8 = 4*r. Suppose -4*z - 5*w = -2*w - 1029, -n*w = 3*z - 777. Does 12 divide z?
False
Let v = 13789 - 9442. Is v a multiple of 23?
True
Suppose -4855 = -4*j - 3*y, -42*y - 2440 = -2*j - 46*y. Is j a multiple of 10?
True
Let i(j) = -804*j**3 + 26*j + 24. Is i(-1) a multiple of 15?
False
Let m = 181 - 156. Does 8 divide ((-155)/m + -5)/((-6)/15)?
False
Let l = -769 + 5217. Is 87 a factor of l?
False
Let z(k) = k**3 - 4*k**2 - 6*k - 4. Let b be z(5). Let v(r) be the third derivative of -2*r**4/3 - 3*r**3 + 6*r**2 + 31. Does 21 divide v(b)?
True
Let a(y) = 83*y + 1927. Is 9 a factor of a(-23)?
True
Suppose b = 4*k + 2944 + 516, 3*b + 2*k - 10324 = 0. Does 84 divide b?
True
Suppose 2*p = 5*m - p - 75, 2*m - 2*p = 30. Let y(o) = o**2 - 17*o + 36. Let g be y(m). Let l = g + 16. Is 13 a factor of l?
False
Let g be -42 + (-1 - (-4 + 1))/(-2). Let y = g + 46. Suppose 4*b + 272 = 4*z, y*z + b = -2*z + 334. Does 7 divide z?
False
Suppose -14*j - 30 = -8*j. Let a = 36 + j. Is a even?
False
Let v = -128 + 106. Let q be v/4 + 4 + 9/6. Suppose -4*u + q*u = -140. Does 5 divide u?
True
Let c(s) be the second derivative of -11*s**4/6 + s**3/2 - s**2/2 - 4*s. Let z be c(-3). Is (18/24)/((-209)/z - 1) a multiple of 26?
True
Does 27 divide (0 - -17061) + ((-8)/1 - (148 - 159))?
True
Suppose 2*z - 5*q = 5300, 55*z + q + 2641 = 56*z. Is z a multiple of 56?
False
Is ((42 - 35) + 3)*(-409)/(-2) a multiple of 5?
True
Suppose 179*l - 178*l - 17583 = s, 5*l + 3*s - 87867 = 0. Is 27 a factor of l?
True
Suppose -15*r = -r + 84. Let p be ((-16)/(-6))/(r/(-9)). Suppose -2 + 278 = p*l. Does 13 divide l?
False
Let n be (-9)/(-9) - 0*(-4)/16. Let o(p) = p**3 + 5*p**2 + 4*p - 2. Let a be o(-4). Is 26 a factor of (n - -1) + (610/5 - a)?
False
Let q = 54 + -38. Let l be 24/((-4)/(-6) - 4/(-3)). Suppose q*j = l*j + 184. Does 7 divide j?
False
Suppose -2*q = 0, -220 = 5*v + 3*q + 275. Let x be 1392/(-20) - ((-49)/(-35) + -2). Let t = x - v. Is t a multiple of 10?
True
Let q = -1438 + 612. Let x = 1426 + q. Let b = x - 425. Is b a multiple of 25?
True
Let m = -2772 + 3651. Is 12 a factor of m?
False
Suppose 6*y + 35 = 53. Let j(f) = f**2 - 3*f - 7. Let c be j(5). Suppose -5*v + 0*t + y*t = -228, 0 = -c*t - 3. Does 10 divide v?
False
Let t = 4 + 2. Let n(f) = 5*f - 105*f + t + 4. Does 29 divide n(-1)?
False
Let x(l) = -19592*l + 4. Does 71 divide x(-1)?
True
Suppose -5*c + 413 = 443. Is 3/c*(-9618)/21 a multiple of 11?
False
Let p = 610 + 745. Is p a multiple of 5?
True
Let n = 9 - 1. Suppose v = 5*p - 10, -3*p + 2*v + n = v. Does 39 divide ((-78)/(-12))/(p/6)?
True
Suppose 5*x - 81*u + 85*u - 24660 = 0, 2*x - 9831 = 5*u. Is 11 a factor of x?
True
Suppose 12*a = 4018 - 19774. Let x = -619 - a. Does 29 divide x?
False
Let s = -108 - -197. Suppose p + s = c + 4*p, -c + 91 = p. Let i = c - -52. Does 24 divide i?
True
Suppose -n = -4*x - 1420, -2*x + 806 = -4*n + 6402. Is n a multiple of 2?
True
Let s(k) = 56*k**2 - 117*k**2 + 12 + 46*k + k**3 + 40*k**2. Is 21 a factor of s(19)?
False
Suppose 0 = d + 2*v + 1 + 1, 6 = 4*d + v. Suppose d*c + 1624 = -2*c. Let r = -286 - c. Is r a multiple of 15?
True
Let u(p) = -310*p + 64. Let y be u(-6). Suppose -71*b = -67*b - y. Does 21 divide b?
False
Let l = 79 + -81. Is 24 a factor of (5568/203)/(l/(-14))?
True
Suppose 0 = -4*s - 20, -9*t + 6*t = 3*s - 387. Suppose -5 = 5*j, 5*j - 494 - t = -3*a. Is 17 a factor of a?
False
Let a(k) = k + 22. Let w be a(-17). Suppose 278 + 80 = z - m, w*m = 0. Is 50 a factor of z?
False
Suppose 0 = -3*r + 1599 + 682 + 1175. Does 7 divide r?
False
Let f be 151/17 - (147/51 + -3). Is (-8169)/(-12) - (f + 198/(-24)) a multiple of 10?
True
Suppose 59*g + 28083 = r + 55*g, -14 = 2*g. Does 18 divide r?
False
Let o(h) = -h**3 - 3*h**2 - 3*h - 5. Let m be -1 - 2*(-1 + 0)/(-1). Let a be o(m). Suppose -2*y + 160 = a*n, 4*n - n = 3*y - 204. Is 18 a factor of y?
True
Suppose 0 = -3*g - 12, 2*d - 6*d + 4*g = 80. Does 21 divide d/18 - (-9592)/12?