 p = -202 - -90. Let m = 115 + p. Suppose -m*t + 86 = 5*c - 352, -5*t - 20 = 0. Does 9 divide c?
True
Suppose -2*o + 17 = 21, -5*o = 5*s - 148705. Does 135 divide s?
False
Let z(v) = 4*v**2 + 3*v - 3. Let g be z(2). Suppose -3*q + 0*p = 4*p - g, -3*p - 6 = 0. Suppose -j + 8*f - q*f + 19 = 0, 2*j - 2*f = 46. Does 6 divide j?
False
Suppose -3*v - 5*s + 829 - 127 = 0, v - s - 226 = 0. Let x = -347 + v. Let h = 309 + x. Is 33 a factor of h?
False
Let s be 2/(-4)*(-32 + -3 + -1). Is 36 a factor of -3 + s/4 + (-1477)/(-14)?
False
Let v(z) = -z**2 + 19*z - 54. Let l be v(5). Let p(a) = -3*a**3 - a**2 - a - 2. Let d be p(3). Does 17 divide (1 + d)*(-17 + l)?
False
Let r(z) = z**2 + 8*z + 9. Let q be r(-5). Let h(d) = -5*d - 30. Let v be h(q). Suppose 2*m + 10 = v, -1 = -2*j - 5*m + 6. Does 8 divide j?
True
Let z(g) = -g - 1. Let i(y) = -22*y - 6. Let p(s) = -3*i(s) + 6*z(s). Let l be p(-6). Let b = l - -488. Is 24 a factor of b?
False
Let f(b) be the third derivative of b**5/60 + 17*b**4/12 + 5*b**3/2 + 19*b**2. Let v(d) be the first derivative of f(d). Is v(-15) a multiple of 2?
True
Suppose 14*m - 15*m + 365 = 0. Suppose m*n - 260 = 364*n. Is 9 a factor of n?
False
Let r = 43 - 57. Let u = r + 79. Let o = u - -9. Is 7 a factor of o?
False
Let m(a) = 20*a**2 + 10*a + 19. Let j be m(-3). Let r = 277 - j. Is r a multiple of 6?
True
Suppose -12*x + 9140 = 3*i - 17*x, 4*x = -5*i + 15184. Is i a multiple of 16?
True
Suppose 4*o + 1289 = p + 84, -3*o = -2*p + 910. Let i = o - -421. Let k = i - 37. Is k a multiple of 12?
True
Suppose x = 4*x - 4*k + 2070, -5*x + 2*k - 3436 = 0. Let j = 756 + x. Does 10 divide j?
True
Suppose 0 = -79*w + 76*w + 21. Suppose -2297 - 783 = -w*p. Is p a multiple of 8?
True
Suppose 35 = 18*m - 11*m. Suppose c + m*x + 29 = 68, 0 = -4*c - 2*x + 156. Does 2 divide c?
False
Suppose -5*f = 5, 0*f - 4*f = -4*w + 76. Suppose w*p = 12*p + 2226. Is p a multiple of 12?
False
Suppose -8*j - 8 = 32. Let x be ((-2)/6)/(j/135). Suppose 3*c = -x*c + 228. Is 2 a factor of c?
False
Suppose -37*y - 80690 = -444770. Is 40 a factor of y?
True
Suppose 5*j = -h + 6870, -83*h + 78*h + 3*j + 34406 = 0. Does 80 divide h?
True
Suppose 2*g - 7*g = l - 1515, g - 4*l = 282. Suppose -g*p + 305*p = 27. Does 2 divide p?
False
Let n be (((-2)/(-2))/4)/(162/1296). Suppose 494 = 2*d + 5*w, -d = -n*d - 4*w + 253. Is d a multiple of 15?
False
Let b = 9617 - 3137. Is b a multiple of 108?
True
Let z(i) = 1726*i - 2462. Is 52 a factor of z(7)?
True
Suppose -52 = -16*l - 20. Suppose -6241 = -5*j - l*h, 3*j - 6*h - 3750 = -9*h. Is j a multiple of 53?
False
Let s be 9 + (-330)/36 - (-845)/(-6). Let m = s - -681. Is m a multiple of 5?
True
Let m(o) = -38*o**2 + o**3 - 4*o + 12*o**2 + 20*o**2 + 4. Is m(7) even?
False
Suppose -9*y + 5979 - 22587 = -80211. Does 62 divide y?
False
Suppose -o - 14 = 4*a - 0*a, -2*o + 4*a = 16. Let i = 118 - -12. Let j = i - o. Is j a multiple of 28?
True
Let r = -16948 + 20113. Does 8 divide r?
False
Let l be ((-25)/(-20))/(3/12). Suppose 0 = -5*j + l + 10. Does 20 divide (j*(-11)/4)/((-90)/240)?
False
Suppose -5*v + 2*n + 784 = 0, -4*v - 3*n = 25 - 643. Let j = 189 + v. Is 15 a factor of j?
True
Let x(m) = -102*m + 80. Let a be x(-7). Suppose 0 = 5*f + a - 2774. Does 33 divide f?
True
Let y be 129/(-3) - 4/((-4)/3). Let l be (24/y)/(1/(-125)). Suppose 4*g + 0*g + l = n, -225 = -3*n + 5*g. Is 25 a factor of n?
True
Suppose -15*h + 10*h - j = 29, 4*h + j = -23. Suppose 2*u - 6 = 18. Let r = u + h. Does 4 divide r?
False
Let k(v) = 40*v**3 + 5*v**2 - 7*v + 4. Is 19 a factor of k(2)?
False
Suppose 1845 = -8*h + 4661. Suppose -3*b = -2*m + 439, 4*m - 5*m - 3*b + 206 = 0. Let x = h - m. Is x a multiple of 28?
False
Let h(z) = 38 + 32 + 2*z**2 + 8*z + 2*z**2 - 79. Is 13 a factor of h(-15)?
False
Let i be ((-2)/(-6))/((-13)/(-12597)). Let t = i + -190. Suppose u = -4*s + 189, -3*s + 0*u = -u - t. Is 12 a factor of s?
False
Let q be (3 - (-10 - 5)) + 2. Suppose q*l = 4*l + 1376. Is 24 a factor of l?
False
Let w(z) = z**3 + 26*z**2 + 13*z - 83. Suppose -9 = o - 4*a, -a - 26 = -2*o - 72. Is 7 a factor of w(o)?
True
Let h(n) = 8*n**2 - 20*n - 6. Let i(k) = -2*k**2 + 1. Let o(a) = -2*h(a) - 6*i(a). Is o(8) a multiple of 5?
True
Suppose 5*v - 65 = -545. Is 13 a factor of (312/v)/((5/124)/(-5))?
True
Let z = 18 + -16. Let n be (z/(-4))/(5/(-10)). Is 21 a factor of 7/((-21)/(-6)) + (n - -123)?
True
Let r(p) = 6*p**2 - 6 - 2 - p + 2*p**2. Suppose d - z = 5, 75*z + 20 = -4*d + 74*z. Is r(d) a multiple of 10?
False
Let f(k) = -2*k**2 - 30*k - 8. Let o(x) = x**2 + 9*x + 3. Let m(g) = 6*f(g) + 20*o(g). Is m(-10) a multiple of 58?
True
Let r = 651 - 636. Let s = r - 1. Does 10 divide s?
False
Suppose -32 - 68 = 5*g. Let n be (2/8)/(g/(-160)). Suppose 122 = 5*o + 3*d - 332, o - 88 = -n*d. Is 15 a factor of o?
False
Let w(q) be the first derivative of 2*q + 25/3*q**3 - 8 - 1/2*q**2. Is w(1) a multiple of 13?
True
Let w(i) = i**3 - 4*i**2 - i - 20. Let r be w(5). Suppose 4*a + a - 3*u - 4975 = 0, r = -a + 4*u + 1012. Does 8 divide a?
True
Suppose -2*j - 2*h - h + 1510 = 0, 0 = 3*j + h - 2265. Suppose 138*r = 133*r + j. Does 8 divide r?
False
Does 32 divide 64/8 - (-2 + 32)*-191?
False
Let c(p) be the second derivative of 5*p**3/6 + 209*p**2/2 + 5*p - 19. Is 40 a factor of c(-20)?
False
Suppose 3*f - 3*i - 15324 = 0, -4*f - 9*i + 10*i = -20411. Is 35 a factor of f?
False
Suppose 3*u + 5*y - 920 = 0, 2*y - 3 = 5. Let x be (3 - -3) + 1 - 183. Let z = u + x. Does 31 divide z?
True
Suppose -34*x = -21*x - 88907. Is 39 a factor of x?
False
Suppose -1851 = -v - 7*g + 7802, 4*v = g + 38612. Is 171 a factor of v?
False
Suppose -2 = 5*g + 3, 22 = 5*k + 3*g. Suppose 0 = 2*c - k*t - 17 - 14, 3*c = -3*t + 36. Suppose x - 48 = -c. Is x a multiple of 7?
True
Suppose -i - 2*a + 55 - 6 = 0, 0 = 4*i + 2*a - 172. Suppose 9*j = 162 + 315. Let y = j - i. Does 2 divide y?
True
Suppose 5*v - 4*n = 260630, 3*v + 1909*n = 1907*n + 156356. Is v a multiple of 73?
True
Suppose 3*g - 7*g + 4 = 0, 0 = -2*p - 5*g + 1877. Is 14 a factor of p?
False
Let j(z) = 8*z**2 - 178*z - 336. Is j(75) a multiple of 110?
False
Let q be (-1*(-4 + 5))/(4/12). Let o(b) = -5*b**3 - 2*b**2 + 6*b + 7. Is o(q) a multiple of 8?
False
Let t = -1867 - -12019. Is 170 a factor of t?
False
Let x(i) = -2*i**2 - 26*i - 18. Let m be x(-13). Is 6 a factor of (m/45)/(6/(-2055)*1)?
False
Let h = -17001 + 24711. Is 16 a factor of h?
False
Suppose -r + 3*r - 26 = 2*g, r - 15 = 3*g. Let z(m) be the second derivative of m**4/12 + m**3/3 - 20*m**2 - 2085*m - 1. Is z(r) a multiple of 8?
True
Suppose 13180 = -6*y + 37354. Does 237 divide y?
True
Does 2 divide (2*-1)/(-18*20/192600)?
True
Let i = -42 - -35. Let g(n) = -12*n + 14. Let c be g(i). Suppose 5*a + 68 + c = y, 0 = -4*a + 16. Does 31 divide y?
True
Suppose -2*x - 4*w + 0*w = -96, 0 = -5*x + w + 273. Does 7 divide x?
False
Suppose -2*c - 24 = 4*p, -p = -3*p - 4. Let r be -2 + (-5 - -3) + (0 - c). Suppose 4*u + r = 0, 3*q + 15 - 294 = -3*u. Is 47 a factor of q?
True
Suppose -y + 5*m + 15 = 0, 5*y - 55 = 3*m + 2*m. Is 7 a factor of 8/y + (-2619)/(-45)?
False
Suppose 4*h = -3*w + 19, -4*h - 11*w + 12*w + 31 = 0. Is (-1615)/(-4) + (h - (-27)/(-4)) a multiple of 36?
False
Let l be (6/5)/(3/10). Let u(p) = -p**2 - l - 4 - 21*p + 13*p + 17*p. Does 5 divide u(3)?
True
Suppose 35*n - 41*n + 12 = 0. Suppose 77 = 2*y + v, -n*y + 27 = -4*v - 45. Is y a multiple of 38?
True
Suppose 0 = -360*b + 349*b + 22605. Is b a multiple of 32?
False
Suppose -23*g = -14*g + 8577. Let q = -516 - g. Is 37 a factor of q?
False
Suppose -129*k = -13*k - 46*k - 383320. Does 21 divide k?
False
Let x(y) = -y**2 - 17*y - 37. Let m be x(-14). Suppose -16*c = -14*c - u - 2589, -m*c + 6477 = 2*u. Is c a multiple of 37?
True
Suppose 7*p + 4*f - 1 = 6*p, 0 = -3*f - 3. Suppose p*x - 2*x - 1029 = 0. Is 52 a factor of x?
False
Let n be 0 + 1 + -3 - (52 - 59). Suppose -5*z = -4*c - 4670, 2*z - n*c = -z + 2815. Is 58 a factor of z?
False
Let y(b) = -166*b - 3113. Does 120 divide y(-42)?
False
Suppose 11*q + 35245 = 104050. Is 32 a factor of q?
False
Let w = -214 + 350. Suppose -w*j + 142*j - 3264 = 0. Is j a multiple of 68?
True
Let l be 6*(-2 - 40/(-15)). Let m be (-27)/(-3)*l + 0. Suppose m = 2*t - 30. Does 11 divide 