2*t - p = 0, -x - 6*t = -11*t - 160. Is 7 a factor of x?
True
Suppose 3*z = -3*v + 27, 3*z + 4*v = 2*z + 21. Suppose -5*k + 72 + 13 = -z*y, -4*k - 52 = 2*y. Is 8 a factor of (24/y)/((-12)/80)?
True
Let a = -468 + 860. Suppose 244 = j - 3*r, 3*j - 292 = -3*r + a. Does 47 divide (-2 + (-1)/4)/((-2)/j)?
False
Let w be (-4 + 32/7)*21. Suppose 0 = -4*r + w, -2*k - 11*r + 315 = -12*r. Is 2 a factor of k?
False
Let l be -2*(-21)/(-4) + 9/(-6). Does 14 divide 302 - (-18)/l*(-1 + 3)?
False
Let a be 0/(0 + (-5 - -3)). Suppose -5*o + a = -5. Is 7 - -100 - (o - (1 - 1)) a multiple of 20?
False
Let c = -3914 + 8417. Suppose 18*n = c + 213. Does 14 divide n?
False
Suppose 5*g - 3*n - 1663 - 1084 = 0, 3*g = 2*n + 1649. Let d = g + -372. Does 35 divide d?
True
Let d(h) = 10*h**2 - 10*h + 22. Let m be d(6). Let l = m - 255. Is 10 a factor of l?
False
Let d = -9 - -11. Suppose -5*j + k = -j + 385, d*j - 2*k + 188 = 0. Let z = 26 - j. Is 10 a factor of z?
False
Suppose -1961*l + 399332 - 29285 = -1930*l. Is l a multiple of 19?
False
Let k = 207 + -315. Is 10 a factor of (-6496)/(-36) + 48/k?
True
Is (1030/(-65) - 6/39)/(142/(-10579)) a multiple of 3?
False
Suppose -19*l + 38*l = 14*l + 10950. Is 10 a factor of l?
True
Let n(o) = -226*o - 396. Let b be n(-5). Let h = 1904 - b. Does 14 divide h?
False
Suppose -c = 3*y - 8, 0*y = -4*y + 3*c + 15. Let b = 27 - y. Is b a multiple of 6?
True
Let p = 704 + -690. Suppose p*u - 15*u = -310. Is u a multiple of 10?
True
Let v = -17 - -20. Suppose -v*h - 298 = -76. Let a = h + 114. Is a a multiple of 16?
False
Suppose 0 = 5*c + 4*y - 2704, -2*c + 0*y + 5*y = -1075. Let o(j) = 14*j - 798. Let x be o(57). Suppose x = -p - 5*p + c. Does 15 divide p?
True
Let b be 1 - (-1 + 1 + -2). Suppose -r + 33 = b. Is 10 a factor of (-1)/(-3)*0/(-2) + r?
True
Does 2 divide 4 - (-105)/(-28) - 89560/(-32)?
False
Suppose 5*r - 161 = 39. Let d be (330/44)/((-3)/r). Is (18/30)/((-2)/d) a multiple of 10?
True
Let k(t) = -t**3 + 16*t**2 + t - 1. Let p be k(16). Suppose 7 = o + 2*i - p, -3*i = 3*o - 51. Suppose o*a + 160 = 14*a. Is 11 a factor of a?
False
Let c(i) = 4*i**3 - 3*i + 2. Suppose 0 = -268*v + 276*v - 16. Is c(v) a multiple of 2?
True
Let c(q) = -15*q**2 + 54*q - 19. Let i(m) = 46*m**2 - 161*m + 53. Let g(f) = 17*c(f) + 6*i(f). Is 23 a factor of g(4)?
False
Suppose p + 3*n - 115 = 297, -2*p + 824 = -3*n. Suppose p + 226 = 11*o. Is 18 a factor of o?
False
Suppose -4*y + 1660 = 5*k, 2*k + 428 = 3*y - 2*y. Suppose 0 = -9*a + y + 156. Is 8 a factor of a?
True
Let o(l) = -12*l**3 - 23*l**2 + 81*l + 241. Is 174 a factor of o(-9)?
False
Let u be (3/2)/((-3)/(-16)). Let q(b) = -13 + 5 + 8*b - 8 + 22. Is 9 a factor of q(u)?
False
Let k be 4903/(-8) - (-3)/(-24). Let w = k - -1112. Suppose -5*s + w + 71 = 2*r, -s + 3*r = -97. Is s a multiple of 14?
True
Suppose -r - 60 = -3*r. Let q = -10 + r. Suppose 0 = -2*y - t + 49, 2*y - q = y - 5*t. Is 25 a factor of y?
True
Let p(n) = -29*n**2 + 2*n + 1. Let r be p(-1). Let q = 34 + r. Suppose 0 = q*s - 0*s - 80. Is 10 a factor of s?
True
Let y(s) = -227*s - 1682. Is 68 a factor of y(-86)?
False
Let y(k) = k**2 + 2*k - 6. Let c be y(-3). Let w = 0 - c. Is 2 + (-3 + w - 2) + 49 a multiple of 34?
False
Let g = -77847 - -136310. Does 167 divide g?
False
Suppose b + 1634*v = 1633*v + 18518, -2*v - 18527 = -b. Is b a multiple of 3?
False
Let r(n) = 12*n**2 + 12 - 18 + 54 - 3*n. Does 12 divide r(-8)?
True
Suppose -3*y + 11 = -7. Suppose -695 = -y*b + 1651. Is 17 a factor of b?
True
Let r(d) = 14*d - 65. Let v be r(19). Let b = -150 + v. Is 51 a factor of b?
True
Let r(b) = 5*b**2 - 5*b + 15. Let o be r(-11). Suppose 5*g - o = -5*l, 7*g - 12*g + l = -705. Does 7 divide g?
True
Suppose 12 = -0*q - 4*q - 4*n, 5*n + 11 = -3*q. Let u be ((-810)/72)/(q/40). Suppose -17*j + u = -14*j. Is 13 a factor of j?
False
Let u(q) = 163*q - 2487. Is 27 a factor of u(57)?
True
Let l be (0 + -4)/(2 + -1). Let r = l - -11. Suppose 0 = -z + p + 26, -4*p = r*z - 3*z - 136. Is z a multiple of 15?
True
Let p = -45 + 45. Let j be (98 - -2) + (-3 - p). Let r = j - 87. Is r a multiple of 10?
True
Suppose 4*y - 20 = 0, 4*x + 6 = 4*y - 2. Suppose 0 = 3*t + 5*h - 150, 5*h = x*t + 85 - 265. Is (2 + 0 + 1)*(2 + t) a multiple of 26?
False
Let a(p) = -26 + 286*p - 292*p - 25. Let s = -8 + -6. Does 11 divide a(s)?
True
Let i(n) = 23*n**3 - n**2 + 3. Let u be i(2). Let l = -67 + u. Is 11 a factor of l?
False
Let a be (-5)/(-5*(-2)/20 + -1). Is (16/6)/(a/180) a multiple of 48?
True
Is 63 a factor of ((-2370)/(-9))/((-4)/(-90)) + -3?
True
Suppose -4*t - 19 - 7 = -3*y, -2*y = 4*t - 4. Suppose y - 8 = o. Does 7 divide (-84)/o*((-84)/9)/(-7)?
True
Suppose 2*l + d = 1482, -4*l = -d - 2804 - 148. Suppose 0 = -2*u - 7*j + 2*j + l, 1805 = 5*u + 4*j. Is u a multiple of 18?
False
Suppose -4528 = -24*y + 7760. Is 64 a factor of y?
True
Suppose 0 = 41*f - 47*f + 84. Suppose -337 = f*b - 5181. Suppose 5*a - b = 5*p - 961, 3*a - 6 = 0. Does 26 divide p?
False
Suppose 6 = -a + 2*v, 3*a + 0 = 5*v - 13. Suppose a*w = 135 - 67. Suppose -21*m + 740 = -w*m. Is m a multiple of 37?
True
Does 209 divide (1 - (-110)/(-15))/(4/(-2244))?
True
Let u(l) = 3*l**2 + 4*l - 8. Let b be u(-8). Let d = b + -88. Let z = 13 + d. Does 9 divide z?
False
Let l be 1*2 - (0 + -248). Let q be (-8)/(-1) + -17 + -10 + 25. Suppose 0 = 11*o - q*o - l. Is 25 a factor of o?
True
Suppose -6*k + 13 = -83. Suppose -8*w = k - 40. Suppose 7*t = -w*t + 520. Does 4 divide t?
True
Suppose 170 = 2*h - 36 - 124. Does 18 divide h?
False
Let a(m) = 206*m**2 + 2*m. Let p be a(-2). Suppose 4*s + 0*s = x - 216, -p = -4*x + 5*s. Is 22 a factor of x?
False
Let h(c) = -220*c + 14. Let x(a) = 147*a - 7. Let n(w) = -5*h(w) - 8*x(w). Is n(-3) a multiple of 12?
False
Let j = -51 - -56. Suppose -8*h - 2*t + 48 = -3*h, 5*h + j*t = 45. Suppose -2*w = -h, -2*k - 121 = -6*k - 5*w. Does 12 divide k?
True
Is 86 a factor of (1 - 13)*((-490200)/48)/5?
True
Suppose -4*v - 5*b + 105 = 0, -3*v + 3*b + 16 = -83. Suppose -d + f = -3*f - 6, 3*d + 4*f + v = 0. Is ((-471)/d)/(2/4) a multiple of 28?
False
Let o(l) = l + 20. Let q be o(-18). Suppose 3*r + q = -2*m, -2*m + 6*m = 3*r - 4. Does 55 divide 3 + 110/1 - r/2?
False
Suppose -108*t + 93*t = 105. Is 7 a factor of -6 - (1805 + 1)/t?
True
Suppose 2*l + 5*n = -7, -n = -2*l + 16 - 5. Suppose 370 = 3*s - 3*m + m, -l*s = 2*m - 498. Is 16 a factor of s?
False
Let c(y) = y**3 - 21*y**2 + 22*y - 5. Let f = -201 - -221. Does 11 divide c(f)?
False
Let o(u) = 1446*u - 340. Is 43 a factor of o(11)?
True
Suppose -20*g + 269474 = 114*g. Is g a multiple of 19?
False
Suppose 110*z - 109*z - 502 = 0. Suppose h = 3*v + z, 2*h = 3*v + 6*h + 497. Let t = -27 - v. Is t a multiple of 17?
False
Let y be (0 + -54)/((-15)/(-50)). Let r = 596 + y. Does 13 divide r?
True
Does 12 divide 8/(-40) - (-5)/(-50)*-46082?
True
Suppose -72*j = -76*j. Let y = 5 - 5. Suppose y*f + 2*f - 420 = j. Is 21 a factor of f?
True
Let r(k) be the third derivative of k**6/120 + k**5/15 - k**4/4 - 13*k**2. Let i be r(-5). Suppose s - 3 = -0, -3*s - 486 = -i*m. Is m a multiple of 9?
True
Let g = 14327 - 11374. Does 12 divide g?
False
Suppose 0*i - 5*i + 718 = -x, -3*x = -3*i + 426. Let v(u) = -u**3 - 20*u**2 - 15*u - 21. Let r be v(-20). Let b = r - i. Does 31 divide b?
False
Let q(v) = 21*v + 175. Let d(b) = b + 1. Let l(i) = -28*d(i) + q(i). Is 29 a factor of l(-8)?
True
Let a(u) = -320*u - 9725. Is a(-34) a multiple of 117?
False
Let c(w) = 56 + w**2 - 43 + 12*w + 3*w**2 - 3*w**2. Let s be c(-10). Let b(h) = -4*h - 17. Does 3 divide b(s)?
False
Let g be -2 - 9/((-18)/(-4)). Let w be 1*-2*(-562)/g. Let j = 405 + w. Is 13 a factor of j?
False
Let x(h) = 44*h + 1. Suppose -3*s + 1 + 2 = 3*m, s = -2*m + 3. Let q be x(m). Suppose -4*z - 17 = -q. Is z a multiple of 8?
False
Suppose -4*h = 4*k + 976, 3*h = 1 + 8. Let g = k + 287. Is 20 a factor of g?
True
Let v = -9 - 39. Let r = 46 + v. Let i(t) = 7*t**2 - 3*t - 1. Does 11 divide i(r)?
True
Suppose -27 + 31 = o. Suppose 0 = o*u - 3*k - 126, 5*u = 3*k - 0*k + 159. Let w = 102 - u. Is w a multiple of 23?
True
Suppose -9 = -c - 3. Let n be (-9)/c*(-88)/33. Suppose -3*t + 5*r = -29, 0*t - n*r + 2 = -t. Is 3 a factor of t?
True
Suppose 310773 - 64344 = 61*d - 17640. Is d a multiple of