4 - (1 - (-75)/3). Is 7 a factor of ((-45)/u)/(6/28)?
True
Let y = 300 + -200. Is y a multiple of 25?
True
Let x be (-38*2/(-2))/(-1). Let r = -24 - x. Let h = r - -39. Does 14 divide h?
False
Suppose 16*h - 3*g = 14*h + 2077, 2*g = -2. Is h a multiple of 27?
False
Let r = 1830 - 1182. Is 8 a factor of r?
True
Let p(j) = -j**3 + 2*j + 102. Let r be -6*(2 - 15/9) - -2. Is p(r) a multiple of 34?
True
Suppose 5*b + f = -435, 36 = b + f + 127. Let v = 160 + b. Does 14 divide v?
False
Let u(w) = -3*w**2 - 7 + 2*w**2 - 1 + 7*w. Suppose q - 72 + 68 = 0. Is u(q) a multiple of 3?
False
Suppose -4*x + 4*s + 4057 + 3259 = 0, -4*x = -s - 7316. Is 31 a factor of x?
True
Let t(d) = -d**3 + 16*d**2 - 14*d + 14. Does 39 divide t(10)?
False
Let q be ((-10)/(-3))/((-2)/(-6)). Suppose 4*n = 2*n + q. Suppose 0 = -y + n*y - 164. Is 16 a factor of y?
False
Let c(k) = -19*k + 25. Does 15 divide c(-20)?
True
Let a = 15 - 23. Let h = -19 - a. Let z = 59 + h. Does 8 divide z?
True
Let b(o) be the first derivative of 5*o**4/4 - o**3/3 + 3*o**2/2 - 3*o + 2. Suppose -46*r - 10 = -51*r. Is 7 a factor of b(r)?
False
Let f(q) be the first derivative of -2*q**3/3 - 19*q**2/2 - 7*q + 11. Let k be f(-9). Suppose -3*h + 5*r = -58, -39 = -2*h - k*h - r. Is 11 a factor of h?
True
Let l(g) = -g**2 + 7*g + 11. Suppose 5*t + 2*x = x + 44, 3*x = -t + 20. Let f be l(t). Suppose -f*z - 29 = -4*z. Is 9 a factor of z?
False
Let x = 1244 + -1024. Is 11 a factor of x?
True
Let n(a) = a**2 + 3*a - 2. Let g be n(-4). Suppose g*x - x = 3. Suppose -v = 0, -t + 20 = 4*v + x. Is 4 a factor of t?
False
Let t be ((4 - 4) + 1)*1. Let k be t*3/(-3) + 4. Is 42 a factor of (k + 2)/(-5) + 149?
False
Let o(a) = -a**2 - 11*a + 4. Let v be o(-11). Suppose -2*s + 72 = 2*w, 5*w = v*s + 328 - 112. Is 20 a factor of w?
True
Suppose 5*p + 4 = 14. Let x(d) = -d**3 + 18 + 0*d + 7 - p*d + d. Does 16 divide x(0)?
False
Let m be (-4 + -5)*(-3)/9*3. Suppose -2*s + 4*x + 268 = m*x, 140 = s + x. Does 24 divide s?
True
Let l(p) = -2*p**3 - 86*p**2 - p + 92. Is 9 a factor of l(-43)?
True
Let h(f) = -f**3 - f**2 + 3. Let n be h(0). Let k be n/2 - (-10)/4. Does 5 divide ((-22)/k)/((-1)/2)?
False
Let i(b) = b**2 - 10*b + 2. Let f be i(10). Suppose 0 = -f*t - 2*t + 4. Suppose -4*g - t + 37 = 0. Is g a multiple of 4?
False
Let q = 1655 + 295. Is 83 a factor of q?
False
Let s = 414 - 265. Does 7 divide s?
False
Let v(d) = -d**3 + 5*d**2 + 2*d + 4. Let o be v(4). Let q be ((-42)/o)/(2/(-4)). Suppose 4*c + 6*a = q*a + 52, 0 = 2*c - a - 16. Does 4 divide c?
False
Suppose 5526 = 5*t + 3*u, 2*t - 1218 - 980 = 5*u. Is t a multiple of 24?
True
Let w = 5 - 26. Let i = w + 31. Is i even?
True
Let y be (1 - 22)/((-10)/10). Suppose 16 = g - 5*s - y, 269 = 5*g + 3*s. Suppose q + 2*i = g, -5*q - 4*i + 295 = -i. Is 14 a factor of q?
False
Let b be ((-2)/(-7) - (-514)/14) + 1. Let j = 90 - b. Does 26 divide j?
True
Suppose 2 = 2*i, 0 = -7*x + 5*x + 2*i + 178. Is x a multiple of 6?
True
Let c = -29 + 11. Let w be 7/(-9) + 4/c. Is 5*(w/1 + 6) a multiple of 16?
False
Let j(r) = 2*r**2 - 7*r + 6. Let i be j(3). Suppose -g + 69 = 5*n, -2*g + 163 = i*n + 11. Is g a multiple of 25?
False
Let z(j) = -18*j + 85. Is z(-18) a multiple of 57?
False
Let r(n) = n**2 - 14*n + 78. Is r(16) a multiple of 10?
True
Let a = 42 + -33. Is 2/a - (-43)/9 a multiple of 2?
False
Let y(q) = -456*q - 6. Is y(-1) a multiple of 18?
True
Let t(i) = -i + 2. Let w be t(3). Suppose -4*k - 2*n + 0 = 8, -n = -4. Is (w - 15/k)*4 a multiple of 7?
False
Let n = 211 - 143. Is n a multiple of 54?
False
Let r(y) = 211*y**3 + 12*y - 13. Is r(1) a multiple of 10?
True
Let i(s) be the second derivative of s**4/2 + s**3 + 3*s**2 + 27*s. Does 14 divide i(-5)?
True
Let k(l) = -l**3 + 29*l**2 + 60*l. Is 25 a factor of k(30)?
True
Is 19 a factor of 7 - -5002 - (1 - 48/8)?
False
Let a = 745 - 223. Is 36 a factor of a?
False
Let q(o) be the third derivative of -o**4/6 + 8*o**3 - 4*o**2 + 2*o. Does 12 divide q(-6)?
True
Let a(g) = g**2 - 17*g + 19. Let f be a(18). Suppose -4*r = 3*o - 6*o + 66, 2*o - 5*r = f. Does 13 divide o?
True
Suppose 2*m = 2*k - 94, -5*m + 0*k = 2*k + 207. Let p(t) = 66*t**2 + 2*t - 1. Let a be p(1). Let r = m + a. Is r a multiple of 5?
False
Let t(z) = z**3 - 34*z**2 + 48*z - 119. Is 3 a factor of t(33)?
False
Let l(p) = p**2 - p + 4. Let c be l(4). Let j be (8/(-2))/((-2)/1). Suppose -2*m + c = j*m + 5*s, -4 = -m - s. Is m a multiple of 2?
True
Suppose 0*s = -3*s + 3. Is (63/14)/(s/(40/6)) a multiple of 6?
True
Suppose 10 = -5*v, -3*r + 0*r - 5*v + 5 = 0. Does 32 divide 62 - (0 - r - -3) - 0?
True
Suppose -6 = 3*s + y, s + 4*y - 6*y - 5 = 0. Let u be ((-22)/(-11))/(s/(-23)). Suppose -4*w - u = -6*w. Does 6 divide w?
False
Let p be -10 + 3*(-4)/6. Let k(m) = m + 16. Let v be k(p). Suppose v*n - 74 = 118. Is n a multiple of 12?
True
Let a be 1 + -1 - 2*9. Let z = -10 - a. Suppose -r - w = w - 6, 0 = r + 4*w - z. Is r a multiple of 2?
True
Suppose 4*o + 781 = 7193. Does 15 divide o?
False
Is ((-555)/6)/((-15)/2 + 7) a multiple of 5?
True
Let o be 2/5 + (-24)/(-15). Does 20 divide (381/(-6) + 1)*(-4)/o?
False
Is (-6)/21 - (-5466)/21 a multiple of 12?
False
Let q = 686 + -663. Let u = -53 + 88. Let m = u - q. Does 12 divide m?
True
Suppose 3*k - 9*d = -3*d + 2703, -3*k - 4*d + 2663 = 0. Is k a multiple of 62?
False
Suppose 0 = 370*o - 375*o + 5235. Is o a multiple of 12?
False
Let f = 66 - 62. Suppose a - f*g - 20 = 0, -8*a = -3*a + 5*g - 25. Is a even?
True
Let j = -2342 - -3346. Does 4 divide j?
True
Suppose 0 = -3*g - 113 + 23. Is 19 a factor of (228/g)/((-4)/40)?
True
Is 65 a factor of ((-46)/(-8) + -9)*-220?
True
Let j(q) be the third derivative of q**5/60 + 11*q**4/24 - 17*q**3/6 - 11*q**2. Let u be (-1)/((-36)/39 - -1). Does 9 divide j(u)?
True
Suppose 15*y = 19*y + 88. Let o be (-6)/(-24) + y/(-8). Suppose -o*w + 8*w - 76 = -2*s, 4*w - 4*s - 44 = 0. Does 5 divide w?
False
Suppose 194 = 4*u - 2*j + 34, -5*u + 2*j = -200. Let z = 127 - u. Is z a multiple of 53?
False
Let u = 21 + -20. Let b(m) = 2*m + 9. Let p be b(-6). Does 9 divide u - (-6 + 1 + p)?
True
Let w(x) = x**2 + 6*x - 13. Let h be w(-9). Let v be h*3 - 1 - 2. Suppose -y = 4*m - 26, 3*y + 3*m - 4*m - v = 0. Does 5 divide y?
False
Suppose 5*d - 11 - 25 = -2*q, 0 = -3*d. Suppose -4*m = -7*m + q. Suppose -3*k = 4*w - 118, -56 = -k - 4*w - m. Is 15 a factor of k?
False
Let t(i) = -35*i - 102. Does 11 divide t(-18)?
True
Suppose -1037 = 2*j - 10617. Does 10 divide j?
True
Let u(o) = 19*o**2 - 28*o - 8. Does 23 divide u(4)?
True
Let d be 189/15 - (-2)/5. Suppose 3*u = -4*q + 39 + d, 4*u - 2*q = 62. Suppose -a = -u - 3. Is 5 a factor of a?
False
Suppose -2*w - 194 = 86. Is (-612)/(-14) + (-40)/w a multiple of 22?
True
Let y = 22 + -14. Let n be (-9)/12 - 58/y. Is (-2289)/(-27) + n/(-36) a multiple of 36?
False
Let s(j) be the first derivative of -j**4/4 + 3*j**3 + 7*j**2/2 + 5. Does 28 divide s(9)?
False
Let w(s) = -s**3 + 7*s**2 - 2*s. Let y = 33 - 27. Let o be w(y). Suppose o*u - 64 = 22*u. Is 10 a factor of u?
False
Let w(r) = -4*r**3 + 6*r**2 + 43*r + 33. Does 22 divide w(-7)?
False
Let n(l) = 6*l**2 + 2*l**2 + 6 - 317*l + 306*l - l**3. Is n(5) a multiple of 13?
True
Let y(v) = -2*v - 7. Let u be y(-6). Suppose -i - 3 = 0, -3*x + 8*x - 15 = u*i. Suppose 0*r - 2*n + 114 = 2*r, x = -3*r + 3*n + 159. Does 14 divide r?
False
Let t be 0/((-9)/(-5) + 8/40). Suppose t = -5*s + 2*k + 356, -2*s + 134 = -6*k + k. Is 18 a factor of s?
True
Suppose -v + 5*s = -4591, -91*s = 2*v - 87*s - 9126. Does 7 divide v?
True
Let p(z) = -1 + 2*z + 9 + 6 + 0. Let a be p(-6). Suppose 2*b - 2 = 3*u + a*u, -5*b + u + 28 = 0. Is 3 a factor of b?
True
Let k(a) = 91 - 179 + a + 92 + 6*a**2. Is 18 a factor of k(4)?
False
Is 118 + 6 + (-5)/(-5) a multiple of 10?
False
Let v(n) = 124*n**2 - 51*n + 3. Is 14 a factor of v(3)?
True
Let i be (6 - 1)*(-1)/1. Let c(h) = 2*h**2 - h + 2. Is 19 a factor of c(i)?
True
Suppose n = 5*v - 735, 8*v - 7*v - n = 147. Suppose 2*l - 2*u + 46 = 4*l, -5*l + 3*u + v = 0. Is l a multiple of 11?
False
Suppose 3*r + 5*a + 8 = -0*a, 5*r - 2*a = 28. Suppose 7*y - 3*v = 4*y + 5949, 5*v = -r*y + 7941. Is 18 a factor of (2/(-4))/((-16)/y)?
False
Suppose 2*j = 0, -3*j - 541 = -3*r + 1283. Is 16 a factor of r?
True
Let