or of u?
True
Let s = -37871 - -63682. Does 53 divide s?
True
Suppose 4*t + 0 = -24. Let g be ((-45)/t - 0)/((-18)/(-24)). Suppose 5*z + 3*d - 675 = 5*d, 2*d - g = 0. Does 12 divide z?
False
Let r(q) = 2*q**2 - 4*q - 2. Let h be r(3). Suppose 10*w - h*w = -18. Is -1 - -6*(-38)/w a multiple of 5?
True
Let a = 21093 - 12214. Does 60 divide a?
False
Suppose 2 = -2*l - k, -l + 2*k = -3*l - 4. Suppose -2*b - 7 + 23 = l. Suppose 373 = b*g - 443. Does 11 divide g?
False
Does 22 divide (-1)/(3/(-2090))*((-11235)/(-175) + -57)?
True
Let v(c) = -32*c**2 + 4*c + 7. Let g be v(4). Let b = g - -1394. Suppose -6*u = -b - 241. Does 15 divide u?
False
Let r(t) = -219*t - 1782. Is 86 a factor of r(-30)?
False
Let v be -6*6/6 - -8. Suppose -3*z + 5934 = 4*s, 5*s + 0*z = -v*z + 7414. Is 39 a factor of s?
True
Suppose -c = 4*m - 170889, -187*m + c + 128151 = -184*m. Does 267 divide m?
True
Suppose 0 = 2*p + 57 + 43. Let r be p/(-6) - (-2)/3. Suppose r*l - 12*l + 357 = 0. Is l a multiple of 17?
True
Suppose 2*m + 6*x = 7*x + 13866, 0 = -5*m + 8*x + 34687. Is 181 a factor of m?
False
Suppose -4*i - 2*o + o = -117, -4*o + 48 = 2*i. Let m = -101 + 106. Suppose -2*n + 191 + i = -5*g, 5*g + 545 = m*n. Is 36 a factor of n?
True
Let m(b) = 4298*b + 8862. Is m(6) a multiple of 110?
True
Let h = -44 - -65. Suppose h*r = 11*r + 3820. Let n = 650 - r. Is 29 a factor of n?
False
Is 10 a factor of 2701 + 2 - ((-242)/33 - (-21)/9)?
False
Suppose 0 = -22*z + 31*z - 27. Suppose -47*d + 49*d = -w + 488, 0 = -2*w + z*d + 969. Is w a multiple of 28?
False
Let c(m) = -m**2 + 13*m - 19. Let o be c(24). Let n = -187 - o. Is n a multiple of 16?
True
Let r be -15*1/(-4) - (-12)/(-16). Let q be r + 1 + -2 - 16/(-2). Suppose -5*t = -q*t + 520. Is 13 a factor of t?
True
Let x = -20 + 90. Let y = x - 67. Suppose -i - 264 = -2*k, k + y*i - 264 = -k. Does 22 divide k?
True
Let w be -10 + (6/(-10))/(1/(-5)). Let y be 20/(-6)*(-28 + 5 + w). Suppose 2*j = -4*o + y, -4*j - 4*o + 318 = 106. Is j a multiple of 16?
False
Let p(l) = -l - 12. Let a be p(-5). Let k be 58/a + 10/35. Let u(w) = -w**3 - 7*w**2 - 2*w - 5. Is 17 a factor of u(k)?
False
Suppose 25*i = -h + 26*i + 13354, -4*h = -2*i - 53414. Is h a multiple of 27?
False
Let q(w) = -3235*w + 1338. Is 156 a factor of q(-6)?
True
Let k = 24 + -15. Suppose 4*r = -y + k, 4*r = 3*y + 3 + 2. Suppose -r*q + 56 + 164 = 0. Does 12 divide q?
False
Suppose -2*m - 4*w = -2252, -184 = m - 4*w - 1304. Is 2 a factor of m?
True
Let i(b) = -1733*b + 14317. Is i(-6) a multiple of 20?
False
Let s = 3209 - 130. Does 78 divide s?
False
Suppose 197*z + 2 = 196*z. Is 4/(-6) + (z - (-2932)/6) a multiple of 18?
True
Let o = 1082 - 164. Suppose -o = -4*p - 14*p. Is p a multiple of 3?
True
Let s be -4 - ((-1)/4 + 248/(-32)). Suppose 2*f = -0*f + y + 131, -43 = -f - s*y. Does 7 divide f?
True
Let l = -9164 + 12609. Is 99 a factor of l?
False
Let o(u) be the first derivative of -23*u**2/2 - 167*u - 129. Is o(-19) a multiple of 8?
False
Let r be -2 - ((-2 - 12) + 1*-1). Let k(f) = 21*f + 42. Is k(r) a multiple of 14?
False
Let s(g) = -4*g - 10 - 2 + 0 + 9*g - 23*g**2 - 2*g**3. Let p be s(-12). Is -1 + -5 + 6 + p a multiple of 8?
True
Let t = -53 - -44. Does 29 divide -2 + t/(-5) + (-873)/(-15)?
True
Let f = 3002 + 4522. Is f a multiple of 114?
True
Let n = 117 + -28. Suppose 3*k = -f + n + 54, 660 = 5*f + 4*k. Is f a multiple of 32?
True
Suppose -6*u = 5*c - 5*u - 36613, 4*u - 14656 = -2*c. Is 28 a factor of c?
False
Let r(b) be the third derivative of 3*b**6/4 - b**5/15 + 3*b**4/8 - 4*b**3/3 - 146*b**2. Does 14 divide r(2)?
True
Is 123 a factor of (-2)/(-4) + 0 + (-5388088)/(-592)?
True
Let z be (2/3)/((-4)/18). Does 19 divide (-1725)/(-5)*1 - z?
False
Suppose 25252 = 17*a - 2662. Is 14 a factor of a?
False
Let x = 72 + -33. Suppose -2*a = -4*p + 2 - 8, 15 = -2*p + 5*a. Let o = p + x. Does 9 divide o?
False
Let p be ((-18)/(-15))/((-2 + 4)/20). Let h be (p/9 - 1)/((-7)/(-84)). Suppose -h*n + v = -286, 9 = 2*n - 3*v - 139. Is 28 a factor of n?
False
Suppose b = -134 - 164. Suppose 4*a + 728 = -4*x, -20*x = -21*x - 5*a - 174. Let c = x - b. Is 32 a factor of c?
False
Let w be 3/12 - (-3510)/40. Is 23 a factor of (-15 + 1)*w/(-16)?
False
Suppose -3*k - 4065 = -3*x, -36*x + 3*k = -39*x + 4035. Is 18 a factor of x?
True
Let g = 285 + -280. Suppose t - 245 = -g*n, n + 2 = 2*n. Is t a multiple of 47?
True
Let x(v) = -v - 5. Let b be x(-7). Suppose -7 = -4*i - b*q + 7, 2*i = -5*q + 11. Does 9 divide (-1 - -28) + 1 + i?
False
Let l = -32146 - -55495. Is l a multiple of 53?
False
Let w = 1818 - 997. Let y = w + -226. Does 17 divide y?
True
Let w = -215 - 18. Let n = 308 + w. Is 3 a factor of n?
True
Let o(j) = 9*j**3 - 3*j**2 + 2*j - 6. Let d(v) = v**3 - 15*v**2 + 13*v + 11. Let n be d(14). Let s be o(n). Does 11 divide (-8)/(-10) + s/(-10)?
False
Let l = 10194 + 2874. Is l a multiple of 54?
True
Let x be -2 + (-5)/((-10)/(-28)). Let u(z) be the third derivative of -z**5/60 - 19*z**4/24 - 25*z**3/6 + z**2 - 31. Does 13 divide u(x)?
False
Is (-178*3/6)/(11/3751*-11) a multiple of 9?
False
Let t = 0 + 2. Suppose 4*v + t*v = 4*v. Suppose -p + 213 = 2*r, v*p - p + 201 = -4*r. Does 14 divide p?
False
Suppose 2*w - 4*g = 30476, 4*w + 4*g - 1445 - 59543 = 0. Is 74 a factor of w?
True
Is 39/((5 + (-1458)/291)*-1) a multiple of 6?
False
Let k(g) = -g**2 + 3*g + 7. Let o be k(-3). Let i(u) = u**3 + 14*u**2 + 10*u - 23. Let v be i(-13). Does 8 divide (34 - o)*v/10?
True
Let g be (-4)/(-1) - 225/18*-50. Suppose 0 = -4*w + j + g, -2*w + 634 = 2*w - 2*j. Does 7 divide w?
False
Let d(j) = j**2 - 17. Let r be d(-5). Suppose -9*s + r*s = 204. Let l = -108 - s. Is l a multiple of 24?
True
Let b = 29743 - 21467. Is 7 a factor of b?
False
Does 11 divide (3158/4)/((-21)/(-126))?
False
Is ((-6832)/(-12) - -5)*(11 + -14)*-1 even?
False
Is (-7310)/(-4) - 1/(-2) a multiple of 42?
False
Let x(j) = 33*j**3 + 14*j**2 + 7*j + 19. Is 7 a factor of x(5)?
True
Suppose 0 = 4*k - h - 5014, -19*k = -20*k - 4*h + 1262. Is 11 a factor of k?
True
Let p be ((-2)/4)/((44/(-336))/11). Let n = p + -42. Suppose -5*w + 478 = c - n*c, 5*c = -4*w + 395. Is w a multiple of 19?
True
Let o = -226 + 228. Suppose -n - 114 = -5*l + 151, 265 = 5*l + o*n. Does 8 divide l?
False
Let m(b) = 5*b - 2. Let p be m(1). Let n be (8*3)/(p*(-5)/(-60)). Suppose n = -6*z + 10*z. Is 13 a factor of z?
False
Let a(t) = -2545*t + 43. Does 27 divide a(-2)?
False
Suppose 2*k + 3*d - 5*d - 2836 = 0, 2*k + 2*d - 2836 = 0. Suppose -8*o = -k + 338. Let q = o + -72. Does 21 divide q?
True
Let k be 92/20 + 2/5. Suppose 19*j = 15*j + 8. Suppose k*a - 12 - 3 = 0, -3*a = j*u - 195. Does 9 divide u?
False
Let a(j) = 72*j**2 - 136*j + 1356. Is 34 a factor of a(16)?
True
Let y = -536 - -1112. Suppose 12*d - y = 6*d. Does 39 divide d?
False
Let k(b) = -2*b**2 + 6*b + 6. Let i be k(-5). Let s = i - -148. Is s a multiple of 2?
True
Suppose 6*y - 10*y + 26 = -2*c, -32 = 4*c - 4*y. Does 18 divide (129/(-45) - c) + (-1614)/(-45)?
True
Let h(y) = 6*y**2 - 3*y**2 - 14 + 5*y**2 + 5*y. Suppose 324 = 95*d - 56. Is 27 a factor of h(d)?
False
Let n(u) = 2*u**2 - 61*u - 38. Let l be n(30). Does 42 divide 1/(1/2) + (l - -302)?
False
Let m be (-1)/2 - 4/8. Let j be ((-497)/1 - 0) + (-5 - m). Is (-2 + (-8)/(-6))/(2/j) a multiple of 16?
False
Let r(v) = v**3 + 24*v**2 - 25*v - 2. Let p be r(-25). Does 27 divide 6081/15 + p*2/10?
True
Suppose -3*b = 3*c - 26931, -35933 = -4*b + 5574*c - 5573*c. Does 16 divide b?
False
Let i = 158 + -170. Is -1558*(-4)/48 - 2/i a multiple of 65?
True
Suppose -5*o + 9469 = 4*w - 0*o, -2386 = -w - 5*o. Suppose -4*p = -5*p - 2*z + 582, -4*p + w = -3*z. Is 21 a factor of p?
True
Let q = -5637 - -8333. Does 4 divide q?
True
Let p = 51 + -51. Suppose 0 = 6*s - p*s. Suppose s = -50*g + 47*g + 108. Is 7 a factor of g?
False
Let n(r) = 29 - 83 + 124*r - 24. Is 42 a factor of n(3)?
True
Let v be 4531 + 5/15*15. Suppose 2*q - 20*q + v = 0. Does 36 divide q?
True
Suppose 59*c + 374 = 48*c. Suppose 128 = 2*s - 0*s. Let t = c + s. Is t a multiple of 9?
False
Suppose -g + 36771 = 5*v, -2582 = -2*v - 2600. Is 14 a factor of g?
False
Suppose -96*a + 725890 = 14*a. Does 136 divide a?
False
Suppose 39*f = -47*f + 11278 + 1622. Is f a multiple of 2?
True
Let z = 152