/((-16)/f)?
True
Let x = -57 - -53. Does 5 divide 2/4 + (-3 - 126/x)?
False
Let f(c) = -c + 42. Let h be f(0). Let s = 3 - h. Let p = 14 - s. Is 11 a factor of p?
False
Suppose 15*s + 2576 = 31*s. Is 9 a factor of s?
False
Suppose 4*w = -5*m - 363, 4*w = -m - 51 - 12. Let g be ((-25)/m)/(1/12). Suppose 97 = k - j - 3*j, 2*j - g = 0. Does 21 divide k?
True
Let k = -1 + 21. Suppose -r + k = -6*r. Is 2 - r*(6 - -2) a multiple of 17?
True
Suppose -a = 2*w - 5*a, -4*w + 18 = -2*a. Suppose -w*u + 75 = 15. Does 5 divide u?
True
Let q(b) = b**3 - 2*b. Let s be q(2). Suppose s*p = -5 + 17. Suppose -5*g + p*u = -128, -3*g + 62 + 6 = -4*u. Is 18 a factor of g?
False
Suppose -3*f = -5*i - 664, -4*i = 6*f - f - 1119. Does 9 divide f?
False
Suppose -22 = -5*j - 12. Is 13 a factor of j/((4/52)/1)?
True
Suppose 0 = -2*n + 2, 4*r + 6*n = n + 17. Let b(s) = s + 7. Let d be b(-5). Suppose 2 = d*w + t, w + 2*t + 2 = -r. Is 2 a factor of w?
False
Let z(w) = 2*w**2 - 19*w - 46. Is 18 a factor of z(22)?
True
Let k(g) be the first derivative of -g**2 - 3*g - 3. Let q be k(-4). Suppose -4*p = j - 23, j - 4*j - q*p = -83. Is 21 a factor of j?
False
Suppose 75 = -7*h + 2*h. Let k = -9 - h. Let j(q) = 5*q - 3. Does 27 divide j(k)?
True
Let y(h) = 36*h**2 + 25*h + 97. Does 24 divide y(11)?
True
Suppose 0 = 4*c - 5*b + 511, 6*b - 3*b = 3*c + 384. Let d = -72 - c. Is 37 a factor of d?
False
Suppose 22*v - 7376 = -2206. Is 3 a factor of v?
False
Let b = -54 + 56. Is 15 + (b + -2)/(-1) a multiple of 7?
False
Let n(x) = 20*x + 10. Let k(u) = -100*u - 50. Let l(q) = 3*k(q) + 14*n(q). Let v(t) = -10*t + 65. Let r be v(7). Does 30 divide l(r)?
True
Let j(x) = 5*x + 44. Let h be j(-8). Is 4 a factor of h - ((-12)/(-54) - 976/18)?
False
Let n(r) = r**3 - 32*r**2 + 43*r - 164. Is 6 a factor of n(31)?
False
Let k(t) = 2*t**2 + 4*t. Let h be k(-5). Suppose 15 - h = p. Let a = p + 62. Is a a multiple of 10?
False
Let v(o) be the second derivative of o**4/12 + o**3/6 + 2*o**2 + 2*o. Let j be v(5). Suppose 5*f = 4*f + j. Is f a multiple of 5?
False
Suppose -4 + 5 = i. Suppose 3*c + i = 7, 100 = 2*z - c. Is z a multiple of 7?
False
Let z(m) = -m**2 + 6*m - 13. Let k(i) = -i**2 + 5*i - 12. Let t(b) = 6*k(b) - 5*z(b). Let x be t(-5). Let v = x - -48. Does 11 divide v?
False
Let r = 97 + -86. Let c(i) = i - 2. Does 3 divide c(r)?
True
Suppose 5*t - 3*t = 38. Does 19 divide 382/10 - t/95?
True
Let y(z) = z**3 - 8*z**2 - 18*z - 1. Let r be y(10). Does 5 divide 4/16 + r/4?
True
Suppose -504*k + 5700 = -494*k. Is k a multiple of 15?
True
Let z = 9 - -1. Let l be z/2 + (-8)/8. Suppose 5*j = l*c + 47 + 33, 2*j - c - 32 = 0. Is j a multiple of 8?
True
Let s = 1790 - 312. Does 44 divide s?
False
Let y(j) = 7*j**2 + 0*j + 12 + 10*j + 4*j**2 + j**3. Is y(-10) a multiple of 6?
True
Let b = 14 + -9. Suppose -4*a - 3*y = -341, 225 = 5*a - b*y - 175. Does 12 divide a?
False
Let k = -508 + 526. Does 3 divide k?
True
Let a(n) = -4*n**2 - 3 - 6*n + n**3 + 16 - n**2. Let f be 224/40 - (-2)/5. Does 8 divide a(f)?
False
Let i(s) = -s + 1. Let v(u) = -52*u + 6. Let m(p) = 3*i(p) + v(p). Is 16 a factor of m(-3)?
False
Let s be 15*3*1/9. Let g(d) = -d**2 + 9*d + 6. Does 13 divide g(s)?
True
Let d be (6/(-4))/(9/(-12)). Let m be d/10 + (-234)/(-30). Let x(g) = -g**3 + 7*g**2 + 10*g - 10. Is x(m) a multiple of 3?
True
Let k(t) = t**3 + t**2 - 5*t. Let i be k(-5). Let x be (i/30)/(10/(-8)). Suppose 0 = -0*v + x*v - 44. Is v a multiple of 10?
False
Suppose 5*r + 0*r - 57 = -2*g, -g + 31 = 3*r. Suppose 4*w - 8*s + 7*s - 344 = 0, 0 = 2*w - 5*s - 172. Let i = w - g. Is 15 a factor of i?
False
Let a = -76 + 73. Let c(s) = -s**3 + s**2 + 10*s + 21. Is 27 a factor of c(a)?
True
Suppose 2*z - 4 = z, 3*k + 5*z - 1850 = 0. Suppose -g - 3*c + k = g, -2*g + 606 = 4*c. Suppose x = 4*f - 296, 5*x = 3*f - g + 106. Is f a multiple of 25?
True
Let p = 34 - 29. Suppose -2*o = -3*k + 377, -p*k + 186 = -4*o - 445. Is k a multiple of 23?
False
Let x(l) = 8*l**3 + 2*l - 3. Let t be -3 + (-4)/(-2) - (-4 - -1). Is 11 a factor of x(t)?
False
Let y = -77 - -77. Suppose -117 = -6*q + 5*q + s, y = 4*s + 4. Is 29 a factor of q?
True
Let p(v) = 10*v - 2*v**2 + 4 - 11*v + 3*v**2. Suppose 8 = 4*x - 16. Is 8 a factor of p(x)?
False
Let r be -35 + (60/(-75))/((-4)/10). Let g = -27 - -78. Let k = g + r. Is k a multiple of 6?
True
Let r = -349 + 1861. Is r a multiple of 24?
True
Suppose u - 256 + 36 = 0. Does 11 divide u?
True
Suppose 0 = d + 4 - 6. Let r(y) = -3*y**d - 2 - 3*y**3 + 0*y - 3*y - y. Is 6 a factor of r(-2)?
True
Let b(x) = 93*x**2 + 2*x + 2. Let a be b(-1). Suppose 5*o - 22 = a. Suppose 2*v = 4*m - 32, -2*v + o = 4*m - 25. Is 7 a factor of m?
False
Let y(x) = 8*x + 12. Let a(l) = 3*l + 4. Let c(b) = -11*a(b) + 4*y(b). Let t be c(4). Suppose t*k + 90 = 3*k. Does 10 divide k?
True
Let i(h) = 4*h**2 + h + 31. Does 4 divide i(5)?
True
Suppose 3*k + 4*a - 5 = 0, -2*k = -0*a - a - 7. Suppose k*i - 457 = -112. Is i a multiple of 11?
False
Is (108/405)/(2/515)*39 a multiple of 54?
False
Let i = 1486 + 126. Is 62 a factor of i?
True
Suppose -d + 222 = -4*d. Let i = d - -221. Is i a multiple of 10?
False
Suppose -6*d + 1098 = -234. Does 16 divide d?
False
Suppose 0 = -10*z - 2*z + 48. Does 13 divide 232/10*10/z?
False
Let l(h) = -h**2 + 4*h - 1. Let p be l(6). Let x(f) = -f**2 - 15*f + 4. Does 15 divide x(p)?
True
Suppose -d + 14 = -2*p + 87, p - 39 = 3*d. Does 3 divide p?
True
Let i = -14 - -19. Suppose p - i*p = v - 21, 0 = 2*v - 4*p - 30. Does 4 divide v?
False
Let f(b) = b**3 - 7*b**2 - 27*b + 11. Does 18 divide f(11)?
True
Suppose -2*d - 5*u + 3*u = -134, 2*d - 3*u - 109 = 0. Let l(g) = -g**2 - 5*g. Let q be l(-4). Suppose -2*m + q*m + 70 = n, 2*m - d = -n. Is 10 a factor of n?
False
Let l be (2/(-4))/(3/(-72)). Let h be 9/l - (-6)/(-8). Suppose p - 3*p + 3*n + 16 = h, 5*p = 2*n + 51. Is p a multiple of 9?
False
Is 21 a factor of 50904/112 - (2 - 15/6)?
False
Let a(y) = y - 6. Let q be a(3). Let m = 52 + q. Does 7 divide m?
True
Let v be (-1*1)/(3/(-24)*4). Does 6 divide 32 + (v/5)/(1/(-5))?
True
Let b be 1540/126 - (-4)/(-18). Is 6 a factor of b/(-2)*(-33)/11?
True
Let r = 1274 + -1010. Is 24 a factor of r?
True
Suppose -4*g + 2*k - 26 = -8*g, -4*g + 5*k = 9. Suppose -5*z - 201 - 144 = -g*s, -2*s = -4*z - 168. Suppose 0 = 5*o - 0*o - s. Is o a multiple of 6?
True
Suppose -g + 0*k + 5*k = 3, 4 = 4*k. Let i be 1/(1/(g + 0)). Suppose -i*x + 7*x - 234 = 4*u, 30 = x - 5*u. Does 20 divide x?
False
Let p be 1/(-2) + 234/4. Let v = 78 - p. Is 10 a factor of v?
True
Let y(a) = -2 - a**2 - 7 + 7 + 6*a. Let s be y(5). Suppose -i = -s*h + i + 72, -2*h = i - 41. Is 3 a factor of h?
False
Let f(l) = l**2 + 13*l - 18. Let s(x) be the third derivative of -x**5/30 + x**4/24 + 2*x**3 + 6*x**2. Let d be s(4). Does 10 divide f(d)?
True
Let u = -20 + 20. Suppose u = -2*h - 5*d + 3*d + 442, 5*h - d = 1105. Is h a multiple of 13?
True
Let d = 33 + -29. Suppose 4*s + j - 543 = 0, -2*s - 2*j = j - 279. Suppose s = 9*p - d*p. Does 12 divide p?
False
Suppose o + 12 = 47. Let a(l) = l**3 - 9*l + 4. Let b be a(-3). Suppose 177 = b*q - o. Does 18 divide q?
False
Suppose 3*w + 3 = -0*w - 3*l, -3*l = -4*w + 10. Does 22 divide 1/w - 87/(-1)?
True
Let i(t) = 12*t. Suppose 3*h + 13 = 4*h. Let l be i(h). Suppose 4*b + 0*b = l. Does 13 divide b?
True
Let g(o) be the third derivative of -o**6/120 + o**5/10 + o**4/24 - o**3/3 + 3*o**2. Let d be g(6). Is 14/3 + d/12 even?
False
Suppose -3*n + 2316 = 5*a, -5*n + 124 = -4*a + 1999. Is 31 a factor of a?
True
Let p = 281 + 3283. Is p a multiple of 33?
True
Let n = 2 + -2. Suppose 0 = -n*q - 5*q + 30. Suppose q*w - 120 = 3*w. Is w a multiple of 10?
True
Let w(i) = 4*i**2 + 3*i + 173 + 4*i**3 - 3*i**3 - 165. Is 4 a factor of w(-3)?
True
Let y(q) = q**2 - 2*q - 1. Let b be y(4). Does 4 divide 1/1*b/(35/20)?
True
Suppose -393 = -3*r + 2*r + 4*q, -q = -3*r + 1135. Does 31 divide r?
False
Suppose 85*f - 39*f = 18768. Is f a multiple of 8?
True
Suppose -17 = -3*u - 2. Suppose 0*o + 245 = u*o. Is o a multiple of 21?
False
Suppose 3*u + u = 24. Suppose 30 + 16 = -2*p + 2*l, 19 = -p + 2*l. Is (-63)/((p/u)/3) a multiple of 10?
False
Let v be (6/(-5))/2 + (-13794)/110. Let s = -88 - v. Is 17 a factor of s?
False
Suppose p + 2*k = 8, 0 = -0*p 