tiple of 40?
False
Is (48/(-5))/((-81)/5400) a multiple of 32?
True
Let m(t) be the third derivative of -t**6/24 + t**5/120 + 13*t**4/24 + 8*t**2. Let w(h) be the second derivative of m(h). Is w(-2) a multiple of 8?
False
Suppose 5*t + 20 = 80. Let r(l) = -l**2 + 17*l - 5. Is 12 a factor of r(t)?
False
Let p = -14 + 25. Let z(a) = -1 - 8*a - 6*a - p*a. Does 12 divide z(-1)?
True
Suppose 92 = s - 115. Suppose 3*t = s - 15. Suppose 0 = 4*v - 44 - t. Is 13 a factor of v?
False
Let p(l) = 143*l - 340. Is 11 a factor of p(15)?
False
Let o be (6/7)/(3/63). Suppose -3*v = 2*k - 195 + o, 0 = -5*k + 3*v + 495. Is k a multiple of 12?
True
Suppose -7 = -0*w - w. Suppose -3*d + w*d - 224 = 0. Does 14 divide d?
True
Let d = 810 + 1030. Is 23 a factor of d?
True
Let s(x) = -x**3 + 9*x**2 + x + 2. Let l be s(9). Suppose -26 = -p + l. Suppose w - p = -2*f, -2*w - 36 = -2*f - 2. Is f a multiple of 8?
False
Let v = -119 + 45. Let o = -172 - v. Let a = -37 - o. Is 17 a factor of a?
False
Let x be 17*(-23)/3*-3. Suppose 9*l - 311 = x. Is l a multiple of 26?
True
Let y(i) = i**3 - 2*i**2 - 45*i + 10. Is y(10) a multiple of 60?
True
Let p be 2/12 - 95/(-6). Suppose -x + 50 = p. Is x a multiple of 17?
True
Let b = -25 + -21. Let n = 82 + b. Is n a multiple of 21?
False
Let k = -1143 + 47. Is 20 a factor of 0 + 0 - k/8?
False
Let i(y) = 5*y**2 + y - 2. Let k be i(3). Let z be 6/(-27) + ((-831)/27 - 1). Let u = z + k. Is u a multiple of 7?
True
Let w(m) = 7*m - 22. Let a(h) = -2*h**2 - 13*h + 17. Let b be a(-7). Does 8 divide w(b)?
True
Let l = -2 - -8. Suppose 3 = 3*o + l. Is 11 a factor of 2*(33/(-2))/o?
True
Suppose 62*p - 66*p + b + 1137 = 0, 2*b = -10. Is 11 a factor of p?
False
Suppose -d - 4*d + 455 = 0. Suppose 2*c - 3*w = 110, -25 - 229 = -5*c - 3*w. Let o = d - c. Does 12 divide o?
False
Let a be -1 - (-2 - -2 - 558). Suppose 5*h + x - 915 = 0, 0*x + x + a = 3*h. Suppose -2*v = 2*v - h. Is v a multiple of 23?
True
Does 4 divide ((-22)/33)/((-6)/234)?
False
Suppose 3*l = h + h + 781, -h - 520 = -2*l. Suppose -7*m + l = -0*m. Is m a multiple of 37?
True
Suppose -5*k - u + 4070 = u, 5*k - 2*u - 4050 = 0. Does 63 divide k?
False
Suppose -r - 3*r = -248. Let n be (-56 - -2)*(-14)/21. Let f = r - n. Is f a multiple of 13?
True
Let x(m) = 237*m + 3. Let c be x(-5). Suppose 4*g + 178 = 46. Is 7 a factor of c/g - (-2)/11?
False
Suppose 5*f + 5*k - 45 = 0, -3*f - k = -4*f + 5. Let c(u) = 11*u**2 - 6 - f*u + 5*u - u**3 + 13 - 7*u. Is c(10) a multiple of 6?
False
Suppose 4*k - 84 = 36. Does 28 divide (17/(-51))/((-8)/k)*92?
False
Let d(n) = n**3 - 2*n**2 - 2*n + 3. Let y = 7 - -12. Suppose -3*r + y = -0*m + 2*m, 3*r = 2*m - 1. Is d(r) a multiple of 6?
True
Let k = -1592 - -2371. Is k a multiple of 50?
False
Let i be 82/(-5) - 4/(-10). Let q = i - -76. Is 20 a factor of q?
True
Let p(y) be the first derivative of -1/3*y**3 + 4*y + 2 - 11*y**2. Is p(-17) a multiple of 17?
False
Let r = -10 + 12. Suppose -s = s - r. Is (s/1)/((-3)/(-15)) a multiple of 2?
False
Suppose -3*x - 2*h + 17 = -20, 95 = 5*x - 5*h. Suppose -o + x = -23. Does 6 divide o?
False
Let s be ((-4)/(-6))/(12/(-369))*-2. Let z = -18 + s. Is 6 a factor of z?
False
Let c(h) = h**2 + 7*h + 17. Let w be c(-7). Does 7 divide 4 + w + 3 - 0?
False
Let a = 14 - -4. Let y = -12 + a. Suppose 0 = -y*i + 2 + 16. Is 2 a factor of i?
False
Let w(k) = k**2 + 4*k + 10. Let l be w(-9). Let a = l - 44. Is a a multiple of 11?
True
Suppose 0 = -3*c + 4*z + 19, 0 = -4*c + 5*z + 19 + 6. Suppose -67 = -c*p + 3. Is 14 a factor of p?
True
Let d = -298 + 363. Does 13 divide d?
True
Suppose 18*k - 33507 = -33*k. Is k a multiple of 6?
False
Suppose -5*y + 4*y = 5*n - 91, 2*n + 4 = 0. Is y a multiple of 12?
False
Suppose 8 = 4*n - 4. Suppose n*y - 4 = y. Suppose 40 = y*q - 0*q. Does 20 divide q?
True
Is 14 a factor of 268 + 5 + -3 + 3 + -2?
False
Let l(j) = j**2 + 11*j + 15. Let n be 208/(-20) - (-8)/20. Let h be l(n). Suppose 2*b - h*b + 59 = 4*q, -4*b = q - 83. Is b a multiple of 7?
True
Let k(a) = -2*a + 5. Let u be k(-2). Let w be ((-24)/u)/((-4)/6). Suppose 0 = -w*z - 0*z + 368. Does 29 divide z?
False
Let d = -68 + 123. Is d a multiple of 55?
True
Let x(i) = -3 + 13 + 97*i - 94*i + i**2. Let j be x(-8). Suppose -3*p + j = -10. Does 10 divide p?
True
Suppose -r = -0*r - o + 71, -2*o = -r - 66. Let s = -72 - r. Does 4 divide s?
True
Does 2 divide (-3)/18 - (-8855)/210?
True
Let n be (-136)/12*(-6)/4. Let j(f) = 7*f - 7. Does 28 divide j(n)?
True
Suppose f + 7*f - 32 = 0. Suppose 0 = 2*p - u - 2, -6*p + 2*p + f*u - 4 = 0. Is 2 a factor of p?
False
Let c = 205 + -84. Is c a multiple of 11?
True
Suppose 7*g - 24 = 11*g. Is 19 a factor of (2/g)/((-11)/627)?
True
Let j = -153 + 153. Is (-238)/42*-3*(j + 1) a multiple of 6?
False
Let a(g) = -g + 12. Let k be a(8). Suppose 2*w + 14 = k*s, w + 16 = s + 4*s. Is 2 a factor of s?
False
Let u = 18 - 25. Let s(q) = -10*q + 11. Does 24 divide s(u)?
False
Suppose 0*z - 2*z = -1940. Let t be 8/(-32) - z/(-8). Suppose 0 = 5*n - t - 179. Is 15 a factor of n?
True
Suppose -4*n + 4*a + 2412 = 0, 5*n - 7*n + 5*a = -1215. Does 30 divide n?
True
Let b(g) = 147*g**2 + 7*g + 2. Let u(i) = 74*i**2 + 3*i + 1. Let k(q) = -2*b(q) + 5*u(q). Is 10 a factor of k(1)?
False
Let p(s) = s**3 - 11*s**2 + 10*s + 2. Let j be p(10). Suppose 21 = 5*c + j*c. Suppose 5*a = -2*d + 501, -c*d = 5*a - 512 + 13. Does 24 divide a?
False
Is 27 a factor of (-3)/(0 - (-6)/(-852))?
False
Let z(u) = 12*u + 41. Let y be z(12). Suppose -y = 6*g - 977. Is 44 a factor of g?
True
Suppose -2*w + 82*b - 84*b + 9050 = 0, 5*w - 22633 = 3*b. Does 18 divide w?
False
Let n(j) = -137*j**2 - 5*j + 4. Let h(w) = -34*w**2 - w + 1. Let g(r) = -9*h(r) + 2*n(r). Is 27 a factor of g(-1)?
False
Let h = 3 - 4. Let q be (-180)/(-5)*(-1)/h. Suppose -4*a = 0, 2*w - 3*a - q = -2*w. Is 9 a factor of w?
True
Let z(k) = k**2 - 7*k + 13. Let x be z(5). Suppose -m + 2*a + 6 = 0, -x*a + a = -2*m + 22. Is m a multiple of 5?
False
Let d be 56/4*(-2)/(-7). Suppose -2 + 10 = d*l. Suppose 3*k - l*k - 102 = 0. Is 17 a factor of k?
True
Let q(t) = -4*t**2 + 4*t - 4. Let a be q(3). Let s be 146/14 - (-12)/a. Let u(w) = -w**2 + 13*w. Is u(s) a multiple of 22?
False
Let r(q) = -2*q**3 - q**2 + q + 2. Suppose 0 = -4*m - 11 + 3. Let c be r(m). Suppose 8*y = c*y - 104. Does 6 divide y?
False
Suppose -2*m = -0*m + 62. Let a = 64 + m. Is a a multiple of 33?
True
Let y be 6/(-5)*(5 + 0). Let b be (-144)/y - 3/1. Let n = 24 + b. Is n a multiple of 17?
False
Let s(q) = 30*q - 772. Is s(50) a multiple of 56?
True
Suppose 51 - 14 = 4*z + 5*t, z + 5*t - 28 = 0. Suppose 4*s = -z*b + 99 + 106, -3*s + 180 = -3*b. Does 4 divide s?
False
Suppose -4*u - 2*c + 9640 = 0, 0*c = 4*c - 16. Is u a multiple of 10?
False
Let z(g) = g**3 + 7*g**2 + g + 10. Let p be z(-7). Suppose p*c - 6 = -5*d - 1, 0 = 2*d - c - 13. Suppose -5*k - 10 = -3*q + q, d*q - 20 = 2*k. Does 2 divide q?
False
Let b(v) = 21*v**2 - v - 29. Does 42 divide b(-5)?
False
Let a = -155 + 282. Suppose -w = -u + 5*u - 44, 0 = -2*w + 5*u + a. Is w a multiple of 8?
True
Let q be (-2)/(-3) - (-16)/(-6). Is 20 a factor of 36 - (0 - (q + 6))?
True
Let n = 2352 + -1896. Is n a multiple of 6?
True
Let n be (1/(-2))/(4/(-16)). Suppose 0 = -5*i + 5, n*o + 5 = 4*o + 5*i. Suppose 4*b - w - 276 = o, w + 276 = 4*b + 4*w. Is b a multiple of 21?
False
Is (-9 - 11)*(66/(-5) - -3) a multiple of 13?
False
Is ((-1500)/(-35))/(4/42) a multiple of 25?
True
Let d be 2 + (-21)/(-3) + -3. Suppose 0 = -d*y - 384 + 2232. Is 56 a factor of y?
False
Suppose -34 = -3*v - 2*u, 3*u - 21 = -5*v + 3*v. Let k be -52*v/64*4. Does 10 divide ((-403)/k)/((-1)/(-3))?
False
Let m = -11 - -11. Suppose 0*x - x = m. Does 12 divide x - -48 - (-2)/(-1)?
False
Is 10 a factor of (-369)/(-18)*(-60)/(-5)?
False
Let r(u) = -2*u - 6. Let v be r(-4). Suppose -h = -3*q + 66, 0 = 2*q - 0*h - v*h - 44. Does 11 divide q?
True
Suppose u - 4*w = 16 + 4, 0 = -4*u - 4*w. Suppose u*g = 26 + 30. Is 0 + -3 - g/(-1) a multiple of 8?
False
Suppose 0*m = 4*m + 5*a - 31, 4*a = -5*m + 32. Suppose 61 + 91 = m*n. Is 19 a factor of n?
True
Is 12 a factor of ((12/(-9))/(-2))/((-10)/(-555))?
False
Suppose -3*k + 5*k + 12 = -x, -2*k = -2*x - 24. Let i be (-32)/6*243/x. Suppose 3*h - i = g - 35, 26 = 2*h