15 - 18 = 0. Does 5 divide l?
True
Let h be 6/(-4) - (-7)/(28/(-142)). Let x(q) = q**3 - 5*q**2 + 5*q + 5. Let p be x(6). Let o = p + h. Does 17 divide o?
True
Suppose 0*l - 4*v + 4 = -l, l = 3*v - 3. Suppose l = -4*m + 19*m - 3240. Is 18 a factor of m?
True
Let c be (-2 - -6)*(12 - 10). Suppose 4*k + 180 = c*k. Is k a multiple of 4?
False
Suppose 0 = -7*x + 4*x + 18. Suppose 5*i - 4 = 4*q + 15, 3*q + x = i. Suppose -i*g = -5*u + 31, -5 = -4*u + 3*g + 18. Does 6 divide u?
False
Suppose 0 = -4*m + m. Suppose y + 2*y - 27 = m. Is (-10)/(-4)*(31 - y) a multiple of 25?
False
Suppose 0 = -0*k - 4*k. Suppose b - 2 - 3 = k. Suppose -b*x - 1 = -51. Does 2 divide x?
True
Let k = 21 + -15. Suppose u - 5*c = k*u - 70, 4*c = -2*u + 24. Let s = -9 + u. Does 3 divide s?
False
Let w be ((-1)/(-3))/((-1)/(-6)) + 2. Suppose -w*l + l = -309. Is l a multiple of 19?
False
Let r = 5 + -1. Let p = -51 - -53. Suppose r*k = 3*g - 151, 0*k = p*g + k - 86. Is g a multiple of 12?
False
Let s(i) = i**2 + 14*i - 51. Is s(39) a multiple of 24?
True
Suppose -1831 = -8*j + 13001. Does 23 divide j?
False
Suppose -3*d = -2*k + 95, 0 = 2*k + 3*k - 20. Let u = d - -28. Is 10 a factor of 2/u + 4 + 48?
True
Let j(l) = -10 + 9*l**2 - 2*l - 15*l**2 + 4*l**2 + 5*l**2. Is 12 a factor of j(6)?
False
Let y be 8/(-12) - 2/(-3). Suppose y = 3*r - 0*r - 4116. Does 25 divide r/21 - (-2)/3?
False
Suppose -m + 8 = -3*c - 36, -97 = -3*m + 2*c. Let s = 34 - m. Suppose -s*f = -189 - 61. Is 10 a factor of f?
True
Suppose -28*d - 9*d + 22792 = 0. Is 8 a factor of d?
True
Suppose -2*l - u + 13 = 0, 4*l + u = 7 + 20. Let z(y) = -y**3 + 7*y**2 + y - 8. Let i be z(l). Is i*4 + 1 - -73 a multiple of 27?
False
Let h(t) = -t**3 - 14*t**2 - 14*t + 5. Let b be (-279)/21 - (115/(-35) - -3). Is 9 a factor of h(b)?
True
Suppose -4*z + 4 = -12, 5*z = 2*d - 136. Is 6 a factor of d?
True
Suppose 39 = -k + 235. Is k a multiple of 28?
True
Suppose 26*n - 924 = 20*n. Is 7 a factor of n?
True
Let x(o) = o - 1. Let d(y) = y**2 - 27*y - 50. Let z(t) = -d(t) - 2*x(t). Is z(21) a multiple of 28?
False
Let w(h) = -h**3 - 17*h**2 - 25*h - 29. Is w(-16) a multiple of 23?
True
Let q be 1 - 9/12 - 5/20. Suppose 2*r - 2*j - 358 = -q*j, 2*r - 354 = 3*j. Is r a multiple of 22?
False
Let z(h) = -4*h**2 + 95*h - 21. Is z(22) even?
False
Let j = 690 + -501. Is j a multiple of 18?
False
Let h(s) = -12*s - 8. Suppose 4*v - 59 = 29. Suppose 2*c - 8 + v = 0. Is h(c) a multiple of 19?
True
Is 17 a factor of -6*1 - (-282 - (-8 + 6))?
False
Let j be 8/3*27/2. Suppose -2*n + 244 = -j. Suppose -n = m - 6*m. Does 28 divide m?
True
Suppose -z + 82 = -2*z. Let j = 124 + z. Does 20 divide j?
False
Let b = -96 + 116. Is 10 a factor of b?
True
Is 75 a factor of (-1 - (0 + 0))*(-800 + 125)?
True
Suppose -3*i - 3852 = -5*p - 5*i, i = -p + 771. Is p a multiple of 11?
True
Let k(j) = -6*j + 7. Let x(t) = t**2 - 3*t - 2. Let f be x(2). Is k(f) a multiple of 6?
False
Is 5 a factor of (1 - 5)*(-34905)/130?
False
Let y(r) = -10*r**2 - r + 5*r**2 + 26 + 4*r**2 + r**3. Let j be y(0). Let b = -18 + j. Is b a multiple of 4?
True
Suppose -34*q - 288 = -38*q. Let v be (44/6)/(2/12). Let y = q - v. Is y a multiple of 14?
True
Is 16 a factor of -388*((-133)/190 - 2/(-10))?
False
Suppose 0 = -6*w + w - 5. Is 8 a factor of w*(2 + 13)*(-19)/3?
False
Suppose -439*j - 216 = -427*j. Let b = -61 + 90. Let a = b + j. Is 4 a factor of a?
False
Let b(w) be the third derivative of 3*w**6/40 + w**5/60 + w**4/24 - 5*w**3/6 - 21*w**2. Does 11 divide b(2)?
False
Suppose -2232 = -d - 5*m, -5*d - 5*m - 5430 = -16590. Is d a multiple of 93?
True
Let m = 56 + 653. Is 49 a factor of m?
False
Let f(i) = -4*i - 14. Let y be f(-5). Suppose 2*c - y*c + 32 = 0. Does 5 divide c?
False
Is -4 + 1*(0 - (2 - 243)) a multiple of 16?
False
Suppose 5094 - 1341 = 4*o + b, -b + 942 = o. Is o a multiple of 33?
False
Suppose -2743 = -8*l - 935. Is l a multiple of 22?
False
Suppose 0*h - h + 25 = 2*v, v = 4*h - 118. Suppose -h*y = -28*y - 15. Is y a multiple of 14?
False
Is ((-69)/(-5))/((-30)/(-150)) a multiple of 13?
False
Let n(y) = 4*y**2 - 3*y - 7. Does 30 divide n(-7)?
True
Suppose 1920 = 3*q - 0*q - 4*i, 4*q = 3*i + 2560. Is 4 a factor of q?
True
Suppose -8*u + u = 0. Suppose -h + u*h + 2 = -2*m, 3*h - 5*m = 8. Is h a multiple of 3?
True
Does 5 divide (2*1)/(((-8)/(-15))/8)?
True
Let c = 13 - -8. Let t be (-8)/(-6) - (-14)/c. Suppose 5*d - t = 93. Does 19 divide d?
True
Suppose i - 2*i - 3*g + 211 = 0, 4*i - 802 = 2*g. Does 16 divide i?
False
Let z = -1940 + 3290. Is 27 a factor of z?
True
Suppose -3*u + 1589 = 2*x, 0 = -5*u + 15 - 0. Does 79 divide x?
True
Let j be 2/(-6) + (-3)/(-9). Suppose 0 = -5*q - 2*f + 182, j*f = f - 1. Let i = q - 21. Does 5 divide i?
True
Suppose 0 = -8*a + 2*a + 36. Suppose -357 - a = -3*g. Is g a multiple of 41?
False
Suppose 2*z = 33 - 27. Suppose -z*t - 47 = -4*f - 227, 0 = -5*t - f + 323. Is t a multiple of 16?
True
Suppose 4*v + 3*n - 6979 = 2*n, 0 = 3*v + n - 5235. Is v a multiple of 16?
True
Suppose 43 = m - 4*w, -2*w + w = 3*m - 90. Suppose -3*g - 23 = -z, z + 0*g = 5*g + m. Suppose u - 10 = z. Does 21 divide u?
True
Let h(t) = -t**2 - 7*t - 6. Let g be h(-4). Let f be 18/4 - (-3)/g. Suppose -4*o + 0*v = f*v - 93, -2*o + 2*v + 60 = 0. Does 13 divide o?
False
Let l be ((-2)/3)/(86/30 - 3). Suppose 4*r - 5*f - 293 = 0, l*f + 0*f = -5. Is r a multiple of 12?
True
Let n(g) = g**2 - 13*g + 6. Let f be n(13). Suppose -f - 3 = 3*h. Let s = 26 + h. Does 16 divide s?
False
Let l(p) = -6*p - 42. Let t be l(-7). Let f be 1 - 6/((-9)/(-3)). Is (f + t)/(6/(-210)) a multiple of 10?
False
Let m(s) = 20*s - 5. Let x be m(11). Suppose -u = -6*u + x. Suppose 0 = -0*r + r - u. Does 21 divide r?
False
Suppose -v = -6*v + 10. Suppose -4*b = -v*b + 42. Does 7 divide (-2)/(-1 + (-15)/b)?
True
Let b = 113 + 439. Is b a multiple of 3?
True
Suppose -5*v = -v - 32. Is 21 a factor of v/36 - (-2224)/36?
False
Let v(x) = -3*x**2 + 16*x - 10. Let w(z) = -2*z**2 + 15*z - 11. Let k(l) = 3*v(l) - 4*w(l). Let y be k(-12). Suppose 5*a = 151 + y. Is 11 a factor of a?
True
Suppose 561*t = 527*t + 3400. Does 2 divide t?
True
Let i = -12 + 17. Let g be 284/(-20) - (-1)/i. Let k = -2 - g. Is k a multiple of 6?
True
Let n = 5 + -11. Let o(k) = -3*k**3 + 2*k**2 - 6*k - 4. Let m(d) = -4*d**3 + d**2 - 7*d - 4. Let t(i) = -4*m(i) + 5*o(i). Is t(n) a multiple of 4?
True
Is (-9)/(-9 + 4096/456) a multiple of 19?
True
Let p = 21 - 18. Let z = -43 + 48. Suppose p*w - 342 = -2*u, 2*w = z*u - 2*u + 215. Is 28 a factor of w?
True
Let c(b) = -60*b + 1063. Does 2 divide c(17)?
False
Let l = 17 - 14. Let w(o) = -1 - o**l - 8*o**2 + 6*o - 5 + 0*o**3. Is w(-9) a multiple of 7?
True
Suppose -6*c + h + 20 = -11*c, 3*h + 3 = 4*c. Let v(o) = -6*o + 0*o + o. Is 15 a factor of v(c)?
True
Let r = 42 + 177. Is 14 a factor of r?
False
Let z = 43 + -37. Does 11 divide 94 - 2 - z/(-3)?
False
Suppose -19301 = -33*x + 11884. Is x a multiple of 21?
True
Suppose 0 = -2*m + 8, 38 = t + 2*m - 610. Is 16 a factor of t?
True
Let r(s) = -s**3 - 14*s**2 - 51*s + 74. Let b(f) = -3*f**2 - 10*f + 15. Let d(p) = 11*b(p) - 2*r(p). Is d(5) a multiple of 23?
False
Let c = 385 - -1813. Does 14 divide c?
True
Suppose -18 = -n - 2*y, 2*n + 4*y = n + 28. Suppose 2*d + 17 = d + 4*s, d + s - n = 0. Is d a multiple of 2?
False
Suppose 0 = -8*w - 5*w + 403. Is 7 a factor of w?
False
Suppose 29*u + 36 = 32*u. Suppose -4*i = -8, -4*k + 4*i + u = -3*k. Is k a multiple of 5?
True
Let h = -620 - -1295. Is h a multiple of 15?
True
Suppose 2*c + 5*g + 8808 = -0*c, 17616 = -4*c + 3*g. Is 21 a factor of 1*6/(-10) + c/(-15)?
False
Suppose -119*d = -113*d - 6930. Is d a multiple of 11?
True
Suppose 7*p = -11 + 25. Suppose -p*a = -3*t + 47 + 47, 0 = -3*t - a + 88. Is 6 a factor of t?
True
Does 98 divide 23524/30 - 56/420?
True
Suppose -5*r - 5 = -0*r. Let b be (4 - 6)/(r/2). Is -3 + 3 - (-280)/b a multiple of 35?
True
Let j(q) = -q**3 + 13*q**2 - 12*q + 2. Let d be j(12). Suppose -d*f - 5*f = -910. Does 20 divide f?
False
Let a(z) = z**2 + 5*z + 32. Suppose -3*t - 54 = -3*g, -2*g = -2*t - 3*t - 78. Is a(t) a multiple of 28?
False
Suppose 0*l + 2 = l. Suppose -l*t + 0*t = -4. Let y(j) = 12*j - 3. Is 10 a factor of y(t)?
False
Suppose -2*f + 4*j + 4 = 0, -3