s a multiple of 7?
True
Let t(h) = -4*h**3 - 6*h**2 - 10 + 3*h**3 - 4*h - 2*h + 0*h**3. Does 13 divide t(-6)?
True
Let t(d) = d**3 + 13*d**2 - 11*d - 23. Is 20 a factor of t(-13)?
True
Let c be (-4)/(7/((-105)/6)). Let s be ((-112)/c)/((-12)/150). Suppose 3*g - s = -5*p, -258 - 2 = -5*g + 5*p. Does 12 divide g?
False
Let b(y) = -5*y + 12*y + 20*y - 19. Is 8 a factor of b(7)?
False
Let b(i) = 42*i - 4. Let a be (2 - -1)*4/6. Does 8 divide b(a)?
True
Suppose y + 148 = i + 2*i, -2*y - 96 = -2*i. Let a be (i/4)/((-3)/(-120)). Suppose 5*h = 5*d + a, 5*d + 1 = -24. Is h a multiple of 20?
False
Suppose 0 = -63*q + 33251 + 74101. Does 11 divide q?
False
Let c be (44/(-8))/(1/(-24)). Suppose x + c = 4*x. Is x a multiple of 15?
False
Suppose -3*j + 3004 = g, 0 = -2*j + 2*g + 1683 + 325. Is j a multiple of 91?
False
Is (-35)/(-10)*2/3*57 a multiple of 7?
True
Suppose 5*i = 25, -4*i = 3*w - 479 - 564. Does 15 divide w?
False
Let o(g) = 12*g**3 + 3*g**2 + 6*g - 24. Is o(4) a multiple of 33?
False
Let t(j) = j**2 + 19*j + 2. Let p be t(0). Let u = 0 - 3. Is 16 a factor of 4 + (p - -39 - u)?
True
Let q(w) = -4*w**3 + 2*w**2 + 3*w + 1. Let c be q(-3). Suppose 918 = -5*o - 3*x, -2*o + 4*x - 480 = -c. Is 3/(-6) - o/6 a multiple of 20?
False
Let p = 960 - 499. Is p a multiple of 16?
False
Suppose 10*x - 6*x - i - 349 = 0, 5*x + 2*i = 433. Is x a multiple of 29?
True
Let a(p) = -p**3 + 5*p**2 - 2*p + 4. Let g be a(5). Is g*(22/(-3) - 0) a multiple of 11?
True
Let n be ((-100)/(-12))/(1/15). Let z = n - 42. Is 7 a factor of z?
False
Suppose -16 - 2 = 2*u. Let j(n) = -2*n**2 + 10*n - 6. Let x(z) = -z**2 + 9*z - 6. Let a(p) = -2*j(p) + 3*x(p). Is 12 a factor of a(u)?
True
Let c = 63 - -600. Is 51 a factor of c?
True
Suppose 5*s = -5*d + 1675, 5*d - 384 = -2*s + 301. Is s a multiple of 22?
True
Let n = -144 - -150. Suppose 0*m = n*m - 402. Is m a multiple of 12?
False
Suppose -19*f + 16*f = -4113. Is f a multiple of 22?
False
Let l = 2775 + -1534. Is 17 a factor of l?
True
Let w(j) = 15*j - 3. Suppose -4*p + 22 + 14 = 0. Is 44 a factor of w(p)?
True
Suppose 4*d - 64 = 4*p, -4*d - 5*p + 64 = -d. Let n be (-24)/(-10)*840/d. Suppose -2*y - n = -6*y - 5*x, -3*x = 4*y - 112. Is 5 a factor of y?
False
Suppose 201*m - 206*m = -775. Is m a multiple of 6?
False
Suppose -2*k - 6 = 4*j, -4*j + 17 = k - 6*j. Let i be k/14 + 5/2. Does 20 divide 107/i - (-5)/15?
False
Let j(v) = -v**2 - v + 5. Let g be j(0). Let d = g - -16. Is d a multiple of 3?
True
Suppose -15*w + 34348 - 7828 = 0. Is 14 a factor of w?
False
Let n be (0 + -186)*(-2)/3. Is 15 a factor of n - (10/5 - -1)?
False
Let t(x) = -20*x. Let h(y) = -y + 6. Let p be h(4). Suppose -2*z + 4 = -k + 9, -p*z - 17 = -5*k. Does 10 divide t(z)?
True
Let m(j) be the first derivative of j**3/3 + j**2/2 - 2*j - 1. Let x be m(4). Suppose h + 3 = x. Is 15 a factor of h?
True
Suppose -2*u - 2 - 10 = 0. Let x(p) = -35*p - 172. Let f be x(-5). Is (-2)/(u/f)*15 a multiple of 3?
True
Let m(a) = 29*a - 53. Is m(9) a multiple of 19?
False
Let r(a) = -10*a + 70. Let v be r(7). Suppose 5*d - 2*d = 9. Suppose -d*b + 0 + 150 = v. Does 33 divide b?
False
Let o(i) = 9*i - 5. Let g(a) = -2*a - 1 + 6*a**2 + 0*a**2 - 5*a**2. Let b be g(4). Does 12 divide o(b)?
False
Let c(t) = 114*t - 78. Is 10 a factor of c(2)?
True
Let t(l) = -8*l**2 - 25*l - 8. Let f(y) = -y**2 - 3*y - 1. Let n be (-1*4)/(8/(-12)). Let b(a) = n*t(a) - 51*f(a). Is 11 a factor of b(3)?
False
Let i(l) = 29*l - 6 + l**3 - 2*l**3 - 49*l + 17*l**2. Is i(15) a multiple of 26?
False
Suppose 40*v - 26042 + 4202 = 0. Is v a multiple of 78?
True
Let k = 26 - 22. Let f = 18 - k. Is f a multiple of 14?
True
Suppose 0 = -5*y + 4*b + 3610, -4*y - 5*b + 3872 - 1025 = 0. Is 13 a factor of y?
False
Suppose 2*t = -4*d + 5440, -2526 = -5*d - 3*t + 4274. Is d a multiple of 5?
True
Let z be (-3 + 20/8)*10. Let v be (z + -1)*6/(-4). Is 12 a factor of ((-30)/v)/((-4)/72)?
True
Suppose -a = 3*i - 4*i + 59, -3*i - 3*a + 183 = 0. Suppose 2*y = -y - 3*m - 36, 4*m = -5*y - i. Does 18 divide ((-9)/y)/(2/240)?
True
Let w(z) = 9 + 0*z + 8*z + 5*z - 8. Is 34 a factor of w(8)?
False
Let h = 3753 - 2766. Is 47 a factor of h?
True
Let a be (308/(-21))/(-1 + (-6)/(-9)). Suppose a = z + 3*z. Does 8 divide z?
False
Let w = -2565 + 3926. Is w a multiple of 19?
False
Let y(r) = r**3 - 3*r**2 - 5*r - 5. Let u be y(6). Suppose -5*v = -2*z + 200, z - u = 5*v + 22. Is 35 a factor of z?
True
Suppose 0 = f + 6 - 3. Is 14 a factor of ((-2)/(-1))/(3/((-63)/f))?
True
Suppose 3*m + 3*f = 15, 3*f + 17 = -2*m + 3*m. Let s(l) = -l**2 + 9*l - 2. Let a be s(m). Suppose a*x - 11*x = -25. Is 2 a factor of x?
False
Let u(o) = 4*o - 6. Let g be u(2). Suppose 0 = -2*y + g*r + 74, 5*r = -2*y + 29 + 10. Does 16 divide y?
True
Suppose 3*p - 19 = -2*v, 0 = 3*p - 22 + 7. Suppose 2 + 0 = v*c, -k = 2*c + 2. Does 4 divide 46/4 + (-2)/k?
True
Suppose 2*g - 36 = -7*g. Suppose -3*u + g*v + v = -11, v - 16 = -2*u. Is 6 a factor of u?
False
Suppose -20*h + 5109 + 47571 = 0. Is 32 a factor of h?
False
Suppose -2*g - 153 = -151. Let o(m) = -13*m**2 + m - 1. Let l(u) = -u. Let c(b) = -2*l(b) - o(b). Is c(g) a multiple of 13?
True
Is 3*279 + (6 - 2) a multiple of 53?
False
Suppose 12*k = 6*k + 12. Is (-32)/(-2) + k + 2 a multiple of 16?
False
Let k be 3/(-5) + (-12)/5. Let n(c) = 31*c - 68*c + 35*c. Is n(k) a multiple of 3?
True
Let n be 137 + 4 + -3 + -4. Suppose 4*j - n + 38 = 0. Suppose 2*t + p = 22, 2*t - 2*p - j = 10. Is t a multiple of 13?
True
Suppose -c + 45 = 175. Let x = c + 176. Does 3 divide x?
False
Suppose 0 = -3*w, 4*g + 4 = 5*g + 2*w. Suppose 2*o = -g*y + 876, -8*o = -4*o + 8. Is y a multiple of 22?
True
Suppose b - 1275 = -0*r - 4*r, r = 2*b + 321. Is 11 a factor of r?
True
Suppose 3 = 2*l + 15. Let p be (l/4)/(2/(-132)). Suppose 3*i - 101 = i - 3*b, -2*i = b - p. Does 8 divide i?
False
Let j = 36 - 33. Let a(y) = y**3 + y**2 - 2*y - 1. Does 6 divide a(j)?
False
Suppose 3*t - 5*c - 5 = -3*c, -3*t = -c - 10. Suppose 15 = -t*p, k - 71 = -2*p + 5*p. Is 20 a factor of k?
False
Suppose -15*g = -10*g. Let l be (0 + g)/(0 - 1). Suppose l = j + v + 4*v + 4, -j = 4*v + 2. Is 2 a factor of j?
True
Let k = 353 + 252. Is 66 a factor of k?
False
Let x(d) = -276*d - 389. Is 107 a factor of x(-8)?
True
Let c(p) = -5*p**2 - 6*p + 4. Let r be c(4). Let k = r + 170. Is 7 a factor of k?
True
Suppose 0 = t - 12 - 101. Suppose -2*a = g - 45, 4*a - 4*g - 7 - t = 0. Is a even?
False
Does 15 divide 75*(4/(-5) - -6 - -2)?
True
Let p be -6*(5 - 9 - 21). Let q = p - -39. Is 12 a factor of q?
False
Let f = -103 - -147. Suppose -46 = 3*d + f. Let p = -14 - d. Is 16 a factor of p?
True
Let c be ((-10)/15)/(2/(-36)). Suppose 2*p + c = 6*p. Suppose -t = 0, -p*k - 6*t + 66 = -2*t. Is k a multiple of 13?
False
Let x be (0*2/(-4))/1. Suppose -5*n - 3*j = -8 - 18, x = 2*n - 4*j. Is 4 a factor of n?
True
Let c(u) = 17*u**2 + 11*u**2 - 3*u + 18*u**2 - 4 - 44*u**2. Let d be ((-5)/(-4))/((-1)/(-4)). Is 31 a factor of c(d)?
True
Suppose v - 21*d + 24*d - 517 = 0, -1002 = -2*v + 2*d. Is v a multiple of 101?
True
Let u(x) = 2*x - 4. Let n be u(2). Let d(r) = r**2 + r - 3. Let g be d(n). Does 9 divide g + (98 + 2)/4?
False
Suppose f = 2*b + 5*f - 1654, -2*f = 2*b - 1664. Does 13 divide b?
False
Let t(d) = -94*d - 11. Let f be t(-2). Suppose -4*r + f + 63 = 0. Does 30 divide r?
True
Suppose 3*c + 3*q + 6 = 6*c, 2*q = -5*c + 10. Let s(j) = j + 2. Let m be s(3). Suppose 2*f + f = m*y - 258, -f = -c*y + 103. Is 17 a factor of y?
True
Let d(t) = -2*t + 6. Let l be d(5). Let v(s) = 30*s - 37*s - 8 + 3. Does 6 divide v(l)?
False
Suppose -4*p - 3*k + 2679 = 0, -p - 3*k = -6*k - 651. Is 37 a factor of p?
True
Suppose 2*w - 60 = w. Suppose 3*x + x + w = 0. Let g = x + 27. Does 4 divide g?
True
Let a(w) = -w**2 - 43*w + 81. Is 24 a factor of a(-18)?
False
Let d(g) be the first derivative of -g**4/4 - 10*g**3/3 + 11*g**2/2 + 10*g + 13. Does 5 divide d(-11)?
True
Let j(m) be the third derivative of m**5/120 + 15*m**4/8 + 2*m**3/3 + 4*m**2. Let y(d) be the first derivative of j(d). Is 15 a factor of y(0)?
True
Let o = 49 - -173. Is 16 a factor of (1 + 3)/(4/(o + 2))?
True
Let j be (30/(-9) - -4)*3. Suppose -z = -5*z + 5*c + 18, 3*c = -2*z - j. Does 24 divide ((-24)/7)/(z/(-14))?
True
Suppose -