3555 = -4*a + 3105, -3*o - 46597 = -4*a. Does 188 divide a?
True
Let y(c) = 34*c - 136 + 61*c + 121. Is y(3) a multiple of 20?
False
Let r = -42939 - -71999. Is r a multiple of 16?
False
Suppose j - 4866 = 7*p - 0*p, 5*p = 15. Does 4 divide j?
False
Let z = -807 - -2877. Is 69 a factor of z?
True
Suppose -21*p + 148 = -230. Is 628/((-3)/(-18) + 33/p) a multiple of 19?
False
Suppose -3672 + 120 = -6*a + 3*a. Is 72 a factor of a?
False
Let g be 3/(-6) - (-18)/(-12). Let i be (-2 + g/(-2))/((-1)/(-13)). Let d = 24 + i. Is d a multiple of 5?
False
Let p(f) = -10*f**3 - 5*f**2 - 10*f - 5. Let j(b) = -3*b**3 + b**2 - 4*b + 2. Let l be j(1). Is 13 a factor of p(l)?
False
Suppose 2*g + 0*o = 3*o + 9, -5*o = 5. Suppose q - 5*d - 1204 = 0, 35*q + g*d + 2387 = 37*q. Does 29 divide q?
True
Does 285 divide 687416/12 - (-8)/(-240)*-10?
True
Suppose -5*g + 2 = -8. Suppose -80*k = -33*k. Suppose k = -s - g*j - 2*j + 60, 184 = 4*s + 2*j. Is s a multiple of 11?
True
Let i(o) = 6203*o - 12021. Is 8 a factor of i(4)?
False
Suppose -s + 9 = 2*u, 3*s + 12*u = 9*u + 21. Suppose -785 = -s*x + 3*t, 4*x = -3*t - t + 596. Is 11 a factor of x?
True
Let g be (-3 + 8)*(-3)/3. Let u(n) = 3*n**2 - 4*n - 24. Let p(m) = 7*m**2 - 7*m - 47. Let r(f) = 3*p(f) - 5*u(f). Is 37 a factor of r(g)?
False
Let c = 16078 - 15628. Does 18 divide c?
True
Suppose 37 = 8*d - 83. Suppose 6*k - k + d = 0, 5*u = -k + 2562. Does 13 divide u?
False
Suppose 0 = -4*n + 5*p + 27, 4*p = n - 0*p - 15. Suppose -3*z - z = u - 66, n*u + 42 = 3*z. Suppose 14 + 12 = 4*m - 2*d, -m = 4*d + z. Is m a multiple of 4?
True
Let k = -2254 + 2863. Is 10 a factor of k?
False
Suppose 2*a - 35 - 197 = 0. Suppose 3*j + 9 = 3*m - 9, -4*j + 11 = 3*m. Suppose -s - 7*p + a = -3*p, -m*p = 2*s - 223. Does 8 divide s?
True
Suppose -2*u - 7 = -3*l + 4, 25 = -5*u + 5*l. Let y(s) = s**2 - 5*s - 12. Let q be y(u). Suppose 0 = 3*r - 9, -4*k + 3*r - q = -5*k. Does 4 divide k?
False
Let z = 10 + 0. Suppose 5*p - 2595 = 3*k, -3*k - z = -k. Does 8 divide ((-3)/9)/((-2)/p)?
False
Let o = 40 + -17. Let s(h) = 14*h + 1 - 13*h - 8*h**2 + o*h**2. Is 12 a factor of s(-2)?
False
Let u(y) = 1970*y**2 - 142*y + 138. Does 18 divide u(1)?
False
Let a(o) = -2*o**2 + 229*o + 243. Is a(70) a multiple of 18?
False
Suppose 0 = -9*r + 11*r + 30. Let s be 20/r*(-18)/8. Suppose s*b - 79 = -7. Is b even?
True
Let h = -1 + 23. Let n(u) = -u**2 - u + 4. Let d(w) = 28*w - 1. Let o(x) = d(x) + n(x). Is 15 a factor of o(h)?
False
Let c(v) = 6*v - 33. Let x be c(21). Let y(r) = 8 + 27 - x*r**2 + 107*r**2 - r**3 - 11 - 25*r. Is 6 a factor of y(12)?
True
Let o = -22 - -22. Suppose o = 11*d - 10*d - 13. Does 42 divide 2/d + 8704/208?
True
Let h = -1839 - -362. Let x = -1040 - h. Is 14 a factor of x?
False
Let s(x) = -x**3 - 12*x**2 - 24*x - 1817. Is 22 a factor of s(-25)?
True
Suppose -24 = 3*n - 84. Suppose n = 7*z - 2*z. Suppose 0 = -5*i - z*j - 135 + 620, -4*j = i - 113. Is 16 a factor of i?
False
Suppose -4*k + 42 = -6*k. Is 6 a factor of 234/4 + (189/(-6))/k?
True
Let w(h) = 22*h - 22. Let f be (1 - 0)*126/9. Suppose 2*t = 2*p - 4*p + f, -2*p + 4*t = -8. Is w(p) a multiple of 9?
False
Suppose 480*n + 98943 = 519*n. Does 3 divide n?
False
Let j(n) = n**2 + 3*n + 69. Let q be j(0). Let x be (q/(-6))/((0 + 2)/(-8)). Suppose 5*a - x = 4. Is 3 a factor of a?
False
Let b(x) = x**3 + 24*x**2 - x - 27. Let f be b(-24). Does 12 divide (-258 + 3)/f*(-2)/(-1)?
False
Suppose 369*v = 365*v + 36. Is 6 + v/((-27)/(-114)) a multiple of 11?
True
Let s = 354 - 341. Suppose -s*x = -19*x + 792. Does 6 divide x?
True
Let b be (-391)/(-5) + 1/(-5). Let a be (b*2 - 5) + -1. Suppose -3*w - 3*g = -a, 2*g = 5*w - 3*w - 88. Is w a multiple of 3?
False
Let v = -833 + 3449. Suppose -6*x - 156 + v = 0. Is x a multiple of 41?
True
Let v(x) = x**2 - 4*x - 17. Let i be v(6). Let k be ((-13)/(130/8))/(1/i). Let d(o) = 2*o**2 - 3*o + 4. Is 24 a factor of d(k)?
True
Suppose -5 = j - 7. Suppose -7*n = j*n. Suppose -917 = -7*x - n*x. Does 20 divide x?
False
Let t(d) = d**2 + 50*d + 622. Let b be t(-22). Let n = 1948 - -3038. Suppose 12*l = -b*l + n. Is l a multiple of 55?
False
Let f(k) = -k. Let s be f(9). Let a = 62 + s. Let y = a - -31. Is y a multiple of 14?
True
Let t(h) = 2*h**2 + 21*h - 564. Does 91 divide t(-102)?
False
Let i(r) = -r - 14. Let o be i(-8). Let u = o - -24. Is 19 a factor of 22 + -2 + u/(-6) + 2?
True
Let c = -1684 + 9268. Does 79 divide c?
True
Suppose 9*i + 549 = 207. Let k = 20 - i. Is k a multiple of 3?
False
Suppose -4*t = -3*f + 3872, 0*f + f - 1298 = 5*t. Suppose -2*b - 3*b + h = -f, 0 = 5*b - 2*h - 1291. Is b a multiple of 35?
False
Suppose 0 = -5*b + 15, j - 3*j - 5*b + 111 = 0. Let w = 49 - j. Does 2 divide w - (0 - (13 + -1))?
False
Suppose 0 = 182*a - 4*a - 702032. Does 3 divide a?
False
Suppose 3*m + 15 = 3*p, -5*p - 4*m - 14 = -39. Suppose -p*o + 94 - 89 = 0. Let w(d) = 72*d**2. Does 9 divide w(o)?
True
Suppose -27*t = 3*t - 394200. Is 36 a factor of t?
True
Let m(d) = d**3 + 6*d**2 - 3*d + 6. Let b be m(-7). Let p = b - -24. Does 7 divide p/6 - 41/(-3)?
True
Let h(r) = -5*r + 48. Let y be h(8). Suppose g = u + 29, -y*g + 12*g - 131 = -u. Does 4 divide g?
True
Let h = 169 - 173. Does 6 divide (h/(-3)*2)/(5/165)?
False
Let c(h) = -8*h + 46. Let a be c(6). Does 5 divide ((-160)/(-6))/(a*(-7)/63)?
True
Suppose -253817 - 59303 = -102*u + 97*u. Is 32 a factor of u?
True
Let h = 103 - 105. Let g be 6 - (-280)/(-49) - h/(-7). Suppose -2*l - 9*l + 451 = g. Is 19 a factor of l?
False
Suppose 4723*g - 45810 = 4717*g. Is g a multiple of 15?
True
Suppose -11*a - 14 = 30. Let l(m) = 15*m**2 + 15*m + 40. Is 11 a factor of l(a)?
True
Let k(i) = 5*i**2 - 4*i + 145. Is k(43) a multiple of 18?
False
Let u(z) = 3*z**2 - 12*z - 100. Let r(t) = -17*t**2 + 60*t + 501. Let g(w) = -2*r(w) - 11*u(w). Is g(-14) a multiple of 9?
True
Let i(y) = -y + 13. Let x be i(-7). Suppose -32 - x = a. Let m = a + 102. Is m a multiple of 25?
True
Suppose 0*l - 2*y = -l + 63, 0 = -4*y + 4. Suppose -11*s + l = -45. Suppose -2*k + 9*t = s*t - 242, k = 5*t + 110. Is k a multiple of 12?
True
Let x = 16949 + -11497. Suppose 7420 = 8*l - x. Is l a multiple of 27?
False
Let n(d) = -5*d**3 + 6*d**2 - 6*d - 9. Let j be n(-3). Let k = j - 156. Is k a multiple of 14?
True
Let s = 33 + -20. Suppose 14*b - s*b = 577. Let t = 809 - b. Does 16 divide t?
False
Let q = -32 + 38. Suppose q*m + 996 = 2*m. Is (4/6)/((-2)/m) a multiple of 35?
False
Suppose -18*z + 59*z - 109110 - 315773 = 0. Does 43 divide z?
True
Let q(n) = 19*n - 39. Let y be q(3). Is 6 a factor of 132/y*(50 - 5)?
True
Let l = 489 - 847. Let i = 26 - l. Does 6 divide i?
True
Suppose 0 = 14*o - 13*o + 6596. Let q be 2/11 + o/(-22). Suppose 6*n - n - q = 0. Does 9 divide n?
False
Suppose -4*z = -v - 13, 3*z - 22 = -5*v + 5. Suppose 3029 = 4*a + 5*p, -2*a + z*p + 1074 + 460 = 0. Suppose -630 = -13*y + a. Is y a multiple of 22?
False
Let p = 4095 - 2620. Suppose 4*q + 5*r = p, r - 4 = -5. Does 10 divide q?
True
Suppose -25 = 4*h - 37. Suppose -h*r + 61 = -5. Is r a multiple of 11?
True
Let m(q) = 25*q**2 - 5*q + 10. Let s be m(7). Suppose -s = 59*y - 64*y. Is 6 a factor of y?
True
Suppose -8602 = 34*i - 24242. Is i a multiple of 10?
True
Let y(n) = -142*n**3 - 3*n**2 - 2*n. Let k be y(-1). Suppose -2*x + 2*m = -138, -3*m + 84 + k = 3*x. Does 18 divide x?
True
Let d = -13693 - -26129. Is 121 a factor of d?
False
Let i = -689 - -919. Is 12 a factor of i?
False
Let q = 103 - 427. Let n = -282 - q. Is 4 a factor of n?
False
Suppose 0 = 5*x + 2*u - 95, -4*x + u + 2*u = -76. Suppose x*g - 520 = -178. Is g a multiple of 3?
True
Let t(c) = -16*c - 3. Let i be t(-4). Suppose -3*g = 370 - i. Let z = 52 - g. Is z a multiple of 31?
True
Let t be 3 + ((-6)/(-3) - -36). Let h = t + 222. Does 5 divide h?
False
Let s(h) = -17*h**3 - 16*h**2 - 11*h + 29. Does 9 divide s(-4)?
False
Let p(r) = -r**3 - r**2 - 21. Let g be p(0). Suppose 0 = -2*h + 20 - 26, -4*n - 3*h + 735 = 0. Let i = g + n. Is 29 a factor of i?
False
Suppose -19*h + 333627 = 12573 - 688815. Does 21 divide h?
True
Let j(i) = i**3 - 2*i**2 + 3. Let q be j(2). Suppose -q*v - 9 = -0*v. Is 15 a factor of (32/(-3) - 3)*v?
False
Suppose 2*h = -2*f - 194, 0*f - h = -f - 89. Let q be (-125)/(-16)*22 - 4/(-32). L