ple of 6?
False
Let d = 991 - -4310. Let b = d + -3772. Is 8 a factor of b?
False
Suppose 4622523 = -15*h - 464*h + 24144168. Is h a multiple of 39?
True
Suppose -10 = 12*c + 38. Does 4 divide (-40)/(-14)*(c - (-29)/2)?
False
Let b = -173 - -311. Let g = b - 94. Let h = g + 88. Does 33 divide h?
True
Let y = 577 - 206. Let z = 791 - y. Is z a multiple of 10?
True
Suppose 2*g - 1892 = -2*t, 52*t - 55*t + 2*g = -2823. Is t a multiple of 23?
True
Suppose 0 = -s - 9 + 32. Let h be ((-2673)/33)/(((-4)/(-2))/(-2)). Let x = h - s. Is x a multiple of 8?
False
Let x be (-10336)/(-76)*-1*(-1)/(-2). Let u = 16 - 53. Let g = u - x. Is g a multiple of 10?
False
Is 6269800/1305 - 6*2/27 a multiple of 29?
False
Suppose 2*b - 19 = -4*p + 7, 0 = -p - 3*b + 9. Suppose -1236 = -p*y - 36. Is 20 a factor of y?
True
Let i = -50139 - -99934. Is i a multiple of 14?
False
Let j be ((-7)/(-14))/(0 - 2/(-360)). Suppose 0 = 5*k - 4*r - j, 4*k + 0*r = r + 83. Suppose k*l - 20 = 21*l. Does 5 divide l?
True
Does 6 divide 9/((-1)/(-1))*(29 - (-2635)/279)?
False
Suppose 10 = -5*y, 14*k - 52262 = 3*k - 5*y. Is k a multiple of 108?
True
Let z = -42 + -40. Let p = z + 90. Suppose 5*d = p*d - 321. Does 11 divide d?
False
Let w be (((-1536)/10)/8)/(3/(-50)). Is 3 a factor of ((-35)/(-15) - 3) + w/12?
False
Is 16 a factor of -1 + -2 + 2 + 94*1455/30?
False
Suppose -4*b + 15 = -w + 2, 0 = -4*b - 5*w - 17. Let l = b + 0. Suppose 0 = -2*x + 8, -2*v - x = l*x - 110. Is v a multiple of 8?
False
Let s(i) = 4422*i**2 - 36*i + 70. Is 74 a factor of s(2)?
True
Let r(b) = -8*b + 76. Let z be r(8). Suppose -10 = 5*j, -10*j = 3*f - z*j - 613. Does 7 divide f?
True
Suppose 4*m - 5*a - 474 = 739, 0 = 3*a + 3. Suppose 4*o - 71 + m = b, 3*b + 5*o - 744 = 0. Is 27 a factor of b?
True
Let q(k) = 116*k**2 + k + 8. Let s be q(-2). Let o = s - 444. Does 9 divide o?
False
Suppose -19*j + 1560 = -13*j. Does 39 divide ((-87)/12)/((-5)/j)?
False
Let f be ((-10)/6)/(1375/(-690) + 2). Let s = 3 - f. Is 7 a factor of s?
False
Let b(k) = -k**3 - 11*k**2 - 10*k + 18. Let o be b(-10). Let p be -9 + -2 + (0 - -3). Let x = p + o. Is x a multiple of 3?
False
Let u = -144 - -188. Does 54 divide (0 - -380) + u + -46?
True
Is 66 a factor of ((18/216)/((-1)/15))/((-2)/10168)?
False
Suppose -3 = -2*t - 1. Suppose -7*r - t = -1. Let p(j) = -j**3 - j**2 - j + 61. Is p(r) a multiple of 13?
False
Suppose -v + 5 = 1, 2*v - 8 = 5*j. Suppose -2*u + 5*o + 204 = 0, o = -4*u - j*o + 452. Does 14 divide u?
True
Let c = -56 + 50. Let d be c/(-4)*(-4)/15*-5. Is (4 - 80)*-1 + 2/d a multiple of 22?
False
Is (-31833)/(-54) - (-2)/(-3)*6/8 even?
False
Let k = 52 + -56. Let f(j) = -2*j + 12. Let a be f(k). Suppose 4*q = 40 + a. Does 8 divide q?
False
Let v(t) = 1673*t + 5467. Does 98 divide v(17)?
True
Let o = 1515 - -3754. Is 37 a factor of o?
False
Let j(l) = l**2 + 16*l + 28. Let o be j(-14). Suppose o = -x + 12 - 17. Is 39 a factor of (-2 + 5)*(x - -18)?
True
Suppose -358731 = -32*m - 5*m - 46340. Is m a multiple of 99?
False
Suppose 0*y - 5*y + 4*s + 31869 = 0, 3*y + 3*s = 19143. Is 6 a factor of y?
False
Let u be 1/((-42)/(-35) - 1/5). Let n be 4*(0 - (3 - (-84)/(-8))). Does 14 divide (3 + n/3)*u + 1?
True
Let a be (47 - 1)/((-42)/651). Let q = 762 + a. Does 12 divide q?
False
Let f be ((-138)/21)/2 - (-4)/14. Let h(n) = -4*n**3 - n**2 - 10*n - 9. Let i(r) = -5*r**3 - 11*r - 10. Let l(x) = f*i(x) + 4*h(x). Is l(-5) a multiple of 18?
True
Let a(y) = -13*y + 103. Let p(k) = -22*k + 206. Let o(z) = -10*a(z) + 6*p(z). Is 40 a factor of o(-17)?
True
Let q(r) = -20*r**3 - 20*r**2 - 62*r + 1. Does 130 divide q(-6)?
False
Suppose 3*l = 4*d - d - 1266, 5*l = 2*d - 859. Let i = -48 + 115. Suppose -2*y + d = 5*a + i, -210 = -3*a - 4*y. Is a a multiple of 24?
False
Suppose -60*v + 53*v = -1085. Suppose 5*z = 2*j + 172, j - z = 2*z - 85. Let k = j + v. Is 16 a factor of k?
True
Let m(j) = -j**3 + 12*j**2 + 14*j + 1. Let w be m(13). Suppose 1575 = -w*i + 29*i. Does 7 divide i?
True
Let z(l) = -l**3 - 8*l**2 + 9*l + 2. Let m be z(-9). Suppose 13 + 23 = -t. Does 17 divide ((-12)/(-18))/(m/(-6)) - t?
True
Suppose -90058 = 10*h - 181038. Is 5 a factor of h?
False
Suppose -y + 3859 = -3*a, a - y - 173 = -1460. Let l = -895 - a. Does 17 divide l?
True
Suppose -2*g + 5*c - 1 = 0, 0*g - 4*g + 5 = -3*c. Suppose 0 = -g*v - 2, 2*v + 73 = f + 11. Is f a multiple of 6?
True
Suppose 11*w - 3*w = 344. Let c = w + -40. Suppose 3*l = -15, -n + l + 38 = -c*l. Does 9 divide n?
True
Suppose -5*s - 3*t = 5, -9 = -2*s + 4*t - 3*t. Does 6 divide s/(-1) + (31 - 17)?
True
Suppose 15*q - 11*q = -k + 1125, 0 = q + 3. Suppose -2*n - c = -k, 2*n + 2*n - c = 2271. Does 9 divide n?
False
Suppose 20*g - 1212 = 14*g. Is 15 a factor of (30 + 25)*g/10?
False
Suppose -5*w + 23*d = 22*d - 30, 4*w - 3*d - 13 = 0. Let j(u) = 26*u**2 - 2. Is 10 a factor of j(w)?
False
Suppose -5*s - 323*d + 328*d + 358575 = 0, -42 = 7*d. Is 11 a factor of s?
True
Let m = 1337 - 1077. Is 60 a factor of m?
False
Suppose -82*p + 752376 = -13*p. Is p a multiple of 29?
True
Let g be 1 - 7/((-28)/(-20)). Let n be (-3 - (-26)/3) + g/6. Does 11 divide 20 - n/(-2)*-2?
False
Suppose -39*i + 27*i = -52092. Suppose -17*d + 1320 + i = 0. Is d a multiple of 37?
True
Suppose 4*h - 10*h = -24. Suppose 0 = j + h*j - 5*w + 30, -5*w = j - 12. Let t = 44 - j. Is t a multiple of 7?
False
Let q be -108*((-65)/(-20) + -4). Let f(h) = 3*h**2 + 9*h - 2. Let z be f(-7). Suppose z*l - q*l = 25. Does 5 divide l?
True
Let c(z) = -30*z - 215. Let s be c(8). Let v = s + 534. Does 6 divide v?
False
Let d(f) = -239*f**2 + 485*f**2 + 16 - 242*f**2 + 27*f. Does 24 divide d(-9)?
False
Suppose 56671 - 15192 = 10*j - 6441. Is 13 a factor of j?
False
Let v be (24/15 - 1) + (-3832)/20. Let h = 39 - v. Is h a multiple of 46?
True
Suppose 4716 = 2*r - 8*r. Let j = r + 1134. Let o = j - 138. Is 35 a factor of o?
True
Suppose -y - y + 2*r = -36, -4*r = 3*y - 68. Suppose -3*p - 15 = 0, 16*p - y*p = 3*i - 112. Is 10 a factor of i?
False
Suppose x - 2*k = -7 + 1, k = -4*x - 51. Let r(o) = -2*o**3 - 22*o**2 + 17*o + 10. Does 28 divide r(x)?
False
Let u(s) = 10 - 7 + 2*s + 4 + 6 + 66*s**2. Does 13 divide u(-3)?
False
Let q = 30 + -25. Suppose -32 = q*w + 58. Let s = w - -113. Is s a multiple of 19?
True
Let f(i) = -21*i - 33. Let t be f(4). Is 39 a factor of (9 - -1)*t/(-5)?
True
Is 1 - (-6688 + (-91)/13) a multiple of 36?
True
Suppose -2 + 38 = 2*c + 2*q, 2*q = -3*c + 56. Does 32 divide 2604/c + 20/25?
False
Suppose 136*w - 75 = 131*w. Suppose 394 = w*i - 371. Is i a multiple of 17?
True
Let t(y) = y**3 - 7*y**2 - 8*y + 4. Let o be t(8). Is 9 a factor of 1550/6 - (42/(-9) + o)?
False
Suppose -755724 = 99*b - 3797301. Does 133 divide b?
True
Let g = -42 - -44. Let m(n) = -10*n**g + 7 - 9*n**2 + 4*n - n**3 + 2*n**3. Does 12 divide m(19)?
False
Is 4 a factor of 16/(-10) - (-38702)/370?
False
Let j be (-10)/(-4) - ((-84)/(-8))/(-7). Suppose -j*w + 660 = -3*w. Suppose -4*a + 2*d + 2*d = -w, 0 = -d + 1. Is a a multiple of 30?
False
Suppose -5*p + 34763 + 11782 = 0. Does 86 divide p?
False
Let d(u) = -2*u**3 + 11*u**2 - 2*u - 41. Let z be d(7). Is 13 a factor of z/(-3)*(-30)/(-4) + 2?
True
Suppose 3*a = 5 + 1. Suppose a*f - 63 = 91. Is f a multiple of 11?
True
Let l(o) = 2*o + 32. Let z be l(15). Let a = z - 52. Suppose a*s - 8*s - 30 = 0. Is s a multiple of 3?
True
Suppose 6*i = 3 + 51. Suppose -7*t + 10*t = -i. Is (1 + 142/14)/(t/(-84)) a multiple of 15?
False
Let q be (55/2)/((-1)/(-2)). Suppose 4*h - g = -147, h = 3*h + 4*g + 60. Let c = q - h. Does 11 divide c?
False
Let t(g) = -473*g - 9. Let n(o) = o**2 + 7*o - 61. Let i be n(-12). Let q be t(i). Suppose 2*r - 4*r + q = 0. Is r a multiple of 29?
True
Let b = -1673 + 6410. Suppose b = 6*y + 1089. Does 9 divide y?
False
Suppose 2*v + 0*i - 46 = 5*i, 0 = -i - 4. Suppose -7 = 4*f + v. Does 41 divide 0 + 1 + 122 - (5 + f)?
True
Let t(c) be the first derivative of -4*c**3 + c**2/2 + c - 32. Let y(a) = a**2 + a - 1. Let k(j) = -t(j) + 3*y(j). Does 15 divide k(3)?
False
Is -38 + 31 - ((-2 - -2) + -3357) a multiple of 116?
False
Let n(c) = 581*c**2 + 436*c + 1288. Does 40 divide n(-3)?
False
Let w be (9/3)/((-54)/252). Is 26 a factor of (-25)/7 - (-6)/w - -51?
False
Let k = 16133 - -41029. Is k a multi