 - 106874, -a = 1. Is u a multiple of 6?
True
Let j(c) = -10*c + 245*c**2 + 14 + 17 - 222*c**2 + 0*c. Does 8 divide j(3)?
True
Suppose 0 = -4*i - 0*y + y + 10, 8 = 2*i + y. Is i/(-6)*(-8 + 4) even?
True
Suppose -5*r - 45 = -h, -4*r = -h - 7 + 43. Let j(b) = -2 + 4*b - 1 - 8*b + 2. Is j(r) a multiple of 11?
False
Let z(k) = -1834*k - 2936. Does 19 divide z(-4)?
False
Suppose -3*r = 2*y - 318, 4*r + 2*y = 2*r + 212. Is 8 a factor of r?
False
Let n(a) = 92*a + 2250. Does 20 divide n(14)?
False
Suppose -11 + 29 = -3*o. Let k be 2*6/(-4)*(-46)/6. Let g = k - o. Does 28 divide g?
False
Let r(o) = 20 - 4*o**2 - 14*o**2 + 1 + 19*o - o**3 + 11. Let c(l) = -l**3 - 6*l**2 + 8*l + 46. Let p be c(-5). Does 16 divide r(p)?
True
Suppose -20*k + 8*k + 27759 = 7*k. Is k a multiple of 3?
True
Let k(l) = 8*l - 4*l**2 - 4 + 6*l**3 - 3*l**3 - 6*l**2 + 3*l**2. Is 29 a factor of k(5)?
False
Suppose -20*z + 52*z - 896 = 0. Suppose z*c = 20*c + 416. Is 8 a factor of c?
False
Suppose 0 = 189*q + 108*q - 8969400. Does 18 divide q?
False
Let j be (-118)/(-10 + 8 - (-1 + 1)). Suppose -d - 7 = -j. Suppose 208 = 5*f - d. Does 13 divide f?
True
Let f(y) = 119*y + 5714. Is 110 a factor of f(74)?
True
Let r be ((-4)/(-3))/(4/6). Let b be (-2 - 2) + (173 - 169). Suppose 3*s - 2*u - 31 - 108 = b, -41 = -s - r*u. Is 15 a factor of s?
True
Let x(u) = -4*u**2 + 2*u + 1. Let f be x(5). Let v = 208 - 187. Let m = v - f. Is m a multiple of 15?
False
Is (-817355)/(-308) + (-9)/12 a multiple of 12?
False
Let h(q) = 2*q**2 - 14*q - 7. Let x be h(-9). Suppose x + 421 = 9*j. Is j a multiple of 26?
True
Is 37 a factor of 5/(35/199682) - (-1 - 0)?
True
Let x(v) be the first derivative of 8*v**3 + 6*v - 4. Does 15 divide x(-4)?
True
Let n(y) = y + 17. Let z be n(-17). Suppose -4*a - 30 = -p, -4*p + 65 = -z*p - 5*a. Suppose p = 2*r - 20. Does 6 divide r?
False
Let l(u) be the first derivative of -4/3*u**3 - 10*u + 1/2*u**2 - 1/4*u**4 - 13. Does 26 divide l(-7)?
True
Is 8 + 9490*(2 + 12/(-8)) a multiple of 40?
False
Suppose -5*j + 20 = 0, -2*j = 16*l - 21*l + 2552. Is l a multiple of 13?
False
Let t = -216 + 221. Suppose -7*y = -4*y, t*o - 2265 = 5*y. Is 16 a factor of o?
False
Let y = -45 + 47. Suppose 5*b + 20 = 0, y*p - 2*b + b = 566. Is 11 a factor of p?
False
Let q(k) = 25*k**2 - 55*k + 1179. Is 5 a factor of q(16)?
False
Suppose -9828 = -3*s + 2193. Is s a multiple of 17?
False
Suppose -3 = 2*d - 3*y, 21 = -4*d - 4*y + 5. Is (-665)/(-3) + 2/d a multiple of 13?
True
Let b = 109 - 24. Let h(o) = 8*o**2 + 19*o - 17. Let w be h(6). Suppose y + 2*m - b = m, w = 5*y - 3*m. Is 16 a factor of y?
True
Let t(v) = 13 + 9*v - 5*v + 2*v - v**2 + 3. Let f be t(8). Suppose -2*p = -f*l - l + 88, 10 = 2*p. Does 14 divide l?
True
Let i = -85 - -164. Let s = -27 + 63. Let c = s + i. Does 11 divide c?
False
Suppose -94*t + 91*t - 5*z = -184482, 0 = -5*t - 3*z + 307486. Does 19 divide t?
False
Suppose 3*k - 2*u - 101570 = 0, 4*u + 33860 = 19*k - 18*k. Is k a multiple of 23?
True
Let y be (-6)/(-2) + (-4 - -8)/(-4). Suppose -2*m = y, -4*m = x - 4*x + 2446. Does 16 divide x?
False
Suppose 6165 = 51*p - 8574. Is 17 a factor of p?
True
Suppose -69 = 40*a - 39*a. Let j = a + 69. Suppose 5*c + 5*f - 40 = j, -5*c + 2*c + 14 = 5*f. Is 13 a factor of c?
True
Let y(f) = -f**3 - 29*f**2 + 28*f - 89. Let l be y(-30). Let x = 158 - l. Is x a multiple of 11?
True
Suppose f = -2*t - 536, -7*f + 4*f = -2*t - 528. Let q be (5 + -2)/((-9)/t). Let o = q - 79. Does 3 divide o?
False
Let v(g) = g**3 - 14*g**2 - 47*g + 32. Is v(17) a multiple of 7?
False
Let v = -22 + 20. Let f be v*(3/(-5) + (-8945)/50). Suppose -301 = -6*c + f. Does 22 divide c?
True
Suppose -5*j = 3*k - 17345, 28887 = 5*k - 4*j + 7*j. Is k a multiple of 71?
False
Let v be (19/(-3) + 4)/(1/33). Let o = v + 81. Suppose -29 = -o*x - 1. Is x a multiple of 2?
False
Let l(w) = w**3 + 18*w**2 - w + 28. Let h be (-1 + 9)*27/(-12). Is 5 a factor of l(h)?
False
Suppose -10*j + 15280 = 1436 + 44. Is j a multiple of 23?
True
Let l = 5 - 9. Let r be (-13311)/(-45) - l/(-5). Let x = r + -199. Is x a multiple of 16?
True
Suppose -22908 + 143831 = 11*t. Does 29 divide t?
False
Suppose 2*n = 6*n + 4*j - 140, -n = 3*j - 35. Suppose n*y = 3031 + 9114. Does 8 divide y?
False
Let s = 34 + 57. Let n = s - 53. Let c = 18 + n. Does 8 divide c?
True
Let a(p) = p**2 - 11*p + 49. Let z be a(5). Suppose -4041 = z*t - 28*t. Does 13 divide t?
False
Suppose 4*g = -4*d + 66 - 26, 5*g - 14 = -2*d. Suppose -y + 29 - d = 0. Is y a multiple of 7?
False
Let w(f) = -f**3 - 9*f**2 + 18*f - 44. Let n be w(-11). Suppose 2*s + 6 + 2 = 2*y, 10 = y - 4*s. Suppose -44 = -n*i - y*i. Does 11 divide i?
True
Let x(i) = -9*i - 21. Let l be x(-7). Suppose -8*o + l = 6*o. Suppose 9*k = o*k + 588. Is k a multiple of 9?
False
Let f(b) = -3*b - 14. Let z be f(-6). Suppose 5*r - 12 = z*y, -3*r - r = -3*y - 10. Does 3 divide r/8*1*56?
False
Suppose 0*y + 16 = y + 3*p, 4 = p. Suppose -f = y - 8. Suppose 0*j + j + 52 = f*t, -j - 40 = -3*t. Is t a multiple of 6?
True
Let h be 5/(-50)*-5*-2. Let f be -4 - (0 - (4 + h)). Is 2 a factor of -1*(-19 - 2/f)?
False
Let f be 1 + (-2 - -1) + 2. Let l be (-2)/(-30)*(3 - -3)*5. Suppose -t + l + 5 = m, 26 = 3*m + f*t. Is m a multiple of 12?
True
Suppose -11*g - 10*g - 210 = 0. Does 13 divide (-2601)/g - (-25)/(-250)?
True
Does 137 divide (-5)/((-80)/148512) + (-5 - 1)?
False
Suppose -35 = -5*q + 5*c, -2*q - 3*q + 37 = -4*c. Suppose 0 = -4*j + q*j + 1270. Does 9 divide 4/(-28) - j/14?
True
Let g(v) = v**2 + 15*v + 19. Let i be g(-14). Is 44/(-22) + (i*194)/2 a multiple of 69?
True
Suppose -124*w + 1873720 + 803812 = 0. Is w a multiple of 76?
False
Suppose -m - m = -2*r + 6008, 5*r = m + 15004. Is r a multiple of 24?
True
Suppose 1269039 = 154*v + 55716 - 687345. Does 102 divide v?
True
Let r be (-30)/(-30) - (-7 - -2). Is (-574*r/3)/(-1) a multiple of 28?
True
Let b(c) = 3*c**2 + 10*c + 15. Let q(g) = g**2 + 17*g - 7. Suppose -4*t = 3*n - 0*n + 39, 2*n + 28 = -2*t. Let y be q(n). Is b(y) a multiple of 17?
False
Suppose 150853 + 11803 = 92*c. Does 8 divide c?
True
Suppose 0 = -4*w - 9 - 15. Let d be 224/48*w/(-7). Suppose 0*i = -b - d*i + 109, -3*i = 3*b - 363. Does 13 divide b?
False
Suppose -5 = -14*n - 47. Is 88/(2/12*n*-2) a multiple of 8?
True
Let j(c) = -7*c**3 - 5*c**2 + 7. Let f(h) = 3*h**3 + 2*h**2 - 3. Let d(k) = 5*f(k) + 2*j(k). Let z be d(1). Is 111 + (z + -1 - 2) a multiple of 18?
True
Does 166 divide (-67796)/(0/(-2) - 2) - -11?
False
Suppose 0 = 114*y - 109*y - 55. Suppose 160 = -y*t + 479. Is t even?
False
Suppose 36 - 6 = 5*c. Is ((-56)/(-20))/(c/45) a multiple of 21?
True
Suppose -5*k + 5*u + 25 = 0, k + u + 3 = -0*k. Let x(r) = r + 4. Let i be x(k). Suppose 24 = 3*l + 4*v - 73, -2*l = -i*v - 103. Is l a multiple of 5?
False
Does 74 divide 5025/(-2*15/24 - -2)?
False
Let l = -281 + 266. Is 3 a factor of (-220)/3*(135/6)/l?
False
Let l(h) = 67*h**3 - 24*h**2 + 10*h. Is l(3) a multiple of 34?
False
Let s(z) = -287*z - 142. Is s(-8) a multiple of 4?
False
Let j(q) = q**2 - 8*q - 84. Let p be j(14). Suppose -3*m - 360 = -5*l - 0*l, 5*l - 2*m - 360 = p. Does 12 divide l?
True
Let q be 0*-1*1/(-3). Let w be q*(-1 - (-4)/8). Suppose 4*o + o - 40 = w. Does 6 divide o?
False
Let g(i) = 2 + 2*i**2 + 9*i + 2 - 2 - i. Let u = -54 + 49. Does 4 divide g(u)?
True
Suppose 8*z - 16138 - 11942 = 0. Does 15 divide z?
True
Let l(i) be the second derivative of i**4/12 - 19*i**3/6 + 9*i**2/2 - 24*i. Let o be l(18). Let b = o + 38. Does 2 divide b?
False
Suppose -1167*o + 276480 = -1157*o. Does 123 divide o?
False
Let r = 667 - 310. Suppose -r - 555 = -5*d - 4*p, 2*p = 2*d - 354. Is 9 a factor of d?
True
Let c = -1194 + 1709. Suppose 4*d + c = 9*d. Suppose d + 37 = h. Is h a multiple of 22?
False
Let f(j) = 11*j + 20. Let b be (-791)/28 + 2/8. Let t be 74/8 + (-21)/b. Does 57 divide f(t)?
False
Let o be 12 - (0 + (0 - -2)*1). Let l be o + 0/2 + (-8)/8. Suppose 2*a + 574 = l*a. Is a a multiple of 20?
False
Let v(x) = -367*x - 1156. Is 15 a factor of v(-13)?
True
Let l be (-4)/26 - (5 - 635/(-13)). Let j = -47 - l. Suppose -b = j*b - 40. Does 4 divide b?
False
Let n(m) be the third derivative of -m**7/840 + m**6/72 + m**5/24 - m**4/2 - 5*m**3/2 - 5*m**2. Let r(p) be the first derivative