 of 1046/u + 10/(-4)?
True
Let r(c) = c + 10. Let i be r(-8). Suppose -i*h + 0*h + 6 = 0. Suppose h*b = 2*b + 54. Is 11 a factor of b?
False
Let y(x) = 1194*x**2 - 4*x + 5. Is y(2) a multiple of 87?
False
Suppose 4 = -4*x + 8. Let y(u) = 99*u**2 - 1. Is y(x) a multiple of 17?
False
Let c = -47 + 14. Let r = 18 + c. Let d(f) = -2*f + 3. Does 14 divide d(r)?
False
Let d(g) = 6*g**3 + 12*g**2 - 4*g - 6. Does 22 divide d(5)?
False
Let c be (-1 - 1/(-2))*-6. Let t(f) = f**2 + c*f + 4*f + 0*f + 3*f - 7. Is t(-12) a multiple of 17?
True
Suppose -5*k = -d + 827, 0 = d + 3*k - 0*k - 787. Is 28 a factor of (-10)/(-30) - d/(-6)?
False
Let n be (3/4)/((-3)/12). Let v(r) be the second derivative of r**4/6 - r**3/3 - r**2/2 + 53*r - 2. Does 8 divide v(n)?
False
Suppose 46 = 7*m + 11. Suppose 249 + 126 = m*z. Is 15 a factor of z?
True
Suppose 4*r - 3*v - 26 - 29 = 0, 3*v - 35 = -5*r. Suppose -3*k = -r*k + 1253. Let s = -101 + k. Is s a multiple of 13?
True
Let h = 154 + 327. Is 8 a factor of h?
False
Suppose 2*y - 58 - 164 = 0. Let k(p) = -2*p**2 - 22*p - 24. Let a be k(-10). Does 15 divide 1 - y*a/6?
True
Let o(z) be the second derivative of z**4/6 + 5*z**3/6 - 13*z**2/2 + 16*z. Does 5 divide o(3)?
True
Let c(y) = -28*y - 24. Is 6 a factor of c(-12)?
True
Let b = -257 - -667. Let d = 592 - b. Does 26 divide d?
True
Suppose -26*s + 30*s = 0. Suppose 5*d + 6 - 56 = s. Does 4 divide d?
False
Let s(v) = -8*v**3 - 2*v**2 - 28. Let f(p) = -p**3. Let j(b) = 6*f(b) - s(b). Does 14 divide j(0)?
True
Let u(b) = -233*b**3 - b**2 + 3*b + 1. Let t be u(-1). Let k = t - 116. Is 19 a factor of k?
True
Suppose -109 = 4*h - 5*y, -y = -2*h + y - 54. Is 15 a factor of (h + 15)/(1/(-10))?
False
Suppose 3*n + 2*n = 165. Suppose -4*t = -5*c - 76, 4*c - 2*c + t = -n. Is (-4)/(c/(-50))*-2 a multiple of 14?
False
Suppose 0 = -4*s + 1374 + 354. Is s a multiple of 48?
True
Let m = 582 + -262. Does 8 divide m?
True
Suppose 19*d - 16*d - 9 = 0. Suppose 4*x = 3*r + 52 + 70, 0 = -d*x + 4*r + 88. Does 8 divide x?
True
Let r be 3/(-2)*(-88)/33. Let a be (-55)/r + 10/(-40). Let s = a + 90. Is 26 a factor of s?
False
Let c = -372 - -842. Is 10 a factor of c?
True
Let h(i) = -i**2 - 27*i + 178. Is h(-28) a multiple of 8?
False
Let c(g) = 2*g + 15. Let p be c(-6). Suppose p*f - 108 = -0*f. Does 4 divide f?
True
Suppose 4 + 145 = n. Is 28 a factor of n?
False
Let i(m) = 31*m**2 - 5*m + 4. Let z be i(2). Suppose 9*b + z = 11*b. Does 14 divide b?
False
Let t = -40 + 69. Let l = 81 - t. Is 17 a factor of l?
False
Let g = 172 + -64. Suppose 4*b = b + g. Is b a multiple of 12?
True
Let d(r) = -280*r**2 + 2*r**3 - r + 7 + 136*r**2 + 137*r**2. Is d(6) a multiple of 36?
False
Let z be (-3)/(-30)*-4*-180. Suppose z = -4*s + 8*s. Is s a multiple of 3?
True
Let i be 46/(-3) + (-4)/(-3). Let j(o) = 2*o**2 + 18*o - 14. Does 18 divide j(i)?
True
Let v = 48 + -48. Suppose v = c - 7 - 7. Is c a multiple of 5?
False
Suppose 0 = -5*c - 5*d + 6650, 17*c - 12*c - 6650 = 2*d. Does 7 divide c?
True
Suppose 7*m = 28 - 0. Let y = m - -25. Is 29 a factor of y?
True
Let u(f) = 2*f**2 - 13*f - 63. Is u(20) a multiple of 9?
True
Suppose -2*h - 3*h + 15 = 4*q, -18 = 3*h - 3*q. Let j be -8*(-18)/4 - h. Suppose 7*y - 380 + j = 0. Does 18 divide y?
False
Let s(u) be the second derivative of -u**5/20 + 5*u**4/6 - 7*u**2/2 - u. Let l be s(8). Let c = l - 29. Does 27 divide c?
False
Let d = 87 + -80. Suppose 5*u - d*u = 5*m - 594, -u - 5*m + 307 = 0. Does 41 divide u?
True
Let r = -541 - -990. Is r a multiple of 59?
False
Suppose 2*l - 4*u - 39 = u, -3*l + 36 = -3*u. Let w = l - -11. Let s = 62 - w. Is 11 a factor of s?
True
Let s = -597 - -609. Is 7 a factor of s?
False
Let b(k) = -k**2 + 9*k - 4. Let d be b(7). Let y(o) = o**2 + 13*o + 10. Let n(i) = -5*i**2 - 52*i - 40. Let c(q) = 2*n(q) + 9*y(q). Does 10 divide c(d)?
True
Let d = 47 + 157. Suppose p = -p - 3*m + 77, 4*p = 4*m + d. Is 9 a factor of p?
False
Let o(j) = 25*j**3 - j**2 - 2*j + 3. Let c be o(2). Is (63/(-35))/((-3)/c) a multiple of 13?
True
Let n(f) = -f**3 - f**2 + 2*f + 4. Let s be n(-3). Let r = -14 + s. Suppose 3*u - u = 4*i - 180, 2*u - 78 = -r*i. Is 9 a factor of i?
False
Does 12 divide 4/18 + (-55552)/(-63)?
False
Let r be 2/4 - 276/(-24). Suppose -r = -y + 5*y. Does 5 divide (5/2)/(y/(-30))?
True
Let l(b) = 2*b + 206. Let h be l(0). Suppose -3*u + h = 5*o + 42, -2*o + 62 = 3*u. Is o a multiple of 6?
False
Suppose 9*d + 9*d - 11880 = 0. Does 7 divide d?
False
Suppose -5*b = -2*k - 360 - 1434, 3*k - 729 = -2*b. Is b a multiple of 29?
False
Let u(b) = 4*b**2 + 36. Is 36 a factor of u(6)?
True
Suppose 914 = 5*g - 3391. Is g a multiple of 41?
True
Suppose a - 5 = -2. Suppose 0 = a*t - 0*t - 129. Does 7 divide t?
False
Suppose 264 = u - 4*n, -199*u + 196*u = 2*n - 736. Does 8 divide u?
True
Suppose 0 = 9*y - 12*y + 9. Suppose -y*d - 34 = -5*d. Does 17 divide d?
True
Suppose 93 + 24 = -3*i. Let b = -27 - i. Suppose -4*w = -3*r + 1, -r - 2*w + w = -b. Is 2 a factor of r?
False
Let j(c) be the second derivative of -c**5/20 - c**4/3 + 5*c**3/6 + 3*c**2 + 2*c. Suppose -31*b + 35*b + 20 = 0. Is 2 a factor of j(b)?
True
Let u = -182 - -91. Let i = 147 + u. Suppose 3*a = a + i. Is 14 a factor of a?
True
Let h be 39/(-12)*(-16 - -4). Suppose -57 = -2*d + h. Is 3632/d - 2/(-6) a multiple of 25?
False
Suppose 0*s + h + 898 = 2*s, -4*s + 1782 = 5*h. Suppose -5*v - s + 1873 = 0. Is v a multiple of 15?
True
Suppose -3*q = 5*p - 13 - 1, 0 = -p - 2. Let g be (q - 2) + 8/(-2). Suppose -g*h + s + 31 = 8, 5*h = 3*s + 57. Is 12 a factor of h?
True
Suppose 262*w = 263*w - 2633. Is 33 a factor of w?
False
Let m = 5 + -1. Let y be 66/24 - (-1)/m. Suppose -y*j - j + 104 = 0. Is 9 a factor of j?
False
Let y = -11 + 16. Suppose 4*t = 2*t + 4*a + 530, -y*t - 5*a + 1265 = 0. Suppose c + t = 5*h, 0*h + 4*h + 3*c - 198 = 0. Is h a multiple of 22?
False
Is (-26 - -17)*(-4)/18*2027 a multiple of 10?
False
Let t(d) = -d**2 + 25*d + 33. Let c(f) = 3*f**2 + 4*f + 2. Let u be c(2). Is 17 a factor of t(u)?
False
Let d(v) = -12*v - 1. Let s be (-1 + 19)/3 + 0. Suppose 9 + s = -5*j. Is 12 a factor of d(j)?
False
Let i(s) = s**3 + 4*s**2 - 5*s - 2. Let j be i(-4). Let f be 414/27*j/4. Let d = f + -39. Does 15 divide d?
True
Let n(o) = o + 1. Let y be n(-6). Let v be 5*-1*12/y. Is 8/12 + 76/v even?
False
Let c = 79 + 51. Is c a multiple of 22?
False
Let o(z) be the third derivative of -z**4/24 + z**3 - 3*z**2. Does 6 divide o(-12)?
True
Let v = -14 - -17. Suppose v*k + k = -2*x + 44, 4*k = 3*x - 76. Does 6 divide x?
True
Let q(r) = r**2 + 7*r - 39. Let p be q(-16). Let a = p + -18. Does 29 divide a?
True
Let c = -109 + 98. Let f(x) = -6*x**3 - 12*x**2 - 21*x - 21. Let i(w) = w**3 + w + 1. Let v(y) = f(y) + 5*i(y). Is v(c) a multiple of 16?
False
Let w(m) = m**3 + 6*m**2 + 7*m - 2. Let k be w(-4). Suppose -k*b = 6, c - b = -6*b + 27. Is 6 a factor of c?
True
Let v(q) = 4*q**2 - 2*q - 3. Let x be v(-4). Let l = -48 + x. Does 11 divide l?
False
Let t(f) = -3*f**2 + 2*f - 9. Let v(l) = 2*l**2 - l + 4. Let w(n) = 3*t(n) + 5*v(n). Suppose -4*p + 9*p + 30 = 0. Is 6 a factor of w(p)?
False
Let d be (-68 + -2)*(-3 - -2). Suppose -2*r + 3*a = -95, r + 4*a - a = d. Is 6 a factor of r?
False
Suppose 4 = 11*l - 29. Suppose -3*m + l = 0, -m + 487 = 3*u - 0*m. Is u a multiple of 13?
False
Let j(k) = 21*k**3 + 2*k**2 - 3*k + 5. Let s be j(2). Suppose -4*h + 4*n - 72 - 68 = 0, 4*n - s = 5*h. Does 17 divide (-42)/h*(-340)/(-6)?
True
Let h = 1 + 3. Suppose 0*t - 3*t - 75 = -3*n, -h*t + 89 = 5*n. Is n a multiple of 4?
False
Suppose 0 = -5*p + 2*p + 2*q - 50, p + 16 = q. Does 14 divide ((-16)/3)/(p/189)?
True
Is 62 a factor of -3*4/24*-382?
False
Let y = -5 + 5. Suppose y = -g + 19 + 51. Let d = -35 + g. Does 7 divide d?
True
Let x(m) = m**3 + m**2 + 2*m + 48. Let z be (0/34)/(2/2*-3). Does 8 divide x(z)?
True
Let b(u) be the third derivative of 0 + 0*u - 7*u**2 - 1/6*u**3 + 7/12*u**4. Does 3 divide b(1)?
False
Let u(s) = s**3 + 5*s**2 + 2*s + 4. Let y be (2 + 0)/(1/2). Suppose -8 = y*o - 2*o. Is u(o) a multiple of 3?
True
Let p(f) = 2*f**3 + 3*f**2 - 7*f + 8. Is p(6) a multiple of 11?
True
Let r = 2839 - 2699. Does 10 divide r?
True
Let d(x) = -x**3 - 26*x**2 + 63. Is d(-26) a multiple of 3?
True
Let u(h) = -3*h**2 