h) = 170*h. Does 17 divide i(x)?
True
Suppose 4*p - 5*o = -1155, -2*p - 1195 = 2*p + 3*o. Let i = 1059 + p. Is 19 a factor of i?
False
Let t = 291 - 285. Suppose t*f + l = 2*f + 675, l = -f + 171. Is f a multiple of 28?
True
Let t = -38 + 38. Suppose -3*y - 111 = -3*k - t*y, -3*k = y - 95. Does 3 divide k?
True
Suppose 0 = 3*x - 4*f - 166263, 30*f - 21*f + 55444 = x. Does 269 divide x?
False
Let a = -439 - -45. Let x = -309 - a. Does 2 divide x?
False
Let o(f) = f**2 - 6*f - 25. Let s be o(8). Let t(v) = 4*v**2 + 34*v - 18. Let q(p) = 4*p**2 + 34*p - 17. Let a(n) = 6*q(n) - 5*t(n). Is 3 a factor of a(s)?
True
Let c = 5455 - 2626. Is 69 a factor of c?
True
Suppose 6*t - 4419 = 7197 + 2064. Does 6 divide t?
True
Let d(o) = o + 20. Let w be d(-18). Suppose -b + w*x + 9 + 15 = 0, 3*b - 2*x - 56 = 0. Suppose 440 = -11*u + b*u. Is u a multiple of 11?
True
Let w(j) = j**3 + 2*j**2 - 3*j - 4. Let t be w(-3). Let r = t + 4. Suppose -u + 12 = -r. Does 2 divide u?
True
Let h = 131485 + -88183. Is h a multiple of 277?
False
Suppose -1365 = 5*l + 4*q, -l + 4*l + q = -819. Let h = l - -692. Is h a multiple of 33?
False
Let y(l) = 46*l**2 - 11*l + 228. Is y(9) a multiple of 75?
False
Suppose -11*r = -9*r + 2*b - 51036, 2*r - 51015 = 5*b. Is r a multiple of 9?
True
Let l = 366 - 361. Suppose 0 = -c + n + 80, 0 = l*c - 38*n + 39*n - 412. Is 24 a factor of c?
False
Let h(s) = 3*s**3 - 20*s**2 - 8*s + 96. Let i be h(14). Does 2 divide i/40 - 6/(-10)?
True
Let r(a) = -3*a**3 - 15*a**2 + 11*a + 3. Let z be r(-6). Let i(f) = f**3 + 5*f**2 + f - 6. Let h be i(-4). Suppose 0 = c - h*c + z. Does 3 divide c?
True
Is 268 a factor of 1/(131089/(-983325) + -2 + (-320)/(-150))?
False
Let q(i) = 146*i**3 + 5*i**2 + 34*i - 150. Is q(6) a multiple of 90?
True
Let a(y) = y**3 + 13*y**2 - 9 + 5*y - 11 - 7*y + 5*y. Let u be a(-11). Suppose -5*s + u = -361. Does 10 divide s?
True
Let x(l) = 4*l**2 + 33*l - 10. Let r be x(-8). Let c be 0 + -1 - r - 5. Suppose 206 = c*t - 886. Is 13 a factor of t?
True
Let i = 1760 - 1182. Let s = i + -242. Does 42 divide s?
True
Suppose 0 + 23 = g + k, 2*g + 5*k = 61. Suppose -g*p + 3834 = -4104. Is 7 a factor of p?
True
Let l be (533 - -13) + -4 + 0. Let j = l + -214. Is j a multiple of 41?
True
Let t(q) = 307*q - 228. Is 7 a factor of t(17)?
True
Let q = -674 - -584. Does 20 divide 43*-1*(-110 - q)?
True
Suppose 24 = -4*f - 2*f. Let s be f + 1/1 - -14. Let q = s + 13. Does 4 divide q?
True
Let z = -13011 + 15862. Is 26 a factor of z?
False
Let s be 2/(275230/45870 - 6). Suppose -43*i + s = 1219. Does 5 divide i?
True
Let g(w) = w**3 - w**2 - 9*w + 1. Let x be g(4). Does 10 divide x*(-5 + 31 + 5)?
False
Let w(r) = 1856*r - 40. Is w(2) a multiple of 72?
True
Let m(o) = -1299*o - 5559. Does 109 divide m(-32)?
False
Suppose -33560 = -18*y + 33832. Is 156 a factor of y?
True
Suppose 0*h - 2*h + 2*n = 170, 5*h + 4*n + 398 = 0. Let s be (3 + -4)*h - 3. Let x = s + 98. Does 15 divide x?
False
Let l = 2307 - -239. Is l a multiple of 19?
True
Suppose -333190 = -42*t - 13*t. Is t a multiple of 5?
False
Let m(w) = -w + 1. Let f = -53 - -49. Let a(y) = -y**3 + 5*y**2 + 14*y + 6. Let l(d) = f*m(d) - a(d). Is 4 a factor of l(7)?
False
Let l(h) = 33 - 74*h**2 + 22*h - h**3 - 40*h + 57*h**2. Does 14 divide l(-16)?
False
Suppose -26*i = -0*i + 24*i - 206800. Does 88 divide i?
True
Let t(a) = 264*a**2 + 22*a + 32. Is t(-2) a multiple of 9?
True
Let w(m) = -m**3 + 14*m**2 - 8*m - 11. Let d be w(10). Suppose -312*h + d*h = -852. Is h a multiple of 12?
False
Suppose 8*o - 11*o = 6, -5*o + 4022 = 4*m. Is 38 a factor of m?
False
Let b(p) = -2*p**2 + 3*p. Let w be b(0). Suppose w = -5*h - 3*n + 1495, 3*h - 183 = 5*n + 680. Does 37 divide h?
True
Let f be (-6)/(-2*3/12). Suppose -4*v + 24 = 4*l, 2*l + 4*v = l + f. Is (-20)/5 + 37 - (l - 3) a multiple of 12?
False
Suppose 0 = -2*d - 5*a + 9*a + 64, -23 = -d - a. Suppose d = -2*q + 332. Is 17 a factor of q?
True
Let c = 296 - 298. Is 81 a factor of 17/c*(-6710)/61?
False
Let w(q) = 1. Let r(a) = 7*a + 49. Let f(n) = -r(n) + 14*w(n). Is f(-13) a multiple of 4?
True
Suppose -3*t = -4*c + 21, -14 = 2*t + 4*c - 0*c. Let b(x) = -2*x**3 - 4*x**2 - 3*x - 2. Does 13 divide b(t)?
False
Suppose 20*x - 1177 = 603. Does 17 divide (17/51 - 2/6) + x?
False
Let a = 573 + 4011. Is a a multiple of 14?
False
Suppose -3*m - i + 724 = -229, 3*i - 299 = -m. Is m a multiple of 5?
True
Suppose -44*a - 19176 = -52*a. Is a a multiple of 51?
True
Let p(d) = 2*d**2 - 67*d + 7675. Is 29 a factor of p(83)?
True
Let h be (0 - 3)*(29 + -30). Suppose -4*c + 177 + 15 = 2*x, h*c + 2*x = 144. Is 3 a factor of c?
True
Let d be (-5150)/(-300)*(-12)/2. Suppose 5*r = 5*a - 430, -77 = 2*r - r - 4*a. Let p = r - d. Is 2 a factor of p?
True
Let g = -483 - -480. Does 18 divide -2*(-5)/15 - 1078/g?
True
Does 7 divide 3556/(-21)*(8 - 387/18)?
False
Suppose -5*r + 13 + 2390 = q, 2*r + 4770 = 2*q. Does 7 divide q?
False
Suppose 0 = -2*n - n + 2*b - 923, -4*n - b - 1227 = 0. Let z = 55 - n. Suppose -4*x + 1058 = z. Is x a multiple of 27?
False
Is 655979/51 - 25/(-15) a multiple of 16?
True
Suppose d - 63 = -61. Suppose -3*t + 27 = -2*t - 5*k, d*t = -2*k - 6. Suppose 3*w + 5*l = -w + 743, 359 = t*w + 5*l. Does 32 divide w?
True
Suppose -4*a + 28 = 0, a - 1826 = -5*x + 38361. Is 7 a factor of x?
True
Let v(n) = -6*n**2 + 4*n - 3. Let g be v(-8). Let t = -155 - g. Let z = t + -109. Is z a multiple of 31?
True
Let p(r) be the first derivative of -13*r**2/2 + 10*r + 60. Does 3 divide p(-2)?
True
Let a be ((-44)/55)/((-2)/(-35)). Is 8 a factor of 141 - (6/21 + (-66)/a)?
True
Suppose -3*z = -5*h - 18384, 2*h - 3*h = 0. Is 75 a factor of z?
False
Suppose -41*p = -335897 - 430311. Does 73 divide p?
True
Suppose 34 = 21*y - 4*y. Suppose -4*u = -4*t + 100, 0*u = 5*t - y*u - 122. Is 12 a factor of t?
True
Let f be ((-48)/(-15) + -4)*(2 - -3). Let w be ((-28)/(-42))/(f/18). Does 15 divide 20/2*w*(-1)/1?
True
Let f(z) be the first derivative of 3*z**5/4 - z**4/6 + z**3/3 - z**2/2 + 22*z + 12. Let n(s) be the first derivative of f(s). Does 3 divide n(1)?
False
Suppose 19*b = 10*b + 44820. Suppose 24*u = b + 3180. Is 17 a factor of u?
True
Let i(v) = -2*v**3 - 12*v**2 + 29*v + 90. Let a be i(-17). Is 14 a factor of (7 + -6)/(3/a)?
False
Suppose 3*h = z - 31561 + 3418, 4*h = 0. Is 12 a factor of z?
False
Suppose 5*d - 6237 = 228. Is d a multiple of 136?
False
Let t(s) = -s**3 - 2*s**2 + 2*s. Let a be t(-4). Let y(z) = -z**2 + 28*z + 272. Let c be y(36). Is 29 a factor of (-197)/(-3) + c/a?
False
Suppose -2*s - 3*g + 3066 = -0*g, -s + 1524 = -3*g. Does 90 divide s?
True
Let w be 12/15 + (-36312)/(-60). Let t = 164 + w. Is 70 a factor of t?
True
Suppose f - 6*f = -23390. Is (-33)/(-132) + f/8 a multiple of 13?
True
Suppose 9*u - 1561 = 2003. Let k = 676 - u. Does 10 divide k?
True
Let i be 50/9 - 12/(-27). Let p(j) = -j**2 + 10*j - 14. Is 5 a factor of p(i)?
True
Let z(q) = 54*q**2 + 49*q - 238. Does 98 divide z(-16)?
False
Suppose -46*s - 3*v - 781 = -48*s, -4*s - v = -1569. Is s a multiple of 4?
True
Suppose 2*a - 390 = -2*k + 4378, -5*k - 2*a + 11908 = 0. Suppose -k = x - 8*x. Is x a multiple of 20?
True
Let b be -1*((-66)/(-15) + 3/5). Let u(h) = h**3 + 3*h**2 - 13*h + 15. Is 24 a factor of u(b)?
False
Let i(o) = o**3 - 21*o**2 - 24*o + 9. Let k(r) = 2*r**3 - 61*r**2 - 73*r + 26. Let c(h) = -8*i(h) + 3*k(h). Does 22 divide c(-9)?
False
Is 186 a factor of (12/(-18))/(11/(-41646))?
False
Let q be (-3 - 0)*((-16)/(-12) + 0). Let c be (6 + -12)*-2*(-2)/q. Suppose -c*l + 56 + 1114 = 0. Is 15 a factor of l?
True
Suppose 4*i = -s + 46, 0*i = s - 4*i - 6. Suppose 2*w = s - 6. Suppose -w + 38 = x. Does 7 divide x?
True
Let j(g) = g**3 - 10*g**2 + 3*g + 54. Let v be j(9). Suppose v = d - 4*f - 95, -21*f + 25*f = -2*d + 178. Does 27 divide d?
False
Let m = 61 + -79. Let n(a) = 3*a + 55. Let h be n(m). Is 10 a factor of h/(6/304) + (-2)/(-6)?
False
Let t = -84 + 64. Let b be (8/t)/(2/70). Is (-6)/b + 1668/28 a multiple of 27?
False
Let x be 2*(60578/(-21))/((-8)/6). Suppose 11*o = 5*a + 9*o - x, 3*o - 879 = -a. Is a a multiple of 17?
True
Suppose -4*o = -9*r + 4*r - 46983, -3*o = 3*r - 35217. Does 206 divide o?
True
Is 7 + -2 - ((-1)/2)/((-148)/(-30488)) a multiple of 6?
True
Let i(f) = f**2