m*o - 194. Is o a multiple of 19?
False
Let s = 2103 - -17231. Is 9 a factor of s?
False
Suppose 5*z - 4*x = 1533, 2*x - 4*x + 6 = 0. Suppose -3*q - b = -384, -2*b - z = -2*q - 53. Does 15 divide q?
False
Suppose 0 = 8*n - 17*n + 3*n. Suppose 3*a - 42 - 966 = n. Does 42 divide a?
True
Let q(f) = -5*f - 63 + 20*f - 3*f + 6*f. Let o be q(24). Suppose -8*m + 143 + o = 0. Is 7 a factor of m?
False
Let j(b) = b**3 - b**2 - 14*b - 7. Let x be j(-3). Let y(l) = 93*l**2 + 2*l - 1. Does 7 divide y(x)?
False
Let j(h) = 1. Let n(z) = -2*z + 11. Let d(r) = -2*j(r) + n(r). Let i be d(6). Is 12 a factor of 79 + (i - -5)/2 - 1?
False
Let h(p) = -p**3 - 6*p**2 - 8*p. Let t be h(-4). Suppose 5*o + 58 - 308 = t. Is 5 a factor of o?
True
Suppose -2*m = -3*m - 2. Let s be -1*3/(m + -1) - 2. Does 20 divide (-139)/s + 7 + -2 + -2?
False
Let a(c) = 3*c - 10 - 11 + 2*c + 26. Let s be a(0). Suppose 4*d + 875 = s*z, -z + 6*d + 181 = 4*d. Does 19 divide z?
True
Let i(q) = 30*q**2 + 32*q - 20. Let r be i(-6). Let c = r + -227. Does 17 divide c?
False
Suppose d = 2*j + 1325, 5*d - 7400 = -5*j - 730. Is d a multiple of 2?
False
Suppose -820 - 3564 + 1004 = -2*k. Does 5 divide k?
True
Let o = 204 - 197. Suppose -1277 = -o*n - 325. Is n a multiple of 34?
True
Let b = -16646 - -19408. Is 8 a factor of b?
False
Suppose 5*n = -g + 976, 3*g - 866 = -4*n - 83. Let u be n/10*4 - -4. Let q = 116 - u. Is 30 a factor of q?
False
Suppose -2*q + 15597 = -5*s - 34703, -75488 = -3*q - 2*s. Is 68 a factor of q?
True
Let f(g) = 18*g**2 + g. Let u be f(-1). Let p = -24 + u. Is 9 a factor of -2 - p*(1 + 2)?
False
Let i(h) = h**3 + 14*h**2 + h + 11. Let x be i(-14). Let d be 2*3/((-36)/(-8) + x). Suppose 0 = -d*t + 4*y + 85 + 59, 3*y + 145 = 4*t. Does 18 divide t?
False
Does 9 divide (-4 - 6 - 28399)*-1 + 4?
True
Let l be -1 + 3 - ((-35)/(-7) - 693). Let w = 1530 - l. Is 7 a factor of w?
True
Suppose -5*x + 8*x + 36 = 0. Let k be 2070/x*(1 + (-2)/10). Is 6/(-12) + k/(-4) a multiple of 34?
True
Suppose 4*b - 4*p = 18976, 2*b + 620*p - 9480 = 623*p. Does 72 divide b?
True
Let l = -3850 + 4120. Is l a multiple of 3?
True
Suppose 0 = 5*y + 277 - 82. Let k = 78 - y. Is 37 a factor of 1/6 + k/(-54) + 57?
False
Suppose -27*h + 59932 = 7*h + 12672. Does 22 divide h?
False
Let s(u) = 112*u**3 - 2*u**2 + 2*u - 2. Let v be s(-3). Let d = 24 - 8. Is 4 a factor of v/(-80) - 2/d?
False
Suppose x + 3 = -l, -3 - 2 = 5*l + 3*x. Suppose -2*n - n = 0, 2*n - 150 = -l*p. Is p a multiple of 15?
True
Let s(r) = r**3 + 5*r**2 - r - 18. Let d be s(-4). Suppose 4*t - 80 = -2*v, 5*v = d*t + 10*v - 32. Does 2 divide t?
False
Let f(r) = -14*r**3 - 2*r**2 - r + 2. Let l be f(-2). Suppose -276 + l = -3*h. Does 13 divide h?
False
Let h = 52 + -53. Let r be 10/5*h + -6. Does 28 divide (r/4 - -10)*14?
True
Suppose -4*c = 4*f + 112, 49 = 2*f - 5*c + 140. Is (-6705)/(-33) - ((-24)/f)/4 a multiple of 31?
False
Let b = 13014 - 10958. Is b a multiple of 8?
True
Suppose 0 = 238*g + 153*g - 6739276. Does 26 divide g?
False
Let p(l) = -13*l**2 - 18*l + 61. Let w be p(5). Let j = -200 - w. Is j a multiple of 7?
True
Let b = 484 + -478. Suppose 11*x - 4350 = b*x. Does 29 divide x?
True
Let k be 0/(-1 + 0)*(-9)/27. Suppose 11*g + 6*g - 8109 = k. Is 53 a factor of g?
True
Let h = 244 - 137. Suppose 24*p = 2*u + 26*p - 116, 0 = 2*u - p - h. Is 9 a factor of u?
False
Let v(x) = x**3 - 2*x. Let a be v(0). Suppose a = -6*i + 2*i - 5*g - 415, g - 421 = 4*i. Does 6 divide (-804)/(-45) + (-14)/i?
True
Suppose 3*j = 5*g + 2*j - 20195, 0 = 4*j. Is 86 a factor of g?
False
Suppose -3*w - 18865 = -4*a - 3440, 0 = 3*a - 2*w - 11570. Is a a multiple of 20?
True
Suppose 2*z = -3*x - 1568, 3*z = 10*x - 9*x + 508. Let d = -12 - x. Is d a multiple of 5?
False
Let i(j) = -j**2 - 18*j - 52. Let r be i(-3). Let k = r + 50. Is k a multiple of 7?
False
Does 28 divide 1/(9/600)*5586/35?
True
Suppose -4*s = -4*q + 372, 3*s = 3*q + s - 278. Let b be (-6040)/453*27/(-4). Let u = b + q. Is u a multiple of 32?
False
Let d be -1 + 9*(-2)/3. Let s be 1 + 228/2*d/(-21). Suppose -45 = -j - s. Does 2 divide j?
True
Suppose 29*y = 136826 - 46346. Is y a multiple of 120?
True
Suppose -5*k - 3 = 4*a, 3*a + 3*k = -4 + 1. Is a/(3 - (-1076)/(-356)) a multiple of 7?
False
Let j(t) = -11*t + 19. Let h be j(18). Let l = -100 - h. Suppose i + 0*i = -3*c + 119, 2*c + i = l. Is 4 a factor of c?
True
Let h(d) = -10*d**2 - 43*d + 9. Let l(v) = -6*v**3 - v + 2. Let z be l(1). Let j(f) = 7*f**2 + 29*f - 6. Let n(y) = z*h(y) - 7*j(y). Is n(-13) a multiple of 5?
True
Suppose -42908 = -16*z + 53860. Does 8 divide z?
True
Let s = -839 - -8396. Is s a multiple of 33?
True
Let b be -1 - (0/(-2) + 0). Suppose 5*l = v + 172 - 146, 22 = l + 4*v. Is (((-351)/6)/3)/(b/l) a multiple of 39?
True
Let m be 100735/25 + 8/(-20). Suppose -4*g = -3*r - m, -6*g + 7*g - 1011 = 2*r. Does 36 divide (-3)/2 + g/6?
False
Let d(k) = -k**3 + 15*k**2 - 13*k + 16. Let m be d(14). Does 3 divide m/((-27)/6 - -6)?
False
Suppose -13*o - 4*s = -8*o - 12608, 2*o = 4*s + 5032. Does 9 divide o?
True
Suppose 6 + 12 = 6*y. Let m(h) = 5*h**2 + 8*h - 28. Is m(y) a multiple of 6?
False
Suppose 8*g - 44 = -12. Suppose 0 = g*p - 2*p + 5*t - 75, -5*p + 205 = -5*t. Suppose 0 = -9*y + 8*y + p. Does 10 divide y?
True
Let g be (-795)/35 - (-8)/(-28). Let x(w) = -w**3 - 21*w**2 + 17*w - 92. Is x(g) a multiple of 68?
False
Is -3 + 9 - (0 - (16643 + -5)) a multiple of 38?
True
Suppose 0 = -15*q + q + 4536. Suppose 15*z - q = -3*z. Is 5 a factor of z?
False
Let n(d) = 6*d**2 + 5*d. Let p be n(6). Let v(q) = q**2 + 32*q + 135. Let f be v(-27). Suppose -2*r + f*z + 246 = -5*z, 2*r + z - p = 0. Is 19 a factor of r?
False
Let n = -7497 - -7617. Is n a multiple of 14?
False
Suppose a - 38 - 37 = 0. Suppose -c + 6*c = a. Does 2 divide c?
False
Let x = -511 + 521. Suppose 2139 + 1501 = x*l. Does 91 divide l?
True
Suppose 3*c - 4*q = -2*q + 100, c - 5*q = 42. Suppose l + 306 = x, -x - c*l + 35*l + 310 = 0. Does 19 divide x?
True
Let y be (1/(-3))/((-2)/(-318)). Let s = y - -52. Let f = 37 + s. Does 21 divide f?
False
Let j(x) = 1. Let r(f) = -11*f + 75. Let i(v) = -5*j(v) + r(v). Is i(-8) a multiple of 16?
False
Suppose 128 = -33*o + 326. Let z(v) = 3*v**3 + 5*v**2 + 14*v + 11. Let p(j) = -j**3 - 3*j**2 - 7*j - 5. Let b(s) = 7*p(s) + 3*z(s). Is b(o) a multiple of 43?
True
Let c(k) = k**2 - 10*k + 90. Let m be c(0). Suppose 0 = a - 1527 + m. Is 46 a factor of a?
False
Let w = 9538 - 4258. Is 15 a factor of w?
True
Let g(m) = 797*m**2 + 59*m - 59. Is g(1) a multiple of 73?
False
Let a = -96 - -108. Suppose a*x + 3 = -21. Is (-306)/(-18) + (-2)/x a multiple of 2?
True
Let k(i) = 311*i**2 - 2*i - 94. Let o be k(-8). Suppose -19*y - 788 = -o. Does 29 divide y?
False
Let b(x) = 11*x - 21. Suppose 10*r = 5*r - 565. Let o = r - -123. Does 15 divide b(o)?
False
Suppose 69 = 4*c + 65. Let f(d) = 15*d**3 + d**2 + d - 1. Is f(c) a multiple of 15?
False
Let k(l) = -27*l - 15. Let s be k(5). Let o = s + 66. Let p = -29 - o. Is 11 a factor of p?
True
Suppose -4*z = -4*b - 8426 + 606, -4*z + 7840 = b. Let s = z - 1157. Is 41 a factor of s?
False
Let j = -36211 - -51014. Does 113 divide j?
True
Suppose f + 10*f - 7953 = 0. Let b = f - 427. Is 8 a factor of b?
True
Let i = -3160 + 4200. Is i a multiple of 13?
True
Let w be 1*(2 - ((-16)/(-4) - 1301)). Suppose -3*r + 3*c + 516 = -w, r - 620 = 4*c. Is 30 a factor of r?
True
Let z be 30/(-25)*(-20)/6. Let r be (-2 + (-3 - z/(-1)))*3. Does 15 divide (-10*10)/(r - -2)?
False
Suppose 213*t - 188*t = -450. Does 20 divide 466 - ((-104)/t - (-28)/126)?
True
Let j(z) be the first derivative of 2*z**3 - 3*z**2/2 - 6*z + 57. Does 12 divide j(5)?
False
Suppose 9 + 23 = j. Suppose -j*z + 33*z = -27. Does 16 divide (-180)/z*78/4?
False
Let f(m) = -4 + 3*m + m + 0*m. Let i = -1166 + 1175. Does 16 divide f(i)?
True
Let l = 124 - 100. Let a(v) = -24 + 49 + 6*v**2 + 8*v**2 + v - l. Is a(-1) a multiple of 7?
True
Let x = 652 + -644. Suppose x*f = 26*f - 19404. Is f a multiple of 33?
False
Let v = 67 + 13. Let s = 159 - v. Let n = -72 + s. Is 3 a factor of n?
False
Suppose 0 = 5*v - 6*j - 10211, -4*v + 8116 = -15*j + 19*j. Does 3 divide v?
False
Let r(x) = 71*x**2 - 69*x + 65. Does 7 divide r(17)?
True
Let j(g) = 9*g**2 + 4*g - 14