 - 12274 = -23*i + 18*i, -4892 = -2*i + 4*o. Let q = -807 + i. Is q a multiple of 27?
True
Suppose -409*h = -101*h - 15116024. Does 10 divide h?
False
Suppose -3*k - 6407 = -66485. Does 90 divide k?
False
Let b = 16836 - 146. Does 7 divide b?
False
Let t(o) = 11*o. Let g = -36 + 48. Suppose 0 = -2*y - s + 16, s - g - 25 = -5*y. Does 15 divide t(y)?
False
Suppose -6*o - 368 = -2*o - m, o + 107 = 4*m. Does 2 divide 1*-1 + 57 + (o - -89)?
True
Does 15 divide -1250*(78/(-12))/13?
False
Let s(w) = 1640*w**2 - 736*w + 4376. Is 92 a factor of s(6)?
False
Let i = -69 - -165. Does 35 divide (13 - i/8)/((-2)/(-210))?
True
Let i(l) = 184*l**3 + 2*l**2 - 3*l + 2. Let b be i(1). Let u = b + -105. Is 8 a factor of u?
True
Let s(l) = -78*l - 95. Let f(u) = -41*u - 47. Let b(k) = -11*f(k) + 6*s(k). Does 6 divide b(-13)?
True
Suppose -v - 27 = -46. Let q(p) = 21*p - v - 41 + 31. Is q(4) a multiple of 5?
True
Let v(u) = -180*u - 845. Let x be v(-6). Suppose 466 = -4*p + 3*q, -4 = q - 3*q. Let z = p + x. Is 32 a factor of z?
False
Let o = -80493 + 137308. Does 136 divide o?
False
Let i(d) = 11*d**2 + 9*d - 46. Let q(a) = -a**3 - 9*a**2 - 8*a + 45. Let u(s) = -2*i(s) - 3*q(s). Is 14 a factor of u(4)?
False
Let s(u) = -19960*u - 115. Does 49 divide s(-1)?
True
Let m(q) = 84*q**2 + 45*q + 126. Is m(-3) a multiple of 55?
False
Let f be -1 - 6/(3 - (2 + 3)). Suppose 0 = a - 5, f*y + 5*a - 17 - 8 = 0. Suppose y = 4*o + 62 - 358. Is 8 a factor of o?
False
Let k(q) = -2*q + 6. Let l = -39 + 36. Let b be k(l). Suppose -b = -4*d, -d = h + 3*h - 147. Does 9 divide h?
True
Let c be 51/(-51)*(3 + (-2)/(-2)). Let s be ((-8)/c - -1) + 694. Suppose -s = -7*t + 878. Is t a multiple of 9?
True
Let m be (-3)/20*5 + 1047/4. Let n = 266 - m. Is 4 a factor of n?
False
Suppose 4*c = -c + 2*h + 102, 2*c = 3*h + 32. Let p = 21 - c. Is 2 a factor of 7 + p + -2 - 1?
False
Suppose 52*b - 1594891 - 486977 = -40*b. Is 5 a factor of b?
False
Let n = -5318 - -5327. Is 4 a factor of n?
False
Does 58 divide 4055 + ((-2)/6)/(36/540)?
False
Let x(s) = -s**2 + 7*s - 24. Let k be x(7). Let o = 100 - k. Is 11 a factor of o?
False
Suppose -9*c = 5*c - 12*c + 5*b - 1482, -4*b = 0. Is 24 a factor of c?
False
Let v(w) = -w**3 + 5*w. Let o be v(-4). Let m = o + 22. Does 33 divide m?
True
Suppose 2*c = -2*f + 448, 5*f - 2*c + 383 = 1510. Let a = 236 - f. Does 3 divide a?
False
Suppose 15*a + 3*m = 12*a + 699, -12 = 3*m. Let k = a - 201. Is k a multiple of 9?
True
Let r = -1791 - -4772. Is 11 a factor of r?
True
Suppose 38 = -3*b - 5*d - 80, 2*b - 5*d = -112. Let v = b + 47. Does 28 divide 63/v - (4 + 1 + -4)?
False
Let p(d) = -2 + 2*d**2 + 6*d + 3 - d. Suppose 94*w + 32 = 89*w - 2*y, -w + 26 = -5*y. Is p(w) a multiple of 5?
False
Let x be (-312)/5 - (13/5 - 3). Let u = 70 + x. Let i = 26 - u. Does 2 divide i?
True
Let f be (-2)/(12/(-170)) - (-1)/(-3). Let d = 37 - f. Let g(l) = 21*l - 13. Does 22 divide g(d)?
True
Suppose 2*m - 12*m - 6360 = 0. Let u = -504 - m. Is u a multiple of 22?
True
Suppose -8*a + 3194 + 23590 = 0. Is 9 a factor of a?
True
Let s = -234 - -346. Suppose 125 = s*i - 107*i. Suppose -i*h + 24*h + 27 = 0. Does 8 divide h?
False
Let s(f) = 9*f**3 - 7*f**2 + 3*f - 1. Let g be s(3). Let a = -17 + g. Is 48 a factor of a?
False
Let o = -27570 + 49055. Is 41 a factor of o?
False
Suppose 2*c - 8860 = -2*y, 2*c - 6193 = y + 2658. Is 154 a factor of c?
False
Let q(j) = 2*j + 51. Let z be q(-23). Let y(k) = k**2 - 13*k - 26. Let b be y(15). Suppose b*g - g = -3*d + 228, -d = -z. Is 39 a factor of g?
False
Let y(j) = -3496*j - 390. Is y(-1) a multiple of 15?
False
Suppose 3*i = -s + 155, 3*s = -i + 8*s + 41. Let h = -47 + i. Suppose -3*o + 0*a + 228 = h*a, -4*a = -12. Is o a multiple of 13?
False
Is (-123643)/(-3)*966/2093 a multiple of 80?
False
Let v = 61336 - 38046. Does 17 divide v?
True
Suppose 2*z = 4*b + 74, -5*b = 4*z - 131 + 35. Let i(x) = 2*x**2 - 54*x + 19. Is 6 a factor of i(z)?
False
Suppose 2*j - 2814 = -4*f, -3*j + 8*j - 2107 = -3*f. Suppose 7*q - 11*q = -2*v + f, -q = 3*v - 1049. Is v a multiple of 25?
True
Suppose -a - 57659 - 3142 = -3*y, -3*y - 3*a + 60801 = 0. Does 34 divide y?
False
Suppose 104 - 89 = 5*k. Is 5 + k/15*755 a multiple of 13?
True
Let b be 4/(84/9) - 9/21. Let h(n) = -n**2 + 2*n + 12. Let a be h(b). Does 12 divide (6/4)/(a/136)?
False
Suppose -4*q - 4*c + 5 = -3, q = 3*c + 6. Let b(o) = 6 + 2*o**2 + 16*o - 16*o + o**q. Does 17 divide b(3)?
True
Suppose -5*j = -5*q + 10, -3*q + 13 = 5*j - 9. Suppose -4*d - 8 = 4*i, 5*d - i = j*i + 6. Suppose o = 5*p + 165, d*p - 825 = -5*o + p. Is o a multiple of 21?
False
Let w be 722*(-1)/(-1 - 0). Suppose -1006 = -2*j + 2*i, -3*i + 398 = 4*j - 1621. Let r = w - j. Is r a multiple of 9?
False
Let g = 121 + -88. Suppose -17*l + g*l = 2960. Does 29 divide l?
False
Suppose 3397 = 2*z + 2*r - r, -3*r - 15 = 0. Let t be (8/6)/(18/z). Is 16 a factor of t/1 + (-2 + 7 - 3)?
True
Suppose 0 = 4*c + 5 - 21. Let g be ((-64)/(-12))/(c/6). Does 10 divide (-4)/(-5)*(860/g)/1?
False
Is 275*57/((-15048)/(-11280)) a multiple of 47?
True
Let f be (-4 - -2)*-1 + -1. Let i be 0/(-5) + f - (-3 + 0). Suppose -y + i*o + 45 = 0, y + 4*o = 4*y - 111. Is y a multiple of 33?
True
Let f(w) = 33*w**2 - 22*w + 54. Let x = 223 - 220. Is f(x) a multiple of 18?
False
Let b(m) = -3*m**3 + 12*m**2 + 9*m - 2. Let u(p) = 16*p**3 - 60*p**2 - 44*p + 10. Let i(w) = -11*b(w) - 2*u(w). Is 14 a factor of i(13)?
True
Let u(k) = -2*k - 19. Let c be u(-11). Let v = c + -6. Is 49 a factor of ((-2628)/(-27) + (-2)/v)*2?
True
Is 17 a factor of ((-11446)/(-12) - 3) + (-22)/(-132)?
False
Is ((-336)/(-5))/((-388)/(-970)) a multiple of 12?
True
Suppose 4*s - 2*s - 144 = 0. Let w = s - 61. Suppose w*y - 2806 + 738 = 0. Does 47 divide y?
True
Suppose -2*x = 5*g + 8, -2*g + 2*x + 12 = -x. Let a be (-4 - g) + (2 - 3/(-3)). Does 18 divide 87 + a/(-4) + (-143)/(-52)?
True
Let i = -23557 - -27132. Is 13 a factor of i?
True
Suppose -3*s + 5*m = -10 - 6, -2*s + 4*m + 10 = 0. Suppose -s = -2*u - 1. Is ((-736)/72)/((-2)/u)*9 a multiple of 33?
False
Let g = 15583 + 21528. Is 37 a factor of g?
True
Suppose -i - i + 3*f - 5 = 0, -i + 17 = 5*f. Suppose -477 = -2*p + 5*d, -4*p + d = i*d - 1009. Does 16 divide p?
False
Let b = 3858 - 2933. Does 25 divide b?
True
Suppose u - 4536 = -3*l + 1142, 4*u = 5*l - 9435. Let g = 3493 - l. Suppose 15*r = 438 + g. Is r a multiple of 13?
False
Let k be (24 + -23)*4*15. Suppose -k*z = -56*z - 2240. Is z a multiple of 70?
True
Let z(v) be the third derivative of 17*v**5/20 + v**3/6 + 27*v**2. Let a be z(-1). Suppose 5*h = 2*h + 5*p + 63, 0 = 4*h + 4*p - a. Is h even?
True
Let n = -34 - -40. Suppose -3*j = 5*q + 226, n*q - j = 3*q - 144. Let k = 111 + q. Does 9 divide k?
False
Does 44 divide (8/((-24)/99))/(-6 - (-20307)/3388)?
True
Let o be 72/28*588/2. Suppose -4*d + 5*a = -5*d + 2, -2*d + a = -15. Suppose -o = -0*x - d*x. Is x a multiple of 27?
True
Let c = -139 - -213. Let z = c - 2. Does 18 divide z?
True
Suppose 2 + 3 = -p + 5*n, 3*p - 11 = 2*n. Let f be ((-25)/(-5))/(p/6). Suppose 0*l - 132 = -f*l. Does 3 divide l?
False
Is (-1*(-2)/(-8))/(278/(-285784)) a multiple of 2?
False
Let q be 3/((-15)/(-2734)) + 2/10. Suppose -4*v = -q - 65. Is v a multiple of 51?
True
Let r(t) = -9*t**2 + 2. Let v be r(-2). Let i = v - -39. Suppose y = 5*n + 27, 3*n + 30 = i*y - n. Does 2 divide y?
True
Suppose 2*o + 0*o - 38 = 0. Suppose -22*y + 12 = -o*y. Suppose y*r - 77 - 11 = 0. Is 11 a factor of r?
True
Suppose 4 = -2*j, 0 = 16*k - 15*k + 3*j - 2716. Is 14 a factor of k/4 - (-21)/(-14)?
False
Let f(b) be the third derivative of -11*b**4/24 + 59*b**3/3 + 121*b**2. Is f(-14) a multiple of 16?
True
Let l be (-2)/3*(-120)/20. Suppose -5 = 4*p - b - 16, -36 = -l*p - 4*b. Suppose 5*n - 240 = -3*s, -p*n - 3*s = -n - 144. Does 8 divide n?
True
Suppose -5*h - 2*d + 50 = -50, -5*d + 60 = 3*h. Let k = 140 - h. Does 10 divide k?
True
Suppose -743643 = -182*c + 129*c. Does 17 divide c?
False
Let t be (-1)/(-3)*(-594 + 39). Let o = t + 345. Does 4 divide o?
True
Suppose 5 = -s + 631. Let p be s/16 - 9/72. Let o = p - 21. Is 9 a factor of o?
True
Suppose 0 = 5*l - 4*h - 17, 102*h - 100*h - 4 = 0. Suppose l*f = 2 + 23, 3*x - 1641 = 3*f. Is x a multiple of 12?
True
Suppose -2*a = -h + 1