a factor of (-4)/(1/i*30/355)?
True
Suppose -3*d = -4*f - 718, -2*d + 900 = -5*f + 3*d. Let c = f - -260. Does 41 divide c?
True
Suppose -2*f + 10370 = 8*f. Let i = -534 + f. Is i a multiple of 56?
False
Let j(n) = -n**3 - 6*n**2 + 4*n + 6. Let z be j(-7). Let p = 33 - z. Suppose -5*x + 885 = 5*f, 5*x = p - 1. Is f a multiple of 35?
False
Is ((-11632)/3)/((-210)/315) a multiple of 215?
False
Let y(l) = 2*l**2 - 37*l + 1. Suppose 0 = -4*z + 2*t - 34, 3*t = 2*z - 1 + 8. Does 68 divide y(z)?
False
Is 4 a factor of (-2 + 252)/2*(-6762)/(-735)?
False
Suppose 5712 = 2*u - 3*o, 2*u - o + 310 - 6014 = 0. Does 150 divide u?
True
Does 12 divide 8 + (-19)/((-57)/5580) + -7?
False
Suppose -u + 74 + 279 = 0. Suppose 3*l - n = n - u, 107 = -l - 2*n. Let q = -106 - l. Is q a multiple of 9?
True
Suppose 3*m = 4*y - 35, 0*y + 4*y = 20. Does 15 divide -5 - (m + 1456/(-7))?
False
Suppose -3*b + 6*b = 2*t, -b = 4*t - 14. Suppose b*n = 2*a + 4, n + 6 = -n. Let j = a - -74. Is j a multiple of 23?
True
Let q be (-8)/6*(-12)/(-8). Let n be 1 - -46 - (4 + q) - 2. Let g = -28 + n. Does 5 divide g?
True
Let m = -953 - -1440. Let f = m - 404. Is f a multiple of 4?
False
Suppose 5*p - 3400 = 15*p. Let l = 638 + p. Is 32 a factor of l?
False
Let b = 14 - 21. Let s = -2 + b. Is 160 + s/((-9)/2) a multiple of 16?
False
Let v = -19 - -24. Let t(w) = 19*w**2 - 2*w + 45. Is t(v) a multiple of 9?
False
Let p(h) = -h**3 + 11*h**2 - 18*h + 5. Let z be p(9). Suppose 6*n - 3*n - z*f + 132 = 0, 2*n = 2*f - 88. Is 15 a factor of 7/(-21)*(n + -1)?
True
Suppose 2*d = 1 + 1. Suppose -396 = -11*g + 111 + 219. Is g*d - (11 - 11) a multiple of 29?
False
Let z(h) = -h**2 + 8*h - 10. Let k be z(5). Suppose 8*q = 5*f + k*q - 317, -3*q = -f + 61. Is 32 a factor of f?
True
Let a(o) = 2*o**3 + 31*o**2 - 38*o - 22. Let d be a(-17). Does 18 divide 162/d + (-970)/(-6)?
False
Let c(p) be the first derivative of -451*p**2/2 + 4*p + 14. Let l be c(-1). Suppose -q = -3*h - 71, -q - 4*q - 5*h = -l. Is 32 a factor of q?
False
Suppose -2*r - 3 + 87 = 0. Let n = 39 - r. Let w(i) = i**2 + i + 8. Is w(n) a multiple of 3?
False
Let h be (-4)/10*-1*5. Suppose 3*p + 5*o - 7 = 0, h*o - 3*o = -5*p + 21. Let s = 41 + p. Is s a multiple of 22?
False
Suppose 18154 = 2*l + 2*k, 2*k - 78 = -68. Does 24 divide l?
True
Let g = -2222 + 2924. Is 9 a factor of g?
True
Does 138 divide 1 + 4 - 1/(308665/51445 - 6)?
False
Suppose t = -3, 4*d - 4*t = 400 + 176. Suppose 0 = -142*c + d*c + 766. Is c a multiple of 35?
False
Let o(c) = 7*c**2 + 167*c + 63. Is 3 a factor of o(-26)?
True
Let w(q) = 205*q - 1337. Is 8 a factor of w(29)?
True
Suppose 347*g + 734385 - 44913 = 428*g. Is g a multiple of 19?
True
Let w = 6718 - 5740. Does 6 divide w?
True
Let f be 1*(272 + -1 - 1). Let t(a) = -a**2 + 6*a + 1. Let c be t(15). Let u = f + c. Does 33 divide u?
False
Let v = 49 - 17. Let w be (v/(-4) - -3)*-1. Suppose w*c - 37 = -q, -2*c - 2*q = -6*c + 24. Is c a multiple of 2?
False
Let v(g) = -g**2 + 7*g - 17. Let r be v(22). Let j = r - -434. Does 12 divide j?
False
Let n(c) = 382*c - 295. Is n(8) a multiple of 35?
False
Does 13 divide (1524/3810)/((-5993)/5995 - -1)?
False
Suppose 45 = 5*c + 3*x, -9*c + 8*c + 5*x - 19 = 0. Is (4 - c)*3/(12/(-170)) a multiple of 12?
False
Let g be (0 - 1)/((-11)/33)*2. Is (g/(-9) - -2)*81 a multiple of 12?
True
Suppose 4*n + 0*b + 3 = 3*b, 11 = 2*n + b. Let d(v) = -4*v**3 - 2*v**3 + 7*v**3 - 4*v + 0*v**n - 6*v**2 - 10. Is d(7) a multiple of 5?
False
Let o(k) be the third derivative of -k**4/12 + 2*k**3 - 19*k**2. Let d be o(4). Suppose -d*z + 532 = 4*y, 0 = 2*y + 5*z - 142 - 118. Is 45 a factor of y?
True
Let y(h) be the first derivative of -h**4/4 + 7*h**3 - 21*h**2/2 - 8*h - 3. Let l be y(20). Let u = l + 34. Is 2 a factor of u?
True
Let z be 4/38 + 430/95*-42. Let v = -140 - z. Does 8 divide v?
False
Suppose u - q = q - 1, -2*u - 3*q = -19. Suppose u*z = 2*z + 828. Let l = 0 + z. Does 46 divide l?
True
Let q(b) = b**3 - 9*b**2 - 10*b + 1. Let s be q(10). Let g = -63 + 65. Is 64*g/12*(2 + s) a multiple of 16?
True
Suppose -3*x + 28 = -2*k - 4*x, -5*x = 2*k + 20. Is (-17 - (-2 + 0))*72/k a multiple of 18?
True
Suppose 19*f + 825 = 8*f. Let t = f + 60. Let u = t + 32. Is u a multiple of 2?
False
Suppose s = 1437 - 983. Suppose 2*o - s = 218. Is 21 a factor of o?
True
Let y = 538 + -799. Let w = -70 - y. Suppose -5*d - 905 + 120 = -4*b, -b = -3*d - w. Is 45 a factor of b?
False
Let y = 538 + -994. Let v be -300 + 5 + 9/3. Let t = v - y. Does 12 divide t?
False
Let o(h) = -h**3 - 24*h**2 + 28*h + 83. Let q be o(-25). Suppose 5*s - 3*i = 872, q*i - 3*i = s - 192. Does 16 divide s?
False
Let f(h) = 2*h**2 - 14*h - 12. Let p(l) = -l**3 - l**2 - 7. Let v be 4/(-12)*(8 - -1). Let c be p(v). Is f(c) a multiple of 31?
False
Let f(h) = -27*h - 18. Let c be f(-4). Suppose c*v = 79*v + 1892. Is 4 a factor of v?
True
Suppose 5 + 5 = -5*s. Suppose -915*d - 20 = -910*d. Is 22 a factor of 0 - (s - d)*-110?
True
Let b(s) = 445*s**2 - 94*s - 44. Is b(5) a multiple of 81?
True
Let v = 4671 + -1101. Is v a multiple of 70?
True
Suppose 4*n + 49 - 57 = 0. Suppose 0 = 5*q + 4*v + 886 - 2311, -2*q - n*v + 572 = 0. Is q a multiple of 33?
False
Suppose h = 2*a + 5, 3*h - 2*h - 4*a - 7 = 0. Let r be -3 - (-76)/12 - 1/h. Let c(n) = 4*n**3 + 2*n**2 - n - 8. Is 16 a factor of c(r)?
False
Suppose 69 = -f + 2*h, -3*h = -2*f - 0*f - 138. Let x = f - -137. Suppose -82 - x = -5*r. Does 4 divide r?
False
Let a = 58867 + -32218. Does 9 divide a?
True
Let r(w) = w**2 - 10*w + 26. Let p be r(7). Suppose 0 = c - p*c + 1536. Suppose 22*k - 16*k - c = 0. Does 8 divide k?
True
Let q be 26/(-65) + 94/10. Suppose 1136 = -b + q*b. Let c = -94 + b. Is c a multiple of 12?
True
Suppose -46263 = -188*k + 197720 + 383937. Is 122 a factor of k?
False
Let j be 54/135 - (-8)/5. Suppose 7*m + 188 = 9*m - j*q, 0 = -m + 2*q + 91. Is m even?
False
Suppose 1073312 = -1913*t + 2049*t. Does 21 divide t?
False
Suppose -2 = 4*h - 5*r + 18, h + 20 = 5*r. Suppose 4*a + 3*z - 2089 = h, 1 = 4*z - 11. Does 20 divide a?
True
Let u(f) = -f**3 - 14*f**2 - 23*f - 2. Let s be u(-11). Let m be s/(-28) - 0/1. Suppose m = -z + 2*z. Is 3 a factor of z?
False
Suppose -2*x - 2*x = 3*p + 22, -10 = -2*x. Let v(o) = 31 + 10*o + o**3 + 8*o**3 - 6*o**3 - 13*o**2 + 3*o**3 - 7*o**3. Is v(p) a multiple of 16?
False
Does 37 divide (-13178)/(-4) + -2 - 111/(-222)?
True
Let k be -72*((-27)/(-18))/(9/(-164)). Suppose -233 = -d - 5*x + 271, k = 4*d + 4*x. Is d a multiple of 28?
False
Let t be ((-2)/(-6))/(9/20142). Suppose -3*x + 2048 = t. Is x a multiple of 21?
False
Suppose 0*j - 7*j - 784 = 0. Let f = j + 310. Does 61 divide f?
False
Let f be (-10 - -20)/((-1)/3). Let a be (940/15)/(2/3). Let l = a + f. Does 8 divide l?
True
Suppose -3*w - 10 = 5, 21 = o - 3*w. Let s(q) = -6 + q + 17*q**2 - o*q**2 - 10*q**2. Is s(-13) a multiple of 25?
True
Is 9 a factor of (-3)/(-9) + (52275/60)/((-3)/(-16))?
False
Suppose -4*b + 27 = -5*y, y = -4*y - 4*b - 3. Is 10 a factor of (-15)/y - (8/(-4) - 142)?
False
Let h(y) = 122*y - 6. Let p(v) = 15*v + 65. Let j be p(-4). Is 19 a factor of h(j)?
False
Suppose 5*g + 16949 = -2*m + 59782, -2*g - 14 = 0. Is 185 a factor of m?
False
Let f(o) = 93*o**2 + 384*o - 21. Is 66 a factor of f(-17)?
True
Suppose -5*w + 3*p + 60 = 0, 9*p = -4*w + 13*p + 56. Suppose w*j = -u + 11*j + 208, -u = 4*j - 184. Is 20 a factor of u?
True
Let c(t) = 110*t + 356. Is 9 a factor of c(-2)?
False
Let s = -1178 + 675. Let z = 878 + s. Is 75 a factor of z?
True
Let f = 8199 - 4951. Is 28 a factor of f?
True
Let n(j) = 55*j**3 + j. Let h be n(-1). Let z be 70/h + 170/8. Suppose z*o - 1274 = 6*o. Is o a multiple of 18?
False
Let y(n) = 4*n**2 - 21*n - 20. Let s be y(-1). Suppose -a = s*g + 134 - 469, 4*a - 4*g - 1244 = 0. Does 9 divide a?
True
Let v(j) = -4344*j - 624. Does 28 divide v(-2)?
True
Suppose 5*k - 615 = -50. Let f = -77 + k. Is f a multiple of 4?
True
Let n = 1452 - 1448. Let l(r) = 5*r**2 - 1. Let g be l(-2). Suppose -v = 2*b - n - 1, b - 5*v = g. Is b a multiple of 3?
False
Let l(r) = 2*r**3 - 2*r**2 + 3*r + 7. Suppose 2*v - 12 = -2*h, 2*h = 19*v - 16*v + 27. Is l(h) a multiple of 95?
True
Let m(l) = -233*l + 5. Let n be m(-4). Let i = n + -644. Is i a multiple of 9?
False
Let 