f 21?
False
Let q be 1 - (3 - -24) - -4. Let c = q - -38. Is c a multiple of 11?
False
Let x(u) = 2*u**3 - u**2 + 9*u - 23. Does 10 divide x(4)?
False
Let h be (-1 - -3)/(4/102). Let i = -33 + h. Does 6 divide i?
True
Let k = -5 + 50. Is 17 a factor of k?
False
Let z = -1 + 3. Let j = 246 - 174. Suppose -6*s + j = -z*s. Does 9 divide s?
True
Let c = 29 - 20. Let r = -10 - -7. Let l = r + c. Is l a multiple of 6?
True
Suppose 8*q = 12*q - 240. Is 20 a factor of q?
True
Let p = 49 + 19. Is p a multiple of 6?
False
Let h be (-2)/((-1)/(-3)*-2). Does 7 divide (-8)/h*18/(-4)?
False
Let f(y) be the second derivative of y**4/12 + y**3/2 - 2*y**2 - 6*y. Does 8 divide f(4)?
True
Let d(g) be the second derivative of -g**5/20 - 5*g**4/12 - g**3/2 + 2*g**2 - g. Let k be d(-3). Let q = 12 + k. Is 7 a factor of q?
True
Let l be 665/13 - 4/26. Suppose -l = -2*x + 69. Does 12 divide x?
True
Let d(z) = -7*z**3 - 3*z**2 + 2*z - 4. Let h be d(-3). Let v = h - 104. Is v a multiple of 24?
True
Let c(h) = -15*h + 11. Let o(j) = -3*j + 2. Let v(y) = -2*c(y) + 11*o(y). Let m be v(4). Let q = m + 29. Is q a multiple of 6?
False
Suppose -10*x + 5*x + 130 = 0. Does 15 divide x?
False
Suppose g = -0*g + 3. Suppose 3*d + g*v = -2 + 26, 3*v = d. Is 225/d + (-3)/(-6) a multiple of 19?
True
Let g be 1 + 0 + (-4)/(-4). Let q(o) = -32*o**3 + 0 - 2*o**2 + g*o**2 - 1 + 2*o**2. Is 17 a factor of q(-1)?
False
Is 21 a factor of (771/(-12))/(2 + 45/(-20))?
False
Let f(x) = -x + 11. Let g be f(9). Suppose 4*n - 48 = -3*w - w, -w + g = 0. Does 10 divide n?
True
Suppose 22 = -5*g + 197. Is g a multiple of 12?
False
Suppose -3*k = k - 144. Is k a multiple of 12?
True
Let c be 4 + 1/(1/(-1)). Suppose 0 = -c*k + 62 + 31. Does 9 divide k?
False
Suppose -6*d = -4*x - d + 236, -5*d = -2*x + 128. Is x a multiple of 27?
True
Suppose -7*k = -0*k - 546. Is 8 a factor of k?
False
Suppose 0 = 4*o - 8*o + 100. Does 8 divide o?
False
Let f(n) = -n**2 + 3*n + 4. Let d be f(3). Suppose -d*x = 4*g - 264, 2*g - 5*x = 4*g - 135. Does 10 divide g?
False
Let m = 215 - 101. Suppose t = 4*t - m. Is t a multiple of 13?
False
Let c(g) = g + 4. Suppose p = -2*p + 6. Let s = -2 + p. Does 2 divide c(s)?
True
Let l(p) = -p**3 - 2*p**2 - 2*p - 1. Let v be l(-1). Suppose v*o + 4 = o, x - o + 2 = 0. Suppose -x*n + 42 = n. Is n a multiple of 10?
False
Suppose -5*b - 2*q + 21 + 2 = 0, -b - 5 = -2*q. Suppose -4*m + b = -y, 5*m - 15 = y + y. Is 15 a factor of 149/5 + (-3)/y?
True
Suppose 0 + 4 = 2*h. Suppose 4 = v + h. Suppose -5*k + 0 + 36 = v*m, 5*k - 23 = -m. Does 13 divide m?
True
Suppose 0 = o + 2*t - 59, 0 = o + t - 4*t - 69. Is o a multiple of 17?
False
Let y(r) be the second derivative of -r**4/12 - 4*r**3/3 + r**2 + 6*r. Does 9 divide y(-7)?
True
Suppose o + 3*o = -4*j + 32, -3*j + 24 = 4*o. Suppose k + 3*y - 8*y = -j, -3*k = -4*y - 31. Is 4 a factor of k?
False
Is (3/(-2))/((-3)/146) a multiple of 21?
False
Let l be 22 - (2 + -2 + 0). Let x be 12/(1 + -2) - 2. Let j = x + l. Does 8 divide j?
True
Let l be 5/3 - (-4)/(-6). Let y = 2 + l. Suppose 15 = -5*r, y*r = -3*g + 4*g - 26. Does 17 divide g?
True
Is 18 a factor of (243/(-6))/((-6)/8)?
True
Let w = 96 + -54. Is 12 a factor of w?
False
Suppose 3*s - 6 = 6. Suppose -5*x + 12 - 2 = 0. Let m = s + x. Does 6 divide m?
True
Let g be (-48)/18*(-15)/1. Let n = -19 + g. Does 12 divide n?
False
Is 48/30*(-65)/(-2) a multiple of 14?
False
Let b be 38 - ((-2)/(-2) + -1). Let d = b + -14. Is 9 a factor of d?
False
Is 12 a factor of 67 + 1 + (-3 - -3)?
False
Let c(h) be the first derivative of -h**4/4 + 10*h**3/3 - 3*h**2 - 3*h - 5. Does 15 divide c(9)?
False
Suppose -6*t - 40 = -7*t. Does 40 divide t?
True
Let b(j) = 5*j + 7. Let i be b(-5). Is 10 a factor of (-56)/(-6)*(-27)/i?
False
Suppose 2*i - 36 = 5*f - f, 0 = 3*f - 9. Does 12 divide i?
True
Suppose 5*i = -4*r + 35, 3*r - 2 = 13. Suppose 4*l + 7 - 19 = 0, s - 12 = -i*l. Does 2 divide s?
False
Let z be ((-4)/2)/(-4 - -3). Does 10 divide (16/(-20))/(z/(-75))?
True
Suppose 0 = -3*p + 7*p - 12. Suppose p*y + f + f = 67, 19 = y - f. Is 10 a factor of y?
False
Let j = 56 - 21. Does 7 divide j?
True
Let o be 22*2*1/2. Suppose -3*l - 5*m + 21 = 0, 4*l = -3*m + 4 + 13. Suppose 3*u = 5*u - 5*d - o, 18 = l*u - 3*d. Is u a multiple of 6?
True
Let g = -57 - -86. Is g a multiple of 5?
False
Is (62*5/(-10))/(-1) a multiple of 26?
False
Is -711*6/(-72) - (-1)/(-4) a multiple of 59?
True
Let n(q) = 28*q**2 - 7*q + 12. Is 34 a factor of n(4)?
False
Let w(g) be the first derivative of 2*g**2 - 4/3*g**3 + 1/4*g**4 - 6*g + 2. Does 6 divide w(4)?
False
Suppose 3 = -3*v - 0. Let c be -6*(0 + v) + -1. Suppose -2*q - c*b - 16 = -3*q, -5*q + 128 = -b. Is q a multiple of 7?
False
Let t(k) = -k**3 + 2*k**2 + 4*k - 1. Let j = -7 - -10. Let n be t(j). Suppose -n*q + 13 = -29. Does 10 divide q?
False
Suppose -4*w = -5*h + 69 + 115, -4*h - w + 143 = 0. Does 21 divide h?
False
Let i(p) = -2*p - 2. Let g be i(-3). Suppose g*u - 29 = 3*u. Does 17 divide u?
False
Let n = -8 + 12. Suppose 3*q = -2*q - 5, -n*q + 100 = 4*r. Is 26 a factor of r?
True
Let i be (-1 - 0 - 2) + 5. Suppose -3*v + g + i = -2*v, -15 = -5*g. Is v even?
False
Suppose 0 = -157*v + 161*v - 128. Is 10 a factor of v?
False
Let h(f) = -f**3 + 3*f**2 + 6*f - 5. Let l be h(4). Suppose l*r = 5*r - 8. Is r a multiple of 3?
False
Suppose -2*s - 48 = -6*s. Is 6 a factor of s?
True
Let q = -5 - -8. Is 4 a factor of (8/q)/((-2)/(-3))?
True
Suppose 0*j = -j + 20. Does 4 divide j?
True
Suppose -1 = 3*y - 52. Is y a multiple of 13?
False
Let b(y) = -y**2 - 5*y - 4. Let m be b(-3). Let q(v) = -4*v**m + 4*v - 12*v + 3*v**2 + 10. Does 10 divide q(-8)?
True
Suppose -5*y - 54 = -14*y. Let x = 42 + 4. Suppose -y = 2*s - x. Is 10 a factor of s?
True
Let y(o) = 2*o**2 - 4*o + 3. Let l be y(2). Suppose 4*m = l*m + 28. Is m a multiple of 10?
False
Suppose -5*p = 3*y - 115, 3*p + 42 = -3*y + 165. Suppose -6*j = -j - y. Is 9 a factor of j?
True
Suppose 0 = -15*o + 20*o - 40. Is 4 a factor of o?
True
Let p(n) = 6*n + 115. Does 14 divide p(7)?
False
Let h(n) = -n**2 + 2 - 136*n**3 - 7 + 6. Let j be h(-1). Suppose -5*o = -f + 3*f - 124, -5*o + 2*f = -j. Does 13 divide o?
True
Let z(t) = 127*t - 6. Is z(2) a multiple of 9?
False
Let s(l) = 2*l**3 - 9*l**2 - 3*l - 6. Does 9 divide s(7)?
False
Suppose 0 = -2*k - 4*p - 3 + 1, 0 = -3*k + p - 10. Is 32 a factor of (-222)/k + 0/(-3)?
False
Suppose u + m - 23 = -3*u, 0 = 2*m - 6. Is 10 a factor of (60/9)/(u/15)?
True
Let i = 12 - 8. Suppose 5*p - 4*w - 348 = 0, -2*p - w + 5*w = -132. Suppose 48 = 5*h + 4*l - 72, -i*l = -3*h + p. Does 12 divide h?
True
Let u(g) = 2*g - 5. Let m be u(4). Suppose 3*f = 6*y - m*y - 54, 5*y - 4*f = 95. Suppose 0 = o - y - 10. Does 12 divide o?
False
Suppose 25 = 5*n, -17 - 63 = -5*y - 4*n. Is y a multiple of 6?
True
Let o(l) = l**3 + 3*l**2 + l - 1. Let i be o(-2). Is 6 a factor of 18/(-3)*(-2 + i)?
True
Is 16/(-72) + (-1 - (-2463)/27) a multiple of 18?
True
Is 15 a factor of -405*(-3 - -6)/(-3)?
True
Let d = 72 + -28. Suppose 0*h = 4*h - d. Is (1 + 0)*(h + -2) a multiple of 9?
True
Let l = 6 + -3. Is 17 a factor of 1/(l + 142/(-48))?
False
Let q be 20/5 + -3*12. Let b = 59 + q. Is 14 a factor of b?
False
Suppose -9*n + 842 = -427. Does 24 divide n?
False
Let p(r) be the third derivative of r**4/24 - 2*r**3/3 - 2*r**2. Let c be p(3). Let v(o) = 2*o**2 - o - 1. Is v(c) a multiple of 2?
True
Suppose 200 = -8*h + 12*h. Does 15 divide h?
False
Does 13 divide (-1119)/(-7) - (-7)/49?
False
Suppose 2*k + 2*s + 2*s - 116 = 0, 0 = -k + 4*s + 82. Suppose 4*j = 330 - k. Let z = -34 + j. Is z a multiple of 13?
False
Let r = -11 - -15. Is 34 + (r - (0 + 3)) a multiple of 13?
False
Suppose 0 = -q - 2*q + 12. Suppose 0 = q*n + 20, -3*d - n + 28 = -3*n. Is d a multiple of 3?
True
Is 18 a factor of 2/9 - 7231/(-63)?
False
Suppose -53*r + 1134 = -44*r. Is r a multiple of 7?
True
Let v(i) = -i**3 + 88. Let y be v(0). Suppose -5*w = -4*k - 356, -3*w + y = -3*k - 179. Is 19 a factor of k/(-4) + (-3)/12?
False
Let b = 212 - 119. Is 31 a factor of b?
True
Does 4 divide ((-12)/10)/(-1*1/20)?
True
Let i be 4*(60/16 - 1). Suppose -185 = -i*n + 6*n. Does 14 divide n?
False
Let l be -2 - ((-6)/(-3))/(-2). Let q be (6/10)/(l/(-5)). Suppose f = -7*w + 2*w + 157, -