x = 0. Suppose x = -5*w - j - 3*j + 13, -4*w - 5*j = -5. Suppose 4*s = -2*v + 9*s + 98, 5*v - 210 = -w*s. Does 17 divide v?
False
Does 14 divide (9720/210)/(2/28)?
False
Suppose -37 = -2*p + n, 5*n = 3*n - 6. Let h = 3 + -2. Let b = p + h. Is 6 a factor of b?
True
Let z(t) = -899*t + 167. Is z(-2) a multiple of 15?
True
Let b = 39 - 60. Let m be (-12)/9*b/4. Suppose m*l = 3*l + 2*q + 164, -4*l - 4*q + 176 = 0. Is 14 a factor of l?
True
Let s(n) = n + 7. Suppose 9*t = 19*t - 120. Does 7 divide s(t)?
False
Let y(b) = b**2 - 4*b. Let r be y(6). Let c = 227 + -229. Is r*3/2 + c a multiple of 8?
True
Suppose 25*o - 24300 = 16*o. Is o a multiple of 12?
True
Let o = -34 + 66. Suppose 3*a - 1 = o. Suppose 9 = -5*l - a, c = 2*l + 41. Does 11 divide c?
True
Let g be 6/3 - (3 - 3). Suppose 0 = g*h - h. Is 11 a factor of ((-33)/15 - h)*-5?
True
Let r = 11 + 8. Suppose -r*f - 296 = -23*f. Is 15 a factor of f?
False
Let l(v) = -19 + v + 6 + 10. Let o be l(6). Let b(w) = w**2 + 3*w - 2. Does 4 divide b(o)?
True
Let m(s) = s**3 + 3*s**2 + s + 6. Let c be m(3). Suppose -65 = -4*q + c. Let b = -10 + q. Is b a multiple of 11?
True
Is (912/56)/(1/28) a multiple of 19?
True
Let t(u) = u**3 + 5 + 0 + 3*u - 2*u**2 + 12*u**2. Let v = 62 - 66. Is t(v) a multiple of 27?
False
Let u be 1*(-1 + 2)*5. Suppose 6*g - u*g = 0. Is (1 - 15)/(g - 1) a multiple of 14?
True
Suppose -120 + 432 = y. Suppose 2*a = -2*a + y. Is a a multiple of 26?
True
Suppose -22 - 554 = -2*b. Is 18 a factor of b?
True
Let l(a) = 2*a**2 + 8*a + 6. Suppose 4*x - 15 - 1 = 0. Suppose x*t = -4*z - 20, -z = z - 2*t + 14. Does 10 divide l(z)?
True
Let a be ((-22)/55)/(3/(-2865)). Suppose a = 2*t + 152. Does 18 divide t?
False
Let r(g) be the second derivative of 5*g**4/6 - g**3/6 - 7*g**2/2 + 6*g. Is r(3) a multiple of 20?
True
Suppose -1006 = 8*k - 2422. Is 25 a factor of k?
False
Let i(j) = j**3 + 7*j**2 + 7*j + 2. Let h be i(-6). Let x(o) be the second derivative of -o**5/20 - o**4/4 + o**3/6 + 3*o**2/2 - 2*o. Is x(h) a multiple of 5?
True
Suppose 65*t - 62*t = 1815. Is t a multiple of 35?
False
Let d = -41 + 21. Let z be 36/10*d/(-6). Does 18 divide ((-8)/z + 0)*-102?
False
Let r(b) = -4*b + 10. Let v be r(-3). Does 22 divide (-4)/v - (-970)/11?
True
Let y(z) = -58*z**3 + 2*z**2 - 3*z + 2. Let t be y(1). Let x = t + 72. Does 15 divide x?
True
Let z(y) = -y**2 + 2*y + 3. Let g be z(3). Suppose g = -p + 8 - 7, 2*x = -p + 307. Is x a multiple of 51?
True
Let q(u) = -u**2 - 5 - 2 + 5*u - 12*u**3 + 11*u**3 + 4. Let v be q(-4). Is 1 + (v - 0)/1 a multiple of 22?
False
Let w(k) = 3*k + 26. Suppose 9*h = 4*h - a + 40, -2*h - 2*a + 16 = 0. Is 11 a factor of w(h)?
False
Let u(j) = -j**3 - 10*j**2 + 9*j + 15. Let b be u(-11). Suppose b = g + 3*o - 17, 2*g = 2*o + 132. Does 15 divide g?
False
Suppose -j = -3*j + 226. Suppose -86 - 78 = -4*l. Suppose -3*a - l = -j. Is a a multiple of 8?
True
Let y be 33*(3 - 10/3). Let x = y + 11. Suppose -3*m - 2*m + 35 = x. Does 7 divide m?
True
Let g = 847 - -76. Does 71 divide g?
True
Let z = 921 - -84. Does 54 divide z?
False
Let n(h) = 19 - h**2 + h + 17 + 1. Is 5 a factor of n(0)?
False
Let c(a) be the second derivative of 5*a**3/6 - 3*a**2 - 4*a. Let g be c(4). Does 8 divide 105/g + 6/4?
False
Suppose -11*b = -8*b - 63. Is 1/(-7) + 6177/b a multiple of 27?
False
Let n(a) be the third derivative of a**5/30 + a**3/2 + a**2. Is 15 a factor of n(6)?
True
Let h(b) = 16*b**2 - 11*b - 12. Does 25 divide h(9)?
False
Let p(h) = -h**2 + 11*h + 15. Let k be p(11). Suppose 2*n = 6*n - 2*v - 6, -k = -4*n - v. Let u(z) = 5*z**2 + z - 2. Is 11 a factor of u(n)?
False
Let h(y) = 3*y - 2 - 6 + 5*y + 8*y**2 + 0 - y**3. Let v be h(9). Let u = -3 - v. Does 8 divide u?
False
Let t(n) = n**3 + 14*n**2 + 10*n - 12. Let u be t(-10). Suppose -j - 8*j + u = 0. Does 27 divide j?
False
Suppose 4*k + 27 = 171. Let n = k - 26. Let t = n - -4. Does 14 divide t?
True
Let v(l) be the third derivative of -49*l**4/24 + l**3 - 4*l**2. Let m be v(-3). Suppose 2*j - 5*q - 46 = 0, -5*j + 2*q = -q - m. Does 11 divide j?
True
Let u be ((-10)/7)/((-329)/(-49) + -7). Suppose u*w = -q + 438, 2*w - 356 = -2*w + 2*q. Is 8 a factor of w?
True
Suppose -5*z - 3*v + 3 = 0, -1 = -3*z - 5*v + 4. Suppose z*t - 3 = -t. Suppose -3*u = 2*a - 9 - 1, -t*u = -2*a + 34. Is 9 a factor of a?
False
Let h = 115 + 109. Is 14 a factor of h?
True
Suppose 0 = 3*b + 3*b - 1320. Is b a multiple of 5?
True
Suppose 3*s - 2*c - 39 = 0, -2*s = -0*s - 4*c - 18. Is (-10)/(-25)*141 - (-9)/s a multiple of 10?
False
Suppose 31 + 49 = 4*o. Let k(m) = m**2 + 8*m + 3. Let b be k(-6). Let g = b + o. Is 11 a factor of g?
True
Let s(h) = -142*h**3 + h**2 - h - 1. Is s(-1) a multiple of 11?
True
Let f = 245 - 145. Is 25 a factor of f?
True
Let y(q) = 171*q - 1037. Does 141 divide y(25)?
False
Let q be 64/12 - (-1)/(-3). Let x(l) = 264*l**2 - q*l + 0 - 262*l**2 - 4. Is 17 a factor of x(7)?
False
Is 7 a factor of 3 - 2 - (-312 + 5)?
True
Let j = 1280 + -880. Is 9 a factor of j?
False
Suppose 3*p = 6*p - 6. Suppose p*d = 5*d - 132. Is d a multiple of 8?
False
Let k be 3 - 3 - 6/9*-3. Suppose 5*q + 193 - 503 = 5*p, 0 = 3*q - k*p - 183. Is q a multiple of 6?
False
Suppose 4*t - 144 = -5*i, 0*i = -i + 4*t + 48. Suppose 280 = 3*r - i. Does 8 divide r?
True
Suppose -392 - 122 = -d + 3*z, -5*d - 4*z = -2551. Suppose 29 + d = 9*b. Is 9 a factor of b?
False
Suppose 2*z + 0*z - 5*g - 140 = 0, -3*z + 215 = -5*g. Suppose -3*q = 2*q - z. Is q a multiple of 7?
False
Suppose 3*o + 3*d + 2*d - 31 = 0, 20 = 5*o + 2*d. Suppose -g + 3 = 3*h, -h - 14 = -o*g + h. Suppose 3*c = c + g. Is c a multiple of 3?
True
Let n = 124 + -119. Suppose -n*t = -8*t + 465. Is t a multiple of 10?
False
Suppose 0 = -66*p + 14520 + 4818. Is p a multiple of 92?
False
Suppose r = 2*r - 2. Suppose m = -5*k - 3 + 5, -m = -4*k - r. Does 3 divide ((-12)/20)/(m/(-10))?
True
Let q(z) = z**3 + 7*z**2 - 5*z - 14. Let l(y) = -15*y + 9. Let c be l(1). Is q(c) a multiple of 3?
False
Let w(y) = -y**3 + 2*y**2 + 5*y - 3. Let c(f) = -f**3 + f - 1. Let v be c(1). Let q(g) = -2*g**3 - g. Let o be q(v). Does 2 divide w(o)?
False
Suppose u - 4*u = -18. Let g(d) = -d**3 + 7*d**2 - 5*d - 8. Let f be g(u). Is (f/6)/((-2)/48) a multiple of 4?
True
Let l = -206 - -35. Let b = -36 - l. Is b a multiple of 31?
False
Suppose 4*s - 92*k - 1172 = -88*k, -3*s + 5*k + 873 = 0. Does 3 divide s?
False
Is 13 a factor of 479321/785 - 4/(-10)?
True
Suppose 287 = 21*f - 14*f. Does 4 divide f?
False
Suppose 4*m - 9 + 1 = 0. Is 27 a factor of (-3 - 1)/m + 137?
True
Is (96 + 1074)*(-6)/(-4) a multiple of 15?
True
Let p = 43 - 27. Suppose 3*w - p = -w. Suppose -w*r - 46 = -3*f + 19, 4*r - 4 = 0. Does 6 divide f?
False
Suppose 1210 = 5*j - 3*y + 424, -2*y + 776 = 5*j. Let b = 258 - j. Is b a multiple of 21?
False
Suppose 0 = p - 5, 2*h = -0*h - 3*p + 201. Is 23 a factor of h?
False
Suppose -2 = 17*w - 18*w, 0 = -l + 2*w + 440. Is 37 a factor of l?
True
Suppose 3093 - 20213 = -10*z. Does 49 divide z?
False
Suppose 2*i + 24 = 28. Suppose i*j - 5*j = -735. Does 35 divide j?
True
Let f = 119 + -106. Suppose -f*n + 30 = -8*n. Is 6 a factor of n?
True
Let b(q) = -172*q - 5. Let k be b(-2). Is 5 a factor of 3 - ((-6)/(-9) + k/(-9))?
True
Let v(y) = -y**3 - 8*y**2 - 5*y - 12. Let m be 56/42*-1*6. Does 15 divide v(m)?
False
Let d = -628 - -1385. Is d a multiple of 13?
False
Suppose 0 = 2*d - 5*k - 326, 5*d + k + 100 - 969 = 0. Is d a multiple of 20?
False
Suppose -5*c + 4*i = 23, -3*c - i = -7*c - 14. Let a = 22 - c. Let g = a + -13. Is g a multiple of 6?
True
Let i = 144 + -81. Is 24 a factor of i?
False
Suppose -3*d = -q - 4, -4 = -3*q - 4*d + 10. Does 17 divide ((-10)/(-15) + (-1016)/(-6))/q?
True
Let s(n) = -521*n**3 - 3*n - 2. Is 51 a factor of s(-1)?
False
Let q(w) = 4045*w**3 + 2*w**2 - 16*w + 13. Is q(1) a multiple of 109?
False
Let m be (-1 + -7)/(-2) + -51. Let k = -9 - m. Does 8 divide k?
False
Let o(q) = -q**3 + 25*q**2 + q - 20. Let b be o(25). Suppose 3*g = -p + 72, -2*p - 3*g - 240 = -b*p. Is 9 a factor of p?
False
Suppose -4*d + 6*j = 2*j + 4, 4*d = -2*j + 20. Suppose -3*p + 112 = -d*h + 8*h, 0 = -p - 3*h + 32. Does 9 divide p?
False
Let i(o) = -4*o + 2. Let k be i(6). Let n = 33 - k. Is 11 a factor of n?
True
Suppose -2*n - n = 2