 3*o = 52006. Does 83 divide z?
False
Let q = 6934 - 3514. Is 7 a factor of q?
False
Is (-10269)/(-70) - 30/(-100) a multiple of 22?
False
Suppose -329 + 8 = -3*h + 4*x, -2*h + 203 = x. Let c = h - 55. Suppose -5*b + 64 = 2*a, -c = 2*a - 4*a + 3*b. Is 9 a factor of a?
True
Let o be ((-4)/(-6))/((-20)/(-90)). Suppose -k = 3*k - 936. Suppose o*b = 6*b - k. Is 26 a factor of b?
True
Let p(c) = 103*c**2 + 7. Let v be (20/3)/(-5)*18/12. Is p(v) a multiple of 29?
False
Let g(j) = -42*j**2 + 5*j - 15. Let w be g(2). Let b = w - -220. Is 4 a factor of b?
False
Let d(m) = 15*m + 28. Let t be d(-2). Suppose 4*i - 2*u = 228, 4*i + 2*u - 234 = u. Let x = i - t. Does 12 divide x?
True
Is 8 a factor of (-6)/(-12)*28 - -1394?
True
Suppose -3*u + 1503 = -5*o, 0 = -138*o + 134*o + 36. Is 12 a factor of u?
True
Is 144 a factor of 25146/((35/(-10) + 3)*(-4)/4)?
False
Let l = 991 + -727. Let b = 132 + l. Is 4 a factor of b?
True
Suppose -4*m + 58421 = -3*i, 4*m - 28841 = -4*i + 29587. Is 34 a factor of m?
False
Suppose -14*s = -7*s - 3087. Suppose -s = -7*a - 0*a. Let w = a - 15. Is 4 a factor of w?
True
Let j(i) = i**3 + 9*i**2 - 16. Let r(c) = -c - 1. Let d be r(1). Let t(k) = 3*k. Let f be t(d). Does 23 divide j(f)?
True
Let p(o) = 3. Let a(u) = -u + 82. Let x(r) = a(r) - p(r). Is x(18) a multiple of 61?
True
Let c(z) = -2*z**3 - 5*z**2 + 12*z + 32. Let q be c(-7). Suppose -q - 846 = -13*k. Is k a multiple of 25?
False
Let r = -36351 - -58108. Does 65 divide r?
False
Let w(k) = -k**2 - 11*k - 3. Let r be w(-8). Is 36 a factor of r*(7 + (-11)/(-7))?
True
Let z(v) = -367*v + 160. Is z(-3) a multiple of 13?
True
Let v(b) = -b**2 + 7*b - 5. Let d be v(6). Let g be d/2*-8*-1. Suppose -5*k = -h - 145, g*h - 5*h - 25 = -k. Is k a multiple of 15?
True
Suppose 0 = 3*i - 12, 5*z + i - 7 = 17. Suppose 5*t - 4*j + 109 = 4*t, -z*j + 214 = -2*t. Let r = 289 + t. Is 43 a factor of r?
False
Let d = 6 - -1. Suppose 4*z + 540 = d*z. Suppose -9*r = -7*r - z. Is r a multiple of 15?
True
Suppose -w + 216 = -149. Suppose 12*z = -3*d + 7*z + 215, 0 = -5*d - 5*z + w. Is d a multiple of 15?
True
Suppose 4*n = 4, 3*z - 58 = 3*n - 4*n. Suppose 3*j = a + z, -j - 1 + 19 = 2*a. Does 13 divide ((-4)/j)/((-1)/130)?
True
Suppose 22*j = -18*j + 305728 + 55472. Is 43 a factor of j?
True
Let m(d) = -2571*d - 907. Does 70 divide m(-3)?
False
Does 37 divide ((-68376)/99)/(10/(-75))?
True
Suppose 4 + 6 = 2*j. Let a(u) = -u**3 + 5*u**2 - u + 4. Let m be a(j). Does 13 divide (-38 + 1)/m - -2?
True
Suppose -3*j + 8 = 5*r - 0*j, -2*j = 2*r. Suppose -4*u - 4*y + 52 = 0, -r*u - 4*y = -2*u - 32. Is 2 a factor of u?
True
Suppose -5*a - 5*v - 665 = 0, 5*v - 181 = 5*a + 504. Let u = a - -215. Does 40 divide u?
True
Suppose 3*p + 76 = 5*z, -7*z + 2*z + 5*p = -70. Let f(j) = 29*j + 98. Is 22 a factor of f(z)?
False
Let o(a) = -a**2 + 6*a - 3. Let u be o(11). Suppose -336 = 13*f + f. Let d = f - u. Does 4 divide d?
False
Suppose -5*g = -3*g + 2*h + 1276, 3*g + h = -1904. Does 33 divide 2 - g/2 - 50/(-20)?
False
Suppose 5*q + 15692 = p, -2*p = -9*q + 5*q - 31408. Does 54 divide p?
False
Let r be (1 - -1) + (51 - -4). Let h be ((-3)/(-12))/(8/32). Does 7 divide (r - 14) + (-1)/h?
True
Let t(g) = -g + 50. Let p = -128 + 134. Is t(p) a multiple of 4?
True
Let c = -9 + 14. Suppose 520 = h + c*z, 0 = 2*h - 4*z + 6*z - 1056. Is h a multiple of 17?
False
Is 21 a factor of (-14 + -3 + 18)/((3/(-1))/(-1023))?
False
Let h(q) = -13 + 15 - 13 + 238*q. Does 15 divide h(2)?
True
Let i = -164 - -482. Suppose -3*p = 2*o - i, -3*o + 298 = 3*p - 17. Does 36 divide p?
True
Suppose -69*c + 66*c + 41431 = -2*j, -2*c - 5*j = -27608. Is 5 a factor of c?
False
Suppose -11957 = 680*g - 685*g + 3*w, 5*w + 2409 = g. Is 5 a factor of g?
False
Let u(p) = -13*p**3 - 8*p**2 + 12*p - 10. Let w be u(-6). Suppose -21*z = -5059 - w. Does 21 divide z?
True
Let d(b) = -30*b - 90. Let z be d(-15). Suppose 9*y + 0*y = z. Does 4 divide y?
True
Let w(u) = -26*u**2 + 4*u + 19141. Is 78 a factor of w(0)?
False
Let r(q) = -25*q + 8. Let p be r(-6). Suppose -8*o + p + 66 = 0. Is 10 a factor of o?
False
Suppose -j = 107 - 572. Suppose j = 4*h - 1535. Suppose -a - h = -6*a. Is a a multiple of 10?
True
Let o(x) = 1289*x + 247. Is 19 a factor of o(1)?
False
Let l be 371/28 + -1 + (-9)/(-12). Let t(c) = 28*c - 100. Is 24 a factor of t(l)?
True
Suppose -568 = -4*b + 2*b. Let u = -175 + b. Is u + -4 + -3 + 3 a multiple of 12?
False
Let u(k) = 37*k**2 + 4*k - 13*k**2 - 10*k**2 + 23 - 7*k**2. Is 12 a factor of u(-6)?
False
Is 51 a factor of -1989*((-299)/39 + 6)?
True
Suppose 217 + 171 = 4*m. Suppose -6*y = -472 + 448. Suppose -b + z - 5*z + m = 0, 4*b - y*z - 488 = 0. Is b a multiple of 13?
True
Let h be 2/(1 - 931/938). Suppose 0 = -4*j + w - h + 1722, 2*w + 360 = j. Is j a multiple of 9?
False
Let u = 114 - 110. Suppose 10 = 5*t - 0*t, -2*k + 1234 = u*t. Suppose -6*i = -2*i - 5*q - 759, -3*i + k = 5*q. Does 8 divide i?
False
Let d = -791 - -3122. Is d a multiple of 37?
True
Let j = -340 - -315. Is 5 + 5706/15 + 10/j a multiple of 7?
True
Let z(k) = k - 4*k - 2 + 0. Suppose -2*d - 54 = 2*d + 3*v, 4*v + 56 = -4*d. Is z(d) a multiple of 13?
False
Suppose 92 = -13*s - 10*s. Let t(p) = -168*p - 44. Does 33 divide t(s)?
False
Let z(m) = 161*m**2 - 189*m + 3889. Is 89 a factor of z(17)?
False
Is (-12*4/60)/(((-4)/70670)/1) a multiple of 37?
True
Let v = -400 - -844. Suppose -5*j - v = -3*g - 0*j, 0 = 4*g + j - 569. Is g - -5 - (-2 + 6) a multiple of 33?
False
Suppose 0 = 4*a + 16, -849 + 3068 = j + 4*a. Does 12 divide j?
False
Let u be 6239/(-5) + 224/280. Is u/(-8) - (120/64)/(-15) a multiple of 12?
True
Let g(h) be the first derivative of 11*h**4/6 + 2*h**3/3 + 2*h**2 - 11*h + 4. Let f(y) be the first derivative of g(y). Is 7 a factor of f(-2)?
True
Let h be (-561)/(-77) - (-4)/(-14). Let l(g) = 12*g**2 + 18*g + 1. Does 21 divide l(h)?
False
Suppose -15*i = 31*i - 282048 - 70266. Is i a multiple of 37?
True
Let a(h) = 4*h + 0*h**2 - 2*h**2 - 3*h**2 + 2*h**2 + h**3 - 2 + 11*h**2. Suppose 3*i + 3*r + 21 = 0, 4*i = 3*r - 21 - 7. Does 3 divide a(i)?
False
Let l = 96 + -91. Let h be (l/(-40) - 19/(-24))*1161. Suppose 3*a - 44 = -4*v + h, -4*a = 2*v - 404. Is 19 a factor of v?
False
Let t(m) = -70*m**3 - m**2 - m. Suppose -20*d = -8*d + 12. Is t(d) a multiple of 5?
True
Is 20 a factor of (-6 + 1921 + 5)*(-20)/(-6)?
True
Suppose 4*k + 412 = -4*q, -4*q - 308 = 5*k + 211. Let w = k + 191. Does 6 divide w?
True
Suppose 0 = 120*p + 32*p - 2443400. Is p a multiple of 68?
False
Does 190 divide -2546*(30/(-45) + 1)/((-4)/114)?
False
Let f(v) = 4*v**3 + 3*v**2 - 78*v + 6. Is f(10) a multiple of 86?
True
Let u(v) = 879*v + 292. Is u(9) a multiple of 13?
True
Let y(p) = 2*p**2. Let v be y(-1). Suppose -z = -v*a + 5*a - 91, -2*z = 4*a - 172. Is 4 a factor of z?
True
Is 81 a factor of 7/((-24628)/(-6156) - 4)?
True
Let w(s) = -17*s + 68. Let c be w(-11). Let f = 495 - c. Suppose -3*a - f = -11*a. Is a a multiple of 5?
True
Let f be -1 + 5 + -2 - -422. Suppose 4*z - z + 2*q = f, 0 = 5*z - 2*q - 696. Suppose z*d - 143*d = -486. Is 19 a factor of d?
False
Let q(h) = h**2 - h - 11. Let z be (-9)/(-2)*4*(-3)/9. Let o be q(z). Let g = o - -1. Is g a multiple of 3?
False
Suppose -3*i + 2086 = -1883. Is 27 a factor of i?
True
Suppose z - 19*q + 18*q - 1992 = 0, -z = -3*q - 1996. Is 5 a factor of z?
True
Suppose -363 = -4*i - 71. Let n = 245 - i. Does 15 divide n?
False
Suppose 88*j - 13659240 = -183*j - 121*j. Is j a multiple of 60?
False
Let u(h) = -105*h - 50. Let g be u(7). Let x be ((-42)/14)/((-1)/(-181)). Let w = x - g. Does 11 divide w?
True
Suppose -311 = 2*h - 0*s - 3*s, 2*h + 310 = 4*s. Let l = 232 + -310. Let i = l - h. Is 13 a factor of i?
False
Let l = 63952 + -31450. Is 148 a factor of l?
False
Suppose 5*j = -0*o - 2*o + 14, 3*o - 12 = -3*j. Suppose 0*v - 2*y = 4*v + 106, 0 = 3*v - j*y + 62. Does 20 divide 2856/20 + (-1 - v/20)?
False
Suppose 63*k = -105*k + 225174 + 815754. Does 66 divide k?
False
Suppose v + 16 = -4*r, 0 = -v - v + 4*r + 28. Let w be v/(-6) + (-1)/(6/644). Is (-3 - 2)*w/10 a multiple of 6?
True
Suppose 5*x = 5*y + 17980, 2*x - 4*y = 1613 + 5583. Does 7 divide x?
False
Let p(f) = 12*f - 21. Suppose -4*r - 4*h - 4 + 32 = 0, 34 = 5*r + 4*h. Is p(r) a multiple