se 0 = 4*o - h - 921, 2*o - 356 = -2*h + 112. Does 33 divide o?
True
Let n(o) = -3*o + 14. Let b(k) = 3*k - 14. Let g(r) = -4*b(r) - 5*n(r). Suppose 37 = 4*a - m - 7, -2*a + 4*m + 22 = 0. Is 15 a factor of g(a)?
False
Is 179 a factor of (194185/35 - -1) + 2/(-14)?
True
Let x(m) = -11*m**3 + m**2 + m + 1. Let z be x(-1). Is (z/(-8))/(15/(-680)) a multiple of 9?
False
Is -10882*3/(-51) - 4/34 a multiple of 64?
True
Let b(p) = 2*p**2 - 2*p + 468. Is b(0) a multiple of 17?
False
Let i(w) = w**3 + 2*w + 105. Suppose 0 = -5*p - 3*v - 15, -2*v - 5 = -p + 5. Is 15 a factor of i(p)?
True
Suppose -4*d = -2*g + g - 11, 5*d - 5*g = 25. Suppose 4*n = 5*t + 319, d*n + 3*n + t - 406 = 0. Does 27 divide n?
True
Let r(p) = 24*p - 10. Let b(v) = -49*v + 20. Let j(q) = -2*b(q) - 5*r(q). Is 12 a factor of j(-5)?
True
Suppose 5*s + 17*y - 13*y - 8145 = 0, s - 3*y = 1629. Is 41 a factor of s?
False
Let k be 4 - (-12)/(-3) - 27. Let m = 33 + k. Is 6 a factor of m?
True
Suppose 6*o + 219 = 9*o. Is 7 a factor of o?
False
Suppose 26*c - 15 = 25*c. Suppose l = -p + c, 2*p = -2*p - 2*l + 60. Is p a multiple of 5?
True
Is 64 a factor of (-212 + 0/(-2))/(37/(-333))?
False
Let j(z) = 6*z - 5. Let p be j(2). Suppose o + 2*r - 58 = 0, 3*r - p*r = -4*o + 244. Is 15 a factor of o?
True
Let v(x) = -14*x + 1. Let g = 19 + -14. Let c be v(g). Let f = c - -117. Is 24 a factor of f?
True
Let l be (-6)/(((-27)/(-4))/(-9)). Suppose -4*g - 120 = -4*w, -3*g - 24 = 7*w - l*w. Is w a multiple of 23?
False
Suppose -5*t = -2*s + 9, -s + 2*t - 5*t - 1 = 0. Suppose 259 = 3*r + 2*f, f - 164 = -s*r + 4*f. Is r a multiple of 21?
False
Let p(s) = 20*s**2 + 5*s - 3. Let m be p(2). Suppose 750 = m*q - 84*q. Does 50 divide q?
True
Suppose -2*p + 13*p + 495 = 0. Is 29 a factor of p/((-45)/12 - -3)?
False
Suppose 2*j - 52 = -20. Let n = -10 - -23. Suppose n*h - j = 11*h. Does 3 divide h?
False
Let b be 2/(8/28) - (4 + -3). Does 18 divide ((-540)/8)/((b/(-8))/1)?
True
Let q(f) = f**2 + 12*f + 24. Suppose 19*d - 7*d + 144 = 0. Is 12 a factor of q(d)?
True
Is 11 a factor of 134*(-20)/(-32) - (-1)/4?
False
Suppose 4*b + i - 55 = 0, 3*b - 67 = -2*b - 3*i. Suppose -4*f + 24 = 4*k, 5*k - f - 4 - b = 0. Does 14 divide (k/3)/(4/42)?
True
Let r(u) = u**2 - 1. Let q be r(1). Suppose -5*p + 188 + 217 = q. Does 27 divide p?
True
Let b = -251 + 422. Does 21 divide b?
False
Suppose 5*g - 330 = -5*v, -310 = 5*v - 10*v - g. Let n = v - 58. Does 2 divide n?
False
Let h = -4291 - -6105. Is 7 a factor of h?
False
Let u(i) be the third derivative of -i**8/20160 + 13*i**7/5040 - i**6/40 + i**5/30 - 4*i**2. Let j(q) be the third derivative of u(q). Does 4 divide j(10)?
True
Let s = 358 - 273. Does 6 divide s?
False
Is 1*185 + 45/(-63)*-7 a multiple of 10?
True
Suppose -3*v + 6*v - 2*g - 106 = 0, 2*v = -3*g + 88. Let k = 63 - v. Does 9 divide k?
False
Let h = -110 - -122. Suppose -h*s = -13*s + 79. Is 16 a factor of s?
False
Let v(u) = 9*u + 7. Let w be v(-3). Let s = w - -10. Let f = 85 + s. Is 15 a factor of f?
True
Let b = -1096 + 1666. Is 19 a factor of b?
True
Let p = -79 - -71. Let b be 44 - -1 - (1 - 2). Is ((-8)/p)/(2/b) a multiple of 22?
False
Suppose 6*n = 2*n - 84. Let x be (-1)/(((-21)/(-99))/(-7)). Let q = x + n. Is 6 a factor of q?
True
Let y(a) = -a**2 - a. Let z(b) = -19*b**2 + 2. Let q(t) = 3*y(t) - z(t). Let r be q(-1). Suppose 2*k - r = 145. Is 27 a factor of k?
True
Let h = -104 + 106. Suppose -2*w + 0 - h = 0, -188 = -d - w. Is d a multiple of 30?
False
Suppose 10*o - 835 = -d + 15*o, 0 = 2*d + 2*o - 1706. Does 76 divide d?
False
Is 16 a factor of (-7 + 624/(-18) + 8)*-3?
False
Let a(w) = -7*w + 3. Let r be a(-2). Let g(j) = -8*j + 13*j - 4*j + r. Does 17 divide g(0)?
True
Let a be -2 - (-1 - -3)/(-1). Suppose a = k + k - 110. Suppose r - 11 = -2*y + 14, -3*y = 5*r - k. Is 6 a factor of y?
False
Let r be -67 - -2 - (-1 - -1). Let i = -38 - r. Is i a multiple of 27?
True
Suppose 8 = -4*z, 7*h - 2*h - 4*z = 998. Is h a multiple of 2?
True
Suppose -580 = -4*d - 2*v + 510, 4*v + 1395 = 5*d. Is 25 a factor of d?
True
Suppose 3*d - 15 = 0, 3*d + 141 = -3*k + 780. Does 14 divide k?
False
Let b = 0 - -26. Let o = -26 + b. Suppose o*a + a = 27. Does 7 divide a?
False
Suppose -2 = 2*m - 4. Let h be m/(5/(-3) + 2). Suppose -3*l - 65 = -2*a + 22, h*a = -3*l + 123. Does 14 divide a?
True
Suppose -4244 + 14228 = 16*c. Is c a multiple of 42?
False
Let n = 32 - 35. Let m = n - -12. Suppose -70 = m*j - 11*j. Is j a multiple of 5?
True
Let f(v) = 30*v**2 - 15*v + 48. Does 77 divide f(8)?
True
Let w = 2952 + -2068. Does 17 divide w?
True
Let k(b) = -8*b**2 + 38*b - b**3 + 3 + 34*b - 79*b. Suppose r = 4, 28 = -5*w - 8*r + 5*r. Is k(w) a multiple of 14?
False
Suppose 2*r = -2*n - 30, 0*n + 6 = 2*n. Let a be r/(-4)*1*-14. Is 4 a factor of ((-12)/7)/(6/a)?
False
Let v(f) = 36*f - 9. Let w(g) = -g**3 - 12*g**2 - 11*g + 7. Let z be w(-11). Let a be v(z). Suppose 0 = -b - 2*b + a. Is 14 a factor of b?
False
Suppose 22*y = 8173 + 10043. Does 69 divide y?
True
Let f be 12/30 + (-466)/(-10). Suppose -2*x = -f + 7. Does 2 divide x?
True
Let t be (-4)/((-22)/6 + 0 - -3). Suppose 4*c = -t*h + h + 252, h = 0. Is 33 a factor of c?
False
Suppose -4*p = -k + 246, 0*k + 2*p + 248 = k. Is 25 a factor of k?
True
Suppose -3*q + 7 = -2*y, 5*y - 3*q = 2*q - 5. Suppose u - 137 - 8 = -3*m, 3*m = -y*u + 535. Is u a multiple of 16?
False
Suppose 5*p + 5 = -5. Is 2 a factor of ((-39)/6)/(p/4)?
False
Does 14 divide ((-801)/623 - 2/(-7)) + 2464?
False
Let f(z) = -z**3 + 6*z**2 + 8*z. Let i be f(7). Suppose -i*c + 19 = -1927. Is 59 a factor of c?
False
Suppose -2 = 2*d, -2*q - 4*d = 2*q - 5764. Does 14 divide q?
True
Suppose 7*y = 10*y. Suppose -2*n + 5*j - 14 = -y, -5*n = -5*j + 5. Suppose 2*t - n - 25 = 0. Does 9 divide t?
False
Let b(c) = c**3 - 10*c**2 - 7*c - 8. Let a(u) = u + 11. Let m be a(0). Let n be b(m). Is 19 a factor of (-12)/n - (-476)/6?
False
Let n be -4*(45/(-20) - -1). Let p(y) = -2*y**2 - 9 - n*y - y**3 - 6 + 1 - 4*y**2. Is p(-6) a multiple of 8?
True
Let m(f) = -f + 14. Let y be m(12). Suppose 5*n + q = 5 - 0, -n = -y*q - 12. Suppose 0 = -n*g + 2*z + 22, 2*g - 4*g - z = -7. Is g a multiple of 6?
True
Suppose -525 = -20*r + 13*r. Is 3 a factor of r?
True
Is (24/(-30)*-1)/(7/9240) a multiple of 48?
True
Let c be (-6)/4 + (-5)/(-10). Is 2 a factor of (2 - 10)*(0/c + -2)?
True
Let g be 34/1 + (1 - -2). Suppose 167 - g = q. Does 34 divide q?
False
Let z = -2 + 4. Let h = 3 - z. Let d = h + 37. Is d a multiple of 19?
True
Let k be 1/3 + 21/(-9). Let c be k/(0 + 2)*-2. Suppose -3*g + 14 = c*j + g, 2*g = -10. Is 11 a factor of j?
False
Suppose -27 - 43 = -14*i. Suppose -5*y + 2*y = -5*v + 16, -y + v - 2 = 0. Suppose -y*g = -5*n - 0*g + 315, -i*n + 275 = 5*g. Is n a multiple of 31?
False
Let h(a) = a**2 - 7*a + 5. Let v = 3 - -9. Does 12 divide h(v)?
False
Suppose -n = 4*r - 6, -4*n = -0*n + 3*r - 11. Suppose 288 = 3*x + 4*d, 0*d = n*d. Is 8 a factor of x?
True
Does 25 divide -1 - 6 - (-687 - -5)?
True
Let d = 50 + -225. Let l = -62 - d. Is l a multiple of 24?
False
Suppose 40*j - 50*j + 750 = 0. Is 5 a factor of j?
True
Is 14 a factor of 13 + 2 - (-38 + 31)?
False
Let d(t) = t**2 + 8*t. Let u(c) = c**3 + 11*c**2 + 12*c + 9. Let w be u(-10). Is 7 a factor of d(w)?
False
Let l = -24 + 24. Suppose 0 = -l*k + 2*k - 60. Does 11 divide k?
False
Let f(j) = -j**3 - 10*j**2 + j + 13. Let c be f(-10). Suppose 4*z - c*b = 355, -9*z + 436 = -4*z + 4*b. Is z a multiple of 11?
True
Let k(z) be the first derivative of -z**4/4 + z**3 - 3*z**2/2 + 3*z - 5. Let t be k(2). Does 14 divide -16 - -47 - -2*t?
False
Suppose -5*q + 149 = 4*p, 147 - 36 = 3*p + 3*q. Is 8 a factor of p?
False
Let b(r) = -r**2 - 29*r + 1. Suppose -2*p = -2*v + 42, -4*p - 7*v - 124 = -3*v. Is 16 a factor of b(p)?
False
Is 34 a factor of (33/(-22))/(1*(-3)/544)?
True
Let u(h) be the third derivative of -6*h**2 - 1/60*h**5 + 0 - 4/3*h**3 + 11/24*h**4 + 0*h. Does 9 divide u(9)?
False
Let f(d) = -d**2 - 9*d - 2. Let n be f(-10). Let j(g) = -3 - 9 - 3*g - 5. Is 7 a factor of j(n)?
False
Suppose -10 = -3*a - 55. Let j = a - -17. Suppose -j*i + 54 = 4*i. Is i a multiple of 5?
False
Let n(o) = 27*o + 3. Let z be n(3). Let k be (-14 + 1)*(-6)/2*1. Let m = z - k. Is 15 a factor of m?
True
Let