a factor of (-2)/3*21405495/(-670)?
True
Let h(m) = 45*m**2 + m - 121. Does 13 divide h(-26)?
False
Let b = 9 - 9. Let r = b + -32. Let k = r + 60. Is k even?
True
Let o(u) = u**2 - 16*u + 12. Let g be o(16). Suppose -g*r - 154 = -10*r. Let f = 14 - r. Is f a multiple of 13?
True
Let l = -73 + 143. Suppose -3*h + 174 = -4*c + l, -5*h + 185 = 5*c. Is 18 a factor of h?
True
Suppose 328500 = 175*c + 50*c. Is c a multiple of 4?
True
Let s = -262 - -264. Suppose 3*r - 680 = -s*u, -128 + 1148 = 3*u - 5*r. Is u a multiple of 20?
True
Let a(j) = 4*j - 65. Let d be a(24). Suppose -771 = -d*q + 28*q. Does 9 divide q?
False
Let m(z) = -6*z**3 - z**2 + 7*z + 74. Does 47 divide m(-10)?
False
Suppose -307*g + 3061685 = -3022934 - 1369955. Does 142 divide g?
True
Suppose -16*c + 19*c - 412 = -p, 0 = -2*p + c + 796. Does 26 divide (-24)/(p/(-65) - -6)?
True
Let n be ((-36)/(-42))/(3/14). Suppose -3*r + n + 8 = 0. Does 13 divide (3/(-12)*r)/((-2)/130)?
True
Let x(f) = -2*f**3 - 18*f**2 - 20*f - 32. Let v(c) = -c**3 - 17*c**2 - 19*c - 32. Let t(u) = 3*v(u) - 2*x(u). Let d be t(16). Does 4 divide (d/(-72))/(1/18)?
True
Let o(h) = 366*h - 5737. Is o(33) a multiple of 10?
False
Suppose 102705 = -58*h + 181*h. Does 5 divide h?
True
Let z = -350 + 369. Let q(f) = -f**2 + 36*f - 11. Is q(z) a multiple of 12?
True
Let q(v) = v**2 + 8*v - 6. Let c(t) = 6*t + 35. Let y be c(-7). Let p be q(y). Is 22 a factor of 1/(1/2) + (199 - p)?
False
Let o(z) be the second derivative of 71*z**3/2 - 49*z**2/2 - 17*z - 3. Is o(4) a multiple of 59?
False
Let j = -11486 + 12413. Is 5 a factor of j?
False
Let d be (-4)/12*3*0. Let q(u) = u**2 + 3*u + 3. Let o be q(d). Suppose 241 = o*y + r, 3*y - r + 64 = 303. Is 19 a factor of y?
False
Suppose -5*n + 42840 = -2*q, q - 18650 - 7054 = -3*n. Is n a multiple of 51?
True
Let x(k) = -2910*k + 3414. Is x(-21) a multiple of 57?
True
Suppose -9*r - 111096 = -39*r - 6*r. Is 14 a factor of r?
False
Let a be 25/((-175)/336)*58/(-3). Suppose -a - 892 = -7*i. Is 26 a factor of i?
True
Suppose 4*l + 3618 = 4*b + 426, l + 818 = -3*b. Let w = 1373 + l. Is w a multiple of 30?
True
Let q(a) be the first derivative of -10 - 1/4*a**4 - 2*a**2 - a - 5/3*a**3. Is 2 a factor of q(-5)?
False
Let j = -951 + 1613. Suppose -7*m + 38 = -j. Is m a multiple of 21?
False
Suppose 753148 - 88062 = 58*s. Does 13 divide s?
False
Suppose -25*v = 100 + 200. Does 23 divide (-7527)/v + 45/(-36)?
False
Let h be ((-9)/(-6))/((-75)/(-150)). Let d(p) = 0 + 5*p**3 - 2*p**3 + 3 + p**2. Does 31 divide d(h)?
True
Suppose -3*y + 37 + 38 = d, -5*y + 125 = -3*d. Let x = y - -68. Is x a multiple of 3?
True
Suppose 29*f = 25*f + 244. Let v(g) = 5*g + 4. Let w be v(-4). Let j = f + w. Does 9 divide j?
True
Suppose -278*r + 250*r = -19656. Is 9 a factor of r?
True
Let o(v) be the second derivative of 355*v**4/12 + 5*v**3/6 - 2*v**2 - 78*v. Is 28 a factor of o(1)?
False
Let t(l) = 2*l**2 + 22*l + 36. Let a(o) = o - 11. Let i be a(-3). Let v be t(i). Let m = v - 114. Is m even?
True
Let j(y) be the third derivative of 65*y**4/24 - 13*y**3/6 - y**2 - 10. Is 13 a factor of j(3)?
True
Suppose -4*r = 3*i - r + 12, 0 = i + 2*r + 9. Is 17 a factor of (-257)/i*-1 + -2?
True
Let m(q) = 22*q - 155. Let u be m(7). Does 2 divide 0/u*(-13 - -12) + 83?
False
Let v = 11589 + -1392. Does 99 divide v?
True
Let q(f) = 129*f + 33. Let j be q(-5). Let p = -390 - j. Is p a multiple of 36?
False
Let z be (-7)/(5/1 - 6). Suppose 0 = -z*d + 21*d - 140. Is d a multiple of 4?
False
Let d(p) = p**2 - p**3 - 131*p + 7*p**2 - 6 + 123*p. Is 2 a factor of d(6)?
True
Suppose -14972 = -2*d - 3*v, 52*d - 2*v + 7490 = 53*d. Is d a multiple of 101?
True
Let j(g) = -g + 28. Suppose 4*y - 3 = -n + 1, n - y - 19 = 0. Suppose -3*d = -2*r - n + 6, 4*d = 4*r + 8. Is 7 a factor of j(d)?
False
Let r = 220 - 221. Is (r - 685/(-35))*7 a multiple of 13?
True
Suppose 0 = -z - 2*u + 3, -1 - 5 = -5*z - u. Is (z + 547)*(-6 + (-104)/(-16)) a multiple of 65?
False
Suppose -o - 615 = 5*q, 5*q + 2*o + 149 = -466. Let w = 256 + q. Is w a multiple of 22?
False
Let t(d) = d**2 + 17*d + 92. Let y be t(-21). Suppose 4*p = a + y, -2*p - 4*a + 5*a = -88. Is 4 a factor of p?
True
Is 56 a factor of ((-58240)/6)/(-13)*12/5?
True
Let q = 30567 + -11446. Is 13 a factor of q?
False
Let j(x) = x**3 + 33*x**2 - x + 73. Let n be j(-33). Suppose 3*y - 191 = b + n, -y + 97 = -b. Is y a multiple of 5?
True
Suppose -5*w + 20 + 19 = 4*q, 0 = 5*q + 2*w - 53. Let k = -27 + q. Is (8 + k)/(-2*2/104) a multiple of 26?
True
Let o(v) = 94*v**2 - 19*v - 50. Does 8 divide o(-13)?
False
Suppose 3*m = -12, 2*g + 8 = g - 3*m. Suppose g*s = 0, -4*s + 5*s = y - 20. Does 16 divide 127/4 + 5 + (-95)/y?
True
Let w(z) = 3*z - 150. Let y be w(51). Suppose h - 547 = -y*p, -h + 2*p + 800 = 258. Does 4 divide h?
True
Suppose 0 = 2*u + 4*p - 49 - 1, -u = -2*p - 33. Suppose u*a = 31*a + 2. Does 21 divide a - 6/(-8) - 3006/(-24)?
False
Does 59 divide (-11)/(-66)*129*118?
True
Let h(b) = -b**3 - 17*b**2 - 20*b + 28. Let u be h(-16). Is u - 0/(-5 + -1) a multiple of 66?
False
Let n(o) = 5*o**2 - 80*o + 460. Does 8 divide n(10)?
True
Suppose 488 + 304 = 2*d. Suppose 4*p - p = -2*a + 1204, -p + 2*a = -d. Does 22 divide p?
False
Let z = 134 - 529. Let o = 0 - 211. Let a = o - z. Does 8 divide a?
True
Suppose -v + 951 = -5*s, 5*v - 23*s - 4887 = -20*s. Is 3 a factor of v?
True
Let d = 817 + -815. Suppose -2*t + 718 = d*w, -6*w + 1077 = -3*w + 5*t. Is 5 a factor of w?
False
Suppose 351*o - 8100 = 341*o. Does 45 divide o?
True
Let a be ((-9)/6)/(18/(-24)). Suppose -t - 9 = -4*y - a*t, 3*y + t = 6. Suppose -2*s + s - d = -89, y*s + d = 273. Is 23 a factor of s?
True
Let w(i) = -i**3 + 22*i**2 + 8*i - 516. Does 38 divide w(-25)?
False
Does 6 divide (-1964 + 1967)*(-1 - (1 + -1844))?
True
Let i(t) = -3*t**3 - 5*t**2 - 4*t + 1. Let n be i(4). Let l(y) = 5*y**3 - 11*y**2 + y + 24. Let g be l(-4). Let o = n - g. Is o a multiple of 29?
False
Is 41 a factor of 6478/7*(-258 + 265)?
True
Suppose 5*d = -2*h - 7, 4*d + 40 + 7 = 3*h. Suppose 0 = -j - z + 126, 0 = -h*z + 4*z. Is 4 a factor of j?
False
Suppose 5*l = 2*y + 105552, -4*l - 895*y = -897*y - 84442. Is 15 a factor of l?
False
Let l(k) = -8*k**2 + 933*k + 626. Is l(89) a multiple of 55?
True
Suppose -28*k + 631 + 237 = 0. Suppose -2*w + k = 5*o, -51 = -3*w - o - 2*o. Is w a multiple of 3?
True
Let t(h) = -4*h - 18. Let f be t(-8). Let y(c) = -4*c + 62. Let s be y(f). Suppose -v - 126 = -s*v + 2*u, -3*u - 9 = 0. Is 2 a factor of v?
True
Suppose -2*w = 4*i - 7022, -2*i - 10509 = 12*w - 15*w. Does 20 divide w?
False
Is 13 a factor of -10 + (3859 - (-14 - -28))?
True
Suppose -8 = -2*n, -4*h - 269*n + 14176 = -271*n. Does 18 divide h?
True
Let q = -10592 + 16219. Does 12 divide q?
False
Let l(q) = -q**3 - 13*q**2 - 12*q - 1. Let k be l(-12). Let c(t) = -53*t**3 - 2*t - 1. Let v be c(k). Let f = v + -38. Is 8 a factor of f?
True
Let x(r) = -24*r + 72. Is x(0) a multiple of 9?
True
Suppose -6*s = 39 - 105. Suppose s*g = -2*g + 3094. Is g a multiple of 4?
False
Let q(l) = -4*l**3 - 58*l**2 - 6*l + 73. Does 208 divide q(-15)?
False
Suppose 0 = -6*l - 4*l + 20. Suppose -l*y - 204 = -5*y. Does 3 divide y?
False
Does 67 divide 85/(15*2/1608)?
True
Suppose 12*y - 13*y = -3*z + 13, -2*y - 2*z = 66. Is y/4 - -150 - 5 a multiple of 3?
True
Let r be (-10)/(-3)*6/(-5) + -78. Let a = r - -86. Suppose 3*z - 5*u - 49 = 2*z, -220 = -4*z - a*u. Is 9 a factor of z?
True
Let v(z) = 4*z**2 - 89*z - 757. Is 38 a factor of v(-48)?
False
Does 21 divide (-165736)/(-16) + 1 + 5/(-30)*-9?
False
Suppose 10*j = -104 + 404. Suppose -90 = j*i - 33*i. Suppose -v - 59 = -3*r, -2*r - 3*v = -4*r + i. Is r a multiple of 21?
True
Does 185 divide 5/(-1) + 64 + 4380?
False
Suppose -2*u - d = -8382, 3*u - 8*d + 6*d = 12587. Is u a multiple of 16?
False
Suppose 2*s - 89989 = -51*s + 78551. Is s a multiple of 30?
True
Suppose 22*c - 17*c - 60 = 0. Let t be 14 + ((-4)/5)/(c/30). Let r = t - -45. Is r a multiple of 12?
False
Let z be (-114)/(-15) + 6/(-10). Suppose -3*n = -2*n - q - 427, 0 = -5*n + q + 2135. Suppose -z*y + n = -1155. Is 16 a factor of y?
False
Let s(o) = -30*o**2 + o + 2. Let f be s(-1). Let w = -24 - f. Suppose w*h - 404 = p, h - 320 = -3*h + 4*p. Is h a multiple of 34?
False
Su