e
Let n = -7600 - -12406. Does 102 divide n?
False
Let j = 870 - 228. Is 23 a factor of j?
False
Let u(g) = 2*g**2 + 3*g**2 + 0*g - 3*g**2 + 3 + 5*g. Is u(6) a multiple of 35?
True
Let d = 5432 - 3783. Is 17 a factor of d?
True
Suppose 0 - 8 = -4*w. Suppose -s - w*o = -118, 5*s - 5*o - 575 = -0*s. Let k = -74 + s. Does 14 divide k?
True
Let f be -12*(1/(-3) - 0). Suppose 6*o - 2*o = -2*h + 26, 4*h = f*o - 20. Is (-1 + (-75)/(-6))*o a multiple of 23?
True
Let p(o) = 252 - 73*o - 3*o - 257. Is p(-2) a multiple of 21?
True
Suppose 0*b = -5*q + 4*b + 45, -34 = -3*q + b. Suppose -6*k = -q*k + 581. Does 25 divide k?
False
Does 17 divide ((-84574)/(-21) - 8) + 6/(-18)?
False
Let y(q) = 176*q - 60. Is 86 a factor of y(15)?
True
Suppose 0 = -25*q + 28*q. Suppose 3*j + 8*z - 10*z - 211 = q, -2*j + 3*z + 144 = 0. Is j a multiple of 13?
False
Is 19 a factor of 98046/858 - 3/11?
True
Let l = -25 + 43. Let x be 6/l + 254/(-6). Let g = 20 - x. Is g a multiple of 31?
True
Let w be (-5)/(-6) - (-4)/24. Suppose -b = 5 - w, 2*c = -3*b - 14. Let u(h) = -18*h**3 + h. Is u(c) a multiple of 6?
False
Let l be ((-14)/6)/((-19)/57). Suppose 0*o = -l*o + 28. Suppose 0 = -8*w + o*w + 152. Is 19 a factor of w?
True
Suppose -5*w = m - 0*m + 44, -19 = 2*w - m. Let n = w - -88. Suppose -5*v + n + 266 = 0. Is 14 a factor of v?
False
Let u be -1*(10 + 0 + 1). Let m = u + 13. Suppose m*t = t + 23. Is t a multiple of 9?
False
Let m(p) = 3*p**2 + 14*p - 5. Let z = -17 - -11. Is m(z) a multiple of 19?
True
Let h(o) = -o**3 - 4*o**2 + 4*o + 7. Let u be (-1 - 1)*6/(-4). Suppose 4*r + 3 + 2 = u*j, -2*r + 4*j + 10 = 0. Is h(r) a multiple of 12?
True
Let w = 48 + -22. Suppose 5*y - 7*y + w = 0. Is 3 a factor of y?
False
Let s = -22 + 40. Suppose -z = -4*z + s. Is ((-4)/z)/(4/(-246)) a multiple of 15?
False
Suppose 2*q + 1 - 3 = 0. Suppose 3*l + 5*i = 46, l - 1 = i + q. Let g = l + 0. Is 2 a factor of g?
False
Suppose 0 = -5*b + 6*b - 5. Suppose 5*a - 21 = 4*f, b*f - 10 = -2*a + a. Does 5 divide 24 + f - -1*3?
False
Let w be ((-8)/6 + 4)/(4/6). Suppose -5*h + 420 = -0*h - 5*k, 2*k = w*h - 336. Is h a multiple of 12?
True
Suppose 1127 = 46*o - 39*o. Is o a multiple of 9?
False
Suppose -3*b - 1 = -7, -4*b + 12 = 2*y. Does 4 divide (41 - y) + 1 + -1?
False
Let i = 867 - 525. Is 38 a factor of i?
True
Let l(p) = 3*p**3 + 15*p**2 + 8*p - 4. Let k be l(-6). Let o = k - -170. Does 5 divide o?
True
Suppose 3*z - z + 5*g = -47, -4*z + g - 105 = 0. Let p = 73 + z. Is 10 a factor of p?
False
Let r(y) be the second derivative of 0 + 5/6*y**3 - 4*y + 3/2*y**2. Is 18 a factor of r(3)?
True
Suppose 5*o - 3*r + 1 + 9 = 0, 5*r - 25 = 0. Let u = 9 - o. Is u a multiple of 2?
True
Let v be 10/20 + (-6)/(-4). Suppose v - 23 = -3*q. Is 14 a factor of 12*q*1/4?
False
Let m = -104 + 124. Does 13 divide m?
False
Does 27 divide ((-79)/2)/(90/(-180))?
False
Let d(m) be the second derivative of 3*m**4/4 - m**3/6 - 3*m**2/2 - m. Let t(b) be the first derivative of d(b). Is 5 a factor of t(1)?
False
Let n be (0 + 1431/12)/((-6)/16). Let y = n - -516. Is y a multiple of 18?
True
Let n(s) = -42*s**3 - 23*s**2 - 89*s + 3. Does 47 divide n(-4)?
True
Suppose 0 = 5*h - 1291 - 794. Does 25 divide h?
False
Let u(i) = i**3 - 3*i**2 + 3*i - 10. Let d be u(4). Suppose -12*j + 10*j + d = 0. Is 2 a factor of j?
False
Let j(c) = 5*c**2 - 7*c - 6. Let w be j(-1). Let g(y) = -y**2 - 6*y + 7. Let f be g(-7). Let h = w + f. Does 3 divide h?
True
Let b be (18/(-1))/((-3)/(-2)). Is 4 a factor of 176/12*(-4)/(b/9)?
True
Let m = 0 + -14. Let a = -1 - -4. Is 18 a factor of a/2 - 483/m?
True
Let x = -85 + 73. Let g(m) = m**3 + 14*m**2 + 16*m + 3. Is g(x) a multiple of 11?
True
Let p be -345 - 0*3/6*-2. Let w = -213 - p. Is 22 a factor of w?
True
Let a be (8/(-1) - -1)/(-1). Suppose 2*h + 610 = a*h. Suppose -5*k + 206 = 4*m, -k + 4*m - h = -4*k. Is 6 a factor of k?
True
Let w(o) = o**3 - 13*o**2 + o + 1. Let m be 5/(-10)*(-24 - 2). Let y be w(m). Suppose 96 = -13*b + y*b. Is b a multiple of 28?
False
Let v = -240 + -303. Is (-3)/(-7) + v/(-7) a multiple of 13?
True
Let h = -25 + 24. Let o be 6/h*(-1)/2. Does 7 divide (46/o)/(24/36)?
False
Does 19 divide 81/(-9) - (-4944)/4?
False
Suppose -65*o + 15207 = -28*o. Is o a multiple of 29?
False
Suppose 0 = -3*m - 3*x + 12, -m - 4*x = -3*m - 22. Let v be m/(-2)*6*1. Let f = 21 - v. Is 6 a factor of f?
True
Suppose 0 = -2*c + 3*w + 68, -81 - 59 = -3*c - 5*w. Does 3 divide c?
False
Is (-85)/15*(-151 - -7) a multiple of 48?
True
Let l = 9 + 16. Suppose -l = -g + 48. Let i = g - 33. Does 20 divide i?
True
Is 39 a factor of (-7724)/(-9) + ((-8)/36 - 0)?
True
Suppose 12*g - z = 8*g + 3019, -776 = -g - 4*z. Is 21 a factor of g?
True
Suppose -r - 6 = -2*r - 3*u, 2*r - 40 = u. Suppose 198 - r = 15*x. Does 12 divide x?
True
Suppose -22*z - 12 = -25*z. Suppose -z*o = -20 + 8. Suppose -246 = -2*j - o*j - 3*m, -105 = -2*j + m. Is j a multiple of 13?
False
Let o = 7 - 0. Suppose -3*y - 12 = -o*y. Is 7 a factor of 8/(1 + y) + 11?
False
Let p be 292/(-6) - (-3)/(-9). Let b(k) = k**3 + 2*k**2 + 3*k + 3. Let v be b(-5). Let q = p - v. Does 11 divide q?
False
Is 50 a factor of (4*75/80)/(3/280)?
True
Suppose 0 = -6*g - 13*g + 7467. Is 6 a factor of g?
False
Let s = -11 + 22. Let b(f) = f**2 - 5*f + 24. Is 18 a factor of b(s)?
True
Suppose -n - 1 = 2*n - m, -5*n = -3*m + 3. Let y(w) be the first derivative of w**4/4 - w**2/2 + 75*w - 2. Is y(n) a multiple of 19?
False
Let t = -42 + 109. Is 6 a factor of t?
False
Let a(w) = w**2 + 4*w + 16. Does 7 divide a(11)?
False
Let o(u) = -40*u - 12. Let p be o(-6). Suppose 2*i = 5*i - p. Does 38 divide i?
True
Let o(j) = -104*j - 563. Does 34 divide o(-19)?
False
Let q(x) = 3*x**3 + 2*x**2 + 2*x + 1. Let f be q(-1). Let v = f + 0. Is (-2)/v - (7 - 25) a multiple of 19?
True
Let h be 4/(-16)*6*10. Let v = 17 + h. Suppose 4*k - 44 = k + v*p, 2*k + p = 34. Does 8 divide k?
True
Let b(q) = q**2 + 35*q + 171. Does 12 divide b(-51)?
False
Let h = 245 + 545. Let j be h/20 + (-2)/(-4). Suppose 2*n + a - 143 = 0, n + 3*a - 24 - j = 0. Is 18 a factor of n?
False
Let s(k) = 2*k - 11. Let r be s(4). Is 18 a factor of (-1)/((-1)/r) + (193 - -26)?
True
Let p(n) = 24*n**2 + 3*n + 6. Let h be p(-4). Let a be (h/(-28))/((-6)/112). Suppose x = 3*x - a. Is x a multiple of 27?
False
Let i(r) = 60*r**2 - 4*r - 24. Does 24 divide i(-3)?
True
Suppose 5*x = q + 2*q + 1476, -q + 3 = 0. Suppose 4*n = -x + 857. Suppose 3*i = i + n. Does 23 divide i?
False
Suppose 3*r - 7*l = -10*l + 1671, 5*r - 3*l = 2793. Is r a multiple of 18?
True
Suppose 0 = o + 3*c - 9, -5*o + 4*c - 2*c = 40. Let y(i) = -i**3 - 4*i**2 + 3*i - 18. Does 12 divide y(o)?
True
Let f(a) = 5*a + 9 - 7*a + 0 - 1. Let y be f(6). Does 13 divide (y/2)/((-6)/57)?
False
Let y(t) = t + 17. Let z be y(-7). Let j(l) = -13 + 0 + z*l**2 + 3*l + 2 - l**3 + 5. Is j(10) a multiple of 9?
False
Suppose -2*u + 9 = x, -2*u - u - x = -11. Suppose 4*c - c = -4*s + 64, u*c - s - 61 = 0. Does 4 divide c?
True
Let c(j) = -j**3 - j**2 + 6*j + 2. Let q be c(-3). Suppose -3*z - q*g + 134 = 0, 5*z = -g - 2*g + 224. Is 10 a factor of z?
False
Suppose 0*h = -9*h - 144. Let m = -5 - h. Is 4 a factor of m?
False
Does 11 divide (8/(-2))/(2/(-66))?
True
Suppose 0 = -3*o + 12, -22*t + 23*t - 624 = -2*o. Does 14 divide t?
True
Suppose -676 = 2*q + 2*d + 2*d, 0 = -3*d - 6. Let u = -202 - q. Is 44 a factor of u?
True
Let g = 23 + -18. Suppose -5*d = -0*d + 5, -4*l + g*d = -25. Is 2 a factor of l?
False
Let v(h) = -h - 9. Let r be v(10). Let d = r - -53. Is 14 a factor of d?
False
Suppose -3*v - 81 = -3*o + 33, 53 = o - 4*v. Suppose 4*w + 5 = o. Is 7 a factor of w?
True
Let o(y) = -y**2 - 8*y + 11. Let d be o(-9). Let h(k) = k**2 - 3*k + 2*k - d*k + k**3 + 7*k. Does 10 divide h(3)?
False
Let f = 151 + -74. Suppose 7*u - 294 + f = 0. Is 4 a factor of u?
False
Suppose -2*b - 3*q = -17, -5*b + q + q - 5 = 0. Suppose -t - 4*p + 2 = 0, 0*t + 3*t + 4*p - 14 = 0. Is 2/t*(20 + b) a multiple of 4?
False
Let k(a) = a**3 + 47*a**2 + 43*a + 2. Is 14 a factor of k(-46)?
True
Let j(t) = t**2 - t - 6. Let u be j(-3). Is 12 a factor of u/(-12) + 163/2?
False
Let n(f) = -41*f - 170. Does 7 divide n(-30)?
False
Let o(c) = -c**3 - 22*c**2 - 44*c - 20. Is 15 a factor of o(-20)?
True
Suppose 