 j/6?
True
Suppose 0 = 3*g - 2*u - 100, -2*g + 0*u + 2*u + 64 = 0. Let s = -34 + g. Suppose -s*q + 295 = 25. Is q a multiple of 25?
False
Let w = 16305 + 4397. Does 27 divide w?
False
Let g be (-32)/40*-5 + 0. Suppose 0 = -g*v - 4*l + 484, -32*v - 122 = -33*v - 2*l. Is v a multiple of 6?
True
Suppose 0 = 5*h + 3 - 18. Is ((-2)/h)/((-1034)/(-345) - 3) a multiple of 31?
False
Suppose 32 - 26 = 3*o. Suppose -o*b + 1 = -7. Suppose -20 = -5*z, -s - 147 = -b*s - 3*z. Is s a multiple of 15?
True
Let q(a) = 7*a**2 - 3*a + 24. Let z be q(5). Suppose 185*x - 21 = z*x. Is x a multiple of 2?
False
Let f(a) = a**2 - 15*a. Let g = 57 + -41. Let z be f(g). Let b = 64 - z. Is 16 a factor of b?
True
Suppose -6*b + 3*z = -9*b + 3048, 5*b - 5*z = 5000. Does 24 divide b?
True
Suppose -3*f + 8372 - 672 = -f. Is 35 a factor of f?
True
Suppose 9*w - 6 = 7*w. Let t(c) = -c**w - 37*c + 4*c + 18*c + 20*c**2 - 1. Is t(19) a multiple of 18?
False
Suppose -4*g - 59669 = -4*y + 20275, -3*y + 59970 = -g. Is y a multiple of 68?
True
Is 5105 + (-8 - (-3 - 0)) a multiple of 34?
True
Let r be (-16)/(-24)*(-6)/2. Suppose 2*k = -4*h - 26, -6*h = 4*k - 8*h + 12. Does 10 divide 6/r + (k - -74)?
False
Let z = 96 - 91. Suppose 547 + 158 = z*y. Suppose -444 - y = -13*r. Is r a multiple of 8?
False
Let u(g) = g**3 + 49*g**2 + 48*g - 630. Is u(-36) a multiple of 69?
True
Let a(r) = -r**2 + 31*r - 4. Let b(x) = 9*x**3 - 2*x + 1. Let g(q) = 4*q - 43. Let v be g(11). Let l be b(v). Is 9 a factor of a(l)?
True
Let q = -4030 - -6046. Is q a multiple of 144?
True
Suppose -1280 = -27*l + 113956. Does 97 divide l?
True
Let u = 109 + 12. Let a(y) = y - 2. Let g be a(6). Suppose t + g*w - u = 0, -6*w + 7*w + 126 = t. Is t a multiple of 13?
False
Suppose 0 = -2*p + 5 + 5. Let x be 2/(-4)*p*8/(-4). Suppose -2*n = -5*n + o + 315, -x*n = -o - 523. Is 26 a factor of n?
True
Let z(i) = 719*i - 1230. Is z(8) a multiple of 17?
True
Is 190 a factor of (((-54)/(-12) - 6)*-3)/(6/2488)?
False
Does 4 divide 12*(1101 - -2)*-18*12/(-324)?
True
Suppose -37*m + 35*m - 6 = 0. Let n be -40*(-1 - (-3 - m)). Let p = 52 - n. Is p a multiple of 2?
True
Suppose -3*f + 150 = 5*o - 5*f, -3*o + 90 = -f. Let m be -1 + 1*-7*3. Let v = m + o. Is v a multiple of 3?
False
Is 9 a factor of 10865 - (0 + 3 - 14)?
False
Let p be ((-23)/23)/((-1)/114). Let l = -10 + p. Suppose 0*q - 4*h - 36 = -q, -4*h = 4*q - l. Is 7 a factor of q?
True
Is 10 + -7 - 458*(-2 + -4) a multiple of 11?
False
Let g(x) = x**2 - 24*x + 10. Suppose 4*v = -3*m + m - 72, 2*v - 3*m + 44 = 0. Does 61 divide g(v)?
False
Let q = 5951 + 23873. Does 9 divide q?
False
Is 16 a factor of (76/(-19) - -1146) + 2/(1 + 1)?
False
Let b(g) = g**3 - 9*g**2 - 10*g + 3. Let w be b(10). Suppose 1885 = w*n + 4*c, -c + 1 = -0. Is 58 a factor of n?
False
Let t(o) = -16 + 7*o**2 - 10 + 21*o**2 - 16*o - 15. Does 13 divide t(-5)?
False
Suppose 0 = 5*o + 3*q - 145, -q + 3*q + 116 = 4*o. Suppose j - o = 3*m, 5*j + m - 4*m - 109 = 0. Let s = 89 - j. Is s a multiple of 23?
True
Suppose 4*l + 12752 = 4*o, 7*l + 3917 - 711 = o. Does 13 divide o?
True
Let w(z) = z**3 - 6*z**2 + 5*z. Let h be w(4). Is 3 a factor of 289 - (2 - -1)/(-9 - h)?
True
Let b(f) = f + 1. Let g(d) = 35*d**2 + 8*d - 4. Let u(v) = -2*b(v) + g(v). Is u(3) a multiple of 19?
False
Let q(s) = 4*s**2 + 13*s - 10. Let d be q(-12). Suppose -115*n = -116*n + d. Is 28 a factor of n?
False
Suppose -32*n + 139768 = -11016. Is n a multiple of 19?
True
Let r = 336 + -341. Does 36 divide 1910/r*(-9)/6?
False
Suppose -14333 = 3*h - 6*h - l, -3*l = -4*h + 19102. Is 17 a factor of h?
True
Is (-304)/(-2)*(26855/164 - 26) a multiple of 38?
True
Let v = 119 - 62. Suppose v*y - 684 = 55*y. Does 38 divide y?
True
Let z(v) = -223*v**3 - 5*v**2 + 7*v + 2. Let l be z(3). Let r = -3719 - l. Suppose 336 = 19*q - r. Is q a multiple of 24?
False
Let r(l) be the first derivative of -2*l**3/3 + 17*l**2 + 7*l + 16. Let w be r(17). Is 4 a factor of 4 + 16*w/2?
True
Let a = 16124 - -1622. Does 4 divide a?
False
Suppose 4*i - 17503 = r, 4381 = i - 51*r + 49*r. Does 35 divide i?
True
Let j = 947 + -1328. Is (-3)/4*(-23 + j) a multiple of 26?
False
Let r = -4167 + 14859. Is 132 a factor of r?
True
Suppose -89255 = -26*v - 26907. Is 11 a factor of v?
True
Let p(u) = -9*u**3 - u**2 + 11. Let y be (-4)/6*5*12/8. Does 10 divide p(y)?
False
Let j(q) = -26 + 10*q - 46 + 13 + 9 - 54. Is j(17) a multiple of 7?
False
Let a(x) = 2*x**2 - 16*x - 41. Let t be a(10). Is t/3*-79 - 54/(-81) a multiple of 2?
False
Suppose 3*y = 7*y + 184. Suppose 6*z - 244 = 182. Let h = y + z. Is 25 a factor of h?
True
Suppose 244312 = -23*y + 535089 + 233623. Does 20 divide y?
True
Let f(u) = -45*u + 171. Let q be f(-12). Let v = q + -80. Is 14 a factor of v?
False
Suppose 0 = 2*a - 5*a - 2*f - 554, 4*f - 938 = 5*a. Let i = -177 - a. Is 4 a factor of i?
False
Let p be (-510752)/(-440) - (4/5 - 1). Let f = p + -774. Does 30 divide f?
False
Let b(i) = 6*i**3 + 2*i**2 - 1. Let z(v) = -7*v**3 - 2*v**2 + 2. Let x(j) = -5*b(j) - 4*z(j). Let s(w) = w - 23. Let n be s(20). Does 11 divide x(n)?
True
Let s(m) = 95*m + 139. Let h(v) = -48*v - 70. Let b(k) = 5*h(k) + 2*s(k). Is 34 a factor of b(-8)?
False
Suppose 292*g - 2562527 = -27*g. Is 22 a factor of g?
False
Let s(i) = -25*i + 252. Let g be s(5). Suppose -h + 2 = h. Is g + (h + -4 - -4) a multiple of 16?
True
Let o(w) = w**3 + 9*w**2 + 4*w + 12. Let i be o(-8). Suppose 5*v = 4*v + i. Does 2 divide v/(-33)*((-38)/4 + 2)?
True
Let r be (-1)/(32/28 - 1). Let g(z) = -3*z - 23. Let k be g(r). Is (-1771)/(-22) + 1/k a multiple of 20?
True
Suppose l = -2*l - 2*v - 2827, 3*l + 5*v = -2842. Let a = 1929 + l. Does 18 divide a?
True
Suppose -5*u - 4*x = -284472, -5*u - x = -309311 + 24833. Does 305 divide u?
False
Let k(y) be the third derivative of y**5/20 - y**4/6 + 11*y**3/2 - 2*y**2 + 12. Is 5 a factor of k(4)?
True
Suppose 11*w + 49027 = 4*x, -5*x - w = -9*x + 49097. Is 68 a factor of x?
False
Let t(y) = 2*y**3 - 9*y**2 + 5*y + 6. Let x(l) = 2*l - 45. Let i be x(25). Let d be t(i). Suppose 54*s + 240 = d*s. Does 48 divide s?
False
Let f = 1637 + 83. Is f a multiple of 4?
True
Let f = 4869 - 2325. Does 24 divide f?
True
Let z = -29 + 40. Suppose -y - 4*q - 6 = -39, -2*y = 2*q - 72. Suppose y + z = x. Does 16 divide x?
True
Let n = 5153 + -555. Is 38 a factor of n?
True
Suppose -5*a - 2230 = -7740. Suppose -p + s - 2*s = -272, -4*p = -3*s - a. Is 12 a factor of p?
False
Suppose -25*m - 20638 = 22737. Let i = -1147 - m. Does 12 divide i?
True
Let r = 1431 - 906. Is 30 a factor of r?
False
Suppose -2821 = -5*c + 479. Suppose 9*v - 138 - 78 = 0. Suppose c = 28*m - v*m. Does 15 divide m?
True
Let u = -358 - -362. Does 72 divide 1454 + u + (-5)/(15/24)?
False
Suppose 12*f - 9*f - 6 = 0. Suppose 0 = 5*b + 2*w - 7*w - 10, 0 = -f*b - 5*w + 18. Suppose -5*m = 10, -5*a + 0*m - b*m + 177 = 0. Does 9 divide a?
False
Let l = 12264 + -9216. Is 24 a factor of l?
True
Let v be (-1)/(-5) + 261/45. Let y(f) = -f**3 + 5*f**2 - 9*f + 5. Let d be y(v). Let z = d - -189. Is z a multiple of 13?
True
Let h be 2916 + (-9)/(3/(-1)). Does 4 divide h/35 - (-8)/(-20)?
False
Let n be ((-28)/35)/(5/(-1325)). Suppose -3*o + n = -1945. Does 14 divide o?
False
Let u(k) = 2*k**3 - 51*k**2 + 22*k + 70. Let a be u(25). Let z(h) = 5*h**2 - 6*h - 20. Is 11 a factor of z(a)?
False
Let g(h) = -2*h**2 - 54*h - 23. Let j be g(-27). Does 9 divide -106*5/(-10)*(4 - j)?
True
Let d(c) be the third derivative of -c**4/12 + 5*c**3 + 2*c**2. Let z be d(10). Suppose 2*t + z = 0, 3*u - 3*t - 45 = 45. Is 2 a factor of u?
False
Suppose 890*j = 886*j + c + 21374, -4*j = -3*c - 21370. Is j a multiple of 16?
True
Let j be (-145)/116*8/(-15)*3. Does 18 divide (-3024)/10*(112/(-21) + j)?
True
Let z(i) = 12 + 117*i - 122*i + 22. Is z(-5) a multiple of 3?
False
Let x(n) = -90*n + 49. Let c be x(-8). Suppose -2*o = 5*g - c, -27*o + 28*o - 152 = -g. Does 36 divide g?
False
Let u(n) = -n**3 + 50*n**2 - 20*n - 5. Is 37 a factor of u(14)?
True
Let n(v) = -367*v - 8. Let g be n(1). Let d = -215 - g. Is 5 a factor of d?
True
Suppose -23*s + 30 = -18*s. Let q = s - -54. Is q a multiple of 15?
True
Suppose -362*y = -y - 2001384. Is y a multiple of 33?
True
Let u(h) = 25*h**2 + 8*h + 7. Let g(m) = m**3 - 2*m**2 - 2