es 31 divide j?
True
Suppose 4*s - 137 = 103. Suppose -2 = o, -b + 12 = -5*o - 2. Suppose -f = 5*c - 55, -2*f - b*c = -f - s. Is f a multiple of 27?
False
Suppose -x = -16 + 6. Let i = 9 - x. Does 12 divide 64 + -14 + (i - -1)?
False
Suppose 4*j - 3*o - 6882 = 0, 5*j + 7*o = 3*j + 3424. Is j a multiple of 48?
False
Let h be -3*((-88)/12 - -8). Let i(u) = -2*u**2 + 2 + u**3 - 2*u - 3*u**3 + 5*u. Is 2 a factor of i(h)?
True
Let b = -50 - -48. Let a(k) = 27*k**2 - 5*k - 5. Is 9 a factor of a(b)?
False
Suppose 10*a = 5*a + 85. Let i = 42 - a. Suppose g - i = -3. Is 22 a factor of g?
True
Let z be -4 + 8 + 4 - 4. Suppose -z*n - 80 = -8*n. Let j = 8 + n. Is j a multiple of 21?
False
Let v = 15 - 11. Let t(b) = 2*b - 9. Let z be t(v). Let u = 3 - z. Is u a multiple of 3?
False
Suppose -5*f - 21 - 4 = 0. Let d = 1 - f. Does 2 divide d?
True
Let b = 17 + -15. Suppose -b = -0*h - h. Is (h/(-1))/((-4)/102) a multiple of 17?
True
Let b = -54 - -125. Let q = -44 + b. Is 10 a factor of q?
False
Let o be (-16)/(-32) + (-11)/(-2). Suppose 0 = -o*g + 400 + 176. Does 24 divide g?
True
Let x(u) = u + 154. Is 7 a factor of x(-21)?
True
Is 35 a factor of (385/49 - 7)*1505?
False
Suppose 5*u - 1717 = -p, -5*u = -5*p - 374 + 8809. Does 94 divide p?
True
Let g be (4/(-8))/((-5)/(-10)). Let c be (-1 + 4)/((-1)/25). Is 10 a factor of (2/g)/6*c?
False
Suppose -49*v + 30 = -51*v. Is 4 a factor of ((-1)/((-4)/v))/(2/(-24))?
False
Let b(i) = 2*i**2 - 39*i + 64. Does 14 divide b(27)?
False
Let g = -533 + 1096. Is 23 a factor of g?
False
Suppose -c - 8 = -0*c. Let v = c + 13. Suppose 0 = -v*j + 58 + 132. Is j a multiple of 11?
False
Suppose 5*p = -5*c + 25, 4*p + 3*c = 9 + 9. Let u be p - (-10 - 4 - 3). Suppose 0 = -4*t + u, -4*m + 105 = -4*t - 67. Is 16 a factor of m?
True
Suppose l + 3 = -28. Let h = 29 + l. Let v = h - -31. Does 29 divide v?
True
Suppose 0 = 98*v - 105*v - 84. Is (-1750)/(-20)*v/(-15) a multiple of 7?
True
Is 18 a factor of 25/(-30)*-6 + 229 + 0?
True
Suppose 4*z - 8 = -0. Suppose -28 = -z*q + 68. Is 12 a factor of q?
True
Let s(z) = -13*z + 1306. Does 16 divide s(50)?
True
Let w(f) = 3*f - 1. Let m be w(5). Let i = m - -32. Let z = 70 - i. Is 12 a factor of z?
True
Let a(b) = 54*b**2 + 49*b + 18. Does 4 divide a(-6)?
True
Suppose -6*x = -26*x + 1520. Is 4 a factor of x?
True
Let y(t) = -2*t + 1. Let j be y(-2). Suppose b + 719 = j*p, b - 721 = -3*p - 2*p. Is p a multiple of 14?
False
Suppose 0 = -j + 2*l + 15, j - 6*l + 2*l - 21 = 0. Suppose -4*g = -j*g + 240. Is 16 a factor of g?
True
Let h = 72 - 57. Suppose -4*x - 4*d + 88 = 0, 5*d = -0*d - 20. Let q = x - h. Is q a multiple of 9?
False
Suppose -8*y = -6*y + 28. Is (-158)/y - 28/98 a multiple of 3?
False
Let v(y) = y**3 - 9*y**2 + 16*y - 9. Let a be v(7). Suppose 240 + 15 = a*l. Does 14 divide l?
False
Let s be (6 - 3)/(9/12). Suppose 3*a + 5 = -2*x, s = 5*x - 0*x + 2*a. Suppose 2*q - 335 = -3*q - 5*o, -118 = -x*q + 2*o. Is 16 a factor of q?
False
Let p = 30 + -35. Let u(n) = -2*n - 9. Let z be u(p). Is z/((-320)/108 - -3) a multiple of 4?
False
Let w be (45/12)/(12/32). Let z be w/(-12)*-2*15. Let s = 36 - z. Is 10 a factor of s?
False
Let k be (2 - 18/(-10)) + 1/5. Suppose -4*l = 5*j - 4, -k*j + 4 = 2*l - 2*j. Does 3 divide l?
True
Suppose -2*j = -4*x - 256, 2*x + 203 = -5*j + 867. Is 12 a factor of j?
True
Suppose -2*v = 0, -h + 3*v = 8 - 60. Is h a multiple of 4?
True
Suppose 1292 = 215*u - 211*u. Is u a multiple of 30?
False
Let h be 12*2/4 + 4. Let o(n) = -n**3 + 11*n**2 + 14*n - 20. Is 25 a factor of o(h)?
False
Does 52 divide (-193)/((-64)/80 - (-78)/110)?
False
Suppose -3*h - 10 = -l - l, 3*h + 2*l + 26 = 0. Let n(o) = -4*o + 6. Is n(h) a multiple of 15?
True
Let y(r) = -r**2 + 8*r. Let s be y(7). Let q(i) = 1 - 1 + s + 6 + i. Is 5 a factor of q(0)?
False
Let u(n) = 11*n**2 - 12*n - 28. Is 13 a factor of u(-6)?
False
Is -6*7*(4 - -5)*-3 a multiple of 42?
True
Let b be (-2 + 1)*2 + 34. Suppose 2*k - b = 5*n, 0 = 5*k - 4*n - 57 - 57. Suppose -3*i - w = -60, -2*i + w + 19 = -k. Is 21 a factor of i?
True
Let o(q) = -3*q + 21. Let p(k) = -5*k + 42. Let c(l) = -7*o(l) + 4*p(l). Let f be c(-15). Does 7 divide -39*-1*2/f?
False
Let x(d) = d**3 - 38*d**2 + 12*d + 6. Does 33 divide x(38)?
True
Let s be (-4)/16 + 18/8. Let m be (-37 + 1/(-1))/s. Let k = m - -42. Does 16 divide k?
False
Let b = 26 + -22. Suppose y - b*y = -423. Suppose -6 = 3*p - y. Is 12 a factor of p?
False
Suppose 0 = 742*r - 736*r - 13056. Is r a multiple of 16?
True
Let j(y) = 7*y**3 + 5*y**2 - 11*y - 1. Let l(b) = -6*b**3 - 5*b**2 + 10*b. Let u(o) = 5*j(o) + 6*l(o). Let s be u(-6). Let t(r) = 43*r + 1. Does 11 divide t(s)?
True
Suppose -23*r = -31*r + 3248. Is r a multiple of 58?
True
Let r be 0*(-2)/(6 + -4). Let w(v) = 3*v + 35. Does 5 divide w(r)?
True
Is 36 a factor of (-6 - 851)*(2 - (5 - 2))?
False
Is 38120/56 - (-5)/(-7) a multiple of 8?
True
Suppose 4*d + 5*l + 2 = 3*l, 5*d + l + 1 = 0. Suppose d = -11*a + a + 310. Is a a multiple of 4?
False
Let z = 4620 - 3220. Does 23 divide z?
False
Let a(p) = 30*p**2 - 5*p + 5. Does 2 divide a(2)?
False
Let a(l) = 181*l**3 - 3*l - 2. Let c be a(-1). Let g = c - -377. Let q = g + -140. Does 19 divide q?
True
Let m be 8 - (-16)/12*-3. Suppose 2*u - 367 = 3*y, -m*u + 5*y + 0*y + 737 = 0. Does 12 divide u?
False
Let p = -16 - -20. Suppose -8*h + 116 = -p*h. Does 17 divide h?
False
Let b be 4/(-4) + 2 + -2. Does 3 divide (b - -3)/(4/32)?
False
Suppose -4*v + 4 = s - 2, -v - 4*s - 6 = 0. Suppose 4*i = 5*z - i - 140, 0 = 4*z + v*i - 88. Is 24 a factor of z?
True
Let t = -11 - -131. Suppose 13*g = 10*g + t. Does 20 divide g?
True
Let y(g) = -4*g + 34. Let b be y(-10). Let t = -41 + b. Is t a multiple of 11?
True
Let a be 15192/66 - (-4)/(-22). Let o = a + -87. Is (-1214)/(-22) + (-26)/o a multiple of 15?
False
Let w = -1115 + 3243. Is w a multiple of 56?
True
Suppose -3*t + 19 = -4*i, 3*i + 17 = i + 3*t. Does 9 divide (16 - -2)*i/(-2)?
True
Suppose k - 659 = 4*j, 4*k = 3 - 7. Let w = -134 - j. Does 13 divide w?
False
Does 21 divide (-392)/(-294)*189/2?
True
Let x(b) = -2*b**2 - 37*b + 14. Let s = -1 - 17. Is 11 a factor of x(s)?
False
Let g = 78 - -115. Is g a multiple of 33?
False
Is 123 a factor of 8082/6*(-10)/(-30)?
False
Let u(a) = a**3 + 2*a - 1. Let c be u(2). Let t be (-4)/(-1 + c/13). Let p = -10 + t. Is 4 a factor of p?
True
Let a(m) = -4*m**2 - 3*m + 40. Let j(c) = -5*c**2 - 2*c + 41. Let w(f) = -4*a(f) + 3*j(f). Is w(-11) a multiple of 2?
True
Let k(n) = 38*n**2 - 3*n - 2. Let q be k(-2). Suppose -3*l = -b + q, 0*b - 3*b = l + 52. Is (-3783)/l + (-1)/(-4) a multiple of 20?
False
Let i(u) = -u + 4. Let o be i(4). Suppose 0 = 17*a - 133 - 207. Suppose o = -4*n - a, -5*n - 8 = 4*t - 87. Does 13 divide t?
True
Is 2128/(-114)*(-81)/2 a multiple of 84?
True
Let r be ((-6)/8)/((-6)/16). Does 18 divide r/((-2 - -3)*4/108)?
True
Let p = -781 + 1408. Does 65 divide p?
False
Let d = -383 - -472. Does 4 divide d?
False
Let j = 606 + -504. Does 17 divide j?
True
Suppose -f = 4*o - 3*f - 3854, 5*f = o - 968. Is 9 a factor of o?
True
Suppose 0*o - 5*d + 64 = 4*o, -80 = -5*o - 2*d. Let l be -3 + (-4)/(o/(-12)). Suppose l = -c + 52 - 13. Is 21 a factor of c?
False
Let r = 1146 + -1111. Is r a multiple of 14?
False
Suppose 2*w + 0 = 128. Is w a multiple of 16?
True
Let t(c) = -34*c - 38. Suppose 2*r + 16 = 6. Is t(r) a multiple of 21?
False
Let n(b) = -b**2 - 6*b + 108. Is 2 a factor of n(7)?
False
Let d(x) be the first derivative of -x**6/360 + x**5/10 - x**4/6 - 7*x**3/3 + 4. Let l(r) be the third derivative of d(r). Is 7 a factor of l(4)?
True
Let b(x) be the third derivative of x**5/60 + 13*x**4/24 + 3*x**3 - 23*x**2. Is 5 a factor of b(-13)?
False
Let g be (-1 - 12/(-9))*0. Suppose 4*m + m - 215 = g. Let q = m + -20. Does 15 divide q?
False
Suppose -5*y - 5*q - 224 = -2*q, -4*q - 12 = 0. Suppose 4*t + 177 - 61 = 0. Let p = t - y. Does 4 divide p?
False
Suppose -3*s - 4*r + 23 = 0, -9 = -s + 2*r - 4*r. Let j be (s + 0 + -4)*-7. Is 17 a factor of (-310)/j + 2/(-7)?
False
Suppose -v + 29 = -103. Suppose -z + v = -0*z. Suppose z = 2*g + 24. Does 12 divide g?
False
Let m(g) = g**2 + 3*g - 9. Suppose 4*a + 2*u + 10 = 0, 5*u - 26 = -1. Let f be m(a). Suppose 29 = 3*p - f. Is 5 a factor of p?
True