?
False
Let w(o) = -238*o**2 - 2*o + 3. Let k be w(1). Is 45/60 + k/(-4) a multiple of 12?
True
Let k(n) = -n + 2. Let s be k(0). Is 16 a factor of 63 + (s/(-1))/2?
False
Let s = 85 - 47. Is s a multiple of 15?
False
Let h be (-2)/(-4)*(34 - 0). Suppose c + 0*z = 2*z + h, -3*z = 4*c - 57. Does 7 divide c?
False
Suppose 0*v + 4*v - 12 = 0. Suppose 2*t - v*t + 3*d = -42, -5*d = -4*t + 140. Suppose t = 4*b + b. Does 2 divide b?
True
Let m(r) = -85*r**3 - 6*r**2 + 4*r + 18. Does 6 divide m(-2)?
True
Suppose -6734 = 25*n - 27734. Is n a multiple of 29?
False
Let s = 7 - 11. Let v = 2 - s. Suppose -b = 5*m - 47, 3*b - 4*m = -v*m + 102. Is b a multiple of 12?
False
Let s(h) = -21*h + 10. Let q be s(-8). Suppose 0 = 2*w - 3*v - q, 2*w - v - 186 = -2*v. Does 30 divide w?
False
Let w(i) = i**2 - 9*i. Let l be w(7). Let o(z) = -29*z + 3. Let a be o(1). Let u = l - a. Is u a multiple of 12?
True
Let t = 342 - 134. Is 15 a factor of t?
False
Suppose -2*l - 2 = 0, 0*z = z + 2*l - 26. Is 6 a factor of (1 - -5)*z/6?
False
Suppose 0 - 7 = o. Let d(b) = b**3 + 8*b**2 + 9*b - 10. Let p be d(o). Is (p/(-20))/(6/20) a multiple of 4?
True
Suppose 3*g + 3*g - 108 = 0. Is (-6)/(-1)*(-10)/((-40)/g) a multiple of 5?
False
Let h = 2203 + -327. Is 14 a factor of h?
True
Suppose 649 = 19*d + 3. Is 7 a factor of d?
False
Suppose 11 = 3*b - 1. Suppose a + 2*o - 106 = 0, -o = -b*o - 15. Suppose -2*h + a = 4*d, -8*h - 115 = -5*d - 3*h. Is d a multiple of 14?
False
Let f(s) = -5*s - 50. Let u be f(-10). Suppose 783 = 5*l - 3*h + 4*h, u = h - 3. Is 13 a factor of l?
True
Suppose z - 415 = -5*k, -3*k = -4*z + 2173 - 444. Is 89 a factor of z?
False
Is 2 a factor of (102*1*-1)/(41 + -44)?
True
Suppose 15 = 8*n - 17. Suppose 5*z - 25 = n*z. Is 5 a factor of z?
True
Let j(t) = 188*t**2 - 5*t - 4. Is 15 a factor of j(-1)?
False
Let j be 16/((4/1)/4). Let a = j + -4. Is 4 a factor of a?
True
Does 10 divide (-2 - 3)*(-54 + -22)?
True
Let c be 4/(-2)*(1677/2)/13. Let g = 241 + c. Does 7 divide g?
True
Let k be (4/(-6))/(2/(-15)). Suppose 6*p - 5*f = p + 55, f + 39 = k*p. Is 2 a factor of p?
False
Let t = 31 - 26. Suppose 4*v = 4*x + 144, v + 135 = t*v + 5*x. Is 18 a factor of v?
False
Let f = 100 + -93. Let u(i) = i + 33. Does 8 divide u(f)?
True
Suppose 2*p + p + 5*t = 238, 3*t - 86 = -p. Let v = 104 - p. Does 11 divide v?
True
Is ((-22)/55)/((-2)/4190) a multiple of 72?
False
Suppose 1687 = c + 465. Is 94 a factor of c?
True
Let t(n) = n**2 - 22*n - 15. Let u be t(22). Let w = -8 - u. Is w a multiple of 3?
False
Let o(p) = 2*p**2 + 2*p - 7. Let d be o(-3). Let j(g) = -4*g**2 + 7. Let r be j(d). Let v = r - -143. Does 11 divide v?
False
Let y(p) = -p**2 - 99*p - 2. Is 6 a factor of y(-5)?
True
Let m = 4 - -1. Suppose 0*c = 5*c + m*o - 305, -4*o - 218 = -3*c. Does 11 divide c?
True
Is 7 a factor of (-2 + 0)*26939/(-62)?
False
Let w be (-3)/(6*1/(-20)). Let z(p) = -8*p + 5. Let m(o) = 4*o - 3. Let n(j) = 7*m(j) + 3*z(j). Is n(w) a multiple of 9?
False
Suppose 5*a - 217 = -4*k, -k - 2*k + 154 = 2*a. Suppose -3*y - 84 = -5*r, 3*r - k = -0*y + 3*y. Suppose -3*c - 6 + r = 0. Does 4 divide c?
True
Let j be (1/(-1))/(7/98). Let v be (-46)/j - (-12)/(-42). Suppose -v*u + 42 = -0*u. Is 7 a factor of u?
True
Suppose 2*x - 71 = 3*y, -x = -2*y + y - 38. Let t = 72 - x. Suppose 4*d = 5*u + t + 218, u + 267 = 4*d. Is d a multiple of 15?
False
Is 18 a factor of ((-17080)/(-63))/5 + 12/(-54)?
True
Let q(z) = 16*z + 13. Let a be q(12). Suppose -a = -5*k + 80. Is k a multiple of 15?
False
Let w = 1208 - 399. Is 10 a factor of w?
False
Let m(h) = -6*h**2 - 2*h + 3. Let y(p) = -5*p**2 - 3*p + 4. Let b(x) = -4*m(x) + 3*y(x). Let w be b(-1). Does 2 divide (-14)/(-3) + w/(-15)?
True
Let o(t) = 1. Let x(c) = c + 18. Let p(h) = 6*o(h) + 2*x(h). Is p(8) a multiple of 29?
True
Let c be (6/(-9))/(1/(-90)). Suppose 3*n - c = 2*n. Suppose 6*r - n = 2*r. Is r a multiple of 5?
True
Let m = 26 - 23. Suppose 9 = -m*y + 33. Is 5 a factor of y?
False
Let r be 3*-15*14/35. Let q be (-7)/(-35) + r/(-10). Suppose -2*b - 169 = -5*u, -8*b - 58 = -q*u - 4*b. Is 9 a factor of u?
False
Let f = 0 + -46. Let s = 76 + f. Is s a multiple of 20?
False
Suppose 0 = -4*g - 0*g + 16. Suppose 2*v - v - 4*o = 56, -284 = -g*v + 4*o. Does 19 divide v?
True
Suppose 5*h - 928 - 632 = 0. Does 15 divide h?
False
Suppose 2*d = -3*l - 15, 0*d - 4*l = d + 15. Let k(v) = -3*v + 7. Is 3 a factor of k(d)?
False
Let g = 109 - 100. Is 8 a factor of g?
False
Let y(k) be the third derivative of -k**4/8 - 5*k**3/3 - 11*k**2. Does 8 divide y(-9)?
False
Let a(g) = 17*g + 192. Does 12 divide a(0)?
True
Let r = -4 - -2. Does 13 divide (((-8)/(-5))/r)/(2/(-145))?
False
Let q(n) = 136*n**3 - 2*n + 1. Let v be q(1). Suppose 96 = -4*d + 368. Let h = v - d. Is h a multiple of 17?
False
Suppose 0 = -2*l + 179 - 183. Let b(z) = -4*z**3 + 4*z**2 + 4*z. Is 2 a factor of b(l)?
True
Suppose -28*m + 550 = -18*m. Does 3 divide m?
False
Suppose -7*a + 6*a = -4. Suppose a*y + 28 = x, 4*y + 2 = -2. Suppose -h + 3*h = x. Is h a multiple of 4?
True
Let b = -981 - -1545. Is 9 a factor of b?
False
Suppose -10*v + 2041 + 5579 = 0. Is 11 a factor of v?
False
Suppose -2*b = 3*v - 322, -103*v + 624 = 4*b - 102*v. Does 4 divide b?
False
Let p = 9471 - 6011. Is p a multiple of 10?
True
Let b be (1 - 4) + 8/4. Let w be b + 6 + -3 - -3. Suppose -141 = -4*v + 5*s, 108 = w*v - 2*v - 3*s. Does 12 divide v?
False
Suppose 0 = 6*p - 8*p - 2*j + 952, -4*p + 1895 = -5*j. Is p a multiple of 25?
True
Let r be (-8)/((-2)/1) + -2. Suppose 12 = -0*j + r*j. Suppose 2*v + 0*v - j = f, -v = -5*f - 3. Is v even?
False
Let f be 14/21 - ((-160)/(-6) - 2). Is 35 a factor of 192/5 + (-1 - f/15)?
False
Is 11 a factor of 1332 + -4 - (2 + (3 - 8))?
True
Let i be 2*(-4)/(-28) - 261/7. Let q = i + 100. Is q a multiple of 32?
False
Let m(w) = -29*w + 1. Let o = -29 + 28. Is 10 a factor of m(o)?
True
Suppose -140 = -5*t + z + z, -2*z = t - 28. Let u = 4 + -25. Let c = u + t. Is c a multiple of 7?
True
Let x(z) = 3*z**2 - 3*z - 33. Is 9 a factor of x(8)?
True
Let o(k) = -k**3 - 15*k**2 - 13*k + 14. Let p be o(-14). Let i be -9*(-1 - p)*23. Suppose -i = -4*h - 47. Does 8 divide h?
True
Suppose 2*m - 4*m = 358. Let p = m + 263. Suppose 4*t - 3*t = -2*n + p, -3*n = -4*t - 148. Is 22 a factor of n?
True
Let k = 694 + -343. Is 27 a factor of k?
True
Suppose -3*y + 1919 - 359 = 0. Suppose 5*q = 5*b + 365, -5*q - 4*b - 146 = -y. Is 16 a factor of q?
False
Suppose 0 = 2*f + 4*v + 14, 2*v - 7 = 5*f - 32. Let g(h) = 40*h + 13*h**3 + h**2 - 4 - 35*h - 5*h**3 - f*h**2. Does 12 divide g(2)?
False
Let x(q) = -q - 4. Let r = -3 + -1. Let y be x(r). Suppose -5*i - 4 + 54 = y. Does 4 divide i?
False
Let k = 584 - 208. Does 47 divide k?
True
Suppose j - 59 - 49 = 0. Suppose -2*s = -3*s + 4*o - 36, 3*s + j = -4*o. Let y = s + 72. Does 12 divide y?
True
Let t = 19 - 22. Is 11 a factor of (-110)/(2 + -4) - t?
False
Let n(x) = -3*x**3 - 9*x**2 - 15. Is n(-10) a multiple of 26?
False
Let b = 23 - 12. Is 1/(1 - b/12) a multiple of 6?
True
Let a(r) be the second derivative of r**7/840 + r**6/90 - r**5/20 - r**4/8 + r**3/3 - r. Let g(t) be the second derivative of a(t). Is g(-4) a multiple of 7?
True
Suppose 2*l - t + 15 + 1 = 0, 5*t = -4*l - 18. Is 4 + -9 - l - -94 a multiple of 12?
True
Does 30 divide (-92)/(-15) + -6 - (-21504)/45?
False
Let l = -2452 + 4504. Is 18 a factor of l?
True
Let c = 5 + -5. Suppose c = -4*q - 2*f + 100, 0*q - 34 = -2*q + 3*f. Suppose -q = -z - 2. Is z a multiple of 9?
False
Let s(j) = 9*j + 6. Let k be s(11). Let r be (6/(-15))/((-3)/k). Suppose 2*z - z = r. Is z a multiple of 7?
True
Is (-4292)/(-28) - (-55)/77 a multiple of 14?
True
Let m be ((-19)/3 - -2)*-3. Suppose 5*t - 10 = -0, 0 = 4*y + t - 110. Suppose -5*w = -y - m. Is 3 a factor of w?
False
Does 12 divide (-1311)/(-12) - 1/4?
False
Suppose 4*t = -4*p, -5*t - 2*p = 4 - 13. Suppose -2*m = w, t*w - 3*m - 2 = 4*w. Is 4 a factor of w?
True
Let n = -551 - -942. Is 41 a factor of n?
False
Suppose -4819 = -2*j + h, 2*j - 3890 = -2*h + 920. Is 96 a factor of j?
False
Suppose -4*r - 15 = -3*v, -4*r = 5*v + 12 - 37. Suppose v*f + 295 = -305. Let u = f - -215. Does 19 divide u?
True
Let z(l) = l. Let j be (-6)/27 - 58/(-18). Let x be z(j). Suppose 0 = -4*m - 