 m = 36 + -18. Suppose v = -4*o - 2*v + m, -3*o = -4*v - 26. Is q(o) a multiple of 5?
True
Does 83 divide 15/25 - 2484/(-10)?
True
Suppose 4708 = 5*f + 3*t, 2*t + 856 - 3681 = -3*f. Does 19 divide f?
False
Suppose -15*x - 323 = -5558. Is 9 a factor of x?
False
Let j be ((-45)/(-105))/((-1)/(-7)). Suppose 0 = 4*z - 8*z + 4*n + 364, 2*n + 277 = j*z. Is 19 a factor of z?
True
Let p(r) = r. Let u be p(-2). Let b(w) = -12*w + 5. Let z(g) = 12*g - 4. Let n(i) = -2*b(i) - 3*z(i). Does 6 divide n(u)?
False
Does 108 divide (6 - (-7)/1) + 95?
True
Let z be -2*4/(-16)*214. Suppose f + 99 = 3*m - 10, -3*m = -2*f - z. Suppose 2*b = 4*x + 34, -2*b + m = -3*x - 0*x. Does 10 divide b?
False
Let n be 69/15 + 2/5. Let c(s) = 2 + 10*s + 0 - s**2 - 4*s - 4. Does 3 divide c(n)?
True
Is 38 a factor of 692 + 8*(-5 + 4)?
True
Let v = -17 - -37. Suppose -3*d + 137 - v = -3*u, 0 = 5*d + 2*u - 167. Does 7 divide d?
True
Suppose 0 = 8*b + b. Let w = 5 + -3. Suppose -w*s + 74 = -r + 16, b = -3*s + 2*r + 86. Is 15 a factor of s?
True
Let n be (-2)/(-8) + (-17)/4. Is 21 a factor of 30/40 - 345/n?
False
Let a be ((-320)/35 + 4)/(6/(-21)). Does 4 divide (1 - a/12) + 134/4?
False
Suppose y = -4, 0*y + 2*y - 424 = -4*k. Is 12 a factor of k?
True
Suppose -3*k - 256 = -2*y - 836, 4*k + 5*y = 758. Is 6 a factor of k?
True
Let s be (-12)/(2 + -6) + 229. Suppose -p + s + 387 = 0. Suppose -5*z - 485 = -5*m, -5*m + p - 141 = 2*z. Is m a multiple of 29?
False
Let x = 2333 - 974. Does 15 divide x?
False
Let z = 549 - -91. Is 32 a factor of z?
True
Let t = -43 + -49. Let d = t + 106. Is d a multiple of 3?
False
Let g(u) = -u**2 - 57. Let v be g(0). Let q(b) = -2*b**3 - 5*b**2 + 7*b - 5. Let r be q(2). Let p = r - v. Is 15 a factor of p?
True
Suppose -8 = -3*d - 2. Suppose -1 = q - d*q, i = 3*q + 42. Does 10 divide i?
False
Is 10 a factor of (-3 - -4)*(-5 + 444/3)?
False
Suppose -4*f + 2*d + 5868 = 0, 5*f + 0*d = -5*d + 7320. Does 15 divide f?
False
Let j be (11 + -1)*(7 - -8). Suppose -q - 4*d = -j, -169 = -q - 5*d - 22. Does 13 divide q?
False
Is 11 a factor of ((-22)/5)/(-4 + (-1195)/(-300))?
True
Suppose -5*j + 6 + 4 = 0. Suppose b + 5*c + 7 = -15, 26 = j*b - 4*c. Suppose b*g + 90 = 5*g. Is 12 a factor of g?
False
Suppose -2*d - 2*q = -3*d + 13, -d - 4*q - 11 = 0. Suppose -r = -0*o - 3*o + 153, 3*r = -d*o + 269. Let l = o - 34. Does 13 divide l?
False
Suppose 3*n - k + 0*k - 210 = 0, k = 4*n - 279. Does 2 divide n?
False
Let g = -321 + 583. Does 21 divide g?
False
Let t(m) = m**3 + 10*m**2 + m - 11. Let h be t(-7). Let s = -49 + h. Is s a multiple of 20?
True
Let l(w) = -13*w - 5. Suppose -3*i + 6*i - 9 = 0. Suppose -i*m + 3 = 12. Is l(m) a multiple of 17?
True
Let i(f) = -447*f - 673. Is i(-3) a multiple of 35?
False
Let m(y) = -y**3 - 7*y**2 - 4*y - 5. Let x be m(-7). Let g = -16 + x. Does 3 divide g?
False
Suppose -27*o + 71804 = 31*o. Does 30 divide o?
False
Let a = 786 + 489. Is a a multiple of 85?
True
Let i = -59 - -101. Suppose 0*k + i = 2*k. Is 8 a factor of k?
False
Let d(t) = 9*t + 72. Is 20 a factor of d(9)?
False
Let s = 12 - 13. Let v be s/4 - (-4616)/32. Let t = v + -79. Does 16 divide t?
False
Let r = -1717 - -3613. Does 41 divide r?
False
Suppose -2*l = 5*d - 6*d + 568, 2*d - 1146 = -l. Is d a multiple of 7?
False
Let y(s) = s**3 + 15 - 12*s**2 - 2*s**3 + s + s**2. Let i be y(-11). Suppose 26 = 6*d - i*d. Is 12 a factor of d?
False
Suppose 9 = -3*u, 3*u = o - 295 - 8. Does 14 divide o?
True
Suppose 184 = 4*d - 3*p - 356, -d = -p - 136. Let j be 10/(-3)*d/55. Is 9 a factor of (-1)/((j/33)/8)?
False
Suppose 5*k + 3687 = 4*z, 5*z - 4620 = 2*k + 2*k. Suppose 234 + z = 7*r. Is 17 a factor of r?
False
Let z(f) = -2*f - 2. Let j be z(-3). Suppose -20 = -3*g - 2*k, -g + 36 = 3*g + 5*k. Suppose 2*q - j - g = 0. Does 2 divide q?
True
Suppose 6*h = -1421 + 3917. Does 13 divide h?
True
Let j = -1 + 5. Suppose -j*l - 124 = -688. Suppose -l - 99 = -5*n. Is 24 a factor of n?
True
Let v(d) = -d - 4. Suppose -21 = 4*c - 0*c + a, -22 = 4*c + 2*a. Let m be v(c). Suppose -6 + m = -f. Is f a multiple of 3?
False
Is ((-200)/160)/(-2*(-1)/(-1016)) a multiple of 34?
False
Suppose -24*o + 27*o - 85 = -2*q, 0 = -3*o - q + 89. Does 9 divide o?
False
Suppose -142 = u - 2*j, -3*u - u - 556 = -2*j. Let m = -88 - u. Is m a multiple of 10?
True
Let u be -2 - (11 - 3/3). Does 18 divide u*(-4 + (-75)/6)?
True
Let m(i) = -i**3 + 5*i**2 - 2*i - 2. Let u be m(2). Suppose -u = -0*h - h - q, -2*h + 15 = -q. Is h a multiple of 7?
True
Suppose 0 = -2*z - 8, -q - z = -5*z - 36. Suppose 3*a - 16 = q. Suppose 4*p - 42 - a = -3*g, -11 = -g + p. Does 7 divide g?
True
Is (((-78)/5)/3)/(6/(-120)) a multiple of 52?
True
Let d(q) = q + 1. Let n be d(3). Let j be (2 - 2) + 8 - n. Suppose f - 574 = -5*o, j*f = -2*o - f + 248. Is o a multiple of 19?
True
Let w(t) = 252*t**2 - 2*t. Let l be w(-1). Suppose 4*k - 45 = 3*b - l, -4*b = -k - 296. Is 17 a factor of b?
False
Suppose -3*l = 3*c - 354, 2*l - c = -4*c + 232. Does 6 divide l?
False
Suppose -n = -183 + 22. Does 8 divide n?
False
Suppose 0 = -3*k - 9 - 0, -5*i + 3*k + 39 = 0. Let p = 2 - i. Is ((-56)/35)/(p/150) a multiple of 30?
True
Suppose -5*m = 4*f + 37, -4 = -4*m + f - 21. Does 8 divide (-76)/(-10) + (-2)/m?
True
Let p be (-1 + 75/6)*-2*5. Let u = p + 181. Is u a multiple of 47?
False
Suppose -3*j - 3*w + 21 = 0, -3*j + w + 1 + 8 = 0. Let d(f) be the first derivative of -f**4/4 + 8*f**3/3 + 7*f**2/2 - 8*f - 1. Does 25 divide d(j)?
False
Suppose 0*b = b - 7. Suppose 4 = 3*i - 2. Suppose -20 = -m - 4*u + 16, 5*u + b = i*m. Is m a multiple of 8?
True
Is 81 a factor of -1 + 5 + 11853/27?
False
Suppose 4*p - 4*w = 500, -2*w + 94 - 90 = 0. Is p a multiple of 11?
False
Suppose -336 = 16*u - 28*u. Let c(x) = -190*x + 1. Let b be c(-1). Suppose -3*t + b = -u. Is t a multiple of 19?
False
Suppose -3*q = -0*q - 2*q. Suppose q = 4*c - 18 - 66. Is c a multiple of 5?
False
Let r be (37 + 1)*(1 + 2). Suppose 0 = -r*p + 109*p + 540. Is p a multiple of 12?
True
Is 24 a factor of (-1 + 986/10)*25/10?
False
Suppose 2*t - 5*c + 3*c = 240, -480 = -4*t + 3*c. Let g = t - 83. Suppose 17 = o - g. Does 27 divide o?
True
Let d(p) be the third derivative of 17/6*p**3 - 2*p**2 + 0 - 13/24*p**4 - 11/60*p**5 + 1/120*p**6 + 0*p. Is 2 a factor of d(12)?
False
Let z be (-3)/9 + (-436)/(-12). Let s = z - 36. Suppose -3*h - m + 4*m + 105 = 0, s = 4*h - 5*m - 138. Is h a multiple of 5?
False
Let i(v) = 3*v**2 - v - 13. Let u be 10/8*(2 + 2). Is i(u) a multiple of 26?
False
Let o = 364 + -202. Does 14 divide o?
False
Let i = 686 + -248. Is i a multiple of 2?
True
Suppose -4*t - 536 = -n, -4*n + t = -3*n - 527. Let s = n - 303. Is 17 a factor of s?
True
Suppose 47 + 103 = 2*g. Is g*((-9)/12)/((-27)/24) a multiple of 29?
False
Suppose 2*y = -5*n + 2697, 5*n + 4*y = 1803 + 896. Is 103 a factor of n?
False
Let f = -2477 + 3303. Is 37 a factor of f?
False
Is (0 - 1249)/(14 - 11)*-3 a multiple of 42?
False
Suppose -o + 6*o = s - 5, -5*s - 3*o = 59. Is 303/5 - (-6)/s a multiple of 33?
False
Let y = -68 + 108. Let i = 112 - y. Is i a multiple of 21?
False
Is ((-2)/8)/((-16)/14784) a multiple of 7?
True
Let k = -3 + 9. Let p(r) = k - 2*r - 2 + 0. Does 8 divide p(-2)?
True
Suppose s = 5*s - 2*x + 10, -2*x + 12 = -5*s. Let f be (-6)/8*(-2 + s). Suppose -5*b - 5*n + 305 = 0, -2*n = -f*n - 5. Is 22 a factor of b?
True
Let p be (-4)/22 + 78/66. Let q be (128 + 2)/p + 1. Suppose x + q = 4*h, 2*h + h + 3*x - 102 = 0. Is h a multiple of 18?
False
Suppose -3*b + 11 = 5. Suppose 0 = b*f + 3*f - 65. Is f a multiple of 10?
False
Suppose 0 = -4*j - 4*q + 1240, 2*q = 5*j - 0*q - 1515. Is 18 a factor of j?
False
Suppose m = -3*z - m + 560, 936 = 5*z + 2*m. Does 8 divide z?
False
Let w = 16 - -245. Is 22 a factor of w?
False
Let t(b) = -b**2 - 8*b + 4. Let a be t(-8). Suppose -3*l = 2*l + a*u + 151, 2*l = -2*u - 62. Let i = l - -45. Does 3 divide i?
True
Let a(c) = -9*c + 4. Let u = -65 + 55. Is 8 a factor of a(u)?
False
Suppose -15*y - 24*y + 25545 = 0. Is y a multiple of 49?
False
Suppose -j + 987 = 5*w + 140, j + 505 = 3*w. Is w a multiple of 14?
False
Suppose 45 - 62 = -j. Does 5 divide j?
False
Suppose 0 = -5*r - 0 + 5. Is 11 a factor of r/((16/76)/4)?
False
Suppose 0 = s + 4*k - 246, 0*k = s - k - 251. Suppose 