*f - 0*f + 24. Let v be (f/(-3))/(2/(-9)). Is 24 a factor of 24 + (-3)/v*0?
True
Let m be 2/((-4)/3766*-7). Suppose -m = -12*u + 607. Is u a multiple of 5?
False
Suppose 0*k + k - 12 = 0. Let d = 34 - k. Does 6 divide d?
False
Let z = 20 + -5. Let x = z + -9. Does 13 divide 1*x/(-3) - -28?
True
Let b = -48 - -209. Does 23 divide b?
True
Does 21 divide ((-6)/3 + 128)/(10/10)?
True
Suppose 0 = -5*h + 4*h + z + 240, 3*h - 5*z - 726 = 0. Suppose -h = -3*d - 2*m, 4*d + 65 = 4*m + 401. Is d a multiple of 27?
True
Let z = -14 + 26. Let d = 13 - z. Is 45/(-105)*(-7)/d even?
False
Let n(d) = -4*d**3 - 5*d**2 - 3*d + 7. Let w be n(-4). Suppose 3*o - w = -2*o. Is 5 a factor of o?
False
Suppose -5*q = 3*f - 546, 0*q - 4*f + 332 = 3*q. Is q a multiple of 9?
True
Let s(x) = 70*x - 150. Does 15 divide s(9)?
True
Suppose 13*j - 16*j = -45. Suppose -j*o + 12*o = -465. Does 31 divide o?
True
Suppose -4*b + 342 = 2*m, -3*b + 1135 = 5*m + 287. Does 22 divide m?
False
Let l = 677 - -732. Does 33 divide l?
False
Suppose -5*y = 5*a - 370, 0*a - 2*y + 74 = a. Suppose -5*h - 26 = o - a, 0 = -5*h + o + 42. Is 10/45 + 214/h a multiple of 12?
True
Let t(q) = -212*q + 4. Is 27 a factor of t(-1)?
True
Let m = -22 - -34. Let k = 7 + m. Is 8 a factor of k?
False
Let x(n) = -2*n**2 + 3. Let g be x(-3). Let y = -11 - g. Suppose y*h - 4*i = -0*i + 92, -h + 5*i = -3. Is 4 a factor of h?
True
Suppose 4 + 0 = 2*c. Let x = 108 + -103. Suppose -5*t - x*h = -55, 5 = -c*t - 5*h + 24. Is 6 a factor of t?
True
Let q be (1/(-2))/((-5)/(-330)). Let x = 7 - q. Suppose -4*g - g + x = 0. Does 3 divide g?
False
Let g be 6/2 + 2 - 2. Suppose -g*y - 35 = -83. Suppose -4*f + 2*f = -y. Is 4 a factor of f?
True
Let l(w) = w**3 + 6*w**2 + 24*w + 28. Let t(j) = j**2 - j + 1. Let i(z) = -l(z) - 3*t(z). Does 18 divide i(-9)?
False
Suppose -6 = 2*w, -2*g + 2*w + 58 = -12. Suppose -12 = -4*x - 0*x. Suppose -g = -x*u + 28. Does 5 divide u?
True
Let n(l) = l**2 - 3. Let t be n(-5). Suppose 3*z - t = 2. Does 8 divide z?
True
Does 76 divide (-18)/(-27)*((5 - -3877) + -6)?
True
Let z(c) = -c**3 + 21*c**2 + c - 17. Let p be z(21). Suppose 40 + 144 = p*a. Is a a multiple of 4?
False
Let u(n) be the third derivative of -n**4/6 - n**3/3 - 26*n**2. Let w = -11 + 5. Does 9 divide u(w)?
False
Suppose 87 = r - 33. Suppose 0 = 2*z - 56 - r. Is 44 a factor of z?
True
Let w(r) = -r**3 - 25*r**2 - 48*r + 230. Does 56 divide w(-27)?
False
Suppose 0 = -q - 4 + 8. Suppose -2*t + 3*t + q*w + 13 = 0, -14 = 2*t + 5*w. Suppose -t*d = -h + 43, 6*h - 3*d - 167 = h. Is h a multiple of 10?
False
Is 29 a factor of (32/48)/(2/891)?
False
Let t = 170 - 94. Suppose 0 = s - 5*s + 8. Suppose -2*h + t = s*h. Is 9 a factor of h?
False
Suppose -2*p - 5 - 11 = -i, 2*i + 5*p = 32. Let h = -23 + i. Let j(t) = t**3 + 7*t**2 - 7*t + 6. Does 27 divide j(h)?
False
Let r be 1/2 - (-10)/4. Let s(k) = -k**2 + 17*k + 8. Let y be s(13). Suppose 0 = r*z + 2*z - y. Is 6 a factor of z?
True
Let z(j) = j**2 + 7*j + 3. Let y be z(-6). Does 13 divide ((-2)/y)/((24/585)/4)?
True
Suppose 0 = 5*g - 1323 - 387. Is 15 a factor of g?
False
Let g = 13 + 1. Let h = 35 - g. Let d = h + -5. Is 16 a factor of d?
True
Suppose 18 = o + 5*o. Suppose o*c - 44 - 106 = 0. Is c a multiple of 29?
False
Suppose 13923 = 22*w - 72317. Is 140 a factor of w?
True
Does 11 divide -30*-1*(-35)/(-21)?
False
Let g = 2 + -2. Suppose g = -t - 0 - 9. Let j(d) = -4*d - 2. Is j(t) a multiple of 17?
True
Suppose -59*y = -16*y - 344. Does 8 divide y?
True
Let l(k) = 2*k - 8. Let i be l(6). Suppose 5 = -i*m + 893. Does 37 divide m?
True
Let n = -465 + 705. Is 14 a factor of n/12 - (0 - -5)?
False
Let p be (-61 + 56)*((-13)/(-5) + 1). Let z(c) = -8*c - 99. Is 15 a factor of z(p)?
True
Let b(c) = c**3 - 4*c**2 + 5*c + 3. Suppose 24 = -2*q + 36. Is b(q) a multiple of 21?
True
Suppose 0 = c + 2. Let i = -1 - c. Does 7 divide 20 - (-1 - 2) - i?
False
Let b = -22 - -26. Suppose 0 = -b*u + u - 4*w + 443, 3*u = w + 418. Does 20 divide u?
False
Suppose -496 = -5*i + i. Let h = 207 - i. Suppose -221 = -6*t - h. Is t a multiple of 23?
True
Let w = 1181 - 201. Does 49 divide w?
True
Suppose -4*t + 5551 = 607. Is t a multiple of 12?
True
Let q = -70 + 16. Let d be q/(-3)*40/3. Suppose 16*w - d = 12*w. Is 30 a factor of w?
True
Suppose -6*y = 4*f - 11*y - 2410, 1192 = 2*f + 4*y. Is 40 a factor of f?
True
Is 22 a factor of (-42)/(-182) + (-5084)/(-52)?
False
Let h(f) = 11*f**2 - 4*f + 10. Is 10 a factor of h(-3)?
False
Suppose m + 2*m - 64 = 2*h, 0 = 3*m + 4*h - 88. Suppose -28*r + 1064 = -m*r. Suppose -10*d = -3*d - r. Is 12 a factor of d?
False
Let r(s) = 3*s + 4. Let p be r(3). Suppose -3*j + o = 29 - 5, 0 = j - 2*o + p. Is 13 a factor of (-3)/j - (-2166)/42?
True
Let k be 13 + -1 + (5 - 2). Suppose 0 = -3*a + k - 3. Suppose -a*n + 273 - 61 = 0. Is n a multiple of 14?
False
Let g(r) = -5*r - 20. Let h be g(-4). Suppose h*c - 828 = -9*c. Is c a multiple of 19?
False
Let w = -19 + 590. Does 32 divide w?
False
Let f(v) = 41 + 27 - 109 + 7*v**2 + 15*v + 25. Is 45 a factor of f(-7)?
False
Let r(n) = n - 22. Let t be r(18). Is 8 a factor of (128/80 - t/10) + 142?
True
Let l = -19 - -37. Suppose 10*w - 12*w = -l. Is 3 a factor of w?
True
Let d = -30 - -34. Suppose d*c - 126 = 182. Is c a multiple of 14?
False
Let j be (-180)/(-42) + (-3 - 38/(-14)). Suppose 0 = p - 2 - 1. Does 3 divide j/(-4) - (-30)/p?
True
Suppose 18 = 14*k - 10. Suppose 0 = -k*s + 47 + 7. Is 7 a factor of s?
False
Let n(h) = 5 - 19*h - 3 + 0. Let j be n(3). Let p = 127 + j. Is p a multiple of 18?
True
Is 19 a factor of 16/(51 + -19) - 530/(-4)?
True
Suppose -w - 3*m + 234 = 0, 0 = -3*m - 1 - 11. Suppose -3*g + 254 = z, -g + 3*z = -4*g + w. Does 4 divide g?
False
Suppose -5*k = -69 + 209. Let y = -13 - k. Is 5 a factor of y?
True
Let o(g) = -g**2 + g + 888. Let v be o(0). Suppose -5*n + v + 1177 = 0. Suppose 5*h - n = -53. Is 20 a factor of h?
False
Let v(n) = 15*n**2 + n + 5. Let d be v(5). Suppose 0 = -4*o + 9*o + d. Let g = 123 + o. Is g a multiple of 23?
True
Let o = 1958 - 1175. Is o a multiple of 47?
False
Let h be -15 - 6/2 - 3. Let y = h + 45. Suppose 4*u - y = u. Is 8 a factor of u?
True
Let o(w) = w - 13. Let d be o(5). Let l(s) = s**2 - 2*s + 2. Let y be l(d). Suppose 3*u - 56 = y. Is u a multiple of 21?
False
Let y(q) be the first derivative of -q**2/2 - 12. Let d(k) = 7*k - 9. Let l(r) = d(r) + 2*y(r). Does 11 divide l(9)?
False
Let i(b) = -b**3 - 3*b**2 + 9*b - 7. Let l be i(-9). Let w = 606 - l. Is 26 a factor of w?
True
Is 19 a factor of ((-2)/4)/(54/(-51732))?
False
Let j be ((-384)/(-60))/(2/5). Suppose j = 3*q - 2. Suppose -q*w = -2*w - 5*a - 39, -5*w + 2*a + 53 = 0. Does 3 divide w?
False
Suppose 2*z + 1506 = 4*t, -253*t - 5*z - 1147 = -256*t. Is 19 a factor of t?
False
Suppose 0 = 8*s - 4*s - 20. Let o(h) = 17*h + 5. Does 18 divide o(s)?
True
Let d(w) = -w**2 + 8*w + 6. Let k be d(10). Let q = -9 - k. Suppose 5*p - 9 = -q*f + 11, -4*p = 5*f - 17. Is 3 a factor of p?
True
Let j = -10 + 12. Suppose 2*h - 8 = -j*b, 12 = 4*h - 3*b + 5*b. Is 9 a factor of 0 + (0 - h) - -17?
False
Let p(k) = 3*k**2 - 24*k - 27. Is 39 a factor of p(-11)?
False
Suppose 3*u - 2*m + 31 = 0, -6 = 2*u - m + 13. Let x(v) = -2*v + 11. Is 3 a factor of x(u)?
False
Suppose 3*b = -36 - 15. Let n(x) = x**2 + 15*x + 3. Is 37 a factor of n(b)?
True
Let r(c) be the first derivative of -c**2 + 9*c + 6. Let z be r(0). Suppose -8*h - 17 = -z*h. Is 5 a factor of h?
False
Let r be (-2)/(-8) + (-39)/(-4) - 0. Suppose 600 = r*a + 2*a. Does 10 divide a?
True
Let h be 20/(-6)*(-18)/15. Let u be h/14 + 93/(-7). Let b = u + 80. Does 14 divide b?
False
Suppose -3*c = -7*c + 480. Suppose 0 = 3*p + 5*i - 2*i - c, 2*p + 3*i = 81. Suppose 4 = v - p. Is v a multiple of 13?
False
Suppose 4*j + 12 = 3*j. Suppose -2*z = x, -8*z = -6*z + 5*x + 16. Is ((j + z)/(-2))/1 a multiple of 3?
False
Let a be (-12)/(-4)*-7*(-114)/(-9). Let t = -78 - a. Does 47 divide t?
True
Suppose 5*v - z = -0*z - 72, 0 = -2*v + 5*z - 15. Is (22/(-5) + 2)*v a multiple of 12?
True
Let p(u) = u + 112. Does 5 divide p(18)?
True
Let y(o) = 2*o - 12. Let j be y(9). Suppose -j*w - 10 = -8*w. Suppose w*x + 4*a + 12 = x, -5*x + 5*a + 35 = 0. Is x even?
True
Let h(n) = n**2 + 5*n - 2. Let t be -45 - (1 - (4 + 