h(n) = -279*n**3 + n**2 - n. Let q be h(1). Let t = 1161 - 758. Let u = t + q. Is 31 a factor of u?
True
Suppose 0 = -678*z + 683*z + 1830. Let x = -51 - z. Does 23 divide x?
False
Let c(u) = 102*u + 274. Let t be c(6). Does 10 divide t/8 - (10 + 222/(-24))?
True
Let w = 56 + -32. Let b be ((-198)/(-27))/(((-25)/15)/(-5)). Let k = b + w. Is 13 a factor of k?
False
Suppose -2*f + 3*l + 2 + 18 = 0, f - 15 = -l. Suppose -f*x = 2*a - 15*x - 756, -759 = -2*a + 5*x. Is 11 a factor of a?
False
Let i be -3*7 - 20/4. Let t be 9/((-9)/4) + i/1. Is 1 + 0 - -25 - (34 + t) a multiple of 22?
True
Let g be (5/(35/12))/(2/7). Does 15 divide 10/((-833)/574 - g/(-4))?
False
Let a(y) = 24*y**2 - 157*y - 1475. Is 53 a factor of a(-10)?
False
Let a(r) = -2*r**3 - 11*r**2 + 9*r + 28. Let b be a(-6). Suppose 21*m - b*m = 440. Is 20 a factor of m?
True
Suppose 0 = q - 16 + 14. Suppose -2*j = -q*s + 62, 119 = -5*j - 9*s + 5*s. Let n = j - -63. Is n a multiple of 11?
False
Is ((42/4)/7)/((-41)/(-93562)) a multiple of 21?
True
Suppose -55*y = -60*y + 610. Let x = y - -336. Is x a multiple of 9?
False
Suppose 2*o + 4*u - 1266 = 0, 5*u = -6*o + 2*o + 2541. Let q = -621 + o. Is 3 a factor of q?
True
Suppose -53*c + 113447 = 158185 - 743596. Is 15 a factor of c?
False
Suppose b + 4*h - 1074535 = -14*b, -71622 = -b - 3*h. Is 21 a factor of b?
False
Suppose 0 = 19*h - 2844 - 19300 - 15609. Does 180 divide h?
False
Let s(j) = -j**3 - 7*j**2 - 39*j - 33. Is s(-14) a multiple of 13?
True
Let o(k) = -2399*k + 4463. Does 176 divide o(-16)?
False
Let i(o) = -2*o**2 + 20*o - 2. Let a be i(14). Let c = a - -162. Does 16 divide c?
True
Suppose 5*y = y + 8. Let x be 2 - 165/(-8) - 93/(-248). Suppose 7 + x = y*t. Is t even?
False
Let s(o) be the first derivative of 33*o**2/2 + 9*o - 5. Let l be s(2). Suppose l = 5*b - 0*b. Is b a multiple of 15?
True
Suppose u = 5*s - 30166, 13*s - 24120 = 9*s + 4*u. Suppose 36*m = 2606 + s. Is 20 a factor of m?
True
Let s = -171 - -191. Suppose -4 = s*u - 464. Does 8 divide u?
False
Suppose -5434 = -3*f + 2*w, -20 + 23 = 3*w. Suppose 0 = 6*t - 420 - f. Is 31 a factor of t?
True
Suppose 4*l - 4734 = 2*y, 4*y - 660 - 501 = -l. Suppose 0 = 4*u - 5*f - l, -4*u - 324 = -f - 1485. Is u a multiple of 19?
False
Suppose w - 695319 = -110*w - 12*w. Does 4 divide w?
False
Let g be -7*(3 + (-104)/28). Suppose g*h = 4*b - 201, -8*h = -2*b - 4*h + 96. Is 8 a factor of b?
False
Suppose 0 = -14*q - 7*q + 15247 - 6049. Is 5 a factor of q?
False
Let c = 162 - 159. Suppose 3*i = -c*q + 1914, -q + i = -914 + 284. Does 24 divide q?
False
Suppose 53*k - 675 = 120. Suppose -k*t = -10605 - 6660. Is 13 a factor of t?
False
Let k be 130/(-52)*7278/(-5). Let f = -1819 + k. Is 65 a factor of f?
True
Let p(u) = -u**3 - 8*u**2 - 5 + 4*u**2 - 8*u**2 + 53*u - 3*u**2 + 4*u**2. Is 36 a factor of p(-17)?
True
Let s = -6 + 3. Does 12 divide (1/s)/(0 - 1/699)?
False
Suppose -33 = 15*x - 63. Suppose -2*q = -4*o + 88 + 62, -x*o + 5*q + 87 = 0. Does 2 divide o?
True
Let z(i) = 14*i - 100. Let y be z(8). Suppose -29*w + 3774 = -y*w. Does 6 divide w?
True
Is 34 a factor of 153409/4 - -13*(-9)/468?
True
Let s be -3*(-2 + 133/(-21)). Suppose -3*z = 3*t - 240, -t + s - 330 = -4*z. Does 11 divide z?
True
Suppose 0*y = y + 3*l - 174, 4*y + 5*l = 675. Suppose 0 = 11*r - 0 - y. Is r a multiple of 7?
False
Suppose -2 = -5*h + 3*h. Let u(l) = 5*l**2 + 3*l - 3. Let t be u(h). Suppose 3 = 3*v, -4*k - k + 325 = -t*v. Is k a multiple of 21?
False
Let c = -12 + 14. Suppose c*u - 245 - 395 = 0. Does 20 divide u?
True
Suppose -2*r - 3*o + 15 = 0, 6*o = 5*r + 10*o - 20. Suppose -17*k + 7*k + 3100 = r. Does 10 divide k?
True
Let d be ((-6)/7 - 0)/(96/672). Is 9/d - 940/(-8) a multiple of 22?
False
Let c be (-4)/(-5) - (-2080)/650. Let v be ((-130)/3)/((-1)/3). Suppose 0 = t + 2*t - 4*o - v, c*o = -4*t + 136. Is t a multiple of 14?
False
Suppose 0 = -2*a - 2, 2*q + 13*a - 19433 = 10*a. Is 25 a factor of q?
False
Let s be (-53 + 36)/(2/(-6)). Suppose -1200 = 39*v - s*v. Is 4 a factor of v?
True
Let u be (80/24)/((-2)/(-573) - 0). Let s be (-8)/12 - u/(-15). Is 8 a factor of -2 - 0 - 4/(-4)*s?
False
Let l be (39/(1 + 2))/((-1)/1). Let g(h) = 3*h + 38. Let r be g(l). Let s(a) = -5*a + 5. Is 3 a factor of s(r)?
False
Let q(d) = 22*d**2 + 10*d - 362. Does 37 divide q(19)?
True
Suppose 64*g = 36*g + 32*g - 9360. Does 65 divide g?
True
Let m(r) = 0 - 9 - 5 - 5 - 3 + 9*r. Let o(j) = 7*j**3 - j**2. Let x be o(1). Does 8 divide m(x)?
True
Suppose -1497*n = -1495*n - 372. Is 10 a factor of n?
False
Let y(j) be the first derivative of -23*j**2/2 - 154*j - 133. Is y(-38) a multiple of 20?
True
Does 59 divide -1 + 4508 + -5 + (-7 - -20)?
False
Let t = -1125 - -596. Let j = t - -628. Is j a multiple of 7?
False
Let t(y) = -181*y - 901. Does 4 divide t(-17)?
True
Suppose 335*t - 200*t - 3891360 = -267*t. Does 22 divide t?
True
Suppose 69*x - 71*x - 10920 = -4*m, -21813 = 4*x + m. Is 31 a factor of 24/96 - x/8?
True
Is 2921 + ((-225)/(-10))/(-15)*(-8)/3 a multiple of 9?
True
Let w(x) = -12*x + 18 - 43 - 15 - 38*x. Does 10 divide w(-4)?
True
Does 18 divide (-35 - 13 - -26) + 4378?
True
Let w(r) = 61*r + 2612. Does 12 divide w(52)?
True
Suppose -10*i + 158759 = u - 139216, -2*u - 89381 = -3*i. Does 257 divide i?
False
Let z be 38*(1 + 1)/4. Let d(w) = -2*w + 3. Let q(v) = v**2 - 13*v - 10. Let l(g) = 2*d(g) + q(g). Is 4 a factor of l(z)?
False
Is 7 a factor of (-249835)/(-55) + (-5 - -1)/(286/(-39))?
True
Does 50 divide 5*-710*(18 + -20)?
True
Let w(j) = 2*j**2 - 15*j - 13. Let i be w(8). Let r be (-5 + 0)*(-3)/i. Let c = r + 28. Is 10 a factor of c?
False
Suppose g + 454 = 2617. Does 3 divide g?
True
Is 72 a factor of 432*(13/(-26)*-7 + 2 + -4)?
True
Let f = 7079 + -3808. Suppose 0 = 4*o - x - f, -o + 637 + 192 = 2*x. Does 9 divide o?
True
Suppose 22*g - 20*g - 51272 = -6*g. Is g a multiple of 115?
False
Let z be (-13376)/72 - (-2)/(-9). Let q(g) = -g**2 + 7*g + 76. Let l be q(18). Let i = l - z. Is 19 a factor of i?
False
Let w(u) = -3*u**3 + 3*u**2 + 12*u + 14. Suppose -12*b = -10*b + 4. Is 7 a factor of w(b)?
False
Suppose q - 23*q + 704888 = -5*q. Does 152 divide q?
False
Suppose 0*p = -3*p - 4*b + 73, -67 = -3*p + 2*b. Suppose 5*c = -5*n - 5, -c - p = c - 5*n. Does 2 divide 3/(21/5 + c)?
False
Let l(q) be the third derivative of -7/60*q**5 + 0*q - 1/120*q**6 + 1/6*q**4 - 7/3*q**3 - 12*q**2 + 0. Is 18 a factor of l(-8)?
True
Let k = -17 - -19. Suppose -p - k*a + 442 = 0, p - 3*p + 905 = -3*a. Does 16 divide p?
True
Suppose -7*s + 33052 = -2*v, 4*v + 36 - 40 = 0. Is s a multiple of 11?
False
Let c(v) = 40*v**3 + v**2 - 5*v - 9. Let x(a) = -10*a**3 + a + 2. Let b(h) = -2*c(h) - 9*x(h). Let r be (-6)/(-3) + 0 + -1. Is b(r) even?
False
Let a(i) be the second derivative of -3*i**5/4 + i**4/4 + i**3 + 3*i**2 - 137*i. Is 18 a factor of a(-4)?
True
Is ((-12)/(-9))/((-40)/(-17280)) a multiple of 4?
True
Let u = -63 - -42. Let w = u - -19. Is 10*(w + (-22)/10)*-1 a multiple of 6?
True
Let i(k) = k**2 - 21*k - 173. Let f be i(35). Let b = f - 96. Does 13 divide b?
True
Let q be (-1364)/4 + -2 + 1. Suppose -5*j + 3*o = -j - 117, -2*j + o = -61. Does 11 divide 22/j*q/(-4)?
False
Let d = -2596 + 12837. Does 91 divide d?
False
Let p = 10516 - 4151. Does 95 divide p?
True
Suppose -25*m + 26*m - 883 = -t, 5*t = -2*m + 4409. Let k = -465 + t. Is k a multiple of 37?
False
Let t(g) = -1306*g - 347. Is 41 a factor of t(-12)?
False
Is (-759402)/(-1148)*128/6 a multiple of 224?
True
Suppose -48*x - 574 = -129108 - 34090. Is x a multiple of 7?
True
Let z(s) = -48*s + 1307. Is 58 a factor of z(-51)?
False
Let q(j) = j**2 + 5*j + 8. Let d be q(-4). Suppose d*a = -3*c + 86, 4*c - 6*c - a + 64 = 0. Suppose 2*s + c - 72 = 0. Is 12 a factor of s?
False
Suppose 0 = -5*s - 2*w + 15951, 5*s = -4*w + 20811 - 4864. Suppose -3*r - 2*r + 4*f + 3188 = 0, 5*r - s = 3*f. Is 80 a factor of r?
True
Suppose 0 = 3*o + 114 + 210. Let t be 821/(-9) - 24/o. Let k = 282 + t. Is k a multiple of 27?
False
Let m(y) = -73*y - 1323. Is 3 a factor of m(-27)?
True
Let v be -2 + ((-15)/(-6))/(1/706). Suppose -v + 25 = -11*d. Is d a multiple of 8?
False
Suppose -2*j + 0 = -4, -3*j - 114 = 3*o. Let n = -40 - o. Suppose n*b = 3*b - 252. Is 19 a factor of b?
False
Suppose 4*o - 4