e z(0). Let m = 214 - y. Is m a multiple of 19?
False
Let b(d) = -d**2 - 16*d - 18. Let m be b(-12). Suppose -5*v = -0*v - m. Does 6 divide v?
True
Let v(p) = -9586*p + 1124. Is 30 a factor of v(-1)?
True
Let v be 1/((-174)/(-216) + 3/(-4)). Suppose -5*g = 3*t - 23, -t = -3*g - 7 + v. Suppose 0 = g*f, -a + 5*f - 57 = -142. Does 15 divide a?
False
Let h = -30 + -480. Let r = h + 1360. Is r a multiple of 17?
True
Suppose 5*k - 5*z - 117 - 123 = 0, z = 3*k - 152. Suppose 5*x + k = -38. Let p(g) = -g**3 - 19*g**2 - 21*g - 8. Does 23 divide p(x)?
True
Is 16 a factor of (2 - (0 + -2))/((-183)/(-100284))?
True
Let n = 44250 - 16357. Is n a multiple of 110?
False
Suppose 0 = -14821*x + 14825*x - 7312. Is 10 a factor of x?
False
Let m = -48 + 53. Let v(w) = 2*w**2 + 10*w + 13. Let q be v(-9). Let a = q + m. Is a a multiple of 6?
True
Let s(c) = c**3 - 100*c**2 + 96*c - 1080. Is s(100) a multiple of 24?
True
Does 21 divide 9647 - (-19 + 90/15)?
True
Let x be 514 + (-1)/((-4)/12). Suppose 0 = 6*n - 311 - x. Does 23 divide n?
True
Suppose 0 = 6*q - 489 - 231. Suppose 17*r - q = 13*r. Is r a multiple of 6?
True
Let h(l) = 27*l**2 - 25*l + 21. Let g be h(10). Suppose -7046 = -3*o - g. Is 25 a factor of o?
True
Let z = 84 - 3. Let w be 0/(-5) + z - 4. Suppose -6*s + 13*s = w. Is 5 a factor of s?
False
Let g(j) = 170*j**2 + 55*j - 53. Is g(-6) a multiple of 135?
False
Suppose 0*p + 5*p - 25 = 0. Let z be (p/(-2))/((2 - -5)/462). Let n = z - -277. Is 28 a factor of n?
True
Let a(b) = 76*b**3 - 2*b**2 + 27*b - 54. Does 13 divide a(2)?
False
Let v(h) = h**2 + 5*h + 6. Let t be v(-4). Suppose 5*l + 3 = -t*d + 15, -16 = -4*l. Is 3 a factor of -2*d/8*25?
False
Let j(l) = -2215*l - 3395. Does 33 divide j(-14)?
False
Let u be 416/78*(1 + 1 - -1). Is u/10 + -1 - (-16740)/100 a multiple of 6?
True
Suppose 6*s - 11*s = -20. Let m be s*1/4 + 3. Suppose -423 - 9 = -m*y. Is y a multiple of 16?
False
Let r = -10308 + 70712. Is r a multiple of 143?
False
Suppose -3*a = 5*l - 106720, 4*l - 3*a = 4*l. Does 58 divide l?
True
Suppose 3*v = -12, -4*v + 1 = 4*u + 17. Suppose -4*d = 4*r - 8, u*d - 20 = -4*d + 2*r. Suppose d*o - o = 126. Does 6 divide o?
True
Let k(o) = -o**3 - 28*o**2 - 30*o - 422. Does 19 divide k(-28)?
True
Let k = -16387 + 25927. Is 32 a factor of k?
False
Let x = 297 - 304. Let h(m) = -3*m**3 - 11*m**2 - 24*m. Is 14 a factor of h(x)?
True
Let n be ((-37)/(-2))/(13/6 + -2). Let d = -99 + n. Suppose -20 = -2*z + d. Does 8 divide z?
True
Suppose -6*c + 8*c = 4. Let j be (-3)/((-45)/(-297) - c/(-11)). Let n = 1 - j. Is n a multiple of 6?
False
Suppose -4*t - 68 = -4*f - 8*t, 5*t = 20. Let r(w) = -2*w**2 + 23*w + 31. Let i be r(f). Is 27 a factor of ((-1098)/i - 4/16) + -2?
True
Is (10 - 14225/2)*(0 + 4/(-5)) a multiple of 143?
False
Suppose -15 = t - 4*t. Suppose -t*h = 7 - 697. Is h a multiple of 19?
False
Let b(g) = 527*g**2 + 423*g + 22. Does 23 divide b(-4)?
True
Let s = 173 + -150. Let d(t) = -t**3 + 24*t**2 + 27*t - 114. Is d(s) a multiple of 28?
True
Suppose 0 = -3*i - 3, -2*i = -4*x - 6*i + 44. Suppose x = -4*u + 7*u. Is ((-1)/(-2))/(u*(-4)/(-2016)) a multiple of 7?
True
Let j be (5 + -4)/(1/2). Suppose a + j*s = 292 + 116, 5*s = -5. Is 14 a factor of a?
False
Suppose -4*j - 5*u = -0*u - 52, 5*u = 5*j - 20. Suppose 84 = j*q - 12*q. Does 11 divide ((-20)/(-3))/(q/(-126))?
False
Suppose q - 4*z = -1062, 0 = q - 2*z + 380 + 688. Let d = q - -1958. Does 68 divide d?
True
Suppose -5*i + 77720 = m + 4*m, 5*m = 5*i + 77760. Does 92 divide m?
True
Is (-2)/(-10) + 589/(-930)*-19356 a multiple of 23?
True
Let u be (-28)/(-2)*(1 + 11 + -11). Suppose -u*s - j = -13*s - 55, -5*s + 3*j = -259. Does 11 divide s?
False
Let z(v) = -81*v - 1570. Is 17 a factor of z(-24)?
True
Let v(t) = -3 + 6 - 7*t**2 - 8*t**2 - 9*t**2 - 4*t. Let q be v(3). Let i = 353 + q. Is i a multiple of 32?
True
Suppose 4*i - 121 = q + 1214, -5*q + 360 = i. Is (-2 - -6) + (i - (-5 - 1)) a multiple of 15?
True
Suppose 2 = -c, -3*a - 5*c - 1 = -6*a. Is 15 a factor of (-20)/((6/a)/12)?
True
Let z = 290 + 3661. Does 9 divide z?
True
Suppose 16*z - 209657 + 55977 = 0. Is z a multiple of 113?
True
Let g be (-4 - (5 + -9))*(-6)/(-12). Suppose -45*b + 14*b + 2821 = g. Does 35 divide b?
False
Let r be -5 - (-10)/(-4)*-26. Suppose -r = -3*d - 0*d. Is d a multiple of 20?
True
Let w(j) = j**3 + 13*j**2 + 27*j - 17. Let o = -421 - -411. Does 13 divide w(o)?
True
Let p(y) = y**2 - 2*y - 33. Suppose -10*w - 7*w + 136 = 0. Let t be p(w). Is 2/(-12) + t/(-18) - -78 a multiple of 9?
False
Suppose 4*t + 384 = 2*b + 6*t, 2*t = -5*b + 966. Is b/8 + (-3)/12 a multiple of 3?
True
Let p(x) = -68*x + 4559. Is 12 a factor of p(28)?
False
Suppose 30*z = 24*z + 6312. Let d = z + -675. Does 13 divide d?
True
Let v be (-7)/(-4 + (0 - -3)). Let d(j) = 3*j**2 - 15*j - 14. Is 7 a factor of d(v)?
True
Is -5 + 8556 - 5*4/5 a multiple of 33?
True
Suppose -4*u - 16*a = -20*a - 4, u + 4*a = -24. Is 15 a factor of -76*30*u/32?
True
Let d = 1701 - -4635. Is 44 a factor of d?
True
Let x = -10268 + 10260. Let p(h) = 3*h + h**2 + 20 + h**2 + 5*h. Does 6 divide p(x)?
True
Suppose -12 = -5*b + 2*b. Suppose -294 = -p - 2*c, 0 = 4*p - b*c + 2*c - 1216. Does 26 divide p?
False
Suppose -265 + 265 = 2*p, 0 = -y + 4*p + 1730. Does 5 divide y?
True
Let q = 19 - 17. Suppose -3*d = -q*o + 1, 5*d + 0*o + o = 20. Suppose -d*u = -348 - 147. Does 18 divide u?
False
Let p = 1 + -4. Suppose -2*k + 3*o = 33, o = 3*k + 5*o + 24. Is 4/p + -4 + (-1564)/k a multiple of 19?
False
Let b = -4552 + 5434. Does 18 divide b?
True
Let g be ((-101881)/(-39) + 7)/((-2)/(-3)). Let z = -2612 + g. Does 22 divide z?
False
Let q(u) = 7*u - 57. Let d(r) = -2*r + 28. Let s(i) = -7*d(i) - 3*q(i). Let t(g) = -g**3 + g**2 + g - 9. Let p be t(0). Does 38 divide s(p)?
True
Suppose 0 = -218*y - 220*y + 427*y + 46695. Does 5 divide y?
True
Suppose 35 = -5*x + 2*j + 2*j, 2*x - 14 = -4*j. Let o be (-2 - x) + 752/(-4 + 5). Suppose 6*c + 123 = o. Does 7 divide c?
True
Suppose 0 = 1519*t - 1697*t + 1400682. Does 14 divide t?
False
Let b = -39 - -64. Let i = -115 + 235. Suppose i + b = d. Is 13 a factor of d?
False
Let g(r) = 11*r + 16. Let f be g(-12). Let p = -126 - 50. Let o = f - p. Is o a multiple of 7?
False
Suppose 2*f - 3*x + 1 = 9, x = 2*f - 12. Suppose f*v = -19*v + 962. Does 6 divide v?
False
Suppose -z - 4*z + 5*s + 125 = 0, 0 = -2*s. Suppose 5*x = 3*o + 62, -4*o = x - 2*o - 15. Suppose z*a - x*a - 636 = 0. Is 3 a factor of a?
False
Suppose 7*i + 89 = 103. Suppose -2*m + 4*m = -i*y + 72, 5*y - 230 = 5*m. Does 41 divide y?
True
Let l(h) = h**3 + 9*h**2 - 4*h + 4. Let a be l(-7). Suppose 0 = -6*f - 4*f + a. Is f a multiple of 3?
False
Let i = -413 - -294. Let f be ((-2)/4)/((-3)/(-1026)). Let k = i - f. Is k a multiple of 5?
False
Suppose -5*s + 30 = -5*a, -3*s = -5*a - 15 - 15. Let j = 33 + a. Suppose 0 = -2*y - 2, 3*y - 506 - j = -4*b. Does 19 divide b?
False
Let y(l) = -l**2 + 14*l - 2. Let i(q) = -q**3 - 6*q**2 - q + 1. Suppose -4*j + 2*m = -2*m + 16, 5*j + 5*m + 40 = 0. Let r be i(j). Is 7 a factor of y(r)?
False
Let c(y) = 2*y**2 - y + 22. Let g(j) = -j**2 - 11*j - 46. Let b be g(-5). Is c(b) a multiple of 55?
True
Let w = 44741 - 42918. Does 8 divide w?
False
Suppose -4917 = -4*y + 4183 + 136. Does 15 divide y?
False
Let t be 9 - (-582)/(-66) - (-1362)/11. Let z = 892 + t. Does 13 divide z?
False
Suppose 5*v + 4*c = v + 30304, 37884 = 5*v + 3*c. Does 12 divide v/45 - (-6)/(-15)?
True
Let v = 252 - 248. Suppose 5*z - 545 = -9*n + v*n, -327 = -3*n - 4*z. Is 7 a factor of n?
False
Suppose -4*f + 129 = 129. Suppose f = -4*m, 2*m = -4*n + 2098 - 362. Does 26 divide n?
False
Suppose 0 = 2*k - 3*b - 20, -3*k - b + 30 = 3*b. Suppose k*g - 2079 = g. Is 21 a factor of g?
True
Suppose 4*y = 3*g + 397, -4*y - y + 3*g + 494 = 0. Let w = y + -41. Is w a multiple of 3?
False
Let r be ((-1)/((-2)/26809))/(108/(-1728)). Is 41 a factor of r/(-374) - 6/(-11)?
True
Let s be (5 - 10)*(18/(-30))/(-1). Does 7 divide (s - (-1)/3)*(-1239)/28?
False
Let t be 18/(-36) - 51/(-2). Let j = -22 + t. Suppose j*q + 168 = 10*q. Does 12 divide q?
True
Suppose 12*c - 10*c - 4047 = d, 2*c + d - 4045 = 0. Is c a multiple of 10?
False
Let l(z) = 5*z**2 + 12*z + 197. Is 13 a factor of l(-22)?
True
Let j = 120 + 