- 5 + 11*u. Let k be z(10). Suppose -4*d - 18 = -k*r, 3*d - 24 = -4*r - d. Is 7 a factor of r?
True
Let n be 4/6 - (-1309)/21. Does 15 divide (-76)/19 + (n - 0)?
False
Suppose -3*t = -6*t + 21. Let y = -6 + 12. Is (5/y)/(t/42) a multiple of 3?
False
Let n be 5/25 + (-724)/(-5). Suppose -4*w - 5*a = -265, 0*w = -2*w - 5*a + n. Does 34 divide w?
False
Suppose 0 = 5*k - 5*s + 1414 + 1666, -3*k - 1842 = -s. Let w = 1100 + k. Let x = -335 + w. Does 38 divide x?
True
Let z = -1922 - -3693. Is z a multiple of 23?
True
Let l = -784 + 1715. Is 27 a factor of l?
False
Suppose 5*h + 102 + 58 = 0. Let o = h + 38. Does 16 divide (-1431)/(-15) - o/(-10)?
True
Suppose -145 = -4*m - g, -g = -3*m - 4*g + 120. Let b = 98 - m. Is b a multiple of 6?
False
Let p = 101 - 159. Let q = p + 98. Does 5 divide q?
True
Let y(b) be the first derivative of b**3/3 + 3*b**2 - 6*b - 4. Let r be y(9). Let z = r - 83. Does 16 divide z?
False
Let m = 34 + 18. Let p = -20 + m. Is p a multiple of 5?
False
Let h = -311 - -360. Does 4 divide h?
False
Let s(v) = 11*v**2 + 2*v - 3. Suppose 4*w + 8 = 5*g - 17, -4*w = -2*g + 22. Does 2 divide s(g)?
True
Suppose -3*n + 1231 = l, -1239 = 4*l - 5*l - n. Is 15 a factor of l?
False
Suppose -3*i + 15 = -2*i. Let g be (5/3)/(5/i). Suppose -g*j - 5*n + 130 = 0, 6*j - j = -2*n + 118. Is 10 a factor of j?
False
Let x = -119 + 537. Is x a multiple of 38?
True
Suppose 8*y - 434 = y. Is 3 a factor of y?
False
Suppose 2*c + 35 = 5*h, 2*c = -4*h + 3*c + 25. Suppose h*v + 5*z = 30, -15 - 3 = -v - 4*z. Suppose -16 = -v*b + 54. Is 12 a factor of b?
False
Let d = 66 + -47. Let c = d + 20. Does 16 divide c?
False
Suppose -18*t - 4 = -16*t. Does 22 divide 45/2 - t/(-4)?
True
Let s(g) = 146*g**3 + 2*g**2 - 1. Let t(z) = 2*z - 11. Let o be t(6). Let h be s(o). Suppose -3*j = -0*j - 3*q - 93, 5*j - q - h = 0. Is j a multiple of 14?
False
Let r(x) = -7*x + 20 - 3*x + 9*x + 2*x. Let t be r(0). Suppose -104 = -u - t. Is 12 a factor of u?
True
Let l = 18 - 26. Is 5 a factor of 4 + l + 21 + (0 - 1)?
False
Let d be -2*(9/2)/3. Let v be -95 - (1 + -4) - d. Is 24 a factor of ((-1)/(-1) + -2)*v?
False
Suppose -6*f + 35*f = 19082. Does 14 divide f?
True
Is 11 a factor of (0 + (-846)/42)/(2/(-14))?
False
Let d(i) = 26*i**3 + 4*i - 4. Is 22 a factor of d(3)?
False
Suppose 3*g = 3*r + 2*r + 131, 4*r + 16 = 0. Does 23 divide g?
False
Let s = 15 - 2. Let l = -28 + s. Let a = l - -30. Is a a multiple of 5?
True
Let h(j) = -j**3 - 12*j**2 - 11*j + 3. Let b be h(-11). Suppose -15 = -b*i - 0*i. Is 384/30 + 1/i a multiple of 8?
False
Let i = 10 - 7. Suppose -7*q = -i*q - 64. Suppose -q - 24 = -5*d. Is 8 a factor of d?
True
Is 14 a factor of ((-444)/14)/(18/(-63))?
False
Let w(v) = v + 11. Suppose 0 = -3*g + 3 - 18. Let m be w(g). Is (-5 + -3)/((-2)/m) a multiple of 12?
True
Suppose 4*q - 5*f - 5086 = 0, -49*q + f + 3809 = -46*q. Is q a multiple of 18?
False
Let f(l) = -2*l - 1 + l**2 + 3 - 2*l. Let r(s) = s**2 + 22*s + 76. Let y be r(-18). Is f(y) a multiple of 2?
True
Let s(m) = 2*m**2 + 17*m - 10. Let z(q) = 3*q**2 + 34*q - 21. Let k(x) = -5*s(x) + 3*z(x). Is k(7) a multiple of 11?
False
Suppose -153090 = 216*u - 270*u. Is u a multiple of 13?
False
Suppose b + 3*z + 33 = 0, 7*z = -2*b + 4*z - 75. Does 7 divide (32/(-6))/(7/b)?
False
Let y = -61 + 61. Suppose -8*g = -y*g - 144. Does 4 divide g?
False
Suppose -4*t + 752 = d - 759, -3*t + 4524 = 3*d. Is 12 a factor of d?
False
Let m = -1 + -39. Let l = -10 - m. Does 14 divide l?
False
Let z(b) = 148*b**2 - 37*b + 254. Does 16 divide z(6)?
True
Let j(p) = 10*p + 48. Is 59 a factor of j(7)?
True
Let l = -25 + 25. Suppose q = -3*o - o + 81, l = 2*o + 8. Is 26 a factor of q?
False
Let u(s) = -s**3 - 26*s**2 - 200*s + 4. Does 35 divide u(-17)?
False
Let c(o) = -17*o - 2. Let g be c(-2). Suppose -2*j + 17 = 4*z - z, g = 5*j + 4*z. Suppose 73 - 221 = -j*k. Does 37 divide k?
True
Let h(z) = 42*z - 15. Does 16 divide h(6)?
False
Suppose 4*d = -12, -3*d + 1629 = 5*m - 6*d. Is 25 a factor of m?
False
Suppose 3*t = -2*a + 327, -3*a = -4*a + t + 156. Let s be (-1065)/(-11) + 10/55. Let i = a - s. Does 13 divide i?
False
Let c = 419 - 180. Is 16 a factor of c?
False
Let c(h) = -h**3 + 7*h**2 + 7*h + 8. Let o be c(8). Suppose o*r - r + 5 = 0. Suppose r*t = 2*t + 84. Is 7 a factor of t?
True
Suppose 0 = 26*w - 22*w - 452. Is 17 a factor of w?
False
Let g = -83 + 85. Suppose -3*z = 4*v - v - 339, -g*z = -v + 110. Is v a multiple of 28?
True
Let b = -432 - -864. Is 36 a factor of b?
True
Suppose 28*c = -654 + 4014. Does 10 divide c?
True
Let m = -132 + 132. Suppose m = 6*x - 362 - 286. Does 15 divide x?
False
Suppose -19*h + 2304 = -13*h. Does 64 divide h?
True
Suppose -2*z = q - z - 270, 1050 = 4*q - 2*z. Suppose -265 = -2*h - 3*v + q, -1325 = -5*h - 4*v. Is 33 a factor of h?
False
Suppose -4 = 4*l + 4. Let r be ((-5)/l)/(2/4). Suppose -3*a - 58 = -5*a + r*d, 5*d = 5*a - 130. Does 12 divide a?
True
Let r be 70 - ((-20)/5 + 4). Let h = 223 - r. Does 21 divide h?
False
Let v = 65 - -59. Let a = -490 + 426. Let c = v + a. Does 20 divide c?
True
Suppose p = 3*h - 4 - 9, 0 = -p - 2*h - 3. Let z(j) = j**3 + 8*j**2 - 5*j + 3. Is 14 a factor of z(p)?
False
Suppose 2*h = -2*p + 458, -11*h - 5 = -6*h. Is 5 a factor of (116/10)/(-9 - p/(-25))?
False
Let c be 2 + (122 - -3) - -3. Suppose b - 2*h - 69 = h, 2*h = -2*b + c. Is 31 a factor of b?
False
Is 30/(1 + (-174)/180) a multiple of 18?
True
Let x = -12 - -15. Suppose -x*p = -m + 5, 0*m = -5*m + 25. Does 35 divide p + (1 - 116/(-2))?
False
Let j be (13 - 11) + (5 - 1). Let a(s) = 0 + 7*s + 4 - 2*s + j*s**2 + 0*s. Is a(-2) a multiple of 8?
False
Let d = 167 - 125. Does 42 divide d?
True
Let q(b) = 23*b - 3. Let w(t) = t + 3. Let n be w(2). Is q(n) a multiple of 28?
True
Suppose 3*c + 700 = 5*j, 0*c - 291 = -2*j - c. Suppose 0 = 4*f - 4*m + m - 279, 2*f - 5*m = j. Does 21 divide f?
False
Let o = 4 + 15. Let b(c) = -c**2 + 21*c + 10. Is b(o) a multiple of 8?
True
Let p = 308 + -125. Suppose 4*l - l = p. Let g = -31 + l. Is 15 a factor of g?
True
Suppose -5*f + 5*s + 2502 = s, -2*f - 4*s = -1012. Does 17 divide f?
False
Let v = 2081 + -1274. Is v a multiple of 6?
False
Let h(o) = 4*o**2 + 35*o + 98. Is 80 a factor of h(-15)?
False
Let l be ((-10)/6)/((-4)/12). Let t be ((-16)/20)/(1/l). Does 17 divide t/(-4) - (-48 + -2)?
True
Let h(b) be the second derivative of -b**4/12 + 23*b**2/2 - b. Let j be h(0). Suppose -2*w + j = -71. Is 23 a factor of w?
False
Let b(y) = -4*y - 2*y + 7*y - 12. Let v be b(16). Suppose -25 = -v*r + 31. Is 5 a factor of r?
False
Let k be 0*4/(-8)*-2. Let f be k*(1 - (3 + -1)). Suppose -2*p + 30 = -f*p. Is p a multiple of 5?
True
Suppose 11*o - 6*o + 20 = 0. Let x = o - -1. Does 11 divide 1*x - (-1656)/24?
True
Let w be 8/14*70/(-20)*-2. Suppose 2*y + d = y + 207, 4*d = y - 197. Suppose y - 5 = w*j. Does 10 divide j?
True
Suppose -50*i + 54*i + j - 737 = 0, -2*i - 4*j = -372. Is i a multiple of 12?
False
Suppose 0*g = 4*g. Suppose g = -7*u + 3489 + 1061. Does 8 divide u/15*(-12)/(-10)?
False
Let r(n) = n**3 - 8*n**2 - 15*n - 8. Let m be r(11). Let g = m - 88. Is g a multiple of 17?
True
Suppose -j + 2264 = 7*j. Is 27 a factor of (j/(-3))/((-6)/18)?
False
Let n be ((-35)/20)/(2/8). Let v = 14 - n. Does 21 divide v?
True
Let p = -95 - -99. Suppose 0*v - p*a + 44 = v, 2*a = -5*v + 274. Is 8 a factor of v?
True
Let w be 6/(-4)*4/(-6). Suppose 0 = r + w - 4. Does 18 divide 1*(r + 0 + 33)?
True
Let x be (-2)/2 - (-8 - -4). Suppose -x*g + 33 + 9 = 0. Does 14 divide g?
True
Let w be 2 + 0/(-2 + 5). Suppose -3*m = w*m + q - 416, 0 = 2*m + q - 164. Does 21 divide m?
True
Let g(p) = 10*p**2 + 60*p + 92. Let c(r) = -3*r**2 - 20*r - 31. Let i(v) = 7*c(v) + 2*g(v). Is 29 a factor of i(-14)?
False
Suppose 0*w = -2*v - 4*w - 20, -2*w - 58 = 4*v. Let z = 212 - 194. Let o = z - v. Is 13 a factor of o?
False
Suppose 6*p + 1190 - 3098 = 0. Is p a multiple of 30?
False
Is 4 a factor of (3 + 7)/(-4*(-3)/120)?
True
Let v be -52 - (3 + 2/(-1)). Let r(k) = k - 30. Let y be r(10). Let q = y - v. Does 11 divide q?
True
Suppose 2*h = -u + 532, 0*u + 788 = 3*h + 4*u. Suppose -l + 3*l + 2*t = 146, -4*l = -2*t - h. Is l a multiple of 29?
False
Let o = -156 - -876. Is o a multiple of 16?
True
Let i(a) = -2*a - 5. Le