158*v + 150. Does 2 divide x(1)?
True
Let b(t) = 143*t - 12. Let d(x) = -47762*x + 4004. Let s(n) = -1001*b(n) - 3*d(n). Is 11 a factor of s(2)?
True
Suppose 162769 = 34*z + 52813. Is z a multiple of 33?
True
Let i be 0 - (4 - 6 - (-2 - 0)). Suppose i = -7*a + 6*a - 3*h + 9, 4*a + 2*h = 46. Is 9 a factor of a?
False
Let d(q) = 9*q**2 + 29*q + 16. Let s(y) = -8*y**2 - 28*y - 15. Let j(m) = -5*d(m) - 6*s(m). Let a be j(-9). Suppose a*v = 44*v + 34. Does 5 divide v?
False
Does 12 divide (-5940689)/(-201) + (-1)/(-3)?
True
Suppose 0 = 8*c - 3*c - 20. Suppose 3*h + 5*z - 26 = 62, -4*h + c*z = -96. Let u = h - -154. Is 30 a factor of u?
True
Suppose 5*c + 4*l = 55, -13*l = -2*c - 12*l + 9. Let f(a) = 8*a + 2. Let j be f(c). Let x = j + -45. Is x a multiple of 13?
True
Suppose 9*v + 6*v = 2835. Is 12 a factor of (-18068)/(-84) - 18/v?
False
Let d(f) = f**3 + 8*f**2 + 2*f - 31. Let x be d(-7). Suppose 3*m - 2*m = 5*l + 5, 3*l + x*m + 3 = 0. Is 9 a factor of -4 - (-84 + l + -1 + 1)?
True
Let o be 18/(-6) - (2 - (-22)/(-2)). Is (-1332)/24*(-40)/o a multiple of 37?
True
Suppose -42*q - 80*q = -94*q - 2016. Is 48 a factor of q?
False
Suppose -4*n = 2*n - 24. Suppose -n*v + 2*o - 128 = v, 5*v - o = -129. Is (660/(-80))/(-2 - v/16) a multiple of 5?
False
Let r(y) = 145*y**2 - 4*y - 1. Suppose s = 7*s + 546. Let j = -92 - s. Does 18 divide r(j)?
False
Let k be (-2)/(1 - -1 - 156/79). Let q = 81 + k. Is ((-56)/q)/(5*2/(-5)) even?
True
Let p(c) = -1171*c + 7. Suppose 18 = -4*f + 14. Does 31 divide p(f)?
True
Let f(y) = -y**3 - 5*y**2 - 3*y - 6. Let o be f(-7). Let s = -65 + o. Is 12 a factor of s?
True
Let q(w) = -w**2 - 15*w - 24. Let h be q(-13). Suppose -2*j = 5*f + 1355, h*f + 0*j = 4*j - 542. Let g = f + 457. Is 31 a factor of g?
True
Is 12 a factor of (-60)/(-250)*1335*40?
True
Let q = -4370 - -8672. Is q a multiple of 13?
False
Is 16 a factor of 1238265/252 + 14/(-8)?
True
Let b(q) = -17*q**3 + 2*q**2 + q - 16. Let p(l) = -2*l + 13. Let r be p(8). Is 32 a factor of b(r)?
False
Let l = 7012 - 4960. Does 12 divide l?
True
Suppose -47 = -3*h + 7. Suppose -5*f - 15 = -4*y + h, 0 = 4*y + 5*f - 23. Does 2 divide y?
False
Let s = 39 - 39. Suppose s = 73*u - 76*u. Suppose 3*c + 5*q = 249, -c = -u*c - 2*q - 72. Is 6 a factor of c?
True
Suppose -2*s = 2, -4*g + 8*g + 1211 = -3*s. Let z = g + 408. Does 15 divide z?
False
Suppose 4*a + 3*r + 1552 - 6486 = 0, 5*r - 1225 = -a. Is a a multiple of 65?
True
Suppose -3*m + 114 = -27. Let d = m + -43. Suppose 5*v + d*q - 537 = 0, 2*v + 0*v - 213 = -q. Does 24 divide v?
False
Suppose -10 + 40 = 10*r. Suppose -r*a + 15 = 3. Suppose -3*h - 3*j + 18 = -69, 0 = a*h - 5*j - 143. Is h a multiple of 8?
True
Suppose -6*q - 6 = 0, 4*y - 2*q = 3*y + 713. Is 17 a factor of y?
False
Let f = 27 - 32. Is 41 a factor of (-24)/(-6) - (-319 + f)?
True
Does 73 divide 711/(-948) + 63367/(-2)*(-3)/6?
True
Let u be (-25)/((-1925)/(-44)) + (-2388)/(-14). Suppose 5*z - 3*z = -5*n + 446, 2*n - u = 2*z. Is 11 a factor of n?
True
Let t(l) = 6*l**2 - 99*l + 25. Does 11 divide t(59)?
True
Let f = -699 - -699. Suppose 4*p + 590 = 3*j, -3*j - 3*p + 290 + 307 = f. Does 11 divide j?
True
Let w(l) = 2*l**3 - 39*l**2 + 256*l + 7. Does 7 divide w(21)?
True
Suppose 35 + 13 = -6*w. Let l(c) = 5*c + 36. Let k be l(w). Is 2 a factor of 0 + 1 - k - (-1 - 1)?
False
Suppose 132*w = 138*w - 18. Suppose -5*f + w*p + 1972 = 0, 281 + 511 = 2*f - 2*p. Is 14 a factor of f?
True
Suppose -35 = -4*j + 5*k, 0 = -k - 11 + 8. Suppose -2*p - 5*l = -64, -5*l + 160 = j*p - 0*l. Is 12 a factor of p?
False
Suppose -1066*m = -1145*m + 3300146. Is 22 a factor of m?
False
Let d(l) = l + 99. Let v be 2*12/(-8)*(-52)/(-6). Does 31 divide d(v)?
False
Suppose -520 = -2*o - o - 4*k, -3*o = 2*k - 530. Suppose 5*c - 620 = 4*w, 4*w = -33*c + 32*c + 100. Let a = o - c. Is a a multiple of 12?
True
Let a(k) = -1912*k - 3293. Is a(-7) a multiple of 26?
False
Suppose 0*h + 5*h - 21125 = -4*g, 2*g = -2*h + 10562. Is 160 a factor of g?
True
Suppose -26*h + 68242 = -118750. Does 9 divide h?
False
Let u(r) = 99*r + 632. Is 6 a factor of u(11)?
False
Suppose 0 = -25*x - 113*x + 982974. Does 17 divide x?
True
Suppose 159*h - 63 = 152*h. Is 9 a factor of h/(-2)*((-188)/2 - 4)?
True
Suppose -7*w = -2*w + 5, -5*k + 2*w = 258. Let b = 32 + -59. Let z = b - k. Is z a multiple of 5?
True
Suppose 0*n + 187800 = 35*n + 5*n. Is 8 a factor of n?
False
Suppose 4*h - g = 10, 1 = h + g - 4. Suppose h*o + 13 = 1, 0 = 5*j + 5*o + 3185. Is (-3 + 4)/((-3)/j) a multiple of 11?
False
Let p(l) = 608*l**2 - 11*l + 3. Is p(-3) a multiple of 153?
True
Suppose 59*s = 55*s + 5376. Is ((-3)/6)/((-3)/s) a multiple of 56?
True
Suppose 0 = -31*u + 8*u. Suppose y - 50 - 408 = u. Does 32 divide y?
False
Suppose 2*k + 5*c - 1150 = 0, -5*k - 2*c = -3*c - 2821. Suppose -15*y - 475 = -4*u - 18*y, k = 5*u - 2*y. Is 5 a factor of u?
True
Let l be ((-72)/42)/(8/(-308)). Suppose 0*m - 3*m - l = -y, -3*y = -5*m - 206. Is 6 a factor of y?
True
Let i = 11912 + -4617. Is i a multiple of 67?
False
Suppose 0 = 4*w - 22 - 2. Suppose 0 = w*m - 609 - 711. Is m a multiple of 22?
True
Suppose 3*n - 273 = 3*a, 2*n = -4*a - 171 - 223. Does 23 divide 209 + (-10)/(-55) + a/44?
True
Let f(t) = 80*t**3 - 7*t**2 - 18*t + 69. Does 3 divide f(4)?
False
Suppose -20*h + 25*h + 475 = 0. Let l = 132 + h. Is 23 a factor of l?
False
Let z(x) = -4*x - 15. Suppose 4*q = 3*q - 5*a - 23, -2*q + a - 2 = 0. Let m be z(q). Does 11 divide (72/(-24))/(m/229)?
False
Suppose -t + 4*b = -180, 32*b = -4*t + 35*b + 681. Does 6 divide t?
True
Let y = -3904 + 13159. Is 65 a factor of y?
False
Suppose 0 = j + 2*v + v - 21, 55 = 3*j + 5*v. Suppose n - 13 = j. Let o = -10 + n. Is o a multiple of 3?
True
Let a be 23 + (5 - 14) + 4. Does 37 divide 1308/4 - a/(-3)?
True
Suppose 2*q + 5*k - 468 = 0, -2*k = -2*q + 407 + 33. Let g be (-3 + (-10)/(-8))*q/(-1). Suppose -3*v - 5*c = -g, 5*v - v - 566 = 2*c. Is v a multiple of 23?
False
Let i(t) = 2*t**3 - 2*t + 1372. Let o(d) = -3*d**3 + d**2 + 2*d - 2742. Let x(h) = -5*i(h) - 3*o(h). Does 12 divide x(0)?
False
Is 115 a factor of (-93135)/(-9) + -2*20/(-24)?
True
Let l = 71 - 129. Suppose -16*g + 100 = -172. Let t = g - l. Is t a multiple of 15?
True
Let c = -154 - -163. Let i(m) = -4*m + 205. Does 12 divide i(c)?
False
Let s be 2/(-5*(-14)/525). Suppose 4*h + 18*u - s*u = 492, -5*h + 588 = -3*u. Is 20 a factor of h?
True
Suppose -4*c + 71844 = -6*a, 11*c - a - 17963 = 10*c. Is 34 a factor of c?
False
Let l(h) be the second derivative of 5*h**4/6 - 35*h**3/6 - 117*h**2/2 + 64*h. Does 2 divide l(-4)?
False
Let c = 2803 + -4027. Let s = -860 - c. Is 59 a factor of s?
False
Suppose -24*o - 3170 = -34*o. Suppose 2*s - 131 - o = 0. Is 7 a factor of s?
True
Suppose -t + 45 = 8*t. Suppose 4*w = -2*r + 137 - 735, -t*r - 2*w - 1503 = 0. Let n = -103 - r. Does 33 divide n?
True
Let w = -94 - -94. Suppose 4*h - 12*h + 32 = w. Suppose 0 = 6*j - 3*j, 204 = h*u - 4*j. Is u a multiple of 17?
True
Let r be (8 - 315/36)*8/(-3). Is 11 a factor of 382 - (3 - (7 + r + -3))?
True
Suppose -u = r + 4 - 0, 3*u - 4*r = -5. Let i be -2 - (-3 + 2) - (10 + -100). Let p = i - u. Does 28 divide p?
False
Let s(y) = 31*y - 19*y - 15*y + 21. Suppose 2 = -4*v + 2. Does 3 divide s(v)?
True
Let n(k) = 6*k**2 - 10*k - 9. Let x be n(-1). Let m(v) = 5*v**3 - 12*v**2 - 9*v - 14. Does 35 divide m(x)?
True
Let f(g) = -11*g - 17*g - 3*g**2 + 5*g + 5. Does 25 divide f(-5)?
False
Let u = -6 + 7. Suppose -5*f - j + 22 = 0, 5*j - 15 = -f - u. Suppose -7*k + 45 = -f*k. Does 5 divide k?
True
Let u(l) = -l**3 - 13*l**2 - 11*l - 14. Let n be u(-12). Is (42/(-5))/(n/1495) a multiple of 18?
False
Let q be 6/9 - 166/(-3). Suppose -q*s = -54*s - 46. Is s a multiple of 11?
False
Let l(s) = 7*s + 4. Let m be l(0). Suppose 3*d = m*x - 205 - 554, 5*d - 15 = 0. Is 24 a factor of x?
True
Let d be (4/(-6))/((-2)/(-150)). Let h(i) = -i**2 + 6*i + 50. Let x be h(7). Let a = x - d. Is 9 a factor of a?
False
Let a = 1452 + -474. Does 2 divide a?
True
Let b = 15979 - -5567. Is 42 a factor of b?
True
Let p(m) = -m**3 + 18*m**2 - 12*m. Let k be p(5). Suppose 0*v = v - k. Is v a multiple of 18?
False
Does 37 divide (-666)/24*(-22 - -14)?
True
Suppose 4*n + 63 = 3*h - 601, -5*n = 2*h - 458. Let b = -206 + h.