4*k - 5*l - 30659, 115*k - 120*k - l + 38273 = 0. Does 44 divide k?
True
Let h = 6281 - 5293. Does 52 divide h?
True
Suppose 5*c - 2*g - 34 = g, 7 = -c - 4*g. Suppose -4*r + 5*u + 1250 = -1028, -c*r - 4*u = -2827. Does 21 divide r?
True
Let a = 172 - -19. Let d = -41 + a. Is d a multiple of 13?
False
Suppose -12*a - 41*a + 7420 = 0. Let p = a - -364. Does 36 divide p?
True
Let g(d) = 16*d**3 - 5*d**2 - 35*d - 8. Let h be g(-8). Does 11 divide h/(-30)*3/2?
False
Let y(p) = -p**3 + 86*p**2 - 267*p - 124. Is y(72) a multiple of 29?
False
Let q(b) = 160 - 511 + 48*b + 265. Is 38 a factor of q(10)?
False
Let h(w) = 10*w**2 - 38*w + 253. Is 19 a factor of h(8)?
True
Suppose -66*k = -540619 - 1067537. Is 93 a factor of k?
True
Does 17 divide 24/(-16) - (-3386285)/70?
False
Suppose -4*y - 4 = 4*g, y + 2*g = -g - 3. Suppose y = -5*o, -7*x - 115 = -12*x + 3*o. Does 2 divide x?
False
Let j(t) be the first derivative of -17*t**2/2 + 223*t - 72. Is 2 a factor of j(13)?
True
Suppose 0 = 22559*z - 22546*z - 65. Suppose -2*l = 3*s, 4*l = -0*l + 3*s. Suppose z*o + 261 - 1151 = l. Does 9 divide o?
False
Let q(m) = 3*m**3 + 10*m**2 + 32*m - 22. Is 21 a factor of q(10)?
False
Let r = 0 + 8. Suppose 0 = -a + r*y - 3*y + 3, 3*y + 3 = a. Suppose 0 = 5*v + 4*c - 918, 190 = v + a*c + c. Is 38 a factor of v?
False
Is 6 a factor of -27*3/(90/(-1780))?
True
Let t(r) = -4*r + 8 + 6*r - 10*r**2 + 3*r**2 + r**3 + 5*r. Let d be t(6). Let n(p) = p + 20. Is 31 a factor of n(d)?
False
Let k be (-4 + 3)/(1/(-8)). Suppose -k*q + 4*q = -24. Suppose q*i - 39 = 105. Does 24 divide i?
True
Let u = -4475 + 4579. Is 104 a factor of u?
True
Suppose 45*k + 125945 = 8*k + 1412546. Is k a multiple of 7?
False
Suppose 156 - 22 = -2*p. Let n = p - -162. Let r = n - 47. Does 11 divide r?
False
Let n = 69 - 70. Let i(z) = -495*z + 4. Let d be i(n). Let m = -250 + d. Is m a multiple of 43?
False
Suppose -3*u - 2 = -5*u. Suppose 2*c = -u - 3. Is (-3)/(12/(-148)) - (c + 2) a multiple of 26?
False
Let d(p) = -19*p + 7 + 8 - 16. Let s be d(-2). Suppose -v = -s - 3. Does 20 divide v?
True
Suppose 9*q - 58996 = -r, 88*q + 2*r - 26222 = 84*q. Is q a multiple of 23?
True
Suppose 0 = -4*a + 2*a, 3*q + 3*a - 36 = 0. Suppose -11*i + q = -5*i. Suppose 584 = -i*l + 6*l. Is 41 a factor of l?
False
Let m(x) = 165*x**2 + 42*x + 123. Is 26 a factor of m(-3)?
True
Let u(k) = 4388*k**2 + 69*k - 5. Is 6 a factor of u(-1)?
True
Let f = 152267 + -89360. Is 39 a factor of f?
True
Suppose 939*z = 936*z + 84. Suppose 23*g = 4*m + z*g - 1015, -3*m = -2*g - 790. Is m a multiple of 20?
True
Let t = 109846 - 78147. Is t a multiple of 14?
False
Is ((-726)/165)/22 + ((-159604)/10)/(-2) a multiple of 60?
True
Suppose 4*l = -3*w + 23187, -2*l + w + 8275 + 3316 = 0. Is 6 a factor of l?
True
Let r(u) = 14*u + 27. Let v be r(-2). Is 196 + -4 + v + 7 a multiple of 33?
True
Let z(n) = 507*n + 308. Is 134 a factor of z(6)?
True
Let n be 224/(-120) - (-1)/((-15)/2). Let t be -5 + 32 + 1*n*1. Does 26 divide (-1 - (-155)/t)/(1/20)?
True
Suppose 6*h - 7*h - 2*p + 70 = 0, -2*h - 3*p = -145. Suppose 52*q - h = 32*q. Is q even?
True
Suppose -4*t - 5*q + 1213 = 0, 3*q - 210 = 3*t - 1086. Is 33 a factor of t?
True
Let l(b) = 2*b + 28. Let p(d) = -d**3 - 8*d**2 - 9*d - 8. Let r be p(-7). Is 8 a factor of l(r)?
True
Let f(j) = -j**2 + 18*j - 37. Let u be f(15). Does 3 divide (1/4)/(u/2752)?
False
Suppose 4*i - 4*x - 319 = 3*i, 5*x = 0. Suppose i = -2*y + 557. Is y a multiple of 17?
True
Is (-6)/28 + (-4 - (-632049)/154) a multiple of 10?
True
Suppose 2*a + g - 5*g + 6 = 0, -2 = -2*a - 4*g. Let i be (3 - 19)*a/(-2). Let l(r) = -13*r - 28. Does 19 divide l(i)?
True
Let a = -380 - -36380. Is 300 a factor of a?
True
Suppose -3*n = 9 - 6. Let l(i) = -6*i**3 + 16*i**2 - 11*i - 10. Let c(s) = -s**3 + s**2 - 1. Let r(h) = n*l(h) + 5*c(h). Is r(10) a multiple of 5?
True
Is 5/(-100)*-4 - 52239/(-5) a multiple of 8?
True
Let u(z) = 440*z - 377. Does 4 divide u(5)?
False
Suppose -5*h + 2*u + 3*u + 82230 = 0, -u + 49338 = 3*h. Does 43 divide h?
False
Let z(j) = -11*j**2 - j + 2. Let d be z(1). Is (d - -7) + 58/2 a multiple of 13?
True
Let a(l) = 5 + 49*l**2 - 3*l + 8*l**2 + 20*l**2 - 4. Suppose -u = -o + 4*o, 9 = -3*u. Is a(o) a multiple of 6?
False
Let u be (-2)/(-21) + 292/21 + -2. Suppose 224 = u*n - 364. Does 8 divide n?
False
Let j(f) = f**2 - 8*f + 81. Let q be j(21). Suppose 2*n + 2*t = q, 2*n + 3*t - 706 = -2*n. Is n a multiple of 5?
True
Let a(b) = -57*b + 24*b + 27 + 26*b. Is a(-19) a multiple of 10?
True
Suppose 391*s - 20 = 386*s. Does 12 divide (s/(-6))/((-6)/18) + 454?
True
Let v = -692 - -692. Suppose v = 3*k - 0*m + m - 747, -4*k = m - 997. Is 10 a factor of k?
True
Let x(n) = -22*n - 24. Suppose 1 = 10*y - 19. Suppose -y*s - 18 = 4*v, 2*s - 6*s - 5*v = 36. Does 17 divide x(s)?
False
Let x be (-5)/(-2)*(-6)/(-5). Let w(q) = q**3 - q**2 - 3*q + 1. Is w(x) a multiple of 3?
False
Let l(r) = -207*r - 64. Suppose -2*t = -3*a + 5, -a = -5*t + a - 18. Is l(t) a multiple of 30?
False
Let o = -242 - -359. Let k = o - 69. Is k a multiple of 6?
True
Suppose -718*i = -749*i + 151528. Does 94 divide i?
True
Let i be 586*5/15 - 10/(-15). Is 57 a factor of 40*-1*i/(-16)?
False
Let t = -148 - -154. Is 11 a factor of -1*(24/t - 484)?
False
Let y = -80 + 90. Suppose y*t = 922 + 1108. Does 10 divide t?
False
Suppose 0 = -3*a + 4*b - 705 + 104, 4 = -2*b. Let v = a - -363. Suppose 5*c - 139 = -2*k, 5*k - 145 = -4*c + v. Is k a multiple of 19?
True
Is 76 a factor of (3/5 - 6128/80)*-31?
True
Let w be (-3)/(-1) - (-15 - -16). Suppose -l = o + 4*l - 2, -w*l = o + 1. Does 24 divide ((-2 - o) + -3)*-13?
False
Suppose 0 = -60*g + 146572 - 22460 + 73888. Is g a multiple of 25?
True
Let a = 301 - 206. Let y = 96 - a. Let w(c) = 53*c**2 - c + 1. Is w(y) a multiple of 17?
False
Let n(l) = 568*l**2 - 21*l + 7. Does 99 divide n(-3)?
False
Let x = 12173 + 453. Does 214 divide x?
True
Suppose 0 = 21*l + 32087 - 88760 - 66555. Is l a multiple of 12?
True
Let w(a) = 11*a**2 + 118*a - 112. Is 37 a factor of w(-18)?
False
Let p be 25/(-18)*2 + 4/(-18). Is -1 - -2 - p - (-162)/6 a multiple of 3?
False
Let o(l) = 4*l**3 - 30*l**2 - 13*l - 101. Let d(b) = -b**3 + 10*b**2 + 4*b + 34. Let k(m) = 7*d(m) + 2*o(m). Is 7 a factor of k(-9)?
False
Let p = 600 - 600. Suppose -21*u + 1244 = f - 17*u, 5*f + u - 6296 = p. Is 12 a factor of f?
True
Suppose -3*k + 252 = -k. Suppose f + 56 = -5*y, -2*f - y = f + k. Is 1*(3 + 0) - f a multiple of 22?
True
Does 11 divide ((-5727)/(-332))/(1/264)?
True
Let v be 84/3*(-6)/(-8). Suppose a + 19 = v. Suppose 66 = 5*t - 0*t + 3*j, -a*j + 24 = 2*t. Is 15 a factor of t?
True
Suppose -57 + 69 = 3*v. Let m(x) = 3*x**2 - 11*x - 4. Let h be m(v). Suppose h = 4*w - 27 - 21. Is 5 a factor of w?
False
Suppose 92 = 5*x + 3*a, -3*x + 8 = -5*a - 54. Let j be (-22)/(-4) + (-2)/4. Suppose -5*t + x + 101 = 4*o, -o = j. Does 14 divide t?
True
Let u(l) = 2*l**2 + l - 8. Let r(k) = -k**3 + 20*k**2 - 35*k - 24. Let f be r(18). Is 13 a factor of u(f)?
False
Let k(f) = 6*f**2 - 159*f + 44. Is 39 a factor of k(49)?
False
Let v be 2 + (3 + -3)/1. Suppose 0 = -2*m - b + 452, v*m - 233 = -5*b + 211. Suppose -i = -4*d + 333 - 32, -3*d + i = -m. Is 17 a factor of d?
False
Let r be 0*2/6*-1. Suppose r = 2*j - 164 - 172. Does 4 divide j?
True
Suppose -5*t + 180 = -85. Suppose 51*i + 12 = t*i. Suppose -i*w = w - 1554. Is 29 a factor of w?
False
Let m = -455 - -1191. Let w = -496 + m. Is w a multiple of 16?
True
Suppose 8*g - 504 = g. Suppose 0*u - u - 3 = 4*s, 5*s - 12 = 4*u. Suppose s = -4*p + 8 + g. Is p a multiple of 10?
True
Let z(m) = -51*m**3 - 2*m - 2. Let j be z(-1). Let p = -43 + j. Suppose -2*g + 68 = 5*f, -28 = -3*f + 4*g - p. Is 12 a factor of f?
True
Let k(x) = 13*x**2 + 10*x + 9. Let m be 15/3 - (-3)/(-6)*16. Is k(m) a multiple of 32?
True
Let x be (-8)/32 + 18/8. Suppose 22 = x*v - 3*k, -5*k = -3*v + v + 30. Suppose -5*y = 2*s - 29 + v, -26 = -4*s + y. Is s a multiple of 7?
True
Does 93 divide ((-42)/28)/(-5 - (-42607)/8522)?
False
Suppose 11*a - 15 = 6*a. Suppose 57 + 237 = a*w. Does 7 divide w?
True
Let q = -26771 + 36253. Is q a multiple of 22?
True
Let t be 6/(-4) + 100/(-40). Let c(z) = -z**2 + 14. Let h be c(t). Does 20 divide ((-200)/6)/(h/6)?
True
Let m = 