e of 9?
True
Is (3 - 736/(-12))/(8/24) a multiple of 2?
False
Let j be 17/4 + (-7)/28. Let l(z) = z**2 - 6*z + 6. Let h be l(j). Does 10 divide 2*(h - (-70)/4)?
False
Let d(o) = 6*o + 24. Let p be d(-12). Let i = -24 - p. Does 4 divide i?
True
Let i be 963 - -27 - (-3 + 1)*2. Let a = i + -704. Does 21 divide a?
False
Is 440 + -5*8/(-60)*-3 a multiple of 73?
True
Suppose 48 = -6*z + 4*z. Let f = 49 + z. Is 7 a factor of 352/10 + (-5)/f?
True
Let d be ((-14)/(-21))/((-2)/(-42)). Is (-26)/d + 2 - 587/(-7) a multiple of 28?
True
Let w be 11/(4 + -3) - -1. Suppose 15 = 3*q - w. Let h(y) = -y + 15. Does 3 divide h(q)?
True
Let o(b) = -26*b**3 + 2*b**2 - 7*b - 16. Does 29 divide o(-3)?
True
Suppose 5*c = 499 + 2251. Does 48 divide c?
False
Is ((-31)/((-310)/72))/((-2)/(-140)) a multiple of 86?
False
Let c(z) = -6 - 3*z - 5*z + z**2 + 2*z + 2*z**2. Let h be c(-8). Suppose 3*b + h - 591 = 0. Does 15 divide b?
False
Let u(n) = -n + 237. Does 45 divide u(12)?
True
Suppose u = m + 138, 2*u + m + 418 = 5*u. Does 3 divide u?
False
Let z(b) = -2*b**2 + 2*b + 231. Does 21 divide z(0)?
True
Suppose 0 = -4*s + 2*w, 5*s - 2*w - 18 = -4*w. Suppose -s + 8 = 3*j. Is 18 a factor of ((-32)/(-10) - j)*45?
True
Let z = 19 + -40. Let d = 10 + -15. Let k = d - z. Is k a multiple of 16?
True
Let q(g) = 294*g + 40. Is 41 a factor of q(6)?
True
Suppose 0 = 4*p - w + 23, 4 - 11 = 2*p + w. Is 98*((-5)/p + 0) a multiple of 26?
False
Suppose 5 = -5*h - 15. Is 3 a factor of (12/h - -6) + 14?
False
Let v(s) = 109*s**2 - 22*s + 52. Is 31 a factor of v(3)?
False
Let h(w) = -12*w**3 - w**2 + 1. Let s be h(-1). Suppose -5*n + s = -8. Suppose 0 = n*q - 3*q - m - 12, m - 48 = -5*q. Is q a multiple of 10?
True
Let d(n) = 3*n**2 - 10*n + 3. Let j = 9 - 0. Let b = j + -2. Is d(b) a multiple of 28?
False
Suppose -9*f + 5*f = 5*s - 937, -3*s + 1168 = 5*f. Does 6 divide f?
False
Let p(y) be the first derivative of -9/2*y**2 + 4*y - 1/3*y**3 - 1. Does 8 divide p(-5)?
True
Let y(j) = 4*j**2 - 14*j - 17. Let a(p) = -p**2 + 1. Let o(v) = 5*a(v) + y(v). Let r be o(-12). Suppose m = -2 + r. Does 3 divide m?
False
Let n = -112 + 107. Let v(z) = -2*z**3 - 2*z**2 + 10*z + 18. Is 10 a factor of v(n)?
False
Is ((-9)/18)/(2/16) + 1257 a multiple of 16?
False
Let g(m) = 4*m**2 - 5*m - 1. Let s be g(-5). Suppose 6*x - 32 = -452. Let p = x + s. Is 27 a factor of p?
True
Let o(p) = -p**2 - 8*p - 4. Let n = -17 - -13. Does 3 divide o(n)?
True
Is 7 a factor of (-1)/(-16)*-2 - (-10458)/336?
False
Let m = 128 + -190. Let h = m - -129. Is h a multiple of 10?
False
Suppose 0 = 18*t - 25*t + 588. Does 14 divide t?
True
Let i(z) = -z - 1. Is 6 a factor of i(-19)?
True
Let l(o) be the third derivative of -o**5/60 + 3*o**4/8 + 2*o**3 - o**2. Let g be ((-6)/(9/3))/((-4)/18). Is l(g) a multiple of 4?
True
Suppose -5*j + 14 = -3*j. Let d be 2/7 + 12/j. Let t = d - -6. Does 8 divide t?
True
Is 11 a factor of 32/(-12 - -8) - -2758?
True
Let z be (-16)/(-56) - (-279)/(-21). Let w = 25 + z. Is w a multiple of 5?
False
Let t = 203 - 131. Suppose -4*r + 4*p + t = 0, 3*p - 2*p = 3*r - 52. Is r even?
False
Suppose -234*m = -238*m + 480. Suppose 0 = 21*j - 23*j + m. Is 12 a factor of j?
True
Suppose -2*m = 2*m - 616. Suppose 4*j - m = -2*a, -1 + 150 = 2*a + 3*j. Is 12 a factor of a?
False
Let o(a) = 217*a**2 + 12*a + 11. Is 23 a factor of o(-2)?
False
Suppose 10*x = 17 + 23. Let s(o) = 2*o**2 - 2*o - 13. Is 3 a factor of s(x)?
False
Suppose y - 2*y + 4*i = 14, 4*y + 39 = -i. Suppose n + 0*n + 6 = r, n - 3*r + 2 = 0. Is (17 - 7)*n/y a multiple of 5?
False
Suppose -40*q + 37*q + 630 = 0. Is 14 a factor of q?
True
Let l be 14/2 - (-18)/6. Let p = l + -6. Suppose 0 = -p*c + 3*v + 55, -3*c = -c + 4*v. Is 4 a factor of c?
False
Let v = -7 + 12. Suppose z + 42 = 5*b - 25, 0 = -v*b - 5*z + 55. Suppose 0 = y - b. Is y a multiple of 13?
True
Let l be 146 - 12/(-10 + 4). Let b = 273 - l. Is 25 a factor of b?
True
Let t(h) = -31*h**3 + h**2. Suppose 0 = 4*y - 2 + 6. Let a be t(y). Suppose 22 = 3*w - a. Is 5 a factor of w?
False
Let d(t) = t**2 + 7*t + 18. Let p be 15*-3*10/75. Is d(p) a multiple of 12?
True
Suppose 0 = -2*i - 3*p - 2*p - 51, 5*p = -15. Suppose -16 = -n - n - 2*b, -4*n = -4*b. Is 198/n + (-9)/i a multiple of 12?
False
Let a be 5/(3 + 19/(-6)). Let s be (a/(-8))/((-6)/(-16)). Is (s/3)/5*99 a multiple of 22?
True
Let j be 2*(-3 + 20/8). Let y(z) = 297*z**2 + z + 1. Let t be y(j). Suppose 4*p - t = -5. Is p a multiple of 14?
False
Let v = 1638 - 1080. Is v a multiple of 31?
True
Let c(i) = i**3 - 8*i**2 + 4*i + 6. Let a be c(5). Let v = 61 + 40. Let l = a + v. Is 26 a factor of l?
True
Let o = 21 - 16. Let x = 52 + o. Is x a multiple of 13?
False
Let p(u) = 3*u**3 + u**2 - 2*u + 2. Let n be (4/(-2) + 1)*(-1 - 1). Is 13 a factor of p(n)?
True
Let j = -52 - -7. Let o = 193 + j. Does 49 divide o?
False
Let z be -1 + 2 + (9 - 6). Suppose -2*p - z*i - 54 = -i, -3*p - i - 95 = 0. Let q = p + 75. Is 14 a factor of q?
True
Is 44 a factor of (-30)/(-20)*10820/15?
False
Suppose 2*j - 22 = 2*y, 3*j - 1 = -4*y + 18. Suppose 7*d = 4*d - j. Does 12 divide 92/12*(-18)/d?
False
Let r(t) = -t**2 + 9*t - 3. Let d(m) = -m**3 + 9*m**2 + 3. Let k be d(9). Suppose -k*q = -4*f + 10 + 3, -q = 3*f - 26. Is 2 a factor of r(f)?
False
Suppose 4*i = 5*i + b - 131, -2*i + b + 277 = 0. Is i a multiple of 13?
False
Suppose -39374 = -32*u - 11086. Is u a multiple of 18?
False
Let g = 152 - -236. Does 6 divide g?
False
Suppose f - 9 = -2*u, 0 = u - 0*f + f - 3. Let w be (39/u)/((-3)/(-6)). Let j(v) = v**3 - 14*v**2 + 16*v - 15. Does 8 divide j(w)?
True
Let t(s) be the third derivative of s**4/8 + 4*s**3/3 - 13*s**2. Does 10 divide t(4)?
True
Suppose 11*n - 13869 = -2836. Is 71 a factor of n?
False
Let i = -65 + 90. Suppose i*x - 14*x = 979. Is x a multiple of 30?
False
Suppose -2*t - 14 = -22. Suppose 0 = -4*z, t*o = -z + 118 - 34. Is o a multiple of 13?
False
Does 24 divide 3*2534/(-6)*-1?
False
Let h = -461 + 668. Does 49 divide h?
False
Suppose 38 = s + 37. Does 2 divide 1/s + (-17 - -22)?
True
Let w(l) = 16 + 3*l - 2 + 5*l + 2*l. Is 15 a factor of w(6)?
False
Suppose -4*z - l + 332 = 0, z + 404 = 6*z + 4*l. Does 6 divide z?
True
Let s be -1 - -3 - 3 - (7 + 0). Is 4 a factor of 1 + 1 + 6 + s - -39?
False
Let u(x) = -2*x**3 + 13*x**2 - 35*x - 31. Let f(m) = 0*m**3 - 4*m + 21*m + m**3 - 7*m**2 + 15. Let b(q) = 9*f(q) + 4*u(q). Is 6 a factor of b(10)?
False
Let u(q) = 4*q**2 + 77*q + 477. Is u(-47) a multiple of 13?
True
Let g(d) = 151*d**2 + 53. Is 29 a factor of g(-5)?
True
Suppose -338 = -5*q - s + 288, -q - 4*s + 110 = 0. Is q a multiple of 7?
True
Let l(f) = -f**3 - 11*f**2 - 15*f - 14. Let k be l(-10). Let t = -18 + k. Suppose 6*q = 3*q + t. Is q even?
True
Let b(z) = -13 + 23 - 2*z + 5*z + z**2 - 4. Is b(-8) a multiple of 6?
False
Let y = 25 + -21. Is 2466/15 + y/(-10) a multiple of 25?
False
Suppose 4*w = -5 + 13. Suppose 2 = w*m + 12. Is m*7/(35/(-6)) even?
True
Let o be (5 - 7)/(4/(-6)). Let c be 3/9*(o + 0). Does 18 divide (-4)/c + 4 + 54?
True
Let g(h) be the second derivative of h**6/240 - h**5/12 - h**4/4 - 2*h. Let u(y) be the third derivative of g(y). Is u(11) a multiple of 17?
False
Let u = 472 + -264. Is 16 a factor of u?
True
Let g(b) = -b**3 + 18*b**2 - 10*b - 12. Is g(10) a multiple of 43?
True
Let y(n) = 0*n**2 - 5 - n + n**2 - 2*n. Suppose 2*v = 8, 2*v - 4*v + 12 = -b. Is 23 a factor of y(b)?
True
Let z(l) = 3*l**2 + l - 1. Let j(y) = -5*y**2 - y + 2. Let p(o) = -5*j(o) - 8*z(o). Is p(-2) a multiple of 7?
False
Let b(a) = -a**2 + 6*a + 6. Let i be b(6). Suppose -2*v + 11 = 3*g, -g - v - 14 = -i*g. Suppose g*k = -2*k + 90. Is 6 a factor of k?
True
Suppose -4*c + 448 = -4*p + 2*p, -5*p = -4*c + 448. Does 16 divide c?
True
Suppose 0*a = -w + 3*a - 28, -5*w = -4*a + 85. Let v = -11 - w. Suppose -y + 117 = v*y. Is y a multiple of 13?
True
Suppose -c = 36 - 9. Let k = -9 - c. Suppose 0 = -2*t + 4 + k. Is t a multiple of 10?
False
Let u be ((-1)/4)/(7/28). Is ((-2 - 286) + 2)/u a multiple of 13?
True
Suppose -21*m = -26*m - n + 5658, 2*n - 5661 = -5*m. Does 87 divide m?
True
Suppose 15 = 5*b, -4*h + 75*b - 79*b + 628 = 0. Does 10 divide h?
False
Let z be -4*(3 - 111/2)/6. Suppose -187 = -4*y - k, 3*y + k - 106 = z. Does 4 divide y?
False
Le