tor of r(33)?
True
Suppose 2*c - 173 = -m, -m + 97 = 4*c - 72. Does 11 divide m?
False
Let x(g) = g**3 + 3*g**2 - g + 4. Let j be x(-3). Let a(z) = 3*z - 11*z + 5*z + 5*z - 3. Does 6 divide a(j)?
False
Let n(f) = 6*f - 11. Let c(h) = 7*h - 12. Let r(s) = 5*c(s) - 6*n(s). Is r(-7) a multiple of 4?
False
Let l(v) = -15*v**3 - 5*v**2 - 4*v + 7. Let g be l(-3). Is g/10 + 3/30 a multiple of 16?
False
Let x = 188 + -109. Suppose 0 = -t + x - 22. Let a = t + -39. Does 6 divide a?
True
Suppose 7947 = -3*t + 62283. Let a be t/56 + 4/7. Suppose 2*q + a = 5*q. Does 25 divide q?
False
Suppose 9*t - 10561 = 5207. Does 12 divide t?
True
Let g(y) = 2*y**2 - 39*y - 48. Does 10 divide g(26)?
True
Suppose b - 424 = -k + 109, -3*b = k - 541. Is 23 a factor of k?
True
Suppose 88*y - 78*y = 7110. Does 6 divide y?
False
Let v be 0 - (2 + 6)/(-4). Let y be 0 + 2 + -25 + v. Let c = 67 - y. Is c a multiple of 27?
False
Suppose -5*m = -m + 3*m. Suppose m*u = -2*x - 5*u + 279, -3*x - 3*u = -414. Is x a multiple of 20?
False
Does 72 divide 11/275*5 + 15836/20?
True
Let k be ((-13)/(-2))/((-2)/(-4)). Suppose 0 = 5*i - 3*t - 16, 5*i - 44 + k = -2*t. Suppose 2*j + 81 = 3*s - 0*s, 4*j - 157 = -i*s. Is 14 a factor of s?
False
Let v(q) = 50*q**2 - 8*q - 21. Is v(-2) a multiple of 7?
False
Let k = -122 - -109. Is 13 a factor of k/((12/(-8))/3)?
True
Let g = -42 + 66. Suppose 0 = -0*c + 2*c - g. Suppose c = m - 0*m. Is m even?
True
Suppose 4*p + p + 60 = 0. Let k(j) = -j**3 - 13*j**2 - 12*j - 4. Let d be k(p). Let z(y) = -13*y - 4. Is z(d) a multiple of 16?
True
Let s(z) = z**2 + 4*z - 3. Let h be s(-5). Suppose 96 = h*p + 2*p. Does 8 divide p?
True
Let i be (12/4 - 0) + 3. Let a(n) = 14*n**3 + 5*n**2 - 8*n - 4. Let l(b) = -5*b**3 - 2*b**2 + 3*b + 1. Let j(u) = i*a(u) + 17*l(u). Does 3 divide j(-5)?
True
Let w(d) = d**3 - 2*d**2 - d - 6. Let j be w(0). Does 37 divide -2*((-183)/j)/(-1)?
False
Suppose -5*y = -3*k - 2703, 3*y = -5*k + 292 + 1323. Suppose 13*l - y = 8*l. Is l a multiple of 9?
True
Suppose -189 = -2*q - 5*u, 4*q - 351 = 30*u - 31*u. Is q a multiple of 3?
True
Let h(c) = 3*c**2 + 4*c - 1. Let f be h(-2). Suppose 0 = f*a + 5*x - 54, 2*a - a - 29 = 2*x. Let k = 52 - a. Is 7 a factor of k?
False
Let f(d) = 84*d - 23. Is 5 a factor of f(2)?
True
Let a be (-3 + 4)/(2 - 3). Is 11/((3 - a) + -3) a multiple of 8?
False
Let h(s) = 3*s**2 + 54*s + 34. Is 14 a factor of h(22)?
True
Let d = 17 - 14. Suppose v - 109 - 95 = -4*j, d*j = 2*v - 353. Is 9 a factor of v?
False
Let r(c) = -3*c + 20. Let i be r(5). Suppose -3*n + i*n - 170 = -4*m, 3*m = -n + 80. Does 18 divide n?
False
Suppose -18 = -n + 21. Suppose 0 = 3*k - n - 69. Does 12 divide k?
True
Suppose 0 = 36*m - 232 - 1100. Is m a multiple of 4?
False
Let t(k) be the second derivative of -1/20*k**5 - 1/2*k**4 + 13/2*k**2 + 1/6*k**3 - 3*k + 0. Is t(-6) a multiple of 7?
True
Let p be ((-3)/(-12))/(1 + 1190/(-1192)). Let j = 161 - p. Is j a multiple of 3?
True
Suppose -38*f = -44*f + 60. Is 3 a factor of f?
False
Let i be (3/9)/(2/12). Suppose -672 = 147*s - 155*s. Suppose -3*y = -i*x + 233, -x - 4*y = -60 - s. Does 22 divide x?
False
Let z be ((-24)/(-9) + -3)*0. Let k(c) = c**3 + c**2 + 2*c + 2. Let i be k(z). Suppose i*r - 5*w = 7 + 32, -3*r + 67 = w. Is 11 a factor of r?
True
Let o(p) = 4*p - 5. Let b = 27 + -24. Let x be o(b). Suppose 3*g + x = 121. Is g a multiple of 11?
False
Let p(f) = -f**2 - 12*f + 12. Let d(b) = -b**3 + 2*b**2 + b + 2. Let k be d(2). Let z be 3/(0 + k/(-16)). Is 11 a factor of p(z)?
False
Suppose -6*m + 2844 = -2952. Does 14 divide m?
True
Let l = -36 + 264. Suppose -6*v + 4*v + l = 0. Let d = v - 78. Is 12 a factor of d?
True
Let k be 544/20 + 2/(-10). Suppose 3*u - k = -h - 2, 21 = h + 2*u. Does 4 divide h?
False
Let b = -515 + 899. Is b a multiple of 16?
True
Let b(h) = h**2 - 5*h + 2. Let m be b(5). Suppose m*f - 55 = 43. Is f a multiple of 6?
False
Let q = -27 + 18. Let j = q - -73. Does 16 divide j?
True
Suppose 18 = 12*f - 18. Suppose f*x + 5*x = 1240. Does 32 divide x?
False
Let t(f) = -7*f - 2. Let j be t(5). Let h = -21 + -42. Let k = j - h. Is 13 a factor of k?
True
Suppose 0 = -2*p + 11*t - 10*t + 1523, -5*p + 3803 = -t. Is p a multiple of 40?
True
Let u(h) be the second derivative of 67*h**4/6 + h**3/6 + h**2 - 29*h. Does 45 divide u(-1)?
True
Let g(p) = -p**3 - 2*p**2 + 8*p + 1. Let t be g(-4). Let v = 40 - t. Does 13 divide v?
True
Suppose -52 = 10*i - 472. Does 14 divide i?
True
Suppose 5*v = 650 - 20. Does 21 divide v?
True
Suppose -2*z + k - 48 - 135 = 0, -465 = 5*z + 5*k. Suppose 2*u = u - 50. Let b = u - z. Is b a multiple of 14?
True
Suppose -4*m - 10*o = -8*o - 2578, 2*o = -2*m + 1284. Is m a multiple of 36?
False
Let o = -847 + 1417. Does 63 divide o?
False
Let l(j) = j - 1 + 3 + 4*j - 9. Let w = 98 - 90. Does 33 divide l(w)?
True
Suppose 0 = -35*l + 10508 + 38912. Is 15 a factor of l?
False
Suppose -k + 6 = -5*m - 5, -k - 1 = -m. Does 56 divide (m + 33)*-2*(-10)/3?
False
Let s(m) = m**2 - 8*m + 11. Let f be s(7). Suppose -d + 3*d = 2*t + 76, d - 23 = f*t. Suppose -4*h + 49 + d = 0. Does 6 divide h?
False
Let g = -17 + 15. Let j(t) = 3*t**3 + t**2 + 2*t. Let i be j(g). Does 4 divide 18/(-48) + (-105)/i?
True
Suppose 5*x + 4*d = 4*x + 15, 3*d = -5*x + 24. Does 2 divide 1/(98/32 - x)?
True
Suppose -2*j = -2*d + 538, 4*j - 1332 + 14 = -5*d. Is 17 a factor of d?
False
Suppose 8*z + 44 - 12 = 0. Is -1*(z/(-10) + (-306)/15) a multiple of 5?
True
Let j(w) = 7*w**2 - w. Let p be j(1). Suppose 0 = -p*h + h + 735. Does 14 divide (-3)/(h/(-138) + 1)?
False
Let i be 12/(-14)*(-56)/12. Let f be (-274)/i + (-6)/(-4). Let v = f - -115. Is v a multiple of 16?
True
Let z be 1/((28/(-16))/(-7)). Suppose 0 = -3*g + y + 191, z*y + 0*y + 206 = 3*g. Is g a multiple of 10?
False
Suppose 0 = -0*f + 3*f + 30. Let h(r) = -5*r**2 - 7. Let l(j) = -3*j**2 - j - 3. Let o(q) = 4*h(q) - 7*l(q). Does 4 divide o(f)?
False
Let p(g) = 24*g + 19*g - 54*g + 19*g. Let h = -11 - -18. Is 14 a factor of p(h)?
True
Let l(w) = -w**2 + 10*w - 3. Let j(u) = -u**2 + 15*u - 6. Let h be j(14). Let p be l(h). Suppose p*m - 12*m - 65 = 0. Does 13 divide m?
True
Let q(j) = j**2 - 7*j + 6. Let p(w) = w + 11. Let y be p(-5). Let b be q(y). Suppose 0 = c + c + 2*o - 114, b = 2*c - 2*o - 98. Is 13 a factor of c?
False
Let q(k) = 16*k - 5. Let l be q(10). Let m be (-16)/(-24) + l/(-3). Let h = -29 - m. Is 11 a factor of h?
True
Suppose -3*k + u = -144, -2*k + 16 = -4*u - 90. Let w = k - -73. Suppose 3*y - 169 = 4*m, 3*y - y + m = w. Is y a multiple of 16?
False
Suppose -887 = -w - 3*n, 4*w - 2*w = 5*n + 1796. Suppose -14*l = w - 3385. Does 19 divide l?
False
Suppose -15 = 14*a - 19*a. Suppose -184 = -a*f - f. Does 6 divide f?
False
Let q = 353 - -286. Is q a multiple of 5?
False
Let k(f) = -6*f - 18. Suppose -2*b - 5*c = -15, -2*b - 3*c + 3 = -2. Is 2 a factor of k(b)?
True
Let n be (-5)/(20/(-12)) + 8. Let c = -11 + n. Suppose u = -c*u + 38. Is 19 a factor of u?
True
Let w(j) = -j**2 - 11*j - 3. Let q be w(-11). Does 23 divide 80/1 + 3 + q?
False
Let s be 108/21*14/3. Suppose 0 = 23*p - s*p + 36. Let w = p - -33. Is w a multiple of 29?
False
Let k(h) be the first derivative of -h**3/3 - 19*h**2/2 - 15*h - 9. Does 15 divide k(-15)?
True
Let i(c) = -2*c + 31. Let s be i(15). Let o(l) = 61*l - 1. Does 12 divide o(s)?
True
Let m(a) = 8 - 3 - 13*a + 12*a. Let x be m(3). Suppose x*p + p = 69. Is 6 a factor of p?
False
Suppose 35*a - 33*a - 236 = 0. Suppose 0*y - 4*y = 284. Let s = a + y. Is s a multiple of 13?
False
Let t(w) = 2*w + 9. Let k be t(-6). Let d be 7 + (-4)/4 + k. Suppose -55 = -4*j - z + 3, d*j - 55 = 5*z. Does 4 divide j?
False
Suppose -i + 3 = 5*b - 4*i, 0 = b - 5*i - 5. Suppose 5*l - 29 = -3*h, b*l + 3*l - 3 = 3*h. Suppose 0 = w + w + 10, -5*w = -h*k + 79. Is k a multiple of 6?
True
Let c(w) = -w**3 + w**2. Let m be c(0). Suppose -27 = -b - m*b + 3*k, -2*b + 2*k = -74. Is b a multiple of 16?
False
Let n = 32 + -28. Suppose 0*f + a + 248 = n*f, f - 3*a = 51. Is 8 a factor of f?
False
Suppose 3*c = -3*c + 3*c. Suppose c = k + 5*v - 8, -4*k + 2*v + 109 = 33. Is k a multiple of 17?
False
Suppose 5*p + 5*z + 6 = -4, z + 10 = 3*p. Let d(i) = 6 - 3 + 3*i**2 + 2 - p*i. Is d(4) a multiple of 15?
True
Suppose -6 - 51 = h. Let i