f (t + 0/3)*9?
False
Let v(n) = 5*n. Let x be v(1). Let k be (1 + x)*(-4)/(-6). Suppose 2*j - 80 = -k*l + 110, 5*l - 3*j = 254. Is l a multiple of 17?
False
Let s be 25*1 - (3 + -2). Suppose -4*h = -3*h - s. Is h a multiple of 12?
True
Suppose o + 330 = 4*q + 50, -2*o = 0. Does 14 divide q?
True
Let r(h) = 3*h**2 - 4*h - 1. Is r(5) a multiple of 5?
False
Let k(i) be the first derivative of i**4/6 - 3*i**3/2 + 3*i**2/2 + 1. Let h(l) be the second derivative of k(l). Does 9 divide h(6)?
False
Let h(d) be the first derivative of -d**4/4 - 7*d**3/3 + 7*d**2/2 - 4*d + 2. Let q be h(-8). Suppose -36 = -q*u + 20. Is 8 a factor of u?
False
Suppose 2*f + q - 6 = -0, 8 = 4*q. Suppose t + 0*t = 6. Suppose -x + 75 = f*g, -x - 205 = g - t*g. Is g a multiple of 15?
False
Let r(y) = -y**2 + y - 1. Let v(n) = n**3 - 5*n**2 - 9*n + 7. Let f(o) = -r(o) + v(o). Let t be f(6). Suppose 3*w = w + t. Is w a multiple of 5?
True
Suppose -b - 2*b - 3 = 0. Let d(x) = 0 - x - 1 + 5*x**2 + 8*x**2. Is 9 a factor of d(b)?
False
Is 15 a factor of 2*(0 + 1)*(-18113)/(-118)?
False
Let x = 57 - 90. Suppose 3*r - 4*c = -41, -2*r + 0*c = -2*c + 24. Does 3 divide x/r - (-4)/14?
False
Let p(z) = z**2 - 8*z + 3. Let d be p(6). Let t be (-30)/d*12/(-10). Is (3/t)/(7/(-364)) a multiple of 10?
False
Suppose 0 = 3*v - w + 3*w + 2, 0 = 2*v - 5*w - 24. Suppose 16 = -4*b, -56 = -5*d + 2*b + v*b. Is 8 a factor of d?
True
Suppose -l + 2*l - 84 = -2*j, -l + 44 = j. Is 8 a factor of j?
True
Is ((-320)/25)/(2/(-10)) a multiple of 16?
True
Let t(r) = 13*r**2 + r + 27*r**2 - 5*r**2. Let p be (1/(-2))/((-2)/4). Does 12 divide t(p)?
True
Let t = -54 - -91. Does 8 divide t?
False
Let z = 61 - 119. Let q = z - -96. Does 19 divide q?
True
Suppose 5*s - 98 = -4*p, 2*p = -3*s + 6*p + 46. Is 9 a factor of (s/(-8))/(3/(-12))?
True
Suppose -3*a + z = 5*z - 98, -a - 4*z = -30. Is a a multiple of 15?
False
Let q(p) = -3*p - 15. Is q(-13) a multiple of 8?
True
Suppose -d = -3*q + 549, -3*d + 0*d = 9. Does 7 divide q?
True
Suppose 39 = 2*r - 3*f, 4*f - 35 = -3*r - 2. Let j(p) = p + 13. Does 22 divide j(r)?
False
Suppose 2*q = -0*q. Let u be (-42)/(-3) - (q + 2). Suppose 0 = -k + 5*x + u, 5*k = 4*k - 3*x + 52. Is 22 a factor of k?
False
Let d = 157 + -94. Let g = d + -23. Does 20 divide g?
True
Let w = 16 + -3. Suppose -3*r = r - 24. Let i = w - r. Is i a multiple of 2?
False
Let j(z) = -z**3 + 6*z**2 - 2*z - 2. Let p be j(2). Let g(h) = 13*h**2 + 5*h - 4. Let a be g(-4). Is 9 a factor of a/p - (-6)/(-15)?
True
Let y = -83 - -125. Is y a multiple of 14?
True
Let a(r) = 2*r**2 + 9*r + 1. Is 9 a factor of a(-6)?
False
Suppose -5*q = -20, 5*a = 4*a - 4*q + 1. Is 4 a factor of 10/a - 32/(-3)?
False
Suppose 0 = -2*n + 6*n - 2*r - 354, 171 = 2*n + 5*r. Is 22 a factor of n?
True
Let y be (-52)/(-6)*48/(-32). Let w = y - -20. Is 7 a factor of w?
True
Suppose 2*h + 13 - 3 = 0. Let r = 23 + h. Is r a multiple of 6?
True
Let m be 0 + -1 + -48 + 1. Let k = -26 - m. Does 8 divide k?
False
Let i(l) = l - 5. Let m be i(6). Let f be m*1/(-2)*-10. Suppose 3*j - f*j + 24 = 0. Is 7 a factor of j?
False
Let v = 5 - -51. Does 14 divide v?
True
Suppose 6*h - h = 50. Suppose -6*m = -5*s - m + 35, -2*s - 4*m - h = 0. Is 2 a factor of s?
False
Suppose 20 = -0*u + 5*u. Suppose 2*k - 5*k - 5*n + 314 = 0, 0 = 3*k + u*n - 319. Is k a multiple of 23?
False
Let z(y) = -3*y**3 + 5*y**2 + y - 1. Let f(o) = 4*o**3 - 4*o**2 - o + 1. Let q(s) = -3*f(s) - 2*z(s). Does 13 divide q(-2)?
False
Let a be -36*(4 + 20/12). Is 15 a factor of (8/3)/((-8)/a)?
False
Let c(d) = -d**3 - 3*d**2 - 2*d + 2. Let a be -1*2*(-4)/(-4). Let r be c(a). Suppose -i - 12 = -4*x, -5*x = -r*i - 8 - 7. Is 2 a factor of x?
False
Suppose -4*w - 28 = -2*w. Is (-4)/(18/w + 1) a multiple of 7?
True
Suppose -2*h = 2 - 6. Is 5 a factor of 3 + 2/h*2?
True
Let l(a) = a**3 - 8*a**2 + 8*a + 1. Let r be l(7). Let k(b) = b + 1. Does 6 divide k(r)?
False
Suppose -3*o = 5*b - 321, 2*b = 4*b - 2*o - 138. Suppose -2*t = -4*t + b. Is 12 a factor of t?
False
Let u(d) be the second derivative of -43*d**3/6 + d**2/2 + d. Let c be u(-1). Suppose -z - 3*z = -c. Does 11 divide z?
True
Is (-4 + 604/(-8))*-2 a multiple of 5?
False
Let t(n) = -15*n + 12. Let b(c) = 7*c - 6. Let x(m) = 5*b(m) + 2*t(m). Does 6 divide x(4)?
False
Let k(l) = 4*l**3 + 6*l**2 + l + 2. Suppose 2*j + 6 = -0*j. Let s(a) = a**3 - a. Let q(f) = j*s(f) + k(f). Is q(-4) a multiple of 10?
False
Let y(m) = m**2 - 6*m + 3. Let t be y(2). Let g = t - -7. Does 2 divide g - (-5 - (0 + 0))?
False
Suppose 21 + 4 = 5*y. Suppose a - y*q = 38, -a - q + 1 + 13 = 0. Is 11 a factor of a?
False
Let y be ((-1)/3)/(2/(-6)). Let h be 0 - 0 - 0 - y. Is 2 a factor of 1 - 1/h - -1?
False
Let t be 1*(1 + 17 - -2). Suppose 2*p - 66 = -4*s, 2*s + t = 3*s - 3*p. Does 8 divide s?
False
Suppose -3*o - 5*l + 346 = 0, l + 2*l - 118 = -o. Suppose -n + o = 3*n - 2*a, -5*a = -10. Does 11 divide n?
False
Let d(w) be the first derivative of 7*w**3/3 + w**2/2 - 4*w - 2. Is 14 a factor of d(-3)?
True
Suppose -21 + 1 = 4*q. Let x(k) be the third derivative of k**6/120 + k**5/10 + k**4/6 + 7*k**3/6 + 11*k**2. Is x(q) a multiple of 6?
True
Does 10 divide ((-16)/(-10))/((-4)/(-20)) - -2?
True
Let o = 22 - 16. Suppose -o*l + 28 = -2*l. Is l a multiple of 4?
False
Let k = 51 + 5. Is 8 a factor of k?
True
Suppose 0 = w - 0 - 11. Is 11 a factor of w?
True
Suppose -72 = w - 5*w. Is ((-3)/(-6))/(1/w) a multiple of 9?
True
Suppose -4*r = -21 + 237. Let f = r + 80. Does 13 divide f?
True
Is 5 a factor of (-2)/8 + 596/16?
False
Let l = 62 - 12. Does 10 divide l?
True
Let g = 5 - 5. Suppose m - 6*m = g. Does 14 divide (-9 + 2)*(m - 2)?
True
Let a = 1 - -9. Does 2 divide a?
True
Let i(u) = u**3 - 3*u**2 - 5*u + 6. Let x be 6/(-5)*(-15)/6. Suppose -7*n + 3*n - 2*y + 18 = 0, -x*y = -3. Does 2 divide i(n)?
True
Let d(k) = -4*k. Let n be d(-4). Let o = 25 - n. Is 3 a factor of o?
True
Let p(l) = -l - 1. Is 2 a factor of p(-5)?
True
Let y(g) = g**2 - g - 2. Suppose -4*f + 4 = -16. Is y(f) a multiple of 14?
False
Suppose -5*h - r = 228, h - 4*r = -3*r - 42. Suppose 0 = -4*i + 2*n - 378, -4*i - 5*n = -2*i + 183. Let a = h - i. Is 24 a factor of a?
False
Suppose -5*d + 396 = -829. Does 11 divide d?
False
Let k be (-3)/(-2)*(-76)/(-3). Let n = 39 - 57. Let j = n + k. Does 7 divide j?
False
Does 8 divide 1328/17 + 50/(-425)?
False
Is 7 a factor of (-8)/(-16) + 26/4?
True
Let s(t) = -t**2 - 12*t - 1. Suppose -4*m - 12 = 28. Does 16 divide s(m)?
False
Suppose -2*j = -0*j - 76. Is 17 a factor of j?
False
Let f = 148 + -105. Is 18 a factor of f?
False
Let r be (27/(-12))/((-9)/24). Suppose -69 - r = -5*d. Let y = 35 - d. Is y a multiple of 11?
False
Suppose -1 = x - 7. Suppose 2*g - x - 24 = 0. Suppose 39 = 4*v + g. Is v even?
True
Suppose -2*l - 16 = -4*d - 0*l, 2*d - 16 = 5*l. Suppose d*n = 47 + 70. Is n a multiple of 22?
False
Let g(y) = -y**3 - 8*y**2 - 6*y - 14. Let o be g(-7). Is (-4)/((-1)/(o/(-2))) a multiple of 21?
True
Let c = 126 - -4. Is c a multiple of 20?
False
Let h = -40 - -78. Is h a multiple of 10?
False
Suppose 4 = 3*c - w, c + 4 = 5*c - 2*w. Suppose -b = 2*y - y - 32, -3*b + 69 = c*y. Is (0 - -2) + 2 + y a multiple of 14?
False
Let p(w) = -w**3 - w**2 + 2*w - 1. Let f be p(-2). Is 7*f/(-4)*4 a multiple of 3?
False
Is (148/(-8)*4)/(-2) a multiple of 7?
False
Suppose 3*h = 8*h - 35. Let r = h - -14. Is r a multiple of 21?
True
Suppose 0*v - 16 = v. Let s = -9 - v. Does 7 divide s?
True
Let p(k) be the second derivative of k**5/20 - 2*k**4/3 + 4*k**3/3 + k**2/2 - k. Let j be p(7). Let w(f) = f**2 - 6*f + 3. Is 15 a factor of w(j)?
False
Let q be 6*(-2)/(6/(-17)). Let m be 5/(-20) + q/8. Suppose 0 = -m*j + 2*s + 132, s - 139 + 45 = -3*j. Is 16 a factor of j?
True
Does 4 divide 23 - (6 + 0)/(21/14)?
False
Let a(q) = q - 10. Let h be a(10). Suppose -3*w + 13 + 8 = h. Suppose 2*l + 2*x = -x + w, 36 = l - 5*x. Is l a multiple of 7?
False
Let t(q) = 3*q**2 - 16*q - 9. Is 50 a factor of t(-7)?
True
Is (-880)/(-14) + (-6)/(-42) a multiple of 34?
False
Suppose -g - 5*n - 6 = 0, -2*g + 0*g = -2*n - 12. Let v = g - 4. Is -2 + (v - -3*8) a multiple of 11?
True
Suppose 2*t + 24 = 6*t. Let m be 92/16 - t/8. Let x(o) = -o**3 + 5*o**2 + 3*o - 1. Is x(m) a multiple of 14?
True
Let i(n) = n