ultiple of 10?
True
Let x(r) be the third derivative of -r**4/24 + 6*r**3 + 5*r**2. Is x(6) a multiple of 15?
True
Suppose 5*d = -3*p + 11, -4*d - 1 = -3*p + 1. Suppose 3*y - 5*u + 17 = d, y + 5*u - 28 = 0. Suppose -y*m = -25 + 4. Is m even?
False
Suppose -37 + 5 = 4*k. Let r = -5 - k. Suppose r*g = -g + 148. Is g a multiple of 8?
False
Suppose -l + 2*l = -6. Let p be l/(-5)*(-10)/(-3). Does 2 divide 12/p + -1 - -4?
True
Let o be 2/(3/(34*3)). Let p = -20 + o. Suppose 5*g + s = 91, 31 + p = 5*g + 4*s. Is g a multiple of 4?
False
Suppose n + 12 = 4*r, -5*n + 1 + 11 = -2*r. Suppose -n*v + 18 = 4*f - 26, 4*f - 43 = -5*v. Is 2 a factor of f?
True
Let c = 22 + 4. Let y = -20 + c. Let o(s) = s**2 - 6*s + 6. Is o(y) a multiple of 4?
False
Does 17 divide (2882/3)/((-7)/3 + 3)?
False
Is 19 a factor of 1*(-16)/(-56) - 1314/(-7)?
False
Let f(m) = -m**3 + 33*m**2 + 21*m - 111. Does 97 divide f(33)?
True
Let c(f) = f**2 - 12*f - 11. Let g be c(-11). Suppose -z = z + g. Let m = z + 202. Does 21 divide m?
False
Let v(o) = 10*o - o - 1 + 2*o + 13. Let r be v(6). Is 4 a factor of r/9 - 6/9?
True
Suppose -22*r + 20*r + 4*c = -3588, -c = -5*r + 8943. Is r a multiple of 10?
False
Let j(w) = w**3 - 9*w**2 + w - 5. Let p be j(9). Is ((-308)/(-16) - p)/(1/8) a multiple of 29?
False
Let f(t) = -t**2 - 10*t - 9. Let k be f(-7). Let c(m) = m**2 - 12*m + 3. Let g be c(k). Suppose -4*d = -b + 43, -g*d = -2*b + d + 90. Is 24 a factor of b?
False
Let h(z) = 13*z + 8. Let w be h(-4). Let a(q) = -15*q + 5. Let n be a(-4). Let c = n + w. Does 7 divide c?
True
Suppose 1627 = -33*z + 8887. Does 19 divide z?
False
Let t(i) = -i + 7. Let v(j) = -2*j + 12. Let q be v(5). Let p be -13 + q + 1 + 2. Is 6 a factor of t(p)?
False
Let z = -5559 - -8127. Is z a multiple of 75?
False
Let h be 142/8 - (-5)/20. Let y = h + -24. Is (-3)/y*8 - -5 a multiple of 3?
True
Let p = 226 - -169. Suppose -6*a + 3*a + p = -2*u, 3*a + 2*u = 403. Is 25 a factor of a?
False
Let b(v) = v**3 - 10*v**2 - 9*v - 14. Let y be b(11). Suppose 5*u + 535 = 5*o, -2*o = -4*u + y*u - 184. Is o a multiple of 24?
False
Let j = -62 - -70. Is 9 a factor of (2 + j/(-2))*-18?
True
Let o(h) = -7*h + 173. Does 9 divide o(-30)?
False
Let k = 854 + -504. Is 10 a factor of k?
True
Suppose 5*t - 3314 - 5786 = 0. Is 41 a factor of t?
False
Let n(o) = -3*o + 6. Let k be n(-18). Let t = -55 + k. Does 3 divide t?
False
Is -3 - 13/(-4) - 53349/(-12) a multiple of 78?
True
Suppose -21*y - 986 = -4*y. Let n = 158 - y. Is 17 a factor of n?
False
Suppose 4*w + 38*s - 4360 = 41*s, -5450 = -5*w - 2*s. Does 10 divide w?
True
Let m(o) = -14*o**3 - o - 2. Suppose 3*f = -f - 4. Is m(f) even?
False
Let k(m) = m**2 + 2*m - 5. Let s be k(-4). Is 14 a factor of (2*(-210)/(-9))/(1/s)?
True
Let n be 0/1 + 20/4. Suppose 10*d + 2*z - 64 = 5*d, -n*z = -4*d + 38. Suppose d = 6*h - 2*h. Is h a multiple of 3?
True
Let w = -66 - -52. Is (-7)/w + 115/2 a multiple of 11?
False
Is 15 a factor of ((-6)/3 - -181)/((-4)/(-12))?
False
Let l(m) = -4*m**2 + 4*m + 7. Let c be l(7). Let g = c - -269. Is 6 a factor of g?
True
Let p(q) = 16*q - 3. Let f be p(2). Suppose 3*x - 4*g = -14 + 43, -f = -5*x - 3*g. Suppose -2*a = -l + 2*a - x, 5*a = 4*l - 27. Does 7 divide l?
False
Suppose 0 = -2*n - n. Suppose 2*p + 3*p - 25 = n. Suppose -p*g - 16 = -6*g. Is 7 a factor of g?
False
Let n(y) = -17*y**3 + 3*y**2 + y + 4. Let p be n(4). Is 13 a factor of p/(-14) + 4/14?
False
Suppose 0*y + 2*y - 6 = 0. Let s be -1 - (-4 + 5) - -2. Suppose -u + y*x = -0*x - 13, u - x - 21 = s. Is u a multiple of 11?
False
Suppose 2979 = -59*y + 17611. Does 2 divide y?
True
Let z(p) = -p**3 + 11*p**2 + 70*p + 18. Does 20 divide z(13)?
False
Let u(s) be the first derivative of -11/2*s**2 - 1 - 9*s - 1/3*s**3. Does 19 divide u(-7)?
True
Suppose 0*m - m - 179 = 0. Let i = -119 - m. Does 12 divide i?
True
Suppose -2*x + 2 = 2*f, 4*x - 5*f - 7 = 3*x. Suppose 146 = x*z - 216. Does 31 divide z?
False
Suppose -7*a - 94 + 1291 = 0. Does 96 divide a?
False
Let x(y) = 2*y**3 + 43*y**2 - 40*y + 12. Does 111 divide x(-21)?
False
Let g be (-2522)/9 - 32/(-144). Let p = -176 - g. Suppose 0 = -3*o + o + p. Is o a multiple of 19?
False
Let f(x) = 3*x**2 - 3*x - 2*x**2 - 7 + x. Let s be f(5). Suppose -s*v + 3*v = -75. Is v a multiple of 5?
True
Let c(y) = 6*y**2 + 5. Let p be 26/6 - (-16)/(-12). Let t be c(p). Suppose 0 = 3*m - t + 11. Is m a multiple of 7?
False
Let c be 4/((-6)/66*-1). Suppose 48*p - 532 = c*p. Is p a multiple of 15?
False
Suppose 0 = -z + 5*g + 392, -50*z + 46*z + 1502 = 2*g. Does 11 divide z?
False
Suppose 2*w = -x - 21, -3*x - x + 33 = -w. Is 9 a factor of (w/4)/((-5)/40)?
False
Is (-7)/(-42) - 6262/(-12) a multiple of 18?
True
Suppose -78*p = -9515 - 370813. Does 46 divide p?
True
Let n be 6/1*4/6. Suppose -7 = 3*k - 19, 2*l - k + 4 = 0. Suppose l = n*a - 101 - 103. Does 16 divide a?
False
Let w(z) = z**3 - 7*z**2 - 20*z + 22. Let k be w(9). Let b(f) = -20*f - 14. Let j(d) = 19*d + 13. Let r(g) = 3*b(g) + 4*j(g). Is r(k) a multiple of 37?
True
Suppose 2*r + 2*d - 1583 = 577, 5*r = -4*d + 5395. Does 5 divide r?
True
Let n be (5/10)/(2/12). Suppose n*t + 0 = 102. Is t a multiple of 21?
False
Let a(k) = -30*k + 16. Let s(t) = t**2 + 7*t - 5. Let x be s(-7). Is 14 a factor of a(x)?
False
Suppose -5*n + 5060 = 4*v, 0 = v - 6 + 1. Does 7 divide n?
True
Let h = -1220 + 1240. Is h a multiple of 20?
True
Suppose -v = -59*t + 64*t - 102, 3*t - 104 = -v. Does 107 divide v?
True
Let q = -13 + 16. Let n(h) = 2*h**3 + 3*h**2 + 2*h - 1. Let k be n(q). Let o = 163 - k. Does 21 divide o?
False
Let g = -749 + 1214. Is g a multiple of 42?
False
Suppose 55 = 5*y - 0*y. Let u = 27 - y. Let a = -9 + u. Is a a multiple of 3?
False
Let i(d) = 6*d**2 + d - 1. Let t be i(2). Suppose 0*w - t = -w. Let m = 55 - w. Is m a multiple of 10?
True
Suppose -h = -5 - 4. Suppose -2*a - 12 = -0*a + 3*z, a + 3*z + h = 0. Does 4 divide (-1 - 0)*(a + -2)?
False
Suppose 2013 = 8*b - 883. Is b a multiple of 7?
False
Let k(h) = 61*h**2 + 6*h - 12. Let g be k(-6). Suppose 4*r + v = 1708, -10*r = -5*r - 2*v - g. Does 13 divide r?
False
Let t = -1 + 6. Suppose 4*j - 7 - 137 = 4*y, y + 160 = t*j. Does 31 divide j?
True
Let s = 1249 - 1058. Is s a multiple of 7?
False
Let n(v) = v + 0*v**3 - v**3 + 8*v**2 + 0 + 2*v**3 + 8. Let f be n(-8). Suppose f = 6*t + 10 - 46. Is t a multiple of 3?
True
Suppose 0 = 5*a - q - 10787 - 372, 0 = -2*a - 5*q + 4469. Is 93 a factor of a?
True
Suppose -2*p = 3*r + 28, 0 = -3*r + p + 2*p - 18. Let l be 20/(((-28)/r)/7). Suppose -a = 3*a - l. Is 5 a factor of a?
True
Let g be 4/6 - 352/(-12). Let w = g - 25. Suppose 8*t = 2*m + 3*t - 77, m = w*t + 41. Is m a multiple of 12?
True
Let p = 17 - 9. Let n = p - -63. Is n a multiple of 9?
False
Let i be (1 + 0)*8/4. Let q be 0 - (i - (1 + -27)). Is 5 a factor of (24/q)/((-1)/14)?
False
Let n(b) = -77*b - 8. Let v be n(-2). Suppose 0 = 4*h + 2 + 10, -393 = 4*a + 3*h. Let p = a + v. Is p a multiple of 14?
False
Let h(k) = -18*k**3 + 40*k**3 + 8 - 21*k**3 + 4*k - 15*k**2. Is 34 a factor of h(15)?
True
Suppose 3*o = -4*n - 2*o + 518, -4*o = 8. Does 33 divide n?
True
Let n be (-280)/(-3) + (-64)/48. Let p = n - 61. Does 31 divide p?
True
Is 1*(-4)/(-16)*2188 a multiple of 13?
False
Suppose 0 = 24*d - 21*d - 9, -4*v = -d - 3245. Does 28 divide v?
True
Suppose 0 = -20*z - 10*z + 29220. Does 23 divide z?
False
Let r = 24 + -28. Does 5 divide (-50)/r*(18 - 16)?
True
Let s = -316 + 568. Is s a multiple of 21?
True
Let y(x) = x**3 - 2*x - 1. Let m be y(-1). Let a(o) = o**3 + 2*o**2 + 39. Does 24 divide a(m)?
False
Let f = 331 - 174. Is f a multiple of 38?
False
Let w(d) = d**2 - d - 6. Let f be w(0). Let x = f + 10. Suppose 0 = x*n + 16, -2*n = -j - 0*j + 14. Is 4 a factor of j?
False
Let t(n) = -35*n + 27. Suppose -2*q + 4*q = -6. Does 33 divide t(q)?
True
Suppose -22*j - 39795 = -j. Does 7 divide j/(-25) + (8/5)/(-2)?
False
Suppose -511 = 12*r - 19*r. Is (-5)/(-10)*(1 + r) a multiple of 37?
True
Is 4 a factor of (1 - -319)*(-7)/(-42)*6?
True
Let r(u) be the first derivative of u**3/3 + 3*u**2/2 + 28*u + 3. Let c be r(0). Suppose -2*v + 0 = -c. Is v a multiple of 14?
True
Suppose 4*p = -r + 3*p + 11, 0 = -3*r + 2*p + 8. Suppose -5*m - 4*t + 7 = -r*t, -2*t = 5*m - 23. Suppos