2*x, -2*y + 44 = 2*x. Is 11 a factor of x?
True
Let p(l) = 14*l**3 - 2*l**2 + 1. Let g = -15 - -24. Suppose z - g = -3*x - 0*x, 4*z - 4 = 4*x. Is p(x) a multiple of 16?
False
Suppose 0 = 7*d - 114 - 250. Suppose -8*z + 12*z = d. Is 2 a factor of z?
False
Let b = -469 + 781. Does 26 divide b?
True
Suppose 0 = -3*j - 609 + 2793. Is 8 a factor of j?
True
Let w(d) = d**2. Let k be w(0). Let q = -8 - k. Is 160/6 + q/12 a multiple of 13?
True
Suppose 0 = -3*y + 15 - 6. Suppose 0 = -y*b + 26 + 97. Let r = -29 + b. Is 6 a factor of r?
True
Let g = 277 + -132. Is 29 a factor of g?
True
Let g(m) be the third derivative of m**5/60 - m**4/3 - 2*m**3 + 8*m**2. Let i be g(10). Suppose -i*r + 3*r + 30 = 0. Is 6 a factor of r?
True
Let b(k) = -2*k**3 + 23*k**2 - 9*k + 12. Is b(11) a multiple of 5?
False
Is 12 a factor of (-2144)/(-18) - 3/27?
False
Suppose -d + 578 = -198. Suppose 4*c - 3*p = d, -p = 6 - 2. Does 50 divide c?
False
Let i(m) = -4*m + 1. Let p be i(-4). Suppose 156 = 2*h + 3*h - 4*g, -5*h - g = -136. Suppose h = a - p. Is a a multiple of 9?
True
Suppose 74 = -5*k + 39. Is (-30)/(k/5 - -3 - 2) a multiple of 42?
False
Let j(a) = 288*a - 90. Is 18 a factor of j(1)?
True
Let q be 4/(-18) + (-2124)/(-81). Let l be (-4)/q + (-37)/13. Let j = l - -7. Is 3 a factor of j?
False
Let v(g) = 3*g**2 - 10*g - 21. Let o be v(9). Suppose 0*q = -2*q - 3*r + 93, -2*r + o = 3*q. Does 21 divide q?
True
Let i = 22 + -20. Is 1 + (-70)/(-2) - i a multiple of 17?
True
Let z be 1/(2*(-2)/(-20)). Suppose -z*b = 35 - 115. Is 6 a factor of b?
False
Let u = -4 + 4. Suppose 0 = -0*g - 2*g - m + 4, u = -5*g + 4*m + 23. Suppose 0 = g*v - 6 - 57. Is 7 a factor of v?
True
Let z(f) = -f + 1. Let c(t) be the first derivative of -8*t**3/3 + 6*t**2 - 8*t + 5. Let r(v) = -c(v) - 10*z(v). Is 13 a factor of r(2)?
True
Suppose -521 + 1513 = 8*k. Let a = -52 + k. Is a a multiple of 6?
True
Let l(s) be the third derivative of s**5/60 + s**4/3 + 7*s**3/6 - 4*s**2. Let w be l(-7). Suppose -5*z = -4*i + 97, w = -i - 2*i - 5*z + 99. Does 14 divide i?
True
Let o be 1/(-1*3/(-372)). Let h = o - 83. Suppose -83 = -4*v + h. Does 9 divide v?
False
Suppose 14*h = 2372 + 3788. Is h a multiple of 20?
True
Let u = -2 + 6. Suppose 5*x = -4*f + 159, -6*x + 3*x + 121 = -u*f. Is 10 a factor of x?
False
Let l = 2395 - 1399. Does 9 divide l?
False
Suppose -2*y + 268 = a, -4*a - 2*y = -5*y - 1094. Does 40 divide a?
False
Suppose 5*r - 1690 = -5*o + 730, -3*r - 1943 = -4*o. Suppose -4*c + o = -n, -3*n + 239 = 2*c - 0*c. Is c a multiple of 22?
False
Let b = 186 + -18. Let m = b + -68. Does 14 divide m?
False
Let u(r) = 7*r**2 - 5*r - 48. Is u(-7) a multiple of 5?
True
Suppose 0 = -4*w - 2*a + 8, -5*a + 14 = -6. Let b(p) = -8*p + 72. Is b(w) a multiple of 4?
True
Let w be ((-6)/4)/(24/(-64)). Let n(m) = m**2 - m. Let y be n(w). Suppose 8*s + 124 = y*s. Is 8 a factor of s?
False
Let l be 2/9 + 83/(-9). Suppose -2*y + 6 = y. Does 32 divide (-74)/3*l/y?
False
Suppose 0 = 3*q + 50*q - 94128. Is q a multiple of 37?
True
Let a(d) = -d**3 - 2*d**2 + 8*d + 12. Suppose -24 = 2*f - 2*n, f = -n - n. Let w be a(f). Suppose s - 3*l - 11 = 61, 5*s - l - w = 0. Does 22 divide s?
True
Let s(f) = 0*f - 3*f + 3 + 1330*f**2 - f**3 - 1328*f**2. Is s(-3) a multiple of 11?
False
Suppose 10*s - 36 = s. Is (s/(-5))/(5 + 2505/(-500)) a multiple of 9?
False
Let m = -704 + 2251. Is m a multiple of 11?
False
Suppose 51 = -z - 0*z + 3*f, -201 = 5*z + 3*f. Let n be 5*-3*z/45. Does 11 divide (77/n)/(1/2)?
True
Let j(n) be the second derivative of 7*n**3/6 - 11*n**2/2 + 5*n. Is 12 a factor of j(17)?
True
Let m = 67 + -70. Is 5 a factor of ((-2937)/9)/(-11) + 2/m?
False
Let y = 13 - 10. Is 16 a factor of -3 - y*(-4 + -29)?
True
Suppose 4*v - 11 = 3*n, -3*v + 1 + 11 = -3*n. Let w(t) = 20*t**3 + t**2 + 2*t + 1. Let a be w(v). Let k = a + 28. Is 4 a factor of k?
True
Let t be 3/(-2)*12/9. Is 4/12*20*(-6)/t a multiple of 4?
True
Is 28 a factor of 8/12*2*84?
True
Let s(i) = i**3 - 7*i**2 - 11*i - 5. Suppose -2*p - 1 = -67. Suppose 18 = -j + 2*j + 3*u, -4*j + u + p = 0. Is 21 a factor of s(j)?
False
Let j(r) = -r**2 - 12*r - 2. Let a be j(-5). Suppose u + 59 = -4*x - 0*u, a = -2*x + 3*u. Is ((-18)/x)/(9/330) a multiple of 18?
False
Suppose -3*k + 16 = -44. Suppose z + k = 3*z. Is 8 a factor of 2/(-4) + 275/z?
False
Let h be 2120/28 - 2/(-7). Let a = 230 - 93. Let q = a - h. Is 29 a factor of q?
False
Let b(z) = z**2 + 13*z + 27. Let d be b(-11). Suppose s - 43 = -d*i, 4*i = 5*s + 5*i - 95. Does 9 divide s?
True
Let i(t) = 4*t**3 + 6*t**2 + 42*t - 38. Does 14 divide i(8)?
True
Suppose 0 = -14*m - 2713 + 11323. Is 41 a factor of m?
True
Let d(u) = 2*u - 12. Let s be d(8). Let q = -23 + s. Does 9 divide 10/(-10) - q/1?
True
Suppose -34 = -3*o + 2*o - 3*q, -2*q = 3*o - 109. Let i = 36 - o. Is 28 a factor of i - (-57)/(0 - -1)?
True
Suppose 4*q + 5*f = 23, -q = -3*f + 6 + 1. Suppose -165 = -q*u + 213. Is u a multiple of 63?
True
Let b = 1594 + -1094. Does 20 divide b?
True
Let a(y) = -2*y**3 - y**2 - 3*y + 4. Let w be a(4). Is 5 a factor of ((-2)/8)/(2/w)?
False
Let s(z) = 8*z + 6. Suppose 2*x = 2*p - 7*p - 33, -p = -4*x - 11. Let y(f) = f**3 + 6*f**2 + 4*f + 8. Let b be y(p). Does 26 divide s(b)?
False
Let s = -83 - -81. Is 32 + 0 + s + 2 a multiple of 13?
False
Let j be -1 + (-1 - 2) - -5. Let v(d) = 12*d**2 + 3*d - 3. Does 12 divide v(j)?
True
Suppose -4*y - 3*r = r - 24, 4*y - 3*r = 10. Suppose 14 = 3*a - y. Suppose a*l - 495 = l. Is l a multiple of 33?
True
Let c(q) = q + 3. Let u be c(-9). Let b = 8 - u. Is 6 a factor of b?
False
Let v(z) = -z - 7. Let h be v(-8). Is (-18)/(h/(-1) - 0) a multiple of 9?
True
Is 6 a factor of 3/(1 - 13)*-1012?
False
Suppose -n = -4*o - 419, 8 = 3*o - 5*o. Suppose -3*d = -2*x + 99, 2*x - 5*d = x + 39. Is 12/x - n/(-9) a multiple of 9?
True
Suppose -2*q - 3*q = -0*q. Suppose -2*p + 117 + 9 = q. Is p a multiple of 28?
False
Suppose b = 2*k - 9, -4*b = 2*k + k - 41. Let q be (52/(-14) - -4)*k. Suppose -q*o = 3*o - x - 259, -3*x + 141 = 3*o. Is 17 a factor of o?
True
Let g = -42 - -88. Suppose 3*a + 5*t - g = 0, 4*a + 2*t = -t + 65. Is a a multiple of 2?
False
Is 2 a factor of 34*3/(-24)*-16?
True
Suppose 4*m - 4*p - 12 = p, 0 = 5*m - 2*p - 15. Suppose -2*s - 2*g = -3*s + 6, 63 = m*s + 3*g. Does 14 divide s?
False
Let m be -6*(-2)/(-4)*(-15)/9. Suppose 2*q + q = 3*r + 366, m*r = q - 130. Is 15 a factor of q?
True
Let g = -262 - -458. Is 18 a factor of g?
False
Is (-362)/8*(11 + -43) a multiple of 5?
False
Let y be 6/(-33) + 8/44. Let k be y/(-4) + 2*6. Let g(c) = c**3 - 11*c**2 - 3*c - 20. Is g(k) a multiple of 16?
False
Suppose -2*l - 2*b = 36, 2*l + l = -4*b - 59. Is 17 a factor of (-2)/l + -4*990/(-117)?
True
Let l(o) = o**3 + 4*o**2 + 3*o + 5. Let d be l(-3). Suppose 279 + 266 = d*t. Is t a multiple of 21?
False
Let y be 2/3*(-30)/20. Let t be -1 + y*(6 - 3). Does 26 divide (-2095)/(-20) - (-3)/t?
True
Suppose 310*c - 306*c = 6560. Does 20 divide c?
True
Suppose -3*i = 3*s - 0*i - 804, 0 = -2*i + 4. Is s a multiple of 22?
False
Suppose -2*w + m = w - 5, 3*w + 7 = 4*m. Suppose -3*s = -5*h - 69, -w*s - 4*h = -6*s + 72. Does 28 divide s?
True
Let d(l) = -l**3 + 6*l**2 + 5. Let m be d(6). Suppose -4 - 23 = -k + n, -105 = -5*k - m*n. Is 17 a factor of k?
False
Is 14096/14 - (-13)/91 a multiple of 19?
True
Suppose -4*u = -0*f - f + 89, 113 = -5*u + 3*f. Let d be (10/(-3))/(u/33). Suppose d = m - 13. Does 9 divide m?
True
Let n = 20 + -17. Suppose -18 - 87 = -3*x. Suppose -3*h + n = -0*h, -4*u + x = 3*h. Is u a multiple of 5?
False
Let w(s) = s**3 + 9*s**2. Let q be w(-9). Suppose 0 = -4*u - q*u + 396. Is 8 a factor of (-112)/(-11) + (-18)/u?
False
Suppose -3*h + 2*o + 1393 = 0, -h + 230 + 225 = -3*o. Suppose -4 - h = -3*z. Suppose -b + z = 48. Is b a multiple of 33?
False
Suppose -4*v + 1292 = 45*k - 44*k, 0 = 3*k + 4*v - 3852. Does 32 divide k?
True
Let j(n) = -6*n**3 + 7*n**2 + 11*n + 4. Let r be j(-3). Suppose -r = 3*a - 10*a. Is 10 a factor of a?
False
Let x(o) = o**2 - 15*o + 22. Let m(t) = -21*t - 2. Let h be m(-3). Suppose 0 = 3*n - 2*f - h, -4*n + 2 + 61 = f. Is 14 a factor of x(n)?
True
Let c be -5 - 5/((-20)/36). Suppose -2*w + 32 = c*q, -4 = -3*q + 5. Is w a multiple of 5?
True
Let c(k) = -3*k + 3. Let s(h) 