 a factor of r?
True
Let m(x) = x + 7. Let v be m(-4). Suppose 8*b - v*b - 2*j - 862 = 0, 3*b - 2*j - 514 = 0. Let u = b - 104. Is u a multiple of 14?
True
Suppose 63*c = 64*c - 1550. Let g = c + -782. Does 24 divide g?
True
Let y(v) = 14*v**2 - 311*v - 122. Is y(26) a multiple of 12?
False
Let r(n) = -2*n**3 + 30*n**2 - 21*n + 13. Does 2 divide r(11)?
True
Let v(m) = -m**3 - 2*m**2 - 3*m - 17. Let f be v(-3). Let y = f + 39. Is 10 a factor of y?
True
Let q(h) = -h**2 + 6*h - 6. Let s be q(6). Let i(r) be the second derivative of -13*r**3/6 - 4*r**2 + 3*r - 45. Is 10 a factor of i(s)?
True
Let g = -681 + 682. Suppose 3*o = 217 - g. Is o a multiple of 3?
True
Let u(h) = h**3 + 17*h**2 - 5*h. Let y be u(-18). Let a = 269 + y. Is 5 a factor of a?
True
Suppose 139*n - 186023 = 229031. Is n a multiple of 11?
False
Let d be ((-9)/(-2))/((-69)/368). Is 57 a factor of (d - -25)*(-285)/(-1)?
True
Let v be (-4)/26 - (-46656)/78. Does 19 divide v - (-10 - -2 - -4)?
False
Let h(j) = -2*j**3 + 13*j**2 + 13*j - 20. Let a be h(7). Suppose -a*t + 375 = -17*t. Is t a multiple of 35?
False
Let m be -4 + 55/(-3) - 4/(-12). Let d(t) = -t**3 - 23*t**2 - 23*t - 13. Let s be d(m). Suppose -1408 - 1076 = -s*u. Is 46 a factor of u?
True
Let t = -2 - -6. Suppose t + 1 = -m. Is (-4)/(12/m)*42 a multiple of 35?
True
Let z = -421 - -423. Suppose z*t + 4*n + 32 = 370, -4*t = 5*n - 670. Does 33 divide t?
True
Let b be 44/198 - 4352/(-18). Suppose 0 = 3*p - 4*x - 294 + 122, 0 = 4*p + x - b. Is p a multiple of 5?
True
Let z(s) = -s**3 - 5*s**2 - 28*s - 100. Does 12 divide z(-16)?
False
Suppose -512 = 10*b - 2*b. Let m = -166 + 305. Let h = m + b. Is h a multiple of 8?
False
Let g be ((-510)/10)/(3/(-20)). Suppose -3*i + 8*i = g. Suppose 0 = -3*u + 5*u - i. Is u a multiple of 17?
True
Let n(w) = 200*w + 5. Let q be n(1). Suppose -2*y - q - 841 = s, 3*y = s - 1564. Is 4 a factor of ((-4)/6)/(12/y)?
False
Let m = 487 - 497. Is (1982 + 0)/(m/(-1) - 8) a multiple of 9?
False
Suppose -5*f + z = -568, 3*f - 3*z + 9 = 345. Let r be f - (15/(-5) - 1). Suppose 0 = -4*v + r + 26. Does 6 divide v?
True
Let q(i) = -6*i + 65. Let y be q(33). Let o = y - -136. Is 16 a factor of (-3)/(-6) - o/((-30)/1075)?
False
Let r(n) = -4*n**2 + 115*n + 46. Is 17 a factor of r(29)?
True
Let g = 8583 - 6120. Is g a multiple of 125?
False
Let o = -5997 + 21621. Is 81 a factor of o?
False
Suppose -333*z + 349454 + 376208 - 186202 = 0. Does 60 divide z?
True
Suppose z - 6 = -9. Does 8 divide (z*2/2)/(21/(-1484))?
False
Suppose d + 4*t + 632 = -0*d, 0 = -3*t. Is (2/4)/((-4)/d) a multiple of 47?
False
Let z be (-5)/15*-21*7. Suppose -281 = -5*k + z. Let o = 102 - k. Is o a multiple of 3?
True
Let l(p) = -14*p + 9. Let f(i) = -43*i + 26. Let g(n) = -3*f(n) + 8*l(n). Suppose 3*q - 5*t = -8, -t = -q - q + 4. Is g(q) a multiple of 31?
True
Let l = -68575 - -107725. Is 135 a factor of l?
True
Let u be ((-1)/(-2))/((-1)/(-670)). Suppose 5*l = 30, -2*g + 116 = -5*l + 140. Does 21 divide ((12/(-10))/g)/((-1)/u)?
False
Let z(n) = -101*n - 1379. Let g be z(-15). Let m be 8/3 - (-1)/3. Is 28 a factor of g + 0/m - -4?
True
Let b = 5539 + -2148. Is b a multiple of 6?
False
Suppose -3 = -3*m + 183. Suppose 0 = -q - k + m, 3*q - k - 176 = k. Is 3 a factor of q?
True
Suppose 25*u - 33726 = -15426. Is u a multiple of 2?
True
Suppose 2*t + k = 3*k - 26, 0 = -3*t - 4*k - 18. Let a = t - -15. Is 19 a factor of (32/a)/((-13)/(-65))?
False
Is 19172195/630 + (-6)/108 a multiple of 16?
True
Suppose -7938 = -32*t + 18*t. Let u = t - 207. Does 35 divide u?
False
Suppose -80*f + 6433968 = 231*f. Does 48 divide f?
True
Is 55 a factor of (-6 + 9)*((-620)/(-18))/((-12)/(-792))?
True
Let w be (18/(-5))/(10/(-25)). Is 112/(3/w*1) a multiple of 13?
False
Let b = -176 + 402. Let y = b - 193. Does 11 divide y?
True
Suppose 10057 = 3*h + 4*a, 3379 = h + 9*a - 13*a. Is 5 a factor of h?
False
Let j = 9 + -6. Suppose 4*b = 12, -j*v + 3*b + 2*b = 3. Suppose 0 = 5*t - v*r + 3*r - 843, -t + 177 = -3*r. Is 21 a factor of t?
True
Let z(t) = 1069*t**3 - 4*t**2 + 18*t + 24. Is z(4) a multiple of 93?
True
Is (-1008)/1*(-2 + 7/(-3)) a multiple of 168?
True
Let o = -16765 + 29134. Is 93 a factor of o?
True
Let w(m) = -3*m**3 - 52*m**2 - 2*m + 36. Let g(k) = -k**3 + 15*k**2 - 58*k - 2. Let s be g(8). Is w(s) a multiple of 36?
True
Let l be ((-684)/24)/19*-186. Let c(z) = 36*z**2 + z. Let k be c(-1). Suppose -l + k = -4*h. Is 3 a factor of h?
False
Let o = 15963 - 13352. Is 27 a factor of o?
False
Does 70 divide (6 - 4) + 2946 + (-16)/2?
True
Suppose 126*o - 18 = 124*o. Suppose -741 = -6*s + o. Does 25 divide s?
True
Suppose -12102 = -36*a + 35*a + r, 0 = 5*a - 3*r - 60512. Does 37 divide a?
False
Suppose -58*x + 137 + 269 = 0. Suppose 44*s - 9028 = x*s. Does 25 divide s?
False
Suppose h - 9 - 45 = 0. Let f = h + -51. Suppose -5*i = f*c - 28, 5 = -2*i + 3*c + 33. Does 4 divide i?
True
Suppose -6*j + 60 = -0. Suppose j*h - 4*h = 0. Suppose -4*s + 2*w - 8 + 30 = h, 2*w + 2 = -s. Does 4 divide s?
True
Let n = 118 + -118. Suppose -v = 10*j - 6*j - 2203, -3*v + 9 = n. Is 11 a factor of j?
True
Let l = 10 - -26. Let c = l - -184. Suppose -5*v + v = -c. Does 11 divide v?
True
Let k(v) = v**3 - 2*v**2 + 3*v - 6. Let w be k(2). Suppose -2*u + w*u + 4*y = -704, -2*y - 1072 = -3*u. Is u a multiple of 72?
True
Suppose 30*b - 98008 = -615 - 16093. Does 12 divide b?
False
Suppose 33*w - 6638 = 39991. Is w a multiple of 12?
False
Suppose p + 2*p - 1074 = 0. Suppose 0 = -2*a - 4*j + 272, -p - 165 = -4*a - j. Is 8 a factor of a?
False
Suppose 8*y = 16*y - 112. Suppose -a = a + 8. Let p = y + a. Does 10 divide p?
True
Suppose r = -2*r - 3*l + 9, -2 = -2*l. Does 7 divide (r/4)/((-7850)/(-980) - 8)?
True
Suppose -5 = 3*s - 17. Suppose s*c = -d + 4, -c + 2*c - 6 = d. Suppose 2*i + c = -2*b + 126, -b = -2*i - 47. Is b a multiple of 17?
False
Let c be (-21)/35 + 1693/5. Suppose -3*o + 1171 = 4*d - c, -2*d + 753 = 3*o. Is 7 a factor of d?
True
Let m = 93 + 197. Let o = m + 90. Does 6 divide o?
False
Suppose 2 + 28 = -5*m, 2*w - 5*m - 2446 = 0. Is w a multiple of 27?
False
Let x(t) = 24*t + 3. Let s(b) = -1. Let v be ((-2)/(-2))/((-5)/5). Let u(k) = v*x(k) + 2*s(k). Is u(-2) a multiple of 24?
False
Let y(a) = 12*a**3 - 67*a**2 - 43*a + 184. Does 34 divide y(12)?
False
Let b(x) = 248*x + 16. Let o be b(1). Suppose 2*a - d + 3*d = o, a - 120 = 2*d. Is 20 a factor of a?
False
Let o = 1999 + -2872. Let s = 1638 + o. Suppose -5*n + s = r, 4*n + 5*r - 677 + 44 = 0. Is 19 a factor of n?
True
Let d be (-4 - 2/(-1)) + 4. Suppose 6 - 40 = d*l. Let r = l + 62. Does 20 divide r?
False
Suppose 0 = 3*x + 12, -4*n + 11808 = 18*x - 15*x. Does 18 divide n?
False
Let j(b) = 15*b + 18. Let d(c) = -28*c - 37. Let i(k) = -3*d(k) - 5*j(k). Is i(-2) a multiple of 2?
False
Let q = 14635 - 1283. Is 226 a factor of q?
False
Let f = -75 - -78. Suppose 565 = -f*h + 1567. Let l = h - 193. Is 47 a factor of l?
True
Suppose -n = -q - 3, 4*n + 6*q - q + 15 = 0. Suppose -2*y + 90 = 4*c, 5*y + n*y = c + 280. Does 55 divide y?
True
Is 29 a factor of (18/15)/((-4)/10) + (8265 - -42)?
False
Suppose 3*t - 1803 - 3040 = -2*p, -2*t = -3*p + 7232. Suppose -2*i = -5*g + 4023, 11*g + p = 14*g - i. Does 23 divide g?
True
Suppose -2726*g + 12240 = -2709*g. Is 10 a factor of g?
True
Let a = -4653 + 6291. Does 42 divide a?
True
Let w(l) = -12*l + 2560. Let r be w(0). Suppose -8*c + 24*c = r. Is 8 a factor of c?
True
Let o(z) = 3*z**3 + 28*z**2 - 28*z + 46. Let n(m) = -m**3 - m**2 - m - 1. Let h(v) = 4*n(v) + o(v). Is 77 a factor of h(21)?
True
Let h = 873 - -2097. Is 45 a factor of h?
True
Suppose 0 = 70*q - 92*q + 101442 - 13024. Does 130 divide q?
False
Let r(s) = -1113*s + 1146. Does 9 divide r(-7)?
True
Is 53 a factor of (-4889)/(-2) - (-10 + -95*(-3)/30)?
False
Let w = 18 + -11. Let p(i) = i**2 + 25*i + 154. Let b be p(-14). Suppose w*x + 253 - 925 = b. Is x a multiple of 17?
False
Let u be (-25)/150 - 250/12. Is 5 a factor of 2 - 29*(-3)/((-9)/u)?
True
Let g be 2/(-2)*(-1 - -91). Let l = 10 - g. Let k = -11 + l. Is k a multiple of 8?
False
Suppose -18502 = -6*n + 3410. Is n a multiple of 44?
True
Let u(p) be the third derivative of -p**4/4 - 15*p**3/2 + 2*p**2. Suppose -188 - 62 = 25*x. Is u(x) a multiple of 5?
True
Sup