7 a factor of s?
True
Is (2/4)/(6/288) a multiple of 11?
False
Is 3 a factor of (-27)/(-6)*4 - (0 + 0)?
True
Let h(l) = 5 + 6*l**2 - 3*l**2 - 3 + l - l**3. Is h(3) a multiple of 5?
True
Let h be ((-2)/(-6))/((-2)/30). Is (0 + (-18)/h)*5 a multiple of 18?
True
Let h = 382 - 255. Is h a multiple of 24?
False
Let o be (2 + 1 + -4)*3. Suppose -5*n + 5*u = -25, 2*n + 4*u - u = -10. Let p = n - o. Is 4 a factor of p?
True
Let g(r) = r**3 - 3*r**2 + r - 3. Let n be g(3). Suppose n = 5*k - 56 - 49. Does 8 divide k?
False
Suppose 0 = 5*p + 2*p - 350. Does 10 divide p?
True
Suppose 4*i = 2*x - 28, 0 = -i + 2*i - 4*x + 7. Let v = i + 24. Is 12 a factor of v?
False
Let i(t) = 2*t**2 + 6*t + 4. Let z be i(-5). Let s = 29 + z. Suppose -5*q = -s - 82. Is 9 a factor of q?
True
Let f be (2 - 1155) + (-2)/1. Is f/(-18) - 1/6 a multiple of 14?
False
Let w = 3 - 0. Suppose w*o - 4*y = o, -o - y = -15. Does 10 divide o?
True
Let y(b) be the second derivative of -b**4/24 + 8*b**3/3 - 3*b**2/2 + b. Let f(h) be the first derivative of y(h). Is 16 a factor of f(0)?
True
Let f = 69 - 21. Is 16 a factor of f?
True
Suppose 2*d = -d. Suppose d = -4*f - 2*f + 24. Does 2 divide f?
True
Suppose -6*h = -4*z - h + 57, 105 = 5*z + 5*h. Is 5 a factor of z?
False
Is (-2)/(-3 - -1)*12 a multiple of 12?
True
Is 8 a factor of 7*((-45)/(-7) + -3)?
True
Let k(w) = -19*w**3 - 2*w**2 - 2*w - 1. Suppose 4*u + 20 = -3*p, -4*p + 2*u = -6 - 4. Let d = -1 - p. Is k(d) a multiple of 18?
True
Suppose 0 = -6*j + j. Suppose -5*b + 42 = z + 3*z, j = 2*z - b - 28. Is z a multiple of 13?
True
Let r(q) = q**3 + 10*q**2 + 5*q - 4. Let z be r(-9). Suppose 2*y + 3*n - z = 0, -140 = -5*y - 3*n - 42. Is 11 a factor of y?
True
Let o be 6/(-2) + -1*13. Let c = o - -27. Is c a multiple of 4?
False
Let g be 0 + (0 - 1) + 6. Suppose 0 = g*o + 2*k - 185, -o - 2*o - k = -112. Suppose -o = 4*f - 183. Is f a multiple of 13?
False
Let z be (1/(-1))/(6/(-30)). Suppose -5*c + u + 109 + 38 = 0, -z*c = 2*u - 141. Is 5 a factor of c?
False
Suppose l = -0*l - 4*t - 20, -l + t + 5 = 0. Let x = 5 - l. Does 5 divide x?
True
Let j = -57 - -195. Is 23 a factor of j?
True
Let m(h) = h**3 + 5*h**2 - 3. Let y be m(-5). Is (2 + y)*-6 + 2 a multiple of 8?
True
Suppose -4*a = -4, -l = l + 5*a - 55. Is 6 a factor of l?
False
Suppose -4*z + 126 = m + 2*m, -3*m = -4*z - 126. Is 14 a factor of m?
True
Let d(o) = o**3 + 2*o**2 - 2*o - 1. Let c be d(-2). Let f(q) be the third derivative of q**5/20 - q**4/6 + q**3/2 + 8*q**2. Is f(c) a multiple of 9?
True
Let s = 33 + 14. Let u = s + -20. Is u a multiple of 8?
False
Let d(j) = 3*j + 3. Let l be d(6). Suppose q = -l + 58. Does 12 divide q?
False
Let a(s) = 9*s**2 - 3*s + 4. Is a(-3) a multiple of 21?
False
Suppose o = 2, -3*f + 4*o + 333 = -154. Is 11 a factor of f?
True
Let q = 131 + -23. Is 36 a factor of q?
True
Let b = 10 - -26. Does 12 divide b?
True
Let a = 123 - 70. Let m = a + -23. Does 15 divide m?
True
Suppose 21 = -2*s - h - 20, s - 7 = 5*h. Is (-688)/s + 2/(-9) a multiple of 14?
False
Let b = -259 + 434. Is 35 a factor of b?
True
Let r(v) = 179*v**2 + v. Let w be r(1). Suppose 2*n + w = -n. Let s = n - -92. Is 16 a factor of s?
True
Let v = 36 - -39. Does 25 divide v?
True
Is 45/(2/(-6) - 19/(-30)) a multiple of 30?
True
Let o = 249 + 152. Is o a multiple of 12?
False
Let h = 370 + -260. Suppose h = 4*t - 18. Does 8 divide t?
True
Let h(i) = -i**2 + 14*i - 8. Is 20 a factor of h(6)?
True
Let p = -26 + 45. Is p a multiple of 2?
False
Let n(u) = -u**3 - 5*u**2 + 6*u - 6. Let b be n(-6). Let v(h) = -2*h + 6. Let p be v(3). Let k = p - b. Does 6 divide k?
True
Suppose 9*w - 5*w - 24 = 0. Suppose -3*n + 4*s = -119, w*n - n - 190 = 5*s. Does 11 divide n?
True
Let g be ((-226)/(-6))/((-2)/6). Let i = -61 - g. Suppose 6*a - i = 2*a. Does 7 divide a?
False
Let v be (-1)/2*2*-3. Suppose -2*q = -v - 19. Suppose 2*y - 93 = -q. Does 17 divide y?
False
Let a(b) = -6*b - 4. Let n be a(3). Let j = -6 - n. Is j a multiple of 7?
False
Let h(i) be the second derivative of -i**3/6 + 15*i**2/2 + 3*i. Is h(0) a multiple of 10?
False
Let s(d) = 59*d**3 - 4*d**2 + 4*d - 1. Does 7 divide s(1)?
False
Let l be (-3 - -3) + 71 - 1. Let y = 126 - l. Is y a multiple of 14?
True
Let q(z) = -z**2 - 1. Let d be q(1). Let a(j) = 18*j**2 + 3. Is 13 a factor of a(d)?
False
Let i be 15/10*8/6. Suppose i*m - 72 = -0*m. Is 12 a factor of m?
True
Suppose x = 14 - 36. Does 6 divide 4/x + 408/66?
True
Let o = -41 + 84. Suppose 5*q + 4*g - 331 = 0, 6*g - g = q - o. Suppose -3*a = 3*u - q, -2*u - 4*a + 24 = -22. Is u a multiple of 19?
True
Let m(v) = v**3 - 3*v**2 + 4*v - 4. Let l be ((-6)/(-4))/((-1)/(-2)). Let i be l*-2*3/(-6). Does 8 divide m(i)?
True
Let i(s) be the first derivative of 3*s**2/2 - s - 2. Let y be i(1). Suppose -t - y*t + 39 = 0. Does 10 divide t?
False
Let g = -32 - -59. Is 7 a factor of g?
False
Let q = 104 - 46. Is q a multiple of 16?
False
Let h be 654/8 - (-6)/(-8). Suppose 3*s = -3*v + 39, 3*v = -2*v - s + h. Is 7 a factor of v?
False
Let u(p) = 2*p**2 - 7*p + 1. Let t be u(8). Let o = t - 48. Is 14 a factor of o?
False
Let d(o) be the third derivative of -1/60*o**5 - o**2 + 1/3*o**3 + 0*o - 1/3*o**4 + 0. Is 9 a factor of d(-4)?
True
Is 116/8*8 + -1 a multiple of 21?
False
Suppose q - 5*q + 32 = 0. Suppose 0 = -4*f - 4*k - q, -f + 0*k + 2*k = -10. Suppose g - 2*u - 19 = 2*u, 3*g + f*u = 127. Is g a multiple of 16?
False
Let m(b) = -b**3 - 10*b**2 + 17*b. Is 42 a factor of m(-12)?
True
Suppose 5*k - k + 88 = 0. Let m = k + 39. Is 7 a factor of m?
False
Suppose 320 = 4*o - 0*o. Suppose -o = -6*f + f. Is 7 a factor of f?
False
Let d be (-1)/(-1) - (-1 + 4). Let j be -5 + (d/(-1) - 0). Does 9 divide (-6)/9 + (-29)/j?
True
Suppose -9 = 5*o + 11. Is (1/(-2))/(o/64) a multiple of 7?
False
Let m be 2 + 3*-1 - -2. Suppose 5*c - 238 = 2*t, -4*t = -m - 3. Let k = 80 - c. Does 16 divide k?
True
Let w be -1 + 0 + 1 - -13. Suppose l = -4*h + 25, -l + 6 = 3*h - w. Let n(z) = z**3 - 5*z**2 - 4*z + 1. Is n(h) a multiple of 10?
False
Suppose 6*t = t - 320. Let i = -32 - t. Suppose -i = 3*y - 5*y. Is 8 a factor of y?
True
Let r = -46 - -76. Is r a multiple of 6?
True
Let g(o) = o**3 - 5*o**2 - 12*o + 34. Does 12 divide g(7)?
True
Let c(w) = 4*w - 2*w**2 - w**2 + 1 - 1. Let d be c(4). Let i = -15 - d. Does 8 divide i?
False
Let a be (66/(-4) + 1)*-6. Suppose 5*k - 17 - 93 = -5*m, -5*m = 4*k - a. Does 17 divide k?
True
Let b(m) = 5*m**2 - 2*m - 4. Let l(x) = 2*x**2 - x - 1. Let u(s) = -2*b(s) + 7*l(s). Does 20 divide u(3)?
False
Let v(b) = 8*b + 1. Let g be 1 + 2*(-1 + 0). Let u be (-8)/(-2) - 1/g. Is 14 a factor of v(u)?
False
Does 37 divide (6/(-24))/(-1) + 443/4?
True
Let p(u) = -u - 4. Let b be p(-6). Let n(q) = 6*q**3 - 2*q**2 + 2*q - 2. Is 14 a factor of n(b)?
True
Suppose 0 = i + 1 + 1. Is 18 a factor of (-3)/i - (-170)/4?
False
Suppose 72 = 3*v + 3*s, v = 3*v + 3*s - 43. Does 11 divide (v - -4) + (-3)/1?
False
Suppose 3*a - 2*o - 59 = 0, -2*o = -6*a + a + 101. Let q = a + -29. Let k = 5 - q. Does 11 divide k?
False
Let j = 0 - 14. Let n be (-8)/28 + (-4)/j. Let r = n - -33. Is 12 a factor of r?
False
Let g(r) = r + 12. Let m be g(-11). Suppose 0 = 3*d - n - 1, 0 = -5*d + 2*n + 2. Is 7 a factor of (-13)/(-1) - (m + d)?
False
Let y be 0*-2*(-1)/(-4). Is 3 a factor of 1 - (y + 2) - -8?
False
Let u = 268 - -166. Does 59 divide u?
False
Let q = -5 - -5. Suppose 4*l - 83 - 25 = q. Suppose 3*a + 0*s - l = s, 0 = a + 5*s - 9. Does 3 divide a?
True
Let a be -3*30/9 + 1. Let t be -2 + -3*96/a. Suppose -2*r + 23 = 2*x - 13, r + t = 2*x. Does 16 divide x?
True
Let c be (-25)/(-10)*4/5. Let z(w) = 5*w**2 + w - 1. Let i be z(c). Suppose -4*u + i + 59 = 0. Is 17 a factor of u?
False
Suppose 5*c = c + 8. Let l be c/4*40/4. Is ((-16)/(-10))/(2/l) a multiple of 4?
True
Let x = 190 - 143. Is x a multiple of 6?
False
Let t = 43 + -21. Does 6 divide t?
False
Let f(s) = -s**3 + 9*s**2 + 2*s - 6. Suppose -2*p = -p - 9. Is 6 a factor of f(p)?
True
Let h(j) = -j**2 - 3*j + 3. Let r = 7 + -11. Let x be h(r). Does 5 divide (x - (-27)/(-15))*-5?
False
Suppose 4*d = 23 + 33. Is d a multiple of 7?
True
Let c = -174 - -254. Is c a multiple of 5?
True
Suppose -4*u = 5*h - 33, 3*h - 21 = 2*u - 5*u. Suppose -10 - u = 3*f. Let v(g) = g**3